Aggiornare
Ho sottovalutato le espansioni di Taylor. Funzionano davvero. Ho ipotizzato che l'integrale del termine rimanente possa essere illimitato, ma con un po 'di lavoro si può dimostrare che non è così.
L'espansione di Taylor funziona per funzioni a intervallo chiuso limitato. Per le variabili casuali con varianza finita dà la disuguaglianza di Chebyshev
P(|X−EX|>c)≤Var(X)c
Quindi per qualsiasi ε>0 possiamo trovare abbastanza grande c modo che
P(X∈[EX−c,EX+c])=P(|X−EX|≤c)<1−ε
Prima di tutto stimiamo . Abbiamo
E f ( X ) = ∫ | x - E X | ≤ c f ( x ) d F ( x ) + ∫ | x - E X | > c f ( x ) d F ( x )
dove F ( x ) è la funzione di distribuzione perEf(X)
Ef(X)=∫|x−EX|≤cf(x)dF(x)+∫|x−EX|>cf(x)dF(x)
F(x) .
X
Poiché il dominio del primo integrale è intervallo che è intervallo chiuso limitato possiamo applicare l'espansione di Taylor:
f ( x ) = f ( E X ) + f ′ ( E X ) ( x - E X ) + f ″ ( E X )[EX−c,EX+c]
doveα∈[EX-c,EX+c], e l'uguaglianza vale per tuttix∈[EX-c,EX+c]. Ho preso solo 4 termini nell'espansione di Taylor, ma in generale possiamo prenderne quanti ne vogliamo, purché la funzionefsia abbastanza regolare.
f(x)=f(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2+f′′′(α)3(x−EX)3
α∈[EX−c,EX+c]x∈[EX−c,EX+c]f
Sostituendo questa formula alla precedente che otteniamo
Ef(X)=∫|x−EX|≤cf(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2dF(x)+∫|x−EX|≤cf′′′(α)3(x−EX)3dF(x)+∫|x−EX|>cf(x)dF(x)
Ef(X)=f(EX)+f′′(EX)2E(X−EX)2+R3
R3=f′′′(α)3E(X−EX)3++∫|x−EX|>c(f(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2+f(X))dF(x)
P(|X−EX|>c)E(X−EX)3fE(X−EX)3=0
f(x)Ef(x)
E(f(x)−Ef(x))2=(f′(EX))2Var(X)+T3
T3E(X−EX)kk = 4 , 5 , 6. Possiamo arrivare a questa formula anche usando solo l'espansione di Taylor del primo ordine, cioè usando solo il primo e il secondo derivato. Il termine di errore sarebbe simile.
Other way is to expand f2(x):
f2(x)=f2(EX)+2f(EX)f′(EX)(x−EX)+[(f′(EX))2+f(EX)f′′(EX)](X−EX)2+(f2(β))′′′3(X−EX)3
Similarly we get then
Ef2(x)=f2(EX)+[(f′(EX))2+f(EX)f′′(EX)]Var(X)+R~3
where
R~3 is similar to
R3.
The formula for variance then becomes
Var(f(X))=[f′(EX)]2Var(X)−[f′′(EX)]24Var2(X)+T~3
where
T~3 have only third moments and above.