Energy rigidity and weak-strong uniqueness for the 2D anisotropic Navier-Stokes equations

技術要約：2次元異方性ナビエ・ストークス方程式におけるエネルギー剛性と弱・強一意性

問題設定
本論文は、$(0, T) \times \mathbb{R}^2$ 上の以下の2次元異方性非圧縮ナビエ・ストークス方程式を研究している：
$$\begin{cases} \partial_t u + \text{div}(u \otimes u) + \nabla p = \partial_{x_1}^2 u, \\ \text{div } u = 0, \end{cases}$$
ここで、拡散は水平方向（$x_1$）にのみ作用する。この系は、オイラー方程式（散逸なし）と古典的な等方性ナビエ・ストークス方程式（完全な散逸）の中間に位置するモデルとして機能する。

直面している中心的な数学的課題は、自然なエネルギーレベルにおける弱解のエネルギー等式の妥当性である。標準的な弱解は、$u \in L^\infty(0, T; L^2(\mathbb{R}^2))$ かつ $\partial_{x_1}u \in L^2(0, T; L^2(\mathbb{R}^2))$ というクラスで定義される。等方的な2次元ナビエ・ストークス方程式は十分な正則性によりエネルギー等式を強制するが、オイラー方程式はこれを満たさない。一方で、この異方性の場合、特定の障害が存在する：垂直方向の微分 $\partial_{x_2}u_1$ に対する制御の欠如である。その結果、速度場 $u$ は必ずしも $H^1(\mathbb{R}^2)$ に属さず、エネルギーバランスを導出するために必要な標準的な「自己テスト（self-testing）」の議論（方程式自体をテスト関数として用いる手法）を妨げることになる。

手法
著者らは、全勾配の正則性の欠如を克服するために、主に2つの技術的な革新を用いている。

1. 圧力に関する方向的リースの変換推定：
   著者らはまず、任意の弱解に付随する圧力 $p$ が平方可積分（$p \in L^2(0, T; L^2(\mathbb{R}^2))$）であることを確立する。圧力をポアソン方程式 $p = R_1^2(u_1^2) + 2R_1R_2(u_1u_2) + R_2^2(u_2^2)$ を通じて表現することにより、精緻化された方向的リースの評価（補題3.1）を利用する。具体的には、$\|R_1(f^2)\|_{L^2} \leq C \|f\|_{L^2} \|\partial_{x_1}f\|_{L^2}$ という評価を証明する。この評価により、$\partial_{x_2}u_1$ の正則性が欠けているにもかかわらず、$u_1^2$ に関わる項を制御することが可能となり、エネルギーバランスにおいて圧力項が適切に定義されることが保証される。

2. 水平成分の繰り込み（Renormalization）：
   垂直方向の正則性を欠く水平速度成分 $u_1$ のエネルギー等式を導出するために、著者らは $u_1$ が**繰り込み解（renormalized solution）**であることを示す。彼らは、異方的な設定に適応させた交換子評価（命題5.1）を確立し、モルフォロジー（平滑化）パラメータ $\varepsilon \to 0$ のとき、交換子 $\text{div}(f^\varepsilon v - (fv)^\varepsilon)$ が $L^1$ において強に消滅することを示す。これは、$\partial_{x_2}u_1$ は未知であるが、湧出のない条件（$\partial_{x_2}u_2 = -\partial_{x_1}u_1$）により、垂直成分 $u_2$ が完全な $H^1$ 正則性を有しているという事実に依拠している。繰り込み方程式に連鎖律を適用し、極限を取ることで、$\partial_{x_2}u_1 \in L^2$ を要求することなく $u_1$ のエネルギーバランスを回収する。

主要な結果

• 定理1.2（エネルギー剛性）： 異方性系に対するすべての弱解 $u$ は、$C([0, T]; L^2(\mathbb{R}^2))$ 内の唯一の代表元を持ち、以下の異方性エネルギー等式を満たす：
  $$\|u(t)\|_{L^2}^2 + 2\int_s^t \|\partial_{x_1}u(\tau)\|_{L^2}^2 d\tau = \|u(s)\|_{L^2}^2.$$
  この結果は、異方的な散逸があるにもかかわらず、自然なエネルギーレベルにおいて異常なエネルギー損失や生成が発生しないことを裏付けている。

• 定理1.3（弱・強一意性）： 同一の初期データを持つ2つの弱解を $u$ と $U$ とする。もし「強」解 $U$ が $\partial_{x_2}U_1 \in L^2(0, T; L^2(\mathbb{R}^2))$ という追加の正則性を備えているならば、$u(t) = U(t)$ がすべての $t \in (0, T]$ に対して成立する。
  証明では、確立されたエネルギー等式を用いて、差 $w = u - U$ に関する相対エネルギー不等式を導出する。$U$ の追加的な正則性は、相対エネルギー不等式における非線形項を制御することを可能にし、グレオンウォールの補題を通じて一意性を導く。

意義と主張
本論文は、異方性系が等方的なナビエ・ストークス方程式の「エネルギー剛性」という特性を保持していると主張しており、これはエネルギーの剛性が成立しないオイラー方程式とは対照的である。著者らは、自身のアプローチが、存在しないとされる全域的な正則性 $\partial_{x_2}u_1 \in L^2$ を証明することに依存しているのではなく、むしろこの正則性がなくてもエネルギー等式が成立することを示している点を強調している。

本研究は、弱・強一意性の文脈における当該系の良設定性のための厳密な基礎を提供する。標準的な近似スキームにおけるコンパクト性の欠如により、任意の $L^2$ 初期データに対する全域的な存在性と一意性の問題は未解決のままであるが、一般的な弱解を（具体的には水平速度の垂直微分が制御されている）わずかに高い正則性を持つ解と比較する場合、一意性が保証されることを明確にしている。

著者らは、圧力の平方可積分性と、正則性の低い成分の繰り込み特性が、通常の流体力学における障害を回避するための決定的な観察事項であると述べている。