Steady 3d Euler flows via a topology-preserving convex integration scheme

Alberto Enciso; Daniel Peralta-Salas; Javier Pe\~nafiel-Tom\'as

REVIEW 1 major objections 4 minor 2 cited by

Steady 3d Euler flows via a topology-preserving convex integration scheme

T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any smooth solenoidal field on the 3-torus, there are Hölder steady Euler flows preserving its zero set, with a unique most-regular conjugate flow.

desk verdict A genuinely new topology-preserving convex integration scheme with a plausible main existence theorem, but the uniqueness and zero-set claims in the current version do not survive scrutiny. read the letter →

arxiv 2501.13632 v1 pith:QYDAXAYE submitted 2025-01-23 math.AP

Alberto Enciso , Javier Peñafiel-Tomás , Daniel Peralta-Salas This is my paper · ORCID

classification math.AP MSC 35Q3176B0335D30

keywords steadyEulerequationsconvexintegrationHöldercontinuousweaksolutionstopologyofvectorfieldsvolume-preservingdiffeomorphismszerosetpreservationtoroidaldomainsmagnetohydrostaticequilibria

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that on the three-torus the topology of any smooth divergence-free vector field can be realized by low-regularity steady solutions of the incompressible Euler equations. For every $v_0\in C^\infty(\mathbb{T}^3)$ with ${\rm div}\, v_0=0$, every $\tau\in(\sqrt{2/3},1)$ and every $\varepsilon>0$, it constructs a weak steady Euler flow $v\in C^\alpha(\mathbb{T}^3)$ that is the $C^\alpha$ limit of pushforwards $(\Phi_q)_*v_0$ by volume-preserving diffeomorphisms $\Phi_q$ converging in $C^\tau$ to a volume-preserving Hölder homeomorphism $\Phi$. The zero sets of $v$ and $v_0$ coincide, and the homeomorphism conjugates the flow of $v_0$ to the unique flow of $v$ in a specified Hölder class. The construction also works in toroidal domains, producing non-axisymmetric weak equilibria with invariant torus foliations and thereby showing that the toroidal confinement conjecture fails in the Hölder category. A sympathetic reader should care because the result turns the orbit structure of a smooth field into a boundary condition for weak steady Euler states, rather than only measuring complicated orbits in already-known steady flows.

What carries the argument

The scheme is a topology-preserving convex integration iteration. A subsolution is a triple $(v,p,R)$ with ${\rm div}(v\otimes v)+\nabla p={\rm div}\,R$ and ${\rm div}\,v=0$; the goal is to drive $R$ to zero uniformly. At each stage the velocity is not modified by an additive perturbation but conjugated by a volume-preserving diffeomorphism, $v_{J+1}=(D\varphi_{J+1}v_J)\circ\varphi_{J+1}^{-1}$, with $\varphi_{J+1}=\varphi_c\circ\varphi_0$. The main correction $\varphi_0$ is built from oscillatory terms whose phase $\theta_m=l_m(\eta\xi_{J,m}\cdot x+\lambda_{J+1}k_{J,m}\cdot x)$ is invariant under composition, while $\varphi_c$ is a prescribed-Jacobian correction making the map volume-preserving. The Reynolds stress is then decomposed in adapted frames $\zeta_j\otimes\zeta_j$ with $\mathrm{Id}-sR=\sum_j\gamma_j^2\zeta_j\otimes\zeta_j$, and each term is canceled by a perturbation almost perpendicular to $v_J$. The parameter hierarchy $\mu\ll\eta\ll\lambda_{J+1}$, with $\beta=2^{-11}$, balances all error terms and yields the $C^\tau$ convergence of the diffeomorphisms and the $C^\alpha$ convergence of the pushed-forward velocities.

What would settle it

The uniqueness assertion in Section 8 can be tested by computing the box-counting dimension of the set $Y_s^{-1}(\partial B(x_0,r))$ for a volume-preserving homeomorphism $Y_s$ of class $C^{\tau/2}$ with $\tau\in(\sqrt{2/3},1)$. The proof uses the bound $|\Lambda_1|\lesssim\lambda_q^{2\tau^{-2}}$; if one exhibits such a $Y_s$ whose preimage has dimension greater than $3$, or proves that no such example exists, the boundary-layer estimate (8.4) either fails or is restored, settling whether the competing-flow uniqueness step is valid.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1. Given any smooth solenoidal field $v_0$ on $\mathbb{T}^3$, any $\tau\in(\sqrt{2/3},1)$ and any $\varepsilon>0$, there exists a weak steady Euler flow $v\in C^\alpha(\mathbb{T}^3)$ with $\|v-v_0\|_{H^{-1}}+\|\Phi-\mathrm{Id}\|_{C^0}<\varepsilon$, where $v=\lim_q (\Phi_q)_*v_0$ in $C^\alpha$; the $\Phi_q$ are volume-preserving diffeomorphisms converging in $C^\tau$ to a volume-preserving Hölder homeomorphism $\Phi$; $\{v=0\}=\{v_0=0\}$; and $X_t=\Phi\circ X^0_t\circ\Phi^{-1}$ is the only flow of $v$ in $C^0_{\rm loc}(\mathbb{R},C^{\tau/2})\cap C^1_{\rm loc}(\mathbb{R},C^0)$. Here $X^0_t$ is the flow of $v_0$. The same ideas give a version on toroidal domains when $v_0$ does not vanish on the boundary, from which the paper derives families of non-axisymmetric weak steady Euler flows with invariant nested tori, presented as a weak counterexample to the toroidal confinement conjecture. Since the steady Euler equations are the same as the magnetohydrostatic equilibrium equations, the result also asserts the existence of Hölder MHS equilibria that are topologically accessible from any smooth solenoidal field, with the caveat that the approximating fields need not have decreasing $L^2$ norms.

Load-bearing premise

In the uniqueness proof of Section 8, the argument assumes that a competing flow of only $C^{\tau/2}$ regularity pulls a smooth sphere back to a set of box-counting dimension at most $2\tau^{-2}$; the stated regularity alone gives $4/\tau$, which exceeds $3$ for $\tau<1$, so the boundary layer in (8.4) can be space-filling.

Editorial extensions

If this is right

Any smooth solenoidal $v_0$ on $\mathbb{T}^3$ has infinitely many Hölder steady Euler flows whose zero set is exactly $\{v_0=0\}$, so compactly supported steady flows on $\mathbb{R}^3$ with prescribed topology follow by restricting to a torus.
The flow $X_t=\Phi\circ X^0_t\circ\Phi^{-1}$ is the unique flow of $v$ in the class $C^0_{\rm loc}(\mathbb{R},C^{\tau/2})\cap C^1_{\rm loc}(\mathbb{R},C^0)$, so even though weak trajectories may be nonunique, the constructed solution carries a canonical topologically meaningful dynamics.
The $C^\alpha$ limit is a limit of pushforwards of $v_0$ by volume-preserving diffeomorphisms $\Phi_q$, and $\|v-v_0\|_{H^{-1}}$ can be made arbitrarily small, so infinitely many weak steady states lie in the closure of the adjoint orbit $O_{v_0}$.
On toroidal domains, the same construction produces non-axisymmetric families of weak steady Euler flows with invariant torus foliations, so the low-regularity version of the toroidal confinement conjecture is false and the weak states are not isolated.
Because the steady Euler equations coincide with the magnetohydrostatic equilibrium equations, the result yields Hölder MHS equilibria that are topologically accessible from any smooth solenoidal field, modulo the caveat that $L^2$ norms of the approximating fields are not required to decrease.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the same 'push forward by diffeomorphisms' mechanism could be adapted to equations with a volume-preserving symmetry group, such as ideal MHD, by conjugating both the velocity and magnetic fields at every stage.
Editorial inference: the threshold $\tau>\sqrt{2/3}$ and the boundary-layer dimension exponent $2\tau^{-2}$ suggest that the uniqueness class is tied to a dimensional obstruction; closing the dimension gap noted below would likely determine the sharp regularity range.
Editorial inference: if the dimension bound in Section 8 is not improved, the uniqueness statement may still be salvageable for the constructed flow while other flows in the same Hölder class coexist; the existence and zero-set parts of the theorem would remain untouched.
Editorial inference: a numerical experiment could test stability by discretizing the iteration for a few stages on the torus, looking for convergence of the pushed-forward fields and growth of high-frequency corrections while the zero set remains fixed outside the support of perturbations.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The scheme is genuinely new: instead of adding high-frequency velocity perturbations, the authors iterate volume-preserving diffeomorphisms, so each v_q stays conjugate to v0. That is the right way to bypass the Cieliebak-Volkov obstruction in the low-regularity class, and the core existence proof in Sections 3-7 is long, detailed, and mostly convincing. The convergence argument and the verification that the limit is a weak steady Euler flow are standard once the induction hypotheses are granted. The citation pattern is fine; the authors' use of their own earlier work for the standard divergence-equation lemmas is appropriate.

The soft spots are load-bearing. The uniqueness proof for the most regular flow contains an exponent error in Section 8. The paper covers ∂B(x0,r) by sets of diameter (Lλ_q)^{-τ^{-2}} and claims their preimages under a C^{τ/2} homeomorphism fit in λ_q^{-1}-cubes. That is false: for a C^{τ/2} map, the preimage diameter is at most L^{1-1/(2τ)}λ_q^{-1/(2τ)}, and since 1-1/(2τ)>0 this is not bounded by λ_q^{-1} for large q. The boundary cubes then number about λ_q^{2τ^{-2}+3(1-1/(2τ))}, which exceeds λ_q^3 for the τ in the stated range, so the error term need not vanish. The stress-test note's defense of this step does not hold up numerically.

Property (v), that the zero sets of v and v0 coincide, is asserted but never proved. The construction gives v=0 on the zero set of v0, but for points where v0≠0 the lower bound |v_q|≥cδ_{q+1}^{1/2} tends to zero, so nothing rules out new zeros appearing in the limit. The uniqueness statement cannot rule this out either, because a Hölder flow starting at a zero need not leave it.

The toroidal extension is only sketched; that is acceptable for an application, but not for a central theorem.

For a reader working on steady Euler flows or convex integration, the existence scheme is worth understanding and the paper deserves expert referee time. But as written, the claimed uniqueness of the most regular flow and the exact zero-set preservation are unsupported. I would not accept it in this form; I would send it to a serious referee with a request for major revision.

Referee Report

1 major / 4 minor

Summary. The paper proposes a convex integration scheme for steady 3D Euler flows on the torus in which, at each iteration, the new velocity is obtained as the pushforward of the previous velocity by a volume-preserving diffeomorphism, rather than by adding a highly oscillatory field directly. The main theorem, Theorem 1.1, claims that for any smooth solenoidal field v0 and suitable exponents there exist weak steady Euler flows v of class C^alpha, obtained as limits of pushed-forward fields (Phi_q)_*v0, with a unique 'most regular' flow conjugate to the flow of v0 through a volume-preserving Holder homeomorphism, and with the same zero set as v0. A toroidal-domain version is stated and used to produce families of non-axisymmetric weak steady states relevant to Grad's conjecture. The proof is organized around an induction with hypotheses (2.44)-(2.53), a single-cube perturbation proposition (Proposition 2.4), and a long sequence of estimates in Sections 3-7; Section 8 passes to the limit and proves uniqueness of the most regular flow.

Significance. If the full statement of Theorem 1.1 is correct, this is a substantial contribution: it provides low-regularity steady Euler flows with prescribed topological structure, bypasses the Cieliebak-Volkov obstruction by giving up smoothness, establishes uniqueness of a distinguished flow in a Holder class, and yields compactly supported and plasma-relevant consequences. The manuscript is technically rich and carefully structured, and the proof makes systematic use of prior lemmas rather than assuming the target theorem; the parameter hierarchy and the explicit H^{-1} estimates are notable strengths. However, one property explicitly stated in Theorem 1.1, namely the preservation of the zero set, is not proved anywhere in Section 8, and the proof as written therefore establishes a strictly weaker statement than the theorem claims.

major comments (1)

[§8, Theorem 1.1(v)] Property (v), the assertion that the zero sets of v0 and v coincide, is never proved. The induction gives v_q=(Phi_q)_*v0 with Phi_q=Id in a neighborhood of the zero set Z0 of v0 (by (2.20)), so v_q vanishes exactly on Z0 and the limit v vanishes on Z0. But for x with v0(x) neq 0, the only available lower bound is |v_q(x)| geq 2^{-2} delta_{q+1}^{1/2} on Omega_{q+1} (inequality (2.26)), and this bound tends to 0 as q to infinity. Nothing in Section 8 rules out the possibility that v(x)=0 for some such x. The uniqueness of the distinguished flow X_t does not exclude this: a point x with v(x)=0 need not be a fixed point of X_t, and a volume-preserving Holder flow can pass through zeros. Since property (v) is load-bearing for the 'same topology' claim and for the compact-support corollary in Section 1.1, the proof needs either a uniform-in-q lower bound for |v_q| away from Z0, or a separate argument showing that no new zeros are created in the limit.

minor comments (4)

[§8, estimate near (8.4)] For the record, I do not see the alleged exponent defect in the boundary-cube estimate. With diam(S_i) leq (L lambda_q)^{-tau^{-2}}, the bound diam(Y_s^{-1}(S_i)) leq L diam(S_i)^{tau/2} gives L^{1-1/(2tau)} lambda_q^{-1/(2tau)} leq lambda_q^{-1} for all sufficiently large q because tau>1/2; the condition tau^2>2/3 is then sufficient for (8.1) to hold. The argument is sound as written.
[§2.1, after (2.14)] The definition of beta is garbled: it is introduced as beta := 2-11, while Lemma 4.1 uses beta = 2^{-10}. Please harmonize this notation, since subsequent estimates such as (4.3) and (4.4) depend on the exact value of beta.
[Abstract and §1] The abstract promises 'infinitely many' Holder-continuous steady Euler flows with the same topology, but Theorem 1.1 as stated only asserts existence of one such flow for each epsilon. If infinitely many distinct flows are intended, the counting argument should be supplied; otherwise the wording should be changed.
[§9, Theorem 9.2] Theorem 9.2 is stated as a theorem but its proof is only a sketch, with the boundary modifications and the uniqueness-on-a-domain argument summarized rather than written out. If this result is to remain a formal theorem, the sketch should be expanded; otherwise it should be presented as a heuristic application.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the existence proof is a self-contained convex integration induction; cited self-prior work is used only for standard divergence lemmas, not for the target theorem.

full rationale

The central derivation does not assume the conclusion. Theorem 1.1 is obtained by iterating Proposition 2.2, where each step builds v_{q+1} as the pushforward of v_q by an explicitly constructed volume-preserving diffeomorphism, with the Reynolds stress reduced according to (2.64). The limit v is shown to be a weak Euler flow from ||R_q||_0 tending to 0 and the convergence estimates (2.35)-(2.38), so the Euler equation is not an input. The topology preservation is a structural invariant of the construction (v_q=(Phi_q)_*v0 and X^q_t=Phi_q circ X^0_t circ Phi_q^{-1}); the nontrivial content, namely uniform convergence, Holder regularity, and uniqueness of the most regular flow, is proved by independent estimates. Self-citations occur ([30] for the divergence-equation lemmas A.5/A.6, [27] for the Cieliebak-Volkov obstruction context), but these are auxiliary statements whose hypotheses do not include the target result, and Lemmas A.5/A.6 are parameter-free analytical tools, so they do not import the theorem. All free parameters (alpha, a, lambda_q, delta_q) are chosen to close inequalities, not to match a predetermined output. The only manuscript-level concern is that property (v), zero-set preservation, is asserted in the introduction and Theorem 1.1 but no explicit lower-bound argument is given in Section 8 to exclude new zeros of v outside {v0=0}; this is a completeness or correctness gap, not a circular reduction.

Assumptions & free parameters 3 free parameters · 9 assumptions · 0 invented entities

No new physical entities are introduced. The free parameters α and a are not fitted to data; they are chosen large or small to close the estimates. The proof relies on standard analysis tools plus a divergence-equation lemma from the authors' previous paper [30], which is not the target result. The inductive hypotheses are internal, not external axioms.

free parameters (3)

α = sufficiently small positive
Chosen in Theorem 1.1 to satisfy the exponent conditions (8.1)-(8.2) and Lemma 4.1; no specific numeric value is given.
a = sufficiently large positive
The frequency base in (2.13) must be large enough to compensate all implicit constants in the estimates; existence is asserted but no bound is needed.
τ = any value in (√(2/3), 1)
Input parameter in Theorem 1.1; the uniqueness proof needs τ^2 > 2/3.

assumptions (9)

standard math Sard's theorem ensures level sets Σ_q are smooth surfaces for almost all a > 1.
Used in Section 2.1 to justify the definition of the sets Σ_q and the distance estimate (2.19).
standard math Banach fixed point theorem is used to show the auxiliary map ψ is a global diffeomorphism.
Proposition 4.5 constructs the inverse of ψ as the fixed point of a contraction.
standard math Gronwall's inequality is used in several places, including the uniqueness proof in Section 8.
Applied to the difference ~Y_t - ~X_t after the boundary error is (claimed to be) negligible.
standard math Dacorogna-Moser theorem [18] guarantees the existence of the volume correction diffeomorphism φ_c.
Proposition 3.2 uses a simplified version of [18] to solve det Dφ = 1+f.
standard math Lemma A.5 (divergence of symmetric matrices) from the authors' previous paper [30] is used to construct the Reynolds stress corrections M1, M2.
The compatibility condition (A.2) and the bounds from [30, Lemma 2.9] are invoked in Section 6.
standard math Sikorav's approximation theorem [49] for volume-preserving homeomorphisms by diffeomorphisms is used in Section 8 to pass the change of variables under a homeomorphism.
Used to justify the identity ∫_{Y_s^{-1}(B)} DΦ_q^{-1}(v-v_q) = ∫_{B} ... after approximating Y_s by diffeomorphisms.
domain assumption The initial subsolution (v0,p0,R0) with R0 = v0⊗v0 - |v0|^2 Id satisfies R0 v0 = 0, giving the algebraic structure for the iteration.
Equations (2.10)-(2.11) and the normalization (2.12).
domain assumption The domain assumptions: v0 is a smooth solenoidal field on T^3; for toroidal domains, v0 is tangent to ∂Ω and nonvanishing on ∂Ω.
Statements of Theorem 1.1 and Theorem 9.2.
ad hoc to paper The inductive hypotheses (2.44)-(2.53) are assumed to hold and are proven by induction; they are not external axioms.
The proof of Proposition 2.2 establishes these hypotheses, so they are internal to the construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Steady 3d Euler flows via a topology-preserving convex integration scheme." pith.science (2026). https://pith.science/paper/QYDAXAYE

@misc{pith2026250113632,
  author       = {Pith},
  title        = {Pith review of: Steady 3d Euler flows via a topology-preserving convex integration scheme},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QYDAXAYE}},
  note         = {Machine review of arXiv:2501.13632}
}

abstract

Given any smooth solenoidal vector field $v_0$ on $\mathbf T^3$, we show the existence of infinitely many H\"older-continuous steady Euler flows $v$ with the same topology as $v_0$, in certain weak sense. In particular, we show that $v$ possesses a unique flow of the highest H\"older regularity, which is conjugate to the flow of $v_0$ via a volume-preserving H\"older homeomorphism of $\mathbf T^3$. This result extends to the case of Euler equations on toroidal domains, which has applications to the study of plasmas. The proof relies on a novel convex integration scheme incorporating the key idea that the velocity field of the subsolutions must remain diffeomorphic to $v_0$ at each iteration step.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Piecewise smooth stationary Euler flows with support in a neighborhood of a helix
math.AP 2026-07 accept novelty 8.0 of 10

Helically symmetric, compactly supported, piecewise smooth stationary Euler flows exist with anisotropic (elliptic) vortex cross-sections and a persistent cos 3θ boundary deformation.
MHS equilibria in the non-resistive limit to the randomly forced resistive magnetic relaxation equations
math.AP 2025-06 conditional novelty 8.0 of 10

Randomly forced resistive magnetic relaxation yields, in the zero-resistivity limit, random MHS equilibria; in 2D the limit measure has zero mass on finite Fourier mode equilibria.

Reference graph

Works this paper leans on

50 extracted references · 47 canonical work pages · cited by 2 Pith papers

[1]

Albritton, E

D. Albritton, E. Bru´ e, M. Colombo, Non-uniqueness of Ler ay solutions of the forced Navier- Stokes equations, Ann. of Math. 196 (2022) 415–455

work page 2022
[2]

Ambrosio, Transport equation and Cauchy problem for BV vector ﬁelds, Invent

L. Ambrosio, Transport equation and Cauchy problem for BV vector ﬁelds, Invent. Math. 158 (2004) 227–260

work page 2004
[3]

Arnold, B.A

V.I. Arnold, B.A. Khesin, Topological Methods in Hydrodynamics (Second Edition), Springer, New York, 2021

work page 2021
[4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, R. Danchin, Fourier Analysis and Nonlinear Partial Diﬀerential Equations, Grundlehren der Mathematischen Wissenschaften, vol. 343 , Springer, Heidelberg, 2011

work page 2011
[5]

Bruno, P

O.P. Bruno, P. Laurence, Existence of three-dimensional toroidal MHD equilibria with non- constant pressure, Comm. Pure Appl. Math. 49 (1996) 717–764

work page 1996
[6]

Buckmaster, C

T. Buckmaster, C. De Lellis, L. Sz´ ekelyhidi, V. Vicol. On sager’s conjecture for admissible weak solutions, Comm. Pure Appl. Math. 72 (2018) 229–274

work page 2018
[7]

Buckmaster, N

T. Buckmaster, N. Masmoudi, M. Novack, V. Vicol, Intermit tent convex integration for the 3D Euler equations, volume 217 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2023

work page 2023
[8]

Buckmaster, S

T. Buckmaster, S. Shkoller, V. Vicol, Nonuniqueness of we ak solutions to the SQG equation, Comm. Pure Appl. Math. 72 (2019) 1809–1874

work page 2019

Show all 50 references

[9]

Buckmaster, V

T. Buckmaster, V. Vicol, Convex integration constructio ns in hydrodynamics, Bull. Amer. Math. Soc. 58 (2021) 1–44. STEADY 3D EULER FLOWS 59

2021
[10]

Castro, D

A. Castro, D. C´ ordoba, D. Faraco, Mixing solutions for t he Muskat problem, Invent. Math. 226 (2021) 251–348

2021
[11]

Cheskidov, X

A. Cheskidov, X. Luo, L2-critical nonuniqueness for the 2D Navier-Stokes equation s, Ann. PDE 9 (2023) 56

2023
[12]

Cheskidov, R

A. Cheskidov, R. Shvydkoy, Euler equations and turbulen ce: analytical approach to intermit- tency, SIAM J. Math. Anal. 46 (2014) 353–374

2014
[13]

Cheskidov, R

A. Cheskidov, R. Shvydkoy, Volumetric theory of intermi ttency in fully developed turbulence, Arch. Ration. Mech. Anal. 247 (2023) 35

2023
[14]

Choﬀrut, V

A. Choﬀrut, V. ˇSver´ ak. Local structure of the set of steady-state solutio ns to the 2D incom- pressible Euler equations, Geom. Funct. Anal. 22 (2012) 136 –201

2012
[15]

Cieliebak, E

K. Cieliebak, E. Volkov, A note on the stationary Euler eq uations of hydrodynamics, Ergod. Th. & Dynam. Sys. 37 (2017) 454–480

2017
[16]

Constantin, J

P. Constantin, J. La, V. Vicol, Remarks on a paper by Gavri lov: Grad–Shafranov equations, steady solutions of the three dimensional incompressible E uler equations with compactly sup- ported velocities, and applications, Geom. Funct. Anal. 29 (2019) 1773–1793

2019
[17]

Dacorogna, P

B. Dacorogna, P. Marcellini, General existence theorem s for Hamilton-Jacobi equations in the scalar and vectorial cases, Acta Math. 178 (1997) 1–37

1997
[18]

Dacorogna, J

B. Dacorogna, J. Moser. On a partial diﬀerential equatio n involving the Jacobian determinant, Ann. Inst. Henri Poincar´ e 7 (1990) 1–26

1990
[19]

De Lellis, L

C. De Lellis, L. Sz´ ekelyhidi, The Euler equations as a di ﬀerential inclusion, Ann. of Math. 170 (2009) 1417–1436

2009
[20]

De Lellis, L

C. De Lellis, L. Sz´ ekelyhidi, Dissipative continuous E uler ﬂows, Invent. Math. 193 (2013) 377–407

2013
[21]

De Lellis, L

C. De Lellis, L. Sz´ ekelyhidi, High dimensionality and h -principle in PDE, Bull. Amer. Math. Soc. 54 (2017) 247–282

2017
[22]

Di Perna, P.L

R.J. Di Perna, P.L. Lions, Ordinary diﬀerential equatio ns, transport theory and Sobolev spaces, Invent. Math. 98 (1989) 511–547

1989
[23]

Dom ´ ınguez-V´ azquez, A

M. Dom ´ ınguez-V´ azquez, A. Enciso, D. Peralta-Salas, Piecewise smooth stationary Euler ﬂows with compact support via overdetermined boundary problems , Arch. Ration. Mech. Anal. 239 (2021) 1327–1347

2021
[24]

Elgindi, Y

T.M. Elgindi, Y. Huang, A.R. Said, C. Xie, A Classiﬁcatio n Theorem for Steady Euler Flows, arXiv:2408.14662
[25]

Enciso, A.J

A. Enciso, A.J. Fern´ andez and D. Ruiz, Smooth nonradial stationary Euler ﬂows on the plane with compact support, arXiv:2406.04414

arXiv
[26]

Enciso, A.J

A. Enciso, A.J. Fern´ andez, D. Ruiz and P. Sicbaldi, A Sch iﬀer-type problem for annuli with applications to stationary planar Euler ﬂows, Duke Math. J. , in press
[27]

Enciso, D

A. Enciso, D. Peralta-Salas, Obstructions to topologic al relaxation for generic magnetic ﬁelds, Arch. Ration. Mech. Anal., in press
[28]

Enciso, W

A. Enciso, W. Kepplinger, D. Peralta-Salas, Isolated st eady solutions of the 3d Euler equations, Proc. Nat. Acad. Sci., in press
[29]

Enciso, A

A. Enciso, A. Luque, D. Peralta-Salas, MHD equilibria wi th nonconstant pressure in nonde- generate toroidal domains, J. Eur. Math. Soc., in press
[30]

Enciso, J

A. Enciso, J. Pe˜ naﬁel-Tom´ as, D. Peralta-Salas, An ext ension theorem for weak solutions of the 3D incompressible Euler equations and applications to s ingular ﬂows, arXiv:2404.08115
[31]

Enciso, D

A. Enciso, D. Peralta-Salas, A. Romaniega, Beltrami ﬁel ds exhibit knots and chaos almost surely, Forum Math. Sigma 11:e56 (2023)

2023
[32]

Enciso, D

A. Enciso, D. Peralta-Salas, F. Torres de Lizaur, Knotte d structures in high-energy Beltrami ﬁelds on the torus and the sphere, Ann. Sci. ´Ec. Norm. Sup. 50 (2017) 995-1016

2017
[33]

Euler, Principes g´ en´ eraux du mouvement des ﬂuides, M´ emoires de l’acad´ emie des sciences de Berlin, 274–315, 1757

L. Euler, Principes g´ en´ eraux du mouvement des ﬂuides, M´ emoires de l’acad´ emie des sciences de Berlin, 274–315, 1757
[34]

Evans, Partial Diﬀerential Equations

L. Evans, Partial Diﬀerential Equations . 2nd Edition, Graduate Studies in Mathematics, American Mathematical Society, 2010

2010
[35]

Faraco, S

D. Faraco, S. Lindberg, L. Sz´ ekelyhidi, Bounded solutions of ideal MHD with compact support in space-time, Arch. Ration. Mech. Anal. 239 (2021) 51–93

2021
[36]

Faraco, S

D. Faraco, S. Lindberg,L. Sz´ ekelyhidi, Magnetic helicity, weak solutions and relaxation of ideal MHD, Comm. Pure Appl. Math. 77 (2024) 2387–2412

2024
[37]

Gavrilov, A steady Euler ﬂow with compact support, G eom

A.V. Gavrilov, A steady Euler ﬂow with compact support, G eom. Funct. Anal. 29 (2019) 190–197. 60 A. ENCISO, J. PE ˜NAFIEL-TOM ´AS AND D. PERALTA-SALAS

2019
[38]

G´ omez-Serrano, J

J. G´ omez-Serrano, J. Park and J. Shi, Existence of non-t rivial non-concentrated compactly supported stationary solutions of the 2D Euler equation wit h ﬁnite energy, Mem. Amer. Math. Soc., in press
[39]

G´ omez-Serrano, J

J. G´ omez-Serrano, J. Park, J. Shi and Y. Yao, Symmetry in stationary and uniformly-rotating solutions of active scalar equations, Duke Math. J. 170 (202 1) 2957–3038
[40]

Grad, Toroidal containment of a plasma, Phys

H. Grad, Toroidal containment of a plasma, Phys. Fluids, 10 (1967) 137–154

1967
[41]

Gromov, Partial Diﬀerential Relations , Springer-Verlag, Berlin, 1986

M. Gromov, Partial Diﬀerential Relations , Springer-Verlag, Berlin, 1986

1986
[42]

Hamel, N

F. Hamel, N. Nadirashvili, A Liouville theorem for the Eu ler equations in the plane, Arch. Ration. Mech. Anal. 233 (2019) 599–642

2019
[43]

Isett, A proof of Onsager’s conjecture, Ann

P. Isett, A proof of Onsager’s conjecture, Ann. of Math. 1 88 (2018) 871–963

2018
[44]

Komendarczyk, On W oltjer’s force-free minimizers an d Moﬀatt’s magnetic relaxation, Bull

R. Komendarczyk, On W oltjer’s force-free minimizers an d Moﬀatt’s magnetic relaxation, Bull. London Math. Soc. 54 (2022) 233–241

2022
[45]

Moﬀatt, Magnetostatic equilibria and analogous Eu ler ﬂows of arbitrarily complex topol- ogy

H.K. Moﬀatt, Magnetostatic equilibria and analogous Eu ler ﬂows of arbitrarily complex topol- ogy. I. Fundamentals, J. Fluid Mech. 159 (1985) 359–378

1985
[46]

M¨ uller, V

S. M¨ uller, V. ˇSver´ ak, Convex integration for Lipschitz mappings and cou nterexamples to regularity, Ann. of Math. (2) 157 (2003) 715–742

2003
[47]

Nash, C1 isometric imbeddings, Ann

J. Nash, C1 isometric imbeddings, Ann. of Math. 60 (1954) 383–396

1954
[48]

Novack, V

M. Novack, V. Vicol, An intermittent Onsager theorem, In vent. Math. 233 (2023) 223–323

2023
[49]

J.C. Sikorav, Approximation of a volume-preserving hom eomorphism by a volume-preserving diﬀeomorphism, https://perso.ens-lyon.fr/jean-claude .sikorav/textes/2007volume preserving approximation.pdf
[50]

Shvydkoy, Convex integration for a class of active sca lar equations, J

R. Shvydkoy, Convex integration for a class of active sca lar equations, J. Amer. Math. Soc. 24 (2011) 1159–1174. Alberto Enciso Instituto de Ciencias Matem ´aticas, Consejo Superior de Investigaciones Cient ´ficas, 28049 Madrid, Spain Email address : aenciso@icmat.es Javier P...

2011

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Albritton, E

D. Albritton, E. Bru´ e, M. Colombo, Non-uniqueness of Ler ay solutions of the forced Navier- Stokes equations, Ann. of Math. 196 (2022) 415–455

work page 2022

[2] [2]

Ambrosio, Transport equation and Cauchy problem for BV vector ﬁelds, Invent

L. Ambrosio, Transport equation and Cauchy problem for BV vector ﬁelds, Invent. Math. 158 (2004) 227–260

work page 2004

[3] [3]

Arnold, B.A

V.I. Arnold, B.A. Khesin, Topological Methods in Hydrodynamics (Second Edition), Springer, New York, 2021

work page 2021

[4] [4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, R. Danchin, Fourier Analysis and Nonlinear Partial Diﬀerential Equations, Grundlehren der Mathematischen Wissenschaften, vol. 343 , Springer, Heidelberg, 2011

work page 2011

[5] [5]

Bruno, P

O.P. Bruno, P. Laurence, Existence of three-dimensional toroidal MHD equilibria with non- constant pressure, Comm. Pure Appl. Math. 49 (1996) 717–764

work page 1996

[6] [6]

Buckmaster, C

T. Buckmaster, C. De Lellis, L. Sz´ ekelyhidi, V. Vicol. On sager’s conjecture for admissible weak solutions, Comm. Pure Appl. Math. 72 (2018) 229–274

work page 2018

[7] [7]

Buckmaster, N

T. Buckmaster, N. Masmoudi, M. Novack, V. Vicol, Intermit tent convex integration for the 3D Euler equations, volume 217 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2023

work page 2023

[8] [8]

Buckmaster, S

T. Buckmaster, S. Shkoller, V. Vicol, Nonuniqueness of we ak solutions to the SQG equation, Comm. Pure Appl. Math. 72 (2019) 1809–1874

work page 2019