[論文レビュー] Essential self-adjointness of real principal type operators

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

Advanced Mathematical Physics Problems参考文献 12被引用数 8

ひとこと要約

本稿は、微局所解析と時間大域的脱出関数を用いて、$ℝ^n$ 上の実主型微分作用素が、零非捕獲条件のもとで本質的自己随伴性を示す。主な結果は、Klein-Gordon作用素に関する先行研究を高次および長距離型摂動へと拡張し、主記号のハミルトニアン流れが零特徴的曲線に沿って無限遠へ脱出するとき、$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.

研究の動機と目的

• 実主型微分作用素 $\\mathbb{R}^n$ 上で漸近定数係数をもつ場合の本質的自己随伴性を確立すること。
• 非楕円型の場合に本質的自己随伴性に必要な幾何的条件（特に零非捕獲条件）を同定すること。
• 漸近Minkowski空間上でのKlein-Gordon作用素に関する先行結果を、高次作用素および長距離型摂動へと一般化すること。
• Vasy (2017) の結果に依存しない、自己完結的で代替的な証明を時間大域的脱出関数と鋭いGårding推定を用いて与えること。

提案手法

• Weyl量子化を用いて、漸近定数係数をもつ実主型記号 $p$ から作用素 $P = \mathrm{Op}(p)$ を定義する。
• 記号に仮定 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 実主型作用素が $\mathbb{R}^n$ 上で本質的自己随伴となる幾何的条件は何か？
• RQ2 双特徴的曲線の流れにおける零非捕獲条件が、非楕円型作用素の本質的自己随伴性をどのように保証するか？
• RQ3 高次実主型作用素および長距離型摂動に対し、本質的自己随伴性を確立できるか？
• RQ4 $(P-i)u=0$ の解の正則性を示す際に、微局所的特徴の伝播はどのような役割を果たすか？
• RQ5 時間大域的脱出関数の方法は、Vasy のアプローチとどのように異なり、どのように改善されるか？

主な発見

• 仮定 A と B のもとで、作用素 $P = \mathrm{Op}(p)$ は $C_c^\infty(\mathbb{R}^n)$ 上で本質的自己随伴である。
• 零非捕獲条件は、実主型設定において、本質的自己随伴性の必要十分条件であり、$\mathbb{R}^n$ 上でも成り立つ。
• $(P-i)u=0$ の解は、微局所的正則性と脱出関数の構成により滑らかであることが示された。
• この方法により、散乱理論やグローバル非捕獲仮定に依存しない自己完結的証明が得られた。
• 結果は、Vasy がKlein-Gordon作用素に対して行った研究を、高次および長距離型摂動へと一般化した。
• compactly 支持された摂動の場合は、証明が著しく簡略化され、$L^2$-正則性と $N = I - \Delta$ との交換子推定に依存する。