We study a second order Backward Differentiation Formula (BDF) scheme for the numerical approximation of linear parabolic equations and nonlinear Hamilton-Jacobi-Bellman (HJB) equations. The lack of monotonicity of the BDF scheme prevents the use ofwell-known convergence results for solutions in the viscosity sense. We first consider one-dimensional uniformly parabolic equations and prove stability with respect to perturbations, in the L-2 norm for linear and semi-linear equations, and in the H-1 norm for fully nonlinear equations of HJB and Isaacs type. These results are then extended to two-dimensional semi-linear equations and linear equations with possible degeneracy. From these stability results we deduce error estimates in L-2 norm for classical solutions to uniformly parabolic semi-linear HJB equations, with an order that depends on their Holder regularity, while full second order is recovered in the smooth case. Numerical tests for the Eikonal equation and a controlled diffusion equation illustrate the practical accuracy of the scheme in different norms.

Stability and convergence of second order backward differentiation schemes for parabolic Hamilton-Jacobi-Bellman equations

Picarelli, A
;
2021

Abstract

We study a second order Backward Differentiation Formula (BDF) scheme for the numerical approximation of linear parabolic equations and nonlinear Hamilton-Jacobi-Bellman (HJB) equations. The lack of monotonicity of the BDF scheme prevents the use ofwell-known convergence results for solutions in the viscosity sense. We first consider one-dimensional uniformly parabolic equations and prove stability with respect to perturbations, in the L-2 norm for linear and semi-linear equations, and in the H-1 norm for fully nonlinear equations of HJB and Isaacs type. These results are then extended to two-dimensional semi-linear equations and linear equations with possible degeneracy. From these stability results we deduce error estimates in L-2 norm for classical solutions to uniformly parabolic semi-linear HJB equations, with an order that depends on their Holder regularity, while full second order is recovered in the smooth case. Numerical tests for the Eikonal equation and a controlled diffusion equation illustrate the practical accuracy of the scheme in different norms.
Hamilton-Jacobi-Bellman equation, Finite difference methods, BDF schemes
File in questo prodotto:
File Dimensione Formato  
BDF_published.pdf

solo utenti autorizzati

Licenza: Accesso ristretto
Dimensione 755.42 kB
Formato Adobe PDF
755.42 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1077747
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact