[论文解读] Inequalities for eigenvalues of the buckling problem of arbitrary order

Qing-Ming Cheng, Xuerong Qi+2 more|arXiv (Cornell University)|Oct 12, 2010

Composite Material Mechanics参考文献 27被引用 4

一句话总结

该论文为欧氏空间和球面上任意阶数 l ≥ 2 的高阶屈曲问题的第 k 个特征值建立了普遍不等式。通过将 Cheng-Yang 针对 l=2 的方法推广，引入一个正的非增序列 {δ_i}，得到了一个精确的不等式，其结果与区域无关，从而解决了谱几何中高阶屈曲问题长期存在的一个难题。

ABSTRACT

This paper studies eigenvalues of the buckling problem of arbitrary order on bounded domains in Euclidean spaces and spheres. We prove universal bounds for the k-th eigenvalue in terms of the lower ones independent of the domains. Our results strengthen the recent work in [28] and generalize Cheng-Yang's recent estimates [16] on the buckling eigenvalues of order two to arbitrary order.

研究动机与目标

• 将此前仅适用于二阶屈曲问题的普遍特征值不等式推广至任意阶数 l ≥ 2 的屈曲问题。
• 建立第 k 个特征值 Λ_{k+1} 关于前 k 个特征值的界，且该界与区域 Ω 无关。
• 将 Cheng-Yang 针对 l=2 的不等式 (1.6) 及其改进估计 (1.7) 推广至任意阶数 l。
• 为欧氏空间与单位球面 S^n 中的特征值估计提供统一框架。
• 解决 Payne、Pólya 和 Weinberger 提出的关于高阶屈曲特征值普遍不等式的开放问题。

提出的方法

• 推导出 l 阶屈曲问题第 k 个特征值的全新普遍不等式：(−Δ)^l u = −ΛΔu 在 Ω 内成立，且在 ∂Ω 上满足 u = ∂u/∂ν = … = ∂^{l−1}u/∂ν^{l−1} = 0。
• 采用变分法，构造精心设计的试验函数，并利用 Rayleigh-Ritz 原理估计特征值间隔。
• 引入一个正的非增序列 {δ_i} 以优化不等式，从而得到平方特征值差的加权和。
• 应用几何恒等式与涉及坐标函数和特征函数梯度的积分估计，适用于 Ω ⊂ R^n。
• 利用恒等式 ∑_{α=1}^{n+1} ||⟨∇x_α, ∇u_i⟩||² = 1 控制梯度的 L² 范数。
• 通过分部积分和柯西-施瓦茨型不等式，结合拉普拉斯与海森矩阵项的估计，以控制特征值间隔。

实验结果

研究问题

• RQ1 能否为任意阶数 l ≥ 2 的 l 阶屈曲问题的第 k 个特征值建立一个与区域 Ω 无关的普遍不等式？
• RQ2 当 l > 2 时，特征值间隔 Λ_{k+1} − Λ_i 如何依赖于较低阶特征值，且能否获得普遍的界？
• RQ3 Cheng 和 Yang 针对 l=2 所采用的方法能否推广至任意阶数 l ≥ 2，以获得比现有估计更优的界？
• RQ4 环境空间的曲率（R^n 与 S^n）在这些普遍不等式结构中起什么作用？
• RQ5 能否推导出一个涉及自由正序列 {δ_i} 的精确普遍界，以优化特征值间隔的估计？

主要发现

• 论文证明了在 R^n 中 l 阶屈曲问题的普遍不等式：n∑_{i=1}^k (Λ_{k+1} − Λ_i)^2 ≤ ∑_{i=1}^k δ_i (Λ_{k+1} − Λ_i)^2 (2l² + (n − 14/3)l + 8/3 − n) Λ_i^{(l−2)/(l−1)} + ∑_{i=1}^k (1/δ_i) (Λ_{k+1} − Λ_i) Λ_i^{1/(l−1)}，其中 {δ_i} 为任意正的非增序列。
• 当 l=2 时，该不等式退化为 Cheng-Yang 的结果 (1.7)，验证了与已有工作的相容性。
• 通过将 δ_i 最优选择为 δ_i = [∑(Λ_{k+1} − Λ_i) Λ_i^{1/(l−1)} / ( (2l² + (n−14/3)l + 8/3−n) ∑(Λ_{k+1} − Λ_i)^2 Λ_i^{(l−2)/(l−1)} ) ]^{1/2}，不等式可推出 ∑(Λ_{k+1} − Λ_i)^2 ≤ [4(2l² + (n−14/3)l + 8/3−n)] / n² × ∑(Λ_{k+1} − Λ_i) Λ_i^{1/(l−1)}
• 该界是精确的，且与区域 Ω 无关，因此具有真正的普遍性。
• 该结果强化了文献 [28] 中的先前估计，并将 Payne-Pólya-Weinberger 型不等式推广至高阶问题。
• 该方法在欧氏空间与单位球面 S^n 上均适用，且在球面情形下也导出了类似的界。