Stav dette: Functional analysis in Markov processes: