[論文レビュー] Kinetic maximal $L^2$-regularity for the (fractional) Kolmogorov equation

Lukas Niebel, Rico Zacher|arXiv (Cornell University)|Jun 20, 2020

Advanced Mathematical Physics Problems参考文献 32被引用数 7

ひとこと要約

本稿は、分数階コルモゴロフ方程式に対して時間重み付きの運動的 maximal $L^2$-正則性を確立し、非一様なソボレフ空間における解の正則性を特徴づける。解は位置 $x$ において $\frac{\beta}{\beta+1}$ 個の微分を獲得し、$(0,T)\times\mathbb{R}^{2n}$ で瞬時に $C^\infty$ スムージングを達成する。これは初期データの正則性が限られている場合でも成立する。

ABSTRACT

We introduce the notion of kinetic maximal $L^2$-regularity with temporal weights for the (fractional) Kolmogorov equation. In particular, we determine the function spaces for the inhomogeneity and the initial value which characterize the regularity of solutions to the fractional Kolmogorov equation in terms of fractional anisotropic Sobolev spaces. It is shown that solutions of the homogeneous (fractional) Kolmogorov equation define a semi-flow in a suitable function space and the property of instantaneous regularization is investigated.

研究の動機と目的

• 時間重み付きの下で (分数階) コルモゴロフ方程式に対する精確な $L^2$-正則性理論を確立すること。
• 非同次項および初期データの関数空間を特徴づけ、非一様なソボレフ空間における maximal $L^2$-正則性を保証するものとする。
• 解における即時正則化現象、特に速度 $v$ から位置 $x$ への正則性の移行を調査すること。
• 既知の正則性移行結果（例えば、Bouchutの定理）を時間重み付き $L^2$-設定に拡張すること。
• 初期データの正則性が制限されていても、同次方程式の解が $t=0$ の直後から空間的・時間的に $C^\infty$ に滑らかになることを証明すること。

提案手法

• 時間重み $t^{1-\mu}$（$\mu \in (\frac{1}{2},1]$）を用いた、運動的 maximal $L^2$-正則性の新しい概念を導入する。
• 時間微分および速度微分の時間重み付き推定を組み込むために、解空間 $\mathcal{T}_\mu((0,T);X)$ および $L^2_\mu((0,T);X)$ を定義する。
• 既知の $L^2$-推定を非重み付きから重み付き設定に移行するために、同型写像 $\Phi_\mu(u)(t) = t^{1-\mu}u(t)$ を用いる。
• 半群理論およびスペクトルマルチプライアの理論を用いて、コルモゴロフ作用素 $\partial_t + v\cdot\nabla_x + (-\Delta_v)^{\beta/2}$ を分析する。
• 重み付き推定と補間および等連続性の議論を組み合わせることで、$x$ における $\frac{\beta^2}{2(\beta+1)}$ 個の追加正則性を確立する。
• 連続的な時間シフトを用いた反復的正則性増加により、$(0,T)\times\mathbb{R}^{2n}$ における $C^\infty$ スムージングを証明する。

実験結果

リサーチクエスチョン

• RQ1 非同次項および初期データの関数空間は、時間重み付きの分数階コルモゴロフ方程式に対して maximal $L^2$-正則性を保証するか？
• RQ2 分数階コルモゴロフ方程式において、速度の正則性から位置変数 $x$ における正則性はどの程度向上するか？
• RQ3 同次分数階コルモゴロフ方程式の解は、$t=0$ の直後に $C^\infty$ 正則性に達するか？
• RQ4 正則性の $v$ から $x$ への移行は、初期データの $x$ における正則性に反映されるか？
• RQ5 時間重みは正則性推定をどのように改善し、即時スムージングの証明を可能にするか？

主な発見

• $\mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);X_\beta^1)\cap L^2_{1-\beta}((0,T);\dot{H}_x^\beta)$ は $C((0,T];H^{\beta/2}(\mathbb{R}^{2n}))$ に連続的に埋め込まれる。
• 解は位置変数 $x$ において $\frac{\beta}{\beta+1}$ 個の微分を獲得し、既知の結果と整合的であるが、今やグローバルで重み付き $L^2$-設定において成立する。
• 同次方程式の解は、初期データの正則性が制限されていても、任意の $T>0$ に対して $C^\infty((0,T)\times\mathbb{R}^{2n})$ に属する。
• $x$ における正則性の増加は、初期データの $x$ における正則性に等しく、$v$ における正則性は初期データの $x$ と $v$ の両方における共同正則性に対応する。
• $\mu > \frac{1}{2}$ の時間重み $t^{1-\mu}$ は、時間シフトによる反復的正則性増加を通じて $C^\infty$ スムージングの証明を可能にする。
• 本結果は Bouchut の定理を重み付き $L^2$-フレームワークに拡張し、$u \in \mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);H_v^r)$ ならば $u \in L^2_\mu((0,T);H_x^{r/(r+1)})$ が成り立つことを示す。