[论文解读] Eigenvalue estimates for a class of elliptic differential operators in divergence form

José N. V. Gomes, Juliana F. R. Miranda|arXiv (Cornell University)|Jun 30, 2016

Advanced Mathematical Modeling in Engineering参考文献 22被引用 14

一句话总结

本文在完备黎曼流形上有界区域上，针对一类散度型二阶椭圆微分算子（特别是漂移拉普拉斯算子）建立了新的特征值估计。通过利用威爾（Weyl）的渐近公式，并扩展许和楊（Cheng and Yang）的技术，作者推导出前 $k$ 个特征值平均值的下界，并证明了一个第二类杨型不等式，推广了此前在球面和复射影空间上的结果。

ABSTRACT

We compute estimates for eigenvalues of a class of linear second-order elliptic differential operators in divergence form (with Dirichlet boundary condition) on a bounded domain in a complete Riemannian manifold. Our estimates are based upon the Weyl's asymptotic formula. As an application, we find a lower bound for the mean of the first k eigenvalues of the drifting Laplacian. In particular, we have extended for this operator a partial solution given by Cheng and Yang for the generalized conjecture of P\'olya. We also derive a second-Yang type inequality due to Chen and Cheng, and other two inequalities which generalize results by Cheng and Yang obtained for a domain in the unit sphere and for a domain in the projective space.

研究动机与目标

• 将有界区域上黎曼流形中漂移拉普拉斯算子的特征值估计，从此前在球面和射影空间上的已知结果进一步推广。
• 建立漂移拉普拉斯算子前 $k$ 个特征值平均值的下界，推广波利亞广义猜想的部分解法。
• 推导一个第二类杨型不等式，以及两个新的特征值不等式，推广许与杨（Cheng and Yang）的结果。
• 通过威爾渐近公式与浸入流形上的几何分析技术，统一并扩展现有的特征值估计。
• 通过改进的特征值泛函，提供涉及曲率、平均曲率与加权梯度项的精确数量估计。

提出的方法

• 针对有界区域 $\Omega \subset M$ 上的一般椭圆算子 $L = \text{div}(T(\nabla u)) - \langle \nabla \eta, T(\nabla u) \rangle$ 的散度型形式，推导其特征值估计。
• 应用威爾渐近公式，将第 $k$ 个特征值与体积、维度等几何不变量联系起来。
• 引入一个改进的特征值 $\upsilon_i = \lambda_i + \frac{n^2 H_0^2 + \eta_0^2 + 2\bar{\eta}_0}{4}$，以吸收曲率与势能项的影响。
• 利用带测度 $dm = e^{-\eta} dM$ 的加权流形的散度定理，处理 $\eta$-散度结构。
• 采用希尔伯特-施密特范数与迹不等式，通过算子内在几何结构控制特征值间隔。
• 应用关于 $\upsilon_{k+1}$ 的二次多项式不等式，推导出第 $k+1$ 个特征值关于前 $k$ 个特征值的上界。

实验结果

研究问题

• RQ1 能否将漂移拉普拉斯算子的特征值估计推广至单位球面与复射影空间之外？
• RQ2 在黎曼流形有界区域上，漂移拉普拉斯算子前 $k$ 个特征值平均值的最优下界是什么？
• RQ3 如何利用威爾渐近公式，将第二类杨型不等式推广至漂移拉普拉斯算子？
• RQ4 平均曲率 $H_0$ 与加权梯度 $\eta_0$ 在浸入子流形的特征值估计中起什么作用？
• RQ5 能否以前 $k$ 个特征值的方差与均值表示特征值间隔 $\upsilon_{k+1} - \upsilon_k$ 的上界？

主要发现

• 本文证明了前 $k$ 个特征值平均值的下界：$\frac{1}{k} \sum_{i=1}^k \upsilon_i \geq \frac{n}{\sqrt{(n+2)(n+4)}} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$。
• 建立了第二类杨型不等式：$\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{i=1}^k \upsilon_i$。
• 推导出两个新不等式，推广许与杨（Cheng and Yang）的结果：$\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{2}{n}\right) \sum_{i=1}^k \upsilon_i + \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsigma_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$。
• 特征值间隔满足：$\upsilon_{k+1} - \upsilon_k \leq 2 \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsilon_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$。
• 通过威爾公式确认了特征值的渐近行为，表明 $\lim_{k \to \infty} \frac{1}{k} \sum_{i=1}^k \upsilon_i / k^{2/n} = \frac{n}{(n+2)} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$。
• 结果在如下意义下是精确的：在空间形式的区域中，等号在极限下趋近成立，且边界与已知的 $S^n$ 和 $\mathbb{C}P^n$ 情况一致。