CALCUL DIFFRENTIEL ET INTGRAL

CALCUL DIFFRENTIEL ET INTGRAL 1. Calcul diffrentiel 1.2. Diffrentielles 1.3. Drives usuelles 2. Calcul intgral 2.1. Intgrale dfinie 2.2. Intgrale indfinie 2.3. Intgration par changements de variable 2.3.1. Jacobien 2.4. Intgration par parties 2.5. Primitives usuelles 3. Fonction de Dirac 4. Fonction Gamma d'Euler 4.1. Expression de la factorielle 4.2. Constante d'Euler-Mascheroni 5. quations diffrentielles 5.1. quations diffrentielles du premier ordre 5.2. quations diffrentielles linaires 5.3. Mthode du polynme caractristique 5.3.1. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 1 5.3.2. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 2 5.4. Thorie rgulire des perturbations 5.4.1. Thorie perturbative des quations algbriques

5.4.2. Thorie perturbative des quations diffrentielles 5.5. Systmes d'quations diffrentielles

e calcul diffrentiel est un des domaines les plus passionnants et vastes de la mathmatique,

et il existe une littrature considrable (colossale) sur le sujet. Les rsultats retrouvent des implications dans absolument tous les domaines de la physique, de l'informatique, de l'lectronique, de la chimie, de la finance, de la biologie et de la mathmatique elle-mme. Les mathmaticiens ont rdig une telle quantit de thormes sur le sujet que la validation d'un chantillon de ceux-ci est dlicate car ncessitant eux-seuls la vie d'un homme pour tre parcourus (c'est un problme que la communaut des mathmaticiens reconnat) et vrifis (ce qui fait que personne ne les vrifie...). Ce constat fait, nous avons choisi de ne prsenter ici que les points absolument ncessaires la comprhension des outils fondamentaux de l'ingnieur. Les puristes nous excuseront donc pour l'instant de ne pas prsenter certains thormes qui peuvent leur sembler indispensables mais que nous rdigerons une fois le temps venu... Nous allons principalement tudier dans ce qui va suivre ce que les mathmaticiens aiment bien prciser (et ils ont raison) : les cas gnraux des fonctions relles une variable relle. Les fonctions plus complexes ( plusieurs variables relles ou complexes, continues ou discrtes) viendront une fois cette partie termine. Remarque: Nous ne nous attarderons pas dmontrer les drives et primitives de toutes les fonctions car comme il y a une infinit de fonctions possibles, il y a galement une infinit de drives et de primitives. C'est le rle des professeurs dans les instituts scolaires d'entraner les lves appliquer et comprendre le raisonnement de drivation et d'intgration par des applications sur des fonctions connues (l'internet ne remplacera trs probablement jamais l'cole ce niveau).

CALCUL DIFFRENTIEL
Soit une fonction f relle une variable relle x note f(x) (nous nous limitons ce cas de figure pour l'instant et tudierons les drives partielles dans des espaces un nombre de dimensions quelconques plus loin) continue au moins dans un intervalle o se situe l'abscisse a. Dfinitions: D1. Nous appelons "pente moyenne", ou encore "coefficient directeur" le rapport de la projection orthogonale de deux points de la fonction f non ncessairement continue sur l'axe des abscisses et des ordonnes tel que :

(10.1)

Ce qui se reprsente sous forme graphique de la manire suivante avec une fonction particulire:

(10.2)

Remarque: signifiant "un delta" exprime le fait que nous sous-entendons une diffrence d'une mme quantit. Nous supposerons comme vident (sans dmonstration) que deux fonctions dont les pentes sont les mmes dans un mme intervalle de dfinition, y sont parallles (ou confondues). Nous dmontrerons dans le chapitre de Gomtrie Analytique que deux fonctions dont la multiplication des pentes vaut -1 sont perpendiculaires. D2. Nous appelons "nombre driv en a" ou "pente instantane" ou encore "drive premire", la limite quand h tend vers 0 (si elle existe) du rapport de la projection orthogonale de deux points infiniment proches de la fonction f continue (dans le sens qu'elle ne contient pas de "trous") sur l'axe des abscisses et des ordonnes tel que :

(10.3)

Une interprtation graphique donne donc bien que f '(a) est le coefficient directeur (la pente de la tangente au point d'abscisse a). Remarques: R1. d signifiant un "diffrentiel" exprime le fait que nous sous-entendons une diffrence infiniment petite d'une mme quantit. R2. Nous renvoyons le lecteur au chapitre d'Analyse Fonctionnelle pour la dfinition de ce qu'est une fonction continue. D3. Soit f une fonction dfinie sur un intervalle I et drivable en tout point a de I, la fonction qui tout rel a de I associe le nombre f '(a) est appele "fonction drive de f sur I" et est note f '.

Remarque: Au niveau des notations les physiciens adoptent suivant leur humeur diffrentes notations possibles pour les drives. Ainsi, considrons la fonction relle une variable f(x), vous trouverez dans la littrature ainsi que dans le prsent site les notations suivantes pour la drive premire :

(10.4)

ou encore en considrant implicitement que f est fonction de x (ceci permet d'allger un petit peu la tailles des dveloppements) :

(10.5)

Nous pouvons de la mme manire dfinir les drives d'ordre 2 (drive d'une drive), les drives d'ordre 3 (drive d'une drive d'ordre 2) et ainsi de suite. Nous rencontrerons par ailleurs trs frquemment de telles drives en physique (et mme en maths pour l'analyse fonctionnelle). Maintenant, suite un problme de comprhension de la part d'un internaute dans un des chapitres du site, prcisons une technique utilise frquemment par les physiciens. Considrons une drive d'ordre 2 telle que :

(10.6)

Si nous regardons le d/dx comme un oprateur diffrentiel nous pouvons bien videmment crire :

(10.7)

Finalement nous avons :

(10.8)

et donc il vient aprs simplification par f(x) :

(10.9)

sinon quoi nous ne pouvons pas avoir cette galit si l'oprateur agit explicitement sur une fonction dans une relation mathmatique ou physique quelconque.

Cela peut paratre vident pour certains mais parfois moins pour d'autres et il tait visiblement utile de prciser cela car c'est souvent utilis dans les chapitre de relativit et physique quantique. Indiquons et dmontrons maintenant deux proprits intuitivement vidente des drives et qui nous seront plusieurs fois indispensables pour certaines dmonstrations sur ce site (comme par exemple dans le chapitre de mthodes numriques ou ici mme...). Considrons d'abord deux nombres rels [a,b] et drivable sur ]a,b[ telle que et f une fonction valeurs relles continue sur . Alors nous voulons dmontrer qu'il existe (c'est typiquement le cas des

bien videmment au moins un lment c de ]a,b[ tel que fonctions polynmial!).

Cette proprit est appele "thorme de Rolle" et donc explicitement elle montre qu'il existe au moins un lment o la drive de f est nulle si en la parcourant nous revenons la mme valeur des images pour deux valeurs distinctes des abscisses, c'est--dire qu'il existe au moins un point o la tangente est horizontale. Dmonstration: Si f est constante, c'est immdiat... Dans le cas contraire, comme f est continue sur l'intervalle ferm born [a,b] elle admet au moins un minimum global ou maximum global compte tenu que nous nous basons sur l'hypothse que et que f n'est pas constante. L'extrema est atteint en un point c appartenant l'intervalle ouvert ]a,b[ (le fait de prendre l'intervalle ouvert permet dans certains cas d'viter d'avoir un extrema nouveau en a ou en b). Supposons comme premier cas que f(c) est maximum global. La drive de la fonction f entre c et un deuxime point ont alors un signe connu. Pour h strictement positif et tel que c+h appartienne l'intervalle [a,b] :

(10.10)

En considrant la limite quand h tend vers 0, le nombre driv

est ngatif.

Pour h strictement ngatif et tel que c+h appartienne l'intervalle [a,b] :

(10.11)

En considrant la limite quand h tend vers 0, le nombre driv f '(c) est positif. Au bout du compte, la drive de f est nulle au point c.

La dmonstration est analogue si f(c) est un minimum global, avec les signes des drives qui sont les opposs. C.Q.F.D. Maintenant, considrons deux rels et f(x) une fonction continue sur [a,b] et drivable sur tel que :

]a,b[. Alors, nous nous proposons de montrer qu'il existe au moins un rel
(10.12)

Ce qui peut aussi s'crire sous la forme suivante :

(10.13)

avec

Gomtriquement cela signifie qu'en au moins un point c du graphe de la fonction f(x), il existe une tangente de coefficient directeur :

(10.14)

Graphiquement cela donne :

.
(10.15)

Dmonstration: Nous avons d'abord :

(10.16)

car la pente de h(x) est bien videmment et comme lorsque devons avoir f(a) il s'ensuit donc la relation donne prcdemment.

nous

Ensuite, pour dmontrer qu'un tel point c existe, l'ide est de rapporter les deux points a et b la mme ordonne ce qui en fait nous ramne au thorme de Rolle et pour cela, nous dfinissons une fonction g par :

(10.17)

qui est telle que effectivement ... et en l'occurrence gal 0 (mais cette valeur importe peu). Ds lors, le thorme de Rolle vu prcdemment nous indique qu'il existe un point entre a et b o la drive de g(x) est nulle tel que . Et en constatant que :

(10.18)

nous obtenons :

(10.19)

Soit aprs simplification :

(10.20)

C.Q.F.D. Puisque le terme de gauche reprsente un accroissement fini du terme de droite, alors ce rsultat est appele "thorme des accroissements finis" (TAF). A l'aide de ce petit thorme et des outils mathmatiques introduits prcdemment, nous pouvons construire un petit thorme fort utile et puissant en physique. Dfinition: Nous appelons "rgle de L'Hpital" (galement appele "rgle de l'Hospital" ou "rgle de Bernoulli") le procd qui utilise la drive dans le but de dterminer les limites difficiles calculer de la plupart des quotients et qui apparaissent souvent en physique. Dmonstration: Considrons deux fonctions f(x) et g(x) et telles que crire: alors nous pouvons

(10.21)

Alors selon la dfinition de la drive:

(10.22)

C.Q.F.D. Nous pouvons gnraliser ce rsultat prcdent initialement bas sur la contrainte un peu trop forte:
(10.23)

Dmonstration: Rappelons donc que selon le thorme des accroissements finis, si f(x) est drivable sur un intervalle ]a,b[ et continue sur [a,b] alors il existe un rel c dans l'intervalle [a,b] tel que:

(10.24)

Si le thorme se vrifie pour deux fonctions satisfaisant aux mmes contraintes alors nous avons deux fonctions telles que:

et

(10.25)

Si g'(c) est non nul nous avons alors tout fait le droit d'crire le rapport (certains appellent cela le "thorme des accroissements fini gnralis"...) :

(10.26)

ce qui sans perdre en validit tant que c est dans l'tau [a,x] peut s'crire:

(10.27)

Ainsi, lorsque

ce qui implique que l'tau [a,x] se referme et donc

nous avons:

(1 0.28)

Ainsi, nous venons de prouver quand dans la dmonstration prcdente de la rgle de l'Hpital la relation:

(10.29)

que nous avions est vraie en toute gnralit et qu'il n'est pas ncessaire que soit vrai pour que le rsultat soit juste! C.Q.F.D.

DIFFRENTIELLEs
Nous avons indiqu prcdemment ce qu'tait un diffrentiel d. Mais il existe en fait plusieurs types de sortes de diffrentielles d'une fonction (remarquez que nous distinguons le genre masculin et fminin du terme) : 1. Les diffrentiels 2. Les diffrentielles partielles 3. Les diffrentielles totales exactes 4. Les diffrentielles totales inexactes Rappelons que nous appelons "diffrentiel df" d'une fonction f une variable la relation donne par (voir texte prcdent) :
(10.30)

Cependant, pour exprimer l'effet d'un changement de toutes les variables d'une fonction f de plusieurs variables, nous devons utiliser un autre type de diffrentiel que nous appelons la "diffrentielle totale" (drive en deux sous-familles : diffrentielle totale exacte et diffrentielle totale inexacte). Soit par exemple, une fonction f(x, y) des deux variables x et y. L'accroissement df de la fonction f, pour un accroissement fini de x et de y est :
(10.31)

que nous pouvons aussi crire :

(10.32)

ou encore:

(10.33)

Pour des accroissements infiniment petits de x et y :

(10.34)

Intressons nous ds lors aux deux termes au passage la limite:

et

(10.35)

Le premier terme de gauche, nous le voyons, ne donne finalement que la variation en x de la fonction f(x, y) en ayant y constant sur la variation. Nous notons cela ds lors (si la connaissance des variables constantes est triviale, nous ne les indiquons plus) :

(10.36)

et de mme :

(10.37)

Les deux expressions :

et

(10.38)

sont ce que nous appelons des "diffrentielles partielles". Il vient ds lors :

(10.39)

qui est la "diffrentielle totale exacte" de df. Il est important de se rappeler de la forme de cette relation que nous retrouverons partout dans des oprateurs particuliers en physique, dans la mcanique des fluides, dans la thermodynamique, etc. Remarque: De la mme manire, pour une fonction de plus de deux variables, par exemple f(x, y, z), la diffrentielle totale df est:

(10.40)

Dans l'quation ci-dessus, la diffrentielle df a t calcule partir de l'expression de la fonction f. Puisqu'il existe une fonction f qui vrifie l'expression de df, la diffrentielle df est dite alors aussi "totale exacte". Profitons pour faire une indication importante sur l'utilisation des drives partielles par les physiciens (et donc dans les nombreux chapitres y relatifs du site). Nous avons vu plus haut que si f dpend de deux variables x, y nous avons toujours :

(10.41)

et s'il ne dpend que d'un variable nous avons alors :

(10.42)

et alors :

(10.43)

raison pour laquelle les physiciens mlangent allgrement les deux notations... Maintenant, il faut cependant savoir qu'il existe galement des diffrentielles totales exactes, qu'aucune fonction ne vrifie. Dans ce cas, nous parlons de "diffrentielle totale inexacte" et pour dterminer si une diffrentielle totale est exacte ou inexacte, nous utilisons les proprits des drives partielles (cas trs important en thermodynamique!!!). Soit la forme diffrentielle :
(10.44)

o M(x,y) et N(x,y) sont des fonctions des variables x et y. Si dz est une diffrentielle totale exacte, alors :

(10.45)

Il faut donc que :

et ou encore, en effectuant une seconde drivation, que:

(10.46)

et

(10.47)

Avant de continuer, nous avons besoin d'un rsultat donn par le "thorme de Schwarz" qui s'nonce de la manire suivante : Soit une fonction f, si :

(10.48)

sont continues alors nous avons (il faut vraiment vrifier que ce soit le cas!) :

(10.49)

pour tout Dmonstration:

o U est le domaine de dfinition o f est continue (et donc drivable).

Nous considrons l'expression :

(10.50)

Posons : et Nous avons alors :

(10.52) (10.51)

Par le thorme des accroissements finis :

(10.53)

avec

En reprenant les dfinitions de g et w nous obtenons :

(10.54)

en appliquant nouveau le thorme des accroissements finis aux deux membres entre parenthses nous trouvons :

(10.55)

avec

Pour finir :

(10.56)

et par continuit lorsque

, nous avons :

(10.57)

Plus simplement crit :

(10.58)

C.Q.F.D. Par rcurrence sur le nombre de variables nous pouvons dmontrer le cas gnral (c'est long mais c'est possible, nous le ferons si besoin il y a...). Donc finalement pour en revenir notre problme initial, nous avons donc :

(10.59)

Ce qui nous donne finalement :

(10.60)

C'est donc la condition que doit satisfaire une diffrentielle totale pour tre une diffrentielle totale exacte et la condition qu'elle ne doit pas satisfaire pour tre une diffrentielle totale inexacte!!! Afin de ne pas confondre les deux types de diffrentielles, nous utilisons le symbole pour reprsenter une diffrentielle totale inexacte et d pour une diffrentielle totale exacte. La distinction est extrmement importante car seules les diffrentielles totales exactes ont une intgrale qui ne dpend que des bornes d'intgration (puisque toutes les variables changent en mme temps) :

mais

(10.61)

Autrement dit, la variation d'une fonction dont la diffrentielle est totale exacte, ne dpend pas du chemin suivi, mais uniquement des tats initiaux et finaux. Nous appelons une telle fonction qui satisfait une diffrentielle totale exacte, une "fonction d'tat", c'est--dire une fonction dont la valeur ne dpend que de l'tat prsent et futur, et non de son histoire. Cette distinction est trs importante et particulirement en thermodynamique o il convient de dterminer si une quantit physique est une diffrentielle totale exacte (une "fonction d'tat" donc) ou non afin de savoir comment voluent les systmes. Exemple: Un exemple important de forme diffrentielle en thermodynamique, est le travail lmentaire d'une force exerce sur un corps en mouvement dans le plan Oxy, nous avons :
(10.62)

et

ne drivent pas ncessairement d'un mme potentiel U(x,y) tel que :

(10.63)

est donc une diffrentielle totale inexacte!

DRIVES USUELLES
CALCUL DIFFRENTIEL ET INTGRAL 1. Calcul diffrentiel

1.2. Diffrentielles 1.3. Drives usuelles 2. Calcul intgral 2.1. Intgrale dfinie 2.2. Intgrale indfinie 2.3. Intgration par changements de variable 2.3.1. Jacobien 2.4. Intgration par parties 2.5. Primitives usuelles 3. Fonction de Dirac 4. Fonction Gamma d'Euler 4.1. Expression de la factorielle 4.2. Constante d'Euler-Mascheroni 5. quations diffrentielles 5.1. quations diffrentielles du premier ordre 5.2. quations diffrentielles linaires 5.3. Mthode du polynme caractristique 5.3.1. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 1 5.3.2. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 2 5.4. Thorie rgulire des perturbations 5.4.1. Thorie perturbative des quations algbriques 5.4.2. Thorie perturbative des quations diffrentielles 5.5. Systmes d'quations diffrentielles Nous allons dmontrer ici les drives les plus frquentes (une petite trentaine) que nous puissions rencontrer en physique thorique et mathmatique ainsi que certaines de leurs proprits. La liste est pour l'instant non exhaustive mais les dmonstrations tant gnralises,

elles peuvent s'appliquer un grand nombre d'autres cas (que nous appliquerons/rencontrerons tout au long de ce site). 1. Drive de : :

Partons d'abord d'un cas particulier, la drive de Soit donc a un rel quelconque fix, alors:

(10.64)

Le nombre driv en a de la fonction cube est donc

Nous pouvons gnraliser ce rsultat pour tout entier naturel positif ou ngatif n et nous allons voir que la fonction f dfinie sur par . par est drivable et que sa drive f' est dfinie

(10.65)

Ainsi, nous avons (quelques exemples peuvent tres utiles pour comprendre la porte de ce rsultat):

(10.66)

Nous voyons donc qu'en ayant dtermin la drive d'une fonction de la forme , nous avons galement dtermin la drive de toute fonction qui est mise sous cette forme tel que:

et Cependant, les fonctions:

(10.67)

(10.68)

ne sont pas drivables en puisque la fonction n'y est plus dfinie (division par zro). De plus, en ce qui concerne la fonction comportant la racine (puissance non entire), la drive n'est pas dfinie dans .

Cependant, le rsultat prcdent donne un rsultat intressant pour les fonctions constantes telle que:
(10.69)

il n'est alors pas difficile de dterminer la drive qui vaut simplement:

(10.70)

Donc la drive de toute fonction constante est nulle (il est important de se souvenir de ce rsultat quand nous tudierons les proprits des intgrales) !!! 2. Drive de la fonction f(x)=cos(x): Soit donc a un rel quelconque fix, alors (attention! il est utile de connatre les relations trigonomtriques remarquables que nous dmontrons dans le chapitre de trigonomtrie dans la section de gomtrie):

(10.71)

Puisque:

(10.72)

Effectivement, rappelons que la fonction sin(x) est assimilable (visuellement et mathmatiquement) une droite de fonction Donc pour rsumer:
(10.73)

au voisinage de

3. Drive de la fonction f(x)=sin(x) : Soit donc a un rel quelconque fix, alors (attention! il est utile de connatre les relations trigonomtriques remarquables que nous dmontrons dans le chapitre de trigonomtrie dans la section de gomtrie):

(10.74)

Donc pour rsumer:

(10.75)

4. Drive de la fonction La drive de la fonction

: est gale , c'est--dire si :

(10.76)

alors:

(10.77)

Dmonstration: Si est l'accroissement de la fonction de la variable x, alors : pour un accroissement correspondant

(10.78)

et nous pouvons crire :

(10.79)

Multiplions et divisons par x l'expression figurant dans le membre droit de la dernire galit :

(10.80)

Dsignons la quantit donn. Par consquent :

par

. Il est vident que

quand

tend vers zro pour un x

(10.81)

Or, nous retrouvons ici une autre provenance historique de la constante d'Euler (cf. chapitre d'Analyse Fonctionnelle) o :

(10.82)

Ainsi :

(10.83)

C.Q.F.D. Une cas particulier important est le cas o a=e. Nous avons alors :

(10.84)

5. Drive d'une somme de fonctions : Soient u et v deux fonctions. La fonction somme est drivable sur tout intervalle o u et v sont drivables, sa drive est la fonction s' somme des fonctions drives u' et v' de u et v. Ce rsultat se gnralise pour une somme d'un nombre quelconque fix de fonctions. Dmonstration: Soit a un rel fix et u et v deux fonctions dfinies et drivables en a:

(10.85)

Donc la drive d'une somme est la somme des drives. C.Q.F.D. 6. Drive d'un produit de fonctions : Soient u et v deux fonctions. La fonction produit est drivable sur tout intervalle o u et v sont drivables, sa drive premire est la fonction p' telle que :
(10.86)

Dmonstration: Soit a un rel fix et u et v deux fonctions dfinies et drivables en a:

(10.87)

Nous rajoutons cette dernire relation deux termes dont la somme est nulle tel que:

(10.88)

C.Q.F.D. Mais il existe une formulation plus gnrale que la drive premire d'un produit : Considrons pour cela toujours nos deux fonctions u et v, n fois drivables sur un intervalle I. Alors le produit uv est n fois drivable sur I et :

(10.89)

et ceci constitue la "formule de Leibniz" que nous avons utilis dans le chapitre de calcul algbrique pour l'tude des polynmes de Legendre (qui nous sont eux-mmes indispensables pour l'tude de la chimie quantique). La dmonstration de la formule est trs proche de celle fait pour le binme de Newton (cf. chapitre de Calcul Algbrique). Dmonstration: Soit :
(10.90)

D'autre part :

(10.91)

La formule est ainsi bien initialise. La dmonstration se fait par rcurrence. Ainsi, le but est de montrer que pour si : que

(10.92)

alors :

(10.93)

Nous avons donc :

(10.94)

Nous allons procder un changement de variable dans la premire somme pour ne plus avoir le terme en k+1. Nous posons pour cela :

(10.95)

Si nous revenons la lettre k, nous avons donc :

(10.96)

Nous avons donc :

(10.97)

Nous voulons runir les deux sommes. Pour cela, nous cartons les termes en trop dans chacun d'elles :

(10 .98)

Ce qui donne donc :

(10.99)

D'aprs la formule de Pascal (cf. chapitre de Probabilits), nous avons :

(10.100)

Donc :

(10.101)

Or :
(10.102)

Donc :

(10.103)

C.Q.F.D. 7. Drive d'une fonction compose : Soit la fonction compose de deux fonctions u et g drivables, la premire en u(x), la , c'est--dire :
(10.104)

seconde en x, la fonction drive f' est dfinie par

Dmonstration: Soit a un rel fix et u une fonction dfinie et drivable en a et g une fonction dfinie et drivable en u(a) :

(10.105)

posons

, nous avons alors:

(10.106)

continuons notre dveloppement prcdent:

(10.107)

C.Q.F.D. Donc la drive d'une fonction compose est donne par la drive de la fonction multiplie par la "drive intrieure". Par ailleurs, ce type de drivation est trs important car souvent utilis en physique sous la dnomination de "drivation en chane". Voyons de quoi il s'agit. La dernire relation obtenu peut tre crite sous une autre forme si nous posons et :

(10.108)

Ce qui peut s'tendre des cas plus compliqus par exemple si alors :

(10.109)

8. Drive d'une fonction rciproque : Si la fonction f est continue, strictement monotone sur un intervalle I, drivable sur I, alors la fonction rciproque est drivable sur l'intervalle f(I) et admet pour fonction drive:

(10.110)

En effet, nous pouvons crire :

(10.111)

C'est--dire (application identit) :

(10.112)

Par application de la drivation des fonctions composes:

(10.113)

d'o:

(10.114)

Pour une variable x, nous poserons pour la drive de la fonction rciproque:

(10.115)

10. Drive de la fonction arccos(x) : En utilisant le rsultat prcdent de la fonction rciproque, nous pouvons calculer la drive de la fonction arccos(x) :

(10.116)

11. Drive de la fonction arcsin(x) : En utilisant le rsultat prcdent de la fonction rciproque, nous pouvons calculer la drive de la fonction arcsin(x) :

(10.117)

12. Drive d'un quotient de deux fonctions : La fonction est drivable sur tout intervalle o les fonctions u et v sont drivable et o la fonction v est non nulle et:

(10.118)

Dmonstration: La fonction f peut tre considre comme le produit de deux fonctions : la fonction u et la fonction 1/v. Une produit de deux fonctions est drivable si chacune d'elle est drivable, il faut donc que la fonction u soit drivable et que la fonction 1/v soit galement drivable ce qui est le cas quand v est drivable non nulle.

(10.119)

C.Q.F.D. 13. Drive de la fonction tan(x) : Par dfinition (cf. chapitre de Trigonomtrie) nous avons :

(10.120)

et en appliquant donc la drive d'un quotient vu prcdemment, nous avons :

(10.121)

ou encore :

(10.122)

14. Drive de la fonction cot(x) : Par dfinition (cf. chapitre de Trigonomtrie), :

(10.123)

et donc (drive d'un quotient nouveau) :

(10.124)

ou encore :

(10.125 )

15. Drive de la fonction arctan(x) : Nous utilisons les proprits drives des fonctions rciproques :

(10.126)

16. Drive de la fonction arccot(x) : Selon la mme mthode que prcdemment :

(10.127)

17. Drive de la fonction

Nous verrons lors de notre tude des mthodes numrique (cf. chapitre de Mthodes Numriques) que le "nombre d'Euler" peut tre calcul selon la srie :

(10.128)

qui converge sur

. En drivant terme terme cette srie qui converge, il vient :

(10.129)

Ainsi l'exponentielle est sa propre drive. Ainsi, nous pouvons nous permettre d'tudier les drives de quelques fonctions trigonomtriques hyperboliques (cf. chapitre de Trigonomtrie). 18. Drive de la fonction sinh(x) : Rappel :

(10.130)

Donc trivialement :

(10.131)

19. Drive de la fonction cosh(x) : Rappel :

(10.132)

Donc trivialement :

(10.133)

20. Drive de la fonction tanh(x) : Puisque par dfinition :

(10.134)

Donc en appliquant la drive d'un quotient nous obtenons :

(10.135)

Ou encore :

(10.136)

21. Drive de la fonction coth(x) :

Rappel :

(10.137)

et donc :

(10.138)

22. Drive de la fonction arcsinh(x) : Nous appliquons les proprits des drives des fonctions rciproques :

(10.139)

Or (voir nouveau le chapitre de Trigonomtrie) :

(10.140)

et donc :
(10.141)

Etant donn que cosh ne prend que des valeurs positives, nous avons :
(10.142)

Donc finalement :

(10.143)

23. Drive de la fonction arccosh(x) : Nous appliquons les proprits des drives des fonctions rciproques :

(10.144)

Or selon la mme mthode que prcdemment :

(10.145)

d'o :
(10.146)

Etant donn que

ne prend que des valeurs positives nous avons alors :

(10.147)

Donc :

(10.148)

24. Drive de la fonction arctanh(x) : En appliquant les proprits des drives des fonctions rciproques) :

(10.149)

25. Drive de la fonction arccoth(x) : En appliquant les proprits des drives des fonctions rciproques) si :

(10.150)

26. Drive de la fonction Avec :

(10.151)

Donc (drive d'une fonction compose) :

(10.152)

CALCUL INTGRAL

CALCUL DIFFRENTIEL ET INTGRAL 1. Calcul diffrentiel 1.2. Diffrentielles 1.3. Drives usuelles 2. Calcul intgral 2.1. Intgrale dfinie 2.2. Intgrale indfinie 2.3. Intgration par changements de variable 2.3.1. Jacobien 2.4. Intgration par parties 2.5. Primitives usuelles 3. Fonction de Dirac 4. Fonction Gamma d'Euler 4.1. Expression de la factorielle 4.2. Constante d'Euler-Mascheroni 5. quations diffrentielles 5.1. quations diffrentielles du premier ordre 5.2. quations diffrentielles linaires 5.3. Mthode du polynme caractristique 5.3.1. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 1 5.3.2. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 2 5.4. Thorie rgulire des perturbations 5.4.1. Thorie perturbative des quations algbriques 5.4.2. Thorie perturbative des quations diffrentielles 5.5. Systmes d'quations diffrentielles

Nous allons aborder ici les principes lmentaires et de base du calcul intgral. La suite (avec plus de rigueur) viendra en fonction du temps qui est la disposition des responsables du site.

INTGRALE DFINIE
Une valeur approche de l'aire sous une courbe peut tre obtenue par un dcoupage en n bandes rectangulaires verticales de mme largeur. En particulier on peut raliser un encadrement de cette aire l'aide d'une somme majorante donn. et d'une somme minorante pour un dcoupage

(10.153)

Supposons que le nombre n de bandes tende vers l'infini. Comme les bandes sont de mme largeur, la largeur de chaque bande tend vers 0. Si les sommes et ont toutes deux une limite lorsque, le nombre n de bandes, tend vers l'infini, alors l'aire A sous la courbe est comprise entre ces deux limites. Nous avons :
(10.154)

Si ces deux limites sont gales, leur valeur est celle de l'aire sous la courbe. D'o une premire dfinition de l'intgrale dfinie ou dite "intgrale de Riemann": Soit un intervalle [a, b], divis en n parties gales, soit f une fonction continue sur l'intervalle [a, b], soit , la somme algbrique minorante et soit , la somme algbrique majorante. Nous appelons "intgrale dfinie" de f, depuis a jusqu' b, note :

(10.155)

le nombre A tel que :

(10.156)

pourvu que cette limite existe. Si cette limite existe, alors nous disons que f est "intgrable" sur [a, b] et l'intgrale dfinie existe. Intuitivement, il est vident que lorsque , nous tendons la dfinition ainsi :

(10.157)

Remarques: R1. Pour calculer l'aire majorante et l'aire minorante, il n'est pas ncessaire que la largeur des sous-intervalles du dcoupage soit la mme partout. R2. Le fait de chercher cette limite s'appelle "calculer l'intgrale". R3. Les nombres a et b sont appels les "bornes d'intgration", a est la "borne infrieure", b est la "borne suprieure". R4. D'autres lettres que x peuvent tre employes dans la notation de l'intgrale dfinie. Ainsi si f est intgrable sur [a, b], alors la variable x de la dfinition est dite "variable muette". etc. C'est la raison pour laquelle

R5. Comme nous le verrons plus loin, il est essentiel de ne pas confondre "intgrale dfinie" et "intgrale indfinie". Ainsi, une intgrale indfinie, note est une fonction, ou, plus prcisment, une famille de fonctions appeles aussi "primitives de f" (voir plus bas) alors qu'une intgrale dfinie, note est une constante.

INTGRALE INDFINIE
Nous avons vu prcdemment lors de notre tudes des drives, le problme suivant : tant donne une fonction F(x), trouver sa drive, c'est--dire la fonction:
(10.158)

Dfinition: Nous disons que la fonction F(x) est une "primitive" ou "intgrale indfinie" de la fonction f(x) sur le segment [a, b], si en tout point de ce segment nous avons l'galit . Une autre manire de voire le concept d'intgrale indfinie est de passer par le thorme fondamental du calcul intgral (et diffrentiel) appel aussi parfois "thorme fondamental de l'analyse" qui s'nonce ainsi :

Soit f une fonction continue sur un intervalle ferm [a, b].

P1. Si A est la fonction dfinie par primitive de f sur [a, b] qui s'annule en a.

pour tout X dans [a, b], alors A est la

P2. Si F est une primitive de f sur [a, b], alors Dmonstration: Soit la fonction :

(10.159)

Si f est positive et (la dmonstration dans le cas o est propose similaire) et comme , nous pouvons nous reprsenter A(X) comme l'aire sous la courbe de f depuis jusqu' .

(10.160)

Pour dmontrer que A est une primitive de f , nous allons prouver que dfinition de la drive :

. Selon la

(10.161)

Etudions ce quotient: est reprsente par l'aire de la bande de largeur h, prise en sandwich entre deux rectangles de largeur h. Soit M le maximum de f sur l'intervalle et m le minimum de f sur ce mme intervalle. Les aires respectives des deux rectangles sont Mh et mh. Nous avons alors la double ingalit suivante :

(10.162)

Comme h est positif, on peut diviser par h sans changer le sens des ingalits :

(10.163)

Lorsque

et si f est une fonction continue, alors M et m ont pour limite f(X) , et le rapport:

(10.164)

qui est compris entre m et M, a bien pour limite f(X). Comme pour tout X, ceci nous montre que la drive de la fonction aire est f. , A est bien la primitive de f qui s'annule en a. C.Q.F.D. Avant de commencer la dmonstration de la deuxime proprit du thorme fondamental, donnons et dmontrons le thorme suivant qui va nous tre indispensable : Si et sont deux primitives de la fonction f(x) sur le segment [a, b], leur diffrence est une constante (ce thorme est trs important en physique pour ce qui est de l'tude de ce que nous appelons les "conditions initiales"). Dmonstration: Nous avons en vertu de la dfinition de la primitive :

Ainsi A est une primitive de f. Comme

(10.165)

pour Posons :

(10.166)

Nous pouvons crire :

(10.167)

Il vient donc de ce que nous avons vu pendant notre tude des drives que

Nous avons alors:

(10.168)

C.Q.F.D. Il rsulte de ce thorme que si nous connaissons une primitive quelconque F(x) de la fonction f(x), toute autre primitive de cette fonction sera de la forme :
(10.169)

Donc finalement, nous appelons "intgrale indfinie" de la fonction f(x) et nous notons :
(10.170)

toute expression de la forme d'criture :

o F(x) est une primitive de f(x). Ainsi, par convention

(10.171)

si et seulement si

Dans ce contexte, f(x) est galement appele "fonction intgrer" et f(x)dx, "fonction sous le signe somme". Gomtriquement, nous pouvons considrer l'intgrale indfinie comme un ensemble (famille) de courbes telles que nous passons de l'une l'autre en effectuant une translation dans le sens positif ou ngatif de l'axe des ordonns. Revenons-en la dmonstration du point (2) du thorme fondamental de l'analyse : Dmonstration: Soit F une primitive de f. Puisque deux primitives diffrent d'une constante, nous avons bien:
(10.172)

ce que nous pouvons crire aussi:

(10.173)

pour tout X dans [a, b]. Le cas particulier . En remplaant, nous obtenons :

donne

et donc

et

(10.174)

Comme cette identit est valable pour tout X de l'intervalle pour . D'o :

, elle est vraie en particulier

(10.175)

C.Q.F.D. Remarques: R1. Le thorme fondamental qui montre le lien entre primitive et intgrale a conduit utiliser le mme symbole est un nombre. pour crire une primitive, qui est une fonction, et une intgrale, qui elle,

R2. Nous avons galement dmontr dans le chapitre de Mcanique Analytique comment calculer l'aide d'une intgrale la longueur d'une courbe dans le plan si la fonction f(x) est explicitement connue. Voici quelques proprits triviales de l'intgration qu'il est bon de se rappeler car souvent utilise ailleurs sur le site (si cela ne vous semble pas vident, contactez-nous et nous le dtaillerons) : P1. La drive d'une intgrale indfinie est gale la fonction intgrer :
(10.176)

P2. La diffrentielle d'une intgrale indfinie est gale l'expression sous le signe somme :
(10.177)

P3. L'intgrale indfinie de la diffrentielle d'une certaine fonction est gale la somme de cette fonction et d'une constante arbitraire :
(10.178)

P4. L'intgrale indfinie de la somme (ou soustraction) algbrique de deux ou plusieurs fonctions est gale la somme algbrique de leurs intgrales (ne pas oublier que l'on travail avec l'ensemble des primitives et non des primitives particulires!):
(10.179)

Dmonstration: Pour dmontrer cela nous allons prouver que la drive du membre de gauche permet de trouver le membre de droit et inversement (rciproque) l'aides des proprits prcdentes. D'aprs P1 nous avons :
(10.180)

Vrifions s'il en est de mme avec le membre de droite (nous supposons connues les proprits des drives que nous avons dmontres au dbut de ce chapitre) :
(10.181)

C.Q.F.D. P5. Nous pouvons sortir un facteur constant de sous le signe somme, c'est--dire :
(10.182)

Nous justifions cette galit en drivant les deux membres (et d'aprs les proprits des drives) :

(10.183)

P6. Nous pouvons sortir un facteur constant de l'argument de la fonction intgre (plutt rarement utilise) :

(10.184)

En effet, en drivant les deux membres de l'galit nous avons d'aprs les proprits des drives :

(10.185)

P7. L'intgration d'une fonction dont l'argument est somm (ou soustrait) algbriquement est la primitive de l'argument somm (respectivement soustrait) :
(10.186)

Cette proprit ce dmontre galement identiquement la prcdente l'aide des proprits des drives. P8. La combinaison des proprits P6 et P7 nous permettent d'crire :

(10.187)

P9. Soit f une fonction continue sur [a,b], nous avons pour

Ce thorme dcoule immdiatement de la dfinition de l'intgrale indfinie. F tant une primitive de f sur [a,b] nous avons:

P10. Voil une proprit souvent utilise dans le chapitre de Statistiques du site (nous ne trouvons pas de moyen d'exprimer cette proprit par le langage courant donc...) :

(10.188)

INTGRATION PAR CHANGEMENT DE VARIABLES

CALCUL DIFFRENTIEL ET INTGRAL 1. Calcul diffrentiel 1.2. Diffrentielles 1.3. Drives usuelles 2. Calcul intgral 2.1. Intgrale dfinie

2.2. Intgrale indfinie 2.3. Intgration par changements de variable 2.3.1. Jacobien 2.4. Intgration par parties 2.5. Primitives usuelles 3. Fonction de Dirac 4. Fonction Gamma d'Euler 4.1. Expression de la factorielle 4.2. Constante d'Euler-Mascheroni 5. quations diffrentielles 5.1. quations diffrentielles du premier ordre 5.2. quations diffrentielles linaires 5.3. Mthode du polynme caractristique 5.3.1. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 1 5.3.2. Rsolution de l'E.H. de l'E.D.L. coefficients constants d'ordre 2 5.4. Thorie rgulire des perturbations 5.4.1. Thorie perturbative des quations algbriques 5.4.2. Thorie perturbative des quations diffrentielles 5.5. Systmes d'quations diffrentielles Lorsque nous ne pouvons facilement dterminer la primitive d'une fonction donne, nous pouvons nous dbrouiller par un changement de variable astucieux (parfois mme trs subtile) contourner la difficult. Cela ne marche pas tous les coups (car certaines fonctions ne sont pas intgrables formellement) mais il vaut la peine d'essayer avant d'avoir recours l'ordinateur. A nouveau, nous ne donnons que la forme gnrale de la mthode. C'est le rle des professeurs dans les coles d'entraner les lves comprendre et matriser ce genre de techniques. De plus, les chapitres traitant des sciences exactes sur le site (physique, informatique, astrophysique, chimie, ...) regorgent d'exemples utilisant cette technique et servent ainsi implicitement d'exercices de style. Soit calculer l'intgrale (non borne pour l'instant) :

(10.189)

bien que nous ne sachions pas calculer directement la primitive de cette fonction f(x) (en tout cas nous imaginons tre dans une telle situation) nous savons (d'une manire ou d'une autre) qu'elle existe (nous ne traitons pas encore des intgrales impropres ce niveau). La technique consiste alors dans cette intgrale effectuer le changement de variable :
(10.190)

est une fonction continue ainsi que sa drive, et admettant une fonction inverse. Alors , dmontrons que dans ce cas l'galit :
(10.191)

est satisfaite. Nous sous-entendons ici que la variable t sera remplace aprs intgration du membre droit par son expression en fonction de x. Pour justifier l'galit en ce sens, il suffit de montrer que les deux quantits considres dont chacune n'est dfinie qu' une constant arbitraire prs ont la mme drive par rapport x. La drive du membre gauche est :
(10.192)

Nous drivons le membre droit par rapport x en tenant compte que t est une fonction de x. Nous savons que :

(10.193)

Nous avons par consquent :

(10.194)

Les drives par rapport x des deux membres de l'galit de dpart sont donc gales. C.Q.F.D. Bien videmment, la fonction doit tre choisie de manire ce que nous sachions calculer l'intgrale indfinie figurant droite de l'galit.

Remarque: Il est parfois prfrable de choisir le changement de variable sous la forme au lieu de car cela une large tendance simplifier la longueur de l'quation au lieu de l'allonger. jacobien

Considrons un domaine D du plan u,v limit par une courbe L. Supposons que les coordonnes x,y soient des fonctions des nouvelles variables u,v (toujours dans le cadre d'un changement de variables donc) par les relations de transformations :

(10.195)

o les fonctions et sont univoques, continues et possdent des drives continues dans un certain domaine D' que nous dfinirons par la suite. Il correspond alors d'aprs les relations prcdentes tout couple de valeurs u,v un seul couple de valeur x,y et rciproquement. Il rsulte de ce qui prcde qu' tout point du plan Oxy correspond univoquement un point P'(u,v) du plan Ouv de coordonnes u,v dfinies par les relations prcdentes. Les nombres v et u seront appeles "coordonnes curvilignes" de P et nous verrons des exemples concrets et schmatis de ceux-ci dans le chapitre de Calcul Vectoriel. Si dans le plan Oxy le point P dcrit la courbe ferme L dlimitant le domaine D, le point correspondant dcrit dans le plan Ouv un certain domaine D'. Il correspond alors tout point de D' un point de D. Ainsi, les relations de transformations tablissent une correspondance biunivoque entre les points des domaines D et D'. Considrons maintenant dans D' une droite . En gnral, les relations de transformation lui font correspondre dans le plan Oxy une ligne courbe (ou inversement). Ainsi, dcoupons le domaine D' par des droites et en de petits domaines rectangulaires (nous ne prendrons pas en compte dans la limite, les rectangles empitant sur la frontire de D'). Les courbes correspondantes du domaine D dcoupent alors ce dernier en quadrilatre (dfinis par des courbes donc). Evidemment, l'inverse est applicable. Considrons dans le plan Ouv le rectangle limit par les droites :

(10.196)

et le quadrilatre curviligne correspondant ces domaines partiels galement par et

dans le plan Oxy. Nous dsignerons les aires de . Nous avons videmment :
(10.197)

Les aires

et

peuvent tres en gnrales diffrentes. . Il correspond toute valeur de cette (ce qu'il faut vrifier) dans D', o :
(10.198)

Supposons donc dans D une fonction continue fonction du domaine D la mme valeur

Considrons les sommes intgrales de la fonction dans le domaine D. Nous avons videmment l'galit suivante :
(10.199)

Calculons

, c'est--dire l'aire du quadrilatre curviligne

dans le plan Oxy :

Dterminons les coordonnes de ses sommets :

(10.200)

Nous assimilerons dans le calcul de l'aire du quadrilatre

les arcs

des segments de droites parallles. Nous remplacerons en outre les accroissements des fonctions par leurs diffrentielles. C'est dire que nous faisons abstraction des infiniment petits d'ordre plus lev que et . Les relations prcdentes deviennent alors :

(10.201)

Sous ces hypothses, le quadrilatre curviligne peut tre assimil un paralllogramme. Son aire est approximativement gale au double de l'aire du triangle , aire que nous pouvons calculer en utilisant les proprits du dterminant (comme nous le dmontrerons dans le chapitre d'Algbre Linaire, le dterminant dans reprsente un paralllogramme alors que dans celui-ci reprsente le volume d'un paralllpipde) :

(10.202)

Tel que (c'est l qu'il faut faire le meilleur choix pour que l'expression finale soit la plus simple et la plus esthtique, nous procdons par essais successifs et faisons enfin le choix ci-dessous) :

(10.203)

Ainsi, nous avons :

(10.204)

Par consquent :

(10.205)

Avec :

(10.206)

qui est la "matrice jacobienne" (alors que son dterminant est appel le "jacobien" (tout court)) de la transformation de coordonnes de . En appliquant exactement le mme raisonnement pour , la matrice jacobienne s'crit alors (en changeant un peu les notations car sinon cela devient illisible):

(10.207)

Bref, quoi cela sert-il concrtement ? Eh bien revenons notre relation :

(10.208)

qui n'est finalement qu'approximative tant donn que dans les calculs de l'aire nous avons nglig les infiniment petits d'ordre suprieur. Toutefois, plus les dimensions des domaines lmentaires et sont petites, et plus nous nous approchons de l'galit. L'galit ayant finalement lieu quand nous passons la limite (finalement en maths aussi on fait des approximations... hein !), les surfaces des domaines lmentaires tendant vers zro :

(10.209)

Appliquons maintenant l'galit obtenue au calcul de l'intgral double (nous pouvons faire de mme avec la triple bien sr). Nous pouvons donc finalement crire (c'est la seule manire de poser la chose qui a un sens) :

(10.210)

Passant la limite, nous obtenons l'galit rigoureuse :

(10.211)

Telle est la relation de transformation des coordonnes dans une intgrale double. Elle permet de ramener le calcul d'une intgrale double dans le domaine D au domaine D', ce qui peut simplifier le problme. De mme, pour une intgrale triple, nous crirons :

(10.212)

Dterminons maintenant le Jacobien pour les systmes de coordonnes les plus courants (nous renvoyons nouveau le lecteur au chapitre de calcul vectoriel pour plus d'information concernant ces systmes) : 1. Coordonnes polaires :

(10.213)

Comme r est toujours positif, nous crivons simplement :

(10.214)

2. Coordonnes cylindriques le calcul du dterminant) :

(cf. chapitre d'Algbre Linaire pour

(10.215)

Comme r est toujours positif, nous crivons simplement :

(10.216)

3. En coordonnes sphriques d'Algbre Linaire pour le calcul du dterminant) :

(cf. chapitre

(10.217)

Comme

est toujours positif, nous crivons simplement : avec

(10.218)

INTGRATION PAR PARTIES

Lorsque nous cherchons effectuer des intgrations, il est trs frquent que nous ayons utiliser un outil (ou mthode de calcul) appel "intgration par parties". Voici la dmonstration de la validit de ce dernier. Soit f,g deux applications de classe version plus light dans la dmo...) : (drivables n fois) de [a,b] dans , alors (voir la

(10.219)

Dmonstration: Procdons par rcurrence sur n. Nous supposons la formule vraie pour n et nous la dmontrons pour n+1 :

(10.220)

Pour n=1 nous retrouvons la formule bien connue et qui sera trs trs souvent utilise sur tout le site:

(10.221)