[논문 리뷰] Schwartz functions, tempered distributions, and Kernel Theorem on solvable Lie groups

Emilie David-Guillou|arXiv (Cornell University)|2010. 02. 10.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 3

한 줄 요약

이 논문은 연결되고 단순연결된 가환 리 군 $G$ 위의 매끄럽고 빠르게 감쇠하는 함수들의 일반화된 스웨르츠 공간 $\nabla_{\text{σ}}(G)$를 도입한다. 이 공간은 가중 함수 $\nabla$를 통해 군의 기하학을 통합하며, 이 공간에 대한 분포 이론을 수립하고, 비유클리드적인 스웨르츠 커널 정리의 일반화를 증명한다. 이는 $\nabla_{\text{σ}_1}(G_1)$에서 $\nabla_{\text{σ}_2}(G_2)$의 쌍대공간으로의 연속적 선형 사상이 $G_1 \times G_2$ 위의 유일한 분포에 의해 표현됨을 보이며, 고전적 결과를 가환 리 군으로 확장한다.

ABSTRACT

Let G be a solvable Lie group endowed with right Haar measure. We define and study a dense Frechet *-subalgebra S of L1(G), consisting of smooth functions rapidly-decreasing at infinity on G. When G is nilpotent, we recover the classical Schwartz algebra introduced by R. Howe and other authors. We develop a distribution theory for S, and we generalize the classical Kernel Theorem of L. Schwartz to our setting.

연구 동기 및 목표

• 연결되고 단순연결된 가환 리 군 $G$에 대해 $L^1(G)$의 밀도가 있는 프레셰 $^\ast$-부분대수 $\mathcal{S}_{\sigma}(G)$를 정의하여 고전적 스웨르츠 공간을 일반화한다.
• 함수 공간 $\mathcal{S}_{\sigma}(G)$ 위에서 분포 이론을 개발하고, 느리게 증가하는 함수와 그 도함수들을 통해 그 쌍대공간이 온화한 분포의 공간임을 규명한다.
• 고전적 스웨르츠 커널 정리를 가환 리 군의 맥락으로 일반화하여, 연속적 선형 사상 공간과 곱군 위의 분포 공간 사이의 위상적 동형사상을 확립한다.
• 특정 계열의 가환 리 군, 즉 지수적 가환 군과 노름군에 대해 $\mathcal{S}_{\sigma}(G)$의 명시적 기술을 제공한다.
• 곱군 $G_1 \times G_2$ 위의 빠르게 감쇠하는 함수 공간이 개별 대수 $\mathcal{S}_{\sigma_1}(G_1)$와 $\mathcal{S}_{\sigma_2}(G_2)$의 완비화된 프로젝티브 텐서곱임을 보인다.

제안 방법

• 가환 리 군의 기하학적 성장, 특히 비노름 가환 군에서의 지수적 부피 성장과 관련된 가중 함수 $\sigma$를 정의한다.
• $\mathcal{S}_{\sigma}(G)$를 $G$ 위의 매끄러운 함수 $\phi$의 공간으로 정의하며, 모든 $k \in \mathbb{N}$와 다중지표 $\alpha$에 대해 $\|\sigma^k X^\alpha \phi\|_{L^\infty(G)} < \infty$임을 만족한다. 여기서 $X^\alpha$는 좌이항 벡터장이다.
• 가중 함수 $\sigma$와 도함수로부터 유도된 가산 개의 반노름을 통해 $\mathcal{S}_{\sigma}(G)$에 프레셰 위상을 부여한다.
• $\mathcal{S}_{\sigma}(G)$가 $L^1(G)$의 밀도가 있는 $^\ast$-부분대수이자 $C_0^\infty(G)$의 밀도가 있는 $^\ast$-부분공간임을 증명한다.
• $\mathcal{S}_{\sigma}^\prime(G)$의 쌍대공간을 느리게 증가하는 함수와 그 도함수들의 유한선형조합의 공간으로 특성화한다.
• 프로젝티브 텐서곱 위상과 공간의 핵심성 덕분에 $\mathcal{S}_{\sigma}^\prime(G_1 \times G_2) \cong \mathcal{S}_{\sigma_1}^\prime(G_1) \widehat{\otimes} \mathcal{S}_{\sigma_2}^\prime(G_2)$의 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 지수 함수가 빠르게 감쇠하는 함수의 적분성을 유지하지 못하는 비노름 가환 리 군에서 고전적 스웨르츠 공간 $\mathcal{S}(G)$를 어떻게 일반화할 수 있는가?
• RQ2 함수 공간에 포함시켜야 할 가환 리 군의 기하학적 구조는 무엇이어야 하며, 이는 함수와 그 도함수의 빠른 감쇠성과 적분 가능성의 유지에 기여하는가?
• RQ3 고전적 스웨르츠 커널 정리는 가환 리 군으로 확장될 수 있는가? 만약 가능하다면, 어떤 위상적 및 대수적 조건에서 성립하는가?
• RQ4 곱군 $G_1 \times G_2$ 위의 빠르게 감쇠하는 함수 공간은 $G_1$과 $G_2$ 위의 개별 함수 공간의 텐서곱과 어떻게 관련이 있는가?
• RQ5 $\mathcal{S}_{\sigma}(G)$의 쌍대공간의 정확한 구조는 무엇이며, 이는 온화한 분포의 개념을 어떻게 일반화하는가?

주요 결과

• $\mathcal{S}_{\sigma}(G)$는 연결되고 단순연결된 가환 리 군 $G$에 대해 $L^1(G)$의 밀도가 있는 프레셰 $^\ast$-부분대수이며, $C_0^\infty(G)$는 그의 밀도가 있는 $^\ast$-부분대수이다.
• 만약 $G$가 노름군이라면 $\mathcal{S}_{\sigma}(G)$는 고전적 스웨르츠 공간 $\mathcal{S}(G)$와 일치하며, 이 경우 표준 이론이 복원된다.
• $\mathcal{S}_{\sigma}^\prime(G)$의 쌍대공간은 정확히 느리게 증가하는 함수와 그 도함수들의 유한선형조합으로 이루어져 있으며, 온화한 분포의 개념을 일반화한다.
• 곱군 $G_1 \times G_2$에 대해 $\mathcal{S}_{\sigma}(G_1 \times G_2)$는 완비화된 프로젝티브 텐서곱 $\mathcal{S}_{\sigma_1}(G_1) \widehat{\otimes} \mathcal{S}_{\sigma_2}(G_2)$와 자연스럽게 동형이며, 핵심성 덕분에 프로젝티브 위상과 $\epsilon$-위상이 일치한다.
• 일반화된 커널 정리가 성립한다: 위상적 동형사상 $L(\mathcal{S}_{\sigma_1}(G_1), \mathcal{S}_{\sigma_2}^\prime}(G_2)) \cong \mathcal{S}_{\sigma}^\prime(G_1 \times G_2)$ 가 존재하며, 각 연속적 선형 사상은 유일한 분포 커널에 의해 표현된다.
• 이 동형사상은 $\phi \in \mathcal{S}_{\sigma_1}(G_1)$, $\psi \in \mathcal{S}_{\sigma_2}(G_2)$, $\mathcal{K} \in L(\mathcal{S}_{\sigma_1}(G_1), \mathcal{S}_{\sigma_2}^\prime}(G_2))$에 대해 $\langle K, \phi \otimes \psi \rangle = \langle \mathcal{K}\phi, \psi \rangle$ 로 명시적으로 주어진다.