[논문 리뷰] On the Hardy-Poincaré inequality with boundary singularities

Mouhamed Moustapha Fall|arXiv (Cornell University)|2010. 08. 27.

Nonlinear Partial Differential Equations참고 문헌 9인용 수 4

한 줄 요약

이 논문은 N≥2인 매끄럽고 유계인 도메인 Ω⊂ℝ^N에서 경계에 특이성을 가진 가중치 |x|^{-2}를 갖는 하디-포인카레 부등식에 대해 유한한 임계 임계값 λ*∈ℝ의 존재성을 확립한다. 이는 최소화자가 존재하는 것과 동시에 λ > λ*일 때에만 성립함을 보여준다. 주요 결과는 열린 문제를 해결하여 λ*가 항상 유한하며, 원점에서 음의 곡률을 가진 도메인에서도 λ*에서 최소화자가 존재하지 않음을 증명함으로써 해결한다.

ABSTRACT

Let $Ø$ be a smooth bounded domain in $\R^N$ with $N\ge 1$. In this paper we study the Hardy-Poincaré inequality with weight function singular at the boundary of $Ø$. In particular we provide sufficient and necessary conditions on the existence of minimizers.

연구 동기 및 목표

• 매끄럽고 유계인 도메인에서 0∈∂Ω에 경계 특이성이 존재할 경우 임계 임계값 λ*가 항상 유한한지 여부를 해결하는 것.
• |x|^{-2} 가중치를 갖는 가중치 하드이-포인카레 상수의 최소화자가 존재하거나 존재하지 않는 정확한 조건을 규명하는 것.
• λ*∈ℝ임을 증명하고, 원점에서 주곡률가 음수인 도메인에서도 λ*에서 최적해가 존재하지 않음을 보여주는 것.
• 거리가 ∂Ω의 부분다양체에 의존하는 특이 가중치를 갖는 가변 문제로 분석을 일반화하는 것.

제안 방법

• 경계 근처에서 페르미 좌표를 사용하여 기하를 선형화하고, 곡률 보정을 포함한 법선 좌표계에서 라플라스 연산자를 표현한다.
• 특이성을 제어하기 위해 개선된 상수를 갖는 정밀한 국소 하드이 부등식 (1.3)을 적용하여 λ*∈ℝ임을 증명한다.
• 방정식 -Δu - (N²/4)|x|^{-2}u = λu의 초해결을 위한 최대원리 접근법을 사용하여, H¹₀(Ω)∩C(Ω) 내에서 비자명한 음이 아닌 초해결이 λ*에서 존재하지 않음을 보인다.
• 거품 함수 w_a를 구축하여 거품 함수의 거듭제곱 형태의 감쇠를 이용해, 임의의 비자명한 초해결이 u/|x|의 L² 적분 가능성 위반을 일으키며 모순을 유도함을 보인다.
• 변분 방법과 컴팩턴스 추론을 사용하여 λ > λ*일 때 최소화자가 존재함을 증명하며, 엄밀한 부등식 J_λ < N²/4에 의존한다.
• 고차원 부분다양체 Σ_k⊂∂Ω에 대해 분석을 일반화하기 위해, 거리 함수 dist(x,Σ_k)^{-2}에 의존하는 가중치 상수를 도입하고 기하적 적분 I_k를 통해 임계 임계값을 분석한다.

실험 결과

연구 질문

• RQ1 N≥2인 매끄럽고 유계인 도메인 Ω⊂ℝ^N에서 0∈∂Ω일 경우 임계 임계값 λ*가 항상 유한한가?
• RQ2 원점에서 음의 곡률을 가진 도메인에서도 |x|^{-2} 가중치를 갖는 하디-포인카레 상수의 최소화자가 λ*에서 존재하는가?
• RQ3 최대원리 및 거품 함수 기법을 통해 λ*에서 최적해의 부재를 증명할 수 있는가?
• RQ4 최소화자의 존재는 국소적으로 0에서의 곡률이 아닌 도메인의 전반적인 기하에 따라 어떻게 달라지는가?
• RQ5 결과를 codimension k인 부분다양체 Σ_k⊂∂Ω에 기반한 특이 가중치로 일반화할 수 있는가?

주요 결과

• 모든 매끄럽고 유계인 도메인 Ω⊂ℝ^N (N≥2)에서 0∈∂Ω일 경우 임계 임계값 λ*(Ω)는 항상 유한하며 ℝ에 속한다.
• 하디-포인카레 상수의 최소화자는 λ > λ*(Ω)일 때에만 존재하며, 이는 이전 연구에서 열려 있던 문제를 해결한다.
• H¹₀(Ω)∩C(Ω) 내에서 방정식 -Δu - (N²/4)|x|^{-2}u = λ* u에 대해 비자명한 음이 아닌 초해결이 존재하지 않으며, 이는 λ*에서 최적해가 존재하지 않음을 의미한다.
• 상수 μ_λ(Ω)의 상한은 정확히 N²/4이며, λ→λ^{*+}일 때의 극한에서 도달되며, 이 값은 반공간 ℝ^N_+의 하드이 상수와 같다.
• 원점에서 음의 주곡률을 가진 도메인에서도 하드이 상수는 여전히 N²/4이므로, 최소화자의 존재는 국소 곡률이 아닌 전반적인 기하에 의해 결정됨을 보여준다.
• k차원 부분다양체 Σ_k⊂∂Ω로 일반화된 결과는, 거리 함수 dist(x,Σ_k)^{-2}에 의존하는 상수의 임계 임계값이 유한하며, 최적해가 존재하는 것은 λ > λ*일 때에만 성립한다. 이때 λ*는 유한하며, I_k < ∞일 때에만 성립한다.