-
The continuity equation in the Heisenberg-periodic case: a representation formula and an application to Mean Field Games
Authors:
Alessandra Cutrì,
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 firs…
▽ More
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.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Semi-linear parabolic equations on homogeneous Lie groups arising from mean field games
Authors:
Paola Mannucci,
Claudio Marchi,
Cristian Mendico
Abstract:
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 di…
▽ More
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.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
First order Mean Field Games on networks
Authors:
Yves Achdou,
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 lea…
▽ More
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.
△ Less
Submitted 20 November, 2023; v1 submitted 22 July, 2022;
originally announced July 2022.
-
Non coercive unbounded first order Mean Field Games: the Heisenberg example
Authors:
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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…
▽ More
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.
△ Less
Submitted 31 December, 2021;
originally announced December 2021.
-
Deterministic mean field games with control on the acceleration and state constraints
Authors:
Yves Achdou,
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
First order Mean Field Games in the Heisenberg group: periodic and non periodic case
Authors:
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 cont…
▽ More
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}
△ Less
Submitted 26 January, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Deterministic mean field games with control on the acceleration
Authors:
Yves Achdou,
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 July, 2020; v1 submitted 9 August, 2019;
originally announced August 2019.
-
$Γ$- convergence and homogenisation for a class of degenerate functionals
Authors:
Nicolas Dirr,
Federica Dragoni,
Paola Mannucci,
Claudio Marchi
Abstract:
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.…
▽ More
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.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Non-coercive first order Mean Field Games
Authors:
Paola Mannucci,
Claudio Marchi,
Carlo Mariconda,
Nicoletta Tchou
Abstract:
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 dens…
▽ More
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.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
Short time existence for a general backward-forward parabolic system arising from Mean-Field Games
Authors:
Marco Cirant,
Roberto Gianni,
Paola Mannucci
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 June, 2018;
originally announced June 2018.
-
A note on non-coercive first order Mean Field Games with analytic data
Authors:
Paola Mannucci,
Claudio Marchi,
Carlo Mariconda,
Nicoletta Tchou
Abstract:
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 distri…
▽ More
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.
△ Less
Submitted 12 March, 2019; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Regularity of Nash payoffs of Markovian nonzero-sum stochastic differential games
Authors:
Said Hamadene,
Paola Mannucci
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 23 October, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
Stochastic homogenization for functionals with anisotropic rescaling and non-coercive Hamilton-Jacobi equations
Authors:
Nicolas Dirr,
Federica Dragoni,
Paola Mannucci,
Claudio Marchi
Abstract:
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 as…
▽ More
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.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
-
Asymptotic behaviour for operators of Grushin type: invariant measure and singular perturbations
Authors:
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 soluti…
▽ More
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.
△ Less
Submitted 28 February, 2017;
originally announced February 2017.
-
Singular perturbations for a subelliptic operator
Authors:
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 3 March, 2017; v1 submitted 3 February, 2017;
originally announced February 2017.
-
The ergodic problem for some subelliptic operators with unbounded coefficients
Authors:
Paola Mannucci,
Claudio Marchi,
Nicoletta Tchou
Abstract:
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 v…
▽ More
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.
△ Less
Submitted 19 January, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Comparison principles and Dirichlet problem for equations of Monge-Ampere type associated to vector fields
Authors:
Martino Bardi,
Paola Mannucci
Abstract:
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 Dirichle…
▽ More
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.
△ Less
Submitted 22 December, 2009;
originally announced December 2009.
-
Comparison Principles for subelliptic equations of Monge-Ampere type
Authors:
Martino Bardi,
Paola Mannucci
Abstract:
We present two comparison principles for viscosity sub- and supersolutions of Monge-Ampere-type equations associated to a family of vector fields. In particular, we obtain the uniqueness of a viscosity solution to the Dirichlet problem for the equation of prescribed horizontal Gauss curvature in a Carnot group.
We present two comparison principles for viscosity sub- and supersolutions of Monge-Ampere-type equations associated to a family of vector fields. In particular, we obtain the uniqueness of a viscosity solution to the Dirichlet problem for the equation of prescribed horizontal Gauss curvature in a Carnot group.
△ Less
Submitted 11 February, 2008;
originally announced February 2008.
