[論文レビュー] Identification of a connection from Cauchy data on a Riemann surface with boundary

Colin Guillarmou, Leo Tzou|arXiv (Cornell University)|Jul 5, 2010

Advanced Mathematical Physics Problems参考文献 25被引用数 34

ひとこと要約

本稿では、境界を有するコンパクトなリーマン面上の磁気シュレーディンガー作用素のコーシー・データ空間が、ゲージ同値を除いて接続1形式を一意に決定し、ポテンシャルを等価性まで一意に決定することを確立している。カルレマン推定と境界決定技術を用いて、同一のコーシー・データが成立するならば、接続はゲージ関係にあり、ポテンシャルは等しいことを証明し、非単連結な多様体上の磁気ラプラシアンの逆問題を解消した。

ABSTRACT

We consider a connection $\ abla^X$ on a complex line bundle over a Riemann surface with boundary $M_0$, with connection 1-form $X$. We show that the Cauchy data space of the connection Laplacian (also called magnetic Laplacian) $L:={\ abla^X}^*\ abla^X + q$, with $q$ a complex valued potential, uniquely determines the connection up to gauge isomorphism, and the potential $q$.

研究の動機と目的

• 境界を有するリーマン面上の磁気シュレーディンガー作用素のコーシー・データから接続およびポテンシャルを同定する逆問題を解く。
• 非単連結なリーマン面上の磁気ラプラシアンの逆問題におけるゲージ不変性を特徴づける。
• コーシー・データ空間が接続をゲージ同型まで、ポテンシャルを正確に決定することを確立する。
• ユークリッド領域における既知の結果を、非自明な位相的性質を有する一般のリーマン面上に拡張する。
• 2つの同様な作用素が同一のコーシー・データ空間を持つときの完全な特徴づけを提供する。

提案手法

• 磁気シュレーディンガー作用素の解を制御するため、調和モース重みを用いたカルレマン推定を用いる。
• ラックス＝ミルグラムの定理およびリーマン表現定理を適用して、ノルムを制御した摂動作用素の解を構成する。
• 複素幾何学的オプティクス解と指数関数的重み、微局所解析を用いた境界決定を実施する。
• 解に関する積分恒等式を用いて、境界上でのポテンシャルの点ごとの等価性を導出する。
• 相対コhomologyとホロノミー不変量を用いて、接続のゲージ同値類を特徴づける。
• ディラック型作用素およびその摂動を用いて、問題をポテンシャル比較に還元する。

実験結果

リサーチクエスチョン

• RQ1 磁気シュレーディンガー作用素のコーシー・データ空間が、接続およびポテンシャルを一意に決定する条件は何か？
• RQ2 非自明な第一コhomologyを持つリーマン面上の磁気ラプラシアンの逆問題において、ゲージ不変性はどのように影響を与えるか？
• RQ3 磁気ポテンシャルのフラックスを $2\pi\mathbb{Z}$ を法として回復できるか？
• RQ4 リーマン面の位相的性質は、逆問題の一意性にどのような役割を果たすか？
• RQ5 コーシー・データから、接続をゲージ同値まで、ポテンシャルを正確に再構成することは可能か？

主な発見

• ポテンシャル $q$ は、ゲージ不変性までではなく、等価性まで一意に決定される。
• 接続 $X$ はゲージ同型まで一意に決定され、$X_1 - X_2 = df$ で、$f=0$ on $\partial M_0$ かつすべての閉ループ $\gamma$ に対して $\int_\gamma (X_1 - X_2) \in 2\pi\mathbb{Z}$ を満たす。
• ゲージ同値は第一相対コhomology群 $H^1(M_0, \partial M_0)$ によって特徴づけられ、$X_1 = X_2 + 2\pi \sum n_m \omega_m$、$n_m \in \mathbb{Z}$ となる。ここで $\{\omega_m\}$ は境界に平行でないループに対応する双対基底である。
• 境界決定は、指数関数的重みを用いた複素幾何学的オプティクス解により達成され、$i_{\partial M_0}^* V_1 = i_{\partial M_0}^* V_2$ ならばすべての $p \in \partial M_0$ に対して $v_1(p) = v_2(p)$ が成り立つ。
• $L^2$-ベースの制御を用いた磁気シュレーディンガー作用素に対するカルレマン推定が確立され、$||u||_{L^2} \leq C\sqrt{h}||f||_{L^2}$ および $||du||_{L^2} \leq C||f||_{L^2}$ を満たす解の構成が可能になる。
• 本結果は、一般の境界付きリーマン面上で固定周波数の楕円型作用素のコーシー・データ空間の等価性について、初めて完全な特徴づけを提供する。