REVIEW 1 major objections 2 minor 44 references
The paper proves that every C^1, (-a)-homogeneous, divergence-free initial velocity on the plane, for 1/3 < a < 1, admits a forward self-similar weak solution of the 2D Euler equations, with no smallness or sign restriction.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 11:59 UTC pith:7JMJJ4MH
load-bearing objection A genuinely new large-data self-similar 2D Euler existence theorem with a believable proof; the main technical limitation (a>1/3) is honestly flagged. the 1 major comments →
Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On its own terms, the central discovery is that the self-similar Euler profile equation has a divergence-free distributional solution U for every (-a)-homogeneous C^1 divergence-free far-field datum, with U in the weak-L^{2/a} space, gradient in weak-L^{2/(1+a)}, and pressure in weak-L^{1/a}. The associated time-dependent field is a global weak solution that starts at u0 in the strong L^2_loc sense and whose vorticity attains the initial vorticity as a weak-* limit in the critical Lorentz space. The mechanism is a uniform-in-dissipation estimate on the vorticity of the approximating hypodissipative profiles: a truncation identity forces the rescaled distribution function k^{p_c-1}F(k) to be
What carries the argument
The load-bearing object is the vorticity truncation identity for the hypodissipative profile equation. For the dissipation parameter ε, the vorticity Ω_ε satisfies εΛ^{1+a}Ω_ε + (U_ε - y/(1+a))·∇Ω_ε - Ω_ε = 0. Testing against derivatives of (|Ω_ε| - k)_+ yields, for almost every level k, εD_ε(k) + (p_c-1)F_ε(k) - k m_ε(k) = 0, where F_ε(k) is the positive-part integral and m_ε(k) the superlevel measure; because the dissipation term is nonnegative, this gives d/dk(k^{p_c-1}F_ε(k)) ≤ 0. Together with the far-field limit of the profile, which fixes the endpoint of k^{p_c-1}F_ε(k) in terms of ∫_{S^1}|ω0|^{p_c}, this yields the uniform critical Lorentz bound; Biot-Savart and Lorentz-space estimat
Load-bearing premise
The proof needs the approximating viscous profiles to be smooth and to decay at infinity with specific rates; this is established only for a > 1/3, and when a ≤ 1/3 the iteration that produces those rates stalls, so the uniform vorticity bound and the main theorem would no longer follow from this argument.
What would settle it
Compute the hypodissipative profile sequence numerically for a fixed smooth angular datum at a = 1/3, monitoring sup_{ε∈(0,1]} ||Ω_ε||_{L^{p_c,∞}} and the far-field endpoint lim_{k↓0} k^{p_c-1}F_ε(k); if the uniform bound fails or the endpoint drifts from the value (2(p_c-1))^{-1}∫_{S^1}|ω0|^{p_c} dθ, then the central claim collapses at that endpoint. Equivalently, an analytic counterexample would be an angular datum for which the rescaled distribution function is not monotone.
If this is right
- For every 1/3 < a < 1 and every C^1 divergence-free (-a)-homogeneous u0, a forward self-similar weak solution exists; no smallness or sign condition is needed, so the data can be arbitrarily large.
- The profile enjoys critical Lorentz regularity: U ∈ L^{q_c,∞}, ∇U ∈ L^{p_c,∞}, and P ∈ L^{1/a,∞}, with q_c = 2/a and p_c = 2/(1+a).
- The solution has locally finite energy and u ∈ C([0,∞);L^2_loc), with vorticity uniformly bounded in the critical Lorentz space and weak-* converging to the initial vorticity as t↓0.
- In the range 1/3 < a < 1/2, the vorticity transport equation ∂_tω + u·∇ω = 0 holds in distributions, so the constructed flow is a genuine weak solution of the vorticity formulation.
- The construction provides a family of arbitrarily large self-similar Euler profiles, giving concrete base states for later instability or bifurcation analysis that could yield nonunique weak solutions with the same initial datum.
Where Pith is reading between the lines
- Editorial extension: if the uniform critical vorticity estimate could be proven by a route not relying on the a > 1/3 smoothness of hypodissipative profiles, the same vanishing-dissipation strategy would plausibly extend the theorem down to a = 1/3; a numerical test of the ε-independent bound at a = 1/3 would indicate whether the threshold is real or an artifact of the present proof.
- Editorial extension: since the same (-a)-homogeneous data class is used in recent constructions of forward self-similar Navier-Stokes solutions, the Euler profiles found here can serve as a comparison object in the vanishing-dissipation limit, potentially clarifying where the two equations' self-similar theories diverge.
- Editorial extension: one can test the sharpness of the critical exponent by choosing angular data ω0 with a sharp spike and measuring the rate of weak-* convergence of ω(t) to ω0 in L^{p_c,∞}; the proof gives no rate, and any observed rate would constrain possible nonuniqueness mechanisms.
- Editorial extension: the same truncation-identity mechanism may apply to transport equations with other fractional dissipation exponents or to generalized surface quasi-geostrophic profiles, where a uniform Lorentz bound is the natural bottleneck to check.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for each 1/3 < a < 1 and every C^1 divergence-free (-a)-homogeneous initial vector field u0 on R^2\{0}, a forward-in-time self-similar weak solution of the two-dimensional incompressible Euler equations. The profile U is obtained as a vanishing-dissipation limit of hypodissipative profiles for epsilon Lambda^{1+a}; the central technical achievement is an epsilon-uniform critical Lorentz-space vorticity estimate in L^{p_c,infty}, p_c = 2/(1+a). The resulting solution satisfies u in C([0,infty);L^2_loc), u(0)=u0, and omega in L^infty_t L^{p_c,infty}_x with weak-* initial trace. For 1/3<a<1/2 the vorticity transport equation is also shown to hold. Theorem 2.1, providing smooth hypodissipative profiles with explicit far-field decay for a>1/3, is proved independently in the paper.
Significance. If the proof is correct, this is a significant advance in the theory of self-similar Euler flows: it removes smallness, sign, and radial-dominance assumptions for homogeneous initial data in the range a>1/3, and it produces large self-similar profiles that can serve as base states for nonuniqueness or instability scenarios. The paper is largely self-contained: the hypodissipative profile theorem is proved from scratch, and the appendix provides the required Lorentz-space and Biot-Savart estimates. The critical Lorentz estimate (Prop. 3.4) is elegant and robust, and the a>1/3 restriction is explicitly tied to a bootstrap threshold rather than hidden. However, the pressure normalization in Section 4 is incorrect as written, which affects the proof of the pressure part of the main theorem.
major comments (1)
- [§4, Eq. (4.5); §5, Prop. 5.2] The pressure normalization in Eq. (4.5) is incorrect as written. Taking the divergence of (1.6) gives ΔP_epsilon = -∂_i∂_j(U_epsilon,i U_epsilon,j); hence the correct formula is P_epsilon = -∑_{i,j} R_iR_j(U_epsilon,i U_epsilon,j), not P_epsilon = 2∑_{i,j} R_iR_j(U_epsilon,i U_epsilon,j). With the printed formula, P_epsilon is not the pressure associated to U_epsilon, so the 'straightforward verification' in Prop. 5.2 that a weak-* limit P solves (5.7) does not follow. This is a load-bearing point in the proof of Theorem 1.2(a). The fix is local: with the corrected sign and factor, the Lorentz bound in Prop. 4.2 is unchanged, and the passage to the limit in Prop. 5.2 goes through using strong L^1_loc convergence of U_epsilon ⊗ U_epsilon.
minor comments (2)
- [Throughout] Several cross-references are mislabeled: Prop. 3.4 cites 'Theorems 3.2 and 3.3' (should be Lemmas 3.2 and 3.3); Lemma 4.1 cites 'Theorem 2.4' (should be Prop. 2.4); Section 4 cites 'Theorem A.4' (should be Prop. A.4); 'Proof of Theorem 1.5' in Section 5 should be Corollary 1.5; and Definition 1.1 is called 'Theorem 1.1' in the statement of Theorem 1.2. These should be corrected.
- [§2.1.2] The construction of the Galerkin basis relies on the assertion that every compactly supported divergence-free vector field has a compactly supported smooth stream function. This statement is true (e.g., it follows from H^1_c(R^2)=0), but the one-sentence justification in the text is terse; a short proof or reference would make the approximation property fully rigorous.
Circularity Check
No significant circularity: the construction is self-contained and does not reduce to its inputs.
full rationale
The derivation chain for Theorem 1.2 is self-contained. The fixed-dissipation base theorem is not imported from prior work: Section 2 states 'A similar theorem was proved in [27], while we provide an independent proof of the following result' and then proves Theorem 2.1 from Oseen-kernel bounds, a divergence-free cutoff and Galerkin scheme, and a bootstrap iteration. The key uniform-in-epsilon estimate (3.9) follows from the truncation identity (3.5) and the far-field endpoint (3.7), both proved in-paper using the vortex equation and the far-field asymptotics (2.33); no constant is fitted to the target solution. The initial datum enters through the homogeneous far-field boundary condition, which is the natural formulation for self-similar problems, and the result genuinely proves that the constructed flow attains that datum in the t->0 trace. The restriction a>1/3 is explicitly flagged in Remark 1.6 as the threshold where the bootstrap rate (3a-1)/2 in (2.17) becomes positive; this is an analytic limitation, not a disguised assumption of the conclusion. The self-citations [9,10] appear only in the introduction's literature review and are not load-bearing. No prediction reduces by construction to an input, and no fitted parameter is relabeled as a prediction.
Axiom & Free-Parameter Ledger
axioms (8)
- standard math Fractional heat semigroup kernel bounds (Lemma 2.3): |K_t(z)| ≤ C(t^{1/(1+a)}+|z|)^{-3}, etc.
- standard math Lorentz space duality: (L^{p,∞})^* = L^{p',1} for 1<p<∞, and density of C_c^∞ in L^{p',1}.
- standard math Córdoba–Córdoba inequality: Λ^s η(f) ≤ η'(f) Λ^s f for convex η.
- standard math Rellich–Kondrachov compactness: W^{1,r}(B_R) compactly embeds into L^2(B_R) for r>1 in 2D.
- standard math Mean-value property and Liouville-type decay for harmonic functions.
- domain assumption u0 ∈ C^1(S^1), divergence-free, and (−a)-homogeneous.
- domain assumption Parameter restriction a > 1/3.
- standard math Finite-measure embedding of weak-L^p into L^r on bounded sets, and Lorentz–Hölder inequality.
read the original abstract
Let $\frac{1}{3}<a<1$ and let $u_0$ be a $C^1$, divergence-free, $(-a)$-homogeneous vector field on $\mathbb{R}^2\setminus\{0\}$. We construct a forward-in-time self-similar solution of the two-dimensional incompressible Euler equations, \[ u(t,x)=t^{-\frac{a}{1+a}} U\left(\frac{x}{t^{{\frac{1}{1+a}}}}\right), \] with initial datum $u_0$. No smallness or sign assumption is imposed on the initial datum. The construction is a vanishing-dissipation limit of the hypodissipative self-similar profiles. The key is a vorticity profile estimate, uniform in the dissipation parameter, in the critical Lorentz space $L^{\frac{2}{1+a},\infty}(\mathbb{R}^2)$. The resulting Euler solution $u$ has locally finite energy and $\nabla u \in L^\infty_t L^{\frac{2}{1+a},\infty}_x$. Indeed, the velocity is continuous in $L^2_{\text{loc}}$, and the vorticity converges weak-* in $L^{\frac{2}{1+a},\infty}$ at the initial time.
Reference graph
Works this paper leans on
-
[1]
D. Albritton, J. Guillod, M. Korobkov, and X. Ren, Forward self-similar solutions to the 2D Navier–Stokes equations, preprint, arXiv:2601.03161 (2026)
arXiv 2026
-
[2]
J. T. Beale, T. Kato, and A. Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations,Comm. Math. Phys.94(1984), 61–66
1984
-
[3]
Bressan and W
A. Bressan and W. Shen, A posteriori error estimates for self-similar solutions to the Euler equations,Discrete Contin. Dyn. Syst.41(2021), 113–130
2021
-
[4]
Bru` e, M
E. Bru` e, M. Colombo, and A. Kumar, Flexibility of two-dimensional Euler flows with integrable vorticity,Duke Math. J.175(2026), 1593–1647
2026
-
[5]
T. Buckmaster, B. Georgiev, J. G´ omez-Serrano, R. Jiang, C.-Y. Lai, et al. Discovery of unstable singularities, preprint, arXiv:2509.14185 (2025)
arXiv 2025
-
[6]
Chen and T
J. Chen and T. Y. Hou, Finite time blowup of 2D Boussinesq and 3D Euler equations with C1,α velocity and boundary,Comm. Math. Phys.383(2021), 1559–1667
2021
-
[7]
J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis, preprint, arXiv:2210.07191 (2023)
Pith/arXiv arXiv 2023
-
[8]
Chen and T
J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics,Multiscale Model. Simul.23(2025), 25–130
2025
-
[9]
H. Choi, Asymmetric self-similar spiral solutions of 2-D incompressible Euler equations, preprint, arXiv:2507.05059 (2025)
Pith/arXiv arXiv 2025
-
[10]
H. Choi and M. P. Coiculescu, Multi-sink solutions to the self-similar Euler equations, preprint, arXiv:2602.15152 (2026). 29
arXiv 2026
-
[11]
M. P. Coiculescu and S. Palasek, Non-uniqueness of smooth solutions of the Navier–Stokes equations from critical data,Invent. Math.244(2026), 165–219
2026
-
[12]
P. Constantin, M. Ignatova, and V. Vicol, On putative self-similarity for incompressible 3D Euler, preprint, arXiv:2602.17570 (2026)
Pith/arXiv arXiv 2026
-
[13]
C´ ordoba and D
A. C´ ordoba and D. C´ ordoba, A maximum principle applied to quasi-geostrophic equations, Comm. Math. Phys.249(2004), 511–528
2004
-
[14]
De Lellis and L
C. De Lellis and L. Sz´ ekelyhidi, Jr., The Euler equations as a differential inclusion,Ann. of Math.170(2009), 1417–1436
2009
-
[15]
Delort, Existence de nappes de tourbillon en dimension deux,J
J.-M. Delort, Existence de nappes de tourbillon en dimension deux,J. Amer. Math. Soc.4 (1991), 553–586
1991
-
[16]
R. J. DiPerna and A. J. Majda, Concentrations in regularizations for 2-D incompressible flow, Comm. Pure Appl. Math.40(1987), 301–345
1987
-
[17]
R. J. DiPerna and A. J. Majda, Reduced Hausdorff dimension and concentration-cancellation for two-dimensional incompressible flow,J. Amer. Math. Soc.1(1988), 59–95
1988
-
[18]
T. M. Elgindi, Finite-time singularity formation forC 1,α solutions to the incompressible Euler equations onR 3,Ann. of Math.194(2021), 647–727
2021
-
[19]
Elling, Algebraic spiral solutions of 2D incompressible Euler,J
V. Elling, Algebraic spiral solutions of 2D incompressible Euler,J. Differential Equations255 (2013), 3749–3787
2013
-
[20]
Elling, Self-similar 2D Euler solutions with mixed-sign vorticity,Comm
V. Elling, Self-similar 2D Euler solutions with mixed-sign vorticity,Comm. Math. Phys.348 (2016), 27–68
2016
-
[21]
Giri and R.-O
V. Giri and R.-O. Radu, The Onsager conjecture in 2D: a Newton-Nash iteration,Invent. Math.238(2024), 691–768
2024
-
[22]
Grafakos,Classical Fourier Analysis, third edition, Graduate Texts in Mathematics 249, Springer, New York, 2014
L. Grafakos,Classical Fourier Analysis, third edition, Graduate Texts in Mathematics 249, Springer, New York, 2014
2014
-
[23]
H¨ older, ¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit,Math
E. H¨ older, ¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit,Math. Z.37(1933), 727–738
1933
-
[24]
Garc ´ ıa and J
C. Garc ´ ıa and J. G´ omez-Serrano, Self-similar spirals for the generalized surface quasi- geostrophic equations,J. Eur. Math. Soc.28(2026), 4239–4320
2026
-
[25]
C. Gui, H. Liu, and C. Xie, On the existence of forward self-similar solutions to the two- dimensional Navier–Stokes equations, preprint, arXiv:2601.03833 (2026)
arXiv 2026
-
[26]
Guillod and V
J. Guillod and V. ˇSver´ ak, Numerical investigations of non-uniqueness for the Navier–Stokes initial value problem in borderline spaces,J. Math. Fluid Mech.25(2023), Paper No. 46
2023
-
[27]
T. Y. Hou and P. Song, Forward self-similar solutions to the 2D hypodissipative Navier–Stokes equations, preprint, arXiv:2603.12497 (2026)
Pith/arXiv arXiv 2026
-
[28]
T. Y. Hou, Y. Wang, and C. Yang, Nonuniqueness of Leray–Hopf solutions to the unforced incompressible 3D Navier–Stokes equation, preprint, arXiv:2509.25116v2 (2025). 30
arXiv 2025
-
[29]
A. D. Ionescu, H. Jia, and S. Palasek, On the non-uniqueness of solutions of the axi-symmetric swirl-free Navier–Stokes equations, I, preprint, arXiv:2606.07501 (2026)
Pith/arXiv arXiv 2026
-
[30]
Jia and V
H. Jia and V. ˇSver´ ak, Local-in-space estimates near initial time for weak solutions of the Navier–Stokes equations and forward self-similar solutions,Invent. Math.196(2014), 233– 265
2014
-
[31]
Jia and V
H. Jia and V. ˇSver´ ak, Are the incompressible 3D Navier–Stokes equations locally ill-posed in the natural energy space?,J. Funct. Anal.268(2015), 3734–3766
2015
-
[32]
Luo and T
G. Luo and T. Y. Hou, Potentially singular solutions of the 3D incompressible Euler equations, Proc. Natl. Acad. Sci. USA111(2014), 12968–12973
2014
-
[33]
A. J. Majda and A. L. Bertozzi,Vorticity and Incompressible Flow, Cambridge Texts in Applied Mathematics, Cambridge University Press, Cambridge, 2002
2002
-
[34]
Neˇ cas, M
J. Neˇ cas, M. R ˚ uˇ ziˇ cka, and V.ˇSver´ ak, On Leray’s self-similar solutions of the Navier–Stokes equations,Acta Math.176(1996), 283–294
1996
-
[35]
O’Neil, Convolution operators andL(p, q) spaces,Duke Math
R. O’Neil, Convolution operators andL(p, q) spaces,Duke Math. J.30(1963), 129–142
1963
-
[36]
Scheffer, An inviscid flow with compact support in space-time,J
V. Scheffer, An inviscid flow with compact support in space-time,J. Geom. Anal.3(1993), 343–401
1993
-
[37]
Schochet, The weak vorticity formulation of the 2-D Euler equations and concentration- cancellation,Comm
S. Schochet, The weak vorticity formulation of the 2-D Euler equations and concentration- cancellation,Comm. Partial Differential Equations20(1995), 1077–1104
1995
-
[38]
F. Shao, D. Wei, and Z. Zhang, Self-similar algebraic spiral solution of 2-D incompressible Euler equations,Ann. PDE11(2025), Paper No. 13
2025
-
[39]
Shnirelman, On the nonuniqueness of weak solution of the Euler equation,Comm
A. Shnirelman, On the nonuniqueness of weak solution of the Euler equation,Comm. Pure Appl. Math.50(1997), 1261–1286
1997
-
[40]
Tsai, On Leray’s self-similar solutions of the Navier–Stokes equations satisfying local energy estimates,Arch
T.-P. Tsai, On Leray’s self-similar solutions of the Navier–Stokes equations satisfying local energy estimates,Arch. Ration. Mech. Anal.143(1998), 29–51
1998
-
[41]
Vishik, Incompressible flows of an ideal fluid with vorticity in borderline spaces of Besov type,Ann
M. Vishik, Incompressible flows of an ideal fluid with vorticity in borderline spaces of Besov type,Ann. Sci. ´Ecole Norm. Sup.32(1999), 769–812
1999
-
[42]
Wolibner, Un th´ eor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incompressible, pendant un temps infiniment long,Math
W. Wolibner, Un th´ eor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incompressible, pendant un temps infiniment long,Math. Z.37(1933), 698–726
1933
-
[43]
V. I. Yudovich, Non-stationary flows of an ideal incompressible fluid,USSR Comput. Math. Math. Phys.3(1963), 1407–1456
1963
-
[44]
V. I. Yudovich, Uniqueness theorem for the basic nonstationary problem in the dynamics of an ideal incompressible fluid,Math. Res. Lett.2(1995), 27–38. Hyungjun Choi Princeton University Email Address:hyungjun.choi@princeton.edu 31
1995
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.