[論文レビュー] Factorization for non-symmetric operators and exponential H-theorem

Maria Pia Gualdani, Stéphane Mischler+1 more|Jun 29, 2010

Gas Dynamics and Kinetic Theory参考文献 104被引用数 55

ひとこと要約

本稿では、バナッハ空間における非対称作用素のための新しい因子分解法を導入し、より小さな基準空間からのスペクトルギャップの性質を活用することで、リゾルベントおよび半群に対する鋭い崩壊推定を可能にする。この手法は線形化ボルツマン方程式に適用され、$L^1_xL^∞wedge{∞}_v(1+|v|^k)$、$k>2$ における平衡状態への指数的崩壊の最初の構成的証明をもたらし、$H$-定理における鋭い崩壊率に関する長年の予想を解消する。

ABSTRACT

We present an abstract method for deriving decay estimates on the resolvents and semigroups of non-symmetric operators in Banach spaces in terms of estimates in another smaller reference Banach space. This applies to a class of operators writing as a regularizing part, plus a dissipative part. The core of the method is a high-order quantitative factorization argument on the resolvents and semigroups. We then apply this approach to the Fokker-Planck equation, to the kinetic Fokker- Planck equation in the torus, and to the linearized Boltzmann equation in the torus. We finally use this information on the linearized Boltzmann semi- group to study perturbative solutions for the nonlinear Boltzmann equation. We introduce a non-symmetric energy method to prove nonlinear stability in this context in $L^1_v L^\infty _x (1 + |v|^k)$, $k > 2$, with sharp rate of decay in time. As a consequence of these results we obtain the first constructive proof of exponential decay, with sharp rate, towards global equilibrium for the full nonlinear Boltzmann equation for hard spheres, conditionally to some smoothness and (polynomial) moment estimates. This improves the result in [32] where polynomial rates at any order were obtained, and solves the conjecture raised in [91, 29, 86] about the optimal decay rate of the relative entropy in the H-theorem.

研究の動機と目的

• 非対称作用素に対して、より小さなバナッハ空間 $E$ におけるスペクトルギャップおよび崩壊推定を、より大きな空間 $\mathcal{E}$ に拡張する一般的な抽象的枠組みを構築すること。
• 運動論理論における重要な課題に応えること：線形化安定性はガウス重み付き $L^2$ で成立するが、非線形適切性はより大きな物理的に重要な空間、例えば $L^1_xL^\infty_v(1+|v|^k)$ で必要とされる。
• 物理的空間における非線形ボルツマン方程式の鋭い、構成的な崩壊率を確立し、$H$-定理における最良の崩壊率に関する予想を解消すること。

提案手法

• リゾルベントおよび半群に関する高次数量的因子分解法を、デイソン級数にインspiredして提案し、$\mathcal{L} = \mathcal{A} + \mathcal{B}$ のスペクトル的性質を、部分空間 $E\subset\mathcal{E}$ 上の基準作用素 $L$ のスペクトル的性質に関連付ける。
• 分解 $\mathcal{L} = \mathcal{A} + \mathcal{B}$ を用い、$\mathcal{B}$ が局所的スペクトルを持つこと、および繰り返し畳み込み $({\mathcal{A}}S_{\mathcal{B}})^{*n}$ が $\mathcal{E}$ を $E$ に写像し、時間的崩壊制御が可能であることを活用する。
• ガウス重み付き $L^2$ における線形化ボルツマン作用素の下で、仮想散逸性および強制性推定を確立し、その後、因子分解法を用いて多項式重み付き $L^p$ 空間に拡張する。
• 非対称エネルギー法を導入し、$L^1_xL^\infty_v(1+|v|^k)$、$k>2$ における非線形安定性を、鋭い指数的崩壊率で証明する。
• 繰り返し平均化補題およびポヴツネル型推定を用いて、速度モーメントを制御し、衝突作用素の正則化を図る。
• デュハメルの原理を用いて、非線形フローをガウス的崩壊を示す滑らかな部分と、$H^\alpha_{x,v,\text{loc}}$ に局所化された特異部分に分解し、$L^2$ 特異構造を捉える。

実験結果

リサーチクエスチョン

• RQ1 より小さな $L^2$-ベースの空間からのスペクトルギャップ推定は、非対称運動論作用素に対して、多項式重み付きのより大きな $L^p$-ベースの空間へ拡張可能か？
• RQ2 物理的空間 $L^1_xL^\infty_v(1+|v|^k)$、$k>2$ における非線形ボルツマン方程式の平衡状態への鋭い崩壊率は何か？ そして、それは構成的に証明可能か？
• RQ3 因子分解法は、補間に基づく手法とは異なり、崩壊率の鋭さを損なわず、正確に保つことができるか？
• RQ4 非対称エネルギー法は、線形化作用素が非対称である空間において、最良のレートで非線形安定性を証明するために使用可能か？
• RQ5 非線形フローにおける特異構造は何か？ そして、物理空間でどのように捉えられるか？

主な発見

• 本稿は、滑らかさおよびモーメント推定の下で、完全な非線形ボルツマン方程式（硬球相互作用）に対する、グローバル平衡状態への指数的崩壊の最初の構成的証明を提供する。
• $L^1_xL^\infty_v(1+|v|^k)$、$k>2$ における崩壊率は、指数的であり、$\min\{\nu_0 - \varepsilon, 3\lambda\}$ のレートを示す。ここで $\lambda$ は線形化 $L^2$ 空間におけるスペクトルギャップである。
• この手法により、線形化 $L^2$ 空間からの崩壊率の鋭さが、より大きな $L^1_xL^\infty_v(1+|v|^k)$ 空間へも正確に保たれ、補間法で一般的に生じる精度損失を回避する。
• 非線形フローにおいて、解はガウス的崩壊を示す滑らかな部分と、$H^\alpha_{x,v,\text{loc}}$ に局所化された特異部分に分解され、解の $L^2$ 特異構造を捉える。
• $L^2$ 特異性が物理空間に局所化されていることが示され、衝突作用素の速度平均化性と整合的である。
• $H$-定理における最良の崩壊率に関する予想が解消され、相対エントロピーが線形理論で予測された鋭いレートで指数的に崩壊することが確認された。