Local and non-local $p$-energies on metric measure spaces

기술 요약: 메트릭 측도 공간에서의 국소적 및 비국소적 $p$-에너지

문제 정의
본 논문은 $p > 1$인 메트릭 측도 공간 $(X, d, m)$에서 국소적(local) 및 비국소적(non-local) 정규 $p$-에너지 사이의 관계를 조사한다. 구체적으로, 본 연구는 "종속(subordination)" 현상을 다룬다: 즉, 특정 함수적 부등식을 만족하는 국소적 정규 $p$-에너지가 점핑 커널(jumping kernel)을 통해 어떤 조건 하에서 비국소적 정규 $p$-에너지를 유도하는가?

이 연구는 고전적인 디리클레 형식(Dirichlet form, $p=2$) 프레임워크로부터 동기를 얻었다: 여기서 브라운 운동(국소적)은 안정적인 형태의 프로세스(비국소적)와 종속 원리에 의해 연결된다. 선형 사례에서는, 만약 국소적 디리클레 형식이 푸앵카레 부등식과 컷오프 소볼레프 부등식을 만족한다면, 그와 관련된 비국소적 형식(특정 스케일링을 가진 커널에 의해 정의된)이 유사한 비국소적 부등식들을 만족한다는 것이 알려져 있다. 본 논문이 다루는 핵심 과제는 이러한 결과들을 일반적인 메트릭 측도 공간(특히 그래디언트 구조가 없을 수 있는 프랙탈)에서 비선형 설정($p \neq 2$)으로 확장하는 것이다.

본 논문은 다음과 같은 핵심 질문을 제기한다:

1. $PI(L)(\Psi)$를 만족하는 강한 국소적 정규 $p$-에너지가 주어졌을 때, 점핑 커널 $K^{(\Upsilon)}$에 의해 정의되는 유도된 비국소 $p$-형식이 정규 $p$-에너지가 되기 위한 스케일링 함수 $\Upsilon$의 조건은 무엇인가?
2. 이 비국소 형식은 비국소 함수적 부등식($PI(J)$및$CS(J)$)을 만족하는가? 만약 그렇다면, 결과로서의 스케일링 함수$\Xi$는 무엇인가?
3. 이러한 결과들을 히트 커널 추정치(heat kernel estimates)에 의존하지 않고, 국소적 함수적 부등식으로부터 직접 도출할 수 있는가?

방법론
저자는 히트 커널 추정치나 확률적 표현에 의존하는 것을 피하고 순수하게 해석적인 접근 방식을 채택한다. 방법론은 다음과 같은 핵심 요소들에 기반한다:

• 부등식의 동치성: 논문은 먼저 국소적 및 비국소적 설정 모두에서 컷오프 에너지 부등식($CE$)과 컷오프 소볼레프 부등식($CS$)의 다양한 버전들 사이의 동치성을 확립한다. 결정적으로, 저자는 "약한(weak)" 버전(컷오프 함수의 연속성 가정이 없는 버전)이 "강한(strong)" 버전(컷오프 함수가 횔더 연속인 버전)을 함의함을 증명한다. 이 동치성은 에너지 공간의 정규성을 확립하기 위해 횔더 연속 컷오프 함수의 존재가 필수적이기에 매우 중요하다.
• 해의 정규성: 강한 버전의 부등식들을 증명하기 위해, 저자는 $p$-라플라스 유형 방정식($-\Delta_p u = f$)의 내부 및 경계 정규성을 활용한다. 여기에는 진동 부등식(oscillation inequalities)과 약한 하르낙 부등식(weak Harnack inequalities)을 확립하는 과정이 포함된다. 비국소적 설정에서는 연산자의 비국소적 특성에서 발생하는 "테일 항(tail terms)"을 처리하기 위해 특별한 주의를 기울인다.
• 단위 분할 및 이산 합성곱: 국소적 부등식으로부터 비국소적 부등식을 도출하기 위해, 저자는 제어된 에너지를 가진 단위 분할(partition of unity)을 구성한다. 국소적 푸앵카레 부등식을 비국소적 설정으로 전이하기 위해 이산 합성곱(discrete convolution)을 포함하는 새로운 해석적 논증이 사용된다.
• 스케일링 분석: 국소적 에너지의 스케일링 함수($\Psi$), 점핑 커널의 스케일링 함수($\Upsilon$), 그리고 결과적인 비국소 에너지의 스케일링 함수($\Xi$) 사이의 관계는 급수 수렴 조건과 적분 추정을 통해 분석된다.

주요 기여 및 결과

1. 컷오프 조건의 동치성:
   정리 2.1과 정리 2.2는 볼륨 배가 조건(VD)이 성립할 때, 국소적 및 비국소적 정규 $p$-에너지 모두에 대해 컷오프 에너지 부등식($CE$)과 컷오프 소볼레프 부등식($CS$)의 강한 버전, 연속 버전, 그리고 약한 버전이 동치임을 확립한다. 이는 비선형 설정에서 컷오프 함수의 정규성에 관한 기술적 간극을 해결한다.

2. 비국소 $p$-에너지의 정규성:
   명제 2.6은 비국소 푸앵카레 부등식과 연속 컷오프 소볼레프 부등식을 만족하는 비국소 $p$-형식이 실제로 정규 $p$-에너지임을 입증한다. 이는 함수적 부등식들이 잠재론(potential theory)을 위한 충분한 연속 함수들을 포함하도록 보장하는 데 충분하다는 것을 확인시켜 준다.

3. 종속 정리 (주요 결과):
   정리 2.9는 주요 "종속" 결과를 제공한다. 만약 강한 국소적 정규 $p$-에너지가 $PI(L)(\Psi)$와 $CE(L)_{strong}(\Psi)$를 만족하고, 점핑 커널의 스케일링 함수 $\Upsilon$가 작은 스케일에서 $\Psi$에 대해 엄격한 상한 성장 조건을 만족한다면:
   $$\sum_{n=0}^{\infty} \frac{\Psi(2^{-n})}{\Upsilon(2^{-n})} < +\infty$$
   유도된 비국소 $p$-형식은 정규 $p$-에너지가 된다. 또한, 이는 새로운 스케일링 함수 $\Xi$에 의해 명시적으로 결정되는 비국소 푸앵카레 및 컷오프 소볼레프 부등식을 만족한다:
   $$\Xi(r) = \Psi(r) \int_0^r \frac{d\Psi(t)}{\Upsilon(t)}$$
   본 논문은 이 성장 조건이 비국소 공간이 상수 이외의 함수를 포함하기 위한 필요충분조건임을 증명한다.

4. 고전적 사례의 일반화:
   따라결론 2.11은 이러한 결과들을 특정 스케일링 함수(조각별 멱함수)에 적용하여, 프랙탈 상의 안정적인 형태의 프로세스에 대한 기존 결과들을 회복하고, 무한대에서 가벼운 다항식 꼬리를 갖는 경우로 확장한다. 따라결론 2.12는 국소적 $p$-에너지로부터 유도된 비국소 에너지에 대한 BBM 유형(Bourgain-Brezis-Mironescu) 푸앵카레 부등식을 확립하여, 국소적 및 비국소적 $p$-에너지 사이의 극한에서의 가교를 제공한다.

의의 및 주장
본 논문은 디리클레 형식 프레임워크($p=2$)를 넘어선 고전적 종속 원리의 비선형 확장을 제공한다고 주장한다. 본 연구의 의의는 다음과 같다:

• 직접적 도출: 비국소 함수적 부등식이 히트 커널 추정치 없이 국소적 부등식으로부터 직접 도출될 수 있는지에 답하며, 구축된 해석적 논증을 통해 이것이 가능함을 확인한다.
• 프랙탈 적용성: 결과들은 그래디언트나 상위 그래디언트(upper gradient) 구조를 사용할 수 없는 프랙탈을 포함한 일반적인 메트릭 측도 공간에 대해 공식화되었으며, 대신 국소적 $p$-에너지와 함수적 부등식의 존재성에 의존한다.
• 기술적 참신함: PDE 정규성을 통한 약한 컷오프 부등식에서 강한 컷오프 부등식으로의 함의 증명과, 국소적 부등식을 비국소적 설정으로 전이하기 위한 이산 합성곱의 사용은 선형 사례에서도 새로운 해석적 기법으로 제시된다.

저자는 점핑 커널이 무한대에서 가벼운 다항식 꼬리를 갖는 사례들을 포함하며, 이 영역은 히트 커널 추정치에 의존하는 기존 방식들이 덜 직접적일 수 있는 영역임을 언급한다. 본 연구는 일반적인 공간에서의 국소적 및 비국소적 $p$-에너지 사이의 상호작용을 이해하기 위한 기초적인 단계로 자리매김하고 있다.