pith. sign in

arxiv: 2601.10586 · v2 · submitted 2026-01-15 · 🧮 math.PR

Comparison of viscosity solutions for a class of non-linear PDEs on the space of finite nonnegative measures

Ibrahim Ekren , Xihao He , Tianxu Lan , Xiaolu Tan This is my paper

Pith reviewed 2026-05-16 13:40 UTC · model grok-4.3

classification 🧮 math.PR
keywords viscosity solutionscomparison principlenonlinear PDEsfinite measuresMcKean-Vlasov diffusionbranching processesHamilton-Jacobi-Bellman equationoptimal control
0
0 comments X

The pith

Viscosity solutions of nonlinear PDEs on nonnegative finite measures satisfy a comparison principle.

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

The paper proves a comparison principle for viscosity solutions to a class of nonlinear partial differential equations defined on the space of nonnegative finite measures. This extends previous work that was limited to the Wasserstein space of probability measures. The result is applied to a controlled branching McKean-Vlasov diffusion process, where the value function is shown to be the unique viscosity solution to the associated Hamilton-Jacobi-Bellman equation. This provides a way to approach optimal control problems for branching processes using PDE methods.

Core claim

We establish a comparison principle for viscosity solutions of a class of nonlinear partial differential equations posed on the space of nonnegative finite measures, thereby extending recent results for PDEs defined on the Wasserstein space of probability measures. As an application, we study a controlled branching McKean-Vlasov diffusion and characterize the associated value function as the unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. This yields a PDE-based approach to the optimal control of branching processes.

What carries the argument

The comparison principle for viscosity solutions on the space of finite nonnegative measures, relying on continuity, growth, and monotonicity conditions on the PDE coefficients and test functions.

If this is right

  • The value function for the controlled branching McKean-Vlasov diffusion is uniquely determined as the viscosity solution to its HJB equation.
  • Optimal control of branching processes can be solved via PDE techniques.
  • Uniqueness holds for viscosity solutions under the given technical assumptions on the space of finite measures.
  • The comparison principle extends the applicability of viscosity solution theory beyond normalized probability measures.

Where Pith is reading between the lines

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

  • This extension suggests similar comparison results could hold for measure spaces that allow total mass to vary over time.
  • Numerical approximation schemes for HJB equations on measure spaces might be justified by the uniqueness result.
  • The framework could apply to control of other processes with non-conserved mass, such as certain population models.

Load-bearing premise

The PDE coefficients and test functions must satisfy specific continuity, growth, and monotonicity conditions to ensure the comparison principle holds when moving from probability measures to finite nonnegative measures.

What would settle it

A counterexample consisting of a nonlinear PDE on finite measures where two viscosity solutions exist that violate the comparison inequality under the paper's stated assumptions on coefficients and test functions.

read the original abstract

We establish a comparison principle for viscosity solutions of a class of nonlinear partial differential equations posed on the space of nonnegative finite measures, thereby extending recent results for PDEs defined on the Wasserstein space of probability measures. As an application, we study a controlled branching McKean-Vlasov diffusion and characterize the associated value function as the unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. This yields a PDE-based approach to the optimal control of branching processes.

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

2 major / 1 minor

Summary. The manuscript establishes a comparison principle for viscosity solutions of a class of nonlinear PDEs posed on the space of nonnegative finite measures, extending prior results for PDEs on the Wasserstein space of probability measures. As an application, it characterizes the value function of a controlled branching McKean-Vlasov diffusion as the unique viscosity solution of the associated Hamilton-Jacobi-Bellman equation, providing a PDE-based approach to optimal control of branching processes.

Significance. If the comparison principle holds under the stated conditions, the work enables rigorous analysis of mean-field control problems with variable mass, which is relevant for branching dynamics in applications such as population models and interacting particle systems. The extension from fixed-mass probability measures to finite measures addresses a natural generalization, and the explicit characterization of the value function as a viscosity solution strengthens the link between stochastic control and PDE theory.

major comments (2)
  1. [§4] §4 (Application to controlled branching McKean-Vlasov diffusion): the Hamiltonian includes mass-dependent branching and interaction terms. It is unclear whether these satisfy the uniform monotonicity and growth bounds required by the comparison principle (Theorem 3.1), since the underlying metric on finite measures must accommodate mass variation without the normalization present in the probability-measure case; explicit verification or counterexample checks for these terms are needed.
  2. [Theorem 3.1] Theorem 3.1 (Comparison principle): the proof relies on continuity, growth, and monotonicity assumptions on the coefficients and test functions. When the domain is enlarged to finite measures, the estimates for the doubling-variable argument may require additional uniform bounds on mass fluctuations; the manuscript should provide a dedicated lemma confirming that the branching rates do not violate these bounds.
minor comments (1)
  1. [Introduction] The introduction should include explicit citations to the recent Wasserstein-space comparison results being extended, rather than referring to them only generically.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, providing explicit verifications and clarifications where needed. Revisions have been made to incorporate a dedicated verification subsection and an additional lemma.

read point-by-point responses

  1. Referee: [§4] §4 (Application to controlled branching McKean-Vlasov diffusion): the Hamiltonian includes mass-dependent branching and interaction terms. It is unclear whether these satisfy the uniform monotonicity and growth bounds required by the comparison principle (Theorem 3.1), since the underlying metric on finite measures must accommodate mass variation without the normalization present in the probability-measure case; explicit verification or counterexample checks for these terms are needed.

    Authors: We thank the referee for highlighting this point. The mass-dependent terms in the Hamiltonian satisfy the required uniform monotonicity and growth bounds under the manuscript's standing assumptions (Lipschitz continuity in the measure variable with respect to the flat metric on finite measures, together with linear growth in mass). In the revised version we have added a new subsection 4.3 that explicitly verifies these properties by direct computation: the branching and interaction contributions remain bounded by a constant independent of total mass, using the finite-mass constraint and the uniform Lipschitz condition on the coefficients. We also include a short check confirming that no violations occur for standard branching rates (e.g., linear or logistic) under the control-set compactness assumed in the paper. revision: yes

  2. Referee: [Theorem 3.1] Theorem 3.1 (Comparison principle): the proof relies on continuity, growth, and monotonicity assumptions on the coefficients and test functions. When the domain is enlarged to finite measures, the estimates for the doubling-variable argument may require additional uniform bounds on mass fluctuations; the manuscript should provide a dedicated lemma confirming that the branching rates do not violate these bounds.

    Authors: We agree that an explicit auxiliary result improves clarity for the finite-measure setting. In the revised manuscript we have inserted Lemma 3.2, which establishes uniform bounds on mass fluctuations for the branching rates. The lemma is proved from the linear-growth assumption on the rates and the fact that total mass remains finite along the controlled dynamics; it directly supplies the missing uniform estimate needed for the doubling-variable argument in the proof of Theorem 3.1. The new lemma is placed immediately before the proof of the comparison principle, and its proof is self-contained. revision: yes

Circularity Check

0 steps flagged

No circularity in comparison principle extension

full rationale

The paper derives a comparison principle for viscosity solutions on nonnegative finite measures by extending standard viscosity techniques from the probability-measure case under explicitly stated continuity, growth, and monotonicity conditions. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the proof is self-contained against external benchmarks once the technical assumptions are granted, and the branching-process application follows directly from uniqueness without renaming or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard technical assumptions from viscosity solution theory for infinite-dimensional spaces; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • domain assumption Standard continuity, growth, and monotonicity conditions on the Hamiltonian and coefficients that allow viscosity comparison in measure spaces.
    These are invoked to extend the comparison from probability to finite measures.

pith-pipeline@v0.9.0 · 5376 in / 1251 out tokens · 55555 ms · 2026-05-16T13:40:47.261701+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Viscosity Solutions of Fully second-order HJB Equations in the Wasserstein Space

    Bayraktar E, Cheung H, Ekren I, Qiu J, Tai H, and Zhang X. Viscosity Solutions of Fully second-order HJB Equations in the Wasserstein Space. arXiv e-prints, page arXiv:2501.01612, 2025

    work page arXiv 2025

  2. [2]

    Randomized dynamic programming principle and Feynman-Kac representation for optimal control of McKean-Vlasov dynamics

    Bayraktar E, Cosso A, and Pham H. Randomized dynamic programming principle and Feynman-Kac representation for optimal control of McKean-Vlasov dynamics. Trans. Amer. Math. Soc., 370(3):2115–2160, 2018

    work page 2018

  3. [3]

    Comparison for semi-continuous viscosity solutions for second order PDEs on the Wasserstein space, Journal of Differential Equations 455: 113963, 2026

    Bayraktar E, Ekren I, He X, and Zhang X. Comparison for semi-continuous viscosity solutions for second order PDEs on the Wasserstein space, Journal of Differential Equations 455: 113963, 2026

    work page 2026

  4. [4]

    Comparison of viscosity solutions for a class of second- order pdes on the wasserstein space

    Bayraktar E, Ekren I, and Zhang X. Comparison of viscosity solutions for a class of second- order pdes on the wasserstein space. Communications in Partial Differential Equations, 50(4):570–613, 2025

    work page 2025

  5. [5]

    Multiplication in sobolev spaces, revisited

    Behzadan A and Holst M. Multiplication in sobolev spaces, revisited. Arkiv för Matematik, 59(2):275–306, 2021

    work page 2021

  6. [6]

    Quantitative weak propagation of chaos for McKean–Vlasov branch- ing diffusion processes, arXiv preprint, arXiv:2601.08330, 2026

    Cao W, Ren Z and Tan X. Quantitative weak propagation of chaos for McKean–Vlasov branch- ing diffusion processes, arXiv preprint, arXiv:2601.08330, 2026

    work page arXiv 2026

  7. [7]

    Cardaliaguet, P., Jackson, J., & Souganidis, P. E. (2025). Mean field control with absorption. arXiv preprint arXiv:2509.07877

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  8. [8]

    The Master Equation and the Convergence Problem in Mean Field Games:(AMS-201), volume 201

    Cardaliaguet P, Delarue F, Lasry J, and Lions P. The Master Equation and the Convergence Problem in Mean Field Games:(AMS-201), volume 201. Princeton University Press, 2019

    work page 2019

  9. [9]

    Control of McKean-Vlasov dynamics versus mean field games

    Carmona R, Delarue F, Lachapelle A. Control of McKean-Vlasov dynamics versus mean field games. Mathematics and Financial Economics. 7:131-66, 2013

    work page 2013

  10. [10]

    Springer, Cham, Mean field FBSDEs, control, and games, 2018

    CarmonaRandDelarueF.Probabilistictheoryofmeanfieldgameswithapplications.I,volume 83 of Probability Theory and Stochastic Modelling. Springer, Cham, Mean field FBSDEs, control, and games, 2018

    work page 2018

  11. [11]

    arXiv preprint arXiv:2409.14053, 2024

    CecchinA,DaudinS,JacksonJ,andMartiniM.Quantitativeconvergenceformeanfieldcontrol with common noise and degenerate idiosyncratic noise. arXiv preprint arXiv:2409.14053, 2024

    work page arXiv 2024

  12. [12]

    Optimal control of branching diffusion processes: A finite horizon problem

    Claisse J. Optimal control of branching diffusion processes: A finite horizon problem. The Annals of Applied Probability. 1;28(1):1-34, 2018

    work page 2018

  13. [13]

    Mean field games with branching

    Claisse J, Ren Z, Tan X. Mean field games with branching. The Annals of Applied Probability, 33(2): 1034-1075, 2023

    work page 2023

  14. [14]

    On McKean-Vlasov Branching Diffusion Processes

    Claisse J, Kang J, Tan X. On McKean-Vlasov Branching Diffusion Processes. arXiv preprint arXiv:2404.12964. 2024

    work page arXiv 2024

  15. [15]

    Optimal Control of McKean–Vlasov Branching Diffusion Processes

    Claisse J, Kang J, Lan T, Tan X. Optimal Control of McKean–Vlasov Branching Diffusion Processes. arXiv preprint, arXiv:2512.00633, 2025. 40

    work page arXiv 2025

  16. [16]

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

    Cosso A, Gozzi F, Kharroubi I, Pham H, and Rosestolato M. Master Bellman equation in the Wasserstein space: uniqueness of viscosity solutions. Trans. Amer. Math. Soc., 377(1):31–83, 2024

    work page 2024

  17. [17]

    Stochastic mckean-vlasov equations

    Dawson D, Vaillancourt J. Stochastic mckean-vlasov equations. Nonlinear Differential Equa- tions and Applications NoDEA. 2(2):199-229, 1995

    work page 1995

  18. [18]

    Delarue, F., Nadtochiy, S., & Shkolnikov, M. (2022). Global solutions to the supercooled Stefan problemwithblow-ups: regularityanduniqueness.ProbabilityandMathematicalPhysics, 3(1), 171-213

    work page 2022

  19. [19]

    Mean field games master equations with non- separable Hamiltonians and displacement monotonicity

    Gangbo W, Mészáros A, Mou C, and Zhang J. Mean field games master equations with non- separable Hamiltonians and displacement monotonicity. Ann. Probab., 50(6):2178–2217, 2022

    work page 2022

  20. [20]

    A stochastic target problem for branching diffusion processes

    Kharroubi I and Ocello A. A stochastic target problem for branching diffusion processes. Stochastic Processes and their Applications, 170, 104278, 2024

    work page 2024

  21. [21]

    Stochastic control related to branching diffusion processes

    Nisio M. Stochastic control related to branching diffusion processes. Journal of Mathematics of Kyoto University. 25(3):549-75, 1985

    work page 1985

  22. [22]

    Relaxed formulation for Controlled Branching Diffusions, Existence of an Optimal Control and HJB Equation

    Ocello A. Relaxed formulation for Controlled Branching Diffusions, Existence of an Optimal Control and HJB Equation. arXiv preprint arXiv:2304.07064. 2023

    work page arXiv 2023

  23. [23]

    Dynamic programming for optimal control of stochastic McKean-Vlasov dynamics

    Pham H and Wei X. Dynamic programming for optimal control of stochastic McKean-Vlasov dynamics. SIAM J. Control Optim., 55(2):1069–1101, 2017

    work page 2017

  24. [24]

    Bellman equation and viscosity solutions for mean-field stochastic control problem

    Pham H and Wei X. Bellman equation and viscosity solutions for mean-field stochastic control problem. ESAIM: Control, Optimisation and Calculus of Variations. 24(1):437-61, 2018

    work page 2018

  25. [25]

    Topics in propagation of chaos

    Sznitman AS. Topics in propagation of chaos. InEcole d’été de probabilités de Saint-Flour XIX—1989 1991 (pp. 165-251). Springer, Berlin, Heidelberg

    work page 1989

  26. [26]

    Viscosity solutions for HJB equations on the process space: Application to mean field control with common noise

    Zhou J, Touzi N, and Zhang J. Viscosity solutions for HJB equations on the process space: Application to mean field control with common noise. arXiv preprint arXiv:2401.04920, 2024. 41

    work page arXiv 2024