Fick's first law gives the diffusive flux
Local conservation says , and therefore
For , conservation of the deposited amount requires
The dimensions satisfy and . Thus has dimension , so the similarity length is . Requiring the concentration scale to have dimension gives
Hence
In polar coordinates, substitution into
gives
Multiplying by and integrating once, with regularity and zero radial flux at the origin, yields
Where , this reduces to , so
Nonnegativity and zero flux at the moving front give the compactly supported profile
The normalization gives
and hence and . This is the Two-dimensional Barenblatt solution with diffusivity proportional to concentration, and its support radius is
so .
Now add the linear reaction term and write
Substitution cancels the terms and leaves
Choosing
produces , as in the linear-reaction time change for quadratic nonlinear diffusion. Therefore
For , the front grows like while the central concentration decays like . For , , so the front grows like and the central concentration like . For , : the front approaches a finite limiting radius while the concentration decays exponentially to zero.
A state is accessible when
for some word . States and are equivalent, or indistinguishable, when
for every continuation .
This equivalence is preserved by transitions: if , then . Hence define with states , initial state , transition
and accepting classes with . Induction on word length gives
so and its quotient deterministic finite automaton by indistinguishable states accept the same language. If two quotient states were equivalent, their representatives would be equivalent in , so the classes would be equal. Thus no two distinct quotient states are equivalent.
For the unary alphabet, accessibility means that all states occur on the orbit
Finiteness makes this orbit a directed tail entering a directed cycle. The quotient retains exactly one accepting state and merges precisely those positions having the same future acceptance pattern.
More explicitly, if the unique accepting state lies before the cycle, every state after it can never reach acceptance and these states collapse to one rejecting sink. The minimal diagram is then a directed chain from the initial state through the unique accepting state and onward to that sink, which has a self-loop.
If the accepting state lies on the cycle, all cycle states are distinct because their next visits to the accepting state occur in different residue classes modulo the cycle length. Any remaining tail is a chain feeding the cycle. In a minimal diagram with a nonempty tail, the accepting state is the cycle vertex immediately preceding the entry vertex; otherwise the final tail state has the same future acceptance sequence as a cycle state and would be merged. A pure cycle with one accepting vertex is also possible. These are exactly the minimal accessible unary DFAs with one accepting state.
By the shell theorem, only the mass inside the particle's radius contributes:
The conserved Newtonian energy per unit particle mass is
Writing and using conservation of enclosed mass, so that is constant, gives
This is the first Friedmann equation without a cosmological constant.
The derivation has two central defects. It uses instantaneous Newtonian gravity and omits the relativistic gravitational effect of pressure, so it is not valid for general cosmological matter. It also starts from a finite ball with a preferred centre and boundary, contrary to exact homogeneity and isotropy; the assumption only hides that defect locally.
Order the phase-space coordinates as
Then Hamilton's equations are
The Poisson bracket is
For with Jacobian , the chain rule gives
This has Hamiltonian form with the same canonical matrix for every exactly when
Taking determinants gives ; the symplectic condition fixes the orientation, so . Hence the change-of-variables formula shows that the phase-space volume element is invariant. This is Liouville theorem in Hamiltonian mechanics.
Choose paths from to in the cut plane and deform them continuously with the endpoint, never crossing the specified cut. With , use the sheet reached from the positive real axis; when an endpoint is moved into the left half-plane, the path passes around the upper endpoint of the cut. The cut makes all such admissible paths homotopic with fixed endpoints, so the integral is single valued and its endpoint derivative is ; hence it is analytic.
For , continue the endpoint counterclockwise from the positive real axis through the upper half-plane. In
the continued square root equals at . The logarithm is reached with argument , and therefore
The identities
show directly why continuation without an argument restriction is multivalued. The complete set of values of the multivalued inverse hyperbolic sine at is

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