[论文解读] The Paley-Wiener Theorem and the Local Huygens' Principle for Compact Symmetric Spaces

Thomas Branson, Gestur Ólafsson+1 more|ArXiv.org|Nov 17, 2004

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

一句话总结

本文为所有根重数均为偶数的紧致型紧致对称空间建立了Paley-Wiener定理，通过其球面傅里叶变换的全纯延拓性与指数型，刻画了$K$-不变函数的小紧支集。本文提供了三种独立证明，适用于该类中奇维空间上的波动方程的强Huygens原理，利用积分表示与移位算子，将问题约化为欧氏调和分析。

ABSTRACT

We prove a Paley-Wiener Theorem for a class of symmetric spaces of the compact type, in which all root multiplicities are even. This theorem characterizes functions of small support in terms of holomorphic extendability and exponential type of their (discrete) Fourier transforms. We also provide three independent new proofs of the strong Huygens' principle for a suitable constant shift of the wave equation on odd-dimensional spaces from our class.

研究动机与目标

• 将经典的Paley-Wiener定理推广至所有根重数为偶数的紧致型紧致对称空间。
• 通过其球面傅里叶变换的全纯延拓性与指数型，刻画此类对称空间上$K$-不变光滑函数的小支集。
• 通过多种独立证明，建立该类中奇维对称空间上波动方程的强Huygens原理。
• 利用球函数的全纯延拓及其与非紧致对偶的关系，将调和分析问题约化为欧氏设定。
• 利用移位算子与球平均算子$M^r f$，推导出这些空间上修正波动方程解的显式积分公式。

提出的方法

• 利用具有偶数重数的紧致对称空间上球函数可全纯延拓至复化对称空间，并在非紧致对偶$G/K$上限制为球函数的事实。
• 在极大阿贝尔子代数$\mathfrak{b}$的李代数上应用经典Paley-Wiener定理，以刻画小支集函数的傅里叶变换。
• 采用移位算子——Opdam算子的适当倍数——其为具有全纯系数的微分算子，从而能以指数函数形式显式表示球函数。
• 通过这些移位算子与紧致-非紧致对称空间之间的对偶性，将紧致对称空间上的调和分析问题约化为欧氏调和分析。
• 利用已知的欧氏波动方程公式与球平均算子$M^r f$，推导出修正波动方程柯西问题的显式解。
• 在复分析中使用路径卷绕变形，移动逆球面傅里叶变换中的积分路径，从而实现指数衰减估计与支集传播分析。

实验结果

研究问题

• RQ1 Paley-Wiener定理如何推广至根重数为偶数的紧致对称空间？
• RQ2 球面傅里叶变换在何种条件下可刻画此类对称空间上$K$-不变函数的小支集？
• RQ3 在根重数为偶数的奇维紧致对称空间上，波动方程的强Huygens原理是否成立？
• RQ4 是否可使用多种独立方法（包括积分表示与指数衰减估计）证明Huygens原理？
• RQ5 在何种程度上，通过移位算子与对偶性，可将紧致型对称空间上的调和分析约化为欧氏调和分析？

主要发现

• 为所有根重数为偶数的紧致型紧致对称空间建立了Paley-Wiener定理，通过其球面傅里叶变换的全纯延拓性与指数型，刻画了$K$-不变函数的小支集。
• 支集包含在半径$R$球内的$K$-不变函数的球面傅里叶变换，可全纯延拓至复化对偶空间中的半径$R$管域。
• 针对该类中奇维对称空间，给出了强Huygens原理的三种独立证明：一种基于指数衰减估计，一种基于逆变换中的路径移动，一种基于显式解公式。
• 当$\dim U/K$为奇数时，修正波动方程在$U/K$上满足局部强Huygens原理，波前以精确速度1传播，在$t > R$处的前光锥内部完全消失。
• 利用球平均算子与微分算子$D$，推导出波动方程的显式解公式，适用于奇数与偶数秩，其闭式表达式涉及$r^{n-2}(M^r f)(X)$的导数或积分。
• 解$u(b,t)$的支集包含于$\varepsilon$-壳层$S_\varepsilon = \{ (x,t) \mid t - d(x,x_0) - \varepsilon > 0 \}$中，确认了有限传播与尖锐波前。