[論文レビュー] Fourier transforms of spherical distributions on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|ArXiv.org|Oct 1, 2008

Advanced Algebra and Geometry参考文献 26被引用数 3

ひとこと要約

この論文は、コンパクトな対称空間 $M = U/K$ 上の $K$-不変分布へPaley-Wiener定理を拡張し、その分布のフーリエ変換が、$\mathfrak{a}_{\mathbb{C}}^*$ 上の指数型の整関数に拡張されることを証明している。その成長率は、サポートの半径と一致する。フーリエ変換の像はPaley-Wiener空間として特徴付けられ、特異的台は変換の減衰性と関連づけられ、滑らかな関数から分布への一般化がなされている。

ABSTRACT

In our previous articles "A local Paley-Wiener theorem for compact symmetric spaces", Adv. Math. 218 (2008), 202--215, and "Fourier series on compact symmetric spaces" (submitted) we studied Fourier series on a compact symmetric space M=U/K. In particular, we proved a Paley-Wiener type theorem for the smooth functions on M, which have sufficiently small support and are K-invariant, respectively K-finite. In this article we extend those results to K-invariant distributions on M. We show that the Fourier transform of a distribution, which is supported in a sufficiently small ball around the base point, extends to a holomorphic function of exponential type. We describe the image of the Fourier transform in the space of holomorphic functions. We characterize the singular support of a distribution in terms of its Fourier transform. Finally, we use the Paley-Wiener theorem to characterize the distributions of small support, which are in the range of a given invariant differential operator.

研究の動機と目的

• コンパクトな対称空間 $M = U/K$ 上の $K$-不変滑らかな関数から $K$-不変分布へのPaley-Wiener定理の一般化を図ること。
• このような分布のフーリエ変換の像を、指数型の整関数として特徴付けること。
• $K$-不変分布の特異的台を、そのフーリエ変換の減衰性と関連づけ、滑らかな場合の結果を拡張すること。
• 与えられた不変微分作用素の像に属する、小規模なサポートを持つ分布の特徴づけを確立すること。

提案手法

• 非コンパクト部の最大アーベル部分空間 $\mathfrak{a}$ に対応する $\mathfrak{a}_{\mathbb{C}}^*$ 上の球面フーリエ変換を用いる。
• 先行研究による $K$-不変滑らかな関数の結果（[27] より）を活用し、双対性と解析接続を用いてPaley-Wiener定理を分布へ拡張する。
• サポート半径 $r$ と一致する指数 $r$ を持つ指数型成長推定を満たす、$\mathfrak{a}_{\mathbb{C}}^*$ 上の整関数の空間として、Paley-Wiener空間 $\mathrm{PW}_r^*(\mathfrak{a})$ を定義する。
• Hörmander型推定を用いて、フーリエ変換の減衰性による特異的台の特徴づけを実施し、特に $|\mathrm{Im}(\lambda)|$ に制限を課した下で、$|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$ の形の境界を要求する。
• 被覆空間技術を用いて、半単純群から一般のコンパクト対称空間へ結果を拡張する。関数と分布を被覆空間 $Z_0 \times U'/K'$ へ持ち上げることで、$K$-不変性とフーリエ変換構造を保存する。
• 元の空間とその被覆空間上のフーリエ変換を関連付ける可換図式を確立し、Paley-Wiener空間が保存され、変換が $K$-不変分布上で単射であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな対称空間 $M = U/K$ 上の $K$-不変分布のフーリエ変換は、どのように $\mathfrak{a}_{\mathbb{C}}^*$ 上の整関数へ拡張されるか。その像を特徴付ける成長条件は何か。
• RQ2 $K$-不変分布のサポート半径とそのフーリエ変換の指数型の間には、どのような明確な関係があるか。
• RQ3 $K$-不変分布の特異的台は、そのフーリエ変換の減衰性および成長性をどのように特徴づけられるか。
• RQ4 滑らかな $K$-不変関数に対するPaley-Wiener定理は、コンパクトなサポートを持つ $K$-不変分布の空間へ拡張可能か。
• RQ5 フーリエ変換を用いて、$K$-不変分布上の不変微分作用素の像をどのように特徴づけられるか。

主な発見

• サポートが半径 $r$ の球内にある $K$-不変分布のフーリエ変換は、$\mathfrak{a}_{\mathbb{C}}^*$ 上の指数型の整関数に拡張され、その指数はサポート半径 $r$ と一致する。
• 半径 $r$ の球内にサポートを持つ $K$-不変分布のフーリエ変換の像は、正確にPaley-Wiener空間 $\mathrm{PW}_r^*(\mathfrak{a})$ に一致する。この空間は、すべての $\lambda \in \mathfrak{a}_{\mathbb{C}}^*$ およびすべての $N \in \mathbb{Z}^+$ に対して、$|F(\lambda)| \leq C_N(1+|\lambda|)^{-N}e^{r|\mathrm{Im}(\lambda)|}$ を満たす整関数からなる。
• $K$-不変分布の特異的台が半径 $r$ の閉球に含まれるための必要十分条件は、そのフーリエ変換が、すべての $\lambda$ に対して $|\mathrm{Im}(\lambda)| \leq m \log(1+|\lambda|)$ を満たし、ある $N$ に対して $|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$ を満たすことである。この関係はすべての $m \in \mathbb{Z}^+$ に対して成り立つ。
• 分布的Paley-Wiener定理により、小規模なサポートを持つ $K$-不変分布は、そのフーリエ変換が $\mathrm{PW}_r^*(\mathfrak{a})$ に属するものとして特徴づけられる。このとき指数 $r$ は、サポートを含む最小の閉球の半径に等しい。
• 被覆空間構成により、すべてのコンパクト対称空間へ結果を拡張可能である。$U/K$ は $Z_0 \times U'/K'$ に被覆され、被覆空間でPaley-Wiener定理が成り立つならば、元の空間 $U/K$ に対しても成り立つ。このとき $K$-不変性と変換構造が保存される。
• $\mathrm{PW}_r^*(\mathfrak{a})$ 上のフーリエ変換は $K$-不変分布上で単射であり、この空間に属する関数は、最高ウェイトの集合 $\Lambda^+(U/K)$ への制限によって一意に決定される。