On uniqueness of solutions to stochastic Navier--Stokes equations

技術要約：確率ナビエ・ストークス方程式の解の一意性について

問題設定
本論文は、確率ナビエ・ストークス方程式（SNSE）の解の一意性と初期条件への連続依存性の問題に取り組んでいる。決定論的な方程式における古典的な結果であるルエー（Leray）やホップ（Hopf）による理論は、弱解の存在を確立しているが、二次元の場合では一意性が既知である一方、三次元の決定論的な問題においては弱解の一意性は未解決のままである。近年の研究では、特定の三次元決定論的ケースにおいて非一意性が示されており、これが「条件付き一意性」の定理の探求を動機付けている。

著者らはこの調査を、ウィーナー過程（マルチプリカティブなノイズ）と補償ポアソン確率測度（ジャンプノイズ）の両方によって同時に駆動される系へと拡張して検討している。本研究は、全空間 $\mathbb{R}^d$ を超えて、任意のリプシッツ領域における「許容解（admissible solutions）」という限定された解のクラスにおける一意性に焦点を当てている。

手法
著者らは、ゲランド・トリプル（Gelfand triple, $V \hookrightarrow H \hookrightarrow V^*$）における確率進化方程式の理論に基づいた関数解析的手法を用いている。核心となる手法は以下の通りである：

1. ノイズの再定式化： 著者らは、マルチンゲール測度（ポアソンノイズ）に関する確率伊藤積分を、ヒルベルト空間値のマルチンゲールに関する確率積分として書き換える手法（[29]を参照）を利用している。これにより、ウィーナー過程とポアソンノイズの両方によって駆動される系を、一連のマルチンゲールによって駆動される統一された系として扱うことが可能になる。
2. 許容解とモレー空間： 「許容解」と呼ばれる新しい解のクラスが導入されている。これらの解は、「モレー成分（$u_M$）」と「有界成分（$u_B$）」に分解される。モレー成分は、モレー空間（$L^{r, \lambda}$）に関連する特定の局所可積分条件を満たし、有界成分は本質的に有界である。この分解により、古典的なラジャンドラヤ・プロディ・セリン（LPS）条件よりも弱い仮定が可能となる。
3. 確率エネルギー等式： バナッハ空間値のセミマルチンゲールに対する特殊な伊藤公式が、重要な技術的ツールとして用いられている。この公式は、ドリフト成分が $V^*$ 値および $H$ 値のプロセスの和であり、かつ $H$ 値の部分が時間に関して局所可積分である場合に適応するように調整されている。これは、二つの解の差に関するエネルギー評価を導出するために不可欠である。
4. エネルギー評価とグロンウォールの不等式： 二つの許容解の差（$w = u - v$）に対して確率エネルギー等式を適用することで、著者らは微分不等式を導出している。これらの評価は、解のモレー成分の小ささと、拡散作用素の強凸性に依存している。

主要な貢献と結果

• ノイズモデルの一般化： 本論文は、ウィーナー過程のみによって駆動されるSNSE（[32]のように）から、ウィーナー過程と補償ポアソン・マルチンゲール測度の両方によって駆動される方程式への条件付き一意性の結果を拡張している。
• リプシッツ領域への拡張： 結果は任意のリプシッツ領域に対して確立されており、以前の研究がしばしば全空間 $\mathbb{R}^d$ に限定されていたことを一般化している。
• より弱い一意性条件： 著者らは、モレー型の条件によって定義される「制限されたホップ・ルエー・クラス」に基づく一一意性基準を導入している。
  • 定理 2.2： 許容解 $u$ がそのモレー成分に関する小ささの条件（$\hat{u} < \delta/N$）を満たす場合、その解は許容解のクラス内で一意的であることを確立している。さらに、初期データへの連続依存性を証明し、決定論的なケースにおける指数安定性（定理 2.3）を導いている。
  • 系 2.4： 古典的なラジャンドラヤ・プロディ・セリン条件（$u \in L^q(0, T; L^p(\mathbb{R}^d))$ かつ $d/p + 2/q \leq 1$）が、一意性に必要な許容条件を包含することを示す。したがって、本研究の結果は、古典的なLPS一意性定理をジャンプノイズを伴う確率的設定へと一般化するものである。
• H-解の存在： 定理 2.1 は、任意の許容解が $H$ 値のキャドラグ（càdlàg）プロセス（「H-解」）となる修正を持つことを証明しており、これにより解が時間に関して点ごとに定義可能であるために必要な正則性を備えていることを保証している。

意義と主張
本論文は、三次元確率ナビエ・ストークス方程式の条件付き一意性の方向に寄与することを主張している。この分野は、二次元の場合や決定論的な存在論と比較して、知られていることがかなり少ない。

著者らは、彼らの主要な結果（定理 2.2）が、一般的なリプシッツ領域上の、ウィーナー過程とポアソンノイズの両方によって駆動される方程式に対する条件付き一意性を確立したと述べている。彼らは、導入したモレー型の条件が古典的なLPS条件よりも厳密に弱いことを強調しており、それによって、一意性が保証される初期データおよび力場の範囲を広げている。また、本研究は決定論的なケースに対する安定性の結果（定理 2.3）も提供しており、導出された小ささの条件の下での解の指数的な収束を示している。

本論文は、三次元における任意の弱解の全域的一意性の問題を解決すると主張しているのではなく、解の正則性に関する、より弱いが特定の構造的仮定の下での一意性のための厳密な枠組みを提供している。結果は、ジャンプノイズとより一般的な領域を含むように、先行する決定論的および確率的な知見（特に[32]の拡張）を一般化したものとして提示されている。