Skip to main content

Answer ZH

預備知識

  • 獨立同分佈變量均值的方差: Var(1nXi)=1n2Var(Xi)=1nVar(X1)\text{Var}(\frac{1}{n} \sum X_i) = \frac{1}{n^2} \sum \text{Var}(X_i) = \frac{1}{n} \text{Var}(X_1).
  • 方差不等式: Var(X)=E[X2](E[X])2E[X2]\text{Var}(X) = \mathbb{E}[X^2] - (\mathbb{E}[X])^2 \le \mathbb{E}[X^2].
  • 核函數性質: 令 M=maxuk(u)M = \max_u k(u). 則 k(xxih)Mk(\frac{x-x_i}{h}) \le M.

逐步解答

  1. 方差表達式: var(p^(x))=var(1ni=1nk~(xxi))\text{var}(\hat{p}(x)) = \text{var} \left( \frac{1}{n} \sum_{i=1}^n \tilde{k}(x - x_i) \right) 因為 xix_i 是 i.i.d.,和的方差等於方差的和(協方差項為零)。 var(p^(x))=1n2i=1nvar(k~(xxi))=1nvar(k~(xx1))\text{var}(\hat{p}(x)) = \frac{1}{n^2} \sum_{i=1}^n \text{var}(\tilde{k}(x - x_i)) = \frac{1}{n} \text{var}(\tilde{k}(x - x_1))

  2. 應用方差不等式: 使用 var(Y)E[Y2]\text{var}(Y) \le \mathbb{E}[Y^2]: var(p^(x))1nE[(k~(xx1))2]\text{var}(\hat{p}(x)) \le \frac{1}{n} \mathbb{E} [ (\tilde{k}(x - x_1))^2 ]

  3. 展開平方項: 回顧 k~(u)=1hdk(u/h)\tilde{k}(u) = \frac{1}{h^d} k(u/h)

    (k~(xx1))2=(1hdk(xx1h))2=1hdk(xx1h)1hdk(xx1h)(\tilde{k}(x - x_1))^2 = \left( \frac{1}{h^d} k\left(\frac{x - x_1}{h}\right) \right)^2 = \frac{1}{h^d} k\left(\frac{x - x_1}{h}\right) \cdot \frac{1}{h^d} k\left(\frac{x - x_1}{h}\right)
  4. 應用核函數上限: 使用提示 k(u)maxxk(x)k(u) \le \max_x k(x),令 M=maxxk(x)M = \max_x k(x)

    (k~(xx1))21hdk(xx1h)1hdM=Mhdk~(xx1)(\tilde{k}(x - x_1))^2 \le \frac{1}{h^d} k\left(\frac{x - x_1}{h}\right) \cdot \frac{1}{h^d} M = \frac{M}{h^d} \tilde{k}(x - x_1)
  5. 計算期望:

    E[(k~(xx1))2]E[Mhdk~(xx1)]=MhdE[k~(xx1)]\mathbb{E} [ (\tilde{k}(x - x_1))^2 ] \le \mathbb{E} \left[ \frac{M}{h^d} \tilde{k}(x - x_1) \right] = \frac{M}{h^d} \mathbb{E} [\tilde{k}(x - x_1)]

    從 (a) 部分,我們知道 E[k~(xx1)]=E[p^(x)]\mathbb{E} [\tilde{k}(x - x_1)] = \mathbb{E}[\hat{p}(x)]

    E[(k~(xx1))2]MhdE[p^(x)]\mathbb{E} [ (\tilde{k}(x - x_1))^2 ] \le \frac{M}{h^d} \mathbb{E}[\hat{p}(x)]
  6. 最終結果: 代回步驟 2 的方差不等式中:

    var(p^(x))1n(MhdE[p^(x)])=1nhdME[p^(x)]\text{var}(\hat{p}(x)) \le \frac{1}{n} \left( \frac{M}{h^d} \mathbb{E}[\hat{p}(x)] \right) = \frac{1}{nh^d} M \mathbb{E}[\hat{p}(x)]