Iterating the recurrence yields
Thus every finite collection of the is a linear transformation of independent standard normal random variables, and has a multivariate Gaussian distribution. The expected values are zero. Independence of the gives
For , the recurrence writes plus a sum of future innovations independent of . Hence . The required vector law is
The covariance matrix is positive definite: the lower-triangular transformation from has nonzero diagonal entries . This also identifies a stationary autoregressive process of order one, with marginal density .
With the standard normal density as the kernel for density estimation, the two characteristic functions are and . The Gaussian random variable has mean zero and variance , so
This expression is real. Substitution in the given integrated covariance expression, followed by the Gaussian integral for , gives
To bound the total Gaussian autoregressive kernel variance correction, apply the mean value theorem to . For , the whole interval between and is bounded below by . Therefore
Summing the geometric series gives the uniform bound
It follows from the supplied variance identity that
The constant depends on the fixed , but not on or . In particular this applies to the requested shrinking-bandwidth regime; the covariance bound itself does not need .
All observations have the same marginal density , so dependence changes the variance but not the bias of a kernel density estimator: . Write and . For a smooth density with , the integrated variance of a kernel density estimator in the independent case is . A second-order Taylor expansion of the convolution gives in the L2 norm. Thus the bias-variance decomposition of mean squared error gives
The first two terms are the asymptotic mean integrated squared error. The additional dependence term is smaller than , so the leading optimal bandwidth and optimal rate are the same as for independent data:
Here both and are the standard normal density. Since , direct Gaussian integrals give
Consequently the explicit leading bandwidth is
At this bandwidth the leading integrated variance is four times the leading integrated squared bias, which is also a check on the minimization constant.
Set and . Multiplying the Langevin equation by and integrating gives
The expected value of is zero. For the printed dot-product force covariance, write , so . Without any white-noise approximation the trace variance is
The intended short-correlation approximation replaces by , where is the Dirac delta. It requires the force correlation time to be much shorter than and the observation time. Then
At thermal equilibrium, the equipartition theorem gives . Taking the long-time limit determines the vector noise normalization in inertial Langevin dynamics:
This factor six corresponds to the dot-product covariance across three components. If were defined for one component instead, its integrated strength would be before dividing by , and the acceleration strength would be .
Finite rapid correlation is not literally a Dirac delta. For a stationary force and local drag, its exact limiting velocity trace is
This follows by splitting the double convolution into and . Thus equipartition fixes the weighted integral, not just , unless the short-correlation approximation is made. For example, gives . The remaining explicit formulae use the intended continuous-time Gaussian white noise limit.
Assume isotropic jointly Gaussian noise, as appropriate to an isotropic bath. The component covariance is
The scalar moment identities in the question must now be applied to a fixed Cartesian component , not to the magnitude of the vector. Its variance is
In the -fold integral for , the Isserlis theorem replaces the force product by a sum of complete pairings. Each pairing yields identical two-time integrals, hence . Pair the first labelled factor in ways, then the first unpaired factor in ways, and continue. The Gaussian even-moment pairing count is
Odd force products vanish, so
For completeness, summing the scalar moment-generating function gives
The same Gaussian process argument for every linear combination of components gives the vector characteristic function . Inverting this Fourier transform yields the normalized multivariate Gaussian distribution
The initial condition is a velocity Dirac delta as , and the long-time limit is the thermal velocity density. The converted TeX's exponent is damaged; the PDF has the squared norm displayed here. The scalar pairing formula cannot be interpreted as a vector-norm formula: the radial moments of an isotropic Gaussian vector instead give in three dimensions.
Integrate the velocity once more. Interchanging the time integrals gives the integrated Ornstein-Uhlenbeck displacement
For the stated fixed initial position and velocity,
Let and . Its component covariance comes from integrating the squared noise kernel:
Therefore the total centered variance is
The mean-square displacement from additionally contains . Confusing this deterministic drift contribution with centered variance changes the short-time conclusion.
For times longer than the force correlation time but , the mean motion is and the centered trace is . Thus a nonzero fixed initial velocity produces a leading ballistic mean-square displacement ; conditioned on , the white-noise displacement variance instead starts as . If one averages over an independent equilibrium initial velocity, its covariance adds , giving
This is the usual thermal ballistic regime, before velocity memory has relaxed. At , the conditional mean approaches , while the centered trace is . Its leading behavior is diffusion with and , as successive displacement increments lose inertial memory. At times below a finite force correlation time the white-noise short-time expansion is not applicable; for a regular force covariance and fixed initial velocity the leading noise-induced displacement variance is of order .
The covariance of a centered multivariate Gaussian distribution is the inverse of its quadratic kernel. Writing , one finds
Consequently the composition static structure factor is