[论文解读] 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

一句话总结

本文建立了在单峰密度下狄利克雷边界条件下振动弦方程特征值比的最优上界 $\lambda_n / \lambda_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$ 是精确的，且仅当密度为常数时等号成立。
• 提供一种将一般斯图姆-利乌维尔问题转化为具有单峰密度的等价弦方程的方法，以利用已知结果。

提出的方法

• 使用修改的逆利乌维尔代换，将斯图姆-利乌维尔方程转化为具有单峰密度的弦方程。
• 应用变分论证与通过单参数族密度 $\hat{\rho}(x, \tau) = \tau\rho(x) + (1-\tau)L(x)$ 实现的特征值单调性，其中 $L$ 为与特征函数比值符号变化相匹配的阶梯函数。
• 采用普吕弗代换分析特征函数的交错性，并推导相位与振幅函数的微分方程。
• 通过证明关于 $\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 在对 $q$ 和 $p\rho$ 的特定结构假设下，特征值比上界 $\lambda_n / \lambda_m \leq (n/m)^2$ 是否可推广至一般斯图姆-利乌维尔问题？
• RQ3 在特征值比上界 $\lambda_n / \lambda_m \leq (n/m)^2$ 中，等号成立的条件是什么？
• RQ4 通过将问题转化为具有阶梯函数密度的弦方程的方法，是否对证明精确的特征值比估计有效？

主要发现

• 对于具有狄利克雷边界条件和单峰密度 $\rho$ 的振动弦方程 $-y'' = \lambda \rho(x) y$，最优上界 $\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$ 为常数时成立。
• 通过逆利乌维尔代换将问题转化为弦方程的方法保持了特征值比的结构，并可约化至已知的单峰情形。
• 证明表明，当密度为阶梯函数时，特征值比达到最大值，且随着密度偏离此形式，该比值减小。