Consider the stochastic differential equation on $\mathbb R$


$$
dx\_t = f(x\_t) dt + g(\omega t)\, dW\_t
$$


with $W\_t$ a standard Brownian motion, $f:\mathbb R \to \mathbb R$ a smooth function, and $g:\mathbb R\to \mathbb R$ a 1-periodic function. Let $c^2 := \int\_0^1 g^2(s)ds$ be the square of the average of $g$. I would like to show that the solutions to the SDE above converge in a probabilistic sense to the solution of 
$$
dy\_t = f(y\_t) dt + c\, dW\_t
$$
over each finite interval of time $[0,T]$ in the limit $\omega \to \infty$. In other words, I would like to show that if the diffusion coefficient oscillates very rapidly, then it can essentially be replaced with its root mean square.


This must somehow follow from Levi's theorem, but it is not clear to me how. I guess this is a classical exercice, but I fail to find it anywhere... Any proof or reference would be much appreciated. 



Ito diffusion with highly oscillatory diffusion coefficient
This is true, but the limiting process is driven by a Brownian motion $B$ which is different from $W$. To prove this, use first the Dambis-Dubins-Schwarz representation of a continuous martingale (see the book by Revuz & Yor for example) to see that $A\_\omega(\cdot) = \int\_0^\cdot g(\omega t)\,dW$ is a time-change of a Brownian motion $B$. The time change in question is given by the integral of $g^2(\omega t)$, which converges to $c^2t$ so that, by Hölder continuity of $B$, $A\_\omega$ converges weakly in the space of continuous functions as $\omega \to \infty$ to some Wiener process $B$. The proof is concluded by observing that the map that maps $A$ to the solution to the integral equation
$$
y\_t = y\_0 + \int\_0^t f(y\_s)\,ds + A(t)
$$
is continuous in the topology of continuous functions. 


The usual caveats apply, i.e. $f$ needs to be either globally Lipschitz or at least have enough dissipativity, otherwise convergence only holds up to a possible blow-up time. (And the proof gets slightly more technical.) As a bonus exercise, show that the pair $(W,A)$ converges jointly to two Brownian motions $(W,B)$ with a non-trivial covariance matrix and compute that covariance...


