[論文レビュー] Probabilistic well-posedness for supercritical wave equation on $\mathbb{T}^3$

Chenmin Sun, Bo Xia|arXiv (Cornell University)|Aug 2, 2015

Advanced Mathematical Physics Problems参考文献 6被引用数 5

ひとこと要約

本稿は、$3 < p < 5$ における超臨界波動方程式 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ に対して、初期データの確率的ランダム化を用いて、$\mathbb{T}^3$ 上でほとんど確実な大域的適定性を確立する。$s \in \left(\frac{p-3}{p-1}, 1\right)$ の範囲で、$H^s \times H^{s-1}$ 上の初期データの全測度集合を構築することにより、ほとんど確実に大域的解の存在と一意性を証明した。これは、決定論的臨界正則性 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ より顕著に低い正則性で達成された。確率的ストリコフツェス推移と修正エネルギー法を用いることで実現された。

ABSTRACT

In this article, we follow the strategies, listed in \cite{Burq2011} and \cite{OhPo}, in dealing with supercritical cubic and quintic wave equations, we obtain that, the equation \begin{equation*} \left\{ \begin{split} &amp;(\partial^2_t-Δ)u+|u|^{p-1}u=0,\ \ 3

研究の動機と目的

• 正則性空間において、$3 < p < 5$ の超臨界波動方程式 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ が決定論的臨界インデックス $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ より低い正則性で不適定である問題を克服すること。
• ブルクとツヴェツコフの意味でのほとんど確実な大域的適定性を、$s > \frac{p-3}{p-1}$ の範囲で $H^s \times H^{s-1}$ 上の初期データをランダム化することによって確立すること。これは $s_{\text{cr}}$ より厳密に低い。
• 3次（$p=3$）および5次（$p=5$）の場合に既に確立された確率的適定性フレームワークを、$\mathbb{T}^3$ 上の全超臨界範囲 $3 < p < 5$ に拡張すること。
• ランダム化が、初期データに対する連続的依存性の欠如によって決定論的法が失敗する状況でも、解の大域的存在と一意性を可能にすることを示すこと。

提案手法

• フーリエランダム化により、$H^s \times H^{s-1}$ 上の初期データ $(u_0, u_1)$ をランダム化し、$s > \frac{p-3}{p-1}$ の範囲で $\omega$-依存する初期データ $(u_0^\omega, u_1^\omega)$ を、ほとんど確実に $\mathcal{H}^s$ 上に構成する。
• 解を $u^\omega = z^\omega + v^\omega$ と分解する。ここで $z^\omega = S(t)(u_0^\omega, u_1^\omega)$ は線形発展であり、$v^\omega$ は摂動的枠組みにおける非線形方程式の解である。
• 確率的ストリコフツェス推移を用いて、線形部 $z^\omega$ を混合ノルム空間 $L^{2p/(p-3)}_T L^{2p}_x$ で制御し、尾確率推移によりほとんど確実な有界性を示す。
• 周波数帯域制限と事前推移を用いて、$[0,T]$ 上で $\mathcal{H}^1$ 上で $v^\omega$ が有界のままであるような、初期データ実現の全測度集合 $\Omega_{T,\varepsilon}$ を構築する。
• 修正エネルギー法と、有界な球上で $C([0,T]; \mathcal{H}^s)$ 内の固定点法を適用し、$z^\omega$ の確率的制御と周波数帯域制限解 $v^\omega_N$ の一様有界性に依存する。
• 時間分割 $[0,T] = \bigcup_k I_k$ と指数的尾確率推移を用いて、小さな区間での線形フローを制御し、全測度集合 $\Omega_{T,\varepsilon}$ が $\mathbb{P}(\Omega_{T,\varepsilon}^c) < \varepsilon$ を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 超臨界波動方程式 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ が $\mathbb{T}^3$ 上で $3 < p < 5$ の場合に、決定論的臨界正則性 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ より低い正則性で、ほとんど確実な大域的適定性が確立可能か。
• RQ2 初期データのランダム化による確率的適定性が成立する正則性閾値 $s$ の最良の境界は何か。これは $s_{\text{cr}}$ より低い。
• RQ3 確率的手法は、特に連続的依存性と大域的存在の観点から、超臨界領域における決定論的不適定性をどのように改善するか。
• RQ4 $p=3$ および $p=5$ の場合に用いられたランダム化戦略を、$3 < p < 5$ の全範囲に拡張可能か。また、正則性閾値 $s > \frac{p-3}{p-1}$ に対して一様な制御が可能か。

主な発見

• 方程式 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ は、$\mathbb{T}^3$ 上で、$s \in \left(\frac{p-3}{p-1}, 1\right)$ の範囲で、$\mathcal{H}^s = H^s \times H^{s-1}$ 上の初期データに対して、確率的ランダム化のもとでほとんど確実に大域的適定である。
• 正則性閾値 $\frac{p-3}{p-1}$ は、決定論的臨界インデックス $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ より厳密に低い。これは決定論的法に比べ顕著な改善を示している。
• 任意の $T, \varepsilon > 0$ に対して、$\mathbb{P}(\Omega_{T,\varepsilon}^c) < \varepsilon$ を満たす全測度集合 $\Omega_{T,\varepsilon} \subset \Omega$ が存在し、すべての $\omega \in \Omega_{T,\varepsilon}$ に対して、$C([0,T]; \mathcal{H}^s)$ 内に一意な解 $u^\omega$ が存在する。
• 解の非線形部 $v^\omega$ は、一様な確率的エネルギー境界を満たす： almost surely で $\sup_{t \in [0,T]} \|(v^\omega, \partial_t v^\omega)\|_{\mathcal{H}^1} < C(T, \varepsilon, \|(u_0,u_1)\|_{\mathcal{H}^s}) < \infty$。
• この結果は、$\frac{p-3}{p-1}$ が端点ケース $p=3$ および $p=5$ と整合可能であり、それら極限での既知の結果を回復するという点で、鋭い。
• 本手法は、確率的ストリコフツェス推移と、小さな区間 $I_k$ を用いた時間局所化された議論に依存しており、指数的尾確率境界により全測度存在性を保証する。