inversion in a circle with center and radius is , with and infinity interchanged. It fixes the circle pointwise and reverses complex orientation. Each inversion is fractional-linear in , so composing two eliminates the conjugation and gives with nonzero determinant: a Möbius transformation.
Translate and rotate two distinct centers to , where , and let the radii be . The composition of inversion in the first circle followed by the second is
Its fixed points solve . The discriminant is
Disjoint circle boundaries require either or , so both factors have the same nonzero sign and . There are two distinct fixed points on the line of centers. If the circles are concentric, their radii differ and the composition is , with exactly the two fixed points . Thus the composition has two distinct fixed points, also for nested disjoint circles. Reversing the order inverts the Möbius transformation and leaves its fixed points unchanged.
In the nonrelativistic dilute regime, and , so the Bose or Fermi correction in the denominator is negligible. The common Maxwell-Boltzmann distribution approximation gives
Differentiating the quoted Gaussian integral with respect to its squared scale gives . Therefore
chemical equilibrium of requires . Apply the density formula to each species to obtain
Using , the specified , and , , gives
For and , the corresponding deuterium equilibrium abundance is
The very small baryon-to-photon ratio means that even the high-energy tail contains many photons per baryon capable of destroying deuterium when is of order . Substantial deuterium survives only after that tail has been exponentially suppressed, so must be large enough to offset the small prefactor. This is the deuterium bottleneck, not a threshold set just by equality of thermal energy and binding energy. The degeneracy is used as stipulated for this calculation.
With , the weighted inner product for the Chebyshev polynomials becomes
The identity and the vanishing of for positive integers give zero when , when , and when . Thus
For Gaussian quadrature, choose the distinct nodes as the zeros of the degree- orthogonal polynomial for the weight, here , and choose the weights as the weighted integrals of their Lagrange interpolation basis functions. If a polynomial has degree at most , divide it as , where both and have degree at most . Orthogonality makes the integral of zero, while its quadrature sum also vanishes; interpolation integrates exactly. This proves degree exactness. It is optimal because the squared nodal polynomial, of degree , has zero quadrature sum and strictly positive integral.
For , , so the nodes are . Their interpolation basis functions are
The weighted zeroth and second moments are and , and the first moment is zero. Integrating these three basis functions gives equal weights , hence the Chebyshev–Gauss quadrature rule
which is exact for every polynomial of degree at most .
For a time-independent Quantum Hamiltonian, a stationary state is an energy eigenstate. The Schrödinger equation separates its time dependence as
Its probability density is time independent. Linearity of the Schrödinger equation gives
Put . The operator for a time-independent observable is a Hermitian operator, so . Substituting the evolved wavefunction into the expectation value gives
and therefore, for a normalized state,
The normalization is automatic for orthogonal , in particular when : self-adjointness of gives . If the energies coincide, normalization of the individual eigenstates alone does not ensure normalization of their displayed sum; its squared norm is . For a nonzero sum not having unit norm, the physical expectation value is the displayed numerator divided by this squared norm. With orthonormal energy states, the stated formula holds in both the distinct and degenerate cases.
For the half-range Fourier cosine series on , the coefficients are
Two integrations by parts, with , give
Thus
The even, -periodic extension is continuous and piecewise continuously differentiable, so the Fourier series converges to it, including at . Equivalently, the summable coefficient bound gives uniform convergence and permits taking the limit from the interior. Evaluating at , where , yields
This is the Basel problem.
Set , an entire function. By the Bolzano-Weierstrass theorem, a subsequence of the distinct zeros converges to a point in the closed unit disc. An analytic function has a convergent Taylor series in a neighbourhood of each point. If the first nonzero coefficient of at had index , then
with analytic and nonzero in a sufficiently small disc. The zero would then be isolated, contradicting the accumulating distinct zeros. All Taylor coefficients at vanish, so vanishes on a disc.
To justify continuation across the whole plane, let be the set of points at which vanishes on a neighbourhood. This set is nonempty and open. It is also closed: if points of tend to , continuity of each derivative gives for every , and the Taylor series at gives a zero neighbourhood. Since is a connected space, . This proves the identity theorem here and gives .
Without boundedness, the distinct zeros need not have an accumulation point in the plane. For example,
are distinct entire functions agreeing at all the indicated positive integers.
Both functionals are finite on : a continuous function on the compact metric space is bounded and integrable. Homogeneity follows from , and the triangle inequality follows by integrating, or taking the supremum of, . Each is nonnegative. If , then vanishes everywhere. If a continuous function is nonzero at some point, continuity supplies an interval of positive length on which is bounded below by a positive number; hence . Thus both are norms.
For the nonnegative , direct integration gives the L1 norm
Therefore . On the other hand, differentiation places the maximum of at , giving the supremum norm
For , exponential decay implies , while . Thus the pointwise convergence is to zero throughout . Any convergence in the supremum norm would imply uniform convergence, hence the same pointwise limit zero, contradicting the displayed positive limiting norm. Therefore there is no convergence in the supremum norm.
Write , a monic primitive polynomial. If with , grouping terms gives a factorization in the polynomial ring :
Both factors have positive degree, so is not an irreducible polynomial.
Conversely, if is a prime number, change variables by . The binomial theorem gives
Every coefficient except the leading one is divisible by , because for , whereas the constant coefficient is not divisible by . The Eisenstein criterion makes this polynomial irreducible over . The substitution is an invertible ring homomorphism, so is also irreducible over ; the Gauss lemma for polynomials transfers this to . Hence
A Jordan normal form of a complex matrix is a similarity transformation in which is a direct sum of Jordan blocks
For each eigenvalue, the multiset of block sizes is uniquely determined by ; only the order of the blocks is arbitrary. The change-of-basis matrix is generally not unique.
For the given matrix, expansion of the characteristic polynomial gives
The upper-left minor of is , so its rank is and the eigenspace for has dimension . Thus the two occurrences of the eigenvalue belong to a single size- Jordan block. More explicitly, the Jordan chain and the remaining eigenvector can be chosen as
Consequently, with , for which , the answer is

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