Incompressible Euler evolution and vorticity

For an unforced fluid of constant density, normalized to one, write velocity evolution as u_t plus u dot gradient u plus gradient pressure equals zero, with divergence of u zero. Work on a periodic torus to avoid boundary fluxes, or on whole space with sufficient decay for the integrations used. Taking divergence gives minus the Laplacian of pressure equal to the sum of partial_i u_j times partial_j u_i. Thus pressure is recovered by an elliptic equation, up to its irrelevant spatial constant in the periodic setting.

For divergence-free initial velocity in H to the s with s strictly greater than one plus d over two, the standard classical Sobolev local theory gives existence, uniqueness, and persistence in that regularity, together with appropriate time differentiability in one lower Sobolev order. The strict threshold makes velocity Lipschitz through Sobolev embedding, controlling transport. This statement covers dimensions two and three in the usual periodic or whole-space settings. It does not assert the same conclusion at the borderline exponent, where endpoint phenomena need separate analysis.

In three dimensions define omega as curl u. Taking curl of the smooth Euler equation yields material derivative of omega equal to omega dot gradient u. The right-hand side stretches and tilts vorticity. Its sign is not fixed: a direction aligned with extending strain can grow, while compression in that direction can weaken it. The antisymmetric rotation part of the velocity gradient does not change the squared vorticity magnitude through this quadratic pairing; the symmetric strain supplies that change.

For a genuinely two-dimensional flow, vorticity is a scalar perpendicular to the plane and the stretching term vanishes. The scalar is transported by the incompressible flow, preserving its L to the p norms for smooth periodic solutions. This mechanism underlies the stronger global theory for smooth two-dimensional data. A planar projection of a three-dimensional flow does not remove stretching, and a numerical picture of nearly planar motion does not justify replacing the three-dimensional vorticity equation by a scalar transport law.

Dotting the smooth Euler equation with velocity and integrating gives constant kinetic energy: transport is a divergence and pressure does no net work under the stated periodic or decaying conditions. This L² velocity quantity does not directly control the supremum of vorticity or the high Sobolev norm required by local theory. A family can keep its L² size while moving variation to shorter scales. In three dimensions, stretching offers a mechanism for such derivative amplification without contradicting the energy identity.

A continuation criterion identifies what would prevent or be necessary for breakdown in a specified regularity class. It must not be confused with a proof that the full equation realizes a proposed stretching scenario. Smoothness, finite Hölder regularity, external forcing, the whole-space versus periodic domain, and the presence of a physical boundary distinguish different singularity questions. Current research announcements should be read with those hypotheses intact. The calculations here establish the classical equations and local-control mechanisms; they do not classify every announced three-dimensional construction or turn a local strain example into a global singular solution.