Un problème aux valeurs propres pour un opérateur différentiel linéaire du second ordre de la forme −(p(x) y')' + q(x) y = λ w(x) y sur un intervalle, avec des conditions aux limites spécifiées, dont les solutions déterminent les paramètres spectraux λ et les fonctions propres associées.

Principe

Lorsque l'opérateur avec le poids w est auto-adjoint pour les conditions aux limites choisies, le spectre est réel, les fonctions propres associées à des valeurs spectrales distinctes sont orthogonales par rapport au poids, et les fonctions propres forment une base pour des développements dans des espaces de fonctions adaptés.

Démonstration

Les vibrations d'une corde tendue à densité spatiale variable conduisent à un problème de Sturm–Liouville où les fréquences modales correspondent aux paramètres spectraux λ et les formes modales aux fonctions propres associées, orthogonales selon le poids de densité.

Mauvaise application

Traiter un problème aux limites non auto-adjoint ou mal posé comme s'il était de Sturm–Liouville en attendant un spectre réel et l'orthogonalité, ce qui peut échouer et donner des valeurs spectrales complexes et des modes non orthogonaux.

Conséquence

Une formulation correcte donne un spectre discret ou continu avec des fonctions de base orthogonales permettant l'expansion d'états admissibles en séries modales et facilitant la résolution d'équations aux dérivées partielles par séparation.

Inversion

Remplacer des conditions auto-adjointes par des coefficients non symétriques ou des spécifications aux limites incompatibles produit généralement une décomposition spectrale non orthogonale ou une instabilité spectrale au lieu de la structure nette de Sturm–Liouville.

Limite

Nécessite des coefficients p, q, w de régularité appropriée sur l'intervalle et des conditions aux limites rendant l'opérateur auto-adjoint ; exclut les points singuliers irréguliers sauf traitement par la classification limite-point/limite-cercle.

Tension sémantique

Se distingue des problèmes aux limites généraux qui peuvent ne pas posséder de décomposition spectrale réelle et orthogonale ; le cadre de Sturm–Liouville est spécialisé aux opérateurs avec une forme bilinéaire symétrique conduisant à une théorie spectrale adaptée aux développements orthogonaux.

Synthèse

Le problème de Sturm–Liouville est une formulation spectrale auto-adjointe du second ordre dont le spectre réel et les fonctions propres orthogonales fournissent une base modale pour représenter les solutions des problèmes différentiels linéaires.