[논문 리뷰] Stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai외 1명|arXiv (Cornell University)|2016. 09. 24.

Geometric Analysis and Curvature Flows참고 문헌 45인용 수 11

한 줄 요약

이 논문은 체적 두배 조건이 일반적으로 성립하는 거리측도공간 위에서 대칭 비국소 딜레르흐 형식에 대해 포물형 하르낙 부등식(PHI)의 안정성을 확립한다. PHI는 점프 측도의 균일한 유계 변형 하에서도 유지되며, 열핵 추정, 파oincaré 부등식, 캘리틱 함수의 호일더 연속성과 같은 안정된 등가 특성으로 기술될 수 있다.

ABSTRACT

In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack inequalities and two-sided heat kernel estimates, as well as with the Hölder regularity of parabolic functions for symmetric non-local Dirichlet forms.

연구 동기 및 목표

• 점프 측도의 변형 하에서 대칭 비국소 딜레르흐 형식에 대한 포물형 하르낙 부등식(PHI)의 안정성을 조사하는 것.
• 양방향 열핵 추정, 파oincaré 부등식, 캘리틱 함수의 호일더 연속성 등의 기하학적·해석적 조건을 바탕으로 PHI의 등가 특성들을 수립하는 것.
• 비국소 설정에서 PHI와 캘리틱 함수의 호일더 연속성 간의 관계를 명확히 하는 것.
• 체적 두배 조건 하에서 점프 측도가 다른 점프 측도와 균일하게 비교 가능할 경우 PHI가 유지되는지 판단하는 것.
• 지역적 및 가우시안 타입의 확산 과정에서의 결과를 비국소 과정으로 확장하여 일반 거리측도공간에서 PHI 안정성에 대한 프레임워크를 제공하는 것.

제안 방법

• 순수 점프 유형의 대칭 정규 딜레르흐 형식을 정의하는 대칭 점프 측도 $ J(dx,dy) $를 사용하는 일반적인 거리측도공간 프레임워크를 사용한다.
• 과정의 시간-공간 스케일링을 기술하기 위해 척도 함수 $ \phi(r) $ 를 도입하며, 이는 확산 과정의 고전적 경우 $ \phi(r) = r^2 $ 를 일반화한다.
• 안정된 등가 조건을 유도하기 위해 체적 두배 조건과 파oincaré 부등식을 기본 가정으로 적용한다.
• 레비 시스템 공식과 퇴출 시간 추정을 활용하여 도달 확률을 분석하고 $ \mathrm{E}_{\phi} $ 조건을 수립한다.
• 특이 레비 측도를 포함한 반례를 제시하여, $ \mathrm{EHR} $ 와 $ \mathrm{E}_{\phi} $ 가 단독으로 $ \mathrm{EHI} $ 나 $ \mathrm{PHI}(\phi) $ 를 유도하지 못함을 보이며, 이는 $ \mathrm{UJS} $ 가 실패할 경우에도 성립한다.
• 원래의 점프 측도 $ J $ 와 변형된 점프 측도 $ \widehat{J} $ 간의 비교 기법을 활용하며, $ c_1 J \leq \widehat{J} \leq c_2 J $ 를 만족한다고 가정한다.

실험 결과

연구 질문

• RQ1 대칭 비국소 딜레르흐 형식에서 점프 측도의 균일한 변형 하에서도 포물형 하르낙 부등식(PHI)이 안정적인가?
• RQ2 체적 두배 조건 하에서 거리측도공간에서 PHI의 안정된 등가 조건은 무엇인가?
• RQ3 비국소 설정에서 PHI, 양방향 열핵 추정, 캘리틱 함수의 호일더 연속성 간의 관계는 어떻게 되는가?
• RQ4 비국소 딜레르흐 형식에서 파oincaré 부등식과 컷오프 소볼레프 부등식을 통해 PHI를 특성화할 수 있는가?
• RQ5 PHI를 위해 $ \mathrm{UJS} $ (균일한 점프 크기) 조건이 필수적인가, 아니면 이 조건 없이도 PHI가 성립할 수 있는가?

주요 결과

• 점프 측도의 균일한 비교 하에서 PHI는 안정하다: $ \mathrm{PHI}(\phi) $ 가 $ J $ 에 대해 성립하면, $ c_1 J \leq \widehat{J} \leq c_2 J $ 를 만족하는 $ \widehat{J} $ 에 대해서도 성립한다.
• 비국소 설정에서 PHI는 체적 두배 조건, 파oincaré 부등식, 그리고 양방향 열핵 추정의 조합과 등가이다.
• 대칭 $ \alpha $-안정성 유사 과정의 경우 $ \phi(r) = r^\alpha $ 를 사용하여 $ \mathrm{PHI}(\phi) $ 가 성립하며, 이는 점프 커널의 유계 변형 하에서도 안정하다.
• $ \mathbb{R}^3 $-값을 가진 독립적인 $ \alpha $-안정성 과정을 포함한 예시는 $ \mathrm{EHR} $ 와 $ \mathrm{E}_{\phi} $ 가 단독으로 $ \mathrm{EHI} $ 나 $ \mathrm{PHI}(\phi) $ 를 유도하지 못함을 보이며, 이는 $ \mathrm{PI}(\phi) $ 와 $ \mathrm{SCSJ}(\phi) $ 가 성립할 때조차도 마찬가지이다.
• 일부 구성에서 $ \mathrm{UJS} $ (균일한 점프 크기) 가 실패하면 $ \mathrm{PHI}(\phi) $ 도 성립할 수 없음을 보여, 이 조건이 일부 경우에서 필수적임을 입증한다.
• 논문은 $ \mathrm{E}_{\phi,\geq} $ 와 $ \mathrm{E}_{\phi,\leq} $ 조건(퇴출 시간 추정)이 $ \mathrm{PHI}(\phi) $ 를 충분히 보장하며, 이러한 조건들이 측도 변형 하에서도 안정됨을 수립한다.