arXiv subjects

Paola Mannucci

Publications and source records attributed to Paola Mannucci.

At least 19 recordsLinked to original sources

arXiv2026

Constrained Mean Field Games with Grushin type dynamics

This paper is devoted to a class of finite horizon deterministic mean field games with Grushin type dynamics, state constraints and nonlocal coupling. First, we consider the optimal control problem that each agent aims to solve when the evolution of the population is given and we establish some properties as: the existence of an optimal trajectory for any starting point $(x,t)$, the closed graph property for the multivalued map which associates to each point $(x,t)$ the set of optimal trajectories starting from that point, endowed with a suitable notion of convergence, the continuity of the value function. The main issue to overcome is due to the local interplay at boundary points between the set of state constraints and the degenerate dynamics. To this end, we shall point out two different sets of assumptions which are both sufficient for these properties. Afterwards, we tackle the mean field games; taking advantage of the aforementioned properties, we prove the existence of a relaxed equilibrium (which describes the evolution of the game in terms of a probability on the set of admissible trajectories) and derive the existence of a mild solution (which is a couple formed by the value function for the generic player and a family of time dependent measures on the state).

math.OC↗

arXiv2024

The continuity equation in the Heisenberg-periodic case: a representation formula and an application to Mean Field Games

We provide a representation of the weak solution of the continuity equation on the Heisenberg group $\mathbb H^1$ with periodic data (the periodicity is suitably adapted to the group law). This solution is the push forward of a measure concentrated on the flux associated with the drift of the continuity equation. Furthermore, we shall use this interpretation for proving that weak solutions to first order Mean Field Games on $\mathbb H^1$ are also mild solutions.

math.AP↗

arXiv2023

First order Mean Field Games on networks

This paper is devoted to finite horizon deterministic mean field games in which the state space is a network. The agents control their velocity, and when they occupy a vertex, they can enter into any incident edge. The running and terminal costs are assumed to be continuous in each edge but not necessarily globally continuous on the network. A Lagrangian formulation is proposed and studied. It leads to relaxed equilibria consisting of probability measures on admissible trajectories. The existence of such relaxed equilibria is obtained. The proof requires the existence of optimal trajectories and a closed graph property for the map which associates to each point the set of optimal trajectories starting from that point. To any relaxed equilibrium corresponds a mild solution of the mean field game, i.e. a pair $(u,m)$ made of the value function $u$ of a related optimal control problem, and a family $m= (m(t))_t$ of probability measures on the network. Given $m$, the value function $u$ is characterized by a Hamilton-Jacobi problem on the network. Regularity properties of $u$ and a weak form of a Fokker-Planck equation satisfied by $m$ are investigated.

math.OC↗

arXiv2023

Semi-linear parabolic equations on homogeneous Lie groups arising from mean field games

The existence and the uniqueness of solutions to some semilinear parabolic equations on homogeneous Lie groups, namely, the Fokker-Planck equation and the Hamilton-Jacobi equation, are addressed. The anisotropic geometry of the state space plays a crucial role in our analysis and creates several issues that need to be overcome. Indeed, the ellipticity directions span, at any point, subspaces of dimension strictly less than the dimension of the state space. Finally, the above results are used to obtain the short-time existence of classical solutions to the mean field games system defined on an homogenous Lie group.

math.AP↗

arXiv2021

Non coercive unbounded first order Mean Field Games: the Heisenberg example

In this paper we study evolutive first order Mean Field Games in the Heisenberg group; each agent can move in the whole space but it has to follow "horizontal" trajectories which are given in terms of the vector fields generating the group and the kinetic part of the cost depends only on the horizontal velocity. The Hamiltonian is not coercive in the gradient term and the coefficients of the first order term in the continuity equation may have a quadratic growth at infinity. The main results of this paper are two: the former is to establish the existence of a weak solution to the Mean Field Game systems while the latter is to represent this solution following the Lagrangian formulation of the Mean Field Games. We also provide some generalizations to Heisenberg-type structures.

math.AP↗

arXiv2021

Deterministic mean field games with control on the acceleration and state constraints

We consider deterministic mean field games in which the agents control their acceleration and are constrained to remain in a domain of R n. We study relaxed equilibria in the Lagrangian setting; they are described by a probability measure on trajectories. The main results of the paper concern the existence of relaxed equilibria under suitable assumptions. The fact that the optimal trajectories of the related optimal control problem solved by the agents do not form a compact set brings a difficulty in the proof of existence. The proof also requires closed graph properties of the map which associates to initial conditions the set of optimal trajectories.

math.AP↗

arXiv2021

First order Mean Field Games in the Heisenberg group: periodic and non periodic case

In this paper we study evolutive first order Mean Field Games in the Heisenberg group~$\He^1$; each agent can move only along "horizontal" trajectories which are given in terms of the vector fields generating~$\He^1$ and the kinetic part of the cost depends only on the horizontal velocity. The Hamiltonian is not coercive in the gradient term and the coefficients of the first order term in the continuity equation may have a quadratic growth at infinity.The main results of this paper are two: the former is to establish the existence of a weak solution to the Mean Field Game system while the latter is to represent this solution following the Lagrangian formulation of the Mean Field Games.We shall tackle both the Heisenberg-periodic and the non periodic case following two different approaches. To get these results, we prove some properties which have their own interest: uniqueness results for a second order Fokker-Planck equation and a probabilistic representation of the solution to the continuity equation.\end{abstract}

math.AP↗

arXiv2020

Deterministic mean field games with control on the acceleration

In the present work, we study deterministic mean field games (MFGs) with finite time horizon in which the dynamics of a generic agent is controlled by the acceleration. They are described by a system of PDEs coupling a continuity equation for the density of the distribution of states (forward in time) and a Hamilton-Jacobi (HJ) equation for the optimal value of a representative agent (backward in time). The state variable is the pair $(x, v)\in R^N\times R^N$ where x stands for the position and v stands for the velocity. The dynamics is often referred to as the double integrator. In this case, the Hamiltonian of the system is neither strictly convex nor coercive, hence the available results on MFGs cannot be applied. Moreover, we will assume that the Hamiltonian is unbounded w.r.t. the velocity variable v. We prove the existence of a weak solution of the MFG system via a vanishing viscosity method and we characterize the distribution of states as the image of the initial distribution by the flow associated with the optimal control.

math.AP↗

arXiv2019

$Γ$- convergence and homogenisation for a class of degenerate functionals

This paper is on $Γ$-convergence for degenerate integral functionals related to homogenisation problems in the Heisenberg group. Here both the rescaling and the notion of invariance or periodicity are chosen in a way motivated by the geometry of the Heisenberg group. Without using special geometric features, these functionals would be neither coercive nor periodic, so classic results do not apply. All the results apply to the more general case of Carnot groups.

math.AP↗

arXiv2019

A note on non-coercive first order Mean Field Games with analytic data

We study first order evolutive Mean Field Games whose operators are non-coercive. This situation occurs, for instance, when some directions are `forbidden' to the generic player at some points. Under some regularity assumptions, we establish existence of a weak solution of the system. Mainly, we shall describe the evolution of the population's distribution as the push-forward of the initial distribution through a flow, suitably defined in terms of the underlying optimal control problem.

math.AP↗

arXiv2018

Non-coercive first order Mean Field Games

We study first order evolutive Mean Field Games where the Hamiltonian is non-coercive. This situation occurs, for instance, when some directions are "forbidden" to the generic player at some points. We establish the existence of a weak solution of the system via a vanishing viscosity method and, mainly, we prove that the evolution of the population's density is the push-forward of the initial density through the flow characterized almost everywhere by the optimal trajectories of the control problem underlying the Hamilton-Jacobi equation. As preliminary steps, we need that the optimal trajectories for the control problem are unique (at least for a.e. starting points) and that the optimal controls can be expressed in terms of the horizontal gradient of the value function.

math.AP↗

arXiv2018

Regularity of Nash payoffs of Markovian nonzero-sum stochastic differential games

In this paper we deal with the problem of existence of a smooth solution of the Hamilton-Jacobi-Bellman-Isaacs (HJBI for short) system of equations associated with nonzero-sum stochastic differential games. We consider the problem in unbounded domains either in the case of continuous generators or for discontinuous ones. In each case we show the existence of a smooth solution of the system. As a consequence, we show that the game has smooth Nash payoffs which are given by means of the solution of the HJBI system and the stochastic process which governs the dynamic of the controlled system.

math.AP↗

arXiv2018

Short time existence for a general backward-forward parabolic system arising from Mean-Field Games

We study the local in time existence of a regular solution of a nonlinear parabolic backward-forward system arising from the theory of Mean-Field Games (briefly MFG). The proof is based on a contraction argument in a suitable space that takes account of the peculiar structure of the system, which involves also a coupling at the final horizon. We apply the result to obtain existence to very general MFG models, including also congestion problems.

math.AP↗

arXiv2017

Stochastic homogenization for functionals with anisotropic rescaling and non-coercive Hamilton-Jacobi equations

We study the stochastic homogenization for a Cauchy problem for a first-order Hamilton-Jacobi equation whose operator is not coercive w.r.t. the gradient variable. We look at Hamiltonians like $H(x,σ(x)p,ω)$ where $σ(x)$ is a matrix associated to a Carnot group. The rescaling considered is consistent with the underlying Carnot group structure, thus anisotropic. We will prove that under suitable assumptions for the Hamiltonian, the solutions of the $\varepsilon$-problem converge to a deterministic function which can be characterized as the unique (viscosity) solution of a suitable deterministic Hamilton-Jacobi problem.

math.AP↗

arXiv2017

Singular perturbations for a subelliptic operator

We study some classes of singular perturbation problems where the dynamics of the fast variables evolve in the whole space obeying to an infinitesimal operator which is subelliptic and ergodic. We prove that the corresponding ergodic problem admits a solution which is globally Lipschitz continuous and it has at most a logarithmic growth at infinity. The main result of this paper establishes that as $ε\to 0$, the value functions of the singular perturbation problems converge locally uniformly to the solution of an effective problem whose operator and data are explicitly given in terms of the invariant measure for the ergodic operator.

math.AP↗

arXiv2017

Asymptotic behaviour for operators of Grushin type: invariant measure and singular perturbations

This paper concerns singular perturbation problems where the dynamics of the fast variable evolve in the whole space according to an operator whose infinitesimal generator is formed by a Grushin type second order part and a Ornstein-Uhlenbeck first order part. We prove that the dynamics of the fast variables admits an invariant measure and that the associated ergodic problem has a viscosity solution which is also regular and with logarithmic growth at infinity. These properties play a crucial role in the main theorem which establishes that the value functions of the starting perturbation problems converge to the solution of an effective problem whose operator and initial datum are given in terms of the associated invariant measure.

math.AP↗

arXiv2016

The ergodic problem for some subelliptic operators with unbounded coefficients

We study existence and uniqueness of the invariant measure for a stochastic process with degenerate diffusion, whose infinitesimal generator is a linear subelliptic operator in the whole space R N with coefficients that may be unbounded. Such a measure together with a Liouville-type theorem will play a crucial role in two applications: the ergodic problem studied through stationary problems with vanishing discount and the long time behavior of the solution to a parabolic Cauchy problem. In both cases, the constants will be characterized in terms of the invariant measure.

math.AP↗

arXiv2009

Comparison principles and Dirichlet problem for equations of Monge-Ampere type associated to vector fields

We study the Dirichlet problem for subelliptic partial differential equations of Monge-Ampere type involving the derivates with respect to a family X of vector fields of Carnot type. The main result is a comparison principle among viscosity subsolutions, convex with respect to X, and viscosity supersolutions (in a weaker sense than usual), which implies the uniqueness of solution to the Dirichlet problem. Its assumptions include the equation of prescribed horizontal Gauss curvature in Carnot groups. By Perron method we also prove the existence of a solution either under a growth condition of the nonlinearity with respect to the gradient of the solution, or assuming the existence of a subsolution attaining continuously the boundary data, therefore generalizing some classical result for Euclidean Monge-Ampere equations.

math.AP↗