[論文レビュー] Agmon's type estimates of exponential behavior of solutions of systems of elliptic partial differential equations.Applications to Schrödinger, Moisil-Theodorescu and Dirac operators

Vladimir Rabinovich, Steffen Roch|ArXiv.org|Feb 27, 2008

Spectral Theory in Mathematical Physics参考文献 16被引用数 9

ひとこと要約

本稿は、限界作用素法を用いて、ℝⁿ 上の楕円型偏微分方程式系の解について、Agmon型の指数的減衰推定を確立する。行列シュレーディンガー作用素、モイリル＝テオドロスキー作用素、ディラック作用素の固有関数は、関連する作用素の本質的スペクトルがゼロを避けるとき、無限遠で指数的に減衰し、重み付きソボレフ空間と限界作用素のスペクトル解析を通じて明示的な減衰率が得られる。

ABSTRACT

The aim of this paper is to derive Agmon's type exponential estimates for solutions of elliptic systems of partial differential equations on $\sR^n$. We show that these estimates are related with the essential spectra of a family of associated differential operators which depend on the original operator, and with exponential weights which describe the decrease of solutions at infinity. The essential spectra of the involved operators are described by means of their limit operators. The obtained results are applied to study the problem of exponential decay of eigenfunctions of matrix Schrödinger, Moisil-Theodorescu, and Dirac operators.

研究の動機と目的

• ℝⁿ 上の変数係数をもつ楕円型偏微分方程式系の解についての指数的減衰推定を導出すること。
• 解の指数的減衰と関連する微分作用素の本質的スペクトルとの間の関係を確立すること。
• 限界作用素法を用いて本質的スペクトルを特徴づけ、行列シュレーディンガー作用素、モイリル＝テオドロスキー作用素、ディラック作用素の固有関数の減衰推定を導出すること。
• ポテンシャルと磁場の無限遠における振る舞いに基づいて、固有関数が指数的に減衰する明示的な条件を提示すること。

提案手法

• t ∈ [-1,1] に対して、B_t = A(x,D + it∇v(x)) と定義される作用素族を導入し、解の減衰と B_t の本質的スペクトルを関連付ける。
• 限界作用素法を用いて、B_t の本質的スペクトルを、無限遠における漸近的挙動を記述する限界作用素 B_t^g のスペクトルの和集合として特徴づける。
• すべての t ∈ [-1,1] に対して 0 ∉ sp_ess B_t であるというスペクトル条件を適用し、重み付き L² 空間における指数的減衰を保証する。
• 変数係数系の限界作用素はしばしば定数係数作用素に簡略化されるため、明示的なスペクトル解析が可能になるという事実に依拠する。
• λ ∉ sp_ess 𝒟 ならば、固有関数が適切な重み w = exp v に対する重み付きソボレフ空間 H¹(ℝ³, ℂ⁴, w) に属することを示し、減衰推定を導出する。
• ∇v およびポテンシャルパラメータに関する十分な条件を確立し、λ ∉ sp_ess 𝒟_w が保証され、指数的減衰が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ 上の変数係数をもつ楕円型系の解が無限遠で指数的に減衰する条件は何か？
• RQ2 限界作用素を用いて微分作用素の本質的スペクトルを特徴づけ、減衰挙動を決定するにはどうすればよいか？
• RQ3 行列シュレーディンガー作用素、モイリル＝テオドロスキー作用素、ディラック作用素の固有関数に対して、明示的な指数的減衰率をどのように導出できるか？
• RQ4 ポテンシャルの無限遠における振る舞いと重み関数の相互作用が、固有関数の減衰にどのように影響するか？
• RQ5 限界作用素法を用いて、量子力学的系における固有関数の鋭い減衰推定を導出できるか？

主な発見

• すべての t ∈ [-1,1] に対して 0 ∉ sp_ess B_t ならば、f ∈ L²(ℝⁿ, ℂ^N, w) であるとき、A(x,D)u = f の解 u は H^m(ℝⁿ, ℂ^N, w) に属し、指数的減衰を示す。
• ディラック作用素 𝒟 に対して、ギャップ (-eΦ^{inf} - mc², -eΦ^{sup} + mc²) 内の固有値 λ は、重みが limsup_{x→∞} |∇v(x)|_{ρ(x)} < (1/ch) √(m²c⁴ - (eΦ^{sup} + λ)²) を満たすとき、指数的に減衰する固有関数をもつ。
• 限界作用素に対して、ディラック作用素 𝒟 の本質的スペクトルは (-∞, -eΦ^g - mc²] ∪ [-eΦ^g + mc², ∞) である。Φ^{sup} - Φ^{inf} ≥ 2mc²/e ならば、すべての ℝ に等しい。
• 重み w = e^{a⟨x⟩} に対して、ディラック作用素の固有関数は、0 < a < √(m²c⁴ - (eΦ^{sup} + λ)²) / (chρ^{sup}) を満たすとき、H¹(ℝ³, ℂ⁴, w) に属する。ここで ρ^{sup} = liminf_{x→∞} sup_{ω ∈ S²} (ρ^{jk}(x)ω_jω_k)^{1/2} である。
• この方法により、スペクトル問題を定数係数限界作用素の解析に還元することで、指数的減衰推定を明確かつ体系的に導出できる。
• このアプローチは、シュレーディンガー、モイリル＝テオドロスキー、ディラック系における指数的減衰を統一的に扱うフレームワークを提供し、古典的結果を行列およびスカラーでない設定に拡張する。