[論文レビュー] Carrier cones of analytic functionals

M. A. Soloviev|ArXiv.org|Jul 6, 2005

Noncommutative and Quantum Gravity Theories参考文献 16被引用数 6

ひとこと要約

本稿は、空間 $ S^0(\bbR^d) $ 上の連続線形汎関数に対して、一意的な最小のキャリア錐が存在することを確立し、これが解析的汎関数の一般化された補助集合として機能することを示している。証明は、複素解析と擬・シュレーディンガー関数による指示関数の近似を用いて、$ S^0(K_1 \cap K_2) $ に属する関数を $ S^0(K_1) $ と $ S^0(K_2) $ の和に分解する定理に依拠しており、非 DFS 空間へのマイクロローカル解析の道具の拡張がなされている。

ABSTRACT

We prove that every continuous linear functional on the space $S^0(R^d)$ consisting of the entire analytic functions whose Fourier transforms belong to the Schwartz space $\mathcal D$ has a unique minimal carrier cone in $R^d$, which substitutes for the support. The proof is based on a relevant decomposition theorem for elements of the spaces $S^0(K)$ associated naturally with closed cones $K\subset R^d$. These results, essential for applications to nonlocal quantum field theory, are similar to those obtained previously for functionals on the Gelfand-Shilov spaces $S^0_α$, but their derivation is more sophisticated because $S^0(K)$ are not DFS spaces and have more complicated topological structure.

研究の動機と目的

• 空間 $ S^0(\bbR^d) $ 上の連続線形汎関数に対するキャリア錐の概念を一般化し、これはシュワーツ空間 $ \mathcal{D} $ のフーリエ変換を持つ整関数の空間である。
• 標準的な位相的性質（例えば、DFS 空間でないこと）の欠如により $ S^0(K) $ の解析が複雑になる問題を克服する。これは、より良い性質を示す $ S^0_\alpha(K) $ 空間とは対照的である。
• 関数 $ S^0(K_1 \cap K_2) $ に対する分解定理を確立する。これは、最小キャリア錐の存在を証明する中心的役割を果たす。
• キャリア錐理論を $ S^0 \times \cdots \times S^0 $ 上の多重線形形式へ拡張する。これは非局所量子場理論における真空期待値に不可欠である。

提案手法

• 開錐 $ U \subset \bbR^d $ に対して、$ \bbC^d $ 上の重み付き $ L^2 $-ノルムを用いて空間 $ S^0(U) $ を定義する。重みは $ U $ からの距離と虚部を含み、整関数の収束を保証する。
• 点での上界ノルムと指数的減衰を伴う $ L^2 $-ノルムの等価性を用いて、$ S^0(U) $ の位相を特徴づけ、複素解析的手法による解析を可能にする。
• 分解定理の証明：$ \bar{U}_1 \cap \bar{U}_2 \Subset U $ を満たす開近傍 $ U_i \supset K_i $ に対して、$ S^0(K_1 \cap K_2) $ に属する任意の関数は、$ S^0(K_1) $ と $ S^0(K_2) $ の関数の和として表せる。
• 閉錐 $ K $ の指示関数を擬・シュレーディンガー関数で近似し、$ \bar{\partial} $-方程式に対するホルマンダーの $ L^2 $-推定を適用することで、分解における解析性を回復する。
• グロテンディークの開写像定理と $ (\beta) $-空間性質を用いて、$ S^0(K_1 \cap K_2) $ 上の帰納的極限位相が元の位相と一致することを示し、拡張された汎関数の連続性を保証する。
• 双対空間に対するコンパクトネスの議論を用いる：すべてのキャリア錐の共通部分は自身がキャリア錐であるため、最小性が示される。

実験結果

リサーチクエスチョン

• RQ1 任意の $ S^0(\bbR^d) $ 上の連続線形汎関数は、$ S^0_\alpha(\bbR^d) $ の場合と同様に、一意的な最小キャリア錐をもつのか？
• RQ2 $ S^0(K) $ が DFS 空間ではないため、$ S^0(K_1 \cap K_2) $ に属する関数が $ S^0(K_1) $ と $ S^0(K_2) $ の成分に分解可能かどうかをどのように確立できるか？
• RQ3 定義に用いられる重みが擬・シュレーディンガー関数でない場合、ホルマンダーの $ L^2 $-推定を $ \bar{\partial} $-方程式にどのように適応できるか？
• RQ4 $ S^0(K_1 \cap K_2) $ 上の帰納的極限位相の役割は何か？また、元の位相および汎関数の連続性とどのように関係するか？
• RQ5 キャリア錐の概念を $ S^0 \times \cdots \times S^0 $ 上の多重線形形式へどのように拡張できるか？また、非局所 QFT におけるその意義は何か？

主な発見

• 任意の $ S^0(\bbR^d) $ 上の連続線形汎関数は、$ \bbR^d $ 内に一意的な最小キャリア錐をもつ。これは分布の補助集合の概念の一般化である。
• 分解定理が成立する：$ \bar{U}_1 \cap \bar{U}_2 \Subset U $ を満たす開近傍 $ U_i \supset K_i $ に対して、$ S^0(K_1 \cap K_2) $ に属する任意の関数は、$ S^0(K_1) $ と $ S^0(K_2) $ の関数の和として表せる。
• $ S^0(K_1 \cup K_2) $ における $ S^0(\bbR^d) $ の稠密性により、$ f = f_1 + f_2 $ の分解に依存しない、$ \hat{v}(f) = v_1(f_1) + v_2(f_2) $ で定義される汎関数 $ \hat{v} $ は、well-defined かつ連続である。
• $ S^0(K_1) \oplus S^0(K_2) $ からの帰納的極限位相 $ \mathcal{T} $ は、元の位相 $ \tau $ と一致する。これはグロテンディークの開写像定理による $ (\beta) $-空間の性質によって保証される。
• 汎関数 $ v $ のすべてのキャリア錐の共通部分 $ K $ は、自身がキャリア錐であるため、単位球面上のコンパクトネスの議論により、一意的な最小キャリア錐の存在が示される。
• 結果は $ S^0 \times \cdots \times S^0 $ 上の多重線形形式へ拡張可能であり、非局所的および非可換量子場理論における真空期待値と因果律への応用が示唆される。