pith. sign in

arxiv: 2605.13420 · v1 · pith:FU3TLJ4Xnew · submitted 2026-05-13 · 🧮 math.AP

The evolution variational inequality for weighted Wasserstein metrics in non-convex bounded domains

Kyogo Murai This is my paper

Pith reviewed 2026-05-14 18:11 UTC · model grok-4.3

classification 🧮 math.AP
keywords evolution variational inequalityweighted Wasserstein distancenon-convex domainsKeller-Segel systemCahn-Hilliard equationminimizing movementsgradient flows
0
0 comments X

The pith

The weighted Wasserstein metric satisfies the evolution variational inequality in non-convex bounded domains.

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

This paper establishes the evolution variational inequality for the weighted Wasserstein distance without requiring the domain to be convex. The proof controls a boundary integral that appears in non-convex cases by using Sobolev trace embedding and a variant of Kato's inequality, allowing the integral to be absorbed into the dissipation terms. With the inequality available, the authors apply the minimizing movement scheme in the weighted Wasserstein metric to construct weak solutions for Keller-Segel systems and Cahn-Hilliard type equations inside non-convex domains. A sympathetic reader cares because convexity is a strong restriction that excludes many domains arising in applications such as biology and materials science.

Core claim

The evolution variational inequality holds for the weighted Wasserstein distance on non-convex bounded domains. The key step is to bound the boundary integral arising from integration by parts by means of trace estimates and Kato-type inequalities so that it can be absorbed into the energy dissipation. Once the inequality is available, the JKO minimizing movement scheme produces weak solutions to the corresponding gradient-flow PDEs, namely Keller-Segel systems and Cahn-Hilliard equations, without any convexity assumption on the domain.

What carries the argument

The evolution variational inequality for the weighted Wasserstein metric, which encodes the contraction property and energy dissipation needed to pass to the limit from discrete minimizing movements.

If this is right

  • Weak solutions to Keller-Segel systems exist in non-convex domains.
  • Weak solutions to Cahn-Hilliard type equations exist in non-convex domains.
  • Gradient-flow techniques based on weighted Wasserstein metrics apply directly to non-convex settings.
  • Boundary contributions in the dissipation inequality can be controlled without convexity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same control technique may allow extension of other Wasserstein gradient-flow results to non-convex domains.
  • It opens the possibility of studying these equations on domains with obstacles or irregular boundaries that arise in physical modeling.
  • Numerical implementations of the minimizing movement scheme could be validated in non-convex geometries.

Load-bearing premise

The boundary integral can be estimated via Sobolev trace embedding and a variant of Kato's inequality and then absorbed into the positive dissipation terms.

What would settle it

A calculation in a specific non-convex domain, such as two disks connected by a thin rectangle, where the boundary integral exceeds the dissipation terms for some test measure, violating the evolution variational inequality.

read the original abstract

In this paper, we establish the evolution variational inequality for the weighted Wasserstein distance, without assuming convexity of domains. Thanks to this evolution variational inequality, we can carry out some arguments with weighted Wasserstein metrics in not only convex but also non-convex domains. Therefore finally, we apply the evolution variational inequality to the minimizing movement in weighted Wasserstein metrics to obtain weak solutions of Keller--Segel systems and Cahn--Hilliard type equations in non-convex domains. The key point to remove the convexity assumption is a control of the boundary integral. To deal with the boundary integral, we use estimates for functions on the boundary, the Sobolev trace embedding and the variant of Kato's inequality. Then, the boundary integral can be absorbed by good known terms.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes the evolution variational inequality (EVI) for the weighted Wasserstein distance on non-convex bounded domains. The key step is to control the boundary integral generated by the lack of convexity via Sobolev trace embedding combined with a variant of Kato's inequality, allowing the term to be absorbed into the dissipation. The resulting EVI is then applied to the minimizing-movement scheme to construct weak solutions of Keller-Segel systems and Cahn-Hilliard-type equations in non-convex domains.

Significance. Removing the convexity assumption extends the range of domains for which Wasserstein gradient-flow techniques are available, which is relevant for applications in biology and materials science where domains are typically irregular. The argument relies on classical, independent functional-analytic tools (trace embeddings and Kato-type inequalities) rather than ad-hoc normalizations, and the strategy is the standard one used for boundary corrections in Wasserstein flows.

minor comments (2)
  1. §2: the precise statement of the 'variant of Kato's inequality' used for the boundary term should be displayed explicitly, together with the constants that appear in the absorption argument.
  2. The notation for the weighted Wasserstein distance and the associated energy should be introduced once in a dedicated subsection rather than scattered across the introduction and the main proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation to accept it. The report accurately captures the main contribution: establishing the evolution variational inequality for weighted Wasserstein metrics on non-convex bounded domains via boundary control using Sobolev trace embeddings and a variant of Kato's inequality, followed by applications to minimizing movements for Keller-Segel and Cahn-Hilliard systems.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on classical, externally established inequalities (Sobolev trace embedding and a variant of Kato's inequality) to absorb boundary integrals arising from non-convexity. These tools are independent of the target EVI and are not derived from or fitted to the paper's own results. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the chain; the central claim remains self-contained against standard functional-analytic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard Sobolev embeddings and a variant of Kato's inequality that are taken from the literature; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • standard math Sobolev trace embedding holds on bounded domains with suitable regularity
    Invoked to control the boundary integral
  • standard math Variant of Kato's inequality applies to the relevant functions
    Used to absorb the boundary term

pith-pipeline@v0.9.0 · 5420 in / 1316 out tokens · 42128 ms · 2026-05-14T18:11:26.463426+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    J. D. Benamou and Y. Brenier, A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem. Numer. Math. 84 (2000), 375--393

    work page 2000

  2. [2]

    Brezis and P

    H. Brezis and P. Mironescu, Gagliardo--Nirenberg inequalities and non-inequalities: the full story. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 35 (2018), 1355--1376

    work page 2018

  3. [3]

    J. W. Cahn and J. E. Hilliard, Spinodal decomposition: A reprise. Acta Metallurgica 19 (1961), 151–-161

    work page 1961

  4. [4]

    J. A. Carrillo, S. Lisini, G. Savar\'e and D. Slep c ev, Nonlinear mobility continuity equations and generalized displacement convexity. J. Funct. Anal. 258 (2010), 1273--1309

    work page 2010

  5. [5]

    Dolbeault, B

    J. Dolbeault, B. Nazaret and G. Savar\'e, A new class of transport distances between measures. Calc. Var. Partial Differential Equations 34 (2009), 193--231

    work page 2009

  6. [6]

    Daneri and G

    S. Daneri and G. Savar\'e, Eulerian calculus for the displacement convexity in the Wasserstein distance. SIAM J. Math. Anal. 40 (2008), 1104--1122

    work page 2008

  7. [7]

    C. M. Elliott and H. Garcke, On the Cahn--Hilliard equation with degenerate mobility. SIAM J. Math. Anal. 27 (2) (1996), 404--423

    work page 1996

  8. [8]

    D Haroske and H

    D. D Haroske and H. Triebel, Distributions, Sobolev spaces, elliptic equations. EMS Textbooks in Mathematics European Mathematical Society (EMS), Z\"urich (2008)

    work page 2008

  9. [9]

    Ishida, K

    S. Ishida, K. Seki and T. Yokota, Boundedness in quasilinear Keller--Segel systems of parabolic--parabolic type on non-convex bounded domains. J. Differential Equations 256 (2014), 2993--3010

    work page 2014

  10. [10]

    Jordan, D

    R. Jordan, D. Kinderlehrer and F. Otto, The variational formulation of the Fokker--Planck equation. SIAM. J. Math. Anal. 29 (1998), 1--17

    work page 1998

  11. [11]

    Kim and A

    I. Kim and A. R. M\'esz\'aros, On nonlinear cross-diffusion systems: an optimal transport approach. Calc. Var. Partial Differential Equations 57 (2018), Paper No. 79, 40

    work page 2018

  12. [12]

    Lisini, D

    S. Lisini, D. Matthes and G. Savar\'e, Cahn--Hilliard and thin film equations with nonlinear mobility as gradient flows in weighted-Wasserstein metrics. J. Differential Equations 253 (2012), 814--850

    work page 2012

  13. [13]

    Matthes, R

    D. Matthes, R. J. McCann and G. Savar\'e, A family of fourth order equations of gradient flow type. Comm. Partial Differential Equations 34 (2009), 1352--1397

    work page 2009

  14. [14]

    Mimura, The variational formulation of the fully parabolic Keller--Segel system with degenerate diffusion

    Y. Mimura, The variational formulation of the fully parabolic Keller--Segel system with degenerate diffusion. J. Differential Equations 263 (2017), 1477--1521

    work page 2017

  15. [15]

    Mimura, Critical mass of degenerate Keller--Segel system with no-flux and Neumann boundary conditions

    Y. Mimura, Critical mass of degenerate Keller--Segel system with no-flux and Neumann boundary conditions. Discrete Contin. Dyn. Syst. 37 (2017), 1603--1630

    work page 2017

  16. [16]

    Mizoguchi and P

    N. Mizoguchi and P. Souplet, Nondegeneracy of blow-up points for the parabolic Keller--Segel system. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 31 (2014), 851--875

    work page 2014

  17. [17]

    Murai, Minimizing movements for quasilinear Keller--Segel systems with nonlinear mobility in weighted Wasserstein metrics

    K. Murai, Minimizing movements for quasilinear Keller--Segel systems with nonlinear mobility in weighted Wasserstein metrics. arXiv:2512.19137v2

    work page arXiv

  18. [18]

    J. E. Taylor and J. W. Cahn, Linking anisotropic sharp and diffuse surface motion laws via gradient flows. J. Statist. Phys. 77 (1--2) (1994), 183--197

    work page 1994

  19. [19]

    Zinsl, The gradient flow of a generalized fisher information functional with respect to modified Wasserstein distances

    J. Zinsl, The gradient flow of a generalized fisher information functional with respect to modified Wasserstein distances. Discrete Contin. Dyn. Syst. 10 (2017), 919--933

    work page 2017

  20. [20]

    Zinsl, Well-posedness of evolution equations with time-dependent nonlinear mobility: a modified minimizing movement scheme

    J. Zinsl, Well-posedness of evolution equations with time-dependent nonlinear mobility: a modified minimizing movement scheme. Adv. Calc. Var. 12 (2019), 423--446. =17pt

    work page 2019