Let be a chain map, so
If is a cycle, then , so is a cycle. If is a boundary, then
is a boundary. Hence
is a well-defined induced map on homology.
The maps and are chain homotopic if there are homomorphisms
such that
For a cycle , this gives
which is a boundary. Thus and on homology.
Now consider the proposed mapping cone . Applying its differential twice gives
The diagonal entries vanish because and are chain complexes, and the lower-left entry is
by the chain-map identity. Therefore and is a chain complex.
There is a short exact sequence of chain complexes
where
Its long exact sequence in homology is
To identify the connecting map, represent a class in by a cycle and lift it to . Then
so
At the preceding occurrence the degree is , giving . Hence the sequence is exactly
Finally suppose . Define
A direct calculation gives
These are equal precisely because . Thus is a chain map. Replacing the plus sign in its definition by a minus sign gives its inverse, so and are isomorphic as chain complexes.
Apply the continued-fraction algorithm. Since ,
The successive complete quotients are
and
Taking one more reciprocal returns to , so the continued fraction of the square root of eleven is
Write
The first convergents are and , whence
The continued fraction convergent recurrence is
where for even and for odd .
Set
If is even and , then
because . If is odd and , then
because . The base case and induction prove the alternating multiplier recurrence for convergents of the square root of eleven:
Schur lemma says that an intertwining linear map between irreducible finite-dimensional complex representations is either zero or an isomorphism. In particular, every endomorphism of an irreducible complex representation is a scalar multiple of the identity.
A continuous representation of a topological group is a continuous homomorphism
for a finite-dimensional complex vector space . It is a unitary representation if has a positive-definite Hermitian inner product for which
for every and .
For , start with any positive-definite Hermitian form and average it using normalized Haar measure:
Translation invariance makes this form -invariant, and positivity is preserved, proving unitarity. Since is abelian, the operators commute; since they are unitary, they are normal. Simultaneous diagonalization therefore decomposes into common one-dimensional eigenspaces. Thus every representation of the circle group is a direct sum of one-dimensional representations.
Write
The group law and inverse are
A calculation gives
Every element of the centre occurs by taking, for example, and . Hence the commutator subgroup is exactly . The image of a one-dimensional representation is abelian, so the one-dimensional representation kills the commutator subgroup and its kernel contains .
Now let be a complex representation of . Its restriction to the central subgroup
is a representation of the circle group. Decompose it into its distinct weight spaces:
Because is central, every commutes with its action and preserves every common eigenspace. Thus the are -subrepresentations, as asserted by the central circle weight-space decomposition.
Let . The map
is a one-dimensional representation of ; after composition with , its kernel contains . On its value is
so . A continuous character of has the form ; the displayed identity forces . Therefore every is trivial. Since the were distinct, and .
It follows that every finite-dimensional complex representation of kills the entire nontrivial central circle . Its kernel is therefore nontrivial, so no such representation is faithful. This is the real Heisenberg quotient has no faithful finite-dimensional representation.
A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this is
equivalently .
Suppose a type-two generating function for a canonical transformation defines
Then
Equality of the mixed partial derivatives gives , so the transformation is canonical wherever it is locally invertible.
For
the fundamental theorem of calculus and differentiation under the integral sign give
Thus
and in particular .
For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply . Hamilton's equations become
Therefore
and transformation back gives the familiar solution
Now consider the weak quartic oscillator
Choose the modified generating function
It gives
so the transformed Hamiltonian is again . Hence and . Expanding the square root with the Taylor series gives
Differentiation with respect to therefore yields
where
Set and
Writing and expanding the inverse sine relation at gives
Expanding similarly gives
Consequently
Since , this is the required expression. The formula is understood away from turning points where and the ratio itself is singular.
This is a birth-death process with birth and death rates
Its transition diagram has the two arrows
The gain into state comes from a death in state or a birth in state , while the loss is the sum of both rates out of state . The birth-death master equation is consequently
Multiplying by , summing over the nonnegative integers, and shifting the summation indices shows that each birth contributes and each death contributes . Thus the first-moment equation of a birth-death process gives
At a stationary state, use the variance identity . Solving the resulting quadratic equation gives
The minus root is inadmissible whenever it is negative, namely when . Equality would give zero mean, which is also incompatible with a positive immigration rate , so for the minus branch requires even to be a possible mean.
For a continuum approximation, write and . Applying the Kramers-Moyal expansion to the two gain terms and retaining derivatives through second order gives the Fokker-Planck equation
where the negative drift and infinitesimal jump variance are
This truncation requires the typical population and the scale on which varies to be much larger than the unit jump size, with the rates varying smoothly across that scale.
The positive zero of is
so in particular as . Put . The linear noise approximation uses
where
and, because ,
In a stationary state with zero Fokker-Planck probability current,
Its normalized solution is the normal distribution
It follows that
These estimates agree with the exact stationary first-moment relation on its plus branch to leading order: inserting gives . Moreover,
Thus the stationary mass lies far from the boundary , is narrow relative to its mean, yet changes across many lattice sites. These are precisely the large-population and slow-variation conditions needed for the diffusion approximation.

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