Une base d'un espace vectoriel composée d'autovecteurs d'un opérateur linéaire de sorte que l'opérateur soit diagonal par rapport aux coordonnées dans cette base.

Principe

Si un opérateur linéaire est diagonalizable, il existe un ensemble complet d'autovecteurs linéairement indépendants dont l'enveloppe est l'espace entier ; pour les opérateurs normaux auto-adjoints on peut choisir une base propre orthonormée (théorème spectral).

Démonstration

L'opérateur Laplacien sur le cercle admet une base propre formée d'exponentielles complexes e^{ikθ} ; exprimer une fonction dans cette base diagonalise le Laplacien et transforme les EDP en relations algébriques sur les coefficients.

Mauvaise application

Supposer qu'une matrice arbitraire non diagonalizable possède une base propre et tenter de la diagonaliser sans tenir compte des chaînes de Jordan et des vecteurs propres généralisés.

Conséquence

Une base propre réduit les dynamiques linéaires à des évolutions scalaires indépendantes le long de chaque autovecteur, simplifie les décompositions spectrales et facilite des calculs efficaces comme la troncature modale et l'exponentiation diagonale.

Inversion

En l'absence d'une base propre complète on utilise une base de Jordan de vecteurs propres généralisés ou une décomposition en valeurs singulières qui fournit des modes orthogonaux pour des opérateurs non normaux mais pas de véritables autovecteurs pour la diagonalisation.

Limite

L'existence dépend de l'opérateur et du corps sous-jacent : en dimension finie la diagonalisation exige que les multiplicités algébriques égalent les multiplicities géométriques ; en dimension infinie la complétude et l'orthogonalité requièrent des conditions spectrales supplémentaires.

Tension sémantique

Confondue avec les vecteurs singuliers de la SVD : les vecteurs singuliers diagonalise un opérateur positif associé et sont orthogonaux pour des matrices quelconques, tandis que les autovecteurs diagonalise l'opérateur original mais peuvent ne pas être orthogonaux si l'opérateur est non normal.

Synthèse

Une base propre est un ensemble complet d'autovecteurs fournissant des coordonnées dans lesquelles un opérateur linéaire diagonalizable agit par multiplication scalaire, permettant de décomposer dynamiques et opérateurs en contributions modales indépendantes.