• Comportement du chien et
    du chat
  • Celui qui connait vraiment les animaux est par là même capable de comprendre pleinement le caractère unique de l'homme
    • Konrad Lorenz
  • Biologie, neurosciences et
    sciences en général
  •  Le but des sciences n'est pas d'ouvrir une porte à la sagesse infinie,
    mais de poser une limite à l'erreur infinie
    • La vie de Galilée de Bertold Brecht

Mathématiques : rappels
Espaces vectoriels : vecteur propre, valeur propre

Sommaire
définition

Un vecteur propre (eigenvector) est une notion algébrique s'appliquant à une application linéaire d'un espace dans lui-même (endomorphisme).

Fonction propre

En mathématiques, une fonction propre d'un opérateur linéaire $\hat O$, définie sur un espace fonctionnel quelconque, est une fonction non nulle $f$ dans cet espace qui, lorsqu'on applique cet opérateur, n'est multipliée que par un facteur d'échelle $\lambda$ appelé valeur propre.

Transvection
Tambour vibrant : fonction propre
de l'opérateur de Laplace
(Figure : vetopsy.fr d'après Alexandrov)

L'équation peut être écrite : $\hat O f=\lambda f$.

Opérateur scalaire

$lambda$, la valeur propre, peut être un scalaire et alors les fonctions propres sont les vecteurs propres (cf. plus bas).

  • Les valeurs possibles de $\lambda$ sont généralement limitées, par exemple à un ensemble discret ou à un ensemble continu sur une certaine plage.
  • L'ensemble de toutes les valeurs propres possibles de $\hat O$ est parfois appelé son spectre, qui peut être discret, continu, ou une combinaison des deux.

Chaque valeur de $\lambda$ est associé à une ou plusieurs fonctions propres.

  • Si plusieurs fonctions propres linéairement indépendantes ont la même valeur propre, la valeur propre est dite dégénérée.
    Transvection
    Transvection où le vecteur bleu est un vecteur propre :
    il ne change pas la direction. La valeur propre est 1.
    (Figure : vetopsy.fr d'après TreyGreer62)

    Si $\hat N$ est l'opérateur " $\times 2$ " : alors $\hat N(x^2)=2x$ ou $\hat N(\cos x)=2\cos x$, d'où $\hat Nf(x)=2f(x)$. Toute fonction $f$ est fonction propre de $\hat N$ et la seule valeur propre est $2$.

  • Le nombre maximal de fonctions proprses associées à la même valeur propre est appelé degré de dégénérescence ou multiplicité géométrique de la valeur propre. Dans le cas précédent, la valeur propre est infiniment dégénérée.

Soit $\mathcal E$ un espace vectoriel sur $\mathbb K$ et $u$ est un endomorphisme de $\mathcal E$.

1. Le vecteur $\vec x$ de $\mathcal E$ non nul est dit vecteur propre de $u$ si et seulement s'il existe un élément $\lambda$ de $\mathbb K$ tel que $u(x)=\lambda x$, i.e. $\lambda$ modifie la taille sans changer la direction.

2. Le scalaire $\lambda$ élément de $\mathbb K$ est dit valeur propre de $u$ si et seulement s'il existe un vecteur $x$ non nul de E tel que $u(x)=\lambda x$, i.e. $\lambda$ peut être positif, négatif ou nul.

3. Le sous-espace vectoriel de $\mathcal E$ est dit espace propre de $u$ s'il est formé par l'ensemble constitué des vecteurs propres de valeur propre $\lambda$ et du vecteur nul.

Opérateur différentiel

Les neuf chapitres de l'art mathématique
Équation pour un anneau (r=2 et R=4)
avec des conditions limites
(lFigure : vetopsy.fr d'après Skitzou)

Si l'opérateur est un opérateur différentiel, i.e. $\hat D=\dfrac{d}{dx}$, alors par exemple :

$\hat D(x^2)=2x$ ou $\hat D(\sin x)=\cos x$, d'où $\hat Df(x)=\dfrac{df}{dx}(x)$.

Il faut donc trouver les fonctions propres qui résolvent l'équation : $\forall x,\;\dfrac{df}{dx}(x)=\lambda f(x)$.

Si on multiplie de chaque coté par $\dfrac{dx}{f(x)}$ et on en fait l'intégration, alors on trouve une fonction exponentielle qui est une fonction propre de l'opérateur différentiel : $f(x)=f_0e^{\lambda x}$.

  • $f_0$ est un paramètre dépendant des conditions aux limites ;
  • $f_x$ est fonction de sa propre valeur propre $\lambda$ qui peut être réelle ou complexe (si $\lambda=0, la fonction $f(x) est une constante).

On peut appliquer les mêmes processus aux opérateurs hermitiens (endomorphismes autoadjoints) qui agissent sur l'espace de Hilbert (cf. plus bas).

Calcul matriciel simple

Les opérateurs linéaires peuvent être exprimés sous forme de matrices, bien qu'ils puissent avoir des dimensions infinies.

Les fonctions propres peuvent être exprimées en vecteurs colonne, i.e. une matrice colonne comprenant n lignes et 1 colonne. Un vecteur colonne est donc le plus souvent identifié à un vecteur de l'espace vectoriel considéré.

Prenons un exemple simple et réel, sachant qu'on utilise des matrices à nombres complexes : cet exemple est tiré de l'université en ligne où vous pouvez suivre le calcul matriciel.

Soit $A=\begin{pmatrix}5&-3\\6&-4\end{pmatrix}$.

1. Les valeurs propres sont des scalaires $l$ tels que : $det(A-\lambda I_2)=0\Leftrightarrow\begin{vmatrix}5-\lambda&-3\\6&-4-\lambda\end{vmatrix}=0$

$$\begin{align}det(A-\lambda I_2)=(5-\lambda)(-4-\lambda)-(-3)(6)\\=\lambda^2-\lambda-2=(\lambda+1)(\lambda-2)=0\end{align}$$

Les neuf chapitres de l'art mathématique
Les neuf chapitres de l'art mathématique
(livre chinois du IIème siècle av. J.C.)

Les racines de ce polynôme caractéristique, i.e. les valeurs propres, sont : $l_1=-1$ et $l_2=+2$ appelés souvent $\lambda_1$ et $\lambda_2$.

2. Les vecteurs propres $x_1$ et $x_2$ correspondant aux valeurs $l_1$ et $l_2$ (qui remplace $\lambda$) sont :

Pour $l_1=-1$ :

  • $(A-I_2)X_1=0\Leftrightarrow\begin{pmatrix}6&-3\\6&-3\end{pmatrix}\begin{pmatrix}x'_1\\x^"_1\end{pmatrix}=0$,
  • d'où $6x'_1-3x^"_1=0$, d'où le vecteur propre : $\begin{pmatrix}1\\2\end{pmatrix}$.

Pour $l_2=+2$ :

  • $(A+2I_2)X_2=0\Leftrightarrow\begin{pmatrix}3&-3\\6&-6\end{pmatrix}\begin{pmatrix}x'_2\\x^"_2\end{pmatrix}=0$,
  • d'où $3x'_1-3x^"_1=0$, d'où le vecteur propre : $\begin{pmatrix}1\\1\end{pmatrix}$.

3. Le déterminant $\begin{vmatrix}1&1\\2&1\end{vmatrix}\neq0$, la famille $(x_1,x_2)$ est une base de $\mathbb R^2$. Cette matrice est appelée matrice de passage ou matrice de changement de base.

Exemple simple

Prenons une image dans un miroir plan pour bien comprendre :

  • un vecteur collé au miroir (en rouge) donne comme image lui-même : le plan du miroir est un espace propre associé à la valeur propre 1.
  • un vecteur perpendiculaire au miroir (en bleu) donne comme image un vecteur de même longueur, de même direction, mais de sens opposé (en jaune) : c'est un vecteur propre de valeur propre -1.
  • Chien dans un miroir
    Chien dans un miroir
    un vecteur ni collé ni perpendiculaire donne une image qui n'est pas dans le même axe que lui, ce n'est donc pas un vecteur propre.

Dans cet exemple, le comportement des vecteurs propres décrit intégralement l'application, en effet tout vecteur est la somme d'un vecteur dans le plan de la glace et d'un vecteur perpendiculaire.

Si on gonfle un ballon, la dilatation allonge tous les vecteurs (sauf le vecteur nul) du centre du ballon : ce sont donc tous des vecteurs propres (homothétie).

Les états stables des électrons sont modélisés par des vecteurs propres dont les valeurs propres correspondent à des états d'énergie.

Endomorphisme diagonalisable

Définition

définition

Un endomorphisme est dit diagonalisable si et seulement s'il existe une base de vecteurs propres.

Reprenons l'exemple matriciel précédent (université en ligne) avec $A=\begin{pmatrix}5&-3\\6&-4\end{pmatrix}$.

Endomorphisme diagonalisable
Endomorphisme diagonalisable
(Figure : vetopsy.fr d'après Jean Luc W)

Si $D$ est une matrice diagonalisable, cela veut dire que $D=P^{-1}AP$, i.e. il existe une matrice diagonale $A$ et une matrice de passage $P$ et sa matrice inverse ou inversible $P^{-1}$

  • $P=\begin{pmatrix}1&1\\2&1\end{pmatrix}\\\Rightarrow P^{-1}=-\begin{pmatrix}\phantom{-}1&-1\\-2&\phantom{-}1\end{pmatrix}$
  • $D=P^{-1}AP=\\\begin{pmatrix}\phantom{-}1&-1\\-2&\phantom{-}1\end{pmatrix}\begin{pmatrix}5&-3\\6&-4\end{pmatrix}\begin{pmatrix}1&1\\2&1\end{pmatrix}\\=\begin{pmatrix}-1&0\\\phantom{-}0&2\end{pmatrix}$.
  • $P=\begin{pmatrix}1&1\\2&1\end{pmatrix}\Rightarrow P^{-1}=-\begin{pmatrix}\phantom{-}1&-1\\-2&\phantom{-}1\end{pmatrix}$
  • $D=P^{-1}AP=\begin{pmatrix}\phantom{-}1&-1\\-2&\phantom{-}1\end{pmatrix}\begin{pmatrix}5&-3\\6&-4\end{pmatrix}\begin{pmatrix}1&1\\2&1\end{pmatrix}=\begin{pmatrix}-1&0\\\phantom{-}0&2\end{pmatrix}$
  • La matrice diagonale est donc formée des valeurs propres.

Reprenons l'exemple du miroir.

  • Choisissons par exemple, 2 vecteurs dans le plan du miroir (vecteurs propres de valeur propre $+1$ - i.e. ce sont leurs propres images -), et un perpendiculaire au miroir (vecteur propre de valeur $-1$).
  • La réduction d'endomorphisme sera simple : on décompose l'espace vectoriel en une somme directe de sous-espaces stables de dimension 1 qui sont des droites.

Réduction d'endomorphisme

Endomorphisme autoadjoint
Endomorphisme autoadjoint
(Figure : vetopsy.fr d'après Jean-Luc W)

Caractériser un endomorphisme diagonalisable consiste à étudier un polynôme caractéristique (polynômes de l'endomorphisme). L'intérêt du concept est que si $u$ est un endomorphisme de $\mathcal E$.

  • On peut l'appliquer deux fois de suite et l'application sera $u^2$ qui aura une puissance entière positive.
  • On peut trouver des polynômes annulateurs de l'endomorphisme. Les projecteurs ($p^2=p$) et les symétries ($s^2=Id$) en sont les exemples les plus simples.

Sur la figure ci-contre, un endomorphisme autoadjoint transforme la boule unité en un ellipsoïde dont les axes sont les vecteurs propres et les longueurs des demi-axes les valeurs absolues des valeurs propres.

Cette approche est appelée réduction d'endomorphisme, car elle permet de résoudre des problèmes en créant de nouveaux espaces fournissant des bases qui permettent le calcul d'angles et de distances, comme en mécanique quantique sur l'espace de Hilbert.

  • L''endomorphisme possède toujours la bonne symétrie que l'on appelle endomorphisme autoadjoint et, en outre, il est algébriquement clos, c'est-à-dire que tout polynôme non constant admet au moins une racine dans le cas des nombres complexes.
  • En outre, les vecteurs et valeurs propres, de l'endomorphisme auto-adjoint associé, sont des invariants, des êtres qui décrivent les grandeurs naturelles et caractéristiques de la géométrie considérée.
bien

L'endomorphisme autoadjoint est aussi appelé opérateur hermitien (i.e. symétrique).

David Hilbert
David Hilbert (1862-1943)

Sur ces espaces de Hilbert de dimension finie, un endomorphisme autoadjoint :

  • est diagonalisable dans une certaine base orthonormée, i.e. les fonctions propres de l'opérateur hermitien forment cette base orthonormée.
  • possède des valeurs propres (même dans le cas hermitien) réelles.

On entre alors dans la théorie spectrale, introduit par Hilbert pour ses espaces.

Dans ces cas, une fonction arbitraire peut être exprimée comme une combinaison linéaire des fonctions propres de l'opérateur hermitien. Cela permet de résoudre l'équation de Schrödinger indépendante du temps : $H\psi(r)= E\psi(r)$.

  • Les fonctions propres $\phi_k$ de l'opérateur hamiltonien sont des états stationnaires de la mécanique quantique, chacun ayant une énergie correspondante $E_k$ (orbitales).
  • Ils représentent des états d'énergie admissibles du système et peuvent être contraints par des conditions aux limites.

Mécanique quantique