Factorial moment Created 2026-09-24 Updated 2026-10-14
First-moment equation of a birth-death process Created 2026-09-24 Updated 2026-09-24
Weak continuity from evolution-space bounds Created 2026-09-24 Updated 2026-09-24
If and for a dense continuous embedding and some , then has a representative in . Indeed, its pairing with each element of a dense subset of is absolutely continuous, and the uniform bound extends continuity to every element of .
Algebraic concordance group over a field Created 2026-09-24 Updated 2026-09-24
Metabolic Seifert form Created 2026-09-24 Updated 2026-10-14
A nonsingular Seifert form on a -dimensional space is metabolic when it vanishes on a -dimensional subspace called a metabolizer.
The metabolizer is a half-dimensional subspace on which the Seifert form restricts to zero.
Adiabatic parameter scaling from an action Created 2026-09-24 Updated 2026-09-24
Adiabatic particle between moving parallel walls Created 2026-09-24 Updated 2026-09-24
Chern-Simons current Created 2026-09-24 Updated 2026-10-14
In four dimensions this current is dual to the degree-three Chern-Simons form.
Component-number zero-one law for the wired uniform spanning forest Created 2026-09-24 Updated 2026-09-24
Wilson algorithm rooted at infinity Created 2026-09-24 Updated 2026-09-24
Wilson's algorithm rooted at infinity builds the wired uniform spanning forest on a transient graph by successively adding loop-erased random walks, run forever when they never hit the forest already constructed.
Projective unitary representation Created 2026-09-24 Updated 2026-10-14
Because state vectors differing by a quantum phase represent the same ray, a unitary realization of a group action need only satisfy
A projective unitary representation is a projective representation whose chosen representatives are unitary operators. The phase factors disappear on rays.
Killing measure of a weighted graph Created 2026-09-24 Updated 2026-09-24
Eberlein-Šmulian theorem Created 2026-09-24 Updated 2026-10-14
For a subset of a Banach space, relative weak compactness is equivalent to every sequence having a weakly convergent subsequence. In particular, weak compactness and weak sequential compactness coincide.
High-degree divisor is very ample on a smooth projective curve Created 2026-09-24 Updated 2026-09-24
On a smooth projective curve of genus , every divisor of degree at least is very ample. Riemann--Roch shows that its sections separate distinct points and tangent directions by comparing with and .
Tensor divergence theorem Created 2026-09-24 Updated 2026-09-24
Applying the divergence theorem componentwise to yields a boundary traction term and a volume contraction.
Line integral Created 2026-09-24 Updated 2026-09-24
Green theorem Created 2026-09-24 Updated 2026-10-18
Green’s theorem converts circulation around a positively oriented planar boundary into the area integral of scalar curl.
Let be a bounded region in the Euclidean plane whose boundary is a finite union of disjoint, piecewise smooth simple closed curves. Suppose the vector field is continuously differentiable on an open set containing the whole closed region. With positive boundary orientation,The partial derivatives give the scalar curl: the third component of the curl of . For a parametric curve , the boundary line integral has integrand .[ref]
6.4 Green's Theorem. Calculus Volume 3 by Gilbert Strang and others; §6.4, Theorem 6.12, equation (6.13); circulation form and its hypotheses
Positive boundary orientation keeps on the left as one walks along each boundary component: the outer curve is counterclockwise, and curves around holes are clockwise. Every component belongs in the line integral. The vector field must be regular throughout , but need not extend into a hole.[ref]
V5. Simply-Connected Regions. 18.02SC Multivariable Calculus, Fall 2010; V5. Simply-Connected Regions, p. 1, §1, Extended Green's Theorem, equation (1) and subdivision proof
The useful tradeoff is between boundary and interior: integrate tangential components along a curve, or integrate a partial derivative over a region, whichever is simpler. The boundary formula for planar area uses this freedom in the opposite direction, recovering area from a line integral. As a planar case of Stokes theorem, Green theorem also explains why a local curl can determine a complete boundary measurement while leaving room for the global obstruction in Green theorem with holes.
A short proof starts with a rectangle . Add its four positively oriented edge line integrals:The fundamental theorem of calculus turns the differences into integrals of and ; Fubini's theorem then gives the required double integral. On subdividing a region, adjacent edge line integrals cancel because their directions oppose. For curved boundaries, the proof uses pieces bounded by graphs and double integrals; cancellation works the same way. This is the geometric reason only the region's complete boundary survives.[ref]
Surface integral Created 2026-09-24 Updated 2026-09-24
Stokes theorem Created 2026-09-24 Updated 2026-10-14
Let be an oriented smooth surface with piecewise smooth boundary, and let be a continuously differentiable vector field on a neighborhood of . With the compatible boundary direction determined by the right-hand rule,For on the horizontal unit disc with upward normal, the left side is times its area, giving . The counterclockwise boundary has tangential field of magnitude one and circumference , giving the same line integral. Reversing the surface normal reverses the boundary direction and both signs. The theorem replaces a circulation calculation with a surface integral of the curl, whichever is easier.
Fundamental theorem for line integrals Created 2026-09-24 Updated 2026-10-14
For a continuously differentiable function and a piecewise smooth parametric curve from to ,The chain rule converts the integrand into , then the fundamental theorem of calculus supplies the endpoint difference. This is why a conservative vector field has a path independent line integral. For , every path from to gives , provided it lies in the domain where the potential is defined.
There are unlisted articles, also show them or only show them.