[论文解读] Elementary proofs of Paley-Wiener theorems for the Dunkl transform on the real line

Nils Byrial Andersen, Marcel de Jeu|arXiv (Cornell University)|Jun 17, 2005

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

一句话总结

本文为实轴上的Dunkl变换提供了基于结构的初等证明，解决了Paley–Wiener定理，通过其Dunkl变换的生长估计来刻画紧支集变换的函数。该方法仅依赖于变换的正式性质，避免使用显式特殊函数，甚至为经典傅里叶变换情形提供了新证明，涵盖$L^p$与$L^2$函数的支集条件结果。

ABSTRACT

We give an elementary proof of the Paley-Wiener theorem for smooth functions for the Dunkl transforms on the real line, establish a similar theorem for L^2-functions and prove identities in the spirit of Bang for L^p-functions. The proofs seem to be new also in the special case of the Fourier transform.

研究动机与目标

• 为光滑函数在Dunkl变换下的Paley–Wiener定理提供新的、初等的证明，且不依赖显式公式。
• 将Paley–Wiener刻画推广至$k \geq 0$时的$L^2$函数，推广经典傅里叶变换情形。
• 为$L^p$-函数建立类似Bang的恒等式，将实轴上的增长速率与Dunkl变换的支集性质关联起来。
• 表明该方法基于Dunkl变换的正式性质，相较于现有方法更为简洁且更具可推广性。

提出的方法

• 证明策略依赖于Dunkl变换及其逆变换的正式性质，特别是对偶性与卷积结构，而非核$\psi^k_\lambda(z)$的显式表达式。
• 作者使用Dunkl卷积$*_{k}$及其在$L^p$-空间中的有界性性质，控制迭代Dunkl导数$T_k^n f$的范数。
• 关键估计通过Hölder的反向不等式与界$|\psi^k_\lambda(z)| \leq e^{|\mathrm{Im} \lambda z|}$导出，后者控制了变换的增长。
• 通过对其偶性分析支集：通过测试具有紧支集卷积核的函数，证明$\mathrm{supp}(D_k f) \subset [-R,R]$。
• 对于$L^2$函数，应用Plancherel定理，将变换的$L^2$-有界性与指数型$R$的整函数空间联系起来。
• 通过$L^p$与$L^q$空间的对偶性及Dunkl卷积的范数估计，将该方法推广至$L^p$-函数。

实验结果

研究问题

• RQ1 能否在不依赖核$\psi^k_\lambda(z)$显式公式的情况下，证明Dunkl变换下光滑函数的Paley–Wiener定理？
• RQ2 能否仅基于Dunkl变换的正式性质，建立$L^2$-函数的Paley–Wiener定理？
• RQ3 能否为$L^p$-函数在Dunkl变换下建立类似Bang的恒等式，将实轴上的增长与变换支集关联？
• RQ4 所提方法在简洁性与一般性上相较于现有证明如何，特别是在$k=0$（傅里叶变换）的特例下？

主要发现

• 本文为$\mathrm{Re}\,k \geq 0$情形下Dunkl变换下的光滑函数提供了新的初等证明，无需使用核的显式公式。
• 对于$k \geq 0$，证明了Dunkl变换$D_k$是从$L^2_{R}({\mathbb{R}}, w_k(x)dx)$到空间$\mathcal{H}^{2,k}_R({\mathbb{C}})$的拓扑同构，后者由在实轴上$L^2$-可积且具有指数型$R$的整函数构成。
• 作者证明了对$f \in L^p_{R}({\mathbb{R}}, w_k(x)dx)$，有$\limsup_{n \to \infty} \|T_k^n f\|_{k,p}^{1/n} \leq R + \varepsilon$，该结果通过导数的增长刻画了变换的支集。
• 该方法给出了比以往更短的$L^p$-Paley–Wiener定理证明，且当$k=0$时，其证明为经典傅里叶变换Paley–Wiener定理提供了更直接的新推导。
• 对于偶函数的情形，结果退化为Hankel变换的已知结果，且该方法原则上可推广至高维对称空间。
• 基于对偶性与卷积估计的证明技术，被认为可推广至高维Dunkl变换在不变紧凸集上的情形，尽管该结论尚未被证明。