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
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- [Introduction] Clarify the precise functional setting for the probability measures on H and the domain of the degenerate diffusion operator already in the introduction.
- [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
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
-
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
-
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
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our main result establishes existence and uniqueness of solutions to this coupled system. Solutions of the HJB equation are interpreted in the viscosity sense. ... we introduce a class of suitable adjoint equations and employ viscosity solution techniques to construct sufficiently regular solutions.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A is a closed, densely defined maximal dissipative operator... B ... compact operator such that A^* B is bounded.
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
- [1]
-
[2]
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
work page 2008
-
[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
work page 1978
-
[4]
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
work page 2009
-
[5]
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
work page 2010
-
[6]
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
work page 2011
-
[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
work page 2015
-
[8]
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
work page 2019
-
[9]
P. Cardaliaguet and P. J. Graber,Mean field games systems of first order, ESAIM, Control Optim. Calc. Var. 21 (2015), 690–722
work page 2015
-
[10]
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
work page 2015
-
[11]
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
work page 2016
-
[12]
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
work page 2020
-
[13]
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
work page 2018
-
[14]
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
work page 2018
-
[15]
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
work page 2025
-
[16]
M. Cirant and L. Nurbekyan,The variational structure and time-periodic solutions for mean-field games systems, Minimax Theory Appl. 03 (2018), 227–260
work page 2018
-
[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
work page 1990
-
[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
work page 1991
-
[19]
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
work page 2013
-
[20]
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
work page 2014
- [21]
-
[22]
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]
- [24]
-
[25]
S. Federico, D. Ghilli and F. Gozzi,Linear-quadratic mean field games in Hilbert spaces, SIAM J. Math. Anal. 57 (2025), 5821–5853
work page 2025
-
[26]
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
work page 2026
-
[27]
S. Federico and P. Tankov,Finite-dimensional representations for controlled diffusions with delay, Appl. Math. Optim., 71 (2015), pp. 165–194
work page 2015
-
[28]
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
work page 2018
-
[29]
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
work page 2021
-
[30]
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]
J.-P. Fouque and Z. Zhang,Mean field game with delay: a toy model, Risks 6 (2018), 1–17
work page 2018
-
[32]
J.-P. Fouque and Z. Zhang,Deep learning methods for mean field control problems with delay, Front. Appl. Math. Stat. 6 (2020)
work page 2020
-
[33]
D. Ghilli and M. Ricciardi,Linear quadratic Nash systems and master equations in Hilbert spaces, arXiv preprint, arXiv:2504.00637 (2025)
-
[34]
D. A. Gomes and J. Saúde,Mean field games models–a brief survey, Dyn. Games Appl. 4 (2014), no. 2, 110–154
work page 2014
- [35]
-
[36]
P. J. Graber,Optimal control of first-order Hamilton-Jacobi equations with linearly bounded Hamiltonian, Appl. Math. Optim. 70 (2014), 185–224
work page 2014
-
[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
work page 2023
-
[38]
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
work page 2022
-
[39]
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]
-
[41]
J.-M. Lasry and P.-L. Lions,A remark on regularization in Hilbert spaces, Israel J. Math. 55 (1986), 257–266
work page 1986
-
[42]
J.-M. Lasry and P.-L. Lions,Jeux à champ moyen. I. Le cas stationnaire, C. R. Math. Acad. Sci. Paris 343 (2006), 619–625
work page 2006
-
[43]
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
work page 2006
-
[44]
J.-M. Lasry and P.-L. Lions,Mean field games, Jpn. J. Math. 2 (2007), 229–260
work page 2007
- [45]
-
[46]
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)
work page internal anchor Pith review arXiv 2026
-
[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
work page 2024
-
[48]
A. Mészáros and C. Mou,Mean field games systems under displacement monotonicity, SIAM J. Math. Anal. 56 (2024), 529–553
work page 2024
-
[49]
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
work page 2022
-
[50]
K. R. Parthasarathy ,Probability measures on metric spaces, Probability and Mathematical Statistics 3, Academic Press, Inc., New York-London, 1967
work page 1967
-
[51]
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
work page 2014
-
[52]
F. Santambrogio,Lecture notes on variational mean field games, in Mean field games, Lecture Notes in Math. 2281, 159–201, Springer, Cham, 2020
work page 2020
- [53]
-
[54]
A. ´Swi˛ ech and L. Wessels,Finite dimensional projections of HJB equations in the Wasserstein space, Ann. Appl. Probab. 35 (2025), 3653–3695
work page 2025
-
[55]
Villani,Topics in optimal transportation, Grad
C. Villani,Topics in optimal transportation, Grad. Stud. Math. 58, Providence, RI: American Mathematical Society (AMS), 2003
work page 2003
-
[56]
C. Villani,Optimal transport, Old and new, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 338, Springer-Verlag, Berlin, 2009
work page 2009
-
[57]
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
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.