[논문 리뷰] Stochastic flows with reflection

Andrey Pilipenko|ArXiv.org|2008. 10. 25.

Stochastic processes and financial applications참고 문헌 10인용 수 5

한 줄 요약

이 논문은 양의 정합부 ℝᵈ₊에서의 확률적 흐름을 조사하며, 흐름 사상이 초기 조건에 대해 소볼레프 미분 가능하다는 것을 증명하고, 이미지 집합의 경계에서 하우스도르프 측도에 대한 푸시포워드 측도 μ∘φₜ⁻¹의 절대연속성을 확립한다. 주요 기여는 계수에 대한 약한 정규성 및 비퇴화 조건이 만족될 경우, 경계에서 궤적의 융합 이후에도 흐름이 측도의 절대연속성을 유지한다는 것을 보여주는 것이다.

ABSTRACT

Some topological properties of stochastic flow $φ_t(x)$ generated by stochastic differential equation in a ${\mathbb R}^d_+$ with normal reflection at the boundary are investigated. Sobolev differentiability in initial condition is received. The absolute continuity of the measure-valued process $μ\circφ_t^{-1}$, where $μ\llλ^d,$ is studied.

연구 동기 및 목표

• 반사가 있는 반공간 ℝᵈ₊에서의 확률적 흐름의 위상적 성질과 미분 가능성 성질을 분석하기 위해.
• 다른 초기 조건에서 시작하는 궤적의 행동을 연구하며, 특히 경계에서의 융합 현상을 다루기 위해.
• 도달 시간과 하우스도르프 측도를 이용하여 흐름의 이미지 및 그 경계를 특성화하기 위해.
• 이미지 집합의 경계에서 (d−1)-차원 하우스도르프 측도에 대한 푸시포워드 측도 μ∘φₜ⁻¹의 절대연속성을 확립하기 위해.
• 반공간의 결과를 국소 미분동형사상과 경계에 대한 기하 조건을 통해 일반 도메인으로 확장하기 위해.

제안 방법

• 경계 ∂ℝᵈ₊ = ℝᵈ⁻¹×{0}에서 법선 반사를 갖는 확률적 미분방정식을 사용하며, 이는 빈티에르 과정과 경계에 도달할 때만 증가하는 국소 시간 과정 ξ(t,x)에 의해 구동된다.
• 코모고로프의 정리를 적용하여 거의 모든 ω에 대해 (t,x)에 대해 흐름 (φₜ(x), ξ(t,x))의 공통 연속 버전을 구성한다.
• 국소화 기법을 사용하여 반공간 ℝᵈ₊에서의 결과를 C² 경계를 갖는 일반 도메인 G ⊂ ℝᵈ와 내부 법선 반사로 확장한다.
• 푸시포워드 측도의 절대연속성을 보장하기 위해 경계의 탄성 공간에 대한 도함수 행렬 Uₛₜ(x)의 사영의 질량을 조건화한다.
• 도함수 행렬의 사영에 대한 질량 조건을 도입하여, 푸시포워드 측도가 경계에서 Hᵈ⁻¹에 대해 절대연속이 되도록 보장한다.
• 궤적의 융합이 오직 경계에서만 발생하고, 내부 점에서 시작하는 궤적이 경계에 도달한 후에는 경계 궤적과 융합함을 고려하여, 이미지 집합 φₜ(ℝᵈ₊)의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 계수의 조건이 약간의 정규성과 비퇴화 조건을 만족할 때, 확률적 흐름 φₜ(x)는 초기 조건 x에 대해 소볼레프 미분 가능할 조건은 무엇인가?
• RQ2 다른 초기 조건에서 시작하는 궤적이 상호작용하는 방식은 어떻게 되며, 특히 경계에서의 융합은 어떠한가?
• RQ3 이미지 집합 φₜ(ℝᵈ₊)의 경계는 어떤 구조를 가지며, 이는 경계 도달 시간과 어떻게 관련이 있는가?
• RQ4 푸시포워드 측도 μ∘φₜ⁻¹가 이미지 집합의 경계에서 (d−1)-차원 하우스도르프 측도에 대해 절대연속이 되는 조건은 무엇인가?
• RQ5 경계에 기하 조건이 있는 일반 도메인에 대해 반공간 ℝᵈ₊의 결과를 어떻게 확장할 수 있는가?

주요 결과

• 흐름 φₜ(x)는 (t,x)에 대해 연속이며, 각 t에 대해 계수들이 립시츠 조건만 만족하더라도 ∩ₚ>₁ W¹ₚ,loc(ℝᵈ₊, ℝᵈ)에 속한다.
• ℝᵈ₊의 내부에서 다른 점에서 시작하는 궤적들은 경계에 도달하기 전에는 충돌하지 않으며, 도달 후에는 융합되어 함께 이동한다.
• 이미지 집합 φₜ(ℝᵈ₊)의 경계는 φₜ(∂ℝᵈ₊) = φₜ({x : τ(x) ≤ t})와 일치하며, 이 집합은 컴acts부분에서 유한한 (d−1)-차원 하우스도르프 측도를 가진다.
• 푸시포워드 측도 μ∘φₜ⁻¹는 도함수 행렬의 사영이 거의 확실히 질량 d−1을 갖는 한, 이미지 집합의 경계에서 Hᵈ⁻¹에 대해 절대연속이다.
• ℝ²의 단위 원판에서, 이미지 집합 φₜ(G)는 t ≥ σ일 때 (σ는 브라운 운동 궤적이 반지름 2에 도달하는 첫 번째 시간) 밀도가 없고, 경계와 일치하며, t ≥ σ일 때 H¹에 대해 μ∘φₜ⁻¹는 절대연속이다.
• 만약 경계에 서로 수직인 두 개의 선분이 포함되어 있다면, 도함수 행렬의 사영에 대한 질량 조건이 위반되어 절대연속 조건이 성립하지 않는다.