[논문 리뷰] Stochastic transport equation in bounded domains

Wladimir Neves, Christian Olivera|arXiv (Cornell University)|2014. 06. 14.

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

한 줄 요약

이 논문은 강한 확률적 경계 조건과 스트라토노비치-이토 변환을 사용하여, 유계 영역 내 비정칙 계수를 가진 확률적 선형 운반 방정식에 대한 약한 해의 전역 존재성과 유일성을 확립한다. 주요 기여는 비율성의 발산이 아래에서 유계가 아님을 가정하지 않고도 유일성을 증명한 데 있다. 이는 더 비정칙적인 설정으로 잘정의된 문제 결과를 확장한다.

ABSTRACT

This paper is concerned with the initial-boundary value problem \; for stochastic transport equations in bounded domains. For a given stochastic perturbation of the drift vector field, we prove existence and uniqueness of weak solutions with non-regular coefficients. The existence of weak solutions relies strongly on the existence of strong stochastic trace, and also on the passage from the Stratonovich into Itô's formulation for bounded domains.Moreover, the uniqueness of weak solutions is obtained under suitable conditions.

연구 동기 및 목표

• 비정칙 계수를 가진 유계 영역 내에서 확률적 선형 운반 방정식(SLTE)의 초기-경계값 문제의 잘정의됨을 확립하기 위해.
• 해의 정규성 부족 시 경계 조건을 다룰 수 있는 강한 확률적 경계 조건 이론을 개발하기 위해.
• 비율성의 발산이 아래에서 유계가 아님을 가정하지 않고도 약한 해의 유일성을 증명하기 위해.
• 디페르나-라온스와 아름보시의 프레임워크를 유계 변동(BV) 정규성과 매끄럽지 않은 계수를 가진 확률적 설정으로 확장하기 위해.
• 측도 기반 경계 경계 이론을 통해 가측성과 유계성 해에 대한 경계 경계를 정의하는 데 도전 과제를 해결하기 위해.

제안 방법

• 공간적 정규성이 부족한 상황에서 약한 해의 경계 조건을 정의하기 위한 핵심 도구로 강한 확률적 경계 조건을 도입한다.
• 스트라토노비치-이토 변환 공식을 적용하여 확률적 운반 방정식을 이토 형태로 변환함으로써 이토 미적분 도구의 사용을 가능하게 한다.
• BV 함수 이론과 경계 조건 정리들을 활용하여 비율성과 해의 경계 $\Gamma$에서의 제한을 정의한다.
• 후나키의 영감을 얻은 시간 반전 과정 접근법을 사용하여 사전 추정과 존재 결과를 유도한다.
• 모리피어와 법선 확장을 사용하여 $L^1_{\text{loc}}$ 해를 $C^\infty$ 공간으로 근사하기 위한 전역 근사 방법을 활용한다.
• 영역과 경계의 정규화된 근사값을 구성하기 위해 적합한 변형과 관련된 수준 집합 함수 $h$를 활용한다.

실험 결과

연구 질문

• RQ1 비정칙 계수를 가진 유계 영역 내에서 확률적 선형 운반 방정식에 대해 약한 해가 존재할 수 있는가?
• RQ2 해의 정규성이 부족할 경우 경계 조건을 어떻게 엄밀하게 정의할 수 있는가?
• RQ3 비율성의 발산이 아래에서 유계가 아님을 가정하지 않고도 해의 유일성이 가능한가?
• RQ4 강한 확률적 경계 조건이 확률적 설정에서 적절한 경계 행동을 보장하는 데 어떤 역할을 하는가?
• RQ5 스트라토노비치에서 이토로의 변환은 초깃값-경계값 문제의 잘정의됨에 어떤 영향을 미치는가?

주요 결과

• 강한 확률적 경계 조건의 존재성과 유일성이 엄밀히 증명되어 약한 해의 경계 조건 정의가 가능해졌다.
• 비율성에 대해 $L^q((0,T);BV_{\text{loc}}(\mathbb{R}^d;\mathbb{R}^d))$ 조건을 만족하고 $q>2$, 발산이 $L^1_{\text{loc}}$일 경우 약한 해가 존재한다.
• 비율성의 발산이 아래에서 유계가 아님을 가정하지 않고도 약한 해의 유일성이 확립되었으며, 이는 결정론적 결과에 비해 상당한 개선이다.
• 경계 조건은 측도 $d\mu = (b\cdot\mathbf{n})\,dr\,dt$를 통해 적절히 정의되며, 강한 경계 조건 하에서 경계 $\Gamma_T$ 상에서 추정치 $\gamma u$는 거의 확실히 0이 된다.
• 스트라토노비치에서 이토로의 전환은 정확한 이토 적분 표현을 도출하고 경계 조건 $\gamma u = 0$ a.s. 를 증명하는 데 필수적이다.
• 시간 반전 과정과 전역 모리피케이션 방법을 통해 근사의 수렴이 $L^1_{\text{loc}}$에서 보장되어 약한 해 프레임워크의 타당성이 검증되었다.