[논문 리뷰] Singular stochastic equations on Hilbert spaces: Harnack inequalities for their transition semigroups

Giuseppe Da Prato, Michael Röckner외 1명|arXiv (Cornell University)|2008. 11. 13.

Stochastic processes and financial applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유계가 아니며 리프시츠 조건을 만족하지 않을 수 있는 가측성만 보장되는 비선형 항을 가진 힐버트 공간 위에서의 특이 스토케스틱 미분방정식의 전이 준군에 대해 하르낙 부등식을 수립한다. 요시다 근사법을 활용하고 콜모고로프 연산자의 구조를 분석함으로써, 저자들은 준군의 정규화 및 초유계속성 성질을 증명하고, 적당한 적분 조건 하에서 무한소로 불변 측도의 존재성과 유일성을 확립한다.

ABSTRACT

We consider stochastic equations in Hilbert spaces with singular drift in the framework of [Da Prato, Röckner, PTRF 2002]. We prove a Harnack inequality (in the sense of [Wang, PTRF 1997]) for its transition semigroup and exploit its consequences. In particular, we prove regularizing and ultraboundedness properties of the transition semigroup as well as that the corresponding Kolmogorov operator has at most one infinitesimally invariant measure $μ$ (satisfying some mild integrability conditions). Finally, we prove existence of such a measure $μ$ for non-continuous drifts.

연구 동기 및 목표

• 비리프시츠 조건을 만족할 수 있는 비선형 항을 가진 힐버트 공간 위에서의 특이 스토케스틱 미분방정식의 전이 준군에 대해 하르낙 부등식을 수립하는 것.
• 해당 전이 준군의 정규성 및 초유계속성 성질을 조사하는 것.
• 적당한 적분 조건 하에서 무한소로 불변 측도의 유일성을 증명하는 것.
• 근사 기법을 사용하여 비연속성인 비선형 항을 가진 경우에도 이러한 불변 측도의 존재성을 확립하는 것.
• 소음 연산자 σ가 힐버트-슈미트가 아닐 경우에도 비선형 항의 적절한 성장 조건 하에서 결과를 일반화하는 것.

제안 방법

• 비선형 항이 m-비산성이고 소음 연산자 σ가 유계, 자기수반, 양의정의인 힐버트 공간 위에서의 특이 SDE에 대해 [7]의 프레임워크를 활용한다.
• 비선형 항을 정규화하고 매끄러운 계수를 가진 근사 SDE의 수열을 구성하기 위해 요시다 근사법을 적용한다.
• 콜모고로프 연산자를 기반으로 한 커플링 및 기울기 추정을 이용해 전이 준군에 대한 하르낙 부등식을 유도한다.
• 무한소로 불변성을 분석하기 위해 $ \fancyscript{E}_A(H) $, 즉 지수함수의 실수부의 선형 결합으로 이루어진 공간 위에서의 콜모고로프 연산자 $ L_0 $ 를 활용한다.
• 무한소로 불변 측도의 존재를 보장하기 위해 조건 $ \int_H (1+|x|^2)(1+|F_0(x)|) \mu(dx) < \infty $ 를 사용한다.
• 함수 $ \Theta(x) = \sum \frac{\lambda_i}{q_i} \langle x,e_i\rangle^2 $ 를 통한 균일한 모멘트 유계와 컴팩턴스 추론을 활용해 불변 측도의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 비리프시츠 조건을 만족할 수 있는 비선형 항을 가진 힐버트 공간 위에서의 특이 SDE의 전이 준군에 대해 하르낙 부등식을 수립할 수 있는가?
• RQ2 하르낙 부등식 하에서 전이 준군이 보이는 정규성 성질(예: 스무딩, 초유계속성)은 무엇인가?
• RQ3 적당한 적분 조건 하에서 콜모고로프 연산자의 무한소로 불변 측도가 유일한가?
• RQ4 비연속성인 비선형 항에 대해 불변 측도가 존재하기 위한 비선형 항과 생성자에 대한 조건은 무엇인가?
• RQ5 요시다 근사법은 무한차원 SDE에서 매끄러운 비선형 항에서 특이 비선형 항으로의 결과 확장을 어떻게 가능하게 하는가?

주요 결과

• 특이 SDE의 전이 준군에 대해 하르낙 부등식이 성립하며, 이는 전이 핵함수가 불변 측도에 대해 절대연속임을 의미한다.
• 전이 준군 $ P_t^\mu $ 는 정규화 및 초유계속성 성질을 모두 만족하며, bound $ \|p_t^\mu f\|_{L^\infty(H,\mu)} \leq \frac{e^{\omega t}}{\sqrt{t \wedge 1}} \|f\|_0 \|\sigma^{-1}\| \|f\|_{L^1(H,\mu)} $ 가 성립한다.
• 콜모고로프 연산자 $ L_0 $ 에 대한 무한소로 불변 측도 $ \mu $ 는 적분 조건 $ \int_H (1+|x|^2)(1+|F_0(x)|) \mu(dx) < \infty $ 하에서 유일하다.
• 성장 조건 $ |F_0(x)| \leq C(1 + |x|^m + \Theta^{1/2}(x)) $ 를 만족할 경우, 근사 측도 수열 $ \mu_\alpha $ 는 $ \Theta $-모멘트가 균일하게 유계이므로 타이트함이 보장된다.
• 비연속성 비선형 항에 대해서도 요시다 근사법과 균일한 모멘트 추정을 통해 불변 측도 $ \mu $ 의 존재가 증명된다.
• 조건 $ \sup_{\alpha \in (0,\alpha_0)} \int_H \Theta d\mu_\alpha < \infty $ 는 불변 측도의 존재를 충분히 보장하며, 이 조건은 $ A $ 의 고유값이 비선형 항의 성장에 비해 충분히 빠르게 증가할 경우 성립한다.