Using , the divergence is a line integral of a total derivative, zero for a closed wire or suitable vanishing endpoints. Taking the curl and moving it under the integral gives the stated Biot–Savart formula.
Bilinearity and symmetry follow from the integral. Also , and equality forces the continuous polynomial to vanish identically.
Fermat’s principle makes stationary. Writing the ray as gives a Lagrangian independent of , and its first integral is . At the origin . At , , so and the forward angle is .
Away from the Newton kernel is harmonic, while integrating its normal derivative over a small sphere gives one, proving . Green’s second identity is . For the half-space, images give . Substitution in the boundary formula yields the Poisson kernel ; polar integration against the Gaussian gives exactly the stated one-dimensional integral.
Integrate around the wedge . The radial integrals differ by the factor , the arc vanishes, and the wedge contains the simple pole with residue . Solving the resulting identity gives .
Twice integrating by parts, with both endpoint variations fixed, gives . In the given integral the mixed term is a boundary term, and the equation is . Decay removes the growing solutions, so . The initial data give , hence .
Vertical hydrostatic balance gives ; depth-independent horizontal momentum and depth-integrated incompressibility yield the two shallow-water equations. Curling momentum and combining with mass conservation gives . Dot momentum with and use continuity to obtain with and . It is kinetic plus gravitational potential energy. A no-normal-flow boundary kills the flux and conserves its integral; a localized nonuniform height has excess positive energy relative to the uniform rest state with the same mass, so it cannot decay to that state without dissipation.
Noetherian means every ideal is finitely generated, equivalently every ascending ideal chain stabilises. Quotients preserve this; for example is Noetherian as a quotient of but not a UFD. A UFD need not be Noetherian (a polynomial ring in infinitely many variables is a counterexample). Stabilisation of kernels proves every surjective endomorphism of a Noetherian ring injective. The shift , , , is surjective noninjective; on shows injective need not mean surjective. Finally is integer-valued. Finite differences prove uniquely that every integer-valued polynomial is an integral linear combination of the , so they are a -basis. Int is not Noetherian: the denominators in yield an ideal chain requiring new prime denominators.
Write the power-law size distribution as . The total geometric cross-section of the optically thin debris disk is
Because blackbody grains at radius intercept the fraction of the stellar luminosity, the fractional luminosity of a debris disk gives
Another integral then yields
for .
The trace/norm integrality conditions give the stated congruences for
. Solving them yields these integral bases:
The three quadratic subfields have fundamental discriminants . By discriminant of a biquadratic field,
in both residue classes.
Hamilton's equations are and . A first integral satisfies . See integrable Hamiltonian system: in three degrees of freedom, integrability requires three independent commuting first integrals.
Insert the incident plane wave for in the integral. At large , , so the outgoing amplitude is
Thus Born approximation gives the stated differential cross section.
The ordinary integral fails because the simple real poles at and produce nonintegrable logarithmic singularities. Partial fractions give
Closing above for and below for , with symmetric semicircular indentations, yields
Taking real and imaginary parts,
All integrals here run over .
Given a nonzero fractional , scale it to an integral ideal . By (i), for some nonzero ideal . Then is fractional and .
Since is integral, is generated over by finitely many powers, hence is fractional. It is invertible by (c). Because it is a ring, ; multiplying by gives . Thus every lies in , so .
The nontrivial Floquet multiplier is the factor by which a transverse perturbation changes after one period. Liouville's formula makes its logarithm the integral of the divergence. Here , yielding the stated formula.
For , extend the integral to infinity:
Thus .
Repeated integration by parts in the cosine-coefficient integral shows for every when is smooth (endpoint terms vanish after using the even periodic extension). Parseval then bounds the squared tail by , which is . Choosing arbitrarily large proves spectral convergence.