<p>We consider the EPDiff equation on <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3107_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> with the integer-order homogeneous Sobolev inertia operator <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3107_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(A=(-\Delta )^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3107_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> norm that blows up in finite time whenever <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3107_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\le k&lt;n/2+1.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>k</mi> <mo>&lt;</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mn>1</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Our approach is to use Lagrangian coordinates to formulate EPDiff as an ODE on a Banach space, enabling us to use a comparison estimate with the Liouville equation. Along the way we derive the Green function in terms of hypergeometric functions and discuss their properties. This is a step toward proving the general conjecture that the EPDiff equation is globally well-posed for any Sobolev inertia operator of any real order <i>k</i> if and only if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_3107_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge n/2+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Breakdown of smooth solutions to the subcritical EPDiff equation

  • Martin Bauer,
  • Stephen C. Preston,
  • Justin Valletta

摘要

We consider the EPDiff equation on \({\mathbb {R}}^n\) R n with the integer-order homogeneous Sobolev inertia operator \(A=(-\Delta )^k\) A = ( - Δ ) k . We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has \(C^1\) C 1 norm that blows up in finite time whenever \(0\le k<n/2+1.\) 0 k < n / 2 + 1 . Our approach is to use Lagrangian coordinates to formulate EPDiff as an ODE on a Banach space, enabling us to use a comparison estimate with the Liouville equation. Along the way we derive the Green function in terms of hypergeometric functions and discuss their properties. This is a step toward proving the general conjecture that the EPDiff equation is globally well-posed for any Sobolev inertia operator of any real order k if and only if \(k\ge n/2+1\) k n / 2 + 1 .