[논문 리뷰] Probabilistic Properties of Delay Differential Equations

Stephen R. Taylor|arXiv (Cornell University)|2019. 09. 05.

Nonlinear Dynamics and Pattern Formation참고 문헌 98인용 수 7

한 줄 요약

이 논문은 무한차원 함수 공간으로의 에르고딕 이론과 페르로-프로베니우스 연산자의 확장을 통해 지연 미분 방정식(DDEs)에 대한 확률적 프레임워크를 개발한다. 밀도 진동의 수치적 시뮬레이션을 위한 방법을 제안하고, 매크리-글라스 방정식을 포함한 DDEs에서 분수기반의 기하학적 기초와 장기적인 혼돈 잠재적 행동을 통해 잠재적 혼돈의 증거를 제공한다.

ABSTRACT

Systems whose time evolutions are entirely deterministic can nevertheless be studied probabilistically, i.e. in terms of the evolution of probability distributions rather than individual trajectories. This approach is central to the dynamics of ensembles (statistical mechanics) and systems with uncertainty in the initial conditions. Delay differential equations (DDEs) are a particular class of deterministic systems, distinguished by an explicit dependence of the dynamics on past states. A probabilistic approach to DDEs is lacking. The main problems we consider in developing such an approach are (1) to characterize the evolution of probability distributions for DDEs, i.e. develop an analog of the Perron-Frobenius operator; (2) to characterize invariant probability distributions for DDEs; and (3) to develop a framework for the application of ergodic theory to delay equations, with a view to a probabilistic understanding of DDEs whose time evolutions are chaotic. We develop a variety of approaches to each of these problems, employing both analytical and numerical methods. In transient chaos, a system evolves erratically during a transient period that is followed by asymptotically regular behavior. Transient chaos in delay equations has not been reported or investigated before. We find numerical evidence of transient chaos (fractal basins of attraction and long chaotic transients) in some DDEs, including the Mackey-Glass equation. Transient chaos in DDEs can be analyzed numerically using a modification of the "stagger-and-step" algorithm applied to a discretized version of the DDE.

연구 동기 및 목표

• 정적 지연 미분 방정식(DDEs)에 대한 확률적 프레임워크를 수립하고, 에르고딕 이론과 페르로-프로베니우스 연산자의 개념을 확장한다.
• 무한차원 위상공간에서 표준 페르로-프로베니우스 연산자가 존재하지 않는 점을 고려하여 DDEs 내 확률 분포의 진동을 특성화한다.
• 특히 혼돈 영역에서 DDEs에 대한 불변 및 점근적 확률 분포를 조사한다.
• 밀도 진동의 시뮬레이션과 DDEs 내 불변 측도 탐지에 적합한 수치적 방법을 개발한다.
• 수정된 수치 알고리즘을 사용하여 DDEs 내에서 잠재적 혼돈—분수기반의 기하학적 기초와 장기적인 혼돈 잠재적 행동—의 존재 여부를 탐색한다.

제안 방법

• 무한차원 위상공간 $ C $ 에서 특성 방법을 활용하여 밀도 진동 방정식을 수립함으로써 DDEs에 대한 페르로-프로베니우스 연산자를 일반화한다.
• 안정성의 특성이 있는 주기적 궤도 근처에서의 수치적 실패를 방지하기 위해 수정된 '스태그어-스텝' 알고리즘을 사용하여 궤도를 수치적으로 시뮬레이션한다.
• Ulam의 방법을 적용하여 마르코프 연산자의 근사치를 구하고, 불변 밀도에 대응하는 고정점을 계산한다.
• 집합 기반 시뮬레이션을 통해 점근적 밀도를 경험적으로 추정하고, 안착점과 SRB 측도의 존재 여부를 탐지한다.
• 밀도 진동을 시간에 따라 모델링하기 위해 근사 페르로-프로베니우스 연산자의 연속시간 형태를 사용한다.
• 어트랙터 점들에 대해 수치적 기저 찾기 절차(예: 그람-슈미트)를 통해 DDEs 내에서 관성 다각형의 가능성을 조사한다.

실험 결과

연구 질문

• RQ1 페르로-프로베니우스 연산자는 어떻게 지연 미분 방정식(DDEs) 내에서 확률 밀도의 진동을 묘사할 수 있는가?
• RQ2 DDEs 내에서 불변 확률 측도의 존재를 가능하게 하는 조건은 무엇이며, 어떻게 수치적으로 근사화할 수 있는가?
• RQ3 분수기반의 기하학적 기초와 장기적인 혼돈 잠재적 행동으로 특징지어지는 잠재적 혼돈이 DDEs에서 관찰되고 정량화될 수 있는가?
• RQ4 DDEs 내에서 안정성의 특성이 있는 주기적 궤도가 존재할 경우, '스태그어-스텝' 알고리즘과 같은 수치적 방법은 어떻게 작동하는가?
• RQ5 혼돈 동역학을 보이는 DDEs는 유한차원 관성 다각형을 갖는가? 만약 그렇다면, 이는 그들의 에르고딕 분석을 단순화시킬 수 있는가?

주요 결과

• 맥키-글라스 방정식에서 분수기반의 기하학적 기초와 장기적인 혼돈 잠재적 행동을 포함한 잠재적 혼돈의 수치적 증거를 발견하였다.
• 수정된 스타그어-스텝 알고리즘이 안정성의 특성이 있는 주기적 궤도 근처에서 수치적 실패를 방지하여 혼돈 잠재적 행동의 신뢰성 있는 시뮬레이션을 가능하게 하였다.
• 집합 기반 시뮬레이션을 통해 혼돈 DDEs의 점근적 밀도를 추정하였으며, 안착점과 SRB 측도의 존재를 보여주는 증거를 제시하였다.
• Ulam의 방법을 통해 근사 마르코프 연산자의 고정점이 불변 밀도로 수렴함을 확인하여 물리적 측도의 존재를 뒷받침하였다.
• 어트랙터 궤도에 대한 수치적 기저 찾기 절차에서 유한 기저를 식별하지 못하여 연구된 DDEs 내에서 평평한 관성 다각형이 존재하지 않는 것으로 나타났다.
• 조사된 DDEs의 혼돈 안정성은 오직 하나의 불안정한 방향만을 가지는 것으로 보이며, 이는 적절한 수정을 거친 PIM 방법의 적용 가능성을 시사한다.