[논문 리뷰] Essential self-adjointness of real principal type operators

Shu Nakamura, Kouichi Taira|arXiv (Cornell University)|2019. 12. 12.

Advanced Mathematical Physics Problems참고 문헌 12인용 수 8

한 줄 요약

이 논문은 미세국소 해석학과 시간 전역 탈출 함수를 이용하여, $ℝ^n$ 위의 실주형의 미분 연산자에 대해 영 비틀림 조건 하에서 본질적으로 자기수반임을 증명한다. 주요 결과는 이전의 클라인-고든 연산자에 대한 연구를 고차수 및 장거리 섭동으로 일반화하며, 주어진 주심상수의 해밀토니안 흐름이 영 이중특성선을 따라 무한히 멀어질 경우, $C_c^\infty(\mathbb{R}^n)$ 위에서 이러한 연산자가 본질적으로 자기수반임을 보인다.

ABSTRACT

We study the essential self-adjointness for real principal type differential operators. Unlike the elliptic case, we need geometric conditions even for operators on the Euclidean space with asymptotically constant coefficients, and we prove the essential self-adjointness under the null non-trapping condition.

연구 동기 및 목표

• asymptotically constant coefficients 를 가진 $ℝ^n$ 위의 실주형 미분 연산자에 대해 본질적 자기수반성을 확립하기.
• 비타원형의 경우 본질적 자기수반성을 보장하기 위한 기하학적 조건—특히 영 비틀림 조건—을 규명하기.
• 비틀림 조건이 성립하는 비타원형 연산자에 대해 이전의 클라인-고든 연산자 결과를 고차수 연산자 및 장거리 섭동으로 일반화하기.
• Vasy (2017)의 결과에 의존하지 않고 시간 전역 탈출 함수와 정밀한 Gårding 추정을 이용한 자가 일관된 대체 증명을 제공하기.

제안 방법

• 실주형 기호 $p$ 와 점 渐진적으로 일정한 계수를 가지는 연산자 $P = \mathrm{Op}(p)$ 를 Weyl 양자화를 통해 정의한다.
• 기호에 대해 가정 A 를 도입한다: $p$ 는 $C^\infty$ 이며, 무한대에서 순서 $m \geq 2$ 의 동차함수이며, 저차항에 대해 감쇠 추정을 만족시킨다.
• 영 비틀림 조건(가정 B) 을 적용한다: $p_m^{-1}(0) \setminus \{\xi=0\}$ 에서 출발하는 모든 이중특성선은 $|t| \to \infty$ 일 때 무한히 멀어진다.
• 매개변수 해법을 통해 시간 전역 탈출 함수를 구성하고, 반복적으로 $[P, F]$ 를 포함하는 미분부등식을 만족하는 쌍대 연산자 $F(h,t)$ 를 구축한다.
• 정밀한 Gårding 부등식과 Borel 정리를 이용하여 쌍대 연산자 방정식에 대한 준해를 구성한다.
• 미세국소 정규성과 특이점의 전파를 이용하여 $(P-i)u=0$ 의 해가 미분가능함을 보이고, 본질적 자기수반성을 도출한다.

실험 결과

연구 질문

• RQ1 실주형 연산자 $P$ 가 $ℝ^n$ 에서 언제 본질적으로 자기수반인가?
• RQ2 이중특성선 흐름에 대한 영 비틀림 조건이 비타원형 연산자에 대해 본질적 자기수반성을 어떻게 보장하는가?
• RQ3 장거리 섭동을 가진 고차수 실주형 연산자에 대해 본질적 자기수반성을 확립할 수 있는가?
• RQ4 $(P-i)u=0$ 의 해의 정규성을 증명하는 데 있어 미세국소 특이점의 전파가 어떤 역할을 하는가?
• RQ5 시간 전역 탈출 함수 방법은 Vasy의 방법과 어떻게 다를 수 있으며, 어떤 점에서 개선되는가?

주요 결과

• 가정 A 와 B 하에서 연산자 $P = \mathrm{Op}(p)$ 는 $C_c^\infty(\mathbb{R}^n)$ 에서 본질적으로 자기수반이다.
• 영 비틀림 조건은 실주형 설정에서 본질적 자기수반성에 대해 필요이고 충분하며, $ℝ^n$ 에서도 성립한다.
• $(P-i)u=0$ 의 해는 미세국소 정규성과 탈출 함수의 구성으로 인해 미분가능하다.
• 이 방법은 산란 이론이나 전역 비틀림 조건에 대한 의존 없이 자가 일관된 증명을 제공한다.
• 이 결과는 Vasy 가 클라인-고든 연산자에 대해 수행한 작업을 고차수 및 장거리 섭동으로 일반화한다.
• 컴 pactly 지지된 섭동의 경우 증명이 크게 단순해지며, $L^2$-정규성과 $N = I - \Delta$ 와의 교환자 추정에 의존한다.