Theorem B.1
ULGNTHM:RDS_Brusselator The SDE (?) generates a smooth RDS in \mathbb{R}^2_+. Moreover, system (?) admits at most one stationary distribution.
Proof of Theorem B.1
See Ncite ArnoldBrus.
Noise-induced instabilities in a stochastic Brusselator
- arXiv
- 2305.18021v1 · PDF · 29 May 2023
- Categories
- math.DS
- Licence
- CC BY 4.0 The site shows the text.
Abstract
We consider a stochastic version of the so-called Brusselator - a mathematical model for a two-dimensional chemical reaction network - in which one of its parameters is assumed to vary randomly. It has been suggested via numerical explorations that the system exhibits noise-induced synchronization when time goes to infinity. Complementing this perspective, in this work we explore some of its finite-time features from a random dynamical systems perspective. In particular, we focus on the deviations that orbits of neighboring initial conditions exhibit under the influence of the same noise realization. For this, we explore its local instabilities via finite-time Lyapunov exponents. Furthermore, we present the stochastic Brusselator as a fast-slow system in the case that one of the parameters is much larger than the other one. In this framework, an apparent mechanism for generating the stochastic instabilities is revealed, being associated to the transition between the slow and fast regimes.
Items 6
Remark B.2
VWXOREMARK:conjecture In Ncite ArnoldBrus it is conjectured that in fact, for any a,b,\sigma>0 there is a unique stationary distribution \rho with corresponding invariant measure \mu for the RDS, whose sample measures \mu_{\omega} are given by delta distributions \mu_\omega=\delta_{A(\omega)}. In particular, the random equilibrium point A(\omega) would be such that for all t\geq0
\varphi^t_\omega(A(\omega))=A(\theta^t\omega), \quad \mathbb{P}-a.s.
It has been further conjectured that the top Lyapunov exponent is negative, implying that this random equilibrium is exponentially attracting Ncite Newman2020, and thus every pair of trajectories synchronizes exponentially fast as t\rightarrow\infty. While it has been shown in Ncite ArnoldBrus that there are initial conditions for which solutions do not exist for all negative times with positive probability, numerical explorations suggest that, in fact, the random equilibrium A(\omega) constitutes the only trajectory whose dynamics can be extended for all t<0.
Definition C.1
J1S5DEF:FTLE Let \varphi^t_\omega(x,y) be a trajectory of (?), and let \Phi_t be the solution of (?) at time t, with initial condition \Phi_0=\operatorname{id}. The (maximal) finite-time Lyapunov exponent (FTLE) of (?) for (\omega,x,y) at time T>0 is given by
\relax{eq:FTLE}
\lambda^T(\omega,x,y):=\frac{1}{T}\ln\left\Vert \Phi_T\right\Vert,
where \Vert\cdot\Vert is the operator norm or, equivalently, its largest singular value.
Proposition D.1
C0MNPROP:partial_hyperbolicity The critical manifold \mathcal{S}_0 is normally hyperbolic. Its stable foliation has leaves
W_s(z)=span\{(1,0)\},
for each z\in\mathcal{S}_0. Furthermore, the dynamics of (?) is given by
x(t)=y(t)=x_0+at
Proof of Proposition D.1
Let h(x,y)=(a(y-x),0). Its Jacobian matrix is calculated as
Dh(x,y)=\left[ \begin{array}{cc}
-a & a \\
0 & 0
\end{array} \right],
for which the nontrivial eigenvalue is simply \lambda=-a<0, with eigenvector (1,0). By considering x=y, then \mathrm{d} y/\mathrm{d} t=a and the result follows.
Source and licence
The text on this page is from arXiv:2305.18021v1 by Maximilian Engel and Guillermo Olicón-Méndez, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2305/2305.18021.jsonl.