ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 6 — Primitives et équations différentielles linéaires · Exercices de synthèse

Exercice 50

DémonstrationCalcul

Équations intégrales. Déterminer les fonctions f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} continues vérifiant, pour tout réel xx :

(a) f(x)=1+∫0xt f(t) dtf(x) = 1 + \displaystyle\int_{0}^{x} t\,f(t)\,\mathrm{d} t ;

(b) f(x)=sin⁡x+∫0xf(t) dtf(x) = \sin x + \displaystyle\int_{0}^{x} f(t)\,\mathrm{d} t ;

(c) f(x)+1=∫0π−xf(t) dtf(x) + 1 = \displaystyle\int_{0}^{\pi - x} f(t)\,\mathrm{d} t.

Indication : on justifiera d'abord que ff est dérivable ; pour (c), on montrera que ff est deux fois dérivable et que f′′+f=0f'' + f = 0, puis l'on réinjectera les solutions trouvées dans l'équation.

Corrigé

Dans les trois cas, le second membre est une intégrale dont la borne dépend de xx : comme ff est continue, il est dérivable (proposition 2), donc ff l'est aussi. On en tire une équation différentielle et une condition initiale, puis l'on vérifie la réciproque.

(a) En dérivant, f′(x)=x f(x)f'(x) = x\,f(x), et f(0)=1f(0) = 1. Le théorème 2 donne f(x)=λ ex2/2f(x) = \lambda\,\mathrm{e}^{x^{2}/2}, et λ=1\lambda = 1. Réciproquement, 1+∫0xt et2/2 dt=1+ex2/2−1=ex2/21 + \int_{0}^{x} t\,\mathrm{e}^{t^{2}/2}\,\mathrm{d} t = 1 + \mathrm{e}^{x^{2}/2} - 1 = \mathrm{e}^{x^{2}/2}. f(x)=ex2/2\boxed{f(x) = \mathrm{e}^{x^{2}/2}} (b) En dérivant, f′=cos⁡x+ff' = \cos x + f, et f(0)=0f(0) = 0. Réciproquement, une fonction vérifiant ces deux conditions satisfait f(x)=f(0)+∫0xf′=sin⁡x+∫0xff(x) = f(0) + \int_{0}^{x} f' = \sin x + \int_{0}^{x} f : l'équation intégrale équivaut au problème de Cauchy. On cherche une solution particulière αcos⁡x+βsin⁡x\alpha\cos x + \beta\sin x de y′−y=cos⁡xy' - y = \cos x, ce qui donne β−α=1\beta - \alpha = 1 et α+β=0\alpha + \beta = 0, puis on ajuste la constante. f(x)=ex+sin⁡x−cos⁡x2\boxed{f(x) = \frac{\mathrm{e}^{x} + \sin x - \cos x}{2}} (c) Le second membre est dérivable, de dérivée −f(π−x)-f(\pi - x) : ainsi f′(x)=−f(π−x)f'(x) = -f(\pi - x), ce qui montre que f′f' est dérivable, et f′′(x)=f′(π−x)=−f(π−(π−x))=−f(x).f''(x) = f'(\pi - x) = -f\big(\pi - (\pi - x)\big) = -f(x). D'après le théorème 5, f=λcos⁡+μsin⁡f = \lambda\cos + \mu\sin. On réinjecte dans f′(x)=−f(π−x)f'(x) = -f(\pi - x) : le premier membre vaut −λsin⁡x+μcos⁡x-\lambda\sin x + \mu\cos x, le second λcos⁡x−μsin⁡x\lambda\cos x - \mu\sin x, d'où μ=λ\mu = \lambda. Enfin, l'équation en x=πx = \pi donne f(π)+1=0f(\pi) + 1 = 0, soit −λ+1=0-\lambda + 1 = 0. Réciproquement, les deux membres de l'équation ont alors la même dérivée et la même valeur en π\pi, donc sont égaux. f(x)=cos⁡x+sin⁡x\boxed{f(x) = \cos x + \sin x} On le vérifie : ∫0π−x(cos⁡t+sin⁡t) dt=[sin⁡t−cos⁡t]0π−x=sin⁡x+cos⁡x+1\int_{0}^{\pi - x} (\cos t + \sin t)\,\mathrm{d} t = \big[\sin t - \cos t\big]_{0}^{\pi - x} = \sin x + \cos x + 1. ✓

Piège : en (c), l'équation f′′+f=0f'' + f = 0 n'est qu'une conséquence ; sans les deux réinjections, on trouverait une famille à deux paramètres, alors qu'une seule fonction convient.

Dans l'édifice

Thèmes

intégrales, primitives trigonométriques

Notions

intégrable au sens de Riemann, dérivées successives

Ouvrir dans l'atlas interactif →