ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Fonctions de classe 𝒞k\mathcal{C}^{k}

Exercice 31

DémonstrationCalcul

On définit sur ]0 ,1[]0\,,1[ une suite de fonctions par f0(x)=11−xf_{0}(x) = \dfrac{1}{1 - x} et fn+1(x)=x fn′(x)f_{n+1}(x) = x\,f_{n}'(x).

1. Calculer f1f_{1} et f2f_{2}.

2. Montrer que, pour tout nn, il existe une fonction polynomiale PnP_{n}, de degré nn, à coefficients entiers naturels, de coefficient dominant 11, telle que fn(x)=Pn(x)(1−x)n+1f_{n}(x) = \dfrac{P_{n}(x)}{(1 - x)^{n+1}}. On exprimera Pn+1P_{n+1} en fonction de PnP_{n} et Pn′P_{n}'.

3. En déduire que chaque fnf_{n} est strictement positive sur ]0 ,1[]0\,,1[.

Corrigé

1. On a f0′(x)=1(1−x)2f_{0}'(x) = \frac{1}{(1 - x)^{2}}, donc f1(x)=x(1−x)2f_{1}(x) = \frac{x}{(1 - x)^{2}}. Puis f1′(x)=(1−x)2+2x(1−x)(1−x)4=1+x(1−x)3,doncf1(x)=x(1−x)2,f2(x)=x+x2(1−x)3f_{1}'(x) = \frac{(1 - x)^{2} + 2x(1 - x)}{(1 - x)^{4}} = \frac{1 + x}{(1 - x)^{3}}, \qquad\text{donc}\qquad \boxed{f_{1}(x) = \frac{x}{(1 - x)^{2}}, \quad f_{2}(x) = \frac{x + x^{2}}{(1 - x)^{3}}}

2. On raisonne par récurrence, avec P0=1P_{0} = 1. Si fn=Pn(1−x)n+1f_{n} = \frac{P_{n}}{(1 - x)^{n+1}}, alors fn′=Pn′(1−x)n+1+(n+1)Pn(1−x)n+2=(1−x)Pn′+(n+1)Pn(1−x)n+2,f_{n}' = \frac{P_{n}'}{(1 - x)^{n+1}} + \frac{(n + 1)P_{n}}{(1 - x)^{n+2}} = \frac{(1 - x)P_{n}' + (n + 1)P_{n}}{(1 - x)^{n+2}}, donc fn+1=Pn+1(1−x)n+2f_{n+1} = \frac{P_{n+1}}{(1 - x)^{n+2}} avec Pn+1=x((1−x)Pn′+(n+1)Pn)\boxed{P_{n+1} = x\big((1 - x)P_{n}' + (n + 1)P_{n}\big)} Écrivons Pn=∑k=0npkxkP_{n} = \sum_{k=0}^{n} p_{k}x^{k}, avec pk∈ℕp_{k} \in \mathbb{N} et pn=1p_{n} = 1. Le coefficient de xk+1x^{k+1} dans Pn+1P_{n+1} provient des termes x⋅(k+1)pk+1xkx \cdot (k + 1)p_{k+1}x^{k}, −x⋅x⋅kpkxk−1-x \cdot x \cdot kp_{k}x^{k-1} et x⋅(n+1)pkxkx \cdot (n + 1)p_{k}x^{k} ; il vaut (k+1)pk+1+(n+1−k)pk,(k + 1)p_{k+1} + (n + 1 - k)p_{k}, avec la convention pn+1=0p_{n+1} = 0. C'est un entier naturel, puisque k⩽nk \leqslant n. Le terme constant de Pn+1P_{n+1} est nul, et le coefficient de xn+1x^{n+1} vaut (n+1−n)pn=1(n + 1 - n)p_{n} = 1 : Pn+1P_{n+1} est de degré n+1n + 1, de coefficient dominant 11, à coefficients entiers naturels.

3. Pour x∈ ]0 ,1[x \in \,]0\,,1[, tous les termes de Pn(x)P_{n}(x) sont positifs, et le terme dominant vaut xn>0x^{n} > 0, donc Pn(x)>0P_{n}(x) > 0. Comme (1−x)n+1>0(1 - x)^{n+1} > 0, on a fn>0 sur ]0 ,1[\boxed{f_{n} > 0 \text{ sur } ]0\,,1[}.

On trouve P3=x+4x2+x3P_{3} = x + 4x^{2} + x^{3} et P4=x+11x2+11x3+x4P_{4} = x + 11x^{2} + 11x^{3} + x^{4}. Ces coefficients symétriques sont les nombres eulériens, qui comptent les permutations de [ ⁣[1 ;n] ⁣][\![1\,;n]\!] selon leur nombre de montées ; la somme des coefficients de PnP_{n} vaut d'ailleurs n!n!, comme on le vérifie sur ces exemples.

Dans l'édifice

Thèmes

fonctions de classe cᵏ, racines de polynômes

Notions

classe Cᵏ, dérivées successives

Ouvrir dans l'atlas interactif →