小さな乱れでも必ず衝撃(ショック)が生じると証明 — 3次元圧縮性オイラー流の新しい結果
この論文は、平衡状態の非真空流体に対する小さく滑らかな、しかもコンパクトに支持された乱れが、三次元の回転なし(イロトーショナル)圧縮性オイラー方程式において必ず有限時間で衝撃(ショック)に至ることを示します。著者らはSergiu Klainerman、Qian Wang、Shiwu Yang、Pin Yuです。重要な点は、初期データに対して球対称などの特別な仮定を課さないことです。また、ショックが最大コーシー発展の境界で生じ、その形成時刻は小さなデータの漸近解析(放射場の解析)が予測する寿命と一致する、という結論を得ています。
研究の出発点は、流体の密度と速度を扱う標準的な圧縮性オイラー方程式です。論文では圧力を関数形 p(ρ)=Aρ^γ(A>0, γ>1)と仮定し、正規化した密度や音速を定義します。回転がない場合は速度をポテンシャル ϕ の勾配 v=∇ϕ と書けます。すると、未知関数ϕは一次導関数に依存する係数を持つ準線形波動方程式(式 (1.9))に帰着します。この波動方程式の係数は「音響計量」と呼ばれる擬リーマン計量 g に関係し、特性(情報の伝搬面)はこの計量の「光様」面に対応します。初期データは半径1内にコンパクトに支持すると仮定され、有限速度伝播により外側では定常状態が保たれます。
ショックが生じる機構は、特性の塊(特性葉)の崩壊です。直観的には、ある領域で特性が互いに近づき、最終的に交差することで2次導関数が発散し、第一導関数は有界のままという典型的なショックの形成が起きます。著者らは、この幾何学的な特性解析を、先行研究で用いられた音響計量に基づく手法と組み合わせて展開します。これには、1次元や対称性のある場合に対する古典的な結果(JohnやAlinhacの仕事)や、三次元での幾何学的手法を導入したChristodoulouの成果が背景にありますが、本論文では対称性を仮定しない一般の場合へと拡張しています。
なぜこの結果が重要かと言えば、三次元では波の散逸(ディスパージョン)が小さな乱れの潰れ(圧縮)を打ち消す可能性があり、ショック形成が起きるかどうかが不明瞭だったためです。本論文は、コンパクト支持という自然な条件だけで圧縮が間接的に含まれることを示し、小さなデータでも圧縮が優勢になってショックが不可避であることを証明しました。さらに、ショック形成時刻が放射場解析で予測される寿命と一致することを示しており、理論的な予測と正確に結び付けられています。論文内では、波動方程式の寿命に関する既知の下限(John/Hörmander の結果)も用いられており、具体的には初期データに依存する定数 τ* を用いて liminf_{ε→0} ε log T_ε ≥ τ* という下限が参照されています。
重要な制約もあります。証明は回転なし(イロトーショナル)で等エントロピーに対応するバーオトロピック(圧力が密度のみの関数)な場合に限られます。具体的には圧力の形を p(ρ)=Aρ^γ と仮定しています。また初期データは「小さい(ε が小さい)」こととコンパクト支持であることが前提です。渦(ボルティシティ)やエントロピー変化を含む一般のオイラー方程式に対する同様の結論は、著者らが進行中の研究テーマとして挙げており、今後の課題とされています。