[논문 리뷰] An analytic approach to the ergodic theory of stochastic variational inequalities

Alain Bensoussan, Laurent Mertz|arXiv (Cornell University)|2011. 12. 18.

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

한 줄 요약

이 논문은 탄성-완전성 소성 진동자 모델링을 위한 확률적 변분부등식(SVI)의 에르고딕 이론에 대한 새로운 분석적 접근을 제시하며, 기저가 되는 마코프 과정의 단주기 역학을 통해 비국소적 PDE와 국소적 PDE 사이의 연결을 수립한다. 주요 기여는 마코프 과정의 전이 행동에 관련된 경계 조건을 갖는 국소적 PDE의 해를 포함하는 명시적 공식을 통해 유일한 불변 측도를 새롭게 특성화한 것이다.

ABSTRACT

In an earlier work made by the first author with J. Turi (Degenerate Dirichlet Problems Related to the Invariant Measure of Elasto-Plastic Oscillators, AMO, 2008), the solution of a stochastic variational inequality modeling an elasto-perfectly-plastic oscillator has been studied. The existence and uniqueness of an invariant measure have been proven. Nonlocal problems have been introduced in this context. In this work, we present a new characterization of the invariant measure. The key finding is the connection between nonlocal PDEs and local PDEs which can be interpreted with short cycles of the Markov process solution of the stochastic variational inequality.

연구 동기 및 목표

• 탄성-완전성 소성 진동자 모델에서 발생하는 확률적 변분부등식에 대한 불변 측도에 대한 새로운 분석적 특성화를 제공하는 것.
• 비국소적 경계 조건을 갖는 비국소적 PDE와 마코프 과정의 단주기 역학을 나타내는 국소적 PDE 사이의 엄밀한 연결을 수립하는 것.
• SVI의 마코프 과정 해의 에르고딕성을 증명하고, 불변 분포에 대한 명시적 공식을 유도하는 것.
• 비국소적 경계 조건이 소성 한계에서 시스템의 물리적 거동과 어떻게 연결되는지를 해결하는 오랜 도전 과제를 해결하는 것.

제안 방법

• 저자들은 SVI와 관련된 포크-플랑크 방정식의 이중 형식을 사용하여, 불변 측도에 대한 비국소적 PDE를 도출한다.
• 해를 대칭 및 반대칭 성분으로 분해하기 위해 보조 함수 $ v_{\text{sym}} $, $ v_{\text{asym}} $, 및 $ \tilde{w} $ 를 도입한다.
• 해는 $ v(y,z;f) = v_{\text{sym}}(y,z;f) + v_{\text{asym}}(y,z;f) $ 로 분해되며, $ v_{\text{sym}} $ 와 $ v_{\text{asym}} $ 는 각각 국소적 PDE를 통해 별도로 해를 구한다.
• 해는 $ \nu(f) $ 를 $ \rho \to 0 $ 일 때 $ \nu_\rho(f) $ 의 극한으로 정의하며, 안정 상태 해로 수렴하는 리졸베ント 해 $ u_\lambda $ 의 수렴성을 이용한다.
• 이 방법은 마코프 과정의 전이 확률을 사용하여 $ D $, $ D^+ $, $ D^- $ 에서 국소적 PDE를 풀며, $ |z| = Y $ 에서의 연속성 및 점프 조건을 만족한다.
• 핵심 혁신은 비국소적 경계 자료를 국소적 해와 연결하는 공식 $ \nu(f) = \frac{v(0^{-},Y;f) + v(0^{+},-Y;f)}{2v(0^{+},-Y;1)} $ 을 통한 불변 측도 표현이다.

실험 결과

연구 질문

• RQ1 탄성-완전성 소성 진동자를 모델링하는 확률적 변분부등식의 불변 측도를 비국소적 경계 조건을 갖는 이중 PDE 형식을 초월하여 분석적으로 어떻게 특성화할 수 있는가?
• RQ2 이중 형식에서 유도된 비국소적 PDE와 마코프 과정의 단주기 역학을 나타내는 국소적 PDE 사이의 정밀한 관계는 무엇인가?
• RQ3 리졸베ント 해 $ u_\lambda $ 의 에르고딕 극한은 국소적 PDE 해와 경계 점프 자료로 표현될 수 있는가?
• RQ4 시험 함수 $ f $ 의 대칭 성질이 불변 측도의 구조와 리졸베ント의 수렴에 어떻게 영향을 미치는가?
• RQ5 비국소적 PDE를 직접 풀지 않고도 불변 측도에 대한 닫힌 형식의 표현식이 존재하는가?

주요 결과

• 불변 측도 $ \nu(f) $ 는 공식 $ \nu(f) = \frac{v(0^{-},Y;f) + v(0^{+},-Y;f)}{2v(0^{+},-Y;1)} $ 로 유일하게 특성화되며, 여기서 $ v $ 는 $ z = \pm Y $ 에서 과정의 행동에 관련된 경계 조건을 갖는 국소적 PDE를 만족한다.
• $ \lambda \to 0 $ 일 때 리졸베ント 해 $ u_\lambda $ 의 극한은 $ \pi^+ $ 와 $ \pi^- $ 를 포함하는 수정 항이 있는 국소적 PDE를 만족하는 해 $ u(y,z;f) $ 로 수렴한다. 여기서 $ \pi^+ $ 와 $ \pi^- $ 는 소성 경계에 도달할 확률을 나타낸다.
• 대칭적인 $ f $ 에 대해서는 불변 측도가 $ \nu(f) = \frac{v(0^{-},Y;f)}{v(0^{-},Y;1)} $ 로 주어지며, $ \nu_\lambda(f)/\lambda $ 를 빼야 수렴이 이루어지므로 비자명한 에르고딕 극한임을 나타낸다.
• 반대칭적인 $ f $ 에 대해서는 $ \nu(f) = 0 $ 이며, 리졸베ント 해 $ u_\lambda $ 는 빼기 없이 직접 극한으로 수렴한다. 이는 불변 측도의 대칭성을 반영한다.
• 해 $ u(y,z;f) $ 는 $ v(y,z;f) - \nu(f)v(y,z;1) + \frac{\pi^+(y,z) - \pi^-(y,z)}{4\pi^-(0^{-},Y)}(v(0^{-},Y;f) - v(0^{+},-Y;f)) $ 로 표현되며, 이는 국소적 PDE 해를 통해 완전한 표현을 제공한다.
• 리졸베ント의 수렴성과 경계 자료의 연속성에 기반하여 불변 측도의 존재성과 유일성이 확인되며, 마코프 과정의 에르고딕성을 입증한다.