[论文解读] On Exact Pleijel's Constant for Some Domains

Vladimir Bobkov|arXiv (Cornell University)|Jan 1, 2018

Advanced Differential Equations and Dynamical Systems参考文献 8被引用 2

一句话总结

本文通过分析特征函数的节点域渐近行为，推导出平面圆盘及其相关区域（包括圆扇形、矩形、圆环和环形扇形）的精确 Pleijel 常数。关键结果是单位圆盘的 Pleijel 常数为 0.4613019...，该结果由一个涉及贝塞尔函数的超越方程的上确界导出，解决了长期以来关于非矩形区域精确值的开放问题。

ABSTRACT

We provide an explicit expression for the Pleijel constant for the planar disk and some of its sectors, as well as for $N$-dimensional rectangles. In particular, the Pleijel constant for the disk is equal to 0.4613019... Also, we characterize the Pleijel constant for some rings and annular sectors in terms of asymptotic behavior of zeros of certain cross-products of Bessel functions.

研究动机与目标

• 确定平面圆盘及其相关区域的 Pleijel 常数的精确值，此前仅知其上界。
• 通过表征非矩形、旋转对称区域的 Pleijel 常数，将节点域渐近性质的理解从矩形扩展至更广范围。
• 解决 Bonnaillie-No"el 等人提出的关于存在可显式计算 Pleijel 常数的区域的开放问题。
• 为数值模拟中节点域比例收敛缓慢的现象提供理论基础。

提出的方法

• 使用分离变量法，显式刻画圆盘、扇形、矩形、圆环和环形扇形的特征值与特征函数。
• 应用 Weyl 公式，将特征值指标 n 与特征值 λn 关联，从而实现对节点域数量的渐近分析。
• 对于圆盘，推导出一个涉及贝塞尔函数的超越方程：tanθ − θ = πx，其中 θ ∈ (0, π/2)，并将 Pleijel 常数表示为 8 sup_{x>0} {x (cos θ(x))²}。
• 对于圆环和环形扇形，根据第一类与第二类贝塞尔函数的乘积零点的渐近行为，刻画 Pleijel 常数。
• 利用贝塞尔函数零点的渐近逼近（如 McMahon 公式）分析特征值和节点域数量的增长。
• 建立特征值重数为一或至多为二的条件，确保在渐近区域内节点域计数的有效性。

实验结果

研究问题

• RQ1 在先前仅知上界的情况下，平面圆盘的 Pleijel 常数的精确值是多少？
• RQ2 除了矩形外，是否可以显式计算出如圆扇形或环形区域的 Pleijel 常数？
• RQ3 贝塞尔函数乘积零点的渐近性质如何与圆环和环形扇形中的节点域数量相关联？
• RQ4 在何种区域参数条件下（如角度 α、内半径 r），特征值具有重数一，从而可实现 Pleijel 常数的精确计算？
• RQ5 当内半径 r → 0 时，圆环的 Pleijel 常数是否趋近于圆盘的值？当 r → 1 时，是否趋近于矩形的值？

主要发现

• 单位圆盘的 Pleijel 常数精确为 0.4613019...，表达式为 8 sup_{x>0} {x (cos θ(x))²}，其中 θ(x) 是方程 tanθ − θ = πx 的解。
• 对于角度为 α = π/m（m ∈ ℕ）的圆扇形 Σα，若所有特征值重数为一，则其 Pleijel 常数等于完整圆盘的值。
• 对于 N 维矩形，若边长平方比为无理数，则 Pleijel 常数为 ρ(N) = 2NΓ(N/2 + 1)/(π^{N/2} N^{N/2})，严格小于一般上界 γ(N)。
• 对于内半径 r ∈ (0,1) 的环形区域 Ar，Pleijel 常数表示为 Pl(Ar) = 8/(1−r²) sup_{x>0} {x lim sup_{k→∞} k² / a²_{kx,k}}，其中 a_{kx,k} 是函数 J_{kx}(rz)Y_{kx}(z) − J_{kx}(z)Y_{kx}(rz) 的第 k 个正零点。
• 对于特征值重数为一的环形扇形 Σα_r，其 Pleijel 常数等于对应圆环的值：Pl(Σα_r) = Pl(Ar)。
• 数值证据表明，当 r → 0 时 Pl(Ar) → Pl(B)，当 r → 1 时 Pl(Ar) → 2/π，与理论预期一致。