Identité de Picone
égalité permettant de comparer des solutions d'équations différentielles
From Wikipedia, the free encyclopedia
Dans le domaine des équations différentielles ordinaires, l'identité de Picone, du nom de Mauro Picone[1], est un résultat classique sur les équations différentielles linéaires homogènes du second ordre. Depuis sa découverte en 1910, elle a été utilisée avec beaucoup de succès, notamment pour donner une preuve presque immédiate du théorème de comparaison de Sturm, un théorème dont la preuve originale de Sturm en 1836 est longue. Elle est également utile pour étudier les oscillations (en) de ces équations et elle a été généralisée à d'autres types d'équations différentielles et d'équations aux différences.
Identité de Picone
Soient u et v des solutions des deux équations différentielles linéaires homogènes du second ordre suivantes, présentées sous forme auto-adjointe :
et
Alors, sur l'ensemble des x tel que v(x) ≠ 0, l'identité suivante est satisfaite :
Démonstration
On part de :