Osgood meets Ambrosio-DiPerna-Lions

Guido De Philippis; Leonardo Franchi

Osgood meets Ambrosio-DiPerna-Lions

T0 review · 0 major / 6 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Bounded solutions of the transport equation stay unique when the driving field has only Osgood regularity in Lp.

desk verdict Solid Eulerian uniqueness under L^p Osgood drifts, closing the gap left by Li-Luo’s RLF result via a clean LP energy argument. read the letter →

arxiv 2607.28118 v1 pith:DGOMJLJG submitted 2026-07-30 math.AP

Guido De Philippis , Leonardo Franchi This is my paper

classification math.AP MSC 35F1035A0242B25

keywords transportequationOsgoodconditionAmbrosio-DiPerna-LionstheoryLittlewood-PaleyenergyrenormalizedsolutionsBesovregularitypropagationdivergence-freevectorfields

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 classical Ambrosio–DiPerna–Lions theory guarantees uniqueness of bounded solutions to the linear transport equation when the divergence-free driving field has Sobolev or BV derivatives. This note extends that uniqueness (and the associated renormalization property) to fields whose increments are controlled by an Osgood modulus of continuity times an Lp function. The argument never shows that a commutator vanishes; instead it builds a weighted L2 energy from the Littlewood–Paley pieces of the solution and proves that a carefully chosen sequence of cut-offs forces the energy to be conserved. The same energy identity also yields the sharp propagation of a natural Besov-type regularity measured by the Osgood modulus itself. Because failure of the Osgood condition already produces non-uniqueness at the ODE level, the result sits at the natural threshold of the theory.

What carries the argument

A family of weighted Littlewood–Paley energies E_F(t) = Σ F(G(k)) ‖ũ_k(t)‖²_{L²}, where G is the integral of 1/ω. Differentiating these energies produces a commutator whose high-frequency interactions can be summed by the Osgood scaling; sending the cut-off to infinity yields exact L² conservation and hence uniqueness.

What would settle it

Construct a bounded divergence-free field whose increments are controlled by an Osgood modulus times an Lp function, yet two distinct bounded distributional solutions of the transport equation exist; or exhibit an Osgood modulus violating the scaling hypothesis for which the weighted energy fails to be conserved.

Watch

Extended reading notes

Core claim

If a bounded divergence-free vector field b satisfies an integrable L^p Osgood condition (with a mild scaling hypothesis on the modulus), then every bounded initial datum admits a unique bounded distributional solution of the transport equation, and that solution is renormalized. The same hypothesis propagates the optimal Besov regularity built from the Osgood weight.

Load-bearing premise

The modulus of continuity must obey a mild power-scaling law that lets high-frequency interactions decay fast enough to be summed; without that decay the energy estimate does not close.

Editorial extensions

If this is right

Uniqueness of bounded solutions holds under an L^p Osgood condition, not merely under Sobolev or BV regularity.
Every such solution is automatically renormalized, so nonlinear functions of the solution remain solutions.
The optimal Besov regularity measured by the Osgood weight is propagated by the flow, with an explicit constant depending only on the integrated Osgood norm of b.
The same Littlewood–Paley energy method recovers the known logarithmic regularity propagation when the modulus is linear.

Reading between the lines

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

The method suggests that other pseudo-differential cut-offs (beyond Littlewood–Paley) might yield uniqueness under still weaker modulus conditions, provided the corresponding weighted differences remain summable.
Because the argument never uses vanishing of the classical commutator, it may extend to settings where the commutator is merely bounded rather than small.
The same energy identity could be used to quantify continuous dependence on the vector field in the Osgood–Lp topology.

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.

Desk Editor's Note

read the letter

This note does what the title promises: it upgrades the Li-Luo Osgood-Sobolev condition from Regular Lagrangian Flows to actual uniqueness (and renormalization) of bounded distributional solutions of the transport equation. That is the real increment. DiPerna-Lions/Ambrosio cover Sobolev/BV, Ambrosio-Bernard and BCD cover L^∞ Osgood; Li-Luo already had the ODE side for L^p Osgood. The missing Eulerian statement is now filled, and the same machinery gives the matching sharp B_{ω,a} propagation.

What they do well is abandon the classical commutator vanishing and work instead with a weighted Littlewood-Paley energy. Summation by parts on the differences of the cut-off weights, the I/II frequency taxonomy, Fefferman-Stein, and the maximal bound on the Ṁ_{ω,p} seminorm (Lemma 2.6) are put together carefully. Once you grant the mild scaling (1.5) on ω—which the authors correctly flag as harmless for every standard Osgood modulus—the high-frequency interactions close and you get L^{2} conservation, hence uniqueness. The regularity theorem is the natural companion and sits cleanly next to Meyer-Seis / Brué-Nguyen.

Soft spots are minor and proportional. Differentiation under the infinite sum is justified first for compactly supported cut-offs and then transferred; that is standard bookkeeping, not a hole. The casework is long but structural, not hand-wavy. No circularity, no invented objects beyond the natural weighted spaces, citations look right.

This is for people already inside the DiPerna-Lions/Ambrosio and mixing-regularity circle. It will not reorganize the field, but it is a genuine, cleanly executed extension that a serious referee should see. I would accept it for peer review and expect it to pass with ordinary polishing.

Referee Report

0 major / 6 minor

Summary. The paper extends Ambrosio–DiPerna–Lions well-posedness for the transport equation on the torus to divergence-free fields that are merely bounded and satisfy an L^p Osgood–Hajłasz condition: |b(t,x)-b(t,y)| ≤ ω(|x-y|)(g(t,x)+g(t,y)) with g ∈ L^1_t L^p_x and ω an Osgood modulus obeying the mild scaling (1.5). Theorem 1.1 asserts uniqueness (hence renormalization) of bounded distributional solutions. Theorem 1.2 gives sharp propagation of the weighted Littlewood–Paley regularity B_{ω,a} for 1/2 ≤ a ≤ p/2. The proofs conserve a weighted LP energy E_F built from quadratic blocks, via summation by parts and a frequency-interaction split into regimes I/II, rather than by showing classical mollification commutators vanish.

Significance. The result closes a genuine gap left by Li–Luo, who obtained unique Regular Lagrangian Flows under the same Osgood–Sobolev assumption but not Eulerian uniqueness for the transport equation. The method—conservation of a cutoff/truncated LP energy controlled by the Ṁ_{ω,p} maximal bound (Lemma 2.6), Fefferman–Stein, and Peetre—is a clean Eulerian counterpart of the logarithmic regularity theory of Brué–Nguyen and Meyer–Seis, and it recovers the expected endpoint when ω(s)\sim s. The contribution is specific, technically solid, and of clear interest in the DiPerna–Lions/Ambrosio circle.

minor comments (6)

[Abstract / §1.3] The abstract and §1.3 emphasize that the argument does not rely on vanishing of a commutator, yet the proof still introduces the classical DiPerna–Lions remainder r_k in (3.3). A short clarifying sentence (e.g., that r_k is kept and estimated after summation by parts, rather than shown to tend to zero under mollification) would prevent a misleading impression.
[§1.2, (1.5); proof of Thm 1.1, regime II] Hypothesis (1.5) is used in an essential way to produce the summable factor 2^{-(β/2)(m-j)} in regime II (after (3.8)). Although the authors correctly call it mild, a one-line verification that the model moduli ω(s)=s log(2/s) and iterated logs satisfy (1.5) for some β∈(0,1) would help non-specialist readers.
[§3, before (3.4); §3.2] In the justification of d/dt E_F, the text says differentiation is justified when only finitely many weights are nonzero, which covers the cutoff χ(·/R) of Theorem 1.1 and the truncation N of Theorem 1.2. It would be clearer to state explicitly that Theorem 1.2 invokes the L^2 conservation already proved in Theorem 1.1 before differentiating the truncated energy E_N.
[§2.4, Lemma 2.6; §3.1] Lemma 2.6 and the square-function bounds (3.7) are applied at almost every t; a brief remark that the Bochner representative of t ↦ b(t,·) in L^1_t Ṁ_{ω,p} may be chosen so that the maximal inequality holds a.e. in time would remove a minor measurability quibble.
[§2.3; affiliations] Typos/style: “ClassicalLittlewood-Paleyresults” lacks a space (p. 6); “Padov a” in the affiliations should be “Padova”; the arXiv stamp in the header reads 2026, which is presumably a placeholder.
[Theorem 1.2; Proposition 3.3] The range a ∈ [1/2, p/2] in Theorem 1.2 is natural from the interpolation in Proposition 3.3, but a forward reference from the statement of Theorem 1.2 to that proposition (or a one-sentence explanation why a=1/2 is the endpoint) would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: uniqueness follows from an independent LP energy estimate under explicit hypotheses

full rationale

The central claim (Theorem 1.1) is that bounded distributional solutions of the transport equation are unique when b is bounded, divergence-free, and integrable in the Osgood-Sobolev seminorm Ṁ_{ω,p}. The proof constructs a family of cutoff energies E_R built from quadratic Littlewood-Paley blocks, differentiates them via the DiPerna-Lions commutator, splits frequency interactions into regimes I and II, and shows |d/dt E_R| ≲ R^{-1} ‖b‖_{Ṁ_{ω,p}} ‖u‖_∞² by Fefferman-Stein, Peetre maximal inequalities, and the definition of Ṁ_{ω,p} (Lemma 2.6). Sending R→∞ yields L² conservation and hence uniqueness. None of these steps is definitional of the conclusion, fitted to data, or load-bearing on a self-citation; background tools are classical external theorems. The mild scaling (1.5) on ω is an explicit structural hypothesis, not a circular input. Theorem 1.2 is a Gronwall variant of the same estimate. Score 0.

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

The paper works entirely inside standard real-harmonic analysis and the DiPerna-Lions framework. Load-bearing inputs are classical LP calculus, maximal-function inequalities, the definition of an Osgood modulus, divergence-free bounded drifts, and the mild scaling (1.5) on ω. No empirical fits. The spaces Ṁ_{ω,p} and B_{ω,a} are natural renamings/extensions of Hajłasz-type and log-Besov scales rather than new physical entities.

assumptions (6)

standard math Littlewood-Paley square-function equivalence and dyadic kernel bounds on the torus (Grafakos-type theorems used as (2.10)–(2.11)).
Used throughout §2–3 to pass between u and its blocks uk, euk.
standard math Fefferman-Stein vector maximal inequality and Peetre pointwise maximal bound for frequency-localized functions.
Theorem 2.1 and Lemma 2.2 control maximal functions of LP blocks in the energy estimates.
domain assumption div b = 0 and b ∈ L^∞([0,T]×T^d), so the transport and continuity equations coincide distributionally and means are conserved.
Stated at (1.1) and used to drop lower-order terms and symmetrize interactions.
domain assumption ω is an Osgood modulus (continuous, increasing, concave, ∫ ds/ω = ∞) satisfying the scaling ω(λs) ≤ C λ^β ω(s).
Osgood is classical for ODE uniqueness; (1.5) is an extra structural hypothesis needed for the high-low frequency sum in regime II.
ad hoc to paper The Hajłasz-type pointwise inequality defining ‖f‖_{Ṁ_{ω,p}} controls LP blocks via Lemma 2.6.
The space is taken from the Li-Luo/Hajłasz line but the precise LP bound (2.17) is proved here and is the bridge from assumption to energy estimate.
standard math Renormalization follows from uniqueness by the abstract argument of Bouchut-Crippa (BC06).
Invoked at the end of the proof of Theorem 1.1 rather than re-derived.

invented entities (2)

Besov-type space B_{ω,a} with weights G(k)^{2a}, G(x)=∫_{2^{-x}}^1 ds/ω(s)
purpose: Encode the optimal regularity propagated by Osgood drifts, reducing to log-Besov when ω(s)~s.
Defined in (2.14); natural extension of Meyer-Seis/Brué-Nguyen logarithmic scales, not an external physical object.
Seminorm ‖·‖_{Ṁ_{ω,p}} (Osgood-Hajłasz L^p modulus) independent evidence
purpose: State the precise regularity assumed on b.
Infimum over g in L^p dominating incremental ratios; already present in spirit in Li-Luo, formalized here for the Eulerian argument.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Osgood meets Ambrosio-DiPerna-Lions." pith.science (2026). https://pith.science/paper/DGOMJLJG

@misc{pith2026260728118,
  author       = {Pith},
  title        = {Pith review of: Osgood meets Ambrosio-DiPerna-Lions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DGOMJLJG}},
  note         = {Machine review of arXiv:2607.28118}
}

abstract

In this note we extend the Ambrosio-DiPerna-Lions theory on the well-posedness of the transport equation to the case in which the vector field satisfies an $L^p$ Osgood condition. In particular we show that bounded distributional solutions to the transport equation are unique and thus renormalized. As opposed to the classical proof, we do not rely on the vanishing of a commutator, but we show that a weighted energy built out of the Littlewood-Paley decomposition of the solution is conserved.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

24 extracted references · 6 canonical work pages

[1]

R. J. DiPerna and P.-L. Lions , title =. Inventiones Mathematicae , volume =
[2]

Comptes Rendus Mathématique

Depauw, Nicolas , title =. Comptes Rendus Mathématique. Académie des Sciences. Paris , volume =
[3]

Inventiones Mathematicae , volume =

Luigi Ambrosio , title =. Inventiones Mathematicae , volume =. 2004 , doi =

2004
[4]

Sobolev spaces on an arbitrary metric space , journal =

Piotr Haj. Sobolev spaces on an arbitrary metric space , journal =. 1996 , doi =

1996
[5]

Indiana University Mathematics Journal , volume =

David Meyer and Christian Seis , title =. Indiana University Mathematics Journal , volume =. 2024 , doi =

2024
[6]

, title =

Fefferman, Charles and Stein, Elias M. , title =. American Journal of Mathematics , volume =
[7]

Sharp regularity estimates for solutions of the continuity equation drifted by Sobolev vector fields , journal =

Bru. Sharp regularity estimates for solutions of the continuity equation drifted by Sobolev vector fields , journal =. 2021 , doi =

2021
[8]

2014 , doi =

Loukas Grafakos , title =. 2014 , doi =

2014

Show all 24 references

[9]

Bulletin des Sciences Mathématiques , volume =

Huaiqian Li and Dejun Luo , title =. Bulletin des Sciences Mathématiques , volume =. 2015 , publisher =

2015
[10]

Journal f

Crippa, Gianluca and De Lellis, Camillo , title =. Journal f. 2008 , url =

2008
[11]

Hans Triebel , title =
[12]

Fourier Analysis and Nonlinear Partial Differential Equations , publisher =

Hajer Bahouri and Jean-Yves Chemin and Rapha. Fourier Analysis and Nonlinear Partial Differential Equations , publisher =. 2011 , doi =

2011
[13]

Annali di Matematica Pura ed Applicata , volume =

Farkas, Walter and Leopold, Hans-Gerd , title =. Annali di Matematica Pura ed Applicata , volume =. 2006 , doi =

2006
[14]

Commentationes Mathematicae Universitatis Carolinae , volume =

Drihem, Douadi , title =. Commentationes Mathematicae Universitatis Carolinae , volume =
[15]

On the Sobolev space of functions with derivative of logarithmic order , journal =

Bru. On the Sobolev space of functions with derivative of logarithmic order , journal =. 2020 , publisher =

2020
[16]

, title =

Alberti, Giovanni and Crippa, Gianluca and Mazzucato, Anna L. , title =. Annals of PDE , volume =. 2019 , publisher =

2019
[17]

Analysis in Banach Spaces: Volume III

Hyt. Analysis in Banach Spaces: Volume III. Harmonic Analysis and Spectral Theory , series =. 2023 , doi =

2023
[18]

Uniqueness, Renormalization, and Smooth Approximations for Linear Transport Equations , journaltitle =

Bouchut, Fran. Uniqueness, Renormalization, and Smooth Approximations for Linear Transport Equations , journaltitle =. 2006 , doi =

2006
[19]

Uniqueness of Signed Measures Solving the Continuity Equation for

Ambrosio, Luigi and Bernard, Patrick , date =. Uniqueness of Signed Measures Solving the Continuity Equation for. doi:10.4171/rlm/522 , issn =

doi
[20]

doi:10.48550/arXiv.2607.13751 , eprint =

Bru. doi:10.48550/arXiv.2607.13751 , eprint =

doi arXiv
[21]

and Street, Brian , date =

Had zi\'c, Mahir and Seeger, Andreas and Smart, Charles K. and Street, Brian , date =. Singular Integrals and a Problem on Mixing Flows , volume =. doi:10.1016/j.anihpc.2017.09.001 , issn =

2017 doi
[22]

Huysmans, Lucas and Said, Ayman Rimah , date =. A. doi:10.48550/arXiv.2402.11642 , eprint =

doi arXiv
[23]

A New Approach to Bounds on Mixing , volume =

L\'eger, Flavien , date =. A New Approach to Bounds on Mixing , volume =. doi:10.1142/S0218202518500215 , issn =

doi
[24]

and Street, Brian , date =

Seeger, Andreas and Smart, Charles K. and Street, Brian , date =. Multilinear Singular Integral Forms of. doi:10.1090/memo/1231 , isbn =

doi

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.

[1] [1]

R. J. DiPerna and P.-L. Lions , title =. Inventiones Mathematicae , volume =

[2] [2]

Comptes Rendus Mathématique

Depauw, Nicolas , title =. Comptes Rendus Mathématique. Académie des Sciences. Paris , volume =

[3] [3]

Inventiones Mathematicae , volume =

Luigi Ambrosio , title =. Inventiones Mathematicae , volume =. 2004 , doi =

2004

[4] [4]

Sobolev spaces on an arbitrary metric space , journal =

Piotr Haj. Sobolev spaces on an arbitrary metric space , journal =. 1996 , doi =

1996

[5] [5]

Indiana University Mathematics Journal , volume =

David Meyer and Christian Seis , title =. Indiana University Mathematics Journal , volume =. 2024 , doi =

2024

[6] [6]

, title =

Fefferman, Charles and Stein, Elias M. , title =. American Journal of Mathematics , volume =

[7] [7]

Sharp regularity estimates for solutions of the continuity equation drifted by Sobolev vector fields , journal =

Bru. Sharp regularity estimates for solutions of the continuity equation drifted by Sobolev vector fields , journal =. 2021 , doi =

2021

[8] [8]

2014 , doi =

Loukas Grafakos , title =. 2014 , doi =

2014