# Matriz tridiagonal

En álgebra lineal se denomina matriz tridiagonal a una matriz cuyos elementos son solo distintos de cero en la diagonal principal y las diagonales adyacentes por encima y por debajo de esta.
Sea ejemplo
    ${\begin{pmatrix}1&4&0&0\\3&4&1&0\\0&2&3&4\\0&0&1&3\\\end{pmatrix}}.$
Este tipo de matrices dispersas son habituales en álgebra lineal numérica y en la resolución de problemas de física computacional al aproximarse mediante diferencias finitas ecuaciones diferenciales (ecuación de Poisson, ecuación del calor, ecuación de onda...), particularmente en problemas unidimensionales. Dada su particularidad existen algoritmos y reglas específicas para operar con ellas con mayor eficiencia que con una matriz genérica.
De forma general, cualquier matriz hermitiana puede convertirse en una matriz tridiagonal mediante una transformación ortogonal usando el algoritmo de Lanczos. Así, también se emplean estas matrices como pasos intermedios en otros algoritmos matemáticos.

## Propiedades

El determinante de una matriz tridiagonal es el continuante de sus elementos, algo de significado en el contexto de las fracciones continuas.
Una matriz tridiagonal es al mismo tiempo una matriz de Hessenberg superior e inferior. En particular, una matriz triangular es la suma directa de p 1-a-1 y q 2-a-2 matrices tales que p + q/2 = n (la dimensión de la tridiagonal).
Aunque una matriz tridiagonal no tiene necesariamente que ser simétrica o hermitiana, suelen serlo en el contexto de los problemas que las originan. Más aún, si una matriz tridiagonal A satisface a$_{k,k+1}$ a$_{k+1,k}$ > 0, de forma que el signo de sus elementos es simétrico es semejante a una hermitiana y por tanto sus valores propios son todos reales. Esta afirmación sigue siendo cierta si se reemplaza la condición por a$_{k,k+1}$ a$_{k+1,k}$ > 0 by a$_{k,k+1}$ a$_{k+1,k}$ ≥ 0.
El conjunto de todas las matrices n × n tridiagonales forma un espacio vectorial de dimensión 3n-2.

### Determinante

El determinante de una matriz tridiagonal A de orden n satisface una recurrencia de tres términos. Siendo f$_1$ = |d$_1$| = d$_1$ y
       $f_{n}={\begin{vmatrix}a_{1}&b_{1}\\c_{1}&a_{2}&b_{2}\\&c_{2}&\ddots &\ddots \\&&\ddots &\ddots &b_{n-1}\\&&&c_{n-1}&a_{n}\end{vmatrix}}$
lo se puede definir la siguiente relación de recurrencia para definir el continuante:
       $f_{n}=a_{n}f_{n-1}-c_{n-1}b_{n-1}f_{n-2}$
con valores iniciales f$_0$ = 1 y f$_{-1}$ = 0. El coste computacional de esta forma es $\theta (n)$ frente a $\theta (n^{3})$ para una matriz genérica.

### Inversión

La inversa de una matriz no singular T:
       $T={\begin{pmatrix}a_{1}&b_{1}\\c_{1}&a_{2}&b_{2}\\&c_{2}&\ddots &\ddots \\&&\ddots &\ddots &b_{n-1}\\&&&c_{n-1}&a_{n}\end{pmatrix}}$
es dada por:
       $(T^{-1})_{ij}={\begin{cases}(-1)^{i+j}b_{i}\cdots b_{j-1}\theta _{i-1}\phi _{j+1}/\theta _{n}&{\text{ if }}i\leq j\\(-1)^{i+j}c_{j}\cdots c_{i-1}\theta _{j-1}\phi _{i+1}/\theta _{n}&{\text{ if }}i>j\\\end{cases}}$
Donde los términos θ$_i$ satisfacen la siguiente relación de recurrencia:
       $\theta _{i}=a_{i}\theta _{i-1}-b_{i-1}c_{i-1}\theta _{i-2}\quad {\text{ for }}i=2,3,\ldots ,n$
con condiciones iniciales θ$_0$ = 1, θ$_1$ = a$_1$ y ϕ$_i$ satisface
       $\phi _{i}=a_{i}\phi _{i+1}-b_{i}c_{i}\phi _{i+2}\quad {\text{ for }}i=n-1,\ldots ,1$
con condiciones iniciales ϕ$_{n+1}$ = 1 and ϕ$_n$ = a$_n$.
Existen formas cerradas para casos como el de matrices simétricas o el de matrices de Toeplitz.

## Resolución de sistemas de ecuaciones

Un sistema de ecuaciones $Ax=b$ con $b\in \mathbb {R} ^{n}$ y A tridiagonal puede ser resuelto de forma eficiente con una variante de la eliminación gaussiana. Este algoritmo (a veces llamado Algoritmo de Thomas) requiere solo $O(n)$ operaciones, frente a las $O(n^{3})$ que requiere una matriz genérica.
Esta optimización se puede lograr también mediante métodos iterativos. Existen variantes del método de Gauss-Seidel que usan un factor de relajación $\omega$ para acelerar la convergencia del método. El caso de una matriz tridiagonal es una de las pocas para las que se puede demostrar la existencia de un valor óptimo para $\omega$. Según el Teorema de Ostrowski y Reich, este valor viene dado por:
   $w={\dfrac {2}{1+{\sqrt {1-\rho (T)}}}}\,$
siendo $\rho (T)$ el radio espectral de la matriz de transformación del método de Gauss-Seidel asociado al sistema en cuestión.

## Implementación en ordenador

Una matriz tridiagonal puede ser almacenada de forma más eficiente mediante esquemas específicos. Por ejemplo la librería LAPACK usada en el lenguaje Fortran lo almacena como tres vectores unidimensionales: uno de longitud n para la diagonal principal y dos vectores de longitud n − 1 para las adyacentes.

## Aplicaciones

Una transformación que reduce una matriz general a una matriz de Hessenberg reducirá una matriz Hermítica a una matriz tridiagonal. Es por ello que muchos algoritmos para el cálculo de autovalores cuando se aplican a una matriz Hermítica, reducen previamente la matriz Hermítica a una matriz tridiagonal.