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 (ライデン大学), O.W. van Gaans (ライデン大学), S.M. Verduyn Lunel (ユトレヒト大学)
分類: math.DS (力学系), math.PR (確率論)
発表日: 2025年1月3日
論文リンク: https://arxiv.org/abs/2501.00141

要約

本論文は、有限時間遅延を持つ一般的な確率微分方程式に対する不変確率測度の存在性の十分条件を提供する。応用例としては、（小）乗法ノイズ項により摂動されたMackey-Glass方程式とNicholson's blowflies方程式が含まれる。これらの確率的負フィードバックシステムの解は大域的に存在し、すべての解は確率的意味で有界である。研究により、有限時間爆発の発生は、解および解の軌跡が確率的意味で有界であることと密接に関連していることが明らかになった。非自明な不変測度が存在するのは、当且つ当のとき、少なくとも1つの初期条件が存在して、その解が確率的意味でゼロから遠ざかる場合である。動力系統を駆動するノイズは可積分Lévy過程であってよい。

研究背景と動機

問題の記述

本論文は、確率的負フィードバックを持つ遅延微分方程式の不変測度の存在性の問題を研究する。研究対象の中核は、以下の形式の決定論的遅延微分方程式およびその確率的摂動版である：

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

研究の重要性

生物学的意義：Mackey-Glass方程式は白血球濃度のモデル化に用いられ、Nicholson's blowflies方程式は昆虫個体群動態を記述し、これらのモデルは生理学および生態学において重要な応用を持つ
数学的課題：遅延微分方程式のカオス的挙動は今なお厳密に証明されていない。不変測度を探索することは、これらのシステムの長期的挙動を理解するための新たな道を提供する
確率的摂動：現実のシステムは必然的にノイズの影響を受けるため、確率版の研究はより実際的な応用に近い

既存方法の限界

Mackey-Glass方程式およびNicholson's blowflies方程式に対して、カオス現象はまだ数学的に証明されていない
大域吸引子に関する既存の結果は、定常状態と周期解を許容するパラメータ領域にのみ適用可能である
一般的な確率遅延微分方程式の不変測度を扱う体系的方法が欠けている

中核的貢献

一般的理論枠組みの確立：有限時間遅延を持つ確率微分方程式に対する不変測度の存在性の十分条件を提供した
解の大域存在性の証明：すべての解は大域的に存在し、確率的意味で有界であることを示した
不変測度存在の必要十分条件の特性化：非自明な不変測度が存在するのは、当且つ当のとき、少なくとも1つの初期条件が存在して、その解が確率的意味でゼロから遠ざかる場合であることを示した
ノイズ型の拡張：ノイズが可積分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. 確率有界性分析

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ならば、2つの異なる定常分布が存在する：Dirac測度δ₀と(0,∞)上に支持を持つ定常分布μ（少なくとも1つの初期値が存在して、その解が確率的意味でゼロから遠ざかることが前提）