[論文レビュー] Nonlinear Convection in Reaction-diffusion Equations under dynamical boundary conditions

Gaëlle Pincet Mailly, Jean-François Rault|arXiv (Cornell University)|Feb 10, 2012

Nonlinear Partial Differential Equations参考文献 10被引用数 6

ひとこと要約

本稿は、動的境界条件の下で非線形対流項を有する非線形反応拡散方程式における爆発現象を調査する。上解と下解の構成および比較原理の応用により、有限時刻での爆発を示す十分条件を確立し、爆発時間の上界を導出し、$p > 2q+1$ の場合に $L^\infty$-ノルムにおける爆発速度を $C/(T-t)^{1/p-1}$ として特定する。これは、半線形およびバーガース型モデルの結果を、一般の非線形性を有する対流拡散系の広いクラスへと拡張するものである。

ABSTRACT

We investigate blow-up phenomena for positive solutions of nonlinear reaction-diffusion equations including a nonlinear convection term $\\partial_t u = \\Delta u - g(u) \\cdot \ abla u + f(u)$ in a bounded domain of $\\mathbb{R}^N$ under the dissipative dynamical boundary conditions $\\sigma \\partial_t u + \\partial_\ u u =0$. Some conditions on $g$ and $f$ are discussed to state if the positive solutions blow up in finite time or not. Moreover, for certain classes of nonlinearities, an upper-bound for the blow-up time can be derived and the blow-up rate can be determinated.

研究の動機と目的

• 非線形対流項および動的境界条件の下での非線形放物型PDEの古典解の存在および爆発行動を分析すること。
• 解のグローバル存在または有限時刻爆発を保証する非線形関数 $f(u)$ および $g(u)$ に対する十分条件を同定すること。
• 特定の非線形性（例：$f(u) = u^p$ および $f(u) = e^{pu}$）のクラスに対して、爆発時間の上界を導出し、$L^\infty$-ノルムにおける爆発速度の推定値を求める。

提案手法

• グローバル上解を比較技法を用いて構成し、解のグローバル存在を示す十分条件を確立する。
• 固有関数に基づく手法を用いて、$f(u) = u^p$、$p > 1$ のモデル問題に対して、動的境界条件の下で爆発を証明する。
• 自己相似下解アプローチを用いて、$f(u) = e^{pu}$、$p > 0$ の指数非線形性に対して爆発を証明する。この際、爆発プロファイルを構築する。
• 文献[2]の最大原理および比較原理を用いて、解の正値性および $u$ と $\partial_t u$ の単調性を導出する。
• 不等式 $\partial_t u \geq \varepsilon u^p$ の積分により、爆発速度推定値を導出する。これにより $\|u(\cdot,t)\|_\infty \leq C/(T-t)^{1/p-1}$ が得られる。
• 非線形項および勾配依存性の詳細な解析を通じて、$p > 2q+1$ の条件を確立し、爆発速度推定値の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形対流および動的境界条件を有する反応拡散方程式の正の解が有限時刻で爆発するための $f(u)$ および $g(u)$ に関する条件は何か？
• RQ2 与えられた動的境界条件下で、$f(u) = u^p$、$p > 1$ のモデル問題に対して、爆発時間の上界を導出できるか？
• RQ3 $f(u) = u^p$ で $p > 2q+1$ の場合、爆発時刻 $T$ に近づくに従い、$L^\infty$-ノルムにおける解の正確な爆発速度は何か？
• RQ4 動的境界条件 $\sigma \partial_t u + \partial_\nu u = 0$ は、標準的境界条件と比較して爆発行動にどのように影響を与えるか？
• RQ5 指数非線形性 $f(u) = e^{pu}$ に対して、自己相似下解を構築し、爆発を証明できるか？

主な発見

• 非線形性が $f(u) = u^p$（$p > 1$）である場合、初期データが正でかつ必要な成長条件を満たしていれば、解は有限時刻で爆発する。爆発時間は計算可能な式によって上界で抑えられる。
• 固有関数法を用いて、$p > 1$ および $f$ と $g$ の滑らかさの仮定の下で、爆発時間の上界が導出される。
• 非線形性が $p > 2q+1$ の場合、$L^\infty$-ノルムにおける解の爆発速度は $\|u(\cdot,t)\|_\infty \leq C/(T-t)^{1/p-1}$ と推定される。ここで $C$ は $p$、$q$ および領域パラメータに依存する正の定数である。
• 爆発速度推定値は、ある $\varepsilon > 0$ に対して時間区間 $[\xi, T)$ で $\partial_t u \geq \varepsilon u^p$ が成り立つことを示すことで得られる。この不等式は微分不等式に帰着され、その解が速度を定める。
• 指数非線形性 $f(u) = e^{pu}$ の場合、有限時刻で爆発する自己相似下解の存在により、PDEの解の爆発が保証される。
• 解析により、対流項 $g(u) \cdot \nabla u$ が爆発を防げないことが確認され、特に $f(u)$ が $p > 2q+1$ の場合に $u^p$ よりも速く成長するとき、爆発は主に源項 $f(u)$ に支配される。