For any ,
If the normal equation holds, the last two terms reduce to , so minimizes. Conversely, at a minimizer the directional derivative in every vanishes, forcing .
On , put , so . The Taylor polynomials
converge uniformly there to . Moreover
For all sufficiently large , the uniform error is below half this lower bound, so whenever . Every zero therefore lies in .
In the positive-recurrent case, let . Detailed balance for the length chain requires
so, with ,
Normalization gives . The self-loop at zero makes the length chain aperiodic, so the convergence theorem for irreducible positive-recurrent aperiodic Markov chains gives
Put
The length process is a nearest-neighbour chain on the nonnegative integers: away from zero it moves up with probability and down with probability , while at zero it moves up with probability and stays put with probability .
Returns of the original chain to the root are exactly returns of to zero, so their recurrence classifications agree. The reflected biased random walk on the nonnegative integers is transient when , null recurrent when , and positive recurrent when . Since , the conditions are respectively
Irreducibility transfers the classification from the root to every state.
From any vertex, following the parent edge repeatedly reaches the root with positive probability . From the root, any prescribed binary string can be reached by following its bits, with positive probability . Thus every state communicates with every other state and the chain is irreducible.
At the root there is a self-loop of probability , so the root has period one. All states of an irreducible chain have the same period; hence the chain is aperiodic.
The Rao-Blackwell theorem suggests conditioning on . Part (d) gives
It remains unbiased. Since and a normal variable with mean and variance satisfies ,
This is strictly below for every . The calculation is recorded as the Rao-Blackwell estimator of a squared normal mean.
The pair is jointly normal, with
The conditional distribution of a bivariate normal variable is therefore
Equivalently, its conditional density is
Writing with gives
so is unbiased. Its mean square error is therefore its variance. Since
we obtain
Expanding the exponent gives
The Fisher-Neyman factorization theorem therefore shows that is sufficient.
It is also minimal sufficient. For two sample points ,
where is independent of . This ratio is independent of exactly when . The likelihood-ratio criterion for minimal sufficiency applies, proving the claim and the general normal sample sum with known variance result in this case.
Independence gives
Yes. The Euler recurrence is
Write , where and . For , the numerical values agree with the exact linear descent. If , the method reaches zero and stays there. If , then
and the recurrence thereafter alternates between and . The exact solution is then zero, while both numerical values have magnitude at most . Thus, uniformly for ,
This is the explicit Euler method for the sign-decay equation.
The function
is continuous, satisfies the equation away from , and has unequal one-sided derivatives there.
It is unique in the stated class. While a solution is positive its derivative is , so continuity forces it to follow until it first reaches zero at . It cannot subsequently make a positive excursion: on any connected interval where and , integration of gives . A negative excursion similarly contradicts . Hence the solution remains zero. This is the sign-decay differential equation.
The function is not Lipschitz on . For ,
which is unbounded as .

There are unlisted articles, also show them or only show them.