Quadratic density derivative functional 2026-10-07
The squared L2 norm of a probability density function derivative measures roughness and appears in optimal smoothing constants. For , its directional derivative along a smooth compactly supported perturbation is . When integration by parts is valid twice, this equals . Thus regular root- estimation requires substantially more regularity than merely estimating a smooth probability density function.
For , polar-coordinate reduction and integration by parts give in two dimensions. The circle term comes from the cusp in the folded phase, while the origin term is a radial endpoint contribution. A punctured-domain limit therefore need not extend across the quadratic critical point.
Reversible stress of a polar liquid crystal 2026-10-05
Using the positive polar molecular field and velocity gradient , the reversible order-parameter stress consists of a distortion contribution and rotational and alignment contributions:For a local free-energy density, a representative is . The Euler-Lagrange equation verifies its divergence. Integration by parts gives for an incompressible displacement without surface work; the corresponding mechanical power has the opposite sign. Pressure contributions may be reassigned in an incompressible flow.
Scalar variance 2026-10-06
Scalar variance measures spatial departure from the conserved mean. For zero mean, incompressible flow bounded by impermeable walls and homogeneous scalar Neumann boundary conditions, integration by parts gives . Advection preserves the instantaneous quadratic integral but can sharpen gradients, allowing the diffusion equation to remove scalar variance faster.
Schwartz seminorm 2026-10-07
These seminorms measure all polynomially weighted derivatives and generate the Fréchet topology of the Schwartz space. Finitely many such bounds control each weighted derivative's integrable norm by adding a spatial decay factor stronger than . Continuity of the Fourier transform follows by applying those bounds after differentiation and integration by parts. Equivalent families use powers of instead of individual monomials.
Schwarz integral formula Created 2026-10-05 Updated 2026-10-06
The Schwarz integral formula reconstructs a holomorphic function from boundary values of its real part. For a real boundary function on the complex upper half-plane satisfying , the regularized form isIts real part is the Poisson integral of . The subtraction makes the integral converge and changes only the imaginary normalization. Integration by parts, when the boundary terms vanish, gives ; jumps of are included as Dirac delta function terms in its distributional derivative.
Scorer Hi function 2026-10-05
For real , the integral representation isUsing differentiation under the integral sign twice and then integration by parts shows . The cubic decay makes the integral converge for every real .
For the elastic filament operator , two integration by parts operations give boundary form . Four elementary homogeneous choices at each endpoint are (clamped), (hinged), (free), and (slope-constrained and transverse-force-free). Each defines a self-adjoint operator on a finite interval when imposed at both ends. More general real Robin boundary conditions also give self-adjointness; the four choices are not an exhaustive classification of all boundary subspaces.
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 givesConsequently , the cancellation underlying many fluid energy estimates.
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 .
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.
For density of states proportional to , , and positive temperature, set , , and . Differentiation and integration by parts giveThe 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.
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.
Uniqueness of Sobolev weak solutions of a wave equation Created 2026-10-05 Updated 2026-10-06
For the weak energy solution of a variable-coefficient wave equation, uniqueness can be proved without using as a spatial test function. For a difference with zero data, fix and test by for , extended by zero afterwards. Put , so . Integration by parts in time for the symmetric principal form, and in space for the first-order terms, giveFor short enough intervals the last term is absorbed. The Gronwall inequality forces , and repetition proves uniqueness on the full interval. This antiderivative test is valid at the stated space-time regularity, unlike an unqualified direct energy test by .
Van der Corput sum-integral lemma 2026-10-06
For a real phase with continuous monotone derivative and , the sum-integral discrepancy has the displayed uniform bound. Periodization and the Dirichlet-Jordan convergence theorem express it as symmetric nonzero Fourier modes. Integration by parts gives endpoint terms and reciprocal-derivative variations. Monotonicity bounds their total variation by . Pairing the leading endpoint terms reduces them to the uniformly bounded sine series. The exclusion of integer nonzero frequencies is essential.
Vanishing boundary condition 2026-09-28
A vanishing boundary condition requires the relevant field, variation, or flux to tend to zero on the boundary. It removes boundary terms produced by integration by parts.
For a smooth harmonic function on a manifold without boundary, assume its nonzero superlevel sets are compact. On a regular positive superlevel set , integration by parts gives . Applying the same argument to proves . This avoids assuming an unstated decay rate for the boundary flux at infinity.
Wave energy estimate 2026-10-06
If with d'Alembert operator , then , where . Test the wave equation against , use integration by parts, and apply the Cauchy-Schwarz inequality. The same energy estimate applies to a finite system of wave equations.
Wave map energy 2026-10-06