[논문 리뷰] Resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds I: Resolvent construction at high energy

Xi Chen, Andrew Hassell|arXiv (Cornell University)|2014. 10. 25.

Advanced Mathematical Physics Problems참고 문헌 14인용 수 5

한 줄 요약

이 논문은 반학습적 라그랑주 분포와 교차 라그랑주 분포를 사용하여 비잡힌 비정상적으로 초구형 매니폴드에 대한 고에너지 해석함수를 구성한다. 이는 Mazzeo-Melrose의 $0$-계산법과 결합되며, Melrose, Sá Barreto, Vasy의 이전 결과를 일반화한다. 고에너지 해석함수의 파라메트릭스를 석학습적 연산자 $P_h = h^2\Delta - h^2 n^2/4 - 1$에 대해 수립하고, 교차 라그랑주 부분다양체 위에서 해밀턴 흐름을 따라 기호 전파를 통해 $O(h^\infty)$ 모듈로 해의 존재성을 증명한다.

ABSTRACT

This is the first in a series of papers in which we investigate the resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds with applications to the restriction theorem, spectral multiplier results and Strichartz estimates. In this first paper, we use semiclassical Lagrangian distributions and semiclassical intersecting Lagrangian distributions, along with Mazzeo-Melrose 0-calculus, to construct the high energy resolvent on general non- trapping asymptotically hyperbolic manifolds, generalizing the work due to Melrose, Sa Barreto and Vasy. We note that there is an independent work by Y. Wang which also constructs the high-energy resolvent.

연구 동기 및 목표

• 고에너지 해석함수의 구성 기법을 초구형 메트릭에 가까운 경우를 초월하여 일반적인 비잡힌 비정상적으로 초구형 매니폴드로 확장한다.
• 반학습적 방법, 특히 라그랑주 분포와 $0$-계산법을 적용하여 고에너지에서의 해석함수의 구조를 분석한다.
• Melrose, Sá Barreto, Vasy의 결과를 더 넓은 범위의 비정상적으로 초구형 메트릭 클래스에서 일반화한다.
• 교차 라그랑주 쌍 위에서 기호 전파를 통해 석학습적 연산자 $P_h = h^2\Delta - h^2 n^2/4 - 1$에 대한 파라메트릭스를 수립한다.
• 이러한 매니폴드에서 스펙트럼 다중연산자, 제한 정리, Strichartz 추정에 대한 후속 연구를 위한 기반을 마련한다.

제안 방법

• 해석함수 방정식을 $P_h A_h = \mathrm{Id}$ 형태로 재구성하기 위해 반학습적 매개수 $h = \lambda^{-1}$를 사용한다. 여기서 $P_h = h^2\Delta - h^2 n^2/4 - 1$이며, 이를 통해 미세국소 분석이 가능해진다.
• Mazzeo-Melrose의 $0$-계산법을 적용하여 해석함수 커널이 $\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$에 속한다고 기술한다. 여기서 $\zeta = n/2 - i\lambda$이다.
• 반학습적 라그랑주 분포와 교차 라그랑주 분포를 사용하여 해석함수 커널의 특이성을 모델링한다.
• 매장된 교차 라그랑주 쌍 $(\Lambda_0, \Lambda_1)$을 따라 기호적으로 해를 구함으로써 $P_h$에 대한 파라메트릭스를 구성한다. 여기서 $\Lambda_1$는 $\Lambda_0 \cap \Sigma(P)$에 대한 $H_p$에 의한 전진 흐름이다.
• $\Lambda_1$ 위에서 파라메트릭스의 기호에 대한 일阶 미분방정식을 풀며, 초기 조건은 $\partial\Lambda_1$에서 제약 사상 $R(p^{-1}\sigma(F))$에 의해 결정되어 유일성을 보장한다.
• 기호 계산법과 $H_p$에 沿한 리 미분을 이용하여 반복 절차를 통해 형식적 해 $U = \sum U_j$를 구성한다. 이는 $F - P U = O(h^\infty)$를 만족한다.

실험 결과

연구 질문

• RQ1 비잡힌 비정상적으로 초구형 매니폴드에서 고에너지 해석함수는 초구형 메트릭에 대한 변형을 초월하여 어떻게 구성할 수 있는가?
• RQ2 고에너지 근처에서 해석함수 커널의 미세국소적 구조는 무엇이며, 라그랑주 분포를 통해 어떻게 기술할 수 있는가?
• RQ3 비잡힘 조건, $\Lambda_1$에서 컴팩트 지지를 가진 이중특성선이 존재하지 않음, $H_p$가 $\Lambda_0$에 비틀어지지 않음 등의 기하학적 조건이 파라메트릭스의 존재를 어떻게 보장하는가?
• RQ4 $0$-계산법은 0-블로운 듀얼 스페이스의 경계면에서 해석함수의 특이성을 어떻게 기술하는가?
• RQ5 교차 라그랑주 쌍에서 리 미분 $\mathcal{L}_{H_p}$와 하위주요 기호 $s$를 통해 파라메트릭스의 기호 전파를 어떻게 제어할 수 있는가?

주요 결과

• 비잡힌 비정상적으로 초구형 매니폴드에 대한 고에너지 해석함수는 반학습적 방법을 사용하여 구성되었으며, 이는 이전 결과를 더 넓은 메트릭 클래스로 일반화한다.
• 해석함수 커널은 공간 $\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$에 속하며, $\zeta = n/2 - i\lambda$임을 확인하여 기대되는 특이성 구조를 지닌다.
• 교차 라그랑주 분포를 사용하여 석학습적 연산자 $P_h = h^2\Delta - h^2 n^2/4 - 1$에 대한 파라메트릭스를 $O(h^\infty)$ 모듈로 구성하였다.
• 파라메트릭스의 기호는 $\frac{h}{i}\mathcal{L}_{H_p}(\sigma(U_0)) + s\sigma(U_0) = 0$에 의해 지배되는 일阶 미분방정식을 $\Lambda_1$ 위에서 만족하며, 기하학적 가정으로 인해 유일한 해를 가진다.
• 이 구성은 반복적이고 기호적인 방법이며, 각 단계가 주요 및 하위주요 기호에 의해 제어되며, $F - P U = O(h^\infty)$를 만족하는 해 $U$를 도출한다.
• 이 방법은 모든 비잡힌 비정상적으로 초구형 매니폴드에 동일하게 적용 가능하며, 스펙트럼 이론과 산산산산 추정에 대한 기초를 제공한다.