A vortex line cannot end because of an identity, not a law – Helmholtz’s three theorems do not cost the same.
One phrase, Helmholtz’s vortex theorems, points at three statements that do not cost the same. This paper calls the roll and writes what each one demands. NO NEW MATHEMATICAL THEOREM AND NO NEW PHYSICAL LAW IS CLAIMED. Helmholtz (1858), Kelvin (1869), the Biot-Savart formula, the baroclinic torque and the Lamb-Oseen vortex are all standard.
First, the first theorem is an identity, not a law. That a vortex line cannot end in the fluid follows from the vanishing of the divergence of the vorticity; and since vorticity is by definition the curl of the velocity field, this is an identity holding for any smooth vector field. This paper confirms symbolically, with the components left as arbitrary unknown functions, that the divergence of a curl is zero. No Euler equation, no incompressibility, no barotropy, no inviscidity is used. It holds for viscous fluids, for compressible fluids and in turbulence. It is kinematics, not dynamics. It costs nothing. And costing nothing means saying correspondingly little.
Second, one of the two cores. The vanishing of the divergence of vorticity and the vanishing of the divergence of magnetic flux density have distinct roots. The equations look alike, both readable as an absence of sources, and neither magnetic field lines nor vortex lines can stop midway. But the roots differ. In Maxwell, the magnetic flux density is the primitive field and the vanishing of its divergence is a law: it is what permits writing that field as the curl of a vector potential. Admit magnetic charge and the right side is no longer zero, and the field is no longer globally a curl (Dirac 1931). Vorticity has no such option, because it is not a field one may posit but the definition, the curl of the velocity field, itself. What separates them is whether the field can fail to be a curl, that is, which field is primitive. This is close in shape to what Paper 107 said of the second theorem: a local symmetry forces identities, and an identity is of a different standing from a conservation law. And an identity is not a claim to be tested.
Third, Kelvin’s circulation theorem carries three hypotheses – inviscid flow, barotropy and conservative body forces – and each has a counterexample. Drop barotropy and the baroclinic term of the vorticity equation takes effect. Taking the density to be one plus x and the pressure to be one plus y, this paper shows that the cross product of the two gradients equals the unit vector along z, so the baroclinic term does not vanish. Vorticity is created where surfaces of constant density cross surfaces of constant pressure, and this term is how a sea breeze starts. If instead the density is a function of the pressure alone, the same cross product vanishes identically (confirmed here). Drop inviscidity and the circulation of a Lamb-Oseen vortex decays: this paper shows that the time derivative of the circulation through a circle of fixed radius is negative whenever the viscosity is positive, and that only in the limit of vanishing viscosity does the circulation return to its initial value. So three statements bearing one man’s name fall into two categories: the first demands nothing and the second and third demand three hypotheses each. In the idiom of Paper 129, the first theorem is the mathematics and the other two are the physics.
Fourth, the other core. The four pi is not on the side of the theorems. It appears nowhere in the statements of Helmholtz’s three theorems: the first is an identity and the other two are statements of conservation, and neither kind carries a number. Where four pi appears is the Biot-Savart formula, the formula recovering the velocity from the vorticity (the same shape as the magnetostatic formula, where the vacuum permeability divided by four pi appears). And that four pi is the constant of the Laplacian’s Green function. This paper confirms that the three-dimensional Green function is harmonic away from the origin and that the flux of its gradient through a sphere does not depend on the radius. In d dimensions the constant becomes d minus two times the volume of the sphere of dimension d minus one, and moving d from three to eight this paper tabulates the values four pi, four pi squared, eight pi squared, four pi cubed and so on. Since the constant moves with the dimension it is the volume of a sphere, that is, a solid angle – the address Paper 128 assigned, and the same four pi that Paper 35 placed on the side of fact in Poisson’s equation. And getting the velocity from the vorticity is an inverse problem. The corpus holds that family: scattering (Paper 89), boundary (Paper 99), statistical (Paper 106). Biot-Savart is its plainest member, and the four pi lives there. So the phrase ‘the four pi of the vortex theorems’ has the address wrong. The four pi is not in the theorem but in the instrument that recovers a field from it.
Fifth, one and the same vorticity carries a dimension-selective fact and a dimension-blind one. The stretching term of the vorticity equation vanishes identically for a two-dimensional flow (confirmed here symbolically, and not in three dimensions). As Paper 03 recorded, that is the selective side. But the vanishing of the divergence of the vorticity holds in every dimension: all it uses is the commuting of partial derivatives, and it consults no information about the dimension. Paper 114 separated what selects a dimension from what does not, and for the single field of vorticity a selective fact and a blind one live together. And the open problem in three dimensions – whether vorticity can blow up in finite time – is a question about the stretching term, not about the first theorem. An identity leaves nothing open.
IMPORTANT (scope): a census of established standard material (Layer 2). Every theorem cited is standard. What is not claimed: any new mathematical theorem (there is none) / any new physical law (there is none) / that Helmholtz’s or Kelvin’s theorems are in error (they are not) / that the vanishing divergence of magnetic flux density is wrong (it is not; what is separated is whether it is an identity or a law). What is added: sorting the three theorems into an identity and conditional laws, judging the two vanishing divergences to have distinct roots and writing the separator, placing the address of the four pi on the inverse-problem side, and showing that one field carries facts of two standings. What remains: theorems must not be listed without their prices. Nothing is where the finger points when the finger points the wrong way.
On the making of this work: The ideas and content of this work stem from the author’s own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author’s. Feedback and corrections are sincerely appreciated.
Reference
Yamagishi, Y. (2026). A Vortex Line Cannot End Because of an Identity, Not a Law [Paper 130]. Zenodo.
DOI: 10.5281/zenodo.22079996
ORCID: 0009-0006-8587-3450