[論文レビュー] Global Existence and Large Time Asymptotic Bounds of $L^{infty}$ Solutions of Thermal Diffusive Combustion Systems on $R^{n}$

Pierre Collet, Jack Xin|arXiv (Cornell University)|Dec 5, 1994

Stochastic processes and statistical mechanics参考文献 9被引用数 3

ひとこと要約

本稿は、$\mathbb{R}^n$ 上の熱拡散燃焼系において、温度成分の $L^∞$ ノルムの漸近的で鋭い大時間バインディングを確立し、古典的解のグローバル存在を示している。$d > 1$（レヴィウス数が1から離れている）の場合、比較原理が成立しない状況においても、局所的 $L^p$ 事前推定と時間に依存する空間的に減衰するテスト関数を用いることで、$u_2$ の $L^∞$ ノルムが $O(\log \log t)$ よりも速く成長しないことを証明している。

ABSTRACT

We consider the initial value problem for the thermal-diffusive combustion systems of the form: $u_{1,t}= Delta_{x}u_1 - u_1 u_2^m$, $u_{2,t}= d Delta_{x} u_2 + u_1 u_2^m$, $x in R^{n}$, $n geq 1$, $m geq 1$, $d > 1$, with bounded uniformly continuous nonnegative initial data. For such initial data, solutions can be simple traveling fronts or complicated domain walls. Due to the well-known thermal-diffusive instabilities when $d$, the Lewis number, is sufficiently away from one, front solutions are potentially chaotic. It is known in the literature that solutions are uniformly bounded in time in case $d leq 1$ by a simple comparison argument. In case $d >1$, no comparison principle seems to apply. Nevertheless, we prove the existence of global classical solutions and show that the $L^{infty}$ norm of $u_2$ can not grow faster than $O(log log t)$ for any space dimension. Our main tools are local $L^{p}$ a-priori estimates and time dependent spatially decaying test functions. Our results also hold for the Arrhenius type reactions.

研究の動機と目的

• 標準的な比較原理が不成立となる $d > 1$ の場合、$\mathbb{R}^n$ 上の熱拡散燃焼系に対して古典的解のグローバル存在を確立すること。
• このような系における温度成分 $u_2$ の $L^\infty$ ノルムの長時間漸近的バインディングを導出すること。
• 有界で一様連続的かつ非負の初期データ（ドメインウォールやカオス的フロントなど複雑な構造を含む可能性がある）に対する解の挙動を分析すること。
• 結果をアレニウス型反応キネティクスに拡張し、現実的な燃焼モデルへの応用可能性を広げること。

提案手法

• 比較原理が成立しない $d > 1$ の状況において、解の成長を制御するため、局所的 $L^p$ 事前推定を用いる。
• 解の長時間挙動と減衰性質を捉えるために、時間に依存する空間的に減衰するテスト関数を導入する。
• 連立放物型系 $u_{1,t} = \Delta_x u_1 - u_1 u_2^m$, $u_{2,t} = d \Delta_x u_2 + u_1 u_2^m$ の解析（$x \in \mathbb{R}^n$, $n \geq 1$, $m \geq 1$, $d > 1$）。
• エネルギー型推定と重み付き $L^p$ ノルムを用いて、$u_2$ の $L^\infty$ ノルムに対する時間にわたる一様バインディングを導出する。
• $u_2$ の $L^\infty$ ノルムが $O(\log \log t)$ のオーダーでしか増加しないことを示し、空間次元 $n$ に依存しない。
• アレニウス型反応項への分析を拡張し、実際の反応律に従う場合でもバインディングの頑健性を確認する。

実験結果

リサーチクエスチョン

• RQ1 比較原理が不成立となる $d > 1$ の場合、$\mathbb{R}^n$ 上の熱拡散燃焼系に対して、古典的解のグローバル存在を証明できるか？
• RQ2 このような系における温度成分 $u_2$ の $L^\infty$ ノルムの最適な長時間成長率は何か？
• RQ3 時間に依存する空間的に減衰するテスト関数は、単調でない放物型系における解ノルムのバインディングにどのように寄与するか？
• RQ4 アレニウス型反応キネティクス下でも、$u_2$ の $L^\infty$ ノルムに対する導出バインディングはどの程度有効か？
• RQ5 空間次元 $n \geq 1$ 全体にわたって、$\|u_2\|_{L^\infty}$ の $O(\log \log t)$ 成長バインディングは一様に成立するか？

主な発見

• 比較原理が適用できない $d > 1$ の場合でも、$\mathbb{R}^n$ 上の熱拡散燃焼系に対して、すべての時間 $t > 0$ で古典的解がグローバルに存在することが保証される。
• 空間次元 $n \geq 1$ にかかわらず、$t \to \infty$ のとき、温度成分 $u_2$ の $L^\infty$ ノルムは $O(\log \log t)$ よりも速く成長しない。
• 時間に依存する空間的に減衰するテスト関数と局所的 $L^p$ 事前推定の新規な組み合わせにより、$\|u_2(t)\|_{L^\infty} = O(\log \log t)$ のバインディングが確立された。
• 結果は頑健であり、アレニウス型反応項へも拡張可能であり、物理的に現実的な燃焼モデルへの適用可能性を裏付けている。
• 分析により、$d > 1$ のときの熱拡散不安定性が有限時刻での爆発を引き起こすのではなく、$L^\infty$ ノルムの極めて遅い増加に帰着することが確認された。
• 本手法は、標準的な比較技術が不成立となる非単調な放物型系における長時間挙動の解析のためのフレームワークを提供する。