Subsections
Le cas des polynômes de Legendre que nous avons vus plus haut
correspond à un cas particulier d'un problème plus général,
appelé problème de Sturm-Liouville,
qu'on décrit ici sous une forme
quelque peu simplifiée.
On considère, sur un intervalle
,
les équations du second ordre, de la forme
 |
(2.23) |
où
,
et
sont des fonctions à valeurs réelles,
telles que
ne s'annule pas sur
, sauf
éventuellement en un nombre fini de points.
Pour espérer existence et unicité de solutions de cette équation
ou d'équations associées (voir ci-dessous), on doit la complèter
par deux conditions supplémentaires, des
conditions aux bords. On choisit
généralement des conditions aux bords de la forme
, ou plus généralement des conditions
qui assurent que
en
et
.
Ceci définit un opérateur différentiel
, dont l'adjoint est défini par
 |
(2.24) |
Dans ces conditions,
peut aussi se mettre sous la forme
 |
(2.25) |
ou encore
 = \frac{d}{dx}\left[ p(x)\frac{dy}{dx}(x)\right] + q(x)y(x) = 0\ ,$](img533.png) |
(2.26) |
avec
et
.
REMARQUE 2.4 Les équations de type Sturm-Liouville peuvent généralement
s'obtenir suite à des problèmes d'optimisation de fonctionnelles
du type
avec conditions aux bords

, et une contrainte de
normalisation
Dans le cas général, une équation telle que (
)
peut toujours se mettre sous la forme (
),
en la multipliant terme à terme par le facteur intégrant
et en posant
et
EXEMPLE 2.4 Prenons le cas particulier de l'équation des ondes sur
![$ [0,1]$](img542.png)
,
c'est à dire

,

et

pour tout
![$ x\in [0,1]$](img546.png)
.
L'équation de Sturm-Liouville prend la forme
dont on a déjà vu qu'elle peut se résoudre via l'équation
caractéristique
Les solutions sont de la forme
En imposant les conditions aux bords
on aboutit à

, et

, dont les
solutions sont

. Les valeurs propres sont donc
de la forme
et les fonctions propres correspondantes sont
Les fonctions propres et les valeurs propres de ces équations possèdent
des propriétés importantes. Notamment, on va montrer que les
valeurs propres sont toujours réelles, et que les fonctions propres
associées sont orthogonales, au sens du produit scalaire
définissant l'espace
dont on peut montrer qu'il s'agit d'un espace de Hilbert.
Pour cela, soient
et
deux valeurs propres, et
et
les fonctions propres associées. On a alors
Multipliant complexe conjuguée de la première équation
par
et la seconde équation par
, on
obtient par intégration
Après intégration par parties, en utilisant les conditions
aux bords pour éliminer les termes tout intégrés, on obtient
d'où on déduit:
Il est possible de montrer de plus que les fonctions propres
sont complètes dans
: une fonction
telle que
est nécessairement nulle:
. Par conséquent, on a
Notons que ceci implique directement que
,
 |
(2.27) |
expression qui sera souvent utile pour la résolution d'équations aux
dérivées partielles.
Bruno Torresani
2007-06-26