Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 344 / 1

Write $E(t)=\delta A/\delta x(t)$ for the functional derivative of the action. Under time reversal in classical mechanics, $\dot{x}$ changes sign whereas $E$ is even by assumption. Thus the forward and reversed Gaussian white noise histories associated with the same geometric path areThe Onsager--Machlup path probability therefore givesHere the path probabilities are densities conditional on their respective initial states; they are not separately normalized bridges conditioned on both endpoints. The noise-to-path Jacobian determinant must be treated with a consistent discretization: it cancels when it is invariant under time reversal in classical mechanics. This is the usual additive-noise Langevin dynamics convention, including a constant-mass Underdamped Langevin dynamics or the time-reversal invariance of a path Jacobian in midpoint overdamped Langevin dynamics. A completely arbitrary velocity-dependent Lagrangian would require specifying that measure rather than deducing its cancellation solely from the parity of $E$.

For an autonomous Lagrangian, the Euler-Lagrange equation usesApply the chain rule to the Hamiltonian along an arbitrary smooth path, without assuming the unforced Euler-Lagrange equation:Consequently the energy balance for an autonomous Lagrangian isWith explicit time dependence, an additional $-{\partial }_{t}L$ enters $dH/dt$. For ideal Gaussian white noise, the identity is understood through smooth-noise regularization or the Stratonovich chain rule. The original PDF correctly differentiates $L$ with respect to $\dot{x}$ in $H$; the supplied TeX's derivative with respect to $x$, its endpoint $t^2$, and its ordinary derivative of $A$ are transcription errors.

At thermal equilibrium, microscopic reversibility equates the probabilities of a path and its reversed path when both include their Boltzmann distribution initial weights. Denote their endpoint states by $z_1,z_2$, including velocity if needed. Since the Hamiltonian is even under time reversal in classical mechanics,This detailed balance condition and the energy balance for an autonomous Lagrangian yieldThis is the fluctuation-dissipation relation for a Langevin particle: the strength of Gaussian white noise is fixed by the damping and temperature, with $k_B$ the Boltzmann constant.

For an equilibrium coarse-grained variable, the unresolved microscopic states contribute entropy; their statistical weight is encoded in the Helmholtz free energy, rather than in a single microscopic energy. Relative to the same reference measure, ${\rho }_{\mathrm{eq}}(x)\propto e^{-\beta F(x)}$, so microscopic reversibility becomesThis extension assumes an equilibrium coarse-grained description with reversible path statistics; externally driven dynamics need not obey this relation.

The Neumann boundary conditions give Fourier modes $q=n\pi /L$, including the spatially uniform mode $q=0$. In the frame translating with the mean deposition height, that mode has no restoring force and obeysHere $W_t$ is Brownian motion, independent of the initial height. More generally $⟨h_0(t{)}^2⟩=⟨h_0(0{)}^2⟩+{\sigma }^{2}t$ when these second moments exist. Removing the mean deposition drift does not remove the Gaussian white noise.

The Brownian zero mode of a fluctuating interface has no stationary distribution on the real height axis for ${\sigma }^2>0$. This conclusion does not depend on assuming finite variance: a stationary characteristic function would satisfy $\hat{\mu }(k)=\hat{\mu }(k)e^{-{\sigma }^2{k}^{2}t/2}$, hence vanish for every $k\ne 0$, contradicting its continuity at zero and $\hat{\mu }(0)=1$. Any stationary joint distribution of the whole height would have a stationary zero-mode marginal, which is impossible. Thus the full unpinned height has no Boltzmann equilibrium. Pinning the mean height, or retaining only the nonzero Fourier modes, removes this obstruction. The PDF has ${\dot{h}}_q$; the TeX's ${\hslash }_q$ is a transcription error.

For $q\ne 0$ and $\alpha >0$, each Fourier mode is an Ornstein-Uhlenbeck process with decay rate $r_q=\alpha q^2$. Its explicit Ornstein-Uhlenbeck solution isso the Itô isometry givesTo identify the overdamped Langevin dynamics, choose a friction ${\zeta }_q>0$, a harmonic oscillator potential $V_q={\zeta }_q\alpha q^2{h}_q^2/2$, and force noise $f_q={\zeta }_q{\eta }_q$. The fluctuation-dissipation relation for a Langevin particle then defines $k_B{T}_{\mathrm{eff}}={\zeta }_q{\sigma }^2/2$. Its Boltzmann distribution isThis is the stationary spectrum of a linear fluctuating interface, also following from the equipartition theorem. The numerical prefactor uses exactly the mode-noise normalization given in the paper. The nonzero modes can therefore have a stationary Gaussian distribution even though the unpinned zero mode cannot.