Let be the drift Jacobian at a stable mean-field equilibrium, , and the reaction noise matrix. For normalized fluctuations, put , , and . Stationarity of the linear-noise covariance gives the displayed Continuous Lyapunov equation. It applies to driven reaction networks without requiring thermal equilibrium. A mode with zero restoring eigenvalue and nonzero noise has no stationary covariance.
// Target: mathematical-biology.bigb
The normalized stationary fluctuation-dissipation relation for a reaction network is
Here is the negative drift Jacobian matrix expressed in normalized population coordinates, and is the normalized noise matrix. More explicitly, with , drift Jacobian , stoichiometric vectors , and stationary reaction propensity functions , these matrices are and , where . The linear noise approximation gives a covariance evolution ; stationarity is the displayed Continuous Lyapunov equation.
In one dimension, the normalized restoring coefficient is . Squared chemical jumps determine the noise:
The factor nine from a birth burst is essential; its three molecules arise in one correlated reaction event. The scalar Continuous Lyapunov equation is , giving
Equivalently, the normalized variance is . The Fano factor is approximately four. This calculation uses the prescribed mean closure and the linear noise approximation, so its small-relative-fluctuation regime is ; it is not an exact assertion for arbitrarily small molecular copy numbers.
Let and . In the linear noise approximation, and . At the stationary mean, the preceding moment identity gives . Hence the stationary covariance matrix solves the Continuous Lyapunov equation
which is precisely the requested component formula because is symmetric.
At the stationary mean,
The entry of the Continuous Lyapunov equation gives , so . Its entry gives , hence . Finally gives . Thus
Both variances equal their means; the absence of stationary covariance does not mean that the maturation jumps are independent events in the two populations.
Comparison with the multivariate normal density shows that is its precision matrix. Since the mean is zero,
Multiplying on the right by gives . Taking the transpose and using the symmetry of and gives . Hence the stationary covariance obeys the Continuous Lyapunov equation
The same equation follows directly by setting the time derivative of the second-moment equation from part (c) to zero.
For linear drift and constant symmetric positive-definite diffusion matrix , a zero-current stationary Gaussian obeys
This reversible solution exists when is symmetric positive definite. Its covariance satisfies the Continuous Lyapunov equation