[論文レビュー] Random data wave equations

Nikolay Tzvetkov|arXiv (Cornell University)|Apr 4, 2017

Advanced Mathematical Physics Problems被引用数 4

ひとこと要約

本稿は、エネルギー閾値未満の超臨界ソボレフ空間における初期データに対して、3次元立方非線形波動方程式の確率的適切性と準不変性を確立する。低正則性の初期データにガウス測度を付与し、洗練された確率的ストリコルツ推定とマルチスケール・ウイエナークラウス解析を用いることで、解のほとんど確実な大域的存在および一意性を証明し、関連する不変測度がフローに関して準不変であることを示す。これは、決定論的適切性結果を特異な正則性領域へと拡張するものである。

ABSTRACT

Nowadays we have many methods allowing to exploit the regularising properties of the linear part of a nonlinear dispersive equation (such as the KdV equation, the nonlinear wave or the nonlinear Schroedinger equations) in order to prove well-posedness in low regularity Sobolev spaces. By well-posedness in low regularity Sobolev spaces we mean that less regularity than the one imposed by the energy methods is required (the energy methods do not exploit the dispersive properties of the linear part of the equation). In many cases these methods to prove well-posedness in low regularity Sobolev spaces lead to optimal results in terms of the regularity of the initial data. By optimal we mean that if one requires slightly less regularity then the corresponding Cauchy problem becomes ill-posed in the Hadamard sense. We call the Sobolev spaces in which these ill-posedness results hold spaces of supercritical regularity. More recently, methods to prove probabilistic well-posedness in Sobolev spaces of supercritical regularity were developed. More precisely, by probabilistic well-posedness we mean that one endows the corresponding Sobolev space of supercritical regularity with a non degenerate probability measure and then one shows that almost surely with respect to this measure one can define a (unique) global flow. However, in most of the cases when the methods to prove probabilistic well-posedness apply, there is no information about the measure transported by the flow. Very recently, a method to prove that the transported measure is absolutely continuous with respect to the initial measure was developed. In such a situation, we have a measure which is quasi-invariant under the corresponding flow. The aim of these lectures is to present all of the above described developments in the context of the nonlinear wave equation.

研究の動機と目的

• 決定論的エネルギー閾値を超えて、3次元立方非線形波動方程式の適切性結果を確率的手法を用いて拡張すること。
• 初期データ空間に非退化なガウス測度 $ \widetilde{\mu}_s $ を付与することにより、エネルギー空間 $ H^1 \times L^2 $ よりも低い正則性のソボレフ空間における大域的フローの存在を確立すること。
• 解フローの法則が初期測度に関して絶対連続であること、つまり、非線形波動フローにおけるギブズ型測度の準不変性を確立すること。
• ピカール反復における正則性損失を制御するため、ウイエナークラウス推定と決定論的ストリコルツ型境界を組み合わせたマルチスケール確率的解析を開発すること。

提案手法

• 正則性 $ s < 1 $ に対して、$ H^s \times H^{s-1} $ の初期データに非退化なガウス測度 $ \widetilde{\mu}_s $ を付与し、超臨界正則性領域における確率的適切性を可能にする。
• ピカール反復における非線形項の $ L^p $-ノルムを制御するため、確率的ストリコルツ推定を用いる。ウイエナークラウス推定による正則性損失が $ \sqrt{p} $ に比例することに注意。
• 非線形相互作用における周波数局在項のマルチスケール分解を実施し、二進周波数局在 $ N_1, N_2, N_3, N_4 $ に基づく場合分けにより正則性の増加を最適化する。
• 異なる周波数領域において、二重および三重のウイエナークラウス推定を適用し、特に $ Q_1(u,v) $ の $ L^p $-ノルムを制御する。導関数損失の再配分に注意を払う。
• 正規化エネルギーとソフト解析技術を導入し、測度論的枠組み内での正規化エネルギー関数 $ R(u) $ の極限を扱う。
• 微分不等式 $ \dot{x}(t) \leq Cp(x(t))^{1-1/p} $ を用いた議論により、測度ゼロの集合が時間発展後も測度ゼロのままであることを示し、有限時間における準不変性を証明。これを時間反復することで大域的準不変性を導出する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー閾値未満の超臨界正則性のソボレフ空間における初期データに対して、3次元立方非線形波動方程式は大域的に適切に定義されるか？
• RQ2 決定論的フローが適切でない場合でも、非線形波動方程式に関連するギブズ型測度は非線形フローに関して準不変か？
• RQ3 初期データがガウス測度でランダム化された場合、解のほとんど確実な大域的存在の最適正則性閾値は何か？
• RQ4 確率的ストリコルツ推定とウイエナークラウス解析をどのように組み合わせて、低正則性空間における非線形項の成長を制御できるか？
• RQ5 定理4.3の主要推定における $ \sqrt{p} $-損失の役割は何か？なぜ準不変性の証明に不可欠なのか？

主な発見

• 初期データが $ H^s \times H^{s-1} $ に属し $ s < 1 $ の場合、3次元立方波動方程式のコーシー問題はほとんど確実に大域的に適切に定義される。これは、決定論的閾値 $ s \geq 1 $ を超える。
• 関連するギブズ測度 $ \widetilde{\mu}_s $ は非線形波動フローに関して準不変である。これは、押し出し測度が元の測度に対して絶対連続であることを意味する。
• 定理4.3の主要推定では、非線形項の $ L^p $-ノルムに $ \sqrt{p} $-損失が現れるが、これが微分不等式による準不変性の証明に不可欠である。
• 証明は、$ 4 $-線形表現 $ Q_1(u,v) $ のマルチスケール解析に依存しており、異なる周波数領域では二重または三重のウイエナークラウス推定を用いて正則性を獲得する。
• ソフト解析技術により、すべての $ p < \infty $ に対して $ L^p(d\widetilde{\mu}_s) $ 内で正規化エネルギー関数 $ R(u) $ の極限が定義可能となり、不変測度の構成が可能になる。
• 微分不等式 $ \dot{x}(t) \leq Cp(x(t))^{1-1/p} $ を用い、$ p \to \infty $ に近づけることで、測度ゼロの集合が時間発展後も測度ゼロのままであることが示され、時間区間 $ O(1/C) $ における準不変性が証明される。これを繰り返し適用することで大域的準不変性が得られる。