Séries entières — CCINP et autres écoles

Exercices corrigés du CCINP et d’autres écoles sur le thème « séries entières », regroupés par filière.

MP–MPI


Exercice 1. (★★★) domaine de convergence ; dérivation terme à terme ; continuité de la somme
Préciser le domaine de définition de {f(x)=\sum_{n\geq1}\frac1{n^2} \left(x^n+\left(\frac{-x}{1-x}\right)^n\right),}puis calculer {f} sur ce 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 :

Exercice 2. (★★★) développement en série entière ; dérivation terme à terme ; rayon de convergence
a) Montrer que {g(x)=\sum\limits_{n=0}^\infty e^{-n+n^2ix}} est bien définie sur {\mathbb{R}} et de classe {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 :
b) Montrer qu’elle n’est pas développable 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 3. (★★★) rayon de convergence ; somme d’une série entière ; intégration terme à terme
Poser {a_n=\int_0^1t^n/(1+t^2)\,dt}.
a) Quel est 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 :
b) 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 4. (★★) rayon de convergence ; continuité de la somme ; intégration terme à terme
Soit {a_n=\int_0^1(2+t^2)^{-n-1}\,dt}.
a) Montrer que le rayon de {\sum\limits a_nx^n} est au moins {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 :
b) Pour {|x|\lt 2}, montrer que {S_n(x)=\sum\limits_{k=0}^na_kx^k} converge et 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 :
c) En déduire la somme et montrer que le rayon vaut {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 5. (★★) rayon de convergence ; dérivation terme à terme ; développements usuels
Donner le rayon de convergence et calculer la somme des séries {\sum_{n\geq1}nx^n,\qquad \sum_{n\geq1}2nx^{2n},\qquad \sum_{n\geq1}n^{(-1)^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 6. (★★★) rayon de convergence ; comportement aux bornes ; équivalents
Pour {n\geq1}, poser {u_n=\int_0^{1/n}dt/((1+t^2)(1+n^2t^2))}.
a) Déterminer la limite de {nu_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 :
b) Calculer le rayon {R} 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 :
c) Étudier le comportement de la somme en {R} et {-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 7. (★★★) Intégration sur un intervalle quelconque ; convergence dominée ; intégration par parties
Pour {n\in\mathbb{N}}, poser {f_n(x)=e^{-x}/(1+x)^n} sur {\mathbb{R}_+} et {J_n=\int_0^\infty f_n(x)\,dx}.
a) Justifier l’existence et étudier la limite de {J_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 :
b) Calculer {f_n'}, trouver une relation entre {J_n,J_{n+1}} et en déduire un équivalent de {J_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 :
c) Donner le rayon de {\sum\limits J_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 :
d) Exprimer sa somme par une intégrale.
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. (★★) rayon de convergence ; séparation des indices pairs et impairs ; développements usuels
Déterminer le rayon et la somme de la série entière {\sum\limits_{n\geq0}n^{(-1)^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 9. (★★★) rayon de convergence ; intégration terme à terme ; équivalents
Pour {n\geq0}, soit {I_n=\int_0^{\pi/4}\tan^nt\,dt}.

Montrer {0\leq I_n\leq\pi/4}, {I_{n+2}+I_n=1/(n+1)}, donner un équivalent, puis le rayon et la somme 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 :

Exercice 10. (★★★) convergence uniforme ; intégration terme à terme ; majoration des coefficients
Si {f(z)=\sum\limits_{n\geq0}a_nz^n} est entière, montrer {a_nr^n=\frac1{2\pi}\int_0^{2\pi}f(re^{it})e^{-int}dt}, puis que toute telle fonction bornée 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 11. (★★★) développement en série entière ; problème de Cauchy ; équations du premier ordre
Soit {(1):xy'+y=e^x}.
1) Trouver les solutions développables en série entière près de zéro.

2) Toutes les solutions sur {]0,+\infty[} le sont-elles près de zéro ?

3) Résoudre {(1)} sur un intervalle {I} de {\mathbb{R}} ; discuter suivant {I}.

4) Ajouter {y(x_0)=y_0}.

Que dit le théorème de Cauchy sur {]0,+\infty[} ?

Résoudre ce problème initial.

5) Représenter graphiquement 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 12. (★★) développements usuels ; rayon de convergence ; composition
Déterminer les développements en série entière en {0} de {x\mapsto\ln(1+x-2x^2)} et {x\mapsto\arctan\left(\frac{1-x^2}{1+x^2}\right)}.
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érivation terme à terme ; développement logarithmique
Rayon de convergence et somme de la série {\sum\limits_{n=0}^{+\infty}\frac{x^{2n+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 ; convergence uniforme au bord ; formule de Wallis
a) Donner le rayon de convergence de {S(x)=\sum\limits_{n\ge1}(-1)^n\ln(n)x^n}.

b) Montrer que, pour {|x|\lt 1}, {S(x)=\frac1{1+x}\sum\limits_{n=1}^{+\infty}(-1)^{n+1}\ln\left(1+\frac1n\right)x^{n+1}}.

c) Montrer que {\lim_{x\to1^-}S(x)=\frac12\sum\limits_{n=1}^{+\infty}(-1)^{n+1}\ln\left(1+\frac1n\right)}.

d) Calculer cette limite avec la formule de Wallis {\frac2\pi=\prod\limits_{k=1}^{+\infty}\left(1-\frac1{4k^2}\right)}.

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. (★★★) produit de Cauchy ; rayon de convergence ; récurrences
Soit {u_0=3} et {u_{n+1}=\sum\limits_{k=0}^n\binom nk u_ku_{n-k}}.
a) Montrer que {0\le u_n\le n!4^{n+1}}.

b) Soit {f(x)=\sum\limits_{n=0}^{+\infty}\frac{u_n}{n!}x^n}.

Donner son intervalle de définition et montrer que {f'=f^2} sur cet intervalle.

c) En déduire une expression usuelle de {f}.

d) Donner une expression 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 :

Exercice 16. (★★) rayon de convergence ; développement logarithmique ; équivalents au bord
Soit {(a_n)} réelle, convergente vers {a\ne0}.
a) Déterminer le rayon de {\sum\limits_{n\ge1}\frac{a_n}{n}x^n}.

b) Rappeler le développement de {\ln(1-x)} et son rayon.

c) Rappeler la définition de {a_n\to a}.

d) Si {f} est la somme, montrer que pour tout {\varepsilon>0} on peut majorer {\left|\frac{f(x)}{\ln(1-x)}+a\right|} par une expression de limite {\varepsilon} en {1^-}.

En déduire la limite du quotient et un équivalent 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 17. (★★) rayon de convergence ; suites récurrentes ; contraction
On pose {a_0=a_1=1}, {a_{n+2}=a_{n+1}+a_n} et {u_n=a_n/a_{n+1}}.
a) Montrer que {u_{n+1}=1/(1+u_n)} puis que {1/2\le u_n\le1}.

b)

i) Montrer que {f(x)=1/(1+x)} admet un point fixe dans {[1/2,1]}.

ii) Montrer que {(u_n)} converge et calculer sa limite.

c) Soit {S(x)=\sum\limits_{n=0}^{+\infty}a_nx^n}.

i) Préciser le rayon de convergence.

ii) Prouver que {S(x)=1/(1-x-x^2)}.

iii) En déduire une expression explicite 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 18. (★★★) convergence normale ; intégration terme à terme ; majoration des coefficients
Soit {f(z)=\sum\limits_{n=0}^{+\infty}a_nz^n} de rayon infini.
a) Montrer que pour {r>0} et {n\in\mathbb{N}}, {a_n=\frac1{2\pi r^n}\int_0^{2\pi}f(re^{it})e^{-int}\,dt}.

b) Montrer que si {f} est bornée, elle 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 19. (★★) intégration terme à terme ; intégration par parties ; continuité au bord
On donne {\sum\limits_{n\ge1}1/n^2=\pi^2/6}.
a) Déterminer le rayon et la limite en {1} de {f(x)=\sum\limits_{n\ge0}\frac{x^{2n+1}}{(2n+1)^2}}.

b) Déterminer le rayon de {g(x)=\sum\limits_{n\ge0}\frac{x^{2n+1}}{2n+1}} et exprimer {g} avec {\ln}.

Donner les limites en {1} et {0} de {\ln(x)g(x)}.

c) Pour {0\lt a\lt b\lt 1}, justifier l’existence de {\int_a^b\frac{\ln x}{x^2-1}\,dx}.

d) Montrer que cette intégrale vaut {-\sum\limits_{n\ge0}\int_a^b\ln(x)x^{2n}\,dx}.

e) Calculer {\int_a^b\ln(x)x^{2n}\,dx}.

f) En déduire {\int_0^1\frac{\ln x}{x^2-1}\,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 20. (★★★) solutions bornées ; lemme des noyaux ; identification des coefficients
Soient {a>0} et {h:\mathbb{R}_+\to\mathbb{R}} continue et bornée.

Montrer que {x'-ax=h} a une unique solution bornée sur {\mathbb{R}_+}.

a) Déterminer les solutions développables en série entière de {4xy''+6y'+y=0}. Soient {(E):x^{(3)}+2x''-x'-2x=0} et {G} l’ensemble de ses solutions de classe {C^3}.

b) Montrer que {G\subset C^\infty(\mathbb{R},\mathbb{R})}.

Pour {\Delta:f\mapsto f'} sur {C^\infty(\mathbb{R},\mathbb{R})},

c) déterminer {P} tel que {G=\ker P(\Delta)} ;

d) montrer que {G=\ker(\Delta^2-\mathrm{id})\oplus\ker(\Delta+2\mathrm{id})} ;

f) résoudre {(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 21. (★★) rayon de convergence ; intégration terme à terme ; développements usuels
Soit {f(x)=\sum\limits_{n=1}^{+\infty}x^{n-1}/(2n-1)}.

Déterminer son rayon de convergence, calculer {\sum\limits_{n\geq1}t^{2n-1}/(2n-1)} et en déduire {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 22. (★★★) rayon de convergence ; intégration par parties ; intégration terme à terme
Soit {f(x)=\sum\limits_{n=0}^{+\infty}(n!)^2x^n/(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) Donner une expression de {f} sur {]-R,R[}. Indication : utiliser {I(p,q)=\int_0^1t^p(1-t)^q\,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 23. (★★★) rayon de convergence ; convergence dominée ; intégration terme à terme
Pour {n\geq0}, soit {a_n=\int_0^{\pi/4}\tan^nt\,dt}.
1) Étudier la convergence 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) Calculer {a_n+a_{n+2}} pour {n\geq2}.
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}, de somme {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) {f} admet-elle une limite 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 :
5) 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 24. (★★) rayon de convergence ; Séries, familles sommables ; sommation par paquets
Pour {H_n=\sum\limits_{k=1}^n1/k}, déterminer le rayon et la somme de {f(x)=\sum\limits_{n=1}^{+\infty}H_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 25. (★★★) série de Taylor ; dérivation sous l’intégrale ; rayon de convergence
Soit {F(x)=\int_0^{+\infty}\cos(xt^2)e^{-t}\,dt}.
1) Montrer que {F\in C^\infty(\mathbb{R})} et calculer {F^{(k)}(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 :
2) Est-elle développable en série entière 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 26. (★★) problème de Cauchy ; unicité des coefficients ; équations linéaires du premier ordre
Pour {x\in\mathbb{R}}, soit {f(x)=e^{x^2/2}\int_0^xe^{-t^2/2}\,dt}.
1) Montrer {f\in C^\infty} et trouver une équation différentielle satisfaite par {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 qu’elle est développable en série entière et donner son développement.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★★) Séries alternées ; Intégration terme à terme ; Développements usuels
a) Montrer que {\tan(2a)=\tan(a)/(1-\tan^2(a))}.

Préciser le domaine 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 :
b) Donner le développement en série entière de {\arctan} 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 :
c) Montrer que {\pi/8=\sum\limits_{n=0}^{+\infty} (-1)^n(\sqrt2-1)^{2n+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 :
d) Majorer l’erreur d’approximation de {\pi} par {S_N=8\sum\limits_{n=0}^{N} (-1)^n(\sqrt2-1)^{2n+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 2. (★★) Rayon de convergence ; Série géométrique ; Intégration terme à terme
Déterminer le rayon de convergence et la somme de {\sum\limits_{n\geq 0}x^n/(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 3. (★★★) Rayon de convergence ; Continuité de la somme ; Intégration terme à terme
a) Pour {x\in[0,1[}, trouver {a,b,c} tels que, pour {t\in[0,1]}, {\frac1{(1+t^2)(1+tx)} =\frac{at+b}{1+t^2}+\frac c{1+tx}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Déterminer le rayon de convergence de la série entière de coefficients {u_n=\int_0^1t^n/(1+t^2)\,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 :
c) Calculer sa somme {S(x)} 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 :
d) Étudier la limite de {S} 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 4. (★★) Rayon de convergence ; Intégration sur un intervalle quelconque ; Convergence dominée
Pour {n\geq 1}, on pose {f_n(x)=(\cosh x)^{-n}} et {I_n=\int_0^{+\infty}f_n(t)\,dt}.
a) Justifier l’intégrabilité de chaque {f_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 :
b) Déterminer {\lim 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 :
c) Étudier {\sum\limits I_n} et {\sum\limits(-1)^nI_n}. On pourra majorer {\cosh x} par {e^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 :
d) Calculer le rayon de convergence de la série entière de coefficients {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 :

Exercice 5. (★★) Intégration terme à terme ; Intégrabilité ; Développements usuels
Soit {f(x)=\ln x/(x-1)}.
a) Montrer que {f} est prolongeable par continuité 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 :
b) Montrer que {I=\int_0^1f(t)\,dt} converge.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que {f} est développable en série entière et calculer le 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 :
d) Calculer {I}.
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 ; Série géométrique ; Dérivation terme à terme
Préciser le rayon et calculer la somme {\sum\limits_{n\ge0}(n^2+n+1)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 7. (★★★) Rayon de convergence ; Convergence dominée ; Équations différentielles
Pour {n\in\mathbb{N}}, poser {a_n=\int_0^1((1+t^2)/2)^n\,dt}.

Étudier sa convergence et celle de {\sum\limits(-1)^na_n}.

Déterminer le rayon de {f(x)=\sum\limits a_nx^n}.

Montrer {(2n+3)a_{n+1}=1+(n+1)a_n}, puis trouver une équation différentielle satisfaite par {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 8. (★★) Rayon de convergence ; Intégration sur un intervalle quelconque ; Intégration par parties
Soit {(a_n)} complexe avec {\sum\limits|a_n|\lt \infty}.

Montrer {\int_0^{+\infty}t^ne^{-t}\,dt=n!}.

Déterminer le rayon de {f(x)=\sum\limits_{n\ge0}a_nx^n/n!}, puis montrer {\int_0^{+\infty}f(x)e^{-x}\,dx=\sum\limits_{n\ge0}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 9. (★★★) Produit de Cauchy ; Dérivation terme à terme ; Relations de récurrence
Soit {u_0=3} et {u_{n+1}=\sum\limits_{k=0}^n\binom nk u_ku_{n-k}}.

Montrer {0\le u_n\le4^{n+1}n!}.

Pour {f(x)=\sum\limits_{n\ge0}u_nx^n/n!}, montrer {f'=f^2} sur {]-1/4,1/4[}, puis expliciter {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 10. (★★★) Rayon de convergence ; Équations différentielles ; Premier ordre
Soit {f(x)=\sum\limits_{n\ge0}\frac{n!}{1\cdot3\cdot5\cdots(2n+1)}x^{2n+1}}.

Préciser son rayon, montrer qu’elle satisfait une équation différentielle d’ordre un, développer {\arcsin x} à partir de sa dérivée, puis en déduire {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 11. (★★) Rayon de convergence ; Intégration sur un intervalle quelconque ; Intégration terme à terme
Soit {\sum\limits a_n} complexe absolument convergente.

Montrer {\int_0^{+\infty}x^ne^{-x}\,dx=n!}, déterminer le rayon de {f(x)=\sum\limits_{n\ge0}a_nx^n/n!}, puis montrer {\int_0^{+\infty}f(x)e^{-x}\,dx=\sum\limits_{n\ge0}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 12. (★★★) Recherche de solutions en série entière ; Second ordre ; Changement de variable
Soit {S=\left\{y\in C^2(\mathbb{R}_+^\star,\mathbb{R}_+^\star): 4xy''(x)+2y'(x)-y(x)=1\text{ pour }x>0\right\}}.

Donner la structure algébrique de {S} et trouver ses solutions développables 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 13. (★★) rayon de convergence ; continuité au bord ; développements usuels
Déterminer l’intervalle de convergence et la somme de {\sum\limits_{n\ge1}\frac{(-1)^nx^{2n+1}}{(2n+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 ; convergence dominée ; intégration terme à terme
Pour {n\in\mathbb{N}}, soit {I_n=\int_0^1e^{-1/t}t^n\,dt}.
a) Justifier l’intégrale et donner son signe.

b) Variations de {(I_n)} ?

c) Convergence et limite ?

d) Montrer {(n+1)I_n+I_{n-1}=e^{-1}} pour {n\ge1}.

e) Équivalent de {I_n} ?

f) Nature de {\sum\limits I_n} et {\sum\limits(-1)^nI_n} ?

g) Rayon de {\sum\limits I_nx^n} ?

h) Pour {|x|\lt 1}, montrer que {\sum\limits g_n} converge normalement sur {[0,1]}, où {g_n(t)=e^{-1/t}t^nx^n} pour {t\ne0}, {g_n(0)=0}.

i) Écrire {g(x)=\sum\limits I_nx^n} sous forme d’intégrale.

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 ; équivalents ; continuité au bord
Soient {f(x)=\sum\limits_{n=2}^{+\infty}\ln(n)x^n} et {g(x)=\sum\limits_{n=2}^{+\infty}\ln(1-1/n)x^n}.
a) Déterminer les rayons.

b) Montrer que {g} est définie et continue sur {[-1,1[}.

c) Relier {(1-x)f(x)} et {g(x)} pour {|x|\lt 1}.

d) Montrer que {f} est continue sur {]-1,1[} et prolongeable en {-1}.

e) Équivalents de {g} puis {f} 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 16. (★★★) équations du premier ordre ; produit de Cauchy ; dérivation terme à terme
Soit {f(x)=e^{e^x-1}}.
a) Calculer son développement limité d’ordre {2} en zéro.

b) Donner {f^{(n)}(0)} pour {n=0,1,2}.

c) Soit {u_0=1}, {u_{n+1}=\sum\limits_{k=0}^n\binom nk u_k}.

Calculer {u_1,u_2} et montrer {0\le u_n\le n!}.

d) Pour {g(x)=\sum\limits_{n=0}^{+\infty}(u_n/n!)x^n}, montrer que son rayon {R} est non nul.

e) Justifier sa dérivabilité et montrer {g'=e^xg} sur {]-R,R[}.

f) En déduire {g=f} sur cet intervalle.

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. (★★) rayon de convergence ; Intégration sur un segment ; Intégration sur un intervalle quelconque
a) Donner le rayon et le domaine de {\sum\limits_{n\ge0}x^n/((3n+1)(3n+2))}.

b) Calculer {\alpha_n=\int_0^1(1-t)t^{3n}\,dt}.

c) Calculer {\sum\limits_{n=0}^{N-1}\alpha_n} de deux façons et en déduire {\sum\limits_{n=0}^{N-1}\frac1{(3n+1)(3n+2)}=\int_0^1\frac{1-t^{3N}}{1+t+t^2}\,dt}.

d) Montrer {\sum\limits_{n=0}^{+\infty}\frac1{(3n+2)(3n+3)}=\int_0^1\frac{dt}{1+t+t^2}}.

e) Calculer cette dernière intégrale {I}.

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. (★★) rayon de convergence ; Intégration sur un intervalle quelconque ; intégration par parties
Soient {I_{n,k}=\int_0^{+\infty}t^ke^{-nt}\,dt} pour {n\ge1}, {k\in\mathbb{N}}, et {a_n=n!/n^{n+1}}.
a) Justifier et calculer {I_{n,k}}.

b) Rayon {R} de {\sum\limits a_nx^n} ?

c) Nature de {\sum\limits a_n/e^n} et {\sum\limits a_n/(-e)^n} ?

d) Montrer que, pour {|x|\lt R}, {\sum\limits_{n=1}^{+\infty}a_nx^n=\int_0^{+\infty}\frac{tx}{e^t-tx}\,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. (★★) module et argument ; série exponentielle ; formule du binôme
Pour {n\in\mathbb{N}}, soit {z_n=(1+i)^n}.
1) Calculer son module et un argument.

2) Montrer que {e^x\cos x} est développable en série entière sur {\mathbb{R}}.

3) En écrivant {e^x\cos x=\sum\limits_{n=0}^{+\infty}a_nx^n/n!}, montrer {a_n\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 :

Exercice 20. (★★★) rayon de convergence ; comparaison de coefficients ; convergence absolue
Soit {\sum\limits a_nz^n} de rayon {R}, et {b_n=a_n/(1+|a_n|)}. On note {R'} le rayon de {\sum\limits b_nz^n}.
1) Montrer {R'\geq\max(1,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) Si {R'>1}, montrer {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) En déduire {R'=\max(1,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 21. (★★★) rayon de convergence ; suites récurrentes ; séries alternées
Soit {u_1\in\mathbb{R}} et {u_{n+1}=e^{-u_n}/n} pour {n\geq1}.
1) Étudier la suite.

2) Déterminer le rayon de {\sum\limits u_nx^n}.

3) Déterminer son domaine réel 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 22. (★★★) rayon de convergence ; convergence dominée ; Équations différentielles
Pour {n\in\mathbb{N}}, soit {a_n=\int_0^1((1+t^2)/2)^n\,dt} et {f(x)=\sum\limits_{n\geq0}a_nx^n}.
1) Étudier la convergence de {(a_n)} et 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 :
2) Montrer que {\sum\limits(-1)^na_n} converge.
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 {a_n\geq1/(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 :
4) Déterminer le 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 :
5) Montrer {(2n+2)a_{n+1}=1+(n+1)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 :
6) Déterminer une équation différentielle satisfaite par {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 23. (★★★★) rayon de convergence ; produit de Cauchy ; équivalents
Soit {a_0=a_1=1} et {a_{n+2}=a_{n+1}+a_n/(n+2)}.
1) Montrer la stricte positivité.
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 monotonie.
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 {\sum\limits(a_{n+1}-a_n)} diverge et déterminer la limite 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 :
4) Déterminer le rayon de {S(x)=\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 :
5) Montrer que {S} satisfait {(x-1)y'+(x+1)y=0} 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 :
6) Montrer {a_n=\sum\limits_{k=0}^n(-1)^k(n-k+1)/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 :
7) Donner un équivalent 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 24. (★★★) intégration terme à terme ; série harmonique alternée ; développement logarithmique
Soit {I=\int_0^1\ln(t^2)\ln(1-t^2)/t^2\,dt}.
1) Montrer son existence.
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 {\ln(1-t^2)} en série entière et préciser le 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 :
3) Pour {f_n(t)=-(2/n)t^{2n-2}\ln t}, montrer {\int_0^1f_n=2/[n(2n-1)^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 :
4) Justifier l’intégration de {\sum\limits f_n} et en déduire une série pour {I}.
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écomposer {1/[n(2n-1)^2]=a/n+b/(2n-1)+c/(2n-1)^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) Montrer {\sum\limits_{n\geq1}(1/n-2/(2n-1))=2\sum\limits_{n\geq1}(-1)^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 :
7) En admettant {\sum\limits n^{-2}=\pi^2/6}, montrer {I=-4\ln2+\pi^2/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 25. (★★) prolongement continu ; intégration terme à terme ; développement logarithmique
Soit {f(x)=\ln x/(x-1)} sur {]0,1[} et {I=\int_0^1f(x)\,dx}.
1) Montrer que {f} se prolonge continûment en un.

2) Développer {g(t)=f(1-t)} en série entière en zéro et donner son rayon.

3) Calculer {I}, en admettant {\sum\limits n^{-2}=\pi^2/6}.

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éveloppement de l'exponentielle complexe
Soit {\theta\in\mathbb{R}}.

Déterminer le rayon de convergence et la somme de {\sum\limits_{n\geq0}\sin^2(n\theta)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 2. (★★) Intégration terme à terme ; Produit de Cauchy ; Identification des coefficients
Soit {f(x)=e^{-x^2}\int_0^xe^{t^2}\,dt}.
a) Montrer que {f} 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 :
b) Montrer que {f'+2xf=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 :
c) Calculer son 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 3. (★★) Intégration sur un intervalle quelconque ; Rayon de convergence ; Convergence dominée
Pour {n\in\mathbb{N}}, on pose {a_n=\int_0^1t^n/(1+t^n)\,dt} et {f(x)=\sum\limits_{n=0}^{+\infty}a_nx^n}.
a) Calculer {a_0,a_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 :
b) Montrer que {0\leq a_n\leq1} et que {(a_n)} décroî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 :
c) Pour {n\geq1}, montrer que {a_n=\frac1n\int_0^1u^{1/n}/(1+u)\,du}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Montrer que l’intégrale précédente tend vers {\ln2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) Déterminer le domaine de définition 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 :
f) Montrer que {f} est continue 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 4. (★★★) Recherche de solutions en série ; Identification des coefficients ; Dérivation terme à terme
Soient {\lambda\in\mathbb{R}} et {f(x)=e^{\lambda\arcsin x}} sur {]-1,1[}.
a) Trouver une équation différentielle d’ordre deux vérifiée par {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 :
b) Montrer qu’il existe une unique solution développable en série entière telle que {y(0)=1} et {y'(0)=\lambda}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que {f} est développable et donner son développement.
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 ; Comparaison série-intégrale ; Produit de Cauchy
Pour {n\geq1}, on pose {H_n=\sum\limits_{k=1}^n1/k}.
a) Déterminer la limite de {(H_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 :
b) Calculer le rayon de convergence et la somme de {\sum\limits_{n\geq1}H_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 6. (★★★) Rayon de convergence ; Passage à la limite sous l'intégrale ; Intégration par parties
Pour {n\in\mathbb{N}}, on pose {u_n=\int_0^1x^n\sin(\pi x)\,dx}.
a) Calculer le rayon de convergence de {\sum\limits_{n\geq1}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 :
b) Montrer que {\sum_{n=0}^N(-1)^nu_n =\int_0^1\frac{\sin(\pi x)}{1+x}\,dx-v_N,}en exprimant {v_N} par une intégrale.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) En déduire la somme de {\sum\limits(-1)^nu_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 :
d) Trouver {a,b\in\mathbb{R}} tels que {u_{n+2}=a-b(n+2)(n+1)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 :
e) Déterminer le domaine de définition de {f(x)=\sum\limits_{n=0}^{+\infty}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 7. (★★★) Rayon de convergence ; Dérivation terme à terme ; Produit de Cauchy
Soit {\varphi(t)=\exp(e^t-1)}. On admet {\varphi(t)=1+t+t^2+(5/6)t^3+o(t^3)}.
a) Déterminer {\varphi^{(n)}(0)} pour {0\leq n\leq3}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Soit {p_0=1} et {p_{n+1}=\sum\limits_{k=0}^n\binom nkp_k}.

Calculer {p_1,p_2,p_3} et montrer que {p_n\leq 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 :
c) Soit {f(x)=\sum\limits_{n\geq0}(p_n/n!)x^n}.

Montrer que son rayon est non nul. En admettant {f'=e^xf} sur {]-1,1[}, montrer que {\varphi^{(n)}(0)=p_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 :
d) Démontrer l’identité {f'=e^xf}.
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. (★) rayon de convergence ; série géométrique ; dérivation terme à terme
Étudier la convergence et calculer la somme de {\sum\limits_{n\ge0}n(-1)^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 9. (★★★) continuité au bord ; rayon de convergence ; convergence dominée
Soient {a_n=\int_0^1t^n/(1+t^n)\,dt} et {f(x)=\sum\limits_{n\ge0}a_nx^n} lorsque la série converge.

Calculer {a_0,a_1}, montrer {0\le a_n\le1} et la décroissance de {a_n}.

Pour {n\ge1}, montrer {a_n=\frac1n\int_0^1u^{1/n}/(1+u)\,du} et que l’intégrale tend vers {\ln2}.

Déterminer le domaine de {f} et montrer sa continuité 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 10. (★★) développement en série entière ; intégration terme à terme ; dérivation sous l'intégrale
Soit {F(x)=\int_0^1\ln(1+xt)/t\,dt} et {D} son domaine.

Montrer {]-1,1[\subset D}, développer {F} en série entière près de zéro, montrer {F\in C^1([0,1[)} et exprimer simplement {F'}. Proposer une autre méthode pour cette dérivé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 11. (★★★) rayon de convergence ; intégration terme à terme ; asymptotique des coefficients
Poser {I_n=\int_1^et(\ln t)^n\,dt} et {f(x)=\sum\limits_{n\ge0}I_nx^n}.

Montrer l’existence, calculer {I_0,I_1}, étudier les variations de {I_n}, puis montrer {2I_{n+1}=e^2-(n+1)I_n} et {e^2/(n+3)\le I_n\le e^2/(n+2)}.

Donner un équivalent, le rayon, le domaine de {f}, et montrer {f(x)=\int_1^et/(1-x\ln t)\,dt} pour {|x|\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 12. (★★) intégration terme à terme ; rayon de convergence
Soit {E_r} l’espace des fonctions développables en série entière sur {]-r,r[}, à valeurs complexes. Pour {f\in E_r}, poser {T(f)(x)=\int_0^xf(t)/(x+t)\,dt} si {x\ne0} et {T(f)(0)=f(0)\ln2}.

Montrer {T(f)(x)=\int_0^1f(xu)/(1+u)\,du}, puis {T(f)\in E_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 13. (★★) rayon de convergence ; continuité de la somme ; développements usuels
Rayon de convergence et somme de {\sum\limits_{n\ge1}\frac{\cosh 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 14. (★★) rayon de convergence ; produit de Cauchy ; séries géométriques
Soit {\theta\in\mathbb{R}}, {a_n=e^{n\theta}} et {b_n=\sum\limits_{k=0}^ne^{k\theta}}.

Donner rayons et sommes de {\sum\limits a_nx^n} et {\sum\limits 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 15. (★★) continuité de la somme ; intégration terme à terme ; développements usuels
a) Montrer {\ln(1+x)=\sum\limits_{n\ge1}(-1)^{n+1}x^n/n} pour {-1\lt x\le1}.

b) Calculer {\sum\limits_{n\ge0}x^{2n+1}/(2n+1)}, en précisant domaine et convergence au bord.

c) Même question pour {\sum\limits_{n\ge0}x^{2n+2}/(2n+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 16. (★★★) intégration par parties ; rayon de convergence ; dérivation terme à terme
Pour {n\in\mathbb{N}}, soit {u_n=\int_0^{\pi/2}\cos^nt\,dt}.
a) Limite ponctuelle de {\cos^nt} ?

b) Montrer {u_n\to0}.

c) Montrer {u_{n+2}=(n+1)u_n/(n+2)} par intégration par parties.

d) Montrer {u_{2n+1}\ne0} et donner le rayon de {g(x)=\sum\limits_{n\ge0}u_{2n+1}x^{2n+1}}.

e) Montrer {(x^2-1)g''+3xg'+g=0} sur {]-1,1[}.

f) Montrer {g(x)=\int_0^{\pi/2}x/(1-x\cos 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 17. (★★★) rayon de convergence ; dérivation terme à terme ; inégalité de Taylor-Lagrange
Pour {\lambda\in[-1,1]}, soit {S_\lambda} l’ensemble des fonctions dérivables {f:\mathbb{R}\to\mathbb{R}} telles que {f'(x)=f(\lambda x)}.
1) Montrer que c’est un sous-espace vectoriel.
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éterminer {S_1} et {S_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) Montrer que {\varphi(x)=\sum\limits_{n=0}^{+\infty}\lambda^{n(n-1)/2}x^n/n!} est définie sur {\mathbb{R}} et appartient à {S_\lambda}.
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) Pour {f\in S_\lambda}, montrer {f\in C^\infty} et {f^{(n)}(x)=\lambda^{n(n-1)/2}f(\lambda^nx)}.
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 {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) Déterminer {S_\lambda}.
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.