[논문 리뷰] The differentiation of hypoelliptic diffusion semigroups

Marc Arnaudon, Anton Thalmaier|SPIRE - Sciences Po Institutional REpository|2010. 04. 13.

Advanced Mathematical Modeling in Engineering참고 문헌 5인용 수 4

한 줄 요약

이 논문은 히포에일리프틱 확산 세미군수에 대한 스토케스틱 적분 by parts 공식을 말리아빈 미적분학과 국소 마틴갈 방법을 사용하여 개발하며, 시험 함수의 도함수를 요구하지 않게 하여 세미군수와 조화 함수에 대한 도함수 공식을 가능하게 한다. 주요 기여는 히포에일리프틱 조건이 허르망더 조건을 통해 만족될 경우, 세미군수의 도함수를 도함수 흐름, 말리아빈 공분산 및 그 역행렬로 표현하는 것이다.

ABSTRACT

Basic derivative formulas are presented for hypoelliptic heat semigroups and harmonic functions extending earlier work in the elliptic case. Emphasis is placed on developing integration by parts formulas at the level of local martingales. Combined with the optional sampling theorem, this turns out to be an efficient way of dealing with boundary conditions, as well as with finite lifetime of the underlying diffusion. Our formulas require hypoellipticity of the diffusion in the sense of Malliavin calculus (integrability of the inverse Malliavin covariance) and are formulated in terms of the derivative flow, the Malliavin covariance and its inverse. Finally some extensions to the nonlinear setting of harmonic mappings are discussed.

연구 동기 및 목표

• 시험 함수의 도함수가 필요 없는 히포에일리프틱 확산 세미군수에 대한 도함수 공식을 개발한다.
• 국소 마틴갈과 말리아빈 미적분학을 활용하여 타원적 조건에서의 적분 by parts 기법을 히포에일리프틱 조건으로 확장한다.
• 옵셔널 샘플링과 확률적 제어 방법을 통해 경계 조건과 유한 수명 확산을 다룬다.
• 특히 히포에일리프틱 영역에서 비유클리드 대상에 대한 조화 매핑으로 결과를 일반화한다.
• 허르망더 조건 하에서 도함수의 확률적 표현을 제공하여 전이 밀도의 매끄러운 전이를 보장한다.

제안 방법

• 국소 마틴갈 수준에서 적분 by parts를 적용하여 세미군수와 조화 함수에 대한 도함수 공식을 도출한다.
• 경계 조건과 유한 수명 확산을 다루기 위해 옵셔널 샘플링 정리를 적용한다.
• 세미군수의 도함수를 도함수 흐름 $X_{t\bullet}$, 말리아빈 공분산 및 그 역행렬을 사용하여 표현한다.
• 도함수 흐름과 브라운 운동에 대한 스토케스틱 적분을 통해 구성된 국소 마틴갈 $n_s$ 를 도입한다.
• 편미분 분석을 위한 국소 마틴갈을 생성하기 위해 과정 $a_s = (X_{s\bullet}^{-1}A)_x^* \mathbf{1}_{\{s \leq \tau\}}$ 를 활용한다.
• 비선형 경우에 추가 항으로 $\mathbb{E}\left[\left(\int_0^\sigma \Theta_{0,s}^{-1} \nabla \Theta_{0,s} \, dY_s\right) C^{-1}_\sigma(x) v\right]$ 의 표현을 도출한다.

실험 결과

연구 질문

• RQ1 기본 연산자가 타원적이지 않은 히포에일리프틱 확산에 대해 적분 by parts 공식을 어떻게 적응시킬 수 있는가?
• RQ2 시험 함수의 도함수를 포함하지 않는 세미군수에 대한 도함수 공식을 표현할 수 있는가?
• RQ3 히포에일리프틱 조건 하에서 말리아빈 공분산과 그 역행렬은 도함수 표현에 어떤 역할을 하는가?
• RQ4 경계 조건과 유한 수명 확산을 스토케스틱 적분 by parts 프레임워크 내에서 어떻게 다룰 수 있는가?
• RQ5 히포에일리프틱 조건 하에서 비유클리드 대상에 대한 조화 매핑으로 도함수 공식을 확장할 수 있는가?

주요 결과

• 논문은 시험 함수 $f$ 의 도함수에 의존하지 않고 도함수 흐름, 말리아빈 공분산 및 그 역행렬에만 의존하는 세미군수 $P_t f$ 에 대한 도함수 공식을 수립한다.
• 허르망더 조건 하에서 세미군수는 강한 펠러 성질을 가지며 매끄러운 전이 밀도를 갖는다. 이는 유도된 공식의 정규성을 보장한다.
• 국소 마틴갈 수준에서의 적분 by parts 공식은 옵셔널 샘플링을 통해 경계 조건과 유한 수명 확산을 다룰 수 있게 한다.
• 조화 함수의 경우, 경계 데이터의 도함수를 포함하지 않고 스토케스틱 적분과 국소 마틴갈을 사용하여 도함수 $du$ 를 표현한다.
• 비선형 경우이면서 비유클리드 대상이면, $\int_0^\sigma \Theta_{0,s}^{-1} \nabla \Theta_{0,s} \, dY_s$ 를 포함하는 추가 항이 나타나며, 아직 이를 제거할 수는 없다.
• 이 방법은 브라운 운동의 편미분과 측도 변화에 기반하며, 시간 변화, 회전 등의 대안적 변형은 유용할 수 있으나 아직 완전히 활용 가능하지 않다.