[논문 리뷰] On Exact Pleijel's Constant for Some Domains

Vladimir Bobkov|arXiv (Cornell University)|2018. 01. 01.

Advanced Differential Equations and Dynamical Systems참고 문헌 8인용 수 2

한 줄 요약

이 논문은 고유함수의 노드 도메인의 점근적 행동을 분석하여 평면 원판과 그와 관련된 도메인, 즉 원형 부채꼴, 직사각형, 링, 그리고 애너귤라 부채꼴에 대해 정확한 Pleijel 상수를 유도한다. 주요 결과는 Bessel 함수를 포함하는 초월 방정식의 최대값에서 유도된 단위 원판의 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 상수를 갖는 도메인의 존재성에 관한 열린 문제를 해결하는 것.
• 노드 도메인 비율의 수치 시뮬레이션에서 관찰되는 느린 수렴 현상에 대한 이론적 기초를 제공하는 것.

제안 방법

• 원, 부채꼴, 직사각형, 링, 애너귤라 부채꼴에 대해 고유값과 고유함수를 명시적으로 특성화하기 위해 변수 분離법를 사용한다.
• 대규모 n에 대해 고유값 인덱스 n과 고유값 λn 사이의 관계를 설정하기 위해 Weyl 법칙을 적용하여 노드 도메인 수의 점근적 분석을 가능하게 한다.
• 원의 경우, Bessel 함수를 포함하는 초월 방정식 tanθ − θ = πx (θ ∈ (0, π/2))를 유도하고, Pleijel 상수를 8 sup_{x>0} {x (cos θ(x))²}로 표현한다.
• 링과 애너귤라 부채꼴의 경우, 제1종과 제2종 Bessel 함수의 곱의 영역에서의 영점의 점근적 행동을 통해 Pleijel 상수를 특성화한다.
• Bessel 함수의 영점에 대한 점근적 근사(예: McMahon의 공식)를 사용하여 고유값과 노드 도메인 수의 증가를 분석한다.
• 고유값이 1 또는 2 이하의 중복도를 갖는 조건을 설정하여 점근적 영역에서의 노드 도메인 수 계산의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 이전에 상한값만 알려진 평면 원판의 정확한 Pleijel 상수는 무엇인가요?
• RQ2 직사각형 외의 도메인, 예를 들어 원형 부채꼴이나 애너귤라 영역에 대해 Pleijel 상수를 명시적으로 계산할 수 있는가요?
• RQ3 링과 애너귤라 부채꼴에서의 노드 도메인 수에 영향을 주는 Bessel 함수의 곱의 영점의 점근적 성질은 무엇인가요?
• RQ4 고유값이 중복도 1을 갖는 조건(예: 각도 α, 내부 반지름 r 등 도메인 매개변수에 따라)은 무엇이며, 이 조건이 정확한 Pleijel 상수 계산을 가능하게 하는가요?
• RQ5 내부 반지름 r → 0일 때 링의 Pleijel 상수가 원판의 것에 수렴하는가? r → 1일 때는 직사각형의 것에 수렴하는가?

주요 결과

• 단위 원판의 Pleijel 상수는 정확히 0.4613019...이며, 이는 tanθ − θ = πx를 만족하는 θ(x)에 대해 8 sup_{x>0} {x (cos θ(x))²}로 주어진다.
• α = π/m (m ∈ ℕ)인 원형 부채꼴 Σα에 대해, 모든 고유값이 중복도 1을 갖는 한, 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번째 양의 영점이다.
• 중복도 1인 고유값을 갖는 애너귤라 부채꼴 Σα_r에 대해, Pleijel 상수는 해당 링과 동일하다: Pl(Σα_r) = Pl(Ar).
• 수치적 증거는 Pl(Ar) → Pl(B) (r → 0) 및 Pl(Ar) → 2/π (r → 1)임을 확인하며, 이는 이론적 기대와 일치한다.