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

Giovanni Conforti,Richard C. Kraaij,Luca Tamanini,Daniela Tonon

2024-02-01

Abstract:This work is the third part of a program initiated in

Analysis of PDEs,Probability

What problem does this paper attempt to address?

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

Giovanni Conforti,Richard C. Kraaij,Daniela Tonon

2024-01-15

Abstract:This work is the second part of a program initiated in <a class="link-https" data-arxiv-id="2111.13258" href="https://arxiv.org/abs/2111.13258">arXiv:2111.13258</a> 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.

Analysis of PDEs,Probability
Viscosity Solutions of Hamilton–Jacobi Equation in Spaces and Applications to Large Deviations

Nicola Gigli,Luca Tamanini,Dario Trevisan

DOI: https://doi.org/10.1007/s11118-024-10168-y

2024-10-10

Potential Analysis

Abstract:The aim of this paper is twofold. In the setting of metric measure spaces, we derive uniform gradient and Laplacian contraction estimates along solutions of the viscous approximation of the Hamilton–Jacobi equation. We use these estimates to prove that, as the viscosity tends to zero, solutions of this equation converge to the evolution driven by the Hopf–Lax formula, in accordance with the smooth case.

mathematics
Existence of viscosity solutions for Hamilton-Jacobi equations on Riemannian Manifolds via Lyapunov control

Serena Della Corte,Richard C. Kraaij

2024-07-17

Abstract:We give a new perspective on the existence of viscosity solutions for a stationary and a time-dependent first order Hamilton-Jacobi equation. Following recent comparison principles, we work in a framework in which we consider a subsolution and a supersolution for two equations in terms of two Hamiltonians that can be seen as an upper and lower bound of our original Hamiltonian respectively. The upper and lower bound are formulated in terms of a relaxed Lyapunov function which allows us to restrict part of the analysis to compact sets and to work with almost optimizers of the considered control problems. For this reason, we can relax assumptions on the control problem: most notably, we do not need completeness of set of controlled paths. Moreover, our strategy avoids a-priori analysis on the regularity of the candidate solutions. We then explore the context of Hamilton-Jacobi-Bellman and Hamilton-Jacobi-Isaacs equations to verify our assumptions in a convex and non-convex setting respectively.

Analysis of PDEs
Conformal variational discretisation of infinite dimensional Hamiltonian systems with gradient flow dissipation

Damiano Lombardi,Cecilia Pagliantini

2024-12-09

Abstract:Nonconservative evolution problems describe irreversible processes and dissipative effects in a broad variety of phenomena. Such problems are often characterised by a conservative part, which can be modelled as a Hamiltonian term, and a nonconservative part, in the form of gradient flow dissipation. Traditional numerical approximations of this class of problem typically fail to retain the separation into conservative and nonconservative parts hence leading to unphysical solutions. In this work we propose a mixed variational method that gives a semi-discrete problem with the same geometric structure as the infinite-dimensional problem. As a consequence the conservation laws and the dissipative terms are retained. A priori convergence estimates on the solution are established. Numerical tests of the Korteweg-de Vries equation and of the two-dimensional Navier-Stokes equations on the torus and on the sphere are presented to corroborate the theoretical findings.

Numerical Analysis
Analytical continuum mechanics à la Hamilton-Piola: least action principle for second gradient continua and capillary fluids

N. Auffray,F. dell'Isola,V. Eremeyev,A. Madeo,G. Rosi

DOI: https://doi.org/10.48550/arXiv.1305.6744

2013-07-16

Abstract:In this paper a stationary action principle is proven to hold for capillary fluids, i.e. fluids for which the deformation energy has the form suggested, starting from molecular arguments, for instance by Cahn and Hilliard. Remark that these fluids are sometimes also called Korteweg-de Vries or Cahn-Allen. In general continua whose deformation energy depend on the second gradient of placement are called second gradient (or Piola-Toupin or Mindlin or Green-Rivlin or Germain or second gradient) continua. In the present paper, a material description for second gradient continua is formulated. A Lagrangian action is introduced in both material and spatial description and the corresponding Euler-Lagrange bulk and boundary conditions are found. These conditions are formulated in terms of an objective deformation energy volume density in two cases: when this energy is assumed to depend on either C and grad C or on C^-1 and grad C^-1 ; where C is the Cauchy-Green deformation tensor. When particularized to energies which characterize fluid materials, the capillary fluid evolution conditions (see e.g. Casal or Seppecher for an alternative deduction based on thermodynamic arguments) are recovered. A version of Bernoulli law valid for capillary fluids is found and, in the Appendix B, useful kinematic formulas for the present variational formulation are proposed. Historical comments about Gabrio Piola's contribution to continuum analytical mechanics are also presented. In this context the reader is also referred to Capecchi and Ruta.

Classical Physics
Well-posedness of Hamilton-Jacobi equations in the Wasserstein space: non-convex Hamiltonians and common noise

Samuel Daudin,Joe Jackson,Benjamin Seeger

2023-12-05

Abstract:We establish the well-posedness of viscosity solutions for a class of semi-linear Hamilton-Jacobi equations set on the space of probability measures on the torus. In particular, we focus on equations with both common and idiosyncratic noise, and with Hamiltonians which are not necessarily convex in the momentum variable. Our main results show (i) existence, (ii) the comparison principle (and hence uniqueness), and (iii) the convergence of finite-dimensional approximations for such equations. Our proof strategy for the comparison principle is to first use a mix of existing techniques (especially a change of variables inspired by \cite{bayraktar2023} to deal with the common noise) to prove a ``partial comparison" result, i.e. a comparison principle which holds when either the subsolution or the supersolution is Lipschitz with respect to a certain very weak metric. Our main innovation is then to develop a strategy for removing this regularity assumption. In particular, we use some delicate estimates for a sequence of finite-dimensional PDEs to show that under certain conditions there \textit{exists} a viscosity solution which is Lipschitz with respect to the relevant weak metric. We then use this existence result together with a mollification procedure to establish a full comparison principle, i.e. a comparison principle which holds even when the subsolution under consideration is just upper semi-continuous (with respect to the weak topology) and the supersolution is just lower semi-continuous. We then apply these results to mean-field control problems with common noise and zero-sum games over the Wasserstein space.

Analysis of PDEs,Optimization and Control,Probability
Hamilton–Jacobi Equations with Their Hamiltonians Depending Lipschitz Continuously on the Unknown

Hitoshi Ishii,Kaizhi Wang,Lin Wang,Jun Yan

DOI: https://doi.org/10.1080/03605302.2021.1983598

2022-01-01

Communications in Partial Differential Equations

Abstract:Abstract We study the Hamilton–Jacobi equations in M and in where the Hamiltonian depends Lipschitz continuously on the variable u. In the framework of the semicontinuous viscosity solutions due to Barron–Jensen, we establish the comparison principle, existence theorem, and representation formula as value functions for extended real-valued, lower semicontinuous solutions for the Cauchy problem. We also establish some results on the long-time behavior of solutions for the Cauchy problem and classification of solutions for the stationary problem.
Continuum of coupled Wasserstein gradient flows

Clément Cancès,Daniel Matthes,Ismael Medina,Bernhard Schmitzer

2024-11-21

Abstract:We study a system of drift-diffusion PDEs for a potentially infinite number of incompressible phases, subject to a joint pointwise volume constraint. Our analysis is based on the interpretation as a collection of coupled Wasserstein gradient flows or, equivalently, as a gradient flow in the space of couplings under a `fibered' Wasserstein distance. We prove existence of weak solutions, long-time asymptotics, and stability with respect to the mass distribution of the phases, including the discrete to continuous limit. A key step is to establish convergence of the product of pressure gradient and density, jointly over the infinite number of phases. The underlying energy functional is the objective of entropy regularized optimal transport, which allows us to interpret the model as the relaxation of the classical Angenent-Haker-Tannenbaum (AHT) scheme to the entropic setting. However, in contrast to the AHT scheme's lack of convergence guarantees, the relaxed scheme is unconditionally convergent. We conclude with numerical illustrations of the main results.

Analysis of PDEs
Path-dependent Hamilton-Jacobi-Bellman equation: Uniqueness of Crandall-Lions viscosity solutions

Andrea Cosso,Fausto Gozzi,Mauro Rosestolato,Francesco Russo

2023-08-03

Abstract:We formulate a path-dependent stochastic optimal control problem under general conditions, for which weprove rigorously the dynamic programming principle and that the value function is the unique Crandall-Lions viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. Compared to the literature, the proof of our core result, that is the comparison theorem, is based on the fact that the valuefunction is bigger than any viscosity subsolution and smaller than any viscosity supersolution. It alsorelies on the approximation of the value function in terms of functions defined on finite-dimensionalspaces as well as on regularity results for parabolic partial differential equations.

Probability
Viscosity solutions of contact Hamilton-Jacobi equations without monotonicity assumptions

Kaizhi Wang,Jun Yan

2021-01-01

Abstract:This paper deals with: (1) the generalized additive eigenvalue problem \[ H(x,u(x),Du(x))=c, \quad x\in M, \] where the unknown is a pair $(c,u)$ of a constant $c \in \mathbb{R}$ and a function $u$ on $M$ for which $u$ is a backward weak KAM solution (or equivalently, viscosity solution) of the above equation; (2) the long-time behavior of viscosity solutions of the Cauchy problem for \[ w_{t}(x,t)+H(x, w(x,t), Dw(x,t))=c,\quad (x,t)\in M\times(0,+\infty). \] We assume $H=H(x,u,p)$ satisfies Tonelli conditions in the argument $p\in T^*_xM$ and the uniform Lipschitz condition in the argument $u\in\mathbb{R}$. First, we provide three necessary and sufficient conditions for the existence of backward weak KAM solutions of the stationary equation for a given $c\in \mathbb{R}$. Second, we analyse the structure of the set $\mathfrak{C}$ of all real numbers $c$'s for which the stationary equation admits backward weak KAM solutions. Third, the long-time behavior of viscosity solutions of the Cauchy problem for the evolutionary equation is studied. Implicit Lax-Oleinik semigroups $\{T^\pm_t\}_{t\geqslant 0}$ play an essential role in this paper. The most important novelty in this work is to reveal several new aspects of existence and long-time behavior of viscosity solutions of the above equations without monotonicity assumptions $\frac{\partial H}{\partial u}\geqslant 0$ (or, $\frac{\partial H}{\partial u}\leqslant 0$): the propeties of the operator $T^+_t\circ T^-_t$ is used to provide a necessary and sufficient condition for the existence of viscosity solutions of the stationary equation; three constants are introduced to analyse the structure of $\mathfrak{C}$; the information of $w$ in finite time partly determines the long-time behavior of $w$.
Hamilton’s Gradient Estimates and Liouville Theorems for Porous Medium Equations on Noncompact Riemannian Manifolds

Xiaobao Zhu

DOI: https://doi.org/10.1016/j.jmaa.2013.01.018

IF: 0.9709

2010-01-01

Proceedings of the American Mathematical Society

Abstract:Let M be a complete noncompact Riemannian manifold of dimension n. In this paper, we derive a local gradient estimate for positive solutions of porous medium equation ∂tu=Δuα,1<α<1+12n+1 on M×(−∞,0]. We also obtain a theorem of Liouville type for positive solutions of the porous medium equation.
Viscosity Solutions of a class of Second Order Hamilton-Jacobi-Bellman Equations in the Wasserstein Space

Hang Cheung,Ho Man Tai,Jinniao Qiu

2024-08-27

Abstract:This paper is devoted to solving a class of second order Hamilton-Jacobi-Bellman (HJB) equations in the Wasserstein space, associated with mean field control problems involving common noise. The well-posedness of viscosity solutions to the HJB equation under a new notion is established under general assumptions on the coefficients. Our approach adopts the smooth metric developed by Bayraktar, Ekren, and Zhang [Proc. Amer. Math. Soc. (2023)] as our gauge function for the purpose of smooth variational principle used in the proof of comparison theorem. Further estimates and regularity of the metric, including a novel second order derivative estimate with respect to the measure variable, are derived in order to ensure the uniqueness and existence.

Optimization and Control,Analysis of PDEs,Probability
Finite-time Convergence of Solutions of Hamilton-Jacobi Equations

Kaizhi Wang,Jun Yan,Kai Zhao

DOI: https://doi.org/10.1090/proc/15736

IF: 0.9709

2021-01-01

Proceedings of the American Mathematical Society

Abstract:Suppose that $H(x,u,p)$ is strictly decreasing in $u$ and satisfies Tonelli conditions in $p$. We show that each viscosity solution of $H(x,u,u_x)=0$ can be reached by many viscosity solutions of $$ w_t+H(x,w,w_x)=0, $$ in a finite time.
The nonconvex multidimensional Riemann problem for Hamilton–Jacobi equations

Martino Bardi, Stanley Osher

1991-03-01

Abstract:Simple inequalities are presented for the viscosity solution of a Hamilton–Jacobi equation in N space dimension when neither the initial data nor the Hamiltonian need be convex (or concave). The initial data are uniformly Lipschitz and can be written as the sum of a convex function in a group of variables and a concave function in the remaining variables, therefore including the nonconvex Riemann problem. The inequalities become equalities wherever a “maxmin” equals a “minmax” and thus a representation formula for this problem is then obtained, generalizing the classical Hopf s formulas.
Well-posedness of a Hamilton-Jacobi-Bellman equation in the strong coupling regime

Serena Della Corte,Richard C. Kraaij

2023-10-09

Abstract:We prove comparison principle for viscosity solutions of a Hamilton-Jacobi-Bellman equation in a strong coupling regime considering a stationary and a time-dependent version of the equation. We consider a Hamiltonian that has a representation as the supremum of a difference of two functions: an internal Hamiltonian depending on a control variable and a function interpreted as a cost of applying the controls. Our major innovation lies in the use of a cost function that can be discontinuous, unbounded and depending on momenta, enabling us to address previously unexplored scenarios such as cases arising from the theory of large deviations and homogenisation. For completeness, we also state the existence of viscosity solutions and we verify the assumptions for an example arising from biochemistry.

Analysis of PDEs
Viscosity solutions of Hamilton-Jacobi equation in $RCD(K,\infty)$ spaces and applications to large deviations

Nicola Gigli,Luca Tamanini,Dario Trevisan

2024-09-13

Abstract:The aim of this paper is twofold. - In the setting of RCD(K,$\infty$) metric measure spaces, we derive uniform gradient and Laplacian contraction estimates along solutions of the viscous approximation of the Hamilton--Jacobi equation. We use these estimates to prove that, as the viscosity tends to zero, solutions of this equation converge to the evolution driven by the Hopf--Lax formula, in accordance with the smooth case. - We then use such convergence to study the small-time Large Deviation Principle for both the heat kernel and the Brownian motion: we obtain the expected behavior under the additional assumption that the space is proper. As an application of the latter point, we also discuss the $\Gamma$-convergence of the Schrödinger problem to the quadratic optimal transport problem in proper RCD(K,$\infty$) spaces.

Probability,Metric Geometry
Vanishing viscosity solutions for conservation laws with regulated flux

Alberto Bressan,Graziano Guerra,Wen Shen

DOI: https://doi.org/10.1016/j.jde.2018.07.044

IF: 2.615

2019-01-01

Journal of Differential Equations

Abstract:In this paper we introduce a concept of “regulated function” v ( t , x ) of two variables, which reduces to the classical definition when v is independent of t. We then consider a scalar conservation law of the form u t + F ( v ( t , x ) , u ) x = 0 , where F is smooth and v is a regulated function, possibly discontinuous w.r.t. both t and x. By adding a small viscosity, one obtains a well posed parabolic equation. As the viscous term goes to zero, the uniqueness of the vanishing viscosity limit is proved, relying on comparison estimates for solutions to the corresponding Hamilton–Jacobi equation. As an application, we obtain the existence and uniqueness of solutions for a class of 2 × 2 triangular systems of conservation laws with hyperbolic degeneracy.

mathematics
Lower gradient estimates for viscosity solutions to first-order Hamilton--Jacobi equations depending on the unknown function

Kazuya Hirose

2024-07-05

Abstract:In this paper, we derive the lower bounds for the gradients of viscosity solutions to the Hamilton--Jacobi equation, where the convex Hamiltonian depends on the unknown function. We obtain gradient estimates using two different methods. First, we utilize the equivalence between viscosity solutions and Barron--Jensen solutions to study the properties of the inf-convolution. Second, we examine the Lie equation to understand how initial gradients propagate along its solutions.

Analysis of PDEs
Viscosity Solutions of Contact Hamilton-Jacobi Equations with Hamiltonians Depending Periodically on Unknown Functions

Panrui Ni,Kaizhi Wang,Jun Yan

DOI: https://doi.org/10.3934/cpaa.2023005

2023-01-01

Communications on Pure &amp Applied Analysis

Abstract:Assume H = H(x, p, u) with (x, p) is an element of T*M and u is an element of S, is smooth and satisfies Tonelli conditions in p, Lipschitz continuity condition in u, where M is a compact connected smooth manifold without boundary. We find a compact interval C such that equationH(x, partial differential xu(x), u(x)) = chas solutions if and only if c is an element of C. We also study the long-time behavior of the unique viscosity solution uc of partial differential tu(x, t) + H(x, partial differential xu(x, t), u(x, t)) = c, u(x, 0) = phi(x) is an element of C(M, R).If c is an element of C, uc is bounded by a constant independent of c and Lipschitz with respect to the argument x with a Lipschitz constant independent of c and phi. If c is an element of/ C, then the long-time average of uc can be characterized by a function c 7 -> rho(c) which admits a modulus of continuity. We obtain these results by analyzing properties of a kind of one-parameter semigroups of operators. All the aforementioned results show the fundamental difference between Hamilton Jacobi equations with Hamiltonians H(x, p, u) and over line H(x, p).
A viscosity solution approach to the infinite dimensional HJB related to boundary control problem in transport equation

Giorgio Fabbri

DOI: https://doi.org/10.48550/arXiv.math/0606115

2006-09-26

Abstract:The paper concerns the infinite dimensional Hamilton-Jacobi-Bellman equation related to optimal control problem regulated by a transport equation with boundary control. A suitable viscosity solution approach is needed in view of the presence of the unbounded control-related term in the Hilbertian state equation. An existence-and-uniqueness result is obtained.

Optimization and Control

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

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

Viscosity Solutions of Hamilton–Jacobi Equation in Spaces and Applications to Large Deviations

Existence of viscosity solutions for Hamilton-Jacobi equations on Riemannian Manifolds via Lyapunov control

Conformal variational discretisation of infinite dimensional Hamiltonian systems with gradient flow dissipation

Analytical continuum mechanics à la Hamilton-Piola: least action principle for second gradient continua and capillary fluids

Well-posedness of Hamilton-Jacobi equations in the Wasserstein space: non-convex Hamiltonians and common noise

Hamilton–Jacobi Equations with Their Hamiltonians Depending Lipschitz Continuously on the Unknown

Continuum of coupled Wasserstein gradient flows

Path-dependent Hamilton-Jacobi-Bellman equation: Uniqueness of Crandall-Lions viscosity solutions

Viscosity solutions of contact Hamilton-Jacobi equations without monotonicity assumptions

Hamilton’s Gradient Estimates and Liouville Theorems for Porous Medium Equations on Noncompact Riemannian Manifolds

Viscosity Solutions of a class of Second Order Hamilton-Jacobi-Bellman Equations in the Wasserstein Space

Finite-time Convergence of Solutions of Hamilton-Jacobi Equations

The nonconvex multidimensional Riemann problem for Hamilton–Jacobi equations

Well-posedness of a Hamilton-Jacobi-Bellman equation in the strong coupling regime

Viscosity solutions of Hamilton-Jacobi equation in $RCD(K,\infty)$ spaces and applications to large deviations

Vanishing viscosity solutions for conservation laws with regulated flux

Lower gradient estimates for viscosity solutions to first-order Hamilton--Jacobi equations depending on the unknown function

Viscosity Solutions of Contact Hamilton-Jacobi Equations with Hamiltonians Depending Periodically on Unknown Functions

A viscosity solution approach to the infinite dimensional HJB related to boundary control problem in transport equation