Güncelleştirme
Taylor açılımlarını küçümsedim. Aslında çalışıyorlar. Kalan terimin integralinin sınırsız olabileceğini varsaydım, ancak küçük bir çalışma ile bunun böyle olmadığı gösterilebilir.
Taylor genişlemesi sınırlı kapalı aralıktaki fonksiyonlar için çalışır. Sonlu varyanslı rasgele değişkenler için Chebyshev eşitsizliği verir
P( | X- EX| >c)≤ Vbir r ( X)c
Yani herhangi bir yeterince büyük bulabiliriz .Cε > 0c
P( X∈ [ EX- c , EX+ c ] ) = P( | X- EX| ≤c)<1-ε
İlk önce tahmin edelim . Biz var
burada , için dağılım işlevidir .E f ( X ) = ∫ | x - E X | ≤ C f ( x ) D F ( x ) + ∫ | x - E X | > c f ( x ) d F ( x ) F ( x ) XEf( X)
Ef( X) = ∫| x-EX| ≤cf( x ) dF( x ) + ∫| x-EX| >cf( x ) dF( x )
F( x )X
Birinci integralin alanı , sınırlı kapalı aralıkla sınırlı aralığı olduğundan, Taylor genişletmesini uygulayabiliriz:
burada ve eşitlik tüm öğelerini tutar . Taylor genişlemesinde sadece 4 terim aldım, ancak genel olarak işlevi yeterince yumuşak olduğu sürece istediğimiz kadar alabiliriz.f ( x ) = f ( E X ) + f ′ ( E X ) ( x - E X ) + f ″ ( E X )[ EX- c , EX+ c ]α∈[EX-c,EX+c]x∈[EX-c,EX+c]f
f( x ) = f( EX) +f'(EX) ( x -EX) + f''( EX)2( x - EX)2+ f''( a )3( x - EX)3
a ∈ [ EX- c , EX+ c ]x ∈ [ EX- c , EX+ c ]f
Bu formülü bir önceki ile değiştiriyoruz.
Ef(X)= ∫| x - EX| ≤cf(EX) + f'(EX) ( x -EX) + f''(EX)2( x -EX)2dF( x )+ ∫| x- EX| ≤cf''( a )3( x -EX)3dF( x ) + ∫| x- EX| >cf( x )dF( x )
Şimdi aşağıdaki formülü elde etmek için entegrasyonun alanını artırabiliriz
Ef( X)= f( EX) + f''( EX)2E( X- EX)2+ R3
burada
Şimdi, bazı moment koşulları altında, bu kalan terimin ikinci teriminin küçük olan kadar büyük olduğunu gösterebiliriz . Maalesef birinci terim kalıyor ve bu nedenle yaklaşıklık kalitesi ve üçüncü türevinin sınırlı aralıklarla davranışına bağlı. Bu yaklaşım, olan rastgele değişkenler için en iyi sonucu vermelidir .
R,3= f''( a )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
Şimdi varyans için için Taylor yaklaşımını kullanabilir , için formülü çıkarabilir ve farkı kareye alabiliriz. Sonraf( x )Ef( x )
E( f( x ) - Ef( x ) )2= ( f'( EX) )2Vbir r ( X) + T3
buradaki , için anlarını içerir . Bu formüle yalnızca birinci dereceden Taylor genişlemesi kullanarak, yani yalnızca birinci ve ikinci türevleri kullanarak ulaşabiliriz. Hata terimi benzer olurdu.T3E( X- EX)kk = 4 , 5 , 6
Başka bir yol da genişletmektir :
f2( x )
f2( x )= f2( EX) + 2 f( EX) f'( EX) ( x - EX)+ [ ( f'( EX) )2+ f( EX) f''( EX) ] ( X- EX)2+ ( f2( β) )''3( X- EX)3
Benzer şekilde
burada , benzer .
Ef2( x ) = f2(EX) + [ ( f'(EX) )2+f(EX) f''(EX) ] Vbir R (X) + R~3
R,~3R,3
Varyans formülü daha sonra
burada yalnızca üçüncü an ve üstü vardır.
Vbir R ( f(X) ) = [ f'(EX) ]2Vbir R (X) - [ f''(EX) ]24Vbir r2(X) + T~3
T~3