REVIEW 1 major objections 5 minor 14 references
On the well-posedness of (nonlinear) rough continuity equations
T0 review · 1 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read The paper proves that the classical Yudovich theorem for 2D Euler extends to rough transport noise: initial vorticities in $L^1_x\cap L^\infty_x$ produce unique global solutions to the rough vorticity equation, with flow representation…
desk verdict A dense but solid paper that delivers the first rough-path Yudovich theorem on R^2 and a DiPerna–Lions theory for rough linear PDEs; deserves serious refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument runs on two coupled structures. On the Lagrangian side, a new solution theory for rough differential equations with Osgood non-Lipschitz drifts produces a continuous flow of homeomorphisms $\Phi_t$ with explicit modulus estimates, built in finite $p$-variation spaces rather than H\"older spaces. On the Eulerian side, the unbounded rough drivers framework gives an intrinsic distributional meaning to rough continuity and transport equations; the load-bearing identity is the product formula and conservativity $A^*_{st}=-A_{st}$ of the rough driver, which follows from $\nabla\cdot\xi=0$ and the geometricity of $Z$, yielding duality, uniqueness, and the flow representation. The quasi-incompressibility estimate for $\Phi_t$, expressed through the Jacobian determinant formula, is what converts the Lagrangian flow into $L^p$ conservation for the vorticity.
What would settle it
Compute the Jacobian determinant of the rough flow $\Phi_t$ generated by $\mathrm{d}y_t=(K*\omega_0)(y_t)\,\mathrm{d}t+\xi(y_t)\,\mathrm{d}Z_t$ for a smooth vortex $\omega_0$ and a fixed geometric rough path $Z$. The paper's quasi-incompressibility formula says the determinant equals $\exp(\int_0^t \nabla\cdot b_s\,\mathrm{d}s)$ with no noise term; if any numerical rough-path integrator shows dependence of $\det D\Phi_t$ on the rough area $Z_{st}$, the quasi-incompressibility identity fails and the theory collapses.
Extended reading notes
Core claim
The central claim is that the Yudovich theory for 2D Euler survives rough transport noise. For a geometric rough path $Z$ of finite $p$-variation with $p\in[2,3)$, divergence-free $\xi\in C^3_b$, and the Biot\textendash Savart kernel $K$, every $\omega_0\in L^1_x\cap L^\infty_x$ gives a unique global solution to the rough vorticity equation, renormalized and of the form $\omega_t(x)=\omega_0(\Phi_t^{-1}(x))$, with $\|\omega_t\|_{L^p_x}=\|\omega_0\|_{L^p_x}$ for all $p\in[1,\infty]$. The solution map depends continuously on initial data and on the rough path in both weak and strong topologies, and if $Z$ is a random geometric rough path cocycle the dynamics generate a continuous random dynamical system on bounded subsets of $L^1_x\cap L^\infty_x$. The same framework also yields a DiPerna\textendash Lions type well-posedness theory for linear rough continuity and transport equations and weak existence for initial vorticities in $L^1_x\cap L^p_x$.
Load-bearing premise
The whole construction requires the noise to be a geometric rough path, meaning a Stratonovich-type lift; if the same signal is given an It\^o-type lift, the flow is no longer volume-preserving and the uniqueness argument collapses.
Editorial extensions
If this is right
- The rough 2D Euler vorticity equation is globally well-posed in $L^1_x\cap L^\infty_x$ for geometric rough paths, with unique renormalized solutions and flow representation.
- The solution map generates a continuous random dynamical system when the noise is a fractional Brownian motion with Hurst parameter $H\in(1/3,1)$, providing a pathwise framework for Wong\textendash Zakai and large-deviation results.
- Linear rough continuity and transport equations are well-posed under DiPerna\textendash Lions regularity conditions, with product, duality, and renormalization formulas available.
- For initial vorticities in $L^1_x\cap L^p_x$, weak solutions to the rough 2D Euler equations exist for every $p\in[1,\infty)$, and they are renormalized when $p\ge 2$.
- The nonlinear continuity equation framework covers general convolutional kernels satisfying Osgood and integrability assumptions, going beyond the Biot\textendash Savart case.
Reading between the lines
- Beyond the paper, the geometric requirement indicates that the theory targets Stratonovich-type or Wong\textendash Zakai limits; It\^o noise is explicitly excluded and would need a different duality argument.
- The flow-representation and kernel estimates likely transfer to the torus and to bounded domains with slip boundary conditions, and to vanishing-viscosity limits of rough 2D Navier\textendash Stokes, as the paper lists as future perspectives.
- The Osgood-drift RDE theorem may serve as a building block for rough Vlasov\textendash Poisson equations, where uniqueness relies on similar logarithmic moduli of continuity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a rough-path theory for (nonlinear) continuity and transport equations with non-Lipschitz drifts. It first proves well-posedness and the existence of a homeomorphic flow for RDEs with Osgood drifts (Theorem 3.9), then establishes a DiPerna–Lions-type well-posedness theory for linear rough continuity and transport equations on R^d with geometric p-rough-path noise for p in [2,3), including a product formula and duality (Theorem 4.20). These linear results are combined with the RDE flow theory to obtain flow representations and quasi-incompressibility. For nonlinear continuity equations with convolutional kernels, the paper proves existence, uniqueness, stability, and flow representation (Theorems 1.4, 5.9), and then specializes to the 2D Euler equations in vorticity form, obtaining a rough Yudovich theorem (Theorem 1.5) and a random dynamical system when the noise is a geometric rough path cocycle such as fractional Brownian motion with H in (1/3,1). A weak-existence result for L^1 ∩ L^p vorticities is also given (Theorem 1.6).
Significance. If the results are correct, this is a substantial contribution to the rough-PDE literature. It extends classical DiPerna–Lions and Yudovich theory to geometric rough-path noise, handles the full space, and constructs a continuous random dynamical system for rough 2D Euler, going beyond the partial overlap in [RT24]. The proofs are detailed and largely self-contained, and the main theorems are stated with explicit regularity assumptions. The paper also provides useful new tools, notably the RDE flow theory for Osgood drifts on p-variation spaces and the product-formula-based uniqueness argument. The geometric rough-path and divergence-free assumptions are clearly stated and are standard for Stratonovich-type noise, so they represent a scope limitation rather than a hidden inconsistency. The main issue I found is a load-bearing gap in the uniqueness proof for the nonlinear equation, which appears repairable.
major comments (1)
- [§5.2, Proposition 5.8 (estimate of I^2_s)] The displayed computation of I^2_s is incorrect as written. The first equality should read I^2_s = ∫ | ∫ [K_s(x,Φ^1_s(y)) - K_s(x,Φ^2_s(y))] ρ0(y) dy | |ρ2_s(x)| dx; the factor ρ0(y) in the inner integral is missing. Consequently, the next bound by ∫ h(|Φ^1_s(y)-Φ^2_s(y)|) dy is unjustified, and in fact cannot hold with the unweighted Lebesgue measure: for the Biot-Savart kernel the double integral with respect to Lebesgue measure is not controlled by the displayed expression, and the y-integral is not controlled by I_s unless the measure |ρ0|dy is carried through. This step is load-bearing because it produces the Osgood inequality I_t ≲ ∫ ... h(I_s) ds that yields uniqueness in Proposition 5.8 and hence in Theorems 1.4 and 1.5. The gap is repairable: one should write I^2_s ≤ ∫ |ρ0(y)| [∫ |K_s(x,Φ^1_s(y))-K_s(x,Φ^2_s(y))| |ρ2_s(x)| dx] dy, apply Assumption 5.1 with f = ρ2_s in the K̃ form to bound the inner integral by C h(|Φ^1_s(y)-Φ^2_s(y)|) ||ρ2_s||_{L1∩L∞}, and then use Jensen's inequality with the finite measure |ρ0|dy; the proof should be amended accordingly.
minor comments (5)
- [§5.2, Proposition 5.8 (estimate of I^1_s)] In the estimate for I^1_s, the constant depending on ||ρ0||_{L1} is suppressed; please write it explicitly, since Jensen's inequality with the finite measure |ρ0|dy introduces such a constant and h is only subadditive/concave, not homogeneous.
- [§4.2, Lemma 4.17, display (77)] In the final condition of (77), "\tilde R ≥ κ‖h‖_{L^1_x}" should read "\tilde R ≥ κ‖h‖_{L^1_t}" because h is a time-dependent function introduced in (72).
- [Definition 5.5, item ii] The word "beloging" should be "belonging".
- [§4.4, Corollary 4.36] The proof invokes Corollary 4.35, which is stated for the continuity equation; since the statement concerns the transport equation, either the transport analogue should be stated explicitly or the proof should mention that the same argument applies verbatim using Corollary 4.32 and condition (109).
- [§1.1, Theorems 1.4 and 1.5] The notation "for all q∈{p}∪(1,∞)" is redundant when p>1 and slightly confusing when p=1; consider rewording to "for all q∈[1,∞)" in the strong-convergence statements.
Circularity Check
No significant circularity: the Yudovich-type theorem is derived from explicitly stated geometric-rough-path and divergence-free assumptions via a self-contained proof chain.
full rationale
The paper's central result, Theorem 1.5, is a proof-based extension of deterministic Yudovich theory to rough 2D Euler, and the derivation chain is not circular. The rough-path flow for Osgood drifts is constructed in Section 3 from Davie-type solution concepts, a priori estimates (Lemmas 3.3 and 3.4), mollification, and time-reversal arguments; it does not presuppose the Euler well-posedness. The quasi-incompressibility estimate in Corollary 3.12 uses the explicit Jacobian determinant formula (40), which is valid because the approximating flows are diffeomorphisms and because div xi = 0 and the rough path is geometric; these are stated hypotheses, not conclusions of the theorem. The linear rough continuity/transport theory in Section 4 is built on the unbounded rough driver framework, but the needed a priori estimates, product formula, duality, uniqueness, and renormalizability are either proved in the paper or quoted from prior works whose assumptions do not include the target result. The proof of Theorem 4.20 is a self-contained doubling-of-variables and blow-up argument, and uniqueness in Theorem 4.29 follows by duality from that product formula, not from an imported uniqueness postulate. The nonlinear problem in Section 5 is solved by comparing two candidate flows: Proposition 5.8 reduces uniqueness to an Osgood inequality for the weighted L1 distance between the two flows, with the kernel Assumptions 5.1-5.3 providing exactly the bounds needed; no fitted parameter or data subset is involved. The cited prior works, including the authors' own contributions such as [HLN21] for the rough Gronwall lemma, are technical and independent; they are not invoked to forbid alternatives or to establish the main theorem by fiat. The manuscript itself flags limitations, e.g. Remark 4.28 on non-divergence-free xi and Remark 5.21 comparing with deterministic DiPerna-Majda theory, but these are scope restrictions, not circular reductions. A displayed estimate in Proposition 5.8 is compressed and drops a weight in one intermediate display, but the required weighted Osgood bounds are available from Assumption 5.1, so this is a presentation issue rather than a circular step. Overall, the claim is self-contained under its stated assumptions and no prediction reduces by construction to an input.
Assumptions & free parameters
assumptions (5)
- domain assumption Geometric rough path lifts exist for the noise signals, e.g., fractional Brownian motion with Hurst parameter H∈(1/3,1).
- domain assumption The drift b satisfies DiPerna-Lions regularity: b/(1+|x|)∈L1_t L1_x + L1_t L∞_x, b∈L1_t W^{1,1}_{loc}, ∇·b∈L1_t L∞_x.
- domain assumption The vector fields ξ are C^3_b and divergence-free (∇·ξ=0).
- domain assumption The kernel K satisfies Assumptions 5.1-5.3, and the Biot-Savart kernel in R^2 satisfies them via its Fourier multiplier properties (Theorem 1.4 proof).
- standard math Standard rough path and unbounded rough drivers toolkit: sewing lemma (Lemma 2.7), rough Grönwall (Lemma A.5), and smoothing operators on the scales F_{l,R} uniform in R (Lemma 4.4 and Appendix C).
Cite this review
Pith. "Pith review of On the well-posedness of (nonlinear) rough continuity equations." pith.science (2026). https://pith.science/paper/O3QEOYPA
@misc{pith2026250204982,
author = {Pith},
title = {Pith review of: On the well-posedness of (nonlinear) rough continuity equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/O3QEOYPA}},
note = {Machine review of arXiv:2502.04982}
}
abstract
Motivated by applications to fluid dynamics, we study rough differential equations (RDEs) and rough partial differential equations (RPDEs) with non-Lipschitz drifts. We prove well-posedness and existence of a flow for RDEs with Osgood drifts, as well as well-posedness of weak $L^p$-valued solutions to linear rough continuity and transport equations on $\mathbb{R}^d$ under DiPerna--Lions regularity conditions; a combination of the two then yields flow representation formula for linear RPDEs. We apply these results to obtain existence, uniqueness and continuous dependence for $L^1\cap L^\infty$-valued solutions to a general class of nonlinear continuity equations. In particular, our framework covers the $2$D Euler equations in vorticity form with rough transport noise, providing a rough analogue of Yudovich's theorem. As a consequence, we construct an associated continuous random dynamical system, when the driving noise is a fractional Brownian motion with Hurst parameter $H \in (1/3,1)$. We further prove weak existence of solutions for initial vorticities in $L^1\cap L^p$, for any $p\in [1,\infty)$.
Reference graph
Works this paper leans on
-
[10]
Lagrangian stability for a system of non-local continuity equations under Osgood condition
[IS23] Marco Inversi and Giorgio Stefani. Lagrangian stabi lity for a system of non-local continuity equations under Osgood condition. arXiv:2301.11822,
-
[1956]
[BP22] Jacob Bedrossian and Stavros Papathanasiou. The Vla sov-Poisson and Vlasov-Poisson-Fokker-Planck systems in stochastic electromagnetic fields: local well-p osedness. arXiv:2211.03336,
-
[1963]
[Yud95] V. I. Yudovich. Uniqueness theorem for the basic non stationary problem in the dynamics of an ideal incompressible fluid. Math. Res. Lett. , 2(1):27–38, 1995
work page 1995
-
[1992]
Flexibil ity of two-dimensional euler flows with integrable vorticity
[BCK24] Elia Bru` e, Maria Colombo, and Anuj Kumar. Flexibil ity of two-dimensional euler flows with integrable vorticity. arXiv:2408.07934,
-
[1997]
Reprint of t he 1990 original. [Loe06] Gr´ egoire Loeper. Uniqueness of the solution to the Vlasov–Poisson system with bounded density.Journal de math´ ematiques pures et appliqu´ ees, 86(1):68–79,
work page 1990
- [1998]
-
[2010]
Theory and applications. [Goo23] Daniel Goodair. Navier–Stokes equations with Navi er boundary conditions and stochastic Lie transport: Well-posedness and inviscid limit. arXiv:2308.04290; to appear on J. Differential Equations ,
-
[2011]
[Saint-Flour Probability Summer School]
Lectures from the 40th Probab ility Summer School held in Saint-Flour, 2010, ´Ecole d’´Et´ e de Probabilit´ es de Saint-Flour. [Saint-Flour Probability Summer School]. [FNS20] Peter K. Friz, Torstein Nilssen, and Wilhelm Stanna t. Existence, uniqueness and stability of semi-linear rough partial differential equations. Journal of Differential Equations , 268...
work page 2010
Show all 14 references
-
[2017]
Well-pose dness of rough 2D Euler equation with bounded vorticity
[RT24] Leonardo Roveri and Francesco Triggiano. Well-pose dness of rough 2D Euler equation with bounded vorticity. arXiv:2410.24040,
-
[2018]
Unbounded rough drivers, rough PDEs and applications
[HHN25] Antoine Hocquet, Martina Hofmanov´ a, and Torstein Nilssen. Unbounded rough drivers, rough PDEs and applications. arXiv:2501.01186,
-
[2020]
[FHL21] Peter K
Second edition. [FHL21] Peter K. Friz, Antoine Hocquet, and Khoa Lˆ e. Rough s tochastic differential equations. arXiv:2106.10340,
-
[2021]
[Hol15] Darryl D. Holm. Variational principles for stochas tic fluid dynamics. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences , 471(2014):0963,
2014
-
[2023]
[Fla11] Franco Flandoli
©2023. [Fla11] Franco Flandoli. Random perturbation of PDEs and fluid dynamic models , volume 2015 of Lecture Notes in Mathematics . Springer, Heidelberg,
2023
-
[2024]
[CHK23] D
©2024. [CHK23] D. Crisan, D. D. Holm, and P. Korn. An implementation of Hasselmann’s paradigm for stochastic climate modelling based on stochastic Lie transport. Nonlinearity, 36(9):4862–4903,
2024
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.