Variational formulation of hyperbolic conservation laws

技術的サマリー：双曲型保存則の変分定式化

問題提起
本論文は、双曲型保存則の系における対称性の起源に関する K. O. フリードリッヒスによって提起された基礎的な問いに答えるものである。フリードリッヒスとラックスは、厳密に凸なエントロピー関数の存在が、系を対称化可能（すなわち、ヤコビ行列をエントロピーのヘッセ行列によって対称化可能）にすることを示したが、フリードリッヒスは、この対称性が系に課される仮定ではなく、保存則そのものから導き出される固有の性質であるかどうかを疑問視した。これは特に $N \geq 3$ 個の方程式からなる系において重要であり、そのような系では対称性条件がエントロピーのヘッセ行列に対する過剰決定系を構成し、エントロピー関数が常に存在するわけではない（例：「完全に非保存的」な系）。

さらに、本論文は物理的に意味のある弱解の選択を調査する。エントロピー不等式（$\eta_t + \nabla \cdot q_\eta \leq 0$）はスカラー法則や 1 次元系における選択基準として機能するが、多次元系（$N \geq 2$）では一意性を保証するものではない。ダファモスは、より強力な選択基準として「最大エントロピー生成（MaxEnt）」原理を提案したが、この原理が一意の解をもたらさない反例も存在する。本論文は、エントロピー関数と MaxEnt 原理を同時に変分枠組みから導出するために、問題を再定式化することを目的としている。

手法
著者は、状態関数 $u$ の空間と観測量 $\eta$ の集合上で定義された作用汎関数 $I_\eta(u)$ に基づく変分定式化を導入する。

1. 変分解: 対 $(\eta, u)$ を、$u$ がすべての許容状態の中で作用汎関数 $I_\eta$ の最小化器である場合、変分解と定義する。作用汎関数は以下のように与えられる：
   $$I_\eta(u) = \int_{t_1}^{t_2} \int_\Omega \langle \nabla \eta(u), u_t + \sum_{j=1}^d f_j(u)_{x_j} \rangle_\phi \, dx \, dt$$
   ここで、被積分関数は $u$ の不連続性により非保存積を含み、特定の経路 $\phi$ を用いてダル・マソ、ル・フロック、ムラト（DLM）の意味で解釈される。

2. 対称性の導出: 本論文は 2 種類の摂動を考察する：

   • 観測量の線形摂動（$\eta_c = \eta + \langle c, u \rangle$）: これらの摂動に対して作用が最小化されることを要求すると、$u$ が弱意味で保存則を満たすことが強制される。
   • 状態の局所的滑らかな摂動（$u + \delta u$）: これらの摂動に対して作用が停留する（stationary）ことを要求すると、以下の条件が導かれる：
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     これはまさに対称化可能性条件である。したがって、エントロピー関数の存在は、変分原理の停留性に対する必要条件として導き出され、事前に仮定されるものではない。

3. エントロピー不等式と MaxEnt の導出: 観測量の集合を対称化可能性条件（すなわちエントロピー関数）を満たすものに限ると、作用汎関数は全エントロピー変化と境界フラックスの和に簡略化される。変分解の最小化性質は、解が局所摂動に対してエントロピー生成率を最小化（あるいはエントロピー散逸を最大化）することを意味する。これにより、ダファモスの MaxEnt 原理の局所版が、変分定式化から直接導かれる。

主要な貢献と結果

• エントロピーの導出: 本論文は、変分解を許容する系において、エントロピー関数が外部からの仮定ではなく、変分原理から導かれる極値対象であることを示すことで、フリードリッヒスの問いに答える。エントロピー関数のヘッセ行列が、系のヤコビ行列の対称化子であることが示される。
• 系の分類: この定式化は、非空の観測量/エントロピー集合（したがって変分解）を許容する「エントロピック系」と、観測量の集合が空であり変分解が存在しない「非エントロピック系」を区別する。
• 局所 MaxEnt 原理: 本論文は、変分原理がダファモスの MaxEnt 基準の局所版を意味することを示す。具体的には、変分解は、ある時刻まで解と一致するすべての弱解の中で、局所エントロピー生成率を最小化する。
• 一意性への限界: 本論文は、変分定式化がエントロピーと MaxEnt 原理を導出するための厳密な枠組みを提供する一方で、多次元系における一意性の問題を自動的に解決するものではないことを認めている。等エントロピー・オイラー方程式において、ある初期データに対してさえ MaxEnt 原理が一意の解を選択しないことを示す最近の研究（De Lellis, Székelyhidi, Chiodaroli など）を引用している。変分定式化は局所 MaxEnt 基準よりも制限的であることが指摘されているが、一意性を保証する適切な摂動空間 $W$ の存在は未解決の問題である。

意義
本論文は、以下の点において重要な意義を有すると主張している：

1. 対称性の導出: エントロピーを課された物理的制約から、変分原理の数学的帰結へと地位を変え、フリードリッヒスの対称性の起源に関する問いに応える。
2. 選択原理の統合: 弱解の概念、エントロピー関数の存在、および MaxEnt 選択基準を、単一の変分構造の中で結びつける。
3. 範囲の明確化: このような定式化が可能となる系のクラス（エントロピック系）を明示的に画定し、多次元双曲型保存則における一意性を保証する現在の選択原理の限界を浮き彫りにする。

この研究は、双曲型保存則の数学的構造に対するより深い理解への一歩として提示され、フリードリッヒスの基礎的業績とピーター・ラックスの遺産に敬意を表しつつも、多次元圧縮性流れにおける非一意性という「科学的スキャンダル」が未解決の課題として残っていることを認めている。