Наблюдаемая информация Фишера при преобразовании

$\theta\mapsto g(\theta)=\psi$

L^{*} (ψ) = max_{{θ : g (θ) = ψ}} L (θ)

$L^*(\psi)=\max_{\{\theta:g(\theta)=\psi\}} L(\theta)$

g

$g$

L^{*} (ψ) = L (g^{- 1} (ψ))

$L^*(\psi)=L(g^{-1}(\psi))$

θ

$\theta$

g

$g$

I^{*} (g (\hat{θ})) = I (\hat{θ}) {| \frac{\partial g (\hat{θ})}{\partial \hat{θ}} |}^{- 2},

$I^*(g(\hat{\theta}))=I(\hat{\theta})\left|\frac{\partial g(\hat{\theta})}{\partial \hat{\theta}}\right|^{-2},$ где - наблюдаемая информация Фишера, а .

I (θ) = - \frac{\partial^{2}}{\partial θ^{2}} l (θ)

$I(\theta)=-\frac{\partial^2}{\partial\theta^2} l(\theta)$

l (θ) = \log L (θ)

$l(\theta)=\log L(\theta)$

Если взаимно однозначно, то это просто с использованием правила цепочки и принципа инвариантности. Мне просто интересно несколько вещей: $g$

Почему он настаивает на написании абсолютной стоимости? Это может быть опущено, верно?
По он означает функцию оцениваются в , верно? Если это так, то не плохой ли выбор обозначений? Я полагаю, что обычной сокращенной записью для этого мира было бы . $\frac{\partial g(\hat{\theta})}{\partial \hat{\theta}}$ $\frac{\partial g(\theta)}{\partial \theta}$ $\theta=\hat{\theta}$ $\frac{\partial g(\hat{\theta})}{\partial \theta}$
Как это показано, когда не обязательно один к одному? $g$

mathematical-statistics inference likelihood fisher-information Стефан Хансен
источник

Ответы:

Абсолютное значение не требуется. Это может быть просто опечатка.
Ты прав. Еще лучшая запись была бы . $\frac{dg(\theta)}{d\theta}\Bigg|_{\theta=\hat{\theta}}$
В общем, это не так. Исправьте некоторые и определите помощью . Значения rhs будут неопределенными, поскольку производная равна нулю для каждого . $\psi_0$ $g:\mathbb{R}\to\mathbb{R}$ $g(\theta)=\psi_0$ $\theta$

Эскиз обычного кейса:

Для гладких взаимно однозначных с . Поскольку , мы имеем Поэтому $g$ $\psi=g(\theta)$ $d/d\psi = d\theta/d\psi\cdot d/d\theta$

\begin{aligned} I^{*} (ψ) & = - \frac{d^{2} L^{*} (ψ)}{d ψ^{2}} = - \frac{d}{d ψ} (\frac{d L^{*} (ψ)}{d ψ}) = - \frac{d}{d ψ} (\frac{d L^{*} (ψ)}{d θ} \frac{d θ}{d ψ}) \\ = - \frac{d^{2} L^{*} (ψ)}{d θ^{2}} {(\frac{d θ}{d ψ})}^{2} - \frac{d L^{*} (ψ)}{d θ} \frac{d^{2} θ}{d ψ^{2}} \frac{d θ}{d ψ} . \end{aligned}

$\begin{align} I^*(\psi) &= -\frac{d^2L^*(\psi)}{d\psi^2} = -\frac{d}{d\psi}\left(\frac{dL^*(\psi)}{d\psi} \right) = -\frac{d}{d\psi}\left(\frac{dL^*(\psi)}{d\theta} \frac{d\theta}{d\psi}\right) \\ &= - \frac{d^2L^*(\psi)}{d\theta^2}\left(\frac{d\theta}{d\psi}\right)^2 - \frac{dL^*(\psi)}{d\theta}\frac{d^2\theta}{d\psi^2} \frac{d\theta}{d\psi}\, . \end{align}$

\begin{aligned} I^{*} (g (\hat{θ})) & = - \frac{d^{2} L^{*} (g (\hat{θ}))}{d θ^{2}} {(\frac{d θ}{d ψ})}^{2} - \frac{d L^{*} (g (\hat{θ}))}{d θ} \frac{d^{2} θ}{d ψ^{2}} \frac{d θ}{d ψ} \\ = - \frac{d^{2} L (g^{- 1} (g (\hat{θ})))}{d θ^{2}} {(\frac{d g (θ)}{d θ} |_{θ = g^{- 1} (g (\hat{θ}))})}^{- 2} - \frac{d L (g^{- 1} (g (\hat{θ})))}{d θ} \frac{d^{2} θ}{d ψ^{2}} \frac{d θ}{d ψ} \\ = I (\hat{θ}) {(\frac{d g (θ)}{d θ} |_{θ = \hat{θ}})}^{- 2}, \end{aligned}

$\begin{align} I^*(g(\hat{\theta})) &= -\frac{d^2L^*(g(\hat{\theta}))}{d\theta^2}\left(\frac{d\theta}{d\psi}\right)^2 - \frac{dL^*(g(\hat{\theta}))}{d\theta}\frac{d^2\theta}{d\psi^2} \frac{d\theta}{d\psi} \\ &= -\frac{d^2L(g^{-1}(g(\hat{\theta})))}{d\theta^2} \left(\frac{dg(\theta)}{d\theta}\Bigg|_{\theta=g^{-1}(g(\hat{\theta}))}\right)^{-2} - \frac{dL(g^{-1}(g(\hat{\theta})))}{d\theta}\frac{d^2\theta}{d\psi^2} \frac{d\theta}{d\psi} \\ &= I(\hat{\theta}) \left(\frac{dg(\theta)}{d\theta}\Bigg|_{\theta=\hat{\theta}}\right)^{-2} \, , \end{align}$ в котором мы использовали .

d L (g^{- 1} (g (\hat{θ}))) / d θ = d L (\hat{θ}) / d θ = 0

$dL(g^{-1}(g(\hat{\theta})))/d\theta=dL(\hat{\theta})/d\theta=0$

Zen
источник

Спасибо за решение всех моих сомнений и за этот простой контрпример с постоянной . Твой эскиз обычного дела похож на то, что я сделал, так что все хорошо. Спасибо.

g

$g$

Стефан Хансен