Aller au contenu
Télécharger l'application

Accueil › PT › Maths

PT · Maths · semaine 16

Séries entières

Séries entières de variable réelle ou complexe, lemme d'Abel, rayon et disque de convergence, règle de d'Alembert pour le calcul du rayon, somme et produit de Cauchy. Régularité de la somme (continuité, primitivation, dérivation terme à terme), développement en série entière des fonctions usuelles, séries géométrique et exponentielle d'une variable complexe.

Sommaire

Ton programme de PT : ce chapitre est traité par Séries entières (PC).

Au programme de PT en plus, traité dans une vidéo à venir :

  • Théorème d'Abel radial (énoncé implicite, jamais formalisé en PT)

Le cours

Résumé en cinq points

  1. Le lemme d'Abel donne l'existence du rayon RR. Il y a convergence absolue strictement à l'intérieur, divergence grossière strictement à l'extérieur, et rien de général sur le bord.
  2. On calcule RR par d'Alembert, par comparaison des coefficients, ou par le caractère borné de (anrn)(a_n r^n).
  3. La convergence est normale sur tout segment de ]−R,R[\intoo{-R}{R}, mais rarement sur l'intervalle entier. Cela suffit pour la continuité et la dérivabilité.
  4. Sur ]−R,R[\intoo{-R}{R} la somme est C∞C^\infty, on dérive et on primitive terme à terme sans changer le rayon, et les coefficients valent f(n)(0)/n!f^{(n)}(0)/n!.
  5. Le développement en série entière, quand il existe, est unique et coïncide avec la série de Taylor. Les développements usuels doivent être connus par cœur, et la méthode par équation différentielle sert pour les autres.
Pourquoi ce chapitre

Une série entière est une série de fonctions d'une forme très particulière, ∑anzn\sum a_n z^n. Cette forme rigide a une contrepartie agréable : le domaine de convergence est presque entièrement déterminé par un seul nombre, le rayon de convergence.

Sur l'intervalle ouvert de convergence, la somme est indéfiniment dérivable : on peut dériver et primitiver terme à terme sans précaution.

Les séries entières servent à :

  • résoudre des équations différentielles ;
  • calculer des sommes ;
  • obtenir des développements asymptotiques ;
  • fournir le cadre des fonctions génératrices en probabilités.

L'étude du comportement au bord de l'intervalle de convergence n'est pas un objectif du programme de PC.

Classiques et HP

Méthodes et approfondissements du chapitre · le statut est précisé pour PT.

Classiques et HP réservés

Prolongements et démonstrations de Maths.

Essayer 7 jours gratuitement Sans engagement · cours, exercices et fiches complets

Fin de l'aperçu gratuit

Encore 13 parties de cours et 13 corrigés.

Essayer 7 jours gratuitement Sans engagement · cours, exercices et fiches complets

Méthodes et exercices

Exercices classiques corrigés

Rangés par thème, du plus simple au plus exigeant. Difficulté et durée indicatives.

Rayon de convergence 3

Exercice 1. Quatre rayons ★★

Classiques de khôlle et concours · 20 min · Khôlle

Déterminer le rayon de ∑nnn! xn\sum \frac{n^n}{n!}\,x^n, ∑(2nn)xn\sum \binom{2n}{n} x^n, ∑(ln⁡n) xn\sum (\ln n)\,x^n et ∑xn2\sum x^{n^2}.

Voir l'indice

Technique choisir entre d'Alembert, comparaison et étude directe.

Voir le corrigé offert
Résultat

R=1eR = \frac{1}{\e} pour ∑nnn! xn\sum \frac{n^n}{n!}\,x^n, R=14R = \frac14 pour ∑(2nn)xn\sum \binom{2n}{n} x^n, R=1R = 1 pour ∑(ln⁡n) xn\sum (\ln n)\,x^n et R=1R = 1 pour ∑xn2\sum x^{n^2}.

  1. Soit an=nnn!a_n = \frac{n^n}{n!}. Alors an+1an=(n+1)n+1 n!(n+1)! nn=(1+1n)n→e\frac{a_{n+1}}{a_n} = \frac{(n+1)^{n+1}\, n!}{(n+1)!\, n^n} = \left(1 + \frac1n\right)^n \to \e, donc R=1e‾\underline{R = \frac{1}{\e}} par la règle de d'Alembert (propriété 1.8).
  2. Soit bn=(2nn)b_n = \binom{2n}{n}. Alors bn+1bn=(2n+2)(2n+1)(n+1)2→4\frac{b_{n+1}}{b_n} = \frac{(2n+2)(2n+1)}{(n+1)^2} \to 4, donc R=14‾\underline{R = \frac14} par la règle de d'Alembert (propriété 1.8).
  3. Pour n⩾3n \geqslant 3, 1⩽ln⁡n⩽n1 \leqslant \ln n \leqslant n, donc R=1‾\underline{R = 1} par encadrement (propriété 1.6, comparaison des rayons).
  4. Les coefficients valent 00 ou 11, donc sont bornés et R⩾1R \geqslant 1. En x=1x = 1, le terme d'indice n2n^2 vaut 11 (divergence grossière), donc R=1‾\underline{R = 1}.

piège : Appliquer d'Alembert aux coefficients de ∑xn2\sum x^{n^2}, dont une infinité sont nuls.

Exercice 9. Rayon de Σ a_n² zⁿ ★★

Classiques de khôlle et concours · 15 min · Classique de khôlle

∑anzn\sum a_n z^n a pour rayon RR.

Montrer que ∑an2zn\sum a_n^2 z^n a pour rayon R2R^2, avec les conventions 02=00^2 = 0 et (+∞)2=+∞(+\infty)^2 = +\infty.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 12. Sommes partielles et rayon de convergence ★★★

Approfondissement · 25 min

Soit (an)n≥0(a_n)_{n\ge0} une suite de réels positifs ou nuls, non tous nuls. La série entière ∑n≥0anxn\sum_{n\ge0}a_nx^n a pour rayon RR. On pose

bn=∑k=0nak,A(x)=∑n=0+∞anxn.b_n=\sum_{k=0}^{n}a_k, \qquad A(x)=\sum_{n=0}^{+\infty}a_nx^n.

  1. Pour ∣x∣<min⁡(R,1)|x|<\min(R,1), établir une expression de la somme B(x)=∑n≥0bnxnB(x)=\sum_{n\ge0}b_nx^n en fonction de A(x)A(x).
  2. Montrer que le rayon de convergence de ∑n≥0bnxn\sum_{n\ge0}b_nx^n vaut min⁡(R,1)\min(R,1), y compris lorsque R=0R=0 ou R=+∞R=+\infty.
  3. Donner un contre-exemple si les coefficients ana_n peuvent être négatifs.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Calcul de somme 4

Exercice 2. Sommer une série entière ★

Application du cours · 10 min · Khôlle

Pour ∣x∣<1|x|<1, calculer la somme

S(x)=∑n=1+∞n2xn.S(x)=\sum_{n=1}^{+\infty}n^2x^n.

En déduire la valeur de

∑n=1+∞n22n.\sum_{n=1}^{+\infty}\frac{n^2}{2^n}.

Voir le début du corrigé
  1. Le rayon vaut 11, comme pour ∑n⩾1nαxn\sum_{n\geqslant 1} n^\alpha x^n (propriété 1.7, résultat de référence).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 6. Sommer par décomposition ★

Application du cours · 10 min · Khôlle

Calculer S(x)=∑n≥1xnn(n+1)S(x) = \sum_{n \geq 1} \frac{x^n}{n(n + 1)} pour ∣x∣<1|x| < 1.

Voir le début du corrigé
  1. 1n(n+1)∼1n2\frac{1}{n(n+1)} \sim \frac{1}{n^2}, donc R=1R = 1 (propriété 1.6, comparaison des rayons).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 11. Reconnaître une série exponentielle ★

Application du cours · 10 min

Pour un réel xx, calculer

T(x)=∑n=0+∞n(n−1)+3n+2n!xn.T(x)=\sum_{n=0}^{+\infty}\frac{n(n-1)+3n+2}{n!}x^n.

Justifier la convergence avant de transformer la somme.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 4. Série cosinus ★★

Classiques de khôlle et concours · 20 min · Khôlle

Soit θ\theta réel.

Pour ∣x∣<1|x| < 1, calculer C(x)=∑n≥0cos⁡(nθ) xn,C(x) = \sum_{n \geq 0} \cos(n\theta)\, x^n, puis ∑n≥1cos⁡(nθ) xnn.\sum_{n \geq 1} \frac{\cos(n\theta)\, x^n}{n}.

Voir le début du corrigé
  1. ∣cos⁡(nθ) xn∣⩽∣x∣n\abs{\cos(n\theta)\, x^n} \leqslant \abs{x}^n, donc R⩾1R \geqslant 1 (propriété 1.6, comparaison des rayons).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Développement en série entière 3

Exercice 3. Développement de arcsin ★★

Classiques de khôlle et concours · 20 min · Khôlle

Développer (1−x2)−1/2(1 - x^2)^{-1/2} en série entière, puis arcsin⁡\arcsin.

Voir le début du corrigé
  1. Pour α=−12\alpha = -\frac12, α(α−1)⋯(α−n+1)n!=(−1)n×1×3×⋯×(2n−1)2nn!=(−1)n4n(2nn)‾\frac{\alpha(\alpha - 1)\cdots(\alpha - n + 1)}{n!} = \frac{(-1)^n \times 1 \times 3 \times \cdots \times (2n-1)}{2^n n!} = \underline{\frac{(-1)^n}{4^n}\binom{2n}{n}} (car 1×3×⋯×(2n−1)=(2n)!2nn!1 \times 3 \times \cdots \times (2n-1) = \frac{(2n)!}{2^n n!}).

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 5. Un logarithme déguisé ★★

Classiques de khôlle et concours · 15 min · Khôlle

Développer f(x)=ln⁡(1+x+x2)f(x) = \ln(1 + x + x^2) en série entière et donner le rayon.

Voir le début du corrigé
  1. Pour x≠1x \neq 1, 1+x+x2=1−x31−x1 + x + x^2 = \frac{1 - x^3}{1 - x}, et pour ∣x∣<1\abs{x} < 1 les deux facteurs sont strictement positifs.

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 7. Développement par équation différentielle ★★

Classiques de khôlle et concours · 30 min · Type écrit CCINP

Soit f(x)=arcsin⁡(x)1−x2f(x) = \frac{\arcsin(x)}{\sqrt{1 - x^2}} sur ]−1,1[]-1, 1[.

Montrer que (1−x2)f′(x)−xf(x)=1,(1 - x^2) f'(x) - x f(x) = 1, puis en déduire le développement de ff.

Voir le début du corrigé
  1. f′(x)=11−x2+xarcsin⁡(x)(1−x2)−3/2f'(x) = \frac{1}{1 - x^2} + x \arcsin(x)(1 - x^2)^{-3/2}, donc (1−x2)f′(x)=1+xf(x)‾\underline{(1 - x^2) f'(x) = 1 + x f(x)}, et f(0)=0f(0) = 0.

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Fonction génératrice 2

Exercice 8. Suite de Fibonacci ★★

Classiques de khôlle et concours · 25 min · Type écrit CCINP

Soit la suite définie par u0=0,u1=1,un+2=un+1+un.u_0 = 0, \qquad u_1 = 1, \qquad u_{n+2} = u_{n+1} + u_n. Montrer que ∑unxn\sum u_n x^n a un rayon au moins 1/21/2, calculer sa somme et en déduire unu_n.

Voir le début du corrigé
  1. 0⩽un⩽2n0 \leqslant u_n \leqslant 2^n (récurrence forte), donc R⩾12R \geqslant \frac12.

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Exercice 10. Dérangements ★★★

Approfondissement · 30 min · Type oral Centrale

On admet que le nombre DnD_n de permutations de {1,…,n}\{1, \dots, n\} sans point fixe vérifie ∑k=0n(nk)Dk=n!,D0=1.\sum_{k=0}^{n} \binom{n}{k} D_k = n!, \qquad D_0 = 1. On pose D(x)=∑Dnxnn!.D(x) = \sum \frac{D_n x^n}{n!}. Calculer DD et en déduire DnD_n.

Voir le début du corrigé
  1. 0⩽Dn⩽n!0 \leqslant D_n \leqslant n!, donc Dnn!∈[0,1]\frac{D_n}{n!} \in [0, 1] et R⩾1R \geqslant 1.

La suite du corrigé dans Sup et Spé+ : essai gratuit 7 jours.

Classique du chapitre 1

Exercice classique. Convolutions pondérées et produit de trois séries ★★★

Classique du chapitre

On définit (Cn)n∈N(C_n)_{n\in\N} par C0=1C_0=1 et Cn+1=∑k=0nCkCn−kC_{n+1}=\sum_{k=0}^{n}C_kC_{n-k}. On peut utiliser les résultats établis dans le cours : Cn=(2n)!/(n!(n+1)!)C_n=(2n)!/(n!(n+1)!), ainsi que la convergence de C(x)=∑n≥0CnxnC(x)=\sum_{n\geq0}C_nx^n et l’identité C(x)=1+xC(x)2C(x)=1+xC(x)^2 pour tout réel xx tel que ∣x∣<1/4|x|<1/4.

  1. Pour n≥0n\geq0, poser An=∑k=0n(k+1)CkCn−kA_n=\sum_{k=0}^{n}(k+1)C_kC_{n-k}. En effectuant le changement d’indice k↦n−kk\mapsto n-k, exprimer AnA_n en fonction de Cn+1C_{n+1}.

  2. Pour n≥0n\geq0, poser Tn=∑i+j+k=nCiCjCkT_n=\sum_{i+j+k=n}C_iC_jC_k, où la somme porte sur les triplets (i,j,k)∈N3(i,j,k)\in\N^3. Montrer que Tn=Cn+2−Cn+1T_n=C_{n+2}-C_{n+1}.

  3. En déduire une formule factorielle pour TnT_n, puis calculer T2T_2 et déterminer un équivalent de TnT_n lorsque nn tend vers l’infini.

Corrigé détaillé dans Sup et Spé+ : essai gratuit 7 jours.

Fiche de cours rédigée à partir du programme officiel de PC (2021), partie « Suites et séries de fonctions », section C « Séries entières ». Les coefficients ana_n sont réels ou complexes, la variable est notée xx quand elle est réelle et zz quand elle est complexe.

Au concours

Les questions des sujets corrigés qui travaillent ce chapitre. La première question de chaque sujet est en accès libre.

CCINP 2025, PC, Mathématiques

  • Q26 à Q28 Série génératrice des polynômes de Hermite
  • Q29 et Q30 Intégration terme à terme et convergence normale