[論文レビュー] Colombeau solutions to nonlinear wave equations

Michael Oberguggenberger|ArXiv.org|Dec 15, 2006

Mathematical and Theoretical Analysis参考文献 28被引用数 8

ひとこと要約

本稿では、特異な初期データを伴う1次元半線形波動方程式を解くために、コロンベーオ一般化関数を適用し、解の存在、一意性、正則性を示している。解は光錐の外側で${\mathcal{G}}^\infty$正則性を示し、内側では${\mathcal{L}}_{\mathcal{G}}^1$挙動を示す。初期データがディラック測度の場合、分布的極限はデルタ波に対応する。

ABSTRACT

This paper is a tutorial that demonstrates various methods from the Colombeau theory of generalized functions in the context of semilinear wave equations. The Colombeau generalized functions constitute differential algebras that contain the space of distributions. We solve the 1D-semilinear wave equation in these algebras, show how delta waves can be computed and then turn to linear and nonlinear regularity theory.

研究の動機と目的

• 特異な初期データを伴う半線形波動方程式に対する一般化解の存在および一意性を、コロンベーオ代数を用いて確立すること。
• 初期データがディラック測度またはその微分である場合、解の分布的極限（デルタ波）を計算すること。
• 特に非線形設定における${\mathcal{G}}^\infty$正則性の伝播を、コロンベーオ解の正則性を調査すること。
• 線形正則性結果を非線形の場合に拡張し、標準的${\mathcal{G}}^\infty$理論の不成立を示し、新たな伝播メカニズムを提案すること。

提案手法

• 代表的ネット$(u_\varepsilon)$による滑らかな関数を用いて、${\mathcal{G}}(\mathbb{R}^2)$におけるコロンベーオ代数で波動方程式を形式化すること。
• Moderateおよびnull族を定義し、${\mathcal{G}} = {\mathcal{E}}_M / {\mathcal{N}}$としてコロンベーオ代数を因子空間として構成すること。
• Gronwallの補題および$L^1$推定を用いて、正則化された解とその極限との差を制御すること。
• 解を$u_\varepsilon = v_\varepsilon + w_\varepsilon$と分解し、$v_\varepsilon$が光錐から離れた領域で${\mathcal{G}}^\infty$推定を満たすようにすること。
• 近似および連続的依存性の議論を用いて、$u_\varepsilon - v_\varepsilon$が$L^1$ノルムで分布$w$に収束することを確立すること。
• 台形領域への制限および局所的推定を用いて、光錐$S$付近での解の挙動を分析すること。

実験結果

リサーチクエスチョン

• RQ1 1次元半線形波動方程式に特異な初期データを伴う一般化解が、コロンベーオ代数に存在するか？
• RQ2 初期データがディラックデルタ関数またはその微分である場合、解の分布的極限は何か？
• RQ3 非線形の場合に、光錐内部への${\mathcal{G}}^\infty$正則性の伝播は可能か？
• RQ4 解の正則性は、初期データの構造および非線形関数$f$にどのように依存するか？

主な発見

• リプシッツ連続な非線形関数$f$を伴う1次元半線形波動方程式に対して、コロンベーオ代数${\mathcal{G}}(\mathbb{R}^2)$内に一意な解$u$が存在する。
• 初期データがディラック測度である場合、解の分布的極限はデルタ波に対応し、特異部は光錐上に集中する。
• 解$u_\varepsilon$は、光錐から離れた領域で${\mathcal{G}}^\infty$推定を満たす正則部$v_\varepsilon$と、$L^1$で分布に収束する特異部$w_\varepsilon$に分解される。
• 解は${\mathcal{G}}^\infty((\mathbb{R}\times[0,\infty))\setminus S) + {\mathcal{L}}_{\mathcal{G}}^1(\mathbb{R}\times[0,\infty))$のクラスに属し、光錐外では正則で、内側には$L^1$可積分な特異性を持つことを示す。
• $\|u_\varepsilon - v_\varepsilon - w_\varepsilon\|_{\mathrm{L}^1(K_T)} \leq C\eta$（任意の$\eta > 0$）が成り立つため、特異領域における誤差が制御可能である。
• 初期データが離散的集合に台を持つ場合にも結果は拡張可能であるが、連続的依存性は方程式および非線形性に依存する。