ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 5 — Fonctions usuelles et dérivation pratique · Fonctions à valeurs complexes

Exercice 49

DémonstrationCalcul

Soit II un intervalle contenant 00.

1. Soit λ∈ℂ\lambda \in \mathbb{C}, et f:I→ℂf : I \to \mathbb{C} une fonction dérivable telle que f′=λff' = \lambda f et f(0)=1f(0) = 1. En dérivant t↦f(t) e−λtt \mapsto f(t)\,\mathrm{e}^{-\lambda t}, montrer que f(t)=eλtf(t) = \mathrm{e}^{\lambda t} pour tout t∈It \in I.

2. Plus généralement, soit φ:I→ℂ\varphi : I \to \mathbb{C} dérivable, avec φ(0)=0\varphi(0) = 0. Montrer que l'unique fonction f:I→ℂf : I \to \mathbb{C} dérivable telle que f′=φ′ff' = \varphi' f et f(0)=1f(0) = 1 est eφ\mathrm{e}^{\varphi}. Déterminer ainsi la fonction f:ℝ→ℂf : \mathbb{R} \to \mathbb{C} dérivable telle que f′(t)=(1+2it)f(t)f'(t) = (1 + 2\mathrm{i} t)f(t) pour tout tt et f(0)=1f(0) = 1, et calculer son module.

3. Un élève dérive t↦eitt \mapsto \mathrm{e}^{\mathrm{i} t} en écrivant (eit)′=it eit−1\big(\mathrm{e}^{\mathrm{i} t}\big)' = \mathrm{i} t\,\mathrm{e}^{\mathrm{i} t - 1}, « comme pour une puissance ». Expliquer l'erreur.

Corrigé

1. La fonction g:t↦f(t) e−λtg : t \mapsto f(t)\,\mathrm{e}^{-\lambda t} est dérivable d'après la proposition 11, et g′(t)=f′(t) e−λt−λf(t) e−λt=(f′(t)−λf(t))e−λt=0.g'(t) = f'(t)\,\mathrm{e}^{-\lambda t} - \lambda f(t)\,\mathrm{e}^{-\lambda t} = \big(f'(t) - \lambda f(t)\big)\mathrm{e}^{-\lambda t} = 0. Sur l'intervalle II, gg est donc constante (proposition 11, (iii)), égale à g(0)=1g(0) = 1. Comme eλte−λt=e0=1\mathrm{e}^{\lambda t}\mathrm{e}^{-\lambda t} = \mathrm{e}^{0} = 1, on en déduit f(t)=eλtf(t) = \mathrm{e}^{\lambda t}. f(t)=eλt  pour tout t∈I\boxed{f(t) = \mathrm{e}^{\lambda t} \ \text{ pour tout } t \in I} 2. La fonction eφ\mathrm{e}^{\varphi} convient, puisque (eφ)′=φ′eφ(\mathrm{e}^{\varphi})' = \varphi'\mathrm{e}^{\varphi} et eφ(0)=1\mathrm{e}^{\varphi(0)} = 1. Si ff convient aussi, la fonction f e−φf\,\mathrm{e}^{-\varphi} a pour dérivée (f′−φ′f) e−φ=0(f' - \varphi' f)\,\mathrm{e}^{-\varphi} = 0 ; elle est donc constante, égale à 11, et f=eφf = \mathrm{e}^{\varphi}. Avec φ(t)=t+it2\varphi(t) = t + \mathrm{i} t^{2}, on a bien φ′(t)=1+2it\varphi'(t) = 1 + 2\mathrm{i} t et φ(0)=0\varphi(0) = 0. f(t)=et+it2=et(cos⁡(t2)+isin⁡(t2)),∣f(t)∣=et\boxed{f(t) = \mathrm{e}^{t + \mathrm{i} t^{2}} = \mathrm{e}^{t}\big(\cos(t^{2}) + \mathrm{i}\sin(t^{2})\big), \qquad |f(t)| = \mathrm{e}^{t}} Le module ne dépend que de la partie réelle de φ\varphi, et l'argument que de sa partie imaginaire.

3. La formule (xα)′=αxα−1(x^{\alpha})' = \alpha x^{\alpha - 1} concerne une puissance dont l'exposant est fixe et la base variable. Ici, c'est l'exposant qui varie : il faut dériver la composée t↦exp⁡(it)t \mapsto \exp(\mathrm{i} t), ce qui donne (eit)′=i eit\big(\mathrm{e}^{\mathrm{i} t}\big)' = \mathrm{i}\,\mathrm{e}^{\mathrm{i} t}. C'est la même confusion qu'entre x↦x2x \mapsto x^{2} et x↦2xx \mapsto 2^{x}, que le cours signale en section 5.5.

Dans l'édifice

Thèmes

fonctions à valeurs complexes, dérivation, exponentielle, puissances réelles

Notions

dérivable, exponentielle, puissance réelle, logarithme

Ouvrir dans l'atlas interactif →