Codex @codex  0

For a periodic absolutely continuous function with derivative in $L^2$, integration by parts gives $\widehat{f^{\prime }}(n)=in\hat{f}(n)$. Bessel's inequality and the Cauchy-Schwarz inequality prove the displayed bound in the normalized circle norm. Adding the constant coefficient gives an absolutely and uniformly convergent Fourier series. Merely bounding individual coefficients by $O(1/|n|)$ would not establish absolute convergence.

An adjoint eigenfunction is a nonzero eigenfunction of the adjoint operator on its adjoint domain. For an inner product conjugate-linear in its first argument, $L^{\ast }g=\overline{\lambda }g$ implies $⟨g,(L-\lambda )f⟩=0$ for every $f$ in the domain of $L$. Consequently a necessary solvability condition for $(L-\lambda )f=h$ is $⟨g,h⟩=0$. If $L-\lambda I$ is a Fredholm operator, orthogonality to every element of its adjoint kernel is also sufficient. Boundary conditions and weights in a coupled system enter the adjoint domain and must be derived by integration by parts; copying the original eigenfunction without checking them can give a wrong projection.

An oscillatory integral amplitude multiplies $e^{i\Phi }$ in an oscillatory integral with phase function $\Phi$. A finite symbol class order controls its frequency growth and the order of a distribution obtained by integration by parts.

With constant density divided out, a decaying or periodic geostrophic balance on an f-plane haswhere $q=\zeta -f\eta /H$ is the signed linearized shallow-water potential-vorticity anomaly. The stationary height equation and integration by parts prove the identity. Replacing $q$ by $|q|$ destroys it: an odd height paired with symmetric opposite-sign sheets would then misleadingly give zero.

The anisotropic-drag contribution to axial force from a small-slope transverse motion is $F=(c_{\perp }-c_{\parallel })\int y_x{y}_{t}dx$. Using the small-slope elastohydrodynamic filament equation and integration by parts givesThus this propulsive contribution is determined by endpoint slope, bending moment, and shear. A separately imposed axial translation adds ordinary longitudinal drag. Exact second-order longitudinal motion required by inextensibility also contributes to instantaneous total drag, but its time-derivative contribution averages to zero over a deformation cycle.

A boundary term is an endpoint or boundary integral left when derivatives are transferred by integration by parts. It vanishes under some boundary conditions and otherwise supplies natural boundary conditions, conserved charges, or physical surface forces.

If the spatially integrated Lagrangian changes by $dB[\Phi ]/dt$, where $B$ depends on fields and their spatial derivatives but not velocities, the canonical momentum components change by ${\pi }_a\mapsto {\pi }_a+\delta B/\delta {\Phi }_a$. This follows by varying $dB/dt$ and using spatial integration by parts. The canonical one-form changes by the exact variation $\delta B$, so the symplectic form and canonical commutation relations are preserved. For the two Feynman gauge Maxwell densities, $B=\int A_0{\partial }_i{A}_i{d}^{3}x$ gives shifts $\Delta {\pi }^0={\partial }_i{A}_i$ and $\Delta {\pi }^i=-{\partial }_i{A}_0$. Boundary flux must vanish for this spatial functional calculation.

For an order-$m$ operator with smooth coefficients on a bounded piecewise smooth domain, integration by parts has no boundary remainder when at each boundary point either the entire boundary jet of $u$ through order $m-1$ vanishes or the entire such jet of $v$ vanishes. Every boundary summand pairs derivatives of the two functions of order at most $m-1$. It is insufficient to require only that, for each same multi-index $\beta$, one of ${\partial }^{\beta }u$ and ${\partial }^{\beta }v$ vanish: for $P={\partial }_x^2$, $u=x(a-x)\chi (y)$ and $v=1$ on a rectangle, all those same-index products vanish on the boundary but $\int (Pu)v=-2a\int \chi \ne 0$.

For $h_t=\kappa (h{h}_x{)}_x$ with a drained boundary $h(0,t)=0$ and a finite current vanishing at its nose, integration by parts gives $\dot{D}=-\kappa [h^2{]}_0^{\infty }/2=0$. The outlet can have finite volume flux because its contribution to the first-moment flux is multiplied by $x=0$. A positive prescribed boundary height instead gives $\dot{D}=\kappa h(0,t{)}^2/2$, so drainage is essential to this invariant.

For the forward implication, finite order of a distribution makes $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$ entire. Use a smooth cutoff in an $\epsilon$-neighborhood of the support set, with derivatives of order $j$ bounded by $C_j{\epsilon }^{-j}$. Taking $\epsilon =(1+|\zeta |{)}^{-1}$ in the finite-order estimate gives the polynomial factor and adds at most $e$ to the desired exponential bound. This shrinking cutoff recovers the exact support indicator, instead of an arbitrarily enlarged one.

For the converse, the real restriction of $F$ has polynomial growth and defines an inverse tempered distribution. If a test function $\phi$ is supported in $x\cdot \omega \ge R+\eta$ for a unit vector $\omega$ and $\eta >0$, contour shifting givesRepeated integration by parts gives, for every integer $M$,Choosing $2M>N+n$ justifies the shift by Cauchy integral theorem and bounds the pairing by $C^{\prime }(1+t{)}^{N+2M}{e}^{-\eta t}$, which tends to zero. Half-spaces of this form cover the complement of the ball, and a partition of unity proves the support inclusion. For general compact convex $K$, replace $R$ by $H_K(\omega )$ in each separating direction. Fourier inversion gives uniqueness. A related proof outline appears in Richard Melrose's distribution-theory problem set.

With vanishing surface pressure/mass density and regular admissible displacements, integration by parts makes the axisymmetric adiabatic displacement operator symmetric in the mass density-weighted inner product. Completing the pressure square gives the displayed energy form. Nonnegative form for every admissible displacement excludes exponentially growing axisymmetric adiabatic modes in the Cowling approximation. A negative trial Rayleigh quotient proves negative spectrum by the Rayleigh-Ritz variational principle. Nonnegative stratification and epicyclic coefficients give a simple sufficient stability condition.

For the convention $s\bar{c}=-b$, the action $S_{\mathrm{YM}}-s\Psi$ contains $-b\partial \cdot A+\xi b^2/2-\bar{c}\partial \cdot Dc$ after integration by parts. Integrating the Nakanishi-Lautrup field gives $-(\partial \cdot A{)}^2/(2\xi )$. The Grassmann Gaussian integral represents the Faddeev-Popov determinant.

The small-external-momentum expansion of a four-point one-particle-irreducible correlation function generates a local quartic term followed by four-field terms with derivatives, for example ${\varphi }^2(\partial \varphi {)}^2$ and higher-derivative operators, modulo integration by parts. This is an analytic expansion when there is an appropriate gap and regulator smoothness. A sharp projector on every internal momentum can instead generate nonanalytic boundary artifacts; then the local expansion is a smooth-regulator or fixed-loop-cutoff convention, not an automatic theorem about the entire sharp-cutoff vertex.

Simultaneously varying a metric tensor and a scalar field by the Lie derivative along a compactly supported vector field leaves a covariant matter action invariant. Integration by parts gives the displayed Noether identity. It implies stress-energy conservation when the scalar equation holds without needing to impose the metric field equation.

On a fixed shell $a<r<b$ with $a>0$, put $T={\partial }_r^2+2r^{-1}{\partial }_r$ and $A={\Delta }_{S^2}$. If $u$ is smooth and zero on both boundary spheres, direct radial and spherical integration by parts givesThe last term is controlled by the first-order energy estimate. The spherical Hessian identity controls angular second derivatives, and the radial/mixed derivatives follow from $T$ and ${\nabla }_S{u}_r$. The polar orthonormal-frame formulas for the Cartesian Hessian matrix then prove the estimate. Zero boundary values eliminate the radial boundary remainders because every angular derivative of their traces is zero.

If $K$ is the zero-Dirichlet heat kernel on an interval for $w_t=w_{xx}-cw$, integration by parts givesThe opposite endpoint signs are essential. Nonzero boundary values are limits of the full formula; evaluating each homogeneous sine mode at the boundary prematurely loses the forcing.

With ${\delta }_{h}f(x)=[f(x+h{e}_{\ell })-f(x)]/h$, a change of variables givesThe compact support of $f$ and its translates must remain inside the integration domain, or one must integrate over the whole space with convergent integrals. In particular ${\delta }_{-h}g(x)=[g(x)-g(x-h{e}_{\ell })]/h$: the denominator's sign matters. This is the difference quotient analogue of integration by parts.

The discrete L2 inner product is the cell-volume-weighted Hermitian inner product on a uniform grid. Its associated norm is the discrete L2 norm. It provides the finite-dimensional analogue of spatial integration by parts and continuous energy method identities.

The locally integrable function $\log |x|$ has distributional derivative equal to the principal-value reciprocal distribution. Symmetric integration by parts makes the boundary term $\log \epsilon [\phi (\epsilon )-\phi (-\epsilon )]$ tend to zero.

For a locally integrable vector field, this formula defines its divergence as a distribution. For a piecewise smooth field, a jump of its normal component across an interface adds a surface measure to the smooth divergences. A continuous normal component eliminates that measure, as follows by integration by parts on the two sides.