[論文レビュー] Stability of solutions to nonlinear diffusion equations

Teemu Lukkari|arXiv (Cornell University)|Jun 12, 2012

Advanced Mathematical Modeling in Engineering参考文献 12被引用数 3

ひとこと要約

本稿は、弱解とコンパクト性に基づく基本的な推計を用いて、非線形性の指数 $ m $ における摂動に対して、非線形拡散方程式（特に多孔質媒体方程式および高速拡散方程式）の解の安定性を確立する。$ m_i \to m $ のとき、解は $ L^{1+m} $ ノルムにおいて収束することを示し、退化（$ m>1 $）および特異（$ m<1 $）な領域を越えて成立する。正則性理論や半群法に依存しない。

ABSTRACT

We prove stability results for nonlinear diffusion equations of the porous medium and fast diffusion types with respect to the nonlinearity power $m$: solutions with fixed data converge in a suitable sense to the solution of the limit problem with the same data as $m$ varies. Our arguments are elementary and based on a general principle. We use neither regularity theory nor nonlinear semigroups, and our approach applies to e.g. Dirichlet problems in bounded domains and Cauchy problems on the whole space.

研究の動機と目的

• 非線形性のべき $ m $ における変動に対して、非線形拡散方程式の解の安定性を確立すること、特に臨界範囲 $ m > m_c = (n-2)_+/n $ において。
• 退化（$ m>1 $）および特異（$ m<1 $）な場合の両方、および $ m=1 $（熱方程式）の極限ケースを含む、$ m \geq 1 $ や $ m \leq 1 $ を仮定しない安定性結果を提供すること。
• 非線形半群理論、ホルダー連続性、ハルナック不等式などの高度な道具に依存せず、基本的な $ L^2 $-に基づく推計とコンパクト性のみを用いること。
• 初期データが有限質量の正の測度（例：バレンブラット解）である場合、特にディラック初期トレースを持つ場合にも安定性結果を拡張すること。
• 有界領域におけるディリクレ問題および $ \mathbb{R}^n $ 上のコーシー問題の両方において、$ L^{1+m} $ ノルムにおける収束を直接的かつ基本的証明で示すこと。

提案手法

• 方程式 $ \partial_t u - \Delta u^m = 0 $ の弱形式を用い、$ u^m $ および $ \nabla u^m $ が $ L^2 $ に属することを保証し、$ L^2 $-に基づくエネルギー推計を可能にする。
• 局所的に一様有界な弱解の列に対して、コンパクト性の原理を適用し、ほとんど everywhere での逐次的収束部分列を導出する。
• 異なる $ m $ を持つ解 $ u $ と $ u_i $ を比較するため、テスト関数 $ \eta(x,t) = \int_t^T (u^m - u_i^{m_i}) \, ds $ を用い、エネルギー型推計を導出する。
• 正の $ a,b $ に対して、$ |a-b|^{1+m} \leq c (a^m - b^m)(a-b) $ が成り立つ不等式を用い、解の差を制御する。この不等式は $ m > \frac{n-2}{n+2} $ のとき成立する。
• ホルダーの不等式と点ごとの推計 $ |u_i^{m_i} - u_i^m| \leq c(1 + u_i^{m_i+\varepsilon} + u_i^{m+\varepsilon})|m - m_i| $ を用い、非線形性の差を抑え込む。
• ソボレフ埋め込みとエネルギー推計を組み合わせ、$ u_i^{m_i(1+\varepsilon/m_i)(1+1/m)} $ に対して一様な $ L^1 $ 界を導出し、$ \varepsilon $ が小さい場合の可積分性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形拡散方程式 $ \partial_t u - \Delta u^m = 0 $ の解は、特に退化および特異な領域を越えて、指数 $ m $ に対して連続的に依存するか？
• RQ2 非線形半群理論やハルナック不等式のような正則性推計に依存せずに、解の安定性を確立できるか？
• RQ3 初期データが正の測度（例：ディラックデルタ）である場合、バレンブラット解のように、解の収束は成立するか？
• RQ4 収束は $ |m - m_i| $ の差の観点から定量的に示せるか？$ L^{1+m} $ ノルムにおける収束速度は何か？
• RQ5 安定性結果は $ m \to 1 $ の極限、特に古典的熱方程式となる場合にまで拡張可能か？

主な発見

• $ m_i \to m $ のとき、多孔質媒体方程式および高速拡散方程式の解は $ L^{1+m} $ ノルムにおいて収束し、収束速度は $ \|u - u_i\|_{L^{1+m}(\Omega_T)} \leq c |m - m_i|^{1/m} $（$ i $ が十分に大きいとき）となる。条件として $ m > \frac{n-2}{n+2} $ を要する。
• 安定性結果は $ m > 1 $（退化）および $ m < 1 $（特異）の両方のケースに成立し、$ m = 1 $（熱方程式）の極限ケースも含む。
• 有界領域におけるディリクレ問題および $ \mathbb{R}^n $ 上のコーシー問題において、初期データが有限質量の正の測度（例：バレンブラット解）である場合に収束が成立する。
• バレンブラット解 $ \mathcal{B}_m $ は、$ \mathcal{B}_{m_i} \to \mathcal{B}_m $ が $ L^p $ で成り立つことを示し、これは既存の文献では未だ確立されていなかった結果である。
• 非線形半群理論、ホルダー正則性、逆ホルダー不等式の使用を避け、弱解とコンパクト性のみに依存する証明である。
• $ m \geq 1 $ の場合、代替的証明により解の差の推計を $ |m - m_i| $ の関数として与えるが、このアプローチは $ m \geq 1 $ に限定され、強い単調性を用いる。