ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Fonctions à valeurs complexes

Exercice 33

Démonstration

Soit f:x↦ex3sin⁡xf : x \mapsto \mathrm{e}^{x\sqrt{3}}\sin x. En écrivant ff comme la partie imaginaire d'une fonction à valeurs complexes, montrer que ∀n∈ℕ, ∀x∈ℝ,f(n)(x)=2n ex3sin⁡(x+nπ6).\forall n \in \mathbb{N},\ \forall x \in \mathbb{R}, \qquad f^{(n)}(x) = 2^{n}\,\mathrm{e}^{x\sqrt{3}}\sin\Big(x + \frac{n\pi}{6}\Big). Retrouver ce résultat par récurrence, sans les nombres complexes.

Corrigé

On a f=Im⁡(φ)f = \operatorname{Im}(\varphi) avec φ(x)=ex3eix=e(3+i)x\varphi(x) = \mathrm{e}^{x\sqrt{3}}\mathrm{e}^{\mathrm{i} x} = \mathrm{e}^{(\sqrt{3} + \mathrm{i})x}. Par la proposition 5, φ(n)(x)=(3+i)ne(3+i)x\varphi^{(n)}(x) = (\sqrt{3} + \mathrm{i})^{n}\mathrm{e}^{(\sqrt{3} + \mathrm{i})x}, et la dérivation commute avec la partie imaginaire. Or 3+i=2eiπ/6\sqrt{3} + \mathrm{i} = 2\mathrm{e}^{\mathrm{i}\pi/6}, donc φ(n)(x)=2nex3ei(x+nπ/6),etf(n)(x)=2nex3sin⁡(x+nπ6)\varphi^{(n)}(x) = 2^{n}\mathrm{e}^{x\sqrt{3}}\mathrm{e}^{\mathrm{i}(x + n\pi/6)}, \qquad\text{et}\qquad \boxed{f^{(n)}(x) = 2^{n}\mathrm{e}^{x\sqrt{3}}\sin\Big(x + \frac{n\pi}{6}\Big)} Sans les nombres complexes. Pour tout réel θ\theta, la dérivée de x↦ex3sin⁡(x+θ)x \mapsto \mathrm{e}^{x\sqrt{3}}\sin(x + \theta) est ex3(3sin⁡(x+θ)+cos⁡(x+θ))=2ex3(cos⁡π6sin⁡(x+θ)+sin⁡π6cos⁡(x+θ))=2ex3sin⁡(x+θ+π6),\mathrm{e}^{x\sqrt{3}}\big(\sqrt{3}\sin(x + \theta) + \cos(x + \theta)\big) = 2\mathrm{e}^{x\sqrt{3}}\Big(\cos\frac{\pi}{6}\sin(x + \theta) + \sin\frac{\pi}{6}\cos(x + \theta)\Big) = 2\mathrm{e}^{x\sqrt{3}}\sin\Big(x + \theta + \frac{\pi}{6}\Big), et une récurrence immédiate conclut. Chaque dérivation multiplie l'amplitude par le module 22 de 3+i\sqrt{3} + \mathrm{i} et décale la phase de son argument π6\frac{\pi}{6}.

Ouvrir dans l'atlas interactif →