Occupation time theorems for a class of one-dimensional diffusion processes (Q2568551)

Let \(m\) be a nonnegative, non-zero Radon measure on the line, \(X\) the Feller diffusion generated by \((d/dm)d/dx\), and \(A(t):=\int^t_0 \mathbf{1}_{[0,\infty)}(X(s))ds\), \(t\geq 0\). Let \(0<q<1\), and suppose there exists a continuous, strictly increasing function \(L(s)\), slowly varying at infinity, such that \((1/x)L(xm([0,x]))\to p\) and \((1/x)L(xm([-\infty,0)))\to 1-p\), as \(x\to \infty\). Then the finite-dimensional marginal of \(\{(1/\lambda)L(A(L^{-1}(\lambda)))\}_{t\geq 0}\) converges, as \(\lambda\to \infty\), to those of \(\{pM_+(\sigma_{t/p}\wedge \sigma_{-t/(1-p)})\}_{t\geq 0}\), where \(M_+(t):=\max_{0\leq s\leq t}B(s)\), \(B\) standard Brownian motion, and \(\sigma_x:=\inf\{t>0\mid B(t)=x\}\). A corresponding functional result is also proved.