[論文レビュー] The sharp upper bound of the lifespan of solutions to critical semilinear wave equations in high dimensions

Hiroyuki Takamura, Kyouhei Wakasa|arXiv (Cornell University)|Mar 14, 2011

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

ひとこと要約

この論文は、4次元空間における臨界非線形波動方程式 $u_{tt} - \Delta u = u^2$ の解の生存期間に対する鋭い上界を確立する。解の $L^p$ ノルムに関する新規の反復論法と対数項の精密な評価を用いて、初期データが小さい場合に生存期間 $T(\varepsilon)$ が $T(\varepsilon) \leq \exp\left(C\varepsilon^{-2}\right)$ を満たすことを証明する。これは、以前に知られていた鋭い下界と一致し、高次元におけるシュトラウスの予想における最後の未解決の最適性問題を解消する。

ABSTRACT

The final open part of Strauss' conjecture on semilinear wave equations was the blow-up theorem for the critical case in high dimensions. This problem was solved by Yordanov and Zhang in 2006, or Zhou in 2007 independently. But the estimate for the lifespan, the maximal existence time, of solutions was not clarified in both papers. In this paper, we refine their theorems and introduce a new iteration argument to get the sharp upper bound of the lifespan. As a result, with the sharp lower bound by Li and Zhou in 1995, the lifespan $T(\e)$ of solutions of $u_{tt}-\Delta u=u^2$ in $\R^4 imes[0,\infty)$ with the initial data $u(x,0)=\e f(x),u_t(x,0)=\e g(x)$ of a small parameter $\e>0$, compactly supported smooth functions $f$ and $g$, has an estimate \[ \exp(c\e^{-2})\le T(\e)\le\exp(C\e^{-2}), \] where $c$ and $C$ are positive constants depending only on $f$ and $g$. This upper bound has been known to be the last open optimality of the general theory for fully nonlinear wave equations.

研究の動機と目的

• 高次元における非線形波動方程式に関するシュトラウスの予想における最後の未解決問題を閉じるために、高次元における生存期間の鋭い上界を確立すること。
• 4次元空間 $\mathbb{R}^4$ における臨界ケース $p = p_0(4) = 2$ に対して、ヨルダンォフとチャン [17]、およびチョウ [20] の爆発定理を精緻化すること。
• LiとZhou [9] によって得られた既知の鋭い下界と、以前は最適でなかった上界との間の最適性ギャップを解消すること。
• 解の $L^p$ ノルムに関する新規な反復論法を用いて、鋭い推定 $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$ を達成すること。
• LiとZhou [9] によって得られた鋭い下界と一致させることで、上界が最適であることを証明し、4次元における臨界ケースの全体像を完成させること。

提案手法

• 解の $L^p$ ノルムに関する新規な反復論法を導入し、特に $F(t) = \int_{\mathbb{R}^n} u(x,t)\,dx$ を用いて、次第に鋭くなる下界を導出する。
• 波動方程式とホルダーの不等式から導かれる積分不等式 $F''(t) \geq \{\text{vol}(B_n(0,1))\}^{1-p} (t+R)^{-n(p-1)} |F(t)|^p$ を用いる。
• 解の成長を制御するための再帰的列 $C_j$ を、$C_{j+1} = C_0^{p-1} C_j^p / C_j^p$ で定義する。
• 反復積分に refined な対数評価を適用し、$\log C_j$ の成長を追跡することで、$F(t)$ に対する二重指数的下界を導出する。
• 補題 2.1 を用いて、$F(t)$ の下界を生存期間 $T(\varepsilon)$ の上界に結びつける。条件 $\varepsilon^{p(p-1)} \log t \geq E$ を利用する。
• 最終的な上界 $T(\varepsilon) \leq \exp(2E\varepsilon^{-2})$ を得るため、$T_0(\varepsilon) = \exp(E\varepsilon^{-2})$ を選び、区間 $[T_0(\varepsilon), T(\varepsilon))$ に補題を適用する。

実験結果

リサーチクエスチョン

• RQ1 4次元空間 $\mathbb{R}^4$ における臨界非線形波動方程式 $u_{tt} - \Delta u = u^2$ の解の生存期間 $T(\varepsilon)$ に対する鋭い上界は何か？
• RQ2 以前の最適でない上界 $T(\varepsilon) \leq \exp(\exp(C\varepsilon^{-2}))$ を、鋭い下界 $\exp(c\varepsilon^{-2})$ と一致させるように改善できるか？
• RQ3 解の $L^p$ ノルムに関する新規な反復論法は、臨界ケースにおいて既存の手法よりもタイトな推定を可能にするか？
• RQ4 LiとZhou [9] によって得られた鋭い下界と組み合わせた場合、上界 $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$ が最適であるか？
• RQ5 この手法は、他の臨界指数や次元に拡張可能で、残存する最適性に関する問題を解消できるか？

主な発見

• 初期データ $f$, $g$, $n$, $p$, $R$ のみに依存する定数 $C$ を用いて、$\mathbb{R}^4$ における方程式 $u_{tt} - \Delta u = u^2$ の解の生存期間 $T(\varepsilon)$ は、$\varepsilon > 0$ が十分小さいとき $T(\varepsilon) \leq \exp(C\varepsilon^{-2})$ を満たす。
• この上界は、LiとZhou [9] によって確立された鋭い下界 $\exp(c\varepsilon^{-2})$ と一致し、臨界ケース $p = p_0(4) = 2$ における生存期間推定の最適性が確認される。
• 証明では、解の $L^p$ ノルムに関する新規な反復論法が導入され、再帰的列 $C_j$ の制御を通じて、$F(t) = \int u(x,t)\,dx$ の下界が体系的に改善される。
• 特に、再帰関係 $\log C_{j+1} = p \log C_j - j \log C_p + \log C_0^{p-1}$ を用いて、対数項の成長を精密に追跡することで、鋭い推定が達成される。
• この結果により、完全非線形波動方程式の一般理論における最後の未解決問題が解消され、高次元における臨界ケースの生存期間推定の完全性が完成する。
• 任意のより長い生存期間が存在すると、導出された $F(t)$ の下界と矛盾することを示すことにより、上界が最適であることが証明され、既知の下界と上界のギャップが閉じられる。