[논문 리뷰] On subhamonicity for symmetric Markov processes

Zhen-Qing Chen, Kazuhiro Kuwae|ArXiv.org|2009. 12. 16.

Geometry and complex manifolds참고 문헌 19인용 수 9

한 줄 요약

이 논문은 국소적으로 컴acts separable metric space 위의 대칭 헌트 과정에 대해 분석적이고 확률론적 하모닉성의 개념이 동치임을 증명한다. 이는 이전의 조화 함수에 대한 결과를 일반화한 것으로, 주요 기여는 $\mathcal{E}$-하모닉 함수에 대한 리에즈 유형 분해와 자연스러운 적분 가능성 및 정규성 조건 하에서 미세하게 연속적이며 국소적으로 유계인 ${\mathcal{E}}$-하모닉 함수에 대한 강한 최대원리이다.

ABSTRACT

We establish the equivalence of the analytic and probabilistic notions of subharmonicity in the framework of general symmetric Hunt processes on locally compact separable metric spaces, extending an earlier work of the first named author on the equivalence of the analytic and probabilistic notions of harmonicity. As a corollary, we prove a strong maximum principle for locally bounded finely continuous subharmonic functions in the space of functions locally in the domain of the Dirichlet form under some natural conditions.

연구 동기 및 목표

• 국소적으로 컴acts separable metric space 위의 대칭 헌트 과정의 맥락에서 분석적이고 확률론적 하모닉성 정의 간의 동치성을 확립하는 것.
• 특히 비국소적이고 점프 유형 과정에서 조화 함수에 대한 이전 결과를 하모닉 함수의 경우로 확장하는 것.
• 자연스러운 적분 가능성 및 정규성 조건 하에서 국소적으로 유계이고 미세하게 연속적인 ${\mathcal{E}}$-하모닉 함수에 대한 강한 최대원리를 증명하는 것.
• 비국소적이고 비연속적인 기초 과정의 성격을 다룰 수 있도록 ${\mathcal{E}}$-하모닉 함수에 대한 리에즈 유형 분해 정리를 개발하는 것.
• 확률론적 및 분석적 방법을 통해 고전적인 강한 최대원리를 비국소적 연산자와 점프 과정으로 일반화하는 것.

제안 방법

• 모든 $ x \in D $ 에 대해 $ u(X_{t \tau_D}) $ 가 균일 적분 가능하고, 하위마팅게일인 것으로 하모닉성을 확률론적으로 정의한다.
• 모든 비음수 $ v \in \mathcal{F} \cap C_c^+(D) $ 에 대해 $ \mathcal{E}(u, v) \leq 0 $ 를 만족하는 것으로, $ u \in \mathcal{F}_{D,\text{loc}} $ 일 때 하모닉성을 분석적으로 정의한다.
• 국소적으로 컴acts separable metric space $ E $ 에서 $ L^2(E; m) $ 위의 정규 국소 딜레르흐 형식 $ (\mathcal{E}, \mathcal{F}) $ 프레임워크를 사용한다.
• ${\mathcal{E}}$-하모닉 함수에 대한 리에즈 유형 분해 정리를 확립하여, 잠재력과 조화 부분으로 분해할 수 있도록 한다.
• 균일 적분 가능 하위마팅게일 이론과 헌트 과정의 강한 마코프 성질을 활용하여 확률론적 및 분석적 정의를 연결한다.
• 특수 예시, 예를 들어 점프가 있는 확산과 대칭 레비 과정에 결과를 적용하여 동치성과 구체적 조건을 검증한다.

실험 결과

연구 질문

• RQ1 국소적으로 컴acts separable metric space 위의 대칭 헌트 과정에 대해 분석적이고 확률론적 하모닉성 정의가 동치인가?
• RQ2 비국소적이고 점프-확산 설정에서 국소적으로 유계이면서 미세하게 연속적인 ${\mathcal{E}}$-하모닉 함수에 대해 강한 최대원리가 확장될 수 있는가?
• RQ3 과정이 비연속적일 경우, $ \mathcal{F}_{D,\text{loc}} $ 에 속하는 함수에 대해 딜레르흐 형식 $ \mathcal{E}(u, v) $ 는 어떻게 의미 있게 확장될 수 있는가?
• RQ4 점프 성분이 존재할 경우, 확률론적으로 하모닉인 함수가 분석적으로도 하모닉일 조건은 무엇인가?
• RQ5 고전적인 두 번째 순서 타원형 연산자에 대한 강한 최대원리는 어떤 정도까지 대칭 마코프 과정을 통해 비국소적 연산자로 일반화될 수 있는가?

주요 결과

• 국소적으로 컴acts separable metric space 위의 대칭 헌트 과정에 대해 표준적인 적분 가능성 및 정규성 조건 하에서 분석적이고 확률론적 하모닉성의 개념이 동치임을 입증한다.
• ${\mathcal{E}}$-하모닉 함수에 대한 리에즈 유형 분해 정리가 확립되어 잠재력과 조화 부분으로 분해할 수 있도록 한다.
• 과정이 기저 측도에 대해 절대 연속 조건을 만족하는 한, 국소적으로 유계이고 미세하게 연속적인 ${\mathcal{E}}$-하모닉 함수에 대해 강한 최대원리가 성립한다.
• 대칭 레비 과정(브라운 운동과 $ \alpha $-스테이블 과정의 합)의 예시에서는 $ (1 \wedge |x|^{-d - \alpha}) u(x) \in L^1(\mathbb{R}^d) $ 를 만족할 경우 동치성이 성립한다.
• 모든 $ x \in U $ 에 대해 $ u(x) \leq \mathbb{E}_x[u(X_{\tau_U})] $ 를 만족하고, $ u(X_{\tau_U}) \in L^1(\mathbb{P}_x) $ 일 때의 확률론적 조건은 모든 비음수 $ v \in \mathcal{F} \cap C_c^+(D) $ 에 대해 $ \mathcal{E}(u, v) \leq 0 $ 를 만족하는 분석적 조건과 동치이다.
• 결과는 고전적인 강한 최대원리를 비국소적이고 점프 유형 과정으로 일반화하며, 측도 수축 성질을 가진 특이 공간 위의 기하학적 분석에 적용 가능하다.