[논문 리뷰] Pseudodifferential operators on manifolds with linearization

Cyril Lévy|ArXiv.org|2008. 11. 11.

Advanced Operator Algebra Research참고 문헌 40인용 수 4

한 줄 요약

이 논문은 비유계 다양체에 선형화 구조를 갖춘 경우, 추상적 지수 함수를 사용하여 전역적인 푸리에 변환과 균일하고 감쇠하는 기저 변수에 대한 통제를 갖는 기호 클래스를 정의하는 전역적이고 좌표에 의존하지 않는 가짜미분연산 계산법을 개발한다. 핵심 기여는 기호와 가짜미분연산 사이에 대수적 동형사상을 유도하는 안정적인 $\lambda$-양자화 맵을 제공하는 것으로, 이는 $S_1$-유계 기하학을 통한 쌍곡공간에의 적용을 포함한다.

ABSTRACT

We present in this paper the construction of a pseudodifferential calculus on smooth non-compact manifolds associated to a globally defined and coordinate independant complete symbol calculus, that generalizes the standard pseudodifferential calculus on $\R^n$. We consider the case of manifolds $M$ with linearization in the sense of Bokobza-Haggiag, such that the associated (abstract) exponential map provides global diffeomorphisms of $M$ with $\R^n$ at any point. Cartan--Hadamard manifolds are special cases of such manifolds. The abstract exponential map encodes a notion of infinity on the manifold that allows, modulo some hypothesis of $S_σ$-bounded geometry, to define the Schwartz space of rapidly decaying functions, globally defined Fourier transformation and classes of symbols with uniform and decaying control over the $x$ variable. Given a linearization on the manifold with some properties of control at infinity, we construct symbol maps and $\la$-quantization, explicit Moyal star-product on the cotangent bundle, and classes of pseudodifferential operators. We show that these classes are stable under composition, and that the $\la$-quantization map gives an algebra isomorphism (which depends on the linearization) between symbols and pseudodifferential operators. We study, in our setting, $L^2$-continuity and give some examples. We show in particular that the hyperbolic 2-space $\HH$ has a $S_1$-bounded geometry, allowing the construction of a global symbol calculus of pseudodifferential operators on $§(\HH)$.

연구 동기 및 목표

• 비국소적 차원에서 국소적 차트 기반 정의의 한계를 극복하여 전역적이고 좌표에 의존하지 않는 가짜미분연산 계산법을 개발하는 것.
• 기저 변수 $x$에 대한 균일하고 감쇠하는 기호 추정을 확보하기 위해 $S_\sigma$-유계 기하학과 추상적 지수 함수를 통한 무한대에서의 통제를 통합하는 것.
• 기호와 가짜미분연산 사이에 대수적 동형사상을 유도하는 기호 맵과 $\lambda$-양자화를 구성하는 것.
• 가정 $(H_V)$ 하에서 순서 $(0,0)$ 연산자의 $L^2$-연속성을 확립하고, 쌍곡평면과 같은 다각형으로 계산법을 확장하는 것.
• 표준 및 $SG$-계산법을 $\mathbb{R}^n$에서 더 넓은 선형화와 유계 기하학을 갖는 다각형 클래스로 일반화하는 것.

제안 방법

• 선형화와 관련된 전역적으로 정의된 좌표에 의존하지 않는 지수 함수를 사용하여 각 점에서 다각형 $M \to \mathbb{R}^n$으로의 전역적 미분동형사상을 구성한다.
• $S_\sigma$-유계 기하학과 $\mathcal{O}_M$-유계 기하학 조건을 도입하여 무한대에서의 행동을 통제하고 균일한 기호 추정을 보장한다.
• 선형화를 통해 전역 스웨츠 공간 $\mathcal{S}(M)$과 전역 푸리에 변환을 정의하여 기저 변수 $x$에서의 감쇠를 갖는 기호 계산법을 가능하게 한다.
• $T^*M$ 위의 기호에서 가짜미분연산으로의 기호 맵과 $\lambda$-양자화 맵을 구성하고, 기호와 가짜미분연산 사이에 대수적 동형사상을 확립한다.
• 선형화를 사용하여 $T^*M$ 위에 명시적인 모일 스타곱을 구성함으로써 변형 양자화 기하학적 구조를 제공한다.
• 계산법을 카르탕–하다마르 다각형에 적용하고, $\mathbb{H}^2$가 $S_1$-유계 기하학을 갖는다는 것을 증명하여 $\mathcal{S}(\mathbb{H}^2)$ 위에서 전역 기호 계산법을 구성할 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 선형화 구조를 갖는 비유계 다각형에서 기하학적 선형화를 사용하여 전역적이고 좌표에 의존하지 않는 가짜미분연산 계산법을 구성할 수 있는가?
• RQ2 기저 변수 $x$에 대한 균일하고 감쇠하는 통제를 기호 추정에서 어떻게 확보하여 $L^2$-유계성을 보장할 수 있는가?
• RQ3 $\lambda$-양자화 맵이 이 전역적 설정에서 기호와 가짜미분연산 사이에 대수적 동형사상을 유도하는가?
• RQ4 이러한 계산법의 존재를 위한 필수 및 충분한 기하학적 조건(예: $S_\sigma$-유계 기하학)은 무엇인가?
• RQ5 이 계산법은 특정 비유계 다각형, 예를 들어 쌍곡평면에 적용될 수 있으며, 이 경우 순서 $(0,0)$ 연산자의 $L^2$-연속성이 확보되는가?

주요 결과

• 논문은 추상적 지수 함수를 사용하여 선형화를 갖는 다각형 위에서 전역적 가짜미분연산 계산법을 구성하며, 좌표에 의존하지 않는 기호 정의를 가능하게 한다.
• $\lambda$-양자화 맵은 기호와 가짜미분연산 사이에 대수적 동형사상을 제공하며, $\mathbb{R}^n$에서의 표준 양자화를 일반화한다.
• 계산법은 복합에 대해 안정적이며, 가정 $(C_\sigma)$ 하에서 기호 곱의 점근적 공식을 갖는다.
• 쌍곡 2차원 공간 $\mathbb{H}^2$가 $S_1$-유계 기하학을 갖는다는 것이 입증되었으며, 이는 $\mathcal{S}(\mathbb{H}^2)$ 위에서 전역 기호 계산법을 구성할 수 있음을 의미한다.
• 가정 $(H_V)$ 하에서 순서 $(0,0)$ 가짜미분연산자의 $L^2$-연속성이 확립되었지만, 이 조건이 필수적인지 여부는 아직 미해결이다.
• 명시적인 모일 스타곱이 $T^*M$ 위에 구성되었으며, 이는 기호 계산법과 호환되는 변형 양자화 기하학적 구조를 제공한다.