Use the maximizing form of the Pontryagin maximum principle. For a cost-minimization problem there are a nonnegative multiplier and a costate , not both identically zero, with Hamiltonian . The optimal control maximizes , the costate obeys , and free terminal time at the fixed terminal state zero gives . There is no fixed terminal costate value since the terminal state is fixed. In the normal case scale .
For the energy problem , , , so is constant and the normal Hamiltonian is , where . Maximization gives full power for and zero power for ; either value, or a fractional value, is allowed on a price tie. On the final active arc, the free-time condition gives
This is the threshold energy scheduling with a completion reward rule. In this example the normal case is justified: an abnormal constant costate would require either no processing or processing at all times, and free-time transversality would then force that nonzero costate to vanish.
For , processing starts at . Energy is completed at , before the price rises again. Its cost and reward are
Any threshold carrying completion into day two has and reward at most . Since energy cost is nonnegative, , so it is suboptimal.
For a global check, even any completion time has reward at most and cannot beat the displayed candidate. Also since power is bounded by one. At a fixed , the cheapest half-unit of processing consists of the last half-unit interval : every earlier point has a price at least as large as every selected point. Exchanging any earlier powered interval with a later unpowered cheaper one proves this rearrangement claim, also for fractional controls.
Write . This minimal cost minus reward is
with
It has its unique minimum at , where . The selected interval is then and its threshold is . Consequently
The terminal condition also checks: .
A sufficient statistic has a conditional distribution of the data given that does not depend on the parameter. In a dominated family, the factorization criterion for sufficiency states that this is equivalent to for a nonnegative parameter-free . Bayes' formula then gives a posterior distribution proportional to , because cancels from numerator and normalizing denominator. Thus the posterior depends on the data only through .
For the normal sample,
The first term is parameter-free, so the factorization proves sufficiency of . Combining its likelihood with the normal prior and completing the square gives
The prior predictive distribution of the sample mean is obtained from , independent of :
Define the Bayes factor as the marginal likelihood under divided by that under . The common residual factor cancels, so it is the ratio of the densities of under these two hypotheses:
The reverse Bayes factor is its reciprocal. At ,
for a fixed positive . Thus the frequentist test is at its rejection threshold while fixed prior odds give increasingly strong posterior support for the point null. This is the Jeffreys-Lindley paradox for a Gaussian point null: the standardized statistic stays fixed, but the observed effect tends to zero and the fixed-scale alternative spreads predictive mass much more widely. There is no logical contradiction, since the procedures compare hypotheses using different calibrations. For the degenerate the hypotheses coincide and .

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