Aktualizacja
Nie doceniłem rozszerzeń Taylora. Oni faktycznie działają. Zakładałem, że całka pozostałego terminu może być nieograniczona, ale przy odrobinie pracy można wykazać, że tak nie jest.
Rozszerzenie Taylora działa dla funkcji w ograniczonym zamkniętym przedziale. Dla zmiennych losowych o skończonej wariancji daje nierówność Czebyszewa
P(|X−EX|>c)≤Var(X)c
Tak więc dla każdego możemy znaleźć wystarczająco duże c , abyε>0c
P(X∈[EX−c,EX+c])=P(|X−EX|≤c)<1−ε
Najpierw oszacujmy . Mamy
E f ( X ) = ∫ | x - E X | ≤ c f ( x ) d F ( x ) + ∫ | x - E X | > c f ( x ) d F ( x )
gdzie F ( x ) jest funkcją rozkładu dlaEf(X)
Ef(X)=∫|x−EX|≤cf(x)dF(x)+∫|x−EX|>cf(x)dF(x)
F(x) .
X
Ponieważ domeną pierwszej całki jest przedział który jest ograniczonym przedziałem zamkniętym, możemy zastosować rozszerzenie Taylora:
f ( x ) = f ( E X ) + f ′ ( E X ) ( x - E X ) + f ″ ([EX−c,EX+c]
gdzieα∈[EX-c,EX+c], a równość obowiązuje dla wszystkichx∈[EX-c,EX+c]
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] . W rozszerzeniu Taylora wziąłem tylko 4 terminy, ale ogólnie możemy wziąć tyle, ile chcemy, pod warunkiem, że funkcja
jest wystarczająco płynna.
f
Zastępując tę formułę poprzednią otrzymujemy
Teraz możemy zwiększyć domenę integracji, aby uzyskać następującą formułę
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
gdzie
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
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
Ef2(x)=f2(EX)+[(f′(EX))2+f(EX)f′′(EX)]Var(X)+R~3
R~3R3
Var(f(X))=[f′(EX)]2Var(X)−[f′′(EX)]24Var2(X)+T~3
T~3