[논문 리뷰] Radon inversion formulas over local fields

Jonathan Wang|arXiv (Cornell University)|2015. 03. 13.

Mathematical Analysis and Transform Methods참고 문헌 12인용 수 3

한 줄 요약

이 논문은 실수, 복소수, 비아르키메데스 현수체에서의 라돈 변환에 대해 명시적인 역변환 공식을 수립하며, 유계이고 원점에서 멀리 떨어진 지지집합을 가진 $K$-유한 매끄러운 함수 공간 간에 변환이 등급을 유지함을 증명한다. 멜린 변환과 푸리에 분석을 통해 명시적인 역변환 공식을 제공하며, 아르키메데스 경우의 가역성 문제를 해결하고, 체르노프의 공식과 같은 고전적 결과와 연관시킨다.

ABSTRACT

Let $F$ be a local field and $n\ge 2$ an integer. We study the Radon transform as an operator $M : \mathcal C_+ o \mathcal C_-$ from the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ with bounded support to the space of smooth $K$-finite functions on $F^n \setminus \{0\}$ supported away from a neighborhood of $0$. These spaces naturally arise in the theory of automorphic forms. We prove that $M$ is an isomorphism and provide formulas for $M^{-1}$. In the real case, we show that when $K$-finiteness is dropped from the definitions, the analog of $M$ is not surjective.

연구 동기 및 목표

• 지역체 $F$에서 $K$-유한 매끄러운 함수 공간 간에 라돈 변환 $M: \mathcal{C}_+ \to \mathcal{C}_-$의 가역성을 수립하기 위해.
• 비아르키메데스 및 아르키메데스(실수 및 복소수) 경우 모두에서 역연산자 $M^{-1}$에 대한 명시적 공식을 유도하기 위해.
• 새로운 역변환 공식과 고전적 결과(예: 슈바르츠 함수에 대한 체르노프의 공식) 간의 관계를 명확히 하기 위해.
• $K$-유한성 조건을 제거할 경우 $M$이 전사가 아니라는 점을 보여주어, 이 조건이 가역성에 있어 본질적인 역할을 한다는 것을 강조하기 위해.
• 자동형 급수 이론과 자동형 형식 이론에서의 전역 상호연결자(local intertwiners)의 기초를 마련하기 위해, 라돈 변환의 국소적 가역성을 증명하기 위해.

제안 방법

• 라돈 변환 $M$을 $F^n \setminus \{0\}$에서의 $K$-유한 $C^\infty$ 함수 공간 $\mathcal{C}_+$ (유계 지지집합)와 원점의 근방을 제외한 지지집합을 가진 함수 공간 $\mathcal{C}_-$ 사이의 연산자로 정의한다.
• 실수 및 복소수 경우에서, 푸리에 분석과 동차성의 성질을 이용해 라돈 변환을 $\mathbb{R}_{>0}$ 상의 반지름 분포의 멜린 변환과 연결한다.
• 비아르키메데스 현수체의 경우, 덧셈군 위의 푸리에 변환과 연결하고 $p$-진 적분을 통해 명시적인 역변환 공식을 도출한다.
• 분포의 커플링을 이용해 $\mathcal{C}_-$의 각 $K$-형식 성분에서 역연산자 $M^{-1}$가 잘 정의되고 연속적임을 증명한다.
• 기존 적분 공식과 감마 함수 항등식을 사용해 실수 및 복소수 경우의 커널 분포의 멜린 변환을 계산한다.
• 해석적 계속을 통해 수렴 영역 외부의 모든 $s \in \mathbb{C}$에서의 공식의 타당성을 보장하며, 이를 극점이 없는 영역에서 전역적으로 확장한다.

실험 결과

연구 질문

• RQ1 지역체, 특히 실수 및 복소수 경우를 포함하여, 라돈 변환 $M: \mathcal{C}_+ \to \mathcal{C}_-$가 등급을 유지하는가?
• RQ2 비아르키메데스 경우에서 $M^{-1}$에 대한 명시적 역변환 공식을 도출할 수 있으며, 이는 슈바르츠 함수에 대한 체르노프의 공식과 어떻게 관련되는가?
• RQ3 아르키메데스 경우에서 역연산자 $M^{-1}$의 구조는 어떠한가? $K$-유한성 조건은 이 가역성에 어떤 영향을 미치는가?
• RQ4 $K$-유한성 조건을 함수 공간 정의에서 제거할 경우 $M$의 가역성은 어떻게 되는가?
• RQ5 멜린 변환은 실수 및 복소수 설정에서 라돈 변환의 역을 어떻게 특성화할 수 있는가?

주요 결과

• 모든 지역체 $F$, 즉 $\mathbb{R}$, $\mathbb{C}$, 비아르키메데스 현수체에서 라돈 변환 $M: \mathcal{C}_+ \to \mathcal{C}_-$는 등급을 유지한다.
• 비아르키메데스 경우에서, 푸리에 변환 기법을 활용해 $M^{-1}$에 대한 명시적 역변환 공식을 도출하였으며, 이는 $K$-유한성 조건 하에서 체르노프의 공식과 동치임을 보였다.
• 실수 경우에서 $M^{-1}$는 $\mathbb{R}_{>0}$ 상의 분포와의 콘볼루션으로 주어지며, 그 멜린 변환은 명시적으로 $\pi^{n-1}\frac{\Gamma(\frac{s+|p-q|}{2}-n+1)\Gamma(\frac{s-|p-q|}{2}-n+1)}{\Gamma(\frac{s+p+q}{2})\Gamma(\frac{s-p-q}{2}-n+1)}$로 계산된다.
• 복소수 경우에서도 역변환은 반지름 분포의 멜린 변환을 통해 유사하게 특성화되며, 실수 경우와 동일한 함수 형태를 가진다.
• $K$-유한성 조건은 필수적이다. 이 조건을 제거할 경우, $M$의 유사체가 전사가 아니며, 이는 4.7.4조에서 보였다.
• 이 결과들은 에이젠스타인 급수 이론과 자동형 형식 이론에서 전역 상호연결자의 국소적 가역성 기초를 제공하며, [DW]에서 사용된 바가 있다.