[論文レビュー] Blow-up of solutions to critical semilinear wave equations with variable coefficients

Kyouhei Wakasa, Borislav Yordanov|arXiv (Cornell University)|Jul 8, 2018

Advanced Mathematical Physics Problems参考文献 17被引用数 3

ひとこと要約

本稿は、可変係数を有する非線形波動方程式のストラウス予想の臨界ケース $ p = p_0(n) $ を証明し、初期データが小さい場合に有限時間 blow-up を確立する。ラプラシアンの指数型固有関数とジョンの反復法、スライシング法を組み合わせることで、$ T_\varepsilon \lesssim \exp\big(C \varepsilon^{-p(p-1)}\big) $ の形をした鋭い寿命上界が得られ、滑らかで指数的に減衰する計量摂動のもとで、すべての次元 $ n \geq 2 $ において予想が裏付けられる。

ABSTRACT

We verify the critical case $p=p_0(n)$ of Strauss' conjecture (1981) concerning the blow-up of solutions to semilinear wave equations with variable coefficients in $\mathbf{R}^n$, where $n\geq 2$. The perturbations of Laplace operator are assumed to be smooth and decay exponentially fast at infinity. We also obtain a sharp lifespan upper bound for solutions with compactly supported data when $p=p_0(n)$. The unified approach to blow-up problems in all dimensions combines several classical ideas in order to generalize and simplify the method of Zhou(2007) and Zhou and Han (2014): exponential "eigenfunctions" of the Laplacian are used to construct the test function $ϕ_q$ for linear wave equation with variable coefficients and John's method of iterations (1979) is augmented with the "slicing method" of Agemi, Kurokawa and Takamura (2000) for lower bounds in the critical case.

研究の動機と目的

• 可変係数を有する非線形波動方程式のストラウス予想の臨界ケース $ p = p_0(n) $ を解決すること。
• 初期データが compact な場合に $ p = p_0(n) $ の解の寿命に対する鋭い上界を確立すること。
• ジョンの反復法とスライシング法を統合することで、爆発解析における先行手法を一般化・簡略化すること。
• ラプラシアンの滑らかで指数的に減衰する計量摂動を有する波動作用素へ、臨界爆発結果を拡張すること。

提案手法

• 可変係数ラプラシアン $ \Delta_g $ の指数型固有関数を用いてテスト関数 $ \phi_q $ を構成し、$ \Delta_g \phi_q \approx \lambda_q \phi_q $ かつ $ \lambda_q \sim q^2 $ を満たすようにする。
• 可変係数を有する線形化方程式を用いて、ジョンの反復法を適用し、解のエネルギーに対する下界を導出する。
• アゲミ、クロクワ、タカムラのスライシング法を導入し、臨界ケース $ p = p_0(n) $ における下界の精度を高め、鋭い推定が可能になるようにする。
• 反復的積分と対数スケーリングを用いて、解ノルム $ F(t) $ に対する再帰的推定を導出し、連続する時間区間における増大度を追跡する。
• 区間 $ [l_j t / l_{j+1}, t] $ における部分積分と領域切断を用いて、$ F(t) $ に対する再帰不等式を導出し、二重指数的増大に至る。
• 下界の定数に対する再帰的関係 $ C_{j+1} = E C_j^p / (2p)^j $ を確立し、$ j \to \infty $ のとき $ F(t) \to \infty $ となることを示し、爆発を証明する。

実験結果

リサーチクエスチョン

• RQ1 ストラウス予想における臨界指数 $ p = p_0(n) $ は、可変係数を有する非線形波動方程式に対して有限時間 blow-up を引き起こすか？
• RQ2 $ p = p_0(n) $ かつ $ \varepsilon \to 0 $ のとき、解の寿命 $ T_\varepsilon $ に対する鋭い上界を確立できるか？
• RQ3 無限遠で指数的に減衰する $ g_{ij}(x) $ のような計量摂動は、爆発挙動と寿命推定にどのように影響を与えるか？
• RQ4 ジョンの反復法をスライシング法と統合することで、臨界ケースにおける鋭さを達成できるか？
• RQ5 $ p = p_0(n) $ のとき、寿命上界 $ T_\varepsilon \lesssim \exp(C \varepsilon^{-p(p-1)}) $ は最適か？

主な発見

• ストラウス予想の臨界ケース $ p = p_0(n) $ は完全に解決された：初期データが compact な解は、$ \varepsilon > 0 $ に対して常に有限時間で爆発する。
• 寿命に対する鋭い上界が確立された：$ T_\varepsilon \lesssim \exp\big(C \varepsilon^{-p(p-1)}\big) $ であり、$ \varepsilon^{-1} $ に指数的依存があることが裏付けられる。
• 寿命上界は最適であり、反復的構成により解ノルムに二重指数的増大が生じ、$ \sim \exp(C \varepsilon^{-p(p-1)}) $ の時間に blow-up が必然的に生じる。
• 指数型固有関数とスライシング法を統合することで、すべての次元 $ n \geq 2 $ で鋭い推定が可能になるように、先行手法を統合・簡略化した。
• 一般仮定のもとで結果が成り立つ：$ g_{ij} \in C^\infty({\bf R}^n) $、$ \Delta_g $ は一様楕円的であり、$ g_{ij} - \delta_{ij} $ は無限遠で指数的に減衰する。
• 再帰的不等式 $ C_{j+1} = E C_j^p / (2p)^j $ が確立され、その解は $ F(t) \to \infty $ を有限時間で達成し、$ T > \exp\big(B^{-1} \varepsilon^{-p(p-1)}\big) $ で爆発を証明する。