[논문 리뷰] Small noise and long time phase diffusion in stochastic limit cycle oscillators

Giambattista Giacomin, Christophe Poquet외 1명|arXiv (Cornell University)|2015. 12. 14.

Nonlinear Dynamics and Pattern Formation참고 문헌 41인용 수 23

한 줄 요약

이 논문은 소음이 있는 극한 순환 운동계에 미치는 소음 효과를 엄밀하게 분석하여, 시간 척도 $\varepsilon^{-2}$ 에서 단계적 이탈이 일정한 비드를 가진 브라운 운동처럼 행동함을 보여주며, 소음에 의해 유도된 주파수 이동을 정량화한다. 더 긴 시간에 대해서는 이 비드가 지배하게 되어, 단계 확산이 거시적 소음의 영향임을 확인하며, 이는 큰 이탈 현상과는 다름을 밝힌다.

ABSTRACT

We study the effect of additive Brownian noise on an ODE system that has a stable hyperbolic limit cycle, for initial data that are attracted to the limit cycle. The analysis is performed in the limit of small noise - that is, we modulate the noise by a factor $\\varepsilon \\searrow 0$ - and on a long time horizon. We prove explicit estimates on the proximity of the noisy trajectory and the limit cycle up to times $\\exp\\left(c \\varepsilon^{-2}\ ight)$, $c>0$, and we show both that on the time scale $\\varepsilon^{-2}$ the "'dephasing" (i.e., the difference between noiseless and noisy system measured in a natural coordinate system that involves a phase) is close to a Brownian motion with constant drift, and that on longer time scales the dephasing dynamics is dominated, to leading order, by the drift. The natural choice of coordinates, that reduces the dynamics in a neighborhood of the cycle to a rotation, plays a central role and makes the connection with the applied science literature in which noisy limit cycle dynamics are often reduced to a diffusion model for the phase of the limit cycle.

연구 동기 및 목표

• 소음이 있는 비선형 극한 순환계에 대한 소음의 영향을 엄밀하게 정량화하는 것.
• 소음이 있는 시스템과 소음이 없는 시스템 간의 단계 이탈이 거시적으로 의미 있는 수준에 도달하는 시간 척도를 규명하는 것.
• 시간 척도 $\varepsilon^{-2}$ 에서의 주요 단계 역학이 일정한 비드를 가진 브라운 운동임을 확립하여, 이는 소음에 의해 유도된 주파수 이동과 대응됨을 보여주는 것.
• 시간 척도 $\varepsilon^{-2}$ 를 초월한 단계 역학을 분석하여, 장기적 한계에서 비드가 확산보다 지배적임을 보여주는 것.
• 응용 과학 분야에서 널리 사용되는 단계 축소 모델에 수학적으로 정밀한 기초를 제공하고, 이전의 형식적 접근의 오류를 수정하는 것.

제안 방법

• 안정한 하이퍼볼릭 극한 순환을 가진 결정론적 미분방정식에 소음 강도 $\varepsilon$ 를 가진 이토 스토케스틱 미분방정식을 적용하여 소음의 영향을 모델링하는 것.
• 등위선과 단계 좌표를 활용하여 극한 순환 주변의 시스템 역학을 일차원 단계 진화로 축소하는 것.
• 극한 순환의 $\varepsilon^\delta$-근처에서의 이탈 시간을 제어하기 위해 대규모 이탈 추정과 지수적 모멘트 경계를 적용하며, 이는 $\exp(c\varepsilon^{-2})$ 까지 유지됨.
• 시간 간격을 나쁜 블록(큰 소음), 짧은 간격, 긴 간격으로 분할하여 단계 이탈에 기여하는 주요 기여를 분리하는 것.
• 소음 항 $Q^k$ 와 $Z^k$ 에 대해 $L^2$-추정을 통해 정밀한 소음 제어를 실시하여, 단계 차이의 점근적 전개를 $\varepsilon^2$ 정밀도로 가능하게 하는 것.
• 이전 정리들(예: 정리 2.3, 보조정리 4.1)의 증명 기법을 장시간 영역으로 확장하여, 극한 순환으로의 수축과 지수적 혼합성을 활용하는 것.

실험 결과

연구 질문

• RQ1 소음이 있는 시스템과 소음이 없는 시스템 간의 단계 차이가 거시적으로 관측 가능한 수준에 도달하는 시간 척도는 무엇인가?
• RQ2 시간 척도 $\varepsilon^{-2}$ 에서 단계 이탈은 어떻게 진화하며, 이를 기술하는 확률적 과정은 무엇인가?
• RQ3 시간 척도 $\varepsilon^{-2}$ 를 초월한 장기적 시간에서 소음에 의해 유도된 주파수 이동(비드)이 단계 역학을 지배하는가?
• RQ4 소음이 있는 극한 순환 운동계에 대한 단계 축소 모델을 소음이 작은 극한에서 엄밀하고 정량적으로 정확하게 만들 수 있는가?
• RQ5 소음 강도 $\varepsilon$ 는 어떻게 단계 역학에서 확산에서 비드로의 전이를 결정하는가?

주요 결과

• 시간 척도 $\varepsilon^{-2}$ 에서 소음이 있는 시스템과 소음이 없는 시스템 간의 단계 이탈은 일정한 비드를 가진 브라운 운동으로 수렴하며, 이는 소음에 의해 유도된 주파수 이동을 정량화한다.
• 이탈 과정의 비드 항은 $b\varepsilon^2 t$ 로 명시적으로 주어지며, 여기서 $b$ 는 시스템의 기하학적 특성과 소음 강도에 따라 결정되는 상수이다.
• 시간이 $\exp(c\varepsilon^{-2})$ 까지 연장될 경우, 단계 역학은 비드에 의해 지배되며, 확산 성분은 고차항으로서 기여할 뿐이다.
• 나쁜 블록과 짧은 간격에서의 총 기여는 $o(\varepsilon^2 t)$ 이며, 이는 주로 장시간 간격에서 주요 역학이 발생하므로 무시할 만큼 작다.
• 분석 결과, 단계 확산은 거시적 소음의 영향임을 확인하였으며, 이는 대규모 이탈 현상과는 다름을 보여주며, 이는 대규모 이탈 시간 척도와 유사한 시간 척도에서 발생함에도 불구하고 그렇다.
• 등위선과 단계 좌표의 사용은 고차원 스토케스틱 역학을 일차원 효과적 확산 과정으로 엄밀히 축소하는 데 기여한다.