Stationarity makes the covariance depend only on . For ,At the reversed lag, the formula givesand thereforeThe same identity follows directly by exchanging the two random variables in .
Split the Fourier integral at zero and use the two stationary covariance branches:Equivalently, Fourier transforming the Multivariate Ornstein-Uhlenbeck process equation givesUnit white-noise covariance then yields the Ornstein-Uhlenbeck power spectrumso
For ,Solving givesThe canonical ensemble density proportional to for factorizes into independent centered Gaussians. Its equipartition variances are exactly and , while the absence of an term gives .
LetThe second column of is . HenceIn particular,This is the thermally broadened resonance of the damped harmonic oscillator.
The stationary solution ofisIt follows from the Itô isometry thatThus is zero-mean colored noise with correlation time . The equation is an overdamped harmonic particle of mobility driven by that correlated random force.
Take withSince ,Thus tends to thermal white forcing of covariance , as required by the fluctuation--dissipation relation. The equal-time position variance becomesthe equilibrium harmonic variance.
SetThe stated curl-free condition says that is a gradient, . DefineThen , and the Fokker-Planck probability current becomesThis is the potential condition for a Fokker--Planck equation.
Normalization makes the derivative of the additive in vanish. Using , the no-flux boundary condition, and integration by parts givesSubstituting the gradient current,Positive definiteness makes equality possible only when , equivalently . Thus is a strict Fokker--Planck free-energy functional away from stationarity.
Let and . ThenBy nonnegativity of Kullback-Leibler divergence,with equality exactly when almost everywhere. Hence a normalizable is the unique minimizer and, because elsewhere, the unique steady density compatible with the boundary condition.
The independent additive noises give diagonal diffusion . ThusThe mixed derivatives of areThey agree precisely when
Under the potential condition, integrate to obtainSince , the zero-current steady density on the positive quadrant isThe equivalent coefficient may be used for the cross term.
If , the cross term in the exponent becomes positive. Along rays with both densities large it grows quartically, while the self-limiting death terms are only negative cubics. The candidate density is therefore not normalizable and the Fokker--Planck free-energy functional is not bounded below. Deterministically, mutual nutrient enhancement eventually overwhelms each species' quadratic crowding death and drives runaway growth, potentially in finite time. The stochastic model consequently has no steady probability density and sends probability toward arbitrarily large populations. This signals failure of the idealized growth law at high density; resource depletion or stronger saturation must regularize a biological model.
The functional derivatives areWith the stated Fourier convention,The first is conserved order-parameter dynamics; its deterministic rate and conserved-noise amplitude vanish at . The second is nonconserved order-parameter dynamics.
The deterministic relaxation matrix isIts right eigenvectors are the hydrodynamic modes. Writing and , their decay rates obey
For , , and , put . ThenAt small , second-order perturbation in gives the slow conserved and fast nonconserved eigenvaluesKeeping terms through ,Stability of the long-wavelength mode requires .
For the slow mode choose . The second row gives , so to the requested orderFor the fast mode choose . The first row gives , henceThus the conserved mode contains an order-one slaved nonconserved component, while the fast mode contains only an conserved component.
Write . The equations and giveSince ,Therefore . At , conservation makes exactly constant. Any nonzero overlap with the fast mode would change it on the finite timescale , so conservation requires ; the explicit factor enforces this.
For , the quadratic free-energy kernel isThe equilibrium covariance is under the Fourier normalization in the question. Sincethe steady cross-correlator isIf Fourier modes are normalized by , the factor is absent. The negative sign reflects the energetic preference for opposite signs when .
The scaled cumulant-generating function isBy Cramér theorem, its Legendre transform is stationary at for . Thuswith for and the continuous convention .
Assume , so the upper tail is governed by its boundary. The large deviation principle gives the exponentially equivalent estimatewhere now . Increasing capacity to reduces this estimate by at least whenEquivalently,
The increment law immediately givesThe difference quotient has second momentThus increments scale as , rather than , and no finite derivative is suggested. In fact this heuristic is strengthened by the theorem on nowhere differentiability of Brownian motion.
Let and use its induced inner product. The autonomous Lagrangian isIts conserved Hamiltonian isOn an infinite-duration fluctuation path , so . Expanding the action then givesSince metric arclength satisfies ,This is the geometric minimum action representation and is independent of the speed used to parametrize the path.
For constant isotropic diffusion and detailed balance, the drift has gradient formfor a positive scalar mobility after absorbing temperature and diffusion constants into . Deterministic relaxation follows downhill. The least-action escape trajectory is its time reverse,Its tangent is therefore parallel to . Since the gradient is normal to every level set , the escape path from a local minimum crosses all equipotentials orthogonally.
Articles by others on the same topic
There are currently no matching articles.