Existence and selection of solutions in the energy-variational framework with applications in fluid dynamics

技術要約：エネルギー・変分フレームワークにおける解の存在と選択：流体力学への応用

問題設定
本論文は、進化型偏微分方程式（PDE）、特に古典的な弱解が存在しない、あるいは非一意となる可能性がある流体力学や幾何学的PDEにおいて、大域的存在性を確立するという課題に取り組んでいる。ディペルナ–マジャ（DiPerna–Majda）の測度値解やリオンズ（Lions）の散逸解といった概念が開発されてきたが、これらは解の概念の強さとフレームワークの複雑さとの間でトレードオフが生じることが多い。具体的には、著者らは、より低い正則性の要件を持つエネルギーや、単に線形成長を持つエネルギーを扱うために、**エネルギー・変分解（energy-variational solutions）**の概念を一般化し、同時に、多価集合から特定の解を選択するための統一的なフレームワークを提供することを目指している。

手法
著者らは、$Y \hookrightarrow V$ が稠密かつコンパクトな埋め込みであるような、双対空間 $Y^*$ における $\partial_t U + A(t, U) = 0$ という形式の抽象的な進化問題のクラスに対して、抽象的なフレームワークを構築している。その核心となる手法は以下の通りである：

1. 抽象的定義： エネルギー・変分解は、状態変数 $U$ と補助的なエネルギー変数 $\mathcal{E}$ のペア $(U, \mathcal{E})$ として定義される（ここで $\mathcal{E}(U) \leq \mathcal{E}$ を満たす）。この解は、エネルギー散逸不等式、PDEの弱形式、および正則性重み $K$ を含む誤差項を組み合わせた変分不等式（式 1.3/2.4）を満たさなければならない。
2. 緩和された仮定： 本論文は、以下の点で先行研究（例：[ALR24], [EL24]）を一般化している：
   • エネルギー汎関数 $\mathcal{E}$ の成長条件を、超線形から線形成長へと緩和した。
   • 正則性重み $K$ の要件を、凸性から単なる弱*下半連続性へと軽減した。
   • 離散レベルにおいてのみ使用される第2の補助的正則性重み $\tilde{K}$ を導入した。これは近似解の存在に必要な凸性を確保するためのものであるが、連続極限においては消失する。
3. 存在証明： 証明には、最小化移動スキーム（minimizing-movements scheme）（ジョルダン–キンダーライフェラー–オットー（Jordan–Kinderlehrer–Otto）スキームに類似した時間離散化手法）を用いている。各タイムステップにおいて、離散的なエネルギー散逸不等式から導出された汎関数を最小化することによって、反復解が構成される。これらの近似解が、連続的な変分不等式を満たす極限へと収束することは、コンパクト性議論（バナッハ–アラオグルの定理）と $K$ によって保証される下半連続性を用いて確立される。
4. 選択基準： 解の固有の非一意性に対処するため、著者らはいくつかの選択基準を提案している：
   • 可算個の時間点におけるエネルギー欠損の消失。
   • 任意の $\epsilon > 0$ に対するエネルギー欠損の最小化。
   • 特定の解を唯一に選択するための、厳密に凸な積分汎関数（例：補助的エネルギー $\mathcal{E}$ の $L^1$ ノルム）の最小化。

主要な貢献と結果

• 一般存在定理 (Theorem 2.13)： 本論文は、線形エネルギー成長と弱*下半連続な正則性重みという緩和された仮定の下で、一般的なクラスの抽象的進化方程式に対する大域的な存在性を証明している。
• オイラー–ケレット・システムへの応用 (Section 3)：
  • 本フレームワークを、毛細管現象を伴う非粘性圧縮性流のオイラー–ケレット・システムに適用している。
  • 著者らは、このシステムに関する一般的な初期データに対する、このフレームワーク内での初の大域的存在結果を確立した。
  • 主要な技術的成果は、2つの異なる正則性重み（$K$ と $\tilde{K}$）の使用である。オイラー–ケレット・システムの自然な先験的評価は強いコンパクト性を与えるが、離散スキームに必要な凸性は、より大きな重み $\tilde{K}$ を必要とする。
• ビノルマル曲率流への応用 (Section 4)：
  • 本フレームワークを、エネルギー汎関数が線形成長（1次同次）を持つ幾何学的PDEであるビノルマル曲率流（渦糸方程式）へと拡張している。
  • 著者らは、発散フリーのラドン測度に対するエネルギー・変分解を定義し、流体力学と幾何学的PDEを統一的に扱う解概念を提供している。
  • 弱強一意性原理 (Theorem 4.10) が確立されており、滑らかな古典解が存在する場合、初期データが一致していれば、エネルギー・変然解はその解と一致することが示されている。
• 選択メカニズム (Section 2.5)： 本論文は、解集合が（特定の条件下で）凸であり、逐次弱*コンパクトであることを示している。この構造により、定義された基準に基づいて特定の解を選択することが可能となり、特定の解（例：最大散逸または最小乱流を持つもの）を抽出するメカニズムを提供する。

意義と主張
本論文は、エネルギー・変分フレームワークが、標準的な弱解が不十分または不適当となる進化型PDEを分析するための、堅牢かつ柔軟なツールを提供すると主張している。

• 統一性： 古典的な流体力学（オイラー–ケレット）と幾何学的PDE（ビノルマル曲率流）を橋渡しし、これら領域間の特異極限や接続性を統一的な文脈で研究することを可能にする、包括的な解概念として機能する。
• 汎用性： エネルギー成長と正則性重みの仮定を緩和することで、線形成長エネルギーやコンパクト性によって扱われる低次項を含む、より広範なクラスの問題に対応している。
• 選択性： ヴァリフォールド（varifold）やユング測度（Young measure）のような、広すぎる可能性のある他の一般化された解概念とは異なり、エネルギー・変分フレームワークは選択基準と組み合わせることで、自由度を減少させ、一意または物理的に動機付けられた解の特定を可能にする。
• 比較： 著者らは、彼らのエネルギー・変然解が、議論されている特定の応用において、利用可能なヴァリフォールドやユング測量値解よりも強く、一方で解空間の自由度を大幅に削減していることを指摘している。

本研究は、物理的な意味での解の非一一性を解決すること（すなわち、自然が唯一の解を選択することを証明すること）を主張しているのではなく、定義された基準に基づいて、許容される解の集合から特定の候補を選択するための数学的な仕組みを提供している。