[論文レビュー] Boundary value problem for a classical semilinear parabolic equation

Li Ma|arXiv (Cornell University)|Dec 29, 2010

Nonlinear Partial Differential Equations参考文献 2被引用数 4

ひとこと要約

本稿は、有界な $ C^1 $ 領域における半線形放物型方程式 $ u_t - \Delta u = |u|^{p-1}u $ に対して、修正されたリャプノフ汎関数 $ E_\lambda(u) = J(u) + \lambda M(u) $ を用いて、新たな不変集合 $ \tilde{W} $ と $ \tilde{Z} $ を導入する。初期データが $ \tilde{W} $ に属する場合、$ H^1 $ のオメガ極限が $ \{0\} $ であるグローバル正解が得られ、初期データが $ \tilde{Z} $ に属する場合、有限時刻での爆発が生じる。これは古典的なネハリ汎関数法を、新たなパラメータ化されたエネルギー枠組みで拡張したものである。

ABSTRACT

In this paper, we study the boundary value problem of the classical semilinear parabolic equations $$ u_t-Δu=|u|^{p-1}u, \ \ in \ \ Ω imes (0,T) $$ and $u=0$ on the boundary $\partialΩ imes [0,T)$ and $u=ϕ$ at $t=0$, where $Ω\subset R^n$ is a compact $C^1$ domain, $1

研究の動機と目的

• 半線形放物型方程式 $ u_t - \Delta u = |u|^{p-1}u $ に対して、グローバル存在または有限時刻での爆発を引き起こす初期データを分類する、新たな不変集合 $ \tilde{W} $ と $ \tilde{Z} $ を特定すること。
• 古典的なネハリ汎関数法を拡張するために、パラメータ化されたエネルギー汎関数 $ E_\lambda(u) = J(u) + \lambda M(u) $ を導入し、グローバル解と爆発解の境界を精緻化すること。
• $ 1 < p < p_S $ の場合、$ \tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ に属する初期データは、$ H^1 $ のオメガ極限が $ \{0\} $ であるグローバル解を与えることが保証され、$ \tilde{Z} $ に属する初期データは有限時刻での爆発を示す。
• 減衰項 $ \delta v $ を含む修正された方程式を用いた比較論法により爆発を示し、$ u(t) \geq v(t) $ が成り立ち、$ t \to T_{\max} < \infty $ のとき $ L^2 $-ノルムが無限大に発散することを示す。

提案手法

• エネルギー汎関数 $ E_\lambda(u) = J(u) + \lambda M(u) $ を定義し、ここで $ J(u) = \int \left( \frac{1}{2}|\nabla u|^2 - \frac{1}{p+1}|u|^{p+1} \right) $ および $ M(u) = \frac{1}{2}\int |u|^2 $ である。これにより、リャプノフ型汎関数の1パラメータ族を構成する。
• 時間微分 $ \frac{d}{dt}E_\lambda(u) = -|J'(u)|^2_2 - \lambda I(u) $ を用いて、$ I(u) < 0 $ のとき $ E_\lambda(u) $ が解の軌道に沿って厳密に減少することを示し、不変集合の構成を可能にする。
• $ d_\lambda = \inf\{E_\lambda(u) \mid u \in \Sigma, I(u) = 0\} $ を定義し、$ W_\lambda = \{u \in \Sigma \mid E_\lambda(u) < d_\lambda, I(u) > 0\} \cup \{0\} $ を構成する。$ W_\lambda $ が流れに対して不変であることを証明する。
• $ \lambda > 0 $ のとき $ d_\lambda > d $ が成り立つことを示し、$ W_\lambda $ が古典的 $ W $ 集合よりも厳密に大きいことを示し、グローバル存在の境界を精緻化する。
• 爆発のため、方程式 $ v_t - \Delta v + \delta v = v^p $ （$ \delta \geq 0 $）を考察し、$ Z_\delta = \{u \in \Sigma_+ \mid J_\delta(u) < d_\delta, I_\delta(u) < 0\} $ を定義する。$ \phi \in Z_\delta $ のときの不変性と爆発を証明する。
• 比較論法を用いる：$ u(t) \geq v(t) $ かつ $ v(t) $ が有限時刻で爆発し、$ \|v(t)\|_{L^2} \to \infty $ ならば、$ t \to T_{\max} < \infty $ のとき $ \|u(t)\|_{L^2} \to \infty $ となり、$ u $ の爆発が示される。

実験結果

リサーチクエスチョン

• RQ1 半線形放物型方程式におけるグローバル存在と爆発の古典的ネハリ汎関数境界を精緻化するために、新たなパラメータ化されたエネルギー汎関数 $ E_\lambda(u) $ を構築できるか。
• RQ2 $ \tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ は、古典的 $ W $ 集合よりも厳密に大きなグローバル存在領域を提供するか。また、$ \tilde{W} $ に属する解は $ H^1 $ のオメガ極限 $ \{0\} $ を持つか。
• RQ3 減衰項 $ \delta v $ を含む修正された方程式を用いた比較原理により爆発行動を特徴づけられるか。$ v(t) $ が爆発するとき、$ u(t) \geq v(t) $ ならば $ u $ も爆発するか。
• RQ4 $ \tilde{Z} $ に属する初期データに対して爆発時刻 $ T_{\max} $ は有限か。また、$ t \to T_{\max} $ のとき $ \|u(t)\|_{L^2} \to \infty $ となるか。
• RQ5 $ E_\lambda(u) $ のパラメータ $ \lambda $ は閾値 $ d_\lambda $ にどのように影響するか。$ \lambda > 0 $ のすべての値に対して $ d_\lambda > d $ が成り立つか。

主な発見

• $ 1 < p < p_S $ のとき、集合 $ \tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ は半線形放物型方程式の流れに対して不変であり、任意の初期データ $ \phi \in \tilde{W} $ は、$ H^1 $ のオメガ極限が $ \{0\} $ であるグローバル正解を与える。
• パラメータ化された閾値 $ d_\lambda $ は、すべての $ \lambda > 0 $ に対して $ d_\lambda > d $ を満たす。これは $ W_\lambda $ が古典的 $ W $ 集合よりも厳密に大きいことを示し、グローバル存在条件の精緻化を示している。
• $ 1 < p \leq p_S $ のとき、初期データ $ \phi \in \tilde{Z} $ は有限時刻での爆発を引き起こし、$ t \to T_{\max} < \infty $ のとき $ \|u(t)\|_{L^2} \to \infty $ となる。これは、修正された方程式 $ v_t - \Delta v + \delta v = v^p $ の解との比較により証明される。
• 爆発時刻 $ T_{\max} $ は有限である。なぜなら、$ \|v(t)\|_{L^2} $ が無限大に発散し、$ t $ が大きいときの微分不等式 $ \frac{d}{dt}M(v(t)) \geq \frac{1}{2}C(p,|\Omega|)M(v(t))^{(p+1)/2} $ を満たすため、有限時刻での爆発が示される。
• 比較論法により、$ \phi \in Z_\delta $ かつ $ \phi \geq v_\delta $ ならば $ u(t) \geq v(t) $ であり、$ v(t) $ が有限時刻で爆発するので、$ u(t) $ も同様に爆発する。$ t \to T_{\max} $ のとき $ \|u(t)\|_{L^2} \to \infty $ となる。
• $ J_\delta(u) < d_\delta $ および $ I_\delta(u) < 0 $ を用いた $ Z_\delta $ の構成により、不変性と爆発が保証され、$ d_{\delta,\epsilon} \geq d_\delta - \frac{\epsilon}{p+1} $ はエネルギー閾値の定量的下界を提供する。