On initial value and terminal value problems for Hamilton-Jacobi equation

First order partial differential equations (PDE) are often the main tool to model problems in optimal control, differential games, image processing, physics, etc. Dependent upon the particular application, the boundary conditions are specified either at the initial time instant, leading to an initial value problem (IVP), or at the terminal time instant, leading to a terminal value problem (TVP). The IVP and TVP have in general different solutions. Thus introducing a new model in terms of a first order PDE one has to consider both possibilities of IVP and TVP, unless there is a direct physical indication. In this paper we also particularly answer the following question: how should the initial value at the initial surface and the terminal value at the terminal surface be coordinated in order to generate the same solution? One may expect that for a given initial value the consistent terminal value is the value of the IVP solution at the terminal surface. The second (time-varying) example in this paper shows that, generally, this is not true for non-smooth initial conditions. We discuss also the difference between the IVP and TVP formulations, the connection between the Hamiltonians arising in IVP and TVP. © 2007 Elsevier B.V. All rights reserved.

[1]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.

[2]  P. Lions,et al.  Hamilton-Jacobi equations with state constraints , 1990 .

[3]  Singular Characteristics of the HJBI Equation in State Constraint Optimal Control Problems , 2001 .

[4]  Hanno Rund,et al.  The Hamilton-Jacobi theory in the calculus of variations : its role in mathematics and physics , 1967 .

[5]  Naira Hovakimyan,et al.  Geometry of Pursuit-Evasion on Second Order Rotation Surfaces , 2000 .

[6]  A. Tannenbaum Three snippets of curve evolution theory in computer vision , 1996 .

[7]  Berthold K. P. Horn,et al.  Shape from shading , 1989 .

[8]  W. Fleming,et al.  Controlled Markov processes and viscosity solutions , 1992 .

[9]  P. Dupuis,et al.  An Optimal Control Formulation and Related Numerical Methods for a Problem in Shape Reconstruction , 1994 .

[10]  P. Lions,et al.  User’s guide to viscosity solutions of second order partial differential equations , 1992, math/9207212.

[11]  P. Varaiya,et al.  Differential games , 1971 .

[12]  Olivier D. Faugeras,et al.  Shape From Shading , 2006, Handbook of Mathematical Models in Computer Vision.

[13]  M. Giaquinta,et al.  Calculus of Variations I , 1995 .

[14]  Arik Melikyan,et al.  Generalized characteristics of first order PDEs , 1998 .

[15]  B. Brunt The calculus of variations , 2003 .

[16]  Stefan Hildebrandt,et al.  Calculus of Variations II , 2006 .

[17]  P. Lions,et al.  Shape-from-shading, viscosity solutions and edges , 1993 .

[18]  P. Lions Generalized Solutions of Hamilton-Jacobi Equations , 1982 .

[19]  C. W. Kilmister,et al.  THE HAMILTON-JACOBI THEORY IN THE CALCULUS OF VARIATIONS , 1967 .

[20]  Daniel N. Ostrov Viscosity Solutions and Convergence of Monotone Schemes for Synthetic Aperture Radar Shape-from-Shading Equations with Discontinuous Intensities , 1999, SIAM J. Appl. Math..

[21]  Vladimir Igorevich Arnold,et al.  Geometrical Methods in the Theory of Ordinary Differential Equations , 1983 .