REVIEW 1 major objections 4 minor 1 cited by
Unbounded rough drivers, rough PDEs and applications
T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper argues that unbounded rough drivers give a unified way to make sense of and solve rough PDEs with linear unbounded operator noise, with applications to Landau-Lifshitz-Gilbert, Navier-Stokes, and Euler equations.
desk verdict A useful, clearly labeled survey of unbounded rough drivers; one real formula typo in Lemma 2.4 that should be fixed, but no deeper problem. 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 central object is the unbounded rough driver, a two-level family of linear operators $(A^1_{st}, A^2_{st})$ acting on a scale of Banach spaces $E_\beta$, with $A^i$ bounded from $E_\beta$ to $E_{\beta-i\sigma}$ of order $(t-s)^{i\alpha}$, satisfying Chen's relations $\delta A^1_{s\theta t}=0$, $\delta A^2_{s\theta t}=A^1_{\theta t} A^1_{s\theta}$, and arising as limits of canonical lifts in the geometric case. It plays the role of the rough path's enhancement but for unbounded differential operators, so the noise is encoded before any PDE is solved. The argument turns on three pieces of machinery: the Euler-Taylor expansion (3.3) that defines solutions through $A^1$ and $A^2$ and a remainder with finite $q$-variation; the product formula (3.9), which establishes how solutions to the same driver multiply and thereby makes energy estimates possible; and the interpolation property (2.1)-(2.2) on the Banach scale together with the rough Gronwall lemma, which close the a priori estimates. This combination is what turns formal energy identities into theorems for concrete models.
What would settle it
A concrete way to test the central claim would be to construct a bounded path $u$ satisfying the Euler-Taylor expansion (3.3) for a drift $G$ that meets (3.11) but violates (3.15), and check whether the energy inequality (3.12) still holds; if a counterexample exists, the stated assumptions are not just technical.
Extended reading notes
Core claim
The central claim is that unbounded rough drivers are a workable analogue of rough paths for linear unbounded operators, and that they carry the full load of solving rough PDEs of the form (1.1). On the paper's terms, a solution is not defined by classical weak formulations but by an Euler-Taylor expansion (3.3) whose level-two term is supplied by the enhanced operator path; the remainder has controlled variation and is tamed by the sewing lemma. The main Sobolev estimates then follow from the product formula (3.9), which turns 'testing against the solution' into an equation for $u^2$, together with monotonicity of the drift and a rough Gronwall lemma. From this core, the paper surveys theorems giving: linear parabolic equations with minimal coefficient assumptions; a pathwise solution map for the stochastic Landau-Lifshitz-Gilbert equation and its large-deviation and ergodic consequences; energy solutions for Navier-Stokes with rough transport noise with uniqueness in the two-dimensional constant-noise case; and local and global well-posedness, BKM blow-up criteria, Yudovich solutions, and random dynamical systems for Euler equations.
Load-bearing premise
The load-bearing assumption is that the drift term $G$ dissipates energy in the precise sense of inequalities (3.11) and (3.15), and that the noise coefficients are smooth in space; without those, the energy estimates that carry the paper do not follow.
Editorial extensions
If this is right
- Linear rough parabolic equations with minimal elliptic coefficient assumptions are solvable globally with $L^\infty L^2 \cap L^2 H^1$ regularity and continuous dependence on the rough enhancement.
- For the Landau-Lifshitz-Gilbert model, the Itô-Lyons type solution map gives pathwise continuity and a large-deviations principle for small noise, allowing further ergodic and moderate-deviation results.
- Navier-Stokes with rough transport noise has energy-inequality solutions in $d=2$ and $d=3$, with uniqueness, energy equality, and continuous dependence in the two-dimensional constant-noise case.
- The Euler equations in vorticity form are well posed for bounded vorticity (Yudovich theory), with Lagrangian representation and a random dynamical system defined by the solution map.
- The same machinery yields a semiflow selection and random dynamical system for the rough Navier-Stokes equations, once the energy is included as an auxiliary variable.
Reading between the lines
- The product formula suggests that any nonlinear function $f(u)$ satisfying a polynomial identity could be treated by the same device, which might yield maximum principles and comparison theorems beyond the $\beta(u)$ chain rule already discussed.
- Because the smoothness assumptions on the spatial noise coefficients are stated only for convenience, a natural extension is to relax them using the interpolation scales, which would open the door to pathwise well-posedness for equations with rough-in-space coefficients.
- The Lagrangian representations obtained for rough Euler and rough continuity equations point toward numerical particle methods and to quantitative mixing estimates, topics not treated in the review.
- If the energy variable in the Navier-Stokes semiflow selection is robust, the same trick might be portable to other non-unique rough fluid models, turning selection problems into continuous random dynamical systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This review article surveys the authors' recent work on the 'unbounded rough driver' (URD) formalism for rough partial differential equations with linear, possibly unbounded, operator-valued noise. It defines URDs as operator-valued analogues of rough paths, explains how a priori (energy) estimates can be derived via Euler-Taylor expansions, and then summarizes well-posedness and stability results for parabolic rough PDEs, the stochastic Landau-Lifshitz-Gilbert equation, the Navier-Stokes equations with rough transport noise, and the Euler equations in both smooth and Yudovich classes. The paper is explicitly a summary: almost all theorems in Sections 4 through 7 are quoted from earlier papers, and the present text provides proofs or proof sketches only for the foundational estimates in Section 3 and the appendix.
Significance. If the presented formalism is correct, the paper serves a useful purpose by bringing together a coherent set of recent results on rough PDEs with unbounded operators, and by showing how a single framework covers genuinely different models (parabolic equations, ferromagnetism, fluid dynamics). The exposition of the energy-estimate strategy in Section 3 and the organization of applications are valuable for researchers entering the area. The paper does not contain new theorems, but it is a survey, and the fact that the proofs are delegated to the cited literature is acceptable if the statements are accurate. However, the accuracy of the central construction in Section 2.2.1 is compromised by a concrete error in Lemma 2.4, which must be corrected before the paper can serve as a reliable reference.
major comments (1)
- [Section 2.2.1, Lemma 2.4, Eq. (2.9)] The displayed formula for A^2_st omits the cross term between the first-order part and the zeroth-order part of the operator. For A^1_st = X^i_st ∂_i + X^0_st, the second level of a geometric enhancement must contain a term X^0_st X^i_st ∂_i (and, in the symmetric product formula, the coefficient 2X^0X^i appears in Proposition 3.3 and Eq. (3.14)). As written, Eq. (2.9) does not satisfy Chen's relations when X^0 ≠ 0. A concrete counterexample is d = 1, X^1_t = t, X^0_t = t^2, for which the canonical smooth lift gives A^2_st = 1/2(t-s)^2∂^2 + (t-s)^2(t+s)∂ + 1/2(t^2-s^2)^2, while Eq. (2.9) yields the same expression without the first-order term (t-s)^2(t+s)∂; Chen's identity δA^2 = A^1_θt A^1_sθ then fails (e.g., at (s,θ,t)=(0,1,2), the left side equals ∂^2+3 while the product equals ∂^2+4∂+3). Since Lemma 2.4 is the construction on which the subsequent estimates rely, this statement must be corrected — for instance by adding the missing term — and the surrounding discussion of the non-commutative bracket should be updated accordingly.
minor comments (4)
- [Section 7, Theorem 7.4] The statement writes 'ξ : [0,T]×T^2→ T^2'; since the vorticity ξ is scalar-valued (or at most takes values in R), the target should be R, not T^2. Please correct the codomain.
- [Section 5] The word 'Morerover' should be 'Moreover' in the sentence preceding the local Lipschitz estimate.
- [Section 3.3, Eq. (3.14) and following lines] The notation is confusing where the remainder for u^2 is written as |⟨u^2,♮_st,1⟩| ≲ |v♮_st|_{-3}; the path v = u^2 is not named before this estimate, so the reader must infer that v^♮ means the remainder of (u^2)^♮ from the product formula. Please define v or write (u^2)^♮ explicitly.
- [Section 2.2.1, Eq. (2.11)] The operator ∇⊗_x is defined for tensor products, but the displayed definition of A^2_st uses (∇⊗_x X_st)^j(x,x)∂_j in a way that requires a brief explanation of how the two-point object is evaluated on the diagonal; the current text may confuse readers not familiar with the construction.
Circularity Check
No circular derivation: the paper is an expository review that delegates proofs to prior cited work; no fitted parameter or definitional identification is renamed as a prediction.
full rationale
This manuscript is an expository review rather than a derivation of new results. The foundational notions (unbounded rough drivers, the enhancement formula Lemma 2.4) are quoted from published papers, and the main well-posedness theorems in Sections 4–7 are explicitly attributed to the cited literature, including several works co-authored by the present authors. That is heavy self-citation, but it is not circular in the sense required here: the cited statements are supported by proofs in those papers, the review does not fit a parameter to a subset of data and then report a closely related quantity as a prediction, and no definition or equation is shown to be equivalent by construction to the result it is used to establish. Proposition 3.2 is proved in the text from Chen's relations and the sewing lemma, and the rough Gronwall lemma is recalled as an external tool. The one substantive technical concern is the apparent omission of the cross term \(2X^0_{st}X^i_{st}\partial_i\) in the displayed formula (2.9) of Lemma 2.4; the corrected expression appears later in (3.14) and in Proposition 3.3, so this looks like a typographical issue. In any case it is a mathematical correctness matter, not a circularity. Accordingly the score is 1 for the pervasive but non-load-bearing self-citation; there is no reduction of a claimed result to its own input.
Assumptions & free parameters
assumptions (5)
- domain assumption Assumption 2.1: the Banach scale (E_beta) satisfies the interpolation estimates (2.1) and (2.2) for any beta <= iota <= gamma.
- domain assumption For each model, a geometric unbounded rough driver A = (A^1, A^2) exists, satisfying Chen's relations (2.5) and the bounds (2.4).
- domain assumption Coefficients X_t(.) and sigma(.) are spatially smooth, with all derivatives bounded at least up to order 3.
- domain assumption The drift G satisfies the monotonicity conditions (3.11) and (3.15), or the weaker version in Remark 3.4.
- domain assumption The theorems quoted from prior works are correct, with proofs available in the cited papers.
Cite this review
Pith. "Pith review of Unbounded rough drivers, rough PDEs and applications." pith.science (2026). https://pith.science/paper/WNB6LQNE
@misc{pith2026250101186,
author = {Pith},
title = {Pith review of: Unbounded rough drivers, rough PDEs and applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/WNB6LQNE}},
note = {Machine review of arXiv:2501.01186}
}
read the original abstract
A summary of recent contributions in the field of rough partial differential equations is given. For that purpose we rely on the formalism of ``unbounded rough driver''. We present applications to concrete models including Landau-Lifshitz-Gilbert, Navier-Stokes and Euler equations.
Forward citations
Cited by 1 Pith paper
-
On the well-posedness of (nonlinear) rough continuity equations
Rough continuity and transport equations are well-posed for Osgood and DiPerna-Lions drifts, yielding a rough Yudovich theorem for 2D Euler and a continuous random dynamical system.
Reference graph
Works this paper leans on
-
[1]
V. I. Arnold. Sur la geometrie differentielle des groupes de lie de dime nsion infinie et ses applications a lhydrodynamique des fluides parfaits. Ann. Inst. Fourier (Grenoble) , 16:319– 361, 1966
work page 1966
-
[2]
Isma¨ el Bailleul and Massimiliano Gubinelli. Unbounded rough drivers . Annales Math´ ematiques de la Facult´ e des Sciences de Toulouse, 26(4), 2017
work page 2017
-
[3]
Michele Coghi and Torstein Nilssen. Rough nonlocal diffusions. Stochastic Processes and their Applications, 141:1–56, 2021
work page 2021
-
[4]
Holm, James-Michael Leahy, and Torstein Nilssen
Dan Crisan, Darryl D. Holm, James-Michael Leahy, and Torstein Nilssen. Solution properties of the incompressible euler system with rough path advection. Journal of Functional Analysis , 283(9):109632, 2022
work page 2022
-
[5]
Holm, James-Michael Leahy, and Torstein Nilssen
Dan Crisan, Darryl D. Holm, James-Michael Leahy, and Torstein Nilssen. Variational princi- ples for fluid dynamics on rough paths. Advances in Mathematics , 404:108409, 2022
work page 2022
-
[6]
Stochastic equations in infinite dimensions
Giuseppe Da Prato and Jerzy Zabczyk. Stochastic equations in infinite dimensions . Cambridge University Press, 2008
work page 2008
-
[7]
Rough analysis of t wo scale systems
Arnaud Debussche and Martina Hofmanov´ a. Rough analysis of t wo scale systems. arXiv:2306.15781, 2023
arXiv 2023
-
[8]
A priori estimates for rough pdes with application to rough conservation law s
Aur´ elien Deya, Massimiliano Gubinelli, Martina Hofmanova, and Samy Tindel. A priori estimates for rough pdes with application to rough conservation law s. Journal of Functional Analysis, 276(12):3577–3645, 2019
work page 2019
Show all 33 references
-
[9]
Stochastic partia l differential equations: a rough paths view on weak solutions via feynman–kac
Joscha Diehl, Peter K Friz, and Wilhelm Stannat. Stochastic partia l differential equations: a rough paths view on weak solutions via feynman–kac. Annales de la Facult´ e des sciences de Toulouse: Math´ ematiques, 26(4):911–947, 2017
2017
-
[10]
Ordinary differential eq uations, transport theory and Sobolev spaces
Ronald J DiPerna and Pierre-Louis Lions. Ordinary differential eq uations, transport theory and Sobolev spaces. Inventiones mathematicae, 98(3):511–547, 1989
1989
-
[11]
Global well-posedness of the 3D Navier-Stokes equations perturbed by a deterministic ve ctor field
Franco Flandoli, Martina Hofmanov´ a, Dejun Luo, and Torstein Nilssen. Global well-posedness of the 3D Navier-Stokes equations perturbed by a deterministic ve ctor field. Ann. Appl. Probab., 32(4):2568–2586, 2022
2022
-
[12]
High mode transport noise impro ves vorticity blow-up control in 3D Navier-Stokes equations
Franco Flandoli and Dejun Luo. High mode transport noise impro ves vorticity blow-up control in 3D Navier-Stokes equations. Probab. Theory Related Fields , 180(1-2):309–363, 2021
2021
-
[13]
Friz, Torstein Nilssen, and Wilhelm Stannat
Peter K. Friz, Torstein Nilssen, and Wilhelm Stannat. Existence, uniqueness and stability of semi-linear rough partial differential equations. Journal of Differential Equations , 268(4):1686– 1721, 2020
2020
-
[14]
Multidimensional stochastic processes as rough paths: theory and applications , volume 120
Peter K Friz and Nicolas B Victoir. Multidimensional stochastic processes as rough paths: theory and applications , volume 120. Cambridge University Press, 2010. 19
2010
-
[15]
On th e well-posedness of (nonlin- ear) rough continuity equations
Lucio Galeati, James-Michael Leahy, and Torstein Nilssen. On th e well-posedness of (nonlin- ear) rough continuity equations. arXiv:2502.04982, 2025
2025 arXiv
-
[16]
Geom etric rough paths on infinite dimensional spaces
Erlend Grong, Torstein Nilssen, and Alexander Schmeding. Geom etric rough paths on infinite dimensional spaces. Journal of Differential Equations , 340:151–178, 2022
2022
-
[17]
Rough evolution equations
Massimiliano Gubinelli and Samy Tindel. Rough evolution equations. The Annals of Proba- bility, 38(1):1–75, 2010
2010
-
[18]
On ergodic invariant measures for the stoc hastic landau-lifschitz-gilbert equation in 1d
Emanuela Gussetti. On ergodic invariant measures for the stoc hastic landau-lifschitz-gilbert equation in 1d. arXiv:2208.02136, 2022
2022 arXiv
-
[19]
Pathwise central limit theorem and moderat e deviations via rough paths for spdes with multiplicative noise
Emanuela Gussetti. Pathwise central limit theorem and moderat e deviations via rough paths for spdes with multiplicative noise. arXiv:2307.10965, 2023
2023 arXiv
-
[20]
A pathwise stochast ic landau-lifshitz-gilbert equa- tion with application to large deviations
Emanuela Gussetti and Antoine Hocquet. A pathwise stochast ic landau-lifshitz-gilbert equa- tion with application to large deviations. Journal of Functional Analysis , page 110094, 2023
2023
-
[21]
The Landau-Lifshitz-Gilbert equation driven by Gaussian n oise
Antoine Hocquet. The Landau-Lifshitz-Gilbert equation driven by Gaussian n oise. PhD thesis, ´Ecole Polytechnique, 2015
2015
-
[22]
Quasilinear rough partial differential equatio ns with transport noise
Antoine Hocquet. Quasilinear rough partial differential equatio ns with transport noise. Jour- nal of Differential Equations , 276:43–95, 2021
2021
-
[23]
An energy method f or rough partial differential equations
Antoine Hocquet and Martina Hofmanov´ a. An energy method f or rough partial differential equations. Journal of Differential Equations , 265(4):1407–1466, 2018
2018
-
[24]
An itˆ o formula for rough partial differential equations and some applications
Antoine Hocquet and Torstein Nilssen. An itˆ o formula for rough partial differential equations and some applications. Potential Analysis , pages 1–56, 2020
2020
-
[25]
Genera lized burgers equation with rough transport noise
Antoine Hocquet, Torstein Nilssen, and Wilhelm Stannat. Genera lized burgers equation with rough transport noise. Stochastic Processes and their Applications , 130(4):2159–2184, 2020
2020
-
[26]
On the rough gronwall lemma and its applica tions
Martina Hofmanov´ a. On the rough gronwall lemma and its applica tions. In Stochastic Partial Differential Equations and Related Fields: In Honor of Micha el R¨ ockner SPDERF, Bielefeld, Germany, October 10-14, 2016 1 , pages 333–344. Springer, 2018
2016
-
[27]
On the navier–stokes equa- tion perturbed by rough transport noise
Martina Hofmanov´ a, James-Michael Leahy, and Torstein Nilssen. On the navier–stokes equa- tion perturbed by rough transport noise. Journal of Evolution Equations , 19(1):203–247, 2019
2019
-
[28]
On a rough perturbation of the Navier-Stokes system and its vorticity formulation
Martina Hofmanov´ a, James-Michael Leahy, and Torstein Nilss en. On a rough perturbation of the Navier-Stokes system and its vorticity formulation. Ann. Appl. Probab. , 31(2):736–777, 2021
2021
-
[29]
Ladyzhenskaya, V
O. Ladyzhenskaya, V. Solonnikov, and N. Uraltseva. Linear an d quasilinear parabolic equa- tions of second order. Translation of Mathematical Monographs, AMS, Rhode Island , 1968
1968
-
[30]
Interpolation theory
Alessandra Lunardi. Interpolation theory. Edizioni della normale, 2009
2009
-
[31]
A harnack inequality for parabolic differential e quations
J¨ urgen Moser. A harnack inequality for parabolic differential e quations. Communications on pure and applied mathematics , 17(1):101–134, 1964
1964
-
[32]
Well-posedness of rough 2d euler equation with bounded vorticity
Leonardo Roveri and Francesco Triggiano. Well-posedness of rough 2d euler equation with bounded vorticity. arXiv:2410.24040, 2024
2024 arXiv
-
[33]
Theory of Function Spaces
Hans Triebel. Theory of Function Spaces . Springer Science & Business Media, 1983. 20
1983
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.