25.12.2012 Views

Dispense

Dispense

Dispense

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

182 CAPITOLO 3. PROCESSI STOCASTICI<br />

dove è tale che 0 < < 1, e come sempre<br />

1 (f) =<br />

S (f) f 2 1<br />

3.6.4 Il teorema di Wiener-Khinchin<br />

1 se 0 f<br />

0 altrimenti<br />

Il seguente teorema è è spesso enunciato senza ipotesi precise. Una delle ragioni è che si<br />

può dimostrare a diversi livelli di generalità, con diversi signi…cati dell’operazione di limite<br />

(si tratta di un limite di fuzioni). Daremo ora un enunciato rigoroso sotto ipotesi molto<br />

precise sulla fuzione di autocorrelazione R (n), dimostrando una convergenza piuttosto forte.<br />

L’ipotesi (un po’strana, ma soddisfatta in tutti i nostri esempi) è:<br />

X<br />

R (n) p < 1 per qualche p 2 (0; 1) : (3.7)<br />

n2N<br />

Osservazione 62 L’ipotesi precedente implica<br />

in quanto<br />

X<br />

jR (n)j < 1<br />

n2N<br />

X<br />

jR (n)j = X<br />

n2N<br />

n2N<br />

jR (n)j p 1 p<br />

jR (n)j<br />

sup jR (n)j<br />

n2N<br />

1 p X<br />

n2N<br />

jR (n)j p < 1<br />

(la successione è limitata essendo in…nitesima, come conseguenza del fatto che P<br />

n2N jR (n)jp <<br />

1 P<br />

1). Quindi, sotto tale ipotesi, sappiamo che p2<br />

n2Z e i!nR (n) converge uniformemente<br />

a S (!) per ! 2 [0; 2 ].<br />

Teorema 29 (Wiener-Khinchin) Se (X (n)) n2Z è un processo stazionario in senso lato<br />

che soddisfa l’ipotesi (3.7), allora<br />

S (!) = lim<br />

N!1<br />

1<br />

2N + 1 E b X2N (!) 2<br />

Il limite è uniforme in ! 2 [0; 2 ]. Qui X2N è il processo troncato X 1 [ N;N]. In particolare,<br />

se ne deduce che S (!) è reale non-negativa.<br />

Proof. Diamo prima l’idea euristica su cui è basata la dimostrazione. I dettagli verranno<br />

sviluppati nel seguito.<br />

:<br />

:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!