[논문 리뷰] Asymptotics for Exit Problem and Principal Eigenvalue for a Class of Non-Local Elliptic Operators Related to Diffusion Processes with Random Jumps and Vanishing Diffusion

Ross G. Pinsky|arXiv (Cornell University)|2011. 05. 18.

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

한 줄 요약

이 논문은 공간에 의존하는 강도 $V$와 점프 분포 $\mu$에 의해 지배되는 점프-확산 과정을 모델링하는 비국소 타원형 연산자의 소규모 확산 극한 ($\delta \to 0$)을 조사한다. 점프 분포 $\mu$의 경계 행동에 따라 결정되는 상수로 수렴하는 딜리클레 문제의 해의 점근적 퇴출 분포와 주 특성값을 도출하며, 경계에서 $\mu$와 $V$의 가중 평균 및 법선 도함수를 포함한 명시적 공식을 제시한다. 핵심 결과는 $\mu$와 그 도함수의 경계에서의 소멸 순서에 따라 한정된 상수의 정밀한 특성화이다.

ABSTRACT

Let $D\subset R^d$ be a bounded domain and denote by $\mathcal P(D)$ the space of probability measures on $D$. Let \begin{equation*} L=\frac12 abla\cdot a abla +b abla \end{equation*} be a second order elliptic operator. Let $μ\in\mathcal P(D)$ and $δ>0$. Consider a Markov process $X(t)$ in $D$ which performs diffusion in $D$ generated by the operator $δL$ and is stopped at the boundary, and which while running, jumps instantaneously, according to an exponential clock with spatially dependent intensity $V>0$, to a new point, according to the distribution $μ$. The Markov process is generated by the operator $L_{δ,μ, V}$ defined by \begin{equation*} L_{δ,μ, V}ϕ\equiv δL ϕ+V(\int_Dϕdμ-ϕ). \end{equation*} %where $C_μ$ is the % "$μ$-centering" operator defined by %\begin{equation*} %C_μ(ϕ)=ϕ-\int_Dϕdμ. %\end{equation*} Let $ϕ_{δ,μ,V}$ denote the solution to the Dirichlet problem \begin{equation*}\label{Dirprob} \begin{aligned} &L_{δ,μ,V}ϕ=0\ ext{in}\ D;\\ &ϕ=f\ ext{on}\ \partial D, \end{aligned} \end{equation*} where $f$ is continuous. The solution has the stochastic representation \begin{equation*} ϕ_{δ,μ,V}(x)=E_xf(X(τ_D)). \end{equation*} One has that $ϕ_{0,μ,V}(f)\equiv\lim_{δ o0}ϕ_{δ,μ,V}(x)$ is independent of $x\in D$. We evaluate this constant in the case that $μ$ has a density in a neighborhood of $\partial D$. We also study the asymptotic behavior as $δ o0$ of the principal eigenvalue $λ_0(δ,μ,V)$ for the operator $L_{δ,μ, V}$, which generalizes previously obtained results for the case $L=\frac12 Δ$.

연구 동기 및 목표

• 유계 영역 $D \subset \mathbb{R}^d$ 내에서 확산과 무작위 점프를 갖는 마코프 과정의 소규모 확산 극한 ($\delta \to 0$)을 분석하기 위해.
• 해 $\phi_{\delta,\mu,V}(x)$ 가 딜리클레 문제의 해로서 $\delta \to 0$ 일 때 $x$에 독립적인 상수로 수렴함을 확인하기 위해.
• 경계 행동, 특히 $\mu$의 밀도와 $\partial D$ 근처에서의 소멸 순서에 따라 한정된 상수 $\phi_{0,\mu,V}(f)$를 특성화하기 위해.
• 이전의 $L_{\delta,\mu,V}$ 연산자에 대한 주 특성값 $\lambda_0(\delta,\mu,V)$ 결과를 일반적인 두 번째 차수 타원형 확산 생성자 $L$ 과 공간에 의존하는 점프 강도 $V$의 경우로 일반화하기 위해.

제안 방법

• 과정은 $L_{\delta,\mu,V} = \delta L + V(\int_D \phi \, d\mu - \phi)$ 로 주어지는 점프-확산으로 모델링되며, $\delta L$ 에 의한 확산과 $\mu$-분포된 위치로의 즉각적 점프를 포함한다.
• 해 $\phi_{\delta,\mu,V}$ 는 확률적으로 $\phi_{\delta,\mu,V}(x) = E_x[f(X(\tau_D))]$ 로 표현되며, 여기서 $\tau_D$ 는 $D$ 에서의 퇴출 시간이다.
• 작은 $\delta$ 영역에서의 점근적 극한 $\phi_{0,\mu,V}(f)$ 는 관련 그린 함수의 행동을 분석하고 스케일링 추론을 사용하여 분석된다.
• 분석은 $\tilde{L}$ 이 $L$ 의 형식적 수반이고, $\tilde{L}^k \mu / V$ 와 관련된 경계 조건을 갖는 보조 함수 $w$ 를 구성하고, 부분 적분과 최대 원리의 응용에 의존한다.
• 핵심 기술 도구는 $\delta \to 0$ 일 때 경계층 행동을 포착하는 스케일링 함수 $u_{\delta,V}$ 를 사용하는 것으로, 이는 $\delta L u_{\delta,V} = -V u_{\delta,V}$ 를 만족하며, 점근 전개를 통한 적분 성질 분석이 이루어진다.
• 결과는 $\mu$, $V$, $a$, $b$ 에 대한 정밀한 미분 가능성과 소멸 순서 가정 하에 도출되며, 경계층 적분과 지수 감쇠 추정을 통한 수렴을 철저히 다룬다.

실험 결과

연구 질문

• RQ1 소규모 확산 계수 $\delta \to 0$ 일 때 딜리클레 문제의 해 $\phi_{\delta,\mu,V}(x)$ 의 한계 값은 무엇인가?
• RQ2 점프 분포 $\mu$ 의 경계 행동, 특히 밀도와 $\partial D$ 근처에서의 소멸 순서가 소규모 확산 극한에서 퇴출 분포에 어떻게 영향을 미치는가?
• RQ3 연산자 $L_{\delta,\mu,V}$ 의 주 특성값 $\lambda_0(\delta,\mu,V)$ 가 $\delta \to 0$ 일 때 점근적 행동은 어떠한가?
• RQ4 경계에서의 법선 도함수와 $\partial D$ 에서의 가중 평균 등의 기하학적 및 확률적 양으로 한정된 퇴출 분포를 명시적으로 표현할 수 있는가?
• RQ5 $\mu$ 와 $V$ 의 미분 가능성과 소멸 순서는 수렴 속도와 극한의 구조에 어떻게 영향을 미치는가?

주요 결과

• 한계 $\phi_{0,\mu,V}(f) = \lim_{\delta \to 0} \phi_{\delta,\mu,V}(x)$ 는 $D$ 내의 $x$ 에 독립적이며, $\mu$ 와 $V$ 의 경계 행동에 의해 결정되는 상수이다.
• 짝수 $k$ 에 대해 한계 상수는 $\phi_{0,\mu,V}(f) = \frac{\int_{\partial D} f \sqrt{n \cdot a n} \, V^{-(k+1)/2} \tilde{L}^{k/2} \mu \, d\sigma}{\int_{\partial D} \sqrt{n \cdot a n} \, V^{-(k+1)/2} \tilde{L}^{k/2} \mu \, d\sigma}$ 로 주어지며, 여기서 $k$ 는 $\partial D$ 에서 $\mu$ 와 그 도함수의 소멸 순서이다.
• 홀수 $k$ 에 대해 공식은 $\tilde{L}^{(k-1)/2} \mu$ 와 법선 도함수를 포함하며, 한계는 $\phi_{0,\mu,V}(f) = \frac{\int_{\partial D} f \sqrt{n \cdot a n} \, V^{-(k+1)/2} \tilde{L}^{(k-1)/2} \mu \, d\sigma}{\int_{\partial D} \sqrt{n \cdot a n} \, V^{-(k+1)/2} \tilde{L}^{(k-1)/2} \mu \, d\sigma}$ 로 표현된다.
• 주 특성값 $\lambda_0(\delta,\mu,V)$ 는 $\delta \to 0$ 일 때 0으로 수렴하며, 이 수렴의 속도와 구조는 경계층 분석과 $\mu$ 의 소멸 순서에 의해 결정된다.
• 해가 상수 극한으로 수렴하는 것은 그린 함수의 점근적 분석과 $\tilde{L}^k \mu$ 에서 유도된 경계 데이터를 갖는 수반 방정식을 만족하는 보조 함수의 사용을 통해 확립된다.
• 증명은 스케일링된 해 $u_{\delta,V}$ 가 본체와 경계층에서 지수 감쇠함을 정밀하게 추정하고, 경계 항을 철저히 제어하는 부분 적분의 사용에 의존한다.