Développement #763

Titre : Théorème de comparaison de Sturm

Contenu : Soit $I$ un intervalle de $\mathbb R$. On considère les équations différentielles \r$$\left( a(t)x'\right)' +r(t)x = 0 \quad \quad \left( b(t)y'\right)' +s(t)y = 0 $$\ravec $a,b$ deux fonctions de classe $C^1$ sur $I$, et $r,s$ continues. On suppose que $r\leq s$ et que $0 < b\leq a$. Considérons $x$ et $y$ deux solutions non nulles. Supposons donnés $t_1 < t_2$ deux zéros consécutifs de $x$. Si $x$ et $y$ ne sont pas proportionnelles sur $]t_1,t_2[$, alors $y$ admet au moins un zéro dans $]t_1,t_2[$. \r\r\rOn peut accompagner ce théorème de quelques applications. En voici une. Soit $y$ une solution non nulle de $$y'' + ty = 0$$ Alors $y$ a au plus un zéro sur $\mathbb R_-$, et une infinité de zéros sur $\mathbb R_+$. Si $a_n$ est le nombre de zéros de $y$ sur $[0,n]$, alors \r$$a_n \sim \frac{2}{3\pi}n^{3/2}$$\rCe dernier point concerne en fait la fonction d'Airy. On peut essayer de présenter ça dans la leçon sur les fonctions spéciales.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42