[論文レビュー] Hypocoercivity and exponential time decay for the linear inhomogeneous relaxation Boltzmann equation

Frédéric Hérau|arXiv (Cornell University)|Mar 17, 2005

Gas Dynamics and Kinetic Theory参考文献 5被引用数 98

ひとこと要約

この論文は、仮想的ポテンシャルを伴う線形非同次緩和ボルツマン方程式に対して、低コホーシビティ技術を用いて指数的時間減衰を確立する。衝突作用素が正則化（擬微分的）性質を欠くにもかかわらず、著者らは修正されたリャプノフ汎関数を構築することで、重み付きL²空間におけるグローバルマクスウェル分布への指数的減衰を証明し、係数α²/Aに比例する明示的な減衰率を導出する。

ABSTRACT

We consider an inhomogeneous linear Boltzmann equation, with an external confining potential. The collision operator is a simple relaxation toward a local Maxwellian, therefore without diffusion. We prove the exponential time decay toward the global Maxwellian, with an explicit rate of decay. The methods are based on hypoelliptic methods transposed here to get spectral information. They were inspired by former works on the Fokker-Planck equation and the main feature of this work is that they are relevant although the equation itself has no regularizing properties.

研究の動機と目的

• 線形非同次緩和ボルツマン方程式に仮想的ポテンシャルを伴う解の指数的時間減衰を確立すること。
• Fokker-Planck方程式などの擬微分的方程式に既に用いられていた低コホーシビティ技術を、正則化効果のない衝突作用素を有する運動方程式へと拡張すること。
• 修正されたヒルベルト空間B₂におけるスペクトルギャップ情報が、方程式自体が滑らかさの性質を欠つ場合でも指数的減衰を保証するのに十分であることを示すこと。
• ポテンシャルVの2階および3階微分と作用素Λ₂ − 1のスペクトルギャップαに依存する明示的な減衰率を提供すること。
• C´aceres, Carillo, および Goudonが提起した、擬微分的手法がこのモデルに適用可能かどうかという疑問に答えること。

提案手法

• Mをグローバルマクスウェル分布とするとき、M¹ᐟ²による共役変換を用いて方程式を重み付きL²空間B₂で扱う。
• 作用素Λ₂ = −γ∂v(∂v + v) − γ∂x(∂x + ∂xV) + 1を定義し、これは最大収縮的であり、固有関数Mをもつ唯一の固有値0を持つ。
• B₂におけるΛ₂ − 1に正のスペクトルギャップα > 0が存在すると仮定する。これは例えばHessV ≥ λIdのとき、α ≥ λが成り立つ。
• 生成子Kの強収縮性推定を得るために、L = εΛ₂⁻¹を用いた修正されたリャプノフ汎関数を構築する。
• 一般補題（補題4.1）を適用し、Kと(L + L*)を含む二次形式の均一な下界が、半群における指数的減衰を示す。
• コーシー・シュワルツと交換子推定（例：[Λ₂, bk] = −γbk）を用いてエネルギー推定における項を評価し、γおよび∇²Vと∇³Vの有界性にのみ依存する。

実験結果

リサーチクエスチョン

• RQ1 元々Fokker-Planck方程式などの擬微分的方程式に開発された低コホーシビティ技術を、正則化効果のない衝突作用素を有する運動方程式へ応用可能か？
• RQ2 衝突作用素が滑らかさの性質を欠つ場合でも、線形非同次緩和ボルツマン方程式は平衡状態への指数的減衰を示すか？
• RQ3 この方程式の指数的減衰の明示的速率は何か？ そしてポテンシャルVとスペクトルギャップαにどのように依存するか？
• RQ4 B₂における作用素Λ₂ − 1のスペクトルギャップが、完全な擬微分的性質がなくても指数的減衰を保証するのに十分か？
• RQ5 衝突作用素Q(f) = γ(ρµ∞ − f)の構造は、速度空間におけるエルミート展開を介してFokker-Planck作用素と関連づけられるか？

主な発見

• 線形非同次緩和ボルツマン方程式の解f(t)は、B₂ノルムにおいて指数的に減衰する：||f(t) − f∞||B₂ ≤ 3||f₀ − f∞||B₂ e⁻α²t/A。
• 減衰率はα²/Aで明示的に評価され、AはVの2階および3階微分にのみ依存する。
• 相対エントロピーH(f, f∞)(t)は指数的に減衰する：f₀ ≥ 0の仮定の下で、H(f, f∞)(t) ≤ 3||f₀||B₂ ||f₀ − f∞||B₂ e⁻α²t/A。
• 衝突作用素が正則化効果を欠つ場合でも、B₂におけるΛ₂ − 1のスペクトルギャップα > 0が成立する限り、結果は成り立つ。
• e⁻V ∉ L¹の場合でも、f∞を0に置き換えた場合に結果は依然有効であり、減衰率はΛ₂ − 1のスペクトルの下限αを用いて保たれる。
• Fokker-Planck方程式と線形非同次ボルツマンモデルは、速度空間におけるエルミート展開を通じて構造的に類似しており、両者において低コホーシビティの有効性を説明する。