Transition functions, generators and resolvents Markov processes mathematics