A First-Order Mean-Field Game on a Bounded Domain with Mixed Boundary Conditions

Abstract

Entry-exit dynamics are crucial in modeling crowd movement. Here, we present a novel first-order, stationary mean-field game model on a bounded domain that accurately captures these dynamics. The interior dynamics of the system are governed by a standard first-order stationary MFG system consisting of a Hamilton-Jacobi equation coupled with a transport equation. The model incorporates nonstandard mixed boundary conditions corresponding to an entry region $Γ_N$, where a Neumann condition prescribes agent inflow, and an exit region $Γ_D$, where a no-entry condition prevents inward flow. Additionally, we impose an upper bound on the exit cost through $Γ_D$, combined with a complementary contact-set condition. The contact-set condition distinguishes boundary contact points, where the exit cost is attained and exit is permitted, from non-contact points, where a strict no-penetration condition is enforced. This mixed approach overcomes the limitations of classical Dirichlet conditions, which can artificially force boundary points to serve as both entry and exit locations. We analyze the system through a variational formulation, applying the direct method of the calculus of variations to establish the existence of solutions under minimal regularity assumptions. Furthermore, we prove a partial uniqueness result for the gradient of the value function (particularly in regions with positive agent density) and establish the uniqueness of the density function. Several examples, including one- and two-dimensional cases, illustrate the proper assignment of entry and exit roles and demonstrate that contact does not necessarily enforce exit. Additionally, they showcase first-order MFG phenomena, such as the formation of empty regions, where agent density vanishes. These results provide a rigorous mathematical foundation for modeling realistic entry-exit scenarios.