Cập nhật
Tôi đã đánh giá thấp sự mở rộng của Taylor. Họ thực sự làm việc. Tôi giả định rằng tích phân của thuật ngữ còn lại có thể không bị ràng buộc, nhưng với một chút công việc có thể chỉ ra rằng đây không phải là trường hợp.
Bản mở rộng Taylor hoạt động cho các chức năng trong khoảng thời gian đóng giới hạn. Đối với các biến ngẫu nhiên có phương sai hữu hạn, bất đẳng thức Ch Quashev đưa ra
P( | X- EX| >C)≤ Vmột r ( X)c
Vì vậy, với bất kỳ chúng ta có thể tìm thấy đủ lớn đểcε > 0c
P( X∈ [ EX- c , EX+ c ] ) = P( | X- EX| ≤c)<1-ε
Đầu tiên chúng ta hãy ước tính . Chúng ta có
nơi là hàm phân phối cho .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
Vì miền của tích phân đầu tiên là khoảng được giới hạn khoảng đóng, chúng ta có thể áp dụng khai triển Taylor:
trong đó và đẳng thức giữ cho tất cả . Tôi chỉ lấy 4 thuật ngữ trong bản mở rộng Taylor, nhưng nói chung chúng ta có thể lấy bao nhiêu tùy thích, miễn là hàm đủ mượt.f ( x ) = f ( E X ) + f ' ( E X ) ( x - E X ) + f " ( E X )[ EX- c , EX+ c ]
f( x ) = f( EX) + f'( EX) ( x - EX) + f′ ′( EX)2( x - EX)2+ f′ ′( α )3( x - EX)3
alpha ∈ [ EX- c , EX+ c ]x ∈ [ EX- c , EX+ c ]f
Thay thế công thức này vào công thức trước mà chúng ta nhận được
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 )
Bây giờ chúng ta có thể tăng miền tích hợp để có được công thức sau
Ef( X)= f( EX) + f′ ′( EX)2E( X- EX)2+ R3
trong đó
Bây giờ trong một số điều kiện nhất định, chúng ta có thể chỉ ra rằng số hạng thứ hai của số hạng còn lại này lớn bằng nhỏ. Thật không may, thuật ngữ đầu tiên vẫn còn và do đó chất lượng của xấp xỉ phụ thuộc vào và hành vi của đạo hàm thứ ba của trong các khoảng giới hạn. Xấp xỉ như vậy sẽ hoạt động tốt nhất cho các biến ngẫu nhiên với .
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
Bây giờ đối với phương sai, chúng ta có thể sử dụng xấp xỉ Taylor cho , trừ công thức cho và bình phương sự khác biệt. Sau đóf( x )Ef( x )
E( f( x ) - Ef( x ) )2= ( f'( EX) )2Vmột r ( X) + T3
Trong đó liên quan đến các khoảnh khắc với . Chúng ta cũng có thể đến công thức này bằng cách chỉ sử dụng khai triển Taylor bậc một, tức là chỉ sử dụng các đạo hàm thứ nhất và thứ hai. Thuật ngữ lỗi sẽ tương tự.T3E( X- EX)kk = 4 , 5 , 6
Một cách khác là mở rộng :
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
Tương tự, chúng tôi nhận được sau đó
trong đó tương tự .
Ef2( x ) = f2( EX) + [ ( f'( EX) )2+ f( EX) f′ ′( EX) ] Vmột r ( X) + R~3
R~3R3
Công thức cho phương sai sau đó trở thành
trong đó chỉ có khoảnh khắc thứ ba trở lên.
Vmột r ( f( X) ) = [ f'( EX) ]2Vmột r ( X) - [ f′ ′( EX) ]24Vmột r2( X) + T~3
T~3