Skip to main content
edited body
Source Link
Jed Brown
  • 25.8k
  • 3
  • 74
  • 131

Meijerink and van der Vorst showed that incomplete Cholesky dose not break down for $M$-matrices. As for finite element mass matrices, you will have to specify a basis to have any hope of making that claim.

Given any basis $\Phi = [\phi_0 | \phi_1 | \phi_2 | \phi_3]$ such that the mass matrix $A = \Phi^T \Phi$ is SPD, we can construct a new basis $\hat \Phi = \Phi B$ such that the new mass matrix

$$\hat\Phi^T \hat \Phi = \begin{pmatrix} 3 & -2 & 0 & 2 \\ -2 & 3 & -2 & 0 \\ 0 & -2 & 3 & -2 \\ 2 & 0 & -2 & 3 \end{pmatrix} =: K$$

is the Kershaw matrix, an SPD matrix for which incomplete Cholesky produces a negative pivot. The transformation $B$ satisfies $B^T A B = K$, and given the Cholesky factorizations $A = L_AL_A^T$ and $K = L_K L_K^T$, is explicitlyreadily computable as $B = L_A^{-1} L_K$$B = L_A^{-T} L_K^T$.

Meijerink and van der Vorst showed that incomplete Cholesky dose not break down for $M$-matrices. As for finite element mass matrices, you will have to specify a basis to have any hope of making that claim.

Given any basis $\Phi = [\phi_0 | \phi_1 | \phi_2 | \phi_3]$ such that the mass matrix $A = \Phi^T \Phi$ is SPD, we can construct a new basis $\hat \Phi = \Phi B$ such that the new mass matrix

$$\hat\Phi^T \hat \Phi = \begin{pmatrix} 3 & -2 & 0 & 2 \\ -2 & 3 & -2 & 0 \\ 0 & -2 & 3 & -2 \\ 2 & 0 & -2 & 3 \end{pmatrix} =: K$$

is the Kershaw matrix, an SPD matrix for which incomplete Cholesky produces a negative pivot. The transformation $B$ satisfies $B^T A B = K$, and given the Cholesky factorizations $A = L_AL_A^T$ and $K = L_K L_K^T$, is explicitly $B = L_A^{-1} L_K$.

Meijerink and van der Vorst showed that incomplete Cholesky dose not break down for $M$-matrices. As for finite element mass matrices, you will have to specify a basis to have any hope of making that claim.

Given any basis $\Phi = [\phi_0 | \phi_1 | \phi_2 | \phi_3]$ such that the mass matrix $A = \Phi^T \Phi$ is SPD, we can construct a new basis $\hat \Phi = \Phi B$ such that the new mass matrix

$$\hat\Phi^T \hat \Phi = \begin{pmatrix} 3 & -2 & 0 & 2 \\ -2 & 3 & -2 & 0 \\ 0 & -2 & 3 & -2 \\ 2 & 0 & -2 & 3 \end{pmatrix} =: K$$

is the Kershaw matrix, an SPD matrix for which incomplete Cholesky produces a negative pivot. The transformation $B$ satisfies $B^T A B = K$, and given the Cholesky factorizations $A = L_AL_A^T$ and $K = L_K L_K^T$, is readily computable as $B = L_A^{-T} L_K^T$.

Source Link
Jed Brown
  • 25.8k
  • 3
  • 74
  • 131

Meijerink and van der Vorst showed that incomplete Cholesky dose not break down for $M$-matrices. As for finite element mass matrices, you will have to specify a basis to have any hope of making that claim.

Given any basis $\Phi = [\phi_0 | \phi_1 | \phi_2 | \phi_3]$ such that the mass matrix $A = \Phi^T \Phi$ is SPD, we can construct a new basis $\hat \Phi = \Phi B$ such that the new mass matrix

$$\hat\Phi^T \hat \Phi = \begin{pmatrix} 3 & -2 & 0 & 2 \\ -2 & 3 & -2 & 0 \\ 0 & -2 & 3 & -2 \\ 2 & 0 & -2 & 3 \end{pmatrix} =: K$$

is the Kershaw matrix, an SPD matrix for which incomplete Cholesky produces a negative pivot. The transformation $B$ satisfies $B^T A B = K$, and given the Cholesky factorizations $A = L_AL_A^T$ and $K = L_K L_K^T$, is explicitly $B = L_A^{-1} L_K$.