[논문 리뷰] Stochastic Homogenization for Some Nonlinear Integro-Differential Equations

Russell W. Schwab|arXiv (Cornell University)|2011. 01. 31.

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

한 줄 요약

이 논문은 정적 에르고딕 랜덤 계수를 가진 광범위한 비선형 적분미분방정식의 스토하스틱 호모지네이션을 수립하며, 해가 결정론적이고 이동 불변인 효과적 방정식으로 거의 모든 곳에서 균일하게 수렴함을 증명한다. 주요 기여는 효과적 방정식의 규명과 측정 가능한 성분을 갖는 비교 원리에 기반한 호모지네이션의 엄밀한 정당화로, 주기적 호모지네이션 결과를 무작위 설정으로 확장한다.

ABSTRACT

In this note we extend to the random, stationary ergodic setting previous results of periodic homogenization for a particular family of nonlinear nonlocal "elliptic" equations with oscillatory coefficients. Such equations include, but are not limited to Bellman equations and the Isaacs equations for the control and differential games of some pure jump processes. The existence of an effective equation and convergence the solutions of the family of the original equations is obtained. Even in the linear case of the equations contained herein the results appear to be new.

연구 동기 및 목표

• 비선형 적분미분방정식의 주기적 호모지네이션 결과를 일반적인 정적 에르고딕 설정으로 확장하기.
• 해의 극한을 지배하는 결정론적이고 이동 불변 효과적 방정식의 존재성과 규명을 확립하기.
• ω에 거의 모든 곳에서 x에 관해 균일하게 u^ε가 효과적 방정식의 해로 수렴함을 증명하기.
• 비국소 타원 방정식에 필수적인 '측정 가능한 성분을 갖는 비교 원리' 결과를 증명함으로써 호모지네이션 프레임워크를 검증하기.
• 특히 점프 과정을 포함하는 최적 제어 및 스토하스틱 미분 게임에서 유도되는 방정식에 대해 이전의 주기적 결과를 무작위 환경으로 일반화하기.

제안 방법

• 완전 비선형 비국소 타원 방정식에 대한 점성 해 이론을 기반으로 하며, 랜덤 계수를 갖는다.
• 최소한의 가정 하에 수렴을 보장하는 핵심 기술적 도구로 측정 가능한 성분을 갖는 비교 원리가 확립된다.
• 변환군 τ_x 하에서 계수 가중치 K^αβ와 f^αβ의 에르고딕성과 정적성을 바탕으로 효과적 연산자 F̄가 규명된다.
• 증명은 페널티 방법과 장애물 문제에 대한 정규성 추정을 활용하여 u^ε 가중치의 진동을 통제한다.
• 장애물 해의 이동 불변성, 단조성, 하올더 연속성에 관한 보조정리가 사용되어 균일한 경계를 도출한다.
• 확대 분석과 최대 함수의 사용을 통해 도메인 내 '나쁜' 집합의 측도를 통제함으로써 수렴을 보인다.

실험 결과

연구 질문

• RQ1 정적 에르고딕 계수를 갖는 완전 비선형 적분미분방정식의 해 가중치 u^ε는 결정론적이고 이동 불변 효과적 방정식으로 거의 모든 곳에서 균일하게 수렴하는가?
• RQ2 호모지네이션에 필수적인 비국소 타원 방정식의 경우, 스토하스틱 설정에서 측정 가능한 성분을 갖는 비교 원리를 확립할 수 있는가?
• RQ3 효과적 방정식 F̄(ū, x) = 0의 구조는 무엇이며, 원래의 랜덤 연산자 F와 어떻게 관련되어 있는가?
• RQ4 u^ε가 ū로 수렴하는 방식은 거의 확실성 수렴과 x에 대한 균일성 측면에서 어떻게 나타나는가?
• RQ5 이 결과들은 기존의 주기적 호모지네이션 결과를 무작위이고 에르고딕인 경우로 얼마나 광범위하게 일반화할 수 있는가?

주요 결과

• 효과적 방정식 F̄(ū, x) = 0은 결정론적이고 이동 불변이며, 원래의 랜덤 연산자의 에르고딕 평균으로부터 유도된다.
• 해 u^ε는 ω에 거의 확실하게 수렴하며, D의 컴acts부분집합에서 x에 대해 균일하게 효과적 방정식의 해 ū로 수렴한다.
• 수렴 속도는 m(η)/ε 형태의 함수로 양면화되며, m(η) → 0 (η → 0)임을 나타내어 '나쁜' 집합의 측도가 ε에 따라 감소함을 시사한다.
• 측정 가능한 성분을 갖는 비교 원리는 핵심 기술적 결과로서 호모지네이션 추론을 가능하게 한다.
• 비국소 연산자에 대한 장애물 문제의 해는 n, λ, Λ, σ 및 영역 A에 따라 달라지는 지수 γ를 갖는 균일한 하올더 연속성을 보인다.
• 장애물 해의 이동 불변성 및 단조성 성질이 엄밀히 규명되었으며, 이를 통해 규칙성과 비교 원리를 스케일 전반에 걸쳐 전파한다.