[논문 리뷰] Construction and analysis of sticky reflected diffusions

Martin Grothaus, Robert Voßhall|arXiv (Cornell University)|2014. 12. 12.

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

한 줄 요약

이 논문은 ℝᵈ 내 유계 도메인에서 Dirichlet 형식 기법을 사용하여 경계에서 점착성 반사 확산을 구성한다. 이는 경계 Γ에서 양의 시간을 소비하고 표면 SDE를 통해 그 위로도 진동할 수 있는 확산 과정을 가능하게 한다. 주요 기여는 과정가 스트라토노비치 SDE의 약한 해임을 증명하고, 경계 및 계수에 대한 미약한 정규성 조건 하에서 정규성과 𝒮ᴸᵖ-강한 펄러 성질을 확립하는 것이다.

ABSTRACT

We give a Dirichlet form approach for the construction of distorted Brownian motion in a bounded domain $Ω$ of $\mathbb{R}^d$, $d \geq 1$, with boundary $Γ$, where the behavior at the boundary is sticky. The construction covers the case of a static boundary behavior as well as the case of a diffusion on the hypersurface $Γ$ (for $d \geq 2)$. More precisely, we consider the state space $\overlineΩ=Ω\stackrel{.}{\cup} Γ$, the process is a diffusion process inside $Ω$, the occupation time of the process on the boundary $Γ$ is positive and the process may diffuse on $Γ$ as long as it sticks on the boundary. The problem is formulated in an $L^2$-setting and the construction is formulated under weak assumptions on the coefficients and $Γ$. In order to analyze the process we assume a $C^2$-boundary and some weak differentiability conditions. In this case, we deduce that the process is also a solution to a given SDE for quasi every starting point in $\overlineΩ$ with respect to the underyling Dirichlet form. Under the addtional condition that $\{ \varrho =0 \}$ is of capacity zero, we prove ergodicity of the constructed process and consequently, we verify that the boundary behavior is indeed sticky. Moreover, we show ($\mathcal{L}^p$-)strong Feller properties which allow to characterize the constructed process even for every starting point in $\overlineΩ \backslash \{ \varrho=0\}$.

연구 동기 및 목표

• 유계 도메인 Ω ⊂ ℝᵈ 의 폐포에 점착성 경계 행동을 갖는 확산 과정을 구성하는 것.
• 왜곡된 브라운 운동의 프레임워크를 확장하여, δ=1일 때 경계를 따라의 확산도 포함하는 비자명한 경계 역학을 포함하는 것.
• 과정가 스트라토노비치 SDE의 약한 해임을 엄밀히 증명하는 것, 이는 Wentzell 형식의 경계 조건을 갖는다.
• {ϱ=0}의 용량이 0임을 조건으로 과정의 정규성을 증명하여 점착성 경계 행동을 확인하는 것.
• 𝒮ᴸᵖ-강한 펄러 성질을 확립하여, Ω̅∖{ϱ=0} 내 모든 시작점에 대해 과정의 경로 기반 특성을 가능하게 하는 것.

제안 방법

• μ = ϱ(λ + σ)인 기준 측도를 사용하여 L²(Ω̅; μ) 위에서 Dirichlet 형식 접근법을 사용한다. 이 측도는 경계 Γ에 질량을 할당한다.
• 계수 α, β 및 경계 Γ에 대해 약한 가정 하에 L²(Ω̅; μ) 위에서 Dirichlet 형식 (ℰ, D(ℰ))을 구성한다.
• C² 경계 조건과 약한 미분 가능성 조건을 도입하여 정규성와 관련된 마틴갈 문제의 해를 유도한다.
• 내부 이동, 경계 이동, 법선 반사 항을 포함하는 스트라토노비치 SDE를 포함하는 생성자 식별을 통해 SDE 표현을 유도한다.
• 결과 [BGS13]을 적용하여 국소 연속성과 도메인 내 점을 분리하는 수열을 확인함으로써 𝒮ᴸᵖ-강한 펄러 성질을 확립한다.
• 랜덤 시간 변화를 사용하여 점착성 과정을 반사 확산과 연결함으로써 강한 해의 존재가 불가능함을 뒷받침한다.

실험 결과

연구 질문

• RQ1 계수 및 경계에 대해 약한 정규성 조건 하에서 Dirichlet 형식을 통한 점착성 반사 확산의 엄밀한 구성이 가능한가?
• RQ2 기본 Dirichlet 형식에 대해 Ω̅ 내 거의 모든 시작점에서 과정이 Wentzell 형식의 경계 조건을 갖는 스트라토노비치 SDE의 약한 해인가?
• RQ3 {ϱ=0}의 용량이 0이라는 조건 하에서 과정이 진정으로 점착성 행동을 보이는데, 즉 장기적으로 경계에서 양의 점유 시간을 가지는가?
• RQ4 강한 펄러 또는 𝒮ᴸᵖ-강한 펄러와 같은 정규성 성질은 과정의 전이 세미군에 어떤 성질을 갖는가?
• RQ5 경계가 곳곳에서 매끄럽지 않더라도, Ω̅∖{ϱ=0} 내 모든 시작점에 대해 과정을 경로 기반으로 특성화할 수 있는가?

주요 결과

• 구성된 과정는 기초 Dirichlet 형식에 대해 Ω̅ 내 거의 모든 시작점에서 스트라토노비치 SDE (1.1)의 약한 해이다.
• 집합 {ϱ=0}의 용량이 0임을 가정할 경우 과정은 정규성을 보이며, Γ에서 장기적으로 양의 점유 시간을 가지므로 점착성 경계 행동임을 확인한다.
• 전이 세미군 (pₜ)ₜ>0는 𝒮ᴸᵖ-강한 펄러 성질을 갖는다. 즉, pₜ는 Lᵖ(Ω̅; μ)를 C(Ω̅)로 매핑하며, 특히 유계 가측 함수를 연속 함수로 매핑한다.
• 과정은 Ω̅₁ = Ω̅ ∖ {ϱ=0}에서 강한 펄러 성질을 갖는다. 이는 이 집합 내 모든 시작점에 대해 경로 기반 특성을 가능하게 한다.
• L²(Ω̅; μ) 위에서의 Dirichlet 형식 (ℰ, D(ℰ))는 과정과 관련이 있으며, [FOT11]의 절대 연속성 조건을 만족하므로 정규성 결과가 L²(Ω̅; μ) 설정으로까지 확장됨을 보장한다.
• 강한 해가 존재하지 않음을 고려할 때, 이 구성은 최적적이다. 이는 시간 스케일링된 반사 확산의 극한으로서 알려진 점착 브라운 운동과 일치한다.