[論文レビュー] Bounds on the Segal-Bargmann transform of L^p functions

Brian C. Hall|ArXiv.org|Mar 1, 2001

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

ひとこと要約

本稿は、ガウス測度 $ \rho $ に対する $ L^p(\mathbb{R}^d, \rho) $ のセガール＝バーグマン変換による像を特徴づける鋭い境界を確立する。調整された逆変換公式とヘルダーの不等式を用いて、ある正則関数がこのような変換として現れるための、ほぼ最良の必要十分条件を提示する。ネルソンの超収縮性定理を応用することで、次元に依存しない結果が得られる。

ABSTRACT

This paper gives necessary conditions and slightly stronger sufficient conditions for a holomorphic function to be the Segal-Bargmann transform of a function in L^p(R^d) with respect to a Gaussian measure. The proof relies on a family of inversion formulas for the Segal-Bargmann transform, which can be "tuned" to give the best estimates for a given value of p.

研究の動機と目的

• $ 1 < p < \infty $ に対して、$ \mathbb{C}^d $ 上の正則関数が $ L^p(\mathbb{R}^d, \rho) $ 関数のセガール＝バーグマン変換として現れるための正確な特徴づけを達成すること。
• 正則関数が $ L^p(\mathbb{R}^d, \rho) $ のセガール＝バーグマン変換の像に属するための必要条件およびやや強い十分条件を導出すること。
• すべての導関数および $ f $ の多項式乗が $ L^p(\mathbb{R}^d, \rho) $ に属する $ L^p $-シュワーツ空間に対してこれらの結果を拡張し、1つの必要十分条件を提示すること。
• ネルソンの超収縮性定理の応用により、次元に依存しない条件を $ 1 < p \leq 2 $ および $ 2 \leq p < \infty $ に対してそれぞれ必要・十分条件として得ること。

提案手法

• $ p \in (1, \infty) $ の各値に対して最適化可能な推移的推定が可能な、セガール＝バーグマン変換の逆変換公式の族を導出する。
• 積分表現 $ Sf(z) = (2\pi)^{-d/2} \int_{\mathbb{R}^d} e^{-(z-x)^2/2} f(x) \, dx $ にヘルダーの不等式を適用し、$ z = x + iy $ における $ x $ と $ y $ の関数として $ Sf(z) $ の成長限界を導出する。
• $ e^{z \cdot x} $ の核の $ L^{p'} $-有界性の双対性を用いて、$ Sf $ の収束性および正則性を保証する。
• 必要条件：$ |Sf(x+iy)| \leq C e^{y^2/2} e^{x^2/(2(p-1))} $、および十分条件：$ \int_{\mathbb{C}^d} |F(x+iy)| e^{-y^2/2} e^{-x^2/(2(p-1))} \, dx\,dy < \infty $ を確立する。
• グラウンドステート変換を用いて、$ L^2 $-ベースのセガール＝バーグマン変換をガウス測度に基づくものに再定式化し、$ L^p $-空間への拡張を可能にする。
• ネルソンの超収縮性定理を用いて、$ 1 < p \leq 2 $ に対して次元に依存しない必要条件、$ 2 \leq p < \infty $ に対して次元に依存しない十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ p \neq 2 $ の場合に、ある正則関数が $ f \in L^p(\mathbb{R}^d, \rho) $ のセガール＝バーグマン変換であるための正確な成長条件は何か？
• RQ2 $ L^p $-シュワーツ空間のセガール＝バーグマン変換による像に対して、1つの必要十分条件を与えることは可能か？
• RQ3 セガール＝バーグマン変換による $ L^p(\mathbb{R}^d, \rho) $ の像を特徴づける次元に依存しない条件は存在するか？
• RQ4 $ z \in \mathbb{C}^d $ の実部および虚部方向における成長率は $ p $ にどのように依存するか？ また、これらの境界の鋭さはいかほどか？
• RQ5 超収縮性および対数的ソボレフ不等式は、ガウス測度付き $ L^p $-空間における像の構造をどの程度明らかにするか？

主な発見

• $ f \in L^p(\mathbb{R}^d, \rho) $ に対して、セガール＝バーグマン変換は、$ x $ の依存性が $ p $ に強く依存する必要成長限界 $ |Sf(x+iy)| \leq C e^{y^2/2} e^{x^2/(2(p-1))} $ を満たす。
• 正則関数 $ F $ が $ L^p(\mathbb{R}^d, \rho) $ の像に属するための十分条件は、$ \int_{\mathbb{C}^d} |F(x+iy)| e^{-y^2/2} e^{-x^2/(2(p-1))} \, dx\,dy < \infty $ であり、これは必要条件よりも僅かに強い多項式的強度である。
• $ L^p $-シュワーツ空間に対しては、1つの必要十分条件が導出され、バーグマンの $ p=2 $ の結果がすべての $ p \in (1, \infty) $ に一般化される。
• 十分条件は、$ |F(x+iy)| \leq C e^{y^2/2} e^{x^2/(2(p-1))} (1+|x|)^{-d-\varepsilon}(1+|y|)^{-d-\varepsilon} $ を満たすならば $ F $ が $ L^p(\mathbb{R}^d, \rho) $ の像に属することを示唆する意味で鋭い。
• ネルソンの超収縮性定理により、$ 1 < p \leq 2 $ に対して次元に依存しない必要条件、$ 2 \leq p < \infty $ に対して次元に依存しない十分条件が得られ、無限次元極限においても有効である。
• 結果はグラウンドステート変換と整合しており、セガール＝バーグマン変換が $ L^2(\mathbb{R}^d, \rho) $ から $ \mathcal{H}L^2(\mathbb{C}^d, \mu) $ へのユニタリ写像として解釈可能であり、ガウス測度付き $ L^p $-空間への拡張を可能にする。