Matrice de Jacobi

Modèle:Confusion Les matrices de Jacobi sont des matrices symétriques tridiagonales, éventuellement infinies. Leur nom vient du mathématicien allemand Carl Gustav Jakob Jacobi.

Matrice de taille finie

Les matrices de Jacobi de taille finie sont de la forme

$J=\left[\begin{array}{ccccc}{b}_0& a_0& & & \\ a_0& b_1& a_1& & \\ & a_1& \ddots & \ddots & \\ & & \ddots & \ddots & a_{n-1}\\ & & & a_{n-1}& b_n\end{array}\right],$

avec $a_n\ne 0,b_n\in ℝ.$

On montre que $\lambda$ est une valeur propre de la matrice $J$ si et seulement si

$\lambda -b_0-\frac{a_0^2}{\lambda -b_1-\frac{a_1^2}{\lambda -b_2-\cdots \frac{a_{n-1}^2}{\lambda -b_n}}}=0.$

Si l'on réduit la fraction continue en une fraction rationnelle, le numérateur sera le polynôme caractéristique ${\chi }_{n+1}(\lambda )$ de la matrice $J$.

Dimension infinie

Considérons deux suites $(a_n)$ et $(b_n)$, toujours avec $a_n\ne 0$ et $b_n\in ℝ$. L'opérateur de Jacobi $J$ associé est défini sur un espace de suites $(u_n)$ par

$(Ju{)}_0=b_0{u}_0+a_0{u}_1,(Ju{)}_n=a_{n-1}{u}_{n-1}+b_n{u}_n+a_n{u}_{n+1},n>0.$

Les opérateurs de Jacobi sont liés à la théorie des polynômes orthogonaux. En effet, si l'on note $P(x)=(P_0(x),P_1(x),P_2(x),...)$ avec $P_0(x)=1$ la solution de

$JP(x)=xP(x)$,

alors $P_n(x)$ est un polynôme de degré $n$. Ces polynômes vérifient la relation de récurrence d'ordre 2 :

$a_{n-1}{P}_{n-1}(x)+b_n{P}_n(x)+a_n{P}_{n+1}(x)=x{P}_n(x)$

pour tout $n\ge 0$, si l'on pose $P_{-1}(x)=0$ et $P_0(x)=1$. Ces polynômes sont orthogonaux par rapport à une certaine mesure.

Par exemple, avec $(a_n)=(-1,-2,-3,...,-n,...)$ et $(b_n)=(1,3,5,...,2n+1,...)$, les polynômes $P_n(x)$ sont les polynômes de Laguerre.

Avec $(a_n)=(1/2,1/2,1/2,...)$ et $(b_n)=(0,0,0,...)$, les polynômes $P_n(x)$ sont les polynômes de Tchebychev de seconde espèce.

Notes et références

• Modèle:EncycloMath

Voir aussi

• Modèle:Chapitre