For a nonzero real vector , a Householder reflection is
Writing gives and , so . Thus a Householder matrix is an orthogonal matrix, and it reflects across the hyperplane perpendicular to .
For , choose , taking the sign to be when , and put . This is nonzero. Since , direct expansion gives and , so
Apply this construction successively to the trailing part of each column of , extending each reflection by an identity on earlier coordinates. Previously created zeros are preserved. If a trailing column vector is zero, use the identity there. The resulting product is orthogonal and is upper triangular, yielding the QR factorization even when is singular.
To solve , multiply by and use back substitution on when is nonsingular. If is singular, ; an upper triangular determinant is its diagonal product, so at least one diagonal entry is zero. In that case consistency and free variables require separate treatment.
The unshifted QR algorithm starts from , factors , and forms
Every iterate is related by an orthogonal similarity transformation to the previous one and hence to , with the same eigenvalues. Symmetry is preserved. For symmetric matrices with appropriate spectral separation, the iterates approach diagonal form: the off-diagonal entries decrease and the diagonal exposes the eigenvalues. Practical shifted QR accelerates convergence and uses deflation when off-diagonal couplings become negligible. With a shift , factor and set ; the same similarity identity still holds.
Universal diagonal convergence of unshifted QR would be too strong. For example admits the standard factorization , , so the iteration remains at rather than becoming diagonal, although its eigenvalues are . Such equal-modulus cases require a convergence qualification or treatment of a retained block. Similarity is unconditional; convergence to a useful limiting form is an additional algorithmic property.
Use coordinates with the downward vertical as reference. The first rod's center is at , so its translational plus rotational kinetic energy is . The second center is
Its squared speed is . Adding its center-of-mass rotation, using moment of inertia , gives the total
The two center heights give . Hence is exactly the stated Lagrangian.
Small stable oscillations are about the downward equilibrium . Retaining quadratic terms gives and , where
A normal mode satisfies . With , the determinant equation is
Thus the angular frequencies are
Both squared frequencies are positive. The amplitude ratio is : it is positive in the lower-frequency mode and negative in the higher-frequency mode. The rods therefore swing in phase in the first mode and in opposite phase in the second.
Figure 1.
The two-rod normal modes have positive and negative relative angular amplitudes
. Details.
A real square matrix is orthogonal if . Then , proving length preservation.
Define to be identity outside rows and columns , with block
The block's transpose times itself is identity because and the off-diagonal terms cancel. Thus is orthogonal, with determinant one.
For , choose , . Then , and every other coordinate is unchanged. If , choose . This fixes the useful nonnegative pivot convention.
Apply the rotations to the current matrix in the displayed order from right to left. First eliminates entry ; then eliminates without changing row two. Finally eliminates while preserving the zeros in column one. Thus
Inverting the product gives . Even if starts lower triangular, the row rotations generally create nonzero entries above the diagonal; there is no further universal simplification. For example gives positive-pivot
whose three entries above the diagonal are all nonzero.
If is orthogonal, is both upper triangular and orthogonal. Orthogonality of its columns successively forces all off-diagonal entries to vanish and all diagonal entries to have absolute value one. The first two pivots are positive under our convention, and the rotations have determinant one. Therefore the precise result is
Without a specified pivot-sign convention, the invariant statement is a diagonal matrix with entries and product .
Use , . It sends the diamond-shaped open square onto , and the inverse Jacobian has absolute determinant . On this rectangle and , so the original function is measurable, bounded by one and supported on a finite-area set, proving integrability. The transformed integral separates:
The two one-dimensional integrals follow from the fundamental theorem of calculus; Fubini's theorem applies by the established integrability.
Write , and . The linear equations are . A normal mode has all coordinates oscillating with one frequency and fixed relative amplitudes, . Its squared frequency solves
and its amplitude vector is a nonzero null vector of . The assumed distinct positive roots give two normal frequencies, their positive square roots.
For the rods let be their small inclinations from the downward vertical. To first order, and . The first rod has kinetic energy . The second has centre-of-mass horizontal velocity and angular velocity , giving
Together these give . The centre-of-mass height changes give
proving the displayed quadratic Lagrangian.
Here and . Set . The determinant equation reduces to , so
The first row of the mode equation gives . The actual rod-angle ratio is therefore
It is positive for the smaller root and negative for the larger root. Thus the low-frequency mode has the rods in phase, and the high-frequency mode has them out of phase. Using the rod-angle ratio is necessary because is the displacement of the end of the second rod, not that rod's inclination.
Yes. Suppose maps the first flag to the second and has determinant . Relative to an adapted basis of the first flag, scaling its first basis vector by and fixing all others defines a transformation preserving that flag, with determinant . Then still maps the first flag to the second and has determinant one. Thus the special linear subgroup acts transitively too.
Write and . Orthogonality of to and gives
The Gram matrix is positive definite, with determinant , so the solution is unique. Solving yields
Yes. Suppose maps the first flag to the second and has determinant . Relative to an adapted basis of the first flag, scaling its first basis vector by and fixing all others defines a transformation preserving that flag, with determinant . Then still maps the first flag to the second and has determinant one. Thus the special linear subgroup acts transitively too.
Write and . Orthogonality of to and gives
The Gram matrix is positive definite, with determinant , so the solution is unique. Solving yields
The chain rule gives
Its determinant is , so it is invertible. The map is smooth and . The inverse function theorem therefore yields an open neighbourhood of the origin for which is open, contains the origin, and
The complex velocity obtained from part (b) is
For a nonzero planar potential doublet, . Its zeros therefore satisfy
and hence
The denominators are nonzero because . For either sign,
so . They are distinct because and is injective, its determinant being . Clearing the velocity denominators gives a quadratic with these two roots, so there are no further finite stagnation points. Thus both stagnation points lie on the obstacle boundary.
Write for the actual successive rotations , , and , each selected using the currently transformed matrix. The first eliminates position ; the second eliminates while leaving row two unchanged. After these, the first column is . The final rotation of rows two and three preserves both zeros in that column and eliminates . Hence
A lower-triangular starting matrix does not force any further zeros above the diagonal. For example, the lower-triangular matrix with all entries on and below its diagonal equal to one gives, with the nonnegative pivot convention,
which has all upper-triangular entries nonzero.
Inverting the product of rotations yields the QR factorization
The order reverses when taking the transpose. If is orthogonal, then is both orthogonal and upper triangular. Its first column forces and orthogonality with the other columns forces . Applying the same argument to the remaining block makes diagonal with entries of modulus one.
Our elimination rule makes and positive when nonzero, so they are both one. Every rotation has determinant one; thus and
Without a fixed pivot-sign convention one could only specify a diagonal sign matrix. The convention chosen in part (c) determines the precise signs above.
A real square matrix is orthogonal when , equivalently when its columns form an orthonormal basis. Taking determinants gives , so
In particular it is invertible with inverse and preserves the Euclidean norm.
Use a QR factorization, whose existence is supplied. Since and is triangular,
Each diagonal entry is one component of its column, so . Multiplication yields Hadamard determinant inequality:
The argument includes singular matrices, since a zero diagonal factor makes the determinant zero.
Strictly, it is the infinitesimal generators, not every unitary matrix with unit determinant, that are traceless. For a continuous one-parameter family , unitarity requires the generator to be Hermitian. The determinant condition gives
Differentiating at yields . A Hermitian matrix has real diagonal parameters and real off-diagonal parameters; one real trace constraint leaves independent generators. Thus
The identity matrix supplies a concrete counterexample to interpreting the claim as one about arbitrary group elements: but . Also, at a single parameter value only fixes the trace modulo ; the continuous neighbourhood is essential.
Put type-A atoms at and type-B atoms at . Their displacements obey Newton's second law,
Choose normal modes and . Substitution gives
A nonzero displacement vector requires zero determinant:
Solving this quadratic in gives the diatomic-chain dispersion relation with equal springs,
The primitive unit cell has length , so the first Brillouin zone is .
The principal moments of inertia are the eigenvalues of the symmetric inertia tensor. In units of , its characteristic determinant is
Therefore the requested algebraic answer is
An orthonormal basis of principal axes is , , and ; the last two span the degenerate eigenspace and may be replaced by any orthonormal basis of it.
There is a physical inconsistency in calling the supplied matrix a rigid body's inertia tensor. The moment-of-inertia triangle inequalities require each principal moment to be no greater than the sum of the other two. Here . In principal coordinates, cannot be negative for a nonnegative mass distribution. Thus the eigenvalue calculation is well defined, but no ordinary rigid mass distribution realizes this tensor. The positive second-moment matrix test for an inertia tensor makes the same obstruction explicit.
To find the two-mass three-spring normal modes, choose both displacements positive to the right, measured from mechanical equilibrium. The middle spring's extension changes by . Hooke's law and Newton's second law therefore give
In a normal mode both displacements have the same angular frequency: take . A nonzero amplitude vector exists when the determinant vanishes:
Writing , the two angular frequencies are
The corresponding eigenvectors can be specified by
Since for positive masses, the lower normal mode has : both bodies move in the same direction at any instant. The higher normal mode has : they move in opposite directions. Their amplitudes are generally unequal. For the useful check , these reduce to with , and with . Each angular frequency has units .
For the instantaneous Lorenz error growth at a zero-y crossing, direct differentiation of the Lorenz system gives
At a crossing of its symmetric part is particularly simple:
Thus a perturbation initially in the direction has norm-squared rate and initially decays in norm at rate . The -dependent couplings between and are skew-symmetric at the crossing and do not contribute to the instantaneous total norm derivative. They can rotate the perturbation later: a pure immediately induces . It is therefore incorrect to claim that such an error remains an independently decaying mode along the complete trajectory.
For the block, the trace is and the determinant is . A negative determinant gives one positive and one negative eigenvalue. Equivalently,
In particular the requested sufficient lower-height condition is
There is also a second growth range ; it must not be lost by removing the absolute value. At either endpoint the largest rate is zero. Between them both block eigenvalues are negative. At a crossing in either growing range, some planar error directions have positive instantaneous exponential rate. This statement is local in time: a single instantaneous positive eigenvalue of does not prove sustained exponential error growth over an evolving Lorenz trajectory.
Uniform area distribution on the unit disk gives
The Jacobian determinant has absolute determinant , so
Integrating out the other coordinate gives
The joint probability density function factors into these two marginal distribution, proving independence of and . Finally
The angle at can be defined arbitrarily, since that event has probability zero.