[논문 리뷰] 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)|2000. 08. 11.

Analytic and geometric function theory인용 수 7

한 줄 요약

이 논문은 n차원 구면 $ℝ^n$ 의 반구면에서 도메인의 첫 번째 및 두 번째 딜리클레 고유값의 비율에 대한 날카운 상계를 확립하며, 대칭 재배열과 특수 함수 분석을 통해 이 비율이 지오데식 볼에서 최대가 됨을 증명한다. 주요 결과는 유클리드 기하학에서의 페이인–포리아–베인버거 추측을 구면 기하학으로 확장하며, $λ_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 를 보여주는데, 여기서 $B_{\lambda_1}$ 는 $λ_1$ 이 $Ω$ 와 같은 지오데식 볼이다.

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.

연구 동기 및 목표

• 유클리드 공간에서의 페이인–포리아–베인버거 추측을 n차원 구면 $ℝ^n$ 의 반구면에 있는 도메인으로 확장하는 것.
• 고정된 $\lambda_1$ 를 가진 반구면 내 모든 도메인 중에서 지오데식 볼이 $\lambda_2$ 를 최대화함을 증명하여, 파벨–크라른 불등식의 구면 해석을 확립하는 것.
• 지오데식 반경 $\theta_1$ 에 대한 지오데식 볼에서의 $\lambda_2/\lambda_1$ 의 단조성과 점점 가까워지는 행동을 분석하는 것.
• 대칭 재배열과 베셀 함수의 성질을 이용하여 고유값에 대한 등주 불등식을 구면 설정으로 일반화하는 것.

제안 방법

• 도메인 $Ω$ 를 동일한 부피를 가진 지오데식 볼 $Ω^\star$ 로 옮기는 $ℝ^n$ 상에서의 대칭 재배열을 사용하여 고유값 성질을 유지한다.
• 지오데식 볼의 첫 번째 고유함수로부터 유도된 함수 $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 반구면에 있는 $ℝ^n$ 의 도메인에 대해 첫 번째 및 두 번째 딜리클레 고유값의 비율 $\lambda_2/\lambda_1$ 에 대한 날카운 상계는 무엇인가요?
• RQ2 지오데식 반경 $\theta_1$ 에 따라 $ℝ^n$ 의 지오데식 볼에서 비율 $\lambda_2/\lambda_1$ 는 어떻게 행동합니까?
• RQ3 고정된 $\lambda_1$ 를 가진 반구면에 있는 모든 도메인 중에서 지오데식 볼이 $\lambda_2$ 를 최대화합니까?
• RQ4 대칭 재배열과 특수 함수 이론을 사용하여 페이인–포리아–베인버거 추측을 구면 설정으로 일반화할 수 있습니까?
• RQ5 도메인 $Ω$ 가 기하학적으로 어떤 조건을 만족할 경우, $|\Omega| > \frac{1}{2}|\mathbb{S}^n|$ 이더라도 부등식 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 가 성립합니까?

주요 결과

• 반구면에 있는 임의의 도메인 $Ω$ 에 대해 비율 $\lambda_2/\lambda_1$ 는 동일한 부피를 가진 지오데식 볼 $Ω^\star$ 의 비율에 의해 상한으로 제한되며, 즉 $\lambda_2(\Omega)/\lambda_1(\Omega) \leq \lambda_2(\Omega^\star)/\lambda_1(\Omega^\star)$ 를 만족한다.
• $\lambda_2/\lambda_1$ 는 $ℝ^n$ 의 지오데식 볼에서 지오데식 반경 $\theta_1$ 에 따라 단조적으로 증가하며, $\theta_1 = 0$ 에서는 $(j_{n/2,1}/j_{n/2-1,1})^2$ 에서부터 $\theta_1 = \pi/2$ 에서는 $2(n+1)/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|$ 인 경우에도 성립한다.
• $\u211d^n$ 의 지오데식 볼의 고유값 $\lambda_1$ 과 $\lambda_2$ 는 지오데식 반경 $\theta_1$ 에 대해 엄격히 단조적이다. $\theta_1$ 가 증가함에 따라 $\lambda_1$ 는 감소하고 $\lambda_2$ 는 증가한다.
• 등호 $\lambda_2(\Omega) \leq \lambda_2(B_{\lambda_1})$ 는 $Ω$ 가 실제로 지오데식 볼일 때에만 성립하며, 이는 이 고유값 최대화 문제에서 볼의 극값 성질을 확인한다.