[论文解读] Courant-sharp eigenvalues of compact flat surfaces: Klein bottles and cylinders

Pierre Bérard, Bernard Helffer+1 more|arXiv (Cornell University)|Jul 17, 2020

Geometric Analysis and Curvature Flows参考文献 22被引用 1

一句话总结

本文通过Pleijel方法结合Weyl渐近公式与Faber-Krahn型不等式，确定了由正方形环面导出的平坦克莱因瓶以及半径r = 1/2或r = 1的平坦圆柱面(0, π) × S¹_r的Courant-sharp特征值。结果表明，两种情形下仅有第一和第二特征值为Courant-sharp，从而证实了这些具有非平凡拓扑的紧致平坦曲面具有尖锐的谱划分性质。

ABSTRACT

The question of determining for which eigenvalues there exists an eigenfunction which has the same number of nodal domains as the label of the associated eigenvalue (Courant-sharp property) was motivated by the analysis of minimal spectral partitions. In previous works, many examples have been analyzed corresponding to squares, rectangles, disks, triangles, tori, M\"obius strips,\ldots . A natural toy model for further investigations is the flat Klein bottle, a non-orientable surface with Euler characteristic $0$, and particularly the Klein bottle associated with the square torus, whose eigenvalues have higher multiplicities. In this note, we prove that the only Courant-sharp eigenvalues of the flat Klein bottle associated with the square torus (resp. with square fundamental domain) are the first and second eigenvalues. We also consider the flat cylinders $(0,\pi) imes \mathbb{S}^1_r$ where $r \in \{0.5,1\}$ is the radius of the circle $\mathbb{S}^1_r$, and we show that the only Courant-sharp Dirichlet eigenvalues of these cylinders are the first and second eigenvalues.

研究动机与目标

• 确定紧致平坦曲面上哪些特征值存在恰好具有与其标签相同数量节点域的特征函数（即Courant-sharp特征值）。
• 将此前关于可定向曲面（如环面、圆盘）的Courant-sharp特征值结果，拓展至非可定向的紧致平坦曲面，特别是克莱因瓶与圆柱面。
• 分析由正方形环面构造的平坦克莱因瓶以及半径为r = 1/2和r = 1的平坦圆柱面的谱性质，其中特征值具有更高重数。
• 将Pleijel方法应用于非可定向曲面及带边界的曲面，利用Weyl计数与等周不等式，将Courant-sharp特征值的搜索范围限制为有限集合。

提出的方法

• 通过结合Weyl特征值计数函数WM(λ)的渐近公式与小区域的Faber-Krahn型不等式，对小面积区域ω，确保δ₁(ω) ≥ (1−ε)²πj₀,₁²/|ω|，从而改进Pleijel方法。
• 使用圆柱面的Weyl计数函数WCr(λ) = rπ/2 λ + O(√λ)，并推导出λk/k与k关于λk的界限，以限制可能的Courant-sharp特征值。
• 应用在Cr中满足|ω| ≤ 4πr²的区域ω的等周不等式δ₁(ω) ≥ πj₀,₁²/|ω|，该不等式源于平坦圆柱面中的欧氏等周不等式。
• 利用已知重数的特征空间中的谱分析，特别关注重数大于1的特征值的节点域计数。
• 利用Courant-sharp特征值满足k = WCr(λk)的事实，并结合推导出的不等式，对λk进行上界估计。
• 对r = 1/2与r = 1进行显式计算与表格分析，检查k ≥ π/(2r)时的特征值节点域计数，确认仅有λ₁与λ₂满足k个节点域。

实验结果

研究问题

• RQ1 与正方形环面相关的平坦克莱因瓶Kc（c ∈ {1, 2}）中，哪些特征值是Courant-sharp，即存在恰好具有与其标签相同数量节点域的特征函数？
• RQ2 对于r = 1/2与r = 1的平坦圆柱面(0, π) × S¹_r，其Dirichlet特征值中哪些是Courant-sharp？
• RQ3 Pleijel方法能否有效适配至非可定向曲面及带边界的曲面，以确定有限多个Courant-sharp特征值？
• RQ4 在平坦紧致曲面中，特征值重数与特征空间中的节点模式如何影响Courant-sharp性质？

主要发现

• 平坦克莱因瓶Kc（c ∈ {1, 2}）中唯一的Courant-sharp特征值为第一与第二特征值λ₁与λ₂。
• 对于半径r = 1/2的平坦圆柱面Cr，唯一的Courant-sharp Dirichlet特征值为λ₁与λ₂，且任意Courant-sharp的k满足λk(C₁/₂) ≤ 76.25。
• 对于半径r = 1的平坦圆柱面Cr，唯一的Courant-sharp Dirichlet特征值为λ₁与λ₂，且任意Courant-sharp的k满足λk(C₁) ≤ 42.40。
• 特征值λ₃(C₁/₂) = λ₄(C₁/₂) = 5的重数为2，其对应特征函数仅有2个节点域，因此不是Courant-sharp。
• 特征值λ₅(C₁) = … = λ₈(C₁) = 5的重数为4，其特征函数最多有4个节点域，因此不是Courant-sharp。
• 分析结果确认，在克莱因瓶或圆柱面情形下，任何超过第二的特征值均不可能为Courant-sharp，尽管其重数较高。