[論文レビュー] Eigenvalue Ratios for vibrating string equations with single-well densities

Jihed Hedhly|arXiv (Cornell University)|Nov 2, 2021

Stability and Controllability of Differential Equations参考文献 17被引用数 8

ひとこと要約

本稿は、ディリクレ境界条件の下で単一の谷を持つ密度関数を有する振動弦方程式における固有値比の最良上界 $λ_n / λ_m \leq (n/m)^2$ を確立する。証明は、修正された逆リウヴィル変換を用いて問題を単一の谷を持つ密度関数を有する弦方程式に変換し、このような場合に既知の固有値比推定を応用することで行われる。主な貢献は、この上界が鋭いこと、すなわち等号が成り立つのは密度関数が定数である場合に限ることである。

ABSTRACT

In this paper, we prove the optimal upper bound $\frac{\lambda_n}{\lambda_m}\leq(\frac{n}{m})^2$ of vibrating string $$-y''=\lambda ho(x) y,$$ with Dirichlet boundary conditions for single-well densities. The proof is based on the inequality $\frac{\lambda_n( ho)}{\lambda_{m}( ho)}\leq \frac{\lambda_n(L)}{\lambda_{m}(L)} ,$ with $L$ must be a stepfunction. We also prove the same result for the Dirichlet Sturm-Liouville problems.

研究の動機と目的

• 振動弦方程式における単一の谷を持つ密度関数を有する固有値比 $\lambda_n / \lambda_m$ の最良上界を確立すること。
• 潜在的および重み関数に特定の構造的条件を課した場合に、一般のディリクレ型スツルム＝リウヴィル問題へその結果を拡張すること。
• 固有値比の上界 $\lambda_n / \lambda_m \leq (n/m)^2$ が鋭いことを示すこと、等号が成り立つのは定数密度関数の場合に限ること。
• 一般のスツルム＝リウヴィル問題を、単一の谷を持つ密度関数を有する等価な弦方程式に変換する手法を提供することにより、既知の結果を活用すること。

提案手法

• 修正された逆リウヴィル変換を用いて、スツルム＝リウヴィル方程式を単一の谷を持つ密度関数を有する弦方程式に変換する。
• 一パrameter族の密度関数 $\hat{\rho}(x, \tau) = \tau\rho(x) + (1-\tau)L(x)$ を用いた変分的議論と固有値の単調性を適用する。ここで $L$ は固有関数比の符号変化を再現する段階関数である。
• プリーファー変換を用いて固有関数の交互配置を分析し、位相関数および振幅関数の微分方程式を導出する。
• パrameter $\tau$ に関する比の微分が非正であることを示すことにより、不等式 $\lambda_n(\rho)/\lambda_m(\rho) \leq \lambda_n(L)/\lambda_m(L)$ を確立する。
• 重み関数を $z(x) = \int_0^x h^{-2}(s) \, ds$ で変換することで、一般のスツルム＝リウヴィル問題を弦方程式に還元する。ここで $h$ は関連する常微分方程式の解である。
• 関数 $h$ が単一の谷を持つ場合、変換後の密度関数 $\hat{h}^4 \hat{p} \hat{\rho}$ も単一の谷を持つことから、弦の場合の主要結果を適用可能となる。

実験結果

リサーチクエスチョン

• RQ1 単一の谷を持つ密度関数を有する振動弦方程式における固有値比 $\lambda_n / \lambda_m$ の最良上界は何か？
• RQ2 固有値比の上界 $\lambda_n / \lambda_m \leq (n/m)^2$ は、$q$ と $p\rho$ に特定の構造的仮定を課した一般のスツルム＝リウヴィル問題へ拡張可能か？
• RQ3 固有値比の上界 $\lambda_n / \lambda_m \leq (n/m)^2$ において等号が成り立つ条件は何か？
• RQ4 段階関数密度関数を有する弦方程式に問題を変換する手法は、鋭い固有値比推定を証明するために有効か？

主な発見

• 振動弦方程式 $-y'' = \lambda \rho(x) y$ において、ディリクレ境界条件および単一の谷を持つ密度関数 $\rho$ を有する場合、最良上界 $\lambda_n / \lambda_m \leq (n/m)^2$ が成り立つ。
• 上記の不等式において等号が成り立つのは $\rho$ が定数関数である場合に限る。これにより、推定値の鋭さが確認される。
• 一般のスツルム＝リウヴィル問題において、$q$ が単一の障壁であり、$p\rho$ が $x_0 = 1/2$ で単一の谷を持つ場合、$\min(\hat{\mu}_1, \tilde{\mu}_1) > 0$ が成り立つ限り、同じ上界が成り立つ。ここで $\hat{\mu}_1, \tilde{\mu}_1$ はそれぞれ $[0,1/2]$ および $[1/2,1]$ における第一ノイマン固有値である。
• $q \geq 0$ であり、$p\rho$ が $x_0 = 1/2$ で単一の谷を持つ場合、上記の上界は依然として有効であり、等号が成り立つのは $q \equiv 0$ かつ $p\rho$ が定数関数である場合に限る。
• 逆リウヴィル変換を用いた問題の弦方程式への変換は、固有値比構造を保存し、既知の単一の谷を持つ場合の結果に還元可能である。
• 証明により、密度関数が段階関数である場合に固有値比が最大となり、密度関数がこの形から逸脱するにつれて比が減少することが示された。