<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(0&lt;m&lt;\frac{n-2}{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>m</mi> <mo>&lt;</mo> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> <mi>n</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\eta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Suppose either (i) <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\alpha \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\beta =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or (ii) <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\beta \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> holds. We will study the elliptic equation <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Delta (f^m/m)+\alpha f+\beta x\cdot \nabla f=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <msup> <mi>f</mi> <mi>m</mi> </msup> <mo stretchy="false">/</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>α</mi> <mi>f</mi> <mo>+</mo> <mi>β</mi> <mi>x</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mi>f</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {R}^n{\setminus }\{0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\lim \nolimits _{r\rightarrow 0}\,r^{\gamma }f(r)=\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>r</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </msub> <mspace width="0.166667em" /> <msup> <mi>r</mi> <mi>γ</mi> </msup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>η</mi> </mrow> </math></EquationSource> </InlineEquation>. This equation arises from the study of the singular self-similar solutions of the fast diffusion equation which blow up at the origin. We will prove that if there exists a radially symmetric singular solution of the above elliptic equation, then either <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\gamma =\frac{2}{1-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>=</mo> <mfrac> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\alpha &gt;\frac{2\beta }{1-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mfrac> <mrow> <mn>2</mn> <mi>β</mi> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\gamma &gt;\frac{2}{1-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mfrac> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\beta \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\gamma =\alpha /\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>=</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we obtain the non-existence of radially symmetric self-similar solution of the fast diffusion equation <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(u_t=\Delta (u^m/m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>u</mi> <mi>m</mi> </msup> <mo stretchy="false">/</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(u&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, which blows up at the origin with rate <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(|x|^{-\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>γ</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> when either <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(0&lt;\gamma \ne \frac{2}{1-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>γ</mi> <mo>≠</mo> <mfrac> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\gamma \ne \alpha /\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>≠</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\alpha \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\beta \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\gamma =\frac{2}{1-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>=</mo> <mfrac> <mn>2</mn> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(\left( \alpha -\frac{2\beta }{1-m}\right) \eta ^{1-m}\ne \frac{2(n-2-nm)}{(1-m)^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mi>α</mi> <mo>-</mo> <mfrac> <mrow> <mn>2</mn> <mi>β</mi> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </mfrac> </mfenced> <msup> <mi>η</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>m</mi> </mrow> </msup> <mo>≠</mo> <mfrac> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mo>-</mo> <mi>n</mi> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mfrac> </mrow> </math></EquationSource> </InlineEquation> holds.</p>

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

Non-existence of singular self-similar solutions of the fast diffusion equation

  • Shu-Yu Hsu

摘要

Let \(n\ge 3\) n 3 , \(0<m<\frac{n-2}{n}\) 0 < m < n - 2 n , \(\gamma >0\) γ > 0 and \(\eta >0\) η > 0 . Suppose either (i) \(\alpha \ne 0\) α 0 and \(\beta =0\) β = 0 or (ii) \(\alpha \in \mathbb {R}\) α R and \(\beta \ne 0\) β 0 holds. We will study the elliptic equation \(\Delta (f^m/m)+\alpha f+\beta x\cdot \nabla f=0\) Δ ( f m / m ) + α f + β x · f = 0 , \(f>0\) f > 0 , in \(\mathbb {R}^n{\setminus }\{0\}\) R n \ { 0 } with \(\lim \nolimits _{r\rightarrow 0}\,r^{\gamma }f(r)=\eta \) lim r 0 r γ f ( r ) = η . This equation arises from the study of the singular self-similar solutions of the fast diffusion equation which blow up at the origin. We will prove that if there exists a radially symmetric singular solution of the above elliptic equation, then either \(\gamma =\frac{2}{1-m}\) γ = 2 1 - m and \(\alpha >\frac{2\beta }{1-m}\) α > 2 β 1 - m or \(\gamma >\frac{2}{1-m}\) γ > 2 1 - m , \(\beta \ne 0\) β 0 and \(\gamma =\alpha /\beta \) γ = α / β . As a consequence, we obtain the non-existence of radially symmetric self-similar solution of the fast diffusion equation \(u_t=\Delta (u^m/m)\) u t = Δ ( u m / m ) , \(u>0\) u > 0 , which blows up at the origin with rate \(|x|^{-\gamma }\) | x | - γ when either \(0<\gamma \ne \frac{2}{1-m}\) 0 < γ 2 1 - m and \(\gamma \ne \alpha /\beta \) γ α / β , \(\alpha \in \mathbb {R}\) α R and \(\beta \ne 0\) β 0 or \(\gamma =\frac{2}{1-m}\) γ = 2 1 - m and \(\left( \alpha -\frac{2\beta }{1-m}\right) \eta ^{1-m}\ne \frac{2(n-2-nm)}{(1-m)^2}\) α - 2 β 1 - m η 1 - m 2 ( n - 2 - n m ) ( 1 - m ) 2 holds.