  A resolvent formula, originally presented by Karner in his habilitation, is
discussed. First the formula is considered abstractly and then it is
demonstrated on an explicit example -- the so called simplified Fermi
accelerator.
