Глава 2

Несмещённость

[136/0%]
Показать
LaTeX
§
Задача 2.1.1

Проверьте

?
(a)

что (1.4) определяет вероятностное распределение, и

(b)

условие (1.5).

Задача 2.1.2

В Примере 1.5 покажите, что ai∗a_{i}^{*} минимизирует (1.6) при i=0,1i=0,1, и упростите выражение для a0∗a_{0}^{*}. [Указание: Σκpκ−1\Sigma \kappa p^{\kappa -1} и Σκ(κ−1)pκ−2\Sigma \kappa (\kappa -1) p^{\kappa -2} — это первая и вторая производные от Σpκ=1/q\Sigma p^{\kappa }= 1 / q.]

?
Задача 2.1.3

Пусть XX принимает значения -1, 0, 1, 2, 3 с вероятностями P(X=−1)=2pqP(X=-1)=2 p q и P(X=k)=pkq3−kP(X=k)=p^{k} q^{3-k} при k=0,1,2,3k=0,1,2,3.

?
(a)

Проверьте, что это вероятностное распределение.

(b)

Найдите LMVU-оценку в точке p0p_{0} для (i) pp и (ii) pqp q, и для каждой определите, является ли она UMVU.

Задача 2.1.4

Для выборки объёма nn предположим, что оценка T(x)T(\mathbf{x}) параметра τ(θ)\tau (\theta ) имеет математическое ожидание

E[T(X)]=τ(θ)+∑k=1∞aknk, E[T(\mathbf{X})]=\tau (\theta )+\sum _{k=1}^{\infty } \frac{a_{k}}{n^{k}},

где aka_{k} может зависеть от θ\theta, но не от nn.

?
(a)

Покажите, что математическое ожидание джекнайф-оценки TJT_{J} из (1.3) равно

E[TJ(X)]=τ(θ)−a2n2+O(1/n3). E\left[T_{J}(\mathbf{X})\right]=\tau (\theta )-\frac{a_{2}}{n^{2}}+O\left(1 / n^{3}\right).
(b)

Покажите, что если var T∼c/nT \sim c / n для некоторой константы cc, то var TJ∼c′/nT_{J} \sim c^{\prime } / n для некоторой константы c′c^{\prime }. Таким образом, джекнайф уменьшает смещение, не увеличивая дисперсию.

Джекнайф второго порядка можно определить, применив джекнайф к TJT_{J}, что приведёт к дальнейшему уменьшению смещения, но может не сохранить дисперсию того же порядка (Robson and Whitlock 1964; см. также Thorburn 1976 и Замечание 8.3).

Задача 2.1.5
?
(a)

Любые две случайные величины XX и YY с конечными вторыми моментами удовлетворяют неравенству для ковариации [cov⁡(X,Y)]2≤var⁡(X)⋅var⁡(Y)[\operatorname {cov}(X, Y)]^{2} \leq \operatorname {var}(X) \cdot \operatorname {var}(Y).

(b)

Неравенство из пункта (a) обращается в равенство тогда и только тогда, когда существуют константы aa и bb, для которых P(X=aY+b)=1P(X=a Y+b)=1.

Задача 2.1.6

Альтернативное доказательство неравенства Шварца получается из наблюдения, что

∫(f+λg)2dP=∫f2dP+2λ∫fgdP+λ2∫g2dP≥0 для всех λ, \int (f+\lambda g)^{2} d P=\int f^{2} d P+2 \lambda \int f g d P+\lambda ^{2} \int g^{2} d P \geq 0 \text{ для всех } \lambda ,

так что этот квадратный трёхчлен относительно λ\lambda имеет не более одного корня.

?
Задача 2.1.7

Предположим, что XX распределена на ( 0,1 ) с плотностью вероятности pθ(x)=(1−θ)+θ/2xp_{\theta }(x)=(1-\theta )+\theta / 2 \sqrt{x} для всех 0<x<1,0≤θ≤10<x<1,0 \leq \theta \leq 1. Покажите, что не существует LMVU-оценки θ\theta. [Указание: Пусть δ(x)=a[x−1/2+b]\delta (x)=a\left[x^{-1 / 2}+b\right] для c<x<1c<x<1 и δ(x)=0\delta (x)=0 для 0<x<c0<x<c. Существуют такие значения aa, bb и cc, что E0(δ)=0E_{0}(\delta )=0 и E1(δ)=1E_{1}(\delta )=1 (и δ\delta несмещённа), причём E0(δ2)E_{0}\left(\delta^{2}\right) произвольно близко к нулю (Stein 1950).]

?
Задача 2.1.8

Если δ\delta и δ′\delta^{\prime } имеют конечную дисперсию, то δ′−δ\delta^{\prime }-\delta также имеет конечную дисперсию. [Указание: Задача 1.5.]

?
Задача 2.1.9

В Примере 1.9,

?
(a)

найдите все несмещённые оценки нуля;

(b)

покажите, что ни одна непостоянная оценка не является UMVU.

Задача 2.1.10

Если оценки ограничены классом линейных оценок, характеризация наилучших несмещённых оценок несколько упрощается. Хотя приведённый ниже результат является следствием Теоремы 1.7, его следует установить, не используя эту теорему.

Пусть Xp×1\mathbf{X}_{p \times 1} удовлетворяет E(X)=BψE(\mathbf{X})=B \psi и var⁡(X)=I\operatorname {var}(\mathbf{X})=I, где Bp×rB_{p \times r} известна, а ψr×1\psi_{r \times 1} неизвестен. Линейная оценка — это оценка вида a′Xa^{\prime } \mathbf{X}, где ap×1a_{p \times 1} — известный вектор. Мы рассматриваем класс оценок

D={δ(x):δ(x)=a′x, для некоторого известного вектора a}. \mathcal{D}=\left\{ \delta (\mathbf{x}): \delta (\mathbf{x})=a^{\prime } \mathbf{x}, \text{ для некоторого известного вектора } a\right\} .
?
(a)

Для известного вектора cc покажите, что оценки из D\mathcal{D}, являющиеся несмещёнными оценками c′ψc^{\prime } \psi, удовлетворяют a′B=c′a^{\prime } B=c^{\prime }.

(b)

Пусть Dc={δ(x):δ(x)=a′x,a′B=c′}\mathcal{D}_{c}=\left\{ \delta (\mathbf{x}): \delta (\mathbf{x})=a^{\prime } \mathbf{x}, a^{\prime } B=c^{\prime }\right\} — класс линейных несмещённых оценок c′ψc^{\prime } \psi. Покажите, что наилучшая линейная несмещённая оценка (BLUE) величины c′ψc^{\prime } \psi, то есть линейная несмещённая оценка с минимальной дисперсией, есть δ∗(x)=a∗′x\delta^{*}(\mathbf{x})=a^{* \prime } \mathbf{x}, где a∗′=a′B(B′B)−1B′a^{* \prime }=a^{\prime } B\left(B^{\prime } B\right)^{-1} B^{\prime } и a∗′B=ca^{* \prime } B=c, с дисперсией var⁡(δ∗)=c′c\operatorname {var}\left(\delta^{*}\right)=c^{\prime } c.

(c)

Пусть D0={δ(x):δ(x)=a′x,a′B=0.}\mathcal{D}_{0}=\left\{ \delta (\mathbf{x}): \delta (\mathbf{x})=a^{\prime } \mathbf{x}, a^{\prime } B=0.\right\} — класс линейных несмещённых оценок нуля. Покажите, что если δ∈D0\delta \in \mathcal{D}_{0}, то cov⁡(δ,δ∗)=0\operatorname {cov}\left(\delta , \delta^{*}\right)=0.

(d)

Следовательно, установите аналог Теоремы 1.7 для линейных оценок: Теорема. Оценка δ∗∈Dc\delta^{*} \in \mathcal{D}_{c} удовлетворяет var⁡(δ∗)=min⁡δ∈Dcvar⁡(δ)\operatorname {var}\left(\delta^{*}\right)=\min_{\delta \in \mathcal{D}_{c}} \operatorname {var}(\delta ) тогда и только тогда, когда cov⁡(δ∗,U)=0\operatorname {cov}\left(\delta^{*}, U\right)=0, где UU — произвольная оценка из D0\mathcal{D}_{0}.

(e)

Покажите, что полученные здесь результаты можно непосредственно распространить на случай var⁡(X)=Σ\operatorname {var}(\mathbf{X})=\Sigma, где Σp×p\Sigma_{p \times p} — известная матрица, рассмотрев преобразованную задачу с X∗=Σ1/2X\mathbf{X}^{*}=\Sigma^{1 / 2} \mathbf{X} и B∗=Σ1/2BB^{*}=\Sigma^{1 / 2} B.

Задача 2.1.11

Используя Теорему 1.7, найдите UMVU-оценки некоторых ηθ(di)\eta_{\theta }\left(d_{i}\right) в модели «доза-эффект» (1.6.16) с ограничением (1.6.17) (Messig and Strawderman 1993). Пусть классы Δ\Delta и U\mathcal{U} определены так же, как в Теореме 1.7.

?
(a)

Покажите, что оценка U∈UU \in \mathcal{U} тогда и только тогда, когда U(x1,x2)=a[I(x1=0)−I(x2=0)]U\left(x_{1}, x_{2}\right)=a\left[I\left(x_{1}=0\right)-I\left(x_{2}=0\right)\right] для произвольной константы a<∞a<\infty.

(b)

Используя пункт (a) и (1.7), покажите, что оценка δ\delta является UMVU для своего математического ожидания, только если она имеет вид δ(x1,x2)=aI(0,0)(x1,x2)+bI(0,1),(1,0),(2,0)(x1,x2)+cI(1,1)(x1,x2)+dI(2,1)(x1,x2)\delta \left(x_{1}, x_{2}\right)=a I_{(0,0)}\left(x_{1}, x_{2}\right)+b I_{(0,1),(1,0),(2,0)}\left(x_{1}, x_{2}\right)+c I_{(1,1)}\left(x_{1}, x_{2}\right)+ d I_{(2,1)}\left(x_{1}, x_{2}\right), где a,b,ca, b, c и dd — произвольные константы.

(c)

Покажите, что UMVU-оценки ηθ(d1)=1−e−θ\eta_{\theta }\left(d_{1}\right)=1-e^{-\theta } не существует, но UMVU-оценкой ηθ(d2)=1−e−2θ\eta_{\theta }\left(d_{2}\right)=1-e^{-2 \theta } является δ(x1,x2)=1−12[I(x1=0)+I(x2=0)]\delta \left(x_{1}, x_{2}\right)=1-\frac{1}{2}\left[I\left(x_{1}=0\right)+I\left(x_{2}=0\right)\right].

(d)

Покажите, что LMVU-оценкой 1−e−θ1-e^{-\theta } является δ(x1,x2)=x12+12(1+e−θ)[I(x1=0)−I(x2=0)]\delta \left(x_{1}, x_{2}\right)=\frac{x_{1}}{2}+\frac{1}{2\left(1+e^{-\theta }\right)}\left[I\left(x_{1}=0\right)-I\left(x_{2}=0\right)\right].

Задача 2.1.12

Покажите, что если δ(X)\delta (X) — UMVU-оценка g(θ)g(\theta ), то она является единственной UMVU-оценкой g(θ)g(\theta ). (Не предполагайте полноту, а вместо этого используйте неравенство для ковариации и условия, при которых оно обращается в равенство.)

?
Задача 2.1.13

Если δ1\delta_{1} и δ2\delta_{2} принадлежат Δ\Delta и являются UMVU-оценками g1(θ)g_{1}(\theta ) и g2(θ)g_{2}(\theta ) соответственно, то a1δ1+a2δ2a_{1} \delta_{1}+a_{2} \delta_{2} также принадлежит Δ\Delta и является UMVU-оценкой для a1g1(θ)+a2g2(θ)a_{1} g_{1}(\theta )+a_{2} g_{2}(\theta ) при любых вещественных a1a_{1} и a2a_{2}.

?
Задача 2.1.14

Полнота TT не только достаточна, но и необходима для того, чтобы каждая функция g(θ)g(\theta ), допускающая несмещённую оценку, имела единственную несмещённую оценку, являющуюся функцией от TT.

?
Задача 2.1.15

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины, имеющие распределение Пуассона (λ)(\lambda ).

?
(a)

Покажите, что Xˉ\bar{X} — UMVU-оценка для λ\lambda.

(b)

Для S2=∑i=1n(Xi−Xˉ)2/(n−1)S^{2}=\sum_{i=1}^{n}\left(X_{i}-\bar{X}\right)^{2} /(n-1) имеем ES2=EXˉ=λE S^{2}=E \bar{X}=\lambda. Чтобы напрямую установить, что var S2>S^{2}> var Xˉ\bar{X}, докажите, что E(S2∣Xˉ)=XˉE\left(S^{2} \mid \bar{X}\right)=\bar{X}.

Замечание: Тождество E(S2∣Xˉ)=XˉE\left(S^{2} \mid \bar{X}\right)=\bar{X} показывает, как полноту можно использовать при вычислении условных математических ожиданий.

Задача 2.1.16
?
(a)

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины (не обязательно нормальные) с var⁡(Xi)=σ2<∞\operatorname {var}\left(X_{i}\right)=\sigma^{2}<\infty, покажите, что δ=Σ(Xi−Xˉ)2/(n−1)\delta =\Sigma \left(X_{i}-\bar{X}\right)^{2} /(n-1) является несмещённой оценкой σ2\sigma^{2}.

(b)

Если XiX_{i} принимают значения 1 и 0 с вероятностями pp и q=1−pq=1-p, то оценка δ\delta из пункта (a) зависит только от T=ΣXiT=\Sigma X_{i} и, следовательно, является UMVU-оценкой для σ2=pq\sigma^{2}=p q. Сравните этот результат с результатом Примера 1.13.

Задача 2.1.17

Если TT имеет биномиальное распределение b(p,n)b(p, n) с n>3n>3, используйте Метод 1, чтобы найти UMVU-оценку p3p^{3}.

?
Задача 2.1.18

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины, имеющие распределение Пуассона P(λ)P(\lambda ). Используйте Метод 1, чтобы найти UMVU-оценку

?
(a)

λk\lambda^{k} для произвольного положительного целого kk и

(b)

e−λe^{-\lambda }.

Задача 2.1.19

Пусть X1,…,XnX_{1}, \ldots , X_{n} распределены так же, как в Примере 1.14. Используйте Метод 1, чтобы найти UMVU-оценку θk\theta^{k} для произвольного целого k>−nk>-n.

?
Задача 2.1.20

Решите Задачу 1.18(b) с помощью Метода 2, используя тот факт, что несмещённой оценкой e−λe^{-\lambda } является δ=1\delta =1, если X1=0X_{1}=0, и δ=0\delta =0 в противном случае.

?
Задача 2.1.21

В nn испытаниях Бернулли пусть Xi=1X_{i}=1 или 0 в зависимости от того, является ли ii-е испытание успехом или неудачей, и пусть T=ΣXiT=\Sigma X_{i}. Решите Задачу 1.17 с помощью Метода 2, используя тот факт, что несмещённой оценкой p3p^{3} является δ=1\delta =1, если X1=X2=X3=1X_{1}=X_{2}=X_{3}=1, и δ=0\delta =0 в противном случае.

?
Задача 2.1.22

Пусть XX принимает значения 1 и 0 с вероятностями pp и qq соответственно, и предположим, что 1/4<p<3/41 / 4<p<3 / 4. Рассмотрим задачу оценивания pp с функцией потерь L(p,d)=L(p, d)= 1, если ∣d−p∣≥1/4\left|d-p\right| \geq 1 / 4, и 0 в противном случае. Пусть δ∗\delta^{*} — рандомизированная оценка, равная Y0Y_{0} или Y1Y_{1} при X=0X=0 или 1, где Y0Y_{0} и Y1Y_{1} распределены как U(−1/2,1/2)U(-1 / 2,1 / 2) и U(1/2,3/2)U(1 / 2,3 / 2) соответственно.

?
(a)

Покажите, что δ∗\delta^{*} несмещённа.

(b)

Сравните функцию риска δ∗\delta^{*} с функцией риска XX.

§
Задача 2.2.1

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением N(ξ,σ2)N\left(\xi , \sigma^{2}\right), где σ2\sigma^{2} известна, найдите UMVU-оценку

?
(a)

ξ2\xi^{2},

(b)

ξ3\xi^{3} и

(c)

ξ4\xi^{4}.

Задача 2.2.2

Решите предыдущую задачу, когда σ\sigma неизвестна.

?
Задача 2.2.3

В Примере 2.1 с известной σ\sigma пусть δ=ΣciXi\delta =\Sigma c_{i} X_{i} — произвольная линейная оценка ξ\xi. Если δ\delta смещённа, покажите, что её риск E(δ−ξ)2E(\delta -\xi )^{2} неограничен. [Указание: Если Σci=1+k\Sigma c_{i}=1+k, то риск ≥k2ξ2\geq k^{2} \xi^{2}.]

?
Задача 2.2.4

Предположим, как и в Примере 2.1, что X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением N(ξ,σ2)N\left(\xi , \sigma^{2}\right), причём один из параметров известен, а оцениваемая величина является многочленом от ξ\xi или σ\sigma. Тогда UMVU-оценка является многочленом от Xˉ\bar{X} или S2=∑(Xi−ξ)2S^{2}=\sum \left(X_{i}-\xi \right)^{2}. Дисперсию любого такого многочлена можно оценить, если известны моменты E(Xˉk)E\left(\bar{X}^{k}\right) и E(Sk)E\left(S^{k}\right) для всех k=1,2,…k=1,2, \ldots. Чтобы определить E(Xˉk)E\left(\bar{X}^{k}\right), запишите Xˉ=Y+ξ\bar{X}=Y+\xi, где YY имеет распределение N(0,σ2/n)N\left(0, \sigma^{2} / n\right). Покажите, что

?
(a)
E(Xˉk)=∑r=0k(kr)ξk−rE(Yr) E\left(\bar{X}^{k}\right)=\sum _{r=0}^{k}\binom {k}{r} \xi ^{k-r} E\left(Y^{r}\right)

где

E(Yr)={(r−1)(r−3)⋯3⋅1(σ2/n)r/2 когда r≥2 чётно 0 когда r нечётно . E\left(Y^{r}\right)= \begin{cases} (r-1)(r-3) \cdots 3 \cdot 1\left(\sigma ^{2} / n\right)^{r / 2} & \text{ когда } r \geq 2 \text{ чётно } \\ 0 & \text{ когда } r \text{ нечётно }.\end{cases}
(b)

В качестве примера рассмотрим UMVU-оценку S2/nS^{2} / n параметра σ2\sigma^{2}. Покажите, что E(S4)=n(n+2)σ2E\left(S^{4}\right)= n(n+2) \sigma^{2} и var⁡(S2n)=2σ4n\operatorname {var}\left(\frac{S^{2}}{n}\right)=\frac{2 \sigma^{4}}{n}, и что UMVU-оценкой этой дисперсии является 2S4/n2(n+2)2 S^{4} / n^{2}(n+2).

Задача 2.2.5

В Примере 2.1, когда оба параметра неизвестны, покажите, что UMVU-оценка ξ2\xi^{2} задаётся формулой δ=Xˉ2−S2n(n−1)\delta =\bar{X}^{2}-\frac{S^{2}}{n(n-1)}, где теперь S2=∑(Xi−Xˉ)2S^{2}=\sum \left(X_{i}-\bar{X}\right)^{2}.

?
Задача 2.2.6
?
(a)

Найдите дисперсию оценки из Задачи 2.5.

(b)

Найдите UMVU-оценку дисперсии из пункта (a).

Задача 2.2.7

Если XX — единственное наблюдение из N(ξ,σ2)N\left(\xi , \sigma^{2}\right), покажите, что при неизвестном ξ\xi не существует несмещённой оценки δ\delta параметра σ2\sigma^{2}. [Указание: При фиксированном σ=a\sigma =a величина XX является полной достаточной статистикой для ξ\xi, и из E[δ(X)]=a2E[\delta (X)]=a^{2} для всех ξ\xi следует δ(x)=a2\delta (x)=a^{2} п.в.]

?
Задача 2.2.8

Пусть Xi,i=1,…,nX_{i}, i=1, \ldots , n, независимо распределены как N(α+βti,σ2)N\left(\alpha +\beta t_{i}, \sigma^{2}\right), где α,β\alpha , \beta и σ2\sigma^{2} неизвестны, а tt — известные константы, не все равные между собой. Найдите UMVU-оценки α\alpha и β\beta.

?
Задача 2.2.9

В Примере 2.2 при n=1n=1 UMVU-оценкой pp является индикатор события X1≤uX_{1} \leq u независимо от того, известна ли σ\sigma.

?
Задача 2.2.10

Проверьте формулу (2.14) — плотность (X1−Xˉ)/S\left(X_{1}-\bar{X}\right) / S при нормальной выборке. [UMVU-оценка в (2.13) используется Kiefer (1977) как пример его подхода «оценённой доверительности» (estimated confidence).]

?
Задача 2.2.11

Предполагая (2.15) с σ=τ\sigma =\tau, найдите UMVU-оценки σ2\sigma^{2} и (η−ξ)/σ(\eta -\xi ) / \sigma.

?
Задача 2.2.12

Предполагая (2.15) с η=ξ\eta =\xi и σ2/τ2=γ\sigma^{2} / \tau^{2}=\gamma, покажите, что при известном γ\gamma:

?
(a)

T′T^{\prime }, определённая в Примере 2.3(iii), является полной достаточной статистикой;

(b)

δγ\delta_{\gamma } является UMVU-оценкой для ξ\xi.

Задача 2.2.13

Покажите, что в предыдущей задаче при неизвестном γ\gamma

?
(a)

UMVU-оценки ξ\xi не существует;

(b)

оценка ξ^\hat{\xi } несмещённа при условиях, указанных в Примере 2.3. [Указание: (i) Задача 2.12(b) и тот факт, что δγ\delta_{\gamma } несмещённа для ξ\xi даже при σ2/τ2≠γ\sigma^{2} / \tau^{2} \neq \gamma. (ii) Обусловьте по (SX,SY)\left(S_{X}, S_{Y}\right).]

Задача 2.2.14

Для модели (2.15) найдите UMVU-оценку P(X1<Y1)P\left(X_{1}<Y_{1}\right), когда

?
(a)

σ=τ\sigma =\tau и

(b)

σ\sigma и τ\tau произвольны.

Задача 2.2.15

Если (X1,Y1),…,(Xn,Yn)\left(X_{1}, Y_{1}\right), \ldots ,\left(X_{n}, Y_{n}\right) — независимые одинаково распределённые случайные величины, имеющие произвольное двумерное распределение с конечными вторыми моментами, покажите, что SXY/(n−1)S_{X Y} /(n-1), заданная формулой (2.17), является несмещённой оценкой cov⁡(Xi,Yi)\operatorname {cov}\left(X_{i}, Y_{i}\right).

?
Задача 2.2.16

В выборке размера N=n+k+1N=n+k+1 часть наблюдений отсутствует. Предположим, что (Xi,Yi),i=1,…,n\left(X_{i}, Y_{i}\right), i=1, \ldots , n, — независимые одинаково распределённые случайные величины, имеющие двумерное нормальное распределение (2.16), а U1,…,UkU_{1}, \ldots , U_{k} и V1,…,VlV_{1}, \ldots , V_{l} независимы и распределены как N(ξ,σ2)N\left(\xi , \sigma^{2}\right) и N(η,τ2)N\left(\eta , \tau^{2}\right) соответственно.

?
(a)

Покажите, что минимальные достаточные статистики полны, когда ξ\xi и η\eta известны, но не полны, когда они неизвестны.

(b)

Когда ξ\xi и η\eta известны, найдите UMVU-оценки для σ2,τ2\sigma^{2}, \tau^{2} и ρστ\rho \sigma \tau, и предложите разумные несмещённые оценки этих параметров, когда ξ\xi и η\eta неизвестны.

Задача 2.2.17

Для семейства (2.22) покажите, что UMVU-оценка aa при известном bb и UMVU-оценка bb при известном aa таковы, как указано в Примере 2.5. [Указание: Задача 6.18.]

?
Задача 2.2.18

Покажите, что оценки (2.23) являются UMVU. [Указание: Задача 1.6.18.].

?
Задача 2.2.19

Для семейства (2.22) с b=1b=1 найдите UMVU-оценку P(X1≥u)P\left(X_{1} \geq u\right) и плотности e−(u−a)e^{-(u-a)} величины X1X_{1} в точке uu. [Указание: Получите оценку δ(X(1))\delta \left(X_{(1)}\right) плотности, применив Метод 2 из Раздела 2.1, а затем оценку вероятности — интегрированием. Альтернативно, можно сначала получить оценку вероятности как P(X1≥u∣X(1))P\left(X_{1} \geq u \mid X_{(1)}\right), используя тот факт, что X1−X(1)X_{1}-X_{(1)} является вспомогательной статистикой, и что при заданном X(1)X_{(1)} величина X1X_{1} либо равна X(1)X_{(1)}, либо распределена как E(X(1),1)E\left(X_{(1)}, 1\right).]

?
Задача 2.2.20

Найдите UMVU-оценку P(X1≥u)P\left(X_{1} \geq u\right) для семейства (2.22), когда оба параметра aa и bb неизвестны.

?
Задача 2.2.21

Пусть X1,…,XmX_{1}, \ldots , X_{m} и Y1,…,YnY_{1}, \ldots , Y_{n} независимо распределены как E(a,b)E(a, b) и E(a′,b′)E\left(a^{\prime }, b^{\prime }\right) соответственно.

?
(a)

Если a,b,a′a, b, a^{\prime } и b′b^{\prime } полностью неизвестны, то X(1),Y(1),Σ[Xi−X(1)]X_{(1)}, Y_{(1)}, \Sigma \left[X_{i}-X_{(1)}\right] и Σ[Yj−Y(1)]\Sigma \left[Y_{j}-Y_{(1)}\right] совместно являются достаточными и полными.

(b)

Найдите UMVU-оценки a′−aa^{\prime }-a и b′/bb^{\prime } / b.

Задача 2.2.22

В предыдущей задаче предположим, что b′=bb^{\prime }=b.

?
(a)

Покажите, что X(1),Y(1)X_{(1)}, Y_{(1)} и Σ[Xi−X(1)]+Σ[Yj−Y(1)]\Sigma \left[X_{i}-X_{(1)}\right]+\Sigma \left[Y_{j}-Y_{(1)}\right] являются достаточными и полными.

(b)

Найдите UMVU-оценки bb и (a′−a)/b\left(a^{\prime }-a\right) / b.

Задача 2.2.23

В Задаче 2.21 предположим, что a′=aa^{\prime }=a.

?
(a)

Покажите, что полная достаточная статистика из Задачи 2.21(a) остаётся минимальной достаточной, но больше не является полной.

(b)

Покажите, что UMVU-оценки для a′=aa^{\prime }=a не существует.

(c)

Предложите разумную несмещённую оценку для a′=aa^{\prime }=a.

Задача 2.2.24

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины, имеющие равномерное распределение U(ξ−b,ξ+b)U(\xi -b, \xi +b). Если ξ\xi и bb оба неизвестны, найдите UMVU-оценки ξ\xi, bb и ξ/b\xi / b. [Указание: Задача 1.6.30.]

?
Задача 2.2.25

Пусть X1,…,XmX_{1}, \ldots , X_{m} и Y1,…,YnY_{1}, \ldots , Y_{n} — независимые одинаково распределённые случайные величины, имеющие распределения U(0,θ)U(0, \theta ) и U(0,θ′)U\left(0, \theta^{\prime }\right) соответственно. Если n>1n>1, найдите UMVU-оценку θ/θ′\theta / \theta^{\prime }.

?
Задача 2.2.26

Проверьте ML-оценки, приведённые в (2.24).

?
Задача 2.2.27

В Примере 2.6(b) покажите, что

?
(a)

Смещение ML-оценки равно 0 при ξ=u\xi =u.

(b)

При ξ=u\xi =u ML-оценка имеет меньшую среднюю квадратичную ошибку, чем UMVU-оценка.

Задача 2.2.28

Проверьте (2.26).

?
Задача 2.2.29

При условиях Леммы 2.7 покажите, что:

?
(a)

Если bb заменить произвольной случайной величиной BB, независимой от XX и отличной от 0 с вероятностью 1, то Rδ(θ)<Rδ∗(θ)R_{\delta }(\theta )<R_{\delta^{*}}(\theta ).

(b)

Если квадратичную функцию потерь заменить произвольной функцией потерь вида L(θ,δ)=ρ(d−θ)L(\theta , \delta )=\rho (d-\theta ), и δ\delta риск-несмещённа относительно LL, то Rδ(θ)<Rδ∗(θ)R_{\delta }(\theta )<R_{\delta^{*}}(\theta ).

§
Задача 2.3.1
?
(a)

В Примере 3.1 покажите, что Σ(Xi−Xˉ)2=T(n−T)/n\Sigma \left(X_{i}-\bar{X}\right)^{2}=T(n-T) / n.

(b)

Дисперсия T(n−T)/n(n−1)T(n-T) / n(n-1) в Примере 3.1 равна (pq/n)[(q−p)2+2pq/(n−1)](p q / n)\left[(q-p)^{2}+2 p q /(n-1)\right].

Задача 2.3.2

Если TT имеет распределение b(p,n)b(p, n), найдите несмещённую оценку δ(T)\delta (T) величины pm(m≤n)p^{m}(m \leq n) с помощью Метода 1, то есть используя (1.10). [Указание: Пример 1.13.]

?
Задача 2.3.3
?
(a)

Используя метод, приводящий к (3.2), найдите UMVU-оценку πk(T)\pi_{k}(T) вероятности P[X1+⋯+Xm=k]=(mk)pkqm−k(m≤n)P\left[X_{1}+\cdots +X_{m}=k\right]=\binom {m}{k} p^{k} q^{m-k}(m \leq n).

(b)

Покажите, что при фиксированном tt и переменном kk величины πk(t)\pi_{k}(t) являются вероятностями гипергеометрического распределения.

Задача 2.3.4

Если YY имеет распределение (3.3), используйте Метод 1 из Раздела 2.1,

?
(a)

чтобы показать, что UMVU-оценка pr(r<m)p^{r}(r<m) равна

δ(y)=(m−r+y−1)(m−r+y−2)…(m−r)(m+y−1)(m+y−2)⋯m, \delta (y)=\frac{(m-r+y-1)(m-r+y-2) \ldots (m-r)}{(m+y-1)(m+y-2) \cdots m},

и, следовательно, в частности, что UMVU-оценки 1/p,1/p21 / p, 1 / p^{2} и pp равны соответственно (m+y)/m,(m+y)(m+y+1)/m(m+1)(m+y) / m,(m+y)(m+y+1) / m(m+1) и (m−1)/(m+y−1)(m-1) /(m+y-1);

(b)

чтобы найти UMVU-оценку var⁡(Y)\operatorname {var}(Y);

(c)

чтобы показать, как вычислить UMVU-оценку δ\delta величины log⁡p\log p.

Задача 2.3.5

Рассмотрим схему, в которой биномиальное выборочное наблюдение продолжается до тех пор, пока не будет получено по меньшей мере aa успехов и bb неудач. Покажите, как вычислить разумную оценку log⁡(p/q)\log (p / q). [Указание: Чтобы получить несмещённую оценку log⁡p\log p, модифицируйте UMVU-оценку δ\delta из Задачи 3.4(c).]

?
Задача 2.3.6

Если биномиальное выборочное наблюдение продолжается до тех пор, пока не будет получено mm успехов, пусть XiX_{i} ( i=1,…,mi= 1, \ldots , m ) — число неудач между (i−1)(i-1)-м и ii-м успехом.

?
(a)

Величины XiX_{i} независимы и одинаково распределены согласно геометрическому распределению P(Xi=x)=pqx,x=0,1,…P\left(X_{i}=x\right)=p q^{x}, x= 0,1, \ldots.

(b)

Статистика Y=ΣXiY=\Sigma X_{i} достаточна для (X1,…,Xm)\left(X_{1}, \ldots , X_{m}\right) и имеет распределение (3.3).

Задача 2.3.7

Предположим, что биномиальное выборочное наблюдение продолжается до тех пор, пока число успехов не сравняется с числом неудач.

?
(a)

Это правило замкнуто, если p=1/2p=1 / 2, но не в противном случае.

(b)

Если p=1/2p=1 / 2 и NN обозначает требуемое число испытаний, то E(N)=∞E(N)=\infty.

Задача 2.3.8

Проверьте формулу (3.7) с соответствующим определением N′(x,y)N^{\prime }(x, y)

?
(a)

для оценивания pp и

(b)

для оценивания paqbp^{a} q^{b}.

Задача 2.3.9

Рассмотрим последовательное биномиальное выборочное наблюдение с точками остановки (0,1)(0,1) и (2,y)(2, y), y=0,1,…y=0,1, \ldots.

?
(a)

Покажите, что этот план замкнут и прост.

(b)

Покажите, что (X,Y)(X, Y) не полна, найдя нетривиальную несмещённую оценку нуля.

Задача 2.3.10

В Примере 3.4(ii)

?
(a)

покажите, что план замкнут, но не прост,

(b)

покажите, что (X,Y)(X, Y) не полна, и

(c)

вычислите несмещённую оценку (3.7) величины pp.

Задача 2.3.11

Усечённое однократное выборочное наблюдение. Пусть a,b<na, b<n — три неотрицательных целых числа. Продолжайте наблюдение до тех пор, пока не будет получено либо aa успехов, либо bb неудач, либо nn наблюдений. Найдите UMVU-оценку pp.

?
Задача 2.3.12

Для любого плана последовательного биномиального выборочного наблюдения координаты (X,Y)(X, Y) конечной точки траектории выборки являются минимальными достаточными.

?
Задача 2.3.13

Рассмотрим произвольный замкнутый план последовательного биномиального выборочного наблюдения с множеством точек остановки BB, и пусть B′B^{\prime } — множество B∪{(x0,y0)}B \cup \left\{ \left(x_{0}, y_{0}\right)\right\}, где (x0,y0)\left(x_{0}, y_{0}\right) — точка, не принадлежащая BB, которая достигается с положительной вероятностью при плане BB. Покажите, что достаточная статистика T=(X,Y)T=(X, Y) не полна для плана выборочного наблюдения, у которого множеством точек остановки служит B′B^{\prime }. [Указание: Для произвольной точки (x,y)∈B(x, y) \in B пусть N(x,y)N(x, y) и N′(x,y)N^{\prime }(x, y) обозначают число путей к (x,y)(x, y), когда множеством точек остановки является BB и B′B^{\prime } соответственно, и пусть N(x0,y0)=0,N′(x0,y0)=1N\left(x_{0}, y_{0}\right)=0, N^{\prime }\left(x_{0}, y_{0}\right)=1. Тогда статистика 1−[N(X,Y)/N′(X,Y)]1-\left[N(X, Y) / N^{\prime }(X, Y)\right] имеет математическое ожидание 0 при B′B^{\prime } для всех значений pp.]

?
Задача 2.3.14

Для произвольного плана последовательного биномиального выборочного наблюдения, при котором точка (1,1)(1,1) достигается с положительной вероятностью, но не является точкой остановки, найдите несмещённую оценку pqp q, зависящую только от (X,Y)(X, Y). Вычислите эту оценку для

?
(a)

выборки фиксированного объёма n>2n>2;

(b)

обратного биномиального выборочного наблюдения.

Задача 2.3.15

Используя (3.3), найдите A(t,n)A(t, n) в (3.11) для отрицательного биномиального распределения с m=nm=n, и вычислите оценки (3.13) величины qrq^{r} и (3.14).

?
Задача 2.3.16

Рассмотрим nn биномиальных испытаний с вероятностью успеха pp, и пусть rr и ss — два положительных целых числа с r+s<nr+s<n. К границе x+y=nx+y=n добавим граничную точку (r,s)(r, s), то есть, если число успехов в первых r+sr+s испытаниях равно ровно rr, процесс останавливается, и оставшиеся n−(r+s)n-(r+s) испытаний не проводятся.

?
(a)

Покажите, что UU является несмещённой оценкой нуля тогда и только тогда, когда U(k,n−k)=0U(k, n-k)=0 для k=0,1,…,r−1k=0,1, \ldots , r-1 и k=n−s+1,n−s+2,…,nk=n-s+1, n-s+2, \ldots , n, и U(k,n−k)=ckU(r,s)U(k, n-k)=c_{k} U(r, s) для k=r,…,n−sk=r, \ldots , n-s, где cc — заданные константы ≠0\neq 0.

(b)

Покажите, что δ\delta является UMVU-оценкой своего математического ожидания тогда и только тогда, когда

δ(k,n−k)=δ(r,s) для k=r,…,n−s. \delta (k, n-k)=\delta (r, s) \text{ для } k=r, \ldots , n-s.
Задача 2.3.17

Обобщите предыдущую задачу на случай, когда к границе добавляются две точки (r1,s1)\left(r_{1}, s_{1}\right) и (r2,s2)\left(r_{2}, s_{2}\right) с ri+si<nr_{i}+s_{i}<n. Предположим, что эти две точки таковы, что все n+1n+1 точек x+y=nx+y=n остаются граничными точками.

?
Задача 2.3.18

Если XX имеет распределение Пуассона P(θ)P(\theta ), покажите, что 1/θ1 / \theta не имеет несмещённой оценки.

?
Задача 2.3.19

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины, имеющие распределение (3.18) — распределение Пуассона, усечённое слева в 0, найдите UMVU-оценку θ\theta, когда

?
(a)

n=1n=1 и

(b)

n=2n=2.

Задача 2.3.20

Пусть X1,…,XnX_{1}, \ldots , X_{n} — выборка из распределения Пуассона, усечённого слева в 0, то есть с выборочным пространством X={1,2,3,…}\mathcal{X}=\left\{ 1,2,3, \ldots \right\}.

?
(a)

Для t=Σxit=\Sigma x_{i} UMVU-оценка λ\lambda равна (Tate and Goen 1958) λ^=Ct−1nCtnt\hat{\lambda }=\frac{\mathcal{C}_{t-1}^{n}}{\mathcal{C}_{t}^{n}} t, где Ctn=(−1)nn!∑k=0∞(nk)(−1)kkt\mathcal{C}_{t}^{n}=\frac{(-1)^{n}}{n!} \sum_{k=0}^{\infty }\binom {n}{k}(-1)^{k} k^{t} — число Стирлинга второго рода.

(b)

Альтернативная форма UMVU-оценки: λ^=tn(1−Ct−1n−1Ctn)\hat{\lambda }=\frac{t}{n}\left(1-\frac{\mathcal{C}_{t-1}^{n-1}}{\mathcal{C}_{t}^{n}}\right). [Указание: Установите тождество Ctn=Ct−1n−1+nCt−1n\mathcal{C}_{t}^{n}=\mathcal{C}_{t-1}^{n-1}+n \mathcal{C}_{t-1}^{n}.]

(c)

Нижняя граница Крамера—Рао для дисперсии несмещённых оценок λ\lambda равна λ(1−e−λ)2/[n(1−e−λ−λe−λ)]\lambda \left(1-e^{-\lambda }\right)^{2} /\left[n\left(1-e^{-\lambda }-\lambda e^{-\lambda }\right)\right], и она не достигается UMVU-оценкой. (Однако она является асимптотической дисперсией ML-оценки.)

Задача 2.3.21

Предположим, что XX имеет распределение Пуассона, усечённое справа в aa, то есть имеет условное распределение YY при Y≤aY \leq a, где YY имеет распределение P(λ)P(\lambda ). Покажите, что λ\lambda не имеет несмещённой оценки.

?
Задача 2.3.22

Для отрицательного биномиального распределения, усечённого в нуле, вычислите оценки (3.13) и (3.14) при m=1,2m=1,2 и 3.

?
Задача 2.3.23

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением P(λ)P(\lambda ), рассмотрим оценивание e−bλe^{-b \lambda }, где bb известно.

?
(a)

Покажите, что δ∗=(1−b/n)t\delta^{*}=(1-b / n)^{t} — UMVU-оценка e−bλe^{-b \lambda }.

(b)

При b>nb>n опишите поведение δ∗\delta^{*} и предположите, почему она может не быть разумной оценкой.

(Вероятность e−bλe^{-b \lambda } при b>nb>n является вероятностью «ненаблюдаемого» события, поскольку её можно интерпретировать как вероятность отсутствия событий на временном интервале длины bb. Ряд таких ситуаций описан и проанализирован в Lehmann (1983), где высказывается предположение, что в подобных задачах разумной оценки может не существовать.)

Задача 2.3.24

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины, имеющие логарифмическое распределение из Задачи 1.5.14, вычислите оценки (3.13) и (3.14) при n=1,2n=1,2 и 3.

?
Задача 2.3.25

Для полиномиального распределения из Примера 3.8

?
(a)

покажите, что p0r0⋯psrsp_{0}^{r_{0}} \cdots p_{s}^{r_{s}} имеет несмещённую оценку при условии, что r0,…,rsr_{0}, \ldots , r_{s} — неотрицательные целые числа с Σri≤n\Sigma r_{i} \leq n;

(b)

найдите совокупность всех функций, допускающих несмещённое оценивание;

(c)

найдите UMVU-оценку оцениваемой величины из пункта (a).

Задача 2.3.26

В Примере 3.9, когда pij=pi+p+jp_{i j}=p_{i+} p_{+j}, найдите дисперсии двух несмещённых оценок δ0=nij/n\delta_{0}=n_{i j} / n и δ1=ni+n+j/n2\delta_{1}=n_{i+} n_{+j} / n^{2} величины pijp_{i j}, и покажите непосредственно, что var⁡(δ0)>var⁡(δ1)\operatorname {var}\left(\delta_{0}\right)>\operatorname {var}\left(\delta_{1}\right) для всех n>1n>1.

?
Задача 2.3.27

В Примере 3.9 покажите, что независимость AA и BB влечёт, что (n1+,…,nI+)(n_{1+}, \ldots , n_{I^{+}}) и (n+1,…,n+J)\left(n_{+1}, \ldots , n_{+J}\right) независимы и имеют указанные полиномиальные распределения.

?
Задача 2.3.28

Проверьте (3.20).

?
Задача 2.3.29

Пусть X,YX, Y и gg таковы, что E[g(X,Y)∣y]E[g(X, Y) \mid y] не зависит от yy. Тогда E[f(Y)g(X,Y)]=E[f(Y)]E[g(X,Y)]E[f(Y) g(X, Y)]= E[f(Y)] E[g(X, Y)], и, следовательно, f(Y)f(Y) и g(X,Y)g(X, Y) некоррелированы для всех ff.

?
Задача 2.3.30

В Примере 3.10 покажите, что оценка δ1\delta_{1} величины pijkp_{i j k} несмещённа для модели (3.20). [Указание: Задача 3.29.]

?
§
Задача 2.4.1

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением FF.

?
(a)

Охарактеризуйте совокупность всех функций f(X1,…,Xn)f\left(X_{1}, \ldots , X_{n}\right), являющихся несмещёнными оценками нуля для класса F0\mathcal{F}_{0} всех распределений FF, имеющих плотность.

(b)

Приведите по одному примеру нетривиальной несмещённой оценки нуля для случаев (i) n=2n=2 и (ii) n=3n=3.

Задача 2.4.2

Пусть F\mathcal{F} — класс всех одномерных функций распределения FF, имеющих плотность вероятности ff и конечный mm-й момент.

?
(a)

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимо распределены с общим распределением F∈FF \in \mathcal{F}. Для n≥mn \geq m найдите UMVU-оценку ξm\xi^{m}, где ξ=ξ(F)=EXi\xi =\xi (F)=E X_{i}.

(b)

Покажите, что в случае P(Xi=1)=p,P(Xi=0)=q,p+q=1P\left(X_{i}=1\right)=p, P\left(X_{i}=0\right)=q, p+q=1 оценка из пункта (a) сводится к (3.2).

Задача 2.4.3

В предыдущей задаче покажите, что 1/var⁡FXi1 / \operatorname {var}_{F} X_{i} не имеет несмещённой оценки ни при каком nn.

?
Задача 2.4.4

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением F∈FF \in \mathcal{F}, где F\mathcal{F} — класс всех симметричных распределений, имеющих плотность вероятности. UMVU-оценки центра симметрии θ\theta распределения FF не существует (если несмещённость требуется только для тех распределений FF, для которых существует математическое ожидание оценки). [Указание: UMVU-оценка θ\theta для случая, когда FF есть U(θ−1/2,θ+1/2)U(\theta -1 / 2, \theta +1 / 2), полученная в Задаче 2.24, несмещённа для всех F∈FF \in \mathcal{F}; таковой же является и Xˉ\bar{X}.]

?
Задача 2.4.5

Если X1,…,XmX_{1}, \ldots , X_{m} и Y1,…,YnY_{1}, \ldots , Y_{n} независимо распределены согласно FF и G∈F0G \in \mathcal{F}_{0}, определённому в Задаче 4.1, то порядковые статистики X(1)<⋯<X(m)X_{(1)}<\cdots <X_{(m)} и Y(1)<⋯<Y(n)Y_{(1)}<\cdots < Y_{(n)} достаточны и полны. [Указание: Для доказательства полноты обобщите второе доказательство, предложенное в Задаче 6.33.]

?
Задача 2.4.6

При условиях предыдущей задачи найдите UMVU-оценку P(Xi<Yj)P\left(X_{i}<Y_{j}\right).

?
Задача 2.4.7

При условиях Задачи 4.5 пусть ξ=EXi\xi =E X_{i} и η=EYj\eta =E Y_{j}. Покажите, что ξ2η2\xi^{2} \eta^{2} обладает несмещённой оценкой тогда и только тогда, когда m≥2m \geq 2 и n≥2n \geq 2.

?
Задача 2.4.8

Пусть (X1,Y1),…,(Xn,Yn)\left(X_{1}, Y_{1}\right), \ldots ,\left(X_{n}, Y_{n}\right) — независимые одинаково распределённые случайные величины с распределением F∈FF \in \mathcal{F}, где F\mathcal{F} — семейство всех распределений, имеющих плотность вероятности и конечные вторые моменты. Покажите, что δ(X,Y)=∑(Xi−Xˉ)(Yi−Yˉ)/(n−1)\delta (X, Y)=\sum \left(X_{i}-\bar{X}\right)\left(Y_{i}-\bar{Y}\right) /(n-1) является UMVU-оценкой для cov⁡(X,Y)\operatorname {cov}(X, Y).

?
Задача 2.4.9

При условиях предыдущей задачи найдите UMVU-оценку

?
(a)

P(Xi≤Yi)P\left(X_{i} \leq Y_{i}\right);

(b)

P(Xi≤XjP\left(X_{i} \leq X_{j}\right. и Yi≤Yj),i≠j\left.Y_{i} \leq Y_{j}\right), i \neq j.

Задача 2.4.10

Пусть (X1,Y1),…,(Xn,Yn)\left(X_{1}, Y_{1}\right), \ldots ,\left(X_{n}, Y_{n}\right) — независимые одинаково распределённые случайные величины с распределением F∈FF \in \mathcal{F}, где F\mathcal{F} — семейство всех двумерных плотностей. Покажите, что достаточная статистика TT, обобщающая порядковые статистики на двумерный случай, полна. [Указание: Обобщите второе доказательство, предложенное в Задаче 6.33. В качестве экспоненциального семейства для (X,Y)(X, Y) возьмите плотности, пропорциональные eQ(x,y)e^{Q(x, y)}, где

Q(x,y)=(θ01x+θ10y)+(θ02x2+θ11xy+θ20y2)+…+(θ0nxn+…+θn0yn)−x2n−y2n. \begin{align} Q(x, y)= & \left(\theta _{01} x+\theta _{10} y\right)+\left(\theta _{02} x^{2}+\theta _{11} x y+\theta _{20} y^{2}\right)+\ldots \\ & +\left(\theta _{0 n} x^{n}+\ldots +\theta _{n 0} y^{n}\right)-x^{2 n}-y^{2 n}. \end{align}
?
§
Задача 2.5.1

При условиях Задачи 1.3 для каждого p1p_{1} найдите значение LV(p1)L_{V}\left(p_{1}\right) LMVU-оценки pp в точке p1p_{1} и сравните функцию LV(p),0<p<1L_{V}(p), 0<p<1, с дисперсией Vp0(p)V_{p_{0}}(p) оценки, являющейся LMVU в точке

?
(a)

p0=1/3p_{0}=1 / 3 и

(b)

p0=1/2p_{0}=1 / 2.

Задача 2.5.2

Найдите условия, при которых в (5.1) достигается равенство.

?
Задача 2.5.3

Проверьте I(θ)I(\theta ) для распределений из Таблицы 5.1.

?
Задача 2.5.4

Если XX имеет нормальное распределение с нулевым средним и стандартным отклонением σ\sigma, найдите I(σ)I(\sigma ).

?
Задача 2.5.5

Найдите I(p)I(p) для отрицательного биномиального распределения.

?
Задача 2.5.6

Если XX имеет распределение P(λ)P(\lambda ), покажите, что содержащаяся в ней информация о λ\sqrt{\lambda } не зависит от λ\lambda.

?
Задача 2.5.7

Проверьте следующие утверждения, приведённые у Basu (1988, глава 1), которые иллюстрируют связь между информацией, достаточностью и вспомогательностью (ancillarity). Пусть I(θ)=Eθ[−∂2/∂θ2log⁡f(x∣(θ)]I(\theta )=E_{\theta }\left[-\partial^{2} / \partial \theta^{2} \log f(x \mid (\theta )]\right. — информация о θ\theta, содержащаяся в XX, а J(θ)=Eθ[−∂2/∂θ2log⁡g(T∣θ)]J(\theta )=E_{\theta }\left[-\partial^{2} / \partial \theta^{2} \log g(T \mid \theta )\right] — информация о θ\theta, содержащаяся в статистике TT, где g(⋅∣θ)g(\cdot \mid \theta ) — функция плотности TT. Определим λ(θ)=I(θ)−J(θ)\lambda (\theta )=I(\theta )-J(\theta ) — меру информации, теряемой при использовании TT вместо XX. При подходящих условиях регулярности покажите, что

?
(a)

λ(θ)≥0\lambda (\theta ) \geq 0 для всех θ\theta

(b)

λ(θ)=0\lambda (\theta )=0 тогда и только тогда, когда TT достаточна для θ\theta.

(c)

Если YY — вспомогательная статистика, но (T,Y)(T, Y) достаточна, то I(θ)=Eθ[J(θ∣Y)]I(\theta )=E_{\theta }[J(\theta \mid Y)], где

J(θ∣y)=Eθ[−∂2∂θ2log⁡h(T∣y,θ)∣ Y=y] J(\theta \mid y)=E_{\theta }\left[\left.-\frac{\partial ^{2}}{\partial \theta ^{2}} \log h(T \mid y, \theta ) \right\rvert \, Y=y\right]

а h(t∣y,θ)h(t \mid y, \theta ) — условная плотность TT при заданном Y=yY=y.

(«Условия регулярности» Basu в основном касаются перестановки интегрирования и дифференцирования. Считайте, что все подобные перестановки корректны.)

Задача 2.5.8

Найдите функцию от θ\theta, для которой количество информации не зависит от θ\theta:

?
(a)

для гамма-распределения Γ(α,β)\Gamma (\alpha , \beta ) с известным α\alpha и θ=β\theta =\beta;

(b)

для биномиального распределения b(p,n)b(p, n) с θ=p\theta =p.

Задача 2.5.9

Для обратного биномиального выборочного наблюдения (см. Пример 3.2):

?
(a)

Покажите, что наилучшая несмещённая оценка pp задаётся формулой δ∗(Y)=(m−1)/(Y+m−1)\delta^{*}(Y)=(m-1) /(Y+m-1).

(b)

Покажите, что информация о PP, содержащаяся в YY, равна I(p)=m/p2(1−p)I(p)=m / p^{2}(1-p).

(c)

Покажите, что var⁡δ∗>1/I(p)\operatorname {var} \delta^{*}>1 / I(p).

(Оценку δ∗\delta^{*} можно интерпретировать как долю успехов, если не учитывать последнее испытание, которое, как известно, обязательно является успехом.)

Задача 2.5.10

Покажите, что (5.13) можно продифференцировать, дифференцируя под знаком интеграла, когда pθ(x)p_{\theta }(x) задаётся формулой (5.24), для каждого из распределений Таблицы 5.2. [Указание: Составьте разностное отношение и примените теорему о мажорируемой сходимости.]

?
Задача 2.5.11

Проверьте записи Таблицы 5.2.

?
Задача 2.5.12

Вычислите (5.25), когда ff — плотность распределения Стьюдента (tt-распределения) с vv степенями свободы. [Указание: Используйте тот факт, что

∫−∞∞dx(1+x2)k=Γ(1/2)Γ(k−1/2)Γ(k).] \left.\int _{-\infty }^{\infty } \frac{d x}{\left(1+x^{2}\right)^{k}}=\frac{\Gamma (1 / 2) \Gamma (k-1 / 2)}{\Gamma (k)}.\right]
?
Задача 2.5.13

Для распределения с плотностью (5.24) покажите, что I(θ)I(\theta ) не зависит от θ\theta.

?
Задача 2.5.14

Проверьте

?
(a)

формулу (5.25) и

(b)

формулу (5.27).

Задача 2.5.15

Для tt-плотности сдвига вычислите границу информационного неравенства для несмещённых оценок θ\theta.

?
Задача 2.5.16
?
(a)

Для семейства масштаба с плотностью (1/θ)f(x/θ),θ>0(1 / \theta ) f(x / \theta ), \theta >0, количество информации, которое одно наблюдение XX содержит о θ\theta, равно

1θ2∫[yf′(y)f(y)+1]2f(y)dy \frac{1}{\theta ^{2}} \int \left[\frac{y f^{\prime }(y)}{f(y)}+1\right]^{2} f(y) d y
(b)

Покажите, что информация, которую XX содержит о ξ=log⁡θ\xi =\log \theta, не зависит от θ\theta.

(c)

Для распределения Коши C(0,θ)\mathrm{C}(0, \theta ) имеем I(θ)=1/(2θ2)I(\theta )=1 /\left(2 \theta^{2}\right).

Задача 2.5.17

Если pθ(x)p_{\theta }(x) задаётся формулой 1.5.1 с s=1s=1 и T(x)=δ(x)T(x)=\delta (x), покажите, что var⁡[δ(X)]\operatorname {var}[\delta (X)] достигает нижней границы (5.31) и является единственной оценкой, для которой это выполняется. [Указание: Используйте (5.18) и (1.5.15).]

?
Задача 2.5.18

Покажите, что если данная функция g(θ)g(\theta ) имеет несмещённую оценку, то существует несмещённая оценка δ\delta, которая при всех значениях θ\theta достигает нижней границы (5.1) для некоторой ψ(x,θ)\psi (x, \theta ), удовлетворяющей (5.2), тогда и только тогда, когда g(θ)g(\theta ) имеет UMVU-оценку δ0\delta_{0}. [Указание: По Теореме 5.1, ψ(x,θ)=δ0(x)\psi (x, \theta )=\delta_{0}(x) удовлетворяет (5.2). Для любой другой несмещённой оценки δ\delta имеем cov⁡(δ−δ0,δ0)=0\operatorname {cov}\left(\delta -\delta_{0}, \delta_{0}\right)=0, и, следовательно, var⁡(δ0)=[cov⁡(δ,δ0)]2/var⁡(δ0)\operatorname {var}\left(\delta_{0}\right)=\left[\operatorname {cov}\left(\delta , \delta_{0}\right)\right]^{2} / \operatorname {var}\left(\delta_{0}\right), так что ψ=δ0\psi =\delta_{0} даёт достижимую границу.] (Blyth 1974).

?
Задача 2.5.19

Покажите, что если Eθδ=g(θ)E_{\theta } \delta =g(\theta ) и var⁡(δ)\operatorname {var}(\delta ) достигает границы информационного неравенства (5.31), то

δ(x)=g(θ)+g′(θ)I(θ)∂∂θpθ(x). \delta (x)=g(\theta )+\frac{g^{\prime }(\theta )}{I(\theta )} \frac{\partial }{\partial \theta } p_{\theta }(x).
?
Задача 2.5.20

Если Eθδ=g(θ)E_{\theta } \delta =g(\theta ), то нижняя граница информационного неравенства равна IB(θ)=[g′(θ)]2/I(θ)I B(\theta )=\left[g^{\prime }(\theta )\right]^{2} / I(\theta ). Если θ=h(ξ)\theta =h(\xi ), где hh дифференцируема, покажите, что IB(ξ)=IB(θ)I B(\xi )=I B(\theta ).

?
Задача 2.5.21

Пусть XX — наблюдение из смеси нормальных распределений с плотностью

pθ(x)=122π{e−(1/2)(x−θ)2+e−(1/2)(x+θ)2},θ∈Ω, p_{\theta }(x)=\frac{1}{2 \sqrt{2 \pi }}\left\{ e^{-(1 / 2)(x-\theta )^{2}}+e^{-(1 / 2)(x+\theta )^{2}}\right\} , \theta \in \Omega ,

где Ω\Omega — произвольная окрестность нуля. Таким образом, случайная величина XX имеет либо распределение N(θ,1)N(\theta , 1), либо N(−θ,1)N(-\theta , 1), каждое с вероятностью 1/21 / 2. Покажите, что θ=0\theta =0 является особой точкой, то есть, если несмещённая оценка θ\theta существует, она будет иметь бесконечную дисперсию при θ=0\theta =0.

?
Задача 2.5.22

Пусть X1,…,XnX_{1}, \ldots , X_{n} — выборка из распределения Пуассона (λ)(\lambda ), усечённого слева в 0, то есть с выборочным пространством X={1,2,3,…}\mathcal{X}=\left\{ 1,2,3, \ldots \right\} (см. Задачу 3.20). Покажите, что нижняя граница Крамера—Рао для дисперсии несмещённых оценок λ\lambda равна

λ(1−e−λ)2n(1−e−λ−λe−λ) \frac{\lambda \left(1-e^{-\lambda }\right)^{2}}{n\left(1-e^{-\lambda }-\lambda e^{-\lambda }\right)}

и не достигается UMVU-оценкой. (Однако она является асимптотической дисперсией ML-оценки.)

?
Задача 2.5.23

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с плотностью p(x,θ)p(x, \theta ), положительной при всех xx. Тогда дисперсия любой несмещённой оценки δ\delta величины θ\theta удовлетворяет

var⁡θ0(δ)≥(θ−θ0)2{∫−∞∞[p(x,θ)]2p(x,θ0)}n−1,θ≠θ0 \operatorname {var}_{\theta _{0}}(\delta ) \geq \frac{\left(\theta -\theta _{0}\right)^{2}}{\left\{ \int _{-\infty }^{\infty } \frac{[p(x, \theta )]^{2}}{p\left(x, \theta _{0}\right)}\right\} ^{n}-1}, \quad \theta \neq \theta _{0}
?
Задача 2.5.24

Если X1,…,XnX_{1}, \ldots , X_{n} — независимые одинаково распределённые случайные величины с распределением N(θ,σ2)N\left(\theta , \sigma^{2}\right), где σ\sigma известна, а про θ\theta известно, что она принимает одно из значений 0, ±1, ±2, . . ., то неравенство предыдущей задачи показывает, что любая несмещённая оценка δ\delta ограниченного параметра θ\theta удовлетворяет

var⁡θ0(δ)≥Δ2enΔ2/σ2−1,Δ≠0 \operatorname {var}_{\theta _{0}}(\delta ) \geq \frac{\Delta ^{2}}{e^{n \Delta ^{2} / \sigma ^{2}}-1}, \quad \Delta \neq 0

где Δ=θ−θ0\Delta =\theta -\theta_{0}, и, следовательно, sup⁡Δ≠0var⁡θ0(δ)≥1/[en/σ2−1]\sup_{\Delta \neq 0} \operatorname {var}_{\theta_{0}}(\delta ) \geq 1 /\left[e^{n / \sigma^{2}}-1\right].

?
Задача 2.5.25

При условиях предыдущей задачи пусть Xˉ∗\bar{X}^{*} — ближайшее к Xˉ\bar{X} целое число.

?
(a)

Оценка Xˉ∗\bar{X}^{*} несмещённа для ограниченного параметра θ\theta.

(b)

Существуют такие положительные константы aa и bb, что при всех достаточно больших nvar⁡θ(Xˉ∗)≤ae−bnn \operatorname {var}_{\theta }\left(\bar{X}^{*}\right) \leq a e^{-b n} для всех целых θ\theta.

Задача 2.5.26

Неравенство Кифера.

?
(a)

Пусть XX имеет плотность (относительно μ)p(x,θ)\mu ) p(x, \theta ), которая > 0 при всех xx, и пусть Λ1\Lambda_{1} и Λ2\Lambda_{2} — два распределения на вещественной прямой с конечными первыми моментами. Тогда любая несмещённая оценка δ\delta величины θ\theta удовлетворяет

var⁡(δ)≥[∫ΔdΛ1(Δ)−∫ΔdΛ2(Δ)]2∫ψ2(x,θ)p(x,θ)dμ(x) \operatorname {var}(\delta ) \geq \frac{\left[\int \Delta d \Lambda _{1}(\Delta )-\int \Delta d \Lambda _{2}(\Delta )\right]^{2}}{\int \psi ^{2}(x, \theta ) p(x, \theta ) d \mu (x)}

где

ψ(x,θ)=∫Ωθp(x,θ+Δ)[dΛ1(Δ)−dΛ2(Δ)]p(x,θ) \psi (x, \theta )=\frac{\int _{\Omega _{\theta }} p(x, \theta +\Delta )\left[d \Lambda _{1}(\Delta )-d \Lambda _{2}(\Delta )\right]}{p(x, \theta )}

с Ωθ={Δ:θ+ΔεΩ}\Omega_{\theta }=\left\{ \Delta : \theta +\Delta_{\varepsilon } \Omega \right\}.

(b)

Если Λ1\Lambda_{1} и Λ2\Lambda_{2} приписывают вероятность 1 значениям Δ=0\Delta =0 и Δ\Delta соответственно, неравенство сводится к (5.6) с g(θ)=θg(\theta )=\theta. [Указание: Примените (5.1).] (Kiefer 1952.)

Задача 2.5.27

Проверьте непосредственно, что следующие семейства плотностей удовлетворяют (5.38).

?
(a)

Экспоненциальное семейство из (1.5.1),

pη(x)=h(x)eηT(x)−A(η). p_{\eta }(x)=h(x) e^{\eta T(x)-A(\eta )}.
(b)

tt-семейство сдвига из Примера 5.16.

(c)

Логистическая плотность из Таблицы 1.4.1.

Задача 2.5.28

Распространите условие (5.38) на векторные параметры и покажите, что оно выполняется для экспоненциального семейства (1.5.1) при s>1s>1.

?
Задача 2.5.29

Покажите, что предположение (5.36(b)) влечёт (5.38), так что Теорема 5.15 фактически является следствием Теоремы 5.10.

?
Задача 2.5.30

Покажите, что (5.38) выполняется, если верно одно из следующих условий:

?
(a)

∣∂log⁡pθ/∂θ∣\left|\partial \log p_{\theta } / \partial \theta \right| ограничена.

(b)

[pθ+Δ(x)−pθ(x)]/Δ→∂log⁡pθ/∂θ\left[p_{\theta +\Delta }(x)-p_{\theta }(x)\right] / \Delta \rightarrow \partial \log p_{\theta } / \partial \theta равномерно.

Задача 2.5.31
?
(a)

Покажите, что если (5.38) выполняется, то семейство плотностей сильно дифференцируемо (см. Замечание 8.6).

(b)

Покажите, что сильная дифференцируемость влечёт слабую дифференцируемость.

Задача 2.5.32

Brown and Gajek (1990) приводят два различных достаточных условия для выполнения (8.2), которые указаны ниже. Покажите, что каждое из них влечёт (8.2). (Заметим, что при переходе от (a) к (b) условия становятся слабее, а значит, более широко применимыми и труднее проверяемыми.)

?
(a)

Для некоторого B<∞B<\infty

Eθ0[∂2∂θ2pθ(X)/pθ0(X)]2<B E_{\theta _{0}}\left[\frac{\partial ^{2}}{\partial \theta ^{2}} p_{\theta }(X) / p_{\theta _{0}}(X)\right]^{2}<B

для всех θ\theta из окрестности θ\theta.

(b)

Если pt∗(x)=∂/∂θpθ(x)∣θ=tp_{t}^{*}(x)=\partial /\left.\partial \theta p_{\theta }(x)\right|_{\theta =t}, то

lim⁡Δ→0Eθ0[pθ0+Δ∗(X)−pθ0∗(X)pθ0(X)]2=0. \lim _{\Delta \rightarrow 0} E_{\theta _{0}}\left[\frac{p_{\theta _{0}+\Delta }^{*}(X)-p_{\theta _{0}}^{*}(X)}{p_{\theta _{0}}(X)}\right]^{2}=0.
Задача 2.5.33

Пусть F\mathcal{F} — класс всех унимодальных симметричных плотностей или, более общо, плотностей, симметричных относительно нуля и удовлетворяющих f(x)≤f(0)f(x) \leq f(0) при всех xx. Покажите, что

min⁡f∈F∫x2f(x)dx=112, \min _{f \in \mathcal{F}} \int x^{2} f(x) d x=\frac{1}{12},

и что минимум достигается равномерным распределением (−12,12)\left(-\frac{1}{2}, \frac{1}{2}\right). Таким образом, равномерное распределение имеет минимальную дисперсию среди симметричных унимодальных распределений. (О свойствах масштабного равномерного распределения при больших выборках см. Пример 4.8.6.) [Указание: Побочное условие ∫f(x)dx=1\int f(x) d x=1 вместе с методом неопределённых множителей приводит к эквивалентной задаче — минимизации ∫(x2−a2)f(x)dx\int \left(x^{2}-a^{2}\right) f(x) d x, где aa выбирается так, чтобы удовлетворить ограничению. Здесь сработает рассуждение типа Неймана—Пирсона.]

?
§
Задача 2.6.1

Для произвольных случайных величин (ψ1,…,ψs)\left(\psi_{1}, \ldots , \psi_{s}\right) покажите, что матрицы ∥Eψiψj∥\left\| E \psi_{i} \psi_{j}\right\| и C=∥cov⁡(ψi,ψj)∥C= \left\| \operatorname {cov}\left(\psi_{i}, \psi_{j}\right)\right\| положительно полуопределены.

?
Задача 2.6.2

В этой задаче мы установим некоторые факты о собственных значениях и собственных векторах квадратных матриц. (Более общее изложение см., например, Marshall and Olkin 1979, глава 20.) Мы используем тот факт, что скаляр λ>0\lambda >0 является собственным значением симметричной матрицы AA размера n×nn \times n, если существует вектор pp размера n×1n \times 1 — соответствующий собственный вектор, — удовлетворяющий Ap=λpA p=\lambda p. Если AA невырождена, существует nn собственных значений с соответствующими линейно независимыми собственными векторами.

?
(a)

Покажите, что A=P′DλPA=P^{\prime } D_{\lambda } P, где DλD_{\lambda } — диагональная матрица собственных значений AA, а PP — матрица размера n×nn \times n, строками которой являются соответствующие собственные значения, удовлетворяющая P′P=PP′=IP^{\prime } P=P P^{\prime }=I, где II — единичная матрица.

(b)

Покажите, что max⁡xx′Axx′x=\max_{x} \frac{x^{\prime } A x}{x^{\prime } x}= наибольшему собственному значению AA.

(c)

Если BB — невырожденная симметричная матрица с представлением через собственные векторы и значения B=Q′DβQB=Q^{\prime } D_{\beta } Q, то max⁡xx′Axx′Bx=\max_{x} \frac{x^{\prime } A x}{x^{\prime } B x}= наибольшему собственному значению A∗A^{*}, где A∗=Dβ−1/2QAQ′Dβ−1/2A^{*}= D_{\beta }^{-1 / 2} Q A Q^{\prime } D_{\beta }^{-1 / 2}, а Dβ−1/2D_{\beta }^{-1 / 2} — диагональная матрица, элементы которой являются обратными величинами квадратных корней из собственных значений BB.

(d)

Для произвольных квадратных матриц CC и DD покажите, что собственные значения матрицы CDC D совпадают с собственными значениями матрицы DCD C, и, следовательно, max⁡xx′Axx′Bx=\max_{x} \frac{x^{\prime } A x}{x^{\prime } B x}= наибольшему собственному значению AB−1A B^{-1}.

(e)

Если A=aa′A=a a^{\prime }, где aa — вектор размера n×1n \times 1 (AA — таким образом, матрица ранга 1), то max⁡xx′aa′xx′Bx=a′B−1a\max_{x} \frac{x^{\prime } a a^{\prime } x}{x^{\prime } B x}= a^{\prime } B^{-1} a.

Задача 2.6.3

Альтернативное доказательство Теоремы 6.1 использует метод множителей Лагранжа (или неопределённых множителей). Покажите, что при фиксированном γ\gamma максимальное значение a′γa^{\prime } \gamma при ограничении a′Ca=1a^{\prime } C a=1 достигается на решениях уравнения

∂∂ai{a′γ−12λ[a′Ca−1]}=0, \frac{\partial }{\partial a_{i}}\left\{ a^{\prime } \gamma -\frac{1}{2} \lambda \left[a^{\prime } C a-1\right]\right\} =0,

где λ\lambda — неопределённый множитель. (Решение: a=±C−1γ/γ′C−1γa= \pm C^{-1} \gamma / \sqrt{\gamma^{\prime } C^{-1} \gamma }.)

?
Задача 2.6.4

Докажите (6.11) при условиях, указанных в тексте.

?
Задача 2.6.5

Проверьте

?
(a)

информационные матрицы из Таблицы 6.1 и

(b)

формулы (6.15) и (6.16).

Задача 2.6.6

Если p(x)=(1−ε)ϕ(x−ξ)+(ε/τ)ϕ[(x−ξ)/τ]p(x)=(1-\varepsilon ) \phi (x-\xi )+(\varepsilon / \tau ) \phi [(x-\xi ) / \tau ], где ϕ\phi — стандартная нормальная плотность, найдите I(ε,ξ,τ)I(\varepsilon , \xi , \tau ).

?
Задача 2.6.7

Проверьте выражения (6.20) и (6.21).

?
Задача 2.6.8

Пусть A=(A11A12A21A22)A=\left(\begin{array}{ll}A_{11} & A_{12} \\ A_{21} & A_{22}\end{array}\right) — блочная матрица, где A22A_{22} квадратная и невырожденная, и пусть

B=(I−A12A22−10I). B=\left(\begin{array}{cc} I-A_{12} A_{22}^{-1} 0 & I \end{array}\right).

Покажите, что ∣A∣=∣A11−A12A22−1A21∣⋅∣A22∣\left|A\right|=\left|A_{11}-A_{12} A_{22}^{-1} A_{21}\right| \cdot \left|A_{22}\right|.

?
Задача 2.6.9
?
(a)

Пусть

A=(ab′bC) A=\left(\begin{array}{ll} a & b^{\prime } \\ b & C \\ \end{array}\right)

где aa — скаляр, а bb — матрица-столбец, и предположим, что AA положительно определена. Покажите, что ∣A∣≤a∣C∣\left|A\right| \leq a\left|C\right|, причём равенство достигается тогда и только тогда, когда b=0b=0.

(b)

В более общем случае, если матрица AA из Задачи 6.8 положительно определена, покажите, что ∣A∣≤∣A11∣⋅∣A22∣\left|A\right| \leq \left|A_{11}\right| \cdot \left|A_{22}\right|, причём равенство достигается тогда и только тогда, когда A12=0A_{12}=0.

Задача 2.6.10
?
(a)

Покажите, что если матрица AA невырождена, то для произвольного вектора xx выполняется (x′Ax)(x′A−1x)>(x′x)2\left(x^{\prime } A x\right)\left(x^{\prime } A^{-1} x\right)> \left(x^{\prime } x\right)^{2}.

(b)

Покажите, что в обозначениях Теоремы 6.6 и последующего изложения

[∂∂θiEθδ]2Iii(θ)=(εi′α)2εi′I(θ)εi, \frac{\left[\frac{\partial }{\partial \theta _{i}} E_{\theta } \delta \right]^{2}}{I_{i i}(\theta )}=\frac{\left(\varepsilon _{i}^{\prime } \alpha \right)^{2}}{\varepsilon _{i}^{\prime } I(\theta ) \varepsilon _{i}},

и что если α=(0,…,0,αi,0,…0)\alpha =\left(0, \ldots , 0, \alpha_{i}, 0, \ldots 0\right), то α′I(θ)−1α=(εi′α)2εi′I(θ)−1εi\alpha^{\prime } I(\theta )^{-1} \alpha =\left(\varepsilon_{i}^{\prime } \alpha \right)^{2} \varepsilon_{i}^{\prime } I(\theta )^{-1} \varepsilon_{i}, и, следовательно, установите (6.25).

Задача 2.6.11

Докажите, что (6.26) необходимо для равенства в (6.25). [Указание: Задача 6.9(a).]

?
Задача 2.6.12

Докажите неравенство Бхаттачарьи (6.29) и покажите, что условие равенства таково, как указано.

?