[論文レビュー] Hermite expansions and Hardy's theorem

M. K. Vemuri|ArXiv.org|Jan 15, 2008

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

ひとこと要約

本稿は、分散が大きなガウス関数によって支配される関数のフーリエ変換に対して、Hermite係数の鋭い指数的減衰を確立し、これをハーディの定理と関連付ける。バーグマン変換にフラグメン＝リンデルーフの原理を適用し、メラーの公式を用いることで、量子調和振動子の閉じ込め結果を導出し、複素解析を用いずに、弱いPDEに基づく閉じ込め原理からハーディの定理を導出可能であることを示す。

ABSTRACT

Assuming that both a function and its Fourier transform are dominated by a Gaussian of large variance, it is shown that the Hermite coefficients of the function decay exponentially. A sharp estimate for the rate of exponential decay is obtained in terms of the variance, and in the limiting case (when the variance becomes so small that the Gaussian is its own Fourier transform), Hardy's theorem on Fourier transform pairs is obtained. A quantitative result on the confinement of particle-like states of a quantum harmonic oscillator is obtained. A stronger form of the result is conjectured. Further, it is shown how Hardy's theorem may be derived from a weak version of confinement without using complex analysis.

研究の動機と目的

• 関数およびそのフーリエ変換がガウス関数によって点単位で上から抑えられる場合のHermite係数の指数的減衰率に対する定量的推定を確立すること。
• シュレーディンガー方程式の枠組みにおいて、複素解析を用いずに、ハーディの定理が弱い閉じ込め原理から導出可能であることを示すこと。
• メタプレクティック表現、$K$-型（Hermite関数）およびハーディの定理の導出との間の表現論的リンクを提供すること。
• 調和振動子シュレーディンガー方程式の解に対して、より強い形の閉じ込め結果を予想すること。
• バーグマン変換が、フラグメン＝リンデルーフの原理を用いてHermite展開の解析と減衰推定の導出に適していることを示すこと。

提案手法

• シュレーディンガー表現とフォック表現の間のユニタリなインターヴァーバーとしてのバーグマン変換を用い、Hermite展開の解析を正則関数を用いて行う。
• 関数$f$および$\hat{f}$がガウス減衰を満たすと仮定し、正則関数$Uf(w)$にフラグメン＝リンデルーフの原理を適用して点単位の上界を導出する。
• メラーの公式を用いて、指数的重み付き$L^2$ノルムと$\mu = \frac{1-a}{1+a}$を含む母関数との関係を確立する。
• 中心二項係数に関する組合せ的推定を用いて$\|\varphi_k\|_a$の下界を導出し、Hermite係数の減衰推定に繋げる。
• 調和振動子シュレーディンガー方程式の解に対して「弱い閉じ込め」の概念を導入し、$\|\psi_t\|_{\tanh \beta}$を$\|\psi_0\|_{\tanh(N\beta)}$で上から抑える。
• 弱い閉じ込め結果を用いて、複素解析を避けてPDE的手法によりハーディの定理を導出し、サンドリの質問に答える。

実験結果

リサーチクエスチョン

• RQ1 分散$a^{-1}$のガウス関数によって抑えられる関数およびそのフーリエ変換に対して、Hermite係数の鋭い指数的減衰率は何か？
• RQ2 複素解析を用いずに、調和振動子のシュレーディンガー方程式の枠組みにおけるPDEに基づく閉じ込め原理から、ハーディの定理を導出可能か？
• RQ3 バーグマン変換は、ガウス上界の下でHermite係数の減衰推定をどのように容易にするか？
• RQ4 メタプレクティック表現、$K$-型（Hermite関数）およびハーディの定理における$E(a)$の構造との間の関係は何か？
• RQ5 $a < 1$に対して、$E(a)$に属する関数のより鋭い特徴づけが得られる、より強い形の閉じ込め結果は存在するか？

主な発見

• $a \in (0,1)$に対して、$|f(x)| \leq C e^{-a x^2/2}$および$|\hat{f}(\xi)| \leq C e^{-a \xi^2/2}$を満たす$f$のHermite係数は、$$|\langle f, \varphi_k \rangle| \leq C \sqrt{\frac{2\pi k!}{1+a}} \left(\frac{e}{k}\right)^{k/2} \left(\frac{1-a}{1+a}\right)^{k/4}$$として指数的に減衰する。
• 極限ケース$a \to 1^-$において、減衰率はハーディの定理における鋭い境界に近づき、$E(1) = \mathbb{C} g_1$が回復される。
• 調和振動子シュレーディンガー方程式の閉じ込め結果により、$\|\psi_0\|_{\tanh(N\beta)} < \infty$ならば、ある$K$が存在して、$t$に一様に依存しない$\|\psi_t\|_{\tanh \beta} \leq K \|\psi_0\|_{\tanh(N\beta)}$が成り立つ。
• 弱い閉じ込め推定から、$|\langle \psi_0, \varphi_k \rangle| \leq C k e^{\beta((N-1)/2 - k)}$が従い、これは$\psi_0$がHermite関数の有限線形結合でなければならないことを示唆する。
• さらに$\psi_0 \in E(1)$かつHermite関数の有限線形結合であるから、$\psi_0$はガウス関数でなければならない。これにより、ハーディの定理の完全な結論が回復される。
• 本稿は、$a < 1$に対して$E(a)$に属する関数のより鋭い特徴づけが得られる、より強い閉じ込め結果の予想を提示する。