Rigorous justification of vortex-line dynamics in the 3D Euler equations: construction of almost-sharp vortex tubes and derivation of the vortex filament equation

The formal theory of vortex filaments going back to da Rios (1906) predicts that an ideal incompressible fluid whose vorticity is concentrated along a space curve moves so that the curve travels in its binormal direction with speed proportional to its curvature. Making this prediction rigorous — the vortex filament conjecture for the 3D Euler equations — is a long-standing open problem: the Biot–Savart velocity generated by a curve-supported vorticity is more singular (inverse distance) than the merely logarithmic singularity tamed for 2D surface quasi-geostrophic (SQG) fronts, and a curve-supported vorticity is not a weak solution of Euler. The source candidate (Córdoba–Fefferman–Rodrigo, PNAS 2004) posed this problem as the second of three open issues attached to its almost-sharp-front theorem for SQG, proposing to construct Euler solutions supported in tubes of arbitrarily small thickness around a prescribed curve and pass to the thin-tube limit. The candidate's first issue — a rigorous construction of SQG almost-sharp fronts — was resolved by Fefferman–Rodrigo (ARMA 2015) in the analytic class, with existence time independent of the thickness; the candidate's third issue, global regularity of inviscid SQG, is a separate famous open problem outside this problem's window. The surviving open core is the second issue: for general prescribed initial curves and tube profiles, construct 3D Euler solutions whose vorticity is concentrated in a δ-thin tubular neighborhood of the curve, existing on a time interval independent of δ, and rigorously derive the effective evolution of the core curve, recovering binormal curvature flow to leading order. At present only conditional justifications (Jerrard–Seis 2017, under an assumed concentration hypothesis) and special geometries (thin vortex rings; travelling-rotating helices; helically symmetric filaments) are known, so the problem remains open.

Background

Surface quasi-geostrophic (SQG) equation. On the plane or torus, SQG is the active-scalar equation $\partial_t\theta + u\cdot\nabla\theta = 0$ where the velocity is recovered from the scalar by a Riesz transform (a fractional-order singular-integral operator), $u = \nabla^\perp(-\Delta)^{-1/2}\theta$; $\theta$ models buoyancy (hence temperature fronts) in rapidly rotating stratified flow, and the equation is also a standard model problem for 3D Euler singularity formation because its velocity is only one derivative smoother than its scalar (Constantin–Majda–Tabak 1994). A sharp front is the ansatz $\theta(\cdot,t) = \theta_1$ on one side of a curve $\varphi(\cdot,t)$ and $\theta_2$ on the other; substituting it formally yields a contour dynamics equation (an evolution equation for the curve alone) for $\varphi$ whose integral kernel has only a logarithmic singularity. An almost-sharp front is an exact solution of SQG that transitions between $\theta_1$ and $\theta_2$ across a layer of thickness $2\delta$ (gradients of order $1/\delta$), i.e. a weak solution with a sharp-front profile of finite width. The source paper (Córdoba–Fefferman–Rodrigo 2004) proved that for such solutions the front position $\varphi$ satisfies the sharp-front contour equation up to an $O(\delta|\log\delta|)$ error, and posed three open issues: (i) construct almost-sharp fronts rigorously for given initial front $\varphi$ and arbitrarily small $\delta$; (ii) justify rigorously the evolution equation for a vortex line in the 3D Euler equations; (iii) SQG global regularity.

The 2D program (context for issue (i)). Local well-posedness of the sharp-front contour equation was established by Rodrigo (2005, via a Nash–Moser iteration — a Newton-type fixed-point scheme that tolerates a loss of derivatives — for smooth fronts), Gancedo (2008, Sobolev), and Fefferman–Rodrigo (2011, analytic). Fefferman–Rodrigo (2012) constructed approximate solutions in the analytic class and derived the limit equations satisfied as $\delta\to0$; Fefferman–Luli–Rodrigo (2012) analyzed the spine (the curve traced by the front's transition layer). Fefferman–Rodrigo (2015) completed the program: for every periodic analytic sharp front and analytic transversal profile there are $\delta_0>0$ and $T>0$ depending only on the front and profile (not on $\delta$) such that for every $0<\delta<\delta_0$ the SQG initial-value problem has a unique real-analytic almost-sharp solution of thickness proportional to $\delta$ on $[0,T]$. The construction uses Cauchy–Kowalewski-type estimates (the analytic-data analogue of the classical Cauchy–Kowalewski existence theorem for PDEs) in analytic Banach scales (families of Banach spaces of analytic functions indexed by the radius of analyticity), and the crux is obtaining a priori bounds uniform in $\delta$ despite $O(1/\delta)$ gradients, so that the lifetime does not shrink with the front width.

3D Euler, vortex filaments, and binormal curvature flow. In vorticity form the incompressible Euler equations in $\mathbb{R}^3$ read $\partial_t\omega + u\cdot\nabla\omega = \omega\cdot\nabla u$ with $\omega = \operatorname{curl} u$; the velocity is recovered from the vorticity by the Biot–Savart law $u(x) = \frac{1}{4\pi}\int \frac{(x-y)\times\omega(y)}{|x-y|^3}\,dy$. A vortex filament is the idealization of vorticity concentrated on a space curve $X(s,t)$ with circulation $\Gamma$ (the flux of $\omega$ through the tube's cross-section); the Biot–Savart field of a curve-supported measure is formally singular like $\Gamma/(2\pi d)$ where $d$ is distance to the curve, and the regular part of this field evaluated at the curve yields da Rios' (1906) local induction approximation: the curve moves by binormal curvature flow (also called the vortex filament equation) $\partial_t X = \frac{\Gamma}{4\pi}\,\kappa\,\mathbf{b}$, where $\kappa$ is curvature and $\mathbf{b}$ the binormal — a purely geometric evolution whose Hasimoto transform (a change of variables built from the curve's curvature and torsion) turns it into a focusing nonlinear Schrödinger equation. An almost-sharp vortex tube is the proposed rigorous object: an Euler solution whose vorticity is concentrated in the $\delta$-tubular neighborhood of a curve, with prescribed cross-sectional profile, total circulation $\Gamma$, and hopefully a lifetime independent of $\delta$; the conjectured statement is that as $\delta\to0$ the tube's core follows binormal curvature flow to leading order. Two structural obstacles make this much harder than the SQG analogue: the velocity singularity is of inverse-distance rather than logarithmic type, and vortex stretching ($\omega\cdot\nabla u$) can amplify and destabilize the tube's internal structure. Moreover, a curve-supported vorticity does not define a weak solution of Euler in the standard sense (its induced velocity fails the natural integrability), and enlarging the notion of weak solution is dangerous — Scheffer (1993) showed such enlargements admit non-physical solutions with compact space-time support — so the construction must remain within classical or precisely specified regular classes, which pushes one toward analytic-type methods whose lifetimes are hard to make $\delta$-uniform.

Known partial results. Jerrard–Seis (2017) proved a conditional justification: if the vorticity remains concentrated near a curve on a spatial scale $h(t)$ (quantified in their hypotheses), then the curve's motion converges, as $h(t)\to0$, to binormal curvature flow to leading order; they note that the only unconditional rigorous results in favor of the conjecture available then were restricted to axially symmetric flows. On the construction side, rigorous almost-sharp tubes exist only for special geometries in which the filament shape is stationary or rigidly travelling: thin vortex rings (a circle translating along its axis, the one classical case, as surveyed by Dávila–del Pino–Musso–Wei), travelling-rotating helices (Dávila–del Pino–Musso–Wei 2022, apparently the first rigorous construction of non-circular filaments), and helically symmetric filaments with small cross-section (Cao–Wan 2023; Guo–Zhao 2026 for long-time dynamics). Helical symmetry means invariance under a one-parameter group combining a rotation about an axis and a translation along it, which reduces the 3D problem to a 2D problem with a modified Biot–Savart kernel. No construction for a general prescribed initial curve and no unconditional derivation of the filament equation for general data are known.

Problem Statement

Let $X_0: \mathbb{R}/\mathbb{Z}\to\mathbb{R}^3$ (or, more generally, a smooth closed embedded curve in $\mathbb{R}^3$) be a prescribed smooth initial curve, let $\Gamma>0$ be a prescribed circulation strength, and let $\Omega_0$ be a prescribed smooth cross-sectional vorticity profile. The problem, in two coupled parts, is:

(a) Construction of almost-sharp vortex tubes. For every sufficiently small $\delta>0$, construct a solution $\omega_\delta$ of the 3D incompressible Euler equations in vorticity form, $\partial_t\omega_\delta + u_\delta\cdot\nabla\omega_\delta = \omega_\delta\cdot\nabla u_\delta$, with $u_\delta$ given by the Biot–Savart law, whose initial vorticity is concentrated in the $\delta$-tubular neighborhood of $X_0$ with cross-sectional profile $\Omega_0$ and total circulation $\Gamma$, such that the solution is a classical solution of these equations on a time interval $[0,T]$ with $T>0$ independent of $\delta$.

(b) Rigorous derivation of the effective filament dynamics. Prove that the vorticity remains concentrated in a tubular neighborhood of an evolving curve $X(t)$, and rigorously derive the effective evolution of $X(t)$, showing in particular that as $\delta\to0$ the curve moves, to leading order with quantified error, by the binormal curvature flow (vortex filament equation) $\partial_t X = \frac{\Gamma}{4\pi}\,\kappa\,\mathbf{b}$, where $\kappa$ is the curvature of $X$ and $\mathbf{b}$ its binormal, with corrections that vanish as $\delta\to0$.

A solution for a general class of initial curves and profiles settles the vortex filament conjecture for the Euler equations. Known partial results do not settle it: results conditional on an assumed concentration hypothesis (Jerrard–Seis 2017), rigidly travelling thin vortex rings, travelling-rotating helices (Dávila–del Pino–Musso–Wei 2022), helically symmetric filaments (Cao–Wan 2023; Guo–Zhao 2026), and the resolved 2D SQG analogue of Fefferman–Rodrigo (2015), whose Biot–Savart singularity is only logarithmic rather than of inverse-distance type.

References

1. D. Córdoba, C. Fefferman, J. L. Rodrigo, 'Almost sharp fronts for the surface quasi-geostrophic equation', Proc. Natl. Acad. Sci. USA 101 (2004) 2687–2691, DOI 10.1073/pnas.0308154101, https://doi.org/10.1073/pnas.0308154101 (source record)
2. P. Constantin, A. J. Majda, E. G. Tabak, 'Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar', Nonlinearity 7 (1994) 1495–1533, DOI 10.1088/0951-7715/7/6/001, https://doi.org/10.1088/0951-7715/7/6/001
3. P. Constantin, A. J. Majda, E. G. Tabak, 'Singular front formation in a model for quasigeostrophic flow', Phys. Fluids 6 (1994) 9–11, DOI 10.1063/1.868050, https://doi.org/10.1063/1.868050
4. L. S. da Rios, 'Sul moto d'un liquido indefinito con un filetto vorticoso di forma qualunque', Rendiconti del Circolo Matematico di Palermo 22 (1906) 117–135, DOI 10.1007/BF03018608, https://doi.org/10.1007/BF03018608
5. V. Scheffer, 'An inviscid flow with compact support in space-time', J. Geom. Anal. 3 (1993) 343–401, DOI 10.1007/BF02921318, https://doi.org/10.1007/BF02921318
6. J. L. Rodrigo, 'On the evolution of sharp fronts for the quasi-geostrophic equation', Comm. Pure Appl. Math. 58 (2005) 821–866, DOI 10.1002/cpa.20059, https://doi.org/10.1002/cpa.20059
7. F. Gancedo, 'Existence for the α-patch model and the QG sharp front in Sobolev spaces', Adv. Math. 217 (2008) 2569–2598, DOI 10.1016/j.aim.2007.10.010, https://doi.org/10.1016/j.aim.2007.10.010
8. C. L. Fefferman, J. L. Rodrigo, 'Analytic sharp fronts for the surface quasi-geostrophic equation', Comm. Math. Phys. 303 (2011) 261–288, DOI 10.1007/s00220-011-1190-4, https://doi.org/10.1007/s00220-011-1190-4
9. C. L. Fefferman, J. L. Rodrigo, 'Almost sharp fronts for SQG: the limit equations', Comm. Math. Phys. 313 (2012) 131–153, DOI 10.1007/s00220-012-1486-z, https://doi.org/10.1007/s00220-012-1486-z
10. C. Fefferman, G. Luli, J. Rodrigo, 'The spine of an SQG almost-sharp front', Nonlinearity 25 (2012) 329–342, DOI 10.1088/0951-7715/25/2/329, https://doi.org/10.1088/0951-7715/25/2/329
11. C. L. Fefferman, J. L. Rodrigo, 'Construction of almost-sharp fronts for the surface quasi-geostrophic equation', Arch. Ration. Mech. Anal. 218 (2015) 123–162, DOI 10.1007/s00205-015-0857-y, https://doi.org/10.1007/s00205-015-0857-y
12. J. K. Hunter, Y. Shu, 'Regularized and approximate equations for sharp fronts in the surface quasi-geostrophic equation and its generalizations', Nonlinearity 31 (2018) 2480–2517, DOI 10.1088/1361-6544/aab1cc, arXiv:1709.03194, https://arxiv.org/abs/1709.03194
13. H. Khor, J. Rodrigo, 'On sharp fronts and almost-sharp fronts for singular SQG', J. Differential Equations 278 (2021) 111–145, DOI 10.1016/j.jde.2020.12.041, arXiv:2001.10332, https://arxiv.org/abs/2001.10332
14. F. Gancedo, H. Q. Nguyen, M. A. Patel, 'Well-posedness for SQG sharp fronts with unbounded curvature', Math. Models Methods Appl. Sci. 32 (2022) 2551–2599, DOI 10.1142/S0218202522500610, arXiv:2105.10982, https://arxiv.org/abs/2105.10982
15. R. L. Jerrard, C. Seis, 'On the vortex filament conjecture for Euler flows', Arch. Ration. Mech. Anal. 224 (2017), no. 1, 135–172, DOI 10.1007/s00205-016-1070-3, arXiv:1603.00227, https://arxiv.org/abs/1603.00227
16. J. Dávila, M. del Pino, M. Musso, J. Wei, 'Travelling helices and the vortex filament conjecture in the incompressible Euler equations', Calc. Var. Partial Differential Equations 61 (2022), no. 4, article 119, DOI 10.1007/s00526-022-02217-4, https://doi.org/10.1007/s00526-022-02217-4
17. D. Cao, J. Wan, 'Helical vortices with small cross-section for 3D incompressible Euler equation', J. Funct. Anal. 284 (2023) 109836, DOI 10.1016/j.jfa.2022.109836, arXiv:2206.00201, https://arxiv.org/abs/2206.00201
18. D. Guo, L. Zhao, 'Long time dynamics for helical vortex filament in Euler flows', SIAM J. Math. Anal. 58 (2026) 3832–3865, DOI 10.1137/25M1757381, arXiv:2403.09071, https://arxiv.org/abs/2403.09071
19. Á. Castro, D. Córdoba, J. Gómez-Serrano, 'Global smooth solutions for the inviscid SQG equation', Mem. Amer. Math. Soc. 266 (2020) no. 1292, DOI 10.1090/memo/1292, arXiv:1603.03325, https://arxiv.org/abs/1603.03325
20. A. Zlatos, 'Local regularity and finite time singularity for the generalized SQG equation on the half-plane', Duke Math. J. 174 (2025) 3493–3533, DOI 10.1215/00127094-2025-0024, arXiv:2305.02427, https://arxiv.org/abs/2305.02427
21. D. Córdoba, Ó. Domínguez, J. Lucas-Manchón, L. Martínez-Zoroa, 'Blow-up at finite time for the generalized SQG equations in the Sobolev well-posedness regime', arXiv:2608.17192 (2026), https://arxiv.org/abs/2608.17192