[논문 리뷰] Poincaré Sobolev equations in the Hyperbolic space

Mousomi Bhakta, K. Sandeep|arXiv (Cornell University)|2011. 03. 24.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 6

한 줄 요약

이 논문은 초구형 공간 $\mathbb{B}^N$ 상에서 Poincaré-Sobolev 방정식 $-\Delta_{\mathbb{B}^N}u - \lambda u = |u|^{p-1}u$의 반경 방향 부호가 바뀌는 해를 조사하며, 사전 추정, Palais-Smale 특성, 존재성/비존재성 결과를 확립한다. 이는 최적의 매개변수 범위 하에서 컴팩트성과 변분 방법을 활용하여 등급이 같은 임베딩을 통한 등급이 같은 해를 유도함으로써 하드리-Sobolev-Mazya 및 임계 그루신 방정식에 대한 부호가 바뀌는 해의 존재성을 증명한다.

ABSTRACT

We study the a priori estimates,existence/nonexistence of radial sign changing solution, and the Palais-Smale characterisation of the problem $-\De_{\Bn}u - \la u = |u|^{p-1}u, u\in H^1(\Bn)$ in the hyperbolic space $\Bn$ where $1

연구 동기 및 목표

• 초구형 공간 $\mathbb{B}^N$ 상에서 방정식 $-\Delta_{\mathbb{B}^N}u - \lambda u = |u|^{p-1}u$에 대한 사전 추정과 Palais-Smale 조건을 분석한다.
• 제약 조건 $1 < p \leq \frac{N+2}{N-2}$ 및 $\lambda < \left(\frac{N-1}{2}\right)^2$ 하에서 반경 방향 부호가 바뀌는 해의 존재성과 비존재성을 확립한다.
• 등급이 같은 변환을 통해 초구형 Poincaré-Sobolev 문제와 하드리-Sobolev-Mazya 및 임계 그루신 방정식을 연결함으로써 결과를 확장한다.
• 부호가 바뀌는 해에 대한 맥락에서 $\mathbb{B}^N$ 상의 Palais-Smale 수열의 컴팩트성 성질을 특성화한다.

제안 방법

• 단위 구형 모델에서 메트릭 $g_{ij} = \left(\frac{2}{1-|x|^2}\right)^2 \delta_{ij}$를 갖는 초구형 라플라스-벨트라미 연산자 $\Delta_{\mathbb{B}^N}$를 사용한다.
• 등급이 같은 변환을 통한 모비우스 변환 $\tau_b$를 적용하여 $\mathbb{B}^N$ 상의 해를 유클리드 공간 상의 그루신 및 하드리-Sobolev-Mazya 방정식의 해와 연결한다.
• 컴팩트성 보장과 노름 제어를 위해 Poincaré-Sobolev 부등식 $S_{N,p,\lambda} \left(\int_{{\mathbb{B}}^{N}}|u|^{p}dV_{{\mathbb{B}}^{N}}\right)^{\frac{2}{p}} \leq \int_{{\mathbb{B}}^{N}}\left[|\nabla_{{\mathbb{B}}^{N}}u|^{2}-\frac{(N-1)^2}{4}u^2\right]dV_{{\mathbb{B}}^{N}}$을 적용한다.
• 에너지 함수 $I_\lambda(u) = \frac{1}{2}\int \left[|\nabla_{{\mathbb{B}}^{N}}u|^2 - \lambda u^2\right]dV_{{\mathbb{B}}^{N}} - \frac{1}{p+1}\int |u|^{p+1}dV_{{\mathbb{B}}^{N}}$를 사용하여 Palais-Smale 수열을 분석한다.
• 반사 및 등급이 같은 변환군, 특히 모비우스 변환 $\tau_b = \sigma_{b^*} \circ \rho_{b^*}$를 활용하여 해를 구성하고 대칭성을 분석한다.
• 변환 $\Phi(r,z) = r^{\frac{Q-2}{2(1+\alpha)}} \varphi(r^{\frac{1}{1+\alpha}}, z)$를 적용하여 그루신 형 방정식을 초구형 문제와 연결하며, $N = h+1$, $\lambda = \frac{1}{4}\left[h^2 - \left(\frac{k-2}{\alpha+1}\right)^2\right]$, $p = \frac{Q+2}{Q-2}$를 갖는다.

실험 결과

연구 질문

• RQ1 초구형 공간 $\mathbb{B}^N$ 상에서 Poincaré-Sobolev 방정식이 반경 방향 부호가 바뀌는 해를 갖는 조건은 무엇인가?
• RQ2 Palais-Smale 수열의 컴팩트성 성질이 부분임계 및 임계 영역에서 해의 존재성에 미치는 영향은 무엇인가?
• RQ3 등급이 같은 임베딩은 초구형 Poincaré-Sobolev 문제와 하드리-Sobolev-Mazya 및 그루신 방정식을 연결하는 데 어떤 역할을 하는가?
• RQ4 언제 $u \in H^1_0(\mathbb{B}^N)$을 $u \in \mathcal{H}$로 대체해야 하며, 이는 해의 존재성에 어떤 영향을 미치는가?
• RQ5 특히 $\lambda = \left(\frac{N-1}{2}\right)^2$일 때 부호가 바뀌는 해가 존재하는 정확한 매개변수 범위는 무엇인가?

주요 결과

• 논문은 $1 < p < \frac{N+2}{N-2}$ 및 $\lambda < \left(\frac{N-1}{2}\right)^2$ 조건 하에서 $\mathbb{B}^N$ 상의 Poincaré-Sobolev 방정식에 대해 부호가 바뀌는 해의 존재성을 증명하며, 양의 해에 대한 기존 결과를 확장한다.
• 임계 경우 $p = \frac{N+2}{N-2}$에 대해, $\frac{N(N-2)}{4} < \lambda < \left(\frac{N-1}{2}\right)^2$ 이며 $N \geq 4$일 때 부호가 바뀌는 해의 존재성이 확립된다.
• $\lambda = \left(\frac{N-1}{2}\right)^2$일 경우, 공간 $H^1_0(\mathbb{B}^N)$은 $\mathcal{H}$로 대체되어야 하며, 이는 $C_c^\infty(\mathbb{B}^N)$의 완비화로서 노름 $\left(\int \left[|\nabla u|^2 - \frac{(N-1)^2}{4}u^2\right] dV_{\mathbb{B}^N}\right)^{1/2}$ 하에 정의된다.
• 저자는 에너지 함수 $I_\lambda$에 대한 Palais-Smale 수열이 적절한 조건 하에서 전콤팩트성을 갖는다는 것을 증명하며, 변분 방법을 통한 임계점 존재성을 보장한다.
• 등급이 같은 변환 $v = w \circ M$을 통해 초구형 문제와 연결된 하드리-Sobolev-Mazya 방정식에 대해 부호가 바뀌는 해의 존재성이 유도된다. 여기서 $M$은 $\mathbb{B}^N$과 상부 반공간 모델 사이의 등급이 같은 변환이다.
• 임계 그루신 방정식의 경우, $p = \frac{Q+2}{Q-2}$ 이며 $Q = k + h(1+\alpha)$일 때 해의 존재성이 증명되며, 이에 해당하는 초구형 문제의 $\lambda = \frac{1}{4}\left[h^2 - \left(\frac{k-2}{\alpha+1}\right)^2\right]$ 및 $N = h+1$을 갖는다.