[논문 리뷰] Selection problems for a discounted degenerate viscous Hamilton--Jacobi equation

Hiroyoshi Mitake, Hung V. Tran|arXiv (Cornell University)|2014. 08. 13.

Quantum chaos and dynamical systems참고 문헌 20인용 수 4

한 줄 요약

이 논문은 할인 계수 ε→0 일 때, 할인된 비가역 점성 해밀턴-자코비 방정식의 해들이 유일한 해를 갖는 에르고딕 문제의 해로 일관수렴함을 확립한다. 비선형 수반 방법과 새로운 공통화 레마를 사용하여, 저자들은 확률적 마이어 측도를 통해 한계 해를 특성화하며, 이는 이전 결과를 1차 방정식에서 비가역 방정식으로 확장한 것이다.

ABSTRACT

We prove that the solution of the discounted approximation of a degenerate viscous Hamilton--Jacobi equation with convex Hamiltonians converges to that of the associated ergodic problem. We characterize the limit in terms of stochastic Mather measures by naturally using the nonlinear adjoint method, and deriving a commutation lemma. This convergence result was first achieved by Davini, Fathi, Iturriaga, and Zavidovique for the first order Hamilton--Jacobi equation.

연구 동기 및 목표

• 할인 계수 ε→0 일 때, 할인된 비가역 해밀턴-자코비 방정식의 해 $ u^{000110} $ 가 에르고딕 문제의 해로 수렴함을 확립하는 것.
• 동역학 시스템 접근법을 점성 방정식으로 확장하여, 한계 해를 확률적 마이어 측도로 특성화하는 것.
• 비가역 해밀턴-자코비 방정식에 특화된 공통화 레마와 비선형 수반 방법을 개발하는 것.
• 볼록 해밀턴함수와 비가역 확산 조건 하에서, ε→0 일 때 전체 수열에 대해 수렴이 성립함을 증명하는 것 (부분수열이 아닌 전체 수열에 대해).
• a(x) ≥ 0 인 점성 HJ 방정식으로 선택 문제 결과를 1차 방정식에서 비가역 HJ 방정식으로 일반화하는 것, 특히 a ≡ 0 인 경우를 포함하여.

제안 방법

• 비선형 수반 방법을 적용하여, 점성 해와 분포 해 사이를 연결하는 공통화 레마를 도출하는 것.
• 관련된 확률적 최적 제어 문제의 역학을 이용하여 비가역 확산 $ a(x)\Delta u $ 에 대한 확률적 마이어 측도를 구성하는 것.
• 공통화 레마를 사용하여 점성 하부해가 거의 모든 곳에서 하부해임을 보여, 정규성 및 수렴 분석을 가능하게 하는 것.
• 집합 $ \mathcal{E} $ 에 속하는 테스트 함수와 $ u^{000110} $ 를 비교하여 $ u^{000110} $ 가 에르고딕 해 $ u^0 $ 으로 일관수렴함을 확립하는 것. 여기서 $ \mathcal{E} $ 는 특정 적분 조건을 만족하는 해들로 정의된다.
• 부분수열 분석을 통해 수렴을 증명하는 것: $ \liminf_{\varepsilon \to 0} u^\varepsilon(x) \geq u^0(x) $ 와 $ \limsup_{\varepsilon \to 0} u^\varepsilon(x) \leq u^0(x) $ 를 보여, 이는 일관수렴을 의미한다.
• 비가역성 $ a(x) $ 를 다루기 위해, 테스트 함수의 매끄러움화와 $ \eta $-정규화를 사용하여 오차 항의 수렴률이 $ \eta^{1/2} $ 임을 증명하는 것.

실험 결과

연구 질문

• RQ1 할인된 비가역 점성 해밀턴-자코비 방정식의 해 $ u^\varepsilon $ 가 ε→0 일 때 에르고딕 문제의 해로 일관수렴하는가?
• RQ2 비가역 확산에 대해 한계 해가 확률적 마이어 측도로 특성화될 수 있는가?
• RQ3 비선형 수반 방법은 비가역 확산을 갖는 점성 HJ 방정식에 어떻게 적응시킬 수 있는가?
• RQ4 해 $ u^\varepsilon $ 가 에르고딕 해로 수렴하는 것이 부분수열이 아닌 전체 수열 $ \varepsilon \to 0 $ 에 대해 성립하는가?
• RQ5 공통화 레마는 비가역 케이스에서 점성 해와 분포 해를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 할인 방정식 $ \varepsilon u^\varepsilon + H(x, Du^\varepsilon) = a(x)\Delta u^\varepsilon $ 의 해 $ u^\varepsilon $ 는 ε→0 일 때, 에르고딕 문제 $ H(x, Du^0) = a(x)\Delta u^0 $ 의 해 $ u^0 $ 으로 일관수렴한다.
• 한계 해 $ u^0 $ 은 집합 $ \mathcal{E} $ 에 속하는 모든 함수 $ \phi $ 에 대해 $ \phi(x) \leq \int_{\mathbb{T}^n \times \mathbb{R}^n} \phi(x) \, d\nu(x,p) $ 를 만족하는 조건에서, 그 상한으로 유일하게 특성화된다. 여기서 $ \nu $ 는 확률적 마이어 측도이다.
• 새로운 공통화 레마가 확립되었으며, 이는 점성 하부해가 거의 모든 곳에서 하부해임을 보여, 수렴 증명에 핵심적인 역할을 한다.
• 정규화된 오차 항 $ R_2^\eta $ 의 수렴률이 $ \eta^{1/2} $ 임을 보여, 매끄러운 함수 $ S^\eta $ 의 수렴률과 일치함을 입증하였다.
• 선택 문제 결과를 a ≡ 0 인 1차 HJ 방정식에서 비가역 HJ 방정식으로 일반화하였으며, 확률적 마이어 측도를 통한 통합적 프레임워크를 제공하였다.
• 한계 해 $ u^0 $ 이 부분수열의 선택에 영향을 받지 않으며, 이는 전체 수열 $ u^\varepsilon $ 가 ε→0 일 때 $ u^0 $ 으로 일관수렴함을 증명한다.