Indranil Chowdhury,Espen R. Jakobsen,Miłosz Krupski
Abstract:In this paper we introduce a class of fully nonlinear mean field games posed in $[0,T]\times\mathbb{R}^d$. We justify that they are related to controlled local or nonlocal diffusions, and more generally in our setting, to a new control interpretation involving time change rates of stochastic (Lévy) processes. The main results are existence and uniqueness of solutions under general assumptions. These results are applied to strongly degenerate equations of order less than one - and non-degenerate equations - including both local second-order and nonlocal with fractional Laplacians. Uniqueness holds without strict monotonicity of couplings or strict convexity of Hamiltonians, and in the degenerate case, it relies on a new type of argument for (nonlocal) Fokker-Planck equations. We consider a rich class of nonlocal operators and processes and develop tools to work in the whole space without explicit moment assumptions.
What problem does this paper attempt to address?
This paper aims to solve a class of fully nonlinear parabolic mean - field game problems, which are defined on \([0, T] \times \mathbb{R}^d\). Specifically, the paper focuses on mean - field games associated with controlled local or non - local diffusion processes, and, more broadly, problems involving the time - change rate of stochastic (Lévy) processes in the new control interpretation framework. The main research objectives include:
1. **Existence and Uniqueness**: Prove the existence and uniqueness of solutions under general assumptions. These results are applicable to strongly degenerate equations (of order less than one) and non - degenerate equations, including local second - order equations and non - local fractional Laplace equations.
2. **Degenerate and Non - Degenerate Cases**: The paper not only considers the degenerate case but also discusses the non - degenerate case. For degenerate equations, uniqueness does not require the strict monotonicity of the coupling term or the strict convexity of the Hamiltonian, but depends on a new argument method, especially a new type of argument for (non - local) Fokker - Planck equations.
3. **Rich Non - local Operators and Processes**: The paper considers a wide class of non - local operators and processes and develops tools that work in the full space without explicit moment assumptions.
### Main Contributions
1. **New Models and Well - Posedness Results**: Introduce a new class of mean - field game models and prove their well - posedness under minimal assumptions.
2. **Stochastic Optimal Control Interpretation**: Provide a stochastic optimal control interpretation of the Hamilton - Jacobi - Bellman equation, especially in terms of the time - change rate, and give a semi - heuristic derivation of problem (1).
3. **Theory without Moment Assumptions**: Develop a mean - field game theory on \(\mathbb{R}^d\) that does not depend on moment assumptions.
4. **Uniqueness of Degenerate Non - local Fokker - Planck Equations**: Prove the uniqueness of degenerate non - local Fokker - Planck equations with non - Lipschitz coefficients, based on a new viscosity solution argument method.
5. **Existence and Stability of Fokker - Planck Equations**: Prove the existence and stability of Fokker - Planck equations under any Lévy operator and non - negative continuous coefficients, and use them to prove the existence of problem (1).
6. **Uniqueness without Strong Convexity and Strict Monotonicity**: Prove the uniqueness of problem (1) without assuming the strong convexity of \(F\) and the strict monotonicity of \(f, g\).
### Structure Overview
- **Section 2**: Introduce the assumptions, the concept of solutions, and summarize the main well - posedness results.
- **Section 3**: Derive the model in detail, starting from the time - change rate control problem of Lévy processes and gradually deriving the mean - field game system (1).
- **Section 4**: Contain background materials and new results required for the proof, such as compactness results and the approximation of Lévy operators.
- **Section 5** and **Section 7**: Discuss the results in the specific cases of the Hamilton - Jacobi - Bellman equation and the Fokker - Planck equation respectively.
- **Section 6**: Derive the existence and stability of solutions to the Fokker - Planck equation under general assumptions.
- **Section 8**: Prove the general existence and uniqueness results and can be read independently.
- **Section 9**: Provide the proofs required in the degenerate case.
Through these contributions, the paper has made important progress in the theory and application of mean - field games, especially in dealing with non - local and degenerate problems.