Séries entières — Mines-Ponts

Exercices corrigés des Mines-Ponts sur le thème « séries entières », regroupés par filière.

MP–MPI


Exercice 1. (★★) développements usuels ; dérivation terme à terme ; composition
Soit {n\in\mathbb{N}} et {f(x)=\log(1+\sqrt{1+x^n})}.

Montrer que {f} est {C^\infty} près de {0} et calculer ses dérivées en {0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) rayon de convergence ; convergence absolue ; valeurs d’adhérence
Soit {\alpha>1} et {a_n=(\sin n/\alpha+\alpha\sin(1/n))^n}.

Étudier {\sum\limits a_n} et le rayon de convergence de {\sum\limits a_nx^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★) convergence aux bornes ; développements usuels ; intégration terme à terme
Développer {\arcsin} en série entière sur {]-1,1[}.

La formule reste-t-elle valable en {\pm1} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) rayon de convergence ; produit de Cauchy ; premier ordre
Soit {u_0=1} et {u_n=n^{-1}\sum\limits_{k=0}^{n-1}u_k/(n-k)}.

Montrer {u_n\leq1}, puis déterminer le rayon et la somme de {\sum\limits u_nx^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★) Séries, familles sommables ; développement binomial ; convergence aux bornes
Soit {\alpha\in\mathbb{R}\setminus\mathbb{N}}.

Développer {(1+x)^\alpha} sur {]-1,1[}, montrer {|a_n|\sim Cn^{-1-\alpha}} avec {C>0}, puis étudier {\sum\limits a_n} et sa somme. On note {a_n} le coefficient de {x^n}, pour {n\ge0}, et la série étudiée commence à {n=0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★★) éléments simples ; produit de Cauchy ; combinaisons
Soit {p(n)=\#\left\{(x,y,z)\in\mathbb{N}^3:x+2y+3z=n\right\}}.

Montrer que {G(t)=\sum\limits p(n)t^n} est définie pour {|t|\lt 1} et vaut {1/((1-t)(1-t^2)(1-t^3))}.

En déduire {p(n)} et un équivalent.

Généraliser au nombre de {m}-uplets tels que {x_1+2x_2+\cdots+mx_m=n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★) dérivation terme à terme ; domaine de convergence ; développements usuels
Résoudre {\sum\limits_{n\geq0}(3n+1)^2x^n=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★★) intégration terme à terme ; rayon de convergence ; convergence aux bornes
Poser {a_n=\int_0^{\pi/4}\tan^nt\,dt}.

Étudier sa limite et relier {a_{n+2}} à {a_n}.

Pour {\alpha\in\mathbb{R}}, étudier {\sum\limits a_nx^n/n^\alpha}.

Expliciter {\sum\limits_{n\geq1}a_nx^n} par des fonctions usuelles.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) rayon de convergence ; intégration terme à terme ; majoration
Soit {\sum\limits a_nz^n} de rayon {R>0}.

Déterminer le rayon de {\sum\limits a_nz^n/n!}.

Pour sa somme {f} sur {\mathbb{R}}, montrer qu’il existe {r>0} tel que {f(t)e^{-xt}} soit intégrable sur {\mathbb{R}_+} pour {x>r}, et exprimer son intégrale en série entière en {1/x}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★) développement en série entière ; intégration terme à terme ; dérivation sous l’intégrale
Soit {f(x)=\int_0^\pi\cos(x\sin\theta)\,d\theta}.

Montrer {f\in C^2(\mathbb{R})} et {xf''+f'+xf=0}.

Montrer que {f} est développable en série entière et calculer ses coefficients.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★) premier ordre ; identification des coefficients ; rayon de convergence
Déterminer le domaine de {f(x)=\arcsin x/\sqrt{1-x^2}}.

Trouver une équation différentielle linéaire du premier ordre à coefficients polynomiaux vérifiée par {f}, puis son développement en série entière, avec rayon et coefficients.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★★) développement en série entière ; convergence absolue ; sommabilité
Pour {u_n(x)=e^{-x\sqrt n}}, déterminer les domaines de {f=\sum\limits_{n\ge0}u_n} et {g=\sum\limits_{n\ge0}(-1)^nu_n}. Les relier par une équation fonctionnelle, puis étudier leur analyticité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★) rayon de convergence ; développements usuels ; convergence aux bornes
Déterminer le rayon et la somme de {f(x)=\sum\limits_{n\ge1}x^{2n+2}/(n(n+1)(2n+1))}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★) rayon de convergence ; intégration terme à terme ; éléments simples
Déterminer le rayon et la somme de {\sum\limits_{n\ge1}x^n/(4n^2-5n+1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★) rayon de convergence ; sommation par paquets ; séries géométriques
Déterminer le rayon et la somme de {\sum\limits_{n\ge0}z^{n+(-1)^n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★★) développement en série entière ; dérivation terme à terme ; sommabilité
Pour {|q|\lt 1}, montrer que {f(x)=\sum\limits_{n\ge0}\sin(q^nx)} est définie, {C^\infty} et développable en série entière.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★★) restes ; convergence aux bornes ; séries alternées
Pour {\alpha,\beta>0}, étudier {S=\sum\limits_{n\ge0}(-1)^n/(\alpha n+\beta)}.

Exprimer {S} et les restes {r_n=\sum\limits_{k>n}(-1)^k/(\alpha k+\beta)} par des intégrales.

Déterminer le rayon et le comportement aux bornes de {\sum\limits r_nx^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★) Intégration sur un intervalle quelconque ; intégration terme à terme ; rayon de convergence
Développer en série entière près de zéro {f(x)=\int_0^\infty\log(1+xe^{-t})dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★★) rayon de convergence ; théorème d’Abel radial ; développements usuels
Développer en série entière en zéro {\log(x^2-\sqrt2x+1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★★★) rayon de convergence ; théorème d’Abel radial ; dérivation terme à terme
Pour {\tau\in\mathbb{R}}, développer en zéro {f(x)=\arctan(\tau(x-1)/(x+1))} et préciser le domaine exact de validité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★) rayon de convergence ; développements usuels ; convergence aux bornes
Déterminer rayon, domaine réel et somme de {f(x)=\sum\limits_{n\ge1}\cosh(n)x^{2n}/n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 22. (★★★★) identification des coefficients ; rayon de convergence ; second ordre
Déterminer le développement en zéro de {\sin(\arcsin x/3)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 23. (★★★★) convergence normale ; Séries, familles sommables ; produit de Cauchy
Pour {n\ge2}, poser {u_n=\sum\limits_{i+j=n,\ i,j\ge1}1/(ij)^2} et {S(x)=\sum\limits_{n\ge2}u_nx^n}.

Donner un équivalent de {u_n}, le rayon et une expression de {S}, puis étudier les deux bornes du domaine de convergence.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 24. (★★★) rayon de convergence ; second ordre ; Équations différentielles
Pour {f(x)=(\arcsin x)^2}, trouver une équation différentielle linéaire d’ordre deux et son développement en série entière avec son rayon.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 25. (★★★) rayon de convergence ; dérivation terme à terme ; premier ordre
Pour {a_0=a_1=1}, {a_{n+1}=a_n+2a_{n-1}/(n+1)}, montrer {1\le a_n\le n^2} pour {n\ge1} et déterminer le rayon de {f(x)=\sum\limits a_nx^n}.

Montrer {(1-x)f'-(1+2x)f=0} et expliciter {f}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 26. (★★★★) rayon de convergence ; dérivation terme à terme ; formule de Stirling
Pour {f(x)=\sum\limits_{n\ge0}e^{-n+in^2x}}, montrer la régularité {C^\infty} et étudier le développement en série entière.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 27. (★★★★) formule de Stirling ; convergence aux bornes ; sommation par intervalles
Rappeler Stirling, déterminer le rayon de {\sum\limits_{n\ge1}\log(1+1/n)x^n}, calculer sa somme en {-1}, puis {\int_0^1(-1)^{\lfloor1/x\rfloor}/x\,dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 28. (★★★) trace ; développements usuels ; trigonalisation
Pour {f(z)=\sum\limits_{k\ge1}(-1)^kz^k/k}, donner le rayon et calculer {e^{f(z)}}.

Montrer, pour une matrice complexe {A} et {z} assez petit, {\det(I+zA)=\exp(\sum\limits_{k\ge1}(-1)^k\operatorname{tr}(A^k)z^k/k)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 29. (★★★) rayon de convergence ; polynôme caractéristique ; trace
Pour {A\in\mathcal M_n(\mathbb{C})}, déterminer le rayon et exprimer {f(z)=\sum\limits_{p\ge0}\operatorname{tr}(A^p)z^p} à l’aide de {\chi_A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 30. (★★★) injectivité ; convergence normale ; inégalité triangulaire
Si {\sum\limits n|a_n|\lt \infty}, montrer que {\sum\limits a_nz^n} a rayon au moins un.

Si {a_1\ne0} et {|a_1|\ge\sum\limits_{n\ge2}n|a_n|}, montrer l’injectivité de sa somme sur le disque unité.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 31. (★★★★) injectivité ; intégration terme à terme ; orthogonalité trigonométrique
Montrer l’injectivité de {\varphi(z)=z/(1-z)^2} sur le disque ouvert unité et donner sa série.

Pour {f(z)=z+\sum\limits_{n\ge2}a_nz^n} injective sur ce disque, avec {a_n} réels, montrer que {f(z)} est réel exactement si {z} l’est, puis que les signes des parties imaginaires concordent.

Calculer {\int_0^\pi\operatorname{Im}f(Re^{it})\sin(nt)dt} et en déduire {|a_n|\le n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 32. (★★★) rayon de convergence ; intégration terme à terme ; intégrabilité
Pour {f(x)=\int_0^1dt/(1-xt+xt^2)}, déterminer le domaine réel et le développement en série entière centré en zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 33. (★★) Intégration sur un intervalle quelconque ; rayon de convergence ; intégration terme à terme
Montrer le développement en zéro de {f(x)=\int_0^\infty\log(1+xe^{-t})dt} et l’expliciter.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 34. (★★★★) Dérivation terme à terme ; Dérivation d’une composée ; Changement de variable
Montrer {\int_{1/2}^1\log t/(1-t)dt=\int_0^{1/2}\log(1-t)/t\,dt} et calculer {\sum\limits_{n\ge1}1/(2^nn^2)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 35. (★★★) dérivation terme à terme ; dérivées partielles ; convergence normale
Soit {R>0} et {D_R=\left\{(x,y):x^2+y^2\lt R^2\right\}}. La série entière {\sum\limits a_nz^n} a pour rayon {R}.

Montrer que {f(x,y)=\sum\limits_{n=0}^\infty a_n(x+iy)^n} est {C^2} et harmonique sur {D_R}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 36. (★★) rayon de convergence ; dérivation ; développements usuels
Déterminer le rayon de convergence et la somme de {\sum\limits_{n\ge1}\cos(2\pi n/3)x^n/n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 37. (★★) développements usuels ; produit de Cauchy ; sommabilité
Montrer que {f(x)=\log(1+e^{-x})} est développable en série entière au voisinage de {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 38. (★★) rayon de convergence ; dérivation ; développements usuels
Déterminer le rayon et la somme de {\sum\limits_{n\ge0}(2n+1)!\,x^n/(n!)^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 39. (★★★) rayon de convergence ; Intégration sur un intervalle quelconque ; produit de Cauchy
Soient {a_n=\int_0^{\pi/2}\cos^n t\sin(nt)dt} et {f(x)=\sum\limits_{n=0}^\infty a_nx^n}.
1) Calculer {a_0,a_1,a_2}.

2) Calculer {f(x)} pour {|x|\lt 1} et préciser son rayon.

3) En déduire {a_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 40. (★★) produit de Cauchy ; développements usuels ; sommabilité
1) Pour {z\in\mathbb{C}}, {|z|\ne1}, montrer que {t\mapsto1/(e^t-z)} est développable en série entière au voisinage de {0}.

2) Pour {F\in\mathbb{C}(X)} sans pôle de module {1} et {\alpha\in\mathbb{R}}, montrer que {t\mapsto F(e^{\alpha t})} est développable en série entière au voisinage de {0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 41. (★★★) valeurs d’adhérence ; rayon de convergence ; divisibilité
Pour {n\ge1}, soit {a_n=\nu_2(n)}.
1) Déterminer les valeurs d’adhérence de {(a_n)}.

2) La suite {b_n=n^{-1}\sum\limits_{k=1}^na_k} a-t-elle une limite ?

3) Déterminer le rayon de {\sum\limits_{n\ge1}b_nx^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 42. (★★★) rayon de convergence ; convergence aux bornes ; intégration terme à terme
Soit {a_n=\int_0^{\pi/4}\tan^nt\,dt}.
1) Montrer que {a_n\to0}.

2) Exprimer {a_{n+2}} à l’aide de {a_n}.

3) Déterminer le rayon {R} et la somme de {\sum\limits_na_nx^n}.

Étudier le comportement en {\pm R}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 43. (★★★) produit de Cauchy ; identification des coefficients ; dérivation
Soient {u_0=1} et {u_{n+1}=\tfrac12\sum\limits_{k=0}^n\binom nk u_ku_{n-k}}.

Trouver {u_n} en considérant {\sum\limits_{n\ge0}(u_n/n!)x^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 44. (★★★) théorème de Cesàro ; suites récurrentes ; équivalents
Soient {a_0>0} et {a_{n+1}=\log(1+a_n)}.
1) Montrer que {a_n\to0}.

2) Donner un équivalent de {a_n}.

3) Déterminer le rayon {R} de {\sum\limits_na_nx^n} et la convergence en {\pm R}.

4) Donner un équivalent de la somme lorsque {x\to R^-}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 45. (★★★) rayon de convergence ; sommation par parties ; dérivation
Soit {t\in\mathbb{R}} tel que {nt\notin2\pi\mathbb{Z}} pour tout {n\ge1}. Soit {f(x)=\sum\limits_{n=0}^\infty\sin(nt)x^n/n}.
1) Déterminer son rayon {R}.

2) Étudier la convergence en {\pm R} (considérer les sommes de {\sin(kt)}).

3) Exprimer la somme pour {|x|\lt R}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 46. (★★★) rayon de convergence ; Nombres réels ou complexes ; factorisation
Soit {(a_n)} complexe telle que {\sum\limits_nna_n} converge absolument. Soit {D=\left\{z:|z|\lt 1\right\}} et {f(z)=\sum\limits_{n\ge0}a_nz^n}.
1) Montrer que son rayon est supérieur ou égal à {1}.

2) Si {a_1\ne0} et {\sum\limits_{n\ge2}n|a_n|\le|a_1|}, montrer que {f} est injective sur {D}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 47. (★★) rayon de convergence ; produit de Cauchy ; dérivation
Soient {a_0=a_1=0}, {a_2=1/2} et {a_{n+1}=(n(n+1))^{-1}\sum\limits_{i+j=n}a_ia_j} pour {n\ge2}.
1) Montrer que le rayon de {\sum\limits_na_nx^n} est au moins {1}.

2) Montrer que sa somme résout {xy''-x=y^2} sur {]0,1[}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 48. (★★★) rayon de convergence ; identification des coefficients ; premier ordre
Soient {a_0=a_1=1} et {a_{n+1}=a_n+2a_{n-1}/(n+1)} pour {n\ge1}.
1) Montrer que {1\le a_n\le n^2} pour {n\ge1}, et en déduire le rayon {R} de {f(x)=\sum\limits_na_nx^n}.

2) Montrer que {f} résout {(1-x)y'-(2x+1)y=0} et l’exprimer.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 49. (★★★) convergence absolue ; développements limités ; module et argument
Soit {F(z)=\sum\limits_{n\ge0}a_nz^n} une série entière de rayon {R>0}, et {D} son disque ouvert de convergence.
1) Si {z_k\in D\setminus\left\{0\right\}}, {z_k\to0} et {F(z_k)=0} pour tout {k}, montrer que {F} est nulle.

2) Si {F(0)>0} et {|F|} a un maximum local en {0}, montrer que {F} est constante.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 50. (★★★) rayon de convergence ; produit de Cauchy ; dérivation terme à terme
Soient {b_0=1} et {b_n=\sum\limits_{k=1}^nb_{n-k}/k!} pour {n\ge1}.
1) Montrer que {b_n\le1/(\log2)^n}.

2) Montrer que le rayon {R} de {\sum\limits_nb_nx^n} est non nul et que sa somme vaut {1/(2-e^x)} pour {|x|\lt R}.

3) En déduire une expression sommatoire explicite de {b_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 51. (★★★★★) convergence dominée ; identification des coefficients ; développements asymptotiques
Soit {f(z)=\exp(z/(1-z))} sur {\mathbb{C}\setminus\left\{1\right\}}.
1) Montrer qu’elle est développable en série entière en {0} et donner le rayon ; on écrit {f(z)=\sum\limits_na_nz^n}.

2) Donner une expression sommatoire de {a_n}.

3) Trouver une récurrence pour {(a_n)}.

4) Donner un développement asymptotique de {\log a_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 52. (★★★★★) rayon de convergence ; formule de Stirling ; produit de Cauchy
Soit {a\in\mathbb{C}^\star}. On pose {A_0=1} et {A_k(X)=X(X-ak)^k/k!} pour {k\ge1}.
1) Montrer que {P(X)=\sum\limits_{k=0}^nP^{(k)}(ak)A_k(X)} pour {P\in\mathbb{C}_n[X]}.

En déduire, pour {y\ne0}, {ny^{n-1}=\sum\limits_{k=1}^n\binom nk(-ak)^k(y+ak)^{n-k}}.

2) Déterminer le rayon {R} de {\sum\limits_{n\ge1}(-n)^{n-1}x^n/n!}.

3) Si {S} est sa somme, montrer que {x(1+S)S'=S} et déterminer {h(x)=S(x)e^{S(x)}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 53. (★★★) intégration terme à terme ; conjugaison ; images continues
Soit {f(z)=z+\sum\limits_{n\ge2}a_nz^n}, avec {a_n} réels, de rayon au moins {1}, injective sur {D=\left\{z:|z|\lt 1\right\}}.
1) Montrer que {f(z)\in\mathbb{R}} si et seulement si {z\in\mathbb{R}}.

2) Montrer que {\operatorname{Im}f(z)>0} si et seulement si {\operatorname{Im}z>0}.

3) Calculer {\int_0^{2\pi}\operatorname{Im}f(re^{it})\sin(nt)dt} pour {n\ge1} et {0\le r\lt 1}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 54. (★★★) convergence uniforme ; suites monotones ; fonctions réciproques
Soit {(a_n)} positive avec {a_0>0}, {a_1=1}. Soient {S(x)=\sum\limits_{k\ge0}a_kx^k} et {S_n(x)=\sum\limits_{k=0}^na_kx^k}, le rayon de {S} étant {R>0}.
1) Pour {n\ge1} et {y>a_0}, montrer qu’il existe un unique {x_n(y)\ge0} avec {S_n(x_n(y))=y}, que {x_n(y)\to T(y)}, et que {T(y)\le R}.

2) On suppose {T(y)\le R}.

Calculer {(S\circ T)(y)}.

Qu’en déduire ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 55. (★★★) Convexité, Optimisation ; intégration terme à terme ; caractérisation par les dérivées
Soit {f(z)=\sum\limits_{n\ge0}a_nz^n} de rayon {R>0}.
1) Montrer que {I(r)=(2\pi)^{-1}\int_0^{2\pi}|f(re^{i\theta})|^2d\theta =\sum\limits_{n\ge0}|a_n|^2r^{2n}}, et que {I} est croissante sur {[0,R[}.

2) Si {f\ne0}, montrer que {I(r)>0} pour {0\lt r\lt R}.

3) Montrer que {t\mapsto\log I(e^t)} est convexe sur {]-\infty,\log R[}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 56. (★★) identification des coefficients ; produit de Cauchy ; dérivation
Soient {P\in\mathbb{R}[X]} de degré {2} et {f(x)=e^{P(x)}}.

Montrer que {f} est développable en série entière en {0} et que deux coefficients consécutifs ne sont jamais simultanément nuls.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 57. (★★★) rayon de convergence ; domination et négligeabilité ; séries géométriques
Soit {(p_n)} strictement croissante d’entiers naturels, avec {n=o(p_n)}. Soit {f(x)=\sum\limits_{n\ge0}x^{p_n}}.
1) Quel est son rayon de convergence ?

2) Déterminer les limites de {f(x)} et {(1-x)f(x)} en {1^-}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 58. (★★★★) convergence normale ; continuité ; densité
Une suite réelle {(a_n)} vérifie {\mathcal P} si {\sum\limits_na_nx^n} a un rayon au moins {1} et sa somme possède une limite finie en {1^-}.
1) Déterminer les fonctions {f:\mathbb{R}\to\mathbb{R}}, continues en {0}, telles que {f(x+y)=f(x)+f(y)}.

2) Montrer que la convergence absolue de {\sum\limits_na_n} implique {\mathcal P}.

Étudier la réciproque.

3) Déterminer les {f:\mathbb{R}\to\mathbb{R}} qui envoient toute suite vérifiant {\mathcal P} sur une suite {(f(a_n))} vérifiant {\mathcal P}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 59. (★★★) rayon de convergence ; problème de Cauchy ; second ordre
Soit {\lambda\in\mathbb{R}}.

Montrer que les solutions de {y''+(\lambda-1)x^2y=0} sont de la forme {y(x)=H(x)e^{-x^2/2}} avec {H} développable en série entière.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 60. (★★★) rayon de convergence ; premier ordre ; variation des constantes
Soit {x^2y'+y+x^2=0}.
1) Résoudre sur {\mathbb{R}_+^\star}.

2) Montrer qu’une unique solution admet une limite finie en {0}.

3) Existe-t-il des solutions ayant une limite finie en {+\infty} ?

4) Déterminer les solutions développables en série entière.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 61. (★★) calcul de l’espérance et de la variance ; développements usuels ; lois de probabilité
1) Rappeler le développement en série entière de {(1-x)^{-1/2}}.

2) Pour quel réel {r} les nombres {\mathbb{P}(X=n)=r(2n)!/(2^{3n}(n!)^2)} définissent-ils une loi sur {\mathbb{N}} ?

3) Calculer alors l’espérance et la variance.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 62. (★★★★) rayon de convergence ; inégalité de Taylor-Lagrange ; dérivées successives
Soient {a>0} et {f:\mathbb{R}\to\mathbb{R}} dérivable avec {f'(x)=f(ax)}.
1) Montrer que {f\in C^\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Calculer {f^{(n)}(x)} et {f^{(n)}(0)} en fonction de {f(0)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Déterminer le rayon de {\sum\limits_{n\ge0}a^{n(n-1)/2}x^n/n!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) On suppose désormais {0\lt a\lt 1} et on note {g} la somme de cette série.

Montrer que {g\in C^\infty(\mathbb{R})} et {g'(x)=g(ax)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5) Si {f(0)=0}, montrer que {f=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6) Résoudre {y'(x)=y(ax)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 63. (★★★★) inégalité de Taylor-Lagrange ; dérivées successives ; développement en série entière
Soit {f:\mathbb{R}\to\mathbb{R}} bornée dérivable avec {f'(x)=f(x+1)}.
1) Montrer que {f(x)=\sum\limits_{n\ge0}f(n)x^n/n!} pour tout {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {f(k)=-\sum\limits_{n\ge k+2}f(n)/(n-k)!} pour {k\in\mathbb{N}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {f=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 64. (★★★★) rayon de convergence ; suites extraites ; développements limités
On admet que {\pi} est irrationnel. Soit {\alpha>1} et {a_n=(\cos n/\alpha+\alpha/n)^n} pour {n\ge1}.
1) Déterminer le rayon {R} de {\sum\limits a_nx^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Étudier la convergence en {R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 65. (★★★) développement en série entière ; dérivation terme à terme ; sommation par paquets
Soient {q\in]-1,1[} et {f(x)=\sum\limits_{n\ge0}\sin(q^nx)}.
1) Montrer que {f\in C^\infty(\mathbb{R})}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’elle est développable en série entière près de zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 66. (★★★) intégration terme à terme ; intégrabilité ; développements usuels
Soit {f(x)=\int_0^{+\infty}e^{-t}\sinh(x\sqrt t)\,dt}.
1) Déterminer son domaine.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Développer en série entière et exprimer {f} avec les fonctions usuelles.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 67. (★★★) rayon de convergence ; intégration terme à terme ; séries alternées
Pour {n\in\mathbb{N}}, on pose {a_n=\int_0^{\pi/4}\tan^nt\,dt}.

Déterminer le rayon de {\sum\limits a_nx^n}, étudier les bords et calculer sa somme.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 68. (★★) rayon de convergence ; permutations ; produit de Cauchy
Notons {D_n} le nombre des permutations de {\left\{1,\ldots,n\right\}} sans point fixe, avec {D_0=1}.
1) Montrer que {\sum\limits_{k=0}^n\binom knD_k=n!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {S(x)=\sum\limits_{n\ge0}D_nx^n/n!}, montrer que le rayon est au moins un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Calculer {e^xS(x)} et en déduire {D_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 69. (★★★★) produit de Cauchy ; unicité des coefficients ; développements usuels
On définit {f(z)=z/(e^z-1)} lorsque cela a un sens, avec {f(0)=1}. On définit {b_0=1} et, pour {n\ge2}, {\sum\limits_{k=0}^{n-1}\binom nkb_k=0}.
1) Déterminer le domaine de {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {|b_n|\le n!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {f(z)=\sum\limits_{n\ge0}b_nz^n/n!} près de zéro, avec un rayon dans {[1,2\pi]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) En considérant {f(z)+z/2}, calculer les {b_n} d’indices impairs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5) Développer {\tan} en série entière en fonction des {b_n}. Indication : considérer {f(z)+f(-z)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 70. (★★★) unicité des coefficients ; développements usuels ; dérivation terme à terme
Soit {p\in\mathbb{R}}. La fonction {f(x)=(x+\sqrt{1+x^2})^p} est-elle développable en série entière près de zéro ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 71. (★★★★) rayon de convergence ; convergence uniforme ; unicité des coefficients
Pour {n\in\mathbb{N}}, on pose {u_n(x)=\prod\limits_{k=0}^n(1-x/2^k)}.
1) Montrer la convergence simple vers une fonction {u}, sans chercher à l’expliciter.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {u} est continue.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer qu’elle est développable en série entière près de zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 72. (★★★★) série de Taylor ; rayon de convergence ; dérivation terme à terme
Soit {f(x)=\sum\limits_{n=0}^{+\infty}e^{-n}e^{in^2x}}.
1) Montrer que {f} est bien définie et {C^\infty} sur {\mathbb{R}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’elle n’est pas développable en série entière près de zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 73. (★★★★) convergence au bord ; équivalents ; suites récurrentes
Soient {u_0\in]0,\pi/2[}, {u_{n+1}=\sin u_n}, et {a_n=\int_0^{u_n}dt/(1+\sin t)}.
1) Déterminer la limite de {(u_n)} et le comportement de {(a_n)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer la divergence de {\sum\limits u_n^2} et la convergence de {\sum\limits u_n^3}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Déterminer le rayon de {\sum\limits a_nx^n} et le comportement de sa somme en un et moins un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 74. (★★★) rayon de convergence ; convergence absolue ; inégalité triangulaire
Soit {(a_n)} complexe avec {\sum\limits n|a_n|\lt \infty}, et {f(z)=\sum\limits_{n\ge0}a_nz^n}.
1) Montrer que son rayon est au moins un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {a_1\ne0} et {\sum\limits_{n\ge2}n|a_n|\le|a_1|}, montrer que {f} est injective sur le disque unité ouvert.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 75. (★★★) produit de Cauchy ; unicité des coefficients ; dénombrement de parties d’un ensemble fini
Pour {n\in\mathbb{N}}, soit {p(n)=|\left\{(x,y,z)\in\mathbb{N}^3:x+2y+3z=n\right\}|}. On pose {G(t)=\sum\limits_{n\ge0}p(n)t^n}.
1) Montrer que le rayon est au moins un et que {G(t)=1/((1-t)(1-t^2)(1-t^3))} pour {|t|\lt 1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Expliciter {p(n)} et donner un équivalent.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 76. (★★★★) série de Taylor ; formule de Taylor ; inégalité de Taylor-Lagrange
Soient {I} un intervalle ouvert et {f\in C^\infty(I,\mathbb{R})} avec {f^{(n)}\ge0} pour tout {n\in\mathbb{N}}.

Montrer qu’au voisinage de chaque {x\in I}, {f} est somme d’une série entière.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 77. (★★★★) rayon de convergence ; morphismes de groupes ; continuité
1) Déterminer les endomorphismes continus du groupe {(\mathbb{R},+)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) On dit que {(a_n)} vérifie {\mathcal P} si {\sum\limits a_nx^n} a un rayon au moins un et une limite finie en {1^-}.

Montrer que la convergence absolue de {\sum\limits a_n} implique {\mathcal P} et étudier la réciproque.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Déterminer les fonctions {f:\mathbb{R}\to\mathbb{R}} envoyant toute suite vérifiant {\mathcal P} sur une suite {(f(a_n))} vérifiant {\mathcal P}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 78. (★★★) rayon de convergence ; relations de récurrence ; Intégration sur un segment
Pour {n\in\mathbb{N}}, soit {I_n=\int_0^{\pi/4}\tan^nx\,dx}.
1) Trouver une récurrence et un équivalent de {I_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Donner le rayon de {\sum\limits I_nx^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {I_{2n}=(-1)^n\sum\limits_{k=n}^\infty(-1)^k/(2k+1)} et exprimer de même {I_{2n+1}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 79. (★★★★) loi de Poisson ; inégalité de Bienaymé-Tchebychev ; sommation par paquets
Soient {f:\mathbb{R}_+\to\mathbb{R}} continue bornée et {h>0}. On pose {u_0^h=f} et {u_{n+1}^h(x)=(u_n^h(x+h)-u_n^h(x))/h}.
1) Exprimer {u_n^h} avec {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {a_n^h=u_n^h(0)}, montrer que {S(x,h)=\sum\limits_{k\ge0}a_k^hx^k/k!} est définie pour {x\ge0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) L’exprimer avec {X_h\sim\mathcal P(x/h)} et calculer sa limite lorsque {h\to0^+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★★★) Rayon de convergence ; Dérivation terme à terme ; Développements usuels
Pour {x>0}, poser {f(x)=(\cosh(\sqrt[4]x)-\cos(\sqrt[4]x))/\sqrt x}. Pour {x\lt 0}, poser {f(x)=2\sinh(\sqrt[4]{-x/4})\sin(\sqrt[4]{-x/4})/\sqrt{-x}}.

Montrer qu’elle se prolonge en une fonction {C^\infty} sur {\mathbb{R}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) Rayon de convergence ; Séries alternées ; Dérivation terme à terme
Montrer que {f(x)=\sum\limits_{n\geq2}(-1)^n/(n+x)} est définie et {C^\infty} sur {]-1,1[}, puis la développer en série entière.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★) Rayon de convergence ; Terme général
On note {a_n} la {n}-ième décimale de {\pi}.

Déterminer le rayon de convergence de {\sum\limits_{n\geq1}a_nz^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Identification des coefficients ; Rayon de convergence ; Continuité
Soient {q\in]-1,1[} et {f:\mathbb{R}\to\mathbb{R}} continue telle que {f(x)=(1-qx)f(qx)} et {f(0)=1}.

La fonction {f} est-elle développable en série entière ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) Rayon de convergence ; Développements usuels ; Intégration terme à terme
Développer en série entière {\arccos(1-x)/\sqrt x} sur {]0,1[}, puis donner une expression de la somme sur {]-1,0[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Rayon de convergence ; Dérivation terme à terme ; Premier ordre
Soit {f} la somme de {\sum\limits_{n\geq0}\frac{n!}{\prod\limits_{k=0}^n(2k+1)}x^{2n+1}}.

Déterminer son rayon, montrer qu’elle vérifie {(x^2-2)f'+xf+2=0}, puis préciser son domaine et une expression simple.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★) Unicité des coefficients ; Produit de Cauchy ; Exponentielle complexe
Développer {e^x\sin x} en série entière de deux façons, puis en déduire l’identité de coefficients suivante, pour {n\ge1} : {\sum_{k=0}^{\lfloor(n-1)/2\rfloor} \frac{(-1)^k}{(2k+1)!(n-2k-1)!} =\frac{(\sqrt2)^n}{n!}\sin(n\pi/4).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) Identification des coefficients ; Produit de Cauchy ; Dérivation terme à terme
Soit {P\in\mathbb{R}[X]} de degré {2}.

Montrer que {e^{P(x)}=\sum\limits_{n\geq0}a_nx^n} sur {\mathbb{R}}, et que deux coefficients consécutifs ne peuvent être nuls.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) Rayon de convergence ; Produit de Cauchy ; Premier ordre
Soit la suite {a_0=a_1=1} et {a_n=a_{n-1}+(n-1)a_{n-2}} pour {n\geq2}.

Montrer {a_n\leq n!}, que {S(x)=\sum\limits a_nx^n/n!} a un rayon d’au moins {1}, puis que {S'=(1+x)S} sur {]-1,1[}.

En déduire une expression de {a_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★) Rayon de convergence ; Dérivation terme à terme ; Sommes géométriques
Soit {\alpha>0}. Déterminer les rayons de {\sum\limits_{n\geq1}\cos(n\alpha)x^n/n} et {\sum\limits_{n\geq1}\sin(n\alpha)x^n/n}.

Expliciter la somme de la première sur {]-1,1[}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★) Rayon de convergence ; Développements usuels
Déterminer le rayon et la somme de {\sum\limits_{n\geq0}\sinh(n)x^{2n}/(2n)!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★) Rayon de convergence ; Négligeabilité ; Développement du logarithme
Soit une suite réelle telle que {na_n\to0}.

Montrer que {\sum\limits a_nx^n} a un rayon d’au moins {1}, puis que sa somme est {o(\log(1-x))} lorsque {x\to1^-}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★) Rayon de convergence ; Intégration sur un intervalle quelconque ; Dérivation terme à terme
1) Donner le rayon et la somme de {\sum\limits_{n\geq1}nx^n}.

2) Pour {x\geq0}, étudier et sommer {\sum\limits_{n\geq1}nx^ne^{-nx}}.

3) Montrer {\int_0^{+\infty}xe^{-x}/(1-xe^{-x})^2\,dx =\sum\limits_{n\geq1}n!/n^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★) Recherche de solutions en série ; Dérivation sous l'intégrale ; Identification des coefficients
Soit {J(x)=\int_0^\pi\cos(x\sin t)\,dt}.

Montrer qu’elle vérifie {(E):xy''+y'+xy=0}.

Déterminer toutes les solutions sur {\mathbb{R}} développables en série entière autour de {0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★★) Recherche de solutions en série ; Identification des coefficients ; Rayon de convergence
Rechercher les solutions de {y''+xy'+2y=0} développables en série entière, et préciser l’intervalle de validité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★★★) Recherche de solutions en série ; Dimension ; Identification des coefficients
Selon {\lambda\in\mathbb{R}}, déterminer la dimension de l’espace des solutions sur {\mathbb{R}} de {xy''+\lambda y'+xy=0} qui sont sommes d’une série entière.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★★) série binomiale ; nilpotence ; polynômes de matrices
1) Développer {\sqrt{1+x}=\sum\limits_{k\geq0}a_kx^k} et préciser rayon et domaine réel de validité.

2) Pour {A} nilpotente complexe, prouver {\sum\limits_{k\geq0}a_kA^k=I+A}.

3) Toute matrice complexe possède-t-elle une racine carrée ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★★) Intégration sur un intervalle quelconque ; rayon de convergence ; convergence au bord
Développer en série entière {f(x)=\int_1^\infty e^{-t}dt/(x+t)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★) rayon de convergence ; séries géométriques ; suites récurrentes linéaires
Soient {u_0=u_1=1} et {u_n=u_{n-1}+2u_{n-2}+(-1)^n} pour {n\geq2}.

Pour {S(z)=\sum\limits u_nz^n}, montrer que le rayon est supérieur à {1/2}, calculer la somme et en déduire {u_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★★) rayon de convergence ; coefficients ; comparaison
Soient {a_n\ne0} complexes et {R,R'} les rayons de {\sum\limits a_nz^n} et {\sum\limits z^n/a_n}.

Si {R,R'} sont finis, montrer {RR'\leq1}.

Donner un exemple avec {0\lt RR'\lt 1}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★★) rayon de convergence ; critère des séries alternées ; intégration terme à terme
Poser {a_n=\int_0^1((1+t^2)/2)^ndt}.

Montrer {1/(n+1)\leq a_n\leq2/(n+1)}, la convergence de {\sum\limits(-1)^na_n}, puis déterminer le rayon et la somme de {\sum\limits a_nx^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 22. (★★★) Intégration sur un intervalle quelconque ; convergence dominée ; limite au bord
Soient {u_n=\int_1^\infty e^{-t^n}dt}, {n\geq1}, et {f(x)=\sum\limits_{n\geq1}u_nx^n}.

Déterminer {\lim u_n}, le domaine de {f}, puis {\lim_{x\uparrow1}f(x)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 23. (★★★★) rayon de convergence ; dérivation terme à terme ; permutation de sommes
Pour {|x|\lt 1}, poser {f(x)=\sum\limits_{n=2}^\infty(-1)^n/(x+n)}.

Montrer que {f} est {C^\infty} et développable en série entière au voisinage de zéro.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 24. (★★★) dérivation terme à terme ; module et argument ; développement du logarithme
Pour {|z|\lt 1}, poser {L(z)=\sum\limits_{n\geq1}(-1)^{n-1}z^n/n}.

Montrer {L(z)=\ln|1+z|+i\arctan(\operatorname{Im}z/(1+\operatorname{Re}z))}. Indication : étudier {t\mapsto L(tz)} sur {[0,1]}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 25. (★★★) équation linéaire du premier ordre ; intégration terme à terme ; dérivation sous l'intégrale
Soit {F(x)=\int_0^\infty e^{-t^2}\sin(xt)dt}.

Calculer {\int_0^\infty t^{2n+1}e^{-t^2}dt}, développer {F} en série entière avec son rayon, puis trouver une équation différentielle et une autre expression de {F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 26. (★★★) équation linéaire du premier ordre ; moments gaussiens ; intégration terme à terme
Pour {F(x)=\int_0^\infty e^{-t^2}\cosh(2tx)dt}, déterminer le domaine.

Pour {I_n=\int_0^\infty t^{2n}e^{-t^2}dt}, avec {I_0=\sqrt\pi/2}, montrer {I_n=\frac{\sqrt\pi}{2}(2n)!/(2^{2n}n!)}, puis développer {F} en série entière et trouver une équation différentielle et une expression simple.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 27. (★★) solutions développables en série entière ; rayon de convergence ; identification des coefficients
Déterminer les solutions développables en série entière près de zéro de {y''+xy'+2y=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 28. (★★★) suites récurrentes ; série exponentielle ; domination et négligeabilité
Soit {u_1\in\mathbb{R}} et {u_{n+1}=nu_n-1} pour {n\ge1}.

Montrer que {u_1=e-1} équivaut à l’existence d’un réel {a} tel que {u_n=O(n^a)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 29. (★★★★) rayon de convergence ; convergence normale ; dérivation terme à terme
Préciser le domaine de {f(x)=\sum\limits_{n\ge0}e^{-n}e^{in^2x}}.

Montrer qu’elle est {C^\infty} sur {\mathbb{R}}.

Est-elle développable en série entière ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 30. (★★★★) convergence normale ; dérivation terme à terme ; produit de Cauchy
Soit {f(x)=\sum\limits_{n=1}^{\infty}(-1)^n/(x+n)} pour {-1\lt x\lt 1}.
a) Montrer qu’elle est {C^\infty}.

b) Montrer qu’elle est développable en série entière.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 31. (★★★) rayon de convergence ; Intégration sur un intervalle quelconque ; convergence dominée
Soit {u_n=\int_1^\infty e^{-t^n}dt} et {f(x)=\sum\limits_{n=1}^{\infty}u_nx^n}.
a) Déterminer {\lim u_n}.

b) Déterminer le domaine de convergence.

c) Déterminer la limite de {f} à sa borne droite.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 32. (★★★) rayon de convergence ; partie entière ; inégalités de convexité
Soit {N} un entier non carré et {a=\sqrt N}.
a) Trouver des entiers {p_n} tels que {na-p_n\in[-1/2,1/2]}.

b) Montrer qu’il existe {c>0} tel que {\sin(na\pi)\ge c/n} pour {n\ge1}.

c) En déduire le rayon de {\sum\limits_{n=0}^{\infty}x^n/\sin(n\pi\sqrt2)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 33. (★★★) produit de Cauchy ; identification des coefficients ; développements usuels
Soit {b_0=1} et {b_{n+1}=-\frac1{n+2}\sum\limits_{k=0}^n\binom{n+2}{k}b_k}.
a) Montrer {|b_n|\le n!}.

b) Pour {|z|\lt 1}, montrer {\sum\limits_{k\ge0}b_kz^k/k!=z/(e^z-1)}.

c) Montrer que {\cot x-1/x} est développable en série entière en {0}.

d) Relier les deux questions, en posant éventuellement {z=2i\pi x}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 34. (★★★) rayon de convergence ; variation de la constante ; premier ordre
Soit {S(x)=\sum\limits_{n=0}^{\infty}x^n/\binom{2n}{n}}.
a) Donner son rayon {R} et montrer {x(x-4)S'+(x+2)S=2}.

b) En déduire {S} sur {]0,R[}.

c) Calculer {\sum\limits_{n=0}^{\infty}1/\binom{2n}{n}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 35. (★★★★) dérivation terme à terme ; rayon de convergence ; produit de Cauchy
Montrer l’existence d’une fonction {\varphi} développable en série entière en {0} et vérifiant {\varphi'=x+\varphi^2} près de {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 36. (★★★) rayon de convergence ; identification des coefficients ; primitives
Soit {(E):x^2y''+4xy'+2y=\log(1+x)}.
a) Trouver les solutions développables en série entière et leur rayon.

b) Les exprimer à l’aide des fonctions usuelles.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 37. (★★) convergence uniforme ; monotonie ; développements usuels
Soit {f_n(x)=-1+\sum\limits_{k=1}^nx^k/k}.
1) Pour {n\geq2}, montrer que {f_n(x)=0} a une unique solution {x_n\in]0,1[}.

2) Montrer que {(x_n)} décroît et converge.

3) Calculer sa limite.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 38. (★★★★) rayon de convergence ; cordes et tangentes ; partie entière
1) Montrer que {2|x|/\pi\leq|\sin x|} pour {|x|\leq\pi/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Donner le rayon de convergence de {\sum\limits_{n\geq1}z^n/\sin(n\pi\sqrt3)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 39. (★★★) rayon de convergence ; développements usuels ; racines de l’unité
Pour {p\geq1}, donner le rayon de convergence et la somme de {\sum\limits_{k\geq0}x^{kp}/(kp)!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 40. (★★) Intégration sur un intervalle quelconque ; intégration terme à terme ; convergence normale
Soit {\sum\limits a_nz^n} de rayon {R>0} fini, telle que {\sum\limits a_nR^n} converge absolument.
1) Donner un exemple.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {f(x)=\sum\limits a_nx^n} est continue sur {[-R,R]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Pour {g(t)=t^{-1}\ln|(1-t)/(1+t)|} : (i) montrer que {\int_0^1g} converge ;

(ii) développer {g} sur {]-1,1[} et calculer cette intégrale ;

(iii) calculer {\int_1^\infty g}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 41. (★★★) rayon de convergence ; dérivation terme à terme ; premier ordre
Soit {f(x)=\sum\limits_{n=0}^\infty\frac{n!}{1\cdot3\cdots(2n+1)}x^{2n+1}}.
1) Déterminer son rayon {R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’elle vérifie {(x^2-2)y'+xy+2=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) En déduire une expression de {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) La série converge-t-elle en {x=R} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 42. (★★★) rayon de convergence ; équivalents ; sommes et produits
On donne {\sum\limits_{n\geq1}1/n^2=\pi^2/6}. Pour {n\geq1}, soit {u_n=\sum\limits_{i,j\geq1,\ i+j=n}1/(i^2j^2)}.
1) Donner un équivalent de {u_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Donner le rayon de {\sum\limits u_nz^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 43. (★★★) dérivation terme à terme ; formule de Leibniz ; dérivées successives
Soient {T_0=1} et {T_{n+1}=X(T_n+T_n')}.
1) Calculer {T_1,T_2,T_3,T_4}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {T_{n+1}=X\sum\limits_{k=0}^n\binom nkT_k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Pour {\phi(t)=\exp(e^t)}, montrer que {\phi^{(n)}(t)=T_n(e^t)\phi(t)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Développer {T_n(x)e^x} en série entière.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 44. (★★★★) rayon de convergence ; Nombres réels ou complexes ; convergence normale
Soit {D=\left\{z:|z|\leq1\right\}} et {(a_n)} complexe telle que {\sum\limits n a_n} converge absolument.
1) Montrer que le rayon de {\sum\limits a_nz^n} est au moins un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {f(z)=\sum\limits a_nz^n} sur {D}, si {a_1\ne0} et {\sum\limits_{n\geq2}n|a_n|\leq|a_1|}, montrer que {f} est injective.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 45. (★★★) rayon de convergence ; dérivation terme à terme ; équivalents
Soit {f(x,s)=\sum\limits_{n\geq1}x^n/n^s}.
1) Calculer {f(x,0),f(x,1)} lorsque cela est possible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Donner le rayon à {s} fixé.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Donner le domaine de définition réel.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Relier {f(x,s)} à {f(x,s-1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5) Donner {f(x,-1),f(x,-2)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6) Pour {p\geq1}, donner un équivalent de {f(x,-p)} en {1^-}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 46. (★★) rayon de convergence ; domination et négligeabilité ; développements usuels
Soit {(a_n)} réelle telle que {na_n\to0}.
1) Montrer que le rayon de {\sum\limits a_nx^n} est au moins un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\sum\limits_{n\geq0}a_nx^n=o(\ln(1-x))} en {1^-}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 47. (★★★) rayon de convergence ; convergence dominée ; Intégration sur un intervalle quelconque
Soient {I=\int_1^\infty e^{-t}/t\,dt} et {u_n=\int_1^\infty e^{-x^n}dx} pour {n\geq1}.
1) Montrer que {I} est bien définie.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que les {u_n} le sont.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Trouver un équivalent de {u_n} et indiquer comment obtenir le terme suivant.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Donner le domaine de convergence de {\sum\limits a_nx^n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 48. (★★★★) rayon de convergence ; inégalité de Markov ; indépendance d’événements
Soient {(X_n)_{n\geq0}} i.i.d. à valeurs dans {\mathbb{N}}, avec {\mathbb{P}(X_0=0)\lt 1} et {\mathbb E(X_0)\lt \infty}. Soit {R} le rayon de {\sum\limits X_nt^n}.
1) Rappeler la définition du rayon de convergence.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\left\{R>1\right\}} est l’événement où les coefficients sont finalement nuls, puis que sa probabilité est zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Pour {0\leq c\lt 1}, montrer que {\mathbb{P}(R\leq c)=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Montrer que {\mathbb{P}(R=1)=1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.