Programme de colle, semaine 17
par Bertrand MICAUX le 28 janvier 2023
Chapitres au programme
- Séries entières : en intégralité.
- Endomorphismes d'un espace euclidien : les pages 1 et 2.
Démonstrations à connaître
Séries entières
- (§II.1) Lemme d'Abel
- (§II.1) Comportement de la série $\sum_{n \geq 0} a_n \, z^n$ et de la suite $(a_n \, z^n)_{n \geq 0}$ quand $|z| < R$ et quand $|z| > R$
- (§II.3) Rayon de convergence et somme du produit de Cauchy de deux séries entières
- (§III.1) Modes de convergence des séries entières de la variable réelle
- (§III.2) Caractère $\mathcal{C}^1$ de la somme d'une série entière
- (§IV.3) Preuve des DSE usuels suivants : $x \mapsto \frac{1}{1-x}$, $x \mapsto \ln(1+x)$, $x \mapsto \arctan(x)$, $x \mapsto \mathrm{e}^x$, $x \mapsto \mathrm{ch}(x)$.
Endomorphismes d'un espace euclidien
- (§I.1) Les symétriques orthogonales sont des isométries
- (§I.1) Caractérisation des isométries par la conservation du produit scalaire
- (§I.1) Caractérisation des isométries par les bases orthonormées
- (§I.3) Valeurs propres d'une isométrie
- (§I.3) Stabilité de l'orthogonal d'un espace stable par les isométries
Exercices classiques
Séries entières
- (ex. 4) Calcul du rayon de convergence par échantillonnage
- (ex. 5) Calcul du rayon de convergence par la règle de d'Alembert
- (ex. 6) Calcul du rayon de convergence à l'aide de relations de comparaison
- (ex. 13) Dérivation terme à terme de sommes de séries entières
- (ex. 15) Primitive d'une somme de série entière
- (ex. 16) Développements en série entière élémentaires
- (tous les exemples du §IV.6) Techniques de calcul de sommes de séries entières
- (ex. 20) Calcul d'une somme de série numérique à l'aide d'une série entière
- (ex. 19) Calcul de $\sum\limits_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}$
Endomorphismes d'un espace euclidien
- (ex. 1) Toute isométrie vectorielle diagonalisable est une symétrie orthogonale
Compétences attendues
Séries entières
- (ex. 4) Calcul d'un rayon de convergence par conjecture, puis preuve par échantillonnage
- (§II.2) Utiliser la règle de d'Alembert pour trouver le rayon de convergence : directement sur les coefficients quand ils sont tous nuls APCR ; sur le terme général de la série quand la série est lacunaire
- (§II.3) Simplifier un calcul de rayon de convergence à l'aide de relations de comparaison (et de multiplications/divisions par $n$)
- (§II.4, ex.7) Calculer les coefficients d'un produit de Cauchy de deux séries entières
- (§II.4, ex.8) Utiliser que la somme du produit de Cauchy de deux séries entières est le produit des sommes des deux séries entières
- (§III.2) Dériver terme à terme une série entière sur son ouvert de convergence (autant de fois qu'on veut)
- (§III.3) Intégrer terme à terme une série entière sur un segment inclus dans l'ouvert de convergence
- (§III.3) Primitiver une somme de série entière sans oublier la valeur de la primitive en 0
- (§IV.1) Montrer qu'une fonction est développable en série entière en calculant ce développement en série entière par opérations sur les DSE usuels
- (§IV.3, preuve des DSE de $x \mapsto \mathrm{e}^x$ et de $x \mapsto (1+x)^\alpha$) Identifier la somme d'une série entière en montrant qu'elle est solution d'un problème de Cauchy, dont on sait obtenir la solution explicite
- (§IV.3, preuve du DSE de $x \mapsto (1+x)^\alpha$) Calculer formellement le DSE de $x \mapsto P(x) \, S'(x) + Q(x) \, S(x)$, où $P$ et $Q$ sont des polynômes et $S$ la somme d'une série entière.
- (§V.6) Définir une stratégie de calcul d'une somme de série entière et la mettre en œuvre.
- (§V.5) Prolonger un développement en série entière sur le bord de l'ouvert de convergence, en établissant la convergence uniforme de la série entière sur un segment
- (§V.6) Calculer une somme de série numérique à l'aide des séries entières