[論文レビュー] How to solve smooth nonlinear PDEs in algebras of generalized functions with dense singularities

Elem'er E. Rosinger|ArXiv.org|Jun 29, 2004

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

ひとこと要約

本稿では、疎な特異点を扱える一般化関数の微分代数の新規クラスを提示する。特異点の集合が正則点の集合を上回る密度を持つ場合でも、滑らかな非線形偏微分方程式の大部分を解けるようにする。適切に構築されたイデアルを有する代数的微分構造を活用することで、1957年のH. レウイの滑らかな線形偏微分方程式に対する不可能性結果を克服し、特定の偏微分方程式に依存しない枠組みで一般化解を提供する。これにより、従来の順序完了法よりも広範な普遍性を達成する。

ABSTRACT

As a significant strengthening of properties of earlier algebras of generalized functions, here are presented classes of such algebras which can deal with dense singularities. In fact, the cardinal of the set of singular points can be larger than that of the nonsingular points. This large class of singularities allows the solution of large classes of smooth nonlinear PDEs. This in certain ways overcomes the celebrated 1957 H. Lewy impossibility result.

研究の動機と目的

• 疎な特異点、特に非可算で稠密な特異点集合を含む、一般化関数の微分代数のクラスを開発すること。
• 古典的解および分布的解に制限がある問題を克服する、滑らかな非線形偏微分方程式の解法フレームワークを提供すること。
• 古典的解がレウイ現象のために失敗するような状況においても、一般化関数理論の適用範囲を従来の制約を超えて拡張すること。
• 新規代数が滑らかな非線形偏微分方程式に対してより普遍的な解環境を提供することを示し、代数的微分と順序完了法の統合を図ること。
• 解の存在結果が偏微分方程式の具体的構造に依存しないことの証明により、一般性と適用範囲を高めること。

提案手法

• 一般化関数の微分代数を商空間として構成：$ B(X) = (\mathcal{C}^\infty(X))^\mathbb{N} / \mathcal{J}(X) $、ここで $ \mathcal{J}(X) $ は疎な特異点を扱うように設計されたイデアルである。
• 疎な特異点を有する任意の滑らかな非線形偏微分方程式を扱えるように、$ \mathcal{J}(X) $ のイデアルを設計すること。
• タイプに依存しない存在結果（定理1）を用いて、範囲条件 $ f(x) \in \text{int}(R_x) $ を満たす任意の滑らかな非線形偏微分方程式に対して、構築された代数内に一般化解が存在することを証明すること。
• 古典的解が疎な特異点のために失敗する場合でも、代数的微分的手法を用いて偏微分方程式をグローバルに解くこと。
• 代数的微分と順序完了法の相互作用を活用し、解法フレームワークの普遍性を強化すること。
• 順序完了法と比較して、解の代数が特定の偏微分方程式に依存する程度が低いため、一般性が向上することを確立すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな非線形偏微分方程式は、非可算な特異点集合を含む、疎な特異点を許容する一般化関数の代数で解けるか？
• RQ2 滑らかな線形偏微分方程式に対する1957年のH. レウイの不可能性結果は、疎な特異点を持つ一般化関数の代数を用いることでどの程度克服できるか？
• RQ3 提案手法は、偏微分方程式の構造に依存しないという点で、従来の順序完了法よりもより普遍的な解法フレームワークを提供するか？
• RQ4 偏微分方程式が線形または特定の型である必要がなく、一般化された意味で解が適切に定義されるように、解の存在結果を確立できるか？
• RQ5 偏微分方程式の具体的な形に依存しない一般化関数の代数を構築することは可能か？これにより、普遍性が向上するか？

主な発見

• 本稿では、正則点の集合よりも濃度が大きい特異点集合を含む、疎な特異点を扱える一般化関数の微分代数を構築した。
• 定理1における解の存在結果により、範囲条件 $ f(x) \in \text{int}(R_x) $ を満たす任意の滑らかな非線形偏微分方程式が、構築された代数内で一般化解を有することが保証される。
• 疎な特異点を有する代数で一般化解を提供することにより、滑らかな線形偏微分方程式に対する1957年のH. レウイの不可能性結果を克服した。
• 解の代数が特定の偏微分方程式に依存する程度が低く、関数空間の本質的性質に依存するため、順序完了法よりもより普遍的に適用可能である。
• 代数的微分と順序完了法の相互作用により、滑らかな非線形偏微分方程式への適用範囲が広がる、より強い存在結果が得られた。
• 本手法により、疎な特異点が存在しても、古典的には解けない偏微分方程式に対しても、一般化解の存在が保証されることを示した。