State-Density Flows of Non-Degenerate Density-Dependent Mean Field SDEs and Associated PDEs
Ziyu Huang,Shanjian Tang
DOI: https://doi.org/10.1090/tran/8809
IF: 1.3529
2022-01-01
Transactions of the American Mathematical Society
Abstract:In this paper, we study a combined system of a Fokker-Planck (FP) equation for m t , μ m^{t,\mu } with initial ( t , μ ) ∈ [ 0 , T ] × L 2 ( R d ) (t,\mu )\in [0,T]\times L^2(\mathbb {R}^d) , and a stochastic differential equation for X t , x , μ X^{t,x,\mu } with initial ( t , x ) ∈ [ 0 , T ] × R d (t,x)\in [0,T]\times \mathbb {R}^d , whose coefficients depend on the solution of FP equation. We develop a combined probabilistic and analytical method to explore the regularity of the functional V ( t , x , μ ) = E [ Φ ( X T t , x , μ , m t , μ ( T , ⋅ ) ) ] V(t,x,\mu )=\mathbb {E}[\Phi (X^{t,x,\mu }_T,m^{t,\mu }(T,\cdot ))] . Our main result states that, under a non-degenerate condition and appropriate regularity assumptions on the coefficients, the function V V is the unique classical solution of a nonlocal partial differential equation of mean-field type. The proof depends heavily on the differential properties of the flow μ ↦ ( m t , μ , X t , x , μ ) \mu \mapsto (m^{t,\mu }, X^{t,x,\mu }) over μ ∈ L 2 ( R d ) \mu \in L^2(\mathbb {R}^d) . We also give an example to illustrate the role of our main result. Finally, we give a discussion on the L 1 L^1 choice case in the initial μ \mu .