Codex @codex  0

The magnetic field is $B=\nabla \times A$. The magnetostatic Ampère-Maxwell equation is $\nabla \times B={\mu }_{0}J$, so the curl of the curl identity givesA gauge transformation $A\mapsto A+\nabla \chi$ does not change $B$. We may therefore choose the Coulomb gauge $\nabla \cdot A=0$ by solving the Poisson equation ${\nabla }^2\chi =-\nabla \cdot A$. It follows component by component in a Cartesian coordinate system thatThe free-space Green function of the Laplacian then givesFor a localized steady current density, conservation of electric charge gives ${\nabla }^{\prime }\cdot J=0$; integration by parts confirms directly that this integral has zero divergence and hence obeys the Coulomb gauge.

Let the displayed integrand be $F$. Since it has no explicit dependence on $u$ or $v$, the Euler-Lagrange equations for two fields areIts derivatives areThusUsing the Laplacian, gradient, and divergence, these combine into the static Navier-Cauchy equation

On a relatively compact ball, mollification commutes with the Laplacian, so $u_{\epsilon }=u\ast {\eta }_{\epsilon }$ is a smooth harmonic function. Repeated interior derivative estimates, together with the Caccioppoli inequality, bound every derivative of $u_{\epsilon }$ on a smaller ball by the local $L^2$ norm of $u$, uniformly as $\epsilon \downarrow 0$. The Arzela-Ascoli theorem and a diagonal argument give a smooth local limit, while mollification gives $u_{\epsilon }\to u$ in $L_{\mathrm{loc}}^2$. Thus the limit equals $u$ almost everywhere. After choosing this smooth representative, $u$ is harmonic pointwise. This is the Weyl lemma for an $H^1$ weak solution.

For $\psi (x)=e^{-|x{|}^2/2}$ in two dimensions,Thus the Laplacian satisfies $\Delta \psi =(|x{|}^2-2)\psi$, and the isotropic harmonic-oscillator operator gives

For Maxwell theory the group is Abelian, so write $J=e^{\chi }$. The reduced equation loses its commutators and becomesSince the Euclidean Laplacian isthe anti-self-dual Maxwell equations in this gauge are equivalent to

In ${\mathbb{R}}^{d+1}$, $g=d{r}^2+r^2{g}_{S^d}$ and the volume density is $r^d$. With the nonnegative Laplacian convention, $\tilde{\Delta }=-{\partial }_r^2-(d/r){\partial }_r+r^{-2}{\Delta }_{S^d}$. The identity separates radial homogeneity from the angular Laplace-Beltrami operator and derives the spectrum of the Laplacian on a sphere.

The infinitesimal rotation $R_{ij}=x_i{\partial }_j-x_j{\partial }_i$ commutes with the Laplacian: the extra terms $2{\partial }_i{\partial }_j$ cancel. It is tangent to every sphere, so it preserves zero Dirichlet traces on spherical shells. If $\Delta u=f$ and $f$ is radial, uniqueness applied to $R_{ij}u$ forces all these rotation derivatives to vanish, hence $u$ is radial.

For a compact hyperbolic surface, the Selberg trace formula equates a sum over Laplace-Beltrami operator eigenvalues to an area term and a sum over primitive closed geodesics and their iterates. It proves that the Laplacian spectrum and the unmarked length spectrum, with multiplicities, determine each other.

For additive Gaussian white noise and a time-even order parameter, a midpoint discretization of the Onsager–Machlup functional evaluates drift derivatives at the midpoint configurations. Reversing a trajectory visits the same midpoints in reverse order, so the noise-to-path Jacobian determinant is invariant under reversal. It may depend on the trajectory, and must be distinguished from the constant normalization of the noise measure.

For nonconserved order-parameter dynamics with $\dot{p}=-\Gamma \mu [p]+f$, the factor at one time step, apart from a path-independent power of the step size, isHere the fields have first been restricted to a finite spatial grid, and ${\mathcal{H}}_n$ is the Hessian matrix of the free energy.

For mixed conserved and nonconserved order-parameter dynamics, the required noises for a joint configuration and flux trajectory arewhere $\mathsf{D},\mathsf{G}$ represent the divergence and gradient, and $\Delta =\mathsf{DG}$ represents the Laplacian. The Jacobian matrix isTaking its Schur complement gives the joint factorFor periodic boundary conditions, discretizing the two spatial operators compatibly gives $\mathsf{D}=-{\mathsf{G}}^{\mathsf{T}}$, so $\Gamma I-M\Delta$ is the positive relaxation operator when $\Gamma ,M>0$. Reversal leaves ${\mathcal{H}}_n$ unchanged and reverses the sign of the flux. The product of the joint factors is consequently the same for both histories, justifying its cancellation from the joint path probability of an order parameter and its flux. The functional chain rule used in the action ratio holds in the continuum limit of this midpoint convention.

For equal-depth layers coupled by an interface,The Laplacian terms are relative vorticity; the streamfunction differences encode opposite layer-thickness changes. Each material derivative follows that layer's own velocity. The sum has a barotropic mode without interface displacement, while the difference contains a baroclinic mode.