<p>In 1934, Leray (Acta Math 63:193–248, 1934) proved the existence of global-in-time weak solutions to the Navier–Stokes equations for any divergence-free initial data in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In the 1980s, Giga (J Differ Equ 62(2):186–212, 1986) and Kato (Math Z 187(4):471–480, 1984) independently showed that there exist global-in-time mild solutions corresponding to small enough critical <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^3(\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> initial data. In 1990, Calderón (Trans Am Math Soc 318:179–200, 1990) filled the gap to show that there exist global-in-time weak solutions for all supercritical initial data in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p(\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(2&lt; p&lt;3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> by utilising a splitting argument, blending the constructions of Leray and Giga-Kato. In this paper, we utilise a “Calderón-like” splitting to show the global-in-time existence of weak solutions to the Navier–Stokes equations corresponding to supercritical Besov space initial data <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_0 \in \dot{B}^{s}_{{q},{\infty }}(\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>∈</mo> <msubsup> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> <mrow> <mi>q</mi> <mo>,</mo> <mi>∞</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(q&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_930_Article_IEq7.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="220" /> </InlineMediaObject> <EquationSource Format="TEX">\(-1+\frac{2}{q}&lt;s&lt;\min \left( -1+\frac{3}{q},0 \right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>1</mn> <mo>+</mo> <mfrac> <mn>2</mn> <mi>q</mi> </mfrac> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mo movablelimits="true">min</mo> <mfenced close=")" open="("> <mo>-</mo> <mn>1</mn> <mo>+</mo> <mfrac> <mn>3</mn> <mi>q</mi> </mfrac> <mo>,</mo> <mn>0</mn> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, which fills a similar gap between Leray and known mild solution theory in the Besov space setting. We also use the Calderón-like splitting to investigate the structure of the singular set under a Type-I blow-up assumption in the Besov space setting, which is considerably rougher than in previous works.</p>

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

On Rough Calderón Solutions to the Navier–Stokes Equations and Applications to the Singular Set

  • Henry Popkin

摘要

In 1934, Leray (Acta Math 63:193–248, 1934) proved the existence of global-in-time weak solutions to the Navier–Stokes equations for any divergence-free initial data in \(L^2(\mathbb {R}^3)\) L 2 ( R 3 ) . In the 1980s, Giga (J Differ Equ 62(2):186–212, 1986) and Kato (Math Z 187(4):471–480, 1984) independently showed that there exist global-in-time mild solutions corresponding to small enough critical \(L^3(\mathbb {R}^3)\) L 3 ( R 3 ) initial data. In 1990, Calderón (Trans Am Math Soc 318:179–200, 1990) filled the gap to show that there exist global-in-time weak solutions for all supercritical initial data in \(L^p(\mathbb {R}^3)\) L p ( R 3 ) for \(2< p<3\) 2 < p < 3 by utilising a splitting argument, blending the constructions of Leray and Giga-Kato. In this paper, we utilise a “Calderón-like” splitting to show the global-in-time existence of weak solutions to the Navier–Stokes equations corresponding to supercritical Besov space initial data \(u_0 \in \dot{B}^{s}_{{q},{\infty }}(\mathbb {R}^3)\) u 0 B ˙ q , s ( R 3 ) where \(q>2\) q > 2 and \(-1+\frac{2}{q}<s<\min \left( -1+\frac{3}{q},0 \right) \) - 1 + 2 q < s < min - 1 + 3 q , 0 , which fills a similar gap between Leray and known mild solution theory in the Besov space setting. We also use the Calderón-like splitting to investigate the structure of the singular set under a Type-I blow-up assumption in the Besov space setting, which is considerably rougher than in previous works.