Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

기술 요약: 메트릭 측도 공간에서의 p-에너지에 대한 타원형 하르낙 부등식 및 푸앵카레 부등식

문제 정의
본 논문은 메트릭 측도 공간 $(X, d, m)$ 상의 비선형 $p$-에너지 맥락에서 함수 부등식 간의 구조적 관계를 다룬다. 선형 디리클레 형식($p=2$)의 경우 타원형 하르낙 부등식(EHI), 양방향 용량 경계(two-sided capacity bounds), 푸앵카레 부등식(PI), 그리고 컷오프 소볼레프 부등식(CS) 사이의 동치 관계가 잘 확립되어 있으나, 비선형 사례($p > 1$)는 선형 세미-그룹이나 열 핵(heat kernel)이 존재하지 않기 때문에 이러한 동치 관계를 증명하는 것이 더 어렵다.

구체적으로, 저자는 다음과 같은 적절한 스케일링 함수 $\Psi$에 대하여 고전적인 동치 관계의 비선형 유사성을 완성하고자 한다:
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
저자의 이전 연구 [28]에서는 이미 $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$와 $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$의 함의를 입증한 바 있다. 본 논문은 이 중 남겨진 단계인, 타원형 하르낙 부등식과 양방향 용량 경량으로부터 푸앵카레 부등식 $\text{PI}(\Psi)$를 도출하는 문제를 해결한다.

방법론
증명 전략은 저자의 이전 연구 [28]의 기법과 상부 구배(upper gradient) 구조를 가진 공간에서의 포물형 하르낙 부등식에 관해 [11]에서 도입된 최신 방법론을 결합한다. 논증은 크게 두 단계로 진행된다:

1. 파베르-크라니크(Faber–Krahn) 부등식으로의 환원:
   [11]의 전략을 따라, 저자는 $\text{PI}(\Psi)$의 증명을 도메인 내의 측도와 스케일링 함수 $\Psi$에 관한 $p$-라플라시안의 첫 번째 고윳값에 대한 하한을 제공하는 파베르-크라니크 부등식 $\text{FK}(\Psi)$를 확립하는 것으로 환원한다. 저자는 만약 다음의 추정식을 확립할 수 있다면 $\text{PI}(\Psi)$가 성립함을 증명한다:
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   여기서 적절한 상수 $\epsilon$이 존재하며, 이는 함수 $f$를 조화 부분(harmonic part)과 나머지 부분으로 분해함으로써 달성된다.

2. 울프 포텐셜(Wolff Potentials)을 통한 파베르-크라니크 부등식 확립:
   $\text{FK}(\Psi)$를 증명하기 위해, 저자는 집합 $K$의 측도를 상대적 용량에 관한 식으로 추정하는 표준 마즈야(Maz'ya) 분해 기법을 사용한다:
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   이 추정식은 [28]에서 확립된 울프 포텐셜 추정치를 사용하여 유도된다. 증명 과정은 다음과 같다:

• 집합 $K$와 관련된 용량 포텐셜 $u$를 구성한다.
• 초조화 함수(superharmonic function) $u$와 관련된 리에스 측도(Riesz measure) $\mu$를 활용한다.
• $u(x_0)$를 하한으로부터 제한하기 위해 울프 포텐셜 추정치를 적용하여, 포텐셜을 측도 $\mu$ 및 용량과 연결한다.
• 볼륨 배증(Volume Doubling, VD) 및 용량 경계를 사용하여 울프 포텐셜 급수를 제어한다.
• $K$를 덮는 서로소인 볼들의 합을 구하기 위해 5B-커버링 레마(5B-covering lemma)를 적용하여, $m(K)$를 용량에 의해 제한한다.

주요 가정
결과는 메트릭 측도 공간 $(X, d, m)$ 및 $p$-에너지 $(\mathcal{E}, \mathcal{F})$에 대한 다음의 구조적 가정 하에 성립한다:

• 기하학적 조건: 볼륨 배증(VD) 및 체인 조건(Chain Condition, CC).
• 해석적 조건:
  • EHI: 타원형 하르낙 부등식이 성립함.
  • cap($\Psi$): 양방향 용량 경계가 성립함.
  • BSP: 하한 스펙트럼 양의(Bottom Spectrum Positivity, 유계 도메인에서의 첫 번째 고윳값의 양의 성질).
  • LSC: 초조화 함수를 위한 하한 반연속성(Lower Semi-Continuity) 조건.
  • 추가 조건: 선형 국소 연결(Linearly Locally Connected, LLC) 조건이 성립하거나, 환형 타원형 하르낙 부등식(Annulus Elliptic Harnack Inequality, EHI$_{\text{ann}}$)이 성립함.

주요 결과

1. 정리 1.1: VD, LSC, BSP, EHI, cap($\Psi$)의 가정 하에, LLC 또는 EHI$_{\text{ann}}$ 중 하나가 성립하면 푸앵카레 부등식 $\text{PI}(\Psi)$가 성립한다.
2. 따름정리 1.3 및 1.4: 정리 1.1을 [28]의 이전 결과들과 결합함으로써, 본 논문은 다음의 완전한 동치 관계를 확립한다:
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   이 동치 관계는 동일한 구조적 가정(VD, LSC, BSP, 그리고 LLC 또는 EHI$_{\text{ann}}$ 중 하나) 하에 성립한다.

의의 및 주장
본 논문은 선형 설정($p=2$)에서 알려진 고전적 동치의 완전한 비선형 유사물을 향한 "남겨진 단계"를 제공한다고 주장한다.

• 구조적 통합: 이 결과는 비선형 $p$-에너지 이론이 타원형 수준에서 고전적인 디리클레 형식 이론과 동일한 구조적 형태를 가짐을 보여준다. 즉, "하르낙-용량 측"과 "푸앵카레-컷오프 측"이 동치임을 입증한다.
• 강건성: 열 핵(heat kernels)이 일반적으로 존재하지 않는 상황(비선형 $p$-에너지의 경우)에서, 이 동치 관계는 고전적 동치 관계를 대체할 수 있는 강건한 대안을 제공한다.
• 기술적 기여: 본 연구는 [11](상부 구마다를 가진 공간에서의 포물형 하르낙 부등식에 관한 연구)의 논증을 울프 포텐셜 추정치를 통한 파베르-크라니크 부등식 확립을 통해, 프랙탈을 포함한 더 일반적인 메트릭 측도 공간의 설정으로 적응시킨다.

저자는 $p=2$인 특수한 경우, VD만으로도 $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$가 이미 알려져 있다고 언급한다. 그러나 일반적인 $p > 1$에 대해서는 비선형성과 현재 기술의 한계로 인해 LSC, BSP, 그리고 LLC 또는 EHI$_{\text{ann}}$ 중 하나의 추가적인 가정이 요구된다.