Théorème
Les solutions sur IR de l'équation différentielle y ''+
y = 0 avec w∈
sont les fonctions : x↦A cos(wx)+B sin(wx) avec A et B des réels.
Il existe une et une seule solution de l'équation différentielle y ''+
y = 0 avec w∈
vérifiant les conditions initiales y (
) =
et y' (
) =
.