[논문 리뷰] Stochastic homogenization of a nonconvex Hamilton-Jacobi equation

Scott N. Armstrong, Hung V. Tran외 1명|arXiv (Cornell University)|2013. 11. 08.

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

한 줄 요약

이 논문은 매개변수 μ와 σ를 포함하는 하위방정식의 집합을 도입하여, 진정으로 비볼록인 해밀토니안-자코비 방정식에 대한 첫 번째 질적 확률적 균질화 결과를 확립한다. 비교 원리와 하위가환성 확률법칙을 사용하여, 해가 비원형이며 비볼록적인 구조를 가진 결정론적 효과 해밀토니안으로 수렴함을 증명한다. 이 구조는 |p|=0과 |p|=1에서 평평한 부분을 포함한다.

ABSTRACT

We present a proof of qualitative stochastic homogenization for a nonconvex Hamilton-Jacobi equation. The new idea is to introduce a family of "sub-equations" and to control solutions of the original equation by the maximal subsolutions of the latter, which have deterministic limits by the subadditive ergodic theorem and maximality.

연구 동기 및 목표

• 무작위 매질에서 비볼록 해밀토니안-자코비 방정식에 대한 확률적 균질화의 열린 문제를 해결하기 위해.
• 이전에 알려진 결과의 범위를 제한했던 볼록 또는 수준집합 볼록 해밀토니안을 초월하여 균질화 이론을 확장하기 위해.
• 비볼록 방정식에 대한 효과 해밀토니안이 '메히칸 할트' 형태와 같은 복잡한 기하적 특징(평평한 부분 포함)을 유지할 수 있음을 보여주기 위해.
• 최대 하위해가 결정론적 극한을 가지는 방식으로 해를 제어할 수 있는 새로운 방법을 개발하기 위해.

제안 방법

• σ ∈ [−1,1] 및 μ ≥ −inf V 조건 하에 |Du|² = 1 + σ√(μ + V(y)) 형태의 하위방정식의 집합을 도입하기 위해.
• 하위가환성 확률법칙을 사용하여 이러한 하위방정식의 최대 하위해가 결정론적 극한을 가짐을 보이기 위해.
• 원래 방정식의 해와 하위방정식의 최대 하위해 사이의 비교 추론을 적용하기 위해.
• 하위방정식의 구조를 활용하여 메트릭 문제에서 제곱근의 서로 다른 지점 간의 연결을 가능하게 하여 비볼록 행동을 제어하기 위해.
• 해의 대칭성과 비교 성질을 활용하여 스케일 ε에 관계없이 일관된 추정치를 도출하기 위해.
• 모순에 의한 수렴 증명을 통해 해가 수렴하지 않으면 비교 원리 위반이 발생함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 정적-에르고딕 무작위 환경에서 비볼록 해밀토니안-자코비 방정식에 대해 확률적 균질화를 확립할 수 있는가?
• RQ2 이러한 방정식에 대한 효과 해밀토니안은 비원형이며 비볼록 특징(평평한 부분, 국소 최대/최소 포함)을 유지하는가?
• RQ3 최대 하위해가 원래 방정식을 제어하고 결정론적 극한을 갖는 하위방정식의 집합을 구성할 수 있는가?
• RQ4 볼록성이 없을 때 비교 원리만으로 균질화를 증명하는 데 충분한가?
• RQ5 비볼록 설정에서 해집합의 서로 다른 지점 간 연결에 있어 하위방정식의 구조는 어떤 역할을 하는가?

주요 결과

• 효과 해밀토니안 H̄(p)는 비원형이며 비볼록이며, p=0에서 국소 최대와 |p|=1 근처에서 전역 최소를 가진 '메히칸 할트' 형태를 띤다.
• 효과 해밀토니안 H̄(p)는 두 개의 평평한 부분을 가진다: 한 곳은 원점 근처(국소 최대), 다른 곳은 |p|=1 근처(전역 최소).
• 비볼록 해밀토니안-자코비 방정식 (1.1)의 해 u^ε은 ε→0일 때 효과 결정론적 방정식 (1.2)의 해 u로 국소 균일 수렴한다.
• 해의 수렴은 하위방정식 (1.4)의 최대 하위해와 u^ε 사이의 비교에 의해 확보되며, 하위가환성 확률법칙에 의해 이러한 최대 하위해는 결정론적 극한을 가진다.
• 이 방법은 K가 볼록이고 Φ가 연속적이며 s→∞일 때 Φ(s)→∞인 형태의 방정식 u_t^ε + Φ(K(Du^ε)) - V(x/ε) = 0 에도 적용 가능하다.
• 이 결과는 기존에 알려진 바가 없었던 진정으로 비볼록 해밀토니안에 대한 장기적인 열린 문제를 해결한다.