On the integral of diffusion process on an interval with unattainable edges boundaries: semi-Markov approach

A one-dimension semi-Markov process of diffusion type is considered. A range of values of this process is an open finite interval. It is supposed to have unattainable edges. An integral of this process as a function of time is studied. The invariance principle for this integral is proved.