[論文レビュー] Self-adjoint extensions of discrete magnetic Schrödinger operators

Françoise Truc, Ognjen Milatovic|arXiv (Cornell University)|Nov 2, 2012

Spectral Theory in Mathematical Physics参考文献 15被引用数 10

ひとこと要約

本稿は、局所的に有限な重み付きグラフ上の離散的磁気シュレーディンガー作用素の本質的自己共役性の十分条件を、内在的距離枠組みを用いて確立する。もしポテンシャル $ W(x) $ が $ W(x) \geq \frac{1}{2D(x)^2} - C $ を満たすならば、ここで $ D(x) $ はカウチ境界までの距離である。このとき、作用素はコンパクト台付き関数上で本質的に自己共役であることが示され、従来の結果を有界次数のグラフを超えて拡張する。

ABSTRACT

Using the concept of intrinsic metric on a locally finite weighted graph, we give sufficient conditions for the magnetic Schrödinger operator to be essentially self-adjoint. The present paper is an extension of some recent results proven in the context of graphs of bounded degree.

研究の動機と目的

• 有界次数のグラフを超えて、離散的磁気シュレーディンガー作用素の本質的自己共役性理論を拡張すること。
• 重み付きグラフの内在的距離およびカウチ境界構造を用いて、本質的自己共役性の十分条件を確立すること。
• カウチ境界までの距離の逆数の二乗に比例して増加するポテンシャルを組み込むことで、先行研究を一般化すること。
• 標準的な基準（例：[9, Proposition 2.2]）が失敗する場合を分析し、有効ポテンシャルと良い被覆を用いること。

提案手法

• 重み関数 $ \sigma $ を通じて定義される内在的経路擬距離 $ d = d_\sigma $ を用い、$ \frac{1}{\mu(x)}\sum_y b(x,y)\sigma(x,y)^2 \leq 1 $ を満たす。
• カウチ境界 $ \partial_C V $ を、$ V $ に属さないカウチ列の極限点の集合として定義し、$ D(x) = \inf_{z \in \partial_C V} d(x,z) $ を導入する。
• グラフが有界次数を持たない場合のポテンシャル条件を緩和するために、次数 $ m $ の良い被覆の概念を適用する。
• 有限部分グラフ $ V_l $ 上の磁気ラプラシアンの最小固有値 $ p_l $ を用いて、有効ポテンシャルを導入する。
• シュレーディンガー方程式に関連する漸化式から得られる係数 $ a_n $ を含む級数の収束に基づく基準を適用する。
• Raabeの判定法および比の判定法を用いて、$ \sum (a_n)^2 \mu(x_n) $ の収束を検証し、[9, Proposition 2.2] を通じて本質的自己共役性を決定する。

実験結果

リサーチクエスチョン

• RQ1 局所的に有限な重み付きグラフ上での離散的磁気シュレーディンガー作用素が本質的に自己共役であるための条件は何か？
• RQ2 有界頂点次数のないグラフに対しても、本質的自己共役性基準を拡張できるか？
• RQ3 カウチ境界までの距離が、本質的自己共役性に必要なポテンシャルの増加度にどのように影響するか？
• RQ4 標準的基準（例：[9, Proposition 2.2]）が失敗する状況では、有効ポテンシャルはどのように役立つか？
• RQ5 グラフの被覆構造（例：次数 $ m $ の良い被覆）は、ポテンシャル条件を緩和するために果たす役割は何か？

主な発見

• 定数 $ C $ に対して $ W(x) \geq \frac{1}{2D(x)^2} - C $ を満たすならば、作用素 $ H = \Delta_{b,\mu;\theta} + W $ は $ C_c(V) $ 上で本質的に自己共役である。
• 条件 $ W(x) \geq \frac{1}{2D(x)^2} - C $ は、$ 0 < k < 1 $ に対して $ W(x) \geq \frac{k}{2D(x)^2} $ が本質的自己共役性を保証しないという意味で鋭い。
• 次数 $ m $ の良い被覆を持つグラフでは、局所的磁気ラプラシアンの最小固有値から導かれる有効ポテンシャルを用いることで、ポテンシャル条件を緩和できる。
• 例5.1では、$ \frac{1}{2} < \beta < \frac{3}{4} $ の範囲でRaabeの判定法により級数 $ \sum (a_n)^2 \mu(x_n) $ が収束し、[9, Proposition 2.2] が適用されないことが示される。
• 例5.2では、距離空間 $ (V, d_{\sigma_q}) $ は距離的に完備であり、$ W $ が下に有界でないにもかかわらず、作用素 $ \Delta_{b,\mu} + W $ は本質的に自己共役である。
• 比の判定法により、例5.2における $ \sum (a_n)^2 \mu(x_n) $ の収束が確認され、[9, Proposition 2.2] がこの有界でない次数のケースに適用されないことが示される。