The following theorem provides a powerfull tool for the numerical analysis of time dependent problems. First we precise the framework
Theorem.
We assume that the function
is continuous and
bounded in
and holomorphic in the interior of
. We assume also that
Notice that this result would follow in a straightforward way from the
spectral theory if the operator
would be normal (in this case we
could even replace
by 1). The interest of this theorem is
that it coud be used for non normal operators as those which occur in
convection-diffusion problem. We prove this result and apply it to
stability and convergence analysis of time discretizations of parabolic
equations.