SearcharxivSearch

arXiv subjects

Daniela Tonon

Publications and source records attributed to Daniela Tonon.

14 recordsLinked to original sources

On Viscosity Solutions of Hamilton-Jacobi Equations in the Wasserstein space and the Vanishing Viscosity Limit

The aim of this article is twofold. First, we develop a unified framework for viscosity solutions to both first-order Hamilton-Jacobi equations and semilinear Hamilton-Jacobi equations driven by the idiosyncratic operator, defined on the Wasserstein Space. Second, we establish a vanishing-viscosity limit-extending beyond the classical control-theoretic setting-for solutions of semilinear Hamilton-Jacobi equations, proving their convergence to the corresponding first-order solution as the idiosyncratic noise vanishes. Our approach provides an optimal convergence rate. We also present some results of independent interest. These include existence theorems for the first-order equation, obtained through an appropriate Hopf-Lax representation, and a useful description of the action of the idiosyncratic operator on geodesically convex functions.

math.AP

Hamilton--Jacobi equations for Wasserstein controlled gradient flows: existence of viscosity solutions

This work is the third part of a program initiated in arXiv:2111.13258, arXiv:2302.06571 aiming at the development of an intrinsic geometric well-posedness theory for Hamilton-Jacobi equations related to controlled gradient flow problems in metric spaces. In this paper, we finish our analysis in the context of Wasserstein gradient flows with underlying energy functional satisfying McCann's condition. More prescisely, we establish that the value function for a linearly controlled gradient flow problem whose running cost is quadratic in the control variable and just continuous in the state variable yields a viscosity solution to the Hamilton-Jacobi equation in terms of two operators introduced in our former works, acting as rigorous upper and lower bounds for the formal Hamiltonian at hand. The definition of these operators is directly inspired by the Evolutional Variational Inequality formulation of gradient flows (EVI): one of the main innovations of this work is to introduce a controlled version of EVI, which turns out to be crucial in establishing regularity properties, energy and metric bounds along optimzing sequences in the controlled gradient flow problem that defines the candidate solution.

math.AP

Hamilton--Jacobi equations for controlled gradient flows: cylindrical test functions

This work is the second part of a program initiated in arXiv:2111.13258 aiming at the development of an intrinsic geometric well-posedness theory for Hamilton-Jacobi equations related to controlled gradient flow problems in metric spaces. Our main contribution is that of showing that the comparison principle proven therein implies a comparison principle for viscosity solutions relative to smoother Hamiltonians, acting on test functions that are mere cylindrical functions of the underling squared metric distance and whose rigorous definition is achieved from the Evolutional Variational Inequality formulation of gradient flows (EVI). In particular, the new Hamiltonians no longer require to work with test functions containing Tataru's distance. This substantial simplification paves the way for the development of a comprehensive existence theory.

math.AP

A simple city equilibrium model with an application to teleworking

We propose a simple semi-discrete spatial model where rents, wages and the density of population in a city can be deduced from free-mobility and equilibrium conditions on the labour and residential housing markets. We prove existence and (under stronger assumptions) uniqueness of the equilibrium. We extend our model to the case where teleworking is introduced. We present numerical simulations which shed light on the effect of teleworking on the structure of the city at equilibrium.

math.OC

A mean field model for the interactions between firms on the markets of their inputs

We consider an economy made of competing firms which are heterogeneous in their capital and use several inputs for producing goods. Their consumption policy is fixed rationally by maximizing a utility and their capital cannot fall below a given threshold (state constraint). We aim at modeling the interactions between firms on the markets of the different inputs on the long term. The stationary equlibria are described by a system of coupled non-linear differential equations: a Hamilton-Jacobi equation describing the optimal control problem of a single atomistic firm; a continuity equation describing the distribution of the individual state variable (the capital) in the population of firms; the equilibria on the markets of the production factors. We prove the existence of equilibria under suitable assumptions.

math.AP

Hamilton--Jacobi equations for controlled gradient flows: the comparison principle

Motivated by recent developments in the fields of large deviations for interacting particle system and mean field control, we establish a comparison principle for the Hamilton--Jacobi equation corresponding to linearly controlled gradient flows of an energy function $\cE$ defined on a metric space $(E,d)$. Our analysis is based on a systematic use of the regularizing properties of gradient flows in evolutional variational inequality (EVI) formulation, that we exploit for constructing rigorous upper and lower bounds for the formal Hamiltonian at hand and, in combination with the use of the Tataru's distance, for establishing the key estimates needed to bound the difference of the Hamiltonians in the proof of the comparison principle. Our abstract results apply to a large class of examples only partially covered by the existing theory, including gradient flows on Hilbert spaces and the Wasserstein space equipped with a displacement convex energy functional $\cE$ satisfying McCann's condition.

math.AP

The planning problem in Mean Field Games as regularized mass transport

In this paper, using variational approaches, we investigate the first order planning problem arising in the theory of mean field games. We show the existence and uniqueness of weak solutions of the problem in the case of a large class of Hamiltonians with arbitrary superlinear order of growth at infinity and local coupling functions. We require the initial and final measures to be merely summable. At the same time (relying on the techniques developed recently by Graber and Mészáros), under stronger monotonicity and convexity conditions on the data, we obtain Sobolev estimates on the solutions of the planning problem both for space and time derivatives.

math.AP

Regularization estimates and Cauchy theory for inhomogeneous Boltzmann equation for hard potentials without cut-off

In this paper, we investigate the problems of Cauchy theory and exponential stability for the inhomogeneous Boltzmann equation without angular cut-off. We only deal with the physical case of hard potentials type interactions (with a moderate angular singularity). We prove a result of existence and uniqueness of solutions in a close-to-equilibrium regime for this equation in weighted Sobolev spaces with a polynomial weight, contrary to previous works on the subject, all developed with a weight prescribed by the equilibrium. It is the first result in this more physically relevant frameworkfor this equation. Moreover, we prove an exponential stability for such a solution, with a rate as close as we want to the optimal rate given by the semigroup decay of the linearized equation. Let us highlight the fact that a key point of the development of our Cauchy theory is the proof of new regularization estimates in short time for the linearized operator thanks to pseudo-differential tools.

math.AP

Time-dependent focusing Mean-Field Games: the sub-critical case

We consider time-dependent viscous Mean-Field Games systems in the case of local, decreasing and unbounded coupling. These systems arise in mean-field game theory, and describe Nash equilibria of games with a large number of agents aiming at aggregation. We prove the existence of weak solutions that are minimisers of an associated non-convex functional, by rephrasing the problem in a convex framework. Under additional assumptions involving the growth at infinity of the coupling, the Hamiltonian, and the space dimension, we show that such minimisers are indeed classical solutions by a blow-up argument and additional Sobolev regularity for the Fokker-Planck equation. We exhibit an example of non-uniqueness of solutions. Finally, by means of a contraction principle, we observe that classical solutions exist just by local regularity of the coupling if the time horizon is short.

math.AP

Sobolev regularity for the first order Hamilton-Jacobi equation

We provide Sobolev estimates for solutions of first order Hamilton-Jacobi equations with Hamiltonians which are superlinear in the gradient variable. We also show that the solutions are differentiable almost everywhere. The proof relies on an inverse Hölder inequality. Applications to mean field games are discussed.

math.AP

BV-regularity of the Boltzmann equation in Non-Convex Domains

Consider the Boltzmann equation in a general non-convex domain with the diffuse boundary condition. We establish optimal BV estimates for such solutions. Our method consists of a new $W^{1,1}-$trace estimate for the diffuse boundary condition and a delicate construction of and an $\varepsilon-$tubular neighborhood of the singular set.

math.AP

Second order mean field games with degenerate diffusion and local coupling

We analyze a (possibly degenerate) second order mean field games system of partial differential equations. The distinguishing features of the model considered are (1) that it is not uniformly parabolic, including the first order case as a possibility, and (2) the coupling is a local operator on the density. As a result we look for weak, not smooth, solutions. Our main result is the existence and uniqueness of suitably defined weak solutions, which are characterized as minimizers of two optimal control problems. We also show that such solutions are stable with respect to the data, so that in particular the degenerate case can be approximated by a uniformly parabolic (viscous) perturbation.

math.OC

Regularity of the Boltzmann Equation in Convex Domains

A basic question about regularity of Boltzmann solutions in the presence of physical boundary conditions has been open due to characteristic nature of the boundary as well as the non-local mixing of the collision operator. Consider the Boltzmann equation in a strictly convex domain with the specular, bounce-back and diffuse boundary condition. With the aid of a distance function toward the grazing set, we construct weighted classical $C^{1}$ solutions away from the grazing set for all boundary conditions. For the diffuse boundary condition, we construct $W^{1,p}$ solutions for $1< p<2$ and weighted $W^{1,p}$ solutions for $2\leq p\leq \infty $ as well. On the other hand, we show second derivatives do not exist up to the boundary in general by constructing counterexamples for all boundary conditions.

math.AP