[論文レビュー] Convergence of solutions to the $p$-Laplace evolution equation as $p$ goes to 1

Jonas M. Tölle|arXiv (Cornell University)|Mar 1, 2011

Advanced Mathematical Modeling in Engineering参考文献 19被引用数 5

ひとこと要約

本稿は、$p \to 1$ の極限において、$L^2(\Omega)$ 上での時間に一様な強い収束を示し、特異ケース $p=1$ を含めた放物型 $p$-ラプラシアン方程式の解の収束を確立する。モスコ収束を用いた凸汎関数とヒルベルト空間における変分的手法を用い、解がパラメータ $p$ および初期データに関して連続的依存することを証明し、全 Variation フロー（1-ラプラシアン）の極限に理論を拡張する。

ABSTRACT

We prove that the set of solutions to the parabolic singular $p$-Laplace equation with Dirichlet boundary conditions on a bounded Lipschitz domain $Ω$ for all space dimensions is continuous in the parameter $p\in [1,+\infty)$ and the initial data. The highly singular limit case p=1 is included. In particular, we show that the solutions $u_p$ converge strongly in $L^2(Ω)$, uniformly in time, to the solution $u_1$ of the parabolic 1-Laplace equation as $p o 1$.

研究の動機と目的

• パラメータ $p \in [1, \infty)$ に対して、放物型 $p$-ラプラシアン方程式の解が連続的依存することを確立すること。
• 解 $u_p$ が $p \to 1$ の極限において、時間に一様に $L^2(\Omega)$ 上で $u_1$ に強い収束することを証明すること。
• 収束解析をディリクレ境界条件およびノイマン境界条件の両方へ拡張すること。
• 全 Variation フローと微分作用素の計算を用いて、$p=1$ の極限ケースを厳密に変分的枠組みでモデル化すること。
• 関連する凸汎関数のモスコ収束が、時間発展設定における解の連続的依存性を示すことの根拠となることを示すこと。

提案手法

• ヒルベルト空間における非線形半群理論および微分作用素の時間発展方程式理論を用い、特にアトゥックの定理（モスコ収束）を適用する。
• ヨシダ正則化を用いて弱い変分的解を定義し、$p$-ラプラシアンを $L^2(\Omega)$ 上の凸汎関数 $\Phi_p$ の勾配とみなす。
• $p \to 1$ の極限において、凸汎関数 $\Phi_p$ のモスコ収束基準を適用し、関連する微分作用素フローの収束を保証する。
• 関数の有界 Variation を扱うために、滑らか化（モリフィケーション）およびゼロ拡張の近似技法を用い、特異極限 $p=1$ を処理する。
• 対角線的議論（補題 A.1）を用いて、$\Phi_n(u_{m_n}) \to \|Du\|_{\text{TV}}$ を満たす部分列 $u_{m_n}$ を抽出する。
• ノイマン境界条件の設定においては、テスト関数を $C_0^\infty(\Omega; \mathbb{R}^d)$ に修正し、収束推定における双対ノルムを適切に調整することで、ディリクレ系の証明戦略を適応する。

実験結果

リサーチクエスチョン

• RQ1 放物型 $p$-ラプラシアン方程式の解 $u_p$ は、$p \to 1$ の極限において、時間に一様に $L^2(\Omega)$ 上で強収束するか？
• RQ2 解写像 $p \mapsto u_p$ は、$p \in [1, \infty)$ に対して $L^2(\Omega)$ 上で連続的か、特異ケース $p=1$ を含めて成立するか？
• RQ3 凸汎関数 $\Phi_p$ のモスコ収束が、解の $p$ に対する連続的依存性を示すか？
• RQ4 ノイマン境界条件の下での解の収束は、ディリクレ条件と比べてどのように異なるか？
• RQ5 全 Variation フロー（1-ラプラシアン方程式）は、$p \to 1$ の極限における $p$-ラプラシアン時間発展の正しい変分的極限か？

主な発見

• ディリクレ境界条件を満たす放物型 $p$-ラプラシアン方程式の解 $u_p$ は、$p \to 1$ の極限において、時間に一様に $L^2(\Omega)$ 上で $1$-ラプラシアン方程式の解 $u_1$ に強い収束を示す。
• 初期データ $x_p \to x_1$ が $L^2(\Omega)$ 上で成立する場合にも、$p$ および初期データの両方に関して連続的であることが保証される。
• 凸汎関数 $\Phi_p$ が $\Phi_1$ にモスコ収束することを証明し、これによりアトゥックの定理を用いて、解の $p$ に対する連続的依存性が示される。
• ノイマンの場合には、$C_0^\infty(\Omega; \mathbb{R}^d)$ 上の適切なテスト関数を用いて、モスコ収束の証明を適応し、同様の収束結果を得る。
• 極限方程式 $p=1$ は、全 Variation フローとして厳密に特定され、微分作用素 $\partial \Phi_1$ は勾配の符号関数の発散に対応する。
• 対角線的議論（補題 A.1）を用いて、$m_n \uparrow \infty$ となる列 $m_n$ を抽出し、$\Phi_n(u_{m_n}) \to \|Du\|_{\text{TV}}$ を満たすことを確認し、エネルギー汎関数が全 Variation に収束することを裏付ける。