[論文レビュー] Elliptic regularity and solvability for partial differential equations with Colombeau coefficients

Guenther Hoermann, Michael Oberguggenberger|ArXiv.org|Jan 28, 2003

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

ひとこと要約

本稿は、コロンベーオ一般化係数を備えた偏微分作用素における楕円型および超楕円型の新しい概念を確立し、グローバルな正則性および可解性に関する結果を証明する。標準的な楕円型条件が${\cal G}^\infty$-正則性を保証しないことが示され、右辺が${\cal G}^\infty$である場合に解が一般化された滑らかさを保つことを保証するより強い記号的推定を導入する。可解性の鍵となる基準は、点における$\widetilde{P}^2$の可逆性に基づく。

ABSTRACT

The paper addresses questions of existence and regularity of solutions to linear partial differential equations whose coefficients are generalized functions or generalized constants in the sense of Colombeau. We introduce various new notions of ellipticity and hypoellipticity, study their interrelation, and give a number of new examples and counterexamples. Using the concept of $\G^\infty$-regularity of generalized functions, we derive a general global regularity result in the case of operators with constant generalized coefficients, a more specialized result for second order operators, and a microlocal regularity result for certain first order operators with variable generalized coefficients. We also prove a global solvability result for operators with constant generalized coefficients and compactly supported Colombeau generalized functions as right hand sides.

研究の動機と目的

• コロンベーオ一般化係数を備えた線形PDEの存在および正則性理論における基礎的問題を解決すること。
• 解の正則性を保証するコロンベーオ設定における楕円型および超楕円型の意味のある概念を定義すること。
• 定数一般化係数を備えた作用素に対してグローバル正則性結果を証明し、緊密に台を持つ右辺に対して可解性を示すこと。
• 特に定数係数作用素において、一般化数の可逆性が可解性に果たす役割を明確にすること。

提案手法

• 一般化作用素に対する強化された記号的推定を導入し、$x$および$\xi$に関する記号のすべての微分の均一な有界性を要求する（単なる成長制御を超えて）。
• ${\cal G}^\infty$-正則性の概念を、ソボレフ型ノルムにおける代表元の緩やかな成長に基づいて定義する。
• 一般化関数空間の枠組みにおいてフーリエ解析および畳み込み推定を適用し、${\cal G}^\infty$が滑らかな関数に埋め込まれることを活用する。
• 一般化数の環の性質、特にゼロ因子と可逆性の挙動を用いて、可逆性の逆の議論により可解性を確立する。
• 古典的分布論の構成（例：モリファイア、フーリエ乗算子）を一般化された設定に拡張し、コロンベーオ代数へと適用する。
• 一般化数のゼロ因子に基づく背理法を用いて、可解性が点における$\widetilde{P}^2$の可逆性を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 コロンベーオ設定において、解の正則性を保証する適切な楕円型の概念とは何か？
• RQ2 なぜ標準的なコロンベーオ楕円型条件が解の${\cal G}^\infty$-正則性を保証しないのか？
• RQ3 定数係数作用素に一般化係数を備え、緊密に台を持つ右辺を備えた場合に、可解性の結果を確立できるか？
• RQ4 $\widetilde{P}^2$の可逆性が、コロンベーオ代数における$P(D)u = f$の可解性に果たす役割は何か？
• RQ5 非特徴的方向などのマイクロローカル性質は、一般化された設定における正則性とどのように関係するか？

主な発見

• 定数一般化係数を備えた反例により、標準的なコロンベーオ楕円型条件（5）が、解の${\cal G}^\infty$-正則性を保証しないことが示された。
• すべての記号の微分に対する均一な有界性を要件とするより強い記号的推定により、$f \in {\cal G}^\infty$ならば定数係数作用素に対して$u \in {\cal G}^\infty$が保証される。
• 定数一般化係数を備えた2階作用素に対して、古典的超楕円型を一般化された設定へと拡張した特別な正則性結果が得られた。
• グローバル可解性結果が証明された：$P(D)u = f$が${\cal G}(\Omega)$で可解であることは、$\mathbb{R}^n$内のある点で$\widetilde{P}^2$が可逆であることと同値である。これは、$\widetilde{\mathbb{C}}$におけるゼロ因子を用いた背理法により示された。
• 変数一般化係数を備えた1階作用素のマイクロローカル正則性が分析され、適切な条件下でマイクロローカル正則性結果が得られた。
• ${\cal G}^\infty$-記号を備えた乗算作用素の逆は、${\cal G}^\infty$に属するとは限らず、そもそも${\cal G}^\infty$の任意の元と同値でない場合もある。これは、単なる楕円型条件よりも強い条件の必要性を示している。