[論文レビュー] On some parabolic systems arising from a nuclear reactor model with nonlinear boundary conditions

Kosuke Kita, Mitsuharu Ôtani+1 more|arXiv (Cornell University)|May 11, 2018

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

ひとこと要約

本稿は、非線形境界条件を伴う核融合炉内のネルソンおよび温度動態をモデル化する非線形反応拡散系を研究する。固定点法とエネルギー推定を用いて、正の定常解の存在および順序付き一意性を確立し、閾値性質を証明する。初期データが臨界値を超えると解は有限時刻で爆発し、それ未満では解が大域的に存在する。また、爆発が発生する際、$ u_1 $ および $ u_2 $ が同時に爆発する。

ABSTRACT

In this paper, we are concerned with a reaction diffusion system arising from a nuclear reactor model in bounded domains with nonlinear boundary conditions. We show the existence of a stationary solution and its ordered uniqueness. It is also shown that every positive stationary solution possesses threshold property to determine blow-up or globally existence for solutions of nonstationary problem.

研究の動機と目的

• 非線形境界条件を伴う核融合炉動態をモデル化する放物型反応拡散系に対して、正の定常解の存在および順序付き一意性を確立すること。
• 非定常問題の解が有限時刻で爆発するか、大域的に存在するかを決定する閾値性質を調査すること。
• 非線形境界条件のための $ L^∞ $-ノルム推定における困難を克服するため、新たな解析的手法を導入すること。
• 爆発が発生する際、$ u_1 $（中性子密度）および $ u_2 $（温度）が同時に爆発することを証明すること。

提案手法

• Krasnosel’skii の結果に基づく抽象的固定点定理を適用し、正の定常解の存在を証明する。
• 非線形境界条件における境界上の強い可 summability を活用して、解の $ L^∞ $-ノルムを推定する新規手法を構築する。
• スペクトル理論および第一固有関数 $ \varphi_1 $ を用いて、エネルギー型量の微分不等式を導出する。
• 背理法とGronwall型推定を用いて、$ u_1 $ および $ u_2 $ の $ L^∞ $-ノルムの爆発挙動を分析する。
• 系の積分方程式にテスト関数を代入し、部分積分を適用して事前推定を導出する。
• 背理法を用いて $ u_1 $ および $ u_2 $ の同時爆発を確立する。すなわち、片方が爆発するが他方が有界のままであると仮定すると、Gronwallの不等式により矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 非線形境界条件を伴う非線形放物型系に対して、正の定常解が存在するか？
• RQ2 正の定常解は順序付きで一意的か、すなわち、ある順序クラス内で一意な解が存在するか？
• RQ3 非定常問題において、大域的存続と有限時刻での爆発を分ける閾値条件は何か？
• RQ4 爆発が発生する際、$ u_1 $ および $ u_2 $ の $ L^\infty $-ノルムが同時に爆発するか？
• RQ5 非線形境界条件のため標準的線形理論が失敗する状況下で、$ L^\infty $-ノルム推定をどのように得られるか？

主な発見

• 適切なパrameterの仮定の下で、固定点法を用いて非線形境界条件を伴う系に対して正の定常解が存在することを証明した。
• 正の定常解は一意に順序づけられており、ある点で他方より常に大きいという異なる正の解が存在しないことを意味する。
• 非定常問題の解は、初期データが定常解によって定まる閾値を超えるか否かに応じて、大域的に存在するか有限時刻で爆発するかの二択である。
• 爆発が発生する場合、Gronwallの不等式を用いた背理法により、$ u_1 $ および $ u_2 $ が $ L^\infty $-ノルムで同時に爆発することを示した。
• $ u_1 $ および $ u_2 $ の $ L^\infty $-ノルムは独立に爆発できない。片方が有界のままであると仮定すると、他方が爆発することは矛盾を引き起こす。
• 非線形境界条件の下で古典的線形理論の限界を克服するため、境界上の $ L^p $-summability に着目した新規なアプローチにより、$ L^\infty $-ノルム推定が可能となった。