Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations

1. 研究の背景と問題設定

対象方程式:
3 次元空間 $\mathbb{R}^3$ における定常ナビエ - ストークス方程式：
$$\begin{cases} -\Delta u + u \cdot \nabla u + \nabla P = 0, \\ \nabla \cdot u = 0, \end{cases}$$
ここで、$u$ は速度場、$P$ は圧力を表す。

核心的な未解決問題:
この方程式の解 $(u, P)$ が、ソボレフ空間 $\dot{H}^1(\mathbb{R}^3)$ に属し、無限遠で $u(x) \to 0$ となる場合、その解は自明（$u \equiv 0$）であるか？という問題（Problem 1.1）が長年の懸案事項となっている。

既存の知見と課題:

• Galdi (1990 年代): $u \in L^{9/2}(\mathbb{R}^3)$ という条件が成立すれば $u \equiv 0$ となることを証明した。これが「臨界閾値」として知られる。
• Chae & Wolf (2010 年代): 対数項を含むより弱い条件でも自明性が成り立つことを示した。
• Lerner (2020 年代): 低周波成分と高周波成分を分離するアプローチで $L^{9/2}$ 条件を緩和した。
• 課題: 従来の結果は、全域（global）での $L^{9/2}$ 積分可能性を要求するか、あるいは周波数分解に依存していた。空間的な局所性（特に無限遠でのみ条件を課すこと）を厳密に扱いつつ、$L^{9/2}$ を超える（より弱い）条件で自明性を示すことは、未だ完全には解決されていなかった。

2. 手法とアプローチ

この論文の主要な革新性は、**可変指数レベグー空間（Variable Exponent Lebesgue Spaces, $L^{p(\cdot)}$）**の枠組みを導入した点にある。

• 可変指数の導入:
  従来の一様指数 $p$ の代わりに、位置 $x$ に依存する指数 $p(x)$ を用いる。これにより、原点近傍と無限遠で異なる積分可能性の振る舞いを一つの関数空間内で記述できる。

  • 原点近傍 ($|x| < R_0$): $p(x) = 6$（ソボレフ埋め込み $H^1 \hookrightarrow L^6$ に相当）。
  • 無限遠 ($|x| \to \infty$): $p(x) \to 9/2$（臨界閾値）に漸近する。

• リッツ変換の有界性:
  圧力 $P$ を速度 $u$ から復元するためにリッツ変換（Riesz transforms）が必要となる。可変指数空間においてリッツ変換が有界であるためには、指数関数 $p(\cdot)$ が**対数ホルダー連続（log-Hölder continuous）**である必要がある。著者は、構成する指数関数がこの条件を満たすことを厳密に証明し、圧力項の扱いを可能にしている。

• カットオフ関数とエネルギー評価:
  標準的なカットオフ関数 $\varphi_R$ を用いたエネルギー評価を行い、無限遠での積分項がゼロに収束することを示す。ここで、可変指数の漸近的な振る舞い（$9/2 + \varepsilon(x)$）が、収束速度を制御する鍵となる。

3. 主要な結果

定理 1.1（主定理）

$u \in \dot{H}^1(\mathbb{R}^3)$ が定常 NS 方程式の解であり、かつ $u \in L^{p(\cdot)}(\mathbb{R}^3)$ に属する場合、$u \equiv 0$ となる。
ここで、指数 $p(x)$ は以下のように定義される（$R_0 > 3/2$ は固定定数）：
$$\varepsilon(x) = \begin{cases} 3/2 & (|x| < R_0) \\ \frac{3}{2} \frac{R_0}{|x|} & (|x| \ge R_0) \end{cases}, \quad p(x) = \frac{9}{2} + \varepsilon(x)$$

• 意味: 原点近傍では $p(x)=6$（$L^6$ 積分可能）であり、無限遠では $9/2$ に漸近するが、常に $9/2$ より大きい（$9/2 + \varepsilon$）。この「臨界値よりわずかに上」の可変条件だけで自明性が導かれる。

系 1.1（局所化されたリウヴィル定理）

上記の条件は、原点を含むある開集合の外部（$|x| \ge R_0$）でのみ課せば十分である。

• 有限領域（コンパクト集合）内の $u$ の振る舞いに関する追加の仮定は不要。
• 結論: 解の自明性を決定づけるメカニズムは、純粋に**漸近的（asymptotic）**な性質によるものである。

定理 1.2（一般化された一意性結果）

より一般的な可変指数 $p(x)$ に対して、以下の条件を満たせば $u \equiv 0$ となる：

1. 原点近傍で $p(x)=6$。
2. 連続かつ半径方向に単調減少。
3. 無限遠で $|p(x) - 9/2| \le C/|x|$ のように $9/2$ に収束。
4. $p(\cdot)$ が対数ホルダー連続である。

4. 技術的な詳細と証明の要点

1. 正則性の確保:
   $u \in L^{p(\cdot)}$ かつ $p(\cdot)$ の条件から、$u \in L^3_{loc}$ が導かれ、既存の正則性理論（Galdi の定理など）により、解 $(u, P)$ が正則関数であることが確認される。

2. エネルギー等式の導出:
   方程式にテスト関数 $\varphi_R u$ を掛け、部分積分を行うことで以下の恒等式を得る：
   $$\int_{B_R} \varphi_R |\nabla u|^2 dx = \int_{B_R} \Delta \varphi_R \frac{|u|^2}{2} dx + \int_{B_R} \nabla \varphi_R \cdot \left(P + \frac{|u|^2}{2}\right) u dx$$
   右辺の項（$I_1(R), I_2(R)$）が $R \to \infty$ でゼロに収束することを示す。

3. 収束性の証明:

   • $I_1(R)$: ホルダー不等式と可変指数空間のノルム評価を用いる。$R$ が大きいとき、$\|\Delta \varphi_R\|_{L^{q(\cdot)}}$ の振る舞いと $\|u\|_{L^{p(\cdot)}(C_R)} \to 0$（$C_R$ は円環領域）を組み合わせる。
   • $I_2(R)$: 圧力項 $P$ をリッツ変換 $R_i R_j (u_i u_j)$ で表す。$p(\cdot) \in P_{log}$ であるため、リッツ変換が $L^{p(\cdot)}$ 上で有界であり、$\|P\|_{L^{p/2}} \le C \|u\|_{L^p}^2$ と評価できる。
   • 指数の調整: 重要な点は、$R^{2 - 9/p^+_{C_R}}$ という因子が $R \to \infty$ で $1$に収束し（あるいは発散しない）、かつ$|u|_{L^{p(\cdot)}(C_R)}$ が十分速く減衰することを利用している点である。

5. 貢献と意義

• 臨界閾値の緩和:
  Galdi の古典的な $L^{9/2}$ 条件を、空間的に変化する「$9/2 + \varepsilon(x)$」という条件に緩和することに成功した。これは、臨界指数を厳密に満たさなくても、無限遠で「漸近的に」臨界値に近づけばよいことを示している。
• 局所性の明確化:
  解の自明性が、無限遠でのみ支配的であることを明確にした。コンパクト集合内の挙動（特異点の有無など）に依存せず、遠方での減衰速度だけで決定されるという直観を数学的に裏付けた。
• 周波数分解不要:
  Lerner の研究が周波数分解（低周波・高周波）に依存したのに対し、本論文は物理空間（physical space）でのみ条件を課すことで同様の結果を得ており、アプローチの多様性を示した。
• 可変指数空間の応用:
  ナビエ - ストークス方程式の解析において、可変指数レベグー空間が有効なツールとなり得ることを示唆した。特に、異なる領域で異なる積分可能性を扱う際の自然な枠組みを提供している。

結論

この論文は、定常ナビエ - ストークス方程式の解の自明性に関する長年の課題に対し、可変指数レベグー空間という新しい枠組みを用いて突破口を開いた。具体的には、無限遠でのみ $L^{9/2}$ よりわずかに強い積分可能性（$L^{9/2+\varepsilon}$）を要求すれば、解は自明になることを証明した。これは、解の挙動が「漸近的な性質」によって完全に支配されていることを示す強力な結果であり、流体力学の理論的基礎に新たな洞察をもたらすものである。