Here . Applying part (a) at that matrix gives , while part (b) gives . ThereforeBoth the outer evaluation point and the inner derivative contribute a factor of .
The total derivative is the unique linear map satisfyingThis describes the best first-order linear approximation without choosing coordinates. The chain rule isThe 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 . ThereforeDirect 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 becomesPartial pivoting in the second column swaps rows two and three because two is largest in modulus. The next elimination multipliers are and . This givesThe third pivot element is already largest and the final multiplier below it is zero. Back substitution gives , , , . ThereforeThe row swap must also reorder the previously stored first-column multipliers in . The factors areMultiplying 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 givesDivision 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 isIts three row discs have positive real centres and leftmost real coordinatesAll 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 isFor 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 givesThe 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 , whereConsequentlyDirectly 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 becauseFor the basic QR algorithm, start with and repeatedly formIn 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 isand 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 . ThusThe 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, soThe 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, givingwhich 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 givesThe last term is by that local bound. Hence the inverse map is differentiable, withThis verifies the differentiability and its remainder, rather than only formally differentiating the identity .
The Fréchet derivative at is the linear map satisfyingIt is unique. When both derivatives exist, the chain rule is .
Define to be identity outside rows and columns , with blockThe 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. ThusInverting 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-pivotwhose 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 isWithout a specified pivot-sign convention, the invariant statement is a diagonal matrix with entries and product .
The maximum-likelihood estimator is a maximizerWriting and the score , the expected Fisher information matrix iswhere 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 isor approximately . Boundary parameters need not obey this regular approximation.
The inverse derivative formula, evaluated at , givesMultiplying 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 givesso is skew-symmetric. Every real skew-symmetric matrix has the unique formwhich acts on a vector as . Since , each column satisfiesThe 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 . HenceA 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 factorizationThe 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.
If is differentiable at , and is defined on a neighborhood of and differentiable there, the chain rule statesIn standard coordinates the same statement isThe 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 thatThe 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.