<p>In parabolic or hyperbolic PDEs, solutions which remain uniformly bounded for all real times <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(t=r\in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mi>r</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> are often called <i>PDE entire</i> or <i>eternal</i>. For a nonlinear example, consider the quadratic parabolic PDE <Equation ID="Equ1"> <EquationNumber>*</EquationNumber> <EquationSource Format="TEX">\(\begin{aligned} w_t=w_{xx}+6w^2-\lambda , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>w</mi> <mi>t</mi> </msub> <mo>=</mo> <msub> <mi>w</mi> <mrow> <mi mathvariant="italic">xx</mi> </mrow> </msub> <mo>+</mo> <mn>6</mn> <msup> <mi>w</mi> <mn>2</mn> </msup> <mo>-</mo> <mi>λ</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(0&lt;x&lt;\tfrac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>x</mi> <mo>&lt;</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mstyle> </mrow> </math></EquationSource> </InlineEquation>, under Neumann boundary conditions. By its gradient-like structure, all <i>real eternal</i> non-equilibrium orbits <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Gamma (r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of (*) are heteroclinic among equilibria <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(w=W_n(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>=</mo> <msub> <mi>W</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. For parameters <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\lambda &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the trivial homogeneous equilibria are locally asymptotically stable <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(W_0=-\sqrt{\lambda /6}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mn>0</mn> </msub> <mo>=</mo> <mo>-</mo> <msqrt> <mrow> <mi>λ</mi> <mo stretchy="false">/</mo> <mn>6</mn> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(W_\infty =+\sqrt{\lambda /6}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>W</mi> <mi>∞</mi> </msub> <mo>=</mo> <mo>+</mo> <msqrt> <mrow> <mi>λ</mi> <mo stretchy="false">/</mo> <mn>6</mn> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation> of unstable dimension (Morse index) <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(i(W_\infty )=1,2,3,\ldots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>∞</mi> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>,</mo> <mo>…</mo> </mrow> </math></EquationSource> </InlineEquation>, depending on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation>. All nontrivial real <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(W_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> are rescaled and properly translated real-valued Weierstrass elliptic functions with Morse index <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(i(W_n)=n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. We show that the complex time extensions <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Gamma (r+\textrm{i}s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo>+</mo> <mtext>i</mtext> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, of analytic real heteroclinic orbits <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Gamma (r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> towards <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(W_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>, are <i>not complex entire</i>. For example, consider the time-reversible complex-valued solution <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\psi (s)=\Gamma (r_0-\textrm{i}s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>r</mi> <mn>0</mn> </msub> <mo>-</mo> <mtext>i</mtext> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the nonlinear and nonconservative quadratic Schrödinger equation <Equation ID="Equ149"> <EquationSource Format="TEX">\(\begin{aligned} \textrm{i}\psi _s=\psi _{xx}+6\psi ^2-\lambda \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mtext>i</mtext> <msub> <mi>ψ</mi> <mi>s</mi> </msub> <mo>=</mo> <msub> <mi>ψ</mi> <mrow> <mi mathvariant="italic">xx</mi> </mrow> </msub> <mo>+</mo> <mn>6</mn> <msup> <mi>ψ</mi> <mn>2</mn> </msup> <mo>-</mo> <mi>λ</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with real initial condition <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\psi _0=\Gamma (r_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ψ</mi> <mn>0</mn> </msub> <mo>=</mo> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>r</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Then there exist real <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(r_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>r</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\psi (s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> blows up at some finite real times <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\pm s^*\ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <msup> <mi>s</mi> <mo>∗</mo> </msup> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Abstractly, our results are formulated in the setting of analytic semigroups. They are based on Poincaré non-resonance of unstable eigenvalues at equilibria <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(W_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, near pitchfork bifurcation. Technically, we have to except discrete sets of parameters <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation>, and are currently limited to unstable dimensions <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(i(W_n)\le 22\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>22</mn> </mrow> </math></EquationSource> </InlineEquation>, or to fast unstable manifolds of dimensions <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(d&lt;1+\tfrac{1}{\sqrt{2}}i(W_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&lt;</mo> <mn>1</mn> <mo>+</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <msqrt> <mn>2</mn> </msqrt> </mfrac> </mstyle> <mi>i</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Real eternal PDE solutions are not complex entire: a quadratic parabolic example

  • Bernold Fiedler,
  • Hannes Stuke

摘要

In parabolic or hyperbolic PDEs, solutions which remain uniformly bounded for all real times \(t=r\in \mathbb {R}\) t = r R are often called PDE entire or eternal. For a nonlinear example, consider the quadratic parabolic PDE * \(\begin{aligned} w_t=w_{xx}+6w^2-\lambda , \end{aligned}\) w t = w xx + 6 w 2 - λ , for \(0<x<\tfrac{1}{2}\) 0 < x < 1 2 , under Neumann boundary conditions. By its gradient-like structure, all real eternal non-equilibrium orbits \(\Gamma (r)\) Γ ( r ) of (*) are heteroclinic among equilibria \(w=W_n(x)\) w = W n ( x ) . For parameters \(\lambda >0\) λ > 0 , the trivial homogeneous equilibria are locally asymptotically stable \(W_0=-\sqrt{\lambda /6}\) W 0 = - λ / 6 , and \(W_\infty =+\sqrt{\lambda /6}\) W = + λ / 6 of unstable dimension (Morse index) \(i(W_\infty )=1,2,3,\ldots \) i ( W ) = 1 , 2 , 3 , , depending on \(\lambda \) λ . All nontrivial real \(W_n\) W n are rescaled and properly translated real-valued Weierstrass elliptic functions with Morse index \(i(W_n)=n\) i ( W n ) = n . We show that the complex time extensions \(\Gamma (r+\textrm{i}s)\) Γ ( r + i s ) , of analytic real heteroclinic orbits \(\Gamma (r)\) Γ ( r ) towards \(W_0\) W 0 , are not complex entire. For example, consider the time-reversible complex-valued solution \(\psi (s)=\Gamma (r_0-\textrm{i}s)\) ψ ( s ) = Γ ( r 0 - i s ) of the nonlinear and nonconservative quadratic Schrödinger equation \(\begin{aligned} \textrm{i}\psi _s=\psi _{xx}+6\psi ^2-\lambda \end{aligned}\) i ψ s = ψ xx + 6 ψ 2 - λ with real initial condition \(\psi _0=\Gamma (r_0)\) ψ 0 = Γ ( r 0 ) . Then there exist real \(r_0\) r 0 such that \(\psi (s)\) ψ ( s ) blows up at some finite real times \(\pm s^*\ne 0\) ± s 0 . Abstractly, our results are formulated in the setting of analytic semigroups. They are based on Poincaré non-resonance of unstable eigenvalues at equilibria \(W_n\) W n , near pitchfork bifurcation. Technically, we have to except discrete sets of parameters \(\lambda \) λ , and are currently limited to unstable dimensions \(i(W_n)\le 22\) i ( W n ) 22 , or to fast unstable manifolds of dimensions \(d<1+\tfrac{1}{\sqrt{2}}i(W_n)\) d < 1 + 1 2 i ( W n ) .