Mathématiques en MP/Exercices/Intégrales dépendant d'un paramètre

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Intégrales dépendant d'un paramètre
Image logo représentative de la faculté
Exercices no2
Cours : Mathématiques en MP

Exercices de niveau 15.

Exo préc. :Feuille d'exercices 1
Exo suiv. :Sommaire
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Intégrales dépendant d'un paramètre
Mathématiques en MP/Exercices/Intégrales dépendant d'un paramètre
 », n'a pu être restituée correctement ci-dessus.



Rappels de cours[modifier | modifier le wikicode]

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Intégrale paramétrique ».

Dans les trois théorèmes suivants, toutes les fonctions seront supposées (outre les hypothèses spécifiques à chacun) continues par morceaux, pour éviter de faire appel à la notion de mesurabilité, plus générale mais peu utile dans les cas concrets. désignera un intervalle réel et une application définie sur et à valeurs dans ou ( peut être infini). On définit

(pour les pour lesquels cette intégrale converge).

Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème


Exercice 2-1[modifier | modifier le wikicode]

On considère , pour .

  1. Montrer que est continue (sur ) et que est bien définie sur .
  2. Pour tout , calculer .
  3. Pour tout , calculer .
  4. L'intégrale est-elle convergente ?
  5. Étudier de même , pour .

Sur le même thème : pour , on pose et .

Montrer que est de classe C sur mais que .

  1. Soit . Vérifier que sur , est positive, strictement décroissante, que et que n'est pas intégrable en 0.
  2. Soit une suite décroissante de réels tendant vers 0, et telle que . On pose (on suppose ) et . Vérifier que simplement et .
  3. Vérifier que pour tout , la suite des est positive mais non monotone. Soit son sup, vérifier que . En déduire qu'il n'existe pas de fonction intégrable telle que -presque partout.

Exercice 2-2[modifier | modifier le wikicode]

On pose pour tout et pour tout .

  1. À l'aide du théorème de dérivation pour les intégrales à paramètre, montrer que est de classe C sur et donner une relation entre la suite et la suite des dérivées successives de au point .
  2. Calculer directement à partir de sa définition, et en déduire l'expression de ses dérivées.
  3. En déduire .

Variante : pour et , on pose

.
  1. Montrer que est bien définie et dérivable sur . Calculer sa dérivée.
  2. En déduire la valeur de .

peut aussi se déduire de par changement de variable, et peut se calculer par récurrence à l'aide d'une IPP (cf. Intégration de Riemann/Exercices/Intégrales impropres#Exercice 5-7 question 1). Il s'agit en fait d'une intégrale de Wallis.

Exercice 2-3[modifier | modifier le wikicode]

On sait bien que l'intégrale de Dirichlet converge, mais non absolument.

Le but de cet exercice est de retrouver sa valeur en appliquant le théorème de dérivation d'une intégrale à paramètre à la fonction

.
  1. Montrer que est de classe C1 sur et calculer , , puis .
  2. Montrer que . Pour cela, on est certain de ne pas pouvoir appliquer le théorème d'interversion de avec , car si pour tout (ou au moins tout proche de ) , alors (par passage à la limite) , or n'est pas intégrable en . Par contre, on pourra facilement intervertir avec pour fixé (la question de l'intégrabilité en ne se posant plus). La méthode préconisée ici est de montrer que pour tout  :
    •  ;
    • .
  3. Conclure.

Exercice 2-4[modifier | modifier le wikicode]

On considère la fonction Gamma d'Euler, définie par

.

On sait déjà (cf. devoir sur la fonction Gamma et la formule de Stirling) que :

  • son domaine de définition est  ;
  • (pour ) ;
  • (pour ).
  1. Montrer que est de classe C et donner l'expression de pour tout .
  2. Montrer que et en déduire que s'annule au plus une fois.
  3. Montrer que s'annule entre 1 et 2.
  4. Déterminer , , , et donner l'allure du graphe de .
  5. Calculer , connaissant la valeur de l'intégrale de Gauss ().

Exercice 2-5[modifier | modifier le wikicode]

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Fonction bêta ».

On définit la fonction bêta par : .

  1. Montrer que cette intégrale converge si et seulement si les deux réels et sont strictement positifs.
  2. Montrer que (la définition de est rappelée dans l'exercice précédent). Pour cette question, on admettra le théorème de Fubini car explicitement hors programme en classe de MP.
  3. En déduire une expression simple de si .
  4. Démontrer que .
  5. En déduire que la fonction se prolonge en une fonction holomorphe sur , dont les seuls zéros sont les entiers négatifs ou nuls.

Exercice 2-6[modifier | modifier le wikicode]

On pose

  1. Montrer que pour tout réel , est intégrable sur . On pose alors .
  2. Montrer que est continue sur et dérivable sur . Calculer et en déduire , connaissant la valeur de l'intégrale de Gauss ().

On pose puis .

  1. Montrer que l'application est définie et continue sur .
  2. Montrer qu'elle est de classe C1 sur .
  3. Calculer .
  4. À l'aide du changement de variable , montrer que .
  5. En déduire une expression de .

Exercice 2-7[modifier | modifier le wikicode]

Soient et définies sur par

.
  1. Montrer que et sont de classe C1 et calculer leurs dérivées.
  2. En déduire que est constante. Que vaut cette constante ?
  3. Déterminer la limite en de puis de , et retrouver ainsi la valeur de l'intégrale de Gauss, .

Variante : pour , on pose

.
  1. Montrer que sur , est bien définie et continue.
  2. Montrer que est de classe C1 sur .
  3. Calculer et étudier la limite de en .
  4. Montrer que pour tout on a .
  5. Montrer que .
  6. En déduire que .

Exercice 2-8[modifier | modifier le wikicode]

Toutes les fonctions considérées sont encore supposées continues par morceaux.

1. À l'aide des deux premiers théorèmes des rappels ci-dessus, démontrer la variante suivante du troisième :

Début d’un théorème
Fin du théorème

2. Démontrer la généralisation suivante, pour  :

Début d’un théorème
Fin du théorème

Exercice 2-9[modifier | modifier le wikicode]

Soient

.
  1. Montrer que est bien définie sur et de classe C2 et que .
  2. Montrer que (pour tout ).
  3. Déduire des deux points précédents que sur  :
    1. est dérivable et (pour tout ), puis
    2. est deux fois dérivable et .
  4. Calculer et montrer que est bornée.
  5. Déduire des questions 3.2 et 4 l'expression explicite de pour tout .
  6. Donner les valeurs explicites des deux intégrales suivantes :
    .
  7. On veut retrouver la valeur de l'intégrale de Dirichlet (voir supra). En utilisant la question 3.1, démontrer que .
  8. Conclure en considérant

Exercice 2-10[modifier | modifier le wikicode]

On pose

et .

Montrer que est (au moins) de classe C2 sur et calculer , puis , puis .

Exercice 2-11[modifier | modifier le wikicode]

Soit . Montrer de deux façons que  :

  1. en étudiant l'uniformité de la convergence de la suite de fonctions sur les intervalles de la forme avec  ;
  2. en utilisant le théorème de convergence dominée.

Exercice 2-12[modifier | modifier le wikicode]

  1. Justifier la convergence des intégrales et étudier .
  2. Soient une fonction continue sur et . Étudier .
  3. Calculer .

Exercice 2-13[modifier | modifier le wikicode]

L'objectif est de calculer .

Pour , on pose .

  1. Justifier que est bien définie.
  2. Montrer que est dérivable et solution d'une équation différentielle linéaire d'ordre avec second membre.
  3. En déduire que .
  4. Calculer .
  5. Montrer que . En déduire la valeur de .
  6. Retrouver ainsi la valeur de l'intégrale de Gauss, .

Exercice 2-14[modifier | modifier le wikicode]

Pour , on pose .

  1. Montrer que est définie et continue sur .
  2. Montrer que est de classe C2 sur et que .
  3. En déduire l'expression explicite de puis , puis la limite de en .
  4. Retrouver directement cette limite.

Exercice 2-15[modifier | modifier le wikicode]

Soit .

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Fonction de Bessel ».
  1. Montrer que est de classe C2 et donner les expressions intégrales de et .
  2. Vérifier que .
  3. On admet que de même, la fonction

    est de classe C2 et vérifie . Quel en est l'intérêt ?

Exercice 2-16[modifier | modifier le wikicode]

Soient une fonction de classe C2 et la fonction définie par

.

Montrer que est bien définie et de classe C2 et que

.

Exercice 2-17[modifier | modifier le wikicode]

  1. Soit . Montrer que l'intégrale est convergente. On note alors sa valeur.
  2. Montrer que la fonction est de classe C1 (sur ).
  3. Montrer que (pour tout ).
  4. En déduire que , connaissant la valeur de l'intégrale de Gauss ().

Exercice 2-18[modifier | modifier le wikicode]

Pour on pose .

  1. Montrer que est continue, décroissante et que .
  2. Montrer que est dérivable sur et calculer sa dérivée.
  3. Est-elle dérivable à droite en  ?

Exercice 2-19[modifier | modifier le wikicode]

Pour tout l'exercice on fixe . On note

et .
  1. Calculer .
  2. Montrer que est de classe C1 sur et donner une expression pour ne faisant pas intervenir d'intégrale.
  3. Montrer que .

Exercice 2-20[modifier | modifier le wikicode]

On pose .

  1. Montrer que est de classe C1 sur .
  2. Calculer .
  3. En déduire .

Exercice 2-21[modifier | modifier le wikicode]

On pose .

  1. Montrer que est bien définie sur .
  2. Pour on pose . Montrer que .
  3. Montrer que est de classe C2 sur .
  4. En déduire que est de classe C2 sur et que
    .

Exercice 2-22[modifier | modifier le wikicode]

Pour tout réel , on note

.
  1. Montrer que est bien définie et dérivable sur .
  2. Déterminer sa limite en .

Exercice 2-23[modifier | modifier le wikicode]

Soit une fonction C. On pose

.
  1. Montrer que est C.
  2. Montrer que .

On a ainsi prouvé que pour toute fonction C nulle en 0, la fonction admet un prolongement C sur .

Exercice 2-24[modifier | modifier le wikicode]

Soit telle que existe pour presque tout .

  1. Montrer que cette limite est alors égale à p.p.
  2. En déduire que . (Démontrer d'abord l'égalité pour presque tout .)
  3. Retrouver ainsi la valeur de l'intégrale de Dirichlet (voir supra) : .