[>] Étude pratique de la convergence d'une suite de fonctions
Établir que la limite simple d’une suite de fonctions de vers convexes est convexe.
Solution
Supposons que la suite converge simplement vers sur avec chaque convexe. Pour tous et ,
À la limite quand , on obtient
Cela fournit la convexité de .
Soit une suite de fonctions de vers convergeant uniformément vers une fonction continue.
Montrer que, si désigne une suite d’éléments de convergeant vers , alors
Soient et deux suites de fonctions convergeant uniformément vers des fonctions et supposées bornées.
Montrer que la suite de fonctions converge uniformément vers .
Solution
Pour assez grand, on peut introduire et . On peut ensuite écrire
Or et donc la suite est bornée car convergente. Par opérations sur les limites, on obtient alors
car
Soient une suite de fonctions convergeant uniformément vers une fonction et une fonction uniformément continue.
Montrer que la suite de fonctions converge uniformément.
Solution
Par uniforme continuité, on sait
Soient et tel qu’au-dessus. Pour assez grand,
et donc
Ainsi, il y a convergence uniforme de la suite de fonctions vers .
Montrer que la limite uniforme d’une suite de fonctions uniformément continues définies sur un intervalle de est elle-même une fonction uniformément continue.
Soit une suite de fonctions réelles continues et définies sur . On suppose que converge uniformément vers une fonction .
Montrer
Solution
Posons
Puisque la fonction est continue sur le segment , cet infimum est une valeur prise par et donc il existe tel que
Montrons que avec
La fonction est continue car limite uniforme d’une suite de fonctions continues et donc il existe pour lequel
Pour tout , on a pour assez grand,
et donc
et
Ainsi,
On peut alors affirmer .
Soit une suite de fonctions polynomiales convergeant uniformément vers une fonction sur .
Justifier qu’il existe un entier naturel tel que, pour tout et tout réel ,
Que peut-on alors des fonctions polynomiales lorsque ?
Conclure que est une fonction polynomiale.
[<] Propriétés de la limite d'une suite de fonctions[>] Étude théorique de la convergence d'une suite de fonctions
Étude de la convergence simple de la suite de fonctions avec
Solution
Pour , on remarque
On en déduit
La suite de fonctions converge simplement sur vers la fonction définie par
Pour , on pose
Étudier la convergence uniforme de la suite de fonctions sur .
Solution
L’éventuelle limite uniforme de est sa limite simple. Commençons par déterminer celle-ci?
Soit ,
Cas: .
Cas: .
La suite de fonctions converge simplement vers la fonction identiquement nulle sur .
Les fonctions sont continues sur pour et dérivables sur avec
Le signe de est celui de .
Sur ce tableau des variations de , on lit
La suite de fonctions converge donc uniformément sur vers la fonction identiquement nulle.
Étudier la convergence simple et uniforme sur de la suite de fonctions définie par
Solution
Pour ,
La suite de fonctions converge simplement vers la fonction identiquement nulle sur .
Pour tout , est dérivable sur et
Introduisons .
On a donc
Il y a donc convergence uniforme de la suite de fonctions vers la fonction identiquement nulle sur .
Étudier la convergence simple et uniforme sur de la suite de fonctions donnée par
Solution
Cas: . On a et donc tend vers .
Cas: . On a et donc est une suite constante égale à .
Ainsi, converge simplement vers la fonction identiquement nulle sur .
Par périodicité et parité, on ne poursuit l’étude qu’avec . La fonction est dérivable avec
On peut dresser le tableau de variation de sur et l’on obtient
La suite de fonction converge donc uniformément vers la fonction identiquement nulle.
Les premières fonctions de la suite .
On pose
Étudier la convergence simple puis uniforme de la suite de fonctions .
Solution
Pour ,
On a
Or, pour , la fonction est concave ce qui permet d’affirmer
On a donc
On en déduit qu’il y a convergence uniforme sur .
On considère la suite de fonctions avec
Étudier la convergence simple de cette suite de fonctions.
Y a-t-il convergence uniforme sur ?
Justifier que la suite de fonctions converge uniformément sur tout segment avec arbitraire.
Y a-t-il convergence uniforme sur ?
On considère la suite de fonctions avec
Étudier sa convergence simple sur .
Montrer qu’il y a convergence uniforme sur tout intervalle avec arbitraire.
Y a-t-il convergence uniforme sur ?
On pose
Étudier la convergence simple de la suite de fonctions sur .
Étudier la convergence uniforme sur avec .
Étudier la convergence uniforme sur .
Solution
Soit .
Cas: . On a .
Cas: . On a car .
La suite de fonctions converge donc simplement vers la fonction nulle sur .
Soit . On a
Il y a donc convergence uniforme sur .
Puisque
il n’y a pas convergence uniforme sur .
On pose
Étudier la convergence uniforme de sur puis sur avec .
Solution
Pour , la fonction est dérivable avec . Le tableau de variation de donne
Il y a donc convergence uniforme sur et a fortiori sur tout avec .
On pose
Étudier la convergence uniforme de sur puis sur avec .
Solution
On observe
La fonction limite n’étant pas continue, il n’y a pas convergence uniforme sur .
En revanche, si alors
Par majoration uniforme, il y a convergence uniforme sur avec .
On pose
Étudier la convergence uniforme de sur .
Étudier la convergence uniforme de sur avec .
Solution
Pour , nul ou non, on a . Il y a convergence simple de vers la fonction nulle. On a
La fonction n’étant pas bornée sur , il n’y a pas convergence uniforme sur .
Soit . Pour ,
via . Par suite, il y a convergence uniforme sur .
Étudier la convergence de la suite de fonctions définie par
Solution
est définie sur et peut être prolongée par continuité en en posant sur .
Pour ,
Pour ,
Ainsi, converge simplement vers la fonction nulle sur .
Il ne peut y avoir convergence uniforme sur car alors, par le théorème de la double limite,
donne .
Soit . Pour ,
et, après étude fonctionnelle, (maximum en ) donc
Ainsi, il y a convergence uniforme sur .
On pose
Sur quels intervalles y a-t-il convergence uniforme?
Solution
La suite converge simplement vers la fonction nulle et
il n’y a donc pas convergence uniforme sur .
Soit . Sachant
le tableau de variation de assure que pour assez grand,
Ainsi, il y a convergence uniforme sur et de même sur .
En revanche, il n’y aura pas convergence uniforme sur les intervalles non singuliers contenant .
On pose
Sur quels intervalles y a-t-il convergence uniforme de la suite ?
Solution
On a
Il n’y a donc pas convergence uniforme sur .
Or
et donc, d’après le tableau de variation de , pour tout , on a, pour assez grand,
Ainsi, il y a convergence uniforme sur .
En revanche, il n’y a pas convergence uniforme sur les intervalles non singuliers contenant .
Soient et définie par
Étudier la limite simple de la suite de fonctions .
Pour quels réel y a-t-il convergence uniforme?
Solution
Cas: . On a .
Cas: . On a ausi par comparaison des suites de référence.
La fonction est dérivable avec
Après étude des variations
avec
donc
Il y a convergence uniforme si, et seulement si, .
Étudier la convergence simple de la suite de fonctions définies sur par
Pour , soit définie par
Étudier la limite simple de et montrer que
En partant de l’encadrement suivant valable pour tout ,
justifier que la suite converge uniformément sur tout intervalle (avec ).
Établir qu’en fait, la suite de fonctions converge uniformément sur .
Solution
Pour ,
On sait pour convenabl et donc, par opérations, .
On sait (cela peut être établi par étude des fonctions différences de membre)
donc
puis
Soit .
Pour , il existe tel que pour tout , . On a alors pour tout ,
Par suite, converge uniformément vers sur .
Les fonctions sont décroissantes donc
Soit .
Puisque , il existe tel que pour tout ,
Puisque , il existe tel que
Mais alors pour tout ,
De plus, converge uniformément sur et il existe donc tel que
Finalement,
Ainsi,
Soit définie par
Étudier la limite simple de la suite .
Calculer
Y a-t-il convergence uniforme de la suite de fonction ?
Étudier la convergence uniforme sur avec .
Solution
Pour , . Pour , on a aussi pour assez grand. Par suite, converge simplement vers la fonction nulle.
On a
Il n’y a pas convergence uniforme de la suite puisque
Pour assez grand, . La suite de fonctions converge uniformément vers sur .
Pour et , on pose
Déterminer la limite simple de la suite de fonctions .
Pour , calculer
La suite converge-t-elle uniformément sur ?
Justifier qu’il y a convergence uniforme de la suite de fonctions sur tout avec .
Solution
Soit .
Cas: .
Cas: . On a donc
La suite de fonctions converge simplement vers la fonction identiquement nulle sur .
Directement,
Puisque
il n’y a pas convergence uniforme sur .
La fonction est dérivable sur avec
du signe de . Cette expression s’annule en
et l’on a
On remarque
Soit . On a et donc, à partir d’un certain rang, . Pour ces valeurs de , on a alors
Il y a convergence uniforme de sur .
Soit la fonction définie de l’intervalle vers lui-même par la relation
Pour , on pose la fonction itérée d’ordre de :
Étudier la convergence simple de la suite de fonctions sur .
Sur quels segments inclus dans peut-on affirmer qu’il y a convergence uniforme?
Soit la suite de fonctions définies sur par
Étudier la convergence simple et uniforme de la suite sur .
Solution
Pour , la suite numérique est une suite homographique. L’équation possède deux solutions et . Posons
On a
avec
Puisque , la suite géométrique converge vers . Or, après résolution de l’équation
on obtient
et l’on en déduit que la suite numérique converge vers .
Finalement, la suite de fonctions converge simplement vers la fonction
Puisque les fonctions sont rationnelles de degrés alternativement et , la fonction ne peut-être bornée sur car de limite en : il n’y a pas convergence uniforme sur .
En revanche, on peut montrer que la suite de fonctions converge uniformément vers sur pour tout . En effet,
D’une part, la fonction est bornée sur .
D’autre part,
Sur , la fonction
admet un maximum de valeur et, puisque la fonction continue est bornée sur , on peut montrer que la suite de fonctions converge uniformément vers la fonction nulle sur .
La relation
permet alors d’établir que la suite de fonctions converge uniformément vers sur .
Soit une fonction continue. Pour , on pose définie par
Former une condition nécessaire et suffisante sur pour que la suite de fonctions converge uniformément sur .
On considère la suite de fonctions définie sur par
Montrer que converge uniformément sur vers la fonction .
En déduire une suite de fonctions polynômes convergeant uniformément vers la fonction valeur absolue sur .
[<] Étude pratique de la convergence d'une suite de fonctions[>] Étude pratique de la limite d'une suite de fonctions
Pour , on considère définie par
Montrer que la suite de fonctions converge uniformément mais qu’il n’en est pas de même de .
Solution
Pour ,
et
La suite de fonctions converge uniformément vers la fonction identité.
Pour ,
et
Il n’y a pas convergence uniforme de la suite .
Pour , on considère définie par
Montrer que chaque est de classe et que la suite converge uniformément sur vers une fonction qui n’est pas de classe .
Solution
Par opérations, les fonctions sont de classe car est de classe sur .
La suite converge simplement vers avec qui n’est pas dérivable en .
En multipliant par la quantité conjuguée,
Par suite,
puis
Ainsi, la suite converge uniformément vers une fonction qui n’est pas de classe .
Soit une fonction deux fois dérivable de dérivée seconde bornée.
Pour , on considère donnée par
Montrer que converge uniformément vers sur .
Solution
Par la formule de Taylor Lagrange,
avec . Par suite,
et donc
Soit de classe . Pour , on considère définiepar
Montrer que la suite de fonctions converge uniformément sur tout segment de vers une fonction à préciser.
Solution
Pour ,
La suite de fonctions converge simplement vers sur .
Soient et . La fonction est continue sur le segment dont uniformément continue. Il existe alors vérifiant
Pour assez grand de sorte que et pour , on peut écrire
et donc
Ainsi, la convergence de est uniforme sur tout segment de .
Soit une suite de fonctions de vers convergeant simplement vers la fonction nulle sur .
On suppose toute les fonctions croissantes, montrer que la convergence de est uniforme.
Solution
Pour ,
donc
(Théorème de Dini)
Soit une suite de fonctions définies et continues sur un segment convergeant simplement vers la fonction identiquement nulle. On suppose que cette suite est décroissante dans le sens où, pour tout , la suite est décroissante. On désire établir que la convergence de la suite est uniforme et l’on introduit
Justifier que pour tout , il existe tel que .
Établir la convergence de la suite de terme général .
En observant que pour tout , montrer
Soit une fonction continue par morceaux, intégrable sur et d’intégrale égale à .
Soit continue et bornée.
Pour tout , on introduit donnée par
Montrer que la suite de fonctions converge simplement vers sur .
Établir que cette convergence est uniforme sur tout segment de .
Solution
Soit .
Par le changement de variable ,
Parallèlement11 1 Une résolution par convergence dominée est possible mais s’adapte mal à la résolution de la deuxième question.,
On a donc
Soit .
On introduit et tel que
On a
Par continuité de en , il existe tel que
Pour assez grand de sorte que ,
et alors
Au final, pour assez grand,
On a donc
Soit avec quelconque. Montrons que la suite de fonctions converge uniformément vers sur22 2 Cela est suffisamment général pour inclure tous les segments de .
Soit . On reprend les calculs précédents pour écrire
Par le théorème de Heine, la fonction est uniformément continue sur le segment . Il existe donc tel que
Soit . Pour tout et tout , .
Pour assez grand de sorte que ,
et donc
Cela est obtenu pour assez grand indépendant de choisi dans .
La suite de fonctions converge uniformément vers sur .
Soit est une suite de fonctions de classe de vers telle qu’il existe vérifiant
On suppose que la suite de fonctions converge simplement vers une fonction sur . Établir que la suite de fonctions converge uniformément sur .
Solution
Par l’inégalité des accroissements finis, on observe
En passant à la limite quand tend vers l’infini, la convergence simple donne
Soit . Il existe tel que
Considérons alors la subdivision de formée par
Pour , il existe tel que
Posons . On a
Soit quelconque. Il existe tel que . On écrit alors
et donc
En résumé,
Ainsi, converge uniformément vers sur .
On note l’ensemble des complexes de module et l’on considère un complexe de module différent de .
Exprimer une condition nécessaire et suffisante pour que la fonction
soit limite uniforme sur d’une suite de fonctions polynomiales.
Solution
Cas: . Pour , on peut écrire
La convergence normale sur de la série assure la convergence uniforme d’une suite de polynômes vers
Cas: . On remarquer que pour tout ,
Si est une suite de fonctions polynomiales convergeant uniformément sur vers alors
Or, par le calcul précédent, on peut affirmer
On conclut à une absurdité.
La condition cherchée est .
Soit une suite de fonctions réelles convexes définies sur un intervalle ouvert non vide . On suppose que la suite de fonctions converge simplement sur . Montrer que la convergence est en fait uniforme sur tout segment inclus dans .
[<] Étude théorique de la convergence d'une suite de fonctions[>] Étude de la convergence d'une série de fonctions
Soient et . Pour , on pose
Montrer que la suite de fonctions converge simplement vers une fonction à déterminer.
Déterminer les valeurs de pour lesquelles il y a convergence uniforme.
Calculer
Solution
En distinguant le cas du cas général, on obtient que la suite de fonction converge simplement vers la fonction donnée par .
Par étude des variations de , on obtient qu’il y a convergence uniforme si, et seulement si, .
Par un argument de convergence uniforme, on peut échanger limite et intégrale
On définit suite de fonctions de vers par
Montrer que pour tout ,
En déduire la convergence pour tout de la suite .
Établir que la suite converge uniformément vers une fonction non nulle vérifiant
Solution
Par récurrence sur .
Pour , et donc .
Supposons la propriété établie au rang .
or donc et
puis
Récurrence établie.
Pour tout , on sait qu’il y a convergence de la série exponentielle
Par comparaison de série à termes positifs, il y a convergence de la série télescopique
et donc convergence de la suite .
Pour tout ,
donc
Ainsi converge uniformément vers . On en déduit que est continue et, toujours par convergence uniforme,
Par conséquent,
La fonction est donc une fonction non nulle (car ) et dérivable avec
Soit . On définit une suite de fonctions de vers par:
Montrer que pour tout ,
En déduire la convergence simple de la suite sur .
Établir que la limite de la suite est une fonction dérivable vérifiant
On considère la suite de fonctions définies sur par
Montrer que la suite de fonctions converge simplement sur .
On pourra librement employer l’inégalité11 1 Cette inégalité peut être simplement obtenue en étudiant les variations de la fonction différence ou en employant un argument de convexité. valable pour tout .
On peut alors introduire sa fonction limite définie par
Étudier la monotonie de la fonction .
Soit arbitraire. Montrer que la suite de fonctions converge uniformément sur .
En déduire que la fonction est continue.
Déterminer la limite de la fonction en .
Justifier que la convergence de la suite n’est pas uniforme au voisinage de .
Déterminer la limite de la fonction en par valeurs supérieures.
Soit une suite de fonctions continues d’un intervalle vers .
On suppose qu’il existe une série convergente pour laquelle
et l’on pose, pour et ,
Justifier que converge simplement sur vers une certaine fonction .
Établir que est continue sur .
Solution
Soit .
Puisque la série à termes positifs converge, la série converge aussi et la suite est en particulier de limite nulle. Il existe donc un rang tel que pour tout .
Soit . On écrit
et l’on peut considérer
car tous les facteurs sont strictement positifs. Or
et la série est donc absolument convergente. On peut alors écrire
puis, par opérations sur les limites,
La suite de fonctions converge simplement sur .
Approfondissons l’étude qui précède et commençons11 1 Mais il était sans doute naturel d’avoir déjà introduit indépendant de à la question précédente. par introduire tel que pour tout . Pour tout , on peut écrire
avec
La fonction est continue par produit (d’un nombre fini) de fonctions continues. Montrons la continuité de la fonction par un argument de convergence normale.
Par croissance de la fonction , on a pour tout
donc
La série converge. Par majoration uniforme, la série de fonctions converge normalement sur . Or les fonctions sommées sont toutes continues et donc, par théorème de convergence uniforme, la somme de la série de séries de fonctions est continue. Cela produit la continuité de puis celle de par opérations sur les fonctions continues.
On note l’ensemble des fonctions continues. On pose
pour toute fonction . On définit ensuite une suite de fonctions en posant puis pour tout .
Étudier la convergence uniforme de la suite .
On note la limite simple de la suite .
Vérifier que est solution de l’équation différentielle .
Solution
On vérifie sans peine que la suite est bien définie.
Si alors
Ainsi, avec
On a
et, pour ,
On a
Or donne
donc
Puisque , on obtient alors par récurrence que la suite est décroissante.
Étant aussi minorée par 0, elle converge et en passant la relation de récurrence à la limite, on obtient
On en déduit que la suite de fonctions converge simplement vers la fonction
De plus,
Puisque , on a pour tout et en exploitant
Puisque la fonction est bornée par sur ,
et ainsi
et ce majorant uniforme tend vers 0.
Il y a donc convergence uniforme de la suite de fonctions vers .
La relation
donne à la limite
d’où l’on tire dérivable et . Cependant, cela est aussi le résultat d’un calcul direct puisque
On étudie l’équation fonctionnelle
Quelles sont les solutions constantes sur ?
Soit . On pose pour tout . À quelle condition sur , la fonction est-elle solution de ?
On définit par récurrence une suite de fonctions de dans en posant: et, pour tout ,
Pour , soit . Montrer que est 1-lipschitzienne sur et que .
Montrer que la suite converge uniformément sur .
Montrer que l’équation admet une solution continue et non constante sur .
Montrer que l’équation admet une solution continue et non constante sur .
Solution
Si est constante égale à alors l’équation est vérifiée si, et seulement si, . Cette dernière équation est vérifiée pour et seulement.
Après substitution et étude séparée du cas , on obtient solution de si, et seulement si, vérifie
L’application est de classe et . Sur , on vérifie et la fonction est donc 1-lipschitzienne sur . Au surplus, la fonction est croissante sur avec et . On en déduit .
Par une récurrence immédiate, on vérifie
Pour et , on a par lipschitzianité
En répétant cette majoration
La série télescopique converge donc absolument et la suite est donc convergente. La suite de fonctions converge donc simplement vers une fonction sur . Au surplus,
La convergence de la suite est donc uniforme sur .
La fonction est limite uniforme d’une suite de fonctions continues, elle est donc continue sur . En passant à la limite la relation
on obtient l’identité
Puisque pour tout , on a et la fonction n’est pas nulle. On peut alors définir la fonction qui est continue, non constante et vérifie
On peut ensuite définir une solution sur en posant
Cette solution est bien continue en 1 car
De même, on prolonge la solution sur , , etc.
Pour et , on pose
Montrer que la suite est croissante et majorée.
On rappelle la comparaison pour tout .
On pose
Montrer que est définie et continue sur .
Simplifier pour . En déduire un équivalent de en .
Déterminer un équivalent de en .
Solution
Soit . Pour ,
La suite est donc croissante.
Pour et ,
et donc
La suite est donc majorée.
Par l’étude qui précède, on sait la convergence simple de sur ce qui assure que la fonction est bien définie sur . Aussi, les fonctions sont chacune continues sur . Étudions la convergence uniforme de .
Soit . Pour , on remarque
Or pour
À la limite quand tend vers ,
Ainsi,
La suite de fonctions converge uniformément sur et ce pour tout , on en déduit que la fonction est continue sur .
Pour , on obtient après simplifications,
À la limite quand , il vient
Quand tend vers , tend vers la constante ce qui permet d’écrire
Pour ,
et donc
puis
et enfin
À la limite quand , on obtient l’encadrement
On en déduit
[<] Étude pratique de la limite d'une suite de fonctions[>] Intégration terme à terme
Pour , on considère définie par
Étudier la convergence simple, uniforme et normale de la série de fonctions .
Solution
Pour ,
Puisque converge, il y a convergence normale, donc uniforme, donc simple sur .
Établir la convergence uniforme sur de la série de fonctions avec
Solution
Soit . La série numérique est alternée car, pour tout ,
Pour comme pour , on observe que la suite décroît vers . Par le critère spécial, on peut assurer la convergence de la série . On en déduit que la série de fonctions converge simplement sur . On peut alors introduire son reste et l’on vérifie par le critère spécial
En passant à la borne supérieure,
et donc
On conclut que converge uniformément sur .
Pour , on considère définie par
Étudier la convergence simple, uniforme et normale de la série de fonctions .
Solution
On a et diverge: il n’y a pas convergence normale sur .
Pour , la série numérique satisfait le critère spécial des séries alternées, il y a donc convergence simple sur et
Il y a donc convergence uniforme sur .
Étudier la convergence simple, puis la convergence uniforme sur , de la série de fonctions avec
On pose
Étudier la convergence simple et uniforme sur de la série de fonctions .
Même question avec .
Solution
Soit . La fonction est de classe avec, par dérivation d’un produit,
On en déduit les variations de et l’on obtient
La série de fonctions converge normalement sur . La série qui s’en déduit par l’ajout d’un terme converge donc simplement et uniformément sur .
Pour , . La série diverge grossièrement. La série de fonctions ne converge donc pas simplement ni uniformément sur . En revanche, même si la question n’est pas posée, on peut établir la convergence simple sur et la convergence uniforme sur (mais pas sur ).
On note la fonction indicatrice d’un intervalle :
Étudier la convergence simple, uniforme et normale sur de la série des fonctions
Solution
Pour tout , introduisons . Pour , on a
et la série de fonctions converge donc simplement sur vers la fonction déterminée par
Pour tout ,
et donc
Il y a donc convergence uniforme sur .
Enfin, n’est pas sommable, il n’y a pas convergence normale sur .
Pour , on pose
Étudier la convergence simple, la convergence normale ainsi que la convergence uniforme de la série de fonctions sur .
Même question sur avec .
Pour , on introduit la fonction définie par
Étudier les convergences de la suite de fonctions .
Étudier les convergences de la série de fonctions .
Solution
Par croissance comparée, la suite de fonctions converge simplement vers la fonction nulle sur .
La fonction est de classe et
On peut alors dresser le tableau de variations de et affirmer
Par la formule de Stirling,
donc
On en déduit que la suite de fonctions converge uniformément sur .
Par référence à la série exponentielle, la série de fonctions converge simplement sur et sa somme est égale à .
Il ne peut y avoir convergence normale sur car n’est pas sommable.
En revanche, sur , il y a convergence normale car pour assez grand de sorte que , on a
Il y a a fortiori convergence uniforme sur .
Par l’absurde, s’il y a convergence uniforme sur un voisinage de , on obtient par le théorème de la double limite
ce qui donne l’absurdité .
Il n’y a donc pas convergence uniforme sur .
Pour , on considère définie par
Étudier la convergence simple et la convergence uniforme des séries de fonctions et .
Solution
La fonction est dérivable sur avec
Les variations de sur fournissent
La série de fonctions converge normalement sur , a fortiori uniformément et simplement.
Soit . Pour ,
La série de fonctions converge normalement sur .
En revanche, il n’y a pas convergence en , ni convergence uniforme sur car le théorème de la double limite ne peut s’appliquer en (puisque la série des limites diverge).
Étudier la convergence simple puis uniforme sur de la série de fonctions avec
Pour et , on considère les fonctions définies sur par
Pour quels réels la suite converge-t-elle uniformément sur ?
Pour quels réels la série converge-t-elle uniformément sur ?
Pour et , on pose
Étudier la convergence simple de la série de fonctions .
Étudier la convergence uniforme de la série de fonctions .
Étudier la convergence normale de la série de fonctions .
Solution
Cas: . La série est la série nulle et donc converge.
Cas: . On remarque
et la série converge absolument.
On en déduit que la série de fonctions converge simplement sur .
Par convergence simple, on peut introduire
Pour , on a simplement . Pour ,
Par cette majoration uniforme, on conclut que la série de fonctions converge uniformément sur .
L’étude des variations de donne
Sachant la divergence de la série , on peut conclure à la non-convergence normale de .
Déterminer la nature de la série .
Pour et , on pose
Étudier la convergence simple de .
La série de fonctions converge-t-elle normalement sur ?
Soit . Montrer la convergence uniforme de sur .
Montrer la convergence uniforme de sur .
On pourra étudier le reste de la série de fonctions.
Solution
La fonction est continue par morceaux, décroissante et positive sur . Par comparaison série-intégrale,
La série étudiée diverge.
Soit .
Cas: . On observe
La série diverge grossièrement
Cas: . La suite est constante égale à , la série converge.
Cas: . On observe
La série est absolument convergente donc convergente.
Finalement, la série de fonctions converge simplement sur .
La fonction est continue sur et de limite nulle en , c’est une fonction bornée. Cependant,
Par comparaison de séries à termes positifs, diverge.
Soit . Pour tout ,
Ce majorant uniforme est sommable car
On en déduit que converge normalement et donc uniformément sur .
Soit . Pour ,
La fonction est continue sur et admet des limites finies en et . Cette fonction est donc bornée par un certain réel et alors
La série de fonctions converge uniformément sur .
Pour et , on pose
Étudier la convergence simple puis uniforme de la suite sur .
Étudier la convergence simple puis normale de la série sur .
Calculer explicitement, lorsqu’elle existe, la somme
La fonction est-elle continue sur ?
La série de fonction converge-t-elle uniformément sur ?
Retrouver ce résultat par un calcul direct.
Solution
Soit .
Cas: . On a donc par convergence d’une suite géométrique
Cas: ou . On a . Par constance,
La suite converge simplement vers la fonction identiquement nulle sur .
Pour , est de classe sur avec
En posant
on peut écrire
ce qui permet d’identifier le signe de sur puis les variations de (pour )
De plus, et donc
La suite converge uniformément vers la fonction identiquement nulle sur .
En répétant la discussion menée pour l’étude de la convergence simple de , on obtient la convergence simple de sur .
On a
avec
et donc
Ce terme n’est pas sommable, la série ne converge pas normalement sur .
Pour ou , on a immédiatement .
Pour , on obtient par sommation géométrique
Par opérations sur les fonctions, est continue sur . On remarque
La fonction n’est pas continue en (ni en ).
est la somme d’une série de fonctions continues. S’il y avait convergence uniforme sur , la somme serait continue. Ce n’est pas le cas, il n’y a donc pas convergence uniforme.
On retrouve ce résultat directement. Pour ,
Par sommation géométrique,
La série de fonctions ne converge pas uniformément uniformément sur .
Soit une suite réelle positive et décroissante. Pour tout , on pose
Montrer la convergence simple de la série de fonctions .
Montrer que converge normalement si, et seulement si, la série converge.
Montrer que converge uniformément si, et seulement si, tend vers .
Solution
Pour , et la série numérique est convergente.
Pour , on peut écrire . Or il y a convergence de la série numérique et donc, par comparaison de séries à termes positifs, la série converge.
Après étude de fonction, on obtient
Par équivalence de séries à termes positifs, la convergence normale de équivaut à la convergence de .
Considérons le reste
Par la décroissance de la suite ,
Ainsi, pour ou , on obtient
Par cette majoration uniforme, on peut affirmer que, si tend vers , alors la série de fonctions converge uniformément.
Inversement, supposons la série uniformément convergente.
La suite étant décroissante et positive, elle admet nécessairement une limite . On a alors
On obtient donc
En faisant ,
Cela valant pour tout , on conclut
Pour et , on pose
Montrer que pour tout et tout
En déduire que la série de fonctions converge simplement sur .
Montrer que la série de fonctions converge uniformément sur pour tout .
Solution
Soit . Par sommation géométrique de raison avec ,
Par factorisation de l’exponentielle imaginaire d’angle moitié,
On en déduit
Soit . Pour , on remarque avec . On a alors pour
Après glissement d’indice,
D’une part,
et, d’autre part,
avec absolument convergence car
Par opérations sur les limites,
Soit . Pour ,
On a alors
et donc
La série de fonctions converge uniformément sur .
Étudier la convergence simple, la convergence normale et la convergence uniforme sur de la série des fonctions
[<] Étude de la convergence d'une série de fonctions[>] Étude pratique de la fonction somme d'une série
Vérifier
avec la constante d’Euler.
Solution
La somme contenue dans l’intégrale est celle de la série de fonctions avec
Les fonctions sont continues sur et, par croissance,
La série de fonctions converge normalement (et donc uniformément) sur .
Par théorème d’intégration terme à terme, on peut écrire
avec existence.
Cela donne
Pour , il vient par télescopage
que l’on transforme
On peut alors conclure
Établir
Solution
Pour ,
Par sommation géométrique de raison avec ,
Procédons à une intégration terme à terme. Pour , posons définie par
Les fonctions sont continues sur et
Ce terme est sommable et l’on peut affirmer que la série de fonctions converge normalement et donc uniformément sur . Par intégration terme à terme,
Justifier l’égalité
Solution
Pour , on introduit donnée par
Pour , la série numérique est alternée et la suite décroît vers : cette série converge en vertu du critère spécial des séries alternées. De plus,
Par majoration uniforme, la série de fonctions converge uniformément sur . De plus, les fonctions sommées sont continues et l’on peut écrire avec existence des objets l’égalité
ce qui se relit
Pour , on considère définie par
Calculer
Montrer que la série des converge uniformément sur .
En déduire l’égalité
Solution
Pour , on obtient par sommation géométrique
Cette relation vaut aussi pour ou .
On peut appliquer le critère spécial des séries alternées et donc
L’étude de donne
donc
On a
et l’on peut calculer la dernière intégrale par intégration terme à terme car il y a convergence uniforme sur . Cela donne
puis le résultat.
Soit . Calculer
Soit tel que . Calculer
Solution
Si alors
Par convergence normale de la série de fonctions,
Si alors
car
Soient , et . Calculer
Solution
Si alors
Par convergence normale de la série de fonctions,
Si alors
Montrer
Solution
Pour , on peut écrire
Introduisons définie par
Les fonctions sont continues et la série de fonctions converge normalement sur puisque
On peut donc intégrer terme à terme pour obtenir
Par intégration par parties (cf. intégrale de Wallis),
Sachant
on obtient
et donc
Pour , on pose
Calculer .
Justifier la convergence de la série de terme général .
Exprimer sa somme à l’aide d’une intégrale puis calculer celle-ci.
Solution
Pour , on réalise une intégration par parties avec les fonctions et de classe sur déterminées par
On obtient
En répétant ce type d’intégration par parties,
On observe
Par le critère de d’Alembert, la série de terme général converge.
On souhaite calculer
Puisque les fonctions sommées sont toutes positives, on peut directement intégrer terme à terme et écrire
Par sommation géométrique, on poursuit
Il reste à calculer cette intégrale. Pour déterminer une primitive, on écrit
et l’on obtient
Soit . On pose
Montrer que converge normalement sur .
On pose
Calculer pour .
En déduire que
Soit . Calculer
En déduire, pour dans , la valeur de
Solution
Pour ,
La série géométrique converge car donc converge normalement sur .
Soit . Avec convergence de la série géométrique complexe introduite,
Or
donc
Pour ,
On sait
donc
Cas: .
Cas: .
Cas: .
Pour ,
Posons définie sur . On a donc est une série de fonctions continues convergeant normalement sur . On peut intégrer terme à terme
Pour ou ,
Pour , on pose
Établir que pour tout ,
À l’aide du changement de variable , montrer
Application : Justifier
Solution
Soit .
Pour , on obtient par sommation géométrique de raison avec
Posons alors
Les fonctions sont continues sur et la série de fonctions converge normalement sur car
Par théorème d’intégration terme à terme d’une série de fonctions continues convergeant uniformément sur ,
en introduisant les intégrales de Wallis
Pour , une intégration par parties donne
On en déduit la relation de récurrence
Sachant et , on parvient à
Par conséquent,
Pour le changement de variable ,
ce qui donne
On en déduit la relation proposée.
D’une part,
D’autre part,
On remarque
et donc
Par intégration terme à terme d’une série de fonctions continues sur , il vient
ce qui conduit à la relation proposée.
Déterminer la valeur de
On donne
avec prolongement par continuité en .
Solution
est le terme générale d’une série convergente. Par convergence normale sur le segment ,
Or
donc
On en déduit que
[<] Intégration terme à terme[>] Étude pratique de la fonction somme d'une série alternée
Pour , on pose
Montrer que est définie et continue sur .
Donner un équivalent simple de en .
On étudie
Montrer que est définie et de classe sur .
Donner, à l’aide d’une comparaison intégrale, un équivalent de au voisinage de .
Donner un développement limité à l’ordre de en .
On donne
Solution
Posons
Les fonctions sont définies et de classe sur .
La série de fonctions converge simplement sur car
On a
Soit . Sur ,
et la série de fonctions converge normalement et donc uniformément sur tout segment de .
On peut conclure que la fonction est de classe .
La fonction est décroissante donc
Or
donc
On peut écrire
et, par convergence des sommes introduites,
Or
donc
Pour , on pose
Montrer que est bien définie sur .
Montrer que est continue sur .
Étudier la monotonie de .
Déterminer la limite de en puis un équivalent simple.
Déterminer un équivalent à en .
Solution
Posons
Soit . On a donc converge absolument.
On en déduit que la série converge simplement sur et donc la fonction est bien définie.
Les sont continues sur .
Soit ,
La série de fonctions converge normalement sur donc converge uniformément sur tout segment de .
On peut donc conclure que est continue.
Chaque est décroissante donc la fonction l’est aussi.
Par convergence normale sur ,
On remarque
Posons . La fonction croît de 0 à sur donc
La série de fonctions converge normalement sur donc
Par suite, puis
La fonction est décroissante donc par comparaison avec une intégrale
Or
donc
Sur , on pose
Montrer que est définie sur .
Étudier la monotonie de .
Montrer que est continue sur .
Déterminer un équivalent de en .
Montrer
Solution
Pour , posons
Pour ,
Cela assure la convergence simple de sur . La fonction est correctement définie.
Chaque est croissante donc, par sommation de monotonies identiques, est croissante.
Chaque fonction est continue sur .
Soit . Pour tout ,
Ainsi,
La série de fonction converge normalement sur .
Par théorème de convergence uniforme, est continue sur . Or cela vaut pour tout donc est continue sur .
Soit fixé. La fonction est décroissante. Par comparaison série-intégrale où l’on isole le terme d’indice dans la majoration pour ne pas introduire d’intégrale généralisée divergeant en ,
Or
Par encadrement,
Par convergence uniforme sur d’une série de fonctions continues,
Or
et donc
Pour réel convenable, on pose
Justifier que est définie et continue sur .
Étudier la monotonie de .
Déterminer un équivalent de en .
Déterminer un équivalent de en .
Solution
Sous réserve d’existence, est la somme de la série de fonctions avec
Soit . On remarque
Par équivalence, converge absolument.
Puisque la série de fonctions converge simplement sur , la fonction est définie sur .
Chaque fonction est continue sur . Étudions la convergence uniforme de via convergence normale.
Soit . Par croissance de ,
et donc
La série converge et donc, par majoration uniforme, la série de fonctions converge normalement sur . Par théorème de continuité par convergence uniforme d’une série de fonctions continues, est continue sur . Or cela vaut pour tout , est donc continue sur .
Chaque fonction est croissante sur . Par sommation de monotonies identiques, est croissante sur .
On peut écrire
avec, pour ,
On a donc
Soit . Considérons la fonction auxiliaire . Par composition de monotonies, cette fonction est décroissante sur . Par comparaison série-intégrale,
Étudions alors
Par le changement de variable ,
Or11 1 Ce résultat s’acquiert par intégration par parties, Voir sujet 3794. l’intégrale converge et vaut donc
On en déduit
Puisque
on conclut par encadrement
Pour réel, on pose
Préciser le domaine de définition de .
La fonction est-elle continue sur son domaine de définition?
La fonction est-elle dérivable sur son domaine de définition?
Solution
Méthode: La fonction est la somme d’une série entière: on détermine son intervalle de définition en commençant par un calcul de rayon de convergence.
Pour , posons . On a
Si , la série numérique converge absolument et, si , elle diverge grossièrement. La série entière définissant est donc de rayon de convergence égal à .
Méthode: La somme d’une série entière de rayon de convergence est assurément définie sur et l’est peut-être aussi en et/ou en .
La fonction est définie sur un intervalle contenant et inclus dans . Pour ou , la série définissant converge absolument et donc converge car
Finalement, la fonction est définie sur . Notons qu’il s’agit d’une fonction impaire.
Puisque est la somme d’une série entière de rayon de convergence , on est assuré de sa continuité sur . Il reste à étudier la continuité de en et en .
Méthode: Il ne figure pas dans le cours de théorème assurant la continuité d’une fonction somme de série entière aux points correspondant au rayon de convergence. Pour obtenir cette continuité, on revient à la théorie des séries de fonctions et l’on raisonne par convergence uniforme.
Posons pour . On observe
La série de fonctions converge alors normalement sur et donc uniformément sur cet intervalle. Au surplus, les fonctions sont continues et la fonction est donc continue sur .
Puisque est la somme d’une série entière de rayon de convergence , on sait qu’elle est dérivable (et même de classe ) sur avec11 1 Lors de cette dérivation, la somme obtenue commence au rang et non car, dans l’expression de , il n’y a pas de terme constant à devoir disparaître par dérivation.
Il reste à étudier la dérivabilité de en et .
Méthode: On montre que tend vers l’infini quand tend vers par valeurs inférieures en constatant que c’est une fonction monotone non bornée.
Par somme de fonctions croissantes sur , la fonction est croissante. Par l’absurde, si cette fonction est majorée par un réel alors, pour tout et tout ,
En passant à la limite quand tend vers par valeurs inférieures, on obtient
La série est alors convergente car il s’agit d’une série à termes positifs aux sommes partielles majorées. Or cela est absurde puisque
Finalement, la fonction est croissante et non majorée sur , elle admet donc une limite égale à en et l’on en déduit que n’est pas dérivable en mais y présente une tangente verticale. Par imparité, n’est pas non plus dérivable en .
Montrer que
est continue sur et de classe sur et .
Solution
Posons
Chaque fonction est continue et est terme général d’une série convergente.
Par convergence normale, on peut affirmer que est définie et continue sur .
Chaque est de classe et
Pour , sur ou ,
ce qui donne la convergence normale de la série des dérivées.
Ainsi, par convergence uniforme sur tout segment, on obtient que est de classe sur chaque intervalle de .
Étudier le domaine de définition et la continuité de
Étudier la dérivabilité de sur son domaine de définition.
Solution
Posons
Sachant
on a
On en déduit que la série de fonctions converge normalement sur . Les fonctions étant continue, la somme est définie et continue sur .
Les fonctions sont de classe et
Soit . Pour ,
On en déduit que la série de fonctions converge normalement sur tout segment de .
Par théorème, la somme est donc une fonction de classe sur .
Montrons que la fonction n’est pas dérivable en .
Par comparaison avec une intégrale
Par le changement de variable
car la fonction positive n’est pas intégrable sur .
Pour , on définit
Montrer que converge simplement sur
On pose
La convergence est-elle normale sur ?
Montrer que pour tout , la série converge normalement sur .
Établir que est continue sur .
On note le reste de rang de la série de fonctions .
Montrer que
En déduire que ne converge pas uniformément sur .
On admet l’encadrement
Montrer que n’est pas continue en .
Démontrer l’encadrement précédemment admis.
Solution
Soit .
Cas: . est la série nulle: elle converge.
Cas: . . Par équivalence à une série de Riemann convergente, la série converge.
On remarque
La série étant divergente, il n’y a pas convergence normale sur .
Pour tout ,
La série converge et donc, par majoration uniforme, converge normalement sur .
est continue car somme d’une série de fonctions continues sur convergeant normalement sur tout segment inclus dans .
Pour fixé, la suite est décroissante et donc
On a alors pour
puis
La suite ne converge pas uniformément vers la fonction identiquement nulle sur : la série de fonctions ne converge pas uniformément sur .
Par l’encadrement admis
Soit . La fonction est continue et décroissante sur . Par comparaison série-intégrale,
avec
Or
et l’on obtient l’encadrement proposé.
Pour réel convenable, on pose
Quel est le domaine de définition de ?
Étudier la continuité de sur son domaine de définition.
Vérifier que la fonction est décroissante.
Déterminer la limite de en .
Déterminer un équivalent simple de en .
Soit . On étudie la fonction donnée par
Préciser le domaine de définition de .
Étudier la continuité de .
Étudier la limite de en .
Solution
Si , la série numérique diverge grossièrement.
Si ,
et est absolument convergente.
Ainsi, converge simplement sur .
La fonction est définie sur .
Les fonctions sont continues.
Pour ,
et converge donc converge normalement sur . Par convergence uniforme sur tout segment, on peut affirmer que est continue.
Par convergence uniforme sur , on peut intervertir limite en et somme infinie. Ainsi,
Pour réel convenable, on pose
Donner le domaine de définition de .
Montrer que est continue sur .
Montrer que est de classe sur l’intérieur de .
Déterminer un équivalent de en .
Solution
On pose
Pour , la série converge par comparaison à une série de Riemann. Pour , la série diverge grossièrement. On obtient .
Pour tout et tout ,
Par convergence normale d’une série de fonctions continues, la fonction est continue.
Les fonctions sont de classe sur avec
Soit . Pour tout ,
Par convergence normale de la série des dérivées sur tout segment, on peut affirmer que est de classe sur .
Le premier terme de la somme est et les suivants sont notoirement négligeables devant celui-ci. Par convergence normale sur , on montre
et donc
Soit un réel. Pour tout entier et tout réel , on pose
On note le domaine de définition de
Déterminer .
Montrer que est continue sur .
A-t-on convergence normale sur ?
On suppose . Montrer que
ne tend pas vers quand tend vers .
La convergence de la série de fonctions est-elle uniforme sur ?
Étudier la continuité de sur .
Solution
Pour , donc diverge grossièrement.
Pour , donc converge
Pour , par croissance comparée et donc converge absolument.
On conclut
Pour ,
donc est une série de fonctions continues convergeant normalement sur tout segment de . Sa somme est alors continue sur .
Après étude des variations de la fonction,
Il y a convergence normale si, et seulement si, .
On peut écrire
Or, par sommation géométrique,
donc ne peut tendre vers quand .
S’il y avait convergence uniforme sur ,
C’est absurde.
Si est continue en alors par sommation de termes positifs
Cela est encore à exclure.
Pour convenable, on pose
Déterminer le domaine de définition de .
Établir que y est continue.
Déterminer un équivalent de en .
Solution
Sous réserve d’existence, apparaît comme la somme de la série de fonctions avec
Pour , : la série diverge grossièrement.
Pour , la série est à termes tous nuls donc convergente.
Pour ,
car
La série converge absolument.
Au final, est définie sur .
Les fonctions sont continues sur .
Par croissance, on remarque
Il n’y a pas convergence normale sur .
Pour , on remarque
Par l’étude de convergence simple de la question initiale, converge.
Par majoration uniforme, on obtient la convergence normale (donc uniforme) de sur .
La fonction est alors continue sur . Or cela vaut pour tout . La fonction est donc continue sur .
Soit . La fonction est décroissante sur . On a donc
(la minoration vaut pour tout et la majoration pour tout ). En isolant le terme d’indice lors de la majoration,
avec convergence de l’intégrale car il s’agit d’une intégrale majorée d’une fonction positive. Par le changement de variable (de classe strictement croissant),
Après intégration par parties dûment argumentée,
puis
Aussi,
Par encadrement,
Pour et , on pose
Étudier l’existence et la continuité de la fonction définie sur par la relation
Déterminer la limite de en .
La série de fonctions converge-t-elle uniformément au voisinage de ?
Pour et , on pose
Étudier l’existence et la continuité de la fonction définie sur par la relation
Déterminer la limite de en .
Solution
En vertu du théorème des accroissements finis
donc
On en déduit que la série de fonctions converge simplement et donc la fonction est bien définie.
Les fonctions sont continue et pour tout ,
On peut donc affirmer la convergence uniforme sur tout segment de la série ce qui assure la continuité de .
Montrons que tend vers en .
Remarquons que par le théorème des accroissements finis
et il y a donc divergence vers de la série .
Soit . Il existe un rang tel que
Pour ,
On peut donc affirmer
Pour , on pose
Pour quelles valeurs de dans , la somme définissant est-elle définie?
Former une relation entre et valable pour .
Étudier la continuité de sur puis sur .
Dresser le tableau de variation de .
Solution
Pour , introduisons
Pour , donc la somme est bien définie.
Pour ,
Par équivalence à une série géométrique, la série définissant converge absolument.
Pour , et il y a divergence grossière de la série.
Pour ,
Finalement, est définie sur par convergence simple de sur ce domaine.
Pour ,
Soit . Sur ,
donc converge normalement sur et donc converge uniformément sur tout segment de . Par théorème, est continue sur .
Par composition de fonctions continues, est aussi continue sur .
La fonction est dérivable et
Chaque est croissante sur et décroissante sur .
Par sommation de monotonie, la fonction est croissante sur et décroissante sur .
et
Puisque , on obtient par composition de limites,
On pose
Étudier le domaine de définition, la continuité et la dérivabilité de .
Donner un équivalent de en et en .
Solution
Pour , la série est grossièrement divergente.
Pour ,
et la série est absolument convergente.
La fonction est définie sur .
Posons .
La série converge simplement et les fonctions sont de classe avec
Soit .
ce qui assure la convergence normale de sur tout segment de .
Par théorème, la fonction est de classe (et donc a fortiori dérivable et continue).
Pour ,
Puisque converge et aussi, on peut permuter les deux sommes et affirmer
On a alors
avec
pour .
La fonction est continue sur et se prolonge par continuité en en posant .
Le critère spécial des séries alternées s’applique à la série et donc
Ue étude de variation permet d’affirmer . Ainsi, la série converge uniformément sur et donc sa somme est continue en . Cela permet d’affirmer
et, finalement,
Pour réel convenable, on pose
Déterminer le domaine de définition de .
Étudier la continuité de .
Donner la limite de en .
Déterminer un équivalent de en .
Solution
Posons
Soit . Pour ,
donc
Par comparaison aux séries de Riemann, la série numérique converge absolument.
Pour ,
et donc
Par comparaison de séries à termes positifs, la série numérique est nécessairement divergente.
Finalement, est définie sur .
Soit . Pour ,
La série converge. Par majoration uniforme, la série de fonctions converge normalement sur . Or les fonctions sont toutes continues donc, par théorème de continuité par convergence uniforme d’une série de fonctions continues, est continue sur . Cela vaut pour tout , est donc continue sur .
Par convergence uniforme au voisinage de , on peut appliquer le théorème de la double limite et donc
Soit . Considérons la fonction auxiliaire définie sur . La fonction est dérivable avec
Pour , on a
La fonction est donc décroissante sur . Par comparaison série-intégrale,
et donc
Déterminons alors un équivalent quand tend vers de
Par intégration par parties généralisée,
On en déduit
et, par encadrement,
Pour réel convenable, on pose
Déterminer le domaine de définition de .
Étudier la continuité de .
Donner la limite de en .
Donner un équivalent de en .
Solution
Posons
Pour ,
Par comparaison aux séries de Riemann, la série numérique converge absolument.
Pour ,
et donc, pour assez grand,
Par comparaison de séries à termes positifs, la série numérique diverge.
Pour , introduisons la fonction auxiliaire . Par produit de fonctions décroissantes positives, la fonction est décroissante sur . Par comparaison série-intégrale,
La série diverge.
Finalement, est définie sur .
Soit . Pour ,
La série converge. Par majoration uniforme, la série de fonctions converge normalement sur . Or les fonctions sont toutes continues donc, par théorème de continuité par convergence uniforme d’une série de fonctions continues, est continue sur . Cela vaut pour tout , est donc continue sur .
Par convergence uniforme au voisinage de , on peut appliquer le théorème de la double limite et donc
Soit . Considérons la fonction auxiliaire . Par produit de fonctions décroissantes positives, la fonction est décroissante sur . Par comparaison série-intégrale,
et donc
Déterminons alors un équivalent quand tend vers de
Réalisons le changement de variable pour lequel . Par celui-ci,
On remarque
avec fonction positive non intégrable sur . Par intégration des relations de comparaison,
On en déduit
Aussi,
Par encadrement,
Soient des suites réelles et avec pour tout .
On suppose que la série de terme général converge et l’on considère la fonction définie par
Étudier la continuité et la dérivabilité de .
Solution
Puisque et converge, les séries et sont absolument convergentes. Posons définie sur .
Comme
la série des fonctions converge simplement sur .
Les fonctions sont continues et pour tout
Par convergence normale d’une série de fonctions continues, on peut affirmer que la somme est continue sur . Cela valant pour tout , est continue sur .
Soit tel que pour tout .
Les fonctions sont de classe sur et avec . Par convergence normale de la série des dérivées sur , on peut affirmer que est de classe sur tout intervalle ouvert vérifiant
Soit tel qu’il existe vérifiant .
En considérant , on peut écrire par absolue convergence
avec .
Puisque la série converge, pour assez grand, . On peut alors écrire
La fonction est dérivable au voisinage de .
Cependant, la fonction
n’est quant à elle pas dérivable en . En effet, pour ,
alors que pour ,
Ainsi, les éventuels nombres dérivés à droite et à gauche ne peuvent pas coïncider.
On conclut que n’est pas dérivable en .
Pour et , on pose
Montrer l’existence de .
Montrer
Montrer que est une fonction de classe .
Solution
Pour ,
La série converge absolument et la suite converge donc puis converge vers un réel strictement positif.
avec
Or la série est absolument convergente car de terme général en et
donc
Pour et , posons
La fonction est de classe , converge simplement et ce qui permet d’affirmer converge normalement sur tout segment . On en déduit que la fonction est de classe .
Pour , on définit la fonction sur par
Montrer que converge si .
Montrer que est de classe sur .
Montrer que est l’unique fonction de classe sur telle que
Montrer que, pour , on a
Solution
Pour , . La série converge absolument.
La série de fonctions converge simplement sur , les fonctions sont de classe avec
Soit . Par monotonie, pour tout
Il y a donc convergence normale de sur tout segment de . La fonction somme de est donc de classe et la fonction l’est aussi par opérations.
La fonction est de classe . Il est immédiat que est nul et, pour tout , on a après télescopage
et
Ainsi, on peut affirmer . Enfin, est convexe en tant que somme de fonctions qui le sont.
Inversement, soit une autre fonction vérifiant les conditions proposées. Étudions la fonction .
La fonction est de classe , -périodique et prend la valeur en . Nous allons montrer qu’elle est constante en observant que sa dérivée est nulle. Pour , on a par croissance des dérivées de et de
et parallèlement
La fonction est -périodique, les valeurs sont donc constantes égales à .
En passant à la limite quand l’encadrement
on obtient que la fonction présente une limite en . Puisque est périodique cette fonction est constante et, puisque la fonction est périodique, la fonction est constante égale à .
On reconnaît en premier membre la fonction « connue » indéfiniment dérivable avec
On sait aussi , et .
Considérons alors .
La fonction est de classe , , et convexe car l’inégalité de Cauchy-Schwarz donne
ce qui conduit à .
On peut donc affirmer
et l’on peut conclure sachant équivalent à .
Pour , on pose
Montrer que la fonction est bien définie sur .
Montrer que est de classe sur .
Étudier la limite de en .
Solution
On pose
Pour tout , on obtient par développement limité
Par comparaison aux séries de Riemann, la série numérique converge absolument. On en déduit que la série de fonctions converge simplement sur . Cela assure la bonne définition de .
Les fonctions sont de classe avec
Pour ,
En passant à la borne supérieure,
Cela assure la convergence normale de la série sur .
Par convergence uniforme sur tout segment, on peut assurer que est de classe sur .
On sait pour tout . On en déduit que les termes sommés sont positifs et donc
On en déduit que tend vers en .
[<] Étude pratique de la fonction somme d'une série[>] Fonction solution d'équations fonctionnelles
Pour , on pose
Montrer que la fonction est bien définie sur et étudier sa parité.
Montrer que la fonction est continue sur .
Déterminer la limite de en .
Solution
On pose pour tout et
Pour tout , satisfait le critère spécial des séries alternées et donc converge simplement. La fonction est donc bien définie, elle est évidemment impaire.
Soit . Par le critère spécial des séries alternées
et donc
Il y a convergence uniforme11 1 Une étude des variations de la fonction permet aussi d’établir qu’il y a convergence uniforme sur . sur pour tout . De plus, chaque fonction est continue et est donc continue sur . Or cela vaut pour tout donc est continue sur .
Par le critère spécial des séries alternées, on peut encadrer par deux sommes partielles consécutives
Par théorème d’encadrement,
Pour , on pose
Montrer que la fonction est définie et de classe sur .
Préciser son sens de variation.
Étudier la limite de en .
Étudier la définition, la continuité et le caractère de la fonction
Solution
Posons
Puisque les fonctions sont toutes impaires, on limite l’étude à .
À partir d’un certain rang , on a et alors
La série numérique vérifie alors les hypothèses du critère spécial des séries alternées à partir du rang et par conséquent cette série converge.
Ainsi, la série de fonctions converge simplement sur et donc sa fonction somme est définie sur .
Les fonctions sont de classe et
de sorte que
On en déduit que la série de fonctions converge normalement sur et donc la fonction est de classe sur , a fortiori cette fonction est continue.
Pour réel convenable, on pose
Montrer que est définie et continue sur .
Étudier la limite de en .
Montrer que est classe sur et préciser ses variations.
Solution
Sous réserve d’existence, est la somme de la série de fonctions avec
Soit . Pour tout ,
et décroît et tend vers . Par le critère spécial des séries alternées, la série de fonctions converge simplement sur . La fonction est correctement définie sur .
Chaque fonction est continue. Étudions la convergence uniforme de la série de fonctions . Par convergence simple, on peut introduire le reste de la série de fonctions et, par le critère spécial des séries alternées,
Le terme ne dépend pas de et tend vers . La série de fonctions converge donc uniformément sur
Par théorème, est continue sur .
Les fonctions admettent des limites finies (toutes nulles) en et la série de fonctions converge uniformément au voisinage de . Par le théorème de la double limite,
Pour tout , est de classe sur avec
Le critère spécial des séries alternées s’applique à la convergence de la série . La série de fonctions converge simplement sur et l’on peut introduire son reste .
Soit . Pour , le critère spécial des séries alternées donne
Le terme ne dépend pas de et la suite tend vers .
La série de fonctions converge donc uniformément sur .
Par théorème, on en déduit que la fonction est de classe sur . Or cela vaut pour tout . La fonction est donc de classe sur .
Aussi, on peut aussi calculer en dérivant terme à terme. Cela donne
Puisque le critère spécial des séries alternées s’applique à la convergence de séries, on a du signe de son premier terme, c’est-à-dire négatif. La fonction est décroissante.
Pour et , on pose
Étudier la convergence uniforme de la série de fonctions .
Déterminer la limite de sa somme en . On pourra exploiter la formule de Stirling.
Solution
Pour tout , la série numérique satisfait le critère spécial des séries alternées donc la série de fonctions converge simplement sur .
De plus,
La série de fonctions converge donc uniformément sur .
On remarque
Par converge uniformément,
Pour calculer cette somme, manipulons les sommes partielles et séparons les termes d’indice pair de ceux d’indice impair
donc
Or
donc
On en déduit
Pour , on pose
Justifier que est définie et continue sur .
Étudier la limite de en .
Établir que est de classe sur .
Solution
Posons pour .
Par application du critère spécial des séries alternées, converge simplement sur et
pour tout .
Par converge uniformément sur tout segment d’une série de fonctions continue, est définie et continue sur .
Par converge uniformément sur ,
Par application du critère spécial des séries alternées
Les fonctions sont de classe et la série de fonctions converge simplement.
La série est alternée avec .
Puisque
la suite décroît vers 0 à partir d’un certain rang.
Soit .
À partir d’un certain rang ,
et alors pour tout , on peut appliquer le critère spécial des séries alternées à partir du rang .
On a alors
donc
Ainsi, la série de fonctions converge uniformément sur .
Par théorème, on peut alors conclure que est de classe .
Pour , on pose
Déterminer la limite de quand .
Solution
Par le critère spécial des séries alternées, il est immédiat de justifier que est définie pour tout .
Soit . On peut réorganiser l’expression de de la façon suivante:
On constate la décroissance de la fonction
Par comparaison avec une intégrale, on obtient l’encadrement
Puisque par les calculs précédents
On obtient
et
Par encadrement, on conclut
Pour tout et tout on pose
Justifier que la fonction est définie sur .
Établir que pour tout ,
Établir que est continue sur puis que est continue sur et .
Établir la continuité de en .
Solution
Pour ,
donc est absolument convergente donc convergente.
Pour ,
donc converge en vertu du critère spécial des séries alternées.
Pour ,
donc est somme d’une série convergente et d’une série absolument convergente.
Soit .
donc converge normalement sur .
Par convergence uniforme d’une série de fonctions continues sur tout segment de , on peut affirmer que est continue sur . Puisque , est aussi continue sur et sur par composition de fonctions continues.
Pour , la série est alternée et la suite décroît vers 0 (après étude non détaillée ici) donc le critère spécial des séries alternées s’applique et
puis
La série de fonctions continues converge uniformément sur donc est continue sur et donc continue à gauche en 1. Par la relation du b) on obtient aussi continue à droite en 1.
[<] Étude pratique de la fonction somme d'une série alternée[>] Fonctions zêta et êta
Sur , on pose
Montrer que est définie et continue sur .
Étudier la monotonie de .
Calculer, pour ,
Déterminer un équivalent de en .
Établir
En déduire un équivalent de en .
Solution
Pour , posons
est définie et continue sur .
Soient . Pour tout ,
Ainsi,
La série de fonction converge normalement sur et donc converge uniformément sur ce segment. Par théorème de convergence uniforme, on en déduit que est continue sur . Or cela vaut pour tout de la forme précédente et est donc continue sur .
Chaque est croissante donc, par sommation de monotonie, est croissante.
donc
Par continuité,
puis
et donc, pour tout ,
On sait
et l’on sait
Puisque
on obtient
Pour , on pose
Montrer que est correctement définie et continue sur .
Étudier les variations de .
Étudier la limite de en puis un équivalent simple de en .
Vérifier
et en déduire un équivalent simple de en .
Solution
Sous réserve d’existence, est la somme de la série de fonctions avec
Pour ,
Par équivalence de séries à termes positifs, converge.
La série de fonctions converge simplement sur : cela assure la bonne définition de .
Chaque fonction est continue sur . Soit . Pour ,
La série de terme général converge et donc la série de fonctions converge normalement (et donc uniformément) sur . On en déduit que la fonction est continue sur . Or cela vaut pour tout , la fonction est donc continue sur .
Soient avec . Avec convergence,
On en déduit que la fonction est décroissante.
Pour tout , la fonction est de limite nulle en . Aussi, la série de fonctions converge uniformément sur . Par le théorème de la double limite,
Pour déterminer un équivalent, réalisons une comparaison série-intégrale. Soit . Par décroissance de la fonction , on a
(la minoration vaut pour et la majoration pour seulement). En sommant,
et donc
Par encadrement,
Pour ,
En passant à la limite quand tend vers l’infini,
Par continuité de en ,
Parallèlement,
On en déduit
Pour , on pose
Justifier que est définie et de classe sur .
Préciser le sens de variation de .
Établir
Donner un équivalent de en .
Donner un équivalent de en .
Solution
Sous réserve d’existence, est la somme de la série de fonctions avec
Par le critère spécial des séries alternées, converge simplement sur . Cela assure que est définie sur .
Les fonctions sont de classe sur avec
Soit . Sur ,
La série de fonctions converge donc normalement sur .
Par convergence uniforme sur tout segment de , on peut affirmer que est de classe sur avec
On peut appliquer le critère spécial des séries alternées à la série de somme . Celle-ci est donc du signe de son premier terme . Ainsi, et la fonction est décroissante sur .
Pour ,
On poursuit à l’aide d’un glissement d’indice avant de simplifier
Par continuité de ,
et donc, quand ,
Pour assez grand, la décroissance de permet d’écrire
avec
Par encadrement,
Pour , on pose
Montrer que est bien définie.
Montrer que est de classe .
Simplifier
Montrer que pour
Donner un équivalent de en 0 et en .
Solution
Posons donnée par
Par le critère spécial, converge pour chaque . Il y a convergence simple de la série de fonctions définissant .
Les fonctions sont de classe et pour
On a
Il y a convergence normale pour .
Il y a donc convergence uniforme de (pour ) et l’on peut donc conclure que est de classe .
Par glissement d’indice,
et donc
Posons
L’intégrale est bien définie pour et l’on remarque
Posons . La fonction est 2-périodique, montrons qu’elle tend vers en .
Par application du critère spécial,
donc
Par encadrement, tend vers en .
Le même raisonnement se transpose à .
On peut conclure que tend vers en puis, finalement, est la fonction nulle.
Par continuité,
et donc
On vérifie aisément que est décroissante et puisque
on obtient
On pose
Justifier que est définie et de classe sur .
Étudier les variations de et préciser ses limites en et en .
Établir
Donner un équivalent de en et en .
Pour , on pose
Justifier que est définie et continue sur .
Former une relation liant et .
Déterminer un équivalent de en et en .
Solution
Pour , on introduit . La fonction est continue sur .
Soit . Sur ,
La série de fonctions converge normalement sur donc converge uniformément sur tout segment de . Par théorème, la somme de la série est continue sur .
Pour ,
Ainsi,
Par convergence uniforme sur ,
On en déduit
Par continuité de ,
avec
donc
Pour tout et tout , on pose
Établir la convergence de la série de fonctions .
Justifier que la fonction somme est continue et strictement croissante sur .
Vérifier que pour tout
Étudier l’existence d’une limite finie à en .
Solution
Par le théorème des accroissements finis, on peut écrire avec . Puisque ,
Par suite,
La série est absolument convergente donc convergente. Ainsi, converge simplement sur .
Pour , l’étude qui précède donne
donc converge normalement sur . Par convergence uniforme sur tout segment d’une série de fonction continue, on peut affirmer que est continue. De plus, les fonctions sommées étant toutes strictement croissantes, la somme l’est aussi. En effet, pour ,
donne à la limite
Aussi puisque , on parvient à
Pour ,
avec convergence des deux séries introduites. Par glissement d’indice,
etn par étude la limite des sommes partielles,
On conclut à la relation proposée.
admet une limite en car c’est une fonction monotone. Pour déterminer celle-ci, étudions la limite de la suite . La nature de la suite est celle de la série de terme général
Or
est terme général d’une série absolument convergente.
On en déduit que la suite converge et que la fonction admet donc une limite finie en .
Montrer qu’il existe une unique fonction de limite nulle en et vérifiant
Montrer que est continue sur et intégrable sur .
Calculer
Soit continue décroissante et intégrable.
Montrer l’existence d’une fonction continue vérifiant
Solution
Puisque la fonction est décroissante, elle admet une limite en . Puisque la fonction est aussi intégrable cette limite est nécessairement nulle. En particulier, la fonction est positive.
Par télescopage, on observe
Si l’on adjoint (arbitrairement) la contrainte d’une limite nulle à en , on est tenté de poser
Il reste à montrer que cette fonction est bien définie et continue ce qui sera obtenu par un argument de convergence normale.
Soit . Pour ,
donc
Par intégrabilité de , il y a convergence de la série
et donc convergence normale de la série de fonctions
L’adjonction du terme d’indice ne change rien et l’on peut conclure.
On vient ainsi de trouver une solution au problème posé, d’autres solutions s’en déduisent par ajout d’une constante.
Déterminer continue vérifiant
Solution
Analyse: Supposons solution. Pour tout ,
Par récurrence, on établit que pour tout
Par continuité de en , on obtient lorsque tend vers
Cela détermine .
Synthèse: Sous réserve d’existence, posons
Soit . On a
Par équivalence à une série géométrique, la série converge absolument. La série converge simplement sur . La fonction est donc correctement définie sur .
Pour , on obtient par télescopage
Montrons enfin la continuité de .
Soit . Pour tout et tout ,
La série géométrique converge. Par majoration uniforme, la série de fonctions converge normalement sur . De plus, les fonctions sont continues sur . Par majoration uniforme sur tout , on peut affirmer que est continue sur .
Justifier l’existence de
pour tout .
Montrer que est -périodique et que l’on a
pour tout .
Solution
On a
d’où l’existence de la somme par convergence absolue.
Soit .
Or
À la limite quand , on obtient .
Soit à nouveau .
À la limite,
On définit la suite de fonctions :
Écrire avec Python une fonction S(N,x) renvoyant .
Écrire une fonction prenant trois paramètres N, a et b et traçant le graphe de sur le segment .
Montrer que la suite converge simplement sur vers une fonction que l’on notera .
Montrer que la convergence est uniforme sur tout segment de .
Montrer que est continue sur , impaire et -périodique.
Montrer
Montrer que la fonction vérifie la même relation.
Montrer que se prolonge par continuité sur . En déduire .
Solution
def S(N,x): if N == 0: return 1/x return S(N-1,x) + 1/(x-N) + 1/(x+N)
import matplotlib.pyplot as plt import numpy as np def trace(N,a,b): X = linspace(a,b,100) Y = [S(N,x) for x in X] plt.plot(X,Y)
Posons définie par
Par équivalence de séries à termes de signe constant, la série converge pour tout . On peut alors affirmer la convergence simple de la suite de fonctions vers une certaine fonction sur .
Soit inclus dans . Pour assez grand, on a
Soit . Pour tout et tout ,
Le facteur est négatif pour chaque terme sommé et par conséquent
En passant à la limite quand tend vers , on obtient la majoration uniforme
Puisque est le reste de rang d’une série convergente, est de limite nulle et l’on peut conclure que la suite de fonctions converge uniformément vers sur .
Les fonctions sont continues et par convergence uniforme sur tout segment, on peut affirmer que la fonction est continue sur .
Les fonctions sont impaires et par convergence simple, on peut affirmer que est une fonction impaire.
Enfin, on obtient que la fonction est -périodique en passant à la limite l’égalité
valable pour tout .
Pour tout , on remarque
On obtient la relation voulue en passant à la limite quand tend vers .
Pour , on a
Après réduction au même dénominateur
L’ensemble des fonctions vérifiant la relation proposée étant un sous-espace vectoriel, la fonction vérifie aussi cette relation.
Pour , on peut écrire
Par les arguments précédents, on peut affirmer que la fonction est continue sur . Aussi, on a par développement limité
donc
ce qui permet de prolonger par continuité en avec la valeur . Par périodicité, on peut prolonger par continuité avec la valeur en tout .
La fonction est continue sur le compact et y présente un maximum de valeur . Celui-ci est atteint en un certain . Or
et donc
Ainsi, le maximum de est aussi atteint en , puis en , etc. Finalement, le maximum de est atteint en et il est donc de valeur nulle. De même, on montre que le minimum de est nul et l’on peut conclure
(Un développement eulerien)
Étudier la continuité de la fonction définie par
Étudier la périodicité de la fonction .
Soient un réel et une fonction continue de vers telle que
Montrer que la fonction est identiquement nulle.
En déduire que pour tout réel non entier,
On définit une suite de fonctions de dans en posant constante égale à puis
Montrer que les fonctions sont bornées et vérifier
Pour , on pose
Montrer que est bien définie sur et déterminer une équation différentielle vérifiée par .
En déduire une expression simplifiée de .
Solution
La fonction est continue car constante puis, par récurrence, les fonctions sont continues car chacune primitive d’une fonction continue (on établit de la même façon que les fonctions sont indéfiniment dérivables). On en déduit que les fonctions sont bornées car continues sur un segment.
Pour ,
et donc
Sachant , on obtient
On en déduit la convergence normale de la série de fonctions . Aussi, pour assez grand,
On peut donc établir la convergence normale des séries et et affirmer que est de classe avec
La fonction est solution de l’équation différentielle .
La fonction vérifie aussi et ce qui entraîne . La résolution de l’équation différentielle avec ces conditions donne
On définit une suite de fonctions de vers en posant
Montrer que la série de terme général est normalement convergente.
Montrer que la somme de cette série de fonctions est dérivable et vérifie
Solution
Remarquons que pour tout ,
Pour ,
Par une récurrence facile,
Par la remarque initiale, pour tout ,
donc
On peut conclure que la série est normalement convergente.
Puisque et pour , on a déjà . Notons aussi que la fonction est continue car somme d’une série de fonctions continues convergeant uniformément.
Pour tout ,
La convergence normale de la série de fonctions entraîne celle de la série des fonctions continues . On peut alors intégrer terme à terme et écrire
La fonction est la primitive s’annulant en de la fonction continue . On en déduit que est de classe et
Soit une suite de réels de de limite . Déterminer les fonctions vérifiant
Solution
Soit une fonction solution. Puisque celle-ci est continue sur un segment, elle y admet un minimum en un certain . On a alors
On en déduit
En passant à la limite quand , on obtient
Ainsi, est la valeur minimale de sur .
Un raisonnement symétrique assure aussi que est la valeur maximale de sur .
On en déduit que est constante et la réciproque est immédiate.
Trouver les fonctions telles que
Solution
Les fonctions constantes sont solutions et les solutions forment un sous-espace vectoriel.
Soit une solution. Quitte à ajouter une fonction constante, on peut supposer .
Pour ,
donc
Posons .
Pour , on a pour tout . On en déduit
Ainsi, puis, en itérant, pour tout .
Or pour ,
et (car ). On en déduit que sur .
Finalement, est nulle sur puis aussi en par continuité.
[<] Fonction solution d'équations fonctionnelles[>] Limite de sommes
(La fonction de Riemann )
On pose
Montrer que la fonction est définie et de classe sur .
Déterminer un équivalent de la fonction en .
Déterminer la limite de la fonction en ainsi qu’un équivalent de quand tend vers l’infini.
(La fonction de Riemann)
On pose
Montrer que la fonction est définie et de classe sur .
Préciser la monotonie et la convexité de la fonction .
Déterminer la limite de la fonction en .
Déterminer un équivalent de la fonction en .
Établir la convexité de la fonction .
Si , on pose
Quelle est la limite de quand ?
Pour quels réels la série converge-t-elle?
Si
montrer que est continue sur et de classe sur .
Donner une expression plus simple de
Solution
Posons définie sur .
La série de fonctions converge simplement sur ce qui assure la bonne définition de .
Plus précisément, pour , on a
et il y a donc convergence normale (et donc uniforme) de la série de fonctions sur .
Puisque
on peut appliquer le théorème de la double limite et affirmer que tend en vers la somme convergente des limites
Posons . Pour , on a
Par le critère de d’Alembert, la série converge pour et diverge pour (en fait le rayon de convergence de cette série entière vaut 1).
Pour , il y a divergence car
Pour , il y a convergence en vertu du critère spécial des séries alternées. En effet, la suite est alternée et décroît en valeur absolue vers 0 notamment car .
En tant que somme d’une série entière de rayon de convergence , la fonction est assurément de classe (et même ) sur .
Les fonctions sont continues sur et l’on vérifie que la série satisfait le critère spécial des séries alternées pour tout . On peut alors majorer le reste de cette série par son premier terme
Ce dernier majorant étant uniforme de limite nulle, on peut affirmer qu’il y a convergence uniforme de la série de fonctions sur et sa somme est donc continue.
Par dérivation de la somme d’une série entière, on obtient pour ,
On peut permuter les deux sommes par sommabilité car il y a convergence des séries
On en déduit après sommation géométrique
La série de fonctions associée converge normalement sur tout segment de et l’on peut donc intégrer terme à terme
Soient
Déterminer les domaines de définition des fonctions et .
Justifier que les fonctions et sont continues.
Établir la relation pour tout .
Solution
est définie sur et est définie sur (via le critère spécial des séries alternées)
est continue.
Pour tout ,
donc
or converge donc converge normalement sur puis converge uniformément sur tout segment inclus dans . Par théorème, on obtient que la fonction est continue.
est continue.
Par le critère spécial des séries alternées
Pour tout ,
donc converge uniformément sur puis converge uniformément sur tout segment inclus dans . Par théorème on obtient que la fonction est continue sur .
Pour
(La fonction de Dirichlet)
On pose
Montrer que la fonction est définie et de classe sur .
Déterminer la limite de la fonction en par valeurs supérieures.
On pose
Montrer que est définie et de classe sur .
Solution
Par le critère spécial des séries alternées, est bien définie sur .
est de classe sur et
La suite est alternée. Étudions
On a
Pour , donc décroissante sur . Ainsi est décroissante à partir du rang et tend vers 0. On peut donc appliquer le critère spécial des séries alternées. Pour et pour on a pour tout ,
donc
converge uniformément sur (pour tout ) donc converge simplement sur et converge uniformément sur tout segment de .
Par théorème, on peut alors conclure que est de classe sur .
Soit
Montrer la définition de pour .
Montrer qu’alors
En déduire un prolongement continu de sur
Solution
Soit avec . Pour tout ,
Par conséquent, si , la série converge absolument et donc converge.
Soit tel que . En développant
Par absolue convergence, on peut séparer la première somme en deux paquets, celui des termes d’indices pairs et celui des termes d’indices impairs. Il vient alors
(1) |
En regroupant ces sommes, on obtient
avec sommabilité de la somme en second membre.
Pour fixé, la fonction est de classe sur et
Par l’inégalité des accroissements finis
donc
Introduisons alors
Les fonctions sont continues sur et pour tout
La série de fonctions converge normalement sur et sa fonction somme est définie et continue sur . Ceci valant pour tous et strictement positifs, on obtient que est définie et continue sur . Enfin, la fonction étant continue et ne s’annulant pas sur , on peut prolonger par continuité sur en posant
Soit une suite de réels strictement positifs de limite . Lorsque cela a un sens, on pose
Montrer que la fonction est définie sur un intervalle et que, s’il n’est pas vide, cet intervalle est non majoré.
Montrer que la fonction est continue sur .
Donner un exemple de suite pour laquelle:
l’intervalle est vide;
l’intervalle est ouvert non vide;
l’intervalle est fermé non vide.
Solution
Supposons le domaine de définition non vide. Considérons . Puisque la suite tend vers l’infini, il existe un rang au delà duquel tous ses termes sont supérieurs à . Pour tout réel et tout
Par comparaison de séries à termes positifs, on peut affirmer la convergence de la série définissant . Ainsi,
Lorsqu’il n’est pas vide, le domaine est donc un intervalle non majoré.
Les fonctions sont continues sur et l’on a la convergence normale de la série de fonctions sur tout intervalle inclus dans car
avec convergente.
Par théorème, on peut affirmer que la fonction somme de est continue.
Pour , .
Pour , (cf. séries de Riemann).
Pour , (cf. séries de Bertrand).
[<] Fonctions zêta et êta[>] Suites et séries de fonctions vectorielles
Par une interversion série-limite, montrer que pour tout
Solution
Par la formule du binôme de Newton,
Considérons définies par
En tout ,
La série de fonctions converge simplement vers en tout . De plus, puisque , la convergence est normale sur . Pour fixé,
Par le théorème de la double limite,
c’est-à-dire
Montrer que pour tout ,
On pourra exploiter le théorème d’interversion limite/somme.
Solution
Posons
Pour fixé,
Pour ,
et cette majoration vaut aussi pour .
Ainsi,
et la série converge donc normalement sur .
Par interversion limite/somme infinie,
Ainsi,
Déterminer la limite de
[<] Limite de sommes[>] Approximations uniformes
Étudier la définition et la continuité de la fonction déterminée par
Pour convenable, on pose
Déterminer le domaine de définition de .
Établir que la fonction est continue sur le domaine correspondant.
On note le disque unité ouvert:
Pour , on pose
Montrer que est bien définie sur .
Montrer que est continue sur .
Solution
On introduit
de sorte que, sous réserve d’existence,
Soit .
Cas: . La convergence de la série est immédiate.
Cas: . Pour tout , et
Par le critère de d’Alembert, la série converge absolument.
Finalement, la série de fonctions converge simplement sur ce qui assure la définition de sur .
Pour tout , la fonction est continue sur .
Soit . Pour tout ,
Puisque la série converge, la série de fonctions converge normalement sur .
Par convergence uniforme, la fonction est continue sur . Or cela vaut pour tout , la fonction est donc continue sur .
Pour et , on pose . Pour convenable, on considère
Montrer que la fonction est définie sur .
Établir que la fonction est continue sur .
Étudier la limite quand .
Solution
On introduit
Sous réserve d’existence, est la somme de la série .
Soit . On remarque
Puisque , la série converge absolument et donc converge.
Par convergence simple sur , la fonction est définie sur .
Pour tout , est continue sur .
Soient et .
Pour ,
La série converge et donc converge normalement sur .
Par convergence uniforme, est continue sur . Or cela vaut pour tout et donc est continue sur .
Pour ,
Par convergence uniforme sur , on peut employer le théorème de la double limite et affirmer
On suppose muni d’une norme vérifiant11 1 De telles normes existent: voir le sujet 4136 ou le sujet 4253.
Soient non nulle et avec . Pour , on pose
Montrer que est bien définie sur et que .
Justifier que est de classe sur et que .
On suppose muni d’une norme notée vérifiant
Soit . Pour on pose
Montrer que est bien définie.
Justifier que est de classe et que
Solution
avec donc la série converge simplement.
Soit . est de classe et de dérivée avec
terme général d’une série convergente. La série des fonctions dérivées converge donc normalement sur ce qui assure que est de classe sur et
Or
donc .
Soit une algèbre de dimension finie munie d’une norme vérifiant
Soit vérifiant . Montrer que est inversible et exprimer son inverse comme la somme d’une série.
Montrer que l’application est continue en .
Montrer que l’application est continue.
Solution
Puisque et , la série est absolument convergente et sa somme vérifie donc est inversible d’inverse .
Pour , on montre par convergence normale la continuité de sur . On en déduit que est continue en .
Soit . Quand alors donc puis
Ainsi, est continue en chaque .
[<] Suites et séries de fonctions vectorielles
Soit continue telle que . Montrer qu’il existe une suite de polynômes telle que
Solution
Par le théorème de Weierstrass, il existe une suite de fonctions polynomiales telles .
On a alors
Posons
On vérifie alors sans peine que
Soit continue telle que . Montrer qu’il existe une suite de polynômes telle que
Solution
Par le théorème de Weierstrass, il existe une suite de fonctions polynomiales telles . Posons pour un certain . Montrons que . Notons que pour un certain . Pour tout , pour assez grand, donc et donc . Ainsi . Il suffit ensuite de considérer pour obtenir une solution au problème posé.
Soit une fonction de classe .
Montrer qu’il existe une suite de fonctions polynomiales convergeant uniformément vers sur et pour laquelle la suite converge aussi uniformément vers sur .
Solution
Méthode: La principale contraite est la convergence uniforme de la suite de dérivées. Par intégration, on construira la suite de polynômes voulue à partir d’une suite réalisant la convergence uniforme vers la fonction dérivée.
Par le théorème de Weierstrass, il existe une suite de fonctions polynomiales telle
Posons alors
La fonction est polynomiale. Pour tout , l’inégalité
permet d’établir que
Puisque , la suite est solution du problème posé.
(Théorème de Weierstrass: preuve par les polynômes de Bernstein)
Pour et , on pose
Calculer
Soient et . On forme
Montrer que
Soit continue. On pose
Montrer que converge uniformément vers sur .
Solution
On a
On a
via et la relation précédente
De manière semblable
On a
car les sont positifs sur .
Par suite,
d’où
Pour tout , par l’uniforme continuité de , il existe tel que
On a alors
donc
Pour assez grand, on a
et donc uniformément en .
(Théorème de Weierstrass: preuve par convolution)
désigne un entier naturel.
On pose
et l’on considère la fonction définie par
Calculer . En déduire que
Soit . Montrer que converge uniformément vers la fonction nulle sur .
Soit une fonction continue de vers nulle en dehors de .
Montrer que est uniformément continue.
On pose
pour tout .
Montrer que est une fonction polynomiale sur
Montrer que
En déduire que converge uniformément vers sur .
Soit une fonction réelle continue nulle en dehors de .
Montrer que est limite uniforme d’une suite de polynômes.
Soit une fonction réelle continue sur .
Montrer que est limite uniforme d’une suite de polynômes.
Solution
On a
On en déduit
Sur ,
Sur le compact , est uniformément continue car est continue. Ainsi:
Pour , on a pour tous tels que
Si alors
Sinon ou et alors
On a
Or
donc
Mais
pour car et alors que est nulle en dehors que . Il s’ensuit que est polynomiale.
On observe que
et la relation proposée est alors immédiate sur .
On a
et alors
Or
donc pour assez grand
et alors
Il suffit de commencer par approcher la fonction qui vérifie les conditions de la question précédente.
Soit tel que . Il suffit de prolonger par continuité de sorte qu’elle soit nulle en dehors de .
Soit continue telle que, pour tout ,
Montrer que est la fonction identiquement nulle.
Soit une fonction continue vérifiant
Montrer que est une fonction impaire.
Solution
On introduit les parties paire et impaire de :
Soit une suite de polynômes convergeant uniformément vers sur .
D’une part, pour tout ,
On réexprime la seconde intégrale par le changement de variable et l’on obtient
Or la fonction polynôme ne comporte que des puissances paires de et l’hypothèse donne
D’autre part,
et donc
La fonction est continue, positive et d’intégrale nulle, c’est la fonction nulle.
On conclut que est égale à , c’est-à-dire que est une fonction impaire.
Cette étude peut être interprétée en terme d’orthogonalité dans l’espace des fonctions réelles continues sur muni du produit scalaire
Soit . On suppose que pour tout ,
Montrer que la fonction est identiquement nulle.
Calculer
En déduire qu’il existe dans , non identiquement nulle, telle que
Solution
Par combinaison linéaire, on remarque que pour tout polynôme ;
Par le théorème de Weierstrass, pour tout , il existe tel que .
En faisant tendre vers par valeurs supérieures, on obtient . Sachant que la fonction est continue et positive, c’est nécessairement la fonction identiquement nulle et donc .
L’intégrale étudiée est bien définie. Par intégration par parties généralisée,
Or donc
donc
puis
On note l’espace vectoriel des fonctions réelles définies et continues sur et dont le carré est intégrable. On le munit de la norme
On note l’ensemble des telles que est nulle hors d’un certain segment (avec pouvant dépendre de ).
On note l’ensemble des fonctions de de la forme avec parcourt .
Montrer que est dense dans puis que est dense dans .
Solution
Soit une fonction élément de .
Pour tout , il existe un réel vérifiant
Considérons alors la fonction définie par pour , pour et pour . La fonction est éléments de et
Ainsi, est dense dans .
Pour montrer maintenant que est dense dans , nous allons établir que est dense dans .
Soit une fonction élément de . Remarquons
La fonction est intégrable sur car
La fonction peut être prolongée par continuité en 0 car est nulle en dehors d’un segment. Par le théorème de Weierstrass, pour tout , il existe un polynôme vérifiant et, pour , on a alors
Cela permet de conclure à la densité proposée.
(Lemme de Lebesgue)
Soit continue par morceaux. Montrer
Soit continue par morceaux. On désire établir
Vérifier le résultat pour une fonction constante.
Observer le résultat pour une fonction en escalier.
Étendre au cas où est une fonction continue par morceaux.
Solution
Supposons constante égale à .
Par le changement de variable et emploi de la relation de Chasles,
avec et . On a
De plus, pour ,
et donc
Ainsi,
puis
Supposons en escalier.
Soit une subdivision adaptée à . Par l’étude qui précède, pour ,
Puis en sommant par la relation de Chasles
Supposons enfin continue par morceaux.
Pour , il existe en escalier vérifiant
Puisque
pour assez grand, on a
Or
et
donc
Ainsi,
Édité le 17-06-2025
Bootstrap 3
-
LaTeXML
-
Powered by MathJax