[論文レビュー] Stable manifolds for a class of degenerate evolution equations and exponential decay of kinetic shocks

Alin Pogan, Kevin Zumbrun|arXiv (Cornell University)|Jul 11, 2016

Gas Dynamics and Kinetic Theory参考文献 17被引用数 7

ひとこと要約

本稿は、線形化が適切でない非可逆な作用素を伴う退化型の発展方程式のクラスに対して、安定多様体の存在を確立する。具体的には、平衡状態に近い運動量型緩和系（例えば、定常ボルツマン方程式）を扱い、不適切に定義された線形化に対応する動的システムの枠組みを新たに構築した。主な結果は、周波数領域解析と重み付きソボレフ空間上での指数的二分岐理論を用いて、運動量的衝撃波および境界層が平衡状態に指数的減衰することの証明である。

ABSTRACT

We construct stable manifolds for a class of degenerate evolution equations including the steady Boltzmann equation, establishing in the process exponential decay of associated kinetic shock and boundary layers to their limiting equilibrium states. Our analysis is from a classical dynamical systems point of view, but with a number of interesting modifications to accomodate ill-posedness with respect to the Cauchy problem of the underlying evolution equation.

研究の動機と目的

• 線形作用素が可逆でないため、標準的な発展族手法が適用できない退化型発展方程式に対して、動的システムの枠組みを構築すること。
• 運動量緩和系（例えばボルツマン方程式に由来するもの）の定常的プロファイルに対して、安定多様体および中心安定多様体の存在を確立すること。
• 大振幅解に対しても、衝撃波および境界層プロファイルが空間無限遠で平衡状態に指数的減衰することを証明すること。
• 特に運動量理論の文脈において、非可逆で自己随伴な線形作用素を持つ系に対して、古典的な中心安定多様体理論を拡張すること。
• 非線形安定性の証明に動的システム技法を適用するための基礎的ツールを提供することであり、小振幅解に限定されない応用を想定する。

提案手法

• 文献[12, 13]の手法に従い、変数分離を用いて定常衝撃波プロファイル方程式 $ Au_{\tau} = Q(u) $ を周波数領域に再定式化し、変数定数の公式に依存しないようにする。
• ヒルベルト空間 $ \mathbb{H} = \mathbb{V} \oplus \mathbb{V}^\perp $ の分解を適用し、$ \mathbb{V}^\perp $ が有限次元で $ A $ が $ \mathbb{V}^\perp $ 上で特異的であるようにすることで、系を分離する。
• 河島条件および線形化作用素 $ Q'(u^\pm) $ のスペクトル性質を用いて、$ \mathbb{H} $ 上で安定、不安定、中心部分空間を有する指数的二分岐を確立する。
• 重み付きソボレフ空間 $ H^1_\alpha(\mathbb{R}_\pm, \mathbb{H}) $ における固定点定理を用い、縮小作用素 $ S_\pm^r $ が $ \mathbb{V} $ 上で可逆であることに依存して、安定多様体を安定部分空間上へのグラフとして構成する。
• 安定多様体に属する解が、任意の $ \alpha \in [0, \tilde{\nu}) $ に対して $ H^1_\alpha $-ノルムで指数的減衰することを証明する。ここで $ \tilde{\nu} < \min\{\nu_+, \nu_\} $ であり、$ \nu_\pm $ は $ \mathbb{V} $ 上の縮小双半群の減衰率である。
• 線形化の構造および双線形非線形項 $ Q $ の有界性を用いて、安定多様体内に一意な解が存在することを保証し、これによりプロファイルの指数的減衰が示される。

実験結果

リサーチクエスチョン

• RQ1 線形作用素が自己随伴的ではあるが可逆でない場合に、安定多様体理論を退化型発展方程式に拡張することは可能か？
• RQ2 ボルツマン方程式の運動量的衝撃波プロファイルは、大振幅解に対しても空間無限遠で平衡状態に指数的減衰するか？
• RQ3 線形化が有界逆作用素を持たない場合に、定常プロファイル方程式 $ Au_\tau = Q(u) $ に対して中心安定多様体を構成することは可能か？
• RQ4 安定多様体内の解の正確な減衰率は何か？ また、これは安定部分空間上での縮小作用素のスペクトル性質とどのように関係するか？
• RQ5 周波数領域の手法を用いることで、このような方程式の初期値問題が不適切に定義されても、重み付きソボレフ空間において適切に定義された解を得られるか？

主な発見

• 著者らは、平衡状態 $ u^\pm $ の近傍で、定常プロファイル方程式 $ Au_\tau = Q(u) $ に対して安定多様体 $ \mathcal{M}_s^{\Gamma,E} $ を構成した。この多様体は安定部分空間上へのグラフとしてパラメトライズされている。
• 安定多様体に属する解は、任意の $ \alpha \in [0, \tilde{\nu}) $ に対して $ H^1_\alpha(\mathbb{R}_\pm, \mathbb{H}) $-ノルムで指数的減衰する。ここで $ \tilde{\nu} < \min\{\nu_+, \nu_\} $ であり、$ \nu_\pm $ は $ \mathbb{V} $ 上の縮小双半群の減衰率である。
• 仮定(H1)–(H3)の下で中心安定多様体定理が確立され、河島条件および $ Q'_{22}(u^\pm) $ の負定値性により、スペクトルギャップと指数的二分岐が保証される。
• 変数定数の公式の使用を避けるために、周波数領域への再定式化と重み付き関数空間における固定点法を用いた。
• この結果により、ボルツマン方程式の運動量的衝撃波および境界層プロファイルが、小振幅仮定なしに平衡状態に指数的減衰することが示された。
• 安定多様体が局所的に不変であり、近傍のすべての解を引き寄せることが示された。これにより、重み付き $ H^1 $-設定におけるプロファイルの非線形安定性が確認された。