[论文解读] A Sharp Bound for the Ratio of the First Two Dirichlet Eigenvalues of a Domain in a Hemisphere of S^n

Mark S. Ashbaugh, Rafael D. Benguria|arXiv (Cornell University)|Aug 11, 2000

Analytic and geometric function theory被引用 7

一句话总结

本文建立了在 $ n $ 维球面 $\mathbb{S}^n$ 的一个半球面上，任意区域的第一和第二 Dirichlet 特征值之比的精确上界，通过对称重排和特殊函数分析，证明该比值在测地线球面上达到最大。主要结果将 Payne–Pólya–Weinberger 猜想推广至球面几何，表明 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$，其中 $B_{\lambda_1}$ 是与 $\Omega$ 具有相同第一特征值的测地线球面。

ABSTRACT

For a domain $Ω$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $λ_2/λ_1(Ω) \le λ_2/λ_1(Ω^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $Ω^{\star}$, the symmetric rearrangement of $Ω$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $Ω$. We also show that $λ_2/λ_1$ for geodesic balls of geodesic radius $θ_1$ less than or equal to $π/2$ is an increasing function of $θ_1$ which runs between the value $(j_{n/2,1}/j_{n/2-1,1})^2$ for $θ_1=0$ (this is the Euclidean value) and $2(n+1)/n$ for $θ_1=π/2$. Here $j_{ν,k}$ denotes the $k^{th}$ positive zero of the Bessel function $J_ν(t)$. This result generalizes the Payne-Pólya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of $\SS^n$ and having a fixed value of $λ_1$ the one with the maximal value of $λ_2$ is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for $λ_2/λ_1$. Various other results for $λ_1$ and $λ_2$ of geodesic balls in $\SS^n$ are proved in the course of our work.

研究动机与目标

• 将 Payne–Pólya–Weinberger 猜想在特征值比方面从欧几里得空间推广至 $ n $ 维球面 $\mathbb{S}^n$ 的一个半球面上的区域。
• 证明在 $\mathbb{S}^n$ 的一个半球面上，若固定 $\lambda_1$，则测地线球面使 $\lambda_2$ 最大化，从而建立 Faber–Krahn 不等式在球面几何中的类比。
• 分析 $\lambda_2/\lambda_1$ 在 $\mathbb{S}^n$ 中测地线球面上的单调性与渐近行为，特别是作为测地线半径 $\theta_1$ 的函数。
• 通过使用对称重排和贝塞尔函数的性质，将等周特征值不等式推广至球面情形，证明精确上界。

提出的方法

• 在 $\mathbb{S}^n$ 上使用函数的对称重排，将区域 $\Omega$ 转换为体积相等的测地线球面 $\Omega^\star$，以保持特征值性质。
• 应用 $\mathbb{S}^n$ 上 Chiti 比较结果的类比，关联特征函数及其重排的积分。
• 利用从测地线球面的第一特征函数导出的函数 $g(\theta)$ 和 $B(\theta)$ 的单调性，建立关键不等式。
• 使用 $\mathbb{S}^n$ 上拉普拉斯算子的特征值缩放与区域单调性，其中测地线球面的 $\lambda_1$ 随半径严格减小。
• 分析当 $\theta_1$ 从 $0$ 变化至 $\pi/2$ 时，测地线球面上 $\lambda_2/\lambda_1$ 的行为，表明其从欧几里得值 $(j_{n/2,1}/j_{n/2-1,1})^2$ 单调增加至 $2(n+1)/n$。
• 通过重排和单调性，建立不等式链 $\int_{\Omega} B(\theta)u_1^2 d\sigma \leq \int_{B_{\lambda_1}} B(\theta)v_1^2 d\sigma$ 和 $\int_{\Omega} g(\theta)^2 u_1^2 d\sigma \geq \int_{B_{\lambda_1}} g(\theta)^2 v_1^2 d\sigma$。

实验结果

研究问题

• RQ1 在 $\mathbb{S}^n$ 的一个半球面上，任意区域的第一和第二 Dirichlet 特征值之比 $\lambda_2/\lambda_1$ 的精确上界是什么？
• RQ2 在 $\mathbb{S}^n$ 中，测地线球面的比值 $\lambda_2/\lambda_1$ 作为其测地线半径 $\theta_1$ 的函数如何变化？
• RQ3 在 $\mathbb{S}^n$ 的一个半球面上，若固定 $\lambda_1$，测地线球面是否使 $\lambda_2$ 最大化？
• RQ4 能否通过使用对称重排和特殊函数理论，将 Payne–Pólya–Weinberger 猜想推广至球面情形？
• RQ5 在何种几何条件下，即使 $|\Omega| > \frac{1}{2}|\mathbb{S}^n|$，不等式 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 仍然成立？

主要发现

• 对于 $\mathbb{S}^n$ 半球面上的任意区域 $\Omega$，其特征值比 $\lambda_2/\lambda_1$ 的上界不超过体积相等的测地线球面 $\Omega^\star$ 的比值，即 $\lambda_2(\Omega)/\lambda_1(\Omega) \leq \lambda_2(\Omega^\star)/\lambda_1(\Omega^\star)$。
• $\mathbb{S}^n$ 中测地线球面的 $\lambda_2/\lambda_1$ 随测地线半径 $\theta_1$ 单调递增，从 $\theta_1 = 0$ 时的 $(j_{n/2,1}/j_{n/2-1,1})^2$ 增加至 $\theta_1 = \pi/2$ 时的 $2(n+1)/n$。
• 在 $\mathbb{S}^n$ 的一个半球面上，若固定 $\lambda_1$，则具有该 $\lambda_1$ 的测地线球面使 $\lambda_2$ 最大化，即 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$。
• 不等式 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 不仅对半球面上的区域成立，也对满足“超出量小于等于亏量性质”的区域成立，其中 $k \in [\cos\theta_1(B_{\lambda_1}), 1]$，即使 $|\Omega| > \frac{1}{2}|\mathbb{S}^n|$ 亦然。
• $\mathbb{S}^n$ 中测地线球面的特征值 $\lambda_1$ 和 $\lambda_2$ 关于测地线半径 $\theta_1$ 严格单调：$\lambda_1$ 随 $\theta_1$ 增大而严格减小，$\lambda_2$ 严格增大。
• 在 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 中，等号成立当且仅当 $\Omega$ 本身为测地线球面，从而确认了球面在该特征值最大化问题中的极值性。