[논문 리뷰] Elliptic Harnack inequalities for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai외 1명|arXiv (Cornell University)|2017. 03. 28.

Geometric Analysis and Curvature Flows참고 문헌 29인용 수 5

한 줄 요약

이 논문은 일반적인 측도 공간에서 상태에 따라 변화하는 스케일링을 갖는 대칭 비국소 딜리클레 형식에 대해 타원형 하르나크 부등식(EHI)의 안정성을 정규성 조건 하에 확립한다. EHI가 조화 함수의 사전 히르데르 정규성으로 이어짐을 증명하고, 고전 결과를 국소적이지 않거나 균일하지 않은 설정으로 확장하여, EHI에 기반한 파arabolic 하르나크 부등식의 새로운 동치 특성화를 제공한다.

ABSTRACT

We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functions is explored. New equivalent statements for parabolic Harnack inequalities of non-local Dirichlet forms are obtained in terms of elliptic Harnack inequalities.

연구 동기 및 목표

• 일반적인 측도 공간에서 대칭 비국소 딜리클레 형식에 대해 다양한 타원형 하르나크 부등식(EHI) 간의 관계와 특성화를 조사하는 것.
• 특히 상태에 따라 변화하는 스케일링과 비연결 상태 공간을 允허하는 정규성 조건 하에서 EHI의 안정성을 확립하는 것.
• 비국소 설정에서 조화 함수의 사전 히르데르 정규성에 대한 EHI의 함의를 탐색하는 것.
• 고전적 이중성 결과를 비국소 과정으로 확장하여, EHI에 기반한 파라볼릭 하르나크 부등식(PHI)에 대한 새로운 동치 표현을 도출하는 것.
• 국소 연산자나 유클리드 공간을 초월하여, 비균일적이고 비기하학적 설정까지도 포함하는 EHI 및 PHI에 관한 이전 결과를 일반화하는 것.

제안 방법

• 저자들은 순수 점프 유형의 대칭 비국소 딜리클레 형식을 정규적이고 대칭적인 딜리클레 형식 $({\cal E},{\cal F})$ 를 통해 분석하며, $L^2(M;\mu)$ 위에서 점프 커널 $J(dx,dy)$ 를 사용한다.
• 관련된 헌트 과정 $X_t$ 와 그 전이 밀도 $p(t,x,y)$ 를 이용하여 강한 마코프 성질과 尾 꼬리 추정을 통해 퇴출 시간 추정 $\mathbb{E}^x[\tau_{B(x,r)}]$ 을 유도한다.
• 스케일링 함수 $\phi(x,r)$ 는 공간 위치 $x$ 에 따라 달라질 수 있어 비균일하거나 상태에 따라 변화하는 행동을 허용한다.
• 핵심 추정은 퇴출 시간에 대한 추정으로, $r \leq 1$ 에서는 $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$ 이고, $r > 1$ 에서는 $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$ 이며, $\alpha(x)$ 는 $x$ 에 따라 변한다.
• 저자들은 강한 마코프 성질과 지수 꼬리 추정을 사용하여 $\mathbb{P}^x(\tau_{B(x,r)} > kt) \leq 2^{-k}$ 를 유도하고, 이를 통해 모멘트 추정을 도출한다.
• 비국소 설정에서의 모저 반복 방법을 활용한 추론 체계를 통해 EHI, PHI, 그리고 기타 함수적 부등식(FK, PI, CSJ) 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 일반적인 측도 공간에서 상태에 따라 변화하는 스케일링을 갖는 경우, 딜리클레 형식의 변형에 대해 타원형 하르나크 부등식(EHI)의 안정성은 어떤 조건에서 성립하는가?
• RQ2 비국소 설정에서 EHI는 국소 설정과 마찬가지로 조화 함수의 사전 히르데르 정규성을 유도하는가?
• RQ3 비국소 과정에 대해 EHI에 기반한 파라볼릭 하르나크 부등식(PHI)의 새로운 동치 특성화는 무엇인가?
• RQ4 비균일 스케일링을 갖는 비국소 딜리클레 형식에서 기능적 부등식 FK, PI, CSJ 는 EHI 및 PHI 와 어떻게 관련되어 있는가?
• RQ5 고전적 하르나크 부등식 프레임워크는 비연결 또는 비기하학적 측도 공간에 적용 가능한가, 특히 비국소 생성자에 대해 확장 가능한가?

주요 결과

• 정규성 조건 하에서 타원형 하르나크 부등식(EHI)은 상태에 따라 변화하는 스케일링 함수 $\phi(x,r)$ 를 갖는 경우에도 안정함이 입증된다.
• 변수 차수 $\alpha(x)$ 를 갖는 분수 라플라스 연산자에 대해, 퇴출 시간은 $r \leq 1$ 에서 $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$ 이고, $r > 1$ 에서는 $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$ 를 만족하며, 여기서 $\alpha_1 = \sup \alpha(x)$ 이다.
• EHI는 비국소 설정에서 조화 함수의 사전 히르데르 정규성(EHR)을 유도하며, 이는 모저 반복 방법을 통해 입증된다.
• 동일한 정규성 조건 하에서 파라볼릭 하르나크 부등식(PHI)은 EHI 와 동치이며, 이는 PHI 를 EHI 에 기반한 새로운 특성화를 제공한다.
• 기능적 부등식 FK($\phi$), PI($\phi$), CSJ($\phi$) 는 모두 EHI 에 의해 유도되며, 이는 기능적 및 해석적 성질의 계층을 확립한다.
• 결과는 비국소적, 비균일적, 심지어 비연결 가능한 측도 공간까지도 포함하는 고전적 모저 유형의 정규성 이론 및 하르나크 이론을 일반화한다.