Here . Applying part (a) at that matrix gives , while part (b) gives . Therefore
Both the outer evaluation point and the inner derivative contribute a factor of .
The total derivative is the unique linear map satisfying
This describes the best first-order linear approximation without choosing coordinates. The chain rule is
The evaluation point in the outer derivative matters, particularly when composing a quadratic matrix map with the exponential.
Condition on the state after steps and use the Markov property and time-homogeneous Markov property:
This is the Chapman-Kolmogorov equation, or . A stationary distribution is a probability row vector with nonnegative entries summing to one and . Inductively , so a chain started with that distribution retains it at every time.
For the given matrix, its first stationary equation is . Normalization gives . The third equation gives , hence . Therefore
Direct multiplication verifies the second equation as well. The finite chain is irreducible, so this stationary probability distribution is unique.
The first-column largest pivot element is four, so eliminate with multipliers below it. The augmented matrix becomes
Partial pivoting in the second column swaps rows two and three because two is largest in modulus. The next elimination multipliers are and . This gives
The third pivot element is already largest and the final multiplier below it is zero. Back substitution gives , , , . Therefore
The row swap must also reorder the previously stored first-column multipliers in . The factors are
Multiplying these factors verifies . This is the required elimination with partial pivoting, not an alternative solution method.
The th column of the matrix of in the standard bases is . Its th component is , found by taking increments . Thus the matrix of the total derivative is the Jacobian matrix, with entry equal to .
For a complex matrix , Gershgorin's theorem puts every eigenvalue in the union of the row discs , where . To prove it, choose an eigenvector for an eigenvalue and an index maximizing . Its th equation gives
Division proves .
The usual counting refinement says that a connected component made of discs contains exactly eigenvalues, with algebraic multiplicity. For completeness, deform the matrix from its diagonal part to the original by multiplying all off-diagonal entries by . Its discs have radii and stay inside the original discs. Continuous variation of the roots of the characteristic polynomial keeps the number inside any contour separating one original component from the others constant. At , the diagonal entries give exactly roots there, proving the refinement.
For the application put . The matrix is
Its three row discs have positive real centres and leftmost real coordinates
All are strictly positive, so zero lies in none of the discs. It cannot be an eigenvalue. Thus is nonsingular for every real .
At the first step, the chain enters state two with probability and state four with probability . The classes and are closed and disjoint, so only the first branch can reach state three. On the transition matrix is exactly the two-state matrix from part (b). Thus after the remaining steps, the probability of the second state in that class is
For it is zero, as the original matrix requires; this statement covers the zero-base exponent case without ambiguity.
The inverse function theorem states that a map on an open subset of has a local inverse near a point where its derivative is invertible; the inverse derivative at the image point is the inverse matrix of the original derivative.
Put . Quotient differentiation gives
The entries are smooth and the determinant is nonzero everywhere on the stated domain, so the theorem supplies the required local inverse at every point. The point is the image of , where
Consequently
Directly solving the two rational equations also gives on , consistent with the derivative calculation.
A QR decomposition is a factorization with and upper triangular. An orthogonal transformation preserves the Euclidean norm because
For the basic QR algorithm, start with and repeatedly form
In a convergent diagonal form, the diagonal entries give the eigenvalues; practical symmetric-matrix implementations use shifts and deflation to obtain and isolate such convergence. The basic unshifted iteration alone need not converge diagonally for every symmetric input.
At every step, however,
Thus each iterate is orthogonally similar to its predecessor. Similar matrices have the same characteristic polynomial and eigenvalues, including multiplicities, so induction proves that every iterate has exactly the original eigenvalues. Orthogonal similarity also preserves symmetry.
The elementary elimination step replaces row by row minus a multiple of an earlier pivot row . With coordinate vectors , its premultiplication matrix is
and its inverse is , since . Choose as the current entry below the pivot divided by the current pivot. Required pivots are assumed nonzero, consistently with elimination without row interchanges.
For dimension 4, first eliminate positions , then , then . Thus
The rightmost operation acts first, and every multiplier is computed from the matrix at its own stage. For general , the numbers of eliminations in successive columns are , totaling ; a zero multiplier simply gives an identity operation.
The product is unit lower triangular and is upper triangular. Its inverse is unit lower triangular, so
The stored multiplier in position is the corresponding subdiagonal entry of , as follows by reversing the pivot-row subtractions column by column.
If is upper Hessenberg, only the first subdiagonal can be nonzero below the diagonal. At stage only position needs elimination. Subtracting row cannot create lower entries further down because its entries before its pivot are already zero. Hence only operations are needed. The inverse factors occur in increasing column order, and their cross products vanish, giving
which is lower bidiagonal; is upper triangular, possibly dense above its diagonal.
If the Hessenberg matrix is also symmetric, it is tridiagonal. At each elimination step the pivot row has no entries past its immediate superdiagonal, so the updated matrix retains that upper bandwidth. Thus is lower bidiagonal and is upper bidiagonal, with at most two nonzero entries in each row, as required.
For small , the matrix remains invertible and its inverse is locally bounded, for example by the convergent Neumann series when . Applying the resolvent identity twice gives
The last term is by that local bound. Hence the inverse map is differentiable, with
This verifies the differentiability and its remainder, rather than only formally differentiating the identity .
The Fréchet derivative at is the linear map satisfying
It is unique. When both derivatives exist, the chain rule is .
For the square map,
The remainder has norm at most in a submultiplicative matrix norm, hence is . Therefore
Matrix multiplication is not commutative, so the two terms cannot generally be combined as .
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 .
The maximum-likelihood estimator is a maximizer
Writing and the score , the expected Fisher information matrix is
where the equality uses the usual regularity conditions. For independent identically distributed observations, .
Under the standard identifiability, interior-parameter, differentiability and nonsingular-information assumptions, the large-sample distribution is
or approximately . Boundary parameters need not obey this regular approximation.
The inverse derivative formula, evaluated at , gives
Multiplying the two displayed matrices in either order gives the identity element, verifying the total derivative explicitly.
Let be the matrix whose columns are the moving orthonormal basis vectors. Then . Differentiating gives
so is skew-symmetric. Every real skew-symmetric matrix has the unique form
which acts on a vector as . Since , each column satisfies
The vector is the instantaneous angular velocity. It may also be written .
A real square matrix is orthogonal when , equivalently . For and ,
Thus is orthogonal for every allowed angle, and indeed for every real angle.
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.
If is differentiable at , and is defined on a neighborhood of and differentiable there, the chain rule states
In standard coordinates the same statement is
The evaluation point in the first factor is , and the matrix order follows the order in which the linear maps act on increments.
The total derivative of at is the linear map such that
The Jacobian matrix is the matrix . When the total derivative exists, this is its matrix in standard bases: . Existence of partial derivatives alone need not imply existence of the total derivative.