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

Erhan Bayraktar; Hang Cheung; Ho Man Tai; Ibrahim Ekren; Jinniao Qiu; Xin Zhang

REVIEW 3 major objections 4 minor 1 cited by

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

T0 review · 3 major / 4 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 The paper proves that the value function of a mean-field control problem with common noise is the unique viscosity solution of a fully second-order Hamilton-Jacobi-Bellman equation on the Wasserstein space.

desk verdict A genuine first on fully second-order HJB equations in the Wasserstein space with common noise, but the comparison theorem is gated by a one-line delegation of a common-noise limit theorem that the referee should demand be proved. read the letter →

arxiv 2501.01612 v1 pith:IR6NIRW7 submitted 2025-01-03 math.OC math.APmath.PR

Erhan Bayraktar , Hang Cheung , Ibrahim Ekren , Jinniao Qiu , Ho Man Tai , Xin Zhang This is my paper · ORCID

classification math.OCmath.APmath.PR MSC 49L2535Q9335B5158E30

keywords meanfieldtypecontrolWassersteinspacesecond-orderHJBequationviscositysolutionsBellmancomparisontheoremcommonnoiseL-derivative

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

This paper proves a PDE characterization for mean-field control problems with common noise. The value function, which optimizes a cost over many interacting agents whose individual noises are averaged out conditionally on a common noise, is shown to be the unique viscosity solution of a fully second-order Hamilton-Jacobi-Bellman equation on the space of probability measures. "Fully second-order" means the second derivative with respect to the measure is genuinely infinite-dimensional and state-dependent, rather than a finite-dimensional projection. The result covers unbounded state dynamics and state-dependent common-noise volatility, and it extends Crandall-Lions-style viscosity theory directly to the Wasserstein space.

What carries the argument

The argument is carried by two constructions. First, the value function is approximated by v_{ε,n,m}, the value of an n-particle system with mollified coefficients and a small additive noise ε, which lives on the finite-dimensional domain $R^{{dn}}$ and is a classical solution of a Bellman equation. Second, compactness in the Wasserstein space is obtained not from a smooth variational principle but from the second-moment penalization δM2(µ), whose L-derivatives are explicit: ∂µM2(µ)(x)=2x, ∂²µM2(µ)(x,y)=0, and ∇x∂µM2(µ)(x)=2Id. Bounding M2 on the set where the comparison function exceeds its supremum confines the maximizer to a W1-compact level set, so the viscosity subsolution inequality can be applied at an attained maximum. For the supersolution side, the paper uses test functions on P2(Rd × A), extending the measure argument with a control variable, to handle the supremum in the Hamiltonian.

What would settle it

Take a one-dimensional linear-quadratic mean-field control problem with common noise satisfying Assumptions (A)-(B), solve the HJB equation (1.1) explicitly or numerically, and compare the result with lim_{n→∞}lim_{m→∞} v_{ε,n,m}(t,µ) for small ε; any discrepancy at a test point would falsify the omitted convergence lemma and with it the comparison theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorems 4.2 and 4.3: under Assumptions (A)-(B), the value function v defined in (2.6) solves the HJB equation (1.1) in the viscosity sense, and every viscosity subsolution lies below every viscosity supersolution, so the viscosity solution is unique. The equation involves the first-order L-derivative ∂µu, the cross derivative ∇x∂µu, and the second-order L-derivative ∂²µu, with a common-noise term integrated against µ⊗2. The existence proof uses the dynamic programming principle and Itô's formula for conditional laws, while the uniqueness proof builds smooth finite-dimensional particle approximations of the value function and uses a moment-penalization compactness argument to locate maximizers in the non-compact Wasserstein space.

Load-bearing premise

Everything rests on the unproved claim that smoothing the coefficients and then letting the number of particles grow recovers the true value function; if that limit fails, the uniqueness comparison collapses.

Editorial extensions

If this is right

The value function v is characterized exactly by the PDE (1.1), so PDE techniques apply to mean-field control with common noise.
The comparison principle rules out crossing between viscosity sub- and supersolutions, giving a well-posed notion of solution that any approximation scheme must target.
The assumptions admit unbounded dynamics and state-dependent common-noise volatility, going beyond settings where the second-order term is a finite-dimensional operator.
The particle approximations v_{ε,n,m} produce smooth classical solutions on finite-dimensional domains, and those functions serve as the test functions in the viscosity proof.

Reading between the lines

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

The paper only proves convergence of the particle approximation without a rate; a quantitative convergence rate in the common-noise setting is a natural next step.
The moment-penalization compactness device appears transferable to mean-field games or to equations with faster-growing dynamics, provided a substitute for the ρ<1 growth condition is found.
The use of test functions on P2(Rd × A) for supersolutions suggests that randomized controls are the natural domain for comparison arguments in second-order mean-field equations; this viewpoint could simplify future uniqueness proofs.

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.

Desk Editor's Note

read the letter

The headline: this is a real advance—first well-posedness for fully second-order HJB equations on the Wasserstein space with common noise, where the second derivative in measure is genuinely infinite-dimensional and state-dependent. I believe the main theorems are likely correct, but the written proof has a gap that needs to be closed before the result is citable as proven.

What is actually new: previous viscosity theories (Bayraktar-Ekren-Zhang, Daudin-Jackson-Seeger) handled only partially second-order operators. This paper goes all the way, and it does so while allowing unbounded dynamics and state-dependent common noise volatility. The moment-penalization trick is a nice substitute for the smooth variational principle, and the clean derivatives of M2 are what make unbounded dynamics tractable. The existence proof (Theorem 4.2) is essentially self-contained. The detailed proof of Lemma 3.3 shows real work.

Where the soft spots are: the comparison theorem depends on Lemma 3.6, which asserts that the finite-dimensional approximations v_{ε,n,m} converge to v_ε as m→∞ then n→∞. The proof is one sentence: 'follows the same reasoning as [19, Theorem A.6], but with [25, Theorems 3.1, 3.6] replacing the limit theory.' This is load-bearing. Step 1C passes n→∞ to conclude u1≤v0, and the supersolution side uses the same limit in (4.28). The stress-test is right: [19] is no-common-noise, [25] is a general McKean–Vlasov limit theory, and the paper does not verify that the smoothed finite-dimensional control problems satisfy its hypotheses—control compactness, uniform moment bounds, uniqueness of the conditional law, commutation of the double limit. That is not a cosmetic omission. I would also flag the reliance on [17], an unpublished self-cited paper, for the smooth approximation framework; the authors do prove Lemma 3.3 in detail, so the dependence is partly mitigated, but Lemma 3.5 is also just stated.

Do not overstate the problem: the central claim is not circular, and the missing steps are probably fixable with the authors' own machinery. The paper is coherent and the argument is transparent about what it borrows. This is a case where a referee should ask for the missing proof, not one where the idea is wrong.

Bottom line: the paper deserves a serious referee. If I were handling it, I would send it out with a clear request: provide a complete proof of Lemma 3.6 (or a preprint of [17] plus a verification that the hypotheses of [25] hold), and either move Lemma 3.5's proof to the appendix or give a reference that is public. After that, I would expect this to be citable.

Referee Report

3 major / 4 minor

Summary. The paper studies mean field control problems with common noise and state-dependent common noise volatility, and claims that the associated value function is the unique viscosity solution of a fully second-order Hamilton-Jacobi-Bellman equation on the Wasserstein space. The proof strategy combines smooth finite-dimensional approximations of the value function, moment-penalization compactness à la Soner-Yan, and a comparison theorem established under a modified definition of viscosity supersolution. The two main theorems are the existence result (Theorem 4.2) and the comparison/uniqueness result (Theorem 4.3). The manuscript contains detailed proofs of several auxiliary estimates, but the key convergence of the finite-dimensional particle approximations is delegated to prior work in a one-sentence proof.

Significance. If the convergence gap described below is closed, this is a significant contribution: it extends viscosity solution theory to fully second-order equations in the Wasserstein space, allows unbounded dynamics and state-dependent common noise volatility, and introduces a moment-penalization route that avoids the need for a second-order differentiable gauge function. The paper is carefully written and contains substantial self-contained technical work, including a reproduction and correction of a prior Lipschitz estimate in the proof of Lemma 3.3 and explicit finite-dimensional derivative bounds. However, the main theorem currently rests on unproved limit assertions for the particle approximation, so the central claim is conditional on those assertions being made rigorous.

major comments (3)

[Section 3.3, Lemma 3.6] The convergence v_{ε,n,m}(t,µ) → v_ε(t,µ) as m→∞ then n→∞ is asserted with a one-sentence proof deferring to [19, Theorem A.6] and [25, Theorems 3.1, 3.6]. This lemma is load-bearing: it is used in Step 1B and Step 1C of Theorem 4.3 to pass to the limit and conclude (u1−v0)(t0,µ0)≤0, and also in Lemma 4.1 to prove the W1-Lipschitz continuity of v. The approximate control problems involve smoothed coefficients b^i_{n,m}, f^i_{n,m}, g^i_{n,m} and i.i.d. initial conditions, while [19] treats a no-common-noise setting and [25] provides a general McKean–Vlasov limit theory. The manuscript does not verify that the smoothed finite-dimensional control problem satisfies the hypotheses of [25] — in particular uniform moment bounds, control compactness, uniqueness of the conditional McKean–Vlasov law, and the commutation of the limits in m and n. Without this verification, the comparison argument cannot pass from the finite-dimensional approximations to the limiting value function, and the uniqueness conclusion is not established.
[Section 3.3, Lemma 3.5] The estimate |v_{ε,n,m}(t,µ)−v_{0,n,m}(t,µ)|≤C6ε is stated with the sentence 'the details are omitted here.' This estimate is used in Step 1C and in Lemma 4.1 to remove the ε-regularization. Although the estimate is plausibly derived by the same perturbation argument as Lemma 3.1, the bound must be uniform in the empirical-measure smoothing parameters, and the manuscript should provide the proof or a precise statement of a referenced theorem rather than leaving a load-bearing estimate as an unproved lemma.
[Theorem 4.3, Part 2, equations (4.26)–(4.28)] The supersolution comparison requires the convergence vs0_n,m(t,ν) → vs0(t,ν) as m→∞ then n→∞, stated as item (3) after (4.28). The text says 'it could be shown by following the proofs of Lemma 3.3, Theorem 3.4 and [19, Theorem A.8],' but no proof is given. This is the common-noise analogue of Lemma 3.6 for measures on Rd×A, and it is used to obtain the lower bound vs0_n,m(t0,ν0)≥u2(t0,µ0)+l0/3 in (4.29) and to pass to the limit after applying the supersolution test at (~t,~ν). Without a proof of this convergence, the conclusion v0≤u2 is not established.

minor comments (4)

[Theorem 2.9] The last display in Theorem 2.9 contains a garbled expression: the term `~σ0_s(|~σ0_s)^⊤` should presumably be `~σ0_s(~σ0_s)^⊤`, and in the list of copied processes `(|~σ0_t)` should be `(^q~σ0_t)`. This makes the Itô formula difficult to parse.
[Section 3.2] The n-particle state process is denoted X^{m,ε,t,x,α}_s even though the coefficients b^i_{n,m} and f^i_{n,m} depend on n; the notation should be X^{n,m,ε,t,x,α}_s (or an explicit declaration that n is suppressed). The same notational issue appears in equations (3.7), (3.8), and in the appendix.
[Remark 2.5] The assertion that the modified supersolution conditions (2a)-(2b) imply the standard Crandall–Lions supersolution is made with a reference to [17, Remark 6.1] but is not proved in this manuscript. Since the uniqueness theorem is stated only for the modified notion in Definition 2.5, the paper should state this scope explicitly in the abstract or introduction, or include a short proof of the implication.
[Lemma 4.1] In the proof of Lemma 4.1, the chain of equalities involving lim_{k→∞} lim_{ε→0} lim_{n→∞} lim_{m→∞} is asserted without comment. The equality is valid if Lemma 3.6 is proved, but the derivation should be written out: first use the W2-continuity of v to pass k→∞, then apply the double limit for each fixed k. Adding this one-line justification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the comparison proof reduces to external convergence theorems, not to the target claim.

full rationale

The derivation chain is not circular. The value function v in (2.6) is defined independently by a mean-field control problem, and its viscosity-solution property (Theorem 4.2) follows from the dynamic programming principle (Theorem 2.8) and Itô's formula (Theorem 2.9), neither of which presupposes the HJB equation (1.1). The uniqueness proof (Theorem 4.3) proceeds by finite-dimensional smooth approximations v_{ε,n,m} and moment penalization δM2. The approximation results in Section 3 are quoted from external sources: Theorem 3.4 item (1) refers to Cosso--Gozzi--Kharroubi--Pham--Rosestolato [19, Theorem A.7], and the crucial double limit in Lemma 3.6 is delegated to [19, Theorem A.6] together with Djete--Possamaï--Tan [25, Theorems 3.1, 3.6]. These are distinct published theorems about convergence of particle approximations and McKean--Vlasov control; they are not restatements of equation (1.1) or of the comparison inequality u1 ≤ u2. The same-author citation [17] (Cheung--Tai--Qiu) is used mainly as a methodological pointer for smooth approximations and the modified supersolution definition; it is not the unique load-bearing input, and the common-noise extension is handled through [25]. Lemma 3.6 is indeed asserted with a one-sentence proof and is load-bearing for passing to the limit in Step 1C, but an omitted or deferred proof is a correctness/verification risk, not circularity: no parameter is fitted, no quantity is defined in terms of the target, and no cited result contains the present theorem as its conclusion. Thus no step exhibits the specific reduction required for a circularity finding.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim does not introduce free parameters or new entities. It relies on standard results (Itô formula, SDE well-posedness, DPP) and on a non-trivial convergence lemma (Lemma 3.6) that is not proved in the paper but delegated to prior works.

assumptions (6)

standard math Itô formula for functions in C1,2([0,T]×P2(Rd)) (Theorem 2.9)
Used in the proof of Theorem 4.2 to derive the HJB inequality; cited from [14, Theorem 4.14].
domain assumption Rich probability space supporting all laws on Rd
Needed to define law-invariant value functions on P2(Rd); stated in Section 2.3.
domain assumption Unique strong solution of the mean field SDE (2.3)
Proposition 2.6, proved by standard arguments; needed to define the cost functional.
domain assumption Dynamic Programming Principle (Theorem 2.8)
Standard in stochastic control, cited to [36]; essential for the subsolution property.
standard math Rate of convergence of empirical measures in Wasserstein distance (Fournier-Guillin [27])
Used in Step 1B to estimate the terminal error in the comparison proof.
ad hoc to paper Convergence of finite-dimensional approximations in the common-noise setting (Lemma 3.6)
The paper asserts this convergence without proof, delegating to [19] and [25]; it is essential for the uniqueness proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Viscosity Solutions of Fully second-order HJB Equations in the Wasserstein Space." pith.science (2026). https://pith.science/paper/IR6NIRW7

@misc{pith2026250101612,
  author       = {Pith},
  title        = {Pith review of: Viscosity Solutions of Fully second-order HJB Equations in the Wasserstein Space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IR6NIRW7}},
  note         = {Machine review of arXiv:2501.01612}
}

read the original abstract

In this paper, we show that the value functions of mean field control problems with common noise are the unique viscosity solutions to fully second-order Hamilton-Jacobi-Bellman equations, in a Crandall-Lions-like framework. We allow the second-order derivative in measure to be state-dependent and thus infinite-dimensional, rather than derived from a finite-dimensional operator, hence the term ''fully''. Our argument leverages the construction of smooth approximations from particle systems developed by Cosso, Gozzi, Kharroubi, Pham, and Rosestolato [Trans. Amer. Math. Soc., 2023], and the compactness argument via penalization of measure moments in Soner and Yan [Appl. Math. Optim., 2024]. Our work addresses unbounded dynamics and state-dependent common noise volatility, and to our knowledge, this is the first result of its kind in the literature.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

The randomization method in stochastic optimal control
math.OC 2025-02 conditional novelty 1.0 of 10

A survey of the randomization method proving that the value of an optimal control problem equals the value of a randomized problem and is represented by a constrained BSDE, with a complete tour of applications.

Reference graph

Works this paper leans on

47 extracted references · 40 canonical work pages · cited by 1 Pith paper

[19]

Cosso, F

A. Cosso, F. Gozzi, I. Kharroubi, H. Pham, and M. Rosesto lato. Master Bellman equation in the Wasserstein space: Uniqueness of viscosity solution s. Transactions of the American Mathematical Society, 377(01):31–83, 2024

work page 2024
[25]

M. F. Djete, D. Possamaï, and X. Tan. McKean–Vlasov opti mal control: limit theory and equivalence between diﬀerent formulations. Mathematics of Operations Research , 47(4):2891– 2930, 2022

work page 2022
[17]

Cheung, H

H. Cheung, H. M. Tai, and J. Qiu. Viscosity solutions of a class of second order Hamilton- Jacobi-Bellman equations in the Wasserstein space. to appe ar in Applied Mathematics & Optimization

work page
[1]

Bandini, A

E. Bandini, A. Cosso, M. Fuhrman, and H. Pham. Randomized ﬁltering and Bellman equation in Wasserstein space for partial observation control probl em. Stochastic Processes and their Applications, 129(2):674–711, 2019

work page 2019
[2]

Bayraktar, A

E. Bayraktar, A. Cecchin, and P. Chakraborty. Mean ﬁeld c ontrol and ﬁnite agent approxi- mation for regime-switching jump diﬀusions. Applied Mathematics & Optimization , 88(2):36, 2023

work page 2023
[3]

Bayraktar, I

E. Bayraktar, I. Ekren, and X. Zhang. A smooth variationa l principle on Wasserstein space. Proceedings of the American Mathematical Society , 151(09):4089–4098, 2023

work page 2023
[4]

Bayraktar, I

E. Bayraktar, I. Ekren, and X. Zhang. Comparison of visco sity solutions for a class of second- order PDEs on the Wasserstein space. arXiv preprint arXiv:2309.05040 , 2023

arXiv 2023
[5]

Convergence Rate of Particle System for Second-order PDEs On Wasserstein Space

E. Bayraktar, I. Ekren, and X. Zhang. Convergence rate of particle system for second-order PDEs on Wasserstein space. arXiv preprint arXiv:2408.06013 , 2024

work page Pith review arXiv 2024

Show all 47 references

[6]

Bensoussan, J

A. Bensoussan, J. Frehse, and P. Yam. Mean Field Games and Mean Field Type Control Theory, volume 101. Springer, 2013

2013
[7]

Bertucci

C. Bertucci. Stochastic optimal transport and Hamilton –Jacobi–Bellman equations on the set of probability measures. Annales de l’Institut Henri Poincaré C , 2024

2024
[8]

Bertucci and P

C. Bertucci and P. L. Lions. An approximation of the squar ed Wasserstein distance and an application to Hamilton–Jacobi equations. arXiv:2409.11793, 2024

2024 arXiv
[9]

Buckdahn, J

R. Buckdahn, J. Li, S. Peng, and C. Rainer. Mean-ﬁeld stoc hastic diﬀerential equations and associated PDEs. The Annals of Probability , 45(2):824 – 878, 2017

2017
[10]

Cardaliaguet, S

P. Cardaliaguet, S. Daudin, J. Jackson, and P. E. Sougan idis. An algebraic convergence rate for the optimal control of McKean–Vlasov dynamics. SIAM Journal on Control and Optimization, 61(6):3341–3369, 2023

2023
[11]

Cardaliaguet, F

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

2019
[12]

Cardaliaguet, J

P. Cardaliaguet, J. Jackson, N. Mimikos-Stamatopoulo s, and P. E. Souganidis. Sharp con- vergence rates for mean ﬁeld control in the region of strong r egularity. arXiv preprint arXiv:2312.11373, 2023

2023 arXiv
[13]

Carmona and F

R. Carmona and F. Delarue. Probabilistic Theory of Mean Field Games with Applications I: Mean Field FBSDEs, Control, and Games . Probability Theory and Stochastic Modelling. Springer International Publishing, 2018

2018
[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 . Probability Theory and Stochastic Modelling. Springer International Publishing , 2018. 30

2018
[15]

Cecchin, S

A. Cecchin, S. Daudin, J. Jackson, and M. Martini. Quant itative convergence for mean ﬁeld control with common noise and degenerate idiosyncrati c noise. arXiv preprint arXiv:2409.14053, 2024

2024 arXiv
[16]

Chassagneux, D

J.-F. Chassagneux, D. Crisan, and F. Delarue. A probabi listic approach to classical solutions of the master equation for large population equilibria. Memoirs of the American Mathematical Society, 251(1194), 2018

2018
[18]

Cosso, F

A. Cosso, F. Gozzi, I. Kharroubi, H. Pham, and M. Rosesto lato. Optimal control of path- dependent McKean–Vlasov SDEs in inﬁnite-dimension. The Annals of Applied Probability , 33(4):2863–2918, 2023

2023
[20]

A. M. Cox, S. Källblad, M. Larsson, and S. Svaluto-Ferro . Controlled measure-valued mar- tingales: a viscosity solution approach. The Annals of Applied Probability , 34(2):1987–2035, 2024

1987
[21]

M. G. Crandall, H. Ishii, and P.-L. Lions. User’s guide t o viscosity solutions of second order partial diﬀerential equations. Bulletin of the American Mathematical Society , 27(1):1–67, 1992

1992
[22]

M. G. Crandall, M. Kocan, and A. Święch. Lp-theory for fully nonlinear uniformly parabolic equations. Communications in Partial Diﬀerential Equations , 25(11-12):1997–2053, 2000

1997
[23]

Daudin, F

S. Daudin, F. Delarue, and J. Jackson. On the optimal rat e for the convergence problem in mean ﬁeld control. Journal of Functional Analysis , 287(12):110660, 2024

2024
[24]

Daudin, J

S. Daudin, J. Jackson, and B. Seeger. Well-posedness of Hamilton-Jacobi equations in the Wasserstein space: non-convex Hamiltonians and comm on noise. arXiv preprint arXiv:2312.02324, 2023

2023 arXiv
[26]

Fabbri, F

G. Fabbri, F. Gozzi, and A. Święch, Andrzej. Stochastic Optimal Control in Inﬁnite Dimen- sion. Springer, 2017

2017
[27]

Fournier and A

N. Fournier and A. Guillin. On the rate of convergence in Wasserstein distance of the empirical measure. Probability Theory and Related Fields , 162(3-4):707–738, 2015

2015
[28]

Gangbo, S

W. Gangbo, S. Mayorga, and A. Swiech. Finite dimensiona l approximations of Hamilton– Jacobi–Bellman equations in spaces of probability measure s. SIAM Journal on Mathematical Analysis, 53(2):1320–1356, 2021

2021
[29]

Gangbo, A

W. Gangbo, A. R. Mészáros, C. Mou, and J. Zhang. Mean ﬁeld games master equations with nonseparable Hamiltonians and displacement monotoni city. The Annals of Probability , 50(6):2178 – 2217, 2022

2022
[30]

Germain, H

M. Germain, H. Pham, and X. Warin. Rate of convergence fo r particle approximation of PDEs in Wasserstein space. Journal of Applied Probability , 59(4):992–1008, 2022

2022
[31]

D. A. Gomes, E. A. Pimentel, and V. Voskanyan. Regularity theory for mean-ﬁeld game systems. Springer, 2016

2016
[32]

Huang, R

M. Huang, R. P. Malhamé, and P. E. Caines. Large populati on stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty e quivalence principle. Communi- cations in Information & Systems , 6(3):221 – 252, 2006. 31

2006
[33]

N. V. Krylov. Controlled Diﬀusion Processes , volume 14. Springer Science & Business Media, 2008

2008
[34]

Lasry and P.-L

J.-M. Lasry and P.-L. Lions. Mean ﬁeld games. Japanese Journal of Mathematics , 2(1):229– 260, 2007

2007
[35]

C. Mou. Remarks on Schauder estimates and existence of c lassical solutions for a class of uniformly parabolic Hamilton–Jacobi–Bellman integro-PD Es. Journal of Dynamics and Dif- ferential Equations , 31(2):719–743, 2019

2019
[36]

Pham and X

H. Pham and X. Wei. Dynamic programming for optimal cont rol of stochastic McKean–Vlasov dynamics. SIAM Journal on Control and Optimization , 55(2):1069–1101, 2017

2017
[37]

Possamaï and M

D. Possamaï and M. Talbi. Mean-ﬁeld games of optimal sto pping: master equation and weak equilibria. arXiv preprint arXiv:2307.09278 , 2023

2023 arXiv
[38]

H. M. Soner, V. Tissot-Daguette, and J. Zhang. Controll ed occupied processes and viscosity solutions. arXiv preprint arXiv:2411.12080 , 2024

2024 arXiv
[39]

H. M. Soner and Q. Yan. Viscosity solutions for Mckean–V lasov control on a torus. SIAM Journal on Control and Optimization , 62(2):903–923, 2024

2024
[40]

H. M. Soner and Q. Yan. Viscosity solutions of the Eikona l equation on the Wasserstein space. Applied Mathematics & Optimization , 90(1):1, 2024

2024
[41]

M. Talbi. A ﬁnite-dimensional approximation for parti al diﬀerential equations on Wasserstein space. Stochastic Processes and their Applications , 177:104445, 2024

2024
[42]

Talbi, N

M. Talbi, N. Touzi, and J. Zhang. Dynamic programming eq uation for the mean ﬁeld optimal stopping problem. SIAM Journal on Control and Optimization , 61(4):2140–2164, 2023

2023
[43]

Talbi, N

M. Talbi, N. Touzi, and J. Zhang. Viscosity solutions fo r obstacle problems on Wasserstein space. SIAM Journal on Control and Optimization , 61(3):1712–1736, 2023

2023
[44]

Talbi, N

M. Talbi, N. Touzi, and J. Zhang. From ﬁnite population o ptimal stopping to mean ﬁeld optimal stopping. The Annals of Applied Probability , 34(5):4237 – 4267, 2024

2024
[45]

C. Villani. Topics in Optimal Transportation . Graduate studies in mathematics. American Mathematical Society, 2003

2003
[46]

Yong and X

J. Yong and X. Y. Zhou. Stochastic Controls: Hamiltonian Systems and HJB Equation s, volume 43. Springer Science & Business Media, 1999

1999
[47]

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

2024 arXiv

Pith tools

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

[1] [19]

Cosso, F

A. Cosso, F. Gozzi, I. Kharroubi, H. Pham, and M. Rosesto lato. Master Bellman equation in the Wasserstein space: Uniqueness of viscosity solution s. Transactions of the American Mathematical Society, 377(01):31–83, 2024

work page 2024

[2] [25]

M. F. Djete, D. Possamaï, and X. Tan. McKean–Vlasov opti mal control: limit theory and equivalence between diﬀerent formulations. Mathematics of Operations Research , 47(4):2891– 2930, 2022

work page 2022

[3] [17]

Cheung, H

H. Cheung, H. M. Tai, and J. Qiu. Viscosity solutions of a class of second order Hamilton- Jacobi-Bellman equations in the Wasserstein space. to appe ar in Applied Mathematics & Optimization

work page

[4] [1]

Bandini, A

E. Bandini, A. Cosso, M. Fuhrman, and H. Pham. Randomized ﬁltering and Bellman equation in Wasserstein space for partial observation control probl em. Stochastic Processes and their Applications, 129(2):674–711, 2019

work page 2019

[5] [2]

Bayraktar, A

E. Bayraktar, A. Cecchin, and P. Chakraborty. Mean ﬁeld c ontrol and ﬁnite agent approxi- mation for regime-switching jump diﬀusions. Applied Mathematics & Optimization , 88(2):36, 2023

work page 2023

[6] [3]

Bayraktar, I

E. Bayraktar, I. Ekren, and X. Zhang. A smooth variationa l principle on Wasserstein space. Proceedings of the American Mathematical Society , 151(09):4089–4098, 2023

work page 2023

[7] [4]

Bayraktar, I

E. Bayraktar, I. Ekren, and X. Zhang. Comparison of visco sity solutions for a class of second- order PDEs on the Wasserstein space. arXiv preprint arXiv:2309.05040 , 2023

arXiv 2023

[8] [5]

Convergence Rate of Particle System for Second-order PDEs On Wasserstein Space

E. Bayraktar, I. Ekren, and X. Zhang. Convergence rate of particle system for second-order PDEs on Wasserstein space. arXiv preprint arXiv:2408.06013 , 2024

work page Pith review arXiv 2024