Pith. sign in

REVIEW 5 minor 21 references

Delayed Dissipation for Two-Dimensional Vortex Sheets

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

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

Pith's one-line read Two-dimensional vortex sheets with one-signed vorticity dissipate energy at rate at most O(1/|log ν|), improving the previous O(|log ν|^{-1/2}) bound and disproving a conjecture.

desk verdict A sharp, credible improvement of the vortex-sheet dissipation rate; the one flagged objection does not hold up, and the paper deserves serious refereeing. read the letter →

arxiv 2608.00234 v1 pith:5SSRBFTY submitted 2026-07-31 math.AP physics.flu-dyn

Victor Armegioiu This is my paper · ORCID
classification math.APphysics.flu-dyn MSC 35Q3035Q3576D0576B03
keywords vortexsheetsvanishingviscosityenergydissipationone-signedmeasurevorticitylogarithmicinterpolationenstrophyNavier-Stokesequationswaitingtime
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 proves that for two-dimensional vortex sheets with a one-signed measure vorticity plus an L^p background, viscosity can remove kinetic energy only slowly as the Reynolds number grows: on any fixed time interval separated from zero, the viscous dissipation is at most order 1/|log ν|. This improves the previously known 1/√|log ν| bound under identical assumptions and rules out a recent conjecture that the slower rate is attained. The engine is a sharp L^2–H^1–H^{-1} interpolation inequality for nonnegative densities, which uses the total logarithmic interaction energy of the positive vorticity rather than the mass of a worst ball. With relative compactness of initial velocities, the paper also shows that any fixed energy loss must wait at least a positive power of the Reynolds number, so all subpolynomial observation times are nondissipative. The result extends to a logarithmic-Orlicz scale of backgrounds, with exponents that are attained by explicit radial solutions.

What carries the argument

The central object is the sharp logarithmic interpolation inequality for nonnegative densities (Theorem 1.3): ‖ρ‖_2^4 log(e + ‖ρ‖_2^2/‖ρ‖_{H^{-1}}^2) ≤ C ‖ρ‖_{H^{-1}}^2(‖ρ‖_2^2 + ‖∇ρ‖_2^2), with a decomposition version for h = μ+f. It converts the finite H^{-1} interaction energy of the positive vorticity — measured by the positive Bessel kernel of (1-Δ)^{-1}, which counts every close like-signed pair — into a coercive L^2 versus H^1 control. Combined with the enstrophy identity Y' = -2νZ, it gives the uniform enstrophy bound Y(t) ≲ 1/(νt log(e+1/(νt))) and, after integration, the dissipation rate. The sign condition is essential: the logarithmic gain fails for general signed functions with

What would settle it

Compute Dν(δ,T)=ν∫_δ^T‖ω^ν(t)‖_2^2 dt for a family satisfying the initial bounds. For the explicit radial family in the paper, the result is exactly a positive constant times |logν|^{-2α}; for the noncompact L^p family it is log(T/δ)/(16πκ)|logν|^{-1}. Any family in the conjectured class with Dν(δ,1) decaying slower than 1/|logν| — for instance, numerically finding a viscosity-independent vortex-sheet datum with Dν(δ,1) ≳ 1/√|logν| — would refute the central claim.

Watch

Extended reading notes

Core claim

Under the one-signed decomposition ω_0^ν = μ_0^ν + f_0^ν with μ_0^ν ≥ 0 and f_0^ν bounded in L^p (p>1), plus uniform kinetic energy and total vorticity variation, the author proves Dν(δ,T) = ν∫_δ^T ‖ω^ν(t)‖_2^2 dt ≤ C νT + C log( log(1/(νδ))/log(1/(νT)) ) ≲_{δ,T} 1/|log ν|. Because Dν is exactly the kinetic energy removed by viscosity, this is a quantitative no-anomalous-dissipation statement with an explicit rate. The same estimate disproves a published conjecture predicting that the rate 1/√|log ν| can be achieved by some viscosity-independent datum in this class. When initial velocities are relatively compact in L^2, the bound extends to growing observation times Tν with log Tν = o(|log ν

Load-bearing premise

The argument relies on the propagated vorticity splitting ω^ν(t)=μ^ν(t)+f^ν(t) at almost every positive time, with μ^ν(t) nonnegative and the uniform bounds ‖μ^ν(t)‖_{H^{-1}} + ‖f^ν(t)‖_{L(logL)^{1/2}} staying bounded independently of ν; if the one-signedness of the evolved vorticity is lost, or if those component norms grow with time, the interpolation estimate and all dissipation bounds collapse.

Editorial extensions

If this is right

  • The previously conjectured lower bound Dν(δ,1) ≳ 1/√|log ν| is false for every finite-energy one-signed vortex-sheet datum with L^p background.
  • For subpolynomial observation times Tν = exp(o(|log ν|)), the accumulated dissipation Dν(0,Tν) vanishes as ν→0; in particular stretched-exponential times are nondissipative.
  • Any prescribed energy loss η appears first no earlier than time ν^{-aη} for some aη>0, giving a polynomial-in-Reynolds lower bound on the energetic lifetime.
  • If the background satisfies an L(log L)^α entropy bound, the rate becomes O(|log ν|^{-min{2α,1}}), with a waiting time that is stretched exponential below α=1/2 and polynomial at and above it.
  • On R^2, explicit radial heat-flow solutions attain the positive-time exponents for 0<α≤1/2, and a bounded-energy family attains the endpoint 1/|logν| rate only when relative L^2 compactness of initial velocities is dropped.

Reading between the lines

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

  • If the sharp interpolation inequality is the only obstruction, then the 1/|logν| rate should be universal for all fixed finite-energy one-signed data, not just radial ones; a good test is to run high-resolution vortex-sheet simulations with a single viscosity-independent initial condition and measure Dν(δ,1), which the paper's bound predicts decays at most like 1/|logν|.
  • Because Dν is literally the kinetic energy removed, the waiting-time theorem can be read as an observable prediction: at Reynolds number Re, no fixed-energy-loss threshold should be crossed before time Re^{a}; this is a concrete, falsifiable statement for shear-layer experiments or direct numerical simulations.
  • The mechanism — counting all close like-signed pairs via the positive Bessel kernel rather than a worst ball — is general enough that analogous interpolation inequalities might sharpen bounds in other settings where one-signed concentrations coexist with rough backgrounds, such as passive scalar filaments or aggregation models.
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

0 major / 5 minor

Summary. The paper studies viscous energy loss for two-dimensional Navier–Stokes solutions with Delort-type vortex-sheet initial data: vorticity split into a nonnegative measure μ_0^ν and an L^p background f_0^ν, with uniform energy and total variation bounds. The main theorem (Theorem 1.1) proves that for any fixed 0<δ<T, the accumulated dissipation D_ν(δ,T)=ν∫_δ^T∥ω^ν(t)∥_2^2 dt is bounded by CνT + C log( log(1/(νδ))/log(1/(νT)) ), hence O_δ,T,M,p(|logν|^{-1}) for fixed δ,T. This improves the previous O(|logν|^{-1/2}) bound and directly disproves Conjecture 1.6 of De Rosa–Marcotullio (Corollary 1.2). Under additional L^2 relative compactness of the initial velocities, the paper shows that D_ν(0,T_ν)→0 whenever log T_ν=o(|logν|), which includes all stretched-exponential and polynomial-in-ν^{-1} time scales, and gives a positive-power lower bound on the waiting time for any fixed energy loss. The paper also treats the Orlicz case L(logL)^α (Theorem 1.4), obtaining rates |logν|^{-min{2α,1}} and corresponding time scales, and constructs exact radial solutions on R^2 that attain the endpoint rates, together with a fixed-radial-datum theorem showing sub-logarithmic dissipation and a purely diffusive loss clock.

Significance. This is a substantial quantitative advance in the vanishing-viscosity theory of vortex sheets. The improvement from |logν|^{-1/2} to |logν|^{-1} is obtained by a sharp interpolation inequality (Theorem 1.3) that exploits the positivity of the singular measure through the total log-interaction energy rather than the mass of the worst small ball. The proof is self-contained and the sharpness examples are explicit: Proposition 6.1 attains the Orlicz exponents, Proposition 6.2 shows that the endpoint rate cannot be improved without relative compactness, and Theorem 6.4 reveals a rigidity for fixed radial data. The paper also provides clean falsifiable predictions (e.g., the negation of Conjecture 1.6) and introduces a useful interpolative tool that may have applications beyond this setting. The computational steps, including the Gaussian calculations and the enstrophy integration, are transparent and internally consistent.

minor comments (5)
  1. [Section 2, Lemma 2.1] The proof's phrase 'an atom would give infinite energy on the diagonal' is slightly confusing because atomic measures are not in H^{-1}(T^2) in two dimensions, so they are already excluded by the hypothesis. The lemma is correct, but the statement could explicitly note that the H^{-1} condition rules out atoms, avoiding any appearance of a gap.
  2. [Section 4, proof of Theorem 1.1(iii)] The text refers to 'Theorem 4.1' but the result is Lemma 4.1. Please correct the cross-reference.
  3. [Section 5, proof of Theorem 1.4] The proof refers to 'Theorem 5.1', 'Theorem 5.3', and 'Theorem 5.4' but these are Lemmas 5.1, 5.3, and 5.4. Update the cross-references for consistency.
  4. [Section 5, proof of Theorem 1.4] Near the end of the proof, 'the periodic Theorem 2.1' should be 'Lemma 2.1'. The same correction applies in the α≥1/2 paragraph.
  5. [Section 6, proof of Theorem 6.4] The proof applies 'Theorem 6.3' but the statement is Lemma 6.3. Please fix the cross-reference.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central rate is derived from stated hypotheses and standard embeddings; the target conjecture is refuted, not presupposed.

full rationale

I walked the derivation chain from (1.7) to Theorem 1.1(ii). Theorem 1.3 is proved from the positivity and logarithmic singularity of the Bessel kernel (Lemma 2.1) and a cellwise Poincaré estimate (Lemma 2.2), then combined with the propagated Delort decomposition (Lemma 3.1) and the enstrophy identity (3.8) to obtain (1.8)–(1.10). No parameter is fitted to data, no previous conjecture is used as an input, and there is no definitional equivalence: Corollary 1.2 refutes De Rosa–Marcotullio's Conjecture 1.6 rather than relying on it. The sharpness constructions in Section 6 are independent examples that match the upper bound, not ingredients of the upper bound. There are no load-bearing self-citations: the author does not cite prior work of Armegioiu, and the cited prior results by De Rosa–Park, Elgindi et al., and De Rosa–Marcotullio are used for comparison or as starting points, not to justify the main estimate. The only flagged concern — Lemma 2.1's claim (2.3) for every finite nonnegative H^{-1} measure fails for atoms such as δ, since P_δ(r)=1 while the right side tends to 0 — is a correctness/statement issue, not circularity; the main proof uses the estimate for H^1 or smooth positive-time vorticities, and the flaw does not reintroduce the theorem's conclusion as an input. I therefore find no circular step and assign score 0.

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

No free parameters are fitted. The only constants are universal proof constants. The assumptions are standard functional-analytic and PDE facts plus the Delort sign hypothesis.

assumptions (5)
  • standard math Leray–Hopf solutions of 2D Navier–Stokes with L² initial data satisfy the energy equality and the enstrophy identity, and have smooth vorticity for t>0.
    Invoked in (1.2)–(1.3), (3.8), and Lemma 4.1.
  • standard math The Bessel kernel G of (1−Δ)^{-1} on T² is positive and satisfies G(x) ≥ c log(r*/d) near the diagonal.
    Lemma 2.1; basis of the logarithmic interaction estimate.
  • standard math Embeddings L^p⊂H^{-1} for p>1, L(logL)^{1/2}⊂H^{-1} on T² and R² (via Trudinger–Moser/Ruf), and L^p⊂L(logL)^{1/2} on T².
    Used in Lemma 3.1, Theorem 1.3, and Lemma 5.2.
  • domain assumption The initial data satisfy the Delort one-sign decomposition (1.5)–(1.7) with uniform bounds; finite kinetic energy gives uniform H^{-1} control of vorticity.
    Standing hypothesis of the theorem, not derived.
  • standard math For whole-plane radial vorticity, the nonlinear term u·∇ω vanishes, so Navier–Stokes evolution equals heat evolution.
    Used in Propositions 6.1–6.2 and Theorem 6.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Delayed Dissipation for Two-Dimensional Vortex Sheets." pith.science (2026). https://pith.science/paper/5SSRBFTY

@misc{pith2026260800234,
  author       = {Pith},
  title        = {Pith review of: Delayed Dissipation for Two-Dimensional Vortex Sheets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5SSRBFTY}},
  note         = {Machine review of arXiv:2608.00234}
}
abstract

We quantify viscous energy loss for two-dimensional Delort vortex sheets. Let $u^\nu$ be Leray-Hopf solutions on $\mathbb{T}^2$ with uniformly bounded kinetic energy and total vorticity variation, and write $\omega_0^\nu=\mu_0^\nu+f_0^\nu$, where $\mu_0^\nu\geq0$ and $f_0^\nu$ is bounded in $L^p$, $p>1$. For every fixed $0<\delta<T$, $\nu\int_\delta^T\|\omega^\nu(t)\|_2^2\,\mathrm{d}t\lesssim_{\delta,T}\frac{1}{|\log\nu|}$. This improves the $O(|\log\nu|^{-1/2})$ bound of De Rosa and Marcotullio under the same assumptions and thereby disproves their Conjecture 1.6 (arXiv:2602.15670, v1). The proof uses a sharp $L^2$-$H^1$-$H^{-1}$ interpolation inequality for nonnegative densities, retaining the total interaction energy of the positive vorticity rather than only its largest local mass. The bound also remains effective when the observation time grows with the Reynolds number. If the initial velocities are relatively compact in $L^2$, the loss still vanishes whenever $\log T_\nu=o(|\log\nu|)$; in particular, any prescribed energy loss must wait at least until $\nu^{-a}$ for some $a>0$. Previous estimates covered only $T_\nu=o(\exp(|\log\nu|^\kappa))$, $\kappa<1/2$, so this gives a polynomial lower bound on the energetic lifetime of the inviscid vortex-sheet model. If instead $f_0^\nu$ is bounded in $L(\log L)^\alpha$, the rate is $O(|\log\nu|^{-q_\alpha})$, $q_\alpha=\min\{2\alpha,1\}$, and the loss vanishes when $\log T_\nu=o(|\log\nu|^{q_\alpha})$. On $\mathbb{R}^2$, exact radial solutions attain these exponents for $0<\alpha\leq1/2$. At the endpoint, a bounded-energy $L^p$ family attains the rate $1/|\log\nu|$, while every fixed radial datum dissipates $o(1/|\log\nu|)$ and can lose a fixed amount of energy only on the diffusive scale $1/\nu$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 1 linked inside Pith

  1. [1]

    Cheskidov, M

    A. Cheskidov, M. C. Lopes Filho, H. J. Nussenzveig Lopes, and R. Shvydkoy. Energy conservation in two- dimensional incompressible ideal fluids.Communications in Mathematical Physics, 348(1):129–143, 2016

    2016

  2. [2]

    G. Ciampa. Energy conservation for 2D Euler with vorticity inL(logL)α.Communications in Mathematical Sciences, 20(3):855–875, 2022

    2022

  3. [3]

    Ciampa, G

    G. Ciampa, G. Crippa, and S. Spirito. Strong convergence of the vorticity for the 2D Euler equations in the inviscid limit.Archive for Rational Mechanics and Analysis, 240(1):295–326, 2021

    2021

  4. [4]

    Cinti and F

    E. Cinti and F. Otto. Interpolation inequalities in pattern formation.Journal of Functional Analysis, 271(11):3348–3392, 2016

    2016

  5. [5]

    Constantin, M

    P. Constantin, M. C. Lopes Filho, H. J. Nussenzveig Lopes, and V. Vicol. Vorticity measures and the inviscid limit.Archive for Rational Mechanics and Analysis, 234(2):575–593, 2019

    2019

  6. [6]

    De Rosa and M

    L. De Rosa and M. Marcotullio. Quantitative enstrophy bounds for measure vorticities. arXiv:2602.15670v1 [math.AP], 2026

    arXiv 2026

  7. [7]

    De Rosa and J

    L. De Rosa and J. Park. Dissipation concentration in two-dimensional fluids.Communications in Mathemat- ical Physics, 407:Paper No. 137, 2026

    2026

  8. [8]

    De Rosa and J

    L. De Rosa and J. Park. No anomalous dissipation in two-dimensional incompressible fluids.SIAM Journal on Mathematical Analysis, 57(5):5771–5790, 2025

    2025

Show all 21 references
  1. [9]

    J.-M. Delort. Existence de nappes de tourbillon en dimension deux.Journal of the American Mathematical Society, 4(3):553–586, 1991

    1991

  2. [10]

    R. J. DiPerna and A. J. Majda. Concentrations in regularizations for 2-D incompressible flow.Communica- tions on Pure and Applied Mathematics, 40(3):301–345, 1987

    1987

  3. [11]

    Domínguez and M

    O. Domínguez and M. Milman. A sharp stability criterion for Euler equations via sparseness.Analysis & PDE, 19:659–720, 2026

    2026

  4. [12]

    Domínguez and D

    O. Domínguez and D. Spector. A sparse resolution of the DiPerna–Majda gap problem for 2D Euler equations. arXiv:2409.02344 [math.AP], 2024

    2024 arXiv

  5. [13]

    T. M. Elgindi, M. C. Lopes Filho, and H. J. Nussenzveig Lopes. Absence of anomalous dissipation for vortex sheets.Journal of Functional Analysis, 290(6):Paper No. 111304, 25 pp., 2026

    2026

  6. [14]

    S.Lanthaler, S.Mishra, andC.Parés-Pulido.Ontheconservationofenergyintwo-dimensionalincompressible flows.Nonlinearity, 34(2):1084–1135, 2021

    2021

  7. [15]

    Lanthaler

    S. Lanthaler. On concentration in vortex sheets.Partial Differential Equations and Applications, 4:Paper No. 13, 2023

    2023

  8. [16]

    M. C. Lopes Filho, H. J. Nussenzveig Lopes, and E. Tadmor. Approximate solutions of the incompress- ible Euler equations with no concentrations.Annales de l’Institut Henri Poincaré C, Analyse non linéaire, 17(3):371–412, 2000

    2000

  9. [17]

    A. J. Majda. Remarks on weak solutions for vortex sheets with a distinguished sign.Indiana University Mathematics Journal, 42(3):921–939, 1993

    1993

  10. [18]

    A. J. Majda and A. L. Bertozzi.Vorticity and Incompressible Flow. Cambridge Texts in Applied Mathematics, vol. 27. Cambridge University Press, Cambridge, 2002

    2002

  11. [19]

    B. Ruf. A sharp Trudinger–Moser type inequality for unbounded domains inR 2.Journal of Functional Analysis, 219(2):340–367, 2005

    2005

  12. [20]

    Schochet

    S. Schochet. The weak vorticity formulation of the 2-D Euler equations and concentration-cancellation.Com- munications in Partial Differential Equations, 20(5–6):1077–1104, 1995

    1995

  13. [21]

    Department of Mathematics, ETH Zürich, Zürich, Switzerland Email address:victor.armegioiu@math.ethz.ch 24

    E.Tadmor.OnanewscaleofregularityspaceswithapplicationstoEuler’sequations.Nonlinearity, 14(3):513– 532, 2001. Department of Mathematics, ETH Zürich, Zürich, Switzerland Email address:victor.armegioiu@math.ethz.ch 24

    2001

Pith tools

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