Pith. sign in

REVIEW 2 major objections 6 minor 1 cited by

On a Cross-Diffusion System with Independent Drifts and no Self-Diffusion: The Existence of Totally Mixed Solutions

T0 review · 2 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves global existence of weak solutions for a two-species cross-diffusion system on the one-dimensional torus with independent drift potentials and no self-diffusion, provided the initial log-ratio has bounded variation.

desk verdict A new existence proof for a degenerate cross-diffusion system with independent drifts, via a genuinely novel change of variables, but the paper leans on an unproved import from Laborde and overstates its reaction-term extension. read the letter →

arxiv 2504.18484 v1 pith:QNTDT54Q submitted 2025-04-25 math.AP

Alpár R. Mészáros , Guy Parker This is my paper · ORCID
classification math.AP MSC 35A0135B6535K4049Q22
keywords cross-diffusionsystemdrift-diffusionequationtotalmixingnoself-diffusionweaksolutionsBVregularityone-dimensionaltoruslogarithmicpressurelaw
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 a two-species cross-diffusion system on the one-dimensional torus, where diffusion acts only on the sum of the species and the two species feel independent drift potentials, has global weak solutions for any time horizon. The key step is a change of variables to the sum density and the logarithmic species ratio, which turns the difficult product term into a BV estimate on the ratio. Under a total-mixing condition on the initial data, which still allows vacuum and blow-up, the ratio remains of bounded variation for all times, so the two densities never form inter-species interfaces. The obtained solutions have each species in $L^{2}$([0,T];BV(T)) and in L^p_loc((0,T];BV(T)) for every finite p. The same strategy extends to reaction-cross-diffusion systems, conditional on a suitable smooth approximation.

What carries the argument

The load-bearing device is the nonlinear change of variables $(\rho_1,\rho_2) \mapsto (\sigma,f(r))$ with $\sigma=\rho_1+\rho_2$ and $f(r)=\log(r/(1-r))=\log(\rho_1/\rho_2)$. The function $f$ is chosen so that $f'(r)=1/(r(1-r))\ge 4$, which allows $\mathrm{BV}$ control of $f(r)$ to become $\mathrm{BV}$ control of $r=\rho_1/(\rho_1+\rho_2)$. The second engine is the energy $\int_{\mathbb{T}} |\partial_x f(r)+V|\,dx$, whose time dissipation is computed for the $\eta$-regularised system and closed by a Grönwall argument; Kato's inequality and the absence of boundary on the torus make the dangerous second-derivative term vanish. The third ingredient is the family of regularised systems with an added linear self-diffusion $\eta$, whose smooth, strictly positive solutions justify the computations and whose estimates are uniform in $\eta$.

What would settle it

Verify the proof of Theorem 3.2 directly on the torus: show that the cited existence theorem for the η-regularised system remains valid on R/Z with the same energy and constants. If there is a pair of initial data satisfying H1-H4 and potentials in $W^{{2,1}}$(T) with V1−V2 in $W^{{3,1}}$(T) for which the regularised system has no weak solution on the torus, the approximation step collapses and the central claim is unsupported. Equivalently, a counterexample to Theorem 2.2 satisfying H1-H4 would refute the claim.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 2.2: under hypotheses H1-H4 (the sum of the initial densities lies in $L\log L$, the log-ratio $\log(\rho_{1,0}/\rho_{2,0})$ lies in $\mathrm{BV}(\mathbb{T})$, the potentials satisfy $V_1,V_2\in W^{2,1}(\mathbb{T})$, and $V_1-V_2\in W^{3,1}(\mathbb{T})$) there exists a weak solution of the system $\partial_t\rho_i = \partial_x(\rho_i \partial_x(\log(\rho_1+\rho_2)+V_i))$ for $i=1,2$ on the flat torus, with $\rho_1,\rho_2 \in L^2([0,T];\mathrm{BV}(\mathbb{T})) \cap L^p_{\mathrm{loc}}((0,T];\mathrm{BV}(\mathbb{T}))$ for every $p\in [1,\infty)$. The proof rewrites the system in the variables $\sigma=\rho_1+\rho_2$ and $f(r)=\log(\rho_1/\rho_2)$, where $r=\rho_1/\sigma$, and shows that $f(r)$ obeys a transport-type equation whose $\mathrm{BV}$ norm is controlled through the dissipation of the energy $\int_{\mathbb{T}} |\partial_x f(r)+V|\,dx$, with $V=\partial_x(V_1-V_2)$. Because $f'(r)=1/(r(1-r))\ge 4$, the $\mathrm{BV}$ bound on $f(r)$ transfers to $r$; combined with Sobolev estimates on $\sigma$, this yields strong compactness of the individual densities and passage to the limit from the $\eta$-regularised system. The paper states this to be the first existence result for mixed initial densities and differing drifts in the absence of self-diffusion.

Load-bearing premise

The proof rests on an unproved transfer of an existing existence result for the regularised system from an interval with no-flux conditions to the circular domain; if that transfer fails, the regularised solutions on which every later estimate depends would not exist.

Editorial extensions

If this is right

  • Weak solutions exist for arbitrarily long time horizons, with each species spatially BV; if the initial sum lies in L^q for q>2, the solution gains L^q([0,T];BV(T)) regularity.
  • Total mixing is propagated in time: since log(ρ1/ρ2) stays BV, the two species cannot develop the sharp interfaces seen in segregated cross-diffusion models.
  • No ordering or joint structural condition on the drifts is required; only the stated Sobolev regularity of V1 and V2 is needed.
  • The same machinery works for reaction-cross-diffusion systems with bounded Lipschitz reaction terms, provided a suitable smooth approximation with uniformly positive densities exists.
  • The hypotheses allow vacuum and blow-up in the initial data, provided the two densities become asymptotically proportional near such points.

Reading between the lines

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

  • If the cited existence theorem for the regularised system does not extend to the torus as asserted, the approximation chain could be repaired by a direct well-posedness proof for the regularised system on R/Z, but the paper does not supply that proof.
  • The BV-on-ratio mechanism may transfer to other pressure laws: any choice of f with f' bounded below would convert BV control of f(r) into BV control of r, so the logarithmic pressure law is likely not essential.
  • The dissipation calculation has the same flavour as standard Fokker-Planck energy estimates, so the method may yield quantitative rates or a variational rewriting of the system; this is speculative.
  • A numerical experiment on the torus could test whether the Grönwall bound on ∫|∂x f(r)+V| is sharp when V1−V2 has large oscillations in W^{3,1}.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper studies the two-species cross-diffusion system (1.1) on the one-dimensional flat torus, with logarithmic pressure acting on the sum of the densities and with independent drift potentials. The main result (Theorem 2.2) asserts the global existence of weak solutions under hypotheses H1-H4, with the additional regularity rho_i in L^2([0,T];BV(T)) cap L^p_loc((0,T];BV(T)). The strategy is to pass to the variables (sigma, f(r)) with f(r)=log(rho_1/rho_2), regularize the system by adding linear self-diffusion (3.1), derive eta-independent BV estimates for f(r) and L^{3/2} estimates for partial_x sigma, and then obtain strong compactness of the individual densities via the Aubin-Lions-Simon lemma. Section 4 develops the smoothness and strict positivity of the regularized solutions, and Section 5 gives a conditional extension to reaction-cross-diffusion systems.

Significance. If the proof is completed, the result would be the first existence theorem for this type of cross-diffusion system allowing mixed initial data and independent drifts without self-diffusion. The change of variables to the logarithmic ratio and the BV energy-dissipation estimate for int |partial_x u| are genuinely novel, and the eta-independence of the constants in Theorem 3.5 is carefully tracked. The energy-dissipation estimate, the sigma-estimate, and the compactness argument are written in considerable detail and cohere. The paper is also honest in marking the reaction-term extension as conditional. However, the proof currently relies on an unproved adaptation of Laborde's existence theorem to the torus and on a regularity lemma whose proof is invalid as stated; both are load-bearing but appear repairable.

major comments (2)
  1. [Section 3, Theorem 3.2] The existence of weak solutions to the eta-regularised system (3.1) on the torus is the foundation of the entire proof, but Theorem 3.2 is proved by asserting that [Lab20, Theorem 2.2] applies 'up to the constants eta and (1-2eta)' after a 'direct adaptation' from a bounded interval with no-flux boundary conditions to the flat torus. No JKO scheme, boundary-term comparison, or coefficient correspondence is provided, and the proof of Theorem 3.2 is only one paragraph. Because all a priori estimates (Theorems 3.5 and 3.6, Corollary 3.7, Proposition 3.9) and the compactness passage in Theorem 2.2 are conditional on the existence of these regularised solutions, this is a load-bearing gap. The authors should either state and prove the adapted existence theorem for the torus or give a detailed reduction from the interval case.
  2. [Section 4, Proposition 4.1] The proof of Proposition 4.1 contains a serious technical error. In the Duhamel formula (4.4), the divergence term has the wrong sign; the correct expression is ∂x[(ξ̃φ - 2ũ∂xφ)*2 Φ], not ∂x[(2ũ∂xφ - ξ̃φ)*2 Φ]. More importantly, the estimate of the initial-data term uses Young's inequality as if * were a space-time convolution, although * is defined as spatial convolution only. With u0∈L^p, the homogeneous heat flow e^{tΔ}u0 need not lie in L^p([0,T];W^{1,p}(T)) for p>3, so the proposition as stated is false for general L^p initial data. Since Proposition 4.3 uses Proposition 4.1 to bootstrap smoothness of the regularised solutions, this proof must be corrected, for instance by assuming u0∈W^{1,p} in the base case or by invoking standard maximal regularity with the appropriate initial-data space.
minor comments (6)
  1. [Section 3, Theorem 3.6] The proof of the L^2 H^1 estimate for sqrt(rho_1+rho_2) is essentially a citation to [Lab20, Proposition 3.4]; since the regularised system (3.1) differs from the one in [Lab20] by the constants eta and (1-2eta), the authors should either reproduce the entropy-dissipation computation or state precisely the adapted estimate.
  2. [Section 4, Proposition 4.2] The adaptation of the Harnack inequality from [Bog+15, Theorem 8.1.3] to the flat torus is asserted after 'tracking constants' rather than proved; the global inequality (4.9) deserves a few lines of justification showing why periodicity turns the local estimate into a global one.
  3. [Abstract and Section 5] The abstract states that the main results 'naturally extend to similar systems involving reaction terms', but Theorem 5.1 is conditional on the existence of a suitable smooth approximation that is not constructed; the wording should be adjusted to avoid overclaiming.
  4. [Section 3, Proposition 3.9] The text says the time-derivative bound holds 'for any s>0 such that H^s(T)⊂W^{2,∞}(T)', but this embedding requires s>5/2; the condition should be stated precisely.
  5. [Throughout] There are numerous typos and grammatical slips ('spacial', 'righter most', 'infimise', 'the term ... defines a weak solution'); a careful proofread is needed.
  6. [Proof of Theorem 2.2] The existence of the approximating sequence of smooth positive initial densities satisfying the uniform bounds in (3.30) is asserted without proof; a short mollification-and-normalisation argument would make this step transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central existence proof derives genuinely new BV estimates from an external regularized-existence theorem and independent compactness arguments.

full rationale

The paper's derivation chain is self-contained after the regularized system is granted: Theorem 3.2 invokes the external existence theorem [Lab20, Theorem 2.2] for the eta-regularised system (3.1), and the proof explicitly flags the only missing piece as 'the adaptation of the result of Laborde from a bounded interval with no-flux boundary conditions to the case of the 1-dimensional flat torus.' This is a rigor gap, not a circular reduction, because Laborde's theorem is an independent published result and does not assume the target theorem or the total-mixing conclusion. The subsequent BV estimates are not fitted inputs renamed as predictions: Theorem 3.5 proves a Gronwall-type dissipation inequality for the energy measuring |partial_x f(r)+V|, with the initial quantity TV(log(rho_{1,0}/rho_{2,0})) appearing only as a hypothesis and not as the desired conclusion; Theorem 3.6 obtains the sigma BV bound from the standard estimate on sqrt(rho_1+rho_2) following the external proof of [Lab20, Proposition 3.4]; Corollary 3.7 combines these with the elementary fact f'(r) >= 4; Proposition 3.9 gives the time-derivative bound by duality. The passage to the limit eta -> 0 then uses Aubin-Lions-Simon compactness and weak-strong convergence of the product rho_i(rho_1+rho_2)^{-1} partial_x(rho_1+rho_2), none of which presupposes the existence result. The total-mixing assumption is hypothesis (H2), not a consequence smuggled into the hypotheses, and the regularity rho_1,rho_2 in BV is derived rather than assumed. Self-citations such as [KM18] and [JKM21] occur only in the literature review and in contextual remarks; they are not load-bearing in the proof. Accordingly, no step in the claimed derivation is equivalent by construction to its own input, and the paper should not be scored for circularity despite the real correctness concern about the unproved torus adaptation of Laborde's theorem.

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

The paper is a pure existence proof. It introduces no fitted parameters and no invented entities. The central claim rests on the structural assumption H2 (total mixing), on standard PDE tools, and on the imported well-posedness of the regularised system from Laborde [Lab20], whose adaptation to the periodic setting is asserted rather than proved. No circularity is present: all external inputs are stated and cited.

assumptions (6)
  • domain assumption The initial data and potentials satisfy Hypotheses H1-H4, in particular log(rho1,0/rho2,0) in BV(T) (total mixing), sigma0 in L log L(T), V1,V2 in W2,1(T) and V1-V2 in W3,1(T).
    These are the stated assumptions of Theorem 2.2. H2 is the crucial condition that makes the new variable f(r) well-defined and of bounded variation; it is an assumption, not a consequence of the proof.
  • ad hoc to paper The eta-regularised system (3.1) admits a weak solution for initial data satisfying H1, by direct adaptation of [Lab20, Theorem 2.2] to the 1D flat torus.
    Invoked in the proof of Theorem 3.2 as the starting point of the approximation. The adaptation from bounded intervals with no-flux boundary conditions to the torus is asserted rather than demonstrated, and all later estimates depend on the existence of these regularised solutions.
  • standard math Initial data rho1,0, rho2,0 satisfying H1-H2 can be approximated by smooth uniformly positive densities with uniform bounds on ||log(rho_eta1,0/rho_eta2,0)||_BV and ||rho_eta1,0+rho_eta2,0||_{L log L} (Equation (3.30)).
    Standard mollification and density of smooth functions in BV and L log L; used to generate the sequence of smooth initial data in the proof of Theorem 2.2.
  • standard math The Aubin-Lions-Simon compactness lemma applies to the spaces BV(T) subset L1(T) subset H^{-s}(T), yielding strong pre-compactness of the regularised densities.
    Used to pass to the limit in Section 3.2, citing [Sim87, Section 8, Corollary 4].
  • standard math Kato's inequality and the chain rule for the absolute value in W1,1 (Lemmas A.1-A.3) justify the energy-dissipation computations.
    The paper provides proofs of these lemmas in the appendix, so the reliance is on standard results with included justification.
  • standard math Parabolic regularity theory and Harnack's inequality from [LSU68] and [Bog+15] apply to the regularised system and imply smooth, uniformly positive solutions (Propositions 4.1-4.3).
    Needed to make the pointwise computations of Section 3 legitimate. The paper supplies the adaptation to the periodic setting.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On a Cross-Diffusion System with Independent Drifts and no Self-Diffusion: The Existence of Totally Mixed Solutions." pith.science (2026). https://pith.science/paper/QNTDT54Q

@misc{pith2026250418484,
  author       = {Pith},
  title        = {Pith review of: On a Cross-Diffusion System with Independent Drifts and no Self-Diffusion: The Existence of Totally Mixed Solutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QNTDT54Q}},
  note         = {Machine review of arXiv:2504.18484}
}
read the original abstract

We establish the global existence of weak solutions for a two-species cross-diffusion system, set on the 1-dimensional flat torus, in which the evolution of each species is governed by two mechanisms. The first of these is a diffusion which acts only on the sum of the species with a logarithmic pressure law, and the second of these is a drift term, which can differ between the two species. Our main results hold under a total mixing assumption on the initial data. This assumption, which allows the presence of vacuum, requires specific regularity properties for the ratio of the initial densities of the two species. Moreover, these regularity properties are shown to be propagated over time. In proving the main existence result, we also establish the spatial BV regularity of solutions. In addition, our main results naturally extend to similar systems involving reaction terms.

Figures

Figures reproduced from arXiv: 2504.18484 by the authors.

Figure 1
Figure 1. Suitable initial data ρ1,0 ρ2,0 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

    math.AP 2026-06 unverdicted novelty 8.0 of 10

    In a 1D cross-diffusion system with independent drifts, vanishing-viscosity solutions overlap at the interface while segregated weak solutions remain separate, proving non-uniqueness for the Cauchy problem in weak solutions.

Reference graph

Works this paper leans on

9 extracted references · 6 canonical work pages · cited by 1 Pith paper

  1. [1]

    Existence and regularity for a system of porous medium equations with small cross-diffusion and nonlocal drifts

    [Ala+22] Luca Alasio, Maria Bruna, Simone Fagioli, and Simon Schulz. “Existence and regularity for a system of porous medium equations with small cross-diffusion and nonlocal drifts”. In:Nonlinear Anal.223 (2022). doi: 10.1016/j.na.2022.1 13064. [Ama85] Herbert Amann. “Global existence for semilinear parabolic systems”. In:J. Reine Angew. Math.360 (1985)....

    work page doi:10.1016/j.na.2022.1 2022

  2. [89]

    On interacting popu- lations that disperse to avoid crowding: preservation of segregation

    Mono- graphs in Mathematics. Birkhäuser Boston, 1995.doi: 10.1007/978-3-0348-92 21-6. [Ber+85] M. Bertsch, M. E. Gurtin, D. Hilhorst, and L. A. Peletier. “On interacting popu- lations that disperse to avoid crowding: preservation of segregation”. In:J. Math. Biol. 23.1 (1985). doi: 10.1007/BF00276555. 27 [BGH87] M. Bertsch, M. E. Gurtin, and D. Hilhorst. ...

    work page doi:10.1007/978-3-0348-92 1985

  3. [120]

    Springer-Verlag, New York, 1989.doi: 10.1007/978-1-4612-101 5-3

    Graduate Texts in Mathematics. Springer-Verlag, New York, 1989.doi: 10.1007/978-1-4612-101 5-3. 30

    work page doi:10.1007/978-1-4612-101 1989

  4. [207]

    Polar factorization and monotone rearrangement of vector-valued functions

    Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015.doi: 1 0.1090/surv/207. [Bre91] Yann Brenier. “Polar factorization and monotone rearrangement of vector-valued functions”. In:Comm. Pure Appl. Math.44.4 (1991). doi: 10.1002/cpa.316044

    work page doi:10.1002/cpa.316044 1991

  5. [402]

    Hele-Shaw limit for a system of two reaction-(cross-)diffusion equations for living tissues

    [Bub+20] Federica Bubba, Benoît Perthame, Camille Pouchol, and Markus Schmidtchen. “Hele-Shaw limit for a system of two reaction-(cross-)diffusion equations for living tissues”. In:Arch. Ration. Mech. Anal.236.2 (2020). doi: 10.1007/s00205-019 -01479-1. [Bur+10] MartinBurger,MarcoDiFrancesco,Jan-FrederikPietschmann,andBärbelSchlake. “Nonlinear cross-diffu...

    doi:10.1007/s00205-019 2020

  6. [1968]

    Existence and incompressible limit of a tissue growth model with autophagy

    29 [LX21] Jian-Guo Liu and Xiangsheng Xu. “Existence and incompressible limit of a tissue growth model with autophagy”. In:SIAM J. Math. Anal.53.5 (2021). doi: 10.1 137/21M1405253. [PX20] Brock C. Price and Xiangsheng Xu. “Global existence theorem for a model gov- erning the motion of two cell populations”. In:Kinet. Relat. Models13.6 (2020). doi: 10.3934...

    work page doi:10.3934/krm.2020042 2021

  7. [2015]

    A note on interacting populations that disperse to avoid crowding

    28 [GP84] Morton E. Gurtin and A. C. Pipkin. “A note on interacting populations that disperse to avoid crowding”. In:Quart. Appl. Math.42.1 (1984). doi: 10.1090/q am/736508. [GPŚ19] Piotr Gwiazda, Benoît Perthame, and Agnieszka Świerczewska-Gwiazda. “A two- species hyperbolic-parabolic model of tissue growth”. In:Comm. Partial Differ- ential Equations 44....

    work page arXiv 1984

  8. [2023]

    Weak solutions to the Muskat problem with surface tension via optimal transport

    arXiv:2208.01792 [math.AP]. [JKM21] Matt Jacobs, Inwon Kim, and Alpár R. Mészáros. “Weak solutions to the Muskat problem with surface tension via optimal transport”. In: Arch. Ration. Mech. Anal. 239.1 (2021). doi: 10.1007/s00205-020-01579-3. [JKO98] Richard Jordan, David Kinderlehrer, and Felix Otto. “The variationalformulation of the Fokker-Planck equat...

    arXiv 2021

Show all 9 references
  1. [2024]

    Existenceofsolutionstoreactioncrossdiffusionsystems

    arXiv:2403.06464 [math.AP]. [Jac23a] MattJacobs.“Existenceofsolutionstoreactioncrossdiffusionsystems”.In: SIAM J. Math. Anal.55.6 (2023). doi: 10.1137/22M1497742. [Jac23b] Matt Jacobs. Lagrangian solutions to the Porous Media Equation and Reaction Diffusion Systems

    2023 arXiv

Pith tools

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