[论文解读] Growth Properties of Fourier Transforms

William O. Bray, Mark A. Pinsky|arXiv (Cornell University)|Oct 6, 2009

Numerical methods in inverse problems参考文献 6被引用 7

一句话总结

本文通过引入球贝塞尔函数的更紧致界，改进了欧几里得空间和秩一对称空间上傅里叶变换的增长估计。该改进导致了更优的 $ L^p $ 和 $ L^2 $ 估计，这些估计将傅里叶变换的衰减性与函数球均值的 $ L^p $ 范数联系起来。关键贡献在于，用函数与其球均值之间差值的直接 $ L^p $ 范数取代了早期基于上确界模的连续性，从而获得更简洁且分析上更强的估计。

ABSTRACT

In a recent paper by the authors, growth properties of the Fourier transform on Euclidean space and the Helgason Fourier transform on rank one symmetric spaces of non-compact type were proved and expressed in terms of of a modulus of continuity based on spherical means. The methodology employed first proved the result on Euclidean space and then, via a comparison estimate for spherical functions on rank one symmetric spaces to those on Euclidean space, we obtained the results on symmetric spaces. In this note, an analytically simple, yet overlooked refinement of our estimates for spherical Bessel functions is presented which provides significant improvement in the growth property estimates.

研究动机与目标

• 通过改进球贝塞尔函数分析，提升欧几里得空间和秩一对称空间上傅里叶变换的现有增长估计。
• 通过用函数与其球均值之间差值的直接 $ L^p $ 范数取代先前结果中基于上确界的模连续性，消除对上确界模连续性的依赖。
• 建立更紧致、更具分析可处理性的傅里叶变换衰减估计，其以球均值衡量的函数光滑性为依据。
• 将这些改进后的估计推广至非紧型秩一对称空间上的赫尔加森傅里叶变换，借助与欧几里得结果的比较。

提出的方法

• 利用梅勒积分公式，推导球贝塞尔函数 $ j_\alpha(\lambda t) $ 的新点态估计，证明当 $ \alpha > -1/2 $ 时，有 $ 1 - j_\alpha(\lambda t) \asymp \min\{1, (\lambda t)^2\} $。
• 利用此改进的贝塞尔函数估计，取代早期模连续性中涉及的上确界比较，从而导出函数与其球均值差值的直接 $ L^p $ 范数界 $ \|M^t f - f\|_p $。
• 在 $ L^p $ 和 $ L^2 $ 情形中，分别应用 Hausdorff-Young 不等式和 Plancherel 定理，将 $ \widehat{f}(\xi) $ 的衰减性与通过球均值衡量的函数光滑性联系起来。
• 通过比较球函数与贝塞尔函数，并利用雅可比函数的梅勒恒等式，建立赫尔加森傅里叶变换在秩一对称空间上的类似结果。
• 利用雅可比函数已知的可积性与衰减性质，推导出 $ |1 - \phi_{\lambda}(a_t)| $ 的统一下界，从而得到涉及 $ \min\{1, (\mu t)^2\} $ 的估计。
• 利用球均值的群论定义 $ M^t f(g) = \int_K f(g k a_t) \, dk $ 及其运算性质 $ \widehat{M^t f}(\lambda, b) = \phi_\lambda(a_t) \widehat{f}(\lambda, b) $，将变换的衰减性与均值差值的 $ L^p $ 范数联系起来。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^n $ 上傅里叶变换的增长估计中，能否用函数与其球均值差值的直接 $ L^p $ 范数 $ \|M^t f - f\|_p $ 取代基于球均值的模连续性？
• RQ2 傅里叶变换衰减性与通过球均值衡量的函数光滑性之间，最优的定量关系是什么，特别是在 $ L^2 $ 情形下？
• RQ3 估计 $ 1 - j_\alpha(\lambda t) \asymp \min\{1, (\lambda t)^2\} $ 如何被严格推导并用于改进傅里叶变换的先前界？
• RQ4 能否通过比较球函数，将改进后的欧几里得估计推广至非紧型秩一对称空间上的赫尔加森傅里叶变换？
• RQ5 当 $ f \in L^2(X) $ 时，赫尔加森变换的增长估计的精确形式是什么？它与 Plancherel 定理有何关联？

主要发现

• 对于 $ \alpha > -1/2 $，建立了新的紧致估计 $ c_{1,\alpha} \min\{1, (\lambda t)^2\} \leq 1 - j_\alpha(\lambda t) \leq c_{2,\alpha} \min\{1, (\lambda t)^2\} $，取代了早期较粗糙的界。
• 对于 $ 1 < p < 2 $，有估计 $ \left( \int_{\mathbb{R}^n} \min\{1, (t|\xi|)^{2q}\} |\widehat{f}(\xi)|^q d\xi \right)^{1/q} \leq C \|M^t f - f\|_p $，其中 $ q = p' $，该估计用直接 $ L^p $ 范数取代了先前的模连续性。
• 对于 $ f \in L^1(\mathbb{R}^n) $，证明了估计 $ \sup_\xi \min\{1, (t|\xi|)^2\} |\widehat{f}(\xi)| \leq C \|M^t f - f\|_1 $，该结果优于早期使用上确界模连续性的结果。
• 在 $ L^2 $ 情形下，建立了估计 $ \left( \int_{\mathbb{R}^n} \min\{1, (t|\xi|)^4\} |\widehat{f}(\xi)|^2 d\xi \right)^{1/2} \asymp \|M^t f - f\|_2 $，表明其与常数因子等价。
• 对于非紧型秩一对称空间上的赫尔加森傅里叶变换，证明了当 $ 1 \leq p < 2 $ 且 $ |\eta| < (2/p - 1)\rho $ 时，有估计 $ \sup_\mu \min\{1, (t\mu)^2\} \int_B |\widehat{f}(\mu + i\eta, b)| \, db \leq c_p(|\eta|) \|M^t f - f\|_p $。
• 对于 $ f \in L^2(X) $，得到了结果 $ \left( \int_{\mathbb{R}} \min\{1, (\lambda t)^4\} \int_B |\widehat{f}(\lambda, b)|^2 \, db \, |c_X(\lambda)|^{-2} d\lambda \right)^{1/2} \asymp \|M^t f - f\|_2 $，将 Plancherel 型结果推广至对称空间情形。