An attractor for blow-up solutions to a cubic oscillator












8












$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);PhasePortrait



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.










share|cite|improve this question











$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
















8












$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);PhasePortrait



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.










share|cite|improve this question











$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














8












8








8


2



$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);PhasePortrait



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.










share|cite|improve this question











$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);PhasePortrait



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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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














  • 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










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
});


}
});














draft saved

draft discarded


















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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

How to send String Array data to Server using php in android

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Is anime1.com a legal site for watching anime?