[논문 리뷰] On harmonic analysis of spherical convolutions on semisimple Lie groups

Olufemi O. Oyadare|arXiv (Cornell University)|2017. 06. 21.

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

한 줄 요약

이 논문은 중심이 유한한 연결된 단순 리 군 위에서 Harish-Chandra 변환의 일반화로 구면 조화 분석에서의 역할을 새롭게 한 플랑커엘 공식을 통해 구면 컨볼루션을 도입한다. 주요 기여는 $ L^2(G//K) $ 와 $ L^2(\frak{F}^1, d\tilde{u}_{x,\nu})^\mathfrak{w} $ 사이의 유니터리 동형사상으로, 구체적으로 계산된 플랑커엘 측도는 Harish-Chandra $ c $-함수와 구면 푸리에 변환을 포함한다.

ABSTRACT

This paper contains a non-trivial generalization of the Harish-Chandra transforms on a connected semisimple Lie group $G,$ with finite center, into what we term spherical convolutions. Among other results we show that its integral over the collection of bounded spherical functions at the identity element $e \in G$ is a weighted Fourier transforms of the Abel transform at $0.$ Being a function on $G,$ the restriction of this integral of its spherical Fourier transforms to the positive-definite spherical functions is then shown to be (the non-zero constant multiple of) a positive-definite distribution on $G,$ which is tempered and invariant on $G=SL(2,\mathbb{R}).$ These results suggest the consideration of a calculus on the Schwartz algebras of spherical functions. The Plancherel measure of the spherical convolutions is also explicitly computed.

연구 동기 및 목표

• 단순 리 군 위에서 새로운 종류의 함수인 구면 컨볼루션을 통해 Harish-Chandra 변환을 일반화한다.
• 구면 푸리에 변환의 공간 위의 가중 $ L^2 $-공간과 $ L^2(G//K) $ 사이의 유니터리 동형사상을 확립한다.
• Harish-Chandra $ c $-함수와 구면 푸리에 변환의 형태로 구면 컨볼루션의 플랑커엘 측도를 명시적으로 계산한다.
• 특히 $ G = SL(2,\mathbb{R}) $ 인 경우에 구면 컨볼루션과 온도가 유지되는 분포, $ G $-불변 분포 간의 관계를 탐구한다.
• 구면 함수의 슈와츠 대수 위에서 슈와츠 정리와 플랑커엘 이론을 사용한 미적분학의 기초를 다진다.

제안 방법

• 구면 컨볼루션을 $ \mathcal{H}_{x,\lambda}f = (f * \varphi_\lambda)(x) $ 로 정의하며, $ f \in \mathcal{C}^p(G//K) $ 이고 $ \varphi_\lambda $ 는 구면 함수임을 가정한다.
• 구면 푸리에 변환 $ \widehat{f}(\lambda) = \int_A f(a) e^{\lambda(\log a)} da $ 를 사용하여 $ f $ 와 그 변환 $ \frak{F}^1 $, 즉 기본 구면 함수의 공간 위에서의 관계를 설정한다.
• 측도 $ d\zeta_{x,\lambda}(\nu) = |\widehat{\varphi_\lambda}(\nu)|^{-2} d\mu(\lambda) $ 를 통해 플랑커엘 공식을 수립하며, 이는 구면 보흐너 측도를 정규화한 것이다.
• 기존의 플랑커엘 이론과 $ \widehat{\varphi_\lambda} $ 의 성질을 이용하여, $ f \mapsto \widehat{\mathcal{H}_{x,\lambda}f} $ 가 $ L^2(G//K) $ 에서 $ L^2(\frak{F}^1, d\zeta_{x,\lambda})^\mathfrak{w} $ 로의 유니터리 동형사상임을 증명한다.
• 플랑커엘 측도를 $ d\zeta_{x,\lambda}(\nu) = |\mathfrak{w}|^{-1} |\widehat{\varphi_\lambda}(\nu)|^{-2} |c(\lambda)|^{-2} d\mu(\lambda) $ 로 명시적으로 계산하며, 여기서 $ c(\lambda) $ 는 Harish-Chandra $ c $-함수이다.
• Weyl 군의 불변성과 $ G = KAN $, $ G = K \cdot \overline{A^+} \cdot K $ 의 구조를 이용하여, $ x = e $ 와 $ \lambda = 0 $ 에서 컨볼루션의 행동을 분석한다.

실험 결과

연구 질문

• RQ1 어떻게 단순 리 군 위에서 Harish-Chandra 변환을 더 넓은 함수의 범주로 일반화할 수 있는가?
• RQ2 구면 컨볼루션 $ \mathcal{H}_{x,\lambda}f $ 는 $ G $ 위의 함수로서 어떤 구조를 가지며, 구면 푸리에 변환과 어떻게 관련되어 있는가?
• RQ3 구면 컨볼루션의 플랑커엘 측도가 고전적 $ G $ 위의 플랑커엘 측도로 줄어드는 조건은 무엇인가?
• RQ4 구면 컨볼루션의 정확한 형태는 $ d\zeta_{x,\lambda}(\nu) $ 인가, 그리고 이는 $ c $-함수와 구면 푸리에 변환에 어떻게 의존하는가?
• RQ5 항등원 $ x = e $ 에서 구면 컨볼루션은 어떻게 행동하며, 이는 아벨 변환과 $ \Xi $-함수와의 관계에 대해 어떤 함의를 갖는가?

주요 결과

• 구면 컨볼루션 $ \mathcal{H}_{x,\lambda}f $ 는 $ \mathcal{P} $ 에서 잘 정의되어 있으며, Weyl 군에 대해 불변이며, 그 구면 푸리에 변환의 적분은 $ T[\varphi_\lambda] $ 의 양수 정의 분포인 $ T $ 의 비영인 상수배가 된다.
• 구면 푸리에 변환의 $ \mathcal{P} $ 에 대한 적분은 $ SL(2,\mathbb{R}) $ 에서 양수 정의, 온도가 유지되며 $ G $-불변인 분포임을 보였다.
• 구면 컨볼루션의 플랑커엘 공식은 $ \int_G |f(y)|^2 dy = \int_{\frak{F}^1} |\widehat{\mathcal{H}_{x,\lambda}f}(\nu)|^2 d\zeta_{x,\lambda}(\nu) $ 로 설정되며, $ d\zeta_{x,\lambda}(\nu) = \big|\widehat{\varphi_\lambda}(\nu)\big|^{-2} d\mu(\lambda) $ 이다.
• 구면 컨볼루션의 플랑커엘 측도는 $ d\zeta_{x,\lambda}(\nu) = |\mathfrak{w}|^{-1} \big|\widehat{\varphi_\lambda}(\nu)\big|^{-2} \big|c(\lambda)\big|^{-2} d\mu(\lambda) $ 로 명시적으로 계산되었으며, 이는 Harish-Chandra $ c $-함수와 연결되어 있다.
• $ x = e $ 에서 구면 컨볼루션은 $ \mathcal{H}_{e,\lambda}f = \widehat{f}(\lambda) $ 로 줄어들며, 고전적 구면 푸리에 변환을 복원하고 새로운 프레임워크가 기존 조화 분석과의 연결 고리를 형성한다.
• 구면 컨볼루션 변환의 역은 파동 팩터 공식 $ (\mathcal{H}_{x,\lambda}f)^{-1}(b)(y) = \int_{\frak{F}^1} b(\lambda) \varphi_\lambda(y) d\zeta_{x,\lambda}(\nu) $ 로 주어지며, 이는 $ L^2 $ 에서 정규화된 정확한 웨이브 팩터이다.