Necessary and sufficient conditions for the -excessive local martingales to be martingales
We consider the decreasing and the increasing -excessive functions and that are associated with a one-dimensional conservative regular continuous strong Markov process with values in an interval with endpoints . We prove that the -excessive local martingale resp., is a strict local martingale if the boundary point (resp., ) is inaccessible and entrance, and a martingale otherwise.