2025-11-22T07:28:16.184474

Existence of Invariant Measures for Delay Equations with Stochastic Negative Feedback

Bosch, van Gaans, Lunel

We provide sufficient conditions for the existence of invariant probability measures for generic stochastic differential equations with finite time delay. Applications include the Mackey--Glass equations and Nicholson's blowflies equation, each perturbed by a (small) multiplicative noise term. Solutions to these stochastic negative feedback systems persist globally and all solutions are bounded above in probability. It turns out that the occurrence of finite time blowups and boundedness in probability of solutions and solution segments are closely related. A non-trivial invariant measure is shown to exist if and only if there is at least one initial condition for which the solution remains bounded away from zero in probability. The noise driving the dynamical system is allowed to be an integrable LÃ©vy process.

academic

확률적 음의 피드백을 갖는 지연 방정식의 불변측도 존재성

기본 정보

논문 ID: 2501.00141
제목: Existence of Invariant Measures for Delay Equations with Stochastic Negative Feedback
저자: M. van den Bosch (Leiden University), O.W. van Gaans (Leiden University), S.M. Verduyn Lunel (University of Utrecht)
분류: math.DS (동역학계), math.PR (확률론)
발표 시간: 2025년 1월 3일
논문 링크: https://arxiv.org/abs/2501.00141

초록

본 논문은 유한 시간 지연을 갖는 일반적인 확률 미분방정식에 대한 불변 확률측도 존재성의 충분조건을 제시한다. 응용 사례로는 (작은) 승법적 잡음항으로 섭동된 Mackey-Glass 방정식과 Nicholson's blowflies 방정식이 포함된다. 이러한 확률적 음의 피드백 시스템의 해는 전역적으로 지속적으로 존재하며, 모든 해는 확률적 의미에서 유계이다. 본 연구는 유한 시간 폭발의 발생이 해 및 해의 선분이 확률적 의미에서 유계인 것과 밀접한 관련이 있음을 발견했다. 비자명한 불변측도가 존재하는 것은 적어도 하나의 초기조건에서 해가 확률적 의미에서 영점으로부터 멀어질 때와 필요충분조건이다. 동역학계를 구동하는 잡음은 적분가능한 Lévy 과정일 수 있다.

연구 배경 및 동기

문제 설명

본 논문은 확률적 음의 피드백을 갖는 지연 미분방정식의 불변측도 존재성 문제를 연구한다. 핵심 연구 대상은 다음 형태의 결정론적 지연 미분방정식 및 그 확률적 섭동 버전이다:

x'(t) = -γ(t)x(t) + r(t)f(x(t-τ))

연구의 중요성

생물학적 의의: Mackey-Glass 방정식은 백혈구 농도 모델링에 사용되고, Nicholson's blowflies 방정식은 곤충 개체군 동역학을 기술하며, 이러한 모델들은 생리학 및 생태학에서 중요한 응용을 갖는다
수학적 도전: 지연 미분방정식의 혼돈 행동은 지금까지 엄밀하게 증명되지 않았으며, 불변측도 탐색은 이러한 시스템의 장기 행동을 이해하기 위한 새로운 경로를 제공한다
확률적 섭동: 현실 시스템은 불가피하게 잡음의 영향을 받으므로, 확률적 버전 연구가 실제 응용에 더욱 부합한다

기존 방법의 한계

Mackey-Glass 방정식과 Nicholson's blowflies 방정식의 경우, 혼돈 현상은 아직 수학적으로 증명되지 않았다
전역 흡인자에 관한 기존 결과는 정상상태와 주기해를 허용하는 매개변수 영역에만 적용된다
일반적인 확률 지연 미분방정식의 불변측도를 다루는 체계적 방법이 부족하다

핵심 기여

일반적 이론 틀 수립: 유한 시간 지연을 갖는 확률 미분방정식에 대한 불변측도 존재성의 충분조건 제시
해의 전역 존재성 증명: 모든 해는 전역적으로 지속적으로 존재하며 확률적 의미에서 유계임을 증명
불변측도 존재의 필요충분조건 규명: 비자명한 불변측도가 존재하는 것은 적어도 하나의 초기조건에서 해가 확률적 의미에서 영점으로부터 멀어질 때와 필요충분조건임을 규명
잡음 유형 확장: 잡음이 적분가능한 Lévy 과정일 수 있도록 허용하여 브라운 운동에만 국한되지 않음
경전적 모델에 응용: Mackey-Glass 방정식과 Nicholson's blowflies 방정식의 확률적 버전에 대해 불변측도의 존재성 증명

방법 상세 설명

작업 정의

자율 확률 지연 미분방정식 연구:

dX(t) = a(X_t) dt + b(X_{t-}) dM(t), t ≥ 0
X(u) = Φ(u), u ∈ [-τ, 0]

여기서 M(t)는 반마팅게일, a, b는 국소 Lipschitz 범함수, X_t는 시각 t에서의 해의 선분 과정을 나타낸다.

핵심 방법 구조

1. 변수 변환 기법

대수 변환 Y(t) = log X(t)를 통해 원래 방정식을 다음으로 변환:

dY(t) = [-γ(t) + r(t)e^{-Y(t)}f(e^{Y(t-τ)})] dt + a(Y_t,t) dt + b(Y_t,t) dW(t)

이러한 변환은 해의 양성을 보존하고 분석을 용이하게 한다.

2. 경로 추정 방법

상한 추정: 음의 피드백 특성을 이용하여, 해가 충분히 클 때 표류항이 음수가 되어 해가 무한대로 발산하는 것을 방지
하한 추정: f(0) > 0일 때, 적분 부등식 기법을 이용하여 해의 하한 획득

3. 확률적 유계성 분석

세 가지 핵심 개념 간의 연관성 수립:

전역 존재성
해의 확률적 유계성
해의 선분의 확률적 유계성

4. 컴팩트성 조건

Arzelà-Ascoli 정리와 Skorokhod 위상을 통해 해의 선분 컴팩트성의 충분조건 수립:

조건(i): 잡음 계수의 유계성
조건(ii): 표류항의 상한이 확률적 의미에서 유계
조건(iii): 해의 선분의 상한 노름이 확률적 의미에서 유계

기술적 혁신점

1. 역시간 상한 기법

Lévy 구동의 음의 표류 과정에 대해:

Y(t) = -∫₀ᵗ a(s) ds + ∫₀ᵗ b(s) dL(s)

역시간 상한 과정(sup_{0≤θ≤t}(Y(t)-Y(θ)))_{t≥0}이 확률적 의미에서 유계임을 증명.

2. Krylov-Bogoliubov 방법의 확장

경전적 Krylov-Bogoliubov 존재 정리를 우연속 좌극한 함수 공간 D-τ,0으로 확장하여 점프 잡음 경우를 처리.

3. 반마팅게일 특성의 응용

반마팅게일의 국소 특성(B^X, C^X, ν^X)을 이용하여 해의 선분 과정의 컴팩트성을 증명하며, 더 광범위한 잡음 유형에 적용 가능.

실험 설정

이론적 검증

본 논문은 주로 이론 연구로서, 수치 실험이 아닌 수학적 증명을 통해 결과의 정확성을 검증한다.

응용 모델

Mackey-Glass 방정식:

x'(t) = -γx(t) + r·x(t-1)/(1+x(t-1)^p), p > 1

Nicholson's blowflies 방정식:

x'(t) = -γx(t) + r·x(t-1)e^{-px(t-1)}, p > 0

잡음 유형

브라운 운동
유계 점프를 갖는 Lévy 과정
적분가능한 Lévy 과정

주요 결과

정리 1.1 (주요 결과)

f: ℝ → ℝ이 국소 Lipschitz 연속이고, (0,∞)에서 비음이며 상한을 가지고, inf_{t≥0} γ(t) > 0, sup_{t≥0} r(t) < ∞라고 가정하면, 확률 지연 미분방정식:

dX(t) = [-γ(t)X(t) + r(t)f(X(t-τ))] dt + σX(t)c(X_t) dW(t)

의 해는 유일하고, 전역적으로 지속적으로 존재하며, 거의 모든 비음 F₀-가측 초기값에 대해 확률적 의미에서 유계이다.

더욱이, γ와 r이 상수일 때:

f(0) > 0이면, 거의 모든 해가 확률적 의미에서 영점으로부터 멀어지고, (0,∞)에 지지를 갖는 정상 분포 μ가 존재
f(0) = 0이면, 두 개의 서로 다른 정상 분포가 존재: Dirac 측도 δ₀와 (0,∞)에 지지를 갖는 정상 분포 μ (적어도 하나의 초기값에서 해가 확률적 의미에서 영점으로부터 멀어진다는 전제 하에)

추론 1.2 (Mackey-Glass 방정식)

결정론적 Mackey-Glass 방정식에 대해, p > 1, inf_{t∈-τ,0} φ(t) > 0, lim inf_{t→∞} r(t)/γ(t) > 1일 때, 해는 영점으로부터 멀고 유계이다. γ와 r이 상수이고 r > γ일 때, 방정식은 C-1,0에서 비자명한 불변측도를 갖는다.