bjr,
La démonstration est assez longue,désolé.
en faisant le changement de variable u=x-t, on trouve:
+2x \int_{0}^{x} \, f(u)du - \int_{0}^{x} uf(u)du =1)
(E1)
on en déduit que f est indéfiniment dérivable et f(0)=1.
En dérivant l'égalité E1, on obtient:
+xf(x)+2\int_{0}^{x} \, f(u)du=0)
(E2)
d'où f'(0)=0.
En dérivant l'égalité (E2), on montre par récurrence sur l'entier n que:
}(x)+xf^{(n-1)}(x)+(n+1)f^{(n-2)}(x)=0)
soit
}(0)=-(n+1)f^{(n-2)}(0))
d'où
}(0)=0 \forall n \in \mathbb{N})
}(0)={(-1)}^n \frac{(2n+2)!}{2^{n+1}(n+1)!} \forall n \in \mathbb{N})
En écrivant f comme somme de sa série de Taylor en l'origine:
=\sum_{n \geq 0} {(-1)}^n \, \frac{2n+1}{2^n n!}x^{2n})
La primitive F de f qui s'annule en 0 vaut:
conclusion: L'équation admet une solution
)
En intégrant par partie dans (E1),
du= x \int_{0}^{x} \, f(t)dt - \int_{0}^{x} \int_{0}^{a} \, f(t)dtda)
on voit que le problème (E1),avec les conditions initiales imposées, est un problème de Cauchy, il admet donc une solution maximale et une seule.
remarque: Le résultat suggère une autre piste de démonstration:
chercher un facteur intégrant de (E2) sous la forme
})
Cordialement,