The energy equation rearranges to , an ellipse with semiaxes and . At low energy it is nearly circular with both radii ; at high energy it is tall and thin, with while grows. The area enclosed is , so
Consequently at high energy.
Figure 1.
Energy ellipses for the one-dimensional Hamiltonian at low and high energy, with mu equal to one
. Details.
The action variable for a regular periodic one-degree-of-freedom Hamiltonian orbit is , with orientation along the motion. Along its energy curve, implicit differentiation gives . Differentiating the loop integral branchwise gives
At simple turning points the two momentum branches join and their endpoint contributions cancel, so the integrable turning-point singularities do not spoil this differentiation. The formula concerns regular periodic levels, not a separatrix of infinite period.
For positive integers , the finite open segment from part (i) works because . For , take a finite closed contour enclosing both branch points , with the integrand analytic in the exterior of the joining cut. Near infinity choose . Since is integral, a circuit around both branch points returns to the initial branch, and the endpoint boundary term cancels. Thus this is an admissible finite contour, including .
For , at that exterior branch is . Deforming the contour to a large circle makes its integral tend to zero; equivalently its Laurent series has no coefficient. Hence . An individual loop around one branch point would not generally return to the same branch when is odd, which is why both are enclosed.
For , choose the straight path from to and put , . Choose the power of continuously, positive for real positive . The boundary factor vanishes at both endpoints. At zero,
using the symmetric beta function integral. This choice also gives a nonzero solution.
With response rates and elasticity effectively fixed, changing changes and hence intrinsic noise but not the environmental term. Observation (i) therefore indicates extrinsic noise dominates, making the mean-dependent intrinsic contribution negligible. For a general feedback law whose elasticity changes substantially with the mean, compensation between terms is another possibility; independence from alone would then not logically identify the dominant term.
Observation (ii) measures the local relaxation rate , which is larger under negative feedback. Observation (iii) is not explained by faster adjustment alone. At fixed susceptibility, increasing the response rate increases , reducing time averaging and increasing transmitted environmental noise. Feedback lowers variance primarily by reducing susceptibility and the intrinsic term. Thus rapid adjustment and low noise share a feedback mechanism but are not a direct causal equivalence.
For the constitutive system, every propensity is affine in the copy numbers. The exact first- and second-moment equations therefore close: expectations of drift are determined by the means, and covariance drift by the covariance. The stationary fluctuation-dissipation calculation is consequently exact, even though the full joint stationary distribution need not be Gaussian.
For feedback, expectations such as involve nonlinear moments and correlations. Replacing them by a linear expansion about the mean is a linear noise approximation, so the covariance formula is approximate. It works well around a stable single equilibrium when relative fluctuations are small and the rates vary smoothly over their typical range, generally at sufficiently large molecule numbers. Low counts, strong nonlinearities, multiple attractors and proximity to instability can invalidate it.
Factor the extrinsic term as
The first factor is environmental relative variance. The second is static susceptibility squared: differentiating the equilibrium relation gives . The last is the time-averaging factor with effective protein response time . Feedback makes response faster, which by itself weakens averaging, but simultaneously reduces the static gain. These are distinct effects and both must be retained.
At the deterministic feedback equilibrium use . The indicated elasticity is
The normalized drift becomes ; equal mean birth and death rates still give . Solving the same covariance equation yields the feedback attenuation of gene-expression noise:
For , , so
The inverse-feedback expression is interpreted near a positive equilibrium; a microscopic birth rate singular at zero needs a separate regularization there.
If RNA concentration does not fluctuate, protein synthesis is an immigration-death process, so its intrinsic normalized variance is . If protein birth/death noise is suppressed and protein responds deterministically to the fluctuating RNA input, the remaining normalized variance is
Writing , its factor is . Slow environmental changes are followed almost fully; rapid environmental fluctuations are averaged over the longer protein response time. Thus extrinsic noise is the magnitude of relative RNA fluctuations multiplied by a dynamical averaging factor.
Let . The mean equations give and . For relative deviations, the drift Jacobian and normalized reaction-noise covariance are
The normalized stationary fluctuation-dissipation relation for a reaction network is with this negative-drift convention. Its entries successively give
The birth and death channels act on one species at a time, so the diffusion matrix is diagonal even though the stationary covariance is not.
For the radiation-era law beginning at , the present particle-horizon estimate is
Rescale this present physical distance back to using . Its physical size was , of order one metre as required. The matched inflationary Hubble rate is , with Hubble radius .
If inflation produces e-folds before , this patch began with size metres. It fits within one Hubble radius if
This estimate uses the idealized radiation-only history stated in the question; substituting the actual matter-dominated history would change the numerical estimate.
For an expanding decelerating power law with , the particle horizon is , and the comoving Hubble radius is . It increases with time, so regions that are mutually visible today can have been out of causal contact at early times. The nearly uniform early thermal conditions inferred across such regions give the horizon problem.
During cosmic inflation, accelerated expansion makes the comoving Hubble radius decrease. A patch initially within one causal communication scale can expand into the region now observed, after which its separated parts are temporarily outside the Hubble radius and later re-enter during deceleration. Sufficient duration before the hot radiation era permits a common causal origin; accelerated expansion is not itself a claim that signals propagate faster than light locally.
For a homogeneous isotropic metric, radial light propagation covers comoving distance . The physical particle horizon is , when this is finite. A future event horizon exists when is finite. The Hubble radius is the instantaneous scale , with ; it is not generally the same as either causal horizon.
For an Einstein-de Sitter universe, , so , while from a beginning at zero. The future integral diverges, so there is no event horizon. For an eternal-past de Sitter spacetime, is constant and the particle-horizon integral from diverges. Its event horizon and Hubble radius both equal . Thus a Hubble radius is not automatically a particle horizon, even in these simple isotropic models.
For a stable one-species linear noise approximation, the normalized stationary fluctuation-dissipation relation for a reaction network becomes
To see the factors explicitly, the linearized restoring rate is , while the chemical noise intensity is the rate-weighted squared step size
Stationarity of the variance gives . Using therefore yields
This is the stationary fluctuation result within the stated negligible-fluctuation/linear-noise approximation, not an exact identity for the boundary-corrected discrete chemistry.
Let and be the production and loss fluxes, counted in molecules per unit time. At the steady state, both equal . The restoring elasticity and turnover lifetime are
Flux-weighting the magnitudes of the reaction steps, one for production and two for loss, gives
This is an average over molecular fluxes, as requested, not an average over reaction-event counts; those are different when a reaction removes two molecules at once.
Apply the formal infinitesimal generator to the molecule count: its increment is at rate and at rate . Thus the exact first-moment identity for the specified generator is
Neglecting fluctuations gives the mean-field approximation , so the positive steady mean is
There is a physical boundary qualification: the printed loss propensity is positive at and would produce a negative molecule count. Consequently it does not by itself define a molecule-count chain on all nonnegative integers. If losses are forbidden below two, the exact loss moment becomes ; a mass-action two-molecule propensity instead uses . The calculation requested here uses the printed formal generator and its large-copy-number approximation, where such boundary corrections are negligible.
The given Riccati ansatz is . Differentiating it and substituting for shows
It therefore selects in the preceding scaled Painleve equation. Write . The quadratic terms cancel in the ansatz, leaving
Thus every nonzero solution of the indicated Airy equation gives the local mKdV solution
on intervals where . For example , with constants not both zero, has the required equation. This branch is generally complex and meromorphic; the printed ansatz itself includes . A real on a real interval would require simultaneously and , which is impossible on an interval. Hence this particular ansatz does not furnish a nontrivial real-valued mKdV profile.
The scaling of the equation suggests , , for . Substitution gives
Integrating in gives the scaled Painlevé II equation
where is an arbitrary integration constant. If the standard normalization is desired, set and . Then and
The direct scaled equation avoids introducing imaginary variables when a real is required.
For a localized traveling wave put with , and require at infinity. The modified KdV equation integrates once to . Multiplying by and integrating again gives
A nonzero decaying real solution requires . Separating on the rising or falling half of the wave and using the indicated inverse-hyperbolic-secant integral yields
The signs and translations are arbitrary. Differentiating the sech profile verifies directly. The relevant antiderivative is the inverse hyperbolic secant, since for .
Set . If , then . If , irrationality of the square root of two implies that the integer is nonzero. Factoring a difference of squares therefore gives
Thus the requested bound holds for every integer and every nonzero integer , without using the Liouville approximation theorem. For completeness, irrationality follows because in lowest terms would make even and then even, contradicting coprimality.

There are unlisted articles, also show them or only show them.