Théorie de Sturm-Liouville

La théorie de Sturm-Liouville analyse une classe de problèmes aux valeurs limites linéaires du second ordre dont les valeurs propres sont réelles et discrètes, et dont les fonctions propres forment une base orthogonale complète.

Definition

Un problème de Sturm-Liouville recherche les valeurs d'un paramètre pour lesquelles l'équation moins (p y prime) prime plus q y égale lambda w y possède une solution non triviale satisfaisant des conditions aux limites données ; les paramètres admissibles sont les valeurs propres et les solutions correspondantes les fonctions propres.

Scope

Ce sujet aborde la forme auto-adjointe de Sturm-Liouville, les problèmes réguliers et singuliers, la réalité et l'ordonnancement des valeurs propres, l'oscillation et l'entrelacement des fonctions propres, l'orthogonalité par rapport à un poids, et les développements en fonctions propres qui généralisent les séries de Fourier et produisent les polynômes orthogonaux classiques et les fonctions spéciales.

Core questions

• Quelles sont les valeurs propres et les fonctions propres d'un problème aux valeurs limites donné ?
• Pourquoi les valeurs propres sont-elles réelles et les fonctions propres orthogonales ?
• Combien de zéros la n-ième fonction propre possède-t-elle, et comment sont-ils distribués ?
• Quand une fonction arbitraire peut-elle être développée en fonctions propres ?

Key theories

Théorème spectral pour les problèmes de Sturm-Liouville réguliers

Un problème de Sturm-Liouville régulier auto-adjoint possède une infinité de valeurs propres réelles croissant vers l'infini, avec des fonctions propres qui sont orthogonales sous le poids et forment une base complète pour les développements.

Théorèmes d'oscillation et de comparaison de Sturm

La fonction propre appartenant à la n-ième valeur propre possède exactement n zéros intérieurs, et le théorème de comparaison de Sturm relie les zéros des solutions d'équations connexes.

Développements en fonctions propres

Étant donné que les fonctions propres forment un système orthogonal complet, des fonctions appropriées se développent en séries de celles-ci, généralisant les séries de Fourier et sous-tendant la séparation des variables pour les équations aux dérivées partielles.

Clinical relevance

Les problèmes de Sturm-Liouville apparaissent chaque fois que la méthode de séparation des variables est appliquée aux équations de la chaleur, des ondes et de Schrödinger, et leurs fonctions propres sont les modes de vibration naturels et les états quantiques ; la théorie génère également les polynômes orthogonaux classiques utilisés dans toutes les mathématiques appliquées.

History

Sturm et Liouville ont développé cette théorie dans une série d'articles vers 1836-1837, établissant le comportement qualitatif des valeurs propres et des fonctions propres pour les problèmes aux valeurs limites. Weyl l'a étendue aux problèmes singuliers au début du XXe siècle, la reliant à la théorie spectrale des opérateurs sur l'espace de Hilbert.

Key figures

• Jacques Charles Francois Sturm
• Joseph Liouville
• Hermann Weyl
• David Hilbert

Seminal works

• zettl2010
• courant1953

Frequently asked questions

Comment la théorie de Sturm-Liouville généralise-t-elle les séries de Fourier ?

Les sinus et cosinus d'une série de Fourier sont les fonctions propres du problème de Sturm-Liouville le plus simple sur un intervalle. Des coefficients et des poids plus généraux produisent d'autres familles orthogonales complètes, telles que les fonctions de Legendre, Hermite et Bessel, avec leurs propres développements.

Pourquoi les valeurs propres sont-elles garanties d'être réelles ?

Lorsqu'il est écrit sous forme auto-adjointe avec des conditions aux limites appropriées, l'opérateur de Sturm-Liouville est symétrique par rapport au produit scalaire pondéré. Les opérateurs symétriques ont des valeurs propres réelles et des fonctions propres orthogonales, tout comme les matrices symétriques.