Given a solution , construct and hence the smooth matrices and . Let solve the linear ordinary differential equation
Because is skew-symmetric,
so is an orthogonal matrix and is invertible. Moreover,
It follows that
Thus the Lax pair flow is an Isospectral Lax equation: every is similar to and has the same eigenvalues and characteristic polynomial.
Every symmetric function of these constant eigenvalues is a first integral. In particular, the trace invariants of a Lax equation
are constant because the cyclic property of the trace gives
For example,
is an explicit first integral of equation .
By the real spectral theorem, a real symmetric matrix has an orthogonal diagonalization
Writing gives
This is nonnegative for every exactly when every . Thus the quadratic-form and eigenvalue definitions of a positive semidefinite matrix agree.
When is positive semidefinite, define
This matrix is symmetric and positive semidefinite, and its square is , so it is the principal square root of a positive semidefinite matrix.
For nonsingular , the matrix is symmetric and
for every nonzero . Thus is positive definite, and
exists and is nonsingular. Let . Since is symmetric,
Hence is an orthogonal matrix and
the polar decomposition of an invertible real matrix.
In three dimensions, stretches or contracts along three mutually perpendicular eigenvector directions by its positive eigenvalues. The orthogonal map is then applied: it is a rotation when , and a rotation combined with a reflection when .
For a nonzero vector , a Householder reflection is
It is immediately symmetric. If , then , so
Hence is also an orthogonal matrix, with .
The similarity transformation can be expanded as
Computing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.
Starting with , for choose a Householder reflection that acts only on coordinates and maps the tail of column ,
to a multiple of its first coordinate vector. Set
This zeros all entries in column below its first subdiagonal. Because fixes the first coordinates, it preserves the zeros created in earlier columns. After steps,
is an Upper Hessenberg matrix.
Each is orthogonal and symmetric. If
then is orthogonal and
Part (a) shows that each similarity update costs arithmetic operations, and there are updates. The total cost is therefore
By the spectral theorem for real symmetric matrices, write with orthogonal and . Part a and the tensor-product property of the Fourier transform give
Thus
Applying the pullback rule from part c to the orthogonal change of variables, for which , replaces by and by . Since determinant and signature are invariant under orthogonal conjugation,
Each QR decomposition gives
Induction therefore yields the first Accumulated QR factorization identity:
We next prove the corresponding factorization of a matrix power. The case is just . If
then the similarity formula above implies
Consequently,
The product is orthogonal, and the product is upper triangular. Hence
is a QR decomposition.
False under the hypotheses as printed. Nonzero coefficients do not ensure the two-column dominant-subspace condition.
For a counterexample, take , eigenvalues
and an orthonormal eigenbasis for which
The two displayed coefficient vectors are orthonormal and can be completed to an orthogonal matrix, so such a real symmetric matrix exists. Every and is nonzero, but
Indeed, with ,
is a nonzero multiple of , while the remaining direction in
is
Thus
By the simultaneous iteration interpretation of the QR algorithm, the leading two columns of the accumulated factor span this same space. The leading block is therefore an orthogonal-coordinate representation of the compression of to this space. Since
we have
for every relevant , rather than . Hence the requested Hausdorff convergence does not hold.
For completeness, the intended statement becomes true if one adds
Let consist of the first two columns of . The Accumulated QR factorization identity gives
After division by , every component along
tends to zero because of the strict spectral gap, while makes the two surviving dominant components independent. Therefore these two-dimensional subspaces converge to the dominant invariant subspace
There are two-by-two orthogonal matrices such that
Because
up to the harmless index convention at , we obtain
in the matrix 2-norm. Orthogonal similarity preserves the spectrum, and the stated spectral perturbation bound now gives
Over , the real skew-symmetric matrix is normal because . Part (a) gives an orthonormal complex eigenbasis, and the nonzero eigenvalues are purely imaginary pairs .
For each , choose a unit real vector in the kernel of and put
Then , , and
Thus has matrix
on the orthonormal basis . Distinct such invariant planes are orthogonal; complete them by an orthonormal basis of . Taking these basis vectors as the columns of an orthogonal matrix gives
The Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear partial differential operator on has a fundamental solution of a linear differential operator: there is an such that .
Write . After an orthogonal change of coordinates and multiplication by a nonzero constant, its polynomial symbol may be written as a monic polynomial in the last frequency,
For each real , this polynomial has complex roots counted with multiplicity. Among a fixed finite collection of horizontal lines at bounded heights, one can choose a line that stays a positive distance from all those roots. Continuity of the roots preserves the choice on a neighborhood . Take a countable locally finite cover by such neighborhoods, refine it to a measurable disjoint partition , and let be the chosen height on . The resulting Hörmander staircase
has bounded heights and may be chosen so that on each step.
For a test function , define
The Paley–Wiener–Schwartz theorem gives rapid decay in the real frequency directions and at most a fixed exponential factor in the bounded imaginary direction. Together with , this proves that the integral defines a continuous distribution. Applying cancels the denominator. The remaining integrand is entire in , so the Cauchy integral theorem shifts every horizontal contour to the real axis; the partition then recombines into . The Fourier inversion theorem gives
which proves the theorem.
Polar vector 2026-10-06
A polar vector transforms as under an orthogonal matrix , including an orientation-reversing transformation. Displacement, velocity and force are polar vectors. An axial vector instead transforms as .
Pseudovector Created 2026-09-28 Updated 2026-10-06
An axial vector transforms as under an orthogonal matrix . It agrees with a polar vector under a proper rotation matrix and has the additional determinant sign under an orientation-reversing transformation. Angular momentum and angular velocity are axial vectors.
SO(3) group Created 2026-10-05 Updated 2026-10-07
Spectral theorem for real symmetric matrices Created 2026-09-29 Updated 2026-10-05
Every real symmetric matrix has an orthonormal basis of real eigenvectors. Equivalently, it admits an orthogonal diagonalization with real diagonal and an orthogonal matrix.
If real matrices satisfy and , then is a contraction and is an orthogonal matrix for . Hence for every . The bound is independent of commutativity and gives unconditional stability for a centered convection-diffusion semidiscretization with homogeneous Dirichlet boundary conditions. It does not itself bound the mesh-dependent commutators that enter a time-error estimate.
A real orthogonal matrix of size three with has an eigenvector of eigenvalue . Its orthogonal complement is invariant, and the restriction there is an orientation-preserving plane rotation. Thus is a rotation about the axis composed with a reflection across the plane perpendicular to . Writing the plane angle as , . A pure plane reflection is the case ; if , it cannot be a pure plane reflection.