[論文レビュー] On the foundations of nonlinear generalized functions I

Éva Farkas, Michael Grosser+2 more|ArXiv.org|Dec 28, 1999

Mathematical and Theoretical Analysis参考文献 1被引用数 57

ひとこと要約

本稿は、一般化関数の微分代数を微分同相不変性を持つ形に構築し、非線形分布論における基礎的問題を解決する。滑らかな関数 $Ω_\varepsilon$ 上の滑らかさの理論と、便利なベクトル空間における微分積分学を用いることで、滑らかな操作と微分同相不変性を保つ一貫性のある非線形PDEの取り扱いが可能になる。

ABSTRACT

We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces, previous attempts in this direction are unified and completed. Several classification results are achieved and applications to nonlinear differential equations involving singularities are given.

研究の動機と目的

• コロンベール型一般化関数代数における微分同相不変性の基礎的問題を解決すること。
• 無限次元微分積分学を用いた非線形一般化関数代数の構築に関する先行研究を統合・完成すること。
• 滑らかな関数の点ごとの積を保存するが、非線形操作を許容する分布の標準埋め込みを提供すること。
• 特異係数、特異データ、または特異解を伴う非線形PDEと整合性を持つ枠組みを確立すること。
• 特に非不変な試験対象に基づく従来の構成が微分同相変換のもとで不変性を失うという限界を克服すること。

提案手法

• 非線形空間ではないが、便利なベクトル空間理論を用いて微分積分学を定義可能な集合 $U_\varepsilon(\Omega)$ 上の滑らかな関数を用いて、一般化関数の微分代数を構築する。
• 便利なベクトル空間における微分積分学を適用し、一般化関数の滑らかさと微分可能性を定義する。これにより、以前のシルバ-微分に基づくアプローチに取って代わる。
• C形式とJ形式の間の翻訳形式を導入することで、異なる表現間の整合性を保証し、構成を統一する。
• 代表元に基づくアプローチを採用し、ネット $R \circ S^\varepsilon$ を用いて一般化関数を定義する。Gronwallの不等式から導かれる推定により、ModeratenessとNull条件を保証する。
• バーナックル積分方程式とKirchhoffの公式を用いて、非線形PDEの解の存在と一意性を導出する。パラメータに関する滑らかさは、滑らかな曲線の合成により保証される。
• 定理7.12および注意6.7を適用して、試験関数に関する微分と積分の順序交換を正当化し、$\mathcal{E}_M$ および $\mathcal{N}$ の推定を厳密に導出する。

実験結果

リサーチクエスチョン

• RQ1 基礎領域の微分同相変換に関して不変であるようなコロンベール型代数を構築することは可能か？
• RQ2 滑らかな関数の点ごとの積を保存するが、非線形操作を許容する分布の標準埋め込みを実現することは可能か？
• RQ3 非線形空間 $U_\varepsilon(\Omega)$ 上で微分積分学を一貫して適用し、一般化関数の滑らかさを定義することは可能か？
• RQ4 無限次元微分積分学を用いて、一般化関数代数におけるModeratenessおよびNull条件を効率的に検証できるか？
• RQ5 この枠組み内で特異データを伴う非線形PDEをどの程度まで解くことができ、一意性はどのように確立されるか？

主な発見

• 本稿は、シュワーツの意味での分布の空間を自然に含む微分同相不変一般化関数の微分代数を構築した。
• 滑らかな曲線に基づく便利なベクトル空間理論を用いた厳密な枠組みにより、従来のコロンベール代数における不変性欠如という長年の問題を解決した。
• 繰り返し微分とGronwallの不等式を用いて一般化関数のModeratenessを検証し、ネットの直接的かつ扱いにくい推定を回避した。
• 微分を明示的に用いずに非線形ODEおよび波動方程式の解の一意性を、代数の構造と代表写像の性質に依拠して確立した。
• 解のパラメータおよび試験関数に関する滑らかさが保証され、非線形操作およびPDE理論と整合性を持つ。
• この枠組みは、特異データを伴う半線形波動方程式への応用を可能にし、古典的コロンベール理論の結果を不変な設定に拡張した。