[논문 리뷰] On The Existence of an Invariant Measure for Isotropic Diffusions in Random Environment

Benjamin Fehrman|arXiv (Cornell University)|2014. 04. 21.

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

한 줄 요약

이 논문은 $d \geq 3$ 인 $\mathbb{R}^d$ 위에서 정적이고 유한 범위의 의존성, 제한된 등방성 조건을 만족하는 브라운 운동의 소규모 변형인 무작위 환경 속 등방성 확산에서 유일한 불변 측도의 존재를 확립한다. 주요 결과는 과정의 법칙이 기저 확률 측도 $\mathbb{P}$에 대해 절대 연속인 유일한 불변 측도 $\pi$로 수렴하며, 국소적으로 측정 가능한 초기 자료에 대한 일반적인 동질화 결과를 가능하게 한다.

ABSTRACT

The results of this paper build upon those first obtained by Sznitman and Zeitouni in [11]. We establish, for spacial dimensions greater than two, the existence of a unique invariant measure for isotropic diffusions in random environment which are small perturbations of Brownian motion. Furthermore, we establish a general homogenization result for initial data which are locally measurable with respect to the coefficients.

연구 동기 및 목표

• 무작위 환경 속 등방성 확산이 $\mathbb{R}^d$ 에서 $d \geq 3$ 일 때 유일한 불변 측도의 존재를 확립하는 것.
• Sznitman과 Zeitouni [11]의 결과를 브라운 운동에서 소규모 변형을 겪는 연속 시간 확산으로 확장하는 것.
• 무작위 계수에 대해 국소적으로 측정 가능한 초기 자료에 대한 일반적인 동질화 결과를 증명하는 것.
• 시간 척도가 지수적으로 증가하는 방식으로 후방 코모고로프 방정식의 해를 따라 불변 측도 $\pi$를 한계로 특성화하는 것.

제안 방법

• 초기 자료 $f_E(x,\omega) = \mathbf{1}_E(\tau_x\omega)$ 를 가진 후방 코모고로프 방정식의 해 $u(x,t,\omega)$ 의 장기적 행동을 분석한다. 여기서 $E \in \mathcal{F}$.
• 불변 측도 $\pi(E)$ 를 시간 척도 $L_n^2$ 가 지수적으로 증가하는 수열을 따라 $\lim_{n \to \infty} \mathbb{E}[u_E(0, L_n^2, \omega)]$ 로 식별한다.
• Sznitman과 Zeitouni [11]의 커플링 기법을 응용하여, 큰 공간 및 시간 척도에서 확산 과정이 고정된 브라운 운동과 쌍화될 확률이 높음을 보인다.
• 환경 군 $\{\tau_x\}_{x \in \mathbb{R}^d}$ 의 에르고딕성 을 적용하여 $\pi$ 와 $\mathbb{P}$ 가 상호 절대 연속임을 증명하고, $\pi$ 가 $\Omega$ 상의 표준 마코프 과정에 대해 에르고딕 측도임을 보인다.
• 유한 범위의 의존성 조건을 만족하는 지표 함수를 가진 집합들의 클래스에 대해, 거의 확실한 수렴 $\lim_{t \to \infty} u_E(0,t,\omega) = \pi(E)$ 가 성립함을 보인다.
• 후방 방정식의 시간 적분을 통해 해와 불변 측도를 연결함으로써, 진동하는 우변을 가진 방정식의 동질화 결과를 도출한다.

실험 결과

연구 질문

• RQ1 정적이고 유한 범위의 의존성을 만족할 때, $d \geq 3$ 인 $\mathbb{R}^d$ 에서 무작위 환경 속 등방성 확산에 대해 유일한 불변 측도가 존재하는가?
• RQ2 시간 척도가 증가하는 수열을 따라 과정의 법칙이 불변 측도 $\pi$ 로 수렴하는가?
• RQ3 기저 확률 측도 $\mathbb{P}$ 에 대해 불변 측도 $\pi$ 가 절대 연속이며, 환경 군이 에르고딕일 경우 상호 절대 연속인가?
• RQ4 국소적으로 측정 가능한 조건을 만족하는 초기 자료의 클래스에 대해 과정의 법칙이 거의 확실하게 $\pi$ 로 수렴하는가?
• RQ5 진동하는 계수를 가진 포아송 및 타원 방정식의 동질화를 불변 측도 $\pi$ 를 통해 확립할 수 있는가?

주요 결과

• $(\Omega, \mathcal{F})$ 위에 존재하는 유일한 불변 측도 $\pi$ 는 $\mathbb{P}$ 와 절대 연속이며, 모든 $t \geq 0$ 과 $E \in \mathcal{F}$ 에 대해 $\pi(E) = \int_\Omega P_t(\omega, E) \, d\pi$ 를 만족한다.
• 환경 군 $\{\tau_x\}_{x \in \mathbb{R}^d}$ 가 에르고딕일 경우, $\pi$ 는 $\mathbb{P}$ 와 상호 절대 연속이며, $\Omega$ 상에서 에르고딕 확률 측도를 정의한다.
• 불변 측도 $\pi(E)$ 는 지수적으로 증가하는 시간 척도 $L_n^2$ 를 따라 $\lim_{n \to \infty} \mathbb{E}[u_E(0, L_n^2, \omega)]$ 로 식별되며, 이 수렴은 3.10–3.12 조건에서 증명된다.
• 유한 범위의 의존성 조건을 만족하는 집합들의 클래스에 대해, $E$ 에 따라 달라지는 전체 확률 부분집합에서 거의 확실한 수렴 $\lim_{t \to \infty} u_E(0,t,\omega) = \pi(E)$ 가 성립한다. 이는 4.3 조건에서 보여진다.
• 진동하는 우변 $f(x/\epsilon, \omega)$ 를 가진 포아송 방정식의 동질화 결과는 공간과 시간에 대해 국소적으로 균일하게 성립하며, $\epsilon \to 0$ 일 때 $u^\epsilon(x,t,\omega) \to t \overline{\pi}(f)$ 로 수렴한다. 여기서 $\overline{\pi}(f) = \int_\Omega f(0,\omega) \, d\pi$ 이며, 이는 정리 5.2 에 의해 보장된다.
• 진동하는 우변 $f(x/\epsilon, \omega)$ 를 가진 타원 방정식의 동질화 결과는 공간에 대해 국소적으로 균일하게 성립하며, $\epsilon \to 0$ 일 때 $u^\epsilon(x,\omega) \to \overline{\pi}(f)$ 로 수렴한다. 여기서 $\overline{\pi}(f) = \int_\Omega f(0,\omega) \, d\pi$ 이며, 이는 정리 5.3 에 의해 보장된다.