AnalyseNotion · Glossaire
problème de Sturm-Liouville
Un problème de Sturm-Liouville régulier cherche les valeurs de λ pour lesquelles une équation différentielle linéaire du second ordre, à coefficients réels suffisamment réguliers avec p et le poids w strictement positifs, admet une solution non nulle satisfaisant des conditions aux limites homogènes auto-adjointes sur un intervalle fini. Ces conditions filtrent les solutions en modes propres orthogonaux, utiles notamment pour résoudre des équations aux dérivées partielles par séparation des variables.
Sommaire
Ce que vous allez apprendre
- Identifier le rôle de l’équation et des conditions aux limites.
- Calculer les valeurs propres n² et les fonctions propres sin(nx) du cas de Dirichlet sur [0, π].
- Relier l’orthogonalité au poids et à l’auto-adjonction.
- Repérer les cas où le cadre spectral régulier ne s’applique plus.
En clair
Imaginez une corde fixée à ses deux extrémités. Elle ne peut pas vibrer suivant n’importe quel profil stable : seuls certains motifs s’accordent avec les deux points fixes. Le motif le plus simple forme une arche, le suivant deux arches de signes opposés, puis trois, et ainsi de suite.
Un problème de Sturm-Liouville traduit cette sélection. L’équation décrit ce qui se passe le long de l’intervalle, tandis que les conditions aux limites filtrent les solutions. Les nombres retenus sont les valeurs propres, et les profils associés sont les fonctions propres.
Définition
Sur un intervalle fermé [a, b], un problème de Sturm-Liouville régulier cherche un nombre λ et une fonction non nulle y qui satisfont une équation différentielle linéaire du second ordre ainsi que deux conditions aux limites. Le coefficient p contrôle la partie dérivée, q agit comme un potentiel et le poids w fixe le produit scalaire :
Dans le cadre régulier classique, p est strictement positif, w est strictement positif et les coefficients possèdent la régularité nécessaire sur [a, b]. Les conditions aux limites doivent rendre l’opérateur auto-adjoint ; elles peuvent, par exemple, imposer y(a) = y(b) = 0. Une valeur de λ n’est une valeur propre que si une solution y non identiquement nulle existe.
Sous ces hypothèses, les valeurs propres sont réelles et forment une suite discrète qui tend vers l’infini. Deux fonctions propres associées à des valeurs propres distinctes sont orthogonales pour le poids w : leur produit, multiplié par w puis intégré sur [a, b], vaut zéro. Leur famille est complète dans l’espace fonctionnel pondé adapté, ce qui autorise des développements comparables aux séries de Fourier.
Un exemple, pas à pas
Considérons l’intervalle [0, π], les coefficients p = 1, q = 0 et w = 1, ainsi que les conditions y(0) = y(π) = 0. L’équation devient −y″ = λy. Le schéma compare les deux premiers profils admissibles sur ce même intervalle.
1. Pour λ = 0, les solutions sont affines. Les deux conditions aux limites imposent alors y = 0 partout : aucune fonction propre n’apparaît. Pour λ < 0, les solutions exponentielles ou hyperboliques subissent le même blocage.
2. Pour λ > 0, notons k la racine carrée positive de λ. Les solutions ont la forme :
La condition y(0) = 0 donne A = 0.
3. La seconde condition exige B sin(kπ) = 0. Pour garder une solution non nulle, B ne peut pas être nul ; il faut donc que k soit un entier strictement positif n.
4. Les valeurs propres et fonctions propres sont donc :
Le contrôle est direct : −yn″ = n2yn, et chaque sinus s’annule exactement en 0 et en π.
En pratique
Pour une corde fixée aux deux bouts, on choisit les fonctions propres qui respectent l’annulation aux extrémités. Une transformée de Fourier continue conviendrait plutôt à un domaine sans bornes ; ici, la géométrie finie sélectionne une suite discrète de modes.
Pour résoudre une équation de la chaleur ou des ondes par séparation des variables, on projette la donnée initiale sur les fonctions propres. Chaque coefficient évolue ensuite séparément dans le temps. Si les conditions aux limites changent, il faut recalculer la famille propre plutôt que conserver automatiquement les sinus.
Lorsque les coefficients p, q ou w varient et qu’aucune formule fermée n’est disponible, on estime numériquement les premières valeurs propres. Le calcul analytique reste préférable quand les coefficients et les bords conduisent à des fonctions classiques, car il fournit alors un contrôle exact.
À ne pas confondre
Problème aux conditions initiales. Il fixe typiquement y et y′ au même point, puis cherche une solution pour un paramètre donné. Un problème de Sturm-Liouville impose des contraintes aux bords et cherche précisément les paramètres qui autorisent une solution non nulle.
Problème de valeurs propres matriciel. Une matrice agit sur des vecteurs de dimension finie ; l’opérateur de Sturm-Liouville agit sur des fonctions et inclut des conditions aux limites. Aprè discrétisation numérique, on obtient bien un problème matriciel, mais celui-ci approche le problème différentiel initial.
Limites et pièges
Conditions aux limites non auto-adjointes. Si le terme de bord ne s’annule pas dans l’identité de Green associée, les valeurs propres peuvent ne plus être toutes réelles et l’orthogonalité classique peut disparaître. Il faut alors étudier l’opérateur non auto-adjoint, et non invoquer automatiquement le théorème spectral régulier.
Poids non strictement positif. L’orthogonalité pondérée usuelle repose sur w(x) > 0. Si le poids s’annule ou change de signe, le produit scalaire standard n’est plus disponible tel quel ; le problème relève d’une théorie indéfinie ou dégénérée.
Extrémité singulière ou intervalle infini. Si un coefficient dégénère à une extrémité ou si l’intervalle n’est pas borné, le spectre peut comporter une partie continue. Il faut examiner les comportements admissibles aux extrémités avant d’affirmer l’existence d’une base discrète.
Seuil λ = 0 dans l’exemple. Sur [0, π] avec y(0) = y(π) = 0, la valeur zéro ne produit que la solution nulle. Elle n’est donc pas une valeur propre ; la première valeur admissible est exactement λ1 = 1.
Pour aller plus loin
La notion de valeur propre replace le paramètre λ dans le cadre plus général des opérateurs et explique son association à un vecteur ou à une fonction propre.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres