Since is Skew-Hermitian, is a Hermitian matrix. The spectral theorem gives a unitary matrix with and real eigenvalues . Hence andIn particular the determinant is nonzero, so is invertible. Applying the same argument to proves that is also invertible. Equality holds precisely when all , equivalently .
For a skew-symmetric matrix, . Invariance of the determinant under transpose givesFor odd , , so over the real or complex numbers.
Write and assume its domain is open and connected. If the constant modulus is zero then . Otherwise let . Differentiating this identity and using the Cauchy-Riemann equations givesThese are a linear system for with coefficient matrix , whose determinant is . Therefore , and the Cauchy-Riemann equations also give . It follows thatThis proves the constant-modulus holomorphic function result directly. On a disconnected domain the same conclusion holds separately on each connected component, but the constants can differ.
Taking determinants and using invariance under transpose,This determinant identity actually holds in every dimension. In dimension three, skew symmetry additionally givesso . Hence there is a real nonzero vector in the kernel:The eigenvalue relation then gives . Thus the Cayley transform fixes an axis and is a proper three-dimensional rotation, including the identity as a degenerate case.
Taking determinants of gives , so is singular and has the eigenvalue zero. More strongly, if with , then , so every eigenvalue is zero.
If the nilpotent matrix were diagonalizable, write . Then , hence each diagonal entry of has zero th power and is zero. Thus and . Conversely the zero matrix is diagonal. ThereforeThe conclusion is valid over and also over .
Use the full matrix in the original PDF; the transcription has dropped its middle column. For either matrix, the three-dimensional characteristic polynomial is . Both have zero trace and zero determinant, while and . ConsequentlyFor , a useful check isfor every value of . Thus is a nonzero nilpotent matrix for all ; for example its second column never vanishes. By the preceding result, .
For , the three eigenvalues are distinct and real, so their eigenvectors are linearly independent. An explicit eigenbasis isWith , and . Hence .
A repeated root of the characteristic polynomial alone would not settle diagonalizability; for it is the nonzero nilpotence that completes the argument.
The Wronskian isSuppose constants satisfy throughout the interval. Differentiating gives . At , these form the homogeneous linear systemIts determinant is nonzero by hypothesis, so . This is exactly linear independence of the two functions on the interval. No differential equation is needed for this implication; the converse for arbitrary differentiable functions would require additional hypotheses.
An invertible matrix is a square matrix for which there is a matrix with . Write its assumed diagonalization as , where is invertible and . ThenIf the determinant is nonzero, every is nonzero, so exists and . If the determinant is zero, at least one eigenvalue is zero; its nonzero eigenvector is mapped to zero, which an invertible map cannot do. HenceThe equivalence holds even without diagonalizability, but the eigenbasis proves the stated case directly.
The two one-dimensional representations are the trivial representation, , and the sign representation, . The first respects multiplication immediately. For the second, the sign of a permutation is the determinant of its permutation matrix, and multiplicativity of the determinant proves . They are inequivalent since a transposition has images and , and conjugation by a nonzero scalar cannot change a one-dimensional matrix.
Their group homomorphism kernels areBoth are subgroups, indeed normal subgroups, because they are kernels. In the second case is the alternating group of even permutations, with twelve elements.
The characters are their scalar values, since the trace of a one-dimensional matrix is its only entry. In the class order from part (b),The character inner product is the group average of , soEach has squared norm , in agreement with character orthogonality for distinct irreducible representations.
For , the determinant is . For it is , and for it is . Multiplicativity of the determinant givesTogether with unitarity, this places the matrices and their product in SU(2).
Writing the matrix explicitly givesIts determinant isSince ,The conjugation therefore preserves the squared Euclidean length encoded in .
When , write the differential expression in divergence form,Two integrations by parts give the Lagrange identity for a Sturm-Liouville operator:The terms cancel because is real. Hence the exact boundary criterion, in the sense of self-adjointness defined in the question, isAt regular endpoints, all separated homogeneous conditions of the following type satisfy it:with real coefficients, not both zero at either endpoint. The allowed value-and-flux pairs at an endpoint are proportional, so their determinant vanishes. This includes Dirichlet boundary conditions, Neumann boundary conditions, Robin boundary conditions and arbitrary mixtures of these at the two ends.
Coupled conditions can also work: periodic conditions and make the two endpoint expressions equal; simultaneous minus signs give the antiperiodic case. Thus requiring each endpoint term separately to vanish is sufficient, but not necessary.
More generally, for regular endpoints set and . All maximal homogeneous self-adjoint boundary conditions can be written with real two-by-two matrices satisfying and . If an endpoint is singular, the relevant limiting boundary form and admissible domain must instead be specified; the assumption only in the interior does not itself fix those endpoint limits.
The initial displacement lies in an invariant subspace of axial motions. Let the three opposite vertex pairs have positionsFor a vertex on the positive axis, the two springs towards the vertices contribute in the direction; the two towards the vertices contribute . Transverse components cancel in pairs. Cyclically,The matrix is . It has eigenvalue on the breathing vector , and eigenvalue on the orthogonal plane . This identifies the axial normal modes of an octahedral spring framework without a large characteristic determinant.
Put and decompose the initial vector asSince all initial velocities are zero, only cosine time factors occur. The complete motion to first order in the displacements iswith the vertex positions given by the first displayed formula. No translation or rotation is excited: the initial displacements are orthogonal to those zero modes and their initial velocities vanish. The two checks and respectively isolate pure breathing and pure traceless axial oscillation. Nonlinear corrections beyond the small-displacement approximation have been omitted.
A product of orthogonal matrices is orthogonal. In fact,Thus Its determinant is also one, since each factor has determinant one, so it remains a proper rotation matrix.
A pseudotensor has an additional determinant factor under an orthogonal transformation. Thus its rank-three transformation law isThe contracted expression is fully antisymmetric in , so it equals a scalar multiple of . For it is precisely the determinant expansion of , fixing that scalar to . ThereforeThe Levi-Civita symbol consequently has the same numerical entries in every orthonormal frame when interpreted as a pseudotensor. With an ordinary rank-three tensor transformation law alone it would instead acquire a minus sign under an orientation-reversing transformation.
Under the specified passive change of orthonormal basis, each Cartesian tensor index acquires one copy of . Thus a tensor of order transforms asRepeated old-basis indices are summed from one to three. Orthogonality of the new basis gives . Taking determinants yields , hence . The positive case preserves orientation and the negative case reverses it.
Write . The characteristic determinant of the tridiagonal matrix isThe three values of are , and . Therefore the normal mode frequencies and convenient Euclidean-normalized generalized eigenvectors areEach pair satisfies . The first mode moves all masses in phase, the middle mode leaves the central mass fixed, and the last has the central mass moving opposite to the outer masses. All squared frequencies are positive, consistent with the positive spring potential and fixed endpoints.
Expand the tridiagonal determinant along its first row. The diagonal entry contributes . In the off-diagonal cofactor, expansion along its first column supplies the other factor , and the cofactor sign makes the net contribution . ThereforeThe initial values are and . Writing the same formula at forces , the empty determinant convention. This is the tridiagonal determinant recurrence.
For distinct nonzero recurrence roots, the determinant formula givesThe ratio one is excluded: at that repeated root, part (iii) gives . Thus the naive extra root corresponding to equal recurrence roots is spurious.
To count the physical solutions without ambiguity from exchanging and , write and with . ThenIts distinct zeros occur at , . They give exactly distinct positive normal frequencies, or equivalently distinct roots in :If signed is counted, the characteristic equation has roots . The sine quotient is the Chebyshev polynomial of the second kind representation of the fixed-end spring-chain determinant and its repeated-root limit.
Since both real matrices are antisymmetric, and . Thus . Expand the two unitary identities:Subtracting and adding give . Because has simple eigenvalues, each of its complex eigenspaces is one-dimensional. Commutation makes each one invariant under : if , then . Hence for some scalar . The complete eigenbasis of is therefore a common eigenbasis, which also diagonalizes .
The skew-Hermitian decomposition of a unitary matrix is explicit:If , unitarity gives . ConsequentlyEquivalently, for the paired eigenvalues are . The hypotheses can only occur in even dimension: and is invertible, whereas an odd-dimensional skew-symmetric matrix has zero determinant.