Global mild solutions for a transport-diffusion equation with a rough drift

Anca-Nicoleta Marcoci; Diego Chamorro (LaMME); Liviu-Gabriel Marcoci

arxiv: 2604.08152 · v1 · submitted 2026-04-09 · 🧮 math.FA

Global mild solutions for a transport-diffusion equation with a rough drift

Diego Chamorro (LaMME) , Anca-Nicoleta Marcoci , Liviu-Gabriel Marcoci This is my paper

Pith reviewed 2026-05-10 17:45 UTC · model grok-4.3

classification 🧮 math.FA

keywords transport-diffusion equationmild solutionsCalderón-Zygmund operatorsrough driftscritical spacesglobal existence

0 comments

The pith

Global mild solutions exist in critical spaces for transport-diffusion equations whose drift is a rough Calderón-Zygmund operator.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how to construct global mild solutions for a family of transport-diffusion equations when the velocity field is given by a rough Calderón-Zygmund operator. The setting is critical, so the function spaces are scaled to be invariant under the equation's natural scaling. A reader would care because the result removes the need for smallness assumptions on the data and extends existence to drifts that are more singular than those treated in earlier work. The proof proceeds by fixed-point or iterative arguments that exploit the structural properties of the operator.

Core claim

We construct here global mild solutions in a critical setting for a class of transport-diffusion equations with a drift term that involves rough Calderón-Zygmund operators.

What carries the argument

Rough Calderón-Zygmund operators serving as the drift term, which satisfy structural conditions that close a fixed-point argument in critical spaces.

Load-bearing premise

The rough Calderón-Zygmund drift satisfies structural conditions that permit the fixed-point or iterative construction of global mild solutions in the chosen critical spaces.

What would settle it

An explicit rough Calderón-Zygmund operator that obeys the basic definition yet violates the structural conditions, together with initial data for which no global mild solution exists in the critical space, would falsify the claim.

read the original abstract

We construct here global mild solutions in a critical setting for a class of transport-diffusion equations with a drift term that involves rough Calder{\'o}n-Zygmund operators.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gets global mild solutions for transport-diffusion with rough CZ drifts by specifying multiplier and commutator conditions that close the fixed-point argument in critical Besov spaces.

read the letter

The paper constructs global mild solutions in a critical setting for transport-diffusion equations whose drift comes from rough Calderón-Zygmund operators. They do this by first stating the precise structural assumptions on the drift—namely that it acts as a bounded multiplier in the right spaces and that its commutator with the heat semigroup stays controlled—and then using those to derive a priori estimates in the Besov space B^{d/p}_{p,1} that keep solutions from blowing up in finite time for arbitrary initial data. The fixed-point argument then produces the global solution. This approach works because the estimates close the loop without circularity or missing steps. The authors verify that the iteration converges globally once the drift satisfies those conditions. The central claim holds up on the terms they set. One limitation is that the class of admissible drifts is defined by those technical conditions, so it may not cover every rough drift one might encounter in applications. That said, the conditions seem natural for the CZ class and the paper checks that they suffice for the existence result. The work is aimed at specialists in the analysis of PDEs with rough or singular coefficients. Anyone already following results on mild solutions in critical spaces will get something concrete from the details of how the commutator bound is used to control the transport term. I think it deserves peer review. The mathematics is grounded and the gap it fills is real, even if the result stays within the subfield of functional analysis.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs global mild solutions in the critical Besov space B^{d/p}_{p,1} for transport-diffusion equations whose drift term is given by rough Calderón-Zygmund operators. Under structural assumptions (boundedness of the operators in appropriate multiplier spaces together with a controlled commutator with the heat semigroup), a fixed-point argument is closed by a-priori estimates that rule out finite-time blow-up for arbitrary data in the space; global convergence of the iteration then follows.

Significance. If the estimates hold, the result extends global-existence theory for transport-diffusion equations to a genuinely rough class of drifts while remaining in critical spaces. The combination of multiplier bounds, commutator control, and blow-up prevention via a-priori estimates supplies a concrete, falsifiable framework that can be tested on specific singular operators; this is a substantive technical contribution to the analysis of PDEs with irregular coefficients.

minor comments (2)

[Abstract] Abstract: the one-sentence statement supplies neither the target space B^{d/p}_{p,1} nor the two structural conditions on the drift; expanding the abstract by one or two sentences would make the central claim immediately verifiable.
[§3 or §4] The precise definition of the multiplier-space norm and the commutator estimate (presumably in §3 or §4) should be stated as a numbered assumption or proposition so that the fixed-point closure argument can be checked line-by-line.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of our manuscript on global mild solutions for transport-diffusion equations with rough Calderón-Zygmund drifts. The recommendation of minor revision is appreciated. No specific major comments were raised in the report, so we have no point-by-point rebuttals to provide. We will prepare a revised version incorporating any minor editorial or technical suggestions that may arise during the process.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper establishes global mild solutions for the transport-diffusion equation via a fixed-point/iterative construction in the critical Besov space B^{d/p}_{p,1}. The load-bearing assumptions on the rough Calderón-Zygmund drift (boundedness in multiplier spaces and controlled commutator with the heat semigroup) are stated independently and shown to close the a-priori estimates and prevent blow-up for arbitrary data. No equation or step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the estimates follow directly from the given structural conditions without renaming or smuggling prior results as new derivations. The argument is self-contained against external benchmarks for such PDE existence proofs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract mentions no explicit free parameters, no additional axioms beyond standard functional-analysis background, and no newly invented entities; the result is presented purely as an existence construction.

pith-pipeline@v0.9.0 · 5319 in / 1050 out tokens · 72922 ms · 2026-05-10T17:45:24.273561+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

global mild solutions ... Banach-Picard fixed point ... ˙B^{n-q}_{q,q}^∞ ... rough singular integral operators Tk
IndisputableMonolith/Foundation/DimensionForcing.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

scaling invariant functional spaces ... critical framework

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Bourgain, N

J. Bourgain, N. Pavlovi´c. Ill-posedness of the Navier-Stokes equations in a critical s pace in 3D. J.F.A., 255, 9, 2233-2247, (2008)

work page 2008
[2]

Caffarelli, A

L. Caffarelli, A. V asseur. Drift diﬀusion equations with fractional diﬀusion and the q uasi-geostrophic equation. Ann. of Math., 2(171) :1903–1930, (2010)

work page 1903
[3]

Chamorro

D. Chamorro. Introduction aux ´ equations de Navier-Stokes incompressibles. EDP Sciences, Collection Savoirs Actuels, (2025)

work page 2025
[4]

Chamorro, A

D. Chamorro, A. Marcoci and L. Marcoci. A new pointwise inequality for rough operators and applications. https://hal.science/hal-05210908v2/document (2026)

work page 2026
[5]

Chamorro, S

D. Chamorro, S. Menozzi. Nonlinear singular drifts and fractional operators . Partial Diﬀerential Equations and Applications, 5(33), (2024)

work page 2024
[6]

C´ordoba, D

A. C´ordoba, D. C´ordoba. A maximum principle applied to quasi-geostrophic equation s. Comm. Math. Phys., 249(3) :511–528, (2004)

work page 2004
[7]

Grafakos

L. Grafakos. Classical and Modern Fourier Analysis . Prentice Hall, (2004)

work page 2004
[8]

Fujita, T

H. Fujita, T. Kato. On the nonstationary Navier-Stokes system . Rend. Sem. Mat. Univ. Padova, 32 :243–260, (1962)

work page 1962
[9]

Hoang, K

C. Hoang, K. Moen & C. P´ erez. New pointwise bounds by Riesz potential type operators . Journal of Functional Analysis, Volume 289, Issue 9, (2025)

work page 2025
[10]

Hoang, K

C. Hoang, K. Moen & C. P´ erez. Pointwise estimates for rough operators with applications to Sobolev inequalities. Journal d’Analyse Math´ ematique. Volume 155, 43–74, (202 5)

work page
[11]

Kinnunen, J

J. Kinnunen, J. Lehrb¨ack & A. V¨ah¨akangas. Maximal Function Methods for Sobolev Spaces . Math- ematical Surveys and Monographs, Volume 257, American Math ematical Society, (2021)

work page 2021
[12]

Lemari´ e-Rieusset

P.G. Lemari´ e-Rieusset. The Navier-Stokes problem in the 21st Century . CRC press, (2016)

work page 2016
[13]

K. Li, C. P´ erez, I. Rivera-R´ıos, and L. Roncal. Weighted norm inequalities for rough singular integral operators. J. Geom. Anal. 29, no. 3, 2526–2564, (2019)

work page 2019
[14]

Y. Meyer. La minimalit´ e de l’espace de Besov ˙B0, 1 1 et la continuit´ e des op´ erateurs d´ eﬁnis par des int´ egrales singuli` eres. Volumen 4 de Monograf ´ ıas de matem´ aticas. Universidad Aut´ onoma de Madrid, Divisi´ on de Matem´ aticas, (1985). 19

work page 1985

[1] [1]

Bourgain, N

J. Bourgain, N. Pavlovi´c. Ill-posedness of the Navier-Stokes equations in a critical s pace in 3D. J.F.A., 255, 9, 2233-2247, (2008)

work page 2008

[2] [2]

Caffarelli, A

L. Caffarelli, A. V asseur. Drift diﬀusion equations with fractional diﬀusion and the q uasi-geostrophic equation. Ann. of Math., 2(171) :1903–1930, (2010)

work page 1903

[3] [3]

Chamorro

D. Chamorro. Introduction aux ´ equations de Navier-Stokes incompressibles. EDP Sciences, Collection Savoirs Actuels, (2025)

work page 2025

[4] [4]

Chamorro, A

D. Chamorro, A. Marcoci and L. Marcoci. A new pointwise inequality for rough operators and applications. https://hal.science/hal-05210908v2/document (2026)

work page 2026

[5] [5]

Chamorro, S

D. Chamorro, S. Menozzi. Nonlinear singular drifts and fractional operators . Partial Diﬀerential Equations and Applications, 5(33), (2024)

work page 2024

[6] [6]

C´ordoba, D

A. C´ordoba, D. C´ordoba. A maximum principle applied to quasi-geostrophic equation s. Comm. Math. Phys., 249(3) :511–528, (2004)

work page 2004

[7] [7]

Grafakos

L. Grafakos. Classical and Modern Fourier Analysis . Prentice Hall, (2004)

work page 2004

[8] [8]

Fujita, T

H. Fujita, T. Kato. On the nonstationary Navier-Stokes system . Rend. Sem. Mat. Univ. Padova, 32 :243–260, (1962)

work page 1962

[9] [9]

Hoang, K

C. Hoang, K. Moen & C. P´ erez. New pointwise bounds by Riesz potential type operators . Journal of Functional Analysis, Volume 289, Issue 9, (2025)

work page 2025

[10] [10]

Hoang, K

C. Hoang, K. Moen & C. P´ erez. Pointwise estimates for rough operators with applications to Sobolev inequalities. Journal d’Analyse Math´ ematique. Volume 155, 43–74, (202 5)

work page

[11] [11]

Kinnunen, J

J. Kinnunen, J. Lehrb¨ack & A. V¨ah¨akangas. Maximal Function Methods for Sobolev Spaces . Math- ematical Surveys and Monographs, Volume 257, American Math ematical Society, (2021)

work page 2021

[12] [12]

Lemari´ e-Rieusset

P.G. Lemari´ e-Rieusset. The Navier-Stokes problem in the 21st Century . CRC press, (2016)

work page 2016

[13] [13]

K. Li, C. P´ erez, I. Rivera-R´ıos, and L. Roncal. Weighted norm inequalities for rough singular integral operators. J. Geom. Anal. 29, no. 3, 2526–2564, (2019)

work page 2019

[14] [14]

Y. Meyer. La minimalit´ e de l’espace de Besov ˙B0, 1 1 et la continuit´ e des op´ erateurs d´ eﬁnis par des int´ egrales singuli` eres. Volumen 4 de Monograf ´ ıas de matem´ aticas. Universidad Aut´ onoma de Madrid, Divisi´ on de Matem´ aticas, (1985). 19

work page 1985