0
$\开始组$

起初,这看起来是一项简单的任务,从方差的常用表达式开始,例如:$\运算符名称{Var}(S^2)=E(S^4)-(E(S|2))^2$。在此,我想再次定义$S^2=压裂{\sum_1^n(X_i-\bar X)^2}{n}$

$\operatorname{Var}(S^2)=E(S^4)-(E(S|2))^2=E(S ^4)-\frac{(n-1)^2}{n^2}\sigma^4$

现在,我需要评估$E(S^4)$,这对我来说很有挑战性。我的想法如下:

$E(S^4)=E(((分形{1}{n}\sum_i^n(X_i-\bar X)^2)^2$然后我迷路了。。。

$\端组$

1答案1

重置为默认值
0
$\开始组$

我会假设$X_i$是IID,具有有限的第四矩。请注意

\开始{align*}S^2=\压裂{1}{n}\sum_{i=1}^{n}。\结束{align*}

根据这个公式,我们可以替换$X_i-\mu$是由$X_i$的,因此可以假设$X_i$的平均值为零,但不失一般性。然后

\开始{align*}\矩阵{E}[S^4]&=\mathbf{E}\biggl[\biggl(\frac{1}{n}\sum_{i=1}^{n}X_i^2-\overline{X}^2\biggr)^2\biggr]\\&=\mathbf{E}\biggl[\frac{1}{n^2}\sum_{i,j}X_i^2 X_j^2-\frac}{n}\sum_i X_i|2\上划线{X}^2+上划线{X}^4\biggr]\\&=\mathbf{E}\biggl[\frac{1}{n^2}\sum_{i,j}X_i^2 X_j^2-\frac}{n_3}\sum_{i,j,k}X_ i^2 X_j X_k+\frac[1}{n_4}\sum_c{i,j,k,l}X_i X_j X_ l\biggr]。\结束{align*}

用线性分布期望值,剩下的是一堆形式的线性组合项$\mathbf{E}[X_{i_1}^{a_1}X_{i_2}^{a_2}\cdots]$相互区别的$i_1、i_2、\ldot$$a_1+a_2+\cdots=4$独立性告诉我们

$$\mathbf{E}[X_{i_1}^{a_1}X_{i_2}^{a_2}\cdots]=\mathbf{E}[X_}i_1}^{a_2}]\mathbf1}E}[X_{i_2}^}a_2}]\cdots$$

特别是,如果至少有一个$ak(_k)$的是$1$这大大减少了扩展中出现的术语数量。事实上,唯一的元组$(a_1,a_2,\ldots)$可能导致非零项为$(2, 2)$$(4)$.因此

\开始{align*}\矩阵{E}[S^4]&=\frac{1}{n^2}\sum_{i}\mathbf{E}[X^4]+\frac{1{n^2]\sum_{i\neqj}\mathbf{E{[X^2]^2\\&\四边形\\frac{2}{n^3}\sum_{i}\mathbf{E}[X^4]-\frac{2]{n^3}\sum_{i\neqj}\mat血红蛋白{E}[X^2]^2\\&\quad+\frac{1}{n^4}\sum_{i}\mathbf{E}[X^4]+\frac{3}{n^4}\sum_{i\neq j}\mathbf{E}[X^2]^2\\&=\frac{1}{n^2}\cdot n\mathbf{E}[X^4]+\frac}{n|2}\cd otn(n-1)\mathbf{E}[X^2]^2\\&\四边形-\frac{2}{n^3}\cdot n\mathbf{E}[X^4]-\frac{2}{n^3}\cdotn(n-1)\mathbf{E}[X^2]^2\\&\四边形+\frac{1}{n^4}\cdot n\mathbf{E}[X^4]+\frac{3}{n ^4}\cdot n(n-1)\mathbf{E}[X^2]^2\\&=\frac{n(n-1)^2}{n^4}\mathbf{E}[X^4]+\frac{n(n-1)(n^2-2n+3)}{n*4}\mathbf{E}[X*2]^2。\结束{align*}

为了完成计算,请注意$\mathbf{E}[S^2]=\frac{n-1}{n}\mathbf{E}[X^2]$(回想一下,我们仍然假设$X_i$的居中。否则,此公式应为$\mathbf{E}[S^2]=\frac{n-1}{n}\mathbf{Var}(X)$.)将其插回,

\开始{align*}\矩阵{Var}(S^2)&=\mathbf{E}[S^4]-\mathbf{E}[S^2]^2\\&=\frac{n(n-1)^2}{n^4}\mathbf{E}[X^4]+\frac{n(n+1)(n^2-2n+3)}{n*4}\mathbf{E}[X*2]^2-\frac}n^2(n-1\\&=\压裂{n(n-1)^2}{n^4}\mathbf{E}[X^4]-\frac{n(n-1)(n-3\\&=\frac{(n-1)^2}{n^3}\mu_4(X)-\frac}。\结束{align*}

使用样本方差$\hat{S}^2=\frac{n}{n-1}S^2$,此公式通常以以下形式表示

$$\mathbf{Var}(\hat{S}^2)=\frac{n^2}{(n-1)^2}\mathbf{Var}(S^2)=\压裂{1}{n}\biggl(\mu_4(X)-\压裂{n-3}{n-1}\mu_2(X)^2\biggr)$$

看见例如。

$\端组$
5
  • $\开始组$ 精彩的解释!这对我帮助很大。然而,我想知道你是如何对这个等式中的每一个和形成期望的:开始{align*}\mathbf{E}[S^4]&=\frac{1}{n^2}\sum_{I}\mathbf{E{[X^4]+\frac{1}{n^2]\sum_{I\neqj}\ mathbf}E}[X^2]^2 \\&\quad-\frac}{2}{n|3}\sum{I}\ mathbf}4]-\frac{2}{n^3}\sum_{I\neqj}\mathbf{E}[X^2]^2\&\quad+\frac}{n_4}\sum_{I}\mathbf{E}[X^4]+\frac{3}{n^4}\sum_{i\neqj}\mathbf{E}[X^2]^2\\end{align*}为什么没有包含与k和l相关的索引的和? $\端组$ 评论 5月24日21:31
  • $\开始组$ @迈克尔·多西耶,原因是只有这样的术语存在。例如,如果展开$$\sum_{i,j,k}\mathbf{E}[X_i^2 X_j X_k],$$,则带有$j\neq k$的任何三元$(i,j、k)$都对应于$\mathbf{E}[X^3]\mathbf1{E}[X]$(如果$i=j\neqk$或$i=k\neqj$)或$\mathbf{E{X}[X^2]\mathbf2$(如果为$i,j,k$都是不同的),并且通过假设$\mathbf{E}[X]=0$,它们都为零。因此,只有$j=k$的项才有助于求和的值,本质上强制$k=j$并去掉一个求和符号。类似的注释也适用于其他金额 $\端组$ 评论 5月25日15:03
  • $\开始组$ 启迪!如果可以的话,我还有一个问题。完全按照你在前面的评论中所说的,是如何得出\frac{3}{n^4}\sum_{I\neqj}\mathbf{E}[X^2]^2有\frac}{n|4}而不是\frac[2]{n^4]的?如果i\neq j大于,则表示预期的可能组合为X_i*X_k、X_j*X_l和X_i*X_l、X_j*X_k。这变成了2*\mathbf{E}[X^2]^2。分子中的数字3把我搞糊涂了……提前再次感谢! $\端组$ 评论 5月25日21:11
  • $\开始组$ @MichaelDosier,您可能还想包括$\mathbf{E}[X_i X_j]\mathbf{E}[X_k X_l]$:)简单地说,对于索引$i$,您可以将其与$j$、$k$、$l$中的任何一个配对,因此我们得到因子$3$。 $\端组$ 评论 5月26日2:31
  • $\开始组$ 再次感谢您周到透彻的解释!我一定会在这个平台上关注你的工作——它让我有动力在数学技能上更加努力!:) $\端组$ 评论 5月26日19:07

你必须登录来回答这个问题。

不是你想要的答案吗?浏览标记的其他问题.