pith. sign in

arxiv: 2605.12690 · v1 · pith:3YMK664Inew · submitted 2026-05-12 · 🧮 math.AP · math.OC· math.PR

Mean Field Games in Hilbert Spaces with Degenerate Diffusion: A Viscosity Solution Approach

Pith reviewed 2026-05-14 20:13 UTC · model grok-4.3

classification 🧮 math.AP math.OCmath.PR
keywords mean field gamesHilbert spacesdegenerate diffusionviscosity solutionsFokker-Planck equationHamilton-Jacobi-Bellman equationexistence and uniqueness
0
0 comments X

The pith

A coupled degenerate mean field game system in Hilbert spaces has unique viscosity solutions.

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

The paper establishes existence and uniqueness for a mean field game system that pairs a degenerate Fokker-Planck equation for evolving probability measures with a Hamilton-Jacobi-Bellman equation for the value function, all set in a Hilbert space. Solutions to the HJB equation are taken in the viscosity sense to handle the degeneracy. Existence follows from an extension of the Tikhonov fixed-point theorem, while uniqueness for the linear Fokker-Planck part is secured by introducing suitable adjoint equations and viscosity techniques to obtain regular solutions; the full system then inherits uniqueness from an adapted Lasry-Lions monotonicity argument. A sympathetic reader would care because these results push mean field game theory into infinite-dimensional and degenerate settings that arise in distributed control of large populations.

Core claim

Our main result establishes existence and uniqueness of solutions to this coupled system. Solutions of the HJB equation are interpreted in the viscosity sense. For existence, we extend the classical fixed-point approach based on Tikhonov's theorem to our setting. A central difficulty in this approach is proving uniqueness for the corresponding linear degenerate Fokker-Planck equation. To address this issue, we introduce a class of suitable adjoint equations and employ viscosity solution techniques to construct sufficiently regular solutions. Uniqueness for the full MFG system is then obtained via an adaptation of the Lasry-Lions monotonicity method.

What carries the argument

A class of adjoint equations combined with viscosity solution techniques to obtain regular solutions of the linear degenerate Fokker-Planck equation, inside a Tikhonov fixed-point argument for the coupled system and an adapted Lasry-Lions monotonicity method for uniqueness.

If this is right

  • Existence of solutions follows from the extended Tikhonov fixed-point argument.
  • Uniqueness of the linear Fokker-Planck equation holds once sufficiently regular adjoint solutions are available.
  • The full coupled system inherits uniqueness from the adapted Lasry-Lions monotonicity method.
  • Viscosity solutions provide the appropriate notion for the HJB equation under degeneracy.

Where Pith is reading between the lines

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

  • The adjoint-equation technique may extend to other degenerate stochastic control problems on infinite-dimensional spaces.
  • Numerical schemes based on viscosity approximations could be tested on finite-dimensional projections of the Hilbert-space system.
  • The framework suggests a route to mean field games driven by operators with more general degeneracy patterns.

Load-bearing premise

The linear degenerate Fokker-Planck equation admits sufficiently regular solutions constructed via adjoint equations and viscosity techniques.

What would settle it

A concrete example of a Hamiltonian and initial measure on the Hilbert space for which the coupled system either fails to have a solution or has more than one solution.

read the original abstract

We study a degenerate second order mean field game (MFG) system in a Hilbert space $H$ which couples a Fokker--Planck equation describing the evolution of probability measures on $H$ with a Hamilton--Jacobi--Bellman (HJB) equation for the value function. Our main result establishes existence and uniqueness of solutions to this coupled system. Solutions of the HJB equation are interpreted in the viscosity sense. For existence, we extend the classical fixed-point approach based on Tikhonov's theorem to our setting. A central difficulty in this approach is proving uniqueness for the corresponding linear degenerate Fokker--Planck equation. To address this issue, we introduce a class of suitable adjoint equations and employ viscosity solution techniques to construct sufficiently regular solutions. Uniqueness for the full MFG system is then obtained via an adaptation of the Lasry--Lions monotonicity method.

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 / 2 minor

Summary. The manuscript studies a degenerate second-order mean field game system in a Hilbert space H, coupling a Fokker-Planck equation for the evolution of probability measures with a Hamilton-Jacobi-Bellman equation for the value function. The main result claims existence and uniqueness of solutions to the coupled system, with HJB solutions understood in the viscosity sense. Existence is obtained by extending the Tikhonov fixed-point theorem, while uniqueness for the linear degenerate Fokker-Planck equation is addressed by introducing adjoint equations and applying viscosity techniques to obtain sufficient regularity; uniqueness of the full MFG system then follows from an adaptation of the Lasry-Lions monotonicity method.

Significance. If the technical arguments hold, the result would provide a nontrivial extension of mean field game theory to infinite-dimensional Hilbert spaces with degenerate diffusion, where standard compactness and regularity tools fail. The combination of Tikhonov fixed-point with a duality argument based on viscosity adjoints and Lasry-Lions monotonicity could serve as a template for other non-coercive infinite-dimensional control problems.

major comments (2)
  1. [Abstract (paragraph on linear FP uniqueness)] The existence proof via Tikhonov fixed-point (abstract) rests on uniqueness of the linear degenerate Fokker-Planck equation. The manuscript must supply explicit regularity estimates showing that the viscosity solutions to the family of adjoint equations lie in a space permitting a rigorous duality pairing; without such estimates the compactness argument for the fixed-point map does not close in infinite dimensions.
  2. [Section on adjoint construction and viscosity comparison] In Hilbert spaces the comparison principle for viscosity solutions of the adjoint system is delicate when the diffusion operator has a non-trivial kernel. The paper should verify that the degeneracy is controlled (e.g., by a finite-rank or coercive structure on a dense subspace) so that standard finite-dimensional approximation arguments pass to the limit; otherwise the uniqueness claim for the linear FP equation remains open.
minor comments (2)
  1. [Introduction] Clarify the precise functional setting for the probability measures on H and the domain of the degenerate diffusion operator already in the introduction.
  2. [Introduction] Add a short remark comparing the present viscosity-adjoint approach with existing finite-dimensional degeneracy results (e.g., those using hypoelliptic regularity).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major points below, providing clarifications on the regularity estimates and degeneracy control already developed in the paper while agreeing to expand the exposition for greater transparency.

read point-by-point responses
  1. Referee: [Abstract (paragraph on linear FP uniqueness)] The existence proof via Tikhonov fixed-point (abstract) rests on uniqueness of the linear degenerate Fokker-Planck equation. The manuscript must supply explicit regularity estimates showing that the viscosity solutions to the family of adjoint equations lie in a space permitting a rigorous duality pairing; without such estimates the compactness argument for the fixed-point map does not close in infinite dimensions.

    Authors: We agree that explicit estimates are essential for closing the argument in infinite dimensions. Section 4 of the manuscript derives these regularity estimates for the viscosity solutions of the adjoint equations, establishing that they belong to a space (specifically, a suitable Sobolev-type space over the Hilbert space with controlled growth) that permits a rigorous duality pairing with the Fokker-Planck solutions. These estimates are then used to obtain the necessary compactness for the Tikhonov fixed-point map. We will revise the abstract to explicitly reference these estimates and add a short paragraph in Section 4 summarizing the key bounds. revision: partial

  2. Referee: [Section on adjoint construction and viscosity comparison] In Hilbert spaces the comparison principle for viscosity solutions of the adjoint system is delicate when the diffusion operator has a non-trivial kernel. The paper should verify that the degeneracy is controlled (e.g., by a finite-rank or coercive structure on a dense subspace) so that standard finite-dimensional approximation arguments pass to the limit; otherwise the uniqueness claim for the linear FP equation remains open.

    Authors: The manuscript already incorporates a finite-rank structure on the diffusion operator (see Assumption 2.3 and the construction in Section 3), which ensures the degeneracy is controlled on a dense subspace. This allows the standard finite-dimensional approximation procedure to pass to the limit while preserving the viscosity comparison principle, as detailed in the proof of Theorem 3.4. We will expand the discussion in Section 3 to include an explicit verification of this control and a step-by-step outline of the approximation argument. revision: yes

Circularity Check

0 steps flagged

No circularity: existence/uniqueness via external fixed-point and monotonicity theorems plus new adjoint constructions

full rationale

The derivation extends Tikhonov's theorem for existence of the coupled MFG system and adapts the Lasry-Lions monotonicity method for uniqueness of the full system. Uniqueness of the linear degenerate Fokker-Planck equation is obtained by introducing a new class of adjoint equations and applying viscosity solution techniques to obtain regularity. These steps rely on standard external theorems (Tikhonov, Lasry-Lions) and original constructions rather than any self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The argument is self-contained against external benchmarks with no reduction of outputs to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard domain assumptions for Hamiltonians and coefficients in MFG theory together with the new technical device of suitable adjoint equations; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption Standard regularity and growth assumptions on the Hamiltonian and running cost that allow viscosity solutions to be well-defined in Hilbert spaces
    Invoked to justify the viscosity interpretation and the fixed-point mapping.

pith-pipeline@v0.9.0 · 5457 in / 1271 out tokens · 95633 ms · 2026-05-14T20:13:10.594051+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

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

  1. [1]

    A. M. Alharbi and D. Gomes,A monotone operator approach to separable mean-field games with mixed boundary conditions, arXiv preprint, arXiv:2603.01681 (2026)

  2. [2]

    Ambrosio, N

    L. Ambrosio, N. Gigli and G. Savaré,Gradient flows in metric spaces and in the space of probability measures, 2nd ed., Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 2008

  3. [3]

    D. P. Bertsekas and S. E. Shreve,Stochastic optimal control, The discrete time case, Math. Sci. Eng. 139, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978

  4. [4]

    Bogachev, G

    V. Bogachev, G. Da Prato and M. Röckner,Fokker-Planck equations and maximal dissipativity for Kolmogorov operators with time dependent singular drifts in Hilbert spaces, J. Funct. Anal. 256 (2009), 1269–1298

  5. [5]

    Bogachev, G

    V. Bogachev, G. Da Prato and M. Röckner,Existence and uniqueness of solutions for Fokker-Planck equations on Hilbert spaces, J. Evol. Equ. 10 (2010), 487–509

  6. [6]

    Bogachev, G

    V. Bogachev, G. Da Prato and M. Röckner,Uniqueness for solutions of Fokker-Planck equations on infinite dimen- sional spaces, Commun. Partial Differ. Equations 36 (2011), 925–939

  7. [7]

    P. Cardaliaguet,Weak solutions for first order mean field games with local coupling, in Analysis and Geometry in Control Theory and its Applications, Springer INdAM Series 11, 111–158, Springer, Cham, 2015

  8. [8]

    Cardaliaguet, F

    P. Cardaliaguet, F. Delarue, J.-M. Lasry and P.-L. Lions,The master equation and the convergence problem in mean field games, Ann. Math. Stud. 201, Princeton University Press, Princeton, NJ, 2019

  9. [9]

    Cardaliaguet and P

    P. Cardaliaguet and P. J. Graber,Mean field games systems of first order, ESAIM, Control Optim. Calc. Var. 21 (2015), 690–722

  10. [10]

    Cardaliaguet, P

    P. Cardaliaguet, P. J. Graber, A. Porretta and D. Tonon,Second order mean field games with degenerate diffusion and local coupling, NoDEA, Nonlinear Differential Equations Appl. 22 (2015), 1287–1317

  11. [11]

    Cardaliaguet, A

    P. Cardaliaguet, A. Mészáros and P. J. Graber,First order mean field games with density constraints: pressure equals price, SIAM J. Control Optim. 54 (2016), 2672–2709

  12. [12]

    Cardaliaguet and A

    P. Cardaliaguet and A. Porretta,An introduction to mean field game theory, in Mean field games, Lecture Notes in Math. 2281, 1–158, Springer, Cham, 2020

  13. [13]

    Carmona and F

    R. Carmona and F. Delarue,Probabilistic theory of mean field games with applications. I: Mean field FBSDEs, control, and games, Probab. Theory Stoch. Model. 83, Springer, Cham, 2018

  14. [14]

    Carmona and F

    R. Carmona and F. Delarue,Probabilistic theory of mean field games with applications II. Mean field games with common noise and master equations, Probab. Theory Stoch. Model. 84, Springer, Cham, 2018

  15. [15]

    Chowdhury , E

    I. Chowdhury , E. R. Jakobsen and M. Krupski,A strongly degenerate fully nonlinear mean field game with nonlocal diffusion, J. Differential Equations 440 (2025), 27pp

  16. [16]

    Cirant and L

    M. Cirant and L. Nurbekyan,The variational structure and time-periodic solutions for mean-field games systems, Minimax Theory Appl. 03 (2018), 227–260

  17. [17]

    M. G. Crandall and P.-L. Lions,Viscosity solutions of Hamilton-Jacobi equations in infinite dimensions. IV: Hamil- tonians with unbounded linear terms, J. Funct. Anal. 90 (1990), 237–283

  18. [18]

    M. G. Crandall and P.-L. Lions,Viscosity solutions of Hamilton-Jacobi equations in infinite dimensions. V: Un- bounded linear terms andB-continuous solutions, J. Funct. Anal. 97 (1991), 417–465

  19. [19]

    Da Prato, F

    G. Da Prato, F. Flandoli and M. Röckner,Fokker-Planck equations for SPDE with non-trace-class noise, Commun. Math. Stat. 1 (2013), 281–304

  20. [20]

    Da Prato and J

    G. Da Prato and J. Zabczyk,Stochastic equations in infinite dimensions, Encyclopedia of Mathematics and its Applications 152, 2nd Edition, Cambridge University Press, Cambridge, 2014

  21. [21]

    de Feo, S

    F. de Feo, S. Federico and A. ´Swi˛ ech,Optimal control of stochastic delay differential equations and applications to path-dependent financial and economic models, SIAM J. Control Optim. 62 (2024), 1490–1520

  22. [22]

    Stochastic optimal control of interacting particle systems in Hilbert spaces and applications.arXiv preprint arXiv:2511.21646, 2025

    F. de Feo, F. Gozzi, A. ´Swi˛ ech and L. Wessels,Stochastic optimal control of interacting particle systems in Hilbert spaces and applications, arXiv preprint, arXiv:2511.21646 (2025)

  23. [23]

    de Feo, A

    F. de Feo, A. ´Swi˛ ech and L. Wessels,Stochastic optimal control in Hilbert spaces:C 1,1 regularity of the value function and optimal synthesis via viscosity solutions, Electron. J. Probab. 30 (2025), 1–39. 30 Andrzej ´Swi˛ ech and Lukas Wessels

  24. [24]

    Fabbri, F

    G. Fabbri, F. Gozzi and A. ´Swi˛ ech,Stochastic optimal control in infinite dimension: Dynamic programming and HJB equations, with a contribution by Marco Fuhrman and Gianmario Tessitore, Probab. Theory Stoch. Model. 82, Springer, Cham, 2017

  25. [25]

    Federico, D

    S. Federico, D. Ghilli and F. Gozzi,Linear-quadratic mean field games in Hilbert spaces, SIAM J. Math. Anal. 57 (2025), 5821–5853

  26. [26]

    Federico, F

    S. Federico, F. Gozzi and A. ´Swi˛ ech,On mean field games in infinite dimension, J. Math. Pures Appl. (9) 205 (2026), Paper No. 103780, 33pp

  27. [27]

    Federico and P

    S. Federico and P. Tankov,Finite-dimensional representations for controlled diffusions with delay, Appl. Math. Optim., 71 (2015), pp. 165–194

  28. [28]

    Ferreira and D

    R. Ferreira and D. Gomes,Existence of weak solutions to stationary mean-field games through variational in- equalities, SIAM J. Math. Anal. 50 (2018), 5969–6006

  29. [29]

    Ferreira, D

    R. Ferreira, D. Gomes and T. Tada,Existence of weak solutions to time-dependent mean-field games, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 212 (2021), 31pp

  30. [30]

    Firoozi, A

    D. Firoozi, A. Kratsios and X. Yang,Simultaneously solving infinitely many LQ mean field games in Hilbert spaces: The power of neural operators, arXiv preprint, arXiv:2510.20017 (2025)

  31. [31]

    Fouque and Z

    J.-P. Fouque and Z. Zhang,Mean field game with delay: a toy model, Risks 6 (2018), 1–17

  32. [32]

    Fouque and Z

    J.-P. Fouque and Z. Zhang,Deep learning methods for mean field control problems with delay, Front. Appl. Math. Stat. 6 (2020)

  33. [33]

    Ghilli and M

    D. Ghilli and M. Ricciardi,Linear quadratic Nash systems and master equations in Hilbert spaces, arXiv preprint, arXiv:2504.00637 (2025)

  34. [34]

    D. A. Gomes and J. Saúde,Mean field games models–a brief survey, Dyn. Games Appl. 4 (2014), no. 2, 110–154

  35. [35]

    Gozzi, F

    F. Gozzi, F. Masiero and M. Rosestolato,An optimal advertising model with carryover effect and mean field terms, Math. Financ. Econ. 18 (2024), 413–427

  36. [36]

    P. J. Graber,Optimal control of first-order Hamilton-Jacobi equations with linearly bounded Hamiltonian, Appl. Math. Optim. 70 (2014), 185–224

  37. [37]

    P. J. Graber and A. R. Mészáros,On monotonicity conditions for mean field games, J. Funct. Anal. 285 (2023), Paper No. 110095, 45pp

  38. [38]

    Griffin-Pickering and A

    M. Griffin-Pickering and A. Mészáros,A variational approach to first order kinetic mean field games with local couplings, Commun. Partial Differ. Equations 47 (2022), 1945–2022

  39. [39]

    Guatteri, F

    G. Guatteri, F. Masiero and L. Wessels,Peng’s maximum principle for stochastic delay differential equations of mean-field type, arXiv preprint, arXiv:2512.00934 (2025)

  40. [40]

    Huang, P

    M. Huang, P. E. Caines and R. P. Malhamé,Large-population cost-coupled LQG problems with nonuniform agents: individual-mass behavior and decentralizedϵ-Nash equilibria, IEEE Trans. Autom. Control 52 (2007), 1560– 1571

  41. [41]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions,A remark on regularization in Hilbert spaces, Israel J. Math. 55 (1986), 257–266

  42. [42]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions,Jeux à champ moyen. I. Le cas stationnaire, C. R. Math. Acad. Sci. Paris 343 (2006), 619–625

  43. [43]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions,Jeux à champ moyen. II. Horizon fini et contrôle optimal, C. R. Math. Acad. Sci. Paris 343 (2006), 679–684

  44. [44]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions,Mean field games, Jpn. J. Math. 2 (2007), 229–260

  45. [45]

    Liu and D

    H. Liu and D. Firoozi,Hilbert space-valued LQ mean field games: An infinite-dimensional analysis, SIAM J. Control Optim. 63 (2025), 3297–3327

  46. [46]

    Liu and D

    H. Liu and D. Firoozi,Infinite-dimensional LQ mean field games with common noise: Small and arbitrary finite time horizons, arXiv preprint, arXiv:2601.13493 (2026)

  47. [47]

    H. Ma, Y. Shi, R. Li and W. Wang,ϵ-Nash mean-field games for stochastic linear-quadratic systems with delay and applications, Probability , Uncertainty and Quantitative Risk 9 (2024), 389–404

  48. [48]

    Mészáros and C

    A. Mészáros and C. Mou,Mean field games systems under displacement monotonicity, SIAM J. Math. Anal. 56 (2024), 529–553

  49. [49]

    Muñoz,Classical and weak solutions to local first-order mean field games through elliptic regularity, Ann

    S. Muñoz,Classical and weak solutions to local first-order mean field games through elliptic regularity, Ann. Inst. Henri Poincaré C, Anal. Non Linéaire 39 (2022), 1–39

  50. [50]

    K. R. Parthasarathy ,Probability measures on metric spaces, Probability and Mathematical Statistics 3, Academic Press, Inc., New York-London, 1967

  51. [51]

    Röckner, R

    M. Röckner, R. Zhu and X. Zhu,A note on stochastic semilinear equations and their associated Fokker-Planck equations, J. Math. Anal. Appl. 415 (2014), 83–109. 31 Mean Field Games in Hilbert Spaces

  52. [52]

    Santambrogio,Lecture notes on variational mean field games, in Mean field games, Lecture Notes in Math

    F. Santambrogio,Lecture notes on variational mean field games, in Mean field games, Lecture Notes in Math. 2281, 159–201, Springer, Cham, 2020

  53. [53]

    Unbounded

    A. ´Swi˛ ech,“Unbounded” second order partial differential equations in infinite dimensional Hilbert spaces, Comm. Partial Differential Equations 19 (1994), 1999–2036

  54. [54]

    ´Swi˛ ech and L

    A. ´Swi˛ ech and L. Wessels,Finite dimensional projections of HJB equations in the Wasserstein space, Ann. Appl. Probab. 35 (2025), 3653–3695

  55. [55]

    Villani,Topics in optimal transportation, Grad

    C. Villani,Topics in optimal transportation, Grad. Stud. Math. 58, Providence, RI: American Mathematical Society (AMS), 2003

  56. [56]

    Villani,Optimal transport, Old and new, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 338, Springer-Verlag, Berlin, 2009

    C. Villani,Optimal transport, Old and new, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 338, Springer-Verlag, Berlin, 2009

  57. [57]

    Wiesinger,Uniqueness for solutions of Fokker-Planck equations related to singular SPDE driven by Lévy and cylindrical Wiener noise, J

    S. Wiesinger,Uniqueness for solutions of Fokker-Planck equations related to singular SPDE driven by Lévy and cylindrical Wiener noise, J. Evol. Equ. 13 (2013), 369–394. 32