For , write and . Integration by parts gives , while . The Cauchy-Schwarz inequality therefore gives the displayed sharp bound, with equality exactly when . A prescribed positive budget consequently gives
This proves the unique global optimum, rather than only stationarity from a Lagrange multiplier.
Sine integral 2026-10-14
For real , the sine integral approaches . Exponential damping gives , so the limiting constant follows by letting . Integration by parts of the tail gives .
Define the definite integral . For real , two applications of integration by parts give
The boundary term vanishes at both endpoints. At , direct integration gives , consistent with the displayed relation; is finite because at zero. This recurrence and evaluate every nonnegative integer moment, with separate even and odd chains.
For a divergence-free drift and a function with zero boundary Sobolev trace, integration by parts gives . Consequently the advection matrix in a conforming Galerkin method has zero quadratic form; its symmetric part vanishes. Adding a diffusion stiffness matrix gives a nonpositive spatial generator and a nonincreasing L2 norm in the semidiscrete advection-diffusion equation. The same identity holds with a suitable zero normal-flux boundary term instead of zero trace.
Skew-symmetry of incompressible transport Created 2026-09-24 Updated 2026-09-24
For a periodic or boundary-tangent divergence-free vector field , integration by parts gives
Consequently , the cancellation underlying many fluid energy estimates.
For light along , vorticity along and , spherical coordinates give a first orientation-density correction proportional to . The linearized alignment-diffusion operator preserves azimuthal harmonics and the rotation of the axisymmetric equilibrium forces only this sine harmonic. Angular integration makes the first correction to the mean purely vertical. Uniqueness follows from the weighted identity : integration by parts shows the only homogeneous smooth solution is a multiple of , removed by normalization.
The weak form of includes the same scalar shift as the differential equation. The unshifted identity instead represents and cannot imply the shifted equation for nonzero unless . On a smooth bounded domain choose any nonzero compactly supported smooth and take , for a direct counterexample. For constant drift coefficients, integration by parts reverses the drift sign in without changing this spectral term.
A symmetric stress tensor is in static elastic equilibrium when its divergence balances the prescribed body force. Its boundary traction is . With zero body force, integration by parts gives . This is the weak principle of virtual work for a static elastic body.
For a homogeneous phase function and finite-order symbol class amplitude , the singular support of lies in the spatial projection of the closed conic amplitude support intersected with . Away from that set, the frequency gradient is uniformly nonzero on compact spatial sets and supported directions. Repeated frequency integration by parts lowers the amplitude order until every desired spatial derivative is absolutely integrable. If the ordinary amplitude support is already conic, it gives the same bound.
Stationary phase endpoint cancellation in a half-strip contour Created 2026-10-05 Updated 2026-10-06
For fixed , the vertical sides of the half-strip integral of contribute . Integration by parts on the nonstationary horizontal pieces contributes the opposite endpoint term. After cancellation, the two stationary points give .
Impose zero Dirichlet boundary conditions on an interval. The isoperimetric constraint is regular because . The Lagrange multiplier rule applied to gives the Sturm-Liouville equation
Multiplying by and using integration by parts gives . Thus the multiplier is the stationary value of the original functional, or its Rayleigh quotient. This calculation does not require to have one sign; positive-weight spectral conclusions require additional hypotheses.
If two stationary functions have different multipliers, multiplying their equations crosswise and subtracting gives . The endpoint terms vanish. This proves the weighted orthogonality of Sturm-Liouville eigenfunctions. Higher stationary values need not be local minima of the constrained functional.
Stefan–Boltzmann law Created 2026-09-24 Updated 2026-10-14
The Stefan–Boltzmann law gives the total hemispherical radiant exitance of an ideal blackbody at absolute temperature :
Here is the Stefan-Boltzmann constant. Total means integrated over all wavelengths; hemispherical means integrated over all outward directions with the projected area weighting. Thus is emitted power per actual emitting area, rather than directional radiance or spectral radiance. Absolute temperature must be in kelvin; raising a Celsius reading to the fourth power gives the wrong result. A uniform surface of area emits radiant flux . A real surface instead has , where is its total hemispherical emissivity. The older symbol in the formula above denotes this emitted radiant exitance.[ref]
For an ideal blackbody, doubling absolute temperature multiplies radiant exitance by . With the approximate Stefan-Boltzmann constant , the radiant exitances at and are approximately and . This steep response explains why thermal radiation becomes so consequential at high temperature. It also enables heat transfer through a vacuum, where thermal conduction through a gas and convection are absent.
Figure 1. . Original model curves. The left panel is total hemispherical blackbody radiant exitance. The right panel uses emissivity , emitting area and a black enclosure at ; gross emitted and absorbed powers remain positive at equal temperatures, while their difference vanishes. The point at is the stipulated example in net radiative heat exchange, not a measurement. Details.
A short derivation integrates Planck's law in its frequency form. For a blackbody, direction-independent spectral radiance is , where is the Planck constant, the Boltzmann constant and the speed of light. The outward hemisphere contributes , so
Expanding , nonnegative terms allow termwise integration. Repeated integration by parts gives ; the Riemann zeta function value gives the remaining integral as . Hence with the coefficient in Stefan-Boltzmann constant. The angular integral is essential: omitting it confuses radiance with radiant exitance.
Stieltjes bilinear functional under a variation constraint Created 2026-10-07 Updated 2026-10-14
On bounded continuously differentiable functions with uniformly bounded total variation of a function, the map is Hadamard differentiable in the supremum norm with derivative . Use weak convergence of bounded-variation integrators for the first term and integration by parts for the remaining terms. No derivatives of the limiting continuous directions are required.
The three-dimensional quasi-geostrophic potential vorticity relation defines an anisotropic elliptic boundary value problem. Interior potential vorticity and boundary buoyancy perturbation , together with lateral and global conditions, determine the quasi-geostrophic streamfunction up to its allowed constant. If two solutions have the same data, their difference has zero elliptic source and homogeneous boundary data. Integration by parts gives zero integral of , proving uniqueness modulo a constant in a connected domain when the boundary terms vanish. Eady edge waves show that zero interior source alone is insufficient.
Stress glut tensor 2026-10-20
A stress glut tensor describes a seismic source through an equivalent body-force density . For a symmetric stress glut tensor supported away from the boundary, integration by parts makes its coupling to a normal mode equal to , where is that mode's strain.
For density of states proportional to , , and positive temperature, set , , and . Differentiation and integration by parts give
The inequality is strict Cauchy-Schwarz inequality, since is not constant under this positive weight. Thus fixed entropy per particle forces fixed . This is the injectivity step behind the adiabatic scaling of an ideal Fermi gas.
String with an endpoint mass Created 2026-10-18 Updated 2026-10-20
For a uniform string with tension , linear mass density , left end fixed, and a freely transverse-moving point mass at , the wave equation and endpoint law are
The last equation is Newton's second law: the string pulls the mass back toward the interior, giving the minus sign. With wave speed , a nonzero normal mode has spatial part and satisfies
For , its dimensionless roots occur once in each , , because decreases from infinity to zero while increases. For , : the right end has a homogeneous Neumann boundary condition. There is no nonzero zero-frequency mode, since a linear spatial profile vanishing at the left end and with zero right slope must vanish everywhere.
Multiplying the spatial equation by and using integration by parts gives
For two different modes, the same calculation gives the weighted inner product orthogonality . The endpoint mass therefore contributes to both inertia and mode orthogonality.
For a real scalar height field, integration by parts gives
The bulk expression is even under time reversal. The original density is not pointwise even, but changes by a total divergence; its stationary equation is time-reversal invariant. The first-order diffusion equation selected by zero residual is not invariant under ordinary time reversal at fixed positive . Boundary conditions or the probabilistic interpretation can distinguish the two time directions even when the higher-order stationary equation does not.
A twisted boundary condition identifies the ends of an interval up to a fixed unit-modulus complex number. For the kinetic Hamiltonian operator , one also imposes . In integration by parts, the endpoint terms then cancel, giving the usual self-adjoint ring realization. The allowed plane waves have momenta .
A constant magnetic vector potential can be removed from locally by . If is periodic, has twist . Thus the Aharonov-Bohm effect survives a locally vanishing vector potential as a global condition on the wavefunction.
For the free Schrodinger equation with compatible smooth initial and boundary data, subtract before taking a Fourier sine transform. The lifted initial datum vanishes at the endpoint, making its sine transform if its second derivative is integrable. The transformed forcing is ; time integration followed by integration by parts makes its solution contribution uniformly . An integrable spectral majorant proves uniform convergence even at the compatible initial-boundary corner.