<p>We are concerned with solutions to the nonlinear heat equation <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(u_t=\Delta u+|u|^{p-1}u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(x\in \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, that are defined for all positive and negative time. If the exponent <i>p</i> is greater or equal to the Joseph-Lundgren exponent <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation> and |<i>u</i>| stays below some positive radially symmetric steady state, under a mild condition on the behaviour of <i>u</i> as <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(|x|\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, we show that <i>u</i> is independent of time. Our method of proof uses Serrin’s sweeping principle, based on the strong maximum principle, applied to the linearized equation for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(u_t\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>t</mi> </msub> </math></EquationSource> </InlineEquation>. Our result covers that of Poláčik and Yanagida [JDE (2005)] who had further assumed that the solution stays above some positive radial steady state and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p&gt;p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <msub> <mi>p</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. In contrast, they relied on the use of similarity variables and invariant manifold ideas. Remarkably, to the best of our knowledge, a corresponding Liouville property was previously missing for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p=p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <msub> <mi>p</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We emphasize that such Liouville type theorems imply the quasiconvergence of a class of solutions to the corresponding Cauchy problem. As our viewpoint originates from the study of elliptic problems, we can prove new rigidity results for the corresponding steady state problem that are motivated by the aforementioned ones for the parabolic flow.</p>

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

A Liouville property for eternal solutions to a supercritical semilinear heat equation

  • Christos Sourdis

摘要

We are concerned with solutions to the nonlinear heat equation \(u_t=\Delta u+|u|^{p-1}u\) u t = Δ u + | u | p - 1 u , \(x\in \mathbb {R}^N\) x R N , that are defined for all positive and negative time. If the exponent p is greater or equal to the Joseph-Lundgren exponent \(p_c\) p c and |u| stays below some positive radially symmetric steady state, under a mild condition on the behaviour of u as \(|x|\rightarrow \infty \) | x | , we show that u is independent of time. Our method of proof uses Serrin’s sweeping principle, based on the strong maximum principle, applied to the linearized equation for \(u_t\) u t . Our result covers that of Poláčik and Yanagida [JDE (2005)] who had further assumed that the solution stays above some positive radial steady state and \(p>p_c\) p > p c . In contrast, they relied on the use of similarity variables and invariant manifold ideas. Remarkably, to the best of our knowledge, a corresponding Liouville property was previously missing for \(p=p_c\) p = p c . We emphasize that such Liouville type theorems imply the quasiconvergence of a class of solutions to the corresponding Cauchy problem. As our viewpoint originates from the study of elliptic problems, we can prove new rigidity results for the corresponding steady state problem that are motivated by the aforementioned ones for the parabolic flow.