下三角矩陣

定義：若矩陣L具有下列形式：

則稱為下三角矩陣 ^[1]  。

若矩陣U具有下列形式：

則稱為上三角矩陣。

許多矩陣運算保持下三角性不變:

若上（下）三角矩陣對角線元素全是0，則稱為嚴格上（下）三角矩陣。

一個原子下(上)三角矩陣是矩陣的一種特殊形式，所有的地方非對角元素為零，除了在單個列的條目。這樣一個矩陣也被稱為弗羅貝尼烏斯矩陣，高斯矩陣或高斯變換矩陣。即原子下三角矩陣的形式 ^[2] 

一個原子三角矩陣的逆再次原子三角形。事實上，我們有

是上三角陣。

是下三角陣

是原子下三角矩陣，其逆為

一個矩陣方程形式

或

很容易解決的一個迭代過程給出求解。

Lx = b矩陣方程可以寫成一個線性方程組

其解迭代公式 ^[2]  為

下面給出一個C語言的算法實現：

public static double[] luEvaluate(double[][] L, double[][] U, double[] b)

{

// Ax = b -> LUx = b. Then y is defined to be Ux

double[] x = new double[b.Length];

double[] y = new double[b.Length];

// Forward solve Ly = b

for (int i = 0; i < b.Length; i++)

{

y[i] = b[i];

for (int j = 0; j < i; j++) {

y[i] -= L[i][j] * y[j];

}

y[i] /= L[i][i];

}

// Backward solve Ux = y

for (int i = b.Length - 1; i >= 0; i--)

{

x[i] = y[i];

for (int j = i + 1; j < n; j++) {

x[i] -= U[i][j] * x[j];

}

x[i] /= U[i][i];

}

return x;

}