Apply matrix multiplication to obtain
Since is a unit vector, the subtracted term is the orthogonal projection of along . Hence is the orthogonal projection onto a plane through the origin with normal vector . It fixes every vector perpendicular to and sends every scalar multiple of to zero. In particular .
From part (f), . To obtain , choose the Householder transformation that reverses only the third coordinate:
Indeed , so , and direct matrix multiplication gives . The alternative vector produces the same matrix. Geometrically reflects in the plane , completing the reversal of all three coordinates.
Since and , the vectors point in opposite directions. More explicitly, their dot product gives
Hence their angle is .
Induction on gives , including . The absolutely convergent matrix exponential series may therefore be applied term by term to each eigenvector:
Thus
For a repeated eigenvalue, every nonzero vector in its eigenspace remains an eigenvector. Because the real exponential function is injective, distinct real eigenvalues of do not merge under this transformation.
Choose the unnormalized eigenvectors
Their linear combination giving the specified vector is
Applying the reciprocal eigenvalues of the inverse matrix therefore yields
In Cartesian coordinates, this is , and direct matrix multiplication gives .
No. Every one of the three vectors has equal first and second Cartesian coordinates, so their linear span is contained in the plane . That linear subspace has dimension two and cannot equal .
More explicitly, call the three given vectors in their listed order. Then
This nontrivial linear relation proves linear dependence, whereas a basis must be linearly independent. Being unit vectors alone does not ensure that they form a basis.
Commuting inverse. Assume is invertible, as required by the displayed inverse. Multiplication gives
Multiply on both sides by to obtain
More generally, a matrix commuting with an invertible matrix also commutes with its inverse.
Orthogonality. For a real skew-symmetric matrix , . If for a real vector , multiply by to obtain . Thus is invertible; the same argument applies to . For the Cayley transform of a real skew-symmetric matrix,
The factors commute by the first result, so
Therefore
Eigenvector mapping. If , then . Consequently
The denominator cannot vanish. In fact the eigenvalues of a real skew-symmetric matrix are purely imaginary: is the negative of its complex conjugate, so . For the corresponding eigenvalue of is , consistent with orthogonality.
Spectrum in three dimensions. Let be any real three-by-three orthogonal matrix. For a complex eigenvector , implies . A real cubic characteristic polynomial has a real root, necessarily or . Any nonreal roots form a complex-conjugate pair of unit modulus. If all three roots are real, two of the three signs agree and can be grouped as a pair with angle zero or . Thus in every case the eigenvalues can be written
Their product is .
Determinant and fixed axis for the Cayley transform. Since ,
so . This determinant argument works in every dimension. In dimension three the preceding spectrum result then guarantees an eigenvector with . Set . The fixed-vector equation says , so and . Hence
This is the axis fixed by the three-dimensional rotation. Equivalently, a real odd-dimensional skew-symmetric matrix has zero determinant, because .
Nilpotence and eigenvalues. If with , then . Thus forces for every eigenvalue. Conversely, if all complex eigenvalues, counted with algebraic multiplicity, vanish, the monic characteristic polynomial is . The Cayley-Hamilton theorem then gives . Hence
This is the criterion for a nilpotent matrix.
Symmetric case. Here a symmetric matrix is understood to be real. The spectral theorem gives with orthogonal and real diagonal. The previous result makes every diagonal entry zero, so . Alternatively, choose , so . For every real vector ,
It follows that . Repeat until . This uses positivity of the quadratic form . The restriction to real symmetric, or complex Hermitian matrices, matters: a complex matrix satisfying only need not have this positivity.
The parameters and powers. The first two columns of coincide, so for all . The sum of its principal two-by-two determinants, each a minor of a matrix, is
Together with , this gives
For every eigenvalue to vanish both remaining coefficients must be zero. Therefore
Direct multiplication at these values gives
Indeed the first row of multiplied by is , and the second row is its negative.
Geometry of repeated application. For any parameters the image of a linear map lies in the span of and , since . Thus it lies in a fixed plane through the origin, independently of the input. When are independent its normal is ; if they coincide, the image is a line and is still contained in a plane.
For , put and . Then
The columns span this entire plane, so has rank two. The next two steps are
Thus the image of a linear map contracts from a plane to a line and then to the origin under successive applications. The line from is precisely the kernel of .
For , the positive constant- surfaces in elliptic cylindrical coordinates satisfy
They are confocal elliptic cylinders with focal lines . For a generic fixed , eliminating gives
Because , a fixed selects the half-branch with the signs of and fixed by and . These are hyperbolic cylinders. The degenerate surface is , , extended in . At the cross-sections are the two exterior horizontal rays; at they are vertical half-axes.
Figure 1.
Confocal elliptic and hyperbolic coordinate curves
. Original cross-section with focal points marked. Ellipses are constant-u curves and the hyperbola half-branches are constant-v curves; extruding in z gives their coordinate surfaces. Details.
Differentiate the position vector to get the coordinate tangent vectors
Their pairwise dot products vanish. Their squared lengths are , and one. This proves orthogonality and gives the scale factors of orthogonal coordinates:
The Riemannian metric is . Away from the focal lines, divide the coordinate tangent vectors by their lengths to obtain the local orthonormal unit vectors . For physical vector field components , the formulas for vector calculus in elliptic cylindrical coordinates are
The gradient of a scalar function has components . Apply the divergence formula to this gradient; Laplace's equation becomes
The formulas apply where ; the focal lines require a limit or another coordinate chart.
Under an orthogonal Cartesian change of axes , the vector components transform as , while and . Substitution gives
This is the rank-two Cartesian tensor transformation law. The nonzero assumption ensures that the denominator is positive. In matrix form is the orthogonal projection matrix onto the orthogonal complement of .
For the proposed vector, the first horizontal component of is . Since the corresponding component of is zero, a normal mode requires . The vertical components then give . With an arbitrary nonzero overall amplitude, choose to obtain
The analogous pattern invariant under reflection across the vertical axis is
Direct multiplication confirms . The two patterns give independent eigenvectors with the same eigenvalue, as expected from the square's rotation symmetry.
In a breathing mode, each displacement is proportional to its equilibrium position. A representative vector is
Multiplying by the stiffness matrix gives . Thus
Positive and negative amplitudes are uniform expansion and contraction about the center.
The first two vectors displace every particle identically in the horizontal or vertical direction. Every relative displacement is zero, so every spring has zero extension to first order. The third vector is evaluated at the equilibrium points, which is an infinitesimal clockwise rotation. For any edge the relative displacement is perpendicular to that edge, again giving zero extension.
These are the rigid-motion zero modes of a spring framework: two translations and one infinitesimal rotation. Each has , so . In the linearized dynamics its amplitude has the form , expressing free rigid motion rather than a restoring oscillation. Exact finite rigid rotations also preserve every spring length; the mode vector is their first-order tangent.
Use the ordered displacement vector , and define by . For an unstretched spring, the extension to first order is the dot product of the relative displacement with its equilibrium unit vector. Summing its squared extensions gives the central spring stiffness matrix. The four side springs and two diagonal springs give
Therefore
The kinetic energy is , so a normal mode satisfies . Keeping the factor in the definition of fixes the normalization of and the resulting frequencies.
Figure 1.
Rigid rotation, breathing and modes with reflection symmetry
. Original displacement diagrams. Grey lines show all six equilibrium springs; arrows show representative mode vectors. The rotation has zero frequency, the breathing mode has squared frequency 4k/m, and the two other modes have squared frequency 2k/m. Details.
The radial component of the curl in spherical coordinates is
It contains no , so cannot contribute. Substituting the tangential components gives
The mixed partial derivatives of smooth agree, so its terms cancel. Multiplication by , to take the dot product with the position vector , does not change this independence from .
The remaining terms give
This is the Laplace-Beltrami operator on the unit sphere. Taking the dot product with the unit radial vector instead would give ; the extra factor here comes from the position vector in the question.
Use the complex inner product , conjugate-linear in its first argument. For , put . Positivity gives
Hence the Cauchy-Schwarz inequality is . If it is immediate; equality holds precisely when the two vectors are linearly dependent.
For a unitary matrix, , so . If with a nonzero eigenvector, this implies . Thus every eigenvalue satisfies
For the one-parameter family, expand unitarity to first order: , so . Thus is a skew-Hermitian matrix, an element of the unitary Lie algebra. If , then , whereas complex conjugation gives . Consequently , proving that every eigenvalue of is purely imaginary, with zero permitted.
A two-index Cartesian tensor has components transforming as under an orthogonal change of orthonormal basis. The tensor order here counts indices, rather than the matrix rank. Its scalar, symmetric-traceless and axial tensor decomposition follows by setting
Then , with antisymmetric and symmetric and traceless. There are three independent antisymmetric components and five independent symmetric traceless components: three off-diagonal entries and two independent diagonal ones in the latter case.
For the symmetric tensor relative to a nonzero vector , put , , and . The symmetric tensor decomposition relative to an axis gives
In particular . Define the orthogonal projection onto the plane perpendicular to , and set
This tensor is symmetric and kills . Its trace is . To verify the full decomposition, set and split into its longitudinal component , two mixed components, and . The mixed terms are exactly , and gives the longitudinal coefficient. Thus all requested constraints and the reconstruction hold.