[>] Convergence dominée sur intervalle variable
Étudier les limites suivantes:
.
Étudier la limite quand tend vers l’infini de
Solution
Pour ,
Aussi,
avec intégrable.
Par convergence dominée,
Étudier la limite quand tend vers l’infini de
Solution
L’intégrale définissant existe pour (cf. domination à suivre).
Pour ,
Aussi,
En effet, pour , on a pour tout .
La fonction est intégrable sur car négligeable devant en .
Par convergence dominée,
Étudier la limite quand tend vers l’infini de
Solution
Pour ,
Aussi,
avec intégrable (fonction de référence).
Par convergence dominée,
Calculer
Solution
La fonction intégrée ne converge pas simplement en les . Pour contourner cette difficulté on raisonne à l’aide de valeurs absolues.
On a
avec
Les fonctions et sont continues par morceaux et
avec continue par morceaux intégrable sur .
Par convergence dominée,
Établir que
Soit . Vérifier
Pour , établir
En déduire une expression de à l’aide de nombres factoriels.
En employant la formule de Stirling, donner la valeur de .
Solution
Les fonctions données par
sont définies et continues par morceaux sur .
La suite de fonctions converge simplement vers avec définie et continue par morceaux sur .
Soit fixé. Pour , en développant par la formule du binôme de Newton
car les points de suspensions sont formés de termes tous positifs.
Ainsi,
La fonction est continue et intégrable sur .
Par convergence dominée,
Il suffit de réaliser le changement de variable .
On remarque
À l’aide d’une intégration par parties correctement justifiée,
et donc
On obtient la relation de récurrence
Sachant , on obtient
On a
car, par la formule de Stirling et de multiples simplifications,
Vérifier que la suite de terme général
est bien définie et étudier sa convergence.
Solution
Posons
La fonction est définie et continue par morceaux sur et intégrable sur cet intervalle car Quand ,
Soit . Quand , et la suite converge simplement vers la fonction nulle.
De plus, pour , on a, sachant ,
et pour ,
Ainsi, avec
La fonction étant intégrable sur , on peut appliquer le théorème de convergence dominée et affirmer
Étudier la limite éventuelle, quand tend vers , de la suite
Solution
En découpant l’intégrale,
D’une part,
D’autre part, par convergence dominée (fonction de domination intégrable sur ),
On en déduit
Étudier la limite quand tend vers l’infini de
Solution
Notons que l’intégrale définissant existe pour car la fonction intégrée est dominée par en et est prolongeable par continuité en .
Dans cette étude, on ne peut appliquer le théorème de convergence dominée sur après une majoration de par car la fonction dominante n’est pas intégrable sur . Une solution pour contourner cette difficulté est de découper l’intégrale
On a
Par le théorème de convergence dominée (fonction de domination ),
et donc
Aussi,
Pour ,
avec pour tout .
De plus,
avec intégrable. Par convergence dominée,
Finalement,
Étudier la limite quand tend vers l’infini de
Solution
En découpant l’intégrale,
D’une part,
D’autre part,
On conclut
On peut aussi appliquer le théorème de convergence dominée mais c’est un peu moins efficace.
Montrer
Calculer
Solution
On a
La fonction est intégrable sur .
Aussi,
car est terme général d’une série à termes positifs divergente.
Par suite,
Par convergence dominée,
Soit une fonction continue. Étudier la limite quand tend vers de
Soit continue et bornée. On pose, pour ,
Déterminer la limite de quand .
Solution
Par le changement de variable (avec ),
Par convergence dominée, sachant
avec intégrable, on obtient
Soit continue et bornée.
Déterminer la limite quand de
Solution
Par le changement de variable (pour ),
Posons alors définie sur .
La suite de fonctions converge simplement vers
Les fonctions et sont continues par morceaux sur .
Pour ,
avec intégrable.
Par convergence dominée,
Soit de classe intégrable ainsi que sa dérivée.
Déterminer pour
Préciser le mode de convergence.
Solution
Pour , posons
L’intégrabilité de assure que est bien définie.
Puisque est intégrable, la fonction admet une limite finie en et, puisque est aussi intégrable, tend vers en . Par intégration par parties, on obtient alors
Posons .
Chaque fonction est continue par morceaux.
La suite de fonctions converge simplement vers une fonction continue par morceaux, nulle en chaque .
La fonction limite simple est continue par morceaux.
Enfin, on a la domination
avec la fonction intégrable.
Par convergence dominée,
et, par comparaison,
On vient déjà d’obtenir une convergence simple de la suite de fonctions vers la fonction nulle. Montrons qu’il s’agit en fait d’une convergence uniforme.
Par changement de variable,
Soit . Puisque la fonction est intégrable, il existe tel que
et alors
Pour ,
et donc
Pour , on a par changement de variable
Pour entier tel que .
Or et donc
Finalement, pour tout ,
et donc pour assez grand, on a pour tout .
Il y a donc convergence uniforme vers la fonction nulle.
Soit une fonction continue et intégrable. On suppose qu’il existe un réel positif vérifiant
Montrer que la fonction est intégrable sur .
Calculer
[<] Convergence dominée[>] Applications de la convergence dominée
Soit continue.
On suppose que la fonction admet une limite finie en vers une limite finie .
Déterminer la limite quand de
Solution
Par changement de variable,
La fonction est continue sur et admet une limite finie en , c’est donc une fonction bornée par un certain .
Par convergence dominée (domination par la fonction consante intégrable sur ),
Étudier
Solution
Posons
Pour , à partir d’un certain rang et
Ainsi, la suite converge simplement vers .
En vertu de l’inégalité , on obtient
et ce que ou non.
La fonction est intégrable sur .
Par application du théorème de convergence dominée,
Étudier
Solution
Posons
Pour , à partir d’un certain rang et
Ainsi, la suite converge simplement vers .
En vertu de l’inégalité , on obtient
et ce que ou non.
La fonction est intégrable sur .
Par application du théorème de convergence dominée,
Déterminer
Solution
Posons
Soit . Pour assez grand,
Ainsi, la suite de fonctions converge simplement vers sur .
Soit définie par . La fonction est de classe avec
Pour , .
Par ce tableau de variation,
On en déduit que, pour ,
puis
Cette inégalité vaut aussi pour et puisque la fonction est intégrable sur , on peut appliquer le théorème de convergence dominée et affirmer
(la dernière intégrale est une valeur « connue »).
Justifier
En exprimant un développement de la fonction en , déterminer un changement de variable judicieux pour établir
On donne
Solution
Considérons la fonction définie par
La fonction est dérivable (et même de classe ) sur avec
Or la fonction est concave sur et son graphe est donc au-dessus de la corde joignant les points d’abscisses et . On a donc
La fonction est croissante sur . Or et donc est positive sur . On en déduit l’inégalité demandée.
On peut écrire
Pour parvenir à une limite finie non nulle quand , il serait pertinent que la variable s’exprime . On réalise donc le changement de variable . Pour celui-ci,
Introduisons donnée par
Soit . Lorsque tend vers l’infini, pour assez grand, et alors
La suite de fonctions converge donc simplement vers sur .
Aussi, par l’inégalité établie en première question, on a pour tout
Par l’inégalité classique , on poursuit
Cette inégalité est aussi vraie pour et la fonction est assurément intégrable sur . Par convergence dominée,
On en déduit
Soit continue et intégrable.
Déterminer la limite quand tend vers de
On introduit la constante d’Euler
En utilisant une suite de fonctions judicieuse, exprimer à l’aide du réel l’intégrale suivante
(Formule de Stirling)
On donne11 1 La première intégrale se déduit de l’intégrale de Gauss calculée dans le sujet 545 par parité et le changement de variable . La seconde intégrale s’obtient par intégrations par parties successives comme détaillé dans le sujet 678.
Calculer
Déterminer
Calculer
Retrouver ainsi la formule de Stirling.
[<] Convergence dominée sur intervalle variable[>] Intégration terme à terme
Montrer l’intégrabilité de la fonction donnée par
Déterminer un équivalent simple de
Solution
La fonction est définie et continue par morceaux sur .
D’une part,
On peut donc prolonger par continuité en .
D’autre part,
Par suite, est intégrable sur .
Considérons
Posons . Pour ,
De plus, sachant pour tout , on a
avec intégrable.
Par convergence dominée,
On en déduit
Soit continue, bornée et telle que .
Déterminer un équivalent simple de la suite déterminée par
Solution
Soit . Par le changement de variable ,
Par convergence dominée, sachant
avec continue par morceaux et intégrableu sur , il vient
(et l’on établit aussi l’existence de l’intégrale définissant ).
Par le changement de variable , cette dernière intégrale peut être liée à l’intégrale de Gauss,
On conclut
Déterminer un équivalent de
Solution
Par changement de variable,
Par le théorème de convergence dominée,
donc
Déterminer un équivalent quand de
Solution
La convergence de l’intégrale proposée est facile.
En découpant l’intégrale,
Dans la somme proposée, le terme intégrale ne dépend de l’indice sommation donc
On remarque
et
par application du théorème de convergence dominée.
Par le changement de variable ,
Au final,
Pour , on pose
Justifier l’existence de l’intégrale définissant .
Calculer .
En déduire l’identité
Pour , on pose
Justifier l’existence de l’intégrale définissant .
Montrer que la suite converge et trouver sa limite.
Étudier la convergence de et calculer son éventuelle somme.
Solution
Soit . Introduisons définie par
La fonction est continue par morceaux et intégrable car
La suite de fonctions converge simplement vers
Les fonctions et sont continues par morceaux et, pour tout et tout ,
La fonction est intégrable et par convergence dominée
On remarque pour tout et, par intégration en bon ordre, . On en déduit que la série est alternée et que son terme général décroît en valeur absolue vers : la série converge par application du critère spécial.
Pour tout ,
Or
car On en déduit
Pour calculer, cette dernière intégrale, on réalise le changement de variable puis la décomposition en éléments simples
Au terme des calculs
Soient et strictement positifs. On définit deux suites et par
Montrer que les suites et convergent vers une même limite.
On note la limite commune de ses suites.
On pose
Montrer
On pourra utiliser le changement de variable .
Montrer
Solution
Sans perte de généralités, on suppose .
Les suites et sont bien définies et à termes positifs. Par l’inégalité , on obtient . On en déduit la croissance de et la décroissance de . Ces suites sont monotones et bornées donc convergentes. Notons et leurs limites. Par passage à la limite de la relation définissant en fonction de et , on obtient
On en déduit .
L’intégrale définissant est convergente car
La fonction de changement de variable est de classe strictement croissante sur . Après calculs,
Par parité de la fonction intégrée,
On a
et donc
Par convergence dominée avec la fonction de domination
on obtient
car .
Donner un équivalent simple quand tend vers l’infini à
Solution
Soit . Réalisons le changement de variable . Par celui-ci,
Introduisons
Pour ,
et donc
Aussi, pour tout ,
en vertu de l’inégalité bien connue pour tout .
La fonction est intégrable. Par convergence dominée,
Ainsi,
Notons que par une intégration terme à terme, on peut établir
Soit une fonction continue. On pose
Déterminer la limite de la suite .
On suppose et de classe .
Donner un équivalent simple de .
On suppose toujours mais seulement continue.
Donner un équivalent simple de .
Solution
On peut montrer que la suite est de limite nulle en appliquant le théorème de convergence dominée ou, plus rapidement, en raisonnant par comparaison. Privilégions cette dernière démarche. La fonction étant continue sur le segment , elle y est bornée par un certain réel . On a alors
On en déduit que la suite tend vers .
Par intégration par parties,
De retour au cas général ce qui précède invite à étudier la limite de ou, parce que cela est plus commode, celle de .
Méthode: On réexprime à l’aide d’un changement de variable.
Par le changement de variable pour lequel , on obtient
Appliquons alors le théorème de convergence dominée à la suite des fonctions définies11 1 On exclut artificiellement la borne pour simplifier (un peu) l’étude. sur par
Pour tout , on obtient par continuité de
La suite de fonctions converge donc simplement vers la fonction sur . Les fonctions et la fonction sont continues par morceaux sur et, pour tout et tout ,
Par convergence dominée,
Soit une fonction de classe . On pose
Déterminer la limite de la suite .
On suppose . Donner un équivalent simple de .
On suppose désormais et l’on pose
Montrer la convergence de l’intégrale définissant .
Montrer la convergence de la série et donne sa somme en fonction de .
Solution
On peut montrer que la suite est de limite nulle en appliquant le théorème de convergence dominée ou, plus rapidement, en raisonnant par comparaison. Privilégions cette dernière démarche. La fonction étant continue sur le segment , elle y est bornée par un certain réel . On a alors
On en déduit que la suite tend vers .
Par intégration par parties,
La fonction est définie et continue sur . De plus,
L’intégrale définissant est donc faussement généralisée en .
Pour ,
Avec convergence, on peut séparer l’intégrale en deux
En adaptant l’étude de la première question, on établit
et l’on conclut
Soit une application réelle de classe sur avec et . Soit la suite de fonctions telle que
Déterminer la limite simple de .
Établir l’égalité
Montrer que
Solution
converge simplement vers la fonction donnée par
Sachant avec intégrable sur , on peut appliquer le théorème de convergence dominée et l’on obtient directement le résultat proposé.
Par intégration par parties,
D’une part,
car .
D’autre part,
sachant .
Au final,
Pour et , on pose
Soit une fonction continue sur et nulle en dehors d’un segment .
Montrer que
Solution
L’intégrale
est bien définie.
Par le changement de variable bijectif de classe
avec
est continue par morceaux, converge simplement vers continue par morceaux avec
Pour assez grand de sorte que on a pour tout , ,
et cette inégalité vaut aussi pour .
La fonction étant continue par morceaux et intégrable sur , on peut appliquer le théorème de convergence dominée et conclure sachant
Soit une application continue décroissante de dans , tendant vers 1 en et vers en . Soient deux réels et vérifiant .
Déterminer la limite éventuelle de
On pose
Déterminer un équivalent de lorsque tend vers .
Solution
Appliquons le théorème de convergence dominée.
Posons définie par
Pour , on a .
Pour , on a .
Enfin, pour , .
Ainsi, la suite de fonctions converge simplement sur vers définie par
Les fonctions sont continues et la limite simple est continue par morceaux.
Enfin,
avec continue par morceaux et intégrable.
Par convergence dominée,
Par la décroissance de , on peut écrire
En sommant ces inégalités,
et
Par convergence dominée, on obtient la limite de ce terme de façon analogue à ce qui précède et l’on conclut
Pour , on pose
Former une relation entre et pour .
Justifier la convergence de la suite de terme général
En déduire qu’il existe tel que
Exprimer à l’aide d’une intégrale.
Solution
Soit . Par intégration par parties,
On en déduit
Pour , en tant qu’intégrale d’une fonction continue positive non identiquement nulle. On peut donc introduire et, pour ,
La série télescopique est donc absolument convergente. Par le lien suite-série, la suite converge.
En notant la limite de , on obtient par continuité de l’exponentielle
et donc
Pour déterminer , il suffit de calculer
Pour ,
Cela invite au changement de variable . Par celui-ci,
Introduisons
de sorte que
Pour , lorsque tend vers l’infini alors, pour assez grand,
Aussi, pour tout , l’inégalité donne
Cette inégalité vaut aussi pour .
La fonction est continue par morceaux et intégrable.
Par convergence dominée,
Ainsi,
Rappeler une condition nécessaire et suffisante pour qu’une fonction dérivable sur un intervalle soit strictement croissante.
Soit continue dont l’ensemble des zéros est d’intérieur vide et .
Montrer qu’il existe une unique subdivision de vérifiant:
Soit continue. Calculer
Solution
Une fonction dérivable sur un intervalle y est strictement croissante si, et seulement si, sa dérivée est positive et n’est nulle sur aucun sous-intervalle non réduit à un point (l’ensemble des zéros est d’intérieur vide).
L’application est une bijection continue strictement croissante de vers avec l’intégrale de sur . Les sont alors déterminés par
On peut écrire
Montrons par application du théorème de convergence dominée
On écrit
avec
Les fonctions et étant continues sur un segment, on peut les borner et il est facile d’acquérir l’hypothèse de domination. Le plus difficile est d’obtenir la convergence simple…
Soit .
Si alors .
Si alors, il existe et tels que
Pour l’indice tel que , on a (selon que l’intervalle est de longueur supérieure ou inférieure à )
On en déduit puis , et, par continuité de , .
Par application du théorème de convergence dominée, on peut conclure
[<] Applications de la convergence dominée[>] Non-intégration terme à terme
Montrer
Solution
Pour tout , on obtient par sommation géométrique de raison avec ,
Posons
Les fonctions sont positives.
La série de fonctions converge simplement sur en vertu des calculs qui précèdent.
Les fonctions sont intégrables sur car
Par le théorème d’intégration terme à terme positif, on a l’égalité
Par intégration par parties généralisée, on établit
On peut alors conclure
En substance, la fonction est intégrable sur (mais on aurait aussi pu l’établir préalablement sans difficultés).
Soit . Établir l’identité
Soient . Établir
Solution
Par sommation géométrique,
Posons définie par
Les fonctions sont continues par morceaux, la série de fonctions converge simplement sur et sa somme est continue par morceaux puisque c’est la fonction
Les fonctions sont intégrables sur et par intégration par parties
Puisque la série converge, on peut appliquer le théorème d’intégration terme à terme et l’on obtient
Établir que pour tout
Solution
Notons que est bien définie.
Pour tout ,
donc
Les fonctions sont continues par morceaux, converge simplement sur et est de somme continue par morceaux.
Les fonctions sont intégrables sur et
La série converge donc on peut intégrer terme à terme
Montrer11 1 Connaissant , cette étude détermine la valeur (non triviale) de l’intégrale.
Existence et calcul de
Le résultat est à exprimer à l’aide de .
Solution
Pour , on peut écrire
Or
Sachant que la série des intégrales des valeurs absolues converge, le théorème d’intégration terme à terme donne
avec en substance la convergence de l’intégrale étudiée.
Justifier l’existence et donner la valeur de
Solution
La fonction
est définie et continue par morceaux sur . Puisque
la fonction est intégrable sur .
Puisque
la fonction est intégrable sur .
On en déduit que l’intégrale étudiée converge.
L’application est une bijection de classe décroissante de vers . Par le changement de variable généralisé ,
avec converge de l’intégrale obtenue.
Par sommation géométrique,
Par intégration par parties généralisée,
Puisqu’il y a convergence de la série de terme général
on peut intégrer terme à terme et ainsi
Sachant
on conclut
Établir
En déduire
Calculer cette somme sachant
Solution
Par intégration par parties généralisée,
et donc
Sur ,
Posons .
Les sont continues par morceaux et la série de fonctions converge simplement vers elle-même continue par morceaux sur .
On a
et la série converge donc on peut intégrer terme à terme la série de fonctions et donc
En séparant les termes pairs et les termes impairs (ce qui se justifie en transitant par les sommes partielles)
Établir
En déduire
Cette valeur est appelée constante de Catalan, elle vaut approximativement .
Solution
Par une intégration par parties avec convergence du terme entre crochet (car )
On obtient donc
avec convergence des intégrales proposées
Pour tout élément de ,
Posons .
Les sont continues par morceaux et la série de fonctions converge simplement vers elle-même continue par morceaux sur .
et la série converge donc on peut intégrer terme à terme la série de fonctions et donc
Rq: on aurait aussi pu exploiter .
Prouver l’égalité
Solution
Pour , on peut écrire
et pour , on a
Considérons alors la série des fonctions
Par convergence des séries précédentes, la série des fonctions converge simplement vers la fonction . Les fonctions et la fonction somme sont continues par morceaux.
Chaque fonction est intégrable et
Par intégration par parties, on montre
On peut alors appliquer le théorème d’intégration terme à terme et affirmer
Soit avec . Établir
Solution
Pour ,
avec sur .
Les fonctions sont continues par morceaux et la somme l’est aussi.
Les fonctions sont intégrables sur et, par intégration par parties généralisée,
Puisque la série converge, le théorème d’intégration terme à terme donne
avec, en substance, existence de l’intégrale et de la série intoduite.
Soient et des entiers naturels non nuls et définie sur .
Montrer que est intégrable sur .
On pose
Exprimer en fonction de .
Soit . Déterminer une expression de
Établir
Solution
est définie et continue par morceaux sur . Elle est aussi intégrable sur cet intervalle car
Par intégration par parties généralisée,
Par la formule qui précède,
On en déduit
Pour tout ,
Posons .
Les fonctions sont continues par morceaux et intégrables sur .
La série converge simplement sur et sa somme, qui est , est continue par morceaux sur .
Enfin,
est terme général d’une série convergente.
Par théorème d’intégration terme à terme, est intégrable sur et
Établir l’identité
Soit .
Étudier l’intégrabilité de définie par
Montrer que
Solution
est définie, continue par morceaux et intégrable sur car
Pour , on écrit
On a donc
Pour opérer l’intégration terme à terme, introduisons les fonctions définies sur l’intervalle par
Par les calculs qui précèdent, la série des fonctions converge simplement sur et sa somme est la fonction intégrée de notre étude. Les fonctions et la fonction somme sont continues par morceaux. Les fonctions sont intégrables sur car prolongeables par continuité11 1 La borne est faussement généralisée et l’intégrale de peut être considérée sur . en et négligeables devant en . Pour pouvoir exploiter le théorème d’intégration terme à terme, il reste à vérifier la convergence de la série de terme général
Méthode: Cette intégrale est délicate à calculer à cause de la valeur absolue du sinus qui, pour être résolue, nécessite de découper l’intégrale en les avec . On peut cependant se contenter de la majorer en employant l’inégalité22 2 L’inégalité n’est en revanche pas décisive car donne et la série des diverge. classique valable pour tout réel.
Par l’inégalité proposée, on écrit
Par une intégration par parties où le terme du crochet admet une limite finie en , on obtient
Cela est le terme général d’une série convergente et donc, par comparaison de séries à termes positifs, on peut affirmer qu’il y a convergence de la série des intégrales des valeurs absolues des fonctions . Par le théorème d’intégration terme à terme, on peut écrire l’identité qui suit avec convergence absolue de la série introduite
Les intégrales en second membre se calculent rapidement en transitant par les nombres complexes
et l’on obtient la formule voulue.
Établir, pour ,
Solution
Pour ,
Par sommation géométrique de raison avec ,
Introduisons
La série de fonctions converge simplement sur et chaque fonction est intégrable sur avec
Or la fonction est -lipschitzienne sur car dérivable et de dérivée bornée par . On en déduit
et donc
Cette dernière intégrale se calcule par intégration par parties et l’on obtient
La série est donc convergente.
Par théorème d’intégration terme à terme, on peut écrire avec existences
Pour ,
Finalement,
Pour , on pose
Montrer
Solution
On sait que la fonction est continue. Sous réserve d’existence
Par un calcul direct,
La convergence de la série des intégrales des valeurs absolues assure la convergence de l’intégrale du premier membre et permet de permuter intégrale et somme. On obtient alors
Pour , soit l’application définie par
Pour quelle valeurs de la fonction est-elle continue?
Dans la suite, on prendra cette valeur de .
Montrer que est bornée.
Montrer que existe pour .
Exprimer comme la somme d’une série.
Solution
Pour ,
est l’unique valeur pour laquelle est continue en .
est continue sur et
La fonction est donc bornée sur .
est définie et continue sur et
La fonction est donc intégrable sur .
Pour ,
Par convergence de la série des intégrales des valeurs absolues, on peut sommer terme à terme et affirmer
Notons que la somme est facile à calculer pour .
Démontrer la convergence de la série de terme général
Comparer
En déduire:
Solution
On remarque . Par la règle de d’Alembert, la série converge.
Posons
Par intégration par parties, on obtient d’où
On a
et la série
converge donc on peut intégrer terme à terme et l’on obtient
avec
d’où la conclusion.
Soient , . On pose
Donner la Nature de la série de terme général .
Plus généralement, donner nature de la série de terme général pour .
Calculer pour et .
Solution
On a
La série de terme général est divergente.
Pour ,
et donc .
On en déduit que la série de terme général est divergente.
Pour . La série des est une série à termes positifs et
donc
avec l’intégrale majorante qui est convergente puisque
Puisque la série à termes positifs a ses sommes partielles majorées, elle est convergente.
Par ce qui précède, on peut intégrer terme à terme car il y a convergence de la série des intégrales des valeurs absolues des fonctions. On peut alors écrire
Cas: .
Cas: .
Pour , on pose
Déterminer la limite de la suite .
Établir que pour tout entier ,
Déterminer un réel tel qu’il y ait convergence de la suite de terme général
En déduire la convergence de la série
et exprimer sa somme à l’aide d’une intégrale.
Solution
On applique le théorème de convergence dominée.
Pour , on introduit définie par
Pour ,
Pour et ,
La fonction est définie et intégrable sur car
Par le théorème de convergence dominée,
Soit . On réalise une intégration par parties généralisée avec
Les fonctions et sont de classe sur et
Avec convergence de l’intégrale introduite, le théorème d’intégration par parties généralisée donne
Or
On en déduit la relation demandée.
La suite a la nature de la série de terme général .
Or
Cas: . On a
Par cet équivalent de Riemann, la série de terme général diverge.
Cas: . On a
Par cette comparaison, la série de terme général converge absolument.
Finalement, la série de terme général converge (c’est-à-dire la suite converge) si, et seulement si, .
Puisque
on obtient
et donc
Par suite, la série converge.
On a
Les fonctions sont toutes positives, on peut intégrer terme à terme
On reconnaît alors le développement en série entière de sur et l’on poursuit
Enfin, mais cela n’est pas demandé, l’intégrale obtenue se calcule par intégration par parties
sachant
Soit . Quelle est la nature de la série de terme général
pour ?
À fixé, on note l’ensemble des tels que la série converge, et l’on note la somme de cette série.
Calculer .
Donner un équivalent de quand tend vers .
Pour , calculer
En déduire une expression intégrale de .
Solution
Par la règle de d’Alembert, la série converge pour tout .
Or
donc
Puisque
il y a convergence normale sur de la série des fonctions continues . Cela permet d’affirmer
et donc
Par intégrations par parties successives,
Par convergence de la série des intégrales des valeurs absolues, on peut échanger somme et intégrale,
Pour , calculer
Pour , on pose
Exprimer à l’aide d’une intégrale.
Calculer
Solution
La fonction définissant l’intégrale est intégrable sur car
Par une intégration par parties généralisée,
Le terme est bien définie car c’est le reste d’une série convergeant absolument. Ce qui précède, nous encourage à écrire
Pour intégrer terme à terme, on introduit définie par
Par sommation géométrique, la série des fonctions converge simplement sur (et même sur ). Les fonctions sont toutes continues par morceaux et la fonction somme
l’est aussi. Les fonctions sont intégrables sur et il y a convergence de la série
Les hypothèses du théoème d’intégration terme à terme sont réunies et donc
On opère encore une intégration terme à terme en considérant cette fois-ci les fonctions déterminées par
Encore une fois les hypothèses d’usages sont réunies, notamment parce que
On en déduit
Par une intégration par parties généralisée où l’on choisit comme primitive de , on obtient
On peut conclure
[<] Intégration terme à terme[>] Applications de l'intégration terme à terme
Pour et , on pose .
Montrer que les deux expressions suivantes existent mais que leurs valeurs diffèrent:
Donner les limites éventuelles en des suites de termes généraux
Quelles sont les natures des séries
Solution
Posons définie sur .
Les fonctions sont continues par morceaux et la suite converge simplement vers la fonction nulle sur , elle-même continue par morceaux. De plus,
avec intégrable sur et donc aussi sur .
Par application du théorème de convergence dominée sur et sur , on obtient
Les fonctions sont continues par morceaux et la série de fonctions converge simplement sur vers la fonction continue par morceaux donnée par
Si, par l’absurde, la série converge, on est dans la situation où la série de terme général converge et l’on peut appliquer un théorème d’intégration terme à terme affirmant
Or cela est absurde car la fonction n’est pas intégrable sur !
On en déduit que la série diverge.
En revanche, la série est à termes positifs et
Les sommes partielles de la série à termes positifs étant majorées, on peut affirmer que la série converge.
Soit .
Déterminer l’ensemble de définition de
Montrer que si , diverge.
Calculer pour .
Solution
La fonction est définie et continue par morceaux sur .
Cas: .
La fonction n’est donc pas intégrable.
Cas: .
Même conclusion.
Cas: .
La fonction est intégrable sur si, et seulement si, .
Pour , on remarque que
Par l’absurde, si converge, on peut appliquer un théorème d’interversion somme et intégrale assurant que est intégrable sur . C’est absurde.
On conclut que diverge.
Par intégration par parties généralisée,
Or
donc
On en déduit
car .
Notons que par le changement de variable , on pouvait aussi transformer en une intégrale de Wallis.
Soit, pour ,
Étudier la convergence de la suite .
Quelle est la nature de la série de terme général ?
Solution
Posons
Les fonctions sont continues par morceaux et la suite de fonctions converge simplement vers la fonction nulle sur , elle-même continue par morceaux. Enfin, on a la domination
avec évidemment intégrable sur . Par convergence dominée, on obtient
Par l’absurde, si converge alors, on peut appliquer un théorème d’intégration terme à terme à la série de fonctions . En effet, les fonctions sont continues par morceaux, la série de fonctions converge simplement sur vers la fonction
elle-même continue par morceaux. Enfin les fonctions sont intégrables sur et l’hypothèse de travail absurde signifie la convergence de la série .
Par théorème d’intégration terme à terme, on obtient
avec convergence de l’intégrale. Or, quand
et donc l’intégrale introduite diverge. C’est absurde.
On en déduit que la série diverge.
Donner la nature de la série de terme général
Solution
On a
Si la série numérique converge alors, par comparaison de séries à termes positifs, la série converge aussi. Par le théorème d’intégration terme à terme, il y a alors intégrabilité sur de la fonction
Or
qui n’est pas intégrable sur .
On en déduit que la série diverge.
Pour , on pose
Justifier l’existence de l’intégrale définissant et déterminer la limite de la suite .
Étudier la nature de la série .
Calculer pour tout .
En déduire un équivalent de .
Solution
Pour ,
Aussi, pour tout ,
avec intégrable sur . Par convergence dominéee, l’intégrale définissant existe et
Par l’absurde, si la série converge, on peut appliquer un théorème d’intégration terme à terme dont une conséquence est l’intégrabilité de
Cependant cette fonction n’est pas intégrable sur , c’est absurde.
Pour ,
Par intégration par parties généralisée (avec existence de la limite en du terme crochet),
Par télescopage,
On en déduit
Notons qu’une intégration par parties où l’on intègre en conduit plus directement à l’égalité
désigne un entier naturel non nul.
Justifier que l’intégrale
est définie.
Soit . Calculer
En déduire la valeur de
puis de
Soit . Montrer que la série
converge uniformément sur , puis que
En exploitant une comparaison série-intégrale, déterminer
En déduire que l’intégrale
est convergente et donner sa valeur.
Qu’en conclure?
Solution
est définie, continue sur et donc est définie.
et
donc
Par suite,
La série est convergente et de somme nulle.
Pour ,
et
donc converge normalement, et donc uniformément sur . Par suite,
La fonction est décroissante et intégrable sur donc par comparaison série-intégrale
Or
et
donc
Ci-dessus:
donc l’intégrale
est convergente et vaut .
Le résultat diffèrent de celui obtenu en (b). Il est donc faux ici de permuter somme et intégrale.
[<] Non-intégration terme à terme[>] Intégration terme à terme par les sommes partielles
Pour tout et tout , on pose
Montrer que
En déduire la valeur de
Solution
Sur , la série de fonction converge simplement et sa somme est
Cette fonction somme est continue par morceaux sur .
Les fonction sont intégrables sur et
Ce terme est sommable et l’on peut donc intégrer terme à terme ce qui donne
Ainsi,
Soit une suite bornée. Calculer
Solution
La série est convergente car
De plus, sa somme est continue car on peut aisément établir la convergence normale sur tout segment.
Enfin,
permet d’assurer l’existence de l’intégrale étudiée.
Posons
La série de fonction convergence simplement.
Les fonctions et sont continues par morceaux.
Les fonctions sont intégrables sur et
est terme général d’une série convergente.
Par le théorème d’intégration terme à terme, on obtient
Enfin, cette expression tend vers 0 en tant que reste d’une série convergente.
On pose
pour tout entier .
Trouver la limite de .
Donner un équivalent de .
Justifier
Donner un développement asymptotique à trois termes de .
Solution
Posons sur .
La suite de fonctions converge simplement vers la fonction .
Les fonctions et la fonction sont continues par morceaux.
Enfin
avec intégrable. Par convergence dominée
On a
Par intégration par parties,
Puisque
on peut affirmer
Pour ,
Par convergence de la série des intégrales des valeurs absolues,
Sans peine, sachant .
Par le changement de variable strictement croissant
Par convergence dominée (domination par sa limite simple),
Ainsi,
puis
Déterminer la limite quand de
Donner un équivalent de
Justifier
En déduire un équivalent de
et donner un développement asymptotique à trois termes de .
Solution
On a
donc .
Par intégration par parties
Or
donc
On a
Par convergence de la série des intégrales des valeurs absolues, on obtient la relation proposée.
On a
avec
donc
avec
car on sait
Finalement,
Pour , calculer
Pour , montrer l’existence de
Calculer et .
Si , proposer une méthode de calcul de .
Solution
Par intégration par parties, on obtient une relation de récurrence qui conduit à
En posant le terme général de la série étudiée, on observe
Par la règle de d’Alembert, la série converge.
. Par convergence de la série des intégrales des valeurs absolues, on peut permuter et obtenir
Puisque
on observe
(1) |
En sommant pour allant de 1 à , on obtient
puis
On multiplie la relation (1) par et l’on développe le du second membre et en sommant comme ci-dessus, on saura exprimer en fonction des avec .
[<] Applications de l'intégration terme à terme[>] Études concrètes
Montrer
et en déduire la valeur de la somme.
Soit . Montrer
Solution
On a
avec sur .
et diverge, le théorème d’intégration terme à terme ne s’applique pas.
De plus, la série de fonctions ne converge par uniformément sur car elle ne converge pas simplement en …
Transitons alors par les sommes partielles et le théorème de convergence dominée. Posons
La suite converge simplement sur vers la fonction
De plus,
avec intégrable sur .
Par le théorème de convergence dominée, on obtient
Or
donc
avec, en substance, la convergence de la série introduite.
Soit . Établir que
Solution
Notons que l’intégrale étudiée est bien définie.
Pour tout ,
Le théorème d’intégration terme à terme ne pourra pas s’appliquer car ici
Nous allons alors intégrer terme à terme en exploitant les sommes partielles.
Posons
Les fonctions sont continues par morceaux et convergent simplement sur vers la fonction
elle-même continue par morceaux.
De plus,
avec fonction intégrable sur .
Par le théorème de convergence dominée, on obtient
Or
et on peut donc conclure
avec en substance la convergence de la série introduite.
Soient . Établir
Calculer
Solution
Pour , on peut écrire
Posons
Les fonctions sont continues par morceaux et la suite converge simplement sur vers la fonction
elle-même continue par morceaux.
De plus,
avec intégrable sur .
Par convergence dominée, on obtient
avec convergence de l’intégrale introduite.
Or
donc
avec convergence de la série introduite..
Après calculs,
Montrer
Solution
Soit la fonction définie par
On observe et donc la série des fonctions converge normalement, donc uniformément sur . Puisque chaque est continue, on peut affirmer que la fonction
est définie et continue sur .
Les fonctions sont intégrables sur et
Puisque la série diverge, on ne peut intégrer directement terme à terme.
Raisonnons alors par les sommes partielles en exploitant le théorème de convergence dominée. Posons
Les fonctions sont continues par morceaux sur et converge simplement vers la fonction elle-même continue par morceaux.
De plus, le critère spécial des séries alternées s’appliquant, on a
avec intégrable sur .
Par le théorème de convergence dominée, on obtient
Or
donc
avec convergence de la série introduite.
Soit une suite croissante de réels strictement positifs de limite .
Justifier
Soit . Pour tout , on pose
Montrer l’existence de l’intégrale définissant .
Pour , calculer
Montrer que pour tout naturel
Montrer que la suite converge vers .
En déduire
Solution
La fonction définissant l’intégrale est définie continue par morceaux sur . Elle est y aussi intégrable car se prolonge par continuité en et est négligeable devant en .
Par intégration par parties généralisée correctement justifiée,
On en déduit
On peut simplifier
Par télescopage,
Par convergence dominée, sachant
avec intégrable sur , on obtient que la suite converge vers .
Il suffit de passer à la limite quand tend vers l’infini.
[<] Intégration terme à terme par les sommes partielles[>] Études théoriques
Soit
Montrer que est définie sur .
À l’aide du changement de variable , calculer .
Montrer que est continue et décroissante.
Déterminer .
Solution
Posons
Pour tout , la fonction est définie, continue sur et donc existe.
est une bijection de classe de vers . On peut réaliser le changement de variable qui donne
Donc
puis
est continue sur , est continue par morceaux sur avec
et intégrable sur donc est continue.
Si alors donc . Ainsi est décroissante.
Rq: On peut aussi montrer de classe mais cela alourdit la démonstration
tend vers 0 en car
On pose
Montrer que est bien définie pour tout .
Montrer que est de classe sur .
Calculer pour tout .
Solution
Posons définie par
Pour chaque , la fonction est continue par morceaux sur et intégrable car
On en déduit la convergence de l’intégrale généralisée définissant .
Pour chaque , la fonction est indéfiniment dérivable et
La fonction est continue, la fonction est continue par morceaux et
avec continue par morceaux et intégrable.
Par domination, on peut alors affirmer que est de classe sur et
En particulier
Montrer la continuité de l’application définie sur par
Étudier ses limites en et .
Solution
Soit . Par le changement de variable , on obtient la nouvelle écriture
Introduisons alors la fonction définie par
Pour tout , la fonction est continue sur .
Pour tout et tout ,
avec intégrable sur .
Par le théorème de continuité par domination, la fonction est définie et continue sur .
Pour ,
La fonction est continue par morceaux et, en reprenant la domination de la question précédente, on peut appliquer le théorème de convergence dominée généralisé,
Aussi, pour , une intégration par parties déterminée par les fonctions de classe suivantes
donne
Le terme entre crochet tend vers quand croît vers l’infini et le terme défini par l’intégrale aussi car
On en déduit que la fonction tend vers en .
Montrer la continuité de l’application définie par
Préciser ses limites en et .
Pour , on pose
Montrer que est définie et continue.
Déterminer les limites de en et .
Solution
Par le changement de variable (bijection de classe ), on obtient
Posons définie par
La fonction est continue sur et
avec intégrable sur .
On en déduit que est définie et continue sur .
Pour tout ,
Par la domination précédente,
De même, on obtient
Déterminer l’ensemble de définition de
Donner la limite de en .
Solution
Pour que la racine carrée soit définie pour , il est nécessaire que .
Pour , l’intégrale définissant converge par les arguments d’intégrabilité suivant
Pour , l’intégrale définissant diverge car
L’ensemble de définition de est donc .
Sur , la fonction est croissante et admet donc une limite en .
Par l’absurde, si celle-ci est finie égale à alors
Par intégration sur un segment, la fonction de déterminée par le premier membre est continue en , on en déduit
Or cela est absurde car par non-intégrabilité d’une fonction positive. On en déduit
Pour , on pose
Montrer que est définie et continue sur .
Justifier
Déterminer la limite de en .
Justifier que l’intégrale suivante est définie pour tout
Justifier la continuité de sur son domaine de définition.
Calculer pour .
Donner un équivalent de quand et la limite de en .
Solution
La fonction est définie et continue par morceaux sur .
Quand ,
avec et donc est intégrable sur .
Posons sur .
est continue par morceaux sur ,
est continue sur .
Soit ,
avec intégrable sur .
Par domination sur tout segment de , on peut affirmer que est continue sur .
Pour
Par continuité, ,
On a donc
puis
Aussi,
donc
Pour , on pose
Montrer que est définie et continue sur .
Déterminer un équivalent simple de en .
Déterminer un équivalent simple de en .
On pose, pour ,
Montrer que est de classe sur et trouver des équivalents simples de en 0 et en .
Solution
La fonction est bien définie sur et
Posons
définie sur .
admet deux dérivées partielles
Pour chaque , les fonctions et sont intégrables et pour tout , on a la domination
avec intégrable. On en déduit que la fonction
est définie et de classe sur . Il en est de même pour par opérations sur de telles fonctions.
Quand ,
donc puis
Étudions maintenant quand .
Par le changement de variable ,
avec
Par intégration par parties,
Pour ,
et la fonction
est intégrable sur car peut être prolongée par continuité en 0 et
On en déduit
Soit
Montrer que est définie, continue sur . Étudier les variations de .
Déterminer les limites de en et .
Déterminer un équivalent de en et .
Solution
Introduisons définie sur .
La fonction est continue et et continue par morceaux en .
Pour , on a
La fonction est intégrable sur .
Par domination sur tout segment, on peut affirmer que est continue sur .
Aussi, pour , on a
En intégrant, on obtient . La fonction est donc décroissante.
On aurait pu aussi établir que est de classe et étudier le signe de sa dérivée.
On a
et
donc
On sait:
donc
Or
et
donc
Pour réel convenable, on pose
Déterminer l’intervalle de définition de .
Établir que est continue sur .
Étudier la monotonie de .
Calculer pour réel convenable.
Déterminer des équivalents simples de aux extrémités de .
Solution
Sous réserve d’existence,
avec
Soit . La fonction est définie et continue par morceaux sur . Puisque cette fonction est positive, l’existence de l’intégrale définissant équivaut à l’intégrabilité de sur .
Or
Par équivalence à une fonction de Riemann, est intégrable sur si, et seulement si, .
On en déduit que est définie sur .
Pour tout , est continue sur .
Soit . On a
La fonction est intégrable sur .
Par domination, est continue sur . Or cela vaut pour tout et donc est continue sur .
Pour , on remarque
Par intégration en bon ordre, on obtient . La fonction est décroissante sur .
Pour
Par continuité de ,
On a donc
Par décroissance de , on a pour
Par équivalence des termes encadrants,
Pour réel convenable, on pose
Déterminer l’intervalle de définition de .
Établir que est continue sur .
Montrer que est de classe sur puis étudier monotonie et convexité de .
Pour , simplifier .
En déduire des équivalents simples de aux extrémités de .
Solution
Sous réserve d’existence,
avec
Soit . La fonction est définie et continue par morceaux sur . Puisque cette fonction est positive, l’existence de l’intégrale définissant équivaut à l’intégrabilité de sur .
Or
Par équivalence à une fonction de Riemann, est intégrable sur si, et seulement si, .
On en déduit que est définie sur .
Pour tout , est continue sur .
Soit . On a
La fonction est intégrable sur .
Par domination, est continue sur . Or cela vaut pour tout et donc est continue sur .
Pour tout , est de classe sur avec
Pour tout ,
La fonction est donc intégrable sur .
Soit . Pour et ,
La fonction est intégrable sur car
Par domination sur tout inclus dans , la fonction est de classe sur avec
Par intégration de fonctions de signes constants, et : la fonction est décroissante et convexe.
Pour ,
Par continuité de ,
et donc
Par décroissance de , on a pour
Par équivalence des termes encadrants,
Pour , on pose
Montrer que la fonction est définie et continue sur .
Justifier que pour tout .
Calculer .
Déterminer les limites de aux bornes de .
Solution
Définition Soit la fonction définie par
Pour tout , la fonction est continue par morceaux sur avec
Par références aux intégrales de Riemann, la fonction est intégrable sur .
On en déduit que est definie sur .
Continuité Pour chaque , la fonction est continue sur .
Pour chaque , la fonction est continue par morceaux sur .
Soit . Pour et ,
Si alors et . En revanche, si , . Dans les deux cas, on peut écrire et l’on a donc
La fonction est intégrable en tant que somme de deux fonctions intégrables.
Par domination sur tout segment, on peut affirmer que est continue sur .
Par le changement de variable ,
Par le changement de variable ,
Soit . Pour tout , on a donc
Par minoration,
Par la relation de la question précédente,
Déterminer le domaine de définition réel de la fonction donnée par
Montrer que est de classe sur .
Déterminer des équivalents simples de aux bornes de .
On pose
Étudier l’ensemble de définition de .
Donner un équivalent de en 0.
Montrer que le graphe de admet une symétrie d’axe .
Montrer que est continue sur son ensemble de définition.
Calculer la borne inférieure de .
Énoncé fourni par le concours CENTRALE-SUPELEC (CC)-BY-NC-SA
Solution
La fonction est définie et continue par morceaux sur avec
Cette fonction est donc intégrable si, et seulement si, .
La fonction intégrée étant de surcroît positive, l’intégrale définissant converge si, et seulement si, .
On a
Or
et pour
On a donc
On peut aussi obtenir cet équivalent en commençant par opérer le changement de variable .
Par le changement de variable strictement décroissant , on obtient d’où la symétrie affirmée.
Posons
Pour chaque , la fonction est continue et pour chaque la fonction est continue par morceaux. Enfin pour (avec ), on a
et
Ainsi,
en posant qui est intégrable.
Par domination sur tout segment, on peut affirmer que est continue sur .
Par le changement de variable , on peut écrire
et alors
On vérifie que pour , la fonction est décroissante sur puis croissante sur . La fonction a donc la même monotonie et son minimum est donc
via le changement de variable .
(Une fonction de Bessel)
Pour , on pose
Montrer que est définie et de classe sur .
Déterminer une équation différentielle linéaire d’ordre 2 dont est solution.
Montrer que est développable en série entière sur .
Calculer les coefficients de ce développement en employant l’équation différentielle.
Pour , on pose
Montrer que la fonction est définie et continue sur .
Justifier que la fonction est de classe sur et exprimer à l’aide d’une intégrale.
Calculer en employant l’identité qui suit, valable pour tous ,
Montrer qu’il existe un unique réel vérifiant
Solution
Étudions la fonction
On introduit
Pour tout , la fonction est continue par morceaux sur et
(1) |
La fonction est intégrable sur car
On en déduit que la fonction est définie sur .
De plus, la fonction admet une dérivée partielle en
Celle-ci est continue en , continue par morceaux en et
La fonction est intégrable sur car
Par domination, on peut affirmer que est de classe sur et
La fonction intégrée est continue, positive et ce n’est pas la fonction nulle donc
On en déduit que la fonction est strictement décroissante et réalise donc une bijection de vers avec
Par la domination (1), on peut déterminer ces limites:
et
On peut alors conclure que la fonction s’annule une unique fois sur .
On étudie la fonction d’une variable réelle
Préciser le domaine de définition de .
Étudier la continuité et la monotonie de
Étudier la limite de en .
Déterminer un équivalent simple de en .
Solution
Soit . La fonction est continue par morceaux sur et vérifie
La fonction est donc intégrable sur si, et seulement si, c’est-à-dire . De plus, c’est une fonction positive et étudier l’intégrabilité équivaut à étudier la convergence de l’intégrale associée. On en déduit que la fonction est définie sur l’intervalle .
Posons
Pour tout , la fonction est continue sur .
Soit . Pour tout ,
(1) |
La fonction est intégrable sur .
Par domination, est continue sur . Or cela vaut pour tout donc est continue sur .
Soient avec . Pour tout ,
et, par intégration en bon ordre, . La fonction est décroissante.
Par la domination (1), on détermine la limite de en
Par intégration par parties (cf. intégrale de Wallis), on vérifie
Par continuité de en ,
Soit la fonction donnée par
Montrer que est définie et positive sur .
Montrer que est de classe et préciser sa monotonie.
Former une relation entre et pour tout .
On pose pour ,
Montrer que
Calculer pour .
Déterminer un équivalent à en .
Solution
La fonction est définie, continue et positive sur .
Quand , avec donc est intégrable sur .
Ainsi est définie et positive sur
La fonction
est définie, continue en et continue par morceaux en .
Soit . Sur
avec est intégrable sur car pour tel que ,
Par domination sur tout segment, est de classe sur et
Ainsi la fonction est décroissante.
En intégrant par parties
et donc
On a
et
donc par récurrence
est continue et quand ,
Or quand ,
donc quand ,
On peut montrer que est en fait une fonction constante.
Pour réel convenable, on pose
Déterminer l’intervalle de définition de .
Montrer que la fonction est continue et décroissante sur
Calculer pour tout .
Étudier la définition et la continuité de la fonction définie par
avec .
Soit . Si , on pose
Montrer que est définie et continue sur .
Donner un équivalent de quand tend vers .
Donner un équivalent de quand .
Solution
Pour , on note .
est continue par morceaux sur , est continue sur et pour ,
avec intégrable sur car quand .
Par domination, on peut affirmer que est définie et continue sur .
Ceci valant pour tout , on peut encore affirmer que est définie et continue sur .
On observe
et par continuité
donc
Par intégration par parties
Or
avec
car les exponentielles imaginaires sont de module 1.
On a alors
Ainsi,
puis
Dans ce sujet, on étudie la fonction
Pour quels , l’intégrale définissant est-elle convergente?
Étudier la continuité de .
Déterminer un équivalent simple de en .
Solution
Cas: . La fonction tend vers une limite non nulle en , l’intégrale étudiée diverge.
Cas: . Soit . On procède à une intégration par parties.
avec convergence de la dernière intégrale écrite par comparaison à une intégrale de Riemann. Ainsi, l’intégrale définissant converge.
Cas: . On emploie la propriété
Posons alors
On observe
On en déduit que l’intégrale définissant ne peut converger. En effet, si celle-ci convergeait, on devrait avoir
Finalement, la fonction est définie sur .
On ne peut pas appliquer de théorème de continuité par domination à l’expression initiale de car l’intégrale ne converge pas absolument. Considérons alors la réécriture
(1) |
On vérifie facilement la continuité sur de l’application
En effet, est continue par morceaux sur , est continue sur et, pour tout segment ,
avec continue par morceaux et intégrable sur .
Par opérations sur les fonctions continues, on peut alors conclure que est continue sur .
Soit . Par le changement de variable associé à la fonction qui est de classe strictement croissante,
Il est raisonnable d’espérer
mais cela ne peut pas être acquis directement par convergence dominée car il n’y a pas intégrabilité de sur . À nouveau, on considère l’expression (1) et c’est celle-ci que l’on transforme par le changement de variable . On obtient
Par convergence dominée,
En effet, pour ,
Par l’intégration par parties en sens inverse, on obtient
Il reste ensuite à justifier la non-nullité du terme intégral…
Sachant
on peut assure la non-nullité de la partie imaginaire du terme intégral. On peut désormais conclure
[<] Études concrètes[>] Expression de fonctions intégrales
Soit une application continue de dans .
Expliquer pourquoi est uniformément continue sur pour tout segment de .
En déduire que est continue sur .
Pour , on pose .
À l’aide de la question précédente, étudier la continuité de . Retrouver le résultat en calculant directement .
Solution
est une partie compacte et toute fonction continue sur un compact y est uniformément continue.
Étudions la continuité de en et considérons .
Donc, pour ,
Ainsi, est continue en .
est continue par opérations et l’est donc aussi par intégration sur un segment. Pour , et .
Sans difficultés, on vérifie que est continue sur .
Soient et continues.
Montrer la continuité de la fonction
Solution
Réalisons le changement de variable
Considérons la fonction
Pour , la fonction est continue sur le compact et donc bornée. Par conséquent, il existe vérifiant
La fonction est intégrable sur et donc, par domination sur tout segment, on peut affirmer la continuité de la fonction
On en déduit la continuité de la fonction étudiée par produit.
Soit une fonction de classe sur vérifiant .
Pour réel non nul, calculer
En déduire que la fonction donnée par
se prolonge en une fonction de classe sur .
Exprimer les dérivées successives en du prolongement de en fonction des dérivées successives en de .
Solution
Pour ,
Pour ,
Posons définie sur .
Pour tout , la fonction est de classe avec pour tout
Soit . Puisque la fonction est continue sur le segment , elle y est bornée et donc il existe vérifiant
Puisque la fonction est intégrable, on peut affirmer par domination sur tout segment, que la fonction
est de classe sur avec
On en déduit que la fonction se prolonge en une fonction sur .
Par ce qui précède, on a aussi
Soient une fonction de classe et tels que
Montrer que l’on a pour tout
En déduire que l’on peut écrire avec de classe sur .
Solution
On applique la formule de Taylor reste-intégrale à en .
On réalise le changement de variable et l’on obtient
Posons
La fonction admet des dérivées partielles
Celles-ci sont continues en et continues par morceaux en .
Soit . La fonction est continue sur ce segment et y est donc bornée par un certain .
Puisque
on a
avec fonction intégrable sur .
Par domination sur tout segment, on peut affirmer que la fonction
est de classe .
[<] Études théoriques[>] Calcul d'intégrales
Soit
Justifier que est définie et de classe sur .
Calculer .
En déduire une expression simplifiée de .
Solution
Posons
Pour tout , est intégrable sur car elle se prolonge par continuité en et est négligeable devant en . La fonction est bien définie sur .
Pour tout , la fonction est de classe sur avec
Pour tout et tout ,
avec intégrable sur .
Par domination est de classe sur avec
On remarque donc
Sachant , on obtient .
Pour un réel , on pose
Montrer que la fonction est bien définie sur l’intervalle .
Justifier que la fonction est de classe et calculer .
En déduire une expression de à l’aide des fonctions usuelles.
Pour un réel , on pose
Montrer que la fonction est bien définie sur l’intervalle .
Justifier que la fonction est de classe et calculer puis pour .
Pour réel convenable, on pose
Donner le domaine de définition de .
La fonction est-elle de classe sur ?
Exprimer
en fonction de
En déduire la valeur de en .
Exprimer pour .
Solution
Posons
Soit .
La fonction est définie, continue par morceaux et intégrable sur car négligeable devant en et devant en : l’intégrale définissant existe.
Pour , les arguments sont identiques et l’on remarque .
Pour , la fonction n’est pas intégrable en car
et, par constance de signe, on peut affirmer que l’intégrale introduisant n’existe pas.
Finalement, est définie sur et c’est une fonction paire.
La fonction admet une dérivée partielle
Celle-ci est continue en , continue par morceaux en et, pour tout ,
La fonction est intégrable et, par domination, on peut affirmer que est de classe sur (et sur par parité).
Par le changement de variable , on observe
On en déduit que car est la somme de deux intégrales opposées.
Pour ,
Au numérateur, on écrit
Par intégration par parties généralisée,
et l’on obtient
Après résolution de l’équation différentielle avec la condition initiale , on conclut
(et une relation semblable pour par parité).
Pour réel, on pose
Montrer que est définie et continue sur .
Montrer que est continûment dérivable.
En déduire une expression de à l’aide des fonctions usuelles.
Solution
Posons
est définie sur , continue par morceaux en et continue en . Soit . Sachant , on obtient pour tout et tout
La fonction est intégrable et, par domination, est définie et continue sur .
admet une dérivée partielle en qui est
Celle-ci est continue en , continue par morceaux en et, pour tout et tout ,
avec et intégrable sur . De plus, pour tout ,
Par décomposition en éléments simples, on écrit pour
On peut alors calculer l’intégrale définissant pour et
Par continuité, cette identité est aussi valable pour et . Par suite,
La valeur donne . Enfin, la fonction est impaire et l’on obtient
Ensemble de définition, dérivée et valeur de
Solution
Posons
est continue sur et est continue par morceaux sur .
Soit . Pour
avec intégrable.
Par domination sur tout segment, on peut donc affirmer que est définie et continue sur .
Il est évident que la fonction est paire. Nous poursuivons son étude sur .
La fonction admet une dérivée partielle en
est continue sur et est continue par morceaux sur .
Soit . Pour ,
avec intégrable.
Par domination sur tout segment de , on peut affirmer que est de classe sur et
En réalisant la décomposition en éléments simples (pour ),
et cette relation est aussi valable pour par continuité.
Sachant que et que est paire, on obtient
Existence et calcul de
Solution
est continue par morceaux sur ,
est continue sur et pour
avec intégrable. Par suite, est définie et continue sur .
Il est immédiat que est paire. Poursuivons, en étudiant sur
est continue par morceaux sur ,
est continue sur et pour ,
avec intégrable. Par suite, est de classe sur .
Pour ,
donc
et cette relation vaut aussi pour par continuité.
En procédant au changement de variable , on obtient et donc on peut conclure
pour en exploitant un argument de continuité.
Soit
Justifier que est bien définie et continue.
Étudier la dérivabilité sur .
Calculer pour .
On pourra employer le changement de variable .
Établir que
Solution
Pour , posons
La fonction est parfaitement définie car
Pour tout , la fonction est continue par morceaux sur le segment donc intégrable. La fonction est parfaitement définie sur .
Pour tout , est continue sur .
Soit .
Il existe donc une constante11 1 On peut aussi justifier l’existence de cette constante par continuité de sur le compact . telle que
La fonction est intégrable sur le segment .
Par domination sur tout segment, est continue sur .
Pour tout , est de classe sur avec
Soit .
donc
La fonction est intégrable sur et donc, par domination sur tout segment, est de classe sur avec
Par le changement de variable , où est de classe strictement croissant
Pour , une décomposition en éléments simples en la variable donne
On peut alors calculer l’intégrale
On remarque que
On en déduit qu’il existe deux constantes et réelles telles que
Par continuité en et sachant , on obtient et donc
on parvient à conclure.
Pour , on pose
Justifier que est définie et de classe sur .
Calculer et en déduire un expression de .
Application : Calculer
Solution
Posons définie sur .
Par intégration sur un segment d’une fonction continue, est correctement définie pour chaque .
Pour chaque , la fonction est de classe et
Soit .
avec la fonction continue par morceaux et intégrable.
Par domination sur tout segment, est de classe sur et
Par le changement de variable strictement croissant
Par décomposition en éléments simples (si )
et donc
et la relation vaut aussi pour par argument de continuité. On en déduit
Sachant , on conclut
Étudions la limite de en .
Pour tout ,
Aussi, pour tout ,
La fonction est intégrable sur car
et donc est intégrable en .
Par domination,
On en déduit
Montrer que, pour tout réel positif,
Solution
Étudions la fonction donnée par
Notons définie sur
est continue par morceaux sur pour chaque
est continue sur pour chaque et
avec fonction intégrable sur .
On en déduit que la fonction est définie et continue sur .
est dérivable sur pour chaque et
est continue sur pour chaque
est continue par morceaux sur pour chaque et
car .
Soit
avec fonction intégrable.
Par domination sur tout segment, on obtient de classe sur avec
Pour , on peut décomposer la fraction rationnelle définissant l’intégrande
et on obtient alors
Cette identité se prolonge en par un argument de continuité.
On a alors
Or et par continuité on parvient à
Existence et calcul de
Solution
Posons
Pour , l’intégrale ne peut pas être définie.
On suppose désormais .
En et , il est possible de prolonger par continuité la fonction intégrée par la valeur .
Pour , l’intégrale est généralisée en et . Cependant,
Pour , l’intégrale est généralisée en . Cependant,
Finalement, peut être définie sur .
Pour des raisons de symétrie,
Par domination sur avec , est de classe sur et
Par le changement de variable ,
Puisque , on en déduit
Pour et , on pose
Justifier l’existence de l’intégrale définissant .
Calculer .
Justifier que est de classe et exprimer en fonction de .
Calculer pour tout et tout .
Solution
Posons
La fonction est définie, continue par morceaux et intégrable sur car
L’intégrale définissant existe.
Directement ou après le changement de variable ,
Pour tout , la fonction est dérivable avec
Pour tout , la fonction est continue sur .
Pour tout , la fonction est continue par morceaux sur .
Soit .
La fonction est intégrable sur .
Par domination sur tout segment, est de classe sur et
Par intégrations successives, on obtient
avec et d’où
Pour , on pose
Vérifier que est bien définie sur puis qu’elle est de classe sur .
Calculer pour tout .
On donne .
Exprimer pour tout .
Solution
Posons
Pour , la fonction est continue par morceaux sur . Par développement limité,
L’intégrale définissant est donc faussement généralisée en .
De plus,
La fonction est donc intégrable en .
La fonction est donc correctement définie sur .
Pour tout , la fonction est de classe avec
Soit . Pour ,
La fonction est continue par morceaux et intégrable sur car prolongeable par continuité en et négligeable devant en .
Par domination sur tout segment, on peut affirmer que est de classe sur avec
Par le changement de variable ,
Par la relation qui précède,
Pour déterminer la valeur de la constante introduite, montrons la continuité de en .
Pour , est continue sur et, pour avec ;
La fonction est intégrable sur .
Par domination sur tout segment, est continue sur .
On en déduit puis
Pour , on pose
Soit . Montrer que est de classe sur et calculer
En déduire la valeur de .
Solution
et sont définies et continues sur .
est intégrable sur car prolongeable par continuité en et négligeable devant en .
Pour ,
avec intégrable sur .
Par domination, est de classe et
En intégrant par rapport à ,
et, puisque , on obtient
On pose
Montrer que est définie et continue sur .
Montrer que est de classe sur .
Déterminer une équation différentielle linéaire d’ordre vérifiée par sur l’intervalle .
En déduire une expression simple de sur sachant .
Pour , on pose
Justifier que est définie et de classe sur
Calculer sur
Donner la valeur de puis celle de sachant
Solution
Posons
Puisque ,
donc est définie et continue sur .
De plus,
on peut donc prolonger par continuité en . Par suite, est bien définie.
Pour tout , est de classe sur avec
Aussi,
avec est intégrable. Par domination est de classe sur .
Pour , .
Pour ,
Or
avec donc
et
Finalement,
or la série de fonctions converge uniformément sur puisque la série numérique satisfait au critère spécial ce qui permet d’écrire
d’où .
Par suite,
puis
[<] Expression de fonctions intégrales[>] Transformée de Fourier et intégrales apparentées
(Calcul de l’intégrale de Gauss)
Soit la fonction définie par
Montrer que est dérivable sur et exprimer par une intégrale.
Calculer et étudier la limite de en .
On note l’application définie sur par la relation .
Montrer que pour tout ,
Conclure
Pour , on pose .
Établir l’existence de . Écrire un programme calculant puis donner les valeurs de .
Exprimer , si besoin en fonction de .
Cela donne une autre méthode de calcul de en fonction de la parité de . L’implémenter. Quelle est la méthode la plus efficace? la plus précise?
Pour réel convenable, on pose
Étudier la fonction: définition, continuité, variations, limites.
Montrer que est de classe et calculer . En déduire la valeur de en introduisant la fonction
Solution
La fonction est définie, continue par morceaux et intégrable sur car
L’intégrale définissant est donc convergente.
Pour calculer celle-ci, on dispose de la fonction quad de la librairie scipy.integrate.
import numpy as np import scipy.integrate as integr def G(n): return integr.quad(lambda t: np.exp(-t**2)*t**n, 0, np.inf)[0] for n in range(31): print(f"G({n}) = {G(n)}")
Par intégration par parties généralisée,
On en déduit, pour ,
On programme la fonction factorielle avant d’employer les formules qui précèdent pour évaluer selon la parité de .
def fact(n): if n == 0: return 1 return n * fact(n-1) def Gbis(n): if n % 2 == 0: return fact(n)/2**n/fact(n/2) * G(0) else: return fact((n-1)/2) / 2
Dans le cas où est pair, cette méthode n’est pas plus efficace ni plus précise que la précédente sauf si l’on connaît déjà la valeur de (intégrale de Gauss, calculée plus loin). Dans le cas où est impair, cette méthode est plus efficace et plus précise tant que la valeur de est « raisonnable ».
Pour tout , l’intégrale définissant existe en tant qu’intégrale sur un segment d’une fonction continue par morceaux.
Posons
Pour tout , la fonction est continue par morceaux sur .
Pour tout , la fonction est continue sur .
Enfin, pour tout ,
La fonction est continue par morceaux et intégrable sur . Par domination, est continue sur .
Clairement, la fonction est paire. Pour avec , on a
Par intégration en bon ordre, il vient . La fonction est décroissante sur (et donc croissante sur par parité).
Enfin, pour ,
Par encadrement,
Par parité,
Pour tout , la fonction est dérivable avec
Cette dérivée partielle est continue en et continue par morceaux en .
Soit . Pour et ,
La fonction est continue par morceaux et intégrable sur . Par domination sur tout segment, est de classe sur avec
On reconnaît la dérivée de la fonction introduite dans l’énoncé et il existe donc une constante telle que
Pour , on détermine la valeur de :
Par la limite en , on détermine la valeur de :
L’objectif de ce sujet est de calculer
Pour , on pose
Justifier que la fonction est bien définie et continue sur .
Calculer et étudier la limite de en .
Justifier que est de classe sur et solution de l’équation différentielle
En déduire la valeur de .
Solution
Posons
définie sur .
Pour tout , l’application est continue sur .
Pour tout
avec intégrable car
Par domination, on en déduite que est définie et continue sur .
On a
et
donc, par encadrement, .
Pour chaque , la fonction est de classe avec
Soit . Pour ,
avec intégrable.
Par domination sur tout , est de classe sur et
On constate alors
Via la méthode de la variation de la constante, l’équation différentielle précédente a pour solution générale sur
La fonction est de cette forme et, sachant continue en avec , on obtient
La nullité de la limite de en impose alors
et donc
Notons que le changement de variable permet alors de retrouver
L’objectif de cet exercice est de calculer
Pour cela, on introduit
Établir l’existence de l’intégrale définissant .
Montrer que est définie et de classe sur .
Établir
On pose pour tout .
Montrer qu’il existe tel que
En déduire la valeur de .
Solution
La fonction est définie et continue par morceaux sur . Elle y est intégrable car
L’intégrale définissant est donc convergente.
Introduisons
de sorte que, sous réserve d’existence,
Pour tout , est continue par morceaux sur et intégrable car
La fonction est donc définie sur .
Pour tout , la fonction est de classe sur avec
Soit .
Par des arguments analogues aux précédents, est intégrable sur .
Par domination, est de classe sur . Or cela vaut pour tout et donc est de classe sur . Au surplus,
Pour , réalisons une intégration par parties généralisée avec
Cela donne
et donc
Cette relation se réorganise en celle souhaitée.
Sur ,
Il existe donc une constante réelle telle que
Pour ,
On remarque
et
avec intégrable sur par équivalence à des fonctions de Riemann.
Par domination,
On en déduit
Parallèlement,
et donc .
Aussi,
et donc
Parallèlement
Puisque , on conclut .
On pose, pour ,
Montrer que est continue sur et tend vers en .
Montrer que est deux fois dérivable sur et calculer .
En déduire la valeur de puis la valeur de l’intégrale convergente
Solution
La fonction
est intégrable sur car
La fonction est continue sur et dominée par donc est continue.
De plus, la fonction est bornée donc, pour ,
On en déduit que tend vers en .
Les dérivées partielles et existent sur .
est continue par morceaux et intégrable sur .
Soit
La fonction est intégrable sur .
Par domination sur tout segment, est de classe sur et
On a
car et
car .
Par continuité, on obtient .
Par intégrations par parties généralisées,
donc
Pour , soit
Justifier la définition de .
Montrer que est classe sur .
Calculer si .
Montrer que est continue en 0. Qu’en déduit-on?
Solution
Pour , donne l’intégrabilité de .
Pour , il est connu que l’intégrale est convergente bien que ne soit pas intégrable.
Pour ,
avec intégrable. Par domination sur tout segment est de classe sur .
Pour ,
donc .
Or
donc
En découpant l’intégrale, on a
Posons
Par application du critère spécial des séries alternées, on établir que la série de fonctions continues converge uniformément sur , on en déduit que sa somme, à savoir la fonction , est continue en 0. On peut conclure que
Pour et , on pose où (lire sinus cardinal) est la fonction prolongée par continuité en 0.
Pour , on pose
Montrer que avec que l’on explicitera.
Montrer que la série de fonctions de terme général converge uniformément sur .
On pose . Justifier que est continue et expliciter sous la forme d’une intégrale convergente.
Montrer que est de classe sur et calculer .
Expliciter pour puis la valeur de
Solution
On réalise le changement de variable :
Ici
Pour tout et tout , et donc avec décroissante. De plus,
donc . Par application du critère spécial, la série converge et
ce qui donne la convergence uniforme de la série de fonctions .
La fonction est continue en , continue par morceaux en et
Par domination, les fonctions sont continues.
Comme somme d’une série uniformément convergente de fonctions continues sur , la fonction est continue sur . De plus, par sommation d’intégrales contiguës
avec cette intégrale qui est définie quand et connue convergente quand .
Posons
définie sur .
Pour tout , la fonction est continue par morceaux sur et intégrable car
admet une dérivée partielle
Celle-ci est continue en et continue par morceaux en .
Soit . On a
La fonction est intégrable sur . Par domination sur tout segment, on obtient de classe sur et
En exploitant
on obtient
En intégrant
Or
donc .
Par continuité en 0,
(Calcul de l’intégrale de Dirichlet)
On considère les fonctions et d’une variable réelle définies par
Montrer que les fonctions et sont définies et continues sur .
Montrer que les fonctions et sont de classe sur et qu’elles sont toutes les deux solutions de l’équation différentielle linéaire
En déduire la valeur de
Montrer que pour tout
En déduire la valeur de
Solution
Posons
La fonction est définie et continue sur .
Pour , la fonction est dérivable et
La fonction est continue sur .
Par intégration sur un segment, on peut affirmer que la fonction
est définie, de classe sur et
Par décomposition en éléments simples (en la variable )
donc
Puisque , on peut écrire
Pour , la relation précédente donne
Montrer qu’il existe une constante telle que
Soient . Calculer
Solution
Il suffit de vérifier que les deux membres sont des fonctions dérivables de de dérivées égales.
D’une part,
D’autre part, dérivons le terme intégral. On introduit
Pour tout , la fonction est définie et continue par morceaux sur ce qui assure la définition de l’intégrale.
Pour tout , la fonction est dérivable et admet donc une dérivée partielle
Celle-ci est continue en et continue par morceaux en . De plus, pour tout , on vérifie
avec intégrable sur le segment .
Par domination,
Par le changement de variable (bijection croissante)
Par différence,
Soit la fonction définie par:
Montrer que est définie et de classe sur .
Déterminer l’expression de .
Calculer
Solution
Posons
est définie sur ,
est intégrable sur car prolongeable par continuité en 0 et égale à un en . Ainsi est définie sur
est définie sur ,
est continue par morceaux sur et est continue sur .
avec continue par morceaux et intégrable sur ,
donc est de classe sur avec
Pour
d’où
ce qui est encore valable en par continuité.
Par suite,
avec puisque .
En intégrant par parties, on obtient .
Déterminer le domaine de définition réel de
Calculer .
En déduire les valeurs de
et de
Solution
Posons
La fonction étant définie sur , la fonction est définie pour tout couple de .
Pour , la fonction est continue par morceaux sur et
L’intégrale est faussement généralisée en ses deux bornes et donc converge.
Finalement, est définie sur .
La fonction admet une dérivée partielle
Cette dérivée partielle est continue en , continue par morceaux en et, pour tout
avec intégrable. Par domination, est de classe et
On poursuit le calcul à l’aide du changement de variable bijectif
Pour et , on décompose en éléments simples la fraction
et l’on en déduit en prenant au lieu de
On peut alors poursuivre le calcul de . Pour et ,
La fonction étant continue et paire, on obtient l’expression sur
Enfin, sachant , on conclut
Pour , on obtient
Par intégration par parties généralisée,
et donc
(Intégrales de Fresnel)
On donne11 1 Ces intégrales sont calculées dans le sujet 4711 et le sujet 535.
On pose
Montrer que est définie et continue sur et déterminer sa limite en .
Montrer que est de classe sur et exprimer pour .
En déduire la convergence ainsi que les valeurs des intégrales suivantes
Pour , on pose
Montrer que est de classe sur .
Calculer et en déduire l’expression de
Soit . Calculer
Solution
Posons .
est définie et continue sur .
Pour , donc puis est intégrable sur .
Ainsi est définie sur .
admet une dérivée partielle continue avec .
Soit . Pour ,
avec intégrable sur .
Par domination sur tout segment, on peut affirmer que est de classe et
Par intégration par parties,
où la primitive de est choisie de sorte de s’annuler en 0 pour que l’intégration par parties présente deux convergences.
Ainsi,
Par opérations
puis
Or avec
Or donc par convergence de la série des intégrales des valeurs absolues, . Sachant , on obtient puis
Par décomposition en éléments simples
Donc
[<] Calcul d'intégrales[>] Transformée de Laplace et intégrales apparentées
(Transformation de Fourier)
Soit une fonction continue par morceaux intégrable. On appelle transformée de Fourier de , l’application définie par
Montrer que la fonction est définie et continue sur .
Soit . On suppose l’application intégrable sur .
Soit . Montrer que la fonction est intégrable sur .
Établir que la transformée de Fourier est de classe .
(Transformée de Fourier d’une fonction gaussienne)
Pour réel, exprimer simplement
Pour , on pose
Justifier l’existence de l’intégrale définissant .
Justifier que est de classe sur et former une équation différentielle linéaire d’ordre dont est solution.
Sachant , exprimer pour tout .
Retrouver le résultat précédent à l’aide d’un changement de variable.
Solution
On introduit
Pour tout , la fonction est continue par morceaux et intégrable sur car
L’intégrale définissant est donc correctement définie.
Pour tout , la fonction est dérivable et
Pour tout , la fonction est continue par morceaux sur .
Pour tout , la fonction est continue sur .
Soit . Pour ,
avec continue par morceaux et intégrable sur .
Par domination sur tout segment, on peut affirmer que est de classe sur .
Par une intégration par parties généralisée correctement justifiée
On en déduit que est solution de l’équation différentielle
La solution générale de cette équation différentielle s’exprime
Sachant , on obtient
Pour ,
On étudie
Donner le domaine de définition de .
Calculer en formant une équation différentielle.
Calculer en exploitant le développement en série entière de la fonction cosinus.
Solution
Posons .
Pour chaque , la fonction est continue par morceaux sur et négligeable devant en donc intégrable sur . La fonction est définie sur .
La fonction est continue par morceaux sur et est continue sur .
Pour ,
avec intégrable sur , la fonction est de classe et
Par intégration par parties généralisée justifiée par deux convergences,
est solution d’une équation différentielle linéaire d’ordre 1 et on conclut
On peut écrire
Posons .
Les fonctions sont continues par morceaux sur .
La série converge simplement sur vers la fonction elle aussi continue par morceaux.
Les fonctions sont intégrables sur et
Par intégration par parties généralisée justifiée par deux convergences
et donc
Ainsi,
Cette quantité étant sommable, on peut intégrer terme à terme et l’on retrouve
Existence de
Calculer en introduisant une équation différentielle vérifiée par .
Calculer directement par une intégration terme à terme.
Solution
Posons
La fonction est continue par morceaux et intégrable sur car
et donc la fonction est définie sur .
La fonction est dérivable et
La fonction est continue par morceaux, la fonction est continue.
Soit .
avec intégrable sur indépendant de .
On en déduit que la fonction est de classe et par une intégration par parties
On en déduit que est solution de l’équation différentielle
Après résolution de cette équation différentielle
avec .
On sait
Posons
Les fonctions sont continues par morceaux et la série de fonctions converge simplement sur vers la fonction elle-même continue par morceaux.
Chaque fonction est intégrable et
Par intégration par parties
et donc
puis
Il y a alors convergence de la série et donc on peut intégrer terme à terme ce qui fournit
Pour tout réel, on pose
Existence et calcul de ces deux intégrales.
Solution
La fonction définie sur .
est continue par morceaux sur pour chaque et
On en déduit que la fonction donnée par
est définie sur .
La fonction est dérivable sur pour chaque et
est continue sur pour chaque ,
est continue par morceaux sur pour chaque et
avec intégrable sur car prolongeable par continuité en 0 et vérifiant .
Par domination, on peut affirmer que est de classe sur et
À l’aide d’une intégration par parties, on obtient
La résolution de cette équation différentielle donne
Enfin, sachant
on parvient à
d’où les expressions de et de .
On peut encore éventuellement « simplifier » en exploitant
ce qui donne
et aussi
On pose
Montrer que est définie, de classe sur et vérifie
En déduire l’expression de sachant .
Solution
est définie et continue par morceaux sur .
Puisque est intégrable sur , la fonction est bien définie.
est définie et continue par morceaux sur ,
est continue sur ,
avec intégrable sur .
La fonction est donc définie et de classe sur avec
En multipliant par la quantité conjuguée
donc
Puisque , on conclut
Soient deux réels strictement positifs.
Justifier l’existence pour tout de
Justifier que est de classe sur et calculer .
Exprimer
Solution
On définit par
Soit . La fonction est définie et continue par morceaux sur : l’intégrale est généralisée aux deux bornes.
D’une part,
donc
La fonction est intégrable en .
D’autre part,
La fonction peut être prolongée par continuité en .
Finalement, la fonction est intégrable sur .
Soit . La fonction est de classe sur avec
Pour ,
avec fonction continue par morceaux et intégrable sur .
On en déduit que est de classe sur avec
Or, pour ,
et
donc
puis
On en déduit
Pour déterminer la constante, on étudie la limite de en . Posons
La fonction est intégrable sur (cf. étude initiale, cas ).
Par intégration par parties généralisée correctement justifiée,
Or
(en justifiant que est intégrable sur car négligeable devant en et prolongeable par continuité en ).
On a donc
On peut conclure
On considère
Montrer la définie et la continuité de sur .
Montrer que est de classe sur et montrer que
Montrer que pour ,
et déterminer un équivalent de quand .
La fonction est-elle dérivable en ?
Solution
Posons définie par
La fonction est définie et continue sur .
Pour tout , on a
avec intégrable sur .
On en déduit que est définie et continue sur .
Par intégration par parties,
La fonction
est de classe sur en vertu de la domination
On en déduit que est de classe sur avec
Or, par intégration par parties,
donc
Enfin, une dernière intégration par parties donne
et la relation voulue…
Par le changement de variable , on obtient l’expression proposée.
On peut décomposer
D’une part, par intégration par parties
avec
et
D’autre part,
avec
et
Au final,
En vertu de ce qui précède
On en déduit que la fonction réelle n’est pas dérivable en 0, il en est a fortiori de même de .
[<] Transformée de Fourier et intégrales apparentées[>] Fonction d'Euler
(Transformation de Laplace)
Soit une fonction continue par morceaux et intégrable sur . On appelle transformée de Laplace de l’application définie par
Montrer que la fonction est définie, continue et bornée sur .
Étudier la limite de en .
Montrer que est de classe sur .
Solution
Introduisons la fonction définie par de sorte que, sous réserve d’existence,
Pour tout , la fonction est intégrable sur en vertu de la domination
La fonction est donc correctement définie sur .
Au surplus, pour tout , est continue sur . Par l’hypothèse de domination précédente, est continue sur .
Enfin, la domination précédente donne aussi
La fonction est donc bornée.
Pour tout , on a
Par la domination précédente, on peut échanger limite et intégrale
Pour tout , la fonction est de classe sur (et même sur ) avec
Soit .
Pour et ,
La fonction est continue sur et de limite nulle en . Il existe donc un réel tel que
et alors
La fonction est intégrable sur .
Par domination, est de classe sur . Puisque cela vaut pour tout , est de classe sur . Au surplus, on peut calculer les dérivées successives de en dérivant sous l’intégrale.
(Transformation de Laplace)
Soit une fonction continue et bornée. On appelle transformée de Laplace de l’application définie par
Montrer que la fonction est définie et continue sur .
Déterminer la limite de quand tend vers .
On suppose que la fonction admet une limite finie en .
Déterminer la limite de quand tend vers par valeurs supérieures.
Soit
Justifier que est définie et de classe sur .
Calculer .
En déduire une expression simplifiée de valable pour tout .
Solution
Posons
définie sur .
Pour tout , la fonction est continue par morceaux sur et intégrable car
La fonction admet une dérivée partielle
Celle-ci est continue en et continue par morceaux en .
Soit . On a
La fonction est intégrable sur . Par domination sur tout segment, on obtient de classe sur et
En employant
on obtient
On en déduit
Montrons . On a pour tout et donc
On conclut
Soit
Montrons que est solution sur de l’équation différentielle
Solution
Considérons définie sur
Pour , la fonction est fois dérivable sur admet une dérivée partielle
Pour tout , est continue par morceaux et intégrable sur car
De plus,
est continue par morceaux.
est continue.
Enfin, pour . On a
avec continue par morceaux et intégrable sur .
Par domination sur tout segment, la fonction est de classe sur et
On peut aussi constater le résultat plus directement en procédant aux changements de variable puis ce qui ramène l’expression étudiée à une primitive
et on peut alors vérifier la satisfaction de l’équation différentielle.
Soit
Montrer que est solution sur de limite nulle en de l’équation différentielle
Solution
Considérons définie sur
Pour tout , est continue par morceaux sur et intégrable car
Pour , la fonction est de classe sur et
Pour tout , la fonctions est continue par morceaux et intégrable.
La fonction est continue en , continue par morceaux en .
Soit . Sur , on a
avec continue par morceaux et intégrable sur .
Par domination sur tout compact, la fonction est de classe sur et
Enfin car
Pour , on pose
Montrer que est bien définie sur .
Justifier que est de classe sur .
Former une équation différentielle linéaire vérifiée par et en déduire une expression de à l’aide de .
Solution
Pour et , on pose
Pour tout , la fonction est continue par morceaux sur avec
La fonction est donc intégrable sur et l’intégrale définissant est alors convergente.
Pour tout , la fonction est dérivable avec
La fonction associée est continue en et continue par morceaux en . Pour tout ,
La fonction est définie, continue par morceaux et intégrable sur car prolongeable par continuité en et négligeable devant en .
Par domination, est de classe sur . Or cela vaut pour tout et la fonction est donc de classe sur avec
On réalise une intégration par parties généralisée avec
Les fonctions et sont de classe sur et le produit admet des limites finies (toutes deux nulles) en et . Par intégration par parties généralisée,
avec convergence de l’intégrale introduite.
Par linéarité et avec convergence des intégrales manipulées,
avec
Par une nouvelle intégration par parties généralisée,
Au final, on obtient que est solution sur de l’équation différentielle linéaire
Après résolution de cette équation différentielle, on obtient
En fait, le changement de variable dans l’intégrale définissant permet d’obtenir initialement
Pour , on pose
Montrer que est définie et continue sur .
Déterminer la limite de en .
Soit
Montrer que est définie et continue sur .
Montrer que est dérivable sur et solution de l’équation différentielle
Solution
est définie continue en et continue par morceaux en sur avec
et intégrable sur .
Par domination, on peut affirmer que est définie et continue sur .
existe et est continue en et continue par morceaux en sur .
Pour on a
avec intégrable sur .
Par domination sur tout segment de , on peut affirmer que est de classe sur avec
Enfin,
Soit
Calculer en réalisant le changement de variable .
Étudier les variations de sur son domaine de définition.
Étudier la limite de en .
Solution
est intégrable sur car équivaut à en . On en déduit que l’intégrale définissant existe. La fonction est une bijection de classe entre et : on peut réaliser le changement de variable . Celui-ci donne
En sommant ces deux expressions de ,
puis
La fonction est paire. Pour , on a pour tout , et par intégration . On en déduit que est décroissante sur .
Pour ,
Par encadrement,
[<] Transformée de Laplace et intégrales apparentées[>] Applications variées
On introduit la fonction définie par
Soit . Exprimer en fonction de et .
Calculer pour tout .
Soient et .
Exprimer en fonction de et .
Sachant , calculer pour tout .
Solution
Soit . On réalise une intégration par parties avec
Les fonctions et sont de classe et le produit présente des limites finies en et . Par intégration par parties généralisée,
Par une simple récurrence,
On remarque
et donc
(formule que l’on valide par récurrence sur ).
Par le changement de variable (de classe strictement croissant),
On en déduit
puis, à l’instar de ce qui précède,
On réécrit
Determiner les réels permettant d’introduire
Montrer que la fonction est continue sur son intervalle de définition.
Vérifier pour tout .
Exprimer simplement pour .
Démontrer que la fonction donnée par
est définie et continue sur .
Démontrer que la fonction est de classe sur .
En employant l’inégalité de Cauchy-Schwarz, établir que la fonction est convexe.
Solution
Posons définie sur . Pour tout , la fonction est intégrable car
La fonction est donc définie sur .
Pour tout , la fonction est continue sur
Pour , on a ou selon que ou et donc
La fonction est intégrable et donc, par domination sur tout segment, est continue sur .
Pour tout , la fonction est de classe sur avec
Pour tout : est intégrable sur car
Pour tout
Par des arguments analogues aux précédents, on obtient que est intégrable sur .
Par domination sur tout segment, est de classe sur avec
La dérivée seconde de est du signe de
Par l’inégalité de Cauchy-Schwarz:
Ainsi,
et donc
Finalement, est convexe.
(Formule d’Euler-Gauss)
On reprend la fonction introduite dans le sujet 4724.
Soit un réel strictement positif.
Justifier
En déduire la formule d’Euler-Gauss
Démontrer que la fonction
est définie et de classe sur .
Solution
Posons définie sur .
Pour tout , la fonction est intégrable sur car
La fonction admet des dérivées partielles
Pour tout , la fonction est continue par morceaux et intégrable sur car
Pour ,
car
La fonction est intégrable sur et donc, par domination sur tout segment, est de classe sur
On rappelle
Pour , on pose
Montrer que cette fonction est définie et indéfiniment dérivable sur .
On étudiera la régularité en se restreignant à .
Calculer pour .
En réalisant le changement de variable , transformer l’intégrale en
où pour , pour et pour et .
En appliquant le théorème de convergence dominée établir, la formule de Stirling:
Solution
Posons définie sur .
Pour tout , la fonction est intégrable sur car
La fonction admet des dérivées partielles
Pour tout , la fonction est continue par morceaux et intégrable sur car
Pour ,
car
La fonction est intégrable sur et donc, par domination sur tout segment, est de classe sur
Par intégration par parties avec et , on obtient
Sachant , on obtient par récurrence .
Par le changement de variable proposé
avec
Sur , une étude fonctionnelle montre
qui donne .
Sur , une étude fonctionnelle montre
pour . Cela donne .
La fonction
est intégrable sur .
En réalisant un développement limité du contenu de l’exponentielle,
Par convergence dominée,
d’où
Soit définie par
Montrer que est de classe sur et vérifier
Solution
Pour , on écrit
La relation obtenue vaut aussi pour .
Introduisons la fonction définie par
Cette fonction est indéfiniment dérivable en avec
Cette dérivée partielle est dominée par qui est intégrable sur .
Par théorème de domination, la fonction est de classe sur avec
et donc
(Théorème de d’Alembert-Gauss)
On veut établir que tout polynôme complexe non constant possède au moins une racine dans . On raisonne par l’absurde en supposant qu’il existe un polynôme complexe non constant n’ayant aucune racine complexe et l’on pose
Montrer que la fonction est définie et de classe sur .
Établir que est constante.
Conclure en étudiant la limite de en .
Solution
On pose
Par l’hypothèse absurde, la fonction est correctement définie sur et, pour tout , l’application partielle est continue par morceaux sur . La fonction est donc correctement définie sur .
Pour tout , la fonction est dérivable avec
Pour tout , l’application est continue sur .
Pour tout , l’application est continue par morceaux sur .
Soit . La fonction est continue sur le compact . Cette fonction admet donc un maximum ce qui permet d’introduire un réel tel que
Aussi, la fonction est continue sur le compact . Cette fonction admet donc un minimum et, puisque celle-ci est positive et ne s’annule pas, il existe un réel tel que
On a alors
La fonction constante est intégrable sur .
Par domination, est de classe sur . Or cela vaut pour tout , on peut donc affirmer que est de classe sur avec
Par calcul de primitive,
On en déduit que pour tout . Par continuité de , cela vaut aussi pour . On en déduit que la fonction est constante.
On écrit
Pour assez grand,
et alors
puis
et enfin
Or la fonction est constante, elle est donc constante égale à . Cela est absurde car
Édité le 08-12-2023
Bootstrap 3 - LaTeXML - Powered by MathJax