Stav dette: Functional analysis in markov processes;