A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

기술 요약: 임계 $p$-라플라시안 설정에서의 조건부 하르네크 부등식에 대한 포호자예프 유형의 넥(Neck) 증명

문제 정의
본 논문은 다음과 같은 임계 준선형 방정식의 양의 약해(positive weak solution)에 대한 정칙성 및 정량적 거동을 다룬다:
$$-\Delta_p u = g(u) \quad \text{in } \Omega \subset \mathbb{R}^n,$$
여기서 $1 < p < n$ 이며, $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$는 $p$-라플라시안을 나타내고, 비선형성 $g$는 임계 소볼레프 성장 조건(구체적으로 $s \to \infty$일 때 $g(s) \sim s^{p^*-1}$, 여기서 $p^* = \frac{np}{n-p}$)을 만족한다.

핵심 목표는 다음과 같은 형태의 **하르네크 부등식(Harnack inequality)**을 확립하는 것이다:
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
이는 특이 해(singular solutions)에 대한 점별 묘사를 제공하며 블로우업 분석(blow-up analysis)의 기초가 된다.

방법론적 맥락 및 장애물
준선형(semilinear) 사례($p=2$)에서, 이러한 부등식들은 Schoen에 의해 확립되었고 이후 Li와 Zhang에 의해 이동 구체(또는 이동 평면) 방법을 사용하여 확장되었다. 이 방법은 라플라시안의 공형 불변성(conformal invariance)을 활용하는 **켈빈 변환(Kelvin transform)**에 크게 의존한다.

그러나 $p \neq 2$인 경우, $p$-라플라시안은 공형 불변적이지 않으며, 따라서 켈빈 변환과 그에 따른 이동 구체 방법은 사용할 수 없다. 이러한 부재는 일반적인 임계 $p$-라플라시안 설정으로 고전적인 분류 및 하르네크 결과를 확장하는 데 있어 실질적인 장애물이 된다.

방법론: 포호자예프-넥(Pohozaev-neck) 논법
저자들은 공형 불변성의 결여를 극복하기 위해, $p=2$인 경우의 기하학적 반사 기법을 포호자예프 항등식과 고립 특이점(isolated singularities)의 구조에 기반한 해석적 논법으로 대체하는 포호자예프-넥 논법을 개발한다. 이 방법론은 다음 단계들을 통해 진행된다:

1. 구조적 부호 조건: $s \mapsto s^{-(p^*-1)}g(s)$가 비증가한다는 가정하에, 저자들은 정칙 해(regular solutions)에 대해 포호자예프 범함수(Pohozaev functional)가 볼(ball) 위에서 비음수임을 확립한다.
2. 특이점 분석: 저자들은 Kichenassamy–Véron 폴 정리(pole theorem)를 활용하여 고립 특이점 근처에서의 해의 거동을 분석한다. 그들은 만약 해가 점근 전개(asymptotic expansion) $u(x) \sim \kappa|x|^{-\alpha} + \beta$에서 "정칙 부분"(0이 아닌 상수 항 $\beta$)을 가진다면, 포호자예프 범함수가 엄격히 음수가 됨을 보여준다.
3. 넥 레마(Lemma 3.7): 이것이 핵심적인 기술적 기여이다. 이 레마는 정규화된 넥 영역(normalized neck region) 상에서 "예비적" 특이 감쇄율(specifically $|x|^{-(n-p)/p}$)을 가정한다. 해를 "넥" 스케일로 재조정(rescaling)함으로써, 저자들은 극한 프로파일(limit profile)을 구성한다.
   • 만약 감쇄가 날카로운(sharp) 비율보다 느리다면, 극한 프로파일은 양의 정칙 부분($\beta > 0$)을 갖게 된다.
   • 이는 음의 포호자예프 값을 갖는 것을 의미한다.
   • 그러나 $g$의 단조성에 의해 상속된 원래 방정식의 포호자예프 부호 조건은 해당 값이 비음수여야 함을 요구한다.
   • 이 모순은 정칙 부분이 반드시 0이어야 함을 강제하며, 이를 통해 예비적 감쇄율을 **날카로운 $p$-조화 기본율(sharp $p$-harmonic fundamental rate)**인 $|x|^{-(n-p)/(p-1)}$로 업그레이드한다.

주요 가정 (조건부 성격)
주요 결과는 두 가지 명시적인 가설에 의존하는 조건부 결과이다:

1. 전역 분류 가설(Entire Classification Hypothesis): 극한 방정식 $-\Delta_p V = g_A(V)$ (여기서 $g_A$는 비선형성의 블로우업 극한을 나타냄)의 모든 유계 양의 전역 약해(bounded positive entire weak solution)는 반드시 **아우인-탈렌티 $p$-버블(Aubin–Talenti $p$-bubble)**이어야 한다.
2. 예비 넥 제어(Preliminary Neck Control): 정규화된 넥 해에 대하여 $v_j(y) \leq C|y|^{-(n-p)/p}$ 형태의 예비 상한이 존재해야 한다.

주요 결과

• 정리 1.3 (하르네크 부등식): $g$에 대한 구조적 가정(가정 1.1)과 위의 두 가설(가정 1.2) 하에서, $B_{3R}$ 내의 임의의 양의 약해에 대해 조건부 하르네크 부등식이 성립한다.
• 날카로운 감쇄 업그레이드: 본 논문은 포호자예프-넥 논법이 예비 특이 감쇄율 $|x|^{-(n-p)/p}$를 $\sup \times \inf$ 추정을 위해 필요한 날카로운 비율인 $|x|^{-(n-p)/(p-1)}$로 성공적으로 업그레이드함을 증명한다.
• 무조건적 사례: 저자들은 순수 거듭제곱의 경우 $g(s) = L s^{p^*-1}$일 때, 분류 가설이 특정 $n$과 $p$의 범위(예: $n \leq 6$ 또는 $n \geq 7$ 이고 $p > n/3$ 인 경우)에서 알려져 있어 이 경우 정리가 무조건적임을 언급한다. 또한, 척도 불변적 임계 에너지 경계(scale-invariant critical energy bound)가 가정된다면, 분류 및 예비 제어는 기존의 유한 에너지 이론으로부터 따라오므로 결과는 무조건적이 된다.

의의 및 주장
본 논문은 공형 불변성에 의존하지 않고 임계 $p$-라플라시안($p \neq 2$)에 대한 조건부 하르네크 부등식을 증명한 첫 번째 사례라고 주장한다.

• 방법론적 전환: 이는 버블링 현상을 분석하기 위해 켈빈 변환의 대안으로서 포호자예프 항등식에 기반한 "넥 레마"를 도입한다.
• 간극 메우기: 이 연구는 국소적 블로우업 분석(넥 거동)과 전역적 분류 결과 사이를 연결한다. 저자들은 일반적인 경우의 어려움을 (무한 에너지를 갖는 버블이 아닌 다른 형태의) 유계 전역 해가 존재할 가능성으로 명시적으로 규정하며, 이는 분류 가설에 의해 배제된다.
• 한계: 저자들은 분류 가설(또는 에너지 경계) 없이는 비-버블 전역 해의 존재가 여전히 열린 문제로 남아 있음을 인정하며 연구의 범위를 겸허히 제한한다. 이 결과는 전역 해의 분류가 semilinear 사례와 유사하게 작동한다는 가정하에 진행되는 조건부 진전으로 제시된다.

결론
본 논문은 기하학적 공형 방법 대신 해석적 포호자예프 항등식을 사용하여 임계 $p$-라플라시안 방정식을 분석하는 견고한 프레임워크를 구축한다. 저자들은 전역 해의 분류가 semilinear 사례와 유사하게 행동한다는 가정하에 날카로운 하르네크 부등식을 성공적으로 도출하였으며, 이를 통해 완전한 무조건적 결과를 위한 유일한 남은 장애물로서 분류 문제를 고립시켰다.