[論文レビュー] A ground state alternative for singular Schrödinger operators

Yehuda Pinchover, Kyril Tintarev|ArXiv.org|Nov 30, 2004

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

ひとこと要約

本稿は、特異なシュレーディンガー作用素に対して、基本的な二分法を確立する。すなわち、関連する二次形式が重み付きスペクトルギャップ（亜臨界型）を有するか、あるいは正の零状態（臨界型）が存在し、Poincaré型の不等式を満たすかのいずれかである。主な貢献は、亜臨界性と臨界性の鋭い代替的関係であり、重み関数と線形関数型項を用いて臨界型領域を明示的に特徴づける不等式が得られる。

ABSTRACT

Let $\mathbf{a}$ be a quadratic form associated with a Schrödinger operator $L=- abla\cdot(A abla)+V$ on a domain $Ω\subset \mathbb{R}^d$. If $\mathbf{a}$ is nonnegative on $C_0^{\infty}(Ω)$, then either there is $W>0$ such that $\int W|u|^2 dx\leq \mathbf{a}[u]$ for all $C_0^{\infty}(Ω;\mathbb{R})$, or there is a sequence $ϕ_k\in C_0^{\infty}(Ω)$ and a function $ϕ>0$ satisfying $Lϕ=0$ such that $\mathbf{a}[ϕ_k] o 0$, $ϕ_k oϕ$ locally uniformly in $Ω\setminus\{x_0\}$. This dichotomy is equivalent to the dichotomy between $L$ being subcritical resp. critical in $Ω$. In the latter case, one has an inequality of Poincaré type: there exists $W>0$ such that for every $ψ\in C_0^\infty(Ω;\mathbb{R})$ satisfying $\int ψϕdx eq 0$ there exists a constant $C>0$ such that $C^{-1}\int W|u|^2 dx\le \mathbf{a}[u]+C|\int u ψdx|^2$ for all $u\in C_0^\infty(Ω;\mathbb{R})$.

研究の動機と目的

• 特異なシュレーディンガー作用素に関連する非負の二次形式に対して、重み付きスペクトルギャップの存在と零状態の存在との間の二分法を確立すること。
• 重み関数と線形関数型項を含むPoincaré型不等式を用いて臨界型の状態を特徴づけること。
• 制約付き非線形問題の最小化を通じて臨界的ポテンシャルを構成的かつ明示的に構成する方法を提供すること。
• スペクトル的性質と形式の振る舞いの観点から、亜臨界型と臨界型作用素の違いを明確にすること。
• 特異ポテンシャルを有する特異なシュレーディンガー作用素の文脈において、基底状態と零列の理解を拡張すること。

提案手法

• 二次形式 $\mathbf{a}[u] = \int_{\Omega} (A\nabla u \cdot \nabla u + V|u|^2)\,dx$ が $C_0^\infty(\Omega)$ 上で非負であることにより、この形式がスカラー積を定義することを保証する。
• 零列 $\{\varphi_k\}$ は、$C_0^\infty(\Omega)$ 内の列で $\mathbf{a}[\varphi_k] \to 0$ を満たすものであり、零状態 $\varphi > 0$ はこのような列の局所一様極限として定義される。
• 重み付きスペクトルギャップの存在は、ある $W > 0$ が $\Omega$ 内で連続であるとき、$\int W|u|^2\,dx \leq \mathbf{a}[u]$ を満たすこととして定義され、これは亜臨界型を特徴づける。
• 臨界型では、Poincaré型不等式が導かれる：すべての $u \in C_0^\infty(\Omega;\mathbb{R})$ に対して $C^{-1}\int W|u|^2\,dx \leq \mathbf{a}[u] + C\left|\int \psi u\,dx\right|^2$ が成り立ち、ここで $\varphi$ は零状態である。
• 臨界的ポテンシャルの構成は、$\int W_0|u|^p\,dx = 1$ の制約の下で $\mathbf{a}[u]$ の最小化により達成され、最小化子 $v$ により $L - W$ が臨界的作用素となり、$W = \kappa W_0 v^{p-2}$ となる。
• 証明では、濃縮・コンパクトネスの議論とFatouの補題を用い、最小化子 $v$ が摂動された形式に対して零状態であることを示し、これにより $L - W$ が臨界的であることを示している。

実験結果

リサーチクエスチョン

• RQ1 特異なシュレーディンガー作用素に関連する非負の二次形式が、重み付きスペクトルギャップまたは零状態を有するための条件は何か？
• RQ2 形式と線形関数型項を含む不等式を用いて、臨界型の状態をどのように正確に特徴づけられるか？
• RQ3 制約付き非線形問題の最小化子からどのようにして臨界的ポテンシャルを明示的に構成できるか？
• RQ4 零状態の存在と臨界領域におけるディリクレ問題の可解性の間にはどのような関係があるか？
• RQ5 ポテンシャルがコンパクトな台を持つ関数で摂動されたとき、作用素のスペクトル的性質はどのように変化するか？

主な発見

• 本稿は鋭い二分法を確立する：二次形式 $\mathbf{a}$ は、ある $W > 0$ に対して $\int W|u|^2\,dx \leq \mathbf{a}[u]$ を満たすか、あるいは正の零状態 $\varphi$ が存在し、$\mathbf{a}[\varphi_k] \to 0$ かつ $\varphi_k \to \varphi$ 局所一様に $\Omega \setminus \{x_0\}$ 内で成り立つ。
• 臨界型では、すべての $\psi \in C_0^\infty(\Omega;\mathbb{R})$ に対して $\int \psi \varphi\,dx \neq 0$ を満たすものについて、ある $C > 0$ が存在し、すべての $u \in C_0^\infty(\Omega;\mathbb{R})$ に対して $C^{-1}\int W|u|^2\,dx \leq \mathbf{a}[u] + C\left|\int \psi u\,dx\right|^2$ が成り立つ。ここで $W > 0$ は $\Omega$ 内で連続である。
• このような $\psi$ 全体にわたって、右辺が誘導するノルムは互いに同値であるため、特徴づけの堅牢性が保証される。
• 臨界的ポテンシャル $W = \kappa W_0 v^{p-2}$ は、制約 $\int W_0|u|^p\,dx = 1$ の下で $\mathbf{a}[u]$ の最小化により構成され、最小化子 $v$ が摂動された形式に対して零状態であることが示される。
• 制約付き問題の最小値は $\kappa > 0$ を保証する条件下で達成され、結果として得られる作用素 $L - W$ は $\Omega$ 内で臨界的である。$\Omega = \mathbb{R}^d \setminus \mathbb{R}^m$ で $p = \frac{2d}{d-2}$ かつ $W_0 = 1$ の場合に、この事実が示されている。
• 零状態 $\varphi$ は $L\varphi = 0$ の弱解であり、このような状態の存在は重み付きスペクトルギャップの不在を示し、亜臨界型と臨界型の二分法が確認される。