Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

On the upper bound for the vorticity growth of bi-rotational Euler flows without swirl

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read For bi-rotational, swirl-free Euler flows in dimensions 4, 5, and 6, the vorticity maximum cannot grow faster than (1+t)^4, (1+t)^12, and e^{Ct}, respectively — the same upper bounds known for axisymmetric no-swirl flows.

desk verdict Solid extension of bi-rotational Euler global regularity to d=4-6 with the axisymmetric growth rate; the proof is mostly careful but needs to close a few gaps (local existence details, energy conservation, one kernel estimate step). read the letter →

arxiv 2607.27560 v1 pith:AYKJGONW submitted 2026-07-30 math.AP

Khakim Egamberganov , Deokwoo Lim This is my paper · ORCID
classification math.AP MSC 76B4735Q35
keywords vortexstretchingbi-rotationalsymmetryEulerequationsvorticitygrowthBiot–SavartlawYudovichsolutionsglobalwell-posednesshigh-dimensionalfluiddynamics
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 incompressible Euler flows with bi-rotational symmetry and no swirl — a two-axis analogue of axisymmetric flows — admit unique global-in-time solutions in dimensions 4, 5, and 6, within a Yudovich-type class of bounded vorticity. The central quantitative result is an upper bound on the growth of the maximum vorticity: it grows at most like (1+t)^4 in four dimensions, (1+t)^12 in five dimensions, and exponentially in six dimensions. These rates coincide with the known upper bounds for axisymmetric no-swirl flows in high dimensions, suggesting a universal stretching law for symmetric Euler flows. The local well-posedness result covers all dimensions d ≥ 4 under suitable decay assumptions.

What carries the argument

The central object is the conserved relative vorticity w/(r^n s^m): because this quantity is transported by the flow, the vorticity maximum can be estimated by the time integral of the velocity maximum. The Biot–Savart kernel, written via two angular integrals, admits pointwise decay bounds (Lemmas 4.2 and 4.3) that yield the Feng–Šverák-type estimate ∥v∥_{L∞} ≲ (∥r^m w/s^m∥_{L1}+∥s^n w/r^n∥_{L1})^{1/2} ∥w/(r^n s^m)∥_{L∞}^{1/2}. Radial moment inequalities then control the two L1 moments; the whole argument closes with a BKM-type continuation criterion.

What would settle it

Compute the time derivative of the L^2 energy for the regularized (smoothed) approximations used to build the local solution, and check whether it tends to zero in the limit. If, for some initial datum satisfying (1.8) and d=4, the limiting Yudovich solution has d/dt ∥v(t)∥_{L^2}^2 ≠ 0 on a set of positive measure, the identity used in Lemma 4.6 is false and the proof of Theorem 1.2 would not carry through.

Watch

Extended reading notes

Core claim

The authors establish that the scalar vorticity w(r,s) of a bi-rotational no-swirl Euler flow satisfies a 2D transport equation in which the ratio w/(r^n s^m) is conserved along particle trajectories. Using a Biot–Savart kernel expressed through a double angular integral, they derive a Feng–Šverák-type estimate bounding the velocity in terms of the square root of two radial moments of the vorticity times the conserved relative vorticity. Combining this with differential inequalities for the radial moments — which rely on conservation of kinetic energy — yields a closed differential inequality for the sum of moments. Solving it gives the claimed growth bounds for d=4,5,6, and the BKM criterio

Load-bearing premise

Lemma 4.6 uses, without proof or citation, the conservation of kinetic energy for the Yudovich-type weak solution in dimensions d≥4: ∥r^{n/2}s^{m/2}v(t)∥_{L^2(Π)} = ∥v_0∥_{L^2(R^d)}; for weak Euler solutions with only bounded vorticity and L^2 velocity, energy conservation is not automatic in high dimensions, so if the constructed solution loses energy the radial-moment differential inequalities fail and the global growth bound of Theorem 1.2 collapses.

Editorial extensions

If this is right

  • For d=4 and d=5, any bi-rotational no-swirl solution with initial data satisfying (1.8) has vorticity maximum growing at most polynomially, so no finite-time singularity can form in this class.
  • In d=6, the same class allows at most exponential vorticity growth, still precluding finite-time blowup.
  • The growth rates match the axisymmetric no-swirl case, indicating that the vortex-stretching mechanism in these symmetric flows is dimensionally universal across symmetry classes.
  • The local well-posedness theorem provides a Yudovich-type (bounded vorticity) well-posedness framework for bi-rotational flows in all d≥4, useful for future stability or singularity studies.
  • The Biot–Savart kernel estimates may be transferable to related problems such as the lake equation with depth function r^n s^m.

Reading between the lines

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

  • If the kinetic-energy conservation used in Lemma 4.6 fails for the weak solutions constructed, the radial-moment differential inequalities would need an extra term; the growth bounds might degrade, so the sharpness of the t^4 and t^12 exponents is contingent on energy conservation.
  • The matching of rates with the axisymmetric case suggests that the optimal growth rate for bi-rotational flows might also be attained by a Childress-type dipole construction; verifying a matching lower bound would require building such dipoles in the bi-rotational geometry.
  • For d≥7 the closing differential inequality fails to be integrable with these exponents, so the method does not yield global existence; whether bi-rotational flows blow up in d≥7 remains open, and this paper's framework isolates the dimension threshold.
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.

Referee Report

3 major / 5 minor

Summary. The paper studies the incompressible Euler equations in R^d (d≥4) in the class of bi-rotationally symmetric, swirl-free flows. The first main result (Theorem 1.1) asserts local well-posedness for Yudovich-type solutions with vorticity in L^{d,1}∩L∞ and suitable weighted integrability of w_0/(r^n s^m). The second main result (Theorem 1.2) asserts global well-posedness for d≤6 under additional finite-energy and decay assumptions, together with upper bounds on the growth of the vorticity maximum: polynomial rates (1+t)^{4(d-2)/(6-d)} for d=4,5 and an exponential rate for d=6. The proof strategy is to use conservation of w/(r^n s^m) along particle trajectories, a Feng–Sverák-type bound on the velocity in terms of the relative vorticity and two radial moments, and differential inequalities for those radial moments. The paper is clearly structured and the overall strategy is coherent, but a load-bearing step in the radial-moment estimate relies on an unproved conservation of kinetic energy for the Yudovich-type solution.

Significance. If the proof is completed, the paper would be a substantial contribution: it extends quantitative vorticity-growth upper bounds from the axisymmetric setting to a genuinely higher-dimensional symmetry class (bi-rotational), and it simplifies the bi-rotational Biot–Savart kernel to obtain the needed decay estimates. The use of Lorentz spaces, the radial-moment method, and the Feng–Sverák-type estimate are natural and promising. The paper also provides a useful comparison with known rates for axisymmetric flows. However, the current manuscript has a serious gap in the proof of Lemma 4.6 (kinetic-energy conservation is asserted without justification), and the local well-posedness argument is only sketched. These issues are repairable, but they are central to the claimed global growth estimates.

major comments (3)
  1. [§4.2, Lemma 4.6] The last line of the proof identifies ||r^{n/2}s^{m/2}v(t)||_{L^2(Π)} with ||v_0||_{L^2(R^d)} by 'conservation of the kinetic energy'. For the Yudovich-type solution produced by Theorem 1.1, no energy class, energy equality, or even energy inequality is established. In d≥4, weak solutions with only bounded vorticity and L^2 velocity do not automatically conserve energy. The deferred smoothing argument could, at best, yield the inequality ||v(t)||_{L^2} ≤ ||v_0||_{L^2} by weak lower semicontinuity, provided the approximating sequence is uniformly L^2-bounded, but this is not written. This step is load-bearing: it feeds into the Hölder inequality in Lemma 4.6, the differential inequality in Lemma 4.7, and hence the final bound (1.9). The argument can likely be repaired by replacing equality with the inequality and proving that inequality for the constructed solution, but as written the pro
  2. [Theorem 1.1, §3] The proof of Theorem 1.1 says 'It suffices to derive a priori estimates, as the existence of solutions follows by a standard smoothing argument, while uniqueness in the stated class can be proved as in [8].' This is not a routine detail: the solution class involves the Lorentz space L^{d,1} and the weighted estimates are only obtained at the formal level. The smoothing argument must be shown to produce a solution in the stated class, to satisfy the same a priori bounds, and—crucially for Theorem 1.2—to satisfy the energy inequality needed in Lemma 4.6. Without this, the local well-posedness claim and the later global continuation are not fully supported.
  3. [End of §4, proof of Theorem 1.2] The continuation to T*_d =∞ is made 'by the BKM criterion'. The BKM criterion is normally stated for smooth solutions; the present solution has only Yudovich-type regularity. A continuation criterion for this class (or a direct re-start of the Theorem 1.1 estimates using the global ||w||∞ bound and the moment bounds from Lemma 4.7) is needed. As written, the step from 'the estimates hold on [0,T*_d)' to 'the solution is global' is not fully justified.
minor comments (5)
  1. [Title and abstract] There is a typo in the title: 'VOR TICITY' should be 'VORTICITY'. Also, the abstract says the rate 'coincides with' the axisymmetric rate; since only an upper bound is proved, 'matches the upper bound' would be more precise.
  2. [§4.2] The equivalence P^r_k(t) ≃ ||w/(r^{n-k}s^m)||_{L^1(R^d)} is stated without explaining that the L^1(R^d) norm carries the weight r^n s^m dr ds. This is correct, but it would help the reader to see the identity explicitly, especially since later Lemma 4.6 switches between unweighted and weighted norms.
  3. [Proposition 4.4] The notation B_{1/4}(r,s) is used both for the ball centered at (r,s) and for the point (r,s) on the unit quarter-circle. Please clarify the distinction, e.g., by writing B_{1/4}(r,s) for the center and (r,s) for the evaluation point.
  4. [Lemma 4.1] In the proof of (4.3), the expansion g(z)=C_{β,γ} z^{γ+α}+O(z^{γ+α+1}) as z→0+ should specify the dependence of the implicit constants on α,β,γ and justify why the first subleading term is indeed of the stated order for all allowed parameter ranges.
  5. [Throughout] Some references are given in the form 'preprint' or 'to appear'. Please update them if possible, and ensure the bibliography styles are consistent (e.g., author initials, journal abbreviations).

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the Theorem 1.2 growth rate is derived from PDE estimates, not from the compared axisymmetric rates [18,24]; self-citations are technical or comparative, and the flagged energy-conservation step is a missing-proof issue rather than a circular reduction.

full rationale

The central derivation is self-contained. The chain is: conservation of w/(r^n s^m) gives the vorticity-maximum bound (1.11); Proposition 4.4 obtains the Feng–Sverak-type velocity bound (4.8) from the Biot–Savart kernel estimates in Lemmas 4.1–4.3; Lemma 4.6 uses Holder to bound the time derivative of the radial moments P^r_{d-2}, P^s_{d-2} by ||u||_∞^{(d-4)/(d-2)} times P^{(d-3)/(d-2)}; combining with (4.17) gives d/dt L_{d-2} ≲ L_{d-2}^{(3d-10)/(2d-4)}, whose solution yields (4.15), (4.16) and finally the stated (1.9). The axisymmetric rates from [18] and [24] are cited only for comparison in the abstract and introduction, not used as inputs. The self-citations [6], [10], and [15] are, respectively, a sufficiency remark for d=4, a regularization technique whose proof is reproduced in Lemma 4.5, and a coordinate identity derived in Section 2; none is load-bearing for the main estimate. The one genuine concern is non-circular: in Lemma 4.6, the line "where, in the last line, we also used the conservation of the kinetic energy" asserts ||r^{n/2}s^{m/2}v(t)||_{L2(Π)}^2 = ||v0||_{L2(R^d)}^2 without proof. For the low-regularity Yudovich-type solutions of Theorem 1.1 in d≥4, energy equality is not automatic, and if only weak lower semicontinuity gives ≤, the argument may need repair. However, this is a missing justification/correctness gap, not a reduction of the result to its own inputs; the derivation is not equivalent to an assumption by construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted constants or invented physical entities appear. The proof rests on the symmetry ansatz and standard PDE tools, plus three unproved or understated analytic assumptions: energy conservation, BKM continuation, and the smoothing construction.

assumptions (5)
  • domain assumption Bi-rotational symmetry and no-swirl reduce Euler to the scalar transport-stretching equation (1.3).
    This is the class of flows under study; it is not derived from more basic principles.
  • standard math Lorentz-space duality (L^{d,1})* = L^{d/(d-1),∞} and the corresponding Holder inequality.
    Used in Lemma 3.1 and elsewhere; standard harmonic-analysis background.
  • domain assumption Kinetic energy is conserved by the local Yudovich solution.
    Invoked without proof in Lemma 4.6; nontrivial for weak solutions in d≥4.
  • domain assumption The BKM criterion applies to this Yudovich-type class and can extend the solution beyond T*_d.
    Used at the end of Theorem 1.2 to upgrade local to global existence; not proved or cited in detail.
  • domain assumption Existence and uniqueness in Theorem 1.1 follow from a standard smoothing argument as in Danchin [8].
    The paper supplies only a priori estimates; the construction is delegated.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the upper bound for the vorticity growth of bi-rotational Euler flows without swirl." pith.science (2026). https://pith.science/paper/AYKJGONW

@misc{pith2026260727560,
  author       = {Pith},
  title        = {Pith review of: On the upper bound for the vorticity growth of bi-rotational Euler flows without swirl},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AYKJGONW}},
  note         = {Machine review of arXiv:2607.27560}
}
abstract

For $d\geq 4$, we consider incompressible Euler flows in $\mathbb{R}^{d}$ with bi-rotational symmetry and without swirl. Our first result gives the local wellposedness of the Yudovich-type solution. The second result provides global wellposedness up to $d\leq 6$. In particular, it shows that the rate of growth of the vorticity maximum coincides with the rate from axisymmetric flows without swirl, which was obtained in the paper by the second author and Jeong (Arch. Ration. Mech. Anal. 249(3):32, 2025) and Shao--Wei--Zhang (Acta Math. Sin. (Engl. Ser.), 42(3):663-679, 2026).

Figures

Figures reproduced from arXiv: 2607.27560 by the authors.

Figure 1
Figure 1. A diagram of Childress’ dipole model centered at the point (R, R) with radius a. High dimension. There are several works which analyzed axisymmetric Euler equations in high dimensions d ≥ 3 ([7, 17, 12]). Although such cases are not physical, there are several works suggesting that there is a good chance that finite-time singularity formation of a solution with some smooth initial data can occur when the dimension i… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Linear Growth of the Vorticity Maximum for Axisymmetric Euler Flows Without Swirl

    math.AP 2025-11 conditional novelty 8.0 of 10

    For axisymmetric Euler flows without swirl with anti-parallel, one-signed vorticity, the radial moment satisfies P(t)[log t]^{5/2}/t^{3/2} -> infinity and the vorticity maximum reaches a fixed fraction of t on (1-eta)...

Reference graph

Works this paper leans on

27 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [8]

    Axisymmetric incompressible flows with bounded vorticity.Uspekhi Mat

    Rapha¨ el Danchin. Axisymmetric incompressible flows with bounded vorticity.Uspekhi Mat. Nauk, 62(3(375)):73– 94, 2007

    2007

  2. [1]

    On the global well-posedness for the axisymmetric Euler equations.Math

    Hammadi Abidi, Taoufik Hmidi, and Sahbi Keraani. On the global well-posedness for the axisymmetric Euler equations.Math. Ann., 347(1):15–41, 2010

    2010

  3. [2]

    Fluides parfaits incompressibles.Ast´ erisque, (230):177, 1995

    Jean-Yves Chemin. Fluides parfaits incompressibles.Ast´ erisque, (230):177, 1995

    1995

  4. [3]

    Stephen Childress. Models of vorticity growth in Euler flows I, Axisymmetric flow without swirl and II, Almost 2-D dynamics.AML reports 05-07 and 06-07, Courant institute of mathematical sciences, 2007

    2007

  5. [4]

    Growth of anti-parallel vorticity in Euler flows.Phys

    Stephen Childress. Growth of anti-parallel vorticity in Euler flows.Phys. D, 237(14-17):1921–1925, 2008

    1921

  6. [5]

    Gilbert, and Paul Valiant

    Stephen Childress, Andrew D. Gilbert, and Paul Valiant. Eroding dipoles and vorticity growth for Euler flows inR 3: axisymmetric flow without swirl.J. Fluid Mech., 805:1–30, 2016

    2016

  7. [6]

    On global regularity of some bi-rotational Euler flows inR 4.J

    Kyudong Choi, In-Jee Jeong, and Deokwoo Lim. On global regularity of some bi-rotational Euler flows inR 4.J. Differential Equations, 425:627–660, 2025. 21

    2025

  8. [7]

    Global regularity for some axisymmetric Euler flows inR d

    Kyudong Choi, In-Jee Jeong, and Deokwoo Lim. Global regularity for some axisymmetric Euler flows inR d. Proc. Amer. Math. Soc., 154(6):2605–2616, 2026

    2026

Show all 27 references
  1. [9]

    Drivas and Tarek M

    Theodore D. Drivas and Tarek M. Elgindi. Singularity formation in the incompressible Euler equation in finite and infinite time.EMS Surv. Math. Sci., 10(1):1–100, 2023

    2023

  2. [10]

    Growth estimates for axisymmetric euler equations without swirl.preprint, arXiv:2512.13456

    Khakim Egamberganov and Yao Yao. Growth estimates for axisymmetric euler equations without swirl.preprint, arXiv:2512.13456

  3. [11]

    On the Cauchy problem for axi-symmetric vortex rings.Arch

    Hao Feng and Vladim ´ ırˇSver´ ak. On the Cauchy problem for axi-symmetric vortex rings.Arch. Ration. Mech. Anal., 215:89–123, 2015

    2015

  4. [12]

    Growth rates for anti-parallel vortex tube Euler flows in three and higher dimensions.J

    Stephen Gustafson, Evan Miller, and Tai-Peng Tsai. Growth rates for anti-parallel vortex tube Euler flows in three and higher dimensions.J. Math. Fluid Mech., 28(1):Paper No. 19, 16, 2026

    2026

  5. [13]

    Hou and Shumao Zhang

    Thomas Y. Hou and Shumao Zhang. Potential singularity of the axisymmetric euler equations withc α initial vorticity for a large range ofα. part i: the 3-dimensional case. 2022

    2022

  6. [14]

    Hou and Shumao Zhang

    Thomas Y. Hou and Shumao Zhang. Potential singularity of the axisymmetric euler equations withc α initial vorticity for a large range ofα. part ii: then-dimensional case. 2022

    2022

  7. [15]

    Support growth of vorticity for bi-rotational euler flows in high dimensions

    In-Jee Jeong and Deokwoo Lim. Support growth of vorticity for bi-rotational euler flows in high dimensions. Rev. Mat. Iberoam., to appear, arXiv:2510.18335

  8. [16]

    Higher-dimensional Euler fluids and Hasimoto transform: counterexamples and generalizations.Nonlinearity, 34(3):1525–1542, 2021

    Boris Khesin and Cheng Yang. Higher-dimensional Euler fluids and Hasimoto transform: counterexamples and generalizations.Nonlinearity, 34(3):1525–1542, 2021

    2021

  9. [17]

    Global regularity of some axisymmetric, single-signed vorticity in any dimension.Commun

    Deokwoo Lim. Global regularity of some axisymmetric, single-signed vorticity in any dimension.Commun. Math. Sci., 23(1):279–298, 2025

    2025

  10. [18]

    On the optimal rate of vortex stretching for axisymmetric Euler flows without swirl.Arch

    Deokwoo Lim and In-Jee Jeong. On the optimal rate of vortex stretching for axisymmetric Euler flows without swirl.Arch. Ration. Mech. Anal., 249(3):Paper No. 32, 31, 2025

    2025

  11. [19]

    A confinement result for axisymmetric fluids.Rend

    Carlotta Maffei and Carlo Marchioro. A confinement result for axisymmetric fluids.Rend. Sem. Mat. Univ. Padova, 105:125–137, 2001

    2001

  12. [20]

    Majda and Andrea L

    Andrew J. Majda and Andrea L. Bertozzi.Vorticity and incompressible flow, volume 27 ofCambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge, 2002

    2002

  13. [21]

    Global regularity for axisymmetric, swirl-free solutions of the euler equation in four dimensions

    Evan Miller. Global regularity for axisymmetric, swirl-free solutions of the euler equation in four dimensions. preprint, arXiv:2602.13963

    arXiv

  14. [22]

    On the regularity of axisymmetric, swirl-free solutions of the euler equation in four and higher dimensions.Rev

    Evan Miller and Tai-Peng Tsai. On the regularity of axisymmetric, swirl-free solutions of the euler equation in four and higher dimensions.Rev. Mat. Iberoam., to appear, arXiv:2204.13406

    arXiv

  15. [23]

    Saint Raymond

    X. Saint Raymond. Remarks on axisymmetric solutions of the incompressible Euler system.Comm. Partial Differential Equations, 19(1-2):321–334, 1994

    1994

  16. [24]

    Global regularity of axisymmetric Euler equations without swirl in higher dimensions.Acta Math

    Feng Shao, Dongyi Wei, and Zhifei Zhang. Global regularity of axisymmetric Euler equations without swirl in higher dimensions.Acta Math. Sin. (Engl. Ser.), 42(3):663–679, 2026

    2026

  17. [25]

    Note on global existence for axially symmetric solutions of the Euler system

    Taira Shirota and Taku Yanagisawa. Note on global existence for axially symmetric solutions of the Euler system. Proc. Japan Acad. Ser. A Math. Sci., 70(10):299–304, 1994

    1994

  18. [26]

    M. R. Ukhovskii and V. I. Yudovich. Axially symmetric flows of ideal and viscous fluids filling the whole space. J. Appl. Math. Mech., 32:52–61, 1968

    1968

  19. [27]

    Vortex motion of the Euler and lake equations.J

    Cheng Yang. Vortex motion of the Euler and lake equations.J. Nonlinear Sci., 31(3):Paper No. 48, 21, 2021. Department of Mathematics, National University of Singapore, Block S17, 10 Lower Kent Ridge Road, Singapore, 119076, Singapore Email address:k.egamberganov@u.nus.edu Scho...

    2021

Pith tools

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