Оновлення
Я недооцінив розширення Тейлора. Вони насправді працюють. Я припускав, що інтеграл решти члена може бути необмеженим, але при невеликій роботі можна показати, що це не так.
Розширення Тейлора працює для функцій у обмеженому замкнутому інтервалі. Для випадкових величин з кінцевою дисперсією Чебишев дає нерівність
П( | X- ЕХ| >c)≤ Va r ( X)c
Тож для будь-якого ми можемо знайти досить велику так щоcε > 0c
П( X∈ [ EХ- с , ЕХ+ с ] ) = Р( | X- ЕХ| ≤c)<1-ε
Спочатку оцінимо . У нас є
,
де є функцією розподілу для .E f ( X ) = ∫ | x - E X | ≤ c f ( x ) d F ( x ) + ∫ | x - E X | > c f ( x ) d F ( x ) F ( x ) XЕf( X)
Еf( X) = ∫| х-ЕХ| ≤cf( x ) dЖ( x ) + ∫| х-ЕХ| >cf( x ) dЖ( х )
Ж( х )Х
Оскільки область першого інтеграла - інтервал який обмежений замкненим інтервалом, ми можемо застосувати розширення Тейлора:
where , а рівність виконується для всіх . У розширенні Тейлора я взяв лише 4 терміни, але загалом ми можемо взяти стільки, скільки нам подобається, доки функція досить гладка.f ( x ) = f ( E X ) + f ′ ( E X ) ( x - E X ) + f ″ ( E X )[ ЄХ- с , ЕХ+ с ]α∈[EX-c,EX+c]x∈[EX-c,EX+c]f
f( x ) = f( ЄХ) + f'( ЄХ) ( х - ЕХ) + f′ ′( ЄХ)2( х - ЕХ)2+ f′ ′ ′( α )3( х - ЕХ)3
α ∈ [ EХ- с , ЕХ+ с ]x ∈ [ EХ- с , ЕХ+ с ]f
Підставивши цю формулу до попередньої, яку ми отримаємо
Еf( X)= ∫| х-ЕХ| ≤cf( ЄХ) + f'( ЄХ) ( х - ЕХ) + f′ ′( ЄХ)2( х - ЕХ)2гЖ( х )+ ∫| х-ЕХ| ≤cf′ ′ ′( α )3( х - ЕХ)3гЖ( x ) + ∫| х-ЕХ| >cf( x ) dЖ( х )
Тепер ми можемо збільшити область інтеграції, щоб отримати таку формулу
Еf( X)= f( ЄХ) + f′ ′( ЄХ)2Е( X- ЕХ)2+ R3
where
Тепер за певних моментів ми можемо показати, що другий член цього решти члена має величину який є малим. На жаль, перший член залишається, і тому якість наближення залежить від та поведінки третьої похідної у обмежених інтервалах. Таке наближення повинно найкраще працювати для випадкових змінних з .
R3= f′ ′ ′( α )3Е( X- ЕХ)3++ ∫| х-ЕХ| >c( f( ЄХ) + f'( ЄХ) ( х - ЕХ) + f′ ′( ЄХ)2( х - ЕХ)2+ f( X) ) гЖ( х )
П( | X- ЕХ| >в)Е( X- ЕХ)3fЕ( X- ЕХ)3= 0
Тепер для дисперсії ми можемо використати наближення Тейлора для , відняти формулу для і квадрат різниці. Потімf( х )Еf( х )
Е( f( x ) - Ef( х ) )2= ( f'( ЄХ) )2Va r ( X) + Т3
де включає моменти для . Ми можемо дійти до цієї формули також, використовуючи лише розширення Тейлора першого порядку, тобто використовуючи лише похідні першого та другого. Термін помилки був би аналогічним.Т3Е( X- ЕХ)кk = 4 , 5 , 6
Інший спосіб - розширити :
f2( х )
f2( х )= f2( ЄХ) + 2 ф( ЄХ) f'( ЄХ) ( х - ЕХ)+ [ ( ф'( ЄХ) )2+ f( ЄХ) f′ ′( ЄХ) ] ( X- ЕХ)2+ ( ф2( β) )′ ′ ′3( X- ЕХ)3
Аналогічно отримуємо тоді
де схожий на .
Еf2( x ) = f2( ЄХ) + [ ( ф'( ЄХ) )2+ f( ЄХ) f′ ′( ЄХ) ] Va r ( X) + R~3
R~3R3
Формула для дисперсії потім стає
де мають лише треті моменти і вище.˜T3
Va r ( f( X) ) = [ ф'( ЄХ) ]2Va r ( X) - [ ф′ ′( ЄХ) ]24Va r2( X) + Т~3
Т~3