The power method starts from and iterates
If the eigenvalue of largest modulus is separated by a spectral gap and the initial vector is nonorthogonal to a corresponding eigenvector, the iterates converge in direction to that eigenvector.
Inverse iteration with shift instead solves
It applies the power method to and therefore finds an eigenvector whose eigenvalue is closest to .
An eigenvalue is a scalar for which contains a nonzero vector; that kernel is its eigenspace. The characteristic polynomial has degree , so the fundamental theorem of algebra supplies at least one complex root and hence an eigenvalue. Its eigenspace dimension can be any integer from to .
With , direct expansion gives
Thus the eigenvalues are . Kernel calculation gives eigenspace dimensions , respectively.
The eigenvalue equation is , so
This is a nonzero square-summable vector exactly when and . Hence every point of the open unit disc is an eigenvalue, with the displayed one-dimensional eigenspace.
If , then , proving one inclusion. Conversely, if is an eigenvalue of , factor . If none of the were eigenvalues of , every would be invertible, making invertible, a contradiction. Thus for some eigenvalue of .
Legendre's equation is
With , integration by parts has no endpoint term because there, so the operator is self-adjoint. Sturm–Liouville eigenvalues are real, can be ordered increasingly, and their eigenfunctions are orthogonal and complete under standard regularity assumptions.
Substitution of gives
The series terminates at degree when . Normalizing at one gives
The vector has eigenvalue , while every vector in has eigenvalue . Their multiplicities are one and , respectively.
For every tangent vector , stationarity of on the sphere gives . Hence is parallel to , say . Taking the inner product with gives . The spectral theorem shows that this is the largest eigenvalue.
For the eigenvalues are , so
Its graph is a V translated upward and is convex.
A Jordan block is , where has ones on the superdiagonal and zeros elsewhere. Since for , Taylor expansion gives
The Jordan normal form is the block-diagonal matrix, unique up to block order, to which is similar and whose blocks are Jordan blocks.
A block of size at least two for eigenvalue contributes a generalized eigenvector in . Thus the displayed equality for every is equivalent to every block having size one, which is diagonalizability.
The transpose of each Jordan block is similar to it by reversing its basis. Hence has the same Jordan form as .
Write . Let be block diagonal with the reversal matrix on each Jordan block. Both and are symmetric and is invertible. Therefore
where are symmetric and is nonsingular.
Here . The radial factor and are annihilated by the angular derivative, while
The product rule therefore gives
Replacing by gives eigenvalue for .
The prime ideals of are and the maximal ideals generated by the monic irreducibles
For a nonzero prime , use the residue classes of , where . Multiplication by on is represented by the companion matrix of the monic polynomial . In particular, for this may equivalently be written as one size- Jordan block with eigenvalue . The ideal does not give a finite-dimensional quotient.
Diagonalize the real Laplace-Lagrange secular matrix . Its eigenvalues are
and choose corresponding real eigenvectors . If , the initial complex eccentricity vector determines complex mode coefficients
The matrix exponential solution is
Thus
where a negative eigenvector component may equivalently be made positive by adding to its phase. The are secular precession frequencies, each eigenvector fixes the planets' eccentricity ratio and relative apsidal orientation, and fixes the phase selected by the initial conditions.
The positive partial transpose criterion states that every separable quantum state satisfies
Consequently, a negative eigenvalue of the partial transpose proves entanglement. Positivity of the partial transpose is also sufficient for separability in dimensions and , equivalently , but it is not sufficient in general higher dimensions.
The exact spectral condition is that be a simple eigenvalue of and that every other eigenvalue satisfy . Then converges for every initial density operator to the unique stationary state satisfying . This is the unique stationary state of a Lindbladian condition; the smallest nonzero value of is the Lindbladian gap.
A standard operator criterion is irreducibility: the only subspaces invariant under , all , and all are the zero and full spaces, equivalently their common commutant consists only of scalar multiples of the identity. With no nonzero imaginary-axis eigenvalues, this makes the semigroup relaxing. The spectral statement is the safest general answer because uniqueness of a fixed point alone does not exclude persistent oscillatory modes.
Over , the operator representing has an eigenvector with eigenvalue . The relation gives
Therefore is a nonzero -invariant subspace of dimension at most two. If is irreducible it equals this subspace, so .
In one dimension the defining relations force
giving four characters.
Every irreducible two-dimensional representation is, after a choice of basis,
where . It is irreducible because the two distinct -eigenlines are interchanged by . Conversely, part (a) gives this basis from . If the only eigenvalue of were , its eigenspace would be -invariant and contain a -eigenvector, contradicting irreducibility. Parameters and give isomorphic representations, and there are no other identifications.