[>] Calcul de rayon de convergence abstrait
Déterminer les rayons de convergence des séries entières qui suivent:
.
Déterminer le rayon de convergence des séries entières suivantes:
.
Solution
Posons . Pour tout ,
La série converge absolument pour et diverge grossièrement pour . On a donc .
Posons . Pour tout ,
Cela assure la convergence absolue de . On a donc .
Posons . On remarque
On sait que a pour rayon de convergence et donc aussi.
Posons . Pour tout ,
La série converge absolument pour et diverge grossièrement pour . On a donc .
Posons . Pour tout ,
donc .
On a
Or
donc
Par suite, .
Déterminer le rayon de convergence des séries entières:
.
Solution
Posons . Pour tout ,
donc .
Posons . Pour tout ,
donc .
Posons . Pour tout ,
donc .
Déterminer les rayons de convergence des séries entières
Une série entière converge-t-elle normalement sur son disque ouvert de convergence?
Solution
On a
donc le rayon de convergence de la première série entière vaut 1.
Aussi
donc le rayon de convergence de la deuxième série entière vaut .
On sait qu’une série entière converge normalement sur tout compact inclus dans son disque ouvert de convergence, mais en revanche elle ne converge pas normalement sur ce disque. La série entière est un contre-exemple car
Déterminer le rayon de convergence de
Solution
On remarque
Pour , posons . Après calculs,
On en déduit
Déterminer le rayon de convergence de la série entière où est la suite déterminée par
avec .
Solution
La suite est une suite récurrente linéaire d’ordre . Son terme général est donné par
Si alors . Si alors .
Soient un réel strictement positif et la suite déterminée par
Déterminer le rayon de convergence de la série entière .
Solution
La série entière étudiée correspond à .
Pour ,
Pour , la série converge absolument. Pour , la série diverge grossièrement. Le rayon de convergence cherché vaut .
Déterminer le rayon de convergence de la série entière .
Soit . Déterminer le rayon de convergence de
Solution
On sait qu’une série entière et sa série entière dérivée ont le même rayon de convergence. Étudions ici le rayon de convergence de . La suite est bornée donc et ne tend pas vers donc . On conclut .
Déterminer le rayon de convergence de la série entière
Solution
Pour , posons
La suite est bornée car tend vers . On a donc .
Aussi, pour , la suite ne tend pas vers . En effet, si par l’absurde cette suite est de limite nulle, il vient
ce qui est absurde. La série diverge alors grossièrement et l’on a donc .
Finalement, .
Déterminer le rayon de convergence des séries entières
où et désignent respectivement le nombre de diviseurs supérieurs à de l’entier et la somme de ceux-ci.
Solution
La suite de terme général ne tend pas vers donc .
Aussi, et le rayon de convergence de vaut donc .
On peut conclure .
De même, en exploitant que ne tend pas vers et
on a .
Soit un réel irrationnel fixé. On note le rayon de convergence de la série entière
Démontrer que .
On considère la suite définie par
Démontrer que pour tout entier
En déduire que la série de terme général converge.
Dans la suite, on pose
et l’on admet que est irrationnel.
Démontrer qu’il existe une constante strictement positive telle que, pour tout entier :
Démontrer que .
Question subsidiaire: Démontrer que est effectivement irrationnel.
Énoncé fourni par le CENTRALE-SUPELEC (CC)-BY-NC-SA
Solution
Soulignons que les termes sommés pour définir la série entière ont un sens car l’irrationalité de donne
Puisque
la série entière diverge grossièrement en et donc .
Par une récurrence facile, on montre pour tout . On a alors
On a
et puisque la suite est croissante
avec
On en déduit
Considérons . Pour
En effet,
Or
et donc
d’où
puis
On en déduit que diverge pour tout et donc .
Par l’absurde, supposons . Il existe alors un entier tel que . Pour tout , on a alors or
avec comme vu ci-dessus
On en déduit
Or
C’est absurde.
[<] Calcul de rayon de convergence concret[>] Intervalle de convergence
Soient une série entière de rayon de convergence et . On suppose que est semi-convergente. Déterminer .
Solution
Par la convergence de on a déjà . Si alors il y a absolue convergence en ce qui est exclu par hypothèse. On conclut .
Soit une série entière de rayon de convergence .
Déterminer le rayon de convergence de la série entière .
Solution
Notons le rayon de convergence de .
Pour , et donc est absolument convergente.
Pour , et donc est grossièrement divergente.
On en déduit .
Soit une série entière de rayon de convergence .
On considère ses parties paire et impaire et de rayons de convergence notés et .
Montrer que .
Solution
Pour , posons
Les séries entières et correspondent à et .
D’une part, on vérifie pour tout . La série entière est donc la somme des séries entières et . Cela entraîne .
D’autre part, pour tout et donc . Par un argument semblable, et donc .
Par double inégalité, .
On suppose que .
Déterminer le rayon de convergence de .
Solution
Pour , on observe que . Or il est connu que pour série à termes positifs, si alors la série converge et si alors la série diverge (ce résultat s’obtient par comparaison avec une suite géométrique).
Si alors pour tout ,
donc converge en et donc .
Si alors pour tout tel que , converge tandis que pour , diverge. On en déduit
Si alors pour tout , diverge.
Comparer les rayons de convergence des séries entières
Montrer que pour tout les séries entières et ont le même rayon de convergence.
Solution
Posons et comparons et .
Cas: . ok
Cas: . On a et donc
Pour tel que , en considérant, , on peut écrire
Puisque converge absolument, la série converge et donc .
Or cela pour tout tel que donc
Finalement,
Cas: . On écrit et l’on exploite ce qui précède.
Soit une série entière de rayon de convergence .
Déterminer le rayon de convergence de
Solution
Soit . La série numérique est absolument convergente. Pour tout ,
car par croissance comparée
Par comparaison de séries absolument convergentes, on peut affirmer que la série numérique est absolument convergente pour tout .
Le rayon de convergence de la série entière étudiée est .
Soit une série entière de rayon de convergence . On pose
et l’on note le rayon de convergence de .
Montrer que
Établir que si alors .
Exprimer alors en fonction de .
Solution
On a donc . On a donc
Si alors et puisque donne , on obtient donc .
Par suite, d’où .
Si alors et .
Soient et deux séries entières de rayon de convergence et .
On suppose que pour tout , .
Montrer que le rayon de convergence de est
Solution
Par sommation de séries entière, on sait déjà
De plus, puisque on peut affirmer et donc et de même et donc puis .
Soit une série entière de rayon de convergence . On note et les rayons de convergence de sa partie paire et sa partie impaire
Montrer .
Application : Calculer le rayon de convergence de la série entière
Soit une série entière de rayon de convergence .
Déterminer le rayon de convergence de
Solution
Montrons par double inégalité que le rayon de convergence de vaut
Soit .
Puisque la série numérique est absolument convergente, on a et donc .
Or pour , on sait que la suite n’est pas bornée. On en déduit et donc
Soit .
On a et donc puis . On en déduit et donc
Soit une suite de réels tous non nuls.
Déterminer une relation reliant les rayons de convergence des séries entières ci-dessous:
Solution
Notons et les deux rayons de convergence de séries entières introduites.
Soit .
Si alors la série numérique converge et donc . On en déduit que
et donc puis . On en déduit , soit
On ne peut a priori affirmer mieux puisque, pour
on obtient .
Soient une suite de nombres complexes non nuls et . On suppose
Déterminer le rayon de convergence de la série entière .
Solution
Soit . On remarque
(1) |
Cas: . La limite (1) est strictement inférieure à et l’on peut affirmer que, pour tout , il y a convergence absolue de la série numérique . On en déduit la convergence de la série entière pour tout et donc .
Cas: . Pour , la limite (1) est strictement inférieure à et l’on peut affirmer que, pour tout , il y a convergence absolue de la série numérique . On en déduit la convergence de la série entière pour tout tel que . Pour , la limite (1) est strictement supérieure à et il y a divergence grossière de donc a fortiori aussi divergence grossière de . On en déduit .
Cas: .. Pour tout , la limite (1) est strictement supérieure à et il y a divergence grossière de donc a fortiori aussi divergence grossière de . On en déduit .
[<] Calcul de rayon de convergence abstrait[>] Étude de la somme d'une série entière concrète
On note la -ième décimale de (, , , , etc.).
Déterminer l’intervalle de définition de la série entière
Solution
La suite est bornée mais ne tend pas vers (car n’est pas un nombre décimal).
Par conséquent, pour tout , la série numérique converge car son terme est dominé par le terme sommable .
En revanche, diverge car ne tend pas vers .
On peut conclure que le rayon de convergence de la série entière vaut .
On vient de voir que la série diverge grossièrement pour . Il en est de même pour .
On conclut que l’intervalle cherché est
Pour , on pose
Déterminer la limite de .
Donner un équivalent de .
Déterminer l’intervalle de définition de la série entière .
Solution
Pour , avec . Par convergence dominée .
Par le changement de variable qui est un -difféomorphisme,
Par convergence dominée,
donc
Par l’équivalent précédent, et la série entière diverge en .
Par application du critère spécial des séries alternées, la série entière converge en .
L’intervalle de définition est donc .
Pour , on pose
Calculer .
Donner la nature de La série de terme général .
Donner le domaine de définition réel de la série entière de .
Solution
Par intégration par parties,
puis
On a
donc converge.
Par le calcul ci-dessus, donc
Par la formule de Stirling,
et
donc
Ainsi,
et, par comparaison de séries à termes positifs, diverge.
Considérons . La suite est alternée, et
donc est décroissante.
Par application du critère spécial des séries alternées, converge.
Finalement, .
Étudier la limite de la suite définie par
Déterminer le rayon de convergence de .
Déterminer l’intervalle de convergence de . On pourra étudier la limite de et utiliser le théorème de Cesàro.
Solution
La fonction est définie sur et à valeurs dans . Puisque , la suite récurrente est bien définie et à termes dans . Sachant , on peut affirmer que la suite est décroissante. Or elle est minorée par 0, donc elle converge vers une limite . En passant la relation à la limite, on obtient ce qui entraîne (car pour tout ).
Finalement, .
On a alors
et donc le rayon de convergence de la série entière vaut 1.
Cas: . La série numérique
converge en vertu du critère spécial des séries alternées car décroît vers .
Cas: . Déterminons la nature de la série numérique
On a
Par le théorème de Cesàro,
et donc
On en déduit
Par équivalence de séries à termes positifs, diverge.
L’intervalle de convergence est donc .
[<] Intervalle de convergence[>] Étude de la somme d'une série entière abstraite
Pour réel convenable, on pose
Préciser le domaine de définition de .
La fonction est-elle continue sur son domaine de définition?
Pour réel, on pose
Préciser l’intervalle de définition de .
Établir la continuité de sur son domaine de définition.
Déterminer la limite de en .
Étudier la dérivabilité de et former une équation différentielle vérifiée par .
Pour réel, on pose
Préciser l’intervalle de définition de et établir sa continuité.
Étudier la limite de en .
Donner l’intervalle de définition de la fonction qui au réel associe
Quel est le signe de sur ?
Quelle est la limite de en l’extrémité droite de ?
Écrire sous forme d’une série et en déduire le signe de sur .
Étudier la convexité de définie sur par
En déduire que la fonction est convexe.
Solution
est la somme d’une série entière de rayon de convergence .
La série diverge en (par série de Riemann avec ) et converge en par application du critère spécial des séries alternées. On conclut .
Puisque est la somme d’une série entière, on peut dériver terme à terme sur et
Sur , cette somme est positive. La fonction est donc croissante sur .
Si celle-ci était majorée par un réel , nous aurions pour tout
En passant à la limite quand , on obtient
Ceci est absurde car la série à termes positifs diverge et ne peut donc avoir ses sommes partielles majorées. La fonction est donc croissante et non majorée, elle diverge donc vers en .
Pour
Pour , on peut écrire avec et alors
avec . On vérifie que la suite est décroissante de limite nulle et donc le critère spécial s’applique à la série alternée . Sa somme est donc du signe de son premier terme ce qui fournit . On en déduit
Après étude (un peu lourde) du signe de , on peut affirmer que est concave et croissante.
Pour , on a clairement . Pour , considérons
puis
Posons .
On vérifie et car la concavité de fournit
Le critère spécial de série alternée s’applique à nouveau, la somme est du signe de son premier terme et cela fournit
puis car on sait .
Finalement, est convexe.
Pour réel, on pose
Déterminer le rayon de convergence de la série entière définissant .
Préciser l’intervalle de définition de et étudier sa continuité.
Déterminer la limite de en .
Solution
Pour , posons . On a
Si , la série numérique converge absolument. Si , elle diverge grossièrement. On en déduit que le rayon de convergence de la série entière vaut .
La fonction est définie sur un intervalle contenant et inclus dans . En , la série définissant diverge car il s’agit d’une série de Riemann d’exposant . En , la série définissant converge en vertu du critère spécial:
On conclut que l’intervalle de définition de est .
Par théorème, la fonction est continue sur son intervalle de définition car c’est la somme d’une série entière d’une variable réelle.
Méthode: Pour obtenir la limite d’une série entière en un point où celle-ci n’est pas définie, il est fréquent de comparer à une série entière de somme connue.
Pour tout , on a et donc, pour tout ,
En sommant, on obtient
Par théorème de limite infinie par minoration, la fonction tend vers en .
Soit
Déterminer le rayon de convergence de la série entière définissant .
Étudier la convergence en et en .
Déterminer la limite de quand .
Montrer
Solution
Posons
Puisque , on peut affirmer .
La suite décroît vers 0 donc par le critère spécial des séries alternée, la série entière converge en .
Puisque , par équivalence de séries à termes positifs, la série entière diverge en .
Par positivité des termes sommés, on a pour ,
Or
Puisque
Pour tout , il existe un rang tel que
et pour au voisinage de
puis
On peut donc affirmer que
On a
et par glissement d’indice
Puisque
la série entière en second membre est définie et continue en 1 par convergence normale de la série de fonctions associée. On en déduit à l’aide d’un télescopage
Il est aussi possible de procéder par les en exploitant
et
Soit la suite des fonctions donnée par
Déterminer le rayon de convergence de la série entière .
On note sa somme.
Montrer que
En déduire que admet une limite en et que
Calculer la limite ci-dessus en admettant la formule de Wallis:
Solution
Posons
Pour , et
Le rayon de convergence de la série entière vaut .
Pour , on a
Après décalage d’indice et réunion des deux sommes
ce qui conduit à la relation demandée.
La somme d’une série entière est continue là où elle est définie donc
puis
En regroupant les termes d’indices impairs et pairs consécutifs
et donc
Enfin par la formule du Wallis, on obtient
Pour convenable, on pose
Montrer que est définie pour tout tel que .
Calculer pour .
Soit tel que . Pour , on pose
Montrer que est dérivable sur et calculer .
Établir que est constante et en déduire que
Solution
est la somme d’une série entière de rayon de convergence . La fonction est donc au moins définie sur .
Pour , on reconnaît un développement en série entière usuel
Notons que cette écriture ne pas être reprise pour exprimer pour complexe car on ne manipule pas de logarithme de nombre complexe.
Pour , et
La fonction apparaît comme la somme d’une série entière de rayon de convergence
Puisque , la fonction est dérivable sur avec
Par sommation géométrique de raison avec ,
Par dérivation de fonctions composées,
La fonction est donc constante égale à . En particulier, donne
Notons que l’on en déduit
[<] Étude de la somme d'une série entière concrète[>] Étude asymptotique aux extrémités de l'intervalle de convergence
Soit une série entière de rayon de convergence .
On suppose que la série numérique converge absolument.
Montrer que la fonction est définie et continue sur .
Solution
Soit . On observe
Par comparaison, converge absolument et donc converge pour tout . La fonction somme de la série entière est donc définie sur et, par théorème, nécessairement continue sur l’intervalle où elle est définie.
Soit une série entière de rayon de convergence et de somme
On suppose que la série numérique converge, montrer que la fonction est définie et continue en 1.
Solution
La fonction est évidemment définie en 1. Pour étudier sa continuité, introduisons
On peut écrire pour et
avec
Puisque et , on peut écrire
avec convergence des deux sommes introduites.
Par décalage d’indice, on obtient
et ainsi
Soit .
Puisque , pour assez grand on a
donc
Pour un tel fixé, on a quand ,
donc pour suffisamment proche de 1,
donc
Soit la somme d’une série entière de rayon de convergence .
On suppose qu’il existe tel que
Montrer que est la fonction nulle.
Solution
On sait
On en déduit que les sont tous nuls et est donc la fonction nulle.
Soit la somme d’une série entière de rayon de convergence .
On suppose qu’il existe une suite de complexes non nuls telle que
Montrer que tous les coefficients sont nuls.
Solution
On établir par récurrence forte sur .
Cas: . Par continuité de en
Or
On en déduit .
Supposons la propriété vraie jusqu’au rang .
Pour convenable,
L’hypothèse donne, après simplification par ,
Par continuité en de la série entière , on obtient .
La récurrence est établie.
Soit une série entière de rayon de convergence et de somme .
Exprimer en fonction de pour .
Même question avec .
Solution
.
.
Soit une suite non nulle et -périodique (avec ).
Déterminer le rayon de convergence de la série entière .
Simplifier .
En déduire que la somme de la série entière est une fraction rationnelle.
Solution
donc . La suite ne tend pas vers donc et ainsi .
En réorganisant les termes sommés
On a donc
Soit une série entière de rayon de convergence et de somme . On suppose que la suite est à termes réels positifs et que la fonction est bornée sur .
Montrer que la série est convergente.
Montrer que la fonction est définie et continue sur .
(Théorème d’Abel)
Soit une série entière de rayon de convergence et de somme .
On suppose que la série numérique converge ce qui assure que est définie en . On souhaite établir que y est continue11 1 Plus généralement, on établit ainsi qu’une série entière d’une variable réelle est continue en tout point où elle est définie. Ce résultat n’est pas vrai lorsque la variable est complexe..
Pour , on introduit
Soit . Justifier la convergence de la série .
Soient et . Établir
Soit un réel . Justifier qu’il existe un entier naturel tel que pour tout entier et pour tout réel .
Conclure.
Solution
La suite est la suite des restes d’une série convergente, elle tend donc vers . Cela permet d’écrire
La série est alors absolument convergente et donc convergente.
Pour , on remarque la simplification
et l’on obtient la première égalité
Méthode: On réalise une transformation d’Abel: par linéarité, on sépare la somme en deux, on fait un glissement d’indice sur l’une des sommes puis on recombine les deux sommes en une seule.
Avec convergences des séries écrites,
Par glissement d’indice dans la première somme,
On combine les sommes sur leur portion commune en isolant un terme
Puisque la suite est de limite nulle, on sait
Pour le de l’énoncé, il existe donc tel que pour tout . Pour et , on a alors
La dernière somme étant géométrique de raison et de premier terme ,
Cette inégalité vaut aussi, pour car .
Enfin, en amorçant l’étude par la valeur au lien de , on obtient la conclusion voulue.
Méthode: On constate la convergence uniforme de la série de fonctions sur .
Sur , la fonction correspond à la somme de la série des fonctions . Celles-ci sont continues en . Aussi, la série de fonctions converge simplement sur et correspond au reste de rang associé. L’étude qui précède donne
ce qui signifie la convergence uniforme de la série de fonctions sur .
Par théorème de continuité par convergence uniforme, la fonction est continue en .
Soit la fonction somme dans le domaine réel d’une série entière de rayon de convergence .
On suppose l’existence d’un réel
Peut-on affirmer que la série numérique converge et que sa somme vaut ?
Que dire si l’on sait de plus ? [Théorème de Tauber]
Solution
Pour , on a , et la série diverge.
Pour et , on peut écrire
avec
Pour , il existe un rang au-delà duquel
et alors pour tout
Posons alors
et l’on a
D’autre part
En vertu du théorème de Cesàro,
et donc il existe tel que pour
Enfin, puis tend vers en , il existe tel que pour
Finalement, pour
On peut donc affirmer que la série converge et
Soit la somme d’une série entière de rayon de convergence .
Pour tout et tout , on pose
Déterminer le rayon de convergence de la série entière définissant .
Pour tout , exprimer en fonction de .
Soit une suite de réels strictement positifs. On pose et l’on suppose
Déterminer le rayon de convergence des séries entières et puis former une relation entre leur somme.
Solution
Puisque , on a .
Comme , on a aussi .
Enfin permet par la règle de d’Alembert d’obtenir .
On conclut .
Pour ,
Soit une suite réelle bornée.
Déterminer le rayon de convergence de la série entière
On note la fonction somme de cette série entière.
On suppose que la suite converge vers un réel . Étudier
(Analycité de la somme d’une série entière)
Soient une série entière complexe de rayon de convergence et tel que .
Montrer qu’il existe une suite complexe telle que pour tout vérifiant ,
Solution
Soit tel que . On a . Avec convergence, on peut écrire
Tous les termes sont positifs, on peut réorganiser le calcul
Cela assure la sommabilité de la famille avec
On pose alors pour tout
et, à rebours des calculs précédents, une sommation par paquets donne
Soient et une fonction continue de dans dont la restriction à est somme d’une série entière. Montrer qu’il existe une suite de polynôme convergeant uniformément vers sur .
Solution
Notons la série entière dont la somme est égale à sur .
Soit . La fonction est continue sur un compact donc uniformément continue. Il existe donc vérifiant
Considérons alors et .
Pour tout , donc . Ainsi,
Puisque la série entière converge uniformément vers sur tout compact inclus dans , la série entière converge uniformément vers sur . Il existe donc un polynôme vérifiant
puis
Soit une série entière de rayon de convergence et de somme .
Montrer que pour ,
Que dire de si admet un maximum local en 0?
On suppose maintenant que et qu’il existe tel que pour tout complexe. Montrer que .
Solution
Pour , il y a absolument convergence de . On a
Par produit de Cauchy de séries absolument convergentes, on obtient
Puisque et sont absolument convergentes, par produit de Cauchy, on peut affirmer que converge. On en déduit que la série des fonctions continues est normalement convergente et donc on peut permuter somme et intégration:
Or pour tout donc, après simplification des termes nuls,
Pour suffisamment petit,
Par intégration, d’une fonction négative, on obtient . Or il s’agit d’une somme de termes positifs, ils sont donc tous nuls et l’on en déduit
La fonction est alors constante.
Posons
Pour tout ,
Pour , on obtient
Or
donc
Pour ,
avec
On en déduit puis, en reprenant la démarche avec , on obtient successivement et finalement
[<] Étude de la somme d'une série entière abstraite[>] Fonctions développables en série entière
Soit une suite réelle convergente de limite .
Montrer
Solution
Puisque la suite converge, elle est bornée et cela assure que le rayon de convergence de la série entière est au moins égal à . Pour , on peut initier le calcul
La série entière est définie en et sa somme est donc continue en . On en déduit
On pose
Déterminer les rayons de convergence des séries entières définissant et .
Montrer que est définie et continue sur .
Trouver une relation entre et pour .
Montrer que peut être prolongée en une fonction continue sur .
Trouver des équivalents de et en .
Solution
Par application de la règles de d’Alembert, les rayons de convergence de séries entières définissant et sont égaux à .
est assurément définie et continue sur en tant que somme de série entière.
La série entière définissant converge aussi sur par application du critère spécial et
Il y a donc convergence uniforme de la série de fonctions continues définissant sur .
Ainsi, est définie et continue sur .
On peut aussi souligner que n’est pas définie en car
Pour ,
La fonction est continue sur en tant que somme de série entière de rayon de convergence . On peut prolonger par continuité en via
On a
donc pour
et donc
Le terme sommatoire définit une fonction continue sur (par convergence normale) et donc
puis
Pour réel convenable, on pose
Préciser le domaine de définition de la fonction et étudier sa continuité.
Établir
et en déduire un équivalent simple de en .
Déterminer un équivalent simple quand tend vers de
Déterminer la limite de en .
Donner l’ensemble de définition de
Calculer .
Calculer
où désigne la fonction partie entière.
Donner un équivalent de en
Solution
est la somme d’une série entière de rayon de convergence .
Puisque , la série n’est pas définie pour . En revanche, on vérifie aisément la convergence de la série en en vertu du critère spécial des séries alternées.
Finalement, est définie sur .
Calculons la somme partielle
Par la formule de Stirling,
Par le changement de variable (qui est de classe strictement décroissant), on ne modifie par la nature de l’intégrale et l’on a
Puisque
la nature de l’intégrale et sa valeur sont données par la limite de
On peut conclure
On peut écrire
On a alors
D’une part
et d’autre part
On peut donc conclure
Pour , on pose
Déterminer le rayon de convergence de la série entière .
Établir
En déduire un équivalent .
Solution
On sait
et donc
On en déduit le rayon de convergence .
Pour , on est assuré de l’existence des deux sommes
On peut donc considérer la différence
Aussi,
avec la constante d’Euler.
Soit . Il existe tel que pour tout . On a alors pour tout
Or,
Il existe donc tel que pour tout ,
Ainsi, on a établi
autrement dit
On peut alors conclure
Par produit de Cauchy,
On a donc
Soit une suite complexe. On suppose que la série entière a pour rayon de convergence . Déterminer les rayons de convergence de
Application : Donner un équivalent simple de quand .
Solution
On sait que les séries entières et ont le même rayon de convergence (notamment car une série entière et sa série dérivée ont le même rayon de convergence). Puisque et on peut affirmer par encadrement que la série entière a aussi pour rayon de convergence . De plus,
donc la série entière a encore pour rayon de convergence .
Notons que a pour rayon de convergence . On sait
Le terme général
est donc borné par un certain .
Par suite,
Or, par produit de Cauchy,
donc
On pose
pour .
Étudier la convergence de la série entière entière pour réel.
On pose
pour convenable.
La fonction est-elle continue en ?
Donner un équivalent simple de en .
Solution
Notons que l’intégrale définissant converge car .
Pour ,
En intégrant et en exploitant , on obtient
On en déduit que . Pour , converge en vertu du critère spécial des séries alternées car décroît vers .
Pour , diverge par l’équivalent précédent. La fonction somme est définie sur .
Pour , on peut appliquer le critère spécial des séries alternées à la série et affirmer
ce qui assure la convergence uniforme de la série. Par suite, la fonction somme est continue en .
On a
donc pour ,
Or
donc est absolument convergente et la somme de la série entière est définie et continue en 1. On en déduit
On considère la suite récurrente définie par
Déterminer le rayon de convergence de la série entière .
Étudier la convergence et la continuité de en .
Déterminer la limite de la suite de terme général
En déduire
Donner un équivalent en de la somme de la série entière.
Soient et deux séries entières de sommes respectives et avec, pour tout , .
On note le rayon de convergence de . On suppose et on suppose aussi que la série entière diverge en .
On suppose que . Montrer que quand .
On suppose que . Que dire de et au voisinage de ?
Solution
On peut écrire avec et alors
Pour tout , il existe tel que pour tout , on ait . On peut alors écrire
puis
Quand ,
donc pour assez proche de
puis
Cela permet de conclure que quand .
Si alors donc
en vertu du résultat précédent.
Soit une fonction continue, décroissante et intégrable sur . Montrer que pour tout
Application : En posant , déterminer un équivalent de lorsque .
Solution
Soit . Par décroissance de ,
En sommant, on obtient avec convergence de la série
Par encadrement,
Par la règle de d’Alembert, on vérifie que le rayon de convergence de la série entière vaut .
Soit . On peut écrire avec et l’on a
La fonction est continue, positive et décroissante sur avec
Par le résultat précédent,
Aussi,
et l’on a donc
Donner un équivalent simple quand de
Solution
Commençons par noter que est la somme d’une série entière de rayon de convergence et est donc définie sur . Pour , la fonction est décroissante et donc
En sommant
Or
Posons le changement de variable
Or quand donc
Soit une suite strictement croissante d’entiers naturels telle que . On pose
Donner le rayon de convergence de la série entière et étudier la limite de quand tend vers par valeurs inférieures.
Ici, avec et . Donner un équivalent simple de en .
Solution
Notons le coefficient général de la série entière étudiée: s’il existe tel que et sinon.
La suite est bornée et ne tend pas vers donc .
Soit , il existe un rang tel que, pour tout , . On a alors
Quand ,
et
donc, pour suffisamment proche de ,
Cela permet d’affirmer
Ici, il faut penser à une comparaison série-intégrale…
Pour , la fonction est décroissante. Par la démarche classique, on obtient
Or
avec donc
et l’on ne calculera pas cette dernière intégrale.
Par l’encadrement qui précède, on peut affirmer
sachant
Soit
Calculer le rayon de convergence de la série entière définissant .
Établir que lorsque tend vers .
Solution
Posons . On a
donc .
On remarque pour tout et donc, pour ,
Soit .
Donner le rayon de convergence de
On désire trouver un équivalent de lorsque .
On suppose que est un entier .
Montrer qu’il existe tel que
On calculera .
En déduire l’équivalent recherché.
On suppose quelconque. Donner le coefficient général du développement en série entière de
Montrer qu’il existe un réel tel que .
On étudiera la nature de la série de terme général
En déduire que est équivalente à
quand tend vers .
Solution
.
Pour ,
donc
En raisonnant par récurrence sur , on définit la suite de polynômes de sorte que
On observe de sorte que . On peut alors affirmer
À partir du développement connu de , on obtient
On remarque
La série est absolument convergente. Par le lien suite-série, on obtient que la suite de terme général converge puis que tend vers une constante .
On peut alors conclure en exploitant le résultat suivant: Si avec , et diverge alors
(voir le sujet 985) On obtient alors
Pour réel convenable, on pose
Préciser le domaine de définition de .
Établir que est développable en série entière sur .
Donner un équivalent de lorsque tend vers .
Déterminer la limite de la suite des coefficients du développement en série entière de .
Solution
Pour , posons11 1 Lorsque , on convient . .
La série converge.
On remarque
Pour , on a donc
On en déduit que la série de fonctions converge pour et peut-être aussi en et .
Cependant, les suites et ne tendent pas vers zéro et la série diverge donc grossièrement en . Finalement, la fonction est définie sur .
Pour , on a
Les termes sommés sont positifs, on peut réorganiser selon la valeur et écrire
Le même calcul avec des valeurs absolues assure la sommabilité permettant d’affirmer que la relation précédente est aussi vraie pour .
On en déduit que est développable en série entière sur .
Puisque
on peut avoir l’intuition
Pour cette raison, nous allons étudier
Soit ,
Par glissement d’indice puis regroupement
Posons
On remarque
Étudions la convergence normale sur de afin d’appliquer le théorème de la double limite.
Pour , on pose donnée par
La fonction est dérivable sur avec
Par l’inégalité classique pour , on remarque
et aussi
de sorte que
Par l’inégalité des accroissements finis,
Par majoration uniforme sommable, converge normalement sur . Quitte à isoler un terme, on peut appliquer le théorème de la double limite et affirmer
On conclut
Pour ,
Par cette expression, on vérifie que la suite est croissante et majorée par . Cette suite admet donc une limite finie et est majorée par celle-ci. On a alors
Le résultat qui précède entraîne alors et l’on peut conclure .
[<] Étude asymptotique aux extrémités de l'intervalle de convergence[>] Calcul de développement en série entières
Montrer que la fonction
admet un développement en série entière de rayon de convergence .
Solution
On a
donc pour ,
est développable en série entière sur par produit de fonctions qui le sont.
Pour et , on pose
Montrer que l’application
est correctement définie et que c’est une application linéaire.
Montrer que est injective.
L’application est-elle surjective?
Solution
On vérifie que la série entière définissant est de rayon de convergence (plus précisément sauf si auquel cas ). La fonction est donc définie et de classe sur . Cela assure que l’application est correctement définie.
Soient et . Pour tout ,
Ainsi, . L’application est linéaire.
Soit . Pour tout ,
Par unicité des coefficients d’un développement en série entière, il vient
On en déduit que le polynôme possède une infinité de racines, c’est donc le polynôme nul.
Ainsi, , l’application linéaire est injective.
La fonction est élément de mais n’est pas élément de l’image de . En effet, les coefficients du développement en série entière de tendent vers sans être constant égal à . Il n’est pas possible de déterminer un polynôme tel que les valeurs aient cette propriété.
Soit . On pose
Montrer que est définie sur .
Montrer que est de classe et que pour tout et tout ,
En déduire que est développable en série entière.
Solution
Soit . Pour tout , , il y a donc convergence absolue de la série définissant .
est de classe sur et est terme général d’une série absolument convergente. La fonction est donc de classe sur et
Par la formule de Taylor avec reste intégral,
avec
Ainsi, la série de Taylor de converge sur vers et donc est développable en série entière sur .
Soit une fonction de classe telle qu’il existe et vérifiant
Montrer que la fonction est développable en série entière en .
Soit . Montrer
Soit telle que soit bornée. Montrer que
est développable en série entière en 0.
Solution
On applique l’inégalité de Taylor-Lagrange à la fonction qui est de classe sur .
La convergence de l’intégrale définissant provient de la convergence supposée de .
On a
avec
et
compte tenu des hypothèses.
On peut alors affirmer
avec convergence sur de la série entière considérée.
(Une fonction plate en )
Soit définie par .
Justifier que l’on peut prolonger par continuité en .
On note encore le prolongement obtenu. Cette fonction est évidemment de classe sur chacun des intervalles et .
Observer que pour tout entier naturel , il existe un polynôme réel , tel que
Montrer que est de classe sur avec pour tout .
Établir que n’est pas développable en série entière11 1 La fonction est un exemple de fonction de classe non développable en série entière. en .
Pour , on pose
Montrer que la fonction est définie et de classe sur .
Observer que le rayon de convergence de sa série de Taylor en est nul.
La fonction est-elle développable en série entière sur un voisinage de ?
Solution
Posons
Les fonctions sont de classe et pour tout
Puisque le majorant est le terme général de la série exponentielle en , il est sommable et il y a donc convergence normale de la série de fonctions .
On en déduit que la fonction est définie et de classe sur .
Par l’étude qui précède
Si est impair, s’exprime en fonction de et donc puis .
Si est pair, on peut écrire et alors
puis
La série de Taylor de en 0 est alors
Pour , posons
On a
Le rayon de convergence de la série de Taylor étudiée est donc nul.
Par l’absurde, si est développable en série entière sur (avec ) alors est égale à la somme de sa série de Taylor sur ce qui entraîne que le rayon de convergence de celle-ci est au moins égal à . C’est absurde.
La fonction .
Soit (avec ) de classe vérifiant
Montrer la convergence de la série
pour tout .
Solution
Pour , la série est une série à termes positifs. Par la formule de Taylor reste intégrale,
Puisque le reste intégrale est positif,
Puisque ses sommes partielles sont majorées, la série à termes positifs est convergente.
Pour ,
et la série est absolument convergente donc convergente.
(Fonctions absolument monotones)
Soient et une fonction de classe vérifiant
Soient et un réel vérifiant . Montrer
En déduire que est développable en série entière sur .
Application : Montrer que la fonction tangente est développable en série entière sur .
Établir que la fonction
est développable en série entière en .
Soit une série entière de rayon de convergence et telle que .
On souhaite établir l’existence et l’unicité d’une série entière de rayon de convergence telle que pour tout appartenant aux domaines de convergence des deux séries:
Montrer que si est solution, alors la suite satisfait aux relations suivantes :
Justifier que ces relations déterminent la suite de façon unique.
Soit un réel tel que .
Montrer qu’il existe un réel tel que pour tout : .
Établir que la suite déterminée par vérifie
En déduire que le rayon de convergence de la série entière est strictement positif.
Solution
Soit avec .
Par produit de Cauchy de séries absolument convergentes,
Par unicité des coefficients d’un développement en série entière, l’égalité à entraîne
Sachant , cela correspond aux conditions énoncées.
Ces conditions déterminent entièrement puisque
ce qui permet de calculer successivement les termes de la suite.
La série converge absolument. En particulier, la suite est bornée: cela assure l’existence de tel que voulu. Puisque , on a nécessairement .
On raisonne par récurrence forte sur .
Pour , et donc .
Supposons la propriété établie jusqu’au rang
Au rang ,
On poursuit par l’hypothèse de récurrence forte
Par sommation géométrique de raison ,
et donc
La récurrence est établie
Pour , la suite est bornée donc .
Étant donné une suite complexe de carré sommable, on pose
où la variable est réelle.
Préciser le domaine de définition de .
Montrer que est développable en série entière autour de 0.
Montrer que si est identiquement nulle sur un voisinage de alors la suite est identiquement nulle.
Solution
Pour ,
donc est absolument convergente. La fonction est définie sur .
Pour ,
Puisque la série converge pour tout et puisque
converge, on peut appliquer le théorème de Fubini pour intervertir les deux sommes.
La fonction apparaît alors comme développable en série entière sur .
Si sur un voisinage de alors le développement en série entière de sur est nul et l’on en déduit que est nulle sur l’intégralité de . Or
avec définie et continue au voisinage de 1. On en déduit que .
On peut alors reprendre l’étude de la question précédente et, sachant , on peut affirmer que est développable en série entière sur . Or ce dernier développement étant nul, on obtient comme ci-dessus etc.
Au final, la suite est nulle.
Soit une fonction à valeurs dans définie et continue sur le disque fermé
On suppose que la restriction de au départ du disque ouvert
est la somme d’une série entière . Montrer qu’il existe une suite de polynômes convergeant uniformément vers sur le disque fermé .
[<] Fonctions développables en série entière[>] Calcul de développement par dérivation intégration
Former les développements en série entière en des fonctions rationnelles qui suivent:
.
Former le développement en série entière en 0 de la fonction
Solution
On peut écrire
donc sur ,
avec
Former le développement en série entière de
Solution
La fonction est définie sur et
Pour , on a
avec et donc
puis
Développer en série entière sur un voisinage de la fonction
(Identité binomiale)
Soit . Établir
Soient et . Former le développement en série entière de
Solution
Pour ,
Par dérivation à l’ordre
Ainsi,
On peut aussi obtenir ce développement à partir de celui de .
Former le développement en série entière de
pour et .
Solution
Par décomposition en éléments simples,
Pour ,
puis
Soient avec .
Calculer , le -ième coefficient du développement en série entière en 0 de
Exprimer
Solution
Par décomposition en éléments simples
avec .
On a alors
donc
Réaliser le développement en série entière en de
et reconnaître cette fonction.
Solution
Pour ,
Par théorème d’intégration terme à terme,
(la série des intégrales des valeurs absolues converge). On en déduit
Cette expression peut aussi s’obtenir par un calcul direct via le changement de variable .
Pour quel réel , l’intégrale suivante existe-t-elle
Donner alors sa valeur.
Montrer que
est développable en série entière et exprimer ce développement.
Solution
Si , la fonction est définie et continue par morceaux sur et intégrable car
Si , la fonction n’est pas définie en 0 et
La fonction n’est donc pas intégrable et, puisque elle est positive, son intégrale diverge.
Si , la fonction n’est pas définie en . Par dérivabilité en , on obtient
et encore une fois l’intégrale diverge.
Pour
Pour , posons le changement de variable qui définit une bijection de classe
Par décomposition en éléments simples,
et, finalement,
Pour ,
On en déduit
(pour et pour ).
Pour , on pose
Justifier
En déduire un équivalent de quand .
Solution
On sait
donc
avec
Les fonctions sont continues par morceaux, la série de fonctions converge simplement sur et sa somme est continue par morceaux. Les fonctions sont aussi intégrables sur et
car on sait calculer à l’aide d’une formule de récurrence obtenue par intégration par parties les intégrales de Wallis
Par la formule de Stirling,
Ce terme est sommable et l’on peut donc procéder à une intégration terme à terme donnant la relation proposée.
On a obtenu
On peut écrire
et avec convergence des sommes introduites
Or
et pour conclure il nous suffit d’établir
Soit . Il existe un rang tel que
et alors
Le premier terme de la somme réalisant la majoration est polynomiale donc
et donc, pour suffisamment proche de 1,
Ainsi,
Finalement,
Soit .
Donner le domaine de définition de
Montrer que est développable en série entière sur .
Déterminer la limite et un équivalent de en .
Solution
est définie sur . En effet, pour la somme comporte un terme non défini ce qui empêche de définir . En revanche, pour , la série converge absolument car
Pour ,
Or converge et converge. Par le théorème de Fubini, on peut permuter les sommes infinies et affirmer
La fonction est donc développable en série entière sur .
Par convergence normale sur , on peut intervertir limites et sommes infinies pour justifier,
et
de sorte que
Dans ce sujet, on recherche les fonctions continues vérifiant
Déterminer les fonctions développables en série entière solutions.
Montrer qu’il n’existe pas d’autres solutions.
Solution
Analyse: Soit une série entière de rayon de convergence . Sa somme définie sur est solution du problème posé si, et seulement si, et
Par unicité des coefficients d’un développement en série entière, on parvient à la condition
Cela détermine la suite de façon unique:
Synthèse: La série entière déterminée par la suite précédente est de rayon de convergence , et, à rebours des calculs qui précèdent, est solution sur du problème posé
Soit une fonction solution du problème posé. Par récurrence, on vérifie
Par passage à la limite et continuité de en ,
On parvient à la même relation avec la fonction solution développable en série entière, la fonction lui est donc égale.
Soit .
Montrer, pour tout , la convergence de la suite de terme général
On note la limite de la suite .
Soit continue vérifiant l’équation fonctionnelle
Montrer, pour tout ,
Montrer que la fonction est développable en série entière sur .
Solution
Sachant , on peut affirmer que, pour assez grand,
Considérons alors la suite définie par la portion de produit au-delà du rang
On a
avec
La série de terme général est absolument convergente et donc, par comparaison, la série est aussi absolument convergente. On en déduit la convergence de la suite
puis, en composant avec la fonction exponentielle, la convergence de la suite
Enfin, en tenant compte de la portion initiale du produit définissant , on obtient la convergence de la suite .
Si est solution de alors
Par récurrence, on obtient
Quand , car est continue et donc
Soit une série entière de rayon de convergence .
La somme de cette série entière est solution de si, et seulement si,
Par unicité des coefficients d’un développement en série entière, cela équivaut à
Inversement, considérons alors la série entière avec
de sorte que
Cette série entière est de rayon de convergence car
et l’étude qui précède assure que sa somme est solution de prenant la valeur 1 en 0.
En vertu de la question précédente, on peut affirmer
Pour et , on pose
Montrer que .
En déduire que la suite est bornée.
On pourra penser à introduire .
En étudiant la convergence de la série , établir la convergence de la suite .
On introduit la fonction
Montrer que est continue en .
Montrer que est l’unique fonction continue en 0 vérifiant
Montrer que est développable en série entière.
Solution
Puisque
l’inégalité est immédiate.
Par produit à facteurs strictement positifs, on a et l’on peut donc introduire
Or
et ce terme est donc sommable. On peut alors écrire
puis
On a
Le majorant est sommable, la série télescopique est donc convergente et la suite est de même nature.
Pour , on a
et donc
Ce terme est sommable, la série télescopique converge donc normalement, et donc uniformément, sur le domaine défini par la condition . On en déduit que la suite de fonctions converge uniformément sur ce même domaine. Or chaque fonction est continue en 0 et donc sa limite simple est continue en 0.
La fonction vérifie évidemment les conditions énoncées.
Inversement, si une fonction vérifie les conditions proposées alors
Par récurrence
Par continuité de en 0, un passage à la limite donne .
Par analyse-synthèse, la recherche d’une fonction somme de série entière solution conduit à
et un rayon de convergence infini.
Soit . Montrer qu’il existe une unique fonction continue vérifiant
et justifier que celle-ci est développable en série entière sur .
Pour et on pose
Montrer que la fonction est définie et continue sur .
Former une relation engageant et .
Établir que la fonction est développable en série entière sur et exprimer ce développement.
Solution
Posons . La fonction est définie et continue sur .
Pour , on a
avec
La série de fonctions converge donc normalement sur pour tout .
Par convergence normale sur tout segment, la fonction est définie et continue sur .
Pour ,
Ainsi,
Analyse: Supposons développable en série entière sur avec
L’égalité fournit
par unicité des coefficients d’un développement en série entière, on obtient
Synthèse: Considérons la fonction définie par
Le rayon de convergence de la série entière définissant est et par les calculs qui précèdent
Il reste à montrer pour conclure.
Soit . Pour tout , o
En sommant
Sachant que est continue en 0 avec , on obtient quand
On admet l’existence et unicité de la suite de polynômes vérifiant
On pose pour tout .
Calculer , et .
Avec Python:
Écrire une fonction A(n) qui renvoie le polynôme .
Conjecturer le comportement asymptotique de la suite .
Comparer et pour différentes valeurs de . Conjecture ?
Comparer également et pour différentes valeurs de . Conjecture ?
Tracer sur un même graphe les courbes des fonctions
pour sur l’intervalle . Conjecture ?
Démontrer les conjectures introduites en (ii). Déduire que
Soit de classe . Montrer que, pour tout ,
Montrer que
On pourra montrer que où .
Montrer la conjecture introduite en (iii).
On utilisera la question précédente avec .
Solution
est une primitive de donc . Aussi, donc . Ainsi, .
De la même façon, et .
from scipy.integrate import quad from numpy.polynomial import Polynomial def A(n): if n == 0: return Polynomial([1]) P = A(n-1) Q = P.integ() R = Q.integ() return Q - (R(1) - R(0))
La commande [A(n)(0) for n in range(10)] permet d’accéder aux dix premières valeurs . Celles-ci semblent tendre vers et être nulle à partir pour impair.
La commande [[A(n)(0), A(n)(1)] for n in range(10)] permet de voir conjointement et pour les dix premières valeurs de . Celles-ci semblent égales sauf pour .
Le code
for n in range(10): print(A(n)) print(A(n)(Polynomial([1, -1])))
permet de présumer .
import numpy as np import matplotlib.pyplot as plt l = np.linspace(-3, 3) plt.plot(l, l/(np.exp(l) - 1), linestyle="dotted") S = 0 for n in range(0, 6): S += A(n)(0) * l**n plt.plot(l, S) plt.show()
La série entière semblent être de somme .
Pour , ,
Ainsi, pour tout .
Pour , posons . On vérifie
Par unicité, pour tout . Ainsi,
En évaluant en ,
Par conséquent, pour impair, , on obtient .
Procédons par récurrence sur .
Pour ,
Supposons la propriété vraie au rang .
Par intégration par parties,
avec
car si est pair . On peut alors établir l’égalité au rang .
La récurrence est établie.
Par récurrence sur .
C’est immédiat pour .
Supposons la propriété vraie au rang .
Par hypothèse de récurrence, on a immédiatement pour tout car l’intégrale définissant porte sur une fonction bornée par sur un intervalle de longueur inférieure à .
Si est pair, l’égalité oblige et donc
Ainsi, est bornée par et donc a fortiori aussi par .
Si est impair,
Or
et donc
ce qui entraîne
On en déduit que est bornée par .
La récurrence est établie.
La fonction est de classe avec pour tout . On remarque
en supposant .
On a alors
Sachant et , on obtient en ajoutant deux termes à la somme
soit
On en déduit
L’identité n’est pas vraie pour tout .
l = np.linspace(-10, 10) plt.plot(l, l/(np.exp(l) - 1), linestyle="dotted") S = 0 for n in range(0, 10): S += A(n)(0) * l**n plt.plot(l, S) plt.show()
Former le développement en série entière de la fonction
Solution
La fonction étudiée n’est pas définie en mais on peut la prolonger par continuité car
On étudie donc la fonction définie par
Méthode: On détermine les coefficients d’un développement en série entière de en employant une équation différentielle.
Analyse: Supposons que soit développable en série entière sur un intervalle avec . Il existe une suite réelle telle que
La fonction est alors de classe sur avec
Puisque , on obtient par dérivation
qui se relit
Par produit de Cauchy de séries absolument convergentes,
On réalise un glissement d’indice dans la première somme en l’indice et l’on isole le premier terme de la seconde somme en l’indice ,
On adjoint un terme nul à la première somme en l’indice puis on combine les deux sommes en ,
soit encore
Par unicité des coefficients d’un développement en série entière, il vient
Ces conditions déterminent entièrement la suite de coefficients puisque
En particulier11 1 La suite est la suite des nombres de Bernoulli., , , , etc.
Synthèse: Considérons la série entière avec déterminée ci-dessus. Par récurrence forte, on vérifie pour tout . En effet, cela est vrai pour et, si cette inégalité est vraie pour , elle aussi vraie pour en vertu du calcul ci-dessous:
La suite étant bornée, le rayon de convergence de la série entière est au moins égal à . La fonction somme de la série entière est donc définie au moins sur . À rebours des calculs qui précèdent, on vérifie
et donc
Par conséquent, il existe tel que
En évaluant en , il vient et donc
Sachant , on obtient
La fonction est développable en série entière sur .
(Développement en série entière de la fonction tangente)
Soit la suite réelle déterminée par et la condition
(1) |
Calculer et .
Montrer que la série entière est de rayon de convergence .
Établir que pour tout tel que ,
Application : Déterminer l’expression du développement en série entière de la fonction tangente sur l’intervalle en fonction des termes de la suite .
[<] Calcul de développement en série entières[>] Calcul de développement par équation différentielle
Former le développement en série entière en 0 de la fonction
Solution
En dérivant et en décomposant en éléments simples
donc
avec un rayon de convergence .
On peut aussi trouver ce développement en série entière en factorisant
Former le développement en série entière de la fonction sur .
Préciser le rayon de convergence de la série entière obtenue.
Montrer que
est développable en série entière au voisinage de 0 et donner son rayon de convergence. Calculer cette série entière.
Solution
La fonction est dérivable et
est une fraction rationnelle dont 0 n’est pas pôle. La fonction puis sont développables en série entière et les rayons de convergence des séries entières correspondantes sont égaux.
avec
avec un rayon de convergence .
Comme on a
puis
avec .
Soient et .
Calculer la partie imaginaire du complexe
En déduire le développement en série entière de
Solution
Pour , on peut affirmer et par multiplication par la quantité conjuguée
On en déduit
La fonction est définie et de classe sur et, après calculs
Pour , on a
On en déduit
puis, par intégration de développement en série entière,
avec
car .
Pour , former le développement en série entière en 0 de la fonction
Pour et , établir
Solution
Pour , on a
Par décomposition en éléments simples
On reconnaît une écriture en , c’est donc une partie imaginaire
Par sommation géométrique
et donc
Par intégration de série entière, on obtient alors la relation proposée.
Développer en série entière
Solution
Posons
On vérifie aisément la convergence de cette intégrale et la fonction est définie et dérivable sur avec
Pour ,
avec
En intégrant,
avec
Pour calculer cette intégrale, on écrit
Après calculs
[<] Calcul de développement par dérivation intégration[>] Calcul de sommes de séries entières
Soient et
Déterminer le rayon de convergence de la série entière définissant cette fonction.
Calculer en étudiant .
Solution
On a
donc le rayon de convergence de vaut 1.
Sur est de classe et
Donc
avec
qui donne
Par suite,
Les solutions de l’équation différentielle linéaire d’ordre 1
sur sont
avec .
Sachant , on obtient
On considère la fonction définie par
Justifier l’existence d’une suite de coefficients réels (que l’on ne cherchera pas à calculer pour le moment) telle que
Calculer les coefficients de cette suite en introduisant une équation différentielle linéaire du premier ordre vérifiée par la fonction .
Former le développement en série entière en de la fonction
Solution
admet un développement en série entière en par produit fonctions développables en série entière. De plus, son rayon de convergence vérifie . On peut alors écrire
La fonction est dérivable sur et est solution de l’équation différentielle
Or
Par identification des coefficients d’une série entière,
De plus, et donc
Soient et la fonction définie sur .
Déterminer une équation différentielle linéaire d’ordre dont est solution.
En déduire que est développable en série entière sur et former ce développement.
Développer en série entière au voisinage de 0.
Solution
La fonction est de classe sur un voisinage de 0 avec
et
La fonction est donc solution de l’équation différentielle
avec les conditions initiales et .
Analyse: Soit une série entière de rayon de convergence dont la somme est solution de l’équation différentielle précédente. Pour tout , on a
et
La relation donne
Par unicité des coefficients d’un développement en série entière, on obtient la relation
En adjoignant les conditions initiales et , on parvient à
Synthèse: Considérons la série entière déterminée au terme de l’analyse. Celle-ci se comprend comme la somme de deux séries entières et chacune de rayon de convergence 1 car
Cette série entière est donc de rayon de convergence et, compte tenu des calculs de l’analyse, sa somme est solution de l’équation différentielle
Elle vérifie de plus les conditions initiales et . Puisque la fonction est aussi solution de ce problème de Cauchy et que ce dernier possède une solution unique, on peut identifier et la somme de la série entière.
Former le développement en série entière en de
Solution
Posons
La fonction est indéfiniment dérivable et vérifie l’équation différentielle
avec les conditions initiales et .
Analyse: Soit une série entière de rayon de convergence et de somme .
La fonction vérifie sur l’équation différentielle proposée et les conditions initiales imposées si, et seulement si,
Cela donne
Synthèse: Soit la série entière déterminée par les coefficients précédemment proposés.
Pour et ,
Le rayon de convergence de la série entière étudiée vaut donc . Par les calculs qui précèdent, on peut affirmer que sa somme est solution de l’équation différentielle
vérifiant les conditions initiales et . Par unicité des solutions à un tel problème différentiel, on conclut que est la somme des la série entière introduite sur .
Pour , on pose
Montrer que la fonction est bien définie.
Former une équation différentielle linéaire d’ordre vérifiée par .
En déduire que est développable en série entière sur un intervalle voisinage de .
Solution
Posons définie sur .
Pour chaque , est continue par morceaux sur et
La fonction est donc bien définie sur .
Pour chaque , est dérivable et
La fonction est continue par morceaux en , continue en et pour tout
avec continue par morceaux et intégrable par des arguments analogues aux précédents.
On en déduit que est de classe et
Par intégration par parties, on obtient
Analyse: Soit une série entière de rayon de convergence solution de l’équation différentielle précédente. Pour tout , on a
Par unicité des coefficients d’un développement en série entière, on a
Après résolution de la relation de récurrence,
Synthèse: Soit la série entière déterminée par les coefficients précédents. On a
La suite est bornée et le rayon de convergence de la série entière est donc au moins égal à . Par les calculs qui précédent, on peut affirmer que la somme de la série entière est solution de l’équation différentielle sur . En ajoutant la condition initiale , on peut affirmer que sur par unicité d’une solution à un problème de Cauchy pour une équation différentielle linéaire d’ordre .
Former le développement en série entière en 0 de
en procédant à une intégration terme à terme.
en déterminant une équation différentielle dont la fonction est solution.
Solution
On a
À l’aide d’intégration par parties
Or
qui est terme général d’une série convergente.
On peut donc appliquer le théorème d’intégration terme à terme et affirmer
pour tout .
La fonction est continue et intégrable sur et
avec intégrable sur .
La fonction
est de classe et
À l’aide d’une intégration par parties
et ainsi est solution sur de l’équation différentielle
De plus, vérifie la condition initiale .
Si une somme de série entière est solution de l’équation différentielle et vérifiant , c’est, après calculs, la fonction
de rayon de convergence .
Puisque et sont solutions sur à l’équation différentielle linéaire vérifiant la condition initiale et puisque le théorème de Cauchy assure l’unicité d’une solution à un tel problème, on peut identifier et .
Finalement,
pour tout .
Pour , on pose
Former le développement en série entière de sur par produit de développements en série entière.
Calculer de nouveau ce développement en introduisant cette fois-ci une équation différentielle linéaire d’ordre vérifiée par .
En déduire l’identité
Pour , on pose .
Développer en série entière en employant des fonctions exponentielles.
Retrouver le résultat en remarquant que est solution de l’équation différentielle .
Solution
On a
donc pour tout
On a etc, donc
Finalement,
Retrouvons ce résultat, en exploitant l’équation différentielle
La fonction est développable en série entière sur par produit de telles fonctions. On peut donc écrire
Par l’équation différentielle , on obtient
Puisque , (par imparité) et (par calculs), on obtient
ce qui conduit au développement précédent.
Soient et définie par
Montrer que est continue sur .
Montrer que est dérivable sur et vérifie
Déterminer toutes les fonctions développables en série entière en solutions de en précisant le rayon de convergence.
Solution
est continue sur donc, par intégration sur un segment, est continue.
est continue sur donc, par intégration sur un segment, est de classe avec
On en déduit
Par analyse-synthèse, on obtient une seule fonction solution
de rayon de convergence . Cette fonction correspond à comme on peut s’en convaincre par une intégration terme à terme.
On considère l’équation différentielle
Montrer qu’il existe une unique solution de développable en série entière sur un voisinage de 0.
Trouver l’ensemble des solutions de sur et en déduire une expression plus simple de .
Solution
Soit la somme d’une série entière de rayon de convergence .
La fonction est de classe sur et
Parallèlement, sur
Par unicité des coefficients d’un développement en série entière, est solution de sur si, et seulement si,
Ainsi, la fonction est déterminée de manière unique et, de plus, celle-ci existe puisque le rayon de convergence de la série entière définie par les ci-dessus est .
est une équation différentielle linéaire d’ordre 1 définie sur .
La solution générale homogène est . Par la méthode de la variation de la constante, on peut proposer la solution particulière
et finalement la solution générale
Parmi les solutions, la seule pouvant être prolongée par continuité en (et donc correspondre à ) est celle obtenue pour .
[<] Calcul de développement par équation différentielle[>] Application à la détermination du terme général d'une suite
Soit
Déterminer l’intervalle de convergence de .
Exprimer la fonction à l’aide des fonctions usuelles sur
Calculer et .
Solution
Notons l’intervalle de convergence de cette série entière.
Le rayon de convergence étant on en déduit: .
De plus, donc et existe. Ainsi .
Sur , est de classe et
Donc
Puisque , on conclut
sur .
donc la série de fonctions définissant converge normalement sur et par suite est continue.
et
On pose
Étudier la convergence simple de la série de fonctions .
On note sa fonction somme.
Préciser pour réel convenable.
Étudier la convergence normale et la convergence uniforme que la série de fonctions .
Solution
est une série entière de rayon de convergence . Celle-ci converge en par application du critère spécial et diverge en . La série de fonctions converge simplement sur .
Pour ,
Pour ,
et (ce qui correspond à la valeur du prolongement par continuité).
Puisqu’il s’agit d’une série entière, il y a convergence normale sur tout segment inclus dans . Par le critère spécial, on peut établir la convergence uniforme sur mais il n’y a pas convergence normale sur ce domaine car
(il n’y a pas non plus convergence normale sur ).
Il n’y a pas convergence uniforme (ni a fortiori convergence normale) sur . En effet, si par l’absurde cette convergence normale a lieu, on peut employer le théorème de la double limite en et conclure à la convergence absurde de la série
Calculer le rayon de convergence et déterminer la somme de la série entière
Rayon de convergence et somme de
Solution
Pour , posons
Puisque
on obtient .
Sachant
on obtient par intégration de développement en série entière
puis, pour ,
Pour , la somme vaut 1.
Rayon de convergence et somme de
Solution
Clairement .
Posons
Par décomposition en éléments simples,
Sachant
on obtient par intégration de développement en série entière
On en déduit
pour (et ).
Soit la fonction réelle d’une variable réelle donnée par
Déterminer le domaine de définition de et étudier sa continuité.
Étudier la dérivabilité de .
Calculer pour réel convenable.
Solution
Pour , le terme général de la série est dominé par et, pour , il ne tend pas vers . La fonction est définie sur .
Posons
Les fonctions sont continues sur et la série de fonctions converge normalement sur car
On en déduit que la fonction est continue sur .
est la somme d’une série entière de rayon de convergence et donc dérivable sur avec
Cette série satisfait le critère spécial des séries alternées et l’on peut proposer la majoration uniforme du reste
On peut alors appliquer le théorème de la double limite et affirmer que possède une limite finie en et . Par le théorème de la limite de la dérivée, il vient que est dérivable sur .
Pour , on remarque
Sachant ,
et cette relation est aussi vraie en par continuité.
Déterminer le rayon de convergence et la somme de
Rayon de convergence et somme de
Solution
Posons le coefficient de la série entière. Pour ,
Par la règle de d’Alembert, on obtient .
Posons
On a
On en déduit
Sachant
on obtient par intégration de développement en série entière
On en déduit
donc
Enfin, pour , .
Rayon de convergence et somme de
Solution
Pour , posons .
donc .
La fonction somme est impaire, on se limite alors à .
Or
donc
Il ne reste plus qu’à décomposer en éléments simples pour conduire le calcul
Soient et pour réel convenable.
Montrer que pour .
En déduire le rayon de convergence de la série entière définissant .
Calculer pour .
En déduire une expression de .
Solution
Soit . La somme commence par un terme égal à et se poursuit avec des termes tous positifs, on a donc . Aussi, la somme est formée de termes tous inférieurs à et donc .
La série entière géométrique a pour rayon de convergence . La série entière est donc aussi de rayon de convergence .
Puisque , on a . Puisque , on a aussi .
On en déduit .
Pour ,
Par glissement d’indice,
En posant et en adjoignant un terme nul à la deuxième somme,
On reconnaît le développement en série entière de la fonction et donc
Immédiatement,
Trouver le rayon de convergence de
Calculer la somme dans le bon intervalle.
Solution
Par la règle de d’Alembert, .
Sur ,
Or sur ,
Cette identité pouvant être prolongée en et en 1 par continuité.
Cela permet alors d’expliciter la somme cherchée.
Déterminer le rayon de convergence de la série entière
Exprimer sa somme à l’aide des fonctions usuelles.
Pour , calculer le rayon de convergence et la somme sur son intervalle ouvert de convergence de la série entière
Solution
La suite des coefficients est bornée et ne tend pas vers , la série entière est donc de rayon de convergence . Pour ,
Par sommation géométrique de raison avec ,
Pour , calculer le rayon de convergence et la somme sur son intervalle ouvert de convergence de la série entière
Pour , calculer
On pourra introduire pour .
Solution
Les séries entières définissant et sont de rayons de convergence .
Pour ,
On a aussi
et
En sommant ces trois relations, on obtient
Pour réel, calculer
On pourra simplifier .
Solution
On vérifie que la série entière définissant est de rayon de convergence . Pour tout ,
La fonction est donc solution de l’équation différentielle linéaire à coefficient constant
La fonction est solution particulière et la solution générale s’exprime
Les conditions initiales et déterminent les valeurs de et :
On conclut
Soient et deux séries entières de rayons de convergence et .
Que dire du rayon de convergence et la somme de avec ?
Déterminer le rayon de convergence et la somme de
Solution
Par produit de Cauchy de séries absolument convergentes, pour , est absolument convergente et
Ainsi le rayon de convergence de vérifie .
En revanche, on ne peut facilement rien dire de plus de façon générale. Par exemple et se développent en série entière de rayons de convergence et 1 et leur produit de Cauchy est de rayon de convergence …
Puisque , on obtient facilement .
Si l’on pose pour et pour alors
Par suite, pour ,
Soit la somme de la série entière
Donner le rayon de convergence de cette série entière.
On pose . Exprimer en fonction de pour .
Simplifier pour et .
Calculer sur .
Solution
La suite est périodique non constante égale à : les coefficients de la série entière sont bornées et ne tendent pas vers , le rayon de convergence de la série entière vaut .
Sachant
on obtient
Pour et ,
Par sommations géométriques,
Soit . Lorsque tend vers , on conclut
Pour , on pose
Trouver la limite de la suite .
Pour , calculer .
En déduire la nature de la série .
On pose la somme de la série entière
Calculer le rayon de convergence de la série entière définissant puis exprimer pour tout .
Solution
Posons pour et . Pour tout ,
Aussi,
La fonction est intégrable sur . Par convergence dominée, on obtient
On a
Par l’absurde, si la série converge alors converge aussi et, par combinaison linéaire, la série converge. Cela est absurde car
et donc, par équivalence de séries à termes positifs, la série diverge.
Puisque est de limite nulle, . Puisque la série diverge pour , on a . On en déduit .
L’identité
donne, pour ,
Or, avec convergence des séries écrites et pour ,
donc
Par continuité des deux membres, l’égalité vaut aussi pour .
On peut aussi procéder à une permutation somme intégrale pour parvenir à
ce qui conduit au même résultat en procédant ensuite au changement de variable et quelques calculs un peu longs.
Soit la suite définie par
Rayon de convergence de .
Somme de .
Solution
On a
donc .
donc .
Finalement, .
Soit .
or par convergence uniforme de la suite de fonctions de la variable sur (convergence uniforme obtenue par convergence normale grâce à ) on peut permuter somme et intégrale.
Soit . Déterminer le rayon de convergence de la série entière et exprimer sa somme en fonction du polynôme caractéristique de .
Déterminer le rayon de convergence de
Pour calculer la somme précédente.
Solution
Posons .
.
On sait
donc
Par convergence uniforme,
Ainsi,
Cas: .
Cas: .
avec
Soit la somme de la série entière avec pour .
Vérifier
Donner le rayon de convergence de la série entière .
Déterminer une équation différentielle linéaire d’ordre dont est solution et en déduire une expression de .
Solution
Pour ,
On simplifie
On observe et
On en déduit .
La fonction est définie et dérivable sur avec
La fonction est donc solution sur de l’équation différentielle
Après résolution, on exprime la solution générale
Sachant , on obtient
Soit la série entière déterminée par
Prouver que le rayon de convergence de la série entière vaut .
On note la somme de la série entière .
Établir que est solution sur de l’équation différentielle
En déduire une expression de sur .
Solution
Par récurrence double, on vérifie pour tout .
Par récurrence double, on vérifie aussi pour tout .
En effet,
Puisque les séries entières et sont de rayons de convergence égaux à , par encadrement, est de rayon de convergence égal à .
La fonction est dérivable (et même de classe ) sur avec
On a donc
Parallèlement,
Or
donc
La fonction est solution de l’équation différentielle proposée.
Pour résoudre l’équation différentielle, on calcule une primitive de
On obtient la solution générale
Sachant , on conclut
Calculer
pour .
Calculer le rayon de convergence de la série entière .
Calculer la somme de cette série entière sur l’intervalle ouvert de convergence.
Solution
Par intégration par parties successives,
Puisque
on a .
Pour , par convergence normale,
Cas: .
Cas: .
avec
Cas: . .
Pour , on pose
Déterminer le rayon de convergence de la série entière .
Exprimer sa somme sur à l’aide des fonctions usuelles.
[<] Calcul de sommes de séries entières[>] Application à la régulatité d'un prolongement continu
En introduisant la série entière , déterminer le terme général de la suite récurrente définie par
Former le développement en série entière en 0 de
Soit vérifiant
Exprimer le terme général de la suite en fonction de ses premiers termes.
Solution
Pour ,
Par produit de Cauchy de séries absolument convergentes,
avec
Analyse: Introduisons la série entière de somme et de rayon de convergence .
Pour tout ,
En sommant, on obtient pour ,
On en déduit
Synthèse: Considérons la fonction
est une fonction rationnelle donc 0 n’est pas pôle, elle est développable en série entière sur .
Puisque cette fonction vérifie la relation
les coefficients de son développement en séries entières vérifient
Par identification des coefficients de séries entières de sommes égales sur , on obtient
Ceci détermine alors entièrement la suite moyennant la connaissance des coefficients .
Pour exprimer , il ne reste plus qu’à former le développement en série entière de .
On en déduit que pour ,
avec si est impair et 0 sinon.
Former le développement en série entière sur de
En déduire une expression de
Soit une suite réelle vérifiant
Déterminer et pour lesquels pour tout .
En déduire que le rayon de convergence de la série entière est strictement positif.
En calculant la somme de la série entière pour convenable, exprimer en fonction de .
Solution
Pour et , on établit par récurrence triple car
La série entière a pour rayon de convergence . Par comparaison des coefficients, le rayon de convergence de est au moins égal à .
Pour avec , on note la somme de la série .
Pour , on remarque
En sommant, il vient
ce qui donne
et donc
Par décomposition en éléments simples,
avec
En évaluant en ,
En considérant la limite de quand tend vers l’infini,
Enfin, par développement en série entière,
Par unicité des coefficients d’un développement en série entière, il vient
En particulier, la suite est périodique de période : le calcul des premiers termes de la suite aurait suffit pour constater le phénomène.
On consdère la suite déterminée par
Calculer les en utilisant la série entière de terme général .
Solution
Posons .
Notons la somme de la série entière et posons son rayon de convergence. Par récurrence, on vérifie et donc .
Sur , la relation précédente donne par produit de Cauchy
et sur un voisinage de
Sachant que , on obtient
On en tire tire
On pose et pour tout ,
En admettant que le rayon de convergence de la série entière est strictement positif, calculer
Calculer les et préciser la valeur de .
Donner un équivalent de la suite .
Solution
Si la série entière est de rayon de convergence , alors pour tout on a
Par produit de Cauchy de séries absolument convergentes, on obtient
Pour , on obtient, après résolution
Posons tel que
On a
La fonction est continue sur et ne prend que les valeurs ou 1. On en déduit que cette fonction est constante et puisque converge quand , on peut affirmer que est constante égale à car négative au voisinage de 0.
Finalement,
Après développement en série entière de , on obtient
avec
et . Puisque la fonction
vérifie l’équation , la reprise des calculs précédents (sachant ) assure que les coefficients vérifient
On en déduit pour tout car les conditions qui précèdent déterminent une suite de façon unique.
Par la formule de Stirling,
Soient et la suite déterminée par
Déterminer une fonction de classe telle que
(Nombres de Bell)
Soit la suite déterminée11 1 est le nombre de partitions possibles dans un ensemble fini à éléments (voir le sujet 4443.) par
Montrer que la série entière est de rayon de convergence .
Vérifier
En déduire
On note le nombre de permutations de qui ont exactement points fixes. On pose en particulier , puis
Relier et .
Justifier que est au moins définie sur et calculer sur cet intervalle.
Calculer .
Étudier la limite de la suite .
Solution
Notons que correspond au nombre de permutations de ne possédant aucun point fixe (on parle de dérangement).
Pour former une permutation de possédant exactement points fixes, on détermine ceux-ci ( possibilités) puis on considère un dérangement sur les autres éléments ( possibilités):
La fonction est la somme d’une série entière. Notons son rayon de convergence.
On remarque donc
Cela implique : la série entière définissant converge au moins sur .
En dénombrant les permutations selon le nombre de leurs points fixes, on a
On en déduit la relation
Par produit de Cauchy, on obtient alors
puis
Par produit de Cauchy,
Par unicité des coefficients d’un développement en série entière,
puis
Finalement,
Une involution sur un ensemble est une application vérifiant . Pour , on note le nombre d’involutions de . On convient: .
Montrer pour tout .
Établir la convergence pour tout de la série entière
On note sa somme.
Pour , vérifier .
En déduire une expression de puis les relations
[<] Application à la détermination du terme général d'une suite[>] Application au calcul de sommes
Justifier que la fonction sinus cardinal (notée ) définie pour par
est de classe et calculer les valeurs de ses dérivées successives en .
Montrer que la fonction se prolonge en une fonction de classe sur .
Montrer qu’il en est de même de la fonction
Solution
Pour tout ,
donc
pour . Or
est définie et de classe sur , cela permet de conclure.
Un raisonnement semblable, permet d’établir que se prolonge en 0 en une fonction de classe ne s’annulant pas. Par opération, le prolongement continue de est de classe .
Pour on pose
Montrer que peut être prolongée par continuité en 0.
Montrer que ce prolongement est développable en série entière sur .
Solution
Pour , on peut écrire
Posons alors
La fonction est continue sur et se prolonge par continuité en 0 en posant .
On a alors pour tout
avec une primitive de sur .
On en déduit
et l’on peut donc prolonger par continuité en en posant .
Pour et aussi pour on a
On peut alors poser
primitive de et l’on obtient
pour tout .
Pour , on pose
Justifier l’existence de pour chaque
Établir que pour tout ,
En déduire la limite de en
Étudier de même la limite de en .
Justifier que la fonction est de classe sur et sur et exprimer
Établir que le prolongement par continuité de en 1 est de classe puis de classe sur
Solution
Pour chaque valeur de considérée, la fonction intégrée est définie et continue sur le segment d’extrémités et .
Pour et pour tout , et donne par intégration en bon ordre
Puisque
on obtient
Pour , on a cette fois-ci et .
En adaptant ce qui précède, on obtient cette fois-ci ) d’où l’on conclut
On introduit primitive de sur ou .
On peut alors écrire d’où l’on tire que est de classe sur et sur avec
La dérivée de converge en 1 donc par le théorème du prolongement , on peut affirmer que le prolongement par continuité de en 1, encore noté , est de classe sur .
La dérivée de est évidement de classe sur et sur .
Au voisinage de 1, la dérivée de est l’inverse de .
En posant , on a
pour .
Ainsi est au voisinage de 1 une fonction de classe ne s’annulant pas et donc est une fonction de classe au voisinage de 1.
[<] Application à la régulatité d'un prolongement continu[>] Intégration terme à terme et séries entières
Calculer
Solution
Avec convergence,
On reconnaît des sommes exponentielles et l’on conclut
Soit . Montrer
Application : Calculer les sommes
Solution
Pour tout , on sait
donc aussi
Soit une primitive de la fonction continue sur .
Par intégration de série entière
Or est continue sur et la série de fonctions converge uniformément sur (par application du critère spécial). Par passage à la limite en ,
Par suite,
On en déduit
et
Calculer
Solution
Introduisons la série entière de somme
On vérifie aisément que son rayon de convergence est égale à 1 et que sa somme est définie et continue sur par convergence normale.
Sur
Pour
On en déduit que sur
puis
Par intégration par parties
et ainsi
Quand
donc
On en déduit
Développer en série entière sur la fonction .
Vérifier que le développement de la fonction est en fait valable sur .
Application : En calculant de deux façons
déterminer la valeur de la somme
On note la constante d’Euler.
Établir l’égalité
En déduire que
Solution
Par télescopage
Or
donc
Puisque
on obtient
or
donc on peut appliquer le théorème d’échange de Fubini et affirmer
et enfin
Pour , on pose
Prouver l’existence de
Calculer cette somme. On pourra employer une série entière.
Solution
On sait et l’on en déduit que tend vers 1. Par application de la règle de D’Alembert, on acquiert que la série étudiée converge absolument.
On introduit la série entière
Celle-ci est de rayon de convergence égal à et par produit de Cauchy de séries absolument convergentes,
pour tout . Par intégration de série entière,
Pour , on conclut
On pose
Calculer pour tout .
Montrer que pour tout , la série converge et exprimer sa somme à l’aide d’une intégrale.
Calculer cette intégrale pour .
Solution
Comme la suite est bornée, on peut écrire . Or la série converge absolument pour et donc, par comparaison, la série est absolument convergente.
Puisque , on peut écrire
Par sommation géométrique (possible puisque ),
La convergence de la série étudiée n’est pas immédiate. Exprimons ses sommes partielles
Par le calcul au dessus, on peut écrire
Puisque , on peut écrire
ce qui donne par un calcul analogue au précédent
Par conséquent,
On en déduit que la série converge et
On décompose l’intégrale étudiée en deux intégrales directement calculables
et l’on obtient
On simplifie en exploitant
et
On obtient au final
Déterminer le rayon de convergence de la série entière
Pour , on pose
Montrer que est solution sur de l’équation différentielle
Résoudre l’équation sur .
Déterminer sur .
Application : Donner la valeur de
Solution
Pour ,
On en déduit .
La fonction est définie et de classe sur avec
On vérifie alors
Dans cette expression, le coefficient de est
Pour , le coefficient de est
Il ne reste donc que le coefficient constant (valant ) et alors
Il s’agit d’une équation différentielle linéaire d’ordre . Puisque
la solution homogène est
L’application de la méthode de la variation de la constante conduit à déterminer
On pose le changement de variable pour lequel puis
On conclut à la solution générale
Pour que la solution soit développable en série entière en , il faut que
car dans le cas contraire
On en déduit puis
En effet, la fonction est solution sur de l’équation différentielle et correspond nécessairement à l’expression en second membre sur cet intervalle.
Directement,
[<] Application au calcul de sommes[>] Applications variées des séries entières
Montrer
Solution
On a
avec une convergence uniforme sur par majoration du reste d’une série vérifiant le critère spécial.
On a alors
On peut montrer que cette vaut si l’on sait
Montrer
En déduire la valeur de cette somme.
Solution
On a
avec convergence uniforme sur par majoration du reste d’une série vérifiant le critère spécial. On peut donc intégrer terme à terme
Par intégration par parties,
Établir l’identité
On définit deux fonctions en posant
Montrer que est de classe sur .
Montrer que est intégrable sur et calculer
Solution
La fonction est définie et de classe sur car c’est la somme d’une série entière de rayon de convergence . Par produit, la fonction est de classe .
Pour ,
avec
Les fonctions sont continues par morceaux et intégrables sur . Puisque
on obtient
et la série est donc convergente.
Puisque converge simplement sur vers continue par morceaux, on peut par théorème affirmer que est intégrable sur et
Soit . Montrer la convergence de l’intégrale suivante
Soit . Justifier
En déduire la convergence et la valeur de
Solution
La fonction intégrée est définie et continue par morceaux sur . On sait le développement limité
On en déduit
L’intégrale étudiée est faussement généralisée en : elle converge.
Par développement en série entière,
et donc
Après prolongement par continuité en , la fonction intégrée se confond avec la somme d’une série entière de rayon de convergence (et en fait ). Celle-ci converge normalement sur le segment ce qui permet d’intégrer terme à terme
La série entière a pour rayon de convergence et est définie en . Or une série entière est continue là où elle est définie. On en déduit
puis
avec convergence de l’intégrale étudiée.
Dans cet exercice, on souhaite calculer la valeur de l’intégrale convergente
Pour , on pose
Montrer que est développable en série entière sur et exprimer ce développement.
Établir que pour tout
En déduire la valeur de .
Solution
La fonction est dérivable avec
Par intégration de développement en série entière, on a pour tout
Pour ,
On peut intégrer terme à terme car la série de fonctions converge normalement sur puisque
On a donc
avec, pour ,
et, pour ,
En passant à la partie réelle,
Par ce qui précède, on obtient que pour tout
Or
et
par application du théorème de convergence dominée11 1 Il suffit de dominer par la fonction constante égale à intégrable sur .. On en déduit
Pour et , on pose
Étudier la convergence simple de la série et donner sa somme.
Étudier la convergence normale de sur .
Étudier la convergence uniforme de sur .
Donner la nature et l’éventuelle somme de la série avec
Solution
Par les séries entières, on sait
avec divergence de la série pour les autres valeurs réelles de .
On en déduit que la série converge si, et seulement si, , c’est-à-dire si, et seulement si, . De plus, on a alors
On remarque la série ne converge pas absolument: la série de fonctions ne peut pas converger normalement sur .
Pour , on peut appliquer le critère spécial à la série . Par celui-ci,
La série de fonctions converge uniformément sur .
Par convergence uniforme d’une série de fonctions continues sur ,
On en déduit que la série converge avec
Par intégration par parties,
Finalement,
Observer que pour tout ,
Solution
On a
avec convergence normale sur donc
avec convergence normale sur .
Par suite,
avec
puis
Or
avec
d’où
On pose
Montrer que l’intégrale définissant existe.
Rappeler le développement en série entière de en précisant le rayon de convergence.
Soit . Montrer que est intégrable sur et calculer son intégrale.
Calculer .
On donne
Solution
La fonction est définie et continue par morceaux sur et prolongeable par continuité en et en car
L’intégrale définissant est donc convergente.
Avec un rayon de convergence égal à ,
Pour , la fonction est continue par morceaux et intégrable sur car prolongeable par continuité en .
Par intégration par parties généralisée légitime,
On a
Les fonctions sommées sont positives et intégrables sur . Par théorème d’intégration terme à terme
Par décomposition en éléments simples,
et l’on a donc
On note . Pour , on définit donnée par
Déterminer .
On pose définie sur .
Montrer que est intégrable sur .
On pourra rappeler la valeur de .
Montrer que
Solution
Pour , la fonction n’est pas bornée.
Pour , la fonction est continue sur et dérivable sur . L’étude des variations montre que est maximale pour . On obtient
D’une part,
et donc est intégrable en .
D’autre part, on sait
et l’on peut écrire
La fonction est prolongeable par continuité en et donc intégrable en .
Par développement en série entière, on remarque
L’intégration terme à terme par convergence normale n’est pas possible en vertu du calcul de la première question. Mettons en place un théorème d’intégration terme à terme dans le contexte des fonctions positives.
Les fonctions sont positives et intégrables sur . La série de fonctions converge simplement sur en vertu des calculs précédents. Dans , on peut écrire
(et l’égalité est en fait dans puis que est intégrable sur ).
Par intégration par parties généralisée, on obtient
On en déduit la formule proposée.
Existence et valeur de
On donne
Solution
La fonction intégrée est définie, continue par morceaux et intégrable sur car
Par développement en série entière de ,
Par intégration par parties généralisée,
Par intégration terme à terme,
Par décomposition en éléments simples,
Avec convergence des sommes, on écrit
Étudier la limite de la suite de terme général
Solution
Par développement en série entière
Pour , il y a convergence de la série des intégrales des valeurs absolues donc on peut donc intégrer terme à terme
On a alors
avec
donc
avec
car on sait
Soit une série entière de rayon de convergence et de somme .
Établir que pour tout et tout
En déduire que pour tout
Application : On suppose et bornée. Montrer que est constante.
Solution
Soient et . On a
Posons définie par
Les fonctions sont continues et
Puisque la série entière converge absolument en , on peut affirmer la convergence normale, et donc la convergence uniforme, de la série de fonctions . Il est alors possible de procéder à une intégration terme à terme
Cependant, un calcul de primitive donne
En simplifiant les termes nuls de la somme, il vient
On en déduit la formule proposée.
Par l’égalité qui précède,
On introduit . Puisque , on a pour tout
On en déduit pour tout . L’application est donc constante.
On considère une série entière complexe de rayon de convergence .
On note sa somme définie pour par
Rappeler la définition du rayon de convergence d’une série entière et montrer que converge normalement sur le disque si .
Soit un réel tel que , montrer que la fonction
est développable en série entière et exprimer la somme de cette série entière en fonction de et de .
Déterminer les fonctions , développables en série entière sur , et qui ne prennent que des valeurs réelles sur un ensemble de la forme pour .
Solution
est la borne supérieure dans de l’ensemble
Soit . On peut introduire tel que et soit une suite bornée. Pour tout , on a
Ce majorant uniforme étant sommable (car ), on obtient la convergence normale voulue.
Pour , on peut décomposer en série géométrique
Sachant la fonction bornée sur le compact , il y a convergence de la série
ce qui permet une intégration terme à terme
On obtient ainsi un développement en série entière sur .
Pour l’expliciter, on calcule le terme intégral en procédant à une intégration terme à terme justifiée par l’absolue convergence de
avec
Pour , les deux intégrales sont nulles.
Pour ,
Pour ,
On peut alors conclure
Si est une telle fonction, l’intégrale au-dessus est nulle et donc
On en déduit et pour . La fonction est alors constante réelle.
[<] Intégration terme à terme et séries entières
(Formule de Chu-Vandermonde)
Pour , on pose
Établir
Solution
Pour , on a le développement en série entière
On peut écrire
Par produit de Cauchy de développements en série entière
Par unicité des coefficients d’un développement en série entière, on obtient en étudiant le coefficient d’indice
Former le développement en série entière de au voisinage de .
Application : En déduire
Solution
On connaît le développement de pour . On emploie celui-ci avec et pour dans . On a
On regroupe les signes et les divisions par de chacun des facteurs du numérateur
Enfin, on exprime le produit des nombres impairs à l’aide d’un quotient de nombres factoriels
Ainsi, on obtient par substitution
On peut encore écrire
Par produit de développement en série entière, on obtient sur
Or, on a aussi par sommation géométrique
Par unicité des coefficients d’un développement en série entière,
ce qui conduit à la formule attendue.
Former le développement en série entière de .
En déduire celui de .
Application : À l’aide d’un produit de Cauchy, établir
Solution
À l’aide de développement connu de pour et ,
Par dérivation d’un développement en série entière,
Par produit de Cauchy,
Par unicité des coefficients d’un développement en série entière, pour tout ,
Soit le développement en série entière de .
Pour , on pose
Montrer que est un polynôme dont la plus petite puissance de est de degré .
Soit nilpotente. Justifier l’existence d’une matrice telle que
Solution
On a
C’est donc une série entière dont le premier terme non nul est au moins un . Aussi, est un polynôme.
Pour tel que , donc convient.
On étudie les fonctions vérifiant
Déterminer les fonctions développables en série entière solutions.
Démontrer qu’il n’y a pas d’autres solutions parmi les fonctions continues.
Solution
Soit une série entière de rayon de convergence et de fonction somme définie sur . Pour ,
Par unicité des coefficients d’un développement en série entière,
Au coefficient constant près, cela détermine complètement la série entière. Au surplus, celle-ci est de convergence et l’on peut conclure que les fonctions développables en série entière solutions du problème posé sont les fonctions données par
Soit une fonction continue solution. Pour ,
Par récurrence, on vérifie
En passant à la limite quand tend vers , on conclut par continuité de en
La fonction est donc déterminée de façon unique à la valeur de près, elle correspond donc à l’une des séries entières précédemment obtenues.
Soient et deux entiers naturels non nuls.
Déterminer la décomposition en éléments simples de
Déterminer deux polynômes et tels que
Solution
En posant ,
Pour ,
Après simplifications
On en déduit que la partie polaire relative au pôle 1 est
avec
De même, en posant , la partie polaire relative au pôle est
avec
Enfin, puisque de partie entière nulle, la fraction rationnelle étudiée est la somme des deux parties polaires proposées.
En réduisant chaque partie polaire au même dénominateur, on obtient
Par conséquent, on posant
la poursuite de la réduction au même dénominateur du calcul précédent donne
Soit une suite réelle bornée.
Déterminer le rayon de convergence de la série entière
On pose alors, pour dans ,
Montrer que si alors
Solution
On a
Or la série entière exponentielle est de rayon de convergence donc .
On a
La série de fonctions converge simplement sur .
Les fonctions et la fonction sont continues par morceaux sur .
Les fonctions sont intégrables sur car .
Enfin,
Par intégration par parties généralisées successives,
et donc
Si alors la série est convergente.
Par le théorème d’intégration terme à terme, on peut affirmer que la fonction est intégrable et
Soit une série entière de rayon de convergence .
Déterminer le rayon de convergence de la série entière
On pose donc, pour dans ,
Montrer qu’il existe tel que pour tout , soit intégrable sur et exprimer cette intégrale sous forme de série entière en .
Solution
Soit . La série numérique est absolument convergente. Pour tout ,
car par croissance comparée
Par comparaison de séries absolument convergentes, on peut affirmer que la série numérique est absolument convergente pour tout .
Le rayon de convergence de la série entière étudiée est .
On a
La série de fonctions converge simplement sur .
Les fonctions et la fonction sont continues par morceaux sur .
Les fonctions sont intégrables sur car et
Par intégration par parties généralisées successives
et donc
Si alors la série est convergente et, par le théorème d’intégration terme à terme, on peut affirmer que la fonction est intégrable et
On note l’ensemble des polynômes à coefficients dans et, pour tout :
Montrer que est fini pour tout . On note son cardinal.
Calculer , et .
Montrer
Montrer
Écrire un programme Python qui renvoie la liste des 100 premiers termes de la suite .
Quelle conjecture peut-on faire sur le rayon de convergence de ? La démontrer!
Solution
Cas: . Un polynôme de est à coefficients positifs et prend la valeur en , c’est n’est nécessairement le polynôme nul.
Cas: . Soit . Celui-ci n’est pas nul, notons son dégré et écrivons
La condition entraîne
On en déduit que le degré de est majoré par . De plus, en étant large, on peut affirmer que les coefficients de sont au plus compris entre et . Il n’y a donc qu’un nombre fini de polynômes solutions.
, et donc et .
Soit . L’application transforme un polynôme de en un polynôme de . Inversement, un polynôme de a nécessairement un coefficient constant impair ce qui permet d’introduire qui est élément de . On en déduit .
Soit . L’application transforme un polynôme de en un polynôme de dont le coefficient constant est nul et inversement, tout polynôme de de coefficient constant nul est de cette forme. De plus, comme au-dessus, on peut mettre en correspondance les polynômes de de coefficient constant non nul avec les polynômes de . On en déduit .
Pour , ce qui précède donne
En sommant cette relation, on obtient par télescopage la relation demandée.
def liste(n): if n == 0: L = [1] elif n % 2 == 1: L = liste(n-1) last = L[-1] L.append(last) else: L = liste(n-1) S = 0 for k in range(n//2 + 1): S = S + L[k] L.append(S) return L
On peut conjecturer un rayon de convergence égal à 1.
La suite étant croissante, elle n’est pas de limite nulle et donc
Soit . Montrons pour bien choisi.
On raisonne par récurrence forte sur après une initialisation sur les rangs à avec qui sera précisé par la suite.
La propriété est vraie aux rangs en choisissant suffisamment grand:
Supposons la propriété vraie jusqu’au rang .
Cas: impair. La propriété est immédiate car et .
Cas: pair. On écrit . L’hypothèse de récurrence donne
sous réserve que ce qu’il est possible d’obtenir pour assez grand ce qui determine la valeur de : on choisit celle-ci de sorte que
La récurrence est établie.
Cette comparaison assure que le rayon de convergence est supérieur à et, puisque cela vaut pour tout , on conclut .
On pose
Montrer que
Solution
Les rayons de convergences des séries entières définissants et sont infinis et l’on reconnaît
de sorte que l’on a déjà
Par opérations sur les séries entières, on sait qu’il existe une suite telle que
et l’on peut donc écrire
Par unicité des coefficients d’un développable en série entière
donc
Déterminer un équivalent de
Solution
Posons définie par
prolongée par continuité en .
Notons que cette fonction est positive et croissante.
Introduisons dont les valeurs seront déterminées ultérieurement. On peut écrire
avec
Par monotonie de ,
Pour avec , on a
car
On en déduit
Par la croissance de
Pour avec , on a
de sorte que
Enfin, toujours par la croissance de ,
et puisque
on parvient à
et, finalement,
Remarquons que par le changement de variable ,
En développant par la formule du binôme,
On ne peut pas linéariser car les intégrales divergent en . On exploite
pour introduire un faisant converger les intégrales et permettant de linéariser
On peut alors montrer par découpage d’intégrale et un changement de variable affine que
Ce qui précède permet alors d’établir
Édité le 09-06-2025
Bootstrap 3
-
LaTeXML
-
Powered by MathJax