(整个)函数期望的泰勒级数近似何时收敛?

机器算法验证 期望值 近似
2022-03-17 11:35:56

取一个期望的形式E(f(X))对于一些单变量随机变量X和一个完整的功能f()(即收敛区间为整条实线)

我有一个矩生成函数X因此可以很容易地计算整数矩。使用泰勒级数μE(x)然后根据一系列中心矩应用期望,

E(f(x))=E(f(μ)+f(μ)(xμ)+f(μ)(xμ)22!+)
=f(μ)+n=2f(n)(μ)n!E[(xμ)n]
截断这个数列,
EN(f(x))=f(μ)+n=2Nf(n)(μ)n!E[(xμ)n]


我的问题是:在随机变量(以及f()上的任何附加条件)的什么条件下,当我添加项时,期望的近似值会收敛(即limNEN(f(x))=E(f(x)) )。

由于我的情况似乎没有收敛(泊松随机变量和f(x)=xα),当这些条件失败时,是否还有其他技巧可以找到整数矩的近似期望?

2个回答

根据你的假设是实分析的, 几乎肯定(事实上肯定)收敛到f

yn=f(μ)+f(μ)(xμ)+f(μ)(xμ)22!++f(n)(μ)(xμ)nn!
f(x)

作为收敛意味着期望收敛的标准条件,即 是那个对于一些使得(支配收敛定理。)

E[f(x)]=E[limnyn]=limnE[yn],
|yn|yyE[y]<

如果幂级数绝对收敛,则此条件成立,即 E

y=n0|f(n)(μ)||xμ|nn!<a.s.
E[y]<.

您的泊松随机变量示例和表明上述绝对极限标准的可积性通常是最弱的。f(x)=xααZ+

如果函数 f(x) 允许幂级数展开,即所有导数都存在,则近似值将收敛。如果特定阈值及以上的导数为零,也将完全实现。您可以参考 Populis[3-4] 和 Stark 和 Woods [4]。