[論文レビュー] The Sturm--Liouville problem with singular potential and the extrema of the first eigenvalue

E. S. Karulina, А. А. Vladimirov|arXiv (Cornell University)|Jun 22, 2012

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

ひとこと要約

本稿は、$ L_1[0,1] $ または一般化された $ W_2^{-1}[0,1] $ におけるポテンシャルを備えた特異なスツルム＝リウヴィル問題における第一固有値の極値を調査する。積分制約 $ \int_0^1 q\,dx = \pm 1 $ の下で、第一固有値の下界および上界の正確な表現を導出し、ディラックのデルタ関数や区分的定数関数を含む特定のポテンシャルで極値が達成されることを示している。スペクトル解析と変分法を用いてその結果を証明している。

ABSTRACT

On the basis of the theory of Sturm--Liouville problem with distribution coefficients we get the infima and suprema of the first eigenvalue of the problem $-y" + (q-λ) y=0, y'(0) -k_0^2 y(0) = y'(1) + k_1^2 y(1) = 0$, where $q$ belongs to the set of constant-sign summable functions on $[0,1]$ such that $\int_0^1 q dx=\pm 1$.

研究の動機と目的

• スツルム＝リウヴィル問題における特異なポテンシャルを $ L_1[0,1] $ から $ W_2^{-1}[0,1] $ に一般化し、その第一固有値の下界および上界を特定すること。
• ディラックのデルタ関数を含むポテンシャルが、制約 $ \int_0^1 q\,dx = \pm 1 $ の下で極値を達成する条件を同定すること。
• 非可 summable ポテンシャルを含むことで、従来の固有値極値問題の結果を拡張し、拡張された関数空間内でも極値が達成されることを証明すること。
• 境界パrameter $ k_0^2 $ および $ k_1^2 $ に基づく、極値固有値の完全な分類を提供すること。

提案手法

• スペクトル理論と変分法を用いて、ロビン型境界条件を満たすスツルム＝リウヴィル問題 $ -y'' + qy = \lambda y $ の第一固有値 $ \lambda_1(q) $ を分析する。
• ポテンシャルのクラスを $ L_1[0,1] $ から $ W_2^{-1}[0,1] $ に拡張し、ディラックのデルタ関数 $ \delta_\zeta $ を含む非可 summable ポテンシャルの解析を可能にする。
• 重要な方程式には、$ \alpha_\mu $ および $ \beta_\mu $ が $ k_0^2/\sqrt{\mu} $ および $ k_1^2/\sqrt{\mu} $ の逆正 tangent 関数で定義される固有値条件 $ 1 - \alpha_\mu - \beta_\mu = \mu^{-1} $ が含まれる。
• デルタ関数 $ \delta_\zeta $ ポテンシャルに関連する極値固有値を特徴付けるために、二区間固有値問題における連続的正の解の存在を基準とする。
• 関数 $ F(\mu, \zeta) $ の分析に依存し、これは $ \zeta $ におけるジャンプ条件を特徴づけ、ある $ \zeta \in (0,1) $ に対して $ F(\mu, \zeta) = -1 $ となる条件を特定する。
• ジャンプ問題の連続的正の解の存在を保証する条件を、固有値 $ \mu_0(\zeta) $ および $ \mu_1(\zeta) $ の漸近的および単調性解析によって特定する。

実験結果

リサーチクエスチョン

• RQ1 積分制約 $ \int_0^1 q\,dx = 1 $ を満たすスツルム＝リウヴィル問題において、$ q \in L_1[0,1] $ のとき、第一固有値の正確な下界および上界は何か？
• RQ2 積分制約 $ \int_0^1 q\,dx = -1 $ を満たすスツルム＝リウヴィル問題において、$ q $ がディラックのデルタ関数やその他の特異分布を含んでもよいとき、第一固有値の正確な下界および上界は何か？
• RQ3 $ k_0^2 $ および $ k_1^2 $ のどの条件下で、極値固有値がデルタ関数 $ \delta_\zeta $ で達成され、どの条件下で区分的定数ポテンシャルで達成されるか？
• RQ4 負のポテンシャルにおける第一固有値の下界が $ \delta_0 $、$ \delta_1 $、または $ \delta_{1/2} $ で達成される条件は何か？境界パrameter に依存するか？
• RQ5 ジャンプ問題 (12)–(13) に連続的正の解が存在するための条件は何か？この条件は負のポテンシャルに対する極値固有値を特徴づける。

主な発見

• 制約 $ \int_0^1 q\,dx = 1 $ の下での第一固有値の上界 $ M_1^+ $ は、方程式 $ 1 - \alpha_\mu - \beta_\mu = \mu^{-1} $ の唯一の解であり、これは区間 $ [\alpha_{M_1^+}, 1 - \beta_{M_1^+}] $ で $ M_1^+ $ に等しく、それ以外の領域ではゼロである区分的定数ポテンシャル $ q^* $ で達成される。
• 制約 $ \int_0^1 q\,dx = -1 $ の下での上界 $ M_1^- $ は $ k_0^2 $ および $ k_1^2 $ に依存する：$ k_0^2 + k_1^2 \leq 1 $ ならば、$ M_1^- = k_0^2 + k_1^2 - 1 $ であり、これは $ -k_0^2\delta_0 - k_1^2\delta_1 $ と定数を組み合わせたポテンシャルで達成される。
• もし $ k_1^2 - k_0^2 \geq 1 $ ならば、$ M_1^- $ は境界条件を変更した問題の第一固有値であり、$ q^* = -\delta_1 $ で達成される。
• 制約 $ \int_0^1 q\,dx = 1 $ の下での下界 $ m_1^+ $ は、境界条件 $ y'(0) - k_0^2 y(0) = 0 $、$ y'(1) + (k_1^2 + 1)y(1) = 0 $ を満たす問題の第一固有値であり、$ q^* = \delta_1 $ で達成される。
• 制約 $ \int_0^1 q\,dx = -1 $ の下での下界 $ m_1^- $ は、ジャンプ問題 (12)–(13) に連続的正の解が存在する場合、$ \lambda_1(-\delta_\zeta) $ に等しくなる。これは $ k_0^2 > 1/2 $ または $ k_0^2 = k_1^2 = 1/2 $ のときに成立する。それ以外の場合は $ \lambda_1(-\delta_0) $ に等しい。
• もし $ k_0^2 = k_1^2 = 1/2 $ ならば、$ m_1^- = -1/4 $ であり、任意の $ \zeta \in [0,1] $ に対して $ q^* = -\delta\zeta $ で達成され、この値は $ \zeta $ に依存しない。