5.4. Relação com ruído branco

Como já vimos, o conceito de processo do tipo ruído branco é delicado. Deve ser um processo estacionário com esperança nula, E[Xt]=0,\mathbb{E}[X_t] = 0, variância constante Var(Xt)=E[Xt2]=σ2\mathrm{Var}(X_t) = \mathbb{E}[X_t^2] = \sigma^2 e cuja covariância c(ts)=Cov(Xt,Xs)c(t-s) = \mathrm{Cov}(X_t, X_s) é uma delta de Dirac:

c(τ)=σ02δ0(τ). c(\tau) = \sigma_0^2\delta_0(\tau).

Assim, o seu espectro c^(ϖ)\hat c(\varpi) é, de fato, constante (usamos ϖ,\varpi, aqui, para denotar a frequência, já que ω\omega é usado como elemento do espaço amostral):

c^(ϖ)=12πc(τ)eiϖτ  dτ=12πσ02,ϖR. \hat c(\varpi) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty c(\tau) e^{-i\varpi \tau} \;\mathrm{d}\tau = \frac{1}{\sqrt{2\pi}}\sigma_0^2, \quad \forall \varpi \in \mathbb{R}.

Formalizar isso necessita de um espaço apropriado de distribuições. Não faremos os detalhes formais por aqui. O objetivo é apenas estabelecer conexões informais de que, em alguma sentido apropriado, a derivada de um processo de Wiener é um ruído branco.

Via representação

A primeira conexão pode ser obtida via representação de Paley-Wiener de um processo de Wiener, dada por

Wt=t2πZ0+22πn=1sin(12nt)nZn,0t2π. W_t = \frac{t}{\sqrt{2\pi}} Z_0 + \frac{2}{\sqrt{2\pi}}\sum_{n=1}^\infty \frac{\sin(\frac{1}{2}nt)}{n}Z_n, \qquad 0 \leq t \leq 2\pi.

Formalmente, derivando a série termo a termo, temos que a derivada temporal W˙t\dot W_t do processo se escreve como

W˙t=12πZ0+12πn=1sin(12nt)Zn,0t2π, \dot W_t = \frac{1}{\sqrt{2\pi}} Z_0 + \frac{1}{\sqrt{2\pi}}\sum_{n=1}^\infty \sin(\frac{1}{2}nt)Z_n, \qquad 0 \leq t \leq 2\pi,

de modo que os coeficientes de Fourier são constantes.

É claro que a série acima não converge em um sentido clássico. Mas serve como conexão com a ideia da derivada ser um ruído branco. De qualquer forma, um sentido mais preciso pode ser dado em um espaço apropriado de distribuições.

Limite de diferenças finitas de um processo de Wiener

A outra conexão pode ser vista mostrando-se que os processos obtidos via diferenças finitas de um processo de Wiener tem covariância convergindo para um delta de Dirac. Para isso, seguimos a derivação feita no Capítulo 3.8 de Higham & Kloeden (2021).

Vamos considerar as diferenças finitas {Dth}t0\{D^h_t\}_{t\geq 0} de um processo de Wiener {Wt}t0,\{W_t\}_{t\geq 0}, para cada h>0:h>0:

Dth=Wt+hWth. D^h_t = \frac{W_{t+h} - W_t}{h}.

Defina

ch(t,s)=E[DthDsh]=E[(Wt+hWth)(Ws+hWsh)]. c_h(t, s) = \mathbb{E}\left[ D^h_tD^h_s\right] = \mathbb{E}\left[ \left(\frac{W_{t+h} - W_t}{h} \right) \left(\frac{W_{s+h} - W_{s}}{h}\right)\right].

Expandindo, temos

ch(t,s)=1h2E[Wt+hWs+hWtWs+hWt+hWs+WtWs]. c_h(t, s) = \frac{1}{h^2}\mathbb{E}\left[ W_{t+h}W_{s+h} - W_tW_{s+h} - W_{t+h}W_{s} + W_tW_{s}\right].

Usando a expressão para a covariância de um processo de Wiener, obtemos

ch(t,s)=1h2(min{t+h,s+h}min{t,s+h}min{t+h,s}+min{t,s}). c_h(t, s) = \frac{1}{h^2}\left( \min\{t + h, s + h\} - \min\{t, s + h\} - \min\{t + h, s\} + \min\{t, s\}\right).

Observe que, se tsh,t \leq s - h, então

ch(t,s)=1h2((t+h)t(t+h)+t)=0. c_h(t, s) = \frac{1}{h^2}\left( (t + h) - t - (t + h) + t \right) = 0.

Se shts,s - h \leq t \leq s, então

ch(t,s)=1h2((t+h)ts+t)=t+hsh2, c_h(t, s) = \frac{1}{h^2}\left( (t + h) - t - s + t \right) = \frac{t + h - s}{h^2},

que é linearmente crescente, de 00 a 1/h.1/h. Se sts+h,s \leq t \leq s + h, então

ch(t,s)=1h2((s+h)ts+s)=h+sth2, c_h(t, s) = \frac{1}{h^2}\left( (s + h) - t - s + s \right) = \frac{h + s - t}{h^2},

que é linearmente decrescente, de 1/h1/h a 0.0. Por último, se ts+h,t \geq s + h, então

ch(t,s)=1h2((s+h)(s+h)s+s)=0. c_h(t, s) = \frac{1}{h^2}\left( (s + h) - (s + h) - s + s \right) = 0.

Assim,

ch(t,s)=1h2{0,tsh,t+hs,shts,h+sh,sts+h,0,ts+h. c_h(t, s) = \frac{1}{h^2}\begin{cases} 0, & t \leq s - h, \\ t + h - s, & s - h \leq t \leq s, \\ h + s - h, & s \leq t \leq s + h, \\ 0, & t \geq s + h. \end{cases}

Observe, ainda, que

Rch(t,s)  dt=1,sR. \int_\mathbb{R} c_h(t, s) \;\mathrm{d}t = 1, \qquad \forall s\in \mathbb{R}.

Ou seja, no limite, temos, de fato, uma delta de Dirac:

ch(,s)δs,h0. c_h(\cdot, s) \rightarrow \delta_s, \qquad h \rightarrow 0.

Last modified: December 04, 2024. Built with Franklin.jl, using the Book Template.