Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

기술 요약: 단조 계수를 갖는 임계 p-라플라스 방정식

문제 정의
본 논문은 비자율적 비선형성을 갖는 임계 $p$-라플라스 방정식에 대한 양의 약해(weak solution)를 조사한다:
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{in } \mathbb{R}^n,$$
여기서 $1 < p < n$, $p^* = \frac{np}{n-p}$이며, $h$는 양수, 유계, 연속 및 비증가 함수이다. 본 연구는 서로 연결된 두 가지 목적에 초점을 맞춘다:

1. 리우빌 분류(Liouville Classification): 사전 감쇠 가정(예: 유한 에너지 또는 특정 성장률)을 부과하지 않고 양의 전역 해(entire solutions)의 정확한 형태를 결정하는 것.
2. 척도 불변 하르나크 부등식(Scale-Invariant Harnack Inequality): $B_{3R}$에서 정의된 비음해 약해에 대해 $\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ 형태의 국소 추정식을 확립하는 것.

이 작업은 준선형 방정식 이론의 중요한 공백을 다룬다. 반선형(semilinear) 경우($p=2$)와 달리, $p$-라플라시안($p \neq 2$)은 방정식을 보존하는 켈빈 변환(Kelvin transform)이 결여되어 있어, 고전적인 이동 평면(moving plane) 또는 이동 구체(moving sphere) 방법을 표준적인 형태로 적용할 수 없다. 또한, 순수 임계 방정식($h \equiv \text{const}$)에 대한 기존의 분류 결과들은 종종 제한적인 가정(유한 에너지, 유계성 등)이나 특정한 $p$의 범위를 요구한다. 본 논문은 $h$에 대한 단조성 가정을 바탕으로 전체 범위 $1 < p < n$에 대해 분류-하르나크 이론을 제공하는 것을 목표로 한다.

방법론
저자는 연속 단조 계수를 갖는 $p$-라플라시안에 적응된, 켈빈 변환과 이동 구체 방법의 준선형 대응물을 수행하는 프레임워크를 개발한다. 방법론은 다음 두 단계로 진행된다:

1. 불변 텐서와 약한 보크너 항등식을 통한 전역 분류:

   • 변환: 해 $V$를 $w = V^{-1/a}$ (여기서 $a = \frac{n-p}{p}$)로 변환하여, 방정식을 응력 텐서(stress-tensor) 분석이 가능한 형태로 바꾼다.
   • 응력 텐서와 P-함수: 저자는 비선형 응력장 $X_w = |\nabla w|^{p-2}\nabla w$와 수정된 P-함수 $Q_w$를 정의한다.
   • 단조성 처리: 변환된 계수 $c_\tau(t)$를 절대 연속 부분과 특이(Stieltjes) 결손 부분 $e_\tau(t)$로 분해한다. 이는 $h$가 연속이고 단조적이어서 미분값이 칸토어(Cantor) 부분을 포함할 수 있는 상황을 처리하기 위한 핵심적인 기술적 혁신이다.
   • 약한 보크너 항등식: $Q_w$에 대한 새로운 약한 보크너 유형의 항등식을 유도한다. 전역 적분 추정치(예: Ou [34])에 의존했던 이전 접근법들과 달리, 본 연구는 국소적인 점별 코어시브(coercive) 항을 활용한다.
   • 승수 구성: $Q_w$의 성장을 제어하고 양의 극대점이 무한대로 탈출하는 것을 방지하기 위해, 대상 PDE 부등식에 맞게 설계된 역방향 상미분 방정식을 풀어 특정 가중 함수 $\phi_{\ell,m}$을 구성한다. 이는 순수 거듭제곱 케이스에서 사용되는 고정된 거듭제곱 가중치를 대체한다.
   • 강직성 논증(Rigidity Argument): 날카로운 전역 경계 $Q_w \leq c_{\tau,0}$를 확립하고, 극솟값에서의 거동(접선 분석 및 구멍 뚫린 구체 장벽 사용)을 분석함으로써, 해가 반드시 Aubin–Talenti 프로파일과 일치해야 함을 증명한다. 결정적으로, 그러한 프로파일의 존재가 계수 $h$가 프로파일이 취하는 값의 구간에서 상수임을 강제한다는 것을 보여준다.

2. 탈집중(De-concentration) 및 퍼텐셜 이론을 통한 하르나크 부등식:

   • 모순 증명: 하르나크 부등식의 증명은 추정식을 위반하는 해의 수열을 가정하는 모순법으로 진행된다.
   • 블로우업 분석(Blow-up Analysis): 재스케일링 절차를 통해 극한의 전역 해를 식별한다. 이후 분류 결과(정리 1.1)를 이 극한에 적용한다.
   • 첫 접촉 메커니즘(First-Contact Mechanism): 넥 추정치(neck estimate)를 예비 단계로 사용하는 대신(Qin–Zhang [35]의 방식), 저자는 퍼텐셜 이론적 탈집중과 결합된 "첫 접촉" 논증을 채택한다.
   • Kilpeläinen–Malý 추정치: 비선형 퍼텐셜(특히 Wolff potential) 이론을 사용하여, 접촉점 근처에서의 소스 항에 대한 균등한 경계를 도출한다. 이는 하르나크 부등식을 적용하기 위해 필요한 계수 제어를 확립하며, 결과적으로 사전 넥 추정치의 필요성을 제거한다.

주요 기여 및 결과

• 정리 1.1 (정규화된 프로파일의 분류): 스케일링된 비선형성 $g_\tau$를 갖는 임의의 정규화되고 유계인 양의 전역 해에 대하여, $\tau \in [0, \infty]$일 때 해는 반드시 다음과 같은 Aubin–Talenti 프로파일이어야 한다:
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  또한, $0 < \tau < \infty$인 경우, 이러한 해의 존재는 $0 < s \leq \tau$인 모든 $s$에 대해 $h(s) = h(\tau)$임을 의미한다. 이는 해와 계수 모두에 대한 강직성 정리를 확립한다.

• 정리 1.2 (척도 불변 하르네크 부등식): $B_{3R}$에서의 비음해 약해에 대하여 다음 추정식이 성립한다:
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  이 결과는 유한 에너지나 무한에서의 특정 점근적 거동을 가정하지 않고 확립되었다.

• 따름정리 1.4 (무제한 리우빌 정리): 원래 방정식의 모든 양의 전역 해는 (스케일링과 평행이동을 제외하면) Aubin–Talenti 프로파일이며, 계수 $h$는 해의 범위 내에서 상수이다.

• 속성의 동등성: 본 논문은 순수 임계 방정식의 경우, 무제한 리우빌 분류가 Schoen 유형의 하르나크 부등식과 동등함을 보여준다.

의의 및 주장
저자는 자신의 논증이 단순히 연속 단조 계수를 갖는 일반적인 $1 < p < n$ 범위에서 사용할 수 있는 켈빈 변환과 이동 구체 방법의 첫 번째 준선형 대응물이라고 주장한다.

• 방법론적 진보: 본 연구는 $p=2$인 반선형 케이스에 대한 고전적 결과들에 대한 대안적 증명을 제공하며, 표준적인 공형 불변성 도구들이 실패하는 준선형 설정으로 이를 확장한다. 맞춤형 승수를 가진 약한 보크너 항등식의 도입과 계수의 특이 Stieltjes 측량을 다루는 방식은 참신한 분석 도구로 제시된다.
• 가정의 제거: 본 결과는 "완전히 무제한적인" 리우빌 정리를 제공하며, $p \neq 2$에서 나타났던 유한 에너지, 유계성 또는 규정된 성장 조건의 필요성을 제거한다.
• 구조적 통찰: 본 논문은 리우빌 정리와 하르나크 부등식 사이의 상호작용이 근본적임을 강조한다. 비선형성이 순수 거듭제곱 형태가 아닐 때, 블로우업 프로파일의 분류가 하르네크 추정치를 확립하는 데 필수적임을 보여준다.

본 논문은 새로운 응용이나 실험적 제안을 제시하기보다는, 잘 알려진 반선형 케이스와 더 엄격한 준선형 케이스 사이의 간극을 메우는, 임계 타원형 방정식의 컴팩트성 이론에 대한 기초적인 기여를 목표로 한다.