- Théorie de Sturm-Liouville
-
La théorie de Sturm-Liouville étudie le cas particulier des équations différentielles linéaires scalaires d'ordre deux de la forme
dans laquelle le paramètre λ fait partie comme la fonction y des inconnues. Cette équation est fréquemment posée sur un segment [a,b] et accompagnée de conditions « au bord » reliant les valeurs y(a), y'(a), y(b) et y'(b). Les solutions λ et y du problème apparaissent alors comme valeur propre et vecteur propre d'un certain opérateur autoadjoint dans un espace de Hilbert. Le résultat principal de la théorie est l'existence d'une base hilbertienne de vecteurs propres associés à des valeurs propres formant une suite strictement croissante.
Cette théorie porte le nom des mathématiciens Charles Sturm (1803-55) et Joseph Liouville (1809-82) qui travaillèrent conjointement à sa mise en forme.
Sommaire
Forme de Sturm-Liouville pour une équation homogène
Soit une équation différentielle linéaire d'ordre deux, scalaire, homogène
Il est possible de la mettre sous la forme
dite forme de Sturm-Liouville, avec une fonction p à valeurs strictement positives. En général, il faut pour cela utiliser un facteur intégrant. En l'occurrence, après division par P(x) et multiplication par le facteur
on obtient le résultat désiré. Cette technique ne peut pas être généralisée aux équations vectorielles.
Exemples
Voici pour quelques équations classiques, la forme de Sturm-Liouville correspondante
- équation de Bessel
- équation de Legendre
Dans le cas d'une équation telle que
la forme de Sturm-Liouville s'écrit
Le théorème de comparaison de Sturm
Le théorème donne un lien entre les solutions de deux équations différentielles de Sturm-Liouville
On suppose que pour tout élément , et .
Alors si y1 est une solution non triviale de l'équation différentielle E1 et si y2 est solution de E2, entre deux points d'annulation de y1 se trouve un point d'annulation de y2.
Problème de Sturm-Liouville
Le problème est constitué de l'équation différentielle (1) et des conditions aux limites (supposées non triviales)
L'opérateur de Sturm-Liouville associé est l'opérateur différentiel
Lien externe
- Article de 1836 de Liouville sur le problème de Sturm-Liouville, en ligne et commenté sur le site BibNum.
Wikimedia Foundation. 2010.