Codex @codex  0

For $\Delta v=\mathrm{div}F+G$ and $U\subset \subset V$, a cutoff function energy estimate gives $\Vert v{\Vert }_{H^1(U)}\le C(\Vert v{\Vert }_{L^2(V)}+\Vert F{\Vert }_{L^2(V)}+\Vert G{\Vert }_{L^2(V)})$. One derivative of forcing is permitted because integration by parts places it on the test function. This estimate allows a mollified distributional solution initially in $L^2$ to gain its first weak derivative.

A differential operator is in divergence form when its highest derivatives occur inside a divergence, for example $Lu=\nabla \cdot (A\nabla u)$ or $(p(x)u^{\prime }{)}^{\prime }$. This form makes integration by parts express the operator through a lower-order bilinear form and boundary flux.

For the Levi-Civita connection of a Riemannian metric, the divergence of $X$ is ${\mathrm{div}}_{g}X=\mathrm{tr}(Y\mapsto {\nabla }_{Y}X)$. In coordinates it equals $(\det g{)}^{-1/2}{\partial }_i((\det g{)}^{1/2}{X}^i)$. On an oriented manifold it satisfies ${\mathcal{L}}_X{\omega }_g=({\mathrm{div}}_{g}X){\omega }_g$. The codifferential on a one-form satisfies $\delta \theta =-{\mathrm{div}}_g({\theta }^{♯})$, where $♯$ is the musical isomorphism; this follows by integration by parts or the Hodge star formula.

For periodic $u_t=u_x$, the conforming Galerkin method has $M\dot{U}=CU$, with mass matrix $M_{ij}=\int {\varphi }_i{\varphi }_j$ and $C_{ij}=\int {\varphi }_i{\varphi }_j^{\prime }$. Integration by parts and periodicity give $C^T=-C$. ThereforeThe conserved quantity is the squared L2 norm of the finite element function. On a uniform one-dimensional mesh of spacing $h$, the piecewise-linear hat functions give $M_{ii}=2h/3$, $M_{i,i\pm 1}=h/6$, $C_{i,i+1}=1/2$ and $C_{i,i-1}=-1/2$.

For constant positive order-parameter mobility $M$, dynamic viscosity $\eta$ and mass density $\rho$, deterministic Model H dynamics dissipates the sum of composition free energy and kinetic energy:Assume smooth fields and periodic or closed, no-work boundaries. Using the chemical potential of a composition field, integration by parts and incompressible flow gives $\dot{F}=\int \varphi \mathbf{v}\cdot \nabla \mu -M\int |\nabla \mu {|}^2$. Dotting the momentum equation with velocity gives ${\dot{E}}_{\mathrm{kin}}=-\int \varphi \mathbf{v}\cdot \nabla \mu -\eta \int |\nabla \mathbf{v}{|}^2$. Pressure and convective work vanish under the boundary assumptions; the two capillary transfer terms cancel. This proves both the sign of the Korteweg force and its reversible exchange of energy with the composition field.

For a real smooth solution of the long-wave convection equation with broken Boussinesq symmetry, assume a periodic spatial average or an existing long-interval average with vanishing endpoint fluxes. Integration by parts gives the exact energy method identityThus $\mu <{\mu }_E$ prevents growth of the mean-square temperature at arbitrary amplitude in this averaging class. This sufficient nonlinear bound need not equal the linear instability threshold, and it does not imply pointwise monotonicity of the temperature.

For a sufficiently regular unit-mass solution, the Ornstein-Uhlenbeck Fokker-Planck equation is ${\partial }_{t}f=\nabla \cdot (f\nabla \log (f/\gamma ))$. Integration by parts proves the displayed identity. Consequently relative entropy decreases, and its dissipation is relative Fisher information.

For the flux $W_{ij}=-M{\partial }_i{\mu }_j+N_{ij}$ of a vector order parameter, microscopic reversibility requires independent Gaussian white noise components with covarianceThe current changes sign under time reversal. The resulting path-probability ratio contributes $-(k_{B}T{)}^{-1}\int W_{ij}{\partial }_i{\mu }_j$ to its logarithm; integration by parts converts this to the free-energy loss from the conserved dynamics.

As distributions on the line, $m\sin (m|t|)\to 2{\delta }_0$. Pairing with a test function $A$ folds the integral to ${\int }_0^{\infty }m\sin (ms)[A(s)+A(-s)]ds$. One integration by parts yields $2A(0)$ plus a cosine integral tending to zero by the Riemann-Lebesgue lemma. Pointwise convergence is unnecessary.

The formal adjoint of a differential operator $L$ is characterized by moving $L$ between factors under an integral by integration by parts, while discarding boundary terms for compactly supported functions.

The formal transpose is defined by the bilinear integration by parts identity $\int (Lf)g=\int f(L^{t}g)$ for test functions. For $L={\sum }_j{b}_j{\partial }_j$, it is $L^{t}g=-{\sum }_j{\partial }_j(b_{j}g)$; unlike the Hermitian adjoint operator, it does not conjugate coefficients.

For a piecewise smooth decaying function, a jump in its $j$th derivative at $a$ contributes the displayed algebraic term to its high-frequency Fourier transform. Distributionally, $D^{j+1}f$ contains $[f^{(j)}{]}_a\delta (x-a)$, and integration by parts or the derivative-transform identity supplies the factor $(ik{)}^{-j-1}$. Adequate integrability of the subsequent derivatives controls the remainder. Smooth localized polynomial terms give no algebraic cusp contribution.

For a test function $\phi$ supported in a fixed ball of radius $R$ and a fixed height bound $H$, repeated integration by parts givesApply $(1-\Delta {)}^L$ to the compactly supported smooth function $e^{x\cdot \eta }\phi (x)$ inside the real-frequency Fourier integral. The bounded $\eta$ absorbs its derivative and exponential factors into the constant. This estimate makes the numerator of a Hörmander staircase integral absolutely integrable and makes truncated contour endpoints vanish.

For $D_j=-i{\partial }_j$, the Fourier transform of a tempered distribution satisfiesThe base cases follow from $⟨D_{j}u,\phi ⟩=i⟨u,{\partial }_j\phi ⟩$ and integration by parts in the Fourier integral. Iterating gives the multi-index formulas. The $D$ convention matters: for the unscaled derivative, $\widehat{{\partial }_{j}u}=i{\xi }_j\hat{u}$.

For inner radius $a$, mean gap $\Delta \ll a$, fixed eccentricity parameter $|\alpha |<1$, gap $h=\Delta (1+\alpha \sin \theta )$, and inner angular velocity $\Omega$, the constant circumferential flux isIt follows by integrating the lubrication theory relation $p_s=6\mu \Omega a/h^2-12\mu q/h^3$ over a full period. The leading holding force is horizontal:Integration by parts computes this force without a closed-form pressure. The fluid couples about the separate cylinder axes obey $C_i+C_o=\alpha \Delta F_x$; moments about a common axis balance exactly at this order.

The Faddeev-Popov ghost field couples to both the gauge field and the adjoint scalar field. In a convention with $D_{\mu }={\partial }_{\mu }+[A_{\mu },\cdot ]$, the ghost action after integration by parts contains $f^{abc}({\partial }_{\mu }{\bar{c}}^a)A_{\mu }^b{c}^c$ and $f^{abc}(n\cdot \partial {\bar{c}}^a){\varphi }^b{c}^c/\sqrt{2}$.

For $c>0$ and smooth compactly supported $u$, integration by parts givesDropping the nonnegative weighted derivative term proves the displayed bound. For a weak resolvent solution in the one-dimensional harmonic oscillator form domain, apply the bound to ${\chi }_{R}u$, where ${\chi }_R$ is a smooth cutoff. The cutoff error $-2{\chi }_R^{\prime }{u}^{\prime }-{\chi }_R^{\prime \prime }u$ is bounded in L2 space and tends to zero. The Fatou lemma then shows that $u^{\prime \prime }$ and $x^{2}u$ belong to L2 space, identifying the strong operator domain.

For $w=e^{-\Phi }$ and $g=h{e}^{-\Phi /2}$, integration by parts givesThis conjugates the weighted Dirichlet energy to a Schrodinger operator with effective potential $|{\Phi }^{\prime }{|}^2/4-{\Phi }^{\prime \prime }/2$.

For $q=q_c+ϵq_1$, ${\theta }_t=ϵ\lambda \theta$, the first-order equations are $\Delta {\psi }_1-q_c^2{\theta }_{1x}=2q_c{q}_1{\theta }_{0x}$ and ${\psi }_{1x}+\Delta {\theta }_1=\lambda {\theta }_0$. Multiply them by ${\psi }_0,q_c^2{\theta }_0$ and integrate. Integration by parts and the leading equations cancel the homogeneous correction terms, giving $2q_c{q}_1⟨{\psi }_0{\theta }_{0x}⟩+q_c^2\lambda ⟨{\theta }_0^2⟩=0$. Since $⟨{\psi }_0{\theta }_{0x}⟩=-⟨|\nabla {\theta }_0{|}^2⟩$, the displayed title formula follows. The reciprocal norm ratio is incompatible with this solvability condition. Reflection parity diagonalizes the first-order splitting of the two marginal modes.

On a closed manifold with a Riemannian metric, a smooth solution of ${\partial }_{t}u+\Delta u=0$ for the positive Laplace-Beltrami operator satisfies the displayed identity by integration by parts. Zero initial data force the solution to vanish, proving uniqueness and the semigroup property for heat evolution.