TY - JOUR

T1 - On some singular mean-field games

AU - Cirant, Marco

AU - Gomes, Diogo A.

AU - Pimentel, Edgard A.

AU - Sánchez-Morgado, Héctor

N1 - KAUST Repository Item: Exported on 2021-03-08

PY - 2021/3

Y1 - 2021/3

N2 - Here, we prove the existence of smooth solutions for mean-field games with a singular mean-field coupling; that is, a coupling in the Hamilton-Jacobi equation of the form g(m)=−m−α with α>0. We consider stationary and time-dependent settings. The function g is monotone, but it is not bounded from below. With the exception of the logarithmic coupling, this is the first time that MFGs whose coupling is not bounded from below is examined in the literature. This coupling arises in models where agents have a strong preference for low-density regions. Paradoxically, this causes the agents move towards low-density regions and, thus, prevents the creation of those regions. To prove the existence of solutions, we consider an approximate problem for which the existence of smooth solutions is known. Then, we prove new a priori bounds for the solutions that show that 1m is bounded. Finally, using a limiting argument, we obtain the existence of solutions. The proof in the stationary case relies on a blow-up argument and in the time-dependent case on new bounds for m−1.

AB - Here, we prove the existence of smooth solutions for mean-field games with a singular mean-field coupling; that is, a coupling in the Hamilton-Jacobi equation of the form g(m)=−m−α with α>0. We consider stationary and time-dependent settings. The function g is monotone, but it is not bounded from below. With the exception of the logarithmic coupling, this is the first time that MFGs whose coupling is not bounded from below is examined in the literature. This coupling arises in models where agents have a strong preference for low-density regions. Paradoxically, this causes the agents move towards low-density regions and, thus, prevents the creation of those regions. To prove the existence of solutions, we consider an approximate problem for which the existence of smooth solutions is known. Then, we prove new a priori bounds for the solutions that show that 1m is bounded. Finally, using a limiting argument, we obtain the existence of solutions. The proof in the stationary case relies on a blow-up argument and in the time-dependent case on new bounds for m−1.

UR - http://hdl.handle.net/10754/667911

UR - https://www.aimsciences.org/article/doi/10.3934/jdg.2021006

U2 - 10.3934/jdg.2021006

DO - 10.3934/jdg.2021006

M3 - Article

SN - 2164-6074

JO - Journal of Dynamics & Games

JF - Journal of Dynamics & Games

ER -