Une idée pour une résolution locale condition nécéssaire :
soit f une solution et a un réel tel que f(a)#a²
par continuité , la fonction t ---> f(t) - t² garde le signe de f(a)-a² sur un intervalle ouvert I contenant a
donc f' garde un signe constant sur I et f est strictement monotone sur I
f réalise donc une bijection de I sur un intervalle ouvert J de IR
si on note g sa bijection réciproque il est facile de vérifier que pour tout x£J ,
g'(x)=x-g²(x)si G est une primitive de g sur J on a , en posant h = exp G , g = h'/h
et h est solution sur J de l'équation différentielle linéaire du second ordre :
y'' = xy à suivre ... sauf erreur bien entendu