A block matrix inverse expresses the matrix inverse in terms of smaller matrices. Partition a square matrix over a field as
If is an invertible matrix, define its Schur complement . Then is an invertible matrix exactly when is an invertible matrix, and
The order of the matrix products matters. In particular, the lower-right block is , rather than generally : the coupling through and changes the response.[ref]
For an original example, take
The Schur complement is . Substitution gives the concise answer
Multiplying in either order gives the identity matrix; the lower-right entry is , whereas . The difference records the feedback through the two eliminated variables.
Figure 1.
A block matrix inverse computed from the smaller Schur complement
. Original exact example. Colours mark the two-by-two block , the coupling blocks , and the scalar block . The same partition is retained in the matrix inverse; its blocks are not the entrywise inverses of the original blocks. Details.
Often the desired output is a solution of a linear system, rather than every entry of a matrix inverse. Block elimination solves with and then with , recovering the eliminated variables by back substitution. Reusing an LU decomposition of avoids explicitly forming . A favourable block diagonal matrix or tridiagonal matrix block can make this useful; merely partitioning an unstructured dense matrix does not guarantee a faster solve.[ref]
Write a linear system as and , with an invertible matrix. Solving the first equation for and substituting in the second gives
Thus the Schur complement is the coefficient matrix remaining after the variables have been eliminated. When it is an invertible matrix, solve the reduced linear system for and recover . In computation, expressions such as mean solving with each column of , using the same LU decomposition or Cholesky decomposition when applicable.
For the example under block matrix inverse and right-hand side , take and . Since , the reduced equation is . Back substitution gives
The original equations return , and , respectively. The reduction retained the influence of on through the correction .
A short proof outline also explains whether is an invertible matrix: the exact matrix factorization
has invertible matrices on the outside. Therefore is an invertible matrix precisely when the central block diagonal matrix is one. Reversing the factors gives the block matrix inverse, while taking determinants gives the Schur complement determinant identity.
An invertible matrix need not have an invertible chosen diagonal block. For example,
has singular matrices as both one-by-one diagonal blocks. Neither diagonal-block formula applies in that partition. Interchanging the two rows produces the identity matrix and a usable pivot element. This is why a failed block pivot is not proof that the full matrix is a singular matrix; Pivoted LU decomposition changes the order before eliminating.
Conversely, invertible diagonal blocks do not suffice: has but Schur complement , so it is a singular matrix. Both hypotheses in the block matrix inverse formula have work to do.

Articles by others on the same topic (0)

There are currently no matching articles.