Abstract:This paper concerns the characterization of a lower semicontinuous value function in terms of the unique generalized solution of the Hamilton Jacobi equation (HJE), for optimal control problems with end point and pathwise state constraints. There is an extensive literature on this topic, in the contexts both of finite and infinite horizon problems. A key step in establishing this link is to validate a certain 'interiority' property, specifically to show that an arbitrary state trajectory satisfying the state constraint can be approximated by an interior state trajectory. The step has traditionally been accomplished under the hypothesis that, at each point in the boundary of the state constraint set, there exist admissible velocities strictly pointing away from the boundary of the state constraint set. This is a significant restriction, since this 'strict sense' outward/inward pointing condition is violated by control of systems, typically encountered in mechanical control, where the control action affects the rate of change of the state, not directly, but through the intermediary of a dynamic system. A class of control systems has been recently identified that enjoy this interiority property, but for which the strict sense outward pointing condition is violated. These advances have been used to establish uniqueness of continuous viscosity solutions of the relevant Hamilton Jacobi equation for an infinite horizon formulation of the problem involving such systems. In this paper, we exploit this newly discovered property also to provide the desired characterization of the value function for finite horizon problems involving endpoint and pathwise state constraints, when the value function is possibly discontinuous and the traditional strict outward pointing condition is replaced by a softer, second order condition.

A level set approach for computing discontinuous solutions of Hamilton-Jacobi equations

A LEVEL SET METHOD FOR THE COMPUTATION OF MULTIVALUED SOLUTIONS TO QUASI-LINEAR HYPERBOLIC PDES AND HAMILTON-JACOBI EQUATIONS

A level set method for the computation of multivalued solutions to quasi-linera hyperbolic PDEs a

A level set method for the semiclassical limit of the Schrödinger equation with discontinuous potentials

Mathematical analysis of modified level-set equations

Discontinuous Galerkin Method for Level Set Equation on Unstructured Grids

Unbounded Hamilton-Jacobi-Bellman Equations with one co-dimensional discontinuities

Monotone discretizations of levelset convex geometric PDEs

A Multi-Level Discontinuous Galerkin Method for Solving the Stationary Navier–Stokes Equations

Discontinuous solutions to the hamilton jacobi equation under second order interiority hypotheses

Level Set Methods for Stochastic Discontinuity Detection in Nonlinear Problems

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

A New Discontinuous Galerkin Finite Element Method for Directly Solving the Hamilton-Jacobi Equations

Local-Structure-Preserving Discontinuous Galerkin Methods with Lax-Wendroff Type Time Discretizations for Hamilton-Jacobi Equations

Numerical approximation of discontinuous solutions of the semilinear wave equation

A High-Order Maximum-Principle-Satisfying Discontinuous Galerkin Method for the Level Set Problem

The existence of solutions of Hadamard fractional differential equations with integral and discrete boundary conditions on infinite interval

Local Discontinuous Galerkin Methods for Solving Convection-Diffusion and Cahn-Hilliard Equations on Surfaces

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

Finding Discontinuous Solutions to the Differential-Difference Equations by the Homotopy Analysis Method

Finite Difference Methods for Linear Transport Equations with Sobolev Velocity Fields