Functional Analysis in Markov Processes