Differentiate the Friedmann equation
and use the cosmological perfect-fluid continuity equation
After dividing by ,
Since , eliminating the curvature term gives the Friedmann acceleration equation
Under the strong energy condition in a Friedmann universe, , so . Therefore
and wherever ,
If , integrating the inequality backward shows that reaches zero no later than . Thus and at a finite time in the past. If , the same argument forward in time makes and at a finite future time. The sign of distinguishes an expanding universe with a past Big Bang from a contracting universe ending in a Big Crunch. Hence a Friedmann universe obeying the strong energy condition cannot remain nonsingular for unlimited proper time in both directions.
The generalized momenta conjugate to the two ignorable coordinates are
and
Since the Lagrangian contains neither nor , both momenta are constant in time.
Eliminating the two angular velocities gives
Conservation of energy then yields the heavy symmetric top reduction
where
As , the first term diverges unless
Writing their common value as , the small-angle expansion is
By the effective potential stability criterion, the vertical state is stable exactly when
At the vertical state , so this is the gyroscopic stabilization of an inverted symmetric top by sufficiently rapid spin.
Taking the Laplace transform in and using the zero initial condition gives
The solution bounded as is
The transformed boundary condition is
so this is the sinusoidally forced heat equation on a half-line. Integrating in gives
Use the principal square root, with a branch cut along the negative real axis. The Bromwich contour is a vertical line to the right of and the branch point . For , close it in the left half-plane, indent around the cut, and let the large semicircle recede. The simple poles at contribute
Hence
On the upper and lower sides of the cut, put ; the two values of are and . Their jump and the opposite contour orientations combine to give
This is precisely Bromwich inversion with a square-root branch cut: the residues produce the permanent periodic response, while the cut integral is the transient that decays with time.
The log density is
Its kink occurs at the unknown location , so its parameter dependence cannot be separated into a fixed finite-dimensional statistic of and the smooth canonical form required of an exponential dispersion family. Thus the two-parameter location-scale Laplace distribution is not such a family.
For independent observations, the log-likelihood is
For every fixed , maximizing this expression in is equivalent to minimizing . Hence
the least absolute deviations estimator. At this value,
so, in the nondegenerate case ,

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