[논문 리뷰] $p$-Laplacian problems involving critical Hardy-Sobolev exponents

Kanishka Perera, Wenming Zou|arXiv (Cornell University)|2016. 09. 07.

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

한 줄 요약

이 논문은 임계 하디-소볼레프 지수를 가진 $p$-라플라시안 방정식에 대해 $\lambda \geq \lambda_1$의 도전적인 케이스에서 존재성, 다중성 및 분기 결과를 확립한다. 표준 고유값 분해 대신 코homological index와 피지컬 인덱스 이론을 활용하여, 기존에 $\lambda < \lambda_1$로 국한된 결과를 넘어서 $N < p^2$인 경우에도 새로운 조건 하에서 비자명한 해의 존재를 증명한다. 주요 기여는 $p$-라플라시안 연산자에서 선형적 구조가 부족한 점을 극복하는 데 성공한 새로운 변분 접근법이다.

ABSTRACT

We prove existence, multiplicity, and bifurcation results for $p$-Laplacian problems involving critical Hardy-Sobolev exponents. Our results are mainly for the case $λ\ge λ_1$ and extend results in the literature for $0 &lt; λ&lt; λ_1$. In the absence of a direct sum decomposition, we use critical point theorems based on a cohomological index and a related pseudo-index.

연구 동기 및 목표

• 임계 하디-소볼레프 지수를 포함한 $p$-라플라시안 문제에 대해 $\lambda \geq \lambda_1$인 경우 해의 존재성과 다중성을 확립하는 것. 이는 이전 연구에서 완전히 다루지 못한 영역이다.
• 비선형적 $p$-라플라시안으로 인해 에너지 함수에서 직접 합분해 구조가 존재하지 않아 고전적 링킹 정리가 적용되지 않는 문제를 해결하는 것.
• 이전에 알려진 조건 $N \geq p^2$를 초월하여, 특히 $N < p^2$인 경우에도 새로운 스펙트럼적 및 기하적 조건 하에서 해의 존재를 확장하는 것.
• 고유값 $\lambda_k$ 근처에서의 분기 행동을 분석하기 위해, 컴acts성 임계값 이하의 최소화 수준을 구성하고, $\lambda$가 $\lambda_k$에서 아래로 수렴함에 따라 해가 0으로 수렴함을 증명하는 것.

제안 방법

• 단위 구면 위에서 $\Psi(u) = \left(\int_\Omega |u|^p\,dx\right)^{-1}$의 기능을 바탕으로 한 코homological index와 피지컬 인덱스 프레임워크를 도입하여, 기존의 유전 기반 고유값 수열을 대체한다.
• 퍼서와 및 쿠르크린의 영감을 얻은 비표준 링킹 구성 방식을 사용하여, $\Psi$의 하위레벨 세트를 기반으로 한 비판점 이론을 적용함으로써, $p$-라플라시안 연산자에서 선형적 구조가 부족한 점을 다룬다.
• 하디-소볼레프 부등식의 최적 상수 $\mu_s$를 사용하여 컴acts성 임계값 $c^* = \frac{p-s}{(N-s)p}\mu_s^{(N-s)/(p-s)}$를 정의하고, 이 임계값 이하에서는 $(\text{PS})_c$ 조건이 성립함을 보인다.
• 적절한 집합에서 $I_\lambda$의 하한을 추정하기 위해 $v_{\varepsilon,\delta}$를 포함한 시험 함수 구성 기법을 사용하여, 최소화 수준이 컴acts성 임계값 이하에 있음을 증명한다.
• 코homological index와 피지컬 인덱스에 기반한 비판점 이론인 정리 2.5를 적용하여, $\lambda$가 $\lambda_{k+1}$ 근처의 분기 간격에 있을 경우 $m$개의 서로 다른 비자명한 해 쌍 $\pm u_j^\lambda$를 확보한다.
• 함수 $\int_\Omega |u|^p\,dx \leq V_s(\Omega)^{(p-s)/(N-s)} \left(\int_\Omega \frac{|u|^{p^*}}{|x|^s}\,dx\right)^{p/p^*}$를 이용하여 하드-소볼레프 준노름에 기반한 $L^p$-노름을 제어한다.

실험 결과

연구 질문

• RQ1 임계 하디-소볼레프 지수를 포함한 $p$-라플라시안 문제에 대해, 마운틴 팠 기하학이 실패하는 경우 $\lambda \geq \lambda_1$로 존재성 및 다중성 결과를 확장할 수 있는가?
• RQ2 비선형적 $p$-라플라시안에서 선형 고유공간이 없어 고전적 링킹 정리가 적용되지 않을 경우 비판점 이론을 어떻게 적응시킬 수 있는가?
• RQ3 기존 연구에서 다루지 못한 $N < p^2$ 영역에서 $N$, $p$, $s$, $\lambda$에 대한 새로운 조건은 무엇이 되어야 비자명한 해의 존재를 보장할 수 있는가?
• RQ4 $\lambda_k$ 근처에서 해 집합은 어떻게 행동하는가? $\lambda$가 $\lambda_k$로 수렴함에 따라 해가 0으로 수렴하는 양상에 기반한 $\lambda_k$에서의 분기 현상을 어떻게 확립할 수 있는가?
• RQ5 스펙트럼 갭이 존재하는 상황에서 코homological index와 피지컬 인덱스 프레임워크를 사용하여 다수의 비자명한 해를 구성할 수 있는가?

주요 결과

• 모든 $N \geq p^2$ 및 $\lambda < \lambda_1$일 때, 문제는 양의 기저 상태 해를 가진다. 이는 이전 결과를 $\lambda < \lambda_1$ 전체 범위로 확장한 것이다.
• $\lambda > \lambda_1$ 이며 $\lambda$가 고유값이 아닐 경우, $N > p^2$ 이고 $(N-p^2)(N-s) > (p-s)p$를 만족하면 비자명한 해가 존재한다. 이 조건은 $s$가 작을 때만 $N < p^2$인 경우를 허용한다.
• $\lambda_{k+1} - \frac{\mu_s}{V_s(\Omega)^{(p-s)/(N-s)}} < \lambda < \lambda_{k+1}$인 경우, 문제는 $m$개의 서로 다른 비자명한 해 쌍 $\pm u_j^\lambda$를 가지며, $\lambda \nearrow \lambda_{k+1}$일 때 $u_j^\lambda \to 0$로 수렴한다. 이는 $\lambda_{k+1}$에서의 분기를 증명한다.
• 해는 $I_\lambda(u_j^\lambda) \to 0$로 수렴하며, $u_j^\lambda$의 $L^p$-노름 역시 0으로 수렴하여 $W^{1,p}_0(\Omega)$에서의 강한 수렴성을 보여준다.
• 기존 문헌에서 다루지 못한 $N < p^2$인 경우에도 조건 $(N-p^2)(N-s) > (p-s)p$가 성립하면 비자명한 해의 존재를 증명하였으며, 이는 새로운 결과이다.
• 컴acts성 임계값 $c^* = \frac{p-s}{(N-s)p}\mu_s^{(N-s)/(p-s)}$는 이 값 이하에서는 $(\text{PS})_c$ 조건이 성립하며, 구성된 모든 최소화 수준은 엄밀히 이 값 이하에 위치하므로, 팔라이스-스모스 수열의 수렴성이 보장된다.