[논문 리뷰] Fourier Integral Operators of Boutet de Monvel Type

Ubertino Battisti, Sandro Coriasco외 1명|arXiv (Cornell University)|2014. 07. 10.

Geometry and complex manifolds참고 문헌 18인용 수 3

한 줄 요약

이 논문은 경계를 가진 컴acts한 다성분에서, 섬유에서 1차로 동차이고 전송 조건을 만족하는 경계를 유지하는 심플렉틱 동형사상과 관련된, 뵈티 드 몽벨 유형의 새로운 푸리에 적분 연산자 클래스를 도입한다. 전체 계산법을 수립하고, 에고로프 유형 정리를 증명하며, 프레드홀름 성질을 유도하는 타당성의 정의를 내리고, 심플렉틱 동형사상과 마스лов 번들의 단면으로부터 프레드홀름 연산자를 구성하며, 차원 Y > 2 이거나 마스톨 번들이 자명할 경우 그 인덱스가 심플렉틱 동형사상의 불변량임을 보여준다.

ABSTRACT

Given two compact manifolds $X,Y,$ with boundary and a boundary preserving symplectomorphism $χ:T^*Y\setminus0 o T^*X\setminus0$, which is one-homogeneous in the fibers and satisfies the transmission condition, we introduce Fourier integral operators of Boutet de Monvel type associated with $χ$. We study their mapping properties between Sobolev spaces, develop a calculus and prove a Egorov type theorem. We also introduce a notion of ellipticity which implies the Fredholm property. Finally, we show how -- in the spirit of a classical construction by A. Weinstein -- a Fredholm operator of this type can be associated with $χ$ and a section of the Maslov bundle. If $\dim Y>2$ or the Maslov bundle is trivial, the index is independent of the section and thus an invariant of the symplectomorphism.

연구 동기 및 목표

• 경계를 가진 컴팩트 다성분에서 뵈티 드 몽벨의 미분연산자 계산법을 일반화하는 푸리에 적분 연산자 계산법을 개발하는 것.
• 이 연산자들이 소볼레프 공간 간의 사상 성질을 수립하는 것.
• 프레드홀름 성질을 유도하는 타당성의 개념을 정의하는 것.
• 경계를 유지하는 심플렉틱 동형사상과 마스톨 번들의 단면으로부터 프레드홀름 연산자를 구성하는 것.
• 차원 Y > 2 이거나 마스톨 번지가 자명할 경우, 이 연산자의 인덱스가 심플렉틱 동형사상의 불변량임을 보이는 것.

제안 방법

• 연산자는 $ r^+ A^ ho e^+ $ 형태의 잘라낸 FIO로 정의되며, 여기서 $ A^ ho $ 는 심플렉틱 동형사상 $ \rho $ 와 관련된 FIO이고, $ r^+, e^+ $ 는 제한 및 영으로 확장하는 연산자이다.
• 구성은 $ S^m(\mathbb{R}^{n-1}, \mathbb{R}^{n-1}; \mathscr{S}(\mathbb{R}_+), \mathscr{S}(\mathbb{R}_+)) $ 에 속하는 연산자 값 기호를 사용하며, $ \rho $ 와 그 경계로의 올림을 나타내는 위상 함수를 사용한다.
• 각 $ \rho $ 의 성분에 대해 전송 조건을 도입하여, $ C^\infty(Y) $ 에서 $ C^\infty(X) $ 로, 그리고 $ C^\infty(X) $ 에서 $ C^\infty(Y) $ 로의 연속성을 확보한다.
• 기호의 점근 전개를 이용한 연산자 값 미분연산자 계산법을 사용하여 계산법을 개발하며, 조합 규칙을 수립한다.
• 에고로프 유형 정리를 증명하여, FIO에 의한 연산자의 공역이 심플렉틱 동형사상의 기호 클래스에 대한 작용을 유지함을 보였다.
• 타당성의 개념을 통해 프레드홀름 성질을 확립하고, 인덱스를 마스톨 번들의 단면을 통해 연결하며, 특정 조건 하에서 위상 불변성을 확보한다.

실험 결과

연구 질문

• RQ1 섬유에서 1차로 동차이고 전송 조건을 만족하는 경계를 유지하는 심플렉틱 동형사상에 대해, 뵈티 드 몽벨 유형의 푸리에 적분 연산자 계산법을 개발할 수 있는가?
• RQ2 제안된 연산자 클래스는 전체 계산법을 포함하는가? 이는 에고로프 유형 정리와 소볼레프 공간에서의 사상 성질을 포함하는가?
• RQ3 이 연산자들에 대해 타당성의 개념을 정의할 수 있으며, 이는 프레드홀름 성질을 유도하는가?
• RQ4 주어진 심플렉틱 동형사상과 마스톨 번들의 단면으로부터 자연스럽게 프레드홀름 연산자를 연결할 수 있는가?
• RQ5 차원 Y > 2 이거나 마스톨 번지가 자명할 경우, 이러한 프레드홀름 연산자의 인덱스는 단면의 선택에 독립적인가?

주요 결과

• 심플렉틱 동형사상 $ \rho $ 가 전송 조건을 만족할 경우, 잘라낸 FIO $ r^+ A^\rho e^+ $ 는 $ C^\frown(Y) $ 에서 $ C^\frown(X) $ 로 연속적이다.
• 연산자 $ r^+ A^\rho e^+ $ 는 $ S^m(\mathbb{R}^{n-1}, \mathbb{R}^{n-1}; \mathscr{S}(\mathbb{R}_+), \mathscr{S}(\mathbb{R}_+)) $ 에 속하는 연산자 값 기호로 나타내지며, 이는 미분연산자 계산법의 적용을 가능하게 한다.
• 완전한 계산법이 개발되었으며, 조합 및 수반 공식이 포함되어 있으며, 기호의 점근 전개는 $ a(y,\eta) \sim \sum_\alpha \frac{1}{\alpha!} \partial_\eta^\alpha a_1(y,\eta) D^\alpha_y a_2(y,\eta) $ 로 주어진다.
• 에고로프 유형 정리가 증명되었으며, FIO에 의한 공역이 주어진 심플렉틱 동형사상의 작용을 통해 주된 기호를 유지함을 보였다.
• 타당성은 주된 기호의 가역성에 의해 정의되며, 이는 관련된 연산자의 프레드홀름 성질을 유도한다.
• 차원 Y > 2 이거나 마스톨 번지가 자명할 경우, 구성된 프레드홀름 연산자의 인덱스는 마스톨 번지의 단면 선택에 독립적이며, 따라서 심플렉틱 동형사상 $ \rho $ 의 불변량이 된다.