[论文解读] Hermite expansions and Hardy's theorem

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

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

一句话总结

本文建立了在函数及其傅里叶变换的点态界由大方差高斯函数主导时，Hermite系数的精确指数衰减估计，并将此衰减与Hardy定理联系起来。通过将Phragmen-Lindel"of原理应用于Bargmann变换，并利用Mehler公式，本文推导出量子谐振子的局域化结果，并表明Hardy定理可从基于弱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系数指数衰减速率的定量估计。
• 证明Hardy定理关于傅里叶变换对的结果，可从Schr"odinger方程框架下的弱局域化原理推导得出，而无需复分析。
• 提供元刻划表示、$K$-型（Hermite函数）与Hardy定理推导之间的表示论联系。
• 对谐振子Schr"odinger方程解的更强局域化结果提出一个猜想。
• 展示Bargmann变换是分析Hermite展开和通过Phragmen-Lindel"of原理推导衰减估计的合适工具。

提出的方法

• 将Bargmann变换用作Schr"odinger表示与Fock表示之间的酉互换算符，使通过全纯函数分析Hermite展开成为可能。
• 将Phragmen-Lindel"of原理应用于全纯Bargmann变换$Uf(w)$，在$f$与$\hat{f}$满足高斯衰减假设的条件下推导出点态界。
• 利用Mehler公式将Hermite函数在指数权下的$L^2$-范数与包含$\mu = \frac{1-a}{1+a}$的生成函数联系起来。
• 通过中心二项系数的组合估计推导$\|\varphi_k\|_a$的下界，从而得到Hermite系数的衰减估计。
• 引入谐振子Schr"odinger方程解的“弱局域化”概念，将$\|\psi_t\|_{\tanh \beta}$用$\|\psi_0\|_{\tanh(N\beta)}$有界。
• 利用弱局域化结果，通过PDE方法推导Hardy定理，避免复分析，并回答Sundari关于替代证明的问题。

实验结果

研究问题

• RQ1 对于满足$|f(x)| \leq C e^{-a x^2/2}$与$|\hat{f}(\xi)| \leq C e^{-a \xi^2/2}$的函数，其Hermite系数在方差为$a^{-1}$的高斯函数下的指数衰减的精确速率是什么？
• RQ2 能否在不使用复分析的前提下，从谐振子的PDE基局域化原理推导出Hardy定理？
• RQ3 Bargmann变换如何促进在高斯界下Hermite系数衰减估计的推导？
• RQ4 元刻划表示、$K$-型（Hermite函数）与Hardy定理中$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^-$时，衰减速率趋近于Hardy定理中的精确界，恢复得到$E(1) = \mathbb{C} g_1$。
• 谐振子Schr"odinger方程的局域化结果意味着：若$\|\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函数的有限线性组合，故必为高斯函数，从而完整恢复Hardy定理的结论。
• 本文猜想一个更强的局域化结果，该结果将对$a < 1$时$E(a)$中函数的刻画更加精确。