Pith. sign in

REVIEW 4 major objections 5 minor 80 references

Singularities and their propagation in optimal transport

T0 review · 4 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read If a measure ever enters the singular set of a Hamilton-Jacobi potential, the paper proves it stays there forever.

desk verdict A plausible and genuinely new singularity-propagation result in Wasserstein space, but the global claims lean on unpublished companion-preprint theorems whose hypotheses are not restated. read the letter →

arxiv 2501.15605 v1 pith:KCXNJANN submitted 2025-01-26 math.AP math.DS

Piermarco Cannarsa , Wei Cheng , Tianqi Shi , Wenxue Wei This is my paper · ORCID
classification math.APmath.DS MSC 35D4049Q2237Jxx37Kxx
keywords optimaltransportpotentialenergyfunctionalcutlocuspropagationofsingularitiesHamilton-JacobiequationweakKAMtheoryWassersteinspacesemiconcavefunctions
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 is trying to establish that singularities in optimal transport are permanent: once a measure meets the singular set of a Hamilton-Jacobi potential, the flow keeps it there for all later times. For a weak KAM solution $u$ of $H(x,Du)=c[0]$, it proves that each cut point of the induced potential-energy functional $u(\cdot)$ is carried by the canonical maximizing movement into singular points of $u(\cdot)$, and that the resulting curve of measures solves a continuity equation with velocity $H_p(x,p^\#_u(x))$, where $p^\#_u(x)$ is the minimal-momentum element of the superdifferential $D^+u(x)$. In measure terms, $\mu_0(\operatorname{Sing} u)>0$ forces $\mu(t)(\operatorname{Sing} u)>0$ for every $t\in[0,T]$, and the same forward invariance holds for the cut locus $\mathcal{C}(u(\cdot))$. The bridge that makes this tractable is the equivalence: a measure is a singular point of the functional $u(\cdot)$ exactly when it assigns positive mass to $\operatorname{Sing}(u)$. If correct, this supplies a global propagation theory for the regime after the cut time, when the classical regular-flow machinery for transport equations no longer applies.

What carries the argument

The load-bearing object is the potential-energy functional $u(\mu)=\int u\,d\mu$ with its localized Frechet superdifferential, together with the characterization $\mu\in\mathcal{S}(u(\cdot))$ if and only if $\mu(\operatorname{Sing} u)>0$. Singularity transport is carried by the minimal-momentum selection $p^\#_\phi(x)=\operatorname{argmin}\{H(x,p):p\in D^+\phi(x)\}$; the measure curve of Theorem 5.5 is the law of random solutions of $\dot x=H_p(x,p^\#_\phi(x))$, an irregular Lagrangian semiflow on the cut locus because the vector field loses the regularity needed for classical flow theory after the cut time. The construction uses the random Lax-Oleinik operators $P^\pm_t$, the cut-time identity $T_u(\mu)=\inf\{\tau_u(x):x\in\operatorname{supp}\mu\}$, and an energy-dissipation-inequality (EDI) minimizing-movement scheme that extracts the limit curve and the continuity equation from a sequence of discrete maximization steps.

What would settle it

If the theorem is right, then for a weak KAM solution $u$ with a nonempty singular set and $\mu_0=\delta_{x_0}$ with $x_0\in\operatorname{Sing}(u)$, the computed maximizer $\nu_{u,\mu}(t)$ must assign full mass to $\operatorname{Sing}(u)$ for every small $t>0$. A decisive calculation is to take a one-dimensional Tonelli Hamiltonian with a known weak KAM solution having an isolated corner, solve the one-step maximization $u(\nu)-C^t(\delta_{x_0},\nu)$ explicitly, and check the optimizer: if it is ever absolutely continuous with respect to Lebesgue measure, or more generally has $\nu(\operatorname{Sing} u)=0$, the propagation claim fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.4 together with Corollary 5.2. Let $u$ be a weak KAM solution of $H(x,Du(x))=c[0]$ on the torus, let $u(\mu)=\int u\,d\mu$ be the induced potential-energy functional, and let $C^t$ be the dynamical cost built from the fundamental solution. If $\mu\in\mathcal{C}(u(\cdot))$, then for every $t\in(0,t_{u,\mu}]$ the unique maximizer $\nu_{u,\mu}(t)=\operatorname{argmax}\{u(\nu)-C^t(\mu,\nu)\}$ is a singular point of $u(\cdot)$, i.e. $\nu_{u,\mu}(t)(\operatorname{Sing} u)>0$. Moreover, the minimizing-movement curve $\mu(\cdot):[0,T]\to P(\mathbb{T}^m)$ obtained by letting the time step go to zero satisfies the continuity equation $\frac{d}{dt}\mu+\operatorname{div}(H_p(\cdot,p^\#_u(\cdot))\mu)=0$, $\mu(0)=\mu_0$; if $\mu_0(\operatorname{Sing} u)>0$ then $\mu(t)(\operatorname{Sing} u)>0$ for all $t$, and if $\mu_0\in\mathcal{C}(u(\cdot))$ then $\mu(t)\in\mathcal{C}(u(\cdot))$ for all $t$. In the authors' phrasing, the forward dynamics after the formation of singularities is governed by an irregular Lagrangian semiflow on the cut locus.

Load-bearing premise

The whole construction stands or falls on three facts proved outside the paper: the small-time limit that selects the minimal-momentum element $p^\#_\varphi$ from the superdifferential, the inequality $\tau_u(\xi(t))\le\tau_u(\xi(0))$ along strict singular characteristics, and the theorem that singularities propagate along generalized characteristics; if any of these holds only under hypotheses stricter than the ones stated, the continuity equation and the propagation conclusions do not follow.

Editorial extensions

If this is right

  • An absolutely continuous measure transported before its cut time stays absolutely continuous, while after the cut time the evolution can make it singular; Theorem 5.2(3) and Remark 5.5 make this transition explicit.
  • Singularity mass is persistent: if $\mu_0(\operatorname{Sing} u)>0$, then $\mu(t)(\operatorname{Sing} u)>0$ for every $t\in[0,T]$, so singular support cannot disappear once present.
  • The cut locus $\mathcal{C}(u(\cdot))$ is forward-invariant: a trajectory starting in the cut locus remains in the cut locus over arbitrary horizons $T$, giving a global semiflow on the cut locus.
  • For any smooth observable $f$, the right time-derivative of $f(\mu(t))$ is $\int\langle Df(x),H_p(x,p^\#_\phi(x))\rangle\,d\mu(t)$, so the irregular flow still has a well-defined generator on smooth observables.
  • The continuity-equation construction works for every semiconcave $\phi$ on the torus, not only weak KAM solutions, so the propagation mechanism is tied to semiconcavity rather than to the specific equation.

Reading between the lines

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

  • A natural numerical test is to discretize the maximizing movement with step $h$ for a semiconcave potential with an isolated corner, and measure the mass assigned to $\operatorname{Sing}(\phi)$; the theorem predicts that every weak-* accumulation point as $h\to0$ keeps full singular mass at all positive times.
  • The vector field $H_p(x,p^\#_\phi(x))$ is irregular and uniqueness for the continuity equation is not supplied by classical theory; a question left implicit is whether the minimizing-movement curve is the unique selection solution of the continuity equation.
  • If the cut-time monotonicity from the companion preprint holds globally, the same mechanism should yield an even stronger statement not isolated in the paper: the semiflow is forward-invariant on the cut locus for every choice of initial measure, not only for measures already known to be cut points.
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

4 major / 5 minor

Summary. The paper develops a theory of singularities for potential energy functionals on the space of compactly supported probability measures and studies their propagation in optimal transport. For a semiconcave function φ, the authors characterize the singular points of the functional φ(·) as measures charging Sing(φ), establish regularity properties of the dynamical cost functional C_t, and introduce random Lax-Oleinik operators that solve a Hamilton-Jacobi equation in Wasserstein space. The main results are: if u is a weak KAM solution and μ is a cut point of u(·), then the forward maximizing curve ν_{u,μ}(t) lies in S(u(·)) for small t (Theorem 5.4); for any φ ∈ SCL(T^m) and μ0 ∈ P(T^m), there is a Lipschitz curve μ(·) solving the continuity equation ∂_t μ + div(H_p(·, p#_φ(·)) μ)=0 (Theorem 5.5); and when φ=u is a weak KAM solution, singular support and cut-locus membership propagate forward in time (Corollary 5.2). The paper also constructs an irregular Lagrangian semiflow on the cut locus and discusses its non-regularity with respect to DiPerna-Lions theory.

Significance. If the central assertions hold, the paper establishes a measure-valued propagation theory for singularities in optimal transport after the formation of singularities, a regime where classical regular Lagrangian flows do not apply. The construction is genuinely variational: the target curve in Theorem 5.5 is constructed, not assumed, and the velocity field is identified explicitly through p#_φ without fitted constants. The paper also gives useful structural results on generalized differentials of potential energy functionals and on random Lax-Oleinik operators. However, several load-bearing ingredients are imported from unpublished preprints by the same authors, and the hypotheses under which those ingredients hold are not stated or verified in this manuscript. The propagation claims are therefore conditional on external inputs that are not established here.

major comments (4)
  1. [§5.3, Theorem 5.5, Eq. (50)] The identification lim_{t→0+} DT^+_t φ(x) = p#_φ(x) is imported from [29, Prop. 4.2] without stating the hypotheses under which it holds. The proof then passes this limit through an integral in s and through weak-* limits of measures to obtain (51)-(52). It is not specified whether (50) holds for every x ∈ T^m or only on a differentiability set, whether the convergence is uniform or dominated, and whether it holds at the singular points of φ. Since Corollary 5.2 concerns exactly the mass supported on Sing(u), the behavior of the limit on Sing(u) is the case that must be controlled; if (50) holds only off Sing(u), the equality in (51)-(52) and the ODE for ξ* are not justified on the set relevant to the propagation claim.
  2. [§5.3, Corollary 5.2(2)] Corollary 5.2(2) invokes [29, Thm 5.7] to assert τ_u(ξ*(t)) ≤ τ_u(ξ*(0)) along the limiting random curve ξ*, but the hypotheses of that theorem—in particular the precise definition of strict singular characteristic and the admissible starting times—are not restated or verified for the curve constructed in Theorem 5.5. Lemma 5.5 supplies only a one-sided variational characterization, and it is not shown that ξ* satisfies the hypotheses of [29, Thm 5.7] for every t ∈ [0,T], including times after the classical cut time. Without this verification, the global cut-locus propagation assertion in Corollary 5.2(2) is unsupported.
  3. [§5.3, Corollary 5.2(1)] Corollary 5.2(1) applies Albano's theorem [1, Thm 1.2] to conclude that ξ(0,ω) ∈ Sing(u) implies ξ*(t,ω) ∈ Sing(u). The manuscript does not state Albano's definition of generalized characteristic nor verify that the random curve ξ* constructed in Theorem 5.5 is a generalized characteristic in that exact sense. The only verification is through the equalities in (51)-(52), which identify a strict singular characteristic in the sense of Lemma 5.5 (taken from [29]), not necessarily the notion used in [1]. Since this step is the bridge from the constructed velocity field to persistence of Sing(u), it is load-bearing and needs a precise statement and proof.
  4. [§3.3, Theorem 3.3(3)] The proof of Theorem 3.3(3) chooses λ_K such that K ⊂ B(x, λ_K t) for all x ∈ K, which forces λ_K ≥ diam(K)/t. Hence the constant C_{λ_K} from Proposition 2.8 depends on t, and the stated conclusion that there exists C_K > 0 depending only on K with semiconcavity constant C_K/t uniformly for t ∈ (0,1) is not justified. A corrected statement should either allow the constant to depend on t or prove the required uniformity separately.
minor comments (5)
  1. [Abstract] There is a typo in the abstract: 'potenti al' should be 'potential'.
  2. [§5.2, Theorem 5.4 proof] In the proof of Theorem 5.4, the displayed equality 'u(x) − A_t(x,y) = T^+_t u(x)' should read 'u(y) − A_t(x,y) = T^+_t u(x)' for γ^t-almost every (x,y).
  3. [§4.1, Proposition 4.1(3)] In Proposition 4.1(3), the second identity appears to have a sign error: it should be P^+_t ∘ P^-_s φ = T^+_t ∘ T^-_s φ(·), not T^-_t ∘ T^-_s φ(·).
  4. [§5.3, Corollary 5.2] Corollary 5.2 contains a duplicated comma in 'is a viscosity solution to (HJs), ,'.
  5. [§5.3, Theorem 5.5] The paper does not discuss the measurability of the selection p#_φ(x) = argmin{H(x,p): p ∈ D^+φ(x)}; since the continuity equation (45) is integrated against μ(t), a Borel measurable selection should be justified, for instance via a measurable selection theorem.

Circularity Check

3 steps flagged · score 4.0 of 10

No definitional circularity, but the central global propagation steps are load-bearing self-citations from the same authors' preprint [29].

  1. self citation load bearing [Section 5.3, proof of Theorem 5.5, equation (50)]
    "Furthermore, from ([29, Proposition 4.2]), we recall that for any x ∈ Tm, lim_{t→0+} DT^+_t φ(x) = arg min_{p∈D+φ(x)} {H(x, p)} =: p#φ(x). (50)"

    The conclusion of Theorem 5.5 is the continuity equation (45) with velocity Hp(x,p#φ(x)). The only step that identifies the discrete scheme's velocities DT^+_{s−τΔ}φ with p#φ is this imported limit from [29], a companion preprint by Cannarsa–Cheng–Hong–Wang, the same research group. The paper neither proves (50) nor states the hypotheses under which it holds (e.g. whether it is valid at every x ∈ Tm or only at differentiability points). The limit passage from (49) to (51) therefore rests on an unverified self-citation rather than on an argument contained in this paper.

  2. self citation load bearing [Section 5.3, Lemma 5.4 and its use in the proof of Theorem 5.5]
    "Lemma 5.4 ([29]). Suppose M is a Riemannian manifold, φ ∈ SCL_loc(M) and η : R → M is a locally absolutely continuous curve, then d/dt φ(η(t)) = p(η˙(t)), a.e. t ∈ R, ∀p ∈ D+φ(η(t))."

    In the proof of Theorem 5.5, after deriving inequality (52), the paper writes: 'Due to Lemma 5.4 and Fenchel's inequality, (52) is actually an equality. Furthermore, μ(t) is the law at time t of a random solution ξ∗ of the following equation...' This is the decisive step that turns the variational inequality into the exact ODE ξ˙ = Hp(ξ,p#φ(ξ)) and hence into the continuity equation (45). Lemma 5.4 is quoted from [29], the same authors' preprint, and is not proved or independently verified here. The central existence theorem is thus made to depend on a nontrivial imported lemma that is not part of the paper's own derivation.

1 more flagged steps
  1. self citation load bearing [Section 5.3, proof of Corollary 5.2(2)]
    "Moreover, according to [29, Theorem 5.7], τu(ξ∗(t,ω)) ≤ τu(ξ∗(0,ω)) for all t ∈ [0,T] and P-a.e. ω ∈ Ω."

    Corollary 5.2(2) is the paper's headline global propagation statement: if μ0 ∈ C(u(·)), then μ(t) ∈ C(u(·)) for all t. After reducing the measure-level cut locus to the pointwise cut time via Corollary 5.1, the proof uses exactly the monotonicity of τu along ξ∗, quoted from [29, Theorem 5.7]. That monotonicity is the finite-dimensional mechanism of singularity propagation itself. Importing it from the same authors' unpublished preprint means the global measure-level propagation claim is effectively a corollary of a self-cited result rather than an independently established theorem in this paper.

full rationale

The paper is not definitionally circular: the curve μ(·) in Theorem 5.5 is genuinely constructed by a minimizing-movement scheme, p#φ is defined independently of the conclusion, and there are no fitted constants or parameters. A substantial portion of the paper, including Theorems 3.1, 3.2, 5.3, and 5.4, is proved in the text or appendices without relying on [29]. The circularity concern is narrower but real: the two analytic facts that convert the discrete scheme into the desired limiting continuity equation (45), and that yield the global cut-locus propagation in Corollary 5.2(2), are quoted from [29], a companion preprint by Cannarsa, Cheng, Hong, and Wang—three of the present paper's authors. The paper states neither proofs nor precise hypotheses for these imported results. If [29, Proposition 4.2 and Theorem 5.7] are accepted, the derivation goes through; the present paper's contribution is the measure-level reformulation and the local calculus around potential energy functionals. Because the central global claim depends on load-bearing self-citations that are themselves unverified here, the score is 4 rather than 0–2. It is not higher because the argument is not a reduction to a fit or a definition, and the paper does contain independent measure-theoretic content.

Assumptions & free parameters 0 free parameters · 7 assumptions · 1 invented entities

The central claim rests on the weak KAM framework, on the regularity theory of the fundamental solution A_t, on classical measurable selection and gluing tools, and on three external propagation results: Arnaud's pseudograph theorem, Albano's singularity propagation theorem, and two results from the authors' preprint [29]. No numerical constants are fitted to data, which is why free_parameters is empty. The weight of the proof is therefore carried by the cited literature, including unpublished companion work, rather than by self-contained derivations in this paper.

assumptions (7)
  • domain assumption Tonelli Lagrangian L on TM and associated Tonelli Hamiltonian H; weak KAM theorem gives a viscosity solution u of H(x,Du)=c[0] on a closed manifold (Theorem 2.2).
    Section 2.2; all main theorems assume this setting.
  • domain assumption Proposition 2.8: fundamental solution A_t(x,y) is semiconcave and semiconvex with constant C_lambda/t on S(x,lambda,tau1) and strictly convex for t <= tau2.
    Cited from [36,25] and used in Theorems 3.3 and 3.5; not proved in this paper.
  • domain assumption Arnaud's theorem (Proposition 2.10): Phi^t_H(graph(DT^+_t phi)) = graph(D+phi) for t in (0,tau3].
    Used in Remark 5.3 to write nu_{phi,mu}(t) as a pushforward of mu under the Hamiltonian flow; cited from [10].
  • domain assumption [29, Prop 4.2]: lim_{t->0+} DT^+_t phi(x) = argmin_{p in D+phi(x)} H(x,p) = p^#_phi(x).
    Load-bearing in Theorem 5.5 proof, equation (50); comes from an unpublished preprint by the same authors and is not reproduced here.
  • domain assumption [29, Thm 5.7]: tau_u(xi*(t,omega)) <= tau_u(xi*(0,omega)) along strict singular characteristics.
    Used in Corollary 5.2(2) to propagate the cut locus; relies on the companion preprint [29].
  • domain assumption Albano's propagation theorem [1, Thm 1.2]: points in Sing(u) propagate along generalized characteristics of the Hamilton-Jacobi equation.
    Used in Corollary 5.2(1); the exact hypotheses are not restated in this paper.
  • standard math Standard measurable selection, disintegration, and gluing of optimal plans (Lemma A.1, Proposition 3.6).
    Used throughout the proofs in Sections 3 and 5.
invented entities (1)
  • Measure-valued strict generalized singular characteristic (minimizing movement curve solving the continuity equation (45))
    purpose: Models forward evolution of measures after singularity formation, including motion on the cut locus of u(.).
    Introduced and constructed in Theorem 5.5. It is a legitimate mathematical object whose existence is claimed, but it carries no falsifiable prediction outside the theory; the 'irregular Lagrangian semiflow' phrasing in the abstract goes beyond what is proven.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Singularities and their propagation in optimal transport." pith.science (2026). https://pith.science/paper/KCXNJANN

@misc{pith2026250115605,
  author       = {Pith},
  title        = {Pith review of: Singularities and their propagation in optimal transport},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KCXNJANN}},
  note         = {Machine review of arXiv:2501.15605}
}
abstract

In this paper, we investigate the singularities of potential energy functionals \(\phi(\cdot)\) associated with semiconcave functions \(\phi\) in the Borel probability measure space and their propagation properties. Our study covers two cases: when \(\phi\) is a semiconcave function and when \(u\) is a weak KAM solution of the Hamilton-Jacobi equation \(H(x, Du(x)) = c[0]\) on a smooth closed manifold. By applying previous work on Hamilton-Jacobi equations in the Wasserstein space, we prove that the singularities of \(u(\cdot)\) will propagate globally when \(u\) is a weak KAM solution, and the dynamical cost function \(C^t\) is the associated fundamental solution. We also demonstrate the existence of solutions evolving along the cut locus, governed by an irregular Lagrangian semiflow on the cut locus of \(u\).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

80 extracted references · 79 canonical work pages

  1. [29]

    V ariational construction of generalized charac- teristics and maximal slope curve

    Piermarco Cannarsa, Wei Cheng, Jiahui Hong, and Kaizhi Wang. V ariational construction of generalized charac- teristics and maximal slope curve. preprint, arXiv:2409.0 0961, 2024

    work page 2024

  2. [37]

    Optimal transport in the frame of abstract Lax-Oleinik operator revisited

    Wei Cheng, Jiahui Hong, and Tianqi Shi. Optimal transpo rt in the frame of abstract lax-oleinik operator revisited, . preprint, arXiv:2402.04159, 2024

    work page Pith review arXiv 2024

  3. [1]

    Propagation of singularities for solutio ns of Hamilton-Jacobi equations

    Paolo Albano. Propagation of singularities for solutio ns of Hamilton-Jacobi equations. J. Math. Anal. Appl. , 411(2):684–687, 2014

    work page 2014

  4. [2]

    Propagation of sin gularities for solutions of nonlinear first order partial differential equations

    Paolo Albano and Piermarco Cannarsa. Propagation of sin gularities for solutions of nonlinear first order partial differential equations. Arch. Ration. Mech. Anal., 162(1):1–23, 2002

    work page 2002

  5. [3]

    Singular gradient flow of the distance function and homotopy equivalence

    Paolo Albano, Piermarco Cannarsa, Khai Tien Nguyen, and Carlo Sinestrari. Singular gradient flow of the distance function and homotopy equivalence. Math. Ann., 356(1):23–43, 2013

    work page 2013

  6. [4]

    Aliprantis and Kim C

    Charalambos D. Aliprantis and Kim C. Border. Infinite dimensional analysis: A hitchhiker’s guide . Springer, Berlin, third edition, 2006. SINGULARITIES AND THEIR PROPAGA TION IN OPTIMAL TRANSPORT 4 7

    work page 2006

  7. [5]

    Lectures on optimal transport, volume 130 of Unitext

    Luigi Ambrosio, Elia Brué, and Daniele Semola. Lectures on optimal transport, volume 130 of Unitext. Springer, 2021

    work page 2021

  8. [6]

    On a class of first order Hamil ton-Jacobi equations in metric spaces

    Luigi Ambrosio and Jin Feng. On a class of first order Hamil ton-Jacobi equations in metric spaces. J. Differential Equations, 256(7):2194–2245, 2014

    work page 2014

Show all 80 references
  1. [7]

    Hamiltonian ODEs in t he Wasserstein space of probability measures

    Luigi Ambrosio and Wilfred Gangbo. Hamiltonian ODEs in t he Wasserstein space of probability measures. Comm. Pure Appl. Math. , 61(1):18–53, 2008

    2008

  2. [8]

    A user’s guide to optima l transport

    Luigi Ambrosio and Nicola Gigli. A user’s guide to optima l transport. In Modelling and optimisation of flows on networks, volume 2062 of Lecture Notes in Math. , pages 1–155. Springer, Heidelberg, 2013

    2013

  3. [9]

    Gradient flows in metric spaces and in the space of proba- bility measures

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savaré. Gradient flows in metric spaces and in the space of proba- bility measures. Lectures in Mathematics ETH Zürich. Birkhäuser V erlag, Basel, second edition, 2008

    2008

  4. [10]

    M.-C. Arnaud. Pseudographs and the Lax-Oleinik semi-g roup: a geometric and dynamical interpretation. Nonlin- earity, 24(1):71–78, 2011

    2011

  5. [11]

    Solutions to Hamilton-Jacobi equation on a Wasserstein space

    Zeinab Badreddine and Hélène Frankowska. Solutions to Hamilton-Jacobi equation on a Wasserstein space. Calc. V ar . Partial Differential Equations, 61(1):Paper No. 9, 41, 2022

    2022

  6. [12]

    Analytische Eigenschaften konvexer F unktionen auf Riemannschen Mannigfaltigkeiten

    Victor Bangert. Analytische Eigenschaften konvexer F unktionen auf Riemannschen Mannigfaltigkeiten. J. Reine Angew. Math., 307(308):309–324, 1979

    1979

  7. [13]

    A numerical metho d for the optimal time-continuous mass transport problem and related problems

    Jean-David Benamou and Yann Brenier. A numerical metho d for the optimal time-continuous mass transport problem and related problems. In Monge Ampère equation: applications to geometry and optimi zation (Deerfield Beach, FL, 1997), volume 226 of Contemp. Math., pages 1–11. Amer...

    1997

  8. [14]

    Existence of C1,1 critical sub-solutions of the Hamilton-Jacobi equation on compact manifolds

    Patrick Bernard. Existence of C1,1 critical sub-solutions of the Hamilton-Jacobi equation on compact manifolds. Ann. Sci. École Norm. Sup. (4) , 40(3):445–452, 2007

    2007

  9. [15]

    The Monge problem for supercritical Mañé potentials on compact manifolds

    Patrick Bernard and Boris Bu ffoni. The Monge problem for supercritical Mañé potentials on compact manifolds. Adv. Math., 207(2):691–706, 2006

    2006

  10. [16]

    Optimal mass transportation and Mather theory

    Patrick Bernard and Boris Bu ffoni. Optimal mass transportation and Mather theory. J. Eur . Math. Soc. (JEMS) , 9(1):85–121, 2007

    2007

  11. [17]

    Weak KAM pairs and Monge-Kantorovich duality

    Patrick Bernard and Boris Bu ffoni. Weak KAM pairs and Monge-Kantorovich duality. In Asymptotic analysis and singularities—elliptic and parabolic PDEs and related problems, volume 47 of Adv. Stud. Pure Math., pages 397–420. Math. Soc. Japan, Tokyo, 2007

    2007

  12. [18]

    Hamilton-Jacobi in metric spaces with a homo logical term

    Ugo Bessi. Hamilton-Jacobi in metric spaces with a homo logical term. Comm. Partial Di fferential Equations , 45(7):776–819, 2020

    2020

  13. [19]

    Di fferential inclusions in Wasserstein spaces: the Cauchy-Lip schitz framework

    Benoît Bonnet and Hélène Frankowska. Di fferential inclusions in Wasserstein spaces: the Cauchy-Lip schitz framework. J. Differential Equations, 271:594–637, 2021

    2021

  14. [20]

    Necessary optima lity conditions for optimal control problems in Wasser- stein spaces

    Benoît Bonnet and Hélène Frankowska. Necessary optima lity conditions for optimal control problems in Wasser- stein spaces. Appl. Math. Optim., 84(suppl. 2):S1281–S1330, 2021

    2021

  15. [21]

    Semiconcavity an d sensitivity analysis in mean-field optimal control and applications

    Benoît Bonnet and Hélène Frankowska. Semiconcavity an d sensitivity analysis in mean-field optimal control and applications. J. Math. Pures Appl. (9) , 157:282–345, 2022

    2022

  16. [22]

    Décomposition polaire et réarrangement monotone des champs de vecteurs

    Yann Brenier. Décomposition polaire et réarrangement monotone des champs de vecteurs. C. R. Acad. Sci. Paris Sér . I Math., 305(19):805–808, 1987

    1987

  17. [23]

    Polar factorization and monotone rearra ngement of vector-valued functions

    Yann Brenier. Polar factorization and monotone rearra ngement of vector-valued functions. Comm. Pure Appl. Math., 44(4):375–417, 1991

    1991

  18. [24]

    Extended Monge-Kantorovich theory

    Yann Brenier. Extended Monge-Kantorovich theory. In Optimal transportation and applications (Martina Franca, 2001), volume 1813 of Lecture Notes in Math. , pages 91–121. Springer, Berlin, 2003

    2001

  19. [25]

    Generalized charact eristics and Lax-Oleinik operators: global theory

    Piermarco Cannarsa and Wei Cheng. Generalized charact eristics and Lax-Oleinik operators: global theory. Calc. V ar . Partial Differential Equations, 56(5):Art. 125, 2017

    2017

  20. [26]

    On the topology of the set of singularities of a solution to the Hamilton-Jacobi equation

    Piermarco Cannarsa, Wei Cheng, and Albert Fathi. On the topology of the set of singularities of a solution to the Hamilton-Jacobi equation. C. R. Math. Acad. Sci. Paris , 355(2):176–180, 2017

    2017

  21. [27]

    Singu larities of solutions of time dependent Hamilton-Jacobi equations

    Piermarco Cannarsa, Wei Cheng, and Albert Fathi. Singu larities of solutions of time dependent Hamilton-Jacobi equations. Applications to Riemannian geometry. Publ. Math. Inst. Hautes Études Sci. , 133(1):327–366, 2021

    2021

  22. [28]

    Topolo gical and control theoretic properties of Hamilton– Jacobi equations via Lax-Oleinik commutators

    Piermarco Cannarsa, Wei Cheng, and Jiahui Hong. Topolo gical and control theoretic properties of Hamilton– Jacobi equations via Lax-Oleinik commutators. Nonlinear Anal. Real W orld Appl., 84:Paper No. 104282, 2025. 48 PIERMARCO CANNARSA, WEI CHENG, TIANQI SHI AND WENXUE WEI

    2025

  23. [30]

    Herglotz’ variational principle and Lax- Oleinik evolution

    Piermarco Cannarsa, Wei Cheng, Liang Jin, Kaizhi Wang, and Jun Yan. Herglotz’ variational principle and Lax- Oleinik evolution. J. Math. Pures Appl. (9) , 141:99–136, 2020

    2020

  24. [31]

    Global generalized characteristics for the Dirichlet problem for Hamilton-Jacobi equations at a super critical energy level

    Piermarco Cannarsa, Wei Cheng, Marco Mazzola, and Kaiz hi Wang. Global generalized characteristics for the Dirichlet problem for Hamilton-Jacobi equations at a super critical energy level. SIAM J. Math. Anal., 51(5):4213– 4244, 2019

    2019

  25. [32]

    Semiconcave functions, Hamilton-Jacobi equations, and op timal con- trol, volume 58 of Progress in Nonlinear Di fferential Equations and their Applications

    Piermarco Cannarsa and Carlo Sinestrari. Semiconcave functions, Hamilton-Jacobi equations, and op timal con- trol, volume 58 of Progress in Nonlinear Di fferential Equations and their Applications . Birkhäuser Boston, Inc., Boston, MA, 2004

    2004

  26. [33]

    Singular dynamics fo r semiconcave functions

    Piermarco Cannarsa and Yifeng Y u. Singular dynamics fo r semiconcave functions. J. Eur . Math. Soc. (JEMS) , 11(5):999–1024, 2009

    2009

  27. [34]

    Souganidis

    Pierre Cardaliaguet and Panagiotis E. Souganidis. Reg ularity of the value function and quantitative propagation of chaos for mean field control problems. NoDEA Nonlinear Di fferential Equations Appl. , 30(2):Paper No. 25, 37, 2023

    2023

  28. [35]

    Regularity properties of the distance functions to con jugate and cut loci for viscosity solutions of Hamilton-Jacobi equations and a pplications in Riemannian geometry

    Marco Castelpietra and Ludovic Ri fford. Regularity properties of the distance functions to con jugate and cut loci for viscosity solutions of Hamilton-Jacobi equations and a pplications in Riemannian geometry. ESAIM Control Optim. Calc. V ar ., 16(3):695–718, 2010

    2010

  29. [36]

    Lasry-Lions approxim ations for discounted Hamilton-Jacobi equations

    Cui Chen, Wei Cheng, and Qi Zhang. Lasry-Lions approxim ations for discounted Hamilton-Jacobi equations. J. Differential Equations, 265(2):719–732, 2018

    2018

  30. [38]

    Functional analysis, calculus of variations and optimal co ntrol, volume 264 of Graduate Texts in Mathematics

    Francis Clarke. Functional analysis, calculus of variations and optimal co ntrol, volume 264 of Graduate Texts in Mathematics. Springer, London, 2013

    2013

  31. [39]

    Master Bellman equation in the Wasserstein space: uniqueness of viscosity solutions

    Andrea Cosso, Fausto Gozzi, Idris Kharroubi, Huyên Pha m, and Mauro Rosestolato. Master Bellman equation in the Wasserstein space: uniqueness of viscosity solutions. Trans. Amer . Math. Soc., 377(1):31–83, 2024

    2024

  32. [40]

    Dafermos

    Constantine M. Dafermos. Hyperbolic conservation laws in continuum physics , volume 325 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles o f Mathematical Sciences] . Springer-V erlag, Berlin, second edition, 2005

    2005

  33. [41]

    R. J. DiPerna and P .-L. Lions. Ordinary di fferential equations, transport theory and Sobolev spaces. Invent. Math., 98(3):511–547, 1989

    1989

  34. [42]

    Positivity of Ma-Trudinger -Wang curvature on Riemannian surfaces

    Shi-Zhong Du and Qi-Rui Li. Positivity of Ma-Trudinger -Wang curvature on Riemannian surfaces. Calc. V ar . Partial Differential Equations, 51(3-4):495–523, 2014

    2014

  35. [43]

    Weak KAM theorem in Lagrangian dynamics

    Albert Fathi. Weak KAM theorem in Lagrangian dynamics. Cambridge University Press, Cambridge (to appear)

  36. [44]

    Théorème KAM faible et théorie de Mather s ur les systèmes lagrangiens

    Albert Fathi. Théorème KAM faible et théorie de Mather s ur les systèmes lagrangiens. C. R. Acad. Sci. Paris Sér . I Math., 324(9):1043–1046, 1997

    1997

  37. [45]

    Weak KAM from a PDE point of view: viscosit y solutions of the Hamilton-Jacobi equation and Aubry set

    Albert Fathi. Weak KAM from a PDE point of view: viscosit y solutions of the Hamilton-Jacobi equation and Aubry set. Proc. Roy. Soc. Edinburgh Sect. A, 142(6):1193–1236, 2012

    2012

  38. [46]

    Viscosity solutions of the Hamilton-Jac obi equation on a noncompact manifold

    Albert Fathi. Viscosity solutions of the Hamilton-Jac obi equation on a noncompact manifold. In Hamiltonian systems: dynamics, analysis, applications , volume 72 of Math. Sci. Res. Inst. Publ. , pages 111–172. Cambridge Univ. Press, Cambridge, 2024

    2024

  39. [47]

    Optimal transportat ion on non-compact manifolds

    Albert Fathi and Alessio Figalli. Optimal transportat ion on non-compact manifolds. Israel J. Math. , 175:1–59, 2010

    2010

  40. [48]

    Weak KAM theorem on n on compact manifolds

    Albert Fathi and Ezequiel Maderna. Weak KAM theorem on n on compact manifolds. NoDEA Nonlinear Di ffer- ential Equations Appl. , 14(1-2):1–27, 2007

    2007

  41. [49]

    Optimal control for a mixed flow of Hamiltonian and g radient type in space of probability measures

    Jin Feng and Andrzej ´Swie ¸ch. Optimal control for a mixed flow of Hamiltonian and g radient type in space of probability measures. Trans. Amer . Math. Soc., 365(8):3987–4039, 2013. With an appendix by Atanas Stefan ov

    2013

  42. [50]

    Figalli, L

    A. Figalli, L. Ri fford, and C. Villani. Tangent cut loci on surfaces. Differential Geom. Appl., 29(2):154–159, 2011

    2011

  43. [51]

    Figalli, L

    A. Figalli, L. Ri fford, and C. Villani. Nearly round spheres look convex. Amer . J. Math., 134(1):109–139, 2012

    2012

  44. [52]

    Continuity of optimal transport maps and convexity of i njectivity domains on small deformations of S2

    Alessio Figalli and Ludovic Ri fford. Continuity of optimal transport maps and convexity of i njectivity domains on small deformations of S2. Comm. Pure Appl. Math. , 62(12):1670–1706, 2009. SINGULARITIES AND THEIR PROPAGA TION IN OPTIMAL TRANSPORT 4 9

    2009

  45. [53]

    Gangbo, T

    W. Gangbo, T. Nguyen, and A. Tudorascu. Euler-Poisson s ystems as action-minimizing paths in the Wasserstein space. Arch. Ration. Mech. Anal., 192(3):419–452, 2009

    2009

  46. [54]

    Gangbo and A

    W. Gangbo and A. Tudorascu. Lagrangian dynamics on an in finite-dimensional torus; a weak KAM theorem. Adv. Math., 224(1):260–292, 2010

    2010

  47. [55]

    Wilfrid Gangbo and Robert J. McCann. The geometry of opt imal transportation. Acta Math. , 177(2):113–161, 1996

    1996

  48. [56]

    H amilton-Jacobi equations in the Wasserstein space

    Wilfrid Gangbo, Truyen Nguyen, and Adrian Tudorascu. H amilton-Jacobi equations in the Wasserstein space. Methods Appl. Anal. , 15(2):155–183, 2008

    2008

  49. [57]

    Existence of a solution to an equation arising from the theory of mean field games

    Wilfrid Gangbo and Andrzej ´Swie ¸ch. Existence of a solution to an equation arising from the theory of mean field games. J. Differential Equations, 259(11):6573–6643, 2015

    2015

  50. [58]

    Metric viscosity solutions of Hamilton-Jacobi equations depending on local slopes

    Wilfrid Gangbo and Andrzej ´Swie ¸ch. Metric viscosity solutions of Hamilton-Jacobi equations depending on local slopes. Calc. V ar . Partial Differential Equations, 54(1):1183–1218, 2015

    2015

  51. [59]

    A weak KAM theorem ; from finite to infinite dimension

    Wilfrid Gangbo and Adrian Tudorascu. A weak KAM theorem ; from finite to infinite dimension. In Optimal transportation, geometry and functional inequalities , volume 11 of CRM Series, pages 45–72. Ed. Norm., Pisa, 2010

    2010

  52. [60]

    On di fferentiability in the Wasserstein space and well-posedness for Hamilton-Jacobi equations

    Wilfrid Gangbo and Adrian Tudorascu. On di fferentiability in the Wasserstein space and well-posedness for Hamilton-Jacobi equations. J. Math. Pures Appl. (9) , 125:119–174, 2019

    2019

  53. [61]

    Ei konal equations in metric spaces

    Y oshikazu Giga, Nao Hamamuki, and Atsushi Nakayasu. Ei konal equations in metric spaces. Trans. Amer . Math. Soc., 367(1):49–66, 2015

    2015

  54. [62]

    Hea t flow on Alexandrov spaces

    Nicola Gigli, Kazumasa Kuwada, and Shin-Ichi Ohta. Hea t flow on Alexandrov spaces. Comm. Pure Appl. Math., 66(3):307–331, 2013

    2013

  55. [63]

    Infinite horizon value functio ns in the Wasserstein spaces

    Ryan Hynd and Hwa Kil Kim. Infinite horizon value functio ns in the Wasserstein spaces. J. Differential Equations, 258(6):1933–1966, 2015

    1933

  56. [64]

    V alue functions in the Wassers tein spaces: finite time horizons

    Ryan Hynd and Hwa Kil Kim. V alue functions in the Wassers tein spaces: finite time horizons. J. Funct. Anal. , 269(4):968–997, 2015

    2015

  57. [65]

    The Lipschitz continu ity of the distance function to the cut locus

    Jin-ichi Itoh and Minoru Tanaka. The Lipschitz continu ity of the distance function to the cut locus. Trans. Amer . Math. Soc., 353(1):21–40, 2001

    2001

  58. [66]

    On dynamics o f Lagrangian trajectories for Hamilton-Jacobi equa- tions

    Konstantin Khanin and Andrei Sobolevski. On dynamics o f Lagrangian trajectories for Hamilton-Jacobi equa- tions. Arch. Ration. Mech. Anal., 219(2):861–885, 2016

    2016

  59. [67]

    Knott and C

    M. Knott and C. S. Smith. On the optimal mapping of distri butions. J. Optim. Theory Appl. , 43(1):39–49, 1984

    1984

  60. [68]

    Duality on gradient estimates and Was serstein controls

    Kazumasa Kuwada. Duality on gradient estimates and Was serstein controls. J. Funct. Anal., 258(11):3758–3774, 2010

    2010

  61. [69]

    Li and L

    Y . Li and L. Nirenberg. The distance function to the boun dary, Finsler geometry, and the singular set of viscosity solutions of some Hamilton-Jacobi equations. Comm. Pure Appl. Math. , 58(1):85–146, 2005

    2005

  62. [70]

    Regularity of opti mal transport in curved geometry: the nonfocal case

    Grégoire Loeper and Cédric Villani. Regularity of opti mal transport in curved geometry: the nonfocal case. Duke Math. J., 151(3):431–485, 2010

    2010

  63. [71]

    Hamilton- Jacobi equations and distance functions on Riemannian manifolds

    Carlo Mantegazza and Andrea Carlo Mennucci. Hamilton- Jacobi equations and distance functions on Riemannian manifolds. Appl. Math. Optim., 47(1):1–25, 2003

    2003

  64. [72]

    Robert J. McCann. A convexity principle for interactin g gases. Adv. Math., 128(1):153–179, 1997

    1997

  65. [73]

    Robert J. McCann. Polar factorization of maps on Rieman nian manifolds. Geom. Funct. Anal. , 11(3):589–608, 2001

    2001

  66. [74]

    Stability proper ties and large time behavior of viscosity solutions of Hamilton-Jacobi equations on metric spaces

    Atsushi Nakayasu and Tokinaga Namba. Stability proper ties and large time behavior of viscosity solutions of Hamilton-Jacobi equations on metric spaces. Nonlinearity, 31(11):5147–5161, 2018

    2018

  67. [75]

    Uniform convexity and smoothness, and their applications in Finsler geometry

    Shin-ichi Ohta. Uniform convexity and smoothness, and their applications in Finsler geometry. Math. Ann. , 343(3):669–699, 2009

    2009

  68. [76]

    Dynamics of labyrinthine pattern formatio n in magnetic fluids: a mean-field theory

    Felix Otto. Dynamics of labyrinthine pattern formatio n in magnetic fluids: a mean-field theory. Arch. Rational Mech. Anal., 141(1):63–103, 1998

    1998

  69. [77]

    Evolution of microstructure in unstable po rous media flow: a relaxational approach

    Felix Otto. Evolution of microstructure in unstable po rous media flow: a relaxational approach. Comm. Pure Appl. Math., 52(7):873–915, 1999

    1999

  70. [78]

    The geometry of dissipative evolution equa tions: the porous medium equation

    Felix Otto. The geometry of dissipative evolution equa tions: the porous medium equation. Comm. Partial Differ- ential Equations, 26(1-2):101–174, 2001. 50 PIERMARCO CANNARSA, WEI CHENG, TIANQI SHI AND WENXUE WEI

    2001

  71. [79]

    Propagation of singularities along broken characteristics

    Thomas Strömberg. Propagation of singularities along broken characteristics. Nonlinear Anal., 85:93–109, 2013

    2013

  72. [80]

    T or Verga ta

    Cédric Villani. Optimal transport: old and new , volume 338 of Grundlehren der Mathematischen Wissenschaften. Springer-V erlag, Berlin, 2009. (Piermarco Cannarsa) D ipartimento di Ma tema tica, U niversit`a di Roma “T or Verga ta”, V ia della Ricerca Scien- tifica 1, 00133 Rom...

    2009

Pith tools

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