[論文レビュー] Remarks on the embedding of spaces of distributions into spaces of Colombeau generalized functions

Antoine Delcroix|ArXiv.org|Mar 18, 2004

Mathematical and Theoretical Analysis参考文献 5被引用数 13

ひとこと要約

本稿は、コンパクトに台を持つモリファイアを用いたシュワーツ分布をコロンベール一般化関数へ埋め込むための複数の構成法の同値性を確立する。従来、層理論やカットオフ技術を用いて別々に導出されたグローバル埋め込みとローカル埋め込みが、同じモリファイア列を用いる場合、同一の結果をもたらすことを証明し、アプローチを統一し、埋め込みが構成法に依存しないことを確認する。

ABSTRACT

We present some remarks about the embedding of spaces of Schwartz distributions into spaces of Colombeau generalized functions. We show that the various constructions of such embeddings existing in the literature lead in fact to the same one.

研究の動機と目的

• シュワーツ分布をコロンベール一般化関数へ埋め込むための異なる手法を統合・比較すること。
• 同じモリファイア列を用いる場合、分布をコロンベール代数へ埋め込むことが、構成法に依存しないことを示すこと。
• 層理論を用いるか、カットオフモリファイアを用いるかにかかわらず、グローバル埋め込みとローカル埋め込みが同一の結果をもたらすことを示すこと。
• モリファイアの選択が、滑らかな関数の標準的埋め込みと可換となるように保証する役割を明確にすること。

提案手法

• 標準的なモリファイアの正則化版として、元のネットよりも遅い成長率（例：対数的）を有するコンパクトに台を持つモリファイアを用いる。
• モリファイアとの畳み込みを用いて、簡略化されたコロンベール代数 $\mathcal{G}(\Omega)$ へのグローバル埋め込みを定義する。
• $ \Omega $ の局所的有限な開被覆 $ (\Omega_\lambda)_{\lambda \in \Lambda} $ 及び関連する partition of unity を用いて、ローカル埋め込みを貼り合わせてグローバルな埋め込みを構成する。
• 代数 $ \mathcal{G}(\Omega) $ の層性を用いて、重複領域で一貫性が保たれることを保証する。
• [6] のグローバル埋め込みと [3] のローカル埋め込み、および本稿で新たに提示するローカルバージョンを比較し、それらが等しいことを証明する。
• 明示的な代表式を用いる：$ \iota_S(T) = \sum_{\lambda} \Psi_\lambda \iota_\lambda(T) $、ここで $ \iota_\lambda $ は $ \Omega_\lambda $ 上でのローカル埋め込みである。

実験結果

リサーチクエスチョン

• RQ1 層理論的貼り合わせに依存せずに、シュワーツ分布をコロンベール一般化関数へ埋め込むグローバル構成が可能か？
• RQ2 コンパクトに台を持つモリファイアに基づく埋め込みと、層論的議論に基づく埋め込みが、同じ結果をもたらすか？
• RQ3 同じモリファイア列を用いる限り、$ \mathcal{D}'(\Omega) $ を $ \mathcal{G}(\Omega) $ へ埋め込むことは、構成法に依存しないか？
• RQ4 モリファイアの成長率が、滑らかな関数の標準的埋め込みと可換となるように保証する役割は何か？
• RQ5 相対的にコンパクトな部分集合に埋め込むことなく、$ \Omega $ 上で直接グローバル埋め込みを構成可能か？

主な発見

• コンパクトに台を持つモリファイアを用いた $ \mathcal{D}'(\Omega) $ の $ \mathcal{G}(\Omega) $ へのグローバル埋め込みは、層理論を用いたローカル埋め込みと同値である。
• 同じモリファイア列を用いる場合、[3] の埋め込み $ \iota_A $ と [6] のグローバル構成は、同一の結果をもたらす。
• 局所的埋め込みからパーティション・オブ・ユニティを用いて構成された $ \iota_S' $ は、$ \iota_A $ および $ \iota_S $ と等しく、異なる方法による一貫性を確認する。
• 構成は開被覆 $ (\Omega_\lambda)_{\lambda \in \Lambda} $ の選択に依存せず、モリファイア列にのみ依存する。
• 標準的埋め込み $ \sigma: \mathrm{C}^\infty(\Omega) \to \mathcal{G}(\Omega) $ が分布埋め込みを介して因数分解され、(1) の図式が可換になることが保証される。
• 任意の固定されたモリファイア列 $ \rho \in \mathcal{B}^\infty(\mathbb{R}^d) $ に対して、滑らかな関数の埋め込みと可換になるような $ \mathcal{D}'(\Omega) $ の $ \mathcal{G}(\Omega) $ への埋め込みの同値類 $ \iota_\rho $ が一意に存在する。