Viscosity Solutions

  • Bernt ØksendalEmail author
  • Agnès Sulem
Part of the Universitext book series (UTX)


The main results of Chaps.  3 9 and  11 and are all verification theorems. Any function \(\phi \) which satisfies the given requirements is necessarily the value function \(\varPhi \) of the corresponding problem. These requirements are made as weak as possible in order to include as many cases as possible. For example, except for the singular control case, we do not require the function \(\phi \) to be \(C^2\) everywhere (only outside \(\partial D\)), because except for that case, \(\varPhi \) will usually not be \(C^2\) everywhere. On the other hand, all the above-mentioned verification theorems require \(\phi \) to be \(C^1\) everywhere, because this is often the case for \(\varPhi \). This \(C^1\) assumption on \(\varPhi \) is usually called the “high contact” – or “smooth fit” – principle.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of OsloOsloNorway
  2. 2.Inria Research Center of ParisParisFrance

Personalised recommendations