<p>In this paper we prove Liouville type theorems for the stationary solution to the Navier–Stokes equations in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>. Let (<i>u</i>,&#xa0;<i>p</i>) be a smooth stationary solution to the Navier–Stokes equations in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(Q=\frac{1}{2} |u|^2 +p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo>=</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation> is its head pressure, which vanishes near infinity. We assume <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\int _{\mathbb {R}^3} |\nabla u|^2 dx&lt;+\infty ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>&lt;</mo> <mo>+</mo> <mi>∞</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and there exists <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha &gt;0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(R&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( |Q(x)| \ge C \Vert Q\Vert _{L^\infty }|x|^{-\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≥</mo> <msub> <mrow> <mi>C</mi> <mo stretchy="false">‖</mo> <mi>Q</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(|x|&gt;R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo>&gt;</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation>. Suppose, furthermore, there exists <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> such that <i>either</i> <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(|u(x)|=O( |x|^{-\beta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>x</mi> <msup> <mo stretchy="false">|</mo> <mrow> <mo>-</mo> <mi>β</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\beta \ge \frac{\alpha }{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≥</mo> <mfrac> <mi>α</mi> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> <i>or</i> <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(|\nabla Q(x)|=O( |x|^{-\beta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>x</mi> <msup> <mo stretchy="false">|</mo> <mrow> <mo>-</mo> <mi>β</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\beta \ge 2\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≥</mo> <mn>2</mn> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation> respectively as <InlineEquation ID="IEq18"> <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> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Then, we show that <i>u</i> is zero or a constant respectively on <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>.</p>

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

Liouville Type Theorems for the Stationary Navier–Stokes Equations in \(\mathbb {R}^3\)

  • Dongho Chae

摘要

In this paper we prove Liouville type theorems for the stationary solution to the Navier–Stokes equations in \(\mathbb {R}^3\) R 3 . Let (up) be a smooth stationary solution to the Navier–Stokes equations in \(\mathbb {R}^3\) R 3 , and \(Q=\frac{1}{2} |u|^2 +p\) Q = 1 2 | u | 2 + p is its head pressure, which vanishes near infinity. We assume \(\int _{\mathbb {R}^3} |\nabla u|^2 dx<+\infty ,\) R 3 | u | 2 d x < + , and there exists \(\alpha >0 \) α > 0 , \(C>0\) C > 0 and \(R>0\) R > 0 such that \( |Q(x)| \ge C \Vert Q\Vert _{L^\infty }|x|^{-\alpha }\) | Q ( x ) | C Q L | x | - α for all \(|x|>R\) | x | > R . Suppose, furthermore, there exists \(\beta \) β such that either \(|u(x)|=O( |x|^{-\beta })\) | u ( x ) | = O ( | x | - β ) with \(\beta \ge \frac{\alpha }{2}\) β α 2 or \(|\nabla Q(x)|=O( |x|^{-\beta })\) | Q ( x ) | = O ( | x | - β ) with \(\beta \ge 2\alpha \) β 2 α respectively as \(|x|\rightarrow +\infty \) | x | + . Then, we show that u is zero or a constant respectively on \(\mathbb {R}^3\) R 3 .