[논문 리뷰] Fourier transforms of spherical distributions on compact symmetric spaces

Gestur Ólafsson, Henrik Schlichtkrull|ArXiv.org|2008. 10. 01.

Advanced Algebra and Geometry참고 문헌 26인용 수 3

한 줄 요약

이 논문은 컴팩트 대칭 공간 $M = U/K$ 상의 $K$-불변 분포에 대해 팔리-위너 정리를 확장하며, 지지 집합의 크기가 작은 분포의 푸리에 변환이 복소수 공간 $\mathfrak{a}_{\mathbb{C}}^*$ 상에서 지수 함수 유형의 해석적 함수로 확장됨을 증명한다. 이 함수의 성장률은 지지 집합 반경과 정확히 일치한다. 푸리에 변환의 상은 팔리-위너 공간으로 특성화되며, 분포의 특이 지지 집합은 변환의 감쇠 조건과 연결되며, 스무스 함수에서의 결과를 분포로 일반화한다.

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$-불변 분포로 일반화한다.
• 이러한 분포의 푸리에 변환의 상을 지수 함수 유형의 해석적 함수 공간으로 특성화한다.
• 분포의 특이 지지 집합을 그 푸리에 변환의 감쇠 성질과 연결함으로써 스무스 경우의 결과를 확장한다.
• 주어진 $K$-불변 미분 연산자의 범위에 속하는 작은 지지 집합을 가진 분포를 특성화한다.

제안 방법

• 비콤팩트 부분의 최대 아벨 부분공간인 $\mathfrak{a}$에 대해 $\mathfrak{a}_{\mathbb{C}}^*$ 상에서 구면 푸리에 변환을 사용한다.
• 이전 연구에서의 $K$-불변 스무스 함수 결과([27])를 활용하여, 쌍대성과 해석적 계속을 통해 팔리-위너 정리를 분포로 확장한다.
• 지지 집합 반경과 일치하는 지수 $r$을 가지는 지수 함수 성장 추정을 만족하는 $\mathfrak{a}_{\mathbb{C}}^*$ 상의 해석적 함수 공간으로 팔리-위너 공간 $\mathrm{PW}_r^*(\mathfrak{a})$를 정의한다.
• 허른더 유형의 추정을 적용하여, 푸리에 변환의 감쇠 조건을 통해 특이 지지 집합을 특성화한다. 특히, $|\mathrm{Im}(\lambda)|$에 대한 특정 성장 제약 조건 하에 $|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$ 형태의 유계성 조건을 요구한다.
• 커버링 공간 기법을 사용하여, 단순한 군에서의 결과를 일반적인 컴팩트 대칭 공간으로 확장한다. 함수와 분포를 커버링 공간 $Z_0 \times U'/K'$로 올리며, $K$-불변성과 푸리에 변환의 구조를 유지한다.
• 원래 공간과 그 커버링 공간 상의 푸리에 변환 간의 가환 다이어그램을 수립하여, 팔리-위너 공간이 유지되고, 변환이 $K$-불변 분포 위에서 단사가 되도록 보장한다.

실험 결과

연구 질문

• RQ1 컴팩트 대칭 공간 $M = U/K$ 상의 $K$-불변 분포의 푸리에 변환은 어떻게 복소수 공간 $\mathfrak{a}_{\mathbb{C}}^*$ 상의 해석적 함수로 확장되며, 그 상을 특성화하는 성장 조건은 무엇인가?
• RQ2 지지 집합 반경이 $r$인 $K$-불변 분포와 그 푸리에 변환의 지수 함수 유형 사이의 정확한 관계는 무엇인가?
• RQ3 특이 지지 집합은 어떻게 그 푸리에 변환의 감쇠 및 성장 특성으로 특성화할 수 있는가?
• RQ4 스무스 $K$-불변 함수에 대한 팔리-위너 정리는 지지 집합이 컴팩트한 $K$-불변 분포 공간으로 확장될 수 있는가?
• RQ5 푸리에 변환을 사용하여 $K$-불변 분포 위에 정의된 불변 미분 연산자의 범위를 어떻게 특성화할 수 있는가?

주요 결과

• 지지 집합이 반경 $r$인 공 내에 있는 $K$-불변 분포의 푸리에 변환은 $\mathfrak{a}_{\mathbb{C}}^*$ 상에서 지수 함수 유형의 해석적 함수로 확장되며, 그 지수는 지지 집합 반경과 정확히 일치한다.
• 지지 집합이 반경 $r$인 공 내에 있는 $K$-불변 분포의 푸리에 변환 상은 정확히 팔리-위너 공간 $\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)|}$ 를 만족하는 해석적 함수로 이루어져 있다.
• 특이 지지 집합이 반경 $r$인 닫힌 공 내에 있을 조건은, 어떤 $N$과 모든 $m \in \mathbb{Z}^+$ 에 대해 $|\mathrm{Im}(\lambda)| \leq m \log(1+|\lambda|)$ 를 만족하는 모든 $\lambda$ 에 대해 $|F(\lambda)| \leq C_m(1+|\lambda|)^N e^{r|\mathrm{Im}(\lambda)|}$ 를 만족하는 푸리에 변환의 성장 조건과 동치이다.
• 분포적 팔리-위너 정리는 지지 집합의 크기가 작은 $K$-불변 분포를 그 푸리에 변환이 $\mathrm{PW}_r^*(\mathfrak{a})$ 에 속할 때로 특성화하며, 이 때 지수 $r$은 지지 집합을 포함하는 가장 작은 닫힌 공의 반경과 일치한다.
• 커버링 공간 구성 기법을 통해 모든 컴팩트 대칭 공간으로 결과를 확장할 수 있다: $U/K$ 는 $Z_0 \times U'/K'$ 에 의해 커버되며, 커버에서 팔리-위너 정리가 성립하면 원래 공간 $U/K$ 에서도 성립한다. 이 과정에서 $K$-불변성과 변환의 구조가 유지된다.
• $\mathrm{PW}_r^*(\mathfrak{a})$ 상의 푸리에 변환은 $K$-불변 분포 위에서 단사이며, 이 공간에 속하는 함수는 최고 무게 집합 $\Lambda^+(U/K)$ 상의 제약 조건으로 유일하게 결정된다.