[논문 리뷰] Stochastic homogenization of $L^\infty$ variational problems

Scott N. Armstrong, Panagiotis E. Souganidis|arXiv (Cornell University)|2011. 09. 13.

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

한 줄 요약

이 논문은 $L^\infty$ 변분 문제에 대한 스토하스틱 호모제니제이션을 정(stationary ergodic random) 환경에서 도입한 일반화된 거리 함수와 eikonal 방정식과 연관시키고, 절대 최소화자(absolut minimizers)의 호모제니제이션을 활용하여 수립한다. 주요 결과는 $\varepsilon$-의존적인 절대 최소화자가 거의 확실히 및 균일하게, 동일한 효과적 해밀토니안 $\overline{H}$로 제어되는 결정론적 효과 문제의 유일한 절대 최소화자로 수렴한다는 것이다. 이는 해밀토니안 호모제니제이션에서 유도된 것과 일치한다.

ABSTRACT

We present a homogenization result for $L^\infty$ variational problems in general stationary ergodic random environments. By introducing a generalized notion of distance function (a special solution of an associated eikonal equation) and demonstrating a connection to absolute minimizers of the variational problem, we obtain the homogenization result as a consequence of the fact that the latter homogenizes in random environments.

연구 동기 및 목표

• 정적이고 에르고딕한 무작위 환경에서 $L^\infty$ 변분 문제에 대한 호모제니제이션을 수립하고자 하며, 이는 엄밀한 볼록성 부족으로 인해 전통적인 볼록성 기반 방법이 실패하기 때문이다.
• 비유일성과 국소화 불가 문제를 해결하기 위해 절대 최소화자의 개념을 활용하여 잘 정의된 프레임워크를 제공하고자 한다.
• $L^\infty$ 변분 문제를 효과적 해밀토니안 $\overline{H}$를 통해 1차 해밀턴-자코비 방정식의 호모제니제이션과 연결하고자 한다.
• $\varepsilon$-의존적인 절대 최소화자의 거의 확실하고 균일한 수렴을 최소한의 정규성 및 에르고딕성 가정 하에 증명하고자 한다.
• 무작위 환경에서 유도된 효과적 해밀토니안 $\overline{H}$가 $L^\infty$ 변분 문제의 극한 행동을 지배하는가를 보여주고자 한다.

제안 방법

• 해밀토니안 $H$와 관련된 eikonal 방정식의 해로서 일반화된 거리 함수 $d_{\mu,x_0}$를 도입하여, 무작위 매질 내에서 점들을 연결하는 최소 비용을 기록한다.
• 부분합성 에르고딕 정리(subadditive ergodic theorem)를 활용하여, 스케일링된 거리 함수 $t^{-1}d_{\mu,0}(ty,\omega)$가 결정론적, 양의 동차한 극한 $a_\mu(y)$로 거의 확실히 수렴함을 증명한다.
• 극한 $a_\mu$가 $\mathbb{R}^n \setminus \{0\}$에서 $\overline{H}(p + Da_\mu) = \mu$를 만족함을 증명함으로써, $\overline{H}$가 효과적 해밀토니안임을 규명한다.
• 비등각 해법 프레임워크에서 변형된 시험 함수 방법을 적용하여 $a_\mu$가 eikonal 방정식의 점성 해임을 확인함으로써, 호모제니제이션 극한과의 일致성을 보장한다.
• 절대 최소화자의 비교 원리와 극한 문제의 해의 유일성을 활용하여 $u^\varepsilon$가 $u$로 균일하게 수렴함을 증명한다.
• $L^\infty$ 변분 문제와 해밀턴-자코비 방정식 간의 연결을 수립하기 위해, 후자의 호모제니제이션이 전자의 호모제니제이션을 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 무작위적이고 정적이며 에르고딕한 해밀토니안을 갖는 $L^\infty$ 변분 문제는 결정론적 극한으로 호모제니제이션되는가?
• RQ2 무작위 환경 하에서 $L^\infty$ 최소화의 비유일성과 비국소화 문제를 절대 최소화자의 개념을 통해 극복할 수 있는가?
• RQ3 해밀턴-자코비 방정식의 호모제니제이션에서 유도된 효과적 해밀토니안 $\overline{H}$는 $L^\infty$ 변분 문제의 극한을 지배하는 것과 동일한가?
• RQ4 일반화된 거리 함수는 어떻게 무작위 $L^\infty$ 문제와 결정론적 극한을 연결하는가?
• RQ5 $\varepsilon$-의존적인 절대 최소화자의 수열이 어떤 조건에서 균일하고 거의 확실히 효과 문제의 유일한 최소화자로 수렴하는가?

주요 결과

• $L^\infty$ 변분 문제의 절대 최소화자 $u^\varepsilon$는 $\overline{U}$ 위에서 거의 확실히 및 균일하게, $\overline{H}$로 제어되는 결정론적 극한 문제의 유일한 절대 최소화자 $u$로 수렴한다.
• 효과적 해밀토니안 $\overline{H}$는 1차 해밀턴-자코비 방정식 $w^\varepsilon_t + H(Dw^\varepsilon, x/\varepsilon, \omega) = 0$의 호모제니제이션에서 얻어진 것과 정확히 일치한다.
• eikonal 방정식을 만족하는 일반화된 거리 함수 $d_{\mu,x_0}$는 결정론적 극한 $a_\mu$로 수렴하며, 이는 $\overline{H}(p + Da_\mu) = \mu$를 만족한다.
• $a_\mu$는 점성 해로서 양의 동차성과 리프시츠 연속성을 갖으며, 이는 효과적 해밀토니안의 존재성과 정규성을 보장한다.
• 이러한 수렴 결과는 최소한의 가정 하에 성립한다: $H$는 $p$에 대해 볼록이고 강력한 강하성을 가지며, $(y,\omega)$에 대해 정적이고 에르고딕하며, $(p,y)$에 대해 충분히 정칙하다.
• 증명은 부분합성 에르고딕 정리와 점성 해법 프레임워크 내의 변형된 시험 함수 방법에 기반하며, 해밀턴-자코비 연결을 통해 $L^\infty$ 문제의 호모제니제이션을 확립한다.