[논문 리뷰] SG-Lagrangian submanifolds and their parametrization

Sandro Coriasco, René Schulz|arXiv (Cornell University)|2014. 06. 07.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 3

한 줄 요약

이 논문은 비유한 공간 위에서 온도 조절된 진동 적분을 위한 기하적 프레임워크를 제시한다. 이를 위해 컴 pact화된 코타angent 번들의 $\mathbb{B}^d \times \mathbb{B}^d$ 의 경계와 모서리로 연장되는 SG-라그랑주 부분다양체를 도입한다. 이 부분다양체들이 $\mathbb{R}^d \times \mathbb{R}^s$ 위에서 비동차적이고 정규적인 위상 함수를 통해 전역적으로 매개화될 수 있음을 증명하며, 무한대에서의 동치 위상 함수의 특성을 규명함으로써 고전적인 푸리에 적분 연산자 이론을 무한대에서의 특이성을 포함하는 방식으로 일반화한다.

ABSTRACT

We continue our study of tempered oscillatory integrals $I_φ(a)$, here investigating the link with a suitable symplectic structure at infinity, which we describe in detail. We prove adapted versions of the classical theorems, which show that tempered distributions of the type $I_φ(a)$ are indeed linked to suitable Lagrangians extending to infinity, that is, extending up to the boundary and in particular the corners of a compactification of $T^*\mathbb{R}^d$ to $\mathbb{B}^d imes\mathbb{B}^d$. In particular, we show that such Lagrangians can always be parametrized by non-homogeneous, regular phase functions, globally defined on some $\mathbb{R}^d imes\mathbb{R}^s$. We also state how two such phase functions parametrizing the same Lagrangian may be considered equivalent up to infinity.

연구 동기 및 목표

• 고전적인 푸리에 적분 연산자 이론을 무한대에서의 특이성을 포함하여 비유한 다양체로 확장하기 위해.
• 컴 pact화된 $T^*\mathbb{R}^d$ 의 경계와 모서리로 연장되는 라그랑주 부분다양체를 정의하고 특성화하기 위해.
• 전체적으로 $\mathbb{R}^d \times \mathbb{R}^s$ 위에서 비동차적이고 정규적인 위상 함수를 사용하여 이러한 라그랑주 부분다양체를 전역적으로 매개화하기 위해.
• 같은 SG-라그랑주 부분다양체를 매개화하는 위상 함수들 간의 동치 관계를 무한대에서 정의하기 위해.
• 성장과 진동 행동을 보이는 PDE의 전역 분석을 가능하게 하는, 온도 조절된 진동 적분을 위한 기하적 기초를 마련하기 위해.

제안 방법

• 컴 pact화된 코타angent 번들 $\mathbb{B}^d \times \mathbb{B}^d$ 에서 무한대에 대한 심플렉틱 구조를 $\mathrm{SG}$-계산법을 이용해 정의함으로써, $T^*\mathbb{R}^d \setminus \{0\}$ 에서의 고전적인 심플렉틱 형식을 연장한다.
• 컴 pact화의 경계와 모서리로 부드럽게 연장되는 $\mathrm{SG}$-라그랑주 부분다양체를 콘형 라그랑주 부분다양체로서 $\mathcal{W}_{\mathrm{SG}}$ 내에서 정의한다.
• 모서리가 있는 다양체 위의 은둔함수 정리(implicit function theorem)를 적용하여, 매끄럽고 정규적이지만 반드시 동차적이지 않은 위상 함수 $\varphi(x,\theta)$ 를 통해 $\mathrm{SG}$-라그랑주 부분다양체의 국소적 매개화를 구성한다.
• 모든 $\mathrm{SG}$-라그랑주 부분다양체가 $\mathbb{R}^d \times \mathbb{R}^s$ 위에서 정의된 비동차적이고 정규적인 위상 함수 $\varphi$ 에 대해 정적 위상 집합 $\Lambda_\varphi = \{(x, \nabla_x \varphi(x,\theta)) \mid \nabla_\theta \varphi(x,\theta) = 0\}$ 으로 나타남을 보여주는 전역적 매개화 정리를 도출한다.
• 특정 관계를 통해 무한대에서의 동치를 정의함으로써, 동일한 SG-라그랑주 부분다양체를 매개화하는 위상 함수들 간의 동치를 일반화한 고전적 위상 함수 동치를 $\mathrm{SG}$-환경에서 일반화한다.
• 모서리가 있는 다양체 이론과 깔끔한 부분다양체 이론을 활용하여, 매개화 위상 함수와 그에 대응하는 라그랑주 부분다양체가 컴 pact화된 공간의 경계 구조를 유지함을 보장한다.

실험 결과

연구 질문

• RQ1 고전적인 라그랑주 분포와 푸리에 적분 연산자 이론은 어떻게 비유한 다양체로 확장되어야 하며, 이때 무한대에서의 특이성을 포함할 수 있는가?
• RQ2 컴 pact화된 코타angent 번들 $\mathbb{B}^d \times \mathbb{B}^d$ 의 경계와 모서리로 연장되는 라그랑주 부분다양체의 기하적 구조는 어떠한가?
• RQ3 모든 이러한 연장된 라그랑주 부분다양체는 $\mathbb{R}^d \times \mathbb{R}^s$ 위에서 비동차적이고 정규적인 위상 함수로 전역적으로 매개화될 수 있는가?
• RQ4 같은 $\mathrm{SG}$-라그랑주 부분다양체를 생성하는 두 위상 함수 간의 동치 관계를 정의하는 조건은 무엇인가?
• RQ5 $\mathrm{SG}$-계산법은 국소적 및 무한대에서의 특이성을 모두 포함하는 파동 프론트 세트를 어떻게 자연스럽게 제공하는가?

주요 결과

• 모든 $\mathrm{SG}$-라그랑주 부분다양체 $\mathbb{B}^d \times \mathbb{B}^d$ 는 어떤 $s \geq d$ 에 대해 $\mathbb{R}^d \times \mathbb{R}^s$ 위에 전역적으로 정의된 비동차적이고 정규적인 위상 함수 $\varphi$ 의 정적 위상 집합 $\Lambda_\varphi$ 로 나타난다.
• 매개화는 전역적으로 유효하며 컴 pact화된 공간의 경계와 모서리의 구조를 유지하므로, 라그랑주 부분다양체가 경계로 부드럽게 연장됨을 보장한다.
• 두 위상 함수 $\varphi_1$ 과 $\varphi_2$ 가 같은 $\mathrm{SG}$-라그랑주 부분다양체를 매개화할 때이고, 그들의 차이가 무한대에서 특정 점근적 조건을 만족할 때에만 무한대에서 동치이다.
• 온도 조절된 진동 적분 $I_\varphi(a)$ 의 파동 프론트 세트는 $\mathrm{SG}$-라그랑주 부분다양체 $\Lambda_\varphi$ 와 정확히 일치하며, 이는 헤르망더의 고전적 결과를 무한대에서의 특이성을 포함하는 방식으로 일반화한다.
• 이 이론은 켈린-고든 이론에서의 두점 함수와 같이 $\mathrm{SG}$-환경에서 레그랑주 또는 라그랑주 분포를 가진 커널을 가진 연산자의 분석을 위한 기하적 기초를 제공한다.
• 이 프레임워크는 비유한 환경으로의 푸리에 적분 연산자 합성 계산법의 전역적 확장을 가능하게 하며, 특이성의 전파가 이제 무한대에서의 행동까지 포함된다.