Soient pi, qi pour i = 1, 2 des fonctions continues à valeurs réelles sur un segment [a, b] et soient deux équations différentielles homogènes linéaires du second ordre sous forme auto-adjointe :
,
.
On suppose que pour tout x,
et
Soit u une solution non triviale de (1), soient z1 et z2 des zéros successifs de u et soit v une solution non triviale de (2). Alors l’une des propriétés suivantes est vérifiée :
Il existe x dans ]z1, z2[ tel que v(x) = 0 ;
ou il existe un λ réel tel que v(x) = λ u(x) pour tout x.
La première partie de la conclusion est due à Sturm (1836)[1] tandis que la deuxième partie (alternative) du théorème est due à Picone en 1910[2],[3], dont la preuve beaucoup plus simple dérive de sa désormais célèbre identité de Picone. Dans le cas particulier où les deux équations sont identiques, on obtient le théorème de séparation de Sturm(en)[4].
↑Charles Sturm, « Mémoire sur les équations différentielles linéaires du second ordre », J. Math. Pures Appl., vol. 1, , p. 106-186.
↑Mauro Picone, « Sui valori eccezionali di un parametro da cui dipende un'equazione differenziale lineare ordinaria del second'ordine », Ann. Scuola Norm. Pisa, vol. 11, , p. 1-141.
Joaquín Basilio Diaz et Joyce R. McLaughlin, « Sturm comparison theorems for ordinary and partial differential equations », Bull. Amer. Math. Soc., vol. 75, , p. 335-339 (lire en ligne)
Heinrich Guggenheimer, Applicable geometry : Global and local convexity, Huntington, Krieger, coll. « Applied Mathematics Series », (ISBN0-88275-368-1, MR0442821), p. 79.