Francesco Compagno
Esercizio: calcolare la densit` a della misura di probabilit` a condizionata associata a due variabili casuali X t e X s provenienti da un processo gaussiano di media m(·) e funzione di covarianza a(·, ·).
Soluzione: per il teorema di Radon-Nikodym, per ogni I, J coppia di boreliani, esiste una funzione misurabile p(·, I) tale che:
P(X s ∈ J, X t ∈ I) = Z
J
p(x, I)µ X
s(dx) :=
Z
J
p(x, I)dµ X
s(x)
Siccome p(·, I) dipende anche da s e da t, scriveremo p(·, I) = p(s, ·; t, I). Per definizione:
P(X t ∈ I | X s = x) = p(s, x; t, I)
quindi dobbiamo trovare la funzione p(s, ·; t, I). Per definizione di processo Gaussiano abbiamo che il vettore (X t , X s ) ha densit` a congiunta
f (x, y) := 1
2π p|A| exp(− 1
2 (x − m(s), y − m(t))A −1 (x − m(s), y − m(t)) t ) ove A ` e la matrice 2 × 2 che ha come elementi a(i, j) per i, j = s, t. Allora otteniamo:
P(X t ∈ J, X s ∈ I) = Z
J ×I
f (x, y)dxdy = Z
J
Z
I
f (x, y)dy
dx
= Z
J
Z
I
f (x, y) f 1 (x) dy
f 1 (x)dx
= Z
J
Z
I
f (x, y) f 1 (x) dy
µ X
s(dx)
ove f 1 ` e la densit` a di X s , ovvero
f 1 (x) = Z
R
f (x, y)dy Per l’unicit` a della derivata di Radon-Nikodym quindi
p(s, x; t, I) = Z
I
f (x, y)
f 1 (x) dy =⇒ p(s, x; t, dy) = f (x, y) f 1 (x) dy
L’ultima espressione ` e proprio ci` o che dobbiamo calcolare. Pertanto dobbiamo innanzitutto risolvere l’integrale che definisce f 1 (x). Per farlo scriviamo per semplicit` a m t = m(t), m s = m(s), a st = a(s, t). Inoltre valgono:
a ss a st a st a tt
= |A| −1 a tt −a st
−a st a ss
e
(x−m s , y−m t )A −1 (x−m s , y−m t ) t = |A| −1 a ss ((y−m t )− a st
a ss (x−m s )) 2 +|A| −1 (a tt − a 2 st
a ss (x−m s )) 2
perci` o f 1 (x) =
Z
R
f (x, y)dy = Z
R 1 2π √
|A| exp(− 1
2 (x − m(s), y − m(t))A −1 (x − m(s), y − m(t)) t )dy
= 1
2π p|A|
Z
R
exp(− 1 2 |A| −1 a ss ((y − m t ) − a st a ss
(x − m s )) 2 − 1 2 |A| −1 (a tt − a 2 st a ss
(x − m s )) 2 )dy
= 1
2π p|A| exp(− 1 2 |A| −1 (a tt − a 2 st
a ss (x − m s )) 2 ) Z
R
exp(− 1 2 |A| −1 a ss (y − (m t + a st
a ss (x − m s ))) 2 dy
= 1
2π p|A| exp(− 1 2 |A| −1 (a tt − a 2 st
a ss (x − m s )) 2 ) Z
R
exp(− 1 2 |A| −1 a ss y 2 )dy
= 1
√ 2πa ss exp(− 1 2 |A| −1 (a tt − a 2 st
a ss (x − m s )) 2 ) Z
R
√ 1
2π|A|a
−1ssexp(− 1 2 |A| −1 a ss y 2 )dy
= 1
√ 2πa ss exp(− 1 2 |A| −1 (a tt − a 2 st
a ss (x − m s )) 2 ) quindi
f (x, y) f 1 (x) =
1 2π √
|A| exp(− 1 2 |A| −1 a ss ((y − m t ) − a a
stss
(x − m s )) 2 − 1 2 |A| −1 (a tt − a a
2stss
(x − m s )) 2 )
√ 1
2πa
ssexp(− 1 2 |A| −1 (a tt − a a
2stss
(x − m s )) 2 )
= 1
p2π|A|a −1 ss exp(− 1
2|A|a −1 ss (y − (m t + a st
a ss (x − m s ))) 2 )
= 1
√
2πσ 2 exp(− 1
2σ 2 (y − µ) 2 ) dove abbiamo definito
σ 2 = σ 2 (s, t) = |A|a −1 ss e µ = µ(s, t) = m t + a a
stss
(x − m s ) Esercizio: usare l’esercizio precedente per calcolare l’integrale
Z
R
P(X t ∈ dy | X r = z)P(X r ∈ dz | X s = x), con s < r < t
Soluzione:dall’esercizio precedente, se chiamiamo σ 1 2 = σ 2 (s, r), σ 2 2 = σ 2 (r, t), µ 1 = µ(s, r), µ 2 = µ(r, t), abbiamo:
µ 1 = m r + a sr
a ss (x − m s ) σ 1 2 = a ss a rr − a 2 sr a ss µ 2 = m t + a rt
a rr
(z − m r ) σ 2 2 = a rr a tt − a 2 rt
a rr
Z
R
P(X t ∈ dy | X r = z)P(X r ∈ dz | X s = x)
= Z
R
1
p2πσ 2 2 exp(− 1
2σ 2 2 (y − µ 2 ) 2 ) 1
p2πσ 1 2 exp(− 1
2σ 1 2 (z − µ 1 ) 2 )
= Z
R
1
p2πσ 2 2 exp(− 1
2σ 2 2 (y − µ 2 ) 2 ) 1
p2πσ 1 2 exp(− 1
2σ 1 2 (z − µ 1 ) 2 )
= 1
2π pσ 1 2 σ 2 2 Z
R
exp(− 1
2σ 1 2 σ 2 2 (σ 1 2 (y − µ 2 ) 2 + σ 2 2 (z − µ 1 ) 2 ))
= 1
2π pσ 1 2 σ 2 2 Z
R
exp(− 1
2σ 1 2 σ 2 2 (σ 1 2 (y − µ 2 ) 2 + σ 2 2 (z − µ 1 ) 2 ))
= 1
2π pσ 1 2 σ 2 2 Z
R
exp(− 1
2σ 1 2 σ 2 2 (σ 1 2 (y − m t − a rt
a rr (z − m r )) 2 + σ 2 2 (z − µ 1 ) 2 ))
= 1
2π pσ 1 2 σ 2 2 Z
R
exp(− 1
2σ 1 2 σ 2 2 (σ 1 2 (y − m t − a rt
a rr (z + µ 1 − m r )) 2 + σ 2 2 z 2 ))
ora, espandendo l’esponente dell’esponenziale:
σ 2 1 (y − m t − a rt
a rr (z + µ 1 − m r )) 2 + σ 2 2 z 2 = σ 2 1 (y − a rt
a rr z − (m t + a rt a sr
a ss a rr (x − m s ))) 2 + σ 2 2 z 2 ora (siccome abbiamo sbirciato la soluzione) poniamo:
µ = m t + a rt a sr
a ss a rr (x − m s ) allora l’esponente diventa
σ 1 2 (y − a rt
a rr z − µ) 2 + σ 2 2 z 2 = σ 1 2 (y − µ) 2 − 2σ 2 1 (y − µ) a rt
a rr z + (σ 1 2 a 2 rt
a 2 rr + σ 2 2 )z 2
ora poniamo
σ 2 = (σ 2 1 a 2 rt
a 2 rr + σ 2 2 ) = a tt − a 2 rt a 2 sr a 2 rr a ss
dove ` e facile verificare che vale l’ultima uguaglianza. Allora l’esponente diventa, dopo aver completato il quadrato rispetto alla variabile z:
σ 2 (z − qualcosa) 2 + σ 2 1 (y − µ) 2 − (σ 1 2 (y − µ) a a
rtrr
) 2 σ 2 perci` o l’integrale risulta:
√ 1
2πσ 2 exp(− 1
2σ 1 2 σ 2 2 (σ 1 2 (y − µ) 2 − (σ 2 1 (y − µ) a a
rtrr