Théorie Sturm-Liouville

Théorie Sturm-Liouville

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

 -{d\over dx}\left[p(x){dy\over dx}\right]+q(x)y=\lambda w(x)y, \qquad (1)

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

P(x)y''+Q(x)y'+R(x)y=0\,

Il est possible de la mettre sous la forme

 {d\over dx}\left[p(x){d\over dx}y(x)\right]+q(x)y(x)=0

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

p(x)=\exp \left(\int_a^x \frac{Q(t) }{ P(t)}\,dt\right),

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
x^2y''+xy'+(\lambda^2x^2-\nu^2)y=0\, \qquad (xy')'+(\lambda^2 x-\nu^2/x)y=0.\,
  • équation de Legendre
(1-x^2)y''-2xy'+\nu(\nu+1)y=0\;\qquad 
[(1-x^2)y']'+\nu(\nu+1)y=0\;\!

Dans le cas d'une équation telle que

x^3y''-xy'+2y=0.\,

la forme de Sturm-Liouville s'écrit

(e^{1 / x}y')'+{2 e^{1 / x} \over x^3} y =0.

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

(E_1)\qquad  {d\over dx}\left[p_1(x){d\over dx}y(x)\right]+q_1(x)y(x)=0
(E_2)\qquad  {d\over dx}\left[p_2(x){d\over dx}y(x)\right]+q_2(x)y(x)=0

On suppose que pour tout élément x \in [a,b], p_1(x)\geq p_2(x)>0 et q_1(x)\leq q_2(x).

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)

\begin{cases}  \alpha_1.y(a) + \alpha_2.y'(a) &= 0 \\
 \beta_1.y(b) + \beta_2.y'(b)& = 0 \end{cases}\qquad (2)

L'opérateur de Sturm-Liouville associé est l'opérateur différentiel

L  u  =-{d\over dx}\left[p(x){du\over dx}\right]+q(x)u
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9orie de Sturm-Liouville ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorie Sturm-Liouville de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theorie de Sturm-Liouville — 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Sturm-Liouville-Problem — Ein klassisches Sturm Liouville Problem (nach Joseph Liouville und Charles François Sturm) ist folgendes Eigenwertproblem aus der Analysis: Finde alle komplexen Zahlen λ, für die die Differentialgleichung auf dem Intervall (a,b) eine Lösung… …   Deutsch Wikipedia

  • Sturm-Liouville-Theorie — In der Analysis handelt es sich bei dem Sturm Liouville Problem (nach Joseph Liouville und Charles François Sturm) um ein spezielles Randwertproblem, welches mit Methoden der Variationsrechnung behandelt werden kann. Dadurch ist es möglich, die… …   Deutsch Wikipedia

  • Liouville — Joseph Liouville. Joseph Liouville (* 24. März 1809 in Saint Omer; † 8. September 1882 in Paris) war ein französischer Mathematiker. Er studierte in Toul und ab 1825 in Paris an der École Polytechnique, wo er zwei Jahre später, unter anderem bei …   Deutsch Wikipedia

  • Sturm — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronyme 2 Science et technique 3 …   Wikipédia en Français

  • STURM (C. F.) — STURM CHARLES FRANÇOIS (1803 1855) Après avoir été étudiant à l’université de Genève (sa ville natale), Sturm se rend, pour être précepteur dans la famille Broglie, à Paris, où il fréquente les plus grands savants de l’époque et où il se fixe… …   Encyclopédie Universelle

  • Sturm — Übergriff; Überfall; Offensive; Angriff; Orkan; starker Wind * * * Sturm [ʃtʊrm], der; [e]s, Stürme [ ʃtʏrmə]: 1. heftiger, starker Wind: ein furchtbarer, verheerender Sturm; ein Sturm kommt auf; der Sturm wütet, tobt, wühlt das Meer auf, hat… …   Universal-Lexikon

  • Charles Sturm — Pour les articles homonymes, voir Sturm. Charles Sturm Jacques Charles François Sturm, né à Genève le 29 septembre 1803 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”