[論文レビュー] A remark on norm inflation for nonlinear wave equations

Justin Forlano, Mamoru Okamoto|arXiv (Cornell University)|Sep 8, 2019

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

ひとこと要約

本稿は、非線形波動方程式（NLW）の負のソボレフ空間における任意の初期データにおけるノルムインフレーションを確立し、Christ, Colliander, and Tao（2003）が残した空白を埋め、Oh, Tzvetkov, and Okamoto（2019）の立方非線形性に関する結果を非立方整数非線形性へ拡張する。負の正則性を有するフーリエ＝レベーグおよびフーリエ・アンビグラム空間におけるノルムインフレーションを用いて、解が負のソボレフノルムにおいて任意に小さい初期データから急速に増大することを示し、非適切性を証明する。

ABSTRACT

In this note, we study the ill-posedness of nonlinear wave equations (NLW). Namely, we show that NLW experiences norm inflation at every initial data in negative Sobolev spaces. This result covers a gap left open in a paper of Christ, Colliander, and Tao (2003) and extends the result by Oh, Tzvetkov, and the second author (2019) to non-cubic integer nonlinearities. In particular, for some low dimensional cases, we obtain norm inflation above the scaling critical regularity. We also prove ill-posedness for NLW, via norm inflation at general initial data, in negative regularity Fourier-Lebesgue and Fourier-amalgam spaces.

研究の動機と目的

• 非線形波動方程式（NLW）の負のソボレフ空間におけるノルムインフレーション理論の残りの空白を埋めること、特に $ s < 0 $ および $ s < s_{\text{scaling}}(d,k) $ の場合で、これまで未解決であった挙動を解明すること。
• Christ, Colliander, and Tao（2003）の自明な初期データの場合に限るノルムインフレーション結果を、$ \mathcal{H}^s(\mathcal{M}) $ 内の一般の初期データへ拡張し、非適切性の概念を強化すること。
• Oh, Tzvetkov, and Okamoto（2019）の立方NLW（$ k=3 $）に関する結果を、低次元における非立方整数非線形性（$ k \geq 2 $, $ k \neq 3 $）へ一般化すること。
• 負の正則性を有するフーリエ＝レベーグおよびフーリエ・アンビグラム空間における非適切性を確立し、標準的ソボレフ空間を超えたノルムインフレーションの範囲を拡張すること。
• 低次元におけるスケーリング臨界正則性を超える状況を含む、一般の初期データにおける負の正則性領域におけるノルムインフレーションの統一的枠組みを提供すること。

提案手法

• 高周波数の波パッケットを周波数空間に局在化させた近似解 $ u_{\varepsilon} $ の系列を構築し、小さな初期データ $ (u_0, u_1) \in \mathcal{H}^s(\mathcal{M}) $ のまわりで摂動的アプローチを用いる。
• ダイアディック分解とモード推定を用いた周波数局在化技術を採用し、アニュラス $ |n + \mu N e_1| \sim A $（$ A \ll N $）に支持を持つ周波数エンvelope $ \phi_{0,n} $ を定義することで、非線形相互作用の増大を制御する。
• フーリエ・アンビグラムおよびフーリエ＝レベーグ空間における積の推定式、例えば $ \|fg\|_{X^{p,q}_0} \lesssim \|f\|_{X^{p,q}_0}\|g\|_{\mathcal{F}L^1} $ を用いて、反復スキームにおける非線形項をバインドする。
• 非線形項 $ \Xi_j(\vec{u}_{0,n}) $ を制御する再帰的反復スキームを用い、時間 $ t $、振幅 $ R $、周波数スケール $ A $ に依存する推定を導出し、非線形応答が線形部を上回ることを保証する。
• ノルムインフレーション基準を満たすために、$ R, A, T, N $ にスケーリング条件を課す：初期摂動が小さく、時間 $ t_\varepsilon \in (0,\varepsilon) $ において $ H^s $-ノルムが急速に増大し、誤差項が制御可能であること。
• 従来の研究（例：[26]）の手法を非立方非線形性へ適応するため、非線形項推定におけるべき乗数の数え上げを調整し、パラメータ選択による増大率の精密なバランスを図る。

実験結果

リサーチクエスチョン

• RQ1 一般の初期データにおける負のソボレフ空間におけるNLWのノルムインフレーションは、初期データが非ゼロであっても確立可能か？
• RQ2 低次元における非立方整数非線形性（$ k \geq 2 $, $ k \neq 3 $）に対し、ノルムインフレーション現象は、スケーリング臨界正則性を超える領域でも持続するか？
• RQ3 負の正則性を有するフーリエ＝レベーグおよびフーリエ・アンビグラム空間のようなより一般の関数空間において、ノルムインフレーションによる非適切性は成立するか？
• RQ4 特に $ -\frac{1}{2} < s < \min(s_{\text{scaling}}(1,k), 0) $ の場合に、一般の初期データにおけるノルムインフレーション理論の空白は埋められるか？
• RQ5 非立方非線形性を伴う状況において、ノルムインフレーションを引き起こすために必要な周波数、振幅、時間の正確なスケーリング条件は何か？

主な発見

• 本稿は、任意の初期データ $ (u_0, u_1) \in \mathcal{H}^s(\mathcal{M}) $ に対して $ s < 0 $ でノルムインフレーションを確立し、任意の $ \varepsilon > 0 $ に対して、$ \|(u_\varepsilon(0), \partial_t u_\varepsilon(0)) - (u_0, u_1)\|_{\mathcal{H}^s} < \varepsilon $ かつある $ t_\varepsilon \in (0,\varepsilon) $ で $ \|u_\varepsilon(t_\varepsilon)\|_{H^s} > \varepsilon^{-1} $ を満たす解 $ u_\varepsilon $ が存在することを証明し、長年の文献的空白を閉じた。
• この結果は立方の場合（$ k=3 $）を越え、すべての整数 $ k \geq 2 $ にまで拡張され、$ \mathbb{R}^d $ および $ \mathbb{T}^d $ において成立し、より広範なクラスのNLWにおける負のソボレフ空間における非適切性を確認する。
• 低次元（$ d=1,2,3 $）の場合、$ s < 0 $ の領域でノルムインフレーションを達成し、これはスケーリング臨界正則性 $ s_{\text{scaling}}(d,k) $ を上回る領域であるため、これまでに知られていたよりも強い不安定性を示している。
• 負の正則性を有するフーリエ＝レベーグおよびフーリエ・アンビグラム空間 $ \widehat{w}^{p,q}_s $ および $ \widehat{w}^{p,\infty}_s $ においてノルムインフレーションが証明され、非適切性が複数の関数空間枠組みにわたって安定であることを示している。
• すべての推定（誤差境界および増大条件を含む）を満たすように、$ n $ に依存する明示的なパラメータ選択 $ R, A, T, N $ を構築し、構成的反復論法によりそのような解の存在を確認した。
• 主な技術的革新は、非立方非線形性に対応するため、積の推定式 $ \|fg\|_{X^{p,q}_0} \lesssim \|f\|_{X^{p,q}_0}\|g\|_{\mathcal{F}L^1} $ の適応と、非線形反復スキームにおける増大率の精密なバランスを図ることにあり、非線形項が線形項を上回ることを保証した。