[논문 리뷰] Slow Manifolds for Multi-Time-Scale Stochastic Evolutionary Systems

Hongbo Fu, Xianming Liu외 1명|arXiv (Cornell University)|2012. 05. 02.

Stability and Controllability of Differential Equations참고 문헌 22인용 수 3

한 줄 요약

이 논문은 무한차원 다중 시간스케일 확률진동계에 대해 립시츠-페르론 방법을 사용하여 지수적 추적 성질을 갖는 무작위 불변 다양체의 존재성을 확립한다. ε → 0 일 때 이 다양체는 축소된 시스템의 장기 역학을 기술하는 느린 다양체로 수렴하며, 이는 연립 포아송-하이퍼볼릭 및 하이퍼볼릭-하이퍼볼릭 스토케스 편미분방정식(SPDE)에 응용된다.

ABSTRACT

This article deals with invariant manifolds for infinite dimensional random dynamical systems with different time scales. Such a random system is generated by a coupled system of fast-slow stochastic evolutionary equations. Under suitable conditions, it is proved that an exponentially tracking random invariant manifold exists, eliminating the fast motion for this coupled system. It is further shown that if the scaling parameter tends to zero, the invariant manifold tends to a slow manifold which captures long time dynamics. As examples the results are applied to a few systems of coupled parabolic-hyperbolic partial differential equations, coupled parabolic partial differential-ordinary differential equations, and coupled hyperbolic-hyperbolic partial differential equations.

연구 동기 및 목표

• 넓은 시간스케일 간격을 갖는 무한차원 확률계의 장기역학을 분석하기 위해.
• 결합된 빠른-느린 SPDE에서 빠른 운동을 제거하는 무작위 불변 다양체의 존재를 확립하기 위해.
• 스케일링 매개변수 ε가 0으로 갈수록 이 다양체가 점점 느린 다양체에 수렴함을 보여주기 위해.
• 가우시안 노이즈와 비-마코프성 노이즈를 갖는 확률계로 불변 다양체 이론을 확장하기 위해.
• 불변 다양체 이론을 통해 복잡한 다중스케일 SPDE를 엄밀한 감소 프레임워크로 제공하기 위해.

제안 방법

• 결합된 빠른-느린 SPDE 시스템에 대해 립시츠-페르론 방법을 적용하여 무작위 불변 다양체를 구성한다.
• 빠른 성분의 비선형성의 리프시츠 상수 값이 선형 연산자 A의 감쇠율에 비해 작아지도록 조건을 부과한다.
• 다이내믹스를 유계 영역으로 제한함으로써 국소 리프시츠 비선형성으로 결과를 확장하기 위해 컷오프 기법을 사용한다.
• 무작위 함수 h^ε(ω, Y₀)를 통해 느린 변수에서 빠른 변수로의 사상으로서 불변 다양체를 정의한다.
• 가우시안 브라운 운동으로 모델링된 노이즈를 갖는 확률적 흐름에 의해 생성된 무작위 동역학계 프레임워크를 활용한다.
• 시간에 따라 지수적으로 수렴함을 보여 지수적 추적 성질을 증명한다.

실험 결과

연구 질문

• RQ1 무한차원에서 빠른-느린 확률진동방정식의 결합계에 대해 무작위 불변 다양체가 존재하는가?
• RQ2 이 다양체가 작은 ε > 0 에 대해 지수적 추적 성질을 갖는다고 보일 수 있는가?
• RQ3 시간스케일 분리 매개변수 ε가 0에 가까워질 경우 다양체는 어떻게 변화하는가?
• RQ4 한계 객체는 장기역학을 기술하는 느린 다양체로 식별될 수 있는가?
• RQ5 국소 리프시츠 비선형성의 경우 이 이론은 어떻게 확장되는가?

주요 결과

• 十分히 작은 ε > 0 에 대해, 지수적 추적 성질을 갖는 무작위 불변 다양체 M^ε 가 존재하며, 이는 전체 시스템을 저차원 효과 방정식으로 감소시킨다.
• ε → 0 일 때 다양체 M^ε 는 장기적 행동을 지배하는 느린 다양체 M⁰ 로 수렴한다.
• 빠른 비선형성의 리프시츠 상수가 선형 연산자 A의 감쇠율보다 작을 경우, 불변 다양체의 존재가 보장된다.
• 이 방법은 구체적인 예시에서 다루어진 연립 포아송-하이퍼볼릭, 포아송-ODE, 하이퍼볼릭-하이퍼볼릭 SPDE 시스템에 적용 가능하다.
• 국소 리프시츠 비선형성의 경우 컷오프 절차를 통해 국소 무작위 불변 다양체가 존재하며, 이는 유계 영역 내에서 유효하다.
• M^ε 가 M⁰ 로 수렴하는 것은 무작위 동역학계의 점근적 행동의 관점에서 확립되었으며, 시간에 대해 균일 수렴함을 보였다.