Compatibility of the auxiliary system, computed on a fundamental matrix of solutions, gives the zero-curvature condition
Indeed equality of the mixed derivatives gives . A single possibly zero vector solution would not justify the matrix identity; compatibility means a full fundamental family.
Put . Using the zero-curvature condition gives . At , and hence . Uniqueness of the initial-value problem gives , or . Periodicity implies , so the monodromy matrix obeys the Lax equation
Cyclicity of the trace yields for every .
There is a genuine factor-of-two error in the printed sine-Gordon pair. Assign the second printed matrix to and the first to :
Direct multiplication gives
Thus the printed matrices encode .
For the stated Sine-Gordon equation, explicitly repair the first prefactor by taking , that is . Its zero-curvature condition becomes . For this corrected pair, is conserved for every . Since is entire in , so are and these traces. Their Taylor coefficients in supply an infinite family of first integrals, by the identity theorem extending conservation through . At a fixed spectral parameter the higher traces of a matrix are related by the Cayley-Hamilton theorem; no independence of the resulting first integrals is claimed.
The Cayley-Hamilton theorem states that every square matrix satisfies its characteristic polynomial: if , then .
For the proof, the adjugate identity gives
Write and compare coefficients. Multiplying the resulting recurrence by successive powers of and summing telescopically yields .
By polynomial division, with . Therefore by Cayley-Hamilton, while for every eigenvalue , since .
For the displayed matrix,
The remainder of modulo this polynomial has the form , because its values at and are both . The equations and give
Since , the requested entry is
The nematic order parameter is a symmetric second-rank tensor and a traceless second-rank tensor describing orientational anisotropy. For molecular unit axes , is proportional to . It vanishes in an isotropic phase and is unchanged by head-tail reversal , unlike a polar order parameter. For uniaxial nematic order, the nematic director is thus an unoriented axis.
One convention for the Landau-de Gennes free energy through fourth order, respecting rotational symmetry, is
For a traceless second-rank tensor in three dimensions, the Cayley-Hamilton theorem gives , so there is only one independent quartic rotational invariant of a symmetric traceless tensor. The only possible linear scalar is ; without an external anisotropy no linear term survives.
The cubic rotational invariant of a symmetric traceless tensor distinguishes prolate and oblate forms of uniaxial nematic order. Head-tail reversal leaves unchanged and does not impose . Thus a cubic term is allowed in three dimensions and generically produces a first-order phase transition, rather than a symmetry-enforced continuous onset. In two dimensions a symmetric traceless second-rank tensor has eigenvalues , hence : the cubic invariant vanishes identically in two dimensions. This is a statement about the Landau free energy; fluctuations in two dimensions require a separate treatment.
Eigenvectors belonging to distinct eigenvalues are linearly independent. Under the hypothesis they therefore form a basis . For every ,
because . A linear map that vanishes on a basis is zero, hence
This proves the Cayley-Hamilton theorem in the distinct-eigenvalue case.
A Lie group is a group that is also a smooth manifold, with differentiable multiplication and inversion. A Lie algebra is a vector space with a bilinear alternating Lie bracket satisfying the Jacobi identity.
For a Matrix Lie group , put . If , the matrix commutator again lies in : the group commutator lies in , and the coefficient of in its matrix logarithm is . Bilinearity and antisymmetry are immediate, while associativity of matrix multiplication gives the Jacobi identity. Thus , with the commutator bracket, is the Lie algebra of a matrix Lie group .
The special linear group is the inverse image of the regular value under the smooth determinant map, and multiplication and inversion are smooth. Differentiating shows that
The Cayley-Hamilton theorem applied to a trace-zero two-by-two matrix gives
The exponential map of a matrix Lie group is the matrix exponential
Since , its image lies in . Put . The identity sums the series explicitly. If , with ,
If , the trace is , while if , with ,
Hence
But has trace . It is therefore outside the image, so the exponential map is not surjective.
Let be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori such that
For every , the difference belongs to the discrete period lattice . It depends continuously on , so it is constant. Differentiating shows that the derivative is -periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of . The Liouville theorem therefore makes constant, and hence
Thus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose ; then , so is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to .
The Weierstrass elliptic function of is
The subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from . Put
The Laurent coefficients of the Weierstrass elliptic function at zero give
Set and . Direct substitution shows that the principal part and constant term of
vanish at zero. Since is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives , which proves the Weierstrass elliptic differential equation
Finally suppose that is a biholomorphic group homomorphism. Its identity-preserving lift has the form by the first part. Since the inverse map also lifts linearly,
Choose a -basis of . Multiplication by is then represented by a unimodular matrix . As a real-linear transformation of , it has determinant ; hence and . The characteristic polynomial of and the Cayley-Hamilton theorem give
This already has the required form with and . Moreover , so forces . Thus is a root of unity, of order , , , , or , completing the description of an automorphism of a one-dimensional complex torus.
The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. It says that a finitely generated -module is isomorphic to
where the nonzero nonunits are unique up to multiplication by units. They are the invariant factors.
For , multiplication by is the linear map . Since is finite-dimensional over , is a finitely generated torsion module over the polynomial ring , so it has no free summand. Choosing each invariant factor to be monic gives
The basis of each cyclic summand makes multiplication by a companion matrix. Concatenating these bases therefore puts in rational canonical form.
On , a polynomial annihilates multiplication by exactly when it is divisible by . It follows that the minimal polynomial and characteristic polynomial are
The second identity follows blockwise from the characteristic polynomial of a companion matrix. Since every divides , the product annihilates every cyclic summand. Thus , which is the Cayley-Hamilton theorem.
For the displayed matrix, the given generators of are the columns of
Elementary row and column operations over give the Smith normal form
Consequently the nonunit invariant factors are
and, as a check,
Using the convention of the question, the characteristic polynomial and characteristic equation are
For
one has
Direct multiplication gives
entry by entry. Thus , verifying the Cayley-Hamilton theorem for matrices.
Define
The Cayley-Hamilton theorem for
gives
If is nonsingular, multiplication by shows .
For arbitrary , apply the nonsingular result to for a sequence of nonzero avoiding the finitely many singular values. Both the characteristic coefficients and the adjugate entries depend polynomially on the matrix entries, so the limit gives
Put
Using , multiplication by on the ordered basis is determined by
Its matrix, with these coordinate vectors as columns, is
The characteristic polynomial is
By the Cayley-Hamilton theorem, this monic integer polynomial annihilates , so is an algebraic integer.
Let
The element is also integral because it satisfies the monic polynomial . Hence . Since
the lattice has index two in . The given power-basis discriminant is
so the discriminant-index formula for an integral lattice gives
If , then
Because is prime, the square can divide only when . Thus
so is an integral basis of the cubic field of discriminant minus 307.
Finally, the relation gives
Consequently , which will allow direct use of Dedekind's theorem.
For the standard basis vector , matrix multiplication selects the th column, so
Consequently
and the columns of are .
Suppose first that are linearly independent, and define
Then is invertible. The first columns of are the last columns of . By the Cayley-Hamilton theorem,
This is exactly the last-column rule for the companion matrix , so
Conversely, suppose , or , and write the columns of as . Comparing the first columns gives
Hence
Since is invertible, its columns are linearly independent. Taking therefore makes
linearly independent. Thus is similar to exactly when it has the stated cyclic vector.
The minimal polynomial is the unique monic polynomial of least positive degree such that . The Cayley-Hamilton theorem says that satisfies its characteristic polynomial, so such polynomials exist. Dividing any two monic candidates of least degree shows uniqueness.
If , then but . The least for which is the least integer satisfying . Hence
The Cayley-Hamilton theorem states that a square matrix satisfies its characteristic polynomial. If a matrix is diagonalisable, ; applying to the diagonal matrix gives zero and hence .
If , every eigenvalue satisfies , so all eigenvalues are zero and the characteristic polynomial is . Cayley--Hamilton then gives .
For an matrix , the characteristic polynomial is
The Cayley-Hamilton theorem states that .
Over , choose a basis in which is upper triangular, with diagonal entries . For the standard invariant flag ,
The factors commute, so applying their product in descending order sends successively into . Hence
which proves the theorem.
Direct expansion gives the commutator product rule:
Put . Since commutes with , repeated use of the product rule gives
By linearity, for every polynomial ,
Let and suppose . For ,
Assume inductively that
Both and are polynomials in, or commute with, , so . Apply the derivation to and multiply on the left by :
Since , this says
The induction is complete. Taking and gives
Thus is nilpotent, which is the Jacobson lemma for a commuting commutator.
Suppose for a contradiction that . Compose the given injective module homomorphism with the standard injection that appends zero coordinates. This gives an injective endomorphism of the finite free module whose matrix has a zero final row.
Its characteristic polynomial has zero constant term, so the Cayley-Hamilton theorem gives
Injectivity lets us cancel . Repeating this argument eventually gives the identity endomorphism equal to zero. That would imply , contrary to . Hence . This proves the rank inequality for an injection of finite free modules.
Cayley-Hamilton theorem says . Since is nilpotent, all eigenvalues and hence every non-leading coefficient of vanish, so and .
Under rotation by a rotation matrix, a symmetric second-rank tensor transforms by conjugation, so its traces of powers are invariant. For a three-dimensional traceless second-rank tensor, the Cayley-Hamilton theorem implies . In two dimensions its eigenvalues are , so . These identities organize the Landau-de Gennes free energy.