We consider the following Itô-Integral $$Z_t := \int_0^t \exp(-\mu s) W_s ds$$ for $\mu\geq0$. I wonder if I could calculate the limit as $t\to\infty$ in some convergence, but how should I start? Some ideas?
Edit: Is it possible to get convergence almost surely to some random variable? Or in $L^2$?
Apply Ito's lemma to $-\frac{1}{\mu}\exp(-\mu t)W_t$. You get
$$d\left(-\frac{1}{\mu}\exp(-\mu s)W_s\right)=-\frac{1}{\mu}\exp(-\mu s)dW_t+\exp(-\mu t)W_sds$$
Taking integrals and setting $W_0=0$
$$-\frac{1}{\mu}\exp(-\mu t)W_t=\int_0^t-\frac{1}{\mu}\exp(-\mu t)dW_s+\int_0^t\exp(-\mu s)W_sds$$
Rearranging
$$\int_0^t\exp(-\mu s)W_sds=\int_0^t\frac{1}{\mu}\exp(-\mu s)dW_s-\frac{1}{\mu}\exp(-\mu t)W_t$$
The 2nd expression converges to zero a.s. because $W_t/t$ tends to zero a.s.. The 1st term is a normal random variable with mean 0 and variance $\int_0^t \frac{1}{\mu^2}\exp(-2\mu s)ds$, which converges to $\frac{1}{2\mu^3}$. Hence $\int_0^t\exp(-\mu s)W_sds$ converges a.s. to $\int_0^t\frac{1}{\mu}\exp(-\mu s)dW_s$. It also converges in distribution to a $N(0,\frac{1}{2\mu^3})$ random variable.