Pith. sign in

REVIEW 5 minor 23 references

Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

T0 review · 0 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read A force in $L^1(0,T;L^2(D))$ can make a smooth, finite-energy Navier–Stokes solution lose boundedness at a finite time.

desk verdict A checkable, honest sharpening of Zhang's forced blow-up construction; the pure-swirl caveat is real but disclosed. read the letter →

arxiv 2608.11553 v1 pith:I4P3TFQY submitted 2026-08-12 math.AP

Hugo Beirão da Veiga , Jiaqi Yang This is my paper · ORCID
classification math.AP MSC 35Q3076D0335A01
keywords Navier–StokesequationsexternalforcelossofboundednesspureswirlmixednormsLeray–Hopfsolution
topics Navier-Stokes Regularity
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

The paper constructs a concrete example showing that an external force of energy-class integrability -- $f\in L^1(0,T;L^2(D))$ -- can drive a smooth, finite-energy solution of the forced three-dimensional Navier–Stokes equations in a cylinder to lose boundedness: $\|v(t)\|_{L^\infty(D)}\to\infty$ as $t\uparrow T$. The construction works for every pair of exponents $1\le p,q<\infty$ with $1/p+1/q>1$, and it determines the exact mixed-norm ranges of the force and the velocity for this family. Since the example is classical before $T$, extends to a unique Leray–Hopf solution, and satisfies the energy equality up to $T$, the paper shows that these standard guarantees do not exclude terminal loss of boundedness. The same explicit fields solve the forced Stokes system, because the convection term is exactly absorbed by the pressure.

What carries the argument

The load-bearing object is a pure-swirl velocity field $v=W(r,t)e_\theta$ in the circular cylinder, so the fluid moves only around the axis and $W$ depends only on radius and time. In that ansatz $(v\cdot\nabla)v=-W^2r^{-1}e_r$ is a gradient, so it is absorbed into the pressure and the azimuthal equation reduces to the scalar linear heat-type equation (17): $\partial_tW-(\partial_r^2+r^{-1}\partial_r-r^{-2})W=F$. The solution is built from a self-similar profile $\phi_0$, Zhang's profile refined by an annular cancellation: $\phi_0\equiv0$ for $r\le a$ and $\phi_0=-\beta/r$ for $r\ge b$, thanks to a compactly supported weight $A\in C_c^\infty((a,b))$. Setting $R(t)=\sqrt{2(T-t)}$, the velocity is $W(r,t)=r^\alpha R(t)^{-1}\phi_0(r/R(t))+\beta r$, and the force is chosen as $F=-r^\alpha h-\alpha^2r^{\alpha-2}\phi-2\alpha r^{\alpha-1}\partial_r\phi$. The annular cancellation keeps the non-integer factor $r^\alpha$ smooth at the axis; the exact outer identity $F=-\beta\alpha(2-\alpha)r^{\alpha-3}$ on $bR(t)\le r\le r_0$ and the pointwise bounds (27) yield all the two-sided rates.

What would settle it

Take the explicit formulas (30)–(31), fix an admissible $\alpha$, and check the two-sided bound (32) numerically or symbolically: the $L^q(0,T;L^p(D))$ norm of $f$ must be finite exactly when $\alpha>3-2/p-2/q$, with logarithmic divergence at equality. The decisive identity to verify is $F(r,t)=-\beta\alpha(2-\alpha)r^{\alpha-3}$ on the annular shell $bR(t)\le r\le r_0$; a single counterexample to this identity or to the stated rate would falsify Lemma 4.1 and with it Theorem 1.2.

Watch

Extended reading notes

Core claim

The paper's central claim is that terminal loss of boundedness is compatible with every standard regularity guarantee short of the sup norm. Concretely, for any $T>0$ and any $1\le p,q<\infty$ with $1/p+1/q>1$, Theorem 1.2 provides a force $f\in L^q(0,T;L^p(D))\cap L^1(0,T;L^2(D))$ and a classical solution $(v,P)$ of (1)–(2), smooth on $D\times[0,T)$, such that $\|v(t)\|_{L^\infty(D)}\to\infty$ as $t\uparrow T$ while $v\in L^\infty(0,T;L^2(D))\cap L^2(0,T;H^1(D))$. The solution extends strongly in $L^2$ to the unique Leray–Hopf solution on $[0,T]$ and satisfies the energy equality. The construction gives two-sided rates, e.g. $\|v(t)\|_{L^\infty(D)}\asymp(T-t)^{-(1-\alpha)/2}$ and $\|f(t)\|_{L^p(D)}\asymp(T-t)^{-(3-\alpha)/2+1/p}$ for a parameter $\alpha$ chosen in (8). It also classifies the mixed norms exactly: within this family $f\in L^q(0,T;L^p(D))$ holds precisely for $\alpha>3-2/p-2/q$, and $v\in L^\sigma(0,T;L^m(D))$ precisely for $\alpha>1-2/m-2/\sigma$.

Load-bearing premise

The load-bearing premise is that the fluid moves only around the cylinder's axis (purely azimuthal flow, $v_r=v_3=0$) with free-slip horizontal boundaries; this makes $(v\cdot\nabla)v$ a pure pressure gradient and reduces the evolution to the scalar linear equation (17), and the construction does not go through without this kinematic and boundary ansatz.

Editorial extensions

If this is right

  • For every finite $p\ge1$ the construction allows $q=1$, so the force can always be taken in $L^1(0,T;L^2(D))$; energy-class integrability of the forcing is compatible with unboundedness of the velocity.
  • The mixed-norm classification is exact for this family: $f\in L^\sigma(0,T;L^m(D))$ holds precisely when $\alpha>3-2/m-2/\sigma$, with logarithmic divergence at equality; in particular the advertised $L^1_t L^2_x$ case is included.
  • One may choose the parameter $\alpha$ so that the velocity lies in any prescribed $L^\sigma(0,T;L^m(D))$ while still having $\|v(t)\|_{L^\infty(D)}\to\infty$.
  • The extended solution is unique in the Leray–Hopf class and satisfies the energy equality on $[0,T]$, so a sup-norm loss of boundedness does not force nonuniqueness or an energy defect.
  • Because the nonlinear term is absorbed into the pressure, the same example is a solution of the forced Stokes system, showing the effect is essentially linear.

Reading between the lines

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

  • The thresholds are exact for the constructed pure-swirl family; the paper does not prove that every force with $1/p+1/q>1$ must produce loss of boundedness, nor that exponents with $1/p+1/q\le1$ forbid it.
  • Because the mechanism is a linear scalar equation dressed by pressure, the annular-profile construction is likely transplantable to other linear or semilinear parabolic problems, and a testable extension would be to run the same construction in a ball instead of a finite cylinder.
  • The loss of boundedness concentrates on the symmetry axis at spatial scale $\sqrt{T-t}$; an instructive perturbation would add a small radial or axial velocity component and check whether this cancellation, and the mixed-norm thresholds, survive.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper constructs, for each T>0 and each finite p,q with 1/p+1/q>1, an explicit pure-swirl solution of the forced three-dimensional Navier-Stokes equations in a cylinder with mixed boundary conditions. The force lies in L^q(0,T;L^p(D)) and automatically also in L^1(0,T;L^2(D)); the solution is classical on [0,T), has finite energy, satisfies the energy equality, extends strongly in L^2 to the unique Leray-Hopf solution at T, and has L-infinity norm diverging as t approaches T. The construction refines Zhang's profile with an annular cutoff in the self-similar variable, and the authors derive two-sided asymptotic rates for the force, the velocity supremum norm, and the enstrophy, together with exact mixed-norm thresholds for force and velocity.

Significance. If the proof is correct, the paper provides a sharp, explicit example showing that L^1_t L^2_x forcing is compatible with terminal loss of boundedness within the Leray-Hopf class, with uniqueness and energy equality holding. The argument is explicit and checkable: the profile identity (22), the rescaled parabolic identity (26), the commutator computation leading to (31), and the two-sided estimates in Lemmas 4.1-4.3 are all consistent. A notable strength is that the construction is not an abstract existence result but a fully explicit family with exact rates. The main limitation, clearly acknowledged in Remark 1.1, is that the pure-swirl ansatz makes the convective term a pure pressure gradient, so the mechanism is linear and the example also solves the forced Stokes system; this does not undermine the stated claims but tempers the significance for genuinely nonlinear Navier-Stokes dynamics.

minor comments (5)
  1. [Proof of Theorem 1.2] The references to 'theorem 4.1', 'theorems 4.1 and 4.2', 'theorem 4.3', and 'theorem 4.4' should read 'Lemma 4.1', 'Lemmas 4.1 and 4.2', 'Lemma 4.3', and 'Proposition 4.4', respectively.
  2. [References] References [11] (Giga) and [22] (Solonnikov) do not appear to be cited in the text; the authors should either cite them where relevant or remove them from the bibliography.
  3. [Lemma 4.3] The sentence 'The large-y behavior of the integrand is y^{1-m(1-alpha)}' could be clarified by stating that the integral over [0,1/sqrt(s)] converges, diverges logarithmically, or diverges as a power according as m(1-alpha)<2, =2, or >2; the current wording is correct but telegraphic.
  4. [Title and Abstract] There are several typographical and formatting issues in the rendering of mixed-norm notation (e.g., 'L1tL2 x'); these should be fixed in the final version.
  5. [Section 4] The paragraph after Lemma 4.3 would be better placed as a formal remark, since it contains substantive qualitative information about concentration on the symmetry axis.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found: the force is chosen from the constructed velocity by explicit identity, and all mixed-norm ranges are derived from explicit rates, so the central claim does not reduce to its inputs.

full rationale

The construction is existential rather than predictive: the force f is defined in (31) as the residual F = -r^alpha h - alpha^2 r^{alpha-2} phi - 2 alpha r^{alpha-1} partial_r phi, and (26) together with the product rule gives exactly d_t W - L W = F. Thus f is not an independent datum fitted to produce a conclusion; it is the residual of an explicit smooth profile, which is a legitimate way to prove existence. The mixed-norm conditions (33) and (45) are derived from two-sided pointwise rates (32), (37), and (44) by integrating explicit powers, with equality cases logarithmic; they are not inserted as assumptions. The parameter alpha is chosen in (8) from the given p,q so that max(0, 3-2/p-2/q) < alpha < 1, which is possible exactly under 1/p + 1/q > 1; no fitted constant is renamed as a prediction. The pure-swirl ansatz is disclosed in Remark 1.1, where the paper explicitly says the convective term is absorbed into the pressure and the construction applies also to Stokes; it therefore does not misrepresent the role of nonlinearity. The self-citation to [2] is contextual, and the profile calculations are repeated and re-derived directly in Sections 3 and 4; no load-bearing assertion rests solely on that citation. Uniqueness and energy equality are justified by standard weak-strong estimates and direct convergence arguments, not by circular import. I find no step in which an output of the derivation is equivalent by definition to an input.

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

The central claim rests on the construction parameters alpha, a, b, and A, plus the explicit pure-swirl kinematic assumption and standard Leray-Hopf background theory. No new physical entities are introduced. The profile itself is derived, not postulated, so no further free parameters are hidden.

free parameters (3)
  • alpha = not fitted; chosen with max(0, 3 - 2/p - 2/q) < alpha < 1
    Controls the strength of the r^alpha factor and all reported blow-up rates. The theorem holds for every such alpha, so this is a construction parameter, not a fit to data.
  • a,b = 0 < a < b < min(1, 1/sqrt(2T))
    Annular support parameters for the cutoff A. They keep the profile identically zero near the symmetry axis and enforce W(1,t)=0 for all t.
  • A = arbitrary nonnegative C^infinity_c((a,b)), nonzero
    Generates the profile phi_0 and the positive constant beta. Any admissible function works, so the conclusions are independent of the specific choice.
assumptions (2)
  • domain assumption Pure-swirl ansatz v = v_theta(r,t) e_theta, f = F(r,t) e_theta, no dependence on x3, with free-slip horizontal boundary condition
    Section 2, equations (15)-(17) and Remark 1.1: this ansatz makes the convective term purely radial and absorbed by the pressure, reducing the problem to the scalar equation (17). It is an explicit limitation of the example.
  • standard math Serrin-type weak-strong uniqueness and existence theory for Leray-Hopf solutions in the mixed-boundary cylinder
    Proposition 4.4 uses these results, cited to references [20,14,7,17,12,15,21], for uniqueness of the terminal extension and the energy equality. They are standard and not re-proved in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges." pith.science (2026). https://pith.science/paper/I4P3TFQY

@misc{pith2026260811553,
  author       = {Pith},
  title        = {Pith review of: Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I4P3TFQY}},
  note         = {Machine review of arXiv:2608.11553}
}
abstract

We construct an explicit pure-swirl solution of the forced three-dimensional Navier--Stokes equations in a circular cylinder. For every $T>0$ and $1\le p,q<\infty$ with $1/p+1/q>1$, the force belongs to $L^q(0,T;L^p(D))$ and is smooth for $t<T$. Moreover, the same construction always yields the additional energy-class property $f\in L^1(0,T;L^2(D))$. The solution is classical on $[0,T)$, extends strongly in $L^2(D)$ to the unique Leray--Hopf solution at time $T$, and satisfies the energy equality, while $\|v(t)\|_{L^\infty(D)}\to\infty$ as $t\uparrow T$. We determine the exact mixed-norm ranges of both the force and the velocity and obtain two-sided rates for the force, the velocity supremum norm and the enstrophy. The construction refines Zhang's profile by an annular cancellation that preserves smoothness at the symmetry axis. It is a direct, self-contained sharpening of the $k=1$ part of our previous weighted construction and supersedes its endpoint discussion. Since the convection term is absorbed by the pressure, the same example applies to the forced Stokes system.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 18 canonical work pages

  1. [1]

    Albritton, E

    D. Albritton, E. Bru´ e and M. Colombo,Non-uniqueness of Leray solutions of the forced Navier–Stokes equations, Ann. of Math. (2)196(2022), no. 1, 415–455, doi:10.4007/annals.2022.196.1.3

    doi:10.4007/annals.2022.196.1.3 2022

  2. [2]

    Beir˜ ao da Veiga and J

    H. Beir˜ ao da Veiga and J. Yang,A note on the development of singularities on solutions to the Navier–Stokes equations under supercritical forcing terms, Opuscula Math. 46, no. 4 (2026), 475-489 https://doi.org/10.7494/OpMath.202606031

    work page doi:10.7494/opmath.202606031 2026

  3. [3]

    H. Chen, D. Fang and T. Zhang,Regularity of 3D axisymmetric Navier–Stokes equations, Discrete Contin. Dyn. Syst.37(2017), no. 4, 1923–1939, doi:10.3934/dcds.2017081

    work page doi:10.3934/dcds.2017081 2017

  4. [4]

    C.-C. Chen, R. M. Strain, T.-P. Tsai and H.-T. Yau,Lower bound on the blow-up rate of the axisymmetric Navier–Stokes equations, Int. Math. Res. Not. IMRN (2008), Art. ID rnn016, 31 pp., doi:10.1093/imrn/rnn016

    work page doi:10.1093/imrn/rnn016 2008

  5. [5]

    C.-C. Chen, R. M. Strain, T.-P. Tsai and H.-T. Yau,Lower bounds on the blow-up rate of the axisymmetric Navier–Stokes equations II, Comm. Partial Differential Equations34(2009), no. 1–3, 203–232, doi:10.1080/03605300902793956

    work page doi:10.1080/03605300902793956 2009

  6. [6]

    Escauriaza, G

    L. Escauriaza, G. A. Seregin and V. ˇSver´ ak,L3,∞-solutions of Navier–Stokes equa- tions and backward uniqueness, Russian Math. Surveys58(2003), no. 2, 211–250, doi:10.1070/RM2003v058n02ABEH000609

    doi:10.1070/rm2003v058n02abeh000609 2003

  7. [7]

    Farwig, H

    R. Farwig, H. Sohr and W. Varnhorn,Extensions of Serrin’s uniqueness and regularity conditions for the Navier–Stokes equations, J. Math. Fluid Mech.14(2012), 529–540, doi:10.1007/s00021-011-0078-6

    work page doi:10.1007/s00021-011-0078-6 2012

  8. [8]

    A. V. Fursikov,Control problems and theorems concerning the unique solvability of a mixed boundary value problem for the three-dimensional Navier–Stokes and Euler equations, Math. USSR-Sb.43(1982), no. 2, 251–273, doi:10.1070/SM1982v043n02ABEH002447

    work page doi:10.1070/sm1982v043n02abeh002447 1982

Show all 23 references
  1. [9]

    G. P. Galdi,An introduction to the Navier–Stokes initial-boundary value problem, in: G. P. Galdi, J. G. Heywood and R. Rannacher (eds.), Fundamental Directions in Mathematical Fluid Mechanics, Adv. Math. Fluid Mech., Birkh¨ auser, Basel, 2000, 1–70

    2000

  2. [10]

    G. P. Galdi and F. Gazzola,Blow-up and uniqueness of Leray–Hopf solutions to forced Navier–Stokes equations, arXiv:2606.15189v3 (2026)

    2026 arXiv

  3. [11]

    Giga,Solutions for semilinear parabolic equations in Lp and regularity of weak solutions of the Navier–Stokes system, J

    Y. Giga,Solutions for semilinear parabolic equations in Lp and regularity of weak solutions of the Navier–Stokes system, J. Differential Equations62(1986), no. 2, 186–212, doi:10.1016/0022- 0396(86)90096-3

    1986 doi

  4. [12]

    Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen, Math

    E. Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen, Math. Nachr.4(1951), 213–231

    1951

  5. [13]

    G. Koch, N. Nadirashvili, G. Seregin and V. ˇSver´ ak,Liouville theorems for the Navier–Stokes equations and applications, Acta Math.203(2009), no. 1, 83–105, doi:10.1007/s11511-009- 0039-6

    2009 doi

  6. [14]

    Kozono and H

    H. Kozono and H. Sohr,Remark on uniqueness of weak solutions to the Navier–Stokes equations, Analysis16(1996), no. 3, 255–271, doi:10.1524/anly.1996.16.3.255

    1996 doi

  7. [15]

    O. A. Ladyzhenskaya,The Mathematical Theory of Viscous Incompressible Flow, 2nd English ed., Gordon and Breach, New York, 1969

    1969

  8. [16]

    Z. Li, X. Pan, X. Yang, C. Zeng, Q. S. Zhang and N. Zhao,Finite speed axially symmetric Navier–Stokes flows passing a cone, J. Funct. Anal.286(2024), no. 10, Paper No. 110393, 116 pp., doi:10.1016/j.jfa.2024.110393

    2024

  9. [17]

    Leray,Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math.63(1934), no

    J. Leray,Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math.63(1934), no. 1, 193–248, doi:10.1007/BF02547354

    1934 doi

  10. [18]

    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), no. 2, 283–294, doi:10.1007/BF02551584

    1996 doi

  11. [19]

    Pan,Regularity of solutions to axisymmetric Navier–Stokes equations with a slightly supercritical condition, J

    X. Pan,Regularity of solutions to axisymmetric Navier–Stokes equations with a slightly supercritical condition, J. Differential Equations260(2016), no. 12, 8485–8529, doi:10.1016/j.jde.2016.02.026. 12 HUGO BEIR ˜AO DA VEIGA AND JIAQI YANG

    2016 doi

  12. [20]

    Serrin,The initial value problem for the Navier–Stokes equations, in: Nonlinear Problems (Proc

    J. Serrin,The initial value problem for the Navier–Stokes equations, in: Nonlinear Problems (Proc. Sympos., Madison, Wis., 1962), University of Wisconsin Press, Madison, 1963, 69–98

    1962

  13. [21]

    Sohr,The Navier–Stokes Equations: An Elementary Functional Analytic Approach, Birkh¨ auser Advanced Texts, Birkh¨ auser, Basel, 2001

    H. Sohr,The Navier–Stokes Equations: An Elementary Functional Analytic Approach, Birkh¨ auser Advanced Texts, Birkh¨ auser, Basel, 2001

    2001

  14. [22]

    V. A. Solonnikov,Estimates of solutions of the nonstationary Navier–Stokes system, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)38(1973), 153–231 (in Russian)

    1973

  15. [23]

    Q. S. Zhang,A blow up solution of the Navier–Stokes equations with a super critical forcing term, J. Math. Study58(2025), no. 4, 429–438, doi:10.4208/jms.v58n4.25.02. Department of Mathematics, University of Pisa, Pisa, Italy Academia das Ci ˆencias de Lisboa, Lisbon, Portugal...

    2025 doi

Pith tools

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