[論文レビュー] On kernel theorems for Frechet and DF spaces

Александр Георгиевич Смирнов, M. A. Soloviev|ArXiv.org|Jan 12, 2005

Mathematical Analysis and Transform Methods参考文献 6被引用数 4

ひとこと要約

本稿では、Fréchet空間およびDF空間におけるカーネル定理を証明する一般的基準を確立し、2つの関数空間の完備プロジェクト型テンソル積が、積領域上の与えられた関数空間と位相的に一致する条件を特徴づける。主な結果は、反射性、核性、双対性条件の下でテンソル積と標的空間との間の位相的同型が成り立つことであり、量子場理論に関連する滑らかでかつ整関数の関数空間に対するカーネル定理の新たな証明を可能にする。

ABSTRACT

A convenient technique for calculating completed topological tensor products of functional Frechet or DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire analytic functions.

研究の動機と目的

• 関数空間におけるカーネル定理を検証する一般的で実用的な基準を構築すること。
• 2つのFréchet空間またはDF空間の完備プロジェクト型テンソル積が、積領域上の与えられた関数空間と位相的に同型となる条件を確立すること。
• 一般化された滑らかな関数空間 $ K(M_p) $ および量子場理論に現れる整関数の関数空間に対して、この基準を適用してカーネル定理を証明すること。
• 双対性およびテンソル積の性質に帰着させることで、既存のカーネル定理の証明を統一的かつ簡略化すること。

提案手法

• 双対性および双線形写像の連続性を用いて、抽象的Fréchet空間およびDF空間に対して一般定理（定理1）を導出する。
• 双対ペアリング $ \langle \Psi(u,v), \Phi(f,g) \rangle = \langle u,f \rangle \langle v,g \rangle $ を用いて、テンソル積と双対空間との関係を確立する。
• 補題2を適用し、テンソル積の像が標的空間に稠密であるならば、写像が位相的同型を誘導することを示す。
• 整関数空間 $ \mathcal{H}(M) $（主要限界 $ M_\gamma $ で定義）が、基準が適用可能となるために必要な条件 (I) および (II) を満たすことを確認する。
• コーシー推定およびホルダーの不等式を用いて、$ \mathcal{H}(M) $、$ \tilde{\mathcal{H}}(M) $、および $ \mathcal{H}_p(M) $ 間の連続埋め込みを証明し、空間の等値性を確立する。
• 核的で反射的Fréchet空間が必要な位相的および双対性的性質を満たすという事実を活用し、主要定理を適用する。

実験結果

リサーチクエスチョン

• RQ1 完備プロジェクト型テンソル積 $ F \widehat{\otimes}_\pi G $ が、$ X \times Y $ 上の与えられた関数空間 $ H $ と位相的に同型となるのはどのような条件下か？
• RQ2 古典的空間（例：$ S(\mathbb{R}^n) $）を超えて、滑らかで整関数の関数空間を含むようにカーネル定理を一般化できるか？
• RQ3 反射性、核性、双対性がテンソル積と関数空間の位相的一致を保証するために果たす役割は何か？
• RQ4 整関数空間のテンソル積構造は、双対性および主要限界条件を用いて特徴づけられるか？

主な発見

• 完備プロジェクト型テンソル積 $ \mathcal{H}(M) \widehat{\otimes}_\pi \mathcal{H}(N) $ は、$ \mathcal{H}(M \otimes N) $ と位相的に同型であり、整関数の関数空間に対するカーネル定理を証明する。
• 主要限界族 $ M_\gamma $ で定義される整関数空間 $ \mathcal{H}(M) $ は、条件 (I) および (II) を満たすとき、核的で反射的Fréchet空間である。
• 主要限界が可積分性および減衰条件を満たすとき、空間 $ \mathcal{H}(M) $、$ \tilde{\mathcal{H}}(M) $、および $ \mathcal{H}_p(M) $ は位相的ベクトル空間として等しい。
• 双線形写像 $ \Phi(f,g)(x,y) = f(x)g(y) $ は、双対性および稠密性の議論により、$ \mathcal{H}(M) \widehat{\otimes}_\pi \mathcal{H}(N) \simeq \mathcal{H}(M \otimes N) $ を誘導する位相的同型を定める。
• 定理3の基準により、空間が反射的で核的であり、双対性および稠密性条件を満たすとき、位相的同型が保証される。