An attractor for blow-up solutions to a cubic oscillator
$begingroup$
(Related to this MathOverflow question).
Consider the nonlinear ODE
$$tag{1}
frac{d^2u}{dt^2}+u=u^3, qquad tinmathbb R,$$
which has the conserved quantity
$$tag{2}
E=frac12 u'^2+frac12 u^2 -frac14u^4.$$
Consider only these solutions that satisfy $u>0$ and $u'>0$.
I am interested in solutions that blow-up at time $T$, in the sense that
$$
lim_{t nearrow T} u(t)=+infty.$$
The following family describes all solutions with $E=0$, parametrized by the blow-up time;
$$
u_{0, T}(t):=frac{sqrt{2}}{sin(T-t)}.$$
The phase portrait suggests that the trajectories of these solutions are an attractor for (1);
and this is reasonable, because (2) yields
$$
u'=sqrt{2E -u^2 + frac12u^4} = frac{u^2}{sqrt2} + O(1), $$
so when $u$ is very big I expect $u$ to be indistinguishable from the unique solution to
$v'=frac{v^2}{sqrt 2} $ that blows up at $T$, that is, $$v_T(t)=frac{sqrt2}{T-t}, $$
and $v_T$ is asymptotically equivalent to $u_{0, T}$ as $tnearrow T$.
I would like to obtain a more precise, quantitative version of this attraction.
Question. Let $u$ be a solution to (1) such that $u(t)to +infty$ as $tnearrow T$. Is it true that $$|u(t)-u_{0, T}(t)|to 0,qquad text{as }tnearrow T?$$ Is it true that $$frac{u(t)}{u_{0,T}(t)}to 1,qquad text{as }tnearrow T?$$
Remark. The equation (1) is a special case of Duffing equation.
ordinary-differential-equations analysis
$endgroup$
add a comment |
$begingroup$
(Related to this MathOverflow question).
Consider the nonlinear ODE
$$tag{1}
frac{d^2u}{dt^2}+u=u^3, qquad tinmathbb R,$$
which has the conserved quantity
$$tag{2}
E=frac12 u'^2+frac12 u^2 -frac14u^4.$$
Consider only these solutions that satisfy $u>0$ and $u'>0$.
I am interested in solutions that blow-up at time $T$, in the sense that
$$
lim_{t nearrow T} u(t)=+infty.$$
The following family describes all solutions with $E=0$, parametrized by the blow-up time;
$$
u_{0, T}(t):=frac{sqrt{2}}{sin(T-t)}.$$
The phase portrait suggests that the trajectories of these solutions are an attractor for (1);
and this is reasonable, because (2) yields
$$
u'=sqrt{2E -u^2 + frac12u^4} = frac{u^2}{sqrt2} + O(1), $$
so when $u$ is very big I expect $u$ to be indistinguishable from the unique solution to
$v'=frac{v^2}{sqrt 2} $ that blows up at $T$, that is, $$v_T(t)=frac{sqrt2}{T-t}, $$
and $v_T$ is asymptotically equivalent to $u_{0, T}$ as $tnearrow T$.
I would like to obtain a more precise, quantitative version of this attraction.
Question. Let $u$ be a solution to (1) such that $u(t)to +infty$ as $tnearrow T$. Is it true that $$|u(t)-u_{0, T}(t)|to 0,qquad text{as }tnearrow T?$$ Is it true that $$frac{u(t)}{u_{0,T}(t)}to 1,qquad text{as }tnearrow T?$$
Remark. The equation (1) is a special case of Duffing equation.
ordinary-differential-equations analysis
$endgroup$
2
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
1
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09
add a comment |
$begingroup$
(Related to this MathOverflow question).
Consider the nonlinear ODE
$$tag{1}
frac{d^2u}{dt^2}+u=u^3, qquad tinmathbb R,$$
which has the conserved quantity
$$tag{2}
E=frac12 u'^2+frac12 u^2 -frac14u^4.$$
Consider only these solutions that satisfy $u>0$ and $u'>0$.
I am interested in solutions that blow-up at time $T$, in the sense that
$$
lim_{t nearrow T} u(t)=+infty.$$
The following family describes all solutions with $E=0$, parametrized by the blow-up time;
$$
u_{0, T}(t):=frac{sqrt{2}}{sin(T-t)}.$$
The phase portrait suggests that the trajectories of these solutions are an attractor for (1);
and this is reasonable, because (2) yields
$$
u'=sqrt{2E -u^2 + frac12u^4} = frac{u^2}{sqrt2} + O(1), $$
so when $u$ is very big I expect $u$ to be indistinguishable from the unique solution to
$v'=frac{v^2}{sqrt 2} $ that blows up at $T$, that is, $$v_T(t)=frac{sqrt2}{T-t}, $$
and $v_T$ is asymptotically equivalent to $u_{0, T}$ as $tnearrow T$.
I would like to obtain a more precise, quantitative version of this attraction.
Question. Let $u$ be a solution to (1) such that $u(t)to +infty$ as $tnearrow T$. Is it true that $$|u(t)-u_{0, T}(t)|to 0,qquad text{as }tnearrow T?$$ Is it true that $$frac{u(t)}{u_{0,T}(t)}to 1,qquad text{as }tnearrow T?$$
Remark. The equation (1) is a special case of Duffing equation.
ordinary-differential-equations analysis
$endgroup$
(Related to this MathOverflow question).
Consider the nonlinear ODE
$$tag{1}
frac{d^2u}{dt^2}+u=u^3, qquad tinmathbb R,$$
which has the conserved quantity
$$tag{2}
E=frac12 u'^2+frac12 u^2 -frac14u^4.$$
Consider only these solutions that satisfy $u>0$ and $u'>0$.
I am interested in solutions that blow-up at time $T$, in the sense that
$$
lim_{t nearrow T} u(t)=+infty.$$
The following family describes all solutions with $E=0$, parametrized by the blow-up time;
$$
u_{0, T}(t):=frac{sqrt{2}}{sin(T-t)}.$$
The phase portrait suggests that the trajectories of these solutions are an attractor for (1);
and this is reasonable, because (2) yields
$$
u'=sqrt{2E -u^2 + frac12u^4} = frac{u^2}{sqrt2} + O(1), $$
so when $u$ is very big I expect $u$ to be indistinguishable from the unique solution to
$v'=frac{v^2}{sqrt 2} $ that blows up at $T$, that is, $$v_T(t)=frac{sqrt2}{T-t}, $$
and $v_T$ is asymptotically equivalent to $u_{0, T}$ as $tnearrow T$.
I would like to obtain a more precise, quantitative version of this attraction.
Question. Let $u$ be a solution to (1) such that $u(t)to +infty$ as $tnearrow T$. Is it true that $$|u(t)-u_{0, T}(t)|to 0,qquad text{as }tnearrow T?$$ Is it true that $$frac{u(t)}{u_{0,T}(t)}to 1,qquad text{as }tnearrow T?$$
Remark. The equation (1) is a special case of Duffing equation.
ordinary-differential-equations analysis
ordinary-differential-equations analysis
edited Dec 10 '18 at 21:32
Giuseppe Negro
asked Nov 24 '18 at 21:02
Giuseppe NegroGiuseppe Negro
16.9k330122
16.9k330122
2
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
1
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09
add a comment |
2
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
1
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09
2
2
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
1
1
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3012078%2fan-attractor-for-blow-up-solutions-to-a-cubic-oscillator%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3012078%2fan-attractor-for-blow-up-solutions-to-a-cubic-oscillator%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
This equation has an exact set of solutions using the Jacobi elliptic function $operatorname{dn}$.
$endgroup$
– Jon
Nov 24 '18 at 21:14
$begingroup$
@Jon: Thank you, that looks useful. Unfortunately, I don't know a word about these functions. As far as I understand from skimming some references, such as this book (Kolvalcic-Brennan (eds), "The Duffing equation"), the Jacobi elliptic functions describe the periodic solutions, that is, those that do not blow up. Am I wrong?
$endgroup$
– Giuseppe Negro
Nov 25 '18 at 17:28
1
$begingroup$
Yes, you are right. These are periodical solutions. A prototypical one is given by the solution of the pendulum equation. The $operatorname{dn}$ never becomes zero.
$endgroup$
– Jon
Nov 25 '18 at 23:06
$begingroup$
This question is related to the present one.
$endgroup$
– Giuseppe Negro
Dec 4 '18 at 14:09