pith. sign in

arxiv: 2501.11988 · v3 · submitted 2025-01-21 · 🧮 math.OC

Growth model with externalities for energetic transition via MFG with common external variable

Pierre Lavigne , Quentin Petit , Xavier Warin This is my paper

Pith reviewed 2026-05-23 05:39 UTC · model grok-4.3

classification 🧮 math.OC
keywords mean-field gameseconomic growthexternalitiescommon noiseFBSDEstochastic maximum principlemulti-sector modelenergetic transition
0
0 comments X

The pith

Reformulating equilibrium conditions as an FBSDE proves existence and uniqueness of a strong mean-field game equilibrium for multi-sector growth with evolving externalities and common noise.

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

The paper introduces a mean-field game model of multi-sector economic growth in which agents collectively shape a shared externality variable while facing common noise that captures shared uncertainty. It shows that the equilibrium conditions can be recast as a forward-backward stochastic differential equation via the stochastic maximum principle and then solved uniquely by a contraction mapping argument. The same reformulation supports a fixed-point numerical scheme that uses neural networks to approximate the solution for a concrete instance of the model. A reader would care because the construction supplies a mathematically rigorous way to analyze how collective behavior affects growth paths when environmental or energetic externalities are present.

Core claim

The central claim is that the mean-field game equilibrium conditions for the multi-sector growth model with dynamically evolving externality and common noise can be reformulated as a Forward-Backward Stochastic Differential Equation under the stochastic maximum principle, and a contraction argument then guarantees the existence and uniqueness of a strong solution.

What carries the argument

Reformulation of the mean-field game equilibrium conditions as a Forward-Backward Stochastic Differential Equation under the stochastic maximum principle, followed by a contraction mapping argument to obtain uniqueness.

If this is right

  • A unique strong mean-field game equilibrium exists for the stated growth model.
  • The equilibrium can be approximated numerically by a fixed-point scheme combined with neural network representations.
  • The framework incorporates environmental considerations into classical multi-sector growth models under shared uncertainty.
  • Policy analysis of energetic transition can be conducted inside this equilibrium setting.

Where Pith is reading between the lines

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

  • The same FBSDE-plus-contraction technique might extend to other collective-externality problems such as climate policy models.
  • If the contraction property survives modest changes in the functional forms, the method could apply beyond the specific utilities chosen here.
  • Real-world calibration of the externality process against energy-sector data would test whether the predicted equilibrium trajectories match observed transition paths.

Load-bearing premise

The chosen functional forms for the externality dynamics, agent utilities, and common noise permit the FBSDE reformulation and the contraction mapping to hold.

What would settle it

An explicit counter-example, or a numerical run of the fixed-point iteration, in which the contraction mapping fails to converge or multiple solutions to the FBSDE appear.

Figures

Figures reproduced from arXiv: 2501.11988 by Pierre Lavigne, Quentin Petit, Xavier Warin.

Figure 1
Figure 1. Figure 1: Two realisations of the pollution process. [PITH_FULL_IMAGE:figures/full_fig_p029_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Distributions of the investment at (on the left) and the capital kt (on the right) for time 5, 10, and 20. 30 [PITH_FULL_IMAGE:figures/full_fig_p030_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Distributions of the investment at (on the left) and of the capital kt (on the right) for time 20, 30, and 45 [PITH_FULL_IMAGE:figures/full_fig_p031_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Quantiles 5%, 95% and mean of the pollution process [PITH_FULL_IMAGE:figures/full_fig_p032_4.png] view at source ↗
read the original abstract

This article introduces a novel mean-field game model for multi-sector economic growth in which a dynamically evolving externality, influenced by the collective actions of agents, plays a central role. Building on classical growth theories and integrating environmental considerations, the framework incorporates common noise to capture shared uncertainties among agents about the externality variable. We demonstrate the existence and uniqueness of a strong mean-field game equilibrium by reformulating the equilibrium conditions as a Forward-Backward Stochastic Differential Equation under the stochastic maximum principle and establishing a contraction argument to ensure a unique solution. We provide a numerical resolution for a specified model using a fixed-point approach combined with neural network approximations.

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 paper introduces a mean-field game model for multi-sector economic growth with a dynamically evolving externality driven by collective agent actions and common noise. It claims to prove existence and uniqueness of a strong MFG equilibrium by reformulating the equilibrium conditions as an FBSDE via the stochastic maximum principle, followed by a contraction mapping argument. A numerical scheme based on fixed-point iteration with neural-network approximations is presented for a concrete instance of the model.

Significance. If the existence/uniqueness result holds under the stated conditions, the work supplies a rigorous MFG framework that incorporates environmental externalities and common noise into multi-sector growth models, extending classical growth theory. The numerical component demonstrates practical solvability. These elements would be of interest to researchers working at the intersection of stochastic control, mean-field games, and economic modeling of energetic transitions.

major comments (2)
  1. [Existence and uniqueness argument (FBSDE reformulation and contraction)] The contraction-mapping step for FBSDE uniqueness (described in the abstract and the existence/uniqueness section) requires uniform Lipschitz continuity of the drift and cost coefficients together with a monotonicity condition whose constant produces a contraction factor strictly less than one. The manuscript supplies no explicit verification that the chosen multi-sector growth functionals, externality dynamics, and running/terminal costs satisfy these quantitative bounds; without such a check the uniqueness claim rests on an unverified assumption.
  2. [Reformulation via stochastic maximum principle] Application of the stochastic maximum principle to obtain the FBSDE system is asserted without derivation of the necessary regularity conditions on the value function or adjoint processes, particularly in the presence of the common external variable and the multi-sector structure. No verification is given that the Hamiltonian satisfies the required convexity or differentiability hypotheses for the principle to hold in this setting.
minor comments (2)
  1. [Abstract] The abstract states the proof strategy but does not list the precise functional forms or the monotonicity/Lipschitz constants that are later used; adding a short statement of the key structural assumptions would improve readability.
  2. [Numerical resolution] The numerical section does not report quantitative bounds on the approximation error introduced by the neural-network solver or on the convergence rate of the fixed-point iteration; including such diagnostics would strengthen the computational results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Dear Editor, We thank the referee for the thoughtful and detailed report. The two major comments correctly identify gaps in the explicit verification of technical conditions underlying the existence/uniqueness result. We will revise the manuscript to supply these verifications in a new dedicated subsection, thereby strengthening the rigor of the proofs without altering the model or main claims. Point-by-point responses follow.

read point-by-point responses

  1. Referee: The contraction-mapping step for FBSDE uniqueness (described in the abstract and the existence/uniqueness section) requires uniform Lipschitz continuity of the drift and cost coefficients together with a monotonicity condition whose constant produces a contraction factor strictly less than one. The manuscript supplies no explicit verification that the chosen multi-sector growth functionals, externality dynamics, and running/terminal costs satisfy these quantitative bounds; without such a check the uniqueness claim rests on an unverified assumption.

    Authors: We agree that an explicit verification is missing. In the revised manuscript we will add a new subsection (placed after the statement of the FBSDE system) that computes the relevant partial derivatives of the drift, running cost, and terminal cost with respect to the state, control, and externality variables. Under the standing parameter restrictions of the multi-sector growth model (positive but bounded marginal products, quadratic penalization of deviations, and linear externality dynamics), we will derive uniform Lipschitz constants and show that the monotonicity constant yields a contraction factor strictly less than one for sufficiently small time horizon or sufficiently strong mean-reversion in the externality. This verification will be model-specific but fully rigorous. revision: yes

  2. Referee: Application of the stochastic maximum principle to obtain the FBSDE system is asserted without derivation of the necessary regularity conditions on the value function or adjoint processes, particularly in the presence of the common external variable and the multi-sector structure. No verification is given that the Hamiltonian satisfies the required convexity or differentiability hypotheses for the principle to hold in this setting.

    Authors: We acknowledge the need for explicit regularity checks. In the revision we will insert a short preparatory lemma that verifies the required conditions: (i) the Hamiltonian is jointly convex in the control and linear in the adjoint variables under the quadratic cost structure; (ii) the value function is C^{1,2} in the state and externality variables by standard parabolic regularity for the associated HJB equation with common noise; (iii) the adjoint processes remain square-integrable because the externality dynamics are linear with bounded coefficients. These verifications rely on the same parameter bounds already used for the contraction argument and will be stated before invoking the stochastic maximum principle. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the MFG equilibrium derivation

full rationale

The paper establishes existence and uniqueness of the strong MFG equilibrium by reformulating conditions as an FBSDE via the stochastic maximum principle followed by a contraction argument. This is a standard technique from the MFG literature and does not reduce the result to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. No ansatz smuggling, uniqueness imported from authors, or renaming of known results is present in the abstract or described chain. The derivation remains independent of the specific model functionals once the abstract FBSDE setting is accepted.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities beyond the generic mean-field-game setup; the model is said to build on classical growth theories but the concrete functional assumptions are not stated.

pith-pipeline@v0.9.0 · 5629 in / 1219 out tokens · 27028 ms · 2026-05-23T05:39:23.184247+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

38 extracted references · 38 canonical work pages

  1. [1]

    Abadi, A

    M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, S. Ghemawat, I. Goodfellow, A. Harp, G. Irving, M. Isard, Y. Jia, R. Jozefowicz, L. Kaiser, M. Kudlur, J. Levenberg, D. Mane, R. Monga, S. Moore, D. Mur- ray, C. Olah, M. Schuster, J. Shlens, B. Steiner, I. Sutskever, K. Talwar, P. Tucker, V. Van- ho...

    work page 2015

  2. [2]

    Achdou, G

    Y. Achdou, G. Carlier, Q. Petit, and D. Tonon. A mean field model for the interactions between firms on the markets of their inputs.Mathematics and Financial Economics, pages 1–35, 2023

    work page 2023

  3. [3]

    Achdou, J

    Y. Achdou, J. Han, J.-M. Lasry, P.-L. Lions, and B. Moll. Income and wealth distribution in macroeconomics: A continuous-time approach.The review of economic studies, 89(1):45– 86, 2022

    work page 2022

  4. [4]

    S. Ahuja. Wellposedness of mean field games with common noise under a weak monotonicity condition.SIAM Journal on Control and Optimization, 54(1):30–48, 2016

    work page 2016

  5. [5]

    A¨ ıd, S

    R. A¨ ıd, S. Federico, G. Ferrari, and N. Rodosthenous. Regulation in a mean-field investment game with climate damage. Technical report, Center for Mathematical Economics Working Papers, 2025

    work page 2025

  6. [6]

    Bertucci

    C. Bertucci. Monotone solutions for mean field games master equations: continuous state space and common noise.Communications in Partial Differential Equations, 48(10- 12):1245–1285, 2023

    work page 2023

  7. [7]

    Bertucci and C

    C. Bertucci and C. Meynard. Noise through an additional variable for mean field games master equation on finite state space.arXiv preprint arXiv:2402.05635, 2024

    work page arXiv 2024

  8. [8]

    Bertucci and C

    C. Bertucci and C. Meynard. A study of common noise in mean field games.arXiv preprint arXiv:2412.12741, 2024

    work page arXiv 2024

  9. [9]

    Bilal and J

    A. Bilal and J. H. Stock. Macroeconomics and climate change. 2025

    work page 2025

  10. [10]

    W. A. Brock and M. S. Taylor. The green solow model.Journal of Economic Growth, 15:127–153, 2010

    work page 2010

  11. [11]

    Cardaliaguet, F

    P. Cardaliaguet, F. Delarue, J.-M. Lasry, and P.-L. Lions.The master equation and the convergence problem in mean field games:(ams-201). Princeton University Press, 2019

    work page 2019

  12. [12]

    Cardaliaguet and S

    P. Cardaliaguet and S. Hadikhanloo. Learning in mean field games: the fictitious play. ESAIM: Control, Optimisation and Calculus of Variations, 23(2):569–591, 2017

    work page 2017

  13. [13]

    Cardaliaguet and C.-A

    P. Cardaliaguet and C.-A. Lehalle. Mean field game of controls and an application to trade crowding.Mathematics and Financial Economics, 12:335–363, 2018

    work page 2018

  14. [14]

    Carmona, F

    R. Carmona, F. Delarue, et al.Probabilistic theory of mean field games with applications I-II. Springer, 2018

    work page 2018

  15. [15]

    Carmona, F

    R. Carmona, F. Delarue, and D. Lacker. Mean field games with common noise.The Annals of Probability, 44(6):3740 – 3803, 2016

    work page 2016

  16. [16]

    Carmona and M

    R. Carmona and M. Lauri` ere. Convergence analysis of machine learning algorithms for the numerical solution of mean field control and games: Ii—the finite horizon case.The Annals of Applied Probability, 32(6):4065–4105, 2022

    work page 2022

  17. [17]

    Chan-Wai-Nam, J

    Q. Chan-Wai-Nam, J. Mikael, and X. Warin. Machine learning for semi linear pdes.Journal of scientific computing, 79(3):1667–1712, 2019. 33

    work page 2019

  18. [18]

    M. F. Djete. Large population games with interactions through controls and common noise: convergence results and equivalence between open-loop and closed-loop controls.ESAIM: Control, Optimisation and Calculus of Variations, 29:39, 2023

    work page 2023

  19. [19]

    Gangbo, A

    W. Gangbo, A. R. M´ esz´ aros, C. Mou, and J. Zhang. Mean field games master equations with nonseparable Hamiltonians and displacement monotonicity.The Annals of Probability, 50(6):2178 – 2217, 2022

    work page 2022

  20. [20]

    Gangbo and A

    W. Gangbo and A. R. M´ esz´ aros. Global well-posedness of master equations for deterministic displacement convex potential mean field games.Communications on Pure and Applied Mathematics, 75(12):2685–2801, 2022

    work page 2022

  21. [21]

    Germain, J

    M. Germain, J. Mikael, and X. Warin. Numerical resolution of mckean-vlasov fbsdes using neural networks.Methodology and Computing in Applied Probability, 24(4):2557–2586, 2022

    work page 2022

  22. [22]

    Gomes, L

    D. Gomes, L. Lafleche, and L. Nurbekyan. A mean-field game economic growth model. In 2016 American Control Conference (ACC), pages 4693–4698. IEEE, 2016

    work page 2016

  23. [23]

    G. Hardin. The tragedy of the commons: the population problem has no technical solution; it requires a fundamental extension in morality.science, 162(3859):1243–1248, 1968

    work page 1968

  24. [24]

    Huang, R

    M. Huang, R. P. Malham´ e, and P. E. Caines. Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle.Com- munications in Information & Systems, 6(3):221 – 252, 2006

    work page 2006

  25. [25]

    Kingma and J

    D. Kingma and J. Ba. Adam: A method for stochastic optimization.International Con- ference on Learning Representations, 2014

    work page 2014

  26. [26]

    Kobeissi, I

    Z. Kobeissi, I. Mazari-Fouquer, and D. Ruiz-Balet. The tragedy of the commons: A mean- field game approach to the reversal of travelling waves.Nonlinearity, 37(11):115010, 2024

    work page 2024

  27. [27]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions. Mean field games.Japanese journal of mathematics, 2(1):229– 260, 2007

    work page 2007

  28. [28]

    Lavigne and P

    P. Lavigne and P. Tankov. Decarbonization of financial markets: a mean-field game ap- proach.arXiv preprint arXiv:2301.09163, 2023

    work page arXiv 2023

  29. [29]

    A. R. M´ esz´ aros and C. Mou. Mean field games systems under displacement monotonicity. SIAM Journal on Mathematical Analysis, 56(1):529–553, 2024

    work page 2024

  30. [30]

    Pham.Continuous-time stochastic control and optimization with financial applications, volume 61

    H. Pham.Continuous-time stochastic control and optimization with financial applications, volume 61. Springer Science & Business Media, 2009

    work page 2009

  31. [31]

    G. D. Sarto, M. Leocata, and G. Livieri. A mean field game approach for pollution regu- lation of competitive firms, 2024

    work page 2024

  32. [32]

    Smulders, M

    S. Smulders, M. Toman, and C. Withagen. Growth theory and ‘green growth’.Oxford review of economic policy, 30(3):423–446, 2014

    work page 2014

  33. [33]

    Tahvonen and J

    O. Tahvonen and J. Kuuluvainen. Economic growth, pollution, and renewable resources. Journal of Environmental Economics and Management, 24(2):101–118, 1993

    work page 1993

  34. [34]

    Tangpi and S

    L. Tangpi and S. Wang. Mean field games with common noise via malliavin calculus, 2025

    work page 2025

  35. [35]

    H. Uzawa. On a two-sector model of economic growth.The Review of Economic Studies, 29(1):40–47, 1961

    work page 1961

  36. [36]

    J. Weyant. Some contributions of integrated assessment models of global climate change. Review of Environmental Economics and Policy, 2017

    work page 2017

  37. [37]

    Zhang.Backward stochastic differential equations

    J. Zhang.Backward stochastic differential equations. Springer, 2017

    work page 2017

  38. [38]

    Zhou and M

    M. Zhou and M. Huang. On a best response problem arising in mean field stochastic growth games with common noise.Asian Journal of Control, 2024. 34

    work page 2024