Proof of Fischer's Information
Variance can also be shown as differences between the expected value of the square of event Y and the square of the expected value of Y. This theorem is proven below:
$ \begin{align} \bar Var(Y) &= E[(Y-E(Y))^2]\\ &= E[Y^2-2YE[Y]+(E[Y])^2]\\ &= E[Y^2]-2(E[Y])^2+(E[Y])^2\\ &= E[Y^2] - (E[Y])^2 \end{align} $
note: This definition is used often in statistics and therefore I will not be explaining the derivation of this identity. If you would like to know more, check our "More Sources" tab.
Using the identity of variance above, we can show that Continuing the calculation above using the identity above, we can show:
$ I(θ) = var(s(θ;X)) = E[(s(θ;X))^2] - (E[s(θ;X)])^2 $
As you can see we already have our E[(s(θ;X))^2] term which is part of our definition. From here, we can use integrals to make $ (E[s(θ;X)])^2 $ 0 so that the identity above is true.
Recall that the score function is equal to the gradient with respect to θ of the natural log of the likelihood function with parameters θ and X. Also denoted like this:
$ s(θ;X) = \nabla [ln(L(θ,X))] $
From here,
$ \begin{align} \bar E[(s(θ;X))] &= E[\nabla [ln(L(θ,X))]]\\ &=\int \nabla [ln(L(θ,X))] \end{align} $
