Pratique du Calcul intgral
Nous allons ici aborder quelques mthodes pour calculer des primitives d'une large classe de fonctions.
Intgrale indfinie
Soit continue. On note l'une quelconque des primitives de une constante prs que l'on ajoute toujours explicitement. , dfinie
Exemple diffrentes sur sous-intervalle de et sur .
. Ici,
, on peut donc avoir des constantes . Autrement dit, est une fonction constante sur chaque
On dit que dfinie.
est l'intgrale indfinie de
, alors que
s'appelle intgrale
Remarque On utilise la notion d'intgrale indfinie comme synonyme de primitive. On pourrait faire une distinction plus rigoureuse en dfinissant l'intgrale indfinie comme l'une quelconque des fonctions de la forme , ou n'est pas spcifi. (C'est ainsi qu'on la dtermine et qu'on l'utilise, dans l'esprit du sous-chapitre qui prcde.) Les deux dfinitions sont quivalentes au dtail prs qu'on n'obtient alors pas toutes les primitives par les intgrales indfinies: en effet, en changeant la borne infrieure on ne peut pas obtenir toutes les constantes, si est finie. est born ou si les primitives de sont bornes, si
Primitives des fonctions usuelles
Par drivation, on vrifie aisment la validit des relations donnes dans le tableau mme, on vrifie par drivation (rgle de chane!) que . De
avec
Tableau: Primitives des fonctions usuelles
Cette formule sera tudie plus en dtail dans le paragraphe . Elle permet d'utiliser les formules lmentaires ci-dessus pour toute une classe de fonctions lmentaires composes. Son application notamment au cas (et donc ) est immdiate et donne:
Exercice Gnraliser le formulaire prcdent, en remplaant
dans l'intgrant par
Intgration par parties
Proposition Pour , on a
ou encore, avec
et en utilisant les intgrales dfinies:
Dmonstration On a
D'o (en absorbant la constante d'intgration dans les intgrales indfinies) la premire partie de la proposition. La deuxime partie s'obtient en prenant la valeur en moins la valeur en . Remarque Cette relation est souvent utilis pour diminuer successivement le degr d'un polynme qui multiplie une fonction que l'on sait intgrer. Elle sert aussi pour l'intgration des expressions faisant intervenir les fonctions trigonometriques, o l'on retombe sur la fonction d'origine aprs deux intgrations.
Exemple Calculons la primitive :
. On posera deux fois successivement
Exemple Calculons la primitive :
. On posera successivement
, puis
On met tous les
dans le membre de gauche et obtient aprs division par 2:
Aprs le Bac :
Formule de Taylor avec reste intgral
Comme application importante de l'intgration par parties, dmontrons le Thorme [formule de Taylor avec reste intgral] Pour et , on a
(4)
(Rappel: on note
les fonctions
fois continment drivables sur
.)
Cette formule de Taylor avec reste intgral est historiquement la premire parmi les diffrentes formules de Taylor (cf. chap. , page ), trouve par Monsieur Brook Taylor (1685-1731). Elle sert pour le calcul de dveloppements limits qui seront tudis au chapitre suivant. Elle donne une approximation polynmiale de la fonction au voisinage de : en effet, si est
proche de , alors les termes de la forme deviennent trs petits, d'autant plus que est lev. Le dernier terme, appel reste intgral du dveloppement, tend encore plus vite vers zro que Dmonstration Pour (comme on le dmontre au chapitre ).
, la formule est vraie: en effet, elle s'crit dans ce cas
ce qui exprime simplement le fait que
est une primitive de
, lorsque
Supposons maintenant ( ) vraie pour un certain
, et que
admette une drive
continue sur . Ainsi, les deux facteurs dans le reste intgral vrifient les conditions suffisantes pour pouvoir faire une intgration par partie, avec
et
. Alors
La borne suprieure du crochet donne zro et pour la borne infrieure les signes compensent, on a donc
se
et en reportant ceci dans ( ), on trouve la formule au rang
Changement de variable d'intgration
Proposition Soit que et continue et un diffomorphisme, une bijection telle
soient continment drivables. Dans ce cas,
avec Autrement dit, est une primitive de . En terme d'intgrales dfinis, on a
Dmonstration Il faut et il suffit de montrer que rgle de chane, on a
a comme drive
. Or, d'aprs la
Or, Donc
et
(ce qui se montre en drivant
).
Pour une intgrale dfinie, on a donc
ce qui revient au mme que la formule donne dans l'nonc avec .
et
Applications -- Disposition pratique:
Ce thorme permet de calculer si l'on sait calculer , ou rciproquement. Il est la base de tout l'art de l'intgration , qui consiste trouver les bons changements de variables .
Dans la pratique, on crit alors
On crit symboliquement question:
, et on substitue ces deux quations dans l'intgrale en
Puis, ayant trouv la primitive substituant .
du membre de droite, on retourne la variable
en
Exemple Calculons la primitive sur l'intervalle . Posons . C'est justifi car est une bijection diffrentiable de sur , et la fonction rciproque l'interieur de cette intervalle. D'o est galement drivable
N.B.: En terme des dfinitions de la proposition, on a travaill avec c'est souvent plus ainsi qu'on procde dans la pratique.
plutt qu'avec
Remarque Il faut s'assurer que la fonction est effectivement une bijection, gnralement en considrant ses proprits de monotonie. Dans le cas echant, il faut dcouper l'intervalle d'intgration en des sous-intervalles sur lesquels est monotone.
Formule de la moyenne gnralise.
Comme application intressante des changements de variable, considrons le Thorme [de la moyenne, gnralis.] Soient et sur ][a,b. Alors,
Exercice Dmontrer ce thorme, en tudiant la fonction changement de variable Solution: La fonction avec sur .
pour justifier le
est bien dfinie ( intgrable car continue) et drivable sur . Donc est strictement croissante sur ][a,b, et idem pour
, , qui .
est donc bijection de sur . est drivable et Ainsi on peut faire le changement de variable pour passer de :
En utilisant le thorme de la moyenne
pour
on a le rsultat cherch, avec
(puisque
).
Via : [Link]