• Aucun résultat trouvé

Analyse 2 Int´egrale de Riemann, fonctions convexes Licence de math´ematiques, 1`ere ann´ee

N/A
N/A
Protected

Academic year: 2022

Partager "Analyse 2 Int´egrale de Riemann, fonctions convexes Licence de math´ematiques, 1`ere ann´ee"

Copied!
96
0
0

Texte intégral

(1)

Analyse 2

Int´egrale de Riemann, fonctions convexes Licence de math´ematiques, 1`ere ann´ee

(2)
(3)

Table des mati` eres

Chapitre 1. Subdivisions, fonctions en escalier, fonctions r´egl´ees 5

1. Subdivisions d’un intervalle 5

1.1. Vocabulaire 5

1.2. Le Lemme de Cousin 5

1.3. Une application : continuit´e uniforme 7

2. Fonctions en escalier 8

3. Fonctions r´egl´ees 10

Chapitre 2. Int´egrale sur un segment : th´eorie “minimale” 13

1. Int´egrale des fonctions en escalier 13

2. Fonctions int´egrables au sens de Riemann 17

2.1. D´efinitions 17

2.2. Exemples et contre-exemples 19

2.3. Reformulations de la d´efinition 20

2.4. Propri´et´es de l’int´egrale 22

2.5. Fonctions `a valeurs complexes 26

2.6. Inversion des bornes d’int´egration 28

3. Le “Th´eor`eme fondamental de l’analyse” 28

3.1. La version utile 29

3.2. Une version plus g´en´erale 32

Chapitre 3. Calculs et formules 35

1. Calculs de primitives 35

1.1. Une notation utile 35

1.2. Petite liste de primitives `a connaitre imp´erativement 35

1.3. “Formes usuelles” `a retenir 36

1.4. Primitivation par parties 38

1.5. Primitivation des fonctions rationnelles 39

2. Int´egration par parties 44

3. Changements de variables 45

4. Formule de Taylor 48

4.1. Enonc´´ e et preuve de la formule 48

4.2. Une application : d´eveloppement de l’exponentielle “en s´erie” 52

Chapitre 4. Sommes de Riemann 55

1. D´ecoupages point´es et sommes de Riemann 55

2. Convergence des sommes de Riemann 56

2.1. Deux petits calculs 56

2.2. Un r´esultat g´en´eral 57

3. R´eciproque 61

3

(4)

Chapitre 5. Caract´erisation de l’int´egrabilit´e 65 1. Points de continuit´e et points de discontinuit´e d’une fonction 65

2. Ensembles n´egligeables 66

3. Th´eor`eme de Lebesgue-Vitali 69

4. Preuve du Th´eor`eme de Lebesgue-Vitali 71

4.1. Notations 71

4.2. Preuve de l’implication “directe” 72

4.3. Preuve de l’implication “r´eciproque” 73

Chapitre 6. Fonctions convexes 75

1. Vocabulaire g´eom´etrique 75

1.1. Segments 75

1.2. Au dessus, en dessous 75

2. Fonctions convexes, fonctions concaves 76

2.1. D´efinitions g´eom´etriques 76

2.2. Reformulations analytiques 78

2.3. In´egalit´e de Jensen discr`ete 80

2.4. In´egalit´e des 3 pentes 81

3. Cas des fonctions d´erivables 82

4. R´egularit´e des fonctions convexes ; droites d’appui 84

5. Fonctions convexes et fonctions croissantes 86

6. Exemples d’in´egalit´es de convexit´e 88

6.1. Minoration du sinus et du cosinus 88

6.2. Fonctions sous-additives 89

6.3. In´egalit´e arithm´etico-g´eom´etrique 89

6.4. In´egalit´e de Hermite-Hadamard 90

6.5. In´egalit´e de Jensen “continue” 91

6.6. In´egalit´e de H¨older 92

6.7. In´egalit´e de Minkowski 94

(5)

Chapitre 1

Subdivisions, fonctions en escalier, fonctions r´ egl´ ees

1. Subdivisions d’un intervalle 1.1. Vocabulaire.

D´efinition 1.1. Soit ra, bs un intervalle ferm´e de R.Une subdivision de ra, bs est une suite finie S “ ps0, . . . , sNq de points de ra, bs deux `a deux distincts et rang´es par ordre croissant, avec s0“aetsN “b. Siaăb, on a donc a“s0ă ¨ ¨ ¨ ăsN “b.

a“s0 s1 s2 s3 sN´1 sN “b

Exemple. S :“ p0,1,3{2,2qetS1:“ p0,1{4,3{4,1,3{2,7{4,2qsont des subdivisions de ra, bs:“ r0,2s.

Remarque 1. Par d´efinition, la seule subdivision d’un intervalletrivial ra, as “ tau est S “ paq.

Remarque 2. Une subdivisionS “ ps0, . . . , sNq dera, bscontientN`1 points. Elle d´etermine un d´ecoupage de ra, bsen N intervalles ferm´es cons´ecutifsJ0, . . . , JN´1 :

Jk“ rsk, sk`1s pour k“0, . . . N ´1.

a“s0 s1 s2 s3 sk sk`1 sN´1 sN “b

J0 J1 J2 Jk JN´1

D´efinition 1.2. SoientS et S1 deux subdivisions de ra, bs. On dit queS1 est plus fine queS, et on ´ecrit S1ľS, siS1 contient tous les points de S

Exemple. S1 “ p0,1{4,3{4,1,3{2,7{4,2q est une subdivision de ra, bs “ r0,2s plus fine que S“ p0,1,3{2,2q.

1.2. Le Lemme de Cousin. Le r´esultat suivant peut `a juste titre sembler tr`es abstrait ; mais il est ´egalement tr`es utile. Il porte le nom deLemme de Cousin.

Th´eor`eme 1.3. Soitra, bs ĎRun intervalle ferm´e born´e. Pour tout xP ra, bs, on suppose donn´e un intervalle ouvert Vx tel que x P Vx. Alors il existe une subdivision S “ ps0, . . . , sNqde ra, bstelle que chaque intervalle rsk, sk`1sest enti`erement contenu dans Vxk pour un certain xkP ra, bs, avec de plus xkP rsk, sk`1s.

5

(6)

D´emonstration. On dira qu’un intervalle ferm´e J Ď ra, bsestgentils’il existe une subdivision S “ ps0, . . . , sNq de J telle que chaque intervalle rsk, sk`1s est contenu dans un certain Vxk avec xk P rsk, sk`1s (et on dira qu’une telle S est une bonne subdivision deJ). Bien entendu, un intervalle qui n’est pas gentil sera ditm´echant.

Avec cette terminologie, il s’agit de montrer que l’intervalle J “ ra, bsest gentil.

Fait 0. SixP ra, bs, alors tout intervalle ferm´e J ĎVx tel quexPJ est gentil.

Preuve du Fait 0. C’est ´evident : si J “ ru, vs, alors pu, vq est une bonne subdivi-

sion de J puisque xP ru, vs ĎVx.

Fait 1. Soientu, v, mP ra, bsavecuďmďv. Siru, msetrm, vssont gentils, alors ru, vsest gentil.

Preuve du Fait 1. Il suffit de mettre “bout `a bout” une bonne subdivision deru, ms et une bonne subdivision de rm, vs. (Exo : ´ecrire les d´etails.)

Dans la suite, on notera |J|la longueur d’un intervalle J.

Fait 2. Soit J Ď ra, bs un intervalle ferm´e. Si J est m´echant, alors il existe un intervalleJ1 ĎJ avec |J1| “ 12|J|qui est encore m´echant.

Preuve du Fait 2. Ecrivons´ J “ ru, vs, et soit m le milieu de ru, vs. Par le Fait 1, l’un des deux intervallesru, msetrm, vsn’est pas gentil ; donc il suffit de prendre pour

J1 cet intervalle.

Maintenant, montrons par l’absurde que ra, bsest gentil.

Supposons que J0 :“ ra, bs ne soit pas gentil. Par le Fait 2, on peut trouver un intervalle J1 Ď ra, bsqui est m´echant et v´erifie|J112|J0|. En r´eappliquant le Fait 2, on trouve un intervalle J2ĎJ1 qui est encore m´echant et v´erifie|J2| “ 12|J1| “ 212|J0|.

Et ainsi de suite : par r´ecurrence, on construit une suite d´ecroissante d’intervalles J1, J2, J3, . . . telle que |Jn| “ 21n|J0|etJn est m´echant, pour toutně0.

Par le Th´eor`eme des segments emboit´es, il existe un (et un seul) point x P ra, bs appartenant `a tous les intervallesJn. Comme Vx est un intervalle ouvert contenantx, on peut trouverεą0 tel querx´ε, x`εs ĎVx; et comme|Jn| Ñ0 quandnÑ 8, on peut ensuite trouver un entier ntel que |Jn| ďε. Alors JnĎ rx´ε, x`εscar xPJn (micro-exo) ; et doncJnĎVx. DoncJnest gentil par le Fait 0 (puisque xPJn), ce qui

contredit le choix de Jn.

Du Lemme de Cousin, on peut d´eduire un autre r´esultat tr`es utile, qu’on appelle le Lemme de Lebesgue.

Corollaire 1.4. Supposons donn´e, pour tout x P ra, bs, un intervalle ouvert Vx

tel que xPVx. Alors on peut trouverδ ą0 tel que : tout intervalle J Ď ra, bs v´erifiant

|J| ăδ est contenu dans un certain Vx.

D´emonstration. Soit ps0, . . . , sNq une subdivision de ra, bs donn´ee par le Lemme de Cousin. Chaque intervalle rsk, sk`1s est donc contenu dans Vxk pour un certain xkP ra, bs. Comme lesVxk sont des intervalles ouverts, on peut, pour k“0, . . . , N´1, trouver δką0 tel quersk´δk, sk`1ks ĎVxk (micro-exo).

Soit alors δ “ minpδ0, . . . , δN´1q. Si J Ď ra, bs est un intervalle non vide tel que

|J| ăδ, alorsJ rencontrersk, sk`1spour un certaink, doncJ Ď rsk´δ, sk`1`δs(exo), et donc J Ď rsk´δk, sk`1ks ĎVxk puisqueδ ďδk. Par cons´equent,δ convient.

(7)

1. SUBDIVISIONS D’UN INTERVALLE 7

La preuve du Lemme de Lebesgue qu’on vient de donner n’est sans doute pas la plus naturelle qui soit. En voici donc une autre.

Preuve directe du Lemme de Lebesgue. Par l’absurde, on suppose que la conclusion n’est pas vraie, i.e. que pour tout δ ą 0, il existe un intervalle Jpδq Ď ra, bs tel que

|Jpδq| ăδ mais Jpδq n’est contenu dans aucunVx. PournPN, on pose Jn“Jp2´nq, et on choisit un point xnPJn. Ainsi :

r |Jn| Ñ0,

r Jn n’est contenu dans aucunVx, r xnPJn.

La suite pxnq est born´ee (xnP ra, bs), donc elle poss`ede une sous-suite convergente pxnkq par le Th´eor`eme de Bolzano-Weierstrass : xnk ÑxP ra, bs.

Comme Vx est un intervalle ouvert et x P Vx, on peut trouver ε ą 0 tel que rx´2ε, x`2εs ĎVx (faire un dessin). Et commexnk Ñxet|Jnk| Ñ0, on peut ensuite trouver un entier ktel que|xnk´x| ďεet|Jnk| ďε. AlorsJnk Ď rxnk´ε, xnk`εs Ď rx´2ε, x`2εs(compl´eter le dessin). DoncJnk ĎVx, ce qui contredit la d´efinition des

Jn!

1.3. Une application : continuit´e uniforme.

Rappel. Soit I un intervalle de R. Une fonction f :I Ñ R est continue sur I si elle est continue en tout point deI; ce qui s’´ecrit comme suit avec des quantificateurs :

@xPI @εą0Dδą0 d´ependant de εet de x tel que

@yPI v´erifiant |y´x| ăδ, on a |fpyq ´fpxq| ăε.

D´efinition 1.5. Soit I un intervalle de R, et soit f : I Ñ R. On dit que f est uniform´ement continue sur I si

‚ f est continue ;

‚ pourεą0donn´e, on peut prendre le mˆeme “δ de continuit´e” pour tous les x de I.

Autrement dit :

@εą0Dδą0 d´ependant uniquement de ε tel que

@x, yPI v´erifiant|y´x| ăδ, on a |fpyq ´fpxq| ăε.

(˚)

Exemple. fptq:“test uniform´ement continue surR, maisfptq “t2 ne l’est pas.

D´emonstration. Le fait que fptq “ t soit uniform´ement continue sur R est un micro-exo. Pour fptq “t2, on observe que siδą0 est donn´e, alors

x:“ 1

δ et y:“x`δ 2 v´erifient

|y´x| “ δ

2 ăδ et y2´x2 “xδ`δ2

4 ěxδ“1.

Donc, pour ε:“1, il est impossible de trouverδ ą0 tel que p˚q soit v´erifi´ee.

Le r´esultat suivant s’appelle leTh´eor`eme de Heine. On aura l’occasion de s’en servir au Chapitre 4.

(8)

Th´eor`eme 1.6. Si I “ ra, bs est un intervalle ferm´e born´e, alors toute fonction continue f :ra, bs ÑRest uniform´ement continue.

D´emonstration. Soit εą0 : on cherche un δą0 tel que p˚qsoit v´erifi´e.

Comme f est continue, pour chaque z P ra, bs on peut trouver un δz ą0 tel que

|fpuq ´fpzq| ăε{2pour toutu v´erifiant |u´z| ăδz. Pour zP ra, bs, on pose Vz:“ sz´δz, z`δzr. Alors

@x, yPVzX ra, bs : |fpyq ´fpxq| ď |fpxq ´fpzq| ` |fpzq ´fpyq| ăε{2`ε{2“ε.

Par le Lemme de Lebesgue, il existe un δ ą 0 tel que tout intervalle J Ď ra, bs v´erifiant |J| ăδ est contenu dans un certainVz. Montrons queδ v´erifiep˚q.

Soit xP ra, bs quelconque, et soity tel que |y´x| ăδ. Alors J :“ rx, ys(ou ry, xs si y ăx) v´erifie|J| ăδ. Donc J ĎVz pour un certainzP ra, bs. En particulierx et y

sont dans Vz, et donc|fpyq ´fpxq| ăε.

Pour faire bonne mesure, voici les grandes lignes d’une

Preuve directe du Th´eor`eme de Heine. Soitf :ra, bs ÑRcontinue. Par l’absurde, supposons quef ne soit pasuniform´ement continue. Alors (micro-exo) on peut trouver εą0 et deux suitespxnq,pynq Ď ra, bstelles que |yn´xn| ă2´net|fpynq ´fpxnq| ěε pour tout n P N. Quitte `a extraire une sous-suite (Bolzano-Weierstrass), on peut supposer que la suite pxnq converge, xn Ñ p P ra, bs. Alors yn Ñ p ´egalement car

|yn´xn| Ñ0 (micro-exo) ; et comme|fpxnq ´fpynq|ne tend pas vers 0, cela contredit

la continuit´e de f au point p.

2. Fonctions en escalier

D´efinition 2.1. Soit ra, bs Ď R, et soit ϕ:ra, bs ÑR. On dit que la fonction ϕ est en escalier sur ra, bs s’il existe une subdivision S “ ps0, . . . , sNq de ra, bs telle que ϕest constante sur chaque intervalle Ik“ ssk, sk`1r,0ďkďN´1. On dit alors que la subdivision S estadapt´ee `a ϕ.

a“s0 s1 s2 s3 s4 sN´1 sN “b

Une fonction en escalier

(9)

2. FONCTIONS EN ESCALIER 9

Remarque 2.2. Par d´efinition, une fonction en escalier ne prend qu’un nombre fini de valeurs.

Remarque 2.3. Si une fonction ϕ est en escalier sur ra, bs, alors sa restriction `a tout tout sous-intervalle ru, vs Ď ra, bsest en escalier surru, vs.

D´emonstration. Exo.

Exemple 0. Toute fonctionconstante est en escalier !

Exemple 1. La fonction “partie enti`ere” est en escalier sur tout intervalle ra, bs.

(Faire un dessin.)

Exemple 2. SoitI Ď ra, bs. Lafonction indicatrice deI est la fonction not´ee1I d´efinie par

1Iptq “

"

1 si tPI 0 si tRI Si I est un intervalle, alors la fonction 1I est en escalier.

a b

1

I 0

Fonction indicatrice

Exemple 3. ϕptq:“tn’est en escalier sur aucun intervallera, bsnon trivial, car elle prend une infinit´e de valeurs surra, bs. (Faire un dessin.)

Exercice 1. SoitE Ď ra, bs, et soit1E la fonction indicatrice deE. Montrer que1E est en escalier sur ra, bssi et seulement siE est une r´eunion finie d’intervalles.

Exercice 2. Soit ϕ : ra, bs Ñ R une fonction en escalier. Montrer que si ϕ est continue sur ra, bs, alors elle est constante.

Notation. On noteEpra, bsqEEpra, bsqpra, bsql’ensemble de toutes les fonctions en escalier surra, bs.

Lemme 2.4. SoitϕPEpra, bsq. SiS est une subdivision de ra, bsadapt´ee `a ϕ, alors toute subdivision S1 plus fine que S est adapt´ee `a ϕ.

D´emonstration. Ecrivons´ S “ ps0, . . . , sNq etS1 “ ps10, . . . , s1Mq.

Fait. Chaque intervalle ss1l, s1l`1rest contenu dans un intervallessk, sk`1r.

(10)

Preuve du Fait. L’intervalle ss1l, s1l`1r ne contient aucun point de S1, donc aucun point de S puisque S1 ľS. Donc, si on note k0 le plus grand k tel que sk ďs1l, on a forc´ement sk0`1 ěs1l`1, et doncss1l, s1l`1rĎ ssk, sk`1r.

sk0 s1l s1l`1 sk0`1

La preuve du lemme est maintenant imm´ediate : par hypoth`ese, ϕ est constante sur ssk, sk`1rpour k“0, . . . , N´1, et d’apr`es le Fait, chaque intervalle ss1l, s1l`1rest contenu dans un certain ssk, sk`1r; doncϕest constante sur chaquess1l, s1l`1r, et donc

S1 est adapt´ee `aϕ.

Corollaire 2.5. Si ϕ1, . . . , ϕdPEpra, bsq, il existe une subdivisionS de ra, bs qui est adapt´ee `a toutes lesϕi.

D´emonstration. Pouri“1, . . . , d, soitSi une subdivision adapt´ee `aϕi; et soitSla subdivision obtenue en prenant les points de toutes les subdivisions S1, . . . , Sd. Alors S ľSi pour touti, doncS est adapt´ee `a chaqueϕi par le lemme.

Corollaire 2.6. Si ϕ1, . . . , ϕd P Epra, bsq et si F : Rd Ñ R est une fonction quelconque, alors la fonction Φ d´efinie par Φptq “Fpϕ1ptq, . . . , ϕdptqqest en escalier.

D´emonstration. SoitS“ ps0, . . . , sNqune subdivision adapt´ee `a toutes lesϕi. Pour k“0, . . . , N, toutes les ϕi sont constantes surssk, sk`1r; donc Φ aussi par d´efinition.

Donc ΦPEpra, bsqetS est adapt´ee `a Φ.

Corollaire 2.7. Si ϕ et ψ sont des fonctions en escalier et si λ P R, alors les fonctions ϕ`ψ, λϕ, ϕψ et |ϕ|sont en escalier.

D´emonstration. On a pϕ`ψqptq “ Fpϕptq, ψptqq, o`u F : R2 Ñ R est d´efinie par Fpu, vq “ u`v; donc ϕ`ψ est en escalier par le corollaire pr´ec´edent. Mˆeme

raisonnement pour cϕ,ϕψ et|ϕ|(exo).

Exercice. Montrer qu’une fonction ϕ:ra, bs Ñ Rest en escalier si et seulement si elle est de la forme

ϕ“

M

ÿ

j“1

λj1Ij,

o`u lesIj sont des intervalles (et les λj sont des constantes).

3. Fonctions r´egl´ees

D´efinition 3.1. Soit ra, bs Ď R, et soit f :ra, bs Ñ R. On dit que la fonction f est r´egl´ee si

r f admet une limite `a gauche et `a droite en tout point xP sa, br; r f admet une limite `a droite en aet une limite `a gauche en b.

Exemple 1. Toute fonctioncontinue est r´egl´ee ( !) Exemple 2. Toute fonctionmonotone est r´egl´ee.

Exemple 3. Toute fonctionen escalier est r´egl´ee.

(11)

3. FONCTIONS R ´EGL ´EES 11

Exemple 4. Soit f : r0,1s Ñ R d´efinie par fp0q “ 0 et fpxq “ sinp1{xq pour 0ăxď1. Alorsf n’est pas r´egl´ee car elle ne poss`ede pas de limite `a droite en 0 (exo).

Th´eor`eme 3.2. Toute fonction r´egl´e peut ˆetre “approch´ee” par des fonctions en escalier. De fa¸con pr´ecise : si f :ra, bs Ñ R est une fonction r´egl´ee, alors, pour tout εą0, on peut trouver une fonction θPEpra, bsq telle que

@tP ra, bs : |θptq ´fptq| ďε.

Exemple. Faire un dessin pour fptq “t.

Preuve du Th´eor`eme 3.2. Supposons f r´egl´ee, et fixons εą0.

On notefpx`qetfpx´q les limites `a droite et `a gauche def en un pointxP ra, bs.

(Pour simplifier la r´edaction, on pose fpa´q “fpaq etfpb`q “fpbq.) Par d´efinition, pour tout xP ra, bs, on peut trouver δx´, δ`x ą0 tels que (˚)

"

|fptq ´fpx´q| ăε pour tout tP ra, bsv´erifiant x´δx´ătăx,

|fptq ´fpx`q| ăε pour tout tP ra, bsv´erifiant xătăx`δx`. On pose alors Vx “ sx´δx´, x`δx`r. Ainsi, p˚q devient

(˚˚)

"

|fptq ´fpx´q| ăε pour touttPVxX ra, bstel quetăx,

|fptq ´fpx`q| ăε pour touttPVxX ra, bstel quetąx.

Par le Lemme de Cousin, il existe une subdivision S “ ps0, . . . , sNq de ra, bs telle que, pour toutkPJ0, N´1K, on arsk, sk`1s ĎVxk pour un certain pointxkP rsk, sk`1s.

Soit alors θ:ra, bs ÑRla fonction d´efinie comme suit : θptq:“

$

&

%

fptq si t est unsk ou unxk,

fpx´kq si skătăxk pour un certain k, fpx`kq si xkătăsk`1 pour un certain k.

La fonction θ est en escalier (micro-exo) ; et elle convient par d´efinition. En effet : si t P ra, bs, alors ou bien t est un sk ou un tk, auquel cas θptq “ fptq; ou bien sk ă t ă xk ou xk ă t ă sk`1 pour un certain k, auquel cas t P Vxk et (˚˚) donne

|fptq ´θptq| ăε.

Remarque 3.3. On peut montrer que la r´eciproque de la proposition est vraie : si une fonction f peut ˆetre approch´ee au sens pr´ec´edent par des fonctions en escalier, alors f est r´egl´ee.

(12)
(13)

Chapitre 2

Int´ egrale sur un segment : th´ eorie “minimale”

1. Int´egrale des fonctions en escalier

Notation. Soit ϕ : ra, bs Ñ R une fonction en escalier, et soit S “ ps0, . . . , sNq une subdivision adapt´ee `a ϕ. Pour k“0, . . . , N´1, on noteIk l’intervalle ssk, sk`1r et αk la valeur constante deϕsur Ik :

ϕptq ”αk sur Ik“ ssk, sk`1r, 0ďkďN´1.

Avec ces notations, on pose Ipϕ, Sq:“

N´1

ÿ

k“0

αk|Ik| “

N´1

ÿ

k“0

αkpsk`1´skq.

Lemme 1.1. Si ϕPEpra, bsq, alors Ipϕ, Sq ne d´epend que de ϕ, et pas de la subdi- vision S de ra, bs adapt´ees `a ϕ.

Preuve “g´eom´etrique”. SoitS “ ps0, . . . , sNq une subdivision adapt´ee `aϕ: ϕptq ”αk sur Ik“ ssk, sk`1r, 0ďkďN´1.

Faire un dessin !

En notant Rk le rectangle bas´e surIk et de “hauteur” αk, on a αk|Ik| “

"

airepRkq si αk ě0,

´airepRkq si αk ă0.

Donc

Ipϕ, Sq “ ÿ

tk;αkě0u

airepRkq ´ ÿ

tk;αkă0u

airepRkq “A`pϕq ´A´pϕq,

o`u A`pϕq est l’aire de la partie du plan situ´ee au dessus de l’axe des abscisses et en dessous du graphe de ϕ, et A´pϕq est l’aire de la partie du plan situ´ee en dessous de l’axe des abscisses et au dessus du graphe deϕ. Et ceci ne d´epend pas de la subdivision

S.

Exercice. Cette preuve est “malhonnˆete”. Pourquoi ?

Preuve “analytique”. SoientS etS1 deux subdivisions adpat´ees `aϕ: on veut mon- trer que IpS, ϕq “IpS1, ϕq.

Ecrivons´ S“ ps0, . . . , sNqetS1“ ps10, . . . , SM1 q, de sorte qu’il existe des constantes α0, . . . , αN´1, α10, . . . , α1M´1 telles que

ϕptq ”αk sur Ik“ ssk, sk`1r, 0ďkďN ´1, ϕptq ”α1l sur Il1 “ ss1l, s1l`1r, 0ďlďM ´1.

13

(14)

Fait 1. SikPJ0, N´1K, alors|Ik| “řM´1

l“0 |IkXIl1|; et de mˆeme, silPJ0, M´1K, alors |Il1| “řN´1

k“0 |Il1XIk|.

Preuve du Fait 1. LesIkXIl1 non vides d´eterminent un d´ecoupage deIk (faire un dessin). Donc

|Ik| “ ÿ

tl;I1lXIk‰Hu

|IkXIl1|

N´1

ÿ

l“0

|IkXIl1| car|IkXIl1| “0 siIkXIl1 “ H.

Fait 2. Pour toutkPJ0, N´1Ket pour toutlPJ0, M´1K, on a

(˚) αk|IkXIl1| “α1l|Il1XIk|.

Preuve du Fait 2. SiIkXIl1“ H, c’est ´evident car |IkXIl1| “0. SiIkXIl1‰ H et si on choisit t0 PIkXIl1, alors αk“ϕpt0q “α1l; donc (˚) est vraie aussi.

Montrons maintenant que Ipϕ, Sq “Ipϕ, S1q. On a Ipϕ, Sq “

N´1

ÿ

k“0

αk|Ik|

N´1

ÿ

k“0

αk

´Mÿ´1

l“0

|IkXIl1|

¯

par le Fait 1

M´1ÿ

l“0 N´1

ÿ

k“0

αk|IkXIl1| (interversion de sommes)

M´1

ÿ

l“0 N´1

ÿ

k“0

α1l|Il1XIk| par le Fait 2

M´1

ÿ

l“0

α1l

´N´1ÿ

k“0

|Il1XIk|

¯

M´1

ÿ

l“0

α1l|Il1| par le Fait 1

“Ipϕ, S1q.

D´efinition1.2. SiϕPEpra, bsq, on poseşb

aϕ:“Ipϕ, Sq, o`uS est n’importe quelle subdivision de ra, bsadapt´ee `a ϕ. On dit que şb

aϕest l’int´egrale de ϕ sur ra, bs.

Redite. SiS “ ps0, . . . , sNq, et siϕptq ”αksurIk“ ssk, sk`1rpourk“0, . . . , N´

1, alors

żb

a

ϕ“

N´1

ÿ

k“0

αk|Ik| “

N´1

ÿ

k“0

αkpsk`1´skq.

(15)

1. INT ´EGRALE DES FONCTIONS EN ESCALIER 15

Autres notations. Au lieu de şb

aϕ, on peut ´ecrire ş

ra,bsϕ, ou bien şb

aϕptqdt, şb

aϕpxqdx,şb

aϕpuqdu, ... (la variable d’int´egration est “muette”), ou bien ş

ra,bsϕptqdt, ş

ra,bsϕpxqdx,ş

ra,bsϕpuqdu...

Exemple important. Siϕest constante surra, bs,ϕptq ”M, alors żb

a

M “Mˆ pb´aq.

Exemple idiot. Sia“b, on a şa

aϕ“0.

Signification g´eom´etrique. La preuve “g´eom´etrique” du Lemme1.1a montr´e que si ϕ P Epra, bsq, alors şb

aϕ est l’aire alg´ebrique d´etermin´ee par le graphe de ϕ (entre aetb).

a“s0 s1 s2 s3 s4 s5 sN´1 sN “b

şb

aϕ“aire verte´aire jaune

Exercice. Soit ϕ P Epra, bsq, et soit ϕr : ra, bs Ñ R. Montrer que si l’ensemble ttP ra, bs; ϕptq ‰r ϕptquest fini, alorsϕrPEpra, bsqetşb

aϕr“şb

aϕ.

Proposition 1.3. L’int´egrale des fonctions en escalier poss`ede les propri´et´es sui- vantes.

(1) Positivit´e. Si ϕPEpra, bsqet ϕě0, alors şb

aϕě0.

(2) Lin´earit´e. Si ϕ, ψPEpra, bsq etλPR, alors żb

a

pϕ`ψq “ żb

a

ϕ` żb

a

ψ et

żb a

pλϕq “λ żb

a

ϕ.

(3) Additivit´e. Si ϕPEpra, bsqet si aďuďb, alors żb

a

ϕ“ żu

a

ϕ` żb

u

ϕ (relation de Chasles).

(16)

Remarque. Dans (3), on tient pour acquis le fait que siϕest en escalier surra, bs, alors ses restrictions aux intervalles ra, us et ru, bs sont en escalier (Exercice 2.3 du Chapitre 1). Par ailleurs, on devrait en fait ´ecrire şu

aϕ|ra,usb

uϕ|ru,bs; mais on ne le fait pas, pour ne pas alourdir les notations.

Preuve de la proposition. (1) est ´evident (micro-exo).

(2) SoitS “ ps0, . . . , sNq une subdivision adapt´ee `aϕet `aψ :

ϕptq ”αk et ψptq ”βk sur Ik“ ssk, sk`1r pour k“0, . . . , N´1.

Alors S est adapt´ee `aϕ`ψ etϕ`ψ”αkk sur chaque intervalle Ik; donc żb

a

pϕ`ψq “ÿN´1

k“0kkq |Ik| “

N´1

ÿ

k“0

αk|Ik| `

N´1

ÿ

k“0

βk|Ik| “ żb

a

ϕ` żb

a

ψ.

La preuve pour şb

apλϕq est laiss´ee en exo.

(3) SoitS “ ps0, . . . , sNq une subdivision adapt´ee `aϕ,

ϕptq ”αk surIk“ ssk, sk`1r pour k“0, . . . , N´1.

Quitte `a rajouter le pointu`aS, on peut supposer queufait partie deS, disonsu“sk0. Alors ps0, . . . , sk0q est une subdivision de ra, us adapt´ee `a ϕ|ra,us, et psk0, . . . , sNq est une subdivision de ru, bsadapt´ee `a ϕ|ru,bs. Donc

żu

a

ϕ` żb

u

ϕ“

k0´1

ÿ

k“0

αk|Ik| `

N´1

ÿ

k“k0

αk|Ik|

N´1

ÿ

k“0

αk|Ik|

“ żb

a

ϕ.

Corollaire 1.4. L’int´egrale est croissante : siϕ, ψ PEpra, bsq et si ϕďψ (i.e.

ϕptq ďψptq pour tout tP ra, bs), alorsşb aϕďşb

aψ.

D´emonstration. On a ψ“ϕ` pψ´ϕq etψ´ϕě0. Commeψ´ϕPEpra, bsq, on en d´eduit, par lin´earit´e et positivit´e :

żb

a

ψ“ żb

a

ϕ` żb

a

pψ´ϕq ě żb

a

ϕ.

Corollaire 1.5. Si ϕP Epra, bsq et ϕ ě0 sur ra, bs, alors şv

uϕďşb

aϕ pour tout sous-intervalle ru, vs Ď ra, bs.

D´emonstration. Par Chasles et positivit´e : żb

a

ϕ“ żu

a

ϕ` żv

u

ϕ` żb

v

ϕě żv

u

ϕ.

(17)

2. FONCTIONS INT ´EGRABLES AU SENS DE RIEMANN 17

2. Fonctions int´egrables au sens de Riemann 2.1. D´efinitions.

Notation. Sif etg sont des fonctions surra, bs, `a valeurs r´eelles, on ´ecriraf ďg pour signifier que fptq ďgptqpour touttP ra, bs:

f ďg ðñ @tP ra, bs : fptq ďgptq.

Rappel. Une fonction f :ra, bs ÑR est diteborn´ee s’il existe une constante M telle que

@tP ra, bs : |fptq| ďM.

Point cl´e :M ne doit pas d´ependre detP ra, bs.

Reformulation. Une fonctionf :ra, bs ÑRest born´ee si et seulement si il existe deux constantes C1 etC2 telles que

C1 ďfptq ďC2 pour touttP ra, bs.

D´emonstration. Exo.

Exemple 1. Toute fonction en escalier est born´ee.

D´emonstration. SiϕPEpra, bsq, alors ϕne prend qu’un nombre fini de valeurs. En notantC1 la plus petite de ces valeurs etC2 la plus grande, on aC1 ďϕptq ďC2 pour

tout tP ra, bs.

Exemple 2. Toute fonctioncontinue f :ra, bs ÑRest born´ee.

D´emonstration. C’est un th´eor`eme connu (et non trivial).

Exemple 3. Toute fonctionmonotone f :ra, bs ÑRest born´ee.

D´emonstration. Si par exemplef est croissante, alorsfpaq ďfptq ďfpbqpour tout

tP ra, bs.

Exemple 4. Soit α ą0. La fonction f :r0,1s Ñ R d´efinie par fp0q “6 et fptq “ 1{tα pour 0ătď1 n’est pas born´ee, carfptq Ñ 8 quand tÑ0`.

Exercice 2.1. En utilisant le Th´eor`eme 3.2 du Chapitre 1, montrer que toute fonction r´egl´eef :ra, bs ÑRest born´ee.

Remarque. Sif :ra, bs ÑRest born´ee, alors r l’ensemble Ipfq “

b

aϕ; ϕPEpra, bsq, ϕďf )

estnon vide et major´e; r l’ensemble Ipfq “

b

aϕ; ψPEpra, bsq, ψěf )

estnon vide et minor´e D´emonstration. Soient C1 et C2 deux constantes telles que C1 ď f ď C2. La fonction constante ϕ“C1 est en escalier ( !) et v´erifieϕěf, donc l’ensemble Ipfqest non vide. Si ϕPEpra, bsqv´erifieϕďf, alorsϕďC2 et doncşb

aϕďşb

aC2 “C2pb´aq, qui est une constante ind´ependante de ϕ. Donc Ipfq est major´e par C2pb´aq. On montre de mˆeme queIpfq est non vide et minor´e par C1pb´aq.

(18)

D´efinition 2.2. Pour toute fonction born´ee f :ra, bs ÑR, on pose żb

a

f :“sup

b

a

ϕ; ϕPEpra, bsq, ϕďf )

et

żb

a

f :“inf

b

a

ϕ; ψPEpra, bsq, ψěf )

. On dit que şb

af est l’int´egrale inf´erieuredef sur ra, bs, et que şb

af est l’int´egrale sup´erieure def sur ra, bs.

Fait 2.3. On a toujours şb

af ď şb

af. Plus pr´ecis´ement : (˚)

żb a

ϕď żb

a

f ď żb

a

f ď żb

a

ψ pour toutes ϕ, ψPEpra, bsq v´erifiantϕďf ďψ.

D´emonstration. Par croissance de l’int´egrale des fonctions en escalier, si ϕ, ψ P Epra, bsq v´erifient ϕďf ď ψ, alors şb

aϕďşb

aψ. En fixant ψ et en prenant le “sup en ϕ”, on en d´eduit şb

af ďşb

aψpour touteψPEpra, bsqtelle queψěf; d’o`u şb

af ď şb

af en prenant maintenant l’“inf en ψ”.

Fait 2.4. Si f :ra, bs ÑRest en escalier, alors şb

af “şb

af “ şb

af.

D´emonstration. On peut prendreϕ“f “ψ dansp˚q.

D´efinition 2.5. Soit f : ra, bs Ñ R. On dit que f est int´egrable au sens de Riemann sur ra, bs sif est born´ee et si on a şb

af “ şb

af. Dans ce cas, on note şb

af cette valeur commune, et on dit que şb

af est l’int´egrale de f sur ra, bs. On a ainsi żb

a

f “ żb

a

f “ żb

a

f.

Autres notations. Au lieu de şb

af, on peut ´ecrire ş

ra,bsf; ou bien şb

afptqdt, şb

afpxqdx,şb

afpuqdu... ; ou bien ş

ra,bsfptqdt,ş

ra,bsfpxqdx,ş

ra,bsfpuqdu ...

Remarque 1. Au lieu de “int´egrable au sens de Riemann”, on ´ecrira souvent “(R)- int´egrable”, ou mˆeme seulement “int´egrable”.

Remarque 2. Toute fonction en escalier est int´egrable au sens de Riemann.

D´emonstration. C’est le Fait2.4.

Remarque idiote. Si a “ b, alors toute fonction f : ra, as Ñ R est int´egrable sur ra, as, avec şa

af “0.

Interpr´etation g´eom´etrique. Si une fonction f : ra, bs Ñ R est int´egrable sur ra, bs, alorsşb

af s’interpr`ete comme l’“aire alg´ebrique d´etermin´ee par le graphe de f” (entre a et b). C’est une intuition utile, qui permet parfois de deviner la valeur d’une int´egrale sans faire aucun calcul ; mais cela ne peut pas constituer une fondation rigoureuse de la th´eorie, car on n’a pas donn´e de d´efinition pr´ecise de ce qu’est l’aire d’une partie “quelconque” du plan.

(19)

2. FONCTIONS INT ´EGRABLES AU SENS DE RIEMANN 19

a b

şb

af “aire verte´aire jaune

Exercice 2.6. Utiliser l’interpr´etation g´eom´etrique de l’int´egrale pour calculer şb

at dt. (Distinguer les cas “aet bde mˆeme signe” et “aă0ăb”.)

2.2. Exemples et contre-exemples. Le th´eor`eme suivant donne une vaste classe de fonctions int´egrables.

Th´eor`eme 2.7. Toute fonction r´egl´ee f : ra, bs Ñ R est int´egrable au sens de Riemann sur ra, bs. En particulier :

r toute fonction continuesur ra, bs est(R)-int´egrable surra, bs; r toute fonction monotonesur ra, bs est(R)-int´egrable surra, bs.

D´emonstration. Soit f :ra, bs ÑR une fonction r´egl´ee. D’apr`es l’Exercice 2.1, on sait d´ej`a quef est born´ee. Il s’agit de voir que şb

af “ şb af.

Soitεą0 quelconque. Commef est r´egl´ee, on sait qu’on peut trouver une fonction en escalier θtelle que

@tP ra, bs : |θptq ´fptq| ďε.

On a alors

θ´ε loomoon

ϕ

ďf ď θ`ε loomoon

ψ

.

Comme les fonctions ϕetψ sont en escalier, on en d´eduit que żb

a

pθ´εq ď żb

a

f ď żb

a

f ď żb

a

pθ`εq.

(20)

Donc

0ď żb

a

f´ żb

a

f ď żb

a

pθ`εq ´ żb

a

pθ´εq “ żb

a

2ε“2εpb´aq.

Ceci ´etant vraipour tout εą0, on a donc şb

af “ şb

af.

Contre-exemple 1. Soit α ą 0, et soit f : r0,1s Ñ R d´efinie par fp0q “ 6 et fptq “1{tα pour 0 ăt ď 1. Alors f n’est pas (R)-int´egrable sur r0,1s, car elle n’est pas born´ee.

Contre-exemple 2. Soit 1Q : R Ñ R la fonction fonction indicatrice des rationnels, qui est d´efinie par

1Qptq “

"

1 sitPQ 0 sitRQ

Alors 1Q n’est (R)-int´egrable sur aucun intervalle ra, bsnon trivial.

D´emonstration. Soit ϕ : ra, bs Ñ R une fonction en escalier quelconque telle que ϕď1Q surra, bs, et soitS“ ps0, . . . , sNqune subdivision adapt´ee `a ϕ,

ϕptq ”αk surIk “ ssk, sk`1r.

Pour tout kPJ0, N´1K, l’intervalle ouvertIkcontient au moins unirrationnel tk. On a donc αk“ϕptkq ď1Qptkq “0, pourk“0, . . . , N´1 ; et donc

żb a

ϕ“

N´1

ÿ

k“0

αk|Ik| ď0ˆ

N´1

ÿ

k“0

|Ik| “0ˆ pb´aq “0.

Ceci ´etant vrai pour toute ϕPEpra, bsq v´erifiant ϕď1Q, on en d´eduit que żb

a

1Q ď0ˆ pb´aq “0.

En utilisant le fait que tout intervalle ouvert I ‰ H contient au moins un rationnel, on montre de la mˆeme fa¸con (exo) que

żb

a

1Qě1ˆ pb´aq “b´a.

Donc şb

a1Q‰ şb

a1Q puisqueaăb.

2.3. Reformulations de la d´efinition.

Lemme 2.8. Pour une fonction f : ra, bs Ñ R, les propri´et´es suivantes sont

´

equivalentes.

(1) f estpRq-int´egrable sur ra, bs.

(2) Pour tout εą0, on peut trouver deux fonctions en escalier ϕ et ψ telles que ϕďf ďψ et

żb

a

pψ´ϕq ďε.

(3) Il existe deux suites pϕnq et pψnq de fonctions en escalier telles que ϕnďf ďψn pour tout nPN et

żb

a

n´ϕnqÝÝÝÑnÑ8 0.

(21)

2. FONCTIONS INT ´EGRABLES AU SENS DE RIEMANN 21

De plus, si pϕnq et pψnq sont comme dans (3), on a żb

a

fptqdt“ lim

nÑ8

żb

a

ϕn“ lim

nÑ8

żb

a

ψn.

D´emonstration. p1q ùñ p2q. Supposons que f soit (R)-int´egrable sur ra, bs, et fixons ε ą 0. Par d´efinition de şb

af, le nombre şb

af ´ε{2 n’est pas un majorant de l’ensemble şb

aϕ; ϕPEpra, bsq, ϕďf(

; autrement dit, on peut trouver ϕPEpra, bsq telle que

ϕďf et

żb

a

ϕą żb

a

f ´ε{2.

De mˆeme, on peut trouverψPEpra, bsq telle que ψěf et

żb

a

ψă żb

a

f`ε{2.

Comme şb

af “şb

af “ şb

af (par hypoth`ese sur f), on a alors żb

a

pψ´ϕq “ żb

a

ψ´ żb

a

ϕď ˆżb

a

f `ε{2

˙

´ ˆżb

a

f ´ε{2

˙

“2ε{2“ε;

et donc (2) est v´erifi´ee puisqueϕďf ďψ.

p2q ùñ p3q. Supposons (2) v´erifi´ee. Alors, pour tout nPN, on peut trouver des fonctions en escalier ϕn etψn telles que

ϕnďf ďψn et

żb

a

n´ϕnq ďεn:“2´n. Donc (3) est v´erifi´ee.

p3q ùñ p1q. Soient pϕnq et pψnq v´erifiant (3). Comme ϕ0 ď f ď ψ0 et comme les fonctions ϕ0 etψ0 sont born´ees, on voit que f est born´ee (micro-exo). Pour tout nPN, on a

żb

a

ϕnď żb

a

f ď żb

a

f ď żb

a

ψn. Comme şb

aψn´şb

aϕn“şb

an´ϕnq Ñ 0, on en d´eduit (exo) que şb

af “ şb

af et que les deux suite `şb

aϕn˘ et `şb

aψn˘

convergent toutes les deux vers şb

af “ şb

af. Donc f est (R)-int´egrable sur ra, bsetşb

afptqdt“limnÑ8

şb

aϕn“limnÑ8

şb

aψn.

Remarque 1. Sipϕnq etpψnq sont comme dans (3), on dit que la suite pϕn, ψnq est une suite approximante pourf.

Remarque 2. Sif est (R)-int´egrable surra, bset si C1 etC2 sont deux constantes telles queC1 ďf ďC2, alors on peut trouver une suite approximante pϕn, ψnq pourf telle que C1 ďϕn ďf ďψn ďC2. De mˆeme, pourεą0 donn´e, les fonctions ϕet ψ de (2) peuvent ˆetre choisies telles queC1 ďϕďf ďψďC2.

D´emonstration. Soit pϕĂn,ψĂnq une suite approximante quelconque pour f. Si on pose ϕn“ maxpC1,ϕĂnptqq etψnptq “minpC2,ψĂnptqq, alors C1 ďϕn ďf ďψn ďC2. De plus,ψn´ϕnďψĂn´ϕĂn carψnďψĂnetϕněϕĂn, doncşb

an´ϕnq ďşb

apψĂn´ϕĂnq et donc şb

an´ϕnq Ñ0. Ainsi, la suitepϕn, ψnq convient. Mˆeme preuve pour la 2`eme

partie de la remarque.

(22)

Voici une variante du Lemme 2.8qui a ´egalement son utilit´e.

Lemme 2.9. Une fonction born´ee f :ra, bs ÑR est (R)-int´egrable sur ra, bs si et seulement si la propri´et´e suivante est satisfaite :

(2’) Pour tout εą0, on peut trouver deux fonctions en escalier θ et e telles que

|θ´f| ďe et

żb a

eďε.

De plus, si M est une constante telle que |f| ď M, alors on peut imposer que la fonction θ de (2’) v´erifie ´egalement |θ| ďM.

D´emonstration. Supposons f int´egrable, et soit εą0. Par le Lemme2.8, on peut trouverϕ, ψPEpra, bsqtelles que ϕďf ďψetşb

apψ´ϕq ďε. Alors|ϕ´f| ďψ´ϕet şb

apψ´ϕq ďε, donc (2’) est satisfaite avecθ:“ϕ ete:“ψ´ϕ. De plus, si |f| ďM, i.e. ´M ďf ďM, on a vu (Remarque 2 apr`es le Lemme 2.8) qu’on peut imposer `a θ“ϕ de v´erifier ´egalement ´M ďθďM,i.e.|θ| ďM.

Inversement, supposons (2’) v´erifi´ee. Soit ε ą 0 quelconque. Par (2’), on peut trouver θ,ePEpra, bsqtelles que|θ´f| ďeetşb

aeďε{2. Alors θ´e

loomoon

ϕ

ďf ď θ`e loomoon

ψ

et

żb a

pψ´ϕq “ żb

a

2eď2ε{2“ε.

Donc f est int´egrable sur ra, bsd’apr`es le Lemme2.8.

Exercice. Utiliser le Lemme2.9pour montrer que toute fonction r´egl´eef :ra, bs Ñ R est int´egrable au sens de Riemann surra, bs.

2.4. Propri´et´es de l’int´egrale.

Notation. On note Rpra, bsq l’ensemble de toutes les fonctions f : ra, bs Ñ R int´egrables au sens de Riemann sur ra, bs.

Th´eor`eme 2.10. L’int´egrale poss`ede les propri´et´es suivantes.

(1) Positivit´e. Si f PRpra, bsq et si f ě0, alors şb

af ě0.

(2) Lin´earit´e. Si f, g P Rpra, bsq et λ P R, alors f `g et λf sont int´egrables, avec şb

apf `gq “şb

af`şb

ag etşb

apλfq “λşb

af.

(3) Additivit´e. Soit u tel que a ď u ď b, et soit f : ra, bs Ñ R. Alors f est int´egrable surra, bssi et seulement si elle est int´egrable surra, uset surru, bs, et dans ce cas on a şb

af “şu

af `şb

uf (relation de Chasles).

D´emonstration. (1) C’est ´evident : si f ě0, alorsşb

af “ şb af ěşb

a0“0 puisque 0 est une fonction en escalier minorant f.

(2) (i) Montrons que f `g PRpra, bsq et şb

apf `gq “şb

af`şb

ag. Soit pϕn,1, ψn,1q une suite approximante pour f, et pϕn,2, ψn,2q une suite approximante pour g. Si on pose

ϕn:“ϕn,1n,2 et ψn:“ψn,1n,2, alors

ϕnďf `gďψn pour toutnPN;

(23)

2. FONCTIONS INT ´EGRABLES AU SENS DE RIEMANN 23

et par lin´earit´e de l’int´egrale pour les fonctions en escalier : żb

a

n´ϕnq “ żb

a

`pψn,1´ϕn,1q ` pψn,2´ϕn,2

“ żb

a

n,1´ϕn,1q ` żb

a

n,2´ϕn,2qÝÝÝÑnÑ8 0.

Par le Lemme 2.8, on en d´eduit quef`gest (R)-int´egrable sur ra, bset que pϕn, ψnq est une suite approximante pour f`g. De plus,

żb

a

pf`gq “ lim

nÑ8

żb

a

ϕn

“ lim

nÑ8

żb

a

n,1n,2q

“ lim

nÑ8

ˆżb

a

ϕn,1` żb

a

ϕn,2

˙

par lin´earit´e de şb

a sur Epra, bsq

“ żb

a

f ` żb

a

g puisque şb

aϕn,1 Ñşb

af etşb

aϕn,2 Ñşb

ag.

(ii) On montre de mˆeme que si f P Rpra, bsq et λ P R, alors λf P Rpra, bsq avec şb

apλfq “λşb

af. Les d´etails sont laiss´es enexo. (Ce n’est pas totalement imm´ediat : Il faut distinguer les cas λě0 etλă0.)

(3) Supposons que f soit (R)-int´egrable sur ra, bs, et soit pϕn, ψnq une suite ap- proximante pour f. Alors les ϕn et les ψn sont en escalier sur ra, us, avec ϕn ď f ď ψn sur ra, us. De plus şu

an ´ ϕnq ď şb

an ´ϕnq car ψn ´ϕn ě 0, donc şu

an´ϕnq Ñ0. Par le Lemme 2.8, on en d´eduit quef est (R)-int´egrable surra, us, avec şu

af “ limnÑ8

şu

aϕn “ limnÑ8

şu

aψn. De mˆeme, f est (R)-int´egrable sur ru, bs avec şb

uf “limnÑ8

şb

uϕn“limnÑ8

şb

uψn. Enfin, żu

a

f ` żb

u

f “ lim

nÑ8

żu

a

ϕn` lim

nÑ8

żb

u

ϕn

“ lim

nÑ8

ˆżu

a

ϕn` żb

u

ϕn

˙

“ lim

nÑ8

żb

a

ϕn par Chasles pourEpra, bsq

“ żb

a

f.

Inversement, supposons quef soit int´egrable surra, uset surru, bs. Soitpϕn,1, ψn,1q une suite approximante pour f sur ra, us et pϕn,2, ψn,2q une suite approximante pour f surru, bs:

"

ϕn,1 ďf ďψn,1 sur ra, us et şu

an,1´ϕn,1q Ñ0 ϕn,2 ďf ďψn,2 surru, bs et şb

un,2´ϕn,2q Ñ0 Pour nPN, soient ϕn, ψn:ra, bs ÑR les fonctions d´efinies par

"

ϕn“ϕn,1 surra, us et ϕn“ϕn,2 sursu, bs ψn“ψn,1 surra, us et ψn“ψn,2 sursu, bs

(24)

Les fonctions ϕnetψnsont en escalier (micro-exo), et on aϕnďf ďψn surra, bspar d´efinition. De plus

żb

a

n´ϕnq “ żu

a

n´ϕnq ` żb

u

n´ϕnq par Chasles pourEpra, bsq

“ żu

a

n,1´ϕn,1q ` żb

u

n,2´ϕn,2q par d´efinition deϕn etψn ÝÝÝÑnÑ8 0.

Doncf est (R)-int´egrable surra, bsetpϕn, ψnqest une suite approximante pourf. Remarque. La propri´et´e (2) signifie queRpra, bsqest unespace vectorielet que l’application f ÞÑşb

af est une forme lin´eaire surRpra, bsq.

Corollaire 2.11. L’int´egrale est croissante : si f, g PRpra, bsq et f ďg, alors şb

af ďşb

ag.

D´emonstration. Identique `a celle donn´ee pour les fonctions en escalier (cf Corol-

laire 1.4).

Corollaire 2.12. Si f P Rpra, bsq, alors la fonction |f| est (R)-int´egrable sur ra, bs, et on a

ˇ ˇ ˇ ˇ

żb

a

fptqdt ˇ ˇ ˇ ˇď

żb

a

|fptq|dt.

D´emonstration. (i) Int´egrabilit´e de |f|. Soit ε ą 0 donn´e. Comme f est (R)- int´egrable sur ra, bs, le Lemme 2.9 permet de trouver deux fonctions θ0,e P Epra, bsq telles que

0´f| ďe et

żb a

eďε.

D’apr`es l’in´egalit´e triangulaire, on a ˇ

ˇ|f| ´ |θ0

ˇď |f ´θ0|; donc ˇ

ˇ|θ0| ´ |f|ˇ

ˇďe et

żb

a

eďε.

Comme θ :“ |θ0| PEpra, bsq, on en d´eduit que |f|est (R)-int´egrable sur ra, bs d’apr`es le Lemme 2.9.

(ii) Majoration.Comme´|f| ďf ď |f|, on a (par croissance et lin´earit´e)

´ żb

a

|f|“ żb

a

p´|f|q ď żb

a

f ď żb

a

|f|;

d’o`u le r´esultat.

Corollaire 2.13. Si f est int´egrable sur ra, bset si M est une constante telle que

@tP ra, bs : |fptq| ďM, alors ˇ ˇ ˇ şb

afptqdt ˇ ˇ

ˇďMpb´aq.

D´emonstration. On a ˇ ˇ ˇ şb

afptqdt ˇ ˇ ˇďşb

a|fptq|dtďşb

aM “Mpb´aq.

Corollaire 2.14. Sif est une fonction int´egrable surra, bs, alorsf est int´egrable sur tout sous-intervalle ru, vs Ď ra, bs.

Références

Documents relatifs

– Ilias Amrani hilias.amrani@epfl.chi – Jan Brunner hjan.brunner@epfl.chi – Ratiba Djelid hratiba.djelid@epfl.chi – M´elanie Favre hmelanie.favre@epfl.chi – Nicolas

Existe-t-il une fonction born´ee d´efinie sur [0, 1] qui soit limite de cette suite.. Soit f une application continue de [a, b]

[r]

Exercice 2 A l’aide des sommes de Riemann de la fonction propos´ee, calculer la limite des suites suivantes :.. Morel - xymaths.free.fr Int´egrale de

Enoncer ensuite le th´ eor` eme de Fourier (pour une fonction int´ egrable de transform´ ee int´ egrable) en exprimant toutes les transform´ ees de Fourier explicitement

Enoncer et d´ emontrer ce que l’on appelle “formule de repr´ esentation int´ egrale de Cauchy pour f et ses d´ eriv´ ees”. Les hypoth` eses de validit´ e et les notations

[r]

Avec les notations de la question pr´ ec´ edente, et en prenant u = g, obtient une fonction continue, de signe constant, non identiquement nulle, et d’int´ egrale pourtant nulle