经验Bayes(EB)方法最早是由Robbins提出的, 通常应用于具有相同的但完全未知的先验分布之下的Bayes统计问题.近年来, 国内外学者对EB方法关注较多.例如, 陈希孺[1]讨论了离散型单参数指数族参数的EB估计, 赵林城[2]研究了一类离散分布参数的EB估计, 王立春和韦来生[3]在加权平方损失函数下讨论了刻度指数族的EB问题.考虑到刻度平方误差损失函数作为对加权平方损失函数的推广, 已经受到很多学者的重视.比如, Jozani等[4]研究了某些指数族刻度参数在不变刻度平方误差损失下的可容许极小极大估计, Qin[5]研究了刻度平方误差损失下几何分布的Bayes估计, 许俊美等[6]利用刻度平方误差损失函数研究了巴斯卡分布的Bayes估计问题.本文考虑的损失就是刻度平方误差损失.在该损失函数下研究了刻度指数族参数的EB估计问题, 并给出了它的收敛速度.
考虑如下的刻度指数族分布:设随机变量$X$在给定参数$\theta$时的条件密度函数为
其中$u(x)>0$.这里$\mathcal{X}=(0, +\infty)$为样本空间,
为参数空间.刻度指数族在可靠性理论、生存分析、人口统计学等领域有着广泛的应用.
设$G(\theta)$为$\theta$的先验分布, $G(\theta)$未知, 但属于先验分布族
这里$k$指的是下文中刻度平方误差损失函数中的参数$k$.
随机变量$X$的边缘密度为
其中
$p(x)$的$i$阶导数为
我们考虑如下的刻度平方误差损失函数[8]:
其中$k \geq 2$是整数, $\theta$为刻度参数.文献[3]考虑的加权平方损失就是$k=2$的特例.
在刻度平方误差损失之下, 用$\hat{\theta}_{BE}$表示$\theta$的关于$G$的Bayes估计, 则由文献[6]知
于是$\hat{\theta}_{BE}$的Bayes风险为
由于$G(\theta)$是未知的, 因此$\hat{\theta}_{BE}$无实用价值, 为此我们将进一步考虑EB估计.
引理1.1[9] 在给定的Bayes决策问题中, 假定对给定的先验分布, $\theta$的Bayes估计$\delta _{B}(x)$是唯一的, 则它是容许估计.
由于本文所研究的刻度平方误差损失函数$L(\theta, d)=(d-\theta)^2/\theta^k$关于$d$是严格凸函数, 故$\theta$的Bayes估计唯一, 从而是容许的.
在EB估计问题的结构中, 假定${\{X_{1}, \theta_{1}\}}, \{X_{2}, \theta_{2}\}, \cdots, \{X_{n}, \theta_{n}\}$和$\{X, \theta\}$独立同分布, 其中$X_{1}, X_{2}, \cdots, X_{n}$与$X$具有共同的密度函数$f(x|\theta)$. $\theta_{1}, \theta_{2}, \cdots, \theta_{n}$与$\theta$有共同的先验分布$G(\theta)$; 又设$X_{1}, X_{2}, \cdots, X_{n}$为独立同分布的随机变量序列.
下面采用核估计的方法来获得$\theta$的EB估计.设$K_{i}(x)$为有界的Borel可测函数, 在区间(0, 1) 外取值为零, 且满足
此处$s \geq 3$是给定的整数.类似于文献[1], 定义$p^{(i)}(x)$的核估计为
其中$h_{n}>0$且$\lim\limits_{n\rightarrow\infty}h_n=0.$
相应地, 定义$\theta$的EB估计为
此处$0 < v < 1$待定, 而
于是$\hat{\theta}_{EB}$的全面Bayes风险为
其中$E_{\ast}$表示关于$(X_{1}, X_{2}, \cdots, X_{n}, (X, \theta))$的联合分布求期望.
根据定义, 如果$\lim\limits_{n\rightarrow \infty}R_n=R(G), \forall G \in \mathcal{F}$, 则称$\hat{\theta}_{EB}$为$\theta$的关于$\mathcal{F}$的渐近最优EB估计.若对某个$\delta >0$, 有$R_{n}-R_{G}=O(n^{-\delta})$, 则称$\{\hat{\theta}_{EB}\}$的收敛速度的阶是$O(n^{-\delta}).$
本文以下用$c, c_{1}, c_{2}, \cdots$表示不依赖于$n$的正常数, 它们在不同的地方可以表示不同的值, 即使在同一表达式中也是如此.为获得EB估计的收敛速度, 先给出几个引理.
引理3.1 对任一估计$\Phi$, 如果$E(\theta ^{2-k}) < \infty, ~E{\big(}\theta^{\frac{-k(2k-3)}{k-1}}{\big)} < \infty$, 其中$k \geq 2$, 则有
证 因为
又
由H$\ddot{\mathrm{o}}$lder不等式,
另外
因此
记$\gamma=\frac{k^2-3k+2}{k(2k-3)}$, 则由$k \geq 2$知, $0\leq \gamma < 1$.再记$t=E{\big(}\theta ^{\frac{-k(2k-3)}{k-1}}|X{\big)}>0$, 于是
当$t>1$时, 则$t^{\gamma} < t$; 当$t\leq 1$时, 则$t^{\gamma}\leq 1$.于是
从而$R(G) < \infty$.因此引理成立.
引理3.2[2] 设$Y$和$Z$为随机变量, $y$和$z$为实数, 则对任意$L>0$以及$0 < \lambda\leq2$, 有
引理3.3 设$X_{1}, X_{2}, \cdots, X_{n}$为独立同分布样本序列, $u(x)$为单调非降函数, 且满足$\frac{1}{u(x)} < \infty, ~\frac{u'(x)}{u^{2}(x)} < \infty, ~\sup\limits_{x}|p(x)| < +\infty, \sup\limits_{x}|p^{(s)}(x)| < +\infty$, 其中$s \geq k+1$为整数.取$h_{n}=n^{-\frac{1}{2s+1}}$, 则对$0 < \lambda\leq 1$, 有
证 用类似于文献[3]中引理3.4的方法即可证得.
引理3.4 如果$E\left(\theta ^{2k \lambda s}\right) < \infty$, 其中$\lambda s\geq 1$, 则$E\left|\hat{\theta}_{BE}(X)\right|^{2\lambda s} < \infty.$
证 由于
注意到
而$E(\theta ^{-k}|X)\leq E^{\frac{1}{2}}(\theta ^{-2k}|X)$, 于是
记$\gamma=\frac{1}{k}$, 则$0 < \gamma \leq \frac{1}{2}$.再记$t=E\left(\theta^{2k}|X\right)>0$, 则当$t>1$时, 有$t^{\gamma} < t$; 当$t\leq 1$时, 有$t^{\gamma}\leq 1$.因此, 当$E\left(\theta ^{2k \lambda s}\right) < \infty$时, 有
定理4.1 设$X_{1}, X_{2}, \cdots, X_{n}$为来自刻度指数族分布的独立同分布样本序列, $\theta$为刻度参数, 假设:
(1)$u(x)$为单调非降函数, $\frac{1}{u(x)} < \infty, ~\frac{u'(x)}{u^{2}(x)} < +\infty$;
(2)$\sup\limits_{x}|p(x)| < \infty, ~\sup\limits_{x}|p^{(s)}(x)| < \infty$;
(3)$E(\theta ^{2-k}) < \infty, ~E(\theta^{\frac{-k(2k-3)}{k-1}}) < \infty, ~E(\theta ^{2k \lambda s}) < \infty$,
其中$\frac{1}{2}\leq \lambda < 1$, 给定的整数$s\geq k+1$, 则当$h_{n}=n^{-\frac{1}{2s+1}}$时, 有
证 由引理3.1知
而
由引理3.2和3.3得
于是
又$I_2\leq 10\hat{\theta}_{BE}^{2}\cdot I_{\left(\hat{\theta}_{BE}>\frac{1}{2}n^{v}\right)}$, 所以
取$v=\frac{\lambda (s-k)}{(2s+1)(\lambda s+1)}$, 则有$2v\lambda s=\frac{2\lambda (s-k)}{2s+1}-2v$.从而
定理得证.
注4.1 当$k=2$时, 定4.1的收敛速度与文献[3]中定理3.1的收敛速度一致.
假设给定参数$\theta$时, 随机变量$X$的密度为
此时, $c(\theta)=\frac{1}{\theta}, ~u(x)\equiv 1$, 样本空间$\mathcal{X}=(0, +\infty)$, 参数空间$\Theta =(0, +\infty).$
取$\theta$的先验密度为
其中$b>0, ~\beta>0$为常数.于是$X$的边际密度为
则$p(x)=\frac{c}{(x+\beta)^{b+1}}$为$x$的任意阶可微函数, 且$\sup\limits_{x}|p(x)| < +\infty, ~\sup\limits_{x}|p^{(s)}(x)| < +\infty$.容易验证定理4.1中的其它条件也满足, 故定理4.1的结论对于此例成立.