[論文レビュー] Wigner measures and observability for the Schr\\"odinger equation on the disk

Nalini Anantharaman, Matthieu Léautaud+1 more|arXiv (Cornell University)|Jun 3, 2014

Stability and Controllability of Differential Equations参考文献 65被引用数 55

ひとこと要約

本稿は、ディリクレ境界条件を満たす円板上でのシュレーディンガー方程式の解の半古典的ウィグナー測度について、完全可積分なビリヤード力学と関連づけた構造定理を確立する。不変トーラス上に局在化した第二ミクロ局所化測度を導入することで、ウィグナー測度が角変数に関して絶対連続であり、観測可能性不等式を導出し、エネルギーが境界を除く周期的軌道に集中しないことを示す。

ABSTRACT

We analyse the structure of semiclassical and microlocal Wigner measures for solutions to the linear Schr\\"{o}dinger equation on the disk, with Dirichlet boundary conditions. Our approach links the propagation of singularities beyond geometric optics with the completely integrable nature of the billiard in the disk. We prove a "structure theorem", expressing the restriction of the Wigner measures on each invariant torus in terms of {\\em second-microlocal measures}. They are obtained by performing a finer localization in phase space around each of these tori, at the limit of the uncertainty principle, and are shown to propagate according to Heisenberg equations on the circle. Our construction yields as corollaries (a) that the disintegration of the Wigner measures is absolutely continuous in the angular variable, which is an expression of the dispersive properties of the equation; (b) an observability inequality, saying that the $L^2$-norm of a solution on any open subset intersecting the boundary (resp. the $L^2$-norm of the Neumann trace on any nonempty open set of the boundary) controls its full $L^2$-norm (resp. $H^1$-norm). These results show in particular that the energy of solutions cannot concentrate on periodic trajectories of the billiard flow other than the boundary.

研究の動機と目的

• 単位円板上でのディリクレ境界条件を満たす線形シュレーディンガー方程式の解について、半古典的およびミクロ局所的ウィグナー測度の構造を解析すること。
• 幾何光学を超えた特異点の伝播を、円板内でのビリヤードフローの完全可積分性と結びつけること。
• ウィグナー測度を不変トーラス上で第二ミクロ局所化測度を用いて表現する構造定理を確立すること。
• 内部および境界測定に関する観測可能性不等式を導出し、境界と交わる任意の開部分集合から全ノルムが制御可能であることを示すこと。
• シュレーディンガー方程式の分散的性質が、角変数における測度の正則性に符号化されており、エネルギーが周期的軌道に集中しないこと（境界を除く）を示すこと。

提案手法

• 著者らは、位相空間内の不変トーラスを中心に第二ミクロ局所化手続きを導入し、不確定性原理の限界における分解能を達成する。
• 有理角に対応する各トーラス $\mathcal{I}_{\alpha_0}$ 上に第二ミクロ局所化測度 $\mu^{\alpha_0}$ を定義し、微細な位相空間構造を捉える。
• これらの第二ミクロ局所化測度の伝播は、円周上のヘイゼンベルク方程式に従い、可積分系の力学を反映する。
• 構造定理により、ウィグナー測度は角変数に関して絶対連続である成分に分解され、第二ミクロ局所化測度から導出される。
• この手法は、ビリヤードフローの作用角座標とその量子化に依存しており、トーラス上での不変測度の分解を可能にする。
• 時間に関するウィグナー測度の正則性は、生成子のミクロ局所的解析により確立され、極限測度が $L^\infty(\mathbb{R}_t; \mathcal{M}_+(T^*\mathbb{R}^2))$ に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 円板上でのシュレーディンガー解のウィグナー測度は、ビリヤードフローの不変トーラス上でどのように分解されるか？
• RQ2 第二ミクロ局所化測度は、不変トーラス近傍におけるウィグナー測度の微細構造を記述する上で果たす役割は何か？
• RQ3 ウィグナー測度のミクロ局所的構造から、観測可能性不等式を導出可能か？
• RQ4 シュレーディンガー方程式の分散的性質は、エネルギーが周期的軌道に集中するのをどの程度防ぐか？
• RQ5 円板ビリヤードの完全可積分性は、半古典的測度の伝播および分解にどのように影響を与えるか？

主な発見

• 各不変トーラス上でのウィグナー測度の分解は、角変数に関して絶対連続であり、シュレーディンガー方程式の分散的性質を反映する。
• 第二ミクロ局所化測度 $\mu^{\alpha_0}$ は、ヘイゼンベルク方程式に従い円周に沿って伝播し、密度 $\rho_{\alpha_0}$ はトーラス上での輸送方程式を満たす。
• 内部観測可能性不等式が成り立つ：境界と交わる任意の開部分集合における解の $L^2$-ノルムが、全 $L^2$-ノルムを制御する。
• 境界観測可能性不等式が成り立つ：境界の空でない任意の開部分集合におけるノイマントレースの $L^2$-ノルムが、解の全 $H^1$-ノルムを制御する。
• エネルギーは、境界を除くビリヤードフローの周期的軌道に集中しない。これは、ウィグナー測度が角変数に関して絶対連続であるためである。
• ウィグナー測度の時間正則性が確立され、$L^\infty(\mathbb{R}_t; \mathcal{M}_+(T^*\mathbb{R}^2))$ 値の正の測度の族として表現可能であることが示された。