[논문 리뷰] Hardy and Hardy-Sobolev inequalities on Riemannian manifolds

El Hadji Abdoulaye Thiam|arXiv (Cornell University)|2015. 04. 04.

Nonlinear Partial Differential Equations참고 문헌 19인용 수 10

한 줄 요약

이 논문은 차원 $N \geq 3$인 컴팩트 리만다이언 군면에서 하디 및 하디-소볼레프 부등식의 최소화자 존재 및 비존재 조건을 확립한다. 순수 하디 케이스 ($\sigma = 2$)의 경우, 최소화자가 존재함과 동시에 존재하지 않음을 보여주며, 이는 매개변수 $\lambda$가 만일의 임계 임계값 $\lambda^*$를 초과할 때 성립한다. 이 $\lambda^*$는 다양체와 기준점에 따라 달라진다. $\sigma \in (0,2)$의 경우, 스칼라 곡률의 조건을 만족할 때 최소화자가 존재하며, 이는 고전적인 부등식을 특이 가중치를 가진 곡률이 있는 기하 구조로 일반화한다.

ABSTRACT

Let $ (M,g) $ be a smooth compact Riemannian manifold of dimension $ N \geq 3 $. Given $p_0 \in M$, $λ\in \mathcal{R}$ and $σ\in (0,2]$, we study existence and non existence of minimizers of the following quotient: \begin{equation}\label{Paper Equation} μ_{λ,σ}=\inf_{u \in H^1(M)\setminus \lbrace0 brace} \frac{\displaystyle\int_M | abla u|^2 dv_g -λ\int_M u^2 dv_g }{\biggl(\displaystyle\int_M ρ^{-σ} |u|^{2^*(σ)} dv_g\biggl)^{2/2^*(σ)}}, \end{equation} where $ρ(.):=dist(p_0,.)$ denoted the geodesic distance from $p \in M$ to $p_0$. In particular for $σ=2$, we provide sufficient and necessary conditions of existence of minimizers in terms of $λ$. For $σ\in (0,2)$ we prove existence of minimizers under scalar curvature pinching.

연구 동기 및 목표

• 컴팩트 리만다이언 군면에서 기울기의 $L^2$-노름, 저차수의 $L^2$-항, 그리고 임계 하디-소볼레프 노름을 포함한 가중된 몫의 최소화자 존재성과 비존재성을 조사한다.
• 특이 가중치 $\rho^{-\sigma}$를 가진 하디-소볼레프 부등식에서 최적 상수의 도달 조건에 대해 매개변수 $\lambda$와 다양체의 기하학적 조건을 정밀하게 규명한다. 여기서 $\rho$는 고정된 점 $p_0$까지의 지오데식 거리이다.
• 곡률, $p_0$에서의 특이성, 스펙트럼 매개변수 $\lambda$ 간의 상호작용을 분석하여 유클리드 공간에서의 고전 결과를 컴팩트 리만다이언 군면으로 일반화한다.
• 순수 하디 케이스 ($\sigma = 2$)의 임계 임계값 $\lambda^*$를 $p_0$ 근처 다양체의 국소 기하학적 성질로 기하학적으로 특성화한다.
• 스칼라 곡률의 조인 조건을 만족할 경우 $\sigma \in (0,2)$에 대해 최소화자가 존재함을 증명하며, 유클리드 공간의 하디-소볼레프 부등식을 곡률이 있는 다양체로 일반화한다.

제안 방법

• 컴팩트 리만다이언 군면 $\mathcal{M}$에서 몫 $\mu_{\lambda,\sigma} = \inf_{u \in H^1(\mathcal{M}) \setminus \{0\}} \frac{\int |\nabla u|^2 - \lambda \int u^2}{\left( \int \rho^{-\sigma} |u|^{2^*(\sigma)} \right)^{2/2^*(\sigma)}}$ 의 최소화를 위한 변분 접근법을 사용한다.
• 특히 $\sigma = 2$의 경우, 작은 지오데식 구의 국소 하디 부등식에서 임계 임계값 $\lambda^*$가 유도되며, 이때 $\mu_{0,2}(B_{g}(p_0,r)) = \left(\frac{N-2}{2}\right)^2$ 임을 보인다.
• 선형 연산자 $L_\lambda = -\Delta_g - \frac{(N-2)^2}{4}\rho^{-2} - \lambda\rho^{-2}$ 에 대해 하향해와 상향해를 구성하여 최소화자의 존재성을 분석한다.
• $\sigma \in (0,2)$의 경우, 스칼라 곡률의 조인 조건을 사용하여 비교 기법과 농축-콤팩턴스 추론을 통해 존재성을 확립한다.
• 농축-콤팩턴스 원리와 붕괴 분석을 기반으로 최소화 수열에서의 소멸 또는 이분화를 배제한다.
• 유럽 공간에서의 리브의 작업에서 알려진 최적 상수를 활용하며, 국소 등장형 매핑과 분할 단위를 통해 리만 기하학적 환경에 적응시킨다.

실험 결과

연구 질문

• RQ1 어떤 $\lambda$ 값에서 컴팩트 리만다이언 군면에서 $\mu_{\lambda,2}$의 하한이 최소화자를 도달하는가?
• RQ2 스칼라 곡률이 $\sigma \in (0,2)$의 하디-소볼레프 부등식에서 최소화자의 존재를 보장하기 위해 다양체에 어떤 기하학적 조건이 필요한가?
• RQ3 다양체의 스칼라 곡률은 하디-소볼레프 설정에서 최소화자의 존재성에 어떤 영향을 미치는가?
• RQ4 순수 하디 케이스 ($\sigma = 2$)의 임계 임계값 $\lambda^*$는 $p_0$ 근처 다양체의 기하학적 성질로 어떻게 기하학적으로 특성화될 수 있는가?
• RQ5 지오데식 거리 $\rho = \text{dist}(p_0, \cdot)$는 최소화자 행동과 부등식의 날카로움에 어떤 역할을 하는가?

주요 결과

• 특히 $\sigma = 2$의 경우, 하한 $\mu_{\lambda,2}$는 $\lambda > \lambda^*(\mathcal{M}, p_0)$일 때에만 최소화자를 도달한다. 여기서 $\lambda^*$는 다양체와 기준점에 따라 달라지는 임계 임계값이다.
• 임계 임계값 $\lambda^*$는 $p_0$ 근처의 국소 기하학에 의해 결정되며, 국소 하디 상수 $\left(\frac{N-2}{2}\right)^2$ 가 핵심적인 구성 요소로 작용한다.
• $\sigma \in (0,2)$의 경우, 다양체의 스칼라 곡률이 조인 조건을 만족할 경우 최소화자가 존재한다. 이는 변분 방법에 필요한 콤팩턴스를 보장한다.
• 유클리드 하디-소볼레프 부등식의 최적 상수 $S_{N,\sigma}$ 는 $\lambda$가 충분히 크거나 곡률 조건이 충족되지 않는 한 컴팩트 다양체에서는 직접 도달되지 않는다.
• 유클리드 케이스의 기본 상태 해 $\omega(x) = \left((N-\sigma)(N-2)\right)^{\frac{N-2}{2(2-\sigma)}}(1 + |x|^{2-\sigma})^{\frac{2-N}{2-\sigma}}$ 는 $p_0$ 근처에서 기대되는 행동을 모델링하는 데 사용된다.
• 이 논문은 $p_0$에서의 특이성을 경계 유형의 특이성으로 간주할 수 있으며, 최소화자의 존재는 기울기의 $L^2$-노름, $L^2$-편항 $\lambda \int u^2$, 그리고 가중된 $L^{2^*(\sigma)}$-노름 간의 균형에 따라 달라진다는 것을 입증한다.