Escolar Documentos
Profissional Documentos
Cultura Documentos
FRANCOPHONES
HUPELF-Un E F
ANALYSE
PREMIER CYCLE UNIVERSITAIRE
EDICEF/AUPELF
UNIVERSITES FRANCOPHONES
HUPELF-UHEF
ANALYSE
1er CYCLE UNIVERSITAIRE
Edmond FEDIDA
Professeur l'Universit d'Abidjan Professeur la Facult des Sciences U.C.A.D., Dakar
Mamadou SANGHARE
Matre de confrences la Facult des Sciences U.C.A.D., Dakar
EDICEF, 1996
ISBN 2-85-069839-3 ISSN 0993-3948
En application de la loi du 11 mars 1957, il est interdit de reproduire intgralement ou partiellement le prsent ouvrage sans autorisation de l'diteur ou du Centre franais de l'exploitation du droit de copie (3, rue Hautefeuille - 75 006 Paris). Cette reproduction par quelque procd que ce soit, constituerait une contrefaon sanctionne par les articles 425 et suivants du Code Pnal.
Avant-Propos
Ce livre d'analyse est le pendant naturel du livre du Professeur Saliou TouR dit chez EDICEF, et consacr au cours d'Algbre du 1er cycle universitaire. Cependant, le programme d'Analyse du premier cycle tant grosso modo le double de celui d'Algbre, le prsent ouvrage ne couvre que le cours de premire anne et un peu au del, afin de prsenter aux tudiants un ouvrage abordable et peu volumineux. Ce livre s'adresse, par ses diffrents niveaux de lecture, aussi bien aux tudiants de premier cycle, en sciences exactes ou en sciences exprimentales, qu'aux tudiants des classes de Mathmatiques Suprieures. Avec ses volets consacrs successivement au cours, aux exercices et aux problmes de synthse, nous esprons faire de cet ouvrage un outil de travail assez complet, principalement pour les tudiants d'Universits africaines qui manquent souvent de livres de cours et d'exercices. Le contenu du volume couvre largement le programme de premire anne du premier cycle, avec des complments importants sur la continuit et la convergence uniforme, les fonctions implicites, les fonctions de plusieurs variables et les proprits mtriques des arcs de courbes. En outre chaque chapitre se termine sur une rubrique retenir qui regroupe, sous forme de rsum, les principaux rsultats qu'il faut effectivement retenir avant de passer au chapitre suivant. Le choix des exercices couvre plusieurs objectifs : aider le lecteur valuer ses connaissances et les mettre en uvre, tablir des rsultats nouveaux qui compltent le cours, appliquer les concepts mathmatiques tudis, la physique, la chimie, la mcanique, etc. Les problmes de synthse, prsents lafindes chapitres, permettront aux lecteurs de tester l'ensemble de leurs connaissances en vue des examens. Enfin, nous avons ajout un index historique qui regroupe succinctement les biographies des diffrents mathmaticiens, dont les noms apparaissent dans cet ouvrage. Nous pensons en effet que l'histoire des mathmatiques ne peut qu'enrichir et humaniser les concepts mathmatiques abords par les tudiants. On pourra, dans un premier ter
reporter la lecture du chapitre 1 essentiellement consacr aux fondements, et aborder directement le chapitre 2. Les commentaires, critiques et suggestions ventuelles de la part de nos lecteurs seront les bienvenus. Nous remercions Mademoiselle Ndeye CoDOU la saisie du texte.
NDIAYE
qui a ralis
Les auteurs
Sommaire
Chapitre 1. Thorie lmentaire des ensembles Construction de ?. 1.1. lments de la thorie des ensembles 1.2. Construction de l'ensemble des nombres rels I?. 1.3. Relation d'ordre dans 3. 1.4. Densit de ~ dans ?.. Axiome d'Archimde Chapitre 2. Limite et continuit 2.0. 2.1. 2.2. 2.3. 2.4. 2.6. 2.7. 2.8. 2.9. Introduction Sous ensembles borns de 7.. Intervalles de ?. Limites Application aux suites Suites de Cauchy Exercices Continuit en un point Proprits des fonctions continues sur un intervalle . . . . Continuit uniforme, convergence uniforme 7 7 9 12 14 17 17 17 20 33 35
37
37 39 40 42
48
2.10. RETENIR
48
Chapitre 3: Differentiation 57 3.0. Introduction 57 3.1. Tangente en un point d'une courbe plane 57 3.2. Drive en un point. Diffrentielle 61 3.3. Proprits des fonctions drivables 63 3.4. Thorme de Rolle, thorme des Accroissements finis. . . 68 3.5. Applications 71 3.6. Thorme des fonctions inverses 76 3.7. Suites de fonctions diffrentiables 83
3.8. RETENIR 86
3.9. Exercices et problmes Chapitre 4: Approximation polynmiale d'une fonction 4.0. Introduction 4.1. Approximation polynmiale sur [a.b] 4.2. Approximation polynmiale au voisinage d'un point X,. Polynme de Taylor 4.3. Formule de Tavlor
86 89 89 89 90 93
4.4. Dveloppements limits 4.5. RETENIR 4.6. Exercices et problmes Chapitre 5: Fonctions de plusieurs variables 5.1. Rappels et gnralits 5.2. Fonctions de plusieurs variables 5.3. Drives partielles 5.4. Diffrentielle d'une fonction de plusieurs variables . . . . 5.5. Diffrentielles et drives partielles 5.6. Diffrentielle d'une fonction compose 5.7. Formule des accroissements finis. Thorme de Schwartz 5.8. Fonctions implicites - Formes diffrentielles
5.9. RETENIR
95 111 111 115 115 119 120 122 124 129 132 137
143
5.10 Exercices et problmes Chapitre 6. Intgrale au sens de Riemann 6.1. Intgrale d'une fonction borne dfinie sur un segment : dfinitions et proprits 6.2. Exemples fondamentaux de fonctions integrables 6.3. Primitives 6.4. Formules de la moyenne 6.5. Changement de variable - Intgration par parties 6.6. Techniques d'intgrations 6.7. Exercices et problmes
Chapitre 7. Fonctions vectorielles 181 7.1. Rappels 181 7.2. Dfinition - Exemples 182 7.3. Limite, continuit et drivabilit d'une fonction vectorielle 183 7.4. Drives d'ordre suprieur. Dveloppements limits . . . 188 7.5. tude des courbes rgulires de l'espace euclidien deux ou trois dimensions 190 7.6. Courbes paramtres planes 196 7.7. Courbes en coordonnes polaires 201
7.8. RETENIR 206
7.9. Exercices et problmes Chapitre 8. quations diffrentielles 8.0. Introduction 8.1. Fonctions valeurs dans C 8.2. Equations diffrentielles du premier ordre. quations diffrentielles linaires du premier ordre 8.3. quations diffrentielles linaire du second ordre coefficients constants
8.4. RETENIR
230
235 237
1.1.1. Dfinition
On appelle ensemble une collection d'objets: ces objets sont les lments de l'ensemble.
1.1.2. Exemples
1) Les entiers 0,1, 2. 3,4. forment un ensemble appel l'ensemble des entiers naturels et not FI. 2) Les entiers - 4, - 3 , - 2 , - 1 . -1, 2.3.4, forment l'ensemble des entiers rationnels que l'on note Z. 3) On dsigne par Q l'ensemble des nombres rationnels | , I. | .
. 1
1 8 '
0 i i
U
l ...
2"
'
' *
Soit E un ensemble. Pour dire qu'un objet x est un lment de E, on crit x E et on lit x appartient E , et pour dire que x n'est pas un objet de E on crit x $ E et on lit x n'appartient pas E . Un ensemble est vide s'il n'a aucun lment; l'ensemble vide est not 0. Inclusion Soient E et F deux ensembles. On dit que E est inclus dans F et on note E C F ou F D E si tout lment de E est lment de F. On dira alors que E est un sous-ensemble de F ou que E est une partie de F. E = F si E C F et F C E.
lmentaires
Soient .4. B et C trois parties d'un mme ensemble F . Alors : 1) A n S = 5(1.4 2) A U S = BUA
3) (Ans) ne = An(snC)
4) ( A U S ) U C = A U ( S U C ) 5) A n (S u C) = (A n B) u (5 n C) 6) A U (S n C) = (A U B) n (A U C) 7) C (.4fl) = C .4UC 5
8) C (AUB) =
Dmonstration
CEAnCEB
1 ) x G A n 5 si et seulement si ,r G A et x G B. donc x G A n S si et seulement si x G B et x G A. c'est--dire si et seulement si .r G B n A. 2) x G A U B si et seulement si x G A ou x G B. donc x G A U B si et seulement si x G B ou .r G A. ce qui revient dire que x G A U B si et seulement si x G B U A. 3) x G (A n B) n C si et seulement si .r G A n B et x G C ce qui quivaut .r G A et x G S et x E C. De mme - G A n (B n C) si et seulement si x G A et j- 6 5 (1 f et cela quivaut x A et x B et x G C. 4) a . - G (A U B) U C si et seulement si x G A U B ou x G C. donc si et seulement si x G A ou x G B ou J- G C. D'autre part J G A U (B U C) si et seulement si x G A ou - G B ou ,r G C. 5) r e A n (B U C) si et seulement si x G A et x G B U C. Ainsi x G A n (B n C) si et seulement si (f G A et x G B) ou ( x G A et f ) ce qui quivaut x G A n B ou ,r G A n C. 6) . 4 U ( f l i i C) quivaut x G A ou x G (B n C) et cette dernire relation quivaut ( . 4 U B e t i . 4 U C ) .
7) x CE A U CEB quivaut f ^ CE A et x g CEB. Autrement dit x g CE A U CEB quivaut : x G .4 et x G B. Donc x g CE A U CEB si et seulement si x CE (A fi B). 8) Posons A' = Cjr.4 et B1 = CEB. On a. d'aprs 7). CE(A' il B') = CEA1 U CEB' D'O : ,4' n B' = CE(A U B).
DFINITION Une suite (xn)n^-_: d'lments de ~ est dite de Cauchy si. quel que soit s G ~ et > 0. il existe no G I 1 tel que les ingalits p > no et q > no entranent \xp xq\ < z.
1.2.2. Proposition
Toute suite (xn) d'lments de ~ . convergeant dans ~ est de Cauchy. Dmonstration Supposons que (xn) converge vers a G ^ et soit s > 0. ( G 3 ) II existe no tel que l'ingalit n > no entrane \xn a\ < %. Soit p. q G I T tels que p > no et q > no- Alors
L
q\ _
xP - a
\xa - a
1.2.3. Proposition
Toute suite de Cauchy d'lments de 3 est borne. Dmonstration Soit (xn)n^une suite de Cauchy. (xn G 3 ) . Il existe no G I T tel que pour tout n G I T . l'ingalit n > no entrane \xn x0\ < 1. On a donc, pour n > no- xno 1 < xn < x0 + 1. Posons M = Max[{i / n < n 0 } U {xno + 1}] et m = Min[{a?n / n <
1.2.4. Proposition
Soient (xn) et (yn) deux suites lments dans ^. Si (r n ) converge vers 0 et si (yn) est borne, alors la suite (xnyn) converge vers 0.
10
Dmonstraiwn Soit M G Q e t M > 0, tel que \yn\ < M pour tout n G l'. tant donn s > 0 et s G Q. il existe no G H tel que l'ingalit n > n 0 entrane |x n | < -^^-. Donc pour tout n > n 0 , on a \xnyn | < ^
1.2.5. Proposition
Si les suites (a;n) et (j/n) d'lments de Q sont de Cauchy, alors les suites (xn + yn), {xn yn) et (xnyn) sont de Cauchy. Dmonstration Soit M G Q tel que | z n | < A/o et \yn\ < Mo pour tout n G F!. Le nombre s G Q (e > 0) tant donn, il existe des entiers naturels no et ni tels que pour p. q G N les ingalits p > no et q > no entranent \xp xq\ < n]^ 0 et les ingalits p > ni et g > ni entranent li/p-/gl < 27+2 Posons H2 = Max(no. i) et soient p, q G I! tels que p > ni et q > noOn a alors \{xp + yp) - {xq + yq)\ < \xP-Xq\ + \yp-yq\ 2e < 2M'+2 2e
2M + 2 M +"2
1.2.6. Proposition
Soit (x n ) e jj une suite de Cauchy d'lments de Q. On suppose que (xn)nN ne tend pas vers 0. Alors il existe a > 0 et no G N tels que Vn. l'ingalit n > n0 entrane |x n | > a. De plus la suite ( )
\Xn/ n>n0
est de
Cauchy. Dmonstration On va raisonner par l'absurde en supposant que Va > 0, Vn G N, 3m > n tel que \xm\ < a. Soit a > 0. La suite (x n ) n g;; tant de Cauchy, il existe no tel que n > no et m > mo entranent \xm-xn\ <Q/2. Maintenant par l'hypothse, il existe ni > no tel que |;c n i | < a/2. n > n 0 entrane alors \xn\ < \xn x n j | + \xni\ < a/2 + a / 2 = a. a tant quelconque, ceci signifie que la suite (xn)nex tend vers 0. D'o la contradiction. Soient p et q deux entiers naturels tels que p > no et q > n 0 . On
1
Xp
1
Xq
est
Posons ^l'ensemble des suites de Cauchy de nombres rationnels. Il rsulte de la proposition 1.2.5. que ^ est un anneau commutatif pour l'addition et la multiplication dfinies comme suit :
Construction de 'ensemble des nombres rels M (xn) + {yn) = (x + yn), {xn) (yn) = [xnyn).
11
Il est clair que la suite stationnaire (xn) o xn = 1 pour tout n N est lment unit de cet anneau. Posons fo l'ensemble des suites de nombres rationnels convergeant vers 0.foest un idal de " d'aprs la proposition 1.2.4.
1.2.7- Proposition
fo est un idal maximal de l'anneau <. Dmonstration Soit (xn) une suite de Cauchy ne convergeant pas vers 0. D'aprs la proposition 1.2.6, on peut supposer que xn ^ 0 pour 1 ' tout n G N, et il rsulte alors de la mme proposition que la suite (
Xr
est de Cauchy et il est clair que le produit (xn) [ ) est l'lment unit de *. Commefoest un idal maximal def7,donc l'anneau-quotient est un corps commutatif. DFINITION Le corps commutatif f/^o est appel droite numrique et dsign par M. Ses lments sont appels nombres rels. On peut constater facilement que l'application p, qui consiste associer chaque nombre rationnel q la suite stationnaire (xn) o xn = q pour tout n G F, est un homomorphisme injectif de l'anneau Q dans l'anneau ff, de plus si q et q' sont des lments de Q tels que q ^ q', alors la suite (de Cauchy) p(q) <p(q') = (xn) o xn = q q' pour tout n G N, ne converge pas vers 0. Donc si l'on pose p la surjection canonique de * sur ffi l'application i = po ip est un homomorphisme injectif du corps Q dans le corps S . Le morphisme i permet d'identifier la classe modulo % des suites de Cauchy convergeant vers q au nombre rationnel q, et par la suite, de considrer Q comme sous-corps de M.
\Xn)
1.2.8. Proposition
L'inclusion Q Cffiest stricte. Dmonstration Considrons la suite de nombres rationnels (s;n)n>o,
o x n - l + f + + + iPour p > o n a i J , - t g = j ^ + ^ v + ^ - Or
ITyT + ^
...+ I < ( - l T y i [ 1 + - | + 7 T ^
iP-9-lJ'
12
1
+
1 (5+1)!,
1 1
1 qqV
7TT
donc \ip xq\ < pour p>q>n>lce qui prouve que x = (xn) est une suite de Cauchy c'est--dire un lment de c. Montrons que le nombre rel ~x qui est la classe de (x) modulo fo n'appartient pas '"_. Autrement dit que (xn) ne converge pas vers un lment de Q_'. Supposons le contraire et soient s G R ' e t i l ! * tels que lim xn =
nf + oo
tendre p vers l'infini, l'ingalit suivante; (1) 0 < suite (xn) tant strictement croissante, on a xm
tout m 6 I 1 . On prend q > t. comme xq est un lment de ~. on peut crire -.r = 4.oc?G ^.(1) s'crit donc 0 < < :. d'o 0 < d < - < . ? ' q\ ~ qq\ ~ q~2 Ce qui est impossible. Donc le nombre e de I?,. classe modulo '/io de la suite xn = 1 + ^T + - ' - + ^ T n'appartient pas Q, on dit que e est irrationnel.
1.3.1. Proposition
%Z- c"-. et if0 forment une partition de t. Dmonstration Soit (xn) G c. On a l'quivalence (xn) G iio ^^=> lim xn 0, donc
<*+ n #o = <l n fo = 0
Supposons qu'il existe (,r) G ^ n ^ I . Alors il existe T?O G PI. 3,") G Q, ,J > 0. -) > 0 tels que pour n > no on ait : ", > xn > 3. ce qui est impossible, donc ^ n ^ 5^ 0-
Relation d'ordre dans ir. Soit (x) G iftel que (xn) G if ; Cl ifl. Alors (VQ > 0), (Q G 2)(Vn e V.)(3mi > n)(3m2 > n)(xmi
13
Soit e > 0 (e G v ) . Comme (xn) est de Cauchy. il existe n 0 G H tel que les ingalits n > no et q > UQ entranent xq ^ < "n < 9 + ^. Soient mi > o et m > no tels que xm < ~ et ^ < ,r m2 . On a alors : donc pour n > no on a : s < xn < e. Il en rsulte que lim xn = 0 c'est--dire (xn) G ifo- D'o if =
nv-j-oc
1.3.2. Proposition
Si x = (xn) G if+ et y = (yn) G if+. alors x + y G if+ et xy <tf+. Dmonstration Si x G ^o et y G ^o. alors x + y G ^o et xi/ G ifo car lim (i + y) = lim xn + lim j / n = 0. Si 2- G if; et / G if|, alors il existe i > 0, G Q > et ni G H. il existe ~) > 0. -) G v; et ni G N tels que pour n > sup (ni, 2) on ait xn > 3 et 2/n > -). Donc, pour n > sup (ni, n 2 ) o n a : i + j / > /? + -) et ri/ n > ^ . Ce qui entrane ar + y G ^ + et xy G if+. Si x G #0 et / G if;, alors il existe 3 > 0, ,J G 3>, et il existe n 0 G N tels que l'ingalit n > no entrane yn > : comme lim xn = 0, il
nf+ 00
existe ni F tel que l'ingalit n > ni entrane < xn < , Donc 3 . pour n > sup(n o ,ni) on a : xn + yn > - - + = -. D'o x + y G ^+. D'autre part on a lim xyn = 0. D'o xy G %
n f + oc
1.3.3. Proposition
Soient ^ = (xn) et y = (yn) deux lments de if. Si x et y sont quivalentes modulo ^0 et x G if+ alors y G if+. Dmonstration yx G ifo C if+ et x G if+ impliquent j/ = (yx)+x G
REMARQUE II rsulte de la proposition 1.3.2 que si x G <+ et si / est un lment de la classe x de x dans M, alors / G ^ . . On dit que le nombre rel x est strictement positif. On peut vrifier que si x' G ^1 et y' G x', alors
14
y' G.^1, on dit que x' est un nombre rel strictement ngatif. Il est clair que si x G ^o, alors 0 est le nombre rel non nul. On note : WL+ = <]rl<c l'ensemble des rels strictement positifs. M* = <*_lt^ l'ensemble des rels strictement ngatifs. IR+ = <+/<^o l'ensemble des rels positifs. E_ = 1f_/^o l'ensemble des rels ngatifs. On a: M = m + U - et M + n S _ = {0}.
1.3.4. Proposition
La relation < dfinie sur IR par : x < y <=> y x G M+ est une relation d'ordre total compatible avec la structure de corps de S qui prolonge l'ordre naturel de Q. Dmonstration Soit x G IR et y G IR tels que j - i E ?.+ et x y G K+. On a alors y - x = {x y) G S - , donc y - x G K+ H P . . . Ce qui entrane y x = 0, donc x = y. Soient i G 1 , G P. et : i tels que y - x G S + et z - y G R+. Alors z - x = (z - y) - (y - x) e R+. Soit i E et / E S . On a y x G M+ ou y G S._, ce qui entrane y < x ou x < y. Si x. x', y et y' sont des rels tels que y x G M+ ou y' x' G R+. alors
(j, + y') -(X
+ x>)
= (y-x)
Si a; et x' sont deux rels tels que x G M+ et ' G E+, alors 2"a;' G R+. De plus il est clair que si a et b sont deux lments de Q tels que a < b dans Q, alors a < b dans IR.
1.3.5. Proposition
La valeur absolue d'un nombre rel a est le nombre rel positif Sup ( a , - a ) . Soient a, 6 G IR, on vrifie les proprits suivantes : 1) -\a\ < a < \a\ 2)\-a\ = \a 3) |a + 6| < |a| + |6| 4)|a6|=|a||6| 5) \a\ = 0 <=> a = 0
15
Dmonsimiwn Soit (xn) un lment de ^reprsentant a. La suite (xn) tant borne dans Q\ il existe M = - G IR et M > 0 (p G l'i et q G II*) tel que q\xn\ < M pour tout n G N. Comme (M r n ) n est une suite de rationnels positifs ou nuls, sa classe savoir M - a est positif ou nul dans S. On a donc - > a, d'o p > a, car p > - . E n prenant m=p+l.onam>a. Corollaire 1 Pour tout nombre rels a, b avec a > 0, il existe un entier p tel que pa > 6. Dmonstration II existe un entier p tel que p > - . donc pa > . a Corollaire 2 Pour tout rel e > 0. il existe un rationnel a > 0 tel
que 0 < Q < 5.
1.4.2. Proposition
Pour tout nombre rel x et pour tout rel e > 0, il existe un entier p unique satisfaisant :
pe < x < (p+ l)e
Dmonstration II rsulte du corollaire 1 du thorme 1.4.1 qu'il existe un entier n tel que m > \x\. soit ne < x < ne. L'ensemble B = {m G "Z I ine < x} est donc non vide, car n B, et est major par n. Soit p le plus grand lment de B. On a pe < x < (p+ l)s. Soit p' autre entier vrifiant p'e < x < (p' + l)e. On a alors les ingalits : p'e < x < (p+ l)e et pe < x < (p' + l)e qui entranent les ingalits p' < p et p < p', d'o
1.4.3. Dfinition
Soit x G 5. On appelle partie entire de x l'unique entier p G Z tel que p < x < p + 1. On note p = E(x) ou p=[x].
16 x<
et q ( y ) > 1. ce qui entrane x < et y > . q \ q) q q d'o x < < y. Il suffit de prendre ; = . q q Corollaire II existe entre deux rels distincts une infinit de nombres rationnels.
1.4.5.
Proposition
Entre deux rationnels distincts il existe un irrationnel. Dmonstration Soient x et y deux rationnels, x < y. et soit s un nombre irrationnel strictement positif (par exemple s = e). Il existe un entier q U." tel que q(y x) > s. On a alors x < x ~\ < y q et "H est irrationnel. q
1.4.6. Dfinition
On dit qu'une partie .4 de S est dense dans 3. si entre deux lments distincts quelconques dans 31, il existe un lment de A. Ainsi Q et O?.~ sont denses dans ?..
18
Limite et continuit
2.1.2. Dfinition
Soit E C 3*.; une borne suprieure de E est un majorant M de tel que, pour tout majorant A de E, on a A > A/\ De mme une borne infrieure de est un minorant m de E tel que. a < m pour tout minorant a de F.
2.1.3. Remarque
Si E admet une borne suprieure M (resp une borne infrieure m), alors M (resp m) est unique. En effet, soit M' une autre borne suprieure, comme M est un majorant. M > M', comme M' est un majorant. M' > M d'o M = M'. On dmontre de la mme manire l'unicit de m. On notera alors: M = sup E ; m = inf E. La dfinition 2.1.2 est quivalente la dfinition suivante.
2.1.4. Dfinition
Soit E C JR. M est la borne suprieure de E si et seulement si i) Vz G E, x < M ii) Vs > 0,3a- G E . z > M i) V.T G E, x > m ii) Ve > 0, 3x G E. x < m + e. -s. De mme m est la borne infrieure de E si et seulement si :
2.1.5. Dfinition
Soit / : E C ?- 5- une fonction. On dira que / est majore (resp. minore) sur E. si f{E) est major (resp. minor) dans ?,. La borne suprieure M (resp. la borne infrieure m) de / sur E est la borne suprieure (resp. la borne infrieure) de f(E). si elle existe. Notation: M = sup f(x) : m = inf f(x).
2.1.6. Exemples
1) L'ensemble des entiers positifs n'est pas major (proposition 2.1.8), par contre il est minor et 0 est sa borne infrieure. 2) E = {x G S. x > 0 et x2 < 2} est borne: 0 = inf, et y/2 = sup E. On remarque que la borne suprieure A/2 n'appartient pas E. 3) E = {1. ^, | , . . . } est born. 1 est a borne suprieure et 0 est la borne infrieure qui n'appartient pas E.
19
2.1.8. Proposition
L'ensemble N des entiers naturels n'est pas major dans M. En particulier si a G S est tel que : Vn M*, 0< a < -, n alors a = 0
Dmonstration Supposons qu'il existe un nombre rel b majorant H. On aura b > n pour tout n G N. D'aprs 2.1.7, N admet une borne suprieure M > 0 comme 1 > 0, on a M < M + 1. Donc M 1 < M et M 1 n'est pas un majorant ; donc il existe n 0 G N tel que M - 1 < n0 ; d'o M < 1 + no- Comme 1 + n 0 G N; on a la contradiction. Soit a g S tel que 0 < a < ~ pour tout n G N*; si a ^ 0, alors n < pour tout n G N*. Ce qui est impossible d'aprs ce qui prcde. En particulier si a G P.+ est tel que pour tout > 0, a < e, alors a = 0. Nous aurons utiliser ce rsultat maintes reprises par la suite.
2.1.9. Dfinition
Un intervalle / de M est une partie de M ayant l'une des formes suivantes : [a, b] = {x S / a < x < b}; ]a, b] = {x S / a < x < b}; [a, b[= {x G M/a < x < b} ; ]a, b[= {x G M/a < x < b} ;
] - oo, a] = {x G K/z < a}; ] - oc, a[= {x G S/x < a} ; [ a , + . x [ = { i K / i > a } ; ]a, +3o[= {x G S / i > a}; M; 0. Un intervalle peut tre caractris par une proprit locale comme le montre l'nonc suivant :
2.1.10. Proposition
Une partie I de M est un intervalle si et seulement si
VaG/,VG/, a < b^[a,b] I. (1)
20
Limite et continuit
Dmonstration Supposons / ^ 0. La condition (1) est videmment ncessaire d'aprs 2.1.9 ; elle est suffisante ; en effet si / n'est ni major, ni minor, pour tout x 6 S, il existe a. 6. G / tels que a < x < b, donc d'aprs (1) x G / et I S. Si / est major et non minor, soit 6 = sup /; pour tout x < b il existe alors a.c G /, tels que a < x < c < b. donc x G /, et / ne peut tre que ] oc, 6] ou ] oc, &[. Par un raisonnement analogue on montre que si I est minor et non major / =]a, +oc[ ou [a. +oc[. o a = inf I. Si / est major et minor le mme argument montre que I a l'une des formes suivantes : [a, 6]: ]a. b[\ ]a. b]: [a. b[ avec a = inf J, b = sup /.
intrieurs de I. On dira que I est ouvert si et seulement si : / = I. 2.1.11.2. Proprits On tablit facilement les proprits suivantes : 1) Les extrmits de /. quand elles appartiennent /. ne sont pas des points intrieurs de /.
0 0
2.2. Limites
2.2.1. Dfinition
On appelle voisinage d'un point Xo de S de rayon a > 0. et on note Va(xo), l'intervalle ouvert centr en Xo : ]xo a,Xo + [.
2.2.2. Dfinition
Soit S un sous ensemble non vide de IR et xo G IR- On dira que S est arbitrairement voisin de xo, et on notera S ~ XQ, si pour tout e > 0, il existe j G 5 tel que \x xo| < En d'autres termes : S ~a:o.-Va > 0. Sa = S n
21
2.2.3. Remarques
1) S est arbitrairement voisin de chacun de ses points. Un point x G S tel qu "il existe Va (x). vrifiant 1 'a (x) O S = {x} s'appelle un point isol de S. 2) Si S ~ XQ, XO G S , tout sous ensemble S' de S n 'est pas ncessairement arbitrairement voisin de xo- Par contre si S' est a trace dans S d'un voisinage de XQ, alors 5 ' ~ Jo-
2.2.4. Dfinition
Soient xo G >, S une partie de S arbitrairement voisine de xo. et / : S > ?.. une application. Soit / G ?.. On dira que f(x) a pour limite / quand x tend vers XQ, en restant dans S, si et seulement si :
VI
no 3Y
&(ro
) tel que / (5
n Vs(xo)) C
(/ )
'1
2.2.5. Remarques
1) Dans la dfinition 2.2.4 \'S{1) est en premier lieu spcifi : Vs(xo) pouvant alors dpendre de Ve(l). 2) La notion de limite de f en xo dpend de l'ensemble S. Toutefois :
2.2.6. Proposition
Soit / : 5 c - > ? . . 5 ~ O^ Soit S1 un sous-ensemble de S. tel que 5' ~ xo si lim fix) = / et lim fix) m
xS
xeS'
alors I = m. En particulier si / admet une limite en xo, cette limite est unique. Dmonstration
< Sl
22 de mme
Limite et continuit
un /(*) = m => 352 > 0 : ^ " ^ ' < " => \f(x) - m\ < \.
Soit S inf(i, 2)- Si \x xo| < , avec x S' alors
2.2.7. Proposition
S o i t /:Scl-tS, O l,S'"o
lim / ( ) = /.
S
Dmonstration
X
lim /(
S
Vs
Limites
23
La rciproque n:est pas vraie en gnral. En effet soit la fonction f :M > P. dfinie par :
aVors pour tout q G v , lini f(x) = 1, a7ors que lim f(x) n'existe pas. En
i<6 xIl
effet, on sait que fout intervalle ouvert non vide contient au moins un nombre irrationnel ; d'o pour tout a > 0. /(K CiVa) = /(l'a) = {0, 1}.
Pour e = \,f{Va{q)) ] , [ = V i ( l ) , V > 0. D'o lim /(a-) n'existe
pas. car el/e serait gale 1 d'aprs a proposition 2.2.6. 3) Soient: S+ = {x G S. x > x0), S~ = { i S . i < x0}. Si Jim f(x) l\ on dira que ly est la limite droite de f(x) en XQ. et on crira: lim f(x) = l\.
x-t-r +
f(x) en xo et on crira: lim f(x) = lo. lim fix) existe h et /2 existent et l\ = l->.
X-^XQ
Si f(x) x pour tout x G S, lim f(x) = o pour tout XQ de ?.. 5j II arrive en gnral que a limite droite en XQ soit diffrente de la limite gauche de xo, les deux imites tant elles-mmes diffrentes de a valeur de a fonction en xo- Soit f : ] 1,1[ S telle que :
(
On a :
r-)-0-
x + 1. x- 1, 0.
On dira alors que f est borne au voisinage de Xo. En effet : pour e \ il existe S > 0 tel que si \x xo\ < S, x S, \f(x)-l\<d'o\f(x)\<\l\ + l. Cette remarque peut servir pour montrer qu'une fonction n'a pas de limite en un point ; il suffit de montrer qu'elle n'est borne dans aucun voisinage de ce point. Ainsi la fonction f(x) = - n'a pas de limite en 0.
24
Limite et continuit
d'o : 2.2.9.1. Dfinition lim f(x) = si et seulement si: V > 0 . 3.4 > 0 . x > A et x G S => \f(x) - l \ < s . Remarque : On peut tendre la dfinition 2.2.9.1 une fonction
mme si 5 contient des nombres ngatifs ou nuls. En effet par un raisonnement analogue 2.2.7. en considrant SA [A.+oc[C\S. A > 0. on montrera facilement que : lim f(x) =l>
X+ + S O
(1)
Autrement dit la limite de f(x) quand x +oc ne dpend que des valeurs de f(x) pour x assez grand. i S . De mme, soit S ?.. posons S' = { x, x S}. On dira que 5 ~ cc si et seulement si 5' ~ +DC. 2.2.9.2. Dfinition Soit /:55.->?..5
x->--=o x5
lim f(x) = 1 O lim g(X) = /. Par un mme raisonnement que dans 2.2.9.1 on obtient :
Limites
2.2.9.3. Dfinition lim f(x) = /. si et seulement si :
25
2.2.9.4. Remarques Les dfinitions 2.2.9.1 et 2.2.9.2 ramnent la dfinition de limite d'une fonction en +DC OU oc, celle d'une fonction en 0. Donc tous les thormes qui vont suivre sur es limites en xo ?- seront valables pour les limites en +yz ou DC. En particulier la proposition 2.2.6 et la remarque 2.2.8. 6) s'noncent ainsi pour +oc par exemple: 2.2.9.5. Proposition Si lim f(x) = /. alors / est unique. En outre, il existe A ' > 0 et .4 > 0. tels que si .r > A. x E S. alors |/(.r)| < k. On dira alors que / est borne au voisinage de +oc.
= xk. o
2.2.10.2. R e m a r q u e s 1) Si y : I 1 " IT* est strictement croissante alors y>(n) > n pour tout n.
Faisons un raisonnement par rcurrence : Pour n = 1. y(l) > 1 ; supposons y(n) > n. dans ce cas:
2) pour tout A ~?.~+, il existe no I1" tel que no > .4. D'aprs 2.2.9. X" <\-x et on peut parler de imite d'une suite quand n devient grand.
26 2.2.10.3. Dfinition
Limite et continuit
Soit (x) une suite de nombres rels dfinie par l'application / : IT* S. On dira que la suite (xn) admet une limite l quand n devient grand et on crira :
n *- + oo
Ve > 0, 3.4 > 0 : si n > A. on a |.rn - l\ < s. Or il existe no G N" tel que no > A ; par suite si n > no on a On peut alors remplacer A par no- On a donc : 2.2.10.5. Dfinition
Soit (xn) une suite de nombres rels lim xn l < = > V > 0. 3no G IT* tel que si n > no. alors xn l\ < s
imite l 2) D'aprs 2.3.10.2, la dfntion de la. limite d'une suite est ramene celle d'une fonction en +oo. Toutes les proprits nonces pour es imites de fonctions restent vraies pour es suites. On aura donc : si lim xn = l. alors / est unique.
En outre H existe k > 0. ef no > 0. te/s que si n > no, \xn\ < k. Ainsi une suite convergente est borne.
Soit x > 0: pour s > 0, il existe no G M* tel que < ex. Donc si n > no on a < < er et par suite < s. On fait un raisonnement n no nx analogue pour x < 0. Les propositions qui suivent tablissent les proprits fondamentales des limites pour les sommes, des produits, les quotients, les ingalits de fonctions ainsi que pour les fonctions composes.
Limites
27
De mme 3S2 > 0 : VJ 5. (|a; - x o | < < 5 2 ^ |/(x) - m| < | ) . Posons (5 = i n f ^ ! , ^ ) . Si |x - xo\ < , x G 5. on a :
\f(x) + g(x) -l-m\< \f(x) -l\ + \g(x) - m\ < | + | = .
2.2.11.2. Remarque Dans la dmonstration de a proposition 2.3.11.1 nous avons utilis le principe suivant: si une ingalit est vrifie pour \x xo\ < 6\ et une autre a lieu pour \x XQ\ < 2, soit S inf(i,2) ; alors pour \x xo\ < S es deux ingalits sont vrifies simultanment. Dans es preuves qui vont suivre, on utilisera souvent ce principe. On passera directement S, sans mentionner les i, 2, 3- intermdiaires. 2.2.11.3. Proposition Soient 5 C S, / : S > 3. et g : S ?., x0 G M, S ~ x0. si lim f(x) = l et lim g(x) = m
r-*r0 r-lo x-ro xUo
28
Limite et continuit
d'o \f(x)g(x) - lm\ = \f(x)g(x) <\f(x)\ - f(x)m + f(x)m - lm\ + \m\ \f(x)-l\
m
\g(x)-m\
2.2.11.4. Corollaire Soient / : S C ?- > ?.. 5 : S C R > IF-, 0 ?- 5" ~ XQ et A S . Si lim /(.r) = /, alors lim \f(x) = A/. 2.2.11.5. Exemple Soient P(x) un polynme en x, et x> ?.. on a: lim -P(.r) = P(o,"o).
En effet P(x) = a n i " + an_ixn~l tout p. 0 < p < n. lim xp = xZ
r-Uo
(proposition 2.2.11.3)
et
(corollaire 2.2.11.4)
(proposition 2.2.11.1)
pour s =
. J7 existe ;
s] l - r - r o | < S. | / ( i ) -
'l<
/
2
/ 2 ' /
d'o
: i' 1/(^)1 -
2
alors f(x) ne s'annule pas pour les points
Limites 2.2.11.7. Proposition Soient / : S C ?. -> ?.. x0 G ?.. S ~ x0, si lim fir) = / et / 0. alors : lim f(x)
29
et
(1)
D'aprs remarque 2.2.11.6 on peut choisir S tel que f(x) ^ 0 pour L) aprs la la rema
- xo\ <s. xe s.
par suite:
(l)=l/(*)l>
1 1
/(*)
2 !/-/(*)I
- /2 2
2.2.11.8. Corollaire Soient / : S I ^ ?.. j : 5 ?.>?.. J 0 G ?.. 5 [= Si lim /(.r) = /. et lim g(x) = m / 0 alors: lim g(x) m 2.2.11.9. Exemples 1) Soient P(x) et Q(x) deux poivnmes en x. xo G ?.. tels que Comme lim Q(x) = Q{x0) 0. alors lim ^ - =
J--i-.ro r - H o Q(X)
^frr.
Q(X0)
2) Montrons
^ \ ~ 22L
(1)
Limite et continuit
x2
Si
=s,
2.2.11.10. Proposition
Soient 5 S et x0 G M, 5 ~ Ko et soit / : 5 -* M une fonction positive. Si lim fix) existe et vaut /. alors / > 0. Dmonstration Supposons / < 0 ; soit e = .
E]l-^J+^[.
l + y = - < 0 implique f(x) < 0 V* e ]^ 0 - , 0 + [ l~l S", ce qui est contraire l'hypothse. Corollaire Soit 5 ~ XQ et soient / : S E. et 5 : S > S deux fonctions sur 5 telles que /(a1) < g(x), Va; G 5. Si lim f(x) = I et lim 5(2;) = m, alors / < m.
xvr 0
Dmonstration La fonction = g f tant positive sur 5, la proposition prcdente entrane lim p = m l > 0. D"o le rsultat.
rtro
2.2.11.11. Remarque
telles que f(x) < h{x) < g(x), pour x G Sa, (Sa - Va(x0) C\S), si lim g(x) = lim (x) = l. alors: lim h(x) = l.
r>r0 xvr 0 r-*r0
Soient S S, r 0 e , S ~ O, / : S -^ 1 . j : 5 -+ 1 , et /1 : 5 -> 5,
Dmonstration
P a r suite
- 4 + 4 ~ 2'
Do
IM*) - I <
31
est
hm
sin
J--+0+
= 1.
FIGURE: 2.1
On a pour x G]0. f [: surface du triangle AOB < surface du secteur circulaire . 4 0 5 < surface du triangle O.4C 1 1 1 1 < 1
cos snix
sin x > 0
7T
sm x
1>
> cos.
sin
= 1.
2.2.11.13. Proposition
Soient / : 5 -> 5.. g : T -> S telle que / ( S ) r , f 3. et 5 ~ j 0 Si lim /(j") i/o et T" ~ i/o. et si lim (/(y) = /. alors : lim g(f(x)) = l.
32
Limite et continuit
Dmonsiraiwn Pour s > 0. il existe S > 0 tel que. | / /o | < e t y GT entranent (1) \g(y) l\ < s : d'autre part il existe i > 0 tel que.
XQ\
< Si =>
\(n))i\
2.2.11.14. Proposition
Soit / : S > 31. et soit XQ G -?. tel que 5 ~ xoAlors lim f(x) = I si et seulement si pour toute suite (x ) d'lments de 5 convergeant vers .to. la suite f(xn) converge vers /. Dmonstration Supposons que lim f(x) = / et soit g = V 5 une suite telle que lim g(n) = XQOn a: lim / [g(n)] = 1 c'est--dire lim f(x ) = l. (2.2.11.13)
Rciproquement supposons que pour toute suite (xn) convergeant vers x0. la suite (f(xn)) converge vers /. Dmontrons (par l'absurde) que
Supposons le contraire. Alors 3e > 0 tel que pour tout n G I 1 " il e x i s t e x n S t e l q u e \ x n - x o \ < - e t \ f ( x n ) l\ > s . L a s u i t e ( x n ) n ainsi construite converge vers XQ. alors que la suite (f(xn)) ne converge pas vers /. ce qui contredit l'hypothse.
2.2.11.15. Exemples
1) Soit f(x) imite en 0. = sin . x G 3-. {0}. Montrons x que f(x) n ' a p a s de
Soient les suites (xn). (yn) telles que xn et yn = lim x = 0 et lim yn = 0. or f(xn ) = sin m: = 0 => lim
f(yn ) = sin(2n7T + ) = 1 => lim d'aprs 2.2.11.14. f(x) n ' a pas de limite en 0.
2) Soit f(x) = x sin - , x 6 ?. - {0}. Montrons que lim f(x) = 0. Comme f(x) est paire on peut se restreindre 31+ {0}. Or - 1 < sin - < 1 => -x < x sin - < x. (x > 0) x x d'o d'aprs la proposition 2.2.11.11 lim x sin = 0.
x-^-0
X
33
2.3.1. Proposition
Soit ( i n ) une suite convergente de limite /. alors: a) / est unique. b) 3k > 0. 3n0 > 0 : n > n0 => \xn \ < k. c) Si / 0. 3n0 > 0 : n > n0 => x 0.
2.3.2. Proposition
Soient (xn) et (yn) deux suites convergentes de limites respectives / et m. Dans ce cas : lim (xn + yn) = l + m : lim (\xn)
r!-> + cc
lim (xnyn) = Im
/
= XI :
lim
= si m ^ 0.
m
n-f + cc y n
2.3.3. Proposition
Soient ( r ) , (y) et (c) trois suites telles q u e : 3o > 0. tel que pour n > no:xn < zn <yn.
si l i m xn = l i m yn =1. alors: l i m zn =1.
34
Lmite et continuit
D'aprs la dfinition de supE, pour tout e > 0, il existe un entier n0 tel que xno > L - e. Comme la suite est croissante, pour tout entier n > n 0 , x > L - e. D'o \xn - L\ = L - xn < e pour n > n0 et par suite la suite (xn) converge vers L. Un raisonnement analogue s'applique dans le cas o (xn ) est dcroissante en utilisant / = inf E.
2.3.4.3. Remarque
Toute suite borne n 'est pas convergente comme le montre l'exemple xn = (1)". Toutefois de toute suite borne on peut extraire une suite convergente.
An tant born, soit bn inf An ; on a bn < 6 n +i, Vn > 1 ; la suite (bn) tant croissante et majore, a une limite L. Comme bn inf An, Ve > 0,Vn,3?T > n tel que xm < bn + s et xm > bn Ainsi pour s = 1, 3ni > 1, xni < b\ + 1 pour s = - , 3n 2 > 2nY > m tel que xnn < b2ni + ~
ni ni
pour s = -, 3n 3 > 2n 2 > n 2 tel que x 3 < 62n2 + , 2n 2 2n 2 pour s = -, 3nk+i > 1nk > nk tel que xn < b2nk + 2nk ^ L'application k > nk est strictement croissante. Comme Iim6 n = L, on a : Ve > 0.3n 0 tel que, n > n0 => \bn - L\ < Soit ko tel que < - , et ki > no- Soit ko = sup(fco, ^1) ; pour k > k2, on a : nk - L\ < \xnk - b2nk\ + \b2nk ~ L\ 1 + '-, car 2nk > nk > k > k2 > n 0 <
1
"k
' - 2
e 2'
l i-2
e 2'
Par suite (xk) est une suite extraite de [xn). convergeant vers L.
Suites de Cauchy
35
2.4.1. Dfinition
Une suite (xn) dans IR est dite une suite de Cauchy si et seulement si : Ve > 0,3n o (s), "o(e) G H*, tel que si p, q > n 0 , alors \xp - xq\ < s.
s tant quelconque, (xn) est une suite de Cauchy. 2.4.2.2. Une suite de Cauchy est borne dans M Si (xn) est une suite de Cauchy, alors pour s = 1, 3n o (l) G N* tel que si n > no. on a \xn x0\ < 1. D'o \xn\ < \x0\ + 1 pour tout n > no.
Si A / = s u p ( | x i | , | K 2 | , , | z n o | . k n o l + l ) i a l o r s \xn\ < M, "in e IT*.
2.4.2.3. Si une suite de Cauchy (xn) admet une suite extraite (xnk) convergente vers un point l, alors (xn) converge vers / Soit (xn) est une suite de Cauchy : soit > 0, 3no() G H* tel que, si p,q > n0 alors : \xp - xq\ < -. Supposons que
x
lim xn,
fcv + co
donc
lim 2-n = /.
nf+ 0O
Les rsultats ci-dessous nous permettent d'noncer l'important critre de Cauchy pour la convergence des suites de IR.
36
Lmite et continuit
2.4.4. Exemple
Soif la suite (xn) dfinie p a r : xi = 1. x2 = 2. ,xn = - ( x n _ 2 +
,,-I)
pour n > 2.
Cette suite n'est pas une suite monotone. Il est facile de voir que x n - x n + i\ = - \ xnn - x" n- n - i \1 :| D o n c si m > r? > r?o. o n a
\X n
O n - 1
< |xn
Tn-l-ll + l^rl + l
Xn+7
o m - n - l ) ^ 9n-2 -
9no-2
Par suite pour 5 > 0 donn, no est tel que ~ < -. Pour m > n > no on a |x m J: | < t. La suite ( j n ) est donc une suite de Cauchy. D'aprs le thorme 2.4.3. (xn) converge vers xo E 3L De la relation de rcurrence, il rsulte que xo = ^(^o + -co), ce qui ne donne aucune information sur xo. Pour calculer xo- on peut considrer la suite d'ordre impaire extraite de ( x n ) .
Jr1
= l . X 3 = l + i . . . . x a n +1 = l + i + - . . + ^
d'o
J2n+1
= l + - ( l + - - ( - . . . + ;pi-r)
37
2.5. RETENIR
Soit / : 5 _-. - _-. j 0 _-.. (5 ~ r 0 ) lim /(.r) = / < = > V- > 0. 36 > 0 : Vi G 5. \x-xo\ < S => \f(x)-l\ < s.
x>x 0
/ est unique et il existe un voisinage \'a(xo) de xo tel que / est born dans \'a(xo) n 5. Si / ^ 0. il existe l"a(.ro) tel que / ne s'annule pas sur \'a(xo) (15 et garde le mme signe que / sur cet ensemble. Sous rserve que les oprations soient dfinies, on a : lim(/ + g) = lim/ + limg
Xo Xo Xo
(/)
X0
(
Xo
lim/ hm xo \g =
Une suite monotone converge si et seulement si elle est borne. Une suite de nombres rels est convergente si. et seulement si. elle est de Cauchv.
2.6. Exercices
1) Trouver les limites des fonctions suivantes en justifiant dans chaque cas les calculs
2
o
1.1) l
ix~ + l a ~+ 1ax\
X x-i-0- X
1.3) hm = /wo
(X +
;h h
x-i-0
y x
2) En utilisant lim
X
vantes :
i-t-o
x-t-o
hm zo
sin5z - sin3z
3) Montrer que lim M ' x>o 4) Soit g une fonction borne sur 5 C M et / : 5 IR -> IR, telle que lim f{x) = 0
X^+2^0
6) (i) Soit b > 1, en crivant 6 = 1 + c, c > 0, montrer que pour tout nombre rel B positif, il existe un entier n 0 , tel que si n > rc0, bn > B. (ii) Soit 0 < x < 1. Montrer que lim z n = 0.
n-v + oo
(iii) tudier le cas (ii) quand 1 < x < 0. 7) Pour quelles valeurs de x la limite suivante existe-t-elle : fix) = xn lim ? Donner dans ce cas les valeurs de f(x). rw + oo 1 + x"
Xn - 1
existe. fix)?
I-*l X 1
9) tudier les suites suivantes, et trouver les limites quand la suite converge. n n+1 n _. 2) 2) 4) n^ n2 + 1
1) 1) 3) 5)
zn
zn
n+1 xn = cos ^
n+1 xn = ^ = \Ji + z n _i
10) Soient (6rn) une suite croissante et {Vn) une suite dcroissante telles que lim(Vrn Un) = 0. On dira alors que les deux suites sont adjacentes. i) Montrer que la suite Wn = Vn l'n est dcroissante et en dduire que Vn Un > 0 pour tout n. 11) Montrer que les suites (Un) et (Vn) sont convergentes et ont mme limite.
Continuit en un point
Application Montrer que la suite Un = - + -f + est 1! 2! ni convergente (on considrera la suite Vn Un -\ -.)
xS
2.7.2. Remarque
Si cette limite existe elle ne peut tre que f{xo); d'o: f continue en xo & lim f(x) = f(xo).
xS
II rsulte des proprits fondamentales sur les limites tablies au 2 les propositions suivantes :
2.7.3. Proposition
Soit S un sous-ensemble de M. XQ 6 S et / , g : S Y M continues en xo, alors f + g. A/, fg, si g{xo) ^ 0. sont continues en XQ. 9
2.7A. Proposition
Soit / : 5 M -> M, x0 5, et g : T M -> S avec f(S) T ; si / est continue en xo et g est continue en yo = f{xo), alors g o f est continue en XQ.
2.7.5. Proposition
Soit f : S R ^ R, x0 S. f est continue en x0 si, et seulement si, pour toute suite (xn) convergeant vers x0, la suite (f{xn)) converge vers f(x0).
2.7.6. Exemples
f(x) = x est continue en tout point de M, fix) = est continue pour tout i ^ O ,
x
loute traction
-P(.r) rationnelle est continue en tout point XQ de _-., tei que Q(XQ) ^ 0. Q()
2.8.1. Thorme
Soit / : / C 7. -> ?.. o / est un intervalle de ?. : si / est continue en tout point de /. alors / ( / ) est un intervalle de ?.. En bref, l'image par une application continue d'un intervalle est un intervalle. Ce rsultat porte aussi le nom de thorme des valeurs intermdiaires. Dmonsiraiion D aprs la proposition 2.1.10. / ( / ) est un intervalle si et seulement si :
V/L yi G / ( / ) . y\ < /2 => [/i.i/2] C / ( / ) .
Soit -. tel que i/i < - < i/o- Comme y\. y? G f(I)- il existe x\. x? G I tels que yx = /(.ri) et y2 = f(x2)Supposons xi < xn (on fera un raisonnement analogue si x\ > xo)Soit <6 = (x G [xi..r 2 ]. / ( J ) < ";) : % ^ 0 car J I e c. t est major par Jo. donc il admet une borne suprieure c et c G [JI.XO]. donc / est continue en c. c borne suprieure de Centrarne que Vn G .V". 3xn G if tel que xn > c n la suite (xn) converge vers c. car | x n c\ = c xn < . n De f(xn) < et lim f(xn) = f(c) ( / continue en c ) on conclut : /(c) < -. et par suite c ^ ,r2. Comme c est la borne suprieure de C6. pour tout x G]c. I J . / ( r ) > -, => lim f(x) = /(c) > - ( / continue en c). D'o /(c) = -,.
.r-t-c +
41
< 0. il existe au
Lorsque l'intervalle I est ferm et born c'est--dire de la forme / = [a.b]. a <b on a en outre le thorme suivant :
2.8.3. Thorme
Soit / : [a, 6] - 4 ? . . o < i . a i 5,. Si / est continue en tout point de [a.b]. alors / est borne sur [a.b] et atteint sa borne suprieure et sa borne infrieure. Dmonstration Montrons d'abord que / est borne sur [a.b]. c'est-dire qu'il existe un nombre M > 0 tel que |/(.r)| < M \/x G [a. 6]. Si ce n'tait pas le cas. pour tout n G I'1". il existerait xn G [a. b] tel
q u e \f(xn)\ > n.
/(**)->/(!).
Soit ; > 0. 3A-0. tel que
A->A 0 . =>\f(xk)-f(L)\
Mais de | / ( x n ) | > n. pour tout n. on tire
< -
U)
l/(* n J - /()l > I I / K J I - | / ( I ) | | > |n* - C| o C = | / ( I ) | (2) Donc pour k > ko. |n/,. C\ < s. c'est--dire n^ < C + s pour A - > Ao. ce qui est absurde puisque lim ru- = +3C. Donc / est borne sur [a. 6].
k-^ + cc Soit Q = s u p f(x). r[a b] Donc pour tout n G I 1 * il e x i s t e ; G [a.b].
la suite (;) tant borne, il existe une suite extraite (zk) qui converge vers / G [a.b]. Comme / est continue en / et znk y l. alors / ( r n f c ) > / ( / ) . D'aprs (3). la suite f(z) converge vers Q . Comme f(znk aussi vers Q. ) est une suite extraite de la suite f(zn). j{znk) converge
De l'unicit de la limite, il rsulte que Q = / ( / ) . Pour dmontrer que / atteint sa borne infrieure, on peut appliquer le raisonnement prcdent la fonction ( /).
42
Limite et continuit
2.8.4. Remarque
Les proprits nonces dans les thormes 2.8.1 et 2.8.3 peuvent tre vrifies par une fonction sur un intervalle, sans que celle-ci soit continue sur cet intervalle, comme le montre l'exemple suivant : f : [0,2] ->M dfinie par: /(*) = ! K ' \ x - l
Kx<2
f est borne sur [0, 2], atteint sa borne suprieure 1 et sa borne infrieure 0, ainsi que tout nombre compris entre 0 et 1, sans tre continue sur [0, 2] (f n'est pas continue en 1).
43
La suite (xn) tant dans [a, b], d'aprs le thorme de Bolzano-Weierstrass (2.3.4.4) il existe une suite extraite (xnk) de (xn) qui converge vers
le [a, b].
D'aprs (1) la sous-suite (ynk) converge aussi vers /. Comme / est continue au point /, les suites ( / ( x n j ) et {f{ynk)) convergent vers /(/) et donc pour k assez grand Ce qui contredit la seconde ingalit de (1). Le thorme 2.9.1.3 peut aussi s'noncer de la faon suivante: 2.9.1.4. Thorme Soit / : [a,b] -> M continue sur [a,b]. Pour tout s > 0, il existe S (s) > 0, ne dpendant que de s, tel que pour tous x et x' de [a, 6] vrifiant \x - x'\ < 5, on ait :
2.9.1.5. Dfinition
Soit / : / C M M, / intervalle de M. On dira que / est uniformment continue sur / si et seulement si :
Vs > 0, 3S{e) > 0, tel que Va:, x' e I,\x - x'\ <6 => \f(x) - f(x')\ < s.
2.9.1.6. Remarques 1) Les thormes 2.9.1.3 ou 2.9.1.4 expriment que toute fonction continue sur un segment [a,b] est uniformment continue sur [a,b]. Soit / : / C M M, I intervalle de M. Pour montrer que / n'est pas uniformment continue sur /, il suffit de montrer qu'il existe eo > 0, et deux suites (xn) et (yn) de / tels que pour tout n G N* xn-yn\<2) Exemples a) f[x) = 2x est uniformment continue sur M.
En effet \f(x) - f(y)\ = 2\x - y\. Pour s > 0, il suffit de prendre
et
\f(xn)-f{yn)\
> e0.
b) fix) = n'est pas uniformment continue sur ]0, +oo[. x En effet, soit e0 = - et (xn) et (y) les suites de ]0, +oo[ dfinies par :
x = et yn = -, n+1 n
nGN*
44 on a :
Limite et continuit
Donc d'aprs 2.9.1.6. 1) f(x) = - n'est pas uniformment continue x sur ]0,+oc[. On pourra montrer titre d exercices que pour tout nombre a > 0. f(x) = - est uniformment continue sur [a.+Dc[. x
2 . 9 . 2 . 2 . Exemples 1) La suite (fn ) dfinie par fn(x) = ^ converge sur ?. \rer.s la fonction nulle x f(x) = 0 pour tout x 6 ?.. 2) Soit D = [0.1] ; a suite (/ ) dfinie sur D par / (x) = xn , converge sur D vers la fonction f dfinie par :
SI X = 1
'1
X" ~r 71X
3) D = ?.. la suite (/ ) dfinie par f(x) = vers la fonction f : x x pour tout x G .A. 4) D = ?. la suite (/) dfinie par fn{x) = n
> vers ia fonction nulle. La dfinition 2.9.2.1 est quivalente la dfinition suivante: 2.9.2.3. Dfinition Une suite (/) de fonctions sur D C ?.. converge vers une fonction / sur D. si et seulement si :
45
Pour tout > 0, et pour tout x D. il existe un entier naturel (s.x) dpendant de x et de s tel que pour tout entier n > no(s.x) on a : \fn(x)-f(x)\<. on dit alors que (/ converge simplement sur D vers / . 2 . 9 . 2 . 4 . Remarques 1) L'entier no in fer ven an f dans ia dfinition 2.9.2.3 dpend en gnrai de E et de x. Ainsi en appliquant a dfinition 2.9.2.3 la convergence des suites de 2.9.2.2, on verra que no dpend effectivement de x et de s pour es exemples 1). 2) et 3) alors que dans l'exemple 4). l'entier no peut tre choisi de manire ne dpendre que de z. 2) Si / > / sur ) C ?. et si pour tout n, fn est continue sur D, la limite f n'est pas ncessairement continue sur D. comme le montre l'exemple 2.9.2.2.2). Une condition suffisante pour que la limite f d'une suite (/) de fonctions continues sur D C ?., soit continue sur D est que. pour tout z > 0, le graphe de fk sur D. pour k assez grand, soit compris entre les graphes de f e et f + e.
/-e
FIGURE: 2.2
Cette proprit est prcise par la dfinition suivante : 2.9.2.5. Dfinition Une suite (/) de fonctions sur D C ?- valeurs dans 3 , converge uniformment sur D. vers une fonction / si et seulement si : Pour tout s > 0. il existe un entier naturel no(s) (dpendant uniquement de c). tel que tout entier n > no et tout x G D on a :
2 . 9 . 2 . 6 . Remarques Si (/) converge uniformment sur D vers / , alors (/) converge simplement sur D vers / . La rciproque n'est pas vraie en gnral comme
46
Limite et continuit
on le voit sur les exemples 2.9.2.2,1), 2.9.2.2,2) et 2.9.2.2,3), en utilisant la proposition suivante : 2.9.2.7. Proposition Soit (/ n ) une suite de fonctions convergeant simplement vers / sur D. (fn) ne converge pas uniformment sur D vers / , si et seulement si : il existe o > 0, une suite extraite (fnk) de (fn), et une suite (xk) de D telles que : \fnk{xk) - f(xk)\ > o pour tout k N. Preuve D'aprs la dfinition 2.9.2.5, (/) ne converge pas uniformment vers / sur D, si et seulement si : il existe e0 > 0, tel que pour tout entier no, il existe un entier n > no et xno G D tels que : \fn(Xn0) -/(-Cno)l > 0 Ainsi pour n 1. il existe ni > 1 et x\ E D tel que Pour n = sup(2, 2ni), il existe n- > n et x-2 E D tel que \fna(x2)-f{x2)\>eo. On construit ainsi une suite (fnk) extraite de (fn) et une suite de D telles que :
\fnk(xk)-f(xk)\>s0.
Rciproquement il est clair que si la condition \fnk{xk) f(xk)\ pour tout k E N est vrifie, la convergence n'est pas uniforme. 2 . 9 . 2 . 8 . Exemples
> So
Donc a suite (fn) de 'exemple 2) ne converge pas uniformment sur M, vers a fonction f, f{x) = 0 , 1 . 2) Pour l'exemple 2.9.2.2,2), si on prend e0 = , nk = k et xk = r 2) >
aors
donc la convergence n'est pas uniforme. 3) Pour l'exemple 2.9.2.2,3) si on prend e0 = l, nk = k, k > 1 xk = k alors \fk(xk) - f(xk)\ = A r > 1. par suite la convergence n'est pas uniforme.
Continuit uniforme Convergence uniforme 4) Par contre pour l'exemple 2.9.2.2,4) on a \fn(x) - f(x)\ < ^ VzeE.
47
Donc pour tout s > 0, si on choisit o tel que < s, alors pour no n > n0 \fn{x)-f{x)\ <-< n <s. n0 VzeM
et dans ce cas la convergence est uniforme. Le thorme qui suit exprime que la convergence uniforme d'une suite de fonctions continues suffit assurer la continuit de la fonction limite. Autrement dit, si (/) converge uniformment sur D C S vers / . et si les fonctions fn sont continues sur D, alors / est continue sur D c'est--dire pour tout x G D lim ( lim fn(x)
n-+ + oo \xHo J
= lim ( lim
i-tro n v + oo
fn(x))
On verra un phnomne analogue quand on tudiera la convergence des suites de fonctions drivables.
2.9.2.9. Thorme
Soit (/) une suite de fonctions continues sur D C K, qui converge uniformment sur D vers / . alors la fonction / est continue sur D. Preuve Supposons que (/) converge uniformment vers / . Soit s > 0 3 n o 6 l ! : V n > n 0 \fn{x) - f(x)\ < -\/x G D.
O
-.
/ est donc continue en XQ. JO tant un point arbitraire de D, il en rsulte que / est continue sur D.
2.9.2.10. Remarque
La convergence uniforme d'une suite de fonctions continues est une condition suffisante, mais non ncessaire, pour assurer la continuit de la fonction limite. Ainsi dans les exemples 2.9.2.2.1 et 2.9.2.2.3 les suites de fonctions continues ne convergent pas uniformment, alors que leurs limites sont continues.
48
Limite et continuit
2.10. RETENIR
Soit / : 5 C - - . - > ? - .
Si 5 est un intervalle, et / est continue en tout point de S. alors f(S) est un intervalle. Si S = [a.b]. a < b . a . b e 2 . e t / est continue en tout point de [a.b] alors : i) f([a, b]) est borne. n) / atteint sa borne suprieure M et sa borne infrieure m. iii ) pour tout y G [m. M], l'quation en x =y admet au moins une solution dans a.b] iv ) / est uniformment continue sur [a.b]. La limite uniforme d'une suite de fonctions continues, est continue.
2) Soient (['), l ;;. et (!'):: deux suites de nombres rels telles que la suite [UnVniney,* converge. Les suites ( r n ) e ; ; . et (V"n)ne;-. sont elles convergentes? 3) Soient (fT)e-> et {V)ne:'r deux suites de nombres rels. On suppose que Un est borne et que lim V 0. La suite (l'n^'n)n':'
nt + oz
admet-elle une limite quand n tend vers +DC. 4) Soit (f) e ;;. une suite de nombres rels strictement positif. On suppose que lim - L > 0. Soit s tel que 0 < s < L. Montrer qu'il existe a > 0. b > 0 et k G I tels que :
n > k => A(L - e)n < xn < B(L + s)n
49
5) Soient ai et 61 deux nombres rels tels que 0 < ai < 61. On considre les suites (a n ) n g;; et (&n)ng:> dfinies par: 0,1+1 = ydnbn et 6 n + 1 = -{an <bn. +bn).
b) M o n t r e r q u e les suites ( a n ) n g : > et ( 6 n ) n g ; > convergent vers la m m e limite. 6 ) Soit ( u n ) n > i u n e suite de n o m b r e s rels dfinies p a r : u\ = 2. 2un-i " . _ = pour n > 2. Un-l+3 a) Montrer que un > 2. Vn G P " . b) Montrer que les un sont alternativement ngatifs et positifs. c) tablir que chacune des suites partielles (unp) et (uop+i) est monotone et montrer que ces suites partielles convergent. d) La suite (u n )n>i est-e'le convergente 9 7) a) Soient deux suites (j n )ng:;* et (j/) e ;>. On suppose que la suite (yn)ne::' est croissante et tend vers +yz. Montrer que si tence de lim lim existe, il en est de mme pour l'exis-
un
si la
a) Montrer que / est priodique de priode gale 2. b) Montrer que / est continue sur I?. Z. c) Montrer que / est discontinue en tout point A - G Z. d) Faire la reprsentation graphique de / . 9) Soit h : 7- -> ^ ,, , il x i->- h(x) = < 0 si x G ~ sinon.
Limite et continuit
Montrer que / est continue au point XQ = \ et est discontinue en tout autre point x distinct de \. 11) La fonction g : S > S , I x2 sin r M- 5(ar) = < a-3 si x -i 0
[0
est-elle continue?
si x = 0
12) Une application / : / E, dfinie sur un intervalle / de X, est dite lipschitzienne s'il existe k > 0 tel que :
Montrer qu'une application lipschitzienne est uniformment continue. 13) Soit a 5 , o ^ 5- E{u) dsignant la partie entire de u, on considre l'application / : S > F.
x > x aE -
a) Dterminer les points de discontinuit de / . b) Soit / la restriction de / Q. Faire une reprsentation graphique de / . Montrer que / est injective. c) On note J = f(Q). L'application f~l : J > Q est-elle continue? 14) Soit / : [a, b] [a, 6] une application continue. On suppose qu'il existe k G M. 0 < k < 1, tel que :
dfinie par :
Vn G r?.
a) Montrer que |x n +i xn\ < k" \x\ b) Montrer que {xn)n^ est une suite Cauchy. c) En dduire qu'il existe un unique point x G [a, 6] qui vrifie l'galit /(*) = *.
Exercices et problmes 15) Soit P{x) un polynme de degr n, P{x) tel que aoan < 0. Montrer qu'il existe au moins XQ Gffi^j.tel que /(zo) = 0. = axn + . . . + O0.
51
16) Soit f(x) = tgx, on & f J = 1 et / ( - ) = - 1 alors qu'il n'existe pas de [ f i ^ 1 ] tel que f(x) 0. Expliquer pourquoi ce rsultat ne contredit pas le thorme des valeurs intermdiaires. 17) Soit / : [0,+oo[> M une fonction continue. On suppose que lim /(*) = /. a) Montrer que / est borne. b) Si de plus / < /[0), dmontrer l'existence d'un point de c G [0, +oo[ o / atteint son maximum. 18) Soient a > 0 et c > 1, tels que 0 < a < c. En considrant la fonction / ( z ) = z", n > 0, montrer qu'il existe b G]0,1[ tel que f(b) = a. En dduire que pour tout n G N*, et a G M^. il existe un unique rel b > 0, tel que bn a. Si n est impair et a < 0, montrer qu'il existe un unique rel 6 < 0 tel que 6" = a. 19) On dit qu'une racine relle d'un polynme f(x) a t isole, si on trouve un intervalle [a,b] ne contenant que cette racine et pas d'autres. En vous aidant du thorme des valeurs intermdiaires, isoler les racines relles des polynmes suivants, chacun ayant exactement quatre racines. (i) (ii) ixA - 2x3 - 36z 2 + 36ar - 8 = 0 2x4 - 14ar + Hx-l = 0.
20) i) Soit / : [0,1] - M, continue sur [0,1] telle que 0 < f(x) < 1, pour tout a: G [0, l|. Montrer qu'il existe au moins un point c, tel que /(c) = c (appliquer le thorme des valeurs intermdiaires la fonction g(x) f(x) x). ii) Soit / : [a, b] - M, continue sur [a, b] telle que fia) < a et f(b) > b. Montrer qu'il existe un point XQ G [a, b], tel que /(zo) = zo21) Soit l'ensemble des fonctions dfinies sur [1,1], qui vrifient la relation : x2 + f(x)2 = i, V i e [-1,1] a) Trouver deux fonctions /o et f\ appartenant $ et qui sont continues sur [1, 1]. b) Trouver une fonction g G S qui s it non continue. c) Montrer que toute fonction / G S et - 1 .
es
d) Soit h G 5 une fonction continue sur [1,1]. Montrer que h(0) > 0 implique h(x) > 0 pour tout z G [ - 1 , !]
52
Limite et continuit
e) En dduire que les seuls lments de -5 qui sont continus sur [1. 1], sont les deux fonctions trouves la question a). 22) Soit / : [ a i ] c S - t 5 . , on dira que / est convexe sur [a. b) si et seulement si V.r. x' G [a. 6], Vi G [0.1] on a: f(fx+(lt)x') < tf(x) + (1 - t)f{x'). Pour x0 ]a. 6[, on considre la
f o n c t i o n :^(^r^-^).
X XQ
i) Montrer que Xo est croissante sur / {xo}. ii) En dduire que lim ro(x) et lim y>ro(j) existent, et lim.
iii) En dduire que / est continue en tout point de ]a.b[. 23) On considre les suites (/) dfinies sur D = (x ^?.:x > 0) valeurs dans IF. par les formules suivantes : a) 1 + xn b) n + x" c) ^ 1 + x2n d)-e-". n
tudier la convergence simple et la convergence uniforme de ces suites. 24) Soit (/) une suite dcroissante de fonctions continues sur un ensemble D C IF. valeurs dans 7. : / ( - c ) > M x ) > > f n ( x ) > fn + i { x ) > p o u r t o u t i) Si x G D.
existe m I! et un voisinage [" de c, tels que si n > m et x G [* (~1 D. alors fn(x) < e. ii) En dduire la proprit suivante due Ulisse Dini. Si une suite monotone de fonctions continues converge en chaque point d'un intervalle [a. 6] de 5. vers une fonction / continue, alors la convergence est uniforme sur [a.b]. 25) Dmontrer le rsultat suivant d Georges Plya. Soit (/ n ) une suite de fonctions dfinies sur un intervalle I[a. b] de 31 valeurs dans ?.. On suppose que : pour tout n G IT, fn est une fonction dcroissante sur /. la suite (fn) converge ponctuellement sur / vers une fonction f(x) continue sur /. Montrer que la convergence est alors uniforme sur I (on ne suppose pas que les / sont continues).
Exercices et problmes
53
Problme
26) Approximation uniforme d'une fonction continue par une suite de polynmes Soient m, n deux entiers tels que 0 < m < n. On pose :
n
xm(l-x)n~m.
m\(n
(2) ^
m =0 n
mltm(x) = nx.
L'objet de ce problme est de dmontrer que si / est continue sur [0, 1] la suite des polynmes Bn(x) converge uniformment sur / vers / . On suppose donc que / est continue sur [0, 1]. 2) Montrer que : V > 0. 36 = S (s) > 0. tel que : | J I - x2\ < S. implique \f(xi) - / ( x 2 ) | < ~ pour tous xi. x2 de [0. 1]. 3) Pour n fix, on considre :
f(x)-Bn(x)=
- / ( )]/,,(*)
(1)
on dcompose la somme S du deuxime membre de (4) en deux sommes Si et S2 dfinies ainsi pour E i . m prend tous les entiers m. m < n tels que pour S2. m prend tous les entiers m. m <n tels que x 3.1) En utilisant 2) montrer que |Ei| < f. 3.2) On pose .1/ = sup |/(.r)|.
0<r<l
m n m > S. n
54 Montrer que :
Limite et continuit
nr ml 2 T (n.r m)
2
IE2|l< 1
- 2n62
3.3) En utilisant 3.1 et 3.2 montrer que \f(x) - B(x)\ < e si n > M
-:2 pour tout x G [0,1].
3.4) En dduire le thorme d'approximation de Weierstrass: toute fonction continue sur un intervalle ferm et born de IR, est limite uniforme d'une suite de polynmes. 27) Soit (/) une suite de fonctions dfinies sur une intervalle /. On dira que (fn) est uniformment de Cauchy sur /, si Ve> 0, 3n0 G N, tel que, V n , m > n 0 , Va? G /, |/ m (x) - fn(x)\ < e. Montrer que fn converge uniformment si et seulement si elle est uniformment de Cauchy. 28) 1) Soit h :]0, +oo[ IR une fonction qui vrifie la relation h(xy) = h(x) Montrer que h est identiquement nulle. 2) Soit h : [0,+oo[ IR une fonction non identiquement nulle qui vrifie la relation (*) de 1). a) Montrer que h est continue sur ]0, +00[ si et seulement si elle est continue au point x = 1. b) Montrer que /i(l) = 0 et que si x > 0, et r G Q, alors h(xr) =
rh(x).
Indication On montrera le rsultat d'abord si r G Z, puis l'on tablira le rsultat si r = - G Q, en remarquant que x = (x~)q. c) Montrer que s'il existe un intervalle ouvert non vide / tel que h(x) > 0 pour tout x G I, alors h est strictement croissante et continue. d) Montrer que si h est continue alors o n a : / i ( i ) > 0 si x > 1, et h(x) < 0 si x < 1.
Exercices et problmes
55
c) Soit b > 1. Montre qu'il existe au plus une fonction continue h sur ]0. +oc[ vrifiant (*) et telle que h(b) = 1. 29) Soit [a. 6] un intervalle de ?, c un point de [a,b]. Soient /i:[a,c]*R xi> a\x + i3i deux applications affines telles que /i(c) = Soit l'application / : [a, b] > K. et /2:[C,&]_R xi> a2x + (3? f(c).
SI X -^ C
\f(xk) - /(*fe-i)|-
On dira que la fonction est variation borne s'il existe M > 0 tel que, pour toute subdivision P de [a, b], on ait : V{P) < M. On note Vf,([a,6]) l'ensemble des fonctions variation borne sur [a.b]. On pose V) = sup{V}(P). Psup de [a. 6]}. 1) Montrer que Vf = 0 < = > / = constante. 2) Soit P = (a < x0 < xi < < xn = b) et Q = (j/o = a < < y m = b) t e l q u e { x o . x i , x n } C {^o ,2/n}M o n t r e r q u e Vpf < Vf.
56
Limite et continuit
3) Si / T f>([a. 6]). montrer qu'il existe une suite (P n ) n g ;; de subdivision de [a.b] telle que \'~(f) = l i m p (/). 4) Montrer que si / est croissante, alors / G \ ([a. ]) et \'(f) f(b) / ( a ) . En est-il ainsi si / est dcroissante? 5) Montrer que si / est lipschitzienne de rapport m. alors / G U([a.&])et Yf < fm(b-a). =
n'est pas variation borne sur [0.1]. Montrer que la fonction g : x > xf(x) est continue mais n'est pas variation borne. 7) Montrer que si / G Vb([a.b]) alors \f(x)\ < f(a) + V(f) VJ G [0.6]. 8) Montrer que si / G U([a.&]) et ^r G r b ([a.6]). alors / 5 G r 6 ([a.6]). En est-il de mme pour le quotient . 9) a) Soit / G \'b([a.b]). On considre sur [a.b] la fonction / dfinie par fi(x) = \'f[a.x], f(a) 0. Montrer f\ est croissante. b) soit fn : x > /si-r) = /i("f) /(-i1) montrer que / est croissante. c) Dduire de a) et b) le rsultat suivant : Thorme Soit / : [a. 6] >!?. une application : / est variation borne si et seulement si / est la diffrence de deux fonctions croissantes.
Chapitre 3 : DIFFERENTIATION
Introduction
Le concept central du calcul diffrentiel est la notion de drive, qui trouve son origine dans un problme de gomtrie : dterminer la tangente en un point d'une courbe. Le problme s'est impos Fermt, mathmaticien franais, qui cherchait dterminer les maximums et les minimums de certaines fonctions. Il s'est alors aperu qu'en ces points, les fonctions ont des tangentes horizontales. D'o la recherche de telles tangentes, et d'une manire gnrale la recherche d'une tangente en un point quelconque d'une courbe. Ce problme fut rsolu au XVIIe sicle par Newton et Leibniz en introduisant la notion de pente en un point d'une courbe, qui. dans le cas o la courbe est donne par une quation y = f(x). dfinit la drive de / en ce point. La notion de drive permet d'amliorer le problme d'approximation abord dans le chapitre 2. en approchant une fonction / par une fonction affine au voisinage de XQ. X > ax + b telle que axo + b = f(xo)'c'est--dire une fonction affine de la forme x > a(x x0) + f(xo). le meilleur choix s obtient en prenant, a gal la drive de / en XQ. On abordera la dfinition de la drive, partir de la notion de tangente: ce qui est plus parlant et plus conforme au point de vue historique. Le concept de drive est peut tre le plus fabuleux des mathmatiques : ses applications se trouvent tout autour de nous dans notre vie quotidienne: vitesse d'un avion ou d'une voiture: partout o il y a mouvement sans choc. Il permet de transformer certains problmes en ce qu'il y a de plus simple: les fonctions linaires, les problmes linaires, ceux que l'on sait rsoudre.
58
Differentiation
Si 5 est un sous-ensemble de 2?. On dira que 5 est arbitrairement voisin de mo et on notera S ~ mo, si et seulement si :
mes Ve >. 3Q > 0. tel que, ||m7#|| < Q => \f[m) - A| < s.
On dira que /(m) tend vers A quand m tend vers mo en restant dans S.
3.1.2. Remarque
De a double ingalit: <sup(|a|,|6|)< valable pour tous a, b de S, on conclut : si ||morA|| < a alors \x XQ,\ < a et \y - yo\ < a o m = (x,y) et m0 (xo,yo). De mme si \x - xo\ < a et \y - yo\ < a alors ||m O "^|| < y/2a. Par suite : lim f(m) = A <^=> Ve > 0.
mymo
3Q >
0 tel que,
(\x - xo\ < a et \y - yo\ < a) = |/(m) - A| < e. Soit F une courbe de 2? et UQ F, tel que T {mo} ~ mo. Pour tout m 6 F {mo} on note Pma{m) la pente de la droite passant par m et mo : on dfinit ainsi une application :
Pmo : r
m M- Pmo{m) Si Pmo(m) admet une imite quand m tend vers mo en restant dans r - {m 0 }, cette limite note Pmo(T), s'appelle pente de T en m0 et la droite passant par m0 et de pente P m o ( r ) , s'appelle tangente de T en mo-
3.1.3. R e m a r q u e
1) Cette dfinition n'implique nullement que la tangente touche T seulement en un point.
Tangente en un point
59
tangente
FIGURE: 3.1.3.A
FIGURE:
3.1.3.B
m0
tangente
FIGURE:
3.1.3.C
2) Exemple Soit r = {(x,y) E *, y = x\ x e K}. Calculons Pmo{T) o m0 = (1,1). Soit m = (l + h,{l + h)2) un point de T - {mQ}. Pmo{m) = ^1 + 7 ~ 1 = h + 2. m^ = (h.h{h + 2)). Montrons que Pmo{T) = 2. h Pour cela d'aprs 3.1.2. on doit montrer que: Vs > 0, 3 > 0 tel que (\h\ < a et \h\ \h + 2| < a) => \h+2-2\ = \h\ < e: il suffit de prendre a = s. La courbe T admet comme tangente en TTIQ la droite A d'quation y = 2x 1. On remarquera que l'quation de A est relie la fonction f(x) = x2 par la relation : f(x) - (2x - 1) = s(x)(x - 1) o lim e(x) ~ 0 (1)
Autrement dit pour x assez voisin de 1, 2a; 1 est une valeur approche de f(x). En fait la relation (1) caractrise l'existence d'une tangente en un point d'une courbe dfinie par une quation y = / ( x ) .
60
Differentiation
3.1.4. Thorme
Soit F la courbe reprsentative dans J 2 de la fonction / : / > ~?., o / est un intervalle ouvert de 7, et mo = [o- /(o)) un point de F. F admet une tangente en m o si passant p par IDQ, il en existe une note ff(x) ( ) TT(x) () )= so)( ) ( )) o o Xo(x)(x voisinage de XQ (sauf ii d ( f ventuellement et seulement si. parmi les droites A. d'quation y = T(x). que : q () telle q i dfii est une f fonction dfinie d dans un en x>) avec lim sXn(x) = 0. A est f'(xo).
unique et constitue la tangente de F en mo- La pente de A. note s'appelle la drive de / en -ODmonstration F admet une tangente en lim PmAm) - A.
A G _-.:
o Pm (m) = x - x0
avec m = (x.f(x))
f(x)-f(x0)
X XQ
-A
-A
x - x0
- f(x0)
xo\
\f(x)-f(io)\<(\
(2)
(2) entrane que / est continue en ^o- Par suite pour a > 0. 3 > > 0. tel que :
\XX0\ <~. => \f{x)-f(xO)\
on a
< Q.
\x ~ xo\ < Q et
f(x)-f(x0) - A
x - x0 Par suite :
< s.
=A
on a :
- X(xx0) - f(x0) = EXO(X)(Xx0). avec l i m ;Xo(x) =
0:
61
et la droite A d'quation y = \(x Xo) + f(xo) est la tangente unique, de F en moRciproquement, soit une droite D passant par mo. d'quation y = p(x - xo) + f(xo) telle que f(x) - f(x0) - p(x - x0) = sXo(x)(x - xo). o lim sXo(x) = 0 (3) D'aprs (3) / est continue en x0 et lim
= .
Par un raisonnement analogue celui fait prcdemment on montre que la pente. Pmo(T). existe en mo et
r D (m) i \ = hm v lim P mo
= p. et cette tangente
Donc I admet la droite D comme tangente en est unique par suite de l'unicit de p. d'aprs (4).
3.2.1. Dfinition
Soit / : / C 3-, -*!?,/ intervalle ouvert de I?, et F la courbe reprsentative de / dans ? On dira que / est derivable en xo si F admet une tangente A au point mo d'abscisse XQ. A tant unique, la pente de A s'appelle la drive de / en Xo et est note f'(xo).
3.2.2. Remarques
1) D'aprs le thorme 3.1.4. / est derivable en .ro- de drive si et seulement si l'une des conditions suivantes est vrifie : f'(xo).
i) hm
= / (x0)
X Xo f(xo) +
)f{x) =
r^tio
f(xo)(x-.
+ sxo(x)(x
- xo).
62 2) si / est continue en 20 et si
Differentiation
h)-f(xo)
= +00 (ou
00), on convient de dire que la fonction / admet une drive infinie en aro- Le graphe de / admet alors au point d'abscisse xo une tangente parallle l'axe Oy.
h)-f{x0)=f'(xo)h+e(h)h
avec lim e(h) = 0.
h*0
(1)
xo+h
FIGURE:
3.2.3.
La relation (1) signifie que Ay f(xo +h) f(xo)- l'accroissement de / de xo xo + h, est la somme de deux termes: un premier terme f'(xo)h linaire par rapport l'accroissement de la variable x. et un second terme s(h)h. un infiniment petit d'ordre au moins un par rapport h. Gomtriquement, le premier terme reprsente l'accroissement de / mesur le long de la tangente en mo, alors que le deuxime terme mesure la diffrence entre la vritable valeur de f en xo + h. et cette valeur mesure le long de la tangente (Fig. 3.2.3). f'(xo)h s'appelle la partie linaire principale de l'accroissement Ay. L'existence de la drive de / en Xo implique la possibilit d'isoler dans Ay cette partie linaire principale. La partie linaire principale dfinit une application linaire h i-> f'(xo)h de R dans M. appele la diffrentielle de / en x 0 et note / ( )
La diffrentielle de l'application identique x 1-4 x de M, en un point quelconque XQ de M est l'application linaire h - h qui ne dpend pas
63
du point XQ considr. En notant (par abus de notation) d-c cette application, on pourra alors crire = f'(xo)[dx(h)} = {f'[xo)dx){h). D'o:
d/(j
Ainsi si / est derivable en XQ on pourra crire : = /(*) + df{xo)(h) + eX(h)h avec lim xo(h) = 0. D'o la dfinition suivante : 3.2.3.1. Dfinition Soit / : / C S -> P., / intervalle ouvert non vide de 5., et j?0 G / On dira que / est diffrentiable en xo si. et seulement si : il existe une application linaire L{.0, de IR dans lk telle que : f(x0 + h) = /(xo) + Llo(h) + sXo(h)h, 3.2.3.2. Remarques 1) Si L{.o existe, elle est unique et s'appelle la diffrentielle de / en XQ. 2) L[0(h) = Lfxo{l) h. D'o : / diffrentiable en x0 ^^ f derivable avec lim ^ ( h ) = 0
h U
3) La dfinition 3.2.3.1 se gnralise facilement une application de 5." dans S p (voir Chap. 5).
64
Differentiation
-;h<f(x)-f'{xo)h-f(xo)<sh.
(1)
La relation (1) a une signification gomtrique : si / est derivable en xo, au voisinage de XQ. le graphe de y = f(x) est compris entre deux droites, faisant des angles arbitrairement petits avec la tangente au graphe en XQ (Fig 3.3.2). Il rsulte facilement de la relation (1) qui si f'(xo) < 0. il existe S > 0 tel que si 0 < h < 6. on a :
f(xo-h)> Alors que si f'(xo) f(xo)> f(xo + h) (2)
3.3.3. Dfinition
Une fonction f(x) est dite avoir un maximum local (resp. un minimum local) en un point xo G / . s'il existe a > 0. tel que f(x) < f(xo) (resp.
f{x) > f{x0)). pour x e]xo - a. x0 + a [ n / .
Si / a un maximum local ou un minimum local en XQ. on dira que f a un ertremum local en x>- On a la proposition suivante :
3.3.3.1. Proposition
Si f(x) a un extremum local en XQ. et si / est derivable en ^o alors
f'(xo) = 0.
Preuve Si f'(xo) ^ 0. alors / ne peut pas avoir d'extremum local en XQ. d'aprs les ingalits (2) et (3) de 3.3.2. Toutefois si une fonction / admet une drive nulle en xo- elle n'admet pas ncessairement un extremum local en ce point, comme le montre l'exemple : f(x) = x3 et
XQ
= 0.
Pour une fonction / derivable, les points o elle atteint un extremum, sont chercher parmi les solutions de 1 quation :
appeles les poinis cniiques de / . Les points critiques jouent un rle prpondrant dans l'tude des fonctions diffrentiables.
65
.. f(xo + h)-f(zo)
j h
- existe
Cette limite, note f'g(xo) (resp. f'd(xo)), s'appelle la drive gauche (resp. la drive droite) de / en XQ. Dans ce cas les demi-droites d'quations y = f(xo) + f'g(xo){x-xo),et y = f(xo) + fd{xo)(x-xo). s'appellent respectivement la demi-tangente gauche et la demi-tangente droite au point ino = (xo. f(xo))- D'aprs la dfinition de la limite / est derivable en XQ de drive f'(xo) f'g(xo) e t f'd(xo) existent et sont gales existe.
Par contre f'g(xo) et f'd(xo) peuvent exister sans que f'(xo) Exemples. Pour f(x) = \x\. f'M = 1 et /(0) = - 1 . 0 < x< 1 -
f :Va
Si / ' est derivable en XQ, sa drive note f"(xo) est appele la d rive seconde de / en xo- En itrant ce processus, on dfinira la drive d'ordre p de / en ^o note f^(xo). L'existence de /^(xo). suppose celle de /'''''(aro) dans un voisinage de XQ pour t = 1.2 p 1. Soit / : / C ?. - 3. (/ intervalle de ~?,). On dit que / est de classe C sur / si / est continue sur / . On dit que / est de classe Cp sur / (p > 1) si / ' p ' est dfinie et continue sur /. On dit que / est de classe Cx sur / si pour tout p G H, / est de classe Cr sur / .
66
Differentiation
(fg)'(x0) = f(xo)g'(x0) +
(1)
f'(xo)g(xo)
(1)
Preuve Les hypothses entranent hf'(x0)+s1(h)h. g(x0 + h)= g{x0) d'o: (fg)(xo + h) = (fg)(x0) + (f(xo)g/(xo) o = f(xo)s2(h)+g(xo)e1(hi +
h-tO
=o
l i m 5->(/) = 0 / o
s2(h)h.
+ f'(xo)g(xo))
+ f2 hg'(xo)si(h).
f'(xo)g'(xQ)h
Par suite lim s(h) = 0. De 3.3.5.1 et 3.3.5.2 on conclut que l'ensemble des fonctions drivables en xo est une sous-algbre de l'algbre des fonctions continues en ^o3.3.5.3. Si / est derivable en xo et si f(xo) ^ 0. / tant continue en XQ. il existe un voisinage \'a(xo) =]xo a. XQ + Q[. tel que pour tout x G \' Q (J*). f(x) ^ 0 : alors est dfinie sur \'a(xo). derivable en xo. et sa drive est :
/(xo) a
67
Preuve
i i
x - x0
-1 f(x)f(x0)
f(x)-f(x0)
x - x0
x 9 x0.
i
X XQ
lim
x->r0
f'(xo) f(xo)2
(1)
g f est diffrentiable
en d
o et l'on a :
(/(co))
d(g f)(xO) = dg
od/M-
d')
ou s'il n y a pas d'ambigut sur XQ. d(g of) g o d / . Preuve D "aprs la dfinition de la drive : f(x) - f(x0) = [f(x0) + Sl(x)(x - yo)} (2) (3)
Posons y f(x) pour x \'To dans ce cas: de (2) et (3) on t i r e : 9(f(x)) - g(f(x0)) = W (f(xo)) = W (f(xo)) o s3(x) = g1 [f(xo)s1(x) + 5 2 (f(x))] f'(xo)} [/'(.r 0 ) + i(x)] (x - x0) (x - xo) + sa{x)(x - xo)
+ 2(f(x)][f'(x0) = 0.
+ i ( i ) ] et lim s3(x) = 0.
68
Differentiation
3.3.7. Remarque
Si z g(y) est une fonction differentiate, notons *y = f(x) le changement de variable o / est une fonction differentiate. La formule (1') peut s'crire sous la forme.
(2)
En effet
d*g = d\g(f(x))] *dg = *{g'{y)dy) =g{f(x))'dx. = *g'{y) *dy = *g'{y)d*y
(dy tant la diffrentielle de l'application identique y > y). Donc *d<7 = g' ( / ( i ) ) d / = W (/(*)) d'o f'(*)]dx
(2) exprime que le changement de variable et l'opration d de diffren-tiation commutent. La formule (2) qui peut tre gnralise des fonctions de ?." dans 3LP est capitale en analyse.
sur / et derivable sur / (/ dsigne l'intrieur de /), alors Va, b G / tels que a < b, /(a) = f(b) = 0 => 3c e]a, b[ tel que f'(c) = 0.
Preuve I tant un intervalle, si a, b G / . alors [a,b C / et ]a, 6[C par suite / est continue sur [a, b] et derivable sur ]a.b Si / s'annule sur [a. 6] alors
Si / n'est pas identiquement nulle sur [a,b], quitte changer / en /, on peut supposer que / prend certaines valeurs strictement positives sur
69
[a, b]. D'aprs le thorme 2.8.3. / atteint en un point c de [a, b] sa borne suprieure, avec ncessairement /(c) > 0. Par suite c <E]a,[et d'aprs 3.3.3.1 /'(c) = 0. Interprtation gomtrique Si les hypothses du thorme 3.4.1 sont vrifies, alors soit a, b I, tels que f(a) = f(b) = 0, le graphe de la restriction de / ]a,6[ admet au moins une tangente horizontale (Fig. 3.4.1).
FIGURE: 3.4.1
Preuve On construit une fonction continue sur / et derivable sur / . telle que -p(a) = (b) = 0. Soit y = T(x) l'quation de la droite A passant par les points (a.f(a)) et (b, f(b)) de la forme y = f(a). Considrons (x) = f ( x ) - T ( x ) = f ( x ) - f(a) f{b)
^ b-a
(x - a) +
f ( a )
( x - a).
b a D'aprs les hypothses, y est continue sur / et derivable sur / . et puisque y-(a) = y-(b) = 0, il existe c ]a. b[ tel que : 0 = / ( c ) = /'(c) -
4 L Interprtation gomtrique b a
Si les hypothses du thorme 3.4.2. sont vrifies, alors pour tous points
70
Differentiation
FIGURE: 3.4.2
f'(cMb)-g(a)]
Preuve
= g'(c)[f(b)-f(a)]
(1)
si g(b) = g{a). d'aprs le thorme de Rolle, il existe c ]a. b[. tel que g'(c) 0 et (1) est alors vrifie. si g(b) ^ g(a). considrons la fonction
= f(x) - f(a) -
- g (a
(g{x) - g(a)) .
vrifie les hypothses du thorme de Rolle ; donc il existe c ]a. b[, tel que:
Applications
71
3.5. Applications
3.5.1. Fonctions monotones
P r o p o s i t i o n Soit / un intervalle non vide de ? . . / : / C ?. ) I?.
0
(v) si f'(x) < 0 sur / . alors / est dcroissante sur /. La dmonstration, facile, est laisse au lecteur (on appliquera le thorme des accroissements finis).
et 10. 22 < vT5 < 10.25. On peut encore amliorer cet encadrement : en effet de \/lO5 < 10. 25 on tire que y/c < 10. 25 donc
72
Differentiation
DC
Dans ce cas : si (x) lim / '1 = .4. g (*) alors lim /(r) = .4 fl(*)
f'(x
-A
XQ. D'aprs le thorme de Cauchy 3.4.3. appliqu l'intervalle [a. x], il existe c G]a, x[ tel que
g'(x)
g(x) - g (a)
g'(c)
d'o
/'(c)
g'(c)
-A
Dans le cas o A = +oc (resp. oc) l'ingalit (1) est remplace par /'(*) 1 /'(-O 1 , . , > - ou < et le raisonnement est alors le mme.
f'(x)
fir)
Applications Preuve On suppose tout d'abord DC < .4 < +3c. Soit s > 0. Il existe ,ro tel que Soit D(x, XQ) dfini par :
=
73
D{x,x0)
g(x) -g(x0)
g{x)
1g(jp)
o D(x,
XQ)
=
1-
et lim D(x,xo) = 1.
D'aprs le thorme de Cauchy appliqu [ j . r o ] , il existe un point c }x, xo[ tel que :
g'(c)
g'(c)
l'galit (*) implique qu'il existe -) > 0 tel que pour tout x ]a.a + -)[. \D{x,xo)-l < s. Il en rsulte que pour tout x ]a, a + -j[, on a 9(*) -.4 9'(c) f'(c) 9'(c)
\D(x.xo)-l\<s
(2)
D'o le rsultat.
> z
1) Les thormes 3.5.4.1 et 3.5.4.2 sont encore valables si lim -- = .4 ainsi que dans les cas o = - x ou t = + x .
/'(*")
2) La condition lim -- = .4 est une condition suffisante pour que r-m g (X) lim = .4, mais ce n'est pas une condition ncessaire. Exemple. Soit f(x) = x2sinOn a pour x ^ 0 et /(0) = 0. et g(x) = x.
lim 4 4 = 0
.r-vO g(x)
alors que
74
Differentiation
de m m e
lim = + o c . n G 1 " .
r-f + cc 'X
r-^ + cc 2
= 0.
lim 1 ^ r = li m = 0 = lim = 0.
Soit .4 un sous-ensemble de J". On dira qu'un point .1/ d'abscisse x\i est au-dessus de A (resp. au-dessous de -4). si .4 contient des points d'abscisse x\ et si M est au dessus (resp. au-dessous) de tout point de .4 d'abscisse x\[. 3.5.5.1. Dfinition Une fonction / dfinie sur [a.b] est dite convexe, si pour tout couple de points Mi. M? d'abscisses .ri. fo du graphe de / , tout point M du graphe de / d'abscisse x G [ J . I ] , est au-dessous du segment [A/iJl/o].
a x,
FIGURE: 3.5.5.1
h b
3.5.5.2. Remarque il est facile de montrer que a dfinition 3.5.5.1 est quivalente : f est convexe sur [a.b] si pour tout couple de nombres rels x\ et X2 de
Applications
[a. ], et tout rel A tel que 0 < X < I. on a :
75
/(An + (1 - X)x2) < A/(n) + (1 - A)/(x2). (ij est dite ingalit de convexit. 3.5.5.3. Dfinition
(1)
Une partie A de 3? est dite convexe si elle contient tout segment [PQ] dont elle contient les extrmits P et Q. 3.5.5.4. Remarque On pourra aisment dmontrer, titre d'exercice, qu'une fonction / est convexe si et seulement si l'ensemble A des points de ^ situs au-dessus du graphe de / est convexe. Dans le cas o / est derivable, on a le rsultat suivant : 3.5.5.5. Thorme
Soit / est une fonction continue sur [a.b] et derivable sur ]a,b[. Si / ' est croissante sur ]a. b[. alors / est convexe sur [a, 6]. Rciproquement si / est convexe sur [a, 6] et derivable sur }a,b[. alors / ' est croissante sur ]a, b[. Preuve Soient x et y deux points de [a.b], avec x < y et soit z = ay + (1 a)x, avec 0 < a < 1. On veut montrer que f(z) < Q / ( / ) + ( 1 Q)J(X), ou, ce qui revient au mme, que : (l-a)[f(z)-f(x)]<a[f(y)-f(z)}
D'aprs le thorme des accroissements finis il existe c et d. x < c < z et z < d < y tel que : f(z)-f(x) = f(z) = f'(c)(z-x) f'(d)(y-z)
/ ' tant croissante on a : /'(c) < f'(d) et puisque (l a)(z x) = a(y z) on dduit que :
G]a, b[ et Xl < x2
(2)
76 3.5.5.6. Remarque
Differentiation
On peut montrer que le graphe de toute fonction convexe, derivable, est au-dessus de chacune de ses tangentes.
E n effet l ' q u a t i o n d e l a t a n g e n t e a u p o i n t ( x o . f ( x o ) ) est: y =
f'(xo)(x-xo)
f(xo).
f(x) - f(x0) - {x - xo)f'(xo) >0.
D'aprs le thorme des accroissements finis, on a: f(x) f(xo) = (x xo)f'(c) L'ingalit dmontrer est alors :
(x-xo)(f'(c)-f'(xo))>O.
7? s'appelle la fonction inverse ou rciproque de / . Le problme des fonctions inverses est de trouver les conditions suffisantes sur / , pour assurer l'existence de <p et dire quand p est continue (resp. derivable) si / est continue (resp. derivable). En gnral ce problme n'admet pas de solution globale, comme le montre l'exemple de la fonction / : S. -> E qui n'est pas inversible sur E tout entier mais seulement sur E + ou ?._.
3.6.1. Thorme
Soit / une fonction numrique, de domaine de dfinition Dj C M. vrifiant dans un intervalle / (/ C Dj) les conditions suivantes : 1) / e s t continue sur I
Thorme des fonctions inverses 2) / est strictement monotone sur / . Il existe, alors, une fonction unique p telle que : Dtp = / ( / ) = J est un intervalle,
77
f{p(y)) = y pour y J.
p est continue et strictement monotone (dans le mme sens de monotonie que / ) sur J. <p est appele une dierminatwn de la fonction rciproque de p associe I. Si de plus, f'[xo) existe en Xo / et f'(xo) ^ 0, alors p est derivable en y0 = f(xo) et on a:
?{)
Dmonstration i) Si / est continue sur l'intervalle / . d'aprs 2.8.1. / ( / ) = J est un intervalle. ii) Supposons / strictement croissante sur /, alors / admet une fonction rciproque p dfinie sur J = / ( / ) et strictement croissante sur J. En effet si /I G J, il existe X\ G / tel que yi = f(x\), et il n'existe pas un autre x- ^ X\ tel que /(o^) = y\ ' si x- ^ xi, ou bien x? > X\ et on a f(x2) > f(xi). ou bien a?2 < Xi et on a /(r2) < f(xi)- En posant ri = <p(yi), on dfinit une fonction sur J vrifiant l'galit f(<p(y)) = y, Vy G J. De plus ^ est strictement croissante car si Xi = tp(yi) et X2 = y?(i/2 ) i J/2 yi et ^2 ^1 sont de mme signe. iii) Montrons que p est continue sur J. Supposons encore que / est strictement croissante. Soit y, G J. il faut montrer que Ve > 0, 3h > 0, tel que : \y-yo\<n=> Posons 2-0 = y>(i/o) <=> i/o = f(xo). Soit s > 0. choisissons un entier n tel que:
S
51
xo H C / n ni Par suite de la croissance stricte de / , on a f (xo + -) = yo+c \ n/ (avec c > 0) et / (x0 - - ) = yo-d V n/ (avec d > 0).
Choisissons un nombre r > 0, tel que : [2/0 - 7, /o + r] C ]j/o - d, y0 + c[ C / D'aprs le thorme des valeurs intermdiaires, et de la stricte croissance de / , pour tout y G]/O V- J/o + V il existe un et un seul point
x G ko J
1
r
tel que
y = f(x)
<!=> x = p>{y)
Differentiation
iv) On suppose que f'(xo) existe en o / et f'(xo) ^ 0. Soit y0 = / ( j 0 ) <=> oro = 9(yo), n cherche la limite, si elle existe, du rapport -^-^ ~ ^- quand k - 0. Si k est assez petit, y0 +frest u n e v a l e u r p r i s e p a r / . O n p o s e h = { y 0 + k) *p(yo)- A l o r s x 0 = { y ) e t <p(yo + k) - x o + h => f(xo + h) = yo + k. D ' o k = f{xo + h ) - f ( x 0 ) . si h > 0 on a k > 0 ( / e s t continue en Q)
0)
3.6.2. Exemple
Soit f(x) x3 2x + 1. La restriction de / l'intervalle \f\, admet une fonction rciproque < E > . Calculons $'(0) et <'(o). f'(x) = Sx2 2. Donc / est strictement croissante sur U / | - +oc . On sait que $'(y) = ^TT^r- / ( ! ) = ^=^ 1 = $( 0 ): / ' ( l ) = 1 on obtient $'(0) = | = 1. De mme /(2) = 5 <^^> 2 = $(5). et puisque /'(2) = 10 on a $'(5) = /'(2) = 10
et
puisque
3.6.3. Applications 3.6.3.1. Fonctions rciproques des fonctions trigonomtriques. THORME ET DFINITIONS
Les restrictions respectives des fonctions sinus, cosinus et tangente aux intervalles [f, | ] . [0,7r] et ] f, f [ admettent des fonctions rciproques, appeles Arcsinus, Arccosinus et Arctangente. dfinies et continues sur [-1.+1] pour les deux premires et sur ] - oo.+oc[ pour la dernire. Elles vrifient les proprits suivantes : (1) sin (Arcsinz) = x ; (2) cos (Arceos x) x : - < Arcsin x < 2
Thorme des fonctions inverses (3) tg (Arctg .r) = x: - - < Arctg x < - .
79
De plus. Arcsin. Arceos sont drivables sur ] 1.1[ et Arctg sur 3-.. 1 (4) (Arcsin x)'=-_==. -.T2 VIG]-1.1[.
7.
Vx e}-
oc.+x[.
= Arc sin x
V = s i n A'
-7C/2
0
71/2 -Y
FIGURE: 3 . 6 . 3 . 1 A
V = COS X
-1
FIGURE: 3 . 6 . 3 . 1 C
FIGURE: 3.6.3.ID
80
Differentiation
y = Arc tg x
FIGURE: 3 . 6 . 3 . 1 E
FIGURE: 3.6.3.IF
Dmonstration Faisons la dmonstration pour la fonction sinus. La fonction sinus est continue sur [%. T,] et strictement croissante sur[ ~. ~] sa drive, cosx, tant strictement positive sur ] f. ^[ (Proposition 3.5.1). D'aprs le thorme 3.6.1, elle admet une fonction rciproque note Arcsin. dfinie, continue et strictement croissante sur l'intervalle sin([-f, \]) = [-1,1] et vrifiant : sin (Arcsin x) = x Arcsin (sin y) = y pour x 6 [1.1], pour y G [--^. ^ ] .
De plus en tout point y G ] \ , \\ (sin y)' = cosy ^ 0. Donc d'aprs le thorme 3.6.1, Arcsin x est derivable sur ] 1,1[, et on a : (Arcsin x)1 = 1 avec x = sin y.
cosy
Par suite : (Arcsin x)' = fait pour les autres fonctions.
Thorme des fonctions inverses THORME ET DFINITION Les fonctions sh. ch et sont dfinies par les formules suivantes :
81
sh x ch x sh et sont inversibles sur ] oc. +oc[ et leurs fonctions rciproques sont notes Argsh et Argth. La restriction de ch l'intervalle [O.+3c[ admet une fonction rciproque note Argch.
= -(eT-e --^
x =
Les fonctions Argsh. Argch et Argth sont dfinies et continues respectivement sur ] DC.+OC[, [l.+3c[et ] 1.1[. En outre: z G]-
. Vi Gli, + li. Commentaires I - x(i) Des formules videntes : ch x + sh x = ex ch x sh x = e~^ on dduit la formule fondamentale : ch2 x - sh2 x = 1 (ii) chx est paire, sha; et x sont impaires. Pour x > 0. ch x, sh x et x ont des valeurs positives. (iii) ch, sh et sont drivables et :
/
l L-Il iL I ol i . I 5ll t. I L.11 JL , I U. I
,
J-
o
ti.
1
Q
O
FIGURE: 3.6.3.2A FIGURE: 3.6.3.2B
82 y = sh x
Differentiation
y = Arg sh x O
FIGURE: 3 . 6 . 3 . 2 C
FIGURE: 3.6.3.2D
y
V
= th
A -
/
.
-i
FIGURE: 3 . 6 . 3 . 2 E
FIGURE: 3.6.3.2F
(iv) La fonction ch x est continue et strictement croissante sur [0. +DC[. sa drive sh J- sur ]0. +oc[ est strictement positive. D'aprs le thorme 3.6.1. elle admet une fonction rciproque, note Argch. dfinie, continue et strictement croissante sur ch([0. +oc[) = [1. [ De plus en tout point y e]0. +OC[ (ch y)' = sh y ^ 0. Donc d'aprs le thorme 3.6.1.. Argch x est derivable sur jl. +oc[ et on a : (Argch x)' = 1 sh y avec 1 = chy.
(ch2 (/ - sh 2 y = 1).
83
v) Les fonctions Argsh. Argch. et Argth peuvent se mettre sous forme de logarithmes npriens :
Argsh x = In ( x + \Jx2 + 1J
Argch x = In (x+ v x2 ~ 1 ) , t, 1, Argth x =- m 2 1- x
Dmontrons, par exemple, la premire formule. y = Argsh x -i=> x = sh y de ch~ t/ = sh' y + 1 = 1 + x2 on tire ch t/ = \/l + -r2 car ch y > 0. d"o ey - sh y + ch y = x + y/l + x2 et y = In {x + y/l + x2).
3.7.1. Thorme
Soit (fn) une suite de fonctions dfinies et drivables sur un intervalle / born, valeurs dans . On suppose :
84
la suite des fonctions drives (f'n) converge uniformment sur / vers une fonction g. Dans ce cas. la suite (/) converge uniformment sur I vers une fonction / derivable sur / , telle que / ' = g. Dmonstration Soient a, 6 (a < 6) les extrmits de / et x G / . Si m, n sont deux entiers, on applique le thorme des accroissements finis la fonction fm fn sur l'intervalle d'extrmits aro. x. Il existe un point y (dpendant de m et n) entre a * o et x tel que : fm(*) - fn(x) = fm(xo) d'o \fm(x) - fn(x)\ < \fm(x0) - fn(x0)\ Soit c > 0. Pour 2(6-a) + (b - a) \f'm(y) - f'n(y)\ (1) - / (*o)
> 0. 3n o (s) > 0. tel que pour m, n > n0 on , Mx G / (convergence uniforme de (f'n)
a: \f'n(x)-f'm(x)\<
sur I)
2(-a)
Pour J-. 3i(, aro), entier positif, tel que si m, n > i on a: \fm(*o) - fn{xo)\ < 2 (convergence de (/ n (ar 0 ))).
D'o, si n-x = sup(ni,no), alors pour m, n > n2, on a d'aprs (1) |/m(ar) - /(ar)| < e, Vx G / (voir exercice 12, Chap. 2). Donc la suite (/) converge uniformment vers / , et puisque les / sont continues, alors / est continue sur / (thorme 2.9.2.9 ). Pour tablir l'existence de la drive de / en un point c de / , on applique le thorme des accroissements finis fm fn sur l'intervalle d'extrmits c et x. Donc il existe un point z (dpendant de m et n) tel que : (fm(x) - fn(x)) - (fm(c) - fn(c)) = ( X - C ) ( f ' J z ) - S'n ( - ) )
Donc pour c ^ x, on a,
m{x)-fm(c)
X - C
fn(x)-fn(c
X C
(2)
la convergence uniforme de (f'n) entrane: pour tout e > 0, 3A/(), tel que si m, n > M, on a :
\f'm{z)-f'n(z)\<e. W e / .
Donc pour m, n > M. (2) entrane : fm(x)-fm(c)
X C
/(*)) -/(C)
xc
(3)
85
f{*)-f(c)
X C
< s.
x c
(4)
(5)
Soit A'o = sup(iV, M) il existe 6No(e) > 0 tel que si 0 < \x - c\ < S, on a :
< S.
X C
(6)
f(x)-f[c)
x c
-9(c)
<3.
3.7.2. Remarques
i) on a vu [thorme 2.9.29] que si une suite {fn} de fonctions continues converge uniformment vers f, alors f est continue, ce qui peut se traduire par : lim lim (/(*)
I
Hm
n v + oc
lim fn(x)
- ~
(1)
x-x0 \n + co
(IJ traduit que Ja continuit est transparente par rapport ia notion de imite. ii) de mme sous les hypothses du thorme 3.7.1 on peut crire:
hm ( / 1
= hm
/(a:
la drivation est transparente * > par rapport a notion de imite. Les proprits (i) et (ii) sont intimement is ia notion de a convergence uniforme. On verra un autre exempie dans e chapitre sur l'intgration. iii) Le thorme 3.7.1 est un moyen puissant pour dfinir de nouvelles fonctions, nous en donnerons des exemples dans le 3.9.
86
Differentiation
3.8. RETENIR
i) / est derivable en ^o si il existe . 4 g l tel que : f{xo + h) - f(x0) = hA+he(h) o lim
ft-i-0
.4 est par dfinition la drive de / en ^o- note f'(xo). ii) L'application h f'(xo)h est appele la diffrentielle de / en xo- note df{x0) ou simplement d/ d / = f'(x)dx o d f est la diffrentielle de l'application identique h h on a: * d / = d*/ o * le changement de variable *x = g{z)- derivable, qu'on effectue dans f'(x). iii) Thorme des accroissements finis
0
/ : / C 5. >. Si / est continue sur / et derivable sur / . Alors: Va. bel. 3c G]a, 6[. tel que. /(&) - /(a) = f'(c)(b - a). iv) Thorme des fonctions inverses Soit / une fonction numrique vrifiant dans un intervalle / (/ C Dj) les conditions suivantes : 1) / continue sur / 2) / est strictement croissante (resp. dcroissante) sur /. Il existe une fonction unique -p telle que Dip /(/) = J est un intervalle. fMv)) =2/Vi/e J e t <p{y) e j . p est continue et strictement croissante (resp. dcroissante) sur J. y? est une dtermination de la fonction rciproque de / associe /. Si de plus / admet une drive f'(x) ^ 0 alors admet galement une drive au point y = f(x) et p'(y) = v) Suite de fonctions diffrentiables Soit {fn} une suite de fonctions dfinies et drivables sur un intervalle born /. Si {fn(xo)) converge pour un io / et {f'n} converge uniformment sur / vers g alors : (/n ) converge uniformment sur / vers une fonction / . derivable sur /. telle que : / ' = g.
f(x)
Exercices et problmes
87
a) Dmontrer que / est derivable sur _-. et calculer sa drive en tout point de 3.. b) On suppose 0 < |A*| < 1. Dmontrer que pour tout nombre rel Q > 0. la fonction drive / ' change de signe sur l'intervalle ] a. Q[. La fonction x > f'(x) est elle continue sur ]?_? 2) Soit la fonction g dfinie sur ~2. par g(x) = x2 sin si x 0 et /(0) = 0.
a) Montrer que / est continue et derivable sur b) Montrer que / ' est continue mais n'est pas borne. 3) Soit la fonction / dfinie sur 7. par f(x) J 2 sin(i) si x ^ 0 et = 0. a) Montrer que / est continue et derivable sur !?. et calculer / . b) / ' est elle continue, borne? 4) Montrer que la fonction h dfinie sur l'intervalle ]2.+3c[ par h(x) x3 3 J 2 admet une fonction rciproque p strictement croissante et derivable: dterminer l'intervalle de dfinition de p. Calculer p(-2)ety'(-2). 5) La lumire manant d'un point source S illumine une surface circulaire C. avec une intensit proportionnelle au cosinus de l'angle 6 d'incidence et inversement proportionnelle au carr de la distance c? la source (voir figure).
FIGURE:
3.9.5
A quelle distance x doit-on placer la source lumineuse 5 au-dessus du centre d'un disque de 12 cm de rayon pour que l'illumination soit maximale9 6) a) Montrer que la fonction g dfinie sur [1. 1] par g(x) = e~^ si x 0 et g(0) 0 est indfiniment derivable et vrifie ^'"'(0) = 0. Vn > 1.
88
Differentiation
b) Soit a > 0. / : [a. a] > S. une fonction continue. Montrer que si / est nulle sur ] a,a[: alors / est aussi nulle sur [a, a]. c) On suppose que / est indfiniment derivable sur [a. a] et que: i) /(0) = 0 , /("'(0) = 0 , Vn > 1; ii) il existe p > 0 tel que
f^Hx)
tout n > 1. Montrer que / est nulle sur [-. - ] . d) On suppose que a est de la forme - . o k G I1*- Dduire de b) P que / est nulle sur [a. a]. 7) Soit / une fonction numrique dfinie sur un intervalle / de 3.. On dit que / est convexe sur /. si / ( - ] < ~ [f(x) + f[y)] pour tout couple (x. y) de I x I. a) On suppose / continue et convexe sur /. i) Montrer que pour tout entier n > 2. on a :
xn) d'lments de / .
iii) Montrer que si x < y < z sont des lments de J, alors y-x z-x
/(*) -/()
x - w
<
M-f(y)
z - y
iv) Montrer que / possde une drive gauche et une drive droite, et que les points x de I tels que f'(x) n'existe pas constituent un ensemble dnombrable.
Ces quations dterminent le polynme Pn. appel polynme grange. En crivant Pn sous la forme :
P n ( x ) = a o { x - x i ) ( x - X2) - ( x - x n ) + a i { x - x o ) ( x - x 2 ) +
( x - x arn_i)
h a n ( x - x o ) ( x - x i ) ( x -
90
Pn{xn)
= an(xn
- X0)(xn
= fn
1=0
Eremple Donner l'interpolation parabolique (n = 2) de f(x) = sin x sur [0. f ]. Soit .i'o = 0. f i = - et ro = - . On a : Pi(xo) = /(O) = 0
et
P 2 (j) = - V - (
7]
91
Plus gnralement on cherche, dans le cas o / est derivable en jusqu' l'ordre n. n > 1. un polynme P{x) de degr < n tel que :
v(x0) + 0
ro)2
P(X):
/ ( * o ) - \-f'(xo)(x-
Ce polynme est appel polynme de Taylor de degr < n engendr par / au point J?O et sera not P n (j) = Tnf(x.xo) ou Tnf simplement.
4.2.1. Exemples
l)f{x)=er.
= 0 pour tout
r2n+1/('.o) = I - 3 F + 3 [ - i = r
3J / ( f ) =
COS1.
On a ce mme
x2 xA
X6
x2n
r2n/(.O) = 1 - + - + + (-1) ^ y | .
92
4.2.2. Remarques
1) Les formules suivantes, facilement vrifiables, permettent de calculer de nouveaux polynmes de Taylor, partir d'autres, connus. Les polynmes de Taylor qui suivent sont engendrs au mme point xoa) Proprit de linarit rg)=\Tn(f)+TlTn(g). b) Proprit de differentiation
c) Proprit d'intgration La primitive de Tnf qui s'annule pour x = xo est gale Tn + i(g), o g est la primitive de / qui s'annule pour x = XQ2) Soit Pn un polynme de degr n > 1. Soient / et g deux fonctions drivables l'ordre n telles que : f(x) = Pn{x) + (x-x0)ng(x) o lim g(x) = 0 alors T(f) = Pn(x).
x-n-o
4.2.3. Exemples
On sait que 1
1 - X
2 n + pour x 1 l +x+x x + + + +x x + 1 X
xn+1
1- X
comme lim -,
x-)-0
1
= 0, d'aprs 4.2.2.2)
J
~x
+ + x n
(1)
Tn + 1[-\ri(l-x)]
~ = l 2
= x+ ^ + + ...+ j f ^
_r4 + . . . _1)r_r2n_(_1)n_
(2)
donc
et d'aprs 4.2.2.c)
) = y^(- 1 ) A "^T-
(4)
Formule de Tavlor
93
-a
V - a)' S + (3
ni
+1 (l)
( 71 + 1 ) !
(i)
Dmonstration On pose :
D'aprs le thorme des accroissements finis gnralis (3.4.3), il existe 71 compris entre Q et 3 (ou entre 3 et a) tel que :
(3-a
n 1
(si Q < 3
n + l(a)
Rn+l(3) (n-
0 - + 1 -(3-a)"+1
\ -a)
K+i(Q)-KH
On - (n
n(n
- a)"" 1 '
94
En itrant ce processus jusqu' n + 1 on aura Rn+1(3) o -)n + i est compris entre a et 3 ou .5 et a ; d'o la formule (1) du thorme.
4.3.2. Remarques
1) La formule (1) de 4.3.1 est appele formule de Taylor (ou de TaylorIJ ct)n + 1 ( u + 1 ) Lagrange) l'ordre n + 1 et le terme Rn + i = H- / ( - , ) est le reste de Lagrange. 2) II en existe d'autres formes du reste. Mentionnons pour le moment a forme de Cauchy : il existe un nombre 6, 0 < 8 < l, tel que R -fi Rn+i-(l-0)
0)nf in+1)
((l-e)a ^
+ 03) ^ (3-a)
+1
4) en posant x = a + h et ~) a + 9h
p= 0
'
>'
Laurin-Lagrange.
5) si la drive d'ordre (n + l)de f satisfait les ingalits m < f{n+1)(i) < M dans un intervalle contenant a. alors pour tout point x de cet intervalle on a es estimations suivantes du reste
m-
95
Ceci nous permet de calculer le nombre e arec une prcision fixe avance. Par exemple pour calculer e arec sepf dcimales exactes il suffit 3 1 de choisir n, tel que: < - 1 0 ~ 8 : n = 12 convient. 2) Irrationalit de e. D'aprs l'exemple 1) on a
< e^ > 1 <
en multipliant par n\ on obtient 1 " n! 3 3 < nie- y < - < '-. n+ 1^ A.-! n+1 - 4 si n > 3 (1)
si e faif rationnel, on pourrait choisir n assez grand de sorte que ni e soit un entier et comme 2 77 e s t k=o kl
" n!
un
ces deux entiers est un nombre positif qui ne peut excder , ce qui est 4 impossible. Donc e est irrationnel.
96
Plus prcisment, si / . / ' . . . . / ' " ' sont dfinies et continues dans un voisinage de 0 et / ( " + 1 ' existe et est borne dans ce voisinage, alors dans ce voisinage, f(x) s'crit sous la forme:
j f
( \
o Pn(x) = Tnf(x)
et e(x) =
( + 1} ,
avec lime(i) = 0.
f(x)
Les conditions entranent que lim , , = 1. On dit alors que fix) x^o Pn(x) et Pn(x) sont quivalentes au voisinage de 0 : autrement dit. / et Pn ont la mme configuration au voisinage de 0. Nous allons dans ce paragraphe faire une tude systmatique des fonctions quivalentes des polynmes au voisinage d'un point. On dira alors qu'elles admettent un dveloppement limit en ce point.
grand (notation : I.G) au voisinage de xo On dira que f(x) et g(x) sont deux I.P. (resp. I.G.) simultans au voisinage de XQ si lim f(x) = lim g(x) = 0
r-n-o
x-f.ro
r-fxo
!"o
(resp. lim g(x) = lim f(x) = oc). On dira que les deux I.P. (resp. I.G.) f(x) et g(x) sont de mme
flx)
ordre au voisinage de XQ s'il existe un rel diffrent de 0 tel que lim =
x^xog{x)
a. Si a = 1. on dira que / et g sont quivalentes au voisinage de ^o (notation / ~ g). Exemple : (sin x)2 et Zx2 sont deux I.P. de mme ordre au voisinage de 0. Dfinitions Lorsqu'on tudie des fonctions : i) au voisinage de 0. x (resp. ) est appel I.P. principal (resp. I.G. principal) : ii) au voisinage de l'infini : x (resp. ) est appel I.G. principal (resp. x I.P. principal) :
Dveloppements
imits
principal (resp. I.G. principal). Si f(x) est un I.P. (resp. I.G.) et a YI.P. (resp. \ I.G.) principal. f(x) dite d'ordre p par rapport a si les deux I.P. (resp. I.G.) f(x) et ap sont de mme ordre, c'est--dire si l'on a : lim = a. avec a ^ 0.
Dans ce cas, f(x) ~ aar et aap est dite partie principale de f(x). 4 . 4 . 1 . 1 . Exemples i) sin(,r o) est un I.P. d'ordre 1 par rapport x xo au voisinage de x0. ii) 1 cos xest un I.P. d'ordre 2 par rapport x au voisinage de 0. ii) Si 1 < p < n, bnx" + bn-ix"'1 + h bpxP est un I.G. (resp. I.P.) d'ordre n (resp. d'ordre p) relativement x au voisinage de l'infini (resp. de 0). sa partie principale tant bnxn (resp. bpxp). 4.4.1.2. Remarque Cette notion d' ordre d'une fonction ne s'applique pas tous les I.P. (resp. I.G.). Par exemple ax est un I.G au voisinage de +oc. mais a* 0 Vp > 1. hm = < .:-+oc xP I +3C par suite on ne peut parler de son ordre. La notion de dveloppement limit d'une fonction au voisinage de xo gnralise la notion d'ordre, dans la mesure o la fonction n'est pas ncessairement quivalente une expression de la forme a(x XQ)P . mais un polynme en x Xo4 . 4 . 1 . 3 . Comparaison de fonctions Dfinition Soient 5 ~ xo. f : S > 5. et g : S Z deux fonctions sur S. On dira que g est ngligeable au voisinage de x> devant / et l'on notera g = o(/) s'il existe une fonction e dfinie sur 5 telle que g(x) = f(x)e(x) avec lim e(x) = 0. Proprits : Si g = o(/) et h = o(g). alors / = o(h). Si g = o(/) et si h est borne alors gh = o ( / ) . Exemples : xn+1 = o(xn) au voisinage de 0. si n G I 1 . sia < 1 si a > 1
98
Approximation polynmiale d'une fonction Si Q > 0. alors Log.r = o(xa) au voisinage de Si p G I 1 . alors xr = o(er) au voisinage de
esi
Dans toute la suite, la notation e(x) ou e,(x) dsigne un infiniment petit au voisinage de 0. 4.4.2.2. Proprits 1) Si f(x) admet un D.L. au voisinage du 0. et si la partie rgulire Pn(x) est non nulle, alors f(x) est quivalente Pn(x) au voisinage de 0. En effet si
P n ( x ) = a n x n + + a p x p on a : flr)
J l /
J
0 < P < n
( x = 1) rn~pf(r)
rnf(r)
1 '
inxn + + cipXP
'
anxn~P
'
h ap
et lim
Xn~peix)
=
x->oanxn
P + - - - + ap
= 0.
Remarque : il faut s'assurer que le polynme anx" + + apxp est non nul. Par exemple si f(x) = e'1'1'. f{k)(0) = 0 Vf-. / admet un D.L. d'ordre n pour tout n G Fi ayant pour partie rgulire le polynme nul 0 . Cependant f(x) est diffrent de 0 pour tout 1 E R , d'o fx) n'est pas quivalent 0 . 2) Si f(x) admet un D.L. d'ordre n au voisinage de 0. elle admet au voisinage du mme point, un D.L. d ordre q. si q < n. Soit en effet
f(x) =ao + aix + --- + anxn + x"e(x).
On peut crire f(x) = ao + o.\X + + aqxq -\- xq \aq+ix + + anxn~q + xrl~qe(x)^ . En posant ei(r) = aq+ix + + anxn~q f(x) - a0 + xn~qe(x). on obtient
Dveloppements imits
99
Ainsi si Pn{x) est la partie rgulire du D.L. Tordre n de f(x), on obtient la partie rgulire du D.L. l'ordre q de f(x) en supprimant les monmes de Pn(x) de degr strictement suprieur q : on dit qu'on a tronqu Pn{x) l'ordre q et on la notera Dq(Pn(x)). 3) Si f(x) admet un D.L. Tordre n(n > 0) en x = 0, la fonction n'tant pas suppose dfinie en x 0, on a lim f(x) = P(0), et Ton
T-+0
pourra prolonger / par continuit en 0 en posant /(0) = P n (0). Ainsi f(x) = sin ^ n'a pas de D.L. en 0, par contre .rsin ^ admet un D . I . d'ordre 0 au voisinage de 0 avec Po(0) = 0. 4) Soit / une fonction dfinie au voisinage de 0 et continue en 0. Si / admet un D.L. Tordre n(n > 1) en 0. alors f(x) est derivable en 0 e t / ' ( 0 ) = P(0). Ainsi x sin n'admet pas de D.L. en 0 d'ordre n > 1, par contre x- sin j admet un D.L. d'ordre 1 en 0 avec Pi(0) = 0. 5) Si f(x) admet un D.L. d'ordre n en 0. alors sa partie rgulire Pn(x) est unique. En effet si
avec Pn(x)
= anxn
+ + a0 et Qn(x)
= bnxn + + b0. on a :
anxn +
h a0 + xne(x) = bnx" +
\-b0 + xne1{x) ;
en faisant tendre x vers 0. on obtient : ao = bo : d'o en simplifiant par a> et en divisant par x les 2 membres on a : anxn-1 + --- + a1 + xn-1e(x) = bnxn-1 + + b1 + x"'^^).
on montre comme ci-dessus que ai = b\. En rptant ce processus on dmontre que a- = 6, pour / = 0 Application Si f(x) est une fonction paire les termes de degr impair dans Pn{x) sont nuls. En effet si / est paire, on a : f(x) = Pn(x) + x"e(x) f(-x) = Pn(-x) = Pn(-x) + xn
n
n.
[(-l)t(x)]
+ x e1(x)
De Pn(x) = Pn(x) on dduit le rsultat. De mme si / est impair, les termes de degr paire dans Pn(x) sont nuls.
100
f(x) = Tnf(x.o)+xne(x)
Par suite / admet un D.L. d'ordre n en 0 et sa partie rgulire n'est autre que son polynme de Taylor l'ordre n en 0. On dira que le D.L. de f l'ordre n es1 obtenu partir de la formule de Mac- Launn. b) On suppose que / admet un D.L. Tordre n obtenu par la formule de Mac-Laurin. La fonction drive g = / ' vrifie les hypothses de a) l'ordre n 1 d'o g(x) = </(0) + x g ' ( 0 ) + + j
On peut donc conclure: si / admet un D.L. d'ordre n. f admet un D.L. d'ordre n 1 et sa partie rgulire est obtenue par drivation de la partie rgulire du D.L. de / . On retrouve la formule (Tnf)' = Tnf (Remarques 4.2.2 b). De mme toute primitive F de f vrifie les hypothses de a) l'ordre n + 1. d'o F(x) = F(0) + xF'(0) + En revenant / :
4.4.2.4. Exemples
D'aprs es exemples 4.2.3. on a : 1) = l + x + x2+--1 - x + xn +xne(x)
101
r^ = 1 + 2x + 3x +
h nxn~l + xn~1t
(-l)nxn+xne(x)
= 1 - x + x2 + --- + I+x
r - ^ + + ---+(-l)n^r + x'
!-5- = 1 - x2 + xA + + (-l)"x2n + x on dduit par intgration :
3) de
3 5
+ x2ne3(x)
= X 3 4) on obtiendra de
x3
+
o
x'
+( 1 ) ^ ^ 2n +
le D . I . d e :
5) S o i t a e Q e t f(x) = ( l + x ) a .
f'(x)
/"(x)
= a(l + x)a-1.
= Q(Q-
/'(0)=Q.
2
1)(1 + i-)"" .
(0) = Q ( Q - l ) . . . ( Q - n + l).
d'o
avec lim ((x) = 0. 6) En intgrant les dveloppements de quant 5). on obtient : r3 6 ,1 .1 x2n + 1 2n + 1 obtenus en appli-
Arcsini =
2 + 1
2 + 1
102
f(x) + g{x) = Pn(x) + Qn(x) + x"(e(x) + d(x)) = Pn(x) +Qn(x) + xne2(x) avec lim e2(x) = 0.
xt-0
D'o: si f(x) et g(x) admettent un D.L. d'ordre n au voisinage de 0. f(x) + g(x) admet un D.L. d'ordre n au voisinage de 0. dont la partie rgulire est la somme des parties rgulires des D.L. de f(x) et g(x). Exemple : ex = 1 + x+ h + xn1(x)
2
-, JC
m)
' (2n)!
r2n \
= l+'^ + 2! '
Si dans un polynme P(x) de degr < n on supprime les termes de degr > q. on obtient un polynme Q(x) de degr < q : on dit que l'on a tronqu P(x) l'ordre q. et on crit: Q(x) = Dq (P(x)). Soient f(x) = Pn(x) + xne(x). et
g{x) = Qn(x) + xni{x). avec l i m e i ( j ) = 0.
x*-0
Dveloppements limits Si on pose Cn(x) = on a : f(x)g(x) = Cn(x) + xne2(x). avec lime 2 (i) = 0.
.r-i-0
103
Dn{Pn(x)Qn(x))
D'o: si f(x) et g(x) admettent un D.L. d'ordre n au voisinage de 0. alors /(.r) g(x) admet un D.L. d'ordre n au voisinage de 0, dont la partie rgulire est gale au produit des parties rgulires de f(x) et g(x). tronque l'ordre n. Exemple : Donner un D.L. de f(x) = (x3 + x2 + 1) ln(l + x) l'ordre 4 x2
3 x3
x4
+
d'o
+ x2 + x3)(x -Jj + -J)]+ f(x)=x-4.4.3.3. Quotient f{x) = Pn(x) + x"e(x): g(x) =Qn(x) + xnl(x). avec Yimg(x) = Q n (0) 0.
J--+0
x4e2(x
r2
4r + +r -
X%{X).
On peut diviser Pn{x) par Qn(x) l'ordre n. suivant les puissances croissantes : Pn(x) = Qn(x)Dn(x)+xn+1R(i) D'o f(x) = (g(x) - e1(x)xn) Dn(x) + xn+1R(x) =>f(x)=g(x)Dn(x) + xne2(x). + xne(x) avec degr Dn(x) < n.
limg(.r) . 0 alors admet un D.L. d'ordre n au voisinage de 0. dont .r-vo g la partie rgulire s'obtient en divisant suivant les puissances croissantes l'ordre n. la partie rgulire du D.L. de f par la partie rgulire du D.L. de g.
104 Exemples : 1)
x2
x4
2x5
h x3i(x)
3
+ j + x3e2(x)
4.4.3.4. Dveloppement limit d'une fonction compose On considre une fonction u(x) admettant un D.L. au voisinage de 0 d'ordre n. avec lim u(x) = 0. et une fonction f(u) admettant au voir>-0
sinage de I = 0 un D.L. d'ordre n : u(x) = Bn(x)+x"e1(x), f[u) =ao + aiu+ P o s o n s : F(x) = f(u(x)) :ona : \-anu
n
B n (0) = 0. + une(u).
On montre par rcurrence, en tenant compte de Bn(0) = 0. que: (Bn(x)+xnl(x))k = (Bn(x)f + xnek(x). avec limefc(j)=0
x^0
Dveloppements
limits
105
(x)+ Jnfl(i))
(u(x))
= (Bn(x))
(U(X))
+ i"f(l)f
(U(X)
(2)
= x"Q(x) et
= x"Q(x)e(u(x))
avec lime'(.r) = 0.
xs-0
F(x)
= ao + a1Bn(x)
a2(Bn(x)y
an(Bn(x))"
xne"(x) (3)
o Pn(x) = Dn[J2
k (Bn(x))K
et lim e'"(i) = 0.
D'o ia rgle: La partie rgulire du D.L. de F(x) s'obtient en remplaant u. dans a partie rgulire du D.L. de f(x). par a partie rgulire du D.L. de u(x). le tout tronqu l'ordre n. Exemple 1 Dveloppement limit d'ordre 3 de F(x) = -y/l + ln(l + x) Posons u(x) = ln(l + x) f(u) = y/T+ x2 x3 u(x) = x - y + y + ei(x)x3 = B3(x) + x3ei(x)
/ ( ) l +
8 ( )
B3(x)
(B3(x)y- , (B3(x)Y
16
i7 3
+ xde(x
cos.r = 1 - y + + x41(x)
= 1 + u(x).
106
En appliquant la rgle du D.L. d une fonction compose G(x) = g(u(x)) avec g(u) = ln(l -f u). on obtient :
Logcos.r = - y - + xAe3(x)
\- an(x - ,r0)''
d ' o e x = e 11 + (x - 1) +
L
.,
'" , ^
'
+ (*" ~ l ) a e i ( - 1 ) 1 J
4.4.4.2. Dfinition Une fonction /(.r) admet un D.L. d'ordre n au voisinage de l'infini, si la fonction F(x) = /(~) admet un D.L. d'ordre n au voisinage de 0. S il en est ainsi on a : F{x) = b0 + bix -\ 1- bnxn + xne(x). avec lim e(.r) = 0
107
avec
lim e(
I-OC X
)= o
F(x) = (1 - x2
a?
x-
x-
au voisinage de 0.
=
1 a?
f(x) = - [1 + x + x2 + x3 + x3e(x)] .
0+
2) D.L. gnralis de f(x) = cotg x au voisinage de 0. f(x)n'admet pas de D.L. au voisinage de 0 ( lim cotgf = +oc). par contre 1 - ^ + ^ +a- 4 ei(r)
x cotg x
sini
=
X2 XA
jcotgx = 1
108 d'o
cotg.r= - - - - + x e3{x) 3) D.h. gnralis de f(x) \Jx2[x 1) au voisinage de l'infini: en posant X = i . on se ramne au voisinage de 0.
x3
(l.Y).
XF(X) admet un D.h. limit au voisinage de 0. A l'ordre 2 on obtient : XF(X) = 1 - | A ' - ^.Y2 + X2e(X)
1 / 1
l e graphe de f admet une asymptote d'quation y = x - ; de plus o f(x) y est quivalent -au voisinage de l'infini. D'o : 9x f(x) - y < 0 f(x) -y > 0 si x - +OC. si x -> -De.
cotg x
1
\X
T T
+ 3 4o x3e3(x)
lim [ x-K) \X
cotg x I = 0. J
Dveloppements imits
Exemple 2 : Trouver lim(2 x)^ " (forme l 0 0 ). On se ramne au voisinage de 0 en posant x = 1 + A*
109
= e
-A+X X+Xe
d'o
h .r'ei(.r) h x2ei(x)
b2
dans lequel an(x xo)n reprsente le premier terme non nul. aprs celui du premier degr. On a alors les renseignements suivants : 1) L'quation de la tangente en Aio (^o- /(o)) est : y =ao+ai(x - x0) =f[x0) + f'(xo){x - x 0 ) . 2) A u v o i s i n a g e d e XQ. o n a : f(x) y ~ an(x x>)", c ' e s t - - d i r e :
HM~an(x-x0)n.
110
FIGURE: 4 . 4 . 6 . 2 A
D'o: a) Si n est paire, H M est du signe de an et la courbe reste localement du mme ct de la tangente (M0H) (Fig.4.4.6.2B). b) Si n est impair, H M change de signe avec x XQ et la courbe traverse localement la tangente : .lo est un point d'inflexion (Fig.4.4.6.2C). = 2k+l
FIGURE: 4.4.6.2B
FIGURE: 4 . 4 . 6 . 2 C
Plus n est grand et plus la courbe reste localement proche de sa tangente en Mo. 3) Si le dveloppement limit gnralis de / au voisinage de l'infini est de la forme: f(x) = ao Dans ce cas y = ao + a\X est l'quation de l'asymptote et le signe de donne la position de la courbe par rapport l'asymptote (4.4.5)
retenir
111
4.5.
RETENIR
1) Si / . / ' - / ( n ) sont dfinies et continues sur [a. 6] et / ( " + 1 > dfinie sur ]a, b[. il existe c G ]a. b[ tel que :
f(b)
= f(a) + ( b - a)f'(a) + +
^ ^ - / ( " ) (
Pn(f. x) est un polynme en x de degr < n e t c(x) un infiniment petit avec x. Proprits : si f et g admettent un D.L. l'ordre n : Pn{f + g.x) = Pn(f.x) Pn(fg.x)
Si 5 ( 0 ) ^ 0
+ Pn(g.x) x Pn(g.x)]
= D[P(f-x)
Pn(-.x) = Qn{x) g o <3,(.r) est obtenue par division l'ordre n de Pn(f.x) suivant les puissances dcroissantes. Si 3(0) = 0 Pn(fg.x) = Dn[Pn(f.Pn(g.x))].
par Pn(g.x)
3) Dans le D.L. de / au voisinage de XQ (OU de l'infini). les termes du premier degr donnent 1 quation de la tangente (ou de l'asymptote). le signe du terme suivant prcise la position de la courbe.
1 6 2 o! 4
X X
si x > 0. -
X"
<<l
+ .
112
2) Trouver le dveloppement limit Tordre 6 au voisinage de 0 de f(x) = 1 cos x + Log(cos x). f(x ) Montrer que la fonction g : x > peut tre prolonge par contixq nuit en 0. Quelle est la forme du graphe de g au voisinage de 0 9 3) En utilisant un dveloppement limit appropri, calculer les limites suivantes : i-sinx 2(tgz - s i n i ) - x2 a) lim x 7 -; b) lim = ; o
r-O e
- l - X - ^-
x^>
c) lim Log I
x--0 X
\ X
4) Montrer que la fonction dfinie par f(x) = j 3 L o g j si .r ^ 0 et /(0) = 0 admet un dveloppement limit d'ordre 2 mais n'admet pas de dveloppement limit d'ordre 3 au voisinage de 0. 5) En utilisant la formule de Mac-Laurin. calculer y/ 0,0001 prs. 6) a) Dterminer a et 6 pour que y= l/x3 + x- + x + 1 - Vx2 + 1 + a + soit un infiniment petit d'ordre le plus grand possible par rapport l'infiniment petit principal ^ au voisinage de +oc. Prciser alors Tordre et la partie principale de y. b) Donner un quivalent au voisinage de l'infini de f(x) = X (yx 2 + # F T - Xy/2) . 7) On considre la fonction dfinie sur ] 1. +oc[ par a) Soit x ^ 0 ; montrer en appliquant le thorme des accroissements finis cette fonction sur l'intervalle [0. x]. qu il existe un nombre rel 9(x) = -l
Log ( 1 + * ) "
b) On considre la fonction x > 9(x). Ecrire le dveloppement limit de cette fonction Tordre 2 au voisinage de 0. c) Montrer que 9 p e u t tre prolonge par continuit sur l'intervalle ] 1 . + O G [ . On dsigne encore par 9 le prolongement obtenu. Calculer, s'ils existent les nombres 0'(0) et 0"(O). 8) a) Soit / : [a, b] y 2 une fonction derivable j u s q u ' Tordre n. Montrer que. si / s'annule en (n + 1) points distincts de [a.b]. alors il existe c e ] a . b[ tel que / ( n ) ( c ) = 0.
Exercices et problmes
113
b) Soit g : [0.1] 5. une fonction continue, derivable sur ]0,1[ et soit x fix dans ]0.1[. Trouver un polynme de degr 3 et une constante A telle que la fonction h dfinie par Ht) = 9(t) - P(t) - A
si
Montrer que / admet une application rciproque g f~l et que g admet un dveloppement limit d'ordre 5 au voisinage de 0 que l'on prcisera. 10) a) En considrant les fonctions dfinies par : / ( ) = Log(l + 2 ) et y(x) = L o g ( l + x).
montrer que si deux fonctions sont quivalentes au voisinage d'un point, leurs logarithmes ne le sont pas ncessairement. b) Montrer que si les infinimenis petits y et c sont quivalents, les infiniments grands Log y et Log z le sont aussi. c) Mme question pour z et y infiniment grands. 11) a) Soit /:/> . une fonction derivable sur un intervalle ouvert / d e ?.. On suppose que f'(x) = f(x) pour tout x I. Montrer que / est indfiniment derivable sur /. b) On suppose qu'il existe a G / tel que f(a) = 0. En utilisant la formule de Taylor, montrer que f(x) = 0 pour tout .r I. c) Dduire de b) qu'il existe au plus une fonction vrifiant les hypothses de a) telle que /(0) = 1. d) Soit / : 3. > 3-1 une fonction qui vrifie les hypothses de a) et telle que /(0) = 1. Montrer que pour tout x, y G ?.. on a f(x + y) = f(x)f(y). e) Soit (Un)nx la suite des fonctions dfinie sur I*. par : Un(x) = l
+
2 + x
2 \ + --- + x n n l
Vn E F .
1. Montrer que l' converge simplement sur _ _ et uniformment sur tout intervalle ferm born [a, a]. (On montrera que \Um(x) - Un(x)\ < 77.)
114
n
/2
Xn + yn)
A.r = {Xxi.\x2
\xn)
n.
* ) . y = (i/i.J/2
0). e2 = (0.1,0
0) et e, = (0,0
0 . 1 , 0 . . . .0)
dont toutes les composantes, sauf la i-me qui vaut 1. en) est une base de ?,". appele ase canonique.
La famille (ei. e2
5.1.2.
3 " est muni naturellement d'une structure affine (voir Cours d'Algbre), grce l'application
Muni de cette structure, R n sera not s/" et ses lments sont appels des points, a tant un point de s/". l'application
m H-y x = T^ est une bijection. On dit alors que. par cette bijection. s/" est identifi, en prenant a comme origine, l'espace vectoriel 3.". Un repre dans s/" d'origine a est un couple (a.B) o a G s/" et B une base de 31". Les diverses proprits nonces dans les paragraphes qui suivent dans E.".
116
se traduisent aisment dans le langage de l'espace s/" grce la bijection 6a. En particulier si a est le point 0 (0 0). alors on identifiera un point M de s/1 avec le vecteur x = O\. Les symboles de vecteurs de " ne seront surmonts d'une flche que lorsqu'il y aura risque de confusion.
5.1.3.
A l'instar de la valeur absolue d'un nombre rel, on introduit la notion de norme d'un vecteur de F.n. 5.1.3.1. Dfinition Une norme sur 3." est une application .V : R" vrifiant les conditions suivantes : 1) X(x) = 0 <=> x = 0 2) N(Xx) = \\\X(x) 3) N(x + y) < X(x) + X(y) Remarque: de 1). 2). 3) on tire: (sparation) (homognit) (ingalit triangulaire)
M-
?:+
1= 1
sont trois normes sur S " . .Vi. X?. Xe vrifient les ingalits suivantes: a- G F.". --Vi(r) <X2(x) KK n (1) D'une manire gnrale, on dira que deux normes A et X' sur F:" sont quivalentes s'il existe deux rels a et 6 strictement positifs tels que: aX'(x) < X(x) < bX'(x), VreiF.". (2)
7
II rsulte de (1) que les trois A'i. .Vo et .Ve sont quivalentes sur S". L'ingalit (2) permettra de constater aisment que les dfinitions et les proprits vrifies par une fonction, dans les paragraphes qui suivent, et nonces partir d'une norme X de E". seront encore vrifies, si on remplace dans l'nonc X par une norme quivalente. Dans la suite une norme .V sur S " sera note || ||. On dira que S", muni d'une norme, est un espace vectoriel norm; dans ce cas il sera not (F,", || ||).
Rappels et gnralits
117
) = {mes/", est indpendant de l'origine choisie dans s/1. Les ensembles BF(x0.p) et sont respectivement appels ou/e ferme de centre ro et de rayon p et boule ferme de centre mp et de rayon r. On dira qu'un sous-ensemble Q (resp. O de .e/") de ]?." est ouvert si et seulement si : VT G fi. 3/0 > 0. (resp. Vm eO. 3p > 0, tel que 3(x.p) tel que 3{m,p) Q C O). = fiEl", | | a : - Joli </>
Soit " o ?-" (resp. rao G .c/"). Un sous-ensemble de ~?,n (resp. i/") contenant xo (resp. m, ) est appel voisinage de JQ (resp. 7O): s'il contient une boule ouverte de centre XQ (resp. mo). Remarque : Un ouvert non vide est un voisinage de chacun de ses points.
(homognit) (positivit)
Notation : <p(x, y) = (x,y) = x y. Une famille de vecteurs ( \\ . \ o \'\- ) dans R.rl est dite orthogonale
par rapport si ip( \\ . V3) 0, pour i ^ j . Une base S = (f, , un) est dite orthonorme (par rapport p) si : p(Tt, j ) = 0 si i / _;', , j = 1 , . . . . n et p(Tit, f) = 1, z = 1,. .. , n.
118
On montre que pour un produit scalaire donn, il existe toujours des bases orthonormes. Par rapport une base orthonorme (T7i un). l'expression de est :
=1
5.1.5.2. Exemples
n
ou x
= (^
n) et
y = (yi i/n). dfinit un produit scalaire sur S " pour lequel la base canonique est orthonorme. 2) Pour n = 2, l'application
[x.y)<-+ x -y =
dfinit un produit scalaire sur 2.2. 5.1.5.3. Dfinition L'espace vectoriel 21" est dit euclidien s'il est muni d un produit scalaire. Soit - un produit scalaire sur ?,". L'application . x) dfinit une norme, dite euclidienne, sur S. 5.1.5.4. Proprit Si II II est une norme euclidienne sur i n . alors on a :
-2/1 < lk
le indiquant le produit scalaire associ || ||. Preuve Soit (|
n n
V ^
!=i
--
lKll =
:rr E Z^ >
x
et
119
ri
1=1
5.2.1. Dfinition
On appelle fonction de n variables toute application
f:D>Z-.
x = [xi xn)t-> f(x) = f(xi xn) d'une partie D de ]?." dans 2..
5.2.1.1. Exemples
V*2 + y2
120
fon / ( * ) = /
si et seulement si Ve > 0, 3S(s. xo) > 0 tel que (||* - .roll < et x e D) =>(\f(x) - 1\ < s) 5 . 2 . 2 . 2 . Dfinition Soient D C 5-" et /:)) 5 L une application. Soit xo D tel que -D {O} ~ J'o- On dira que / est continue en Xo si et seulement si
5.2.2.3. Remarque Les dfinitions de limite et de continuit pour les fonctions de plusieurs variables sont identiques celles des fonctions d'une variable, la valeur absolue dans 5. tant remplace ici par la norme ; on aura donc les mmes proprits sur les limites et la continuit que pour les fonctions dune variable.
existe.
Si cette limite existe, on la notera Duf(a) ou d/(<i) et l'on dira que c est la drive partielle de / en xo relativement u.
5.3.2. Remarques
1) Comme a fi. il existe p > 0 tel que B(a. p) C fi et si \t\ est assez petit, a + tu B(a.p) ; donc f(a +tu) est bien dfini pour t voisin de 0. 2) Posons F(t) = f(a +tu). F est dfinie dans un voisinage de 0 dans
Drives partielles
121
5.3.3. Dfinition
Soient Q un ouvert de Z " et soit / : l 7. une application. Soit a G Si. On appelle dnie partielle de / en a par rapport la variable x,. le nombre rel, s'il existe. DeJ(a). o e, est le i-me lment de la base canonique (ei en) de ]?.". On notera :
DeJ{a)
= lt-*0 i
Ainsi pour le calcul de f'J.(xi.X2 xn). il suffit de driver / comme une fonction de la seule variable x. les autres variables jouant le rle de paramtres. Exemple f{x.y) fi = A r c t g | . (x.y)s." \ * y2-~y x ?.. ft ) 1
i _
t-t-0
Notation : si i j , DjiDJHx) = DlJ(f)(x) = Q si i = j. D,(D,f)(x)=Dlif(x) = De mme si les D,jf(x) sont dfinies dans un ouvert contenant a et admettent des drives partielles par rapport aux variables x^ en a. on pourra dfinir les drives partielles d ordre 3 de / en a.
122
En itrant ce processus, on dfinit la notion de drives partielles d'ordre p d'une fonction en un point : l'existence des drives partielles d'ordre p de f en a suppose celle des drives partielles d'ordre A - de / dans un ouvert contenant a pour 1 < k < p. Le nombre de combinaisons p p de n lments tant gal nr, il y a a priori np drives partielles d'ordre p de / . Exemple: f(x.y) = Arctg . On a dj calcul les drives partielles d'ordre 1 de / . Pour les drives partielles d'ordre 2 on a :
d
J\ _
x)
'2xy
U-2 + !/2)2
f
J 3
A (dJ
dy\dy
f" = f -t-1
Jry
y - x~ _ fn (.r2 + y2)2
Jyx
dy\drj
'
5.3.6. Dfinition
Soient Q un ouvert de ." et / : fi > 3-, une application. On dira que : / est de classe C sur fi si / est continue dans fi. / est de classe C1 sur fi si toutes les drives partielles d'ordre 1 de / sont dfinies et continues dans fi. / est de classe C'p sur Q si toutes les drives partielles d ordre p de / sont dfinies et continues dans fi. / est de classe Cx si pour tout p El1, les drives partielles d'ordre p sont dfinies et continues sur fi.
On calque la dfinition de la diffrentiabilit d'une fonction de plusieurs variables / : fi C ?_" y ?.. en un point de fi sur celle d'une fonction
123
d'une seule variable en considrant cette fois jS?(!r. ".!?..) et en remplaant la valeur absolue dans ?. par la norme sur 2 " .
5.4.1. Dfinition
Soient xo E n , f un voisinage ouvert de xo dans S " et / : f > 2 une application. / est diffrentiable en XQ si et seulement si: 31 G-Sfp".:*) tel que: V > 0. 3S(s.x0) > 0 tel que \\x - * o | | < S => \f(x) - f ( x 0 ) - L ( x - x o ) \ < s \ \ x - x o
(1)
5.4.2. Proposition
Si / est diffrentiable en XQ. alors l'application linaire L est unique. Dmonstration L\ et 2 tant deux lments de jSf(H". !?.) qui vrifient la proprit (1) de la dfinition 5.3.1. soit s > 0. Il existe S(s) > 0 tel que pour tout u G 7.". ||u|| < S(s) entrane :
\\u\\.
i(u)| (2)
-l2()|<2||U|| Si L\ tait diffrent de 2- il existerait Zo G 7- n . :o ^ 0. tel que 2(~o)- On pose r = " - 0 - On a | | c | | = S(s) et (2) entrane
Ceci tant vrai pour tout s > 0. on a i(co) 2(~o) 0- c e qui donne une contradiction. Par suite L\ Ln-
5.4.3. Dfinition
Si / est diffrentiable en xo- l'application linaire L de 7." dans 1, donne dans la dfinition 5.3.1 s'appelle la diffrentielle de / en xo-
124
5.4.4. Remarques
1) L'existence de la diffrentielle d'une fonction / en un point xo reflte la possibilit d'approcher / par l'application affine x -> /(aro) + d/(*o) (x - x0) = (f{x0) -df(x0) xo)+df(xo) x.
L'ingalit (1) de la dfinition 5.3.1 mesure l'erreur de cette approximation quand x est voisin de XQ. 2) s i i e-S?(ffi",:?_),alors
1= 1
En particulier si / est diffrentiable en xo, alors / est continue en XQ. 3) On montrera, comme pour les fonctions d'une variable, que si / et g sont differentiates en ^o- il en e s t de mme pour a / + 3g ( a . J G S ) et fg et on a : d(o/ + 3g)(x0) = adf(x0) + 8dg{x0) d(fg)(x0) = f(xo)dg(xo)+df(xo)g(xQ)
5.4.5. Exemples
1) Si / : fi " - S est constante (f(x) = t0, x G Q). alors / est diffrentiable en tout point de Q et pour tout xo G 0 . d/(^o) est l'application linaire nulle de ?." dans S. 2) Si / : S " > T. est une application linaire, alors / est diffrentiable en tout point de ?." et d/(^o) = / pour tout Xg G ?." Par suite, si g est une application affine ayant pour partie linaire / . alors dg(xo) = df{xo) = / en tout point x0 G ?.".
125
5.5.1. Thorme
Soient fi un ouvert de P;" et / : fi P." une application. Si / est diffrentiable en o G fi- alors pour tout u G M", la drive partielle d uf(xo) existe et on a :
duf(x0) = df{x0) -(M).
Dmonstration Soit u G 7.". Si / est diffrentiable en XQ. pour tout S > 0. il existe i(s) > 0 tel que : \f(xo+tu)-f[xo)-df(xo)-tu\<e\\tii\\
Si w = 0. a l o r s duf(x0) = 0 = df{xo) ()
si|H|<J(ff)
(1)
S (s) On suppose maintenant w ^ 0: dans ce cas si 0 < \t\ < y.r-.. alors de (4) on tire :
f(xo+tu)-f(xo)
t (5) montre alors que df(xo) u =
-df(xo) duf(xo).
(2)
5.5.2. Corollaire
Soit Q un ouvert de ]?,n et / : Q -4 P. une application. Si / est difFrentiable en XQ fi. les drives partielles ^r(XQ) oxi existent et si u = (uj un) G ?-". alors: -^(xo) oxn
Dmonstration
)- d'aprs 5.5.1
!=!
126
s{x xo) =
'
l i m e(x,xo) = 0 et o n (x-xo)
lim
i-Ho
+ \\x-
xo\\s(x.
x0)
(1)
(X.O) = O
<y,
en
posant (j-.ro)
1=1
= 0 et
n
(2)
En considrant / comme une application de s/" dans ]?.. on appelle gradieni de / en 3/o et on note grad f(Mo) le vecteur d'origine -I/o et de coordonnes (.'lo) T^ (^h)- Si / est diffrentiable en tout oxi oxn point de Q. on obtient une application graf : Q -> ?."
grad f s'appelle le champ de gradients associ / . En posant "!*( j . xo) = i(x. J Q ) ( 1 . 1 1). l'quation (2) s'crit :
(3)
lim
127
5.5.3. Remarques
1) Les drives partielles d'ordre 1 peuvent exister en un point, sans que la fonction soit diffrentiable en ce point. Exemple : La fonction / : I?.2 ?_ dfinie par : 0 s i * = (0.0)
{ ^ 7
pour ( . J / ) ^ (0.0)
-=-. il rsulte
1 + A-
que / n ' a pas de limite en (0.0). P a r suite / n'est pas diffrentiable en (0.0). Cependant les drives partielles -(0.0) et -^(0.0) existent et dx dy
sont toutes les deux nulles. 2) Les projections p : Ir." > 2,. p, (xi xn) = x, sont des applications diffrentiables (puisque linaires) et la diffrentielle de p, en chaque point concide avec p, : si l'on note dx, la diffrentielle de p,. on a
dx,{u) - u,.
df(xo)(u) = V]
d'o
df(xo)=
3) Sfr-J1 .J-.) est un espace vectoriel de dimension n. Pour / = 1. 2 .. . . n. dx, G. -$?(?,",?.) et si (fi en) est la base canonique de 2.". on a
I 1 pour = j
on voit facilement que (d J i . d ^ 2 d xn) est une base de jSf(3-.".^). On a vu que l'existence des drives partielles en un point pour une fonction / ne suffit pas assurer la diffrentiabilit de / en ce point. Toutefois si la fonction / est de classe C 1 sur un ouvert Ci de !R". alors / est diffrentiable en tout point de Q. Plus prcisment :
5.5.4. Thorme
Soient Q un ouvert de 2." et / : Q 2," une application. Soit a Q. Si les drives partielles - . / = 1 n. existent dans un voisinage de ox, a et sont continues en a. alors / est diffrentiable en a
128
2, ,an).
S o i e n t r i . r 2 , . . . , ~n-i et ~o dfinis p a r : z\ = ( a i , a 2
a n _ i . xn). z2 = ( a i , a 2 a n _ 2 . xn-i. xn) et zk = (ai an-k.xn-k+1. xn-k+2 xn) avec z, = a et zn = /(?) /(a) peut s'crire sous la forme (2)
1= 1
apparaissant comme la drive de / considre comme fonction de ox, la seule variable x,, les autres variables jouant le rle de paramtres, on peut appliquer le thorme des accroissements finis pour les fonctions d'une variable la restriction de / au segment joignant c,_i et r,. Il existe alors un point j / n _ ; + 1 de ce segment tel que:
f(z) / ( ) = ( y ) ( x )
D'o
f(x)-f(a) =
1= 1
df
- a-l
= i
et
(.)-
etona - ( y , ) --(a)
<s.
i = 1,2
n.
n . (3) d o n n e :
< nlk-al
dx,
129
5.5.5. Exemples
1) Soit / la fonction dfinie sur l'ouvert Q = {(x.y)/x2 + y > 0} de ~?? par f(x.y) = \Jx"1 + y. Dterminons la diffrentielle de / au point a = (1,1). f'Jx.y) = f'y(x.y) = = . fx et / ' sont
dfinies et continues dans Q. Donc / est diffrentiable en tout point de /2 1 fi. et au point a - (1. 1) G Q on a : df[a) = ~-{dx + -dy) 2) De mme la fonction f(x, y) = Arctg - est de classe C 1 sur l'ouvert x _ Ci = _-," x S et en tout point (x. y) de il. on a : xdy-ydx -y + x2 + y dy =
5.5.6. Remarque
Si / et g sont des fonctions differentiates en un point a d'un ouvert Q. il en est de mme de / + g. A/(A 6 ?.). fg et si g(x) ^ 0 sur Q. et g on a :
dx,
-ai)~^(a)etH
df
= hog.
130
il e x i s t e S (s) > 0 t e l q u e si \\x a\\ < S. a l o r s : \h(x) - h(a)\ < ;\\x - a\\ (1)
Les g t a n t drivables en to. il existe 3 > 0. et k > 0 tel q u e si \t o| < 3- o n a : \g,(t) g,(to)\ < k\t to\ p o u r / = 1. 2 . . . . n. C o m m e l l ( ) ( M I I |5,()-fll(o)|. = 1 n . s i | - o | < J . alors ;(o)||<A-|/-o|S o i t -) = i n f ( .3. Y ] . Si \t - f o | < " ( 1 ) e t ( 2 ) i m p l i q u e n t : V *J \H{t)~H(to)\<sk\t-to donc H est derivable en t0 et H'(t0) = 0. Or (2)
9,(h))~
5.6.2. Remarques
1 1) Le symbole * dsigne le changement de variables : *{.r, = g (t) n}. on notera * / la fonction fog. On a alors : *(fih) = (*/i)(*/ 2 ). i
x H 4 X,(X) = x,
o x,(x) est la i-nie composante de x. alors *x, = g, et dans ce cas particulier la formule (1) de 5.6.1 s'crit d*x, = *d.iv Dans le cas gnral, la formule (1) peut s'crire:
c'est--dire
df
131
(1)
2) Le calcul prcdent se gnralise aisment. Supposons par exemple pour le cas de 2 variables que le symbole * indique le changement de variable \x = g{u.v,w) yy = h(u. i\u) *f dsigne alors la fonction */ = F : ( u . r . u ) 1-4 f (g(u. v. u-),h(u. v, w ) ) .
Si f(x.y) est diffrentiable. et si g et h admettent des drives partielles d'ordre 1. on a: (Thorme 5.6.1)
dF
du ~
d(*f)
du ~ * d~u
Jl
,, dh
Jy
du
(2)
et des formules analogues pour u- et r. En posant dx dy * du la formule (2) s'crit : d*x du d*y du dg
du dh
du
d*f
du -*
(fdVrdu
fl + Jy du
9y
3) Si en outre g et h sont differentiates la relation (1) de 1) entrane : * d x = d *x = d g = g[ d u + g[ d v + g'w d w *dy = d*y = dh = h'tdu + h[dv + h'udu-
d'autre part :
d F = d *f = F; d u + F[ d v + F'u d u*df = *{f'xdx = (*fz9't + f'ydy) + *f'yh't)du+ =f'T*dx (*f'Tg[ + f'y*dy )dv+ ( * / X + * / X ) d a= *f'x (g/tdu+ g[ d v + g'u d u) + *f'y (h'tdu + h[ d v + h1^ d w) + *fyh[
132
La formule (3) gnralise (1) de 1) et condense sous une forme concise une bonne partie du cours d'analyse. La formule (3) s'interprte en disant que l'oprateur * (changement de variables) est transparent pour l'oprateur d (differentiation). Exemple Soit * le changement de variables x = g cos 9, y g cos 9, faisant passer des coordonnes cartsiennes aux coordonnes polaires. En appliquant (3) on a :
(1)
Corollaire Soit / une application differentiate sur un ouvert convexe Q de ?:". Si df[x) = 0 pour tout i ! i , alors / est constante sur Q. Dmonstration du thorme Posons F(t) = /(y?()) o : [0.1] > Q est dfinie par tp(t) = (1 t)a + tb. F est continue sur [0,1] et d'aprs 5.6.1, F est derivable sur ]0.1[ avec
=i
a r
=
=i
D'aprs le thorme des accroissements finis appliqu F sur [0.1], il existe 9. 0 < 9 < 1, tel que F(l) - F(0) = F'(9){10) : d'o le rsultat.
133
5.7.2. Remarques
1) dans s/"' la formule (1) s'crit sous la forme :
l/(&)-/(<OI<*ll&-llEn effet soit A > 0 tel que Va: G fi . formule (1) donne :
dx,
(2)
< A. i = 1
n. La
t e l l e q u e - e t - s o n t d f i n i e s d a n s u n v o i s i n a g e d u p o i n t (a.b)
dx ay
ay dx
dx ay
A ( u . i ) = h(a + u ) - h ( a ) = f ( a + u . b + v ) - f ( a . b + i ) - f ( a + u.b) + f ( a . b ) - X u v
134
ox oy
ox oy
Soit s > 0 : il existe a > 0 tel que si | | ( j \ y) - (a. 6)|| < a . alors di \dx
< c.
dxdy'
'
dy
(1)
< |
On a alors ||(.r.6 + v) (a,6)|| < a . En appliquant le thorme des accroissements finis la fonction
En appliquant de nouveau le thorme des accroissements finis la fonction h sur l'intervalle [a. a + u]. il rsulte de (2) : \A(u.v)\ D'o A(u.v) uv Maintenant posons /J = = \h(a+u)-h(a)\<s\v\ lim
(u.t )->(0 0)
\u\.
:
- = 0.
UV
dydx
[a.b) et
/JUV.
B{u. v) = f(a + u.b+ v) - f[a + u.b) - f[a.b + v) + f{a, b) )n montre de hm B(u.v) '- = 0. UV =A-u=0
(u i ) - v ( O . O )
lim
(ti i )-s-(0 0)
A(u.v)-B(u.v)
UV
donc A = u.
135
D'aprs le thorme 5.6.1. F(t) admet des drives jusqu' l'ordre p continues. La formule de Mac-Laurin d'ordre p donne pour t = 0 et t - 1. F(l) = F(0) + F'(0) + ~F"(0) + + ^-F(i>)(^)2! p!
avec
0 < < 1.
(1)
Or,
1(2)
= ^ et dx~
_ dxj dx,
En posant
df(r
2)
{ri+r2+ dx"1 1
1
+rp)f dxw;r'
' p
dv
ri T
f(b)
f(a + ^ 9 o 1
(P !)
'
n
Q)(6 !
-) f
'
a ]
'
2! i
i
'. ( a
'
n
'
or
'\
"T
* (P)
(2)
L.=i
d-Ci
.i= 1
o c est un point du segment ouvert ]a. 6[. Remarques 1) Pour n = 2 et p = 2. la formule (2) s'crit :
+kf'y(x0.y0)
136
2) E n u t i l i s a n t l a c o n t i n u i t d e s drives p a r t i e l l e s d ' o r d r e 2 . ( 3 ) p e u t s'crire, en posant M = (xo + h. yo + k) et Mo = (XQ. yo) : f(M) = f(Mo) + (hf'r + kfy)(M0) + (h2 + k2)s{h.k). + \{h'f^ avec + -2hkf'Jy + lim k2f'y'2)(M0) (4)
;{h,k)=0
Preuve En effet posons hi(x) = f(x.yo) et hj[y) = f{x0. y). h\ et h2 admettent un extremum respectivement en x0 et i/o- Donc : A i ( i o ) = / ; ( i o . / o ) = O et h'2(y0)=f'y(xo.yo) = 0.
Remarque Soit / : Q > I?. une application diffrentiable de classe C2 sur un ouvert Q de ~~.2. D'aprs la proposition prcdente, si / admet un extremum en Mo G Q. alors f'x(Mo) et f'y(Mo) sont nulles. Mais cette condition n'est pas suffisante pour affirmer que / admet un extremum en Mo- Par exemple si / est la fonction (x. y) > x3 + y3. alors /(0. 0) = 0 et /y (0.0) = 0. mais (0.0) ne correspond pas un extremum local, car dans n'importe quel voisinage de (0.0). il existe des points vrifiant f(x.y) < /(0. 0) et d'autres points tels que f{x. y) > /(0.0). Si f'T(Mo) et fy(Mo) sont nulles, pour vrifier que / admet un extremum en .I/o. on utilise souvent la formule de Taylor : / ( j 0 + h.yo + k) = f(xo.yo)
avec
lim
;(h. k) = 0.
1 A .fr1 ( 0 . 0 )
d2f
(Mo),
137
p(h.k) est un polynme de degr 2 en h. Il gardera un signe constant si r 2 pq < 0 ; dans ce cas. on a : f(M) /(-I/o) > 0 si p > 0 et / admet un minimum local en Mo f(M) - f{M0) < 0 si p < 0 et / admet un maximum local en Mo. Si r 2 pq > 0, p(h.k) ne garde pas un signe constant : / n'admet pas d extremum en a. Exemple Trouver les extremums de la fonction f(x, y) = 2x + 8y x--2y\ =2(1-*): f'y=M2-y). Ma = (1.2).
f'AMo) = 'y(M0) = 0 ^
Mo est un m a x i m u m pour / .
y? est dite fonction implicite dfinie par l'quation (1). Preuve 1) Supposons par exemple f'y(a.b) > 0. Comme f'y est continue, il existe un voisinage W(a.b) = [a[. ai,] x[i, 60] de (0,6) tel que f'y(x.y) > 0
138
et continue sur ]\'(a.b). f'r et / ' tant continues dans cet ensemble. Si \V(a, b) est assez petit, alors il existe un rel k > 0 tel que : <k. V(x.y)\Y{a.b). (1)
o c2 ]6. 62[
= (6i-6)/(a.ci).
e]&i.6[
d ' o / ( a . 6i) < 0. C o m m e les fonctions x >- / ( j , 6i) et x >-> / ( x . 6 2 ) sont c o n t i n u e s , il e x i s t e u n i n t e r v a l l e centr en a. [ a i . a o ] C [a^.a!)]. tel q u e f[x.b2) > 0 et f(x.bi) < 0 pour tout x [ai.ao]. En p o s a n t \'(a.b) vrifie sur V(a. b). = [ a i . a o ] x [61.62]. l ' i n g a l i t (1) de 1) est encore
3) P o u r t o u t x [01.02]. considrons la f o n c t i o n
y ^ rr{y) = f{x.y) x est continue et derivable sur [61. 62] et on a 'x(y) = f'y(x. y).
Les ingalits ^r(6i) < 0 et x(b2) > 0 entranent, d'aprs le thorme des valeurs intermdiaires, l'existence d'un point yx [61.62] tel que T{yx) = 0. Puisque y'x(y) > 0. y [61.62]. y est strictement croissante sur l'intervalle [61.62]. Donc yx est l'unique point de cet intervalle vrifiant Ainsi la correspondance x 1- yx dfinit bien une application sur l'intervalle [ai. a 2 ]. Notant cette application, on a : y(a) = b. f(x. (x)) = 0 pour tout x [a. 6]. 4) y> est continue sur [ai. a2]. En effet soit XQ [ai. 02]. xo fix. \'(a. b) tant convexe, pour tout x [01.02]. il existe d'aprs le thorme des accroissements finis, un point Cx appartenant au segment ouvert reliant (xo,(xo)) et (x.^(x)) tel que: 0 = / (x. *(x)) - f (x 0 , A*a)) = (x - xo)f'r(Cx) + (y(x) - f(x0)) f'JCr)
Formes diffrentielles
139
d'aprs (1)
Par suite si x tend ^o- ?(*) tend vers ^ ( J O ) : et y e s t continue en j"o5) p est derivable sur Jai.aoJ- Soit 2" E [01.02], x fix. Soit /J assez petit de sorte que x + h Gjai. 02t- D'aprs la continuit de ~p on a : ^ ( j + /i) = p{x) + s(h), avec lim s(h) = 0.
h->0
D'autre part d'aprs la formule des accroissements finis, il existe 9, 0 < 6 < 1. tel que:
0 = f(x + h.f{x + = hfx [x + 9h,(x) h))-f(x.f(*)) f(x)) S'y (x + 9h.<p(x) + 9s(h))
f (x "(x)) le second membre tend vers f 'y, les fonctions / ' et /', tant continues et S'y i - ^(x)) > 0. Par suite -p est derivable en x et on a :
f'x {**>{*))
x
Jy
(X-Y\X)>
5.8.2. Remarques
1) On peut gnraliser le rsultat prcdent aux fonctions de n variables, n > 2, (avec une dmonstration analogue). Par exemple si / ( x . y, z) est une fonction de classe C 1 vrifiant S'z (xo- Ho- zo) ^ 0 et Sixo- Jo- 20) = 0. il existe un voisinage ouvert V" de (XQ, J/O) et une application
(x.y)
H->.
p(x.y)
2) Si on sait que est diffrentiable, on peut trouver les relations (1) aisment. En effet soit le changement des variables
= *U'rdx + fyy + f:z) = *f'xd*x + *f'yd*y + *f':d*: = (*f'x + *f':'x)dx+ (*/; + *f'^'y)dy = 0
d'o :
3) L'quation f(x.y) 0 dfinit implicitement une courbe <de 7r. En un point (^o-J/o) S ^ tel que fy(xo.yo) # 0. / = y(j) est une reprsentation cartsienne de if au voisinage de JO. L'quation de la tangente 'ri au point (JO-/O) e s t
- .ro) = - f | ^ ^ | ( ^ - x0).
4) Soit / une fonction numrique de classe C 1 sur J.3. L'ensemble des points .1/ dont les coordonnes vrifient l'quation f(x, y, z) 0 est une surface (S) de 3.3. Trois fonctions x = .r(tf). y = y(t) et ; = z(t) drivables sur un intervalle J, reprsentent paramtriquement une courbe F de (5) si :
F(t) = f(x(1).y(t).;(t)) = 0 pour tout t e l . ( x = x(t)
U = r(f)
= (f'r ( x ( t ) , y ( t ) , z ( t ) ) . J'y ( x ( t ) . y ( t ) , z ( t ) ) . f'z ( x ( t ) . y ( t ) . : ( t ) ) ) e s t n o r m a l F e n M[t) = ( x ( t ) . y ( t ) , z ( t ) ) .
Ainsi les courbes de (5) passant par un point A/o ont leurs tangentes en ce point situes dans un plan Po passant par Mo et perpendiculaire Xo = (flx(M0).fy(M0).f':(M0)) appel plan tangent (5) en Mo. Xo est le vecteur normal (5) en Mo(xo. yo. zo). Le plan Po a pour quation :
(x - xo)f'AMo) + (y- yo)fLWo) + (z - zo)fi(Mo) =0
Si l'quation de (5) est donne sous la forme : z y>(x. y) ou z y>(a?. y) = 0. alors $o= (-(*o,fo).-^(.ro.i/o).l) (1)
141
des diffrentielles dx et d y, P et Q tant des fonctions sur Q. 5.8.3.2. Dfinition Soient deux formes diffrentielles ui\ = Pi d x+Qi d y et ui2 = P2 d x + Q2dy dfinies sur un ouvert Q de M2. Par dfinition:
h) u!1 + u!2 = (Pi + P2) d x + (Qj + Q2) d y iii) fui\ = (/Pi) d x + (/Qi) d y, si / est une fonction dfinie sur 7 5.8.3.3. Dfinition Une forme diffrentielle w dfinie sur un ouvert Q de ?.2 est dite exacte s'il existe une fonction / diffrentiable sur 2 telle que ^J = df5.8.3.4. Dfinitions et remarques i) Une quation diffrentielle du 1er ordre est une quation de la forme : ^ = P{x,y)dx + Q{x.y)dy=O(1)
ii) Une solution de (1) est une fonction *j/ = f(x) dfinie sur un intervalle 1, telle que
*UJ
= 0
(2)
ou encore, ce qui est quivalent. P(x,*p(x)) + Q(x.tp(x))<p'(x) = 0 pour tout x I. iii)1 Le graphe d'une solution de (1) est appel une courbe intgrale de (1).
142
Soit F une courbe intgrale de (1) d'quation y = (x). L'quation (2) exprime que le vecteur \ = (P(x. (x)), Q(x. (x))) au point Ai(x. p(x)). est normal T
~ = df = f'xdx + f'ydy = O.
d')
Si le domaine de dfinition de / est convexe, les solutions de (1") sont les fonctions dfinies implicitement par : f(x,y)
5.8.3.5. R e m a r q u e s 1) si l'quation (1) est de la forme : = a(x)dx-b(y)dy. (3)
= k,
(2')
elle est dite variables separables. Dans ce cas. si A(x) (resp B[y)) est une primitive de a(x) (resp de b(y)), la fonction f(x.y) = .4(2-) B(y) vrifie ui = df\ donc ui est exacte et les solutions de (3) sont dfinies implicitement par l'quation A(x) B(y) = k, o k est une constante. 2) Soit ui P(x.y)dx + Q{x.y)dy sur un ouvert Q de ?. 2 . c'est--dire : ^=d/. une forme diffrentielle exacte (4)
o / est une fonction differentiate sur Q. Si / est de classe C" on voit facilement que (4) entrane: Py[*.y) = Q'A*.y) (5)
Rciproquement on montre que la condition (5) entrane que jj est exacte. 5.8.3.6. Exemples Intgrer les quations diffrentielles : 1) xdx + ydy = 0, 2) xdy - ydx - 0. En posant f{x.y) = x2 + y2, les solutions de 1) sont dfinies par l'quation implicite : x2 + y2 = k car 1) <=> f'T d x + f'y d y = 0. D'o les fonctions y = \/k x2 et y yk x2 sont solutions de 1). La solution dont le graphe est (0,0) est dite solution singulire. De mme pour 2) la solution dont le graphe est (0, 0) est une solution singulire. Pour x 7^0, 2) est quivalente : - dy-^ dx = f'x dx +f dy = 0. y x x1 o f{x,y) = . D'o les solutions sont donnes par = k, k tant une x x constante.
retenir
143
5.9. RETENIR
1 Soir Q u n ouvert de _-_". / : Q y_ _ u n e fonction sur Q. O n n o t e e (f i. 2 n) la b a s e c a n o n i q u e d e !?.". 1.1 Drive p a r t i e l l e de / p a r r a p p o r t la v a r i a b l e x,. a u p o i n t Co : df , . .. /(-co + f e , ) - / ( j 0 ) -r- 0ro = h m
OXi
-fO
o L e Sfr".!:) de / en
XQ
et lim z(x-x0)
et
o d J"z est la diffrentielle de l'application x > x,. 1.3 Existence de la diffrentielle en XQ. Si les drives partielles -- (i = 1.2 n) sont dfinies dans un voisinage de X, et continues dx, en xo. alors / est diffrentiable en x,. 2 Diffrentielle d'une fonction compose Soient / : Q > ?.. diffrentiable en i o . et j : / C I -> ! C ?-" derivable en Q- avec g (ta) = J'o- Alors i 7 = fog est derivable en ?o et
3 Formule des accroissements finis Soit / : Q >_-. diffrentiable sur Q. Alors pour tout couple d'lments a. 6 de Q tels que [a. b] C 0 . il existe 9 (0 < ( 9 < 1). tel que :
144
4 Thorme de Schwartz Soit / : fi > S une fonction. Si deux drives partielles d ordre p(p > 2) de / sont dfinies dans un voisinage de a G fi et continues en a. et si elles ne diffrent que par l'ordre des drivations, alors elles sont gales en ce point. 5 Formule de Taylor Soit / : fi > 3, de classe Cp sur fi. Alors pour tout couple de points a. b de fi tel que [a.b] C fi. on a :
- a'
(p-1)
(P-1)! [i
^-^ 0/ i 1
+ -7
L=i
o c est un point du segment ouvert ]a. &[. 6 Thorme des fonctions implicites Soit / : fi->5.
(x.j/) ^ f[x.y) une fonction de classe C1 sur un ouvert de fi de 5.2. Soit l'quation :
On suppose que : 1) il existe (a. 6) G fi tel que /(a, b) = 0. 2 ) / ( a , &),0. Alors il existe un intervalle [01.02] centr en a et une fonction p : [ai. 03] > E. continue telle que :
/'
(J
"(
f'(xf(
Exercices et problmes
145
1) Soit / la fonction dfinie sur M2 par f(x, y) = ^ ( 0 , 0 ) e t / ( 0 , 0 ) = 0. a) / est elle continue en (0,0)? b) Montrer que V A G M, la fonction x > f(x,\x) quand x tend vers 0.
XV
^ si (a;, y) ^
2) Soit la fonction $ dfinie sur M par <3>(f) = 1 si t est rationnel, et 0 sinon. On considre la fonction / : M2 -> M
a) Montrer que / est continue et differentiate en (0,0). b) / est-elle continue, differentiate sur M2? 3) Soit la fonction u dfinie sur IR par u(t) = t2 sin - si t ^ 0 et w(0) = 0. On considre la fonction F dfinie sur M2 par F(x, y) = u(x) + u(y). Montrer que F est differentiate mais que les drives partielles ne sont continues. 4) Soit / la fonction dfinie sur M2 par f(x,y) = xy si |y| < |a;|, d2 f d2f f(x,y) = -xy si \y\ > \x\. Montrer que ^ - i - ( 0 , 0 ) et i(00) existent et sont diffrents. 5) Dterminer le domaine de dfinition des fonctions suivantes, et calculer leurs drives partielles si elles existent : f(x, y) = x2 sin2 y;
I \ / X
~\~ 11
X \
g(x, y) = Arctg J
X
h{x,y) =Log
u{x, y) = e
1,
-ixy.
7) Trouver trois nombres positifs dont la somme est gale un nombre positif a donn, et dont le produit est maximum. 8) Donner l'quation du plan tangent et l'quation de la normale la sphre S2 = {(x, y, z)/x2 + y2 + z2 = 9} au point P ( l , 2, 2).
146
i) Montrer que / est de classe C1 sur _-.2. ii) / est-elle de classe C 2 sur 72r! 10) Soient n G I 1 ". p G I1". Soit / :?."> 3\ une fonction de classe C et homogne de degr p (f{tx) = tpf(x). W G ?-+)
p
t>0
ii) En dduire que f(x) Pp(x). 11) Montrer que la relation e'r~y = 1 + x + y dfinit implicitement une fonction telle que y = y{x). au voisinage de (0.0). Dterminer y' et " au voisinage de (0.0) et en dduire
lim
r-t-0
^~r2
,r
12) Soit / la fonction dfinie sur ~rr par f(x. y) = y3 + xy e r . On considre la relation suivante: f(x.y) = 0. a) Montrer que cette relation dfinit, au voisinage du point .4(0. 1). la variable y comme fonction implicite de la variable ,r. b) Montrer que cette fonction admet, au voisinage de 0. un dveloppement limit Tordre deux. Dterminer ce dveloppement. 13) Soit / : ~}z I?. une application differentiate de classe C 1 . On suppose qu'en tout point (x. y. z), -w-(x. y. z) ^ 0. Soit 5 la surface dfinie par f(x. y. z) = 0. a) Montrer que pour tout point M G 5.3. la drive partielle de / par rapport un vecteur u G ?-3 not d a / P - O est maximale quand
inf = Sup
f(x
n-l
148
Pour tout S e D. et pour tout 5' G D. on a : m[b - a) < (/, S) < S(f,S) <M(b-a). 6.1.1.2. Dfinition On appelle intgrale suprieure de / sur [a. b] le rel /(/) = inf (S{f, S)), et intgrale infrieure de / sur [a. b] le rel Z ( / ) = S u p 5 ( / , 5 ) , SeD. Thorme (de Darboux) Soit / : [a, 6] > 7. une fonction borne. Pour tout rel s > 0, il existe un rel rj > 0 tel que, pour toute subdivision 5 de [a.b]. telle que ^j(S) < r, on ait : S(f, S) > /(/) - 5 et S(f. S) < /(/) + s. Dmonsiration Soit s > 0. Il existe une subdivision 5' = {x'o. x[ telle que :
n-l
x'n} de [a. b]
.U;=
Sup
/(r)(0</<n)
Soit 5 = {xo, xi xm} une subdivision de [a, b] de pas J(S) < r. Pour tout i, 0 < ? < n. il existe p (0 < p < m) tel que: xP-i < x'i < Xp < < xq < x'i+1 < xp+i. La portion en S, de la somme
_ m-l
S(f, S) = ^2 (xk+i Xk)Mk. o : \'Ik = au segment [x'. x'l+1], (0 < i < n). est :
Jl ^ ^ p
x
Sup
z llVIp 1 T
r ^
q1 l't-iq1
T" V * - _)-1
q^q-
On a : 5,- < (J P - x,')A/p_i + (zq - rp)A// + (x'l+1 - xq)Mq, car : Mp < M-, Mp+i < M, . . . . Mq < M[. ce qui entrane :
d'o : Si < (x't + 1 - x[)M[ + 2H(Xp - x\) + 2H(x'i+1 - xq), et : 5, < (x't+1 - x',)M! + 2Hrf + 2H = (x't+1 - X',)M> + AHrf.
149
n-l
n-l
4nH?
iriHr]'. ce qui entrane : S(f. S) < S(f. S') + -. car : An Ht)' < ' 2 $n(n + 1) On adone: S(f.S) < / ( / ) + \ + \- do: 5(/,5) <l{f)+s. On dmontre de la mme manire que. pour s > 0 donn, il existe T]" > 0 tel que pour toute subdivision S de [a.b]. l'ingalit 07(5) < ij" implique S(f. S) > /_(/) - 5. En prenant n = inf(/. ?/'). alors pour toute subdivision 5 de [a&], Tingalit ^j(S) < rj implique : 5(/, 5) < /(/) + s et 5(/. 5) > /(/) - .
Consquence : Si (5n ) est une suite de subdivisions de [a. 61 telle que lim (Sn ) 0. alors: lim ^(f.Sn ) = /(/) et lim S(f.Sn )=/(/).
6.1.1.3. Dfinition
Soit / une fonction dfinie et borne sur le segment [a.b]. On dit que / est integrable au sens de Riemann sur [a. 6] si / ( / ) = / ( / ) : cette valeur commune / ( / ) sera alors note / ( / ) = / f{x) d x. et appele 1 intgrale
Ja
de / sur [ab].
6.1.1.4. Thorme (Caractrisation des fonctions integrables) Soit / une fonction dfinie et borne sur un intervalle [a. b]. Alors / est integrable sur [a, 6] si et seulement si, pour tout s > 0. il existe r > 0 tel que. pour toute subdivision S = {XQ, X\ xn] de [a, 6], l'ingalit a; (5) < rj entrane :
n-l
^2,{x+i
1=0
- x,) < s.
o ni, =
Dmonstration Soit s > 0. il existe T] > 0 tel que. pour toute subdivision 5 de [a. 6]. l'ingalit ^7(5) < i] implique les ingalits S(f. S) <
| et S(f,S) >/(/)
-.
Montrons que la condition est ncessaire : si / = / , des ingalits 0 < 5 ( / , 5 ) - / < ^ e t 0 < 7 - S(f. S) < ^. on dduit, pour ^(5) < r. que :
0 < ^2i(x,+i
i= 0
-Xi) < .
Montrons que la condition est suffisante. Soit s > 0, et soit r\ > 0 tel que pour toute subdivision S = { f o - ^ i xn} de [a.b] vrifiant
n-l
,(x1
i - ;r) < s.
Pour une telle subdivision 5 on a : S(f. S) - 5(/. 5) < s. Or : 7 < 5(/. 5) et 5(/. 5) < /. donc 0 < 7 - / < S(f. S) - S{f. S) < s.
Exemples: 1) Si f(x) = c pour tout x [a. ], alors / est integrable sur [a. b] et
6
f(x)dx
c(b-a).
2) Soit / la fonction borne sur [0.1] dfinie par : f(x) = - 1 si x G [0.1] n Q et /(JT) = 1 si x G [0.1]\^. Pour toute subdivision S = { J O , J I xn} de [0.1] et pour tout f, 0 < / < n, il rsulte de la densit dans ~?. de ~ et de I?.\~. que Sup f(x) = 1 et inf f(x ) = - 1
J-e[r.,J-. + i] [I.-'.+I]
D'o 0 < S(f,S) S_(f,S) = 2. Il en rsulte que cette fonction / n'est pas integrable sur [01]. Consquences : 1 Si / est une fonction dfinie et borne sur un intervalle [a, 6], on peut imposer toutes les subdivisions 5 de [a.b] de contenir des points fixs l'avance sans modifier l'intgrabilit ou la non intgrabilit de / . 2 Si / est une fonction dfinie et borne sur un intervalle [a.b], et integrable sur [a.c] et sur [c.b], (a < c < b). alors / est integrable sur
pb >c pb
[a.b] e t / f { x ) d x = f{x)dx+ f{x)dx. Ja Ja Je 3 Si u n e f o n c t i o n / . dfinie et b o r n e s u r [a.b]. est i n t e g r a b l e s u r [a.b]. a l o r s p o u r t o u t c. (a < c < 6), / e s t i n t e g r a b l e s u r [a.c].
6.1.1.5. Proposition
Si / est borne et integrable sur [a. b] d'intgrale I. alors pour tout e > 0. il existe r/ > 0, tel que pour toute subdivision 5 = {XQ, XI, . .. , i } de [a b]. l'ingalit J(5) < ? entrane :
n-l
1
< s.
avec: m =
[
inf
]
f(x) et M,
Sup
[ ]
f(x).
151
Etant donn ; > 0. il existe ;/ > 0 tel que. pour toute subdivision 5 de pas ^J(S) < ]. l'on ait :
S{f. S) < 7 + s e t S(f. S)>L='
n-l
S(f, S)<I-Yn,
Consquence :
Si / est b o r n e et i n t e g r a b l e s u r [a.b]. a l o r s :
<I-
S(f. S)
f(x) d' =
1 lini
n-l
k(a-b),
'n-l
lim
ik=0
k(a-b),
Notons J [ f l j ]
et
l ' e n s e m b l e d e s f o n c t i o n s b o r n e s et i n t e g r a b l e s s u r
et A ~'- Alors :
Ja
2)Xfe/[ab]et Dmonsiraiwn :
(Xf)(.r)dx
Ja
=X
Ja
f(.r)dx
1) Soit s > 0. il existe > 0 tel que. pour toute subdivision S de [a b] l'ingalit ZJ(S) < i] entrane : 0<S(f.S)-S(f.S) Pour ^(5) < i] on a donc : 0 < S(f + g. S) - S(f + g. S) < S(f. S) + S(g. S) - S(f. S) - S(g. S). < etO
Intgrale
au sens de
Riemann
(S(g.S)-S(g.S)).
lim U=o
n-1
i r"-
6-Q
lim
n-+ + cc n
lim
rb
U=o
+ lim - \f [a + k
6-a
2) Si A > 0. pour toute subdivision S de [a. 6], on a : 'S(Xf.S) = XS(f.S) et S(Xf.S) = XS(f.S). d'o : JA/) = AJ(/) et /(A/) = A/_(/). Si A < 0. pour toute subdivision S de [a. 6]. on a : S(A/. 5) = A5(/. 5) et 5(A/. 5) = XS(f. S). d"o : 7(A/) = A/(/) et Dans tous les cas. si / est integrable sur [a. 6]. on a donc : /(A/) = /(A/) et par suite :
Ja
f(x)dx.
Consquence :
Jf, 6i est un espace vectoriel sur I?. et l'application : / : > /(/) est linaire.
6.1.2.2. Proposition
Si
6i
-4 J.
[a6].
Dmonsiration Supposons d'abord / > 0 et g > 0 sur [a. 6]. Soit > 0. Comme f et g sont integrables sur [a. 6]. il existe r > 0 tel que pour toute subdivision S {XQ = a,x\ xn = 6} de [a, 6] de pas J J ( S ) < r, l'on ait :
153
71-I
et
- l(.u; - m;)(.r + 1 - x,
avec .1/, = m, = H =
M; =
f(i-)
Sup .U,.
0<i<n-l
sup
r[r, r,+ 1]
5()
mj- =
inf
relr J-
g(x)
]
O< 1 < 7 1 - 1
Posons: D, =
Sup
f(x)g(x). d, =
inf
f(x)y(x). on a les
=0
1=0
71-1
=0
II en rsulte que
7 1 - 1 7 1 - 1
D, - d,)(xl+i
i=0
h)(-i
71-1
1=0
d'o
154
Supposons maintenant que / et g sont deux fonctions bornes et integrables quelconques sur [a,b]. Posons m = inf f(x) et
r.[a.b]
m' =
inf r[a.b)
g(x).
On a alors : fg (fm)(g m') + m'f+mg >nm'. d'o l'intgrabilit de fg. car ( / m) et (// m) sont positives sur [a. b}.
6.1.2.3.
Sl
Proposition:
alors:
/ S ./[a.6]
/ + = Sup(/.O) G /[ab]
et / - = inf(/.O) G
xn = b} de
/[a.bV Dmonsimiion Soit une subdivision 5 = {xo a. x\ [a. b}. on pose M Sup /(?). m, = inf f{x). D, = Sup
J-et-r, J. + i]
f+(jc).d,=
inf
.rG[r,.r, + 1 ]
/+(*)
Soit > 0. / tant integrable sur [a.6]. il existe i] > 0 tel que. pour toute subdivision S = {x 0 = a. ,ri .r = 6 } de [a. b] de pas infrieur
n - l
Si -U, < 0. alors D, = d, = 0. et on a 0 = >, - d, < M, - m. si m, > 0. alors D, M, et c/,- = m, et on a 0 < D, c?, = M m,. si Mi > 0 et m, < 0. alors Dx = .1/, et rf, = 0 et on a : 0 < D, - d < M, -m,.
n-l
/2)(j",-+1 - x,) < J2 (-^i - " i i l ^ + i - J , ) < 5. et l'intgrabilit de / + en =o rsulte. L'intgrabilit de / ~ sur [a. b] rsulte du fait que / ~ = (/) + . Corollaire 1 Si / G /[ab]. alors | / | G f[a
b].
Dmonstraiion : Ce rsultat s'obtient en remarquant que | / | = / + f~. Corollaire 2 Si / . g G /[a,by alors Sup(f.g). in(f.g) G /{a
6] .
6.1.2.4. Proposition
Soient f et g deux fonctions dfinies, bornes et integrables sur [a b].
rb
1) Si f(x) > V.r G [a 6]. alors / f(x) d .r > 0. Ja
155
g{x)dx. Ja
3) /
Ja
/Wdi
< / \f(x)\dx.
Ja
Dmonstration : 1) Si /(.) > 0 Vr G [a ], alors pour toute subdivision S de [a. b] on a S ( / . S) > 0. d'o
(/(-r)-5i(i))di= /
/(i)di-
. donc
t f(x)dx>
Ja
/ ' g{x)dx.
Ja
Dmonstration / tant continue sur [a.b]. elle est borne sur [a. b]. D'autre part, d'aprs le thorme de Heine. / est uniformment continue
sur [a.b]. Soit > 0. il existe r\ > 0 tel que pour tout couple (x. x') de [a b] x [a. 61. l'ingalit \x x'\ < r\ entrane \f(x) f(x')\ < . b a+ 1
Soit S = {'o = a.xi xn = 6 } une subdivision de [a.b] de pas strictement infrieur r\ Alors, pour tout i. 0 < ' < n 1. il existe y, e [ i , . i i + i] et :, G [',..r! + 1] tels que M, = Sup f(x) = f(y) et
re[.r, o-. + i ]
m,=
inf , / ( i ) =/(=,).
[ ]
Integrale au sens de Riemann = \f(y) - f(:,)\ <z < -, ' car \y, - :,\ < }. =f (b-a)z ^- < .
b a + 1
+ l-xl)
oa+ 1 ^
ba+ 1
6.2.2. Proposition
Toute fonction monotone sur un intervalle [a. b] est integrable sur [a.b]. Dmonstraiion. On suppose / croissante. Dans le cas contraire, on se ramne cette hypothse en considrant la fonction g = /. Soit e > 0. Il existe no I-T tel que o Soit S = {XQ = a. xi infrieur r = o Alors on a
n-l
,
< -r-r-
-rr\
r+l
f(b)-f(a)
xn = b} u n e subdivision de [a.b] de p a s
.
n-l
=0
ce qui entrane :
n-i
U(b) - /(a)
i=0
157
Considrons [ck. Ck+i]{0 < k < n 1) et soit 7 7 > 0 tel que c*. < Soit e > 0. Comme / est continue sur [c^ + '/.c^+i 77], il existe donc une subdivision 5 ' = {x'o = ck + r, [ x'n = ck + \ r/} telle que ^3 ^'(r!+i - xi) < -k' o u ^ i = M n-l
s
z e s t l'oscillation de / sur
6.2.4. Fonctions en escalier 6.2.4.1. Dfinition Une fonction / dfinie sur un intervalle [a.b] est dite en escalier s'il existe une subdivision D = {co = a < c\ < < ck-\ < ck = b} de [a. b] telle que pour tout i (0 < / < k 1). la valeur de / sur [x, + ', + ij est une constante .4,. 6.2.4.2. Proposition Soit / une fonction en escalier sur [a.b]. Alors / est integrable sur [a. b] et si D = {co = a < c\ < < c^_i < ck = 6} est une subdivision de [a.b] telle que / ([c,. c + 1[) = {.4,} pour tout (0 <i <k - 1). alors
A--1
f(x) d x = y A , (c, + i c,). Dmonstraiion L'intgrabilit de / rsulte du fait que / est continue par morceaux sur [a. b]. Pour tout ;'(0 < i' < k 1). posons
sinon
158 et
[M&) = /(&)
On a / = i/o + <7i + - i+'A--2+A-- Crameles fonctions <;, (0 < i < k) sont escalier sur [a. 6], elles sont integrables sur [a.b] : il suffit donc de montrer que, pour tout i(0 < i < k).
,6 ,fc
/ g , ( x ) d x = A , { c , +1 - c , ) . ( 0 < i < k - 1 ) e t q u e / g k ( x ) d x = 0 . Ja Ja Soit ? {0.1 k 1} fix, et soit 5 = {XQ = a < Xi < < xm = b} une subdivision de [a, b\. On suppose .4/ > 0.
Soit x
^rii+j + i ^
0
, < e, < x
n + 1
< < x
l + j
< c +i
<
' *"" C m
On a: S(g,.S) = 0 [ ( - x0) + + (xn, - r n , + 1 )] + 0 [(xni+J+2 ce qui entrane : S(g,,S) - Ai(xnt+]+1 - xni) > A(c, + 1 - c,). - Xni+J
+ l)
h (Xm - X m _ i ) ]
De m m e on a : S_(g,. S) < 0[(xi -xo)-\ \-(c, -Xn,)]+At[(xt+1 Ci) + h(c,-+i -xl+J)] + 0[(x1+J+1 -ci+1)A h (xm -xm1)], ce qui entrane : S_(gi.S) < -4,(c 1+ i - c,). = Ja _ I(9>) = L{gt) = Ai{c,+i - c,). Supposons gk(b) - f(b) > 0 et soit S = {xo = a. X\. . xm-i, xm] une subdivision de [a. b]. On a : S{gk.S) = 0{xl - x0) + 0{x2 - xx) + + 0(xm - j m _ i ) = 0 donc: / gk(x) d x = L(g) = 0.
b k rb k-1
fb
f(x)dx
= ^2 / g,(x)dx
= y\4,-(c1+1 - c,).
6.2.5. Thorme
Si / est une limite uniforme d'une suite de fonctions (/ ) n g ; ; dfinies, bornes et integrables sur [a.b], alors / est integrable sur [a.b] et on a : lim / fn(x)dx= "-> + ^ Ja f f(x)dx. Ja (*)
159
a) Montrons d'abord que / est integrable sur [a.b]. Soit s > 0. il existe no I T tel que
/n.(') - ^
V. e [a. i>].
< f(x)-f(y)
<
fno(x)-
existe i] > O tel que. pour toute subdivision S - {x0 = a..ri de pas infrieur //. on ait :
m-l / 1=0 ^'(Ti +l X , ) < -
m - i . f r a = b}
de [a. 6]
o u-'J =
sup
fno(x)
~~
fno(x)
est
l'oscillation de / , , 0 sur
"' m-1
l ( 6 - a ) m-l
1 ( 6 - a )
m-l
' 1=0
/ est donc integrable sur [a. 6]. b) Montrons maintenant que (*) est vrai. Soit s > 0. 3no G I ' tel que V.r > i?o. l'on ait :
b_a
fb
donc: / fn(x)dx d'o: / / ( i ) d i =
fb
6.2.6. Fonctions rgles 6.2.6.1. Dfinition Une fonction numrique / dfinie sur un intervalle [a. b] est dite rgle b] si i / est limite l i i uniforme if d'une d' suite i de d fonctions fi en escalier li sur sur a. 6]. [a. 6; . Il rsulte du thorme prcdent que :
Toute fonction rgle dfinie sur un intervalle [a. b] est integrable sur [a.b]. 6.2.6.3. Proposition Si / est rgle sur [a. b], alors l'ensemble des points de discontinuit de / est dnombrable. Dmonsiraiion Soit {gn)ne:\ une suite de fonctions en escalier convergeant uniformment vers / sur [a.b]. Pour tout n G I1. soit Hn l'ensemble fini des points de discontinuit de gn. et soit H = |^J Hn. H est un enne?;
semble dnombrable. Si x G [a. b]\H. les fonctions gn sont toutes continues au point x. donc / est aussi continue au point x d'aprs le thorme 2.2.9.2.9 chapitre 2. Il en rsulte que 1 ensemble D des points de discontinuit de / est contenu dans H. et est donc dnombrable. 6 . 2 . 6 . 4 . T h o r m e (Caractrisation des fonctions rgles) Soit / une fonction numrique dfinie sur un intervalle [a. b]. Alors / est rgle sur [a. b] si et seulement si / admet en tout point de [a. b[ une limite droite et en tout point de ]a. b] une limite gauche. Dmonsiraiion Supposons / rgle et soit x G [a.[. Pour s > 0. il existe une fonction en escalier g sur [a. b] telle sup \f(i) g(t)\ < -:
t[a,b] '2
Soit T] > 0 tel que g soit constante sur ]x. x + rj[. Pour tout (y. y') G ]x.x + r)[x]x.x + r i [ o n s i \ \ \ ) \ \ \ \g(y')-f(y')\<II en rsulte que / admet une limite droite au point x. On dmontre de la mme manire que / admet une limite gauche en tout point de ]a.b].
Supposons que / admette en tout point de [a. b[ une limite droite et en tout point de ]a,b] une limite gauche. Soit s > 0. pour tout x G [a.b[. il existe dx G ~?..dx > .r tel que ]x.dx[c [a.b[ et. pour tout
couple (y. y') d'lments de [x.dx[. \f(y) - f(y')\ < s. Pour tout x E]a,b], il existe cx G ir..Cj. < x tel que ]cx. x[c]a. b] et. pour tout couple (y. y') d'lments de ]cr. x[. \f(y) f(y')\ < ; Les intervalles ] oc. da[. ]cb- +oc[ et ]cr. dx[. x GJa, b[. recouvrent l'intervalle ferm born [a. 6] : il existe donc des points x\. x? x^ de ]a. b[. tels que :
[a.b] = [a. da[u]cTl. dXl[D -U]cXk. dXk[U]cb.b].
Notons S l'ensemble des points a.b.cx.dx. x,. 1 < i < k, que l'on range en une suite strictement croissante a = ao.ai an = b. Pour 0 < i < n 1. soit 9j un lment de ]a,. + i[. et soit g la fonction en escalier dfinie sur [a. b] de la manire suivante : pour k = 0.1 n.g{ak) = f ( a k ) . Sixe]a,.xl + 1[ (0 < / < n - 1) g(x) = f ( 6 ) . P o u r t o u t x G [a.b]. o n a\g(x) - f ( x ) \ < s .
Primitives
161
Corollaire : Toute fonction monotone sur un segment [a. 6] est rgle. En effet une fonction monotone admet en tout point de son domaine de dfinition une limite gauche et une limite droite quand cela a un sens. Notation : Si / est integrable sur [a. b] avec a < b. on note / f(x) d x = Jb
pb pa
- j
Ja
f(x)dx" Proprits :
E t o n p o s e : / f ( x ) d x = 0.
J z<z
Soient f et g deux fonctions integrables sur un intervalle [a. b]. avec a <b. 1) Si f(x) > 0 Vi G [a. b] sauf peut-tre en un nombre fini de points de [a.b]. alors
rb
f(x)dx>0. 2) Si g(x) < f(x) Vf G [a.b] sauf peut-tre en un nombre fini de points de [a.b]. alors
/
Ja
f(x)dx.
3)
4) Si c e [a, b] f(x)dx= Ja
f /(i)di+ / Ja Je
/(i)df.
6.3. Primitives
6.3.1. Proposition
Soit / une fonction numrique dfinie et integrable sur un intervalle [a. b]. Alors la fonction F dfinie en tout point x de [a.b] par F(x) / f{t)dt Ja est uniformment continue sur [a.b].
F{x)-F(y)
= f f(t)d1Ja
f f(t)dt
Ja
= f(t)dtJa
Ja
f(t)dt-
d o n c : \F(x)-F(y)\
f f(t)dt
Jx
< f
Jr
\f(t)\dt<k\x-y\.
o k = Sup |/()|.
t[a.b]
162
6.3.2. Proposition
Soit / une fonction numrique integrable sur un intervalle [a. b] et soit io G [a, b] tel que / admette en io une limite droite (resp. gauche). Alors la fonction :
f(t)dt Ja est derivable droite (resp. gauche) en io et sa drive droite (resp. gauche) en io est gale la limite de / quand i tend vers io par valeurs suprieures (resp. par valeurs infrieures). Dmonstration Montrons p a r exemple que F est derivable droite en io si f admet une limite droite q u a n d i tend vers io. Posons / = lim f(t). Soit s > 0, il existe ) > 0 tel que. pour tout i G lio-io + r[ l'on ait \f(t)-l\<. On a alors, pour i G ]t0. to + r/[. F(t) - F(t0) = / f(x) d x. Jt0 C o m m e : l s < f(x) < I + s pour tout x G ]io- io + il- on a : (i - io)(/ - s) < F(t) - F(t0) < (i - io)(/ + s). ce qui entrane : i - io
n-
F : [a.b] - ) ? .
x M-
D ou : h m f->to t<t0
F(t)-F(t0)
i - io
Corollaire 1 Si / est une fonction rgle sur [a. b]. alors la fonction F(t) = / f(x) dx admet en tout point de [a. b[ une drive droite, et Ja en tout point de ]a.b] une drive gauche. Corollaire 2 Si / est continue sur [a.b] alors la fonction F(t) = ft / f(x)dx e s t d e r i v a b l e s u r [a. b] e t F'(t) = f(t) p o u r t o u t i G [a.b]. Ja
6.3.3. Dfinition
Soit / une fonction numrique dfinie sur un intervalle / de ?.. On appelle primitive de / sur / toute application F : I ~?. derivable sur / et telle que F'{x) = /(.r). VJ? G /.
6.3.4. Proposition
Soit / une fonction numrique dfinie sur un intervalle / de ?_ et admettant une primitive F sur /. alors toute autre primitive G de / sur / est de la forme G = F + c o c est une constante relle. Dmonstration La fonction x > G(x) F(x) est derivable sur J. et Va- G / G'(x) - F'(x) = f(x) - f{x) - 0. donc il existe c G 7. tel que G(x) F(x) = c pour tout lment x de /.
Primitives
163
6.3.5. Proposition
Toute fonction numrique dfinie continue sur un intervalle / admet une primitive dans cet intervalle. Dmonstration Soit c G / D'aprs le corollaire de la proposition 6.3.2 l'application x h-> F(x) = ; f(t)dt
Je
Thorme : Soit / une fonction integrable sur [a, 6] et admettant une primitive G sur [a.b]. Alors :
s:
f(x)dx
G(b)-G(a)
de / sur [a. 6]. il existe c G --- tel que F(x)Ja= G(x) + c pour tout x de / . et on a
-f
f(t)dt
=G{b)-G(a).
X]Q
= sin sin 0 = 1 .
- d x = [Log x]'2 - Log 7 - Log 2 = Log - . Exemple '2:1 .il x Notation : Si / est u n e fonction continue sur u n intervalle / . on dsigne par / f(x)dx
F xn+1
n +1
x-n+l
I
\-c
i" (n en)
x-n
(nN et n>2)
xr
(re?, et r^-1)
xr+1 r
+
+ C
-" +
164
F Log
x-1
.r +c
~
e1 +c
ax
(a>0. al)
COS X
sin x
tgi
+c
cotg x 1 1
vT^r 2
1 l + x2 sh x
ch -
\/TT^
1 ^/x^l 1
^ , 2 _
Log(,r + \Jx2 + I) + c
Arg ch x + c = Log (x + \/x2 - 1) + c
.+DC
Log
, + / r 2 ^T
Arg x + c -
+c
]-x.
J
l[U]l.+x[
L
1
1-.T2
J'
1
1 X2
l +x 2 L S 1- x + c
Formules de la moyenne
165
/ f(x)g(x)dx Ja
=k Ja
g{x)dx
m <k <M
/ g(x)f(x) d x <
Ja
Comme la fonction t i > t / f{x) d x est continue sur [m. M], d'aprs
Ja
/ g(x)f(x)dx
Ja
=k[
f(x)dx.
Ja Remarque: si la fonction g est continue, il existe, d'aprs le thorme des valeurs intermdiaires, un point c de [a.b] tel que k = g{c). d ' o :
rb
g(x)f(x)dx
= g(c) /
Ja
f(x)dx.
Corollaire 2 : Si g est une fonction continue sur [a. 6], alors il existe
fb
c G [a. 6] tel que / g(x) d x = (b a)g(c). Ja On obtient ce rsultat en prenant dans 1 galit du corollaire 1. f(x) =
1 V.r G [ a . b ] .
/ g(x)f(x)dx
Ja
= f(a) [
Ja
x
g(x)dx.
n b} une subdivision de
D m o n s t r a t i o n . Soit S = {a ^ o - ^ i
166
[a.b]
<l(t)dt
pour
t o u t x S [a.b].
OnaG(i,
+
i)-G(i,)=
#(t) d i = .-,(J-, + I -
x)
o m,- =
inf
sup
f(x) = M,.
+ i xt). on va montrer q u e :
lim
.4(S)-X]/(J-)5(.)(-.+I--C))
=0.
On a:
n-l !=0 n-l 1=0 n-l !=0 n-l =o
n-l
et c o m m e g e s t i n t e g r a b l e o n a : d'o / g(x)f{x)dx= Ja
n-l
l i m ^2 (M, m,)(xt+i
^(S)-t-O
= 0
x,) = 0,
.4(5) =
' = 0
/=o
n-l
G(X) - G(in-l
car G(JO) = G(a) = 0. Posons m = inf G ( J ) et M = sup G(.r). on obtient m f(a) <
[.'] r[a,6]
Changement
de variable - Intgration
par parties
167
f(x)g(x)dx
= f(a)G(c)
= f(a)
g(1)dt.
f
J (a)
f(x)dx=
f
Ja
f[Y(x)]'(x)dx.
est u n segf(x)dx.
Dmonstration
f(x)dx
sont dfinies c o n t i n u e s et drivables sur [a.b] et o n a. p o u r t o u t t G [a.b].H'(t) = Y'{t) f[{t)] et G'[t) = r - ' ( f ) / [ r - ( i ) ] - H en rsulte q u e H'(t) = G'{t) p o u r t o u t t e[a.b]. d ' o /
J {a)
f(x)dx
= H(b) = G(b)=
Ja
f[Y(t)]'(t)dt.
Exemples :
,6
1
r r
Loga
Sa
S6
2 Pour calculer / cos x sin4 J d x. on pose t = sin.r. on a alors Jo = c o s .r d J . d ' o : / Jo cos x sin x d x = / 4 d = - Jo -3
168
V(x)fa- [ r'(
Ja Dmonstration
pb
La fonction (U\'Y W
pb
'(i)r'(r) d i
U(x)\-'(x)
ce q u i e n t r a n e [ f ( f ) \ ' ( ) ] ^ Exemples :
o
/ Ja
pb pb
Ja
l"(x)V(x)
dx+
J pb pb / /
Ja
1) E n p o s a n t '(x)
= e t \'(x)
L o g x. o n a :
iVT
Fx
e2
e 1
- dx = j - - + -.
= x. o n a
fl
1
i
, d
Jo
= [x Arctg ]J - - [ L o g ( l + . r 2 ) ]
j.be
Techniques d intgration celui des primitives des fractions simples du type du tvpe 1)
Tl
169 . (n G I1") et
f
/ 7
Ax + B
\n i .i dx =
A(x-a)
dx+
Aa + B
di'.
J (j-a)-+6si b 0. = Log[(j-a)- + 6- + 2
J (x-a)-+b-
J (x - a)2 + b2
Arctg() + C o b
, ,om d-r Aa + B
- , -4a + S / 1 ment de variables y = -. elle devient ; / ^ dy- II b J (y- + 1)" s'agit donc de chercher les primitives de fractions du type -^ . n>\.
f Posons / = /
p o s a n t l~'(x)
= 1 et \'(x) =
Sachant que h = l v. d x = Arctg x + C. la formule ( 1 ) permet J 1 + xde calculer I(n > 2) par rcurrence. Exemples : 1) / 1 _ dx
2 t 2i + 3 = -= Arctg -=VI
V I
J
On a: x6 + x' + x4 - x3 - x2 + 6x - 2 [x1 x-l 2 (x-2)2 1 1 (x-2 2x
+
et x- 1 2
j -
= Log \x - 1| + Ci 2
- 1
l)
dx
'
d i = Arctgi + C4
or 1 x 1r 1
donc
Techniques d'intgration
171
6.6.2.
En considrant P(cos x, sin.r) comme polynme en sin x coefficients dans IR [cos a-], on peut crire : P(cosx. si
A->0
2p P{cosx)sin x 2 ^ JP2 -p
2q+i
p>0
+ y j ( l cos2x)qPoq+iicos x) sin x = Qo(cos x) + Qi(cos x) sin x o Qo et Qi sont des lments de IR [a?]. En posant u = cos x, on obtient : f / Qi(cos x) sin r d ' = / <5i(u) d u qui est simple calculer. Pour ce qui est des primitives de Qo(cos x), il suffit de savoir calculer les intgrales de la forme / cosn x x ou n G P1. Pour cela on linarise cosn x en posant
2p
1
COSJ
1 ix 2~P
p
2p
'
LA- = O
p-1
En posant s = p k, on obtient :
cos 2 > = z-
172
f
Si n = 2p + 1. alors
!
5= 1
_,sin. s
cos"' ' x =
p k=0
l-2k)ix
~2
d'o
JcOi
cos
J_ y A= 0
p-x
sm(2A+
l)x
2A+1
Exemples :
= - cos x -\
+C
4 8
dx =
2dt 1+i2
d'o
Jfl(cosz,sin.r)
d x =
/ i ( T - ^ .
1 2
173
-.
f2 + 2
l + t2 1
ce qui donne :
1 + sin x = 2 Log
l+i
tgf
1 *
tgf
y2 3
= Log(l + sin i )
T 2
Remarque : Cette mthode conduit souvent des calculs compliques. Dans les cas particuliers suivants, on indique des changements de variable plus commodes : a) R(cosx. siili) est une fonction impaire en x : faire u = COSJV: b) R(cosx. sin x) est une fonction paire en x : faire u = siili: c) R est une fonction homogne de degr 0 : faire u = tg x, lorsque tgx et R(cosx, siili) sont dfinies sur l'intervalle d'intgration. Lxemple : pour calculer 1=
COS di
. en taisant le changement
du
= L o g
174
b) Si Q(x) = ax2 + 2bx + c est un polynme de degr 2. on distinguera deux cas : a < 0: Q{x) = a(x -\)~ + c b- - ac> 0 et
i
/1 o
Va du type / R(cost.sint) di a > 0 : en divisant au besoin Q(x) par a. on peut supposer que Q{x) = x2+2bx+c. En faisant le changement de variable t = \/x2 + 2bx + c, . r~r-- 2bi-c-t2 ,.. , ,. x. on obtient \JQ(x) = 7 . et on est ramen a 1 integrale d une fraction rationnelle. Remarque : Si Q[x) deux racines relles a et b. on peut faire le changement de variable t = \ . y xa " Si Q(x) = x2 1 (resp. Q(x) = x2 + l). on peut faire le changement de variable x c h t (resp. x sht). 6 . 6 . 4 . 2 . Intgrale d e la forme Rx. /ax + b ex + d dx
En gnral, on fait le changement de variable t = >/ met de se ramener l'intgrale de fractions rationnelles.
ex + d
qui per-
dx
dx
Exercices et problmes
d) 2)
175
f
2 2 2
dx
J , r ( . r - l ) ( . r 2 + l) '2
*-x-
XXd /
r eos3 .r
1 - 2 sin x
u
s:
f
r Jo
Cl -1
Jo
" "'
a2 cos 2 x + b2 sin 2 x
i
:.*o.*o)
pTi
77
sin4 J1 + cos4 x
Jn
eos' x d x.
7n
3 + sin x '
dj
r o
/
dx.
dy
[ . Xd
7 \Zr2^T3
J /TT72'
i V3X2 + 4 + 2'
/^^^T/ dJ
+
/ x+
dx
v4x2 + 3x + 1 dx
Ix 1
dir
7 (i + j2)
yf
f 1 - y/1 + X + X2
1-fdi xdx
2
xVl + x + x
dx.
Jo ~^^ -
dX
[2 -
X L0gld
Jo
f3 (Log ) a
x~
'- k
dx.
Jl/2
Log x
==dx. x-
Log(l
dx.
V1 x
o 2
f \/tgx + 1 J coscos-xx
f x Arctg x dx jj 1 + x2
/1
A.- = 0
176
7) Soit f : [a. b] > ~?. une fonction rgle. On pose r n = a) Montrer que si / est croissante, on a :
Indication : en posant x^ = a + k
. remarquer qu'on a
r(n)=
E /
8) Soit / : [a.b] y 5. une fonction de classe C 1 et telle que f(a) = f(b) = 0. On note M = sup \f (x)|. Montrer que
b
f(*)dt
< M
(b-af
9) Soit / : [0. a] > jt une fonction continue strictement croissante et telle que / ( 0 ) = 0; soit g: [0. f{a)] 3*. sa fonction rciproque. a) Montrer que. pour 0 < i ' < a e t 0 < i / <
fX fy
f(a). on a : xy <
/ ( 0 <H +
b) En dduire, p et q tant des entiers positifs tels que | = 1. P 1 que : xy < axp + byq. pour a > 0.6 > 0 et (pa)q(qb)p > 1. 10) Montrer que la fonction dfinie par f(0) = 0. et fix) = s-2 sin x si 0 < x < 1 est derivable sur [0.1]: sa drive / ' est-elle integrable sur [0.1]? 11) Soit / : [a. b] y 7. une fonction integrable. On suppose que pour toute fonction continue h : [a. b] > _-_. / f(x)h(x) Ja f e s t i d e n t i q u e m e n t nulle s u r [a.b].
fb
dx = 0. Montrer que
Exercices et problmes 12) Soit f : [a. b] > !?. une fonction rgle. Montrer que
,6
177
lim
/ ( f ) e i n t d f = 0.
Indication : On dmontrera le rsultat d'abord lorsque / est une fonction constante, puis lorsque / est une fonction en escalier, avant de le gnraliser aux fonctions rgles. 13) En utilisant des ingalits ou la formule de la moyenne, calculer les limites suivantes :
lini / ^ d i lim / ^^^ di. nm
14) (Ingalits de Schwartz et de Minkowski) Soient f et g deux fonctions numriques dfinies et continues sur un intervalle [a.b] de ?.. Montrer que :
1) f / f(x)g(x)dx\
b
J
dxj I j (g(x))2
(f(x))-dx\ +\J
dx\.
(g(x))
J
2)\J(f(x)+g(x)) dx\
15) Soit /
(n-1)!
\1/2 ( rb
dx
=
Yr~
M o n t r e r q u e : V/ E
[a.b],
n l
= f(a) + T(-^~
k=o
fr
Problme I L'objet de ce problme est de dmontrer le rsultat suivant (formule de Stirling) : pour tout entier positif n assez grand : n\ fa nnJ2Tme~n 1) Soient : - x
x
3
3(1-^2)
178
En tudiant les drives de ces deux fonctions, montrer que : y(x) > 0 et ^f(x) < 0 pour 0 < x < 1. 2) Montrer que pour tout 0 < x < 1 on a :
En posant x =
. en conclure que :
2'
- 12 \n
n+1
< 1.
En dduire qu'il existe un nombre unique r tel que: an < c < bn et qu il existe un nombre 6 compris entre 0 et 1 tel que :
1 - 1
sin' ri x cos x -\
n 1 f
n / sin"~~. J
. On sur d = .
2n + 1
77/2
2 - 1 2H - 3 1 7 T z T ...- -. 2n 2n - 2 22 _ _ 2n 2n - 2 2
179
1 m
IO
"
"
n^+oc c=
(2n)\ , :
lim '
d'o la valeur de c et la formule de Stirling. Problme II Soit fi un ouvert de ]?.2 et / : Q > I?. une fonction continue qui vrifie la proprit : il existe A - > 0 tel que V ( f . y ) , (jc'.y') G fi. \ f ( x .y ) - f(x'.y')\ < k\y' - y\.
Soit (a.b) G fi et / = {(.r.t/): |J? a| < a . | y - 6 | < J } C fi. Soit .V tel que \f(x.y)\ < . 1 / . \f(x.y) G / . On suppose J I / Q < 3. 1) a Soit / = [a a . a + Q ] . Montrer qu'on dfinit bien une suite de f o n c t i o n s s u r J e n p o s a n t : o(x) = b. n{.r) = b+ / f(t.n-i(t))dt.
V J G J. Vn G 1 . (On montrera q u e : Vn G I ' . Vf G J . V ' n ( - r ) - 6 | < ^ ) b Montrer q u e : |y>n(.r) - yn-i(x)\ 2) a Montrer que yn est continue. Vn E ITb Montrer que la suite {n ) converge uniformment vers une fonction que l'on notera -p. c Montrer que est continue et vrifie les relations: y(a) = b et f(t.p(t))di. Vf G J . 1/A- n-1 < j ^ ^ \ ^ I"" 1 - Vf G J .
d En dduire que -f est derivable sur J et vrifie l'galit : y ' ( f ) = 3) a Soit ^ : J > F: une fonction derivable qui vrifie les relations :
Montrer q u e : \P(f) = b+ /
Vf G J .
.4 =
T
1,
x2 x3
/2
~2
V2
yi
*1
/3
~3
d'o
3) =
y-i
i/3
yi
-3
2-2 /2
3 /3
ou
i/2 /3
~2
2
J+
i/2
/3
182
Fonctions vectorielles
On tablit facilement que II est indpendant du choix de la base orthonorme directe (.f.k). \\ ne dpend donc que de \ i. V 2. \ 3. du produit scalaire, et de l'orientation. DFINITION tant donns deux vecteurs \ 2 et \ 3. on appelle produit vectoriel de V 2 et V 3. et on note \ 3 A I 3. le vecteur tel que :
vT^e-3.
7.1.2. Remarques
TV(T*2AT*3WVT*2.*3
2AV3
d e \ 3(1*3.3/3. C3)
X2Z3.X2y3
ii) V 2 A \ 3 est orthogonal \ 2 et Y 3. iii) U 2. t 3- t 2 A \ 3I est une base directe si \ 2 et l 3 ne sont pas colinaires. iv) Le produit vectoriel dfinit une application de ?. 3 x S 3 dans A 3 . bilinaire et antisymtrique. Dans la suite (*i, o
V
lment \
d e ~?>n s ' c r i t 1 Y J l \ i ^
1 = 1
I e n o t e r a v = (t'i
).
/ "
\ *
t*f<i = (fl(i)
o " est un sous-ensemble de ?..
fn(t))
183
est une fonction vectorielle, elle dfinit n fonctions numriques / i / : de S dans ?.. Ces fonctions, appeles fonctions composantes, dterminent compltement / .
7.2.2. Exemples
/ : [0.1] -+Z-2.
g :Z-. ->7?.t
3
t >-> ( a c o s f . & s i n f ) .
^(e'.e-f).
/) : ^ - > 7 , . f >-> ( c o s i . s i n * . ? )
Vi = 1
fes
7 . 3 . 1 . 2 . Remarques 1) La dfinition 7.3.1.1 ramne la dfinition de la limite d'une fonction vectorielle celle de fonctions numriques. 2) Si on note || 5.1.3.2. on a : || l'une des normes A"i.A~2.-Ve dfinies sur Ir." au
lim J[t] = f.
lim
f->fo
/ ( t - /11 = 0
II
On rappelle que deux normes A" et X' sur Ir." sont quivalentes s'il existe deux nombres a. b (a > 0 et b > 0) tels que aX'(x) < X(x) < bX'(x). La relation (1) entrane alors: Vr G I?-" (1)
184
Fonctions vectorielles
X = (Xi
o les x\ sont les composantes de x dans la base (*). dfinit une norme
n
t-yt >-f o O
t-*to
7.3.1.4. Proprits
Soient : / : / > Ir.". / >-> f(t) et ^ : / H-y J.". t >-^- g(t) deux applications dfinies sur un intervalle / de 31. Soit to ~ / Si lim / ( / ) = / et lim g(t) = m. alors :
f -f o f->fo
n) lim||7(t||=||/||:
ri-fo
iii) Si I?." est muni d'un produit scalaire, on a lim f(t) g(t] = l m :
185
g(t\ = A m. Demonstration On dmontre aisment i) en utilisant les proprits des limites des fonctions numriques et la proposition 7.3.1.3.
carO<
iii) Soit \V = (]\\ \Vn) une base orthonorme de Ir." p a r rapport au produit sacalaire et soient (/, (f))i<,< n . {g,(t))i<,<n(/)i<< n . 1T ( )i<i<n- les composantes respectives de / . g. I et m dans cette base. D'aprs 7.3.1.3.
Donc
-*to z ' 1
= i in
Pour dmontrer iv. il suffit d'expliciter f(t) A g(t) et /A m dans base orthonorme directe.
7.3.2. Continuit
7.3.2.1. Dfinition Soit : / : S C ?. > I?."' et p 6 5. On dira que / est continue en to. si et seulement si : lim fit) = f{to)
t-*t0
7.3.2.2. Proposition Soit : / : S c ? . - > ?- n . H^ (f^t) /(/)). Soit to E S. f est continue en to si et seulement si chacune des fonctions /,. ; = 1 n, est continue en to. Dmonstration Elle dcoule immdiatement de la proposition 7.3.1.3. De 7.3.2.4 on dduit :
Fonctions vectorielles
Soient : / : S C ?. -> ?-". } : S C ?. 4 ?." deux applications et io G S. Si f et g sont continues en #o alors A/ f - /^(A. \i e 7.). ||/J|. / g sont continues en to- Si ?) = 3. / A g est aussi continue en to-
7.3.3. Drivabilit
7.3.3.1. Dfinition
_ 0
i-to
Si (t) admet une limite -4 . quand t tend vers to- on dira que / est derivable en to. de drive .4 . note
7.3.3.2. Remarques 1) Comme pour les fonctions numriques on dduit aisment de la dfinition que / est derivable en to. si et seulement si :
to)^(t.to)
= 0 . - 4
e s t a l o r s l a d r i v e d e / e n to-
2) Soit / : / > ! ? . " une fonction dfinie sur un intervalle / de H et soit to 6 / / e s t derivable en fn si et seulement si ses composantes fk dans une base quelconque (e[. ei> alors e'n ) sont drivables en to- et on a
Puure
187
(f[(to)
f'M) = (h
M-
t derivable en
/ + fit)'(to)
= >e?(to) + ^7(to)
et
2) Si I?*" est muni d'un produit scalaire. j ~~gr : t H-> / (i) A 7 : 4 7 ( 0 A 1A (i) (n = 3) sont drivables en on a :
= ~t(t) (t
4) Les thormes de Rolle et des accroissements finis, valables pour les fonctions numriques, ne s'appliquent pas en gnral pour les fonctions vectorielles. En effet soit :
On a /(O) = 7 ( 1 ) = 0 : 7 e s t derivable sur ]0. 1[ et pourtant il n'existe pas de t0 e]0. 1[. tel que f (io) = 0 . En effet :
188
Fonctions vectorielles
Si f est derivable en #o- sa drive note f (to), s'appelle drive d'ordre 2 de f en to- De proche en proche on peut dfinir /' p '(^o)- L'existence d e / ( ^ ( i 0 ) suppose que f(t). voisinage de tof'(t) / ( p ~ l j (f) sont dfinies dans un
On montre facilement que f'"p\to) existe si et seulement si les composantes fk de / dans une base (e'i e e'n ) de ~2." admettent des drives d'ordre p en io et on a alors :
Une fonction / : / C -r. > _*" est dite de classe Ck sur l'intervalle / si / ' * ' est dfinie et continue sur /. Ce qui entrane que / . / ' sont dfinies et continues sur / . Z'*" 1 '
Supposons que les composantes _/> de f dans une base ( e[ . e'2 e'n admettent des dveloppements limits l'ordre p au voisinage de to- On peut crire dans ce cas :
o Pk{h) est un polynme en h de degr < p et lim Sk(h) = 0. Par suite k-yO on a :
7
~jt(h) = 2_.Pk(h)e'k o
k =l n
+ h^(h)
(1)
imits
189
La formule (1) constitue un dveloppement limit de / a l'ordre p au voisinage de io- Si les dveloppements limits des fk sont obtenus partir de la formule de Taylor, on a :
Si p a une masse m. l'nergie cintique E(t) de la particule au temps t est dfinie par : E(t) = -m(f [t) f (t)) : si J^ existe, alors
Par consquent, l'nergie cintique de cette particule est constante si. chaque instant t, le vecteur acclration f"(t) est perpendiculaire au vecteur vitesse / (t). Si la particule p est soumise une force F {t). d'aprs la loi de Newton on a :
Par suite l'nergie cintique est constante si et seulement F(t) est orthogonale la direction du mouvement de la particule. On va illustrer ce qui prcde par un exemple prcis : la fonction vectorielle 7(t) = (cost.sini.t){tZ~)
190
Fonctions vectorielles
dfinit une hlice circulaire de .eP d'axe (O. k). On a : ~f(t) = (-sinf.cosf. 1) f"(t) = (-cos.-sin.O)
1) = m et donc ^ f = 0.
En d'autres termes : soit une particule p soumise une force F (t) = m( cos. sin. 0). Si pour t = 0. sa position initiale est le point (1. 0. 0)(= ~T(Q)) et sa vitesse initiale le vecteur (0,1. 1)(= f (0)). alors la trajectoire de son mouvement est une hlice circulaire dfinie par la fonction / (t) = (cos. sin. t).
La notion d'arc paramtr ne concide pas avec celle de courbe telle qu'on l'entend en gomtrie lmentaire : il existe par exemple plusieurs reprsentations paramtriques ayant comme support une circonfrence de s* . Pour arriver une notion gomtrique on doit convenir que certaines reprsentations paramtriques de mme support dfinissent la mme courbe.
7.5.1. Dfinition
Soient I et J deux intervalles de I?.. I n diffomorphisme. de classe Ck de J sur / est une application bijective et de classe C de J sur / . dont la rciproque est aussi de classe Ck.
7.5.2. Dfinition
La reprsentation paramtrique (J. ~gt) est dite C^'-quivalente (/. / ) s'il existe un diffomorphisme 6. de classe Ck. de J sur / tel que ~~^ =
~f 06.
191
7.5.3. Remarques
La relation r : ( J. if) est C'^-quivalente (/. / ) est symtrique et reflexive. La transitivit de ?* rsulte du fait que l'application compose #i o 6*2 de deux diffomorphismes 8\ et 6 > 2 de classe Ck est encore k un difieomorphisme de classe C . C'est donc une relation d'quivalence.
7.5.4. Dfinition
Soit (/. f) un arc paramtr de classe Ck. sa classe d'quivalence pour r dfinit un arc gomtrique F de classe Ck. Les lments de (/. / ) sont les reprsentations paramtriques admissibles de F. Tout lment (J. ~g^) de (/. f). tel que "g* = f 06 o 9 est un diffomorphisme de classe Ck de J sur /. est appel changement de paramtre admissible. Les proprits gomtriques de F sont, par dfinition, les proprits du couple (/. / ) invariantes dans tout changement de paramtre admissible.
7.5.5. Orientation
Une application 9 qui dfinit un changement de paramtre admissible tant un diffomorphisme. est toujours strictement monotone. Si dans la dfinition 7.5.2. on impose 9 d'tre croissante, on obtient une relation d'quivalence M plus restrictive que M . dont chaque classe d'quivalence, modulo J? . de reprsentations paramtriques de classe Ck. dfinit un arc orient de classe Ck. Ainsi, chaque reprsentation paramtrique (/. / ) de classe C'k dtermine deux arcs orients F + et F " .
e croissant}
F" = {( J. y ) . ~f = 7* 0. 9 dcroissant}
L'arc F + . dont (/. / ) est une reprsentation paramtrique admissible, sera appel arc orient dfini par (/. / ) : et 1 arc F~ sera dit orient en sens contraire de F + .
192
Fonctions vectorielles
On dit que lare gomtrique est orient 1 orientation de (/. / ) que l'on qualifie d'orientation dans le sens des i croissants. 2) Si f'[t) 0 . le point (t. f[t)) est dit singulier: cette dfinition est indpendante de la reprsentation paramtrique admissible considre. Un arc (/. / ) de classe Ck (k > 1) est dit rgulier si f (t) ne s'annule pas sur /. On ne considra dans ce paragraphe que les arcs rguliers. On appellera invariant d'ordre k tout tre gomtrique de (/. / ) ne dpendant que de / . / " /' A ) . (k > 1). On se propose dans la suite d'tudier les invariants d'ordre 1. 2 et 3 des courbes de s. 3)Reprsentation normale Soit (/. /) une reprsentation paramtrique d'un arc F de classe Ck, k > 1. Si (F./, k) est une base orthonorme de I?.3 on a :
\?(t)\\ =
Choisissons un point A de la trajectoire T(f)
est
de f
tel que O A =
f(to). La fonction $ : ( 4 | | / ( * ) | | continue sur / : il existe donc une fonction unique primitive s de sur / appele abscisse curviligne compte partir de to telle que s(to) = 0 et classe Ck si / est de classe Ck. s(I) = J est tant rgulier. s'(t) est diffrent de zro pour inversible et la fonction rciproque de s est s'(t) = | | / [t)\\ : s est de un intervalle de ?.. (/. f ) tout t I. Par suite s est aussi de classe Ck.
Donc y dfinit un changement de paramtre admissible, et (J. f o ) est une reprsentation paramtrique admissible appele reprsentation normale de l'arc F.
(y(s))
d'o ||<7 (s)|| = 1- Un changement d'orientation de F change l'abscisse curviligne en son oppos (si l'origine ne change pas).
193
La formule (1) conduit dfinir la droite (AI. f (t)) comme tant la tangente l'arc F au point AI. Le vecteur f (t) est un vecteur directeur de la tangente. Sa direction reste invariante dans tout changement de paramtre admissible t = 9(u). Si on ne considre que des changements de paramtre conservant l'orientation, O'(u) est positif et le sens du vecteur directeur de la tangente reste invariant. La demi-droite dfinie par le point AI, OAI = f (t) et le vecteur f (t) constitue la tangente F oriente dans le sens des t croissants. Soit F un arc rgulier et orient de classe C 1 de sr. dfini par une reprsentation normale OAI = ~t(s). chaque point M de F on '-. C'est un vecteur unitaire port par la ds tangente oriente F. Le plan perpendiculaire en AI la tangente est dit normal F. Courbure. La relation vecteur ) = r = 1 entrame : / ^ = 0. Donc le d s~ associe le vecteur t =
o~
as
= = (vecteur acclration) est perpendiculaire d d F. Si f ^ 0. sa direction est par dfinition celle de la normale principale en AI F. Soit le vecteur unitaire de cette normale ayant mme sens que . on peut donc crire : ds = Cn -. avec ds R C >0
Le coefficient C est appel la courbure et R le rayon de courbure en AI F. Le plan dtermin par t et n est le plan osculateur F en AI. La normale en AI au plan osculateur est appele binormale; sa direction est celle du vecteur b = t A . Le plan dtermin par M et les vecteurs b. t est appel plan rectifiant. Le tridre orthonorm direct constitu par les vecteurs t. . b est appel tridre de Serret-Frenet de F au point M. Le plan osculateur est le plan de la courbe F si celle-ci est plane. Dans ce cas, le point / tel que M = R est appel centre de courbure en AI F.
^
ds df
= ,f.
(2)
194
Fonctions vectorielles
En posant v = . on obtient : du du
or du
d
du d'o
dfd_s ds d u
(3)
d'o R=
(4)
Le plan osculateur est dtermin par le point M, et les vecteurs / (u) et f"(u). La condition pour qu'un point P appartienne ce plan est :
= 0
ds
ds
ds
195
ds
ds
d
ds
-._
di" ds db ds
R T
d
ds
b T
Ces formules sont appeles formules de Serret-Frenet. Si l'arc F est dfini par une reprsentation paramtrique admissible quelconque OM = f(u). on remarque que le nombre
reste invariant dans un changement de paramtre admissible, mme si l'orientation de F n'est pas conserve. L'usage d'une reprsentation normale montre que < r= .
d'o
7.5.8.1. Remarque On montre en utilisant les formules de Serret-Frenet qu'une courbe rgulire de classe C 3 de T est dfinie, un dplacement prs, par la donne des fonctions C(s) et T(S) supposes continues (C(s) = -). R(s) Ce rsultat se dmontre aisment dans le cas d'une courbe plane (cas o T = 0) : si on prend le plan de la courbe pour plan xOy et si on pose. 0x,i = . Qx7= i?+ - . on a = . D'o C(s) = - - et y 2 ds ds ' R(s) ds la dtermination de l'arc F se ramne aux 3 quadratures : C(s)ds. x = xo+ / s-p(s)ds.
J So
Une courbe plane est donc dtermine un dplacement prs, par la donne de la fonction continue C(s).
196
Fonctions vectorielles
. Il est facile de voir d# que ces dfinitions sont indpendantes de l'origine O choisie dans st.
7.6.1. Dfinitions
Une courbe paramtre de sJ1 est une application M : I s/', t H- M(t) o / est un intervalle de 3;. L'image F = M (S) est appele courbe gomtrique et on dit que M est un paramtrage de F. L'objet de ce paragraphe est le dessin de F connaissant M. Les diverses techniques exposes ici permettent d'expliciter les proprits essentielles de F, l'aide du paramtrage M. Parmi les notions dfinies l'aide de M, certaines, comme les notions de point rgulier ou de point stationnaire, seront relatives la courbe paramtre i\/ : d autres, comme les notions de point ordinaire, point d'inflexion, ou de point de rebroussement, sont relatives la courbe gomtrique F.
^
avec lim r (h) = 0 .
+ 7 ^ ( o ) + ~?(h))
(1)
On dfinit un repre d'origine Mo, ayant pour vecteurs de base (17, V ) o 1? est le premier vecteur drive de f(t) non nul en io- ~^ le premier vecteur drive suivant qui ne soit ni nul ni colinaire 17. Soient ' et Y les composantes de M\ par rapport ce repre.
197
et 7* =
f'v
F I G U R E : I .2
f (to) est dirige vers la concavite de la courbe F en .i/o- Mo est appel point ordinaire de F 2) Si 0= 0. et
/(io). 7> = 7 %
et l'on en dduit que: ' ~ h. Y ~ - (quand > io) : d'o la figure 7.2. .I/o est appel point d'inflexion de F. 3) Si f(t0) = 0. le point Mo est dit stationnaire.
198
i 2
Fonctions vectorielles
j3
MFlGURE: 7.3
>
Ao)
A
F I G U R E : 7.4
raisonnement analogue celui fait ci-dessus, on a la figure 7.4. Mo est appel un point de rebroussement de deuxime espce. 4) Plus gnralement soient lt = f^>(t0) et T / 3 f^>(to) Si p est impair > 1. q pair, on a la figure 7.1 en plus aplatie : Mo est un mplat. Si p est impair, q impair, on a la figure 7.2 : Mo est un point d'inflexion. Si p est pair, q impair, on a la figure 7.3 : Mo est un point de rebroussement de premire espce. Si p est pair, q pair, on la figure 7.4 : Mo est un point de rebroussement de seconde espce.
Courbes paramtres
planes
199
L'tude tant la mme, pour fixer les ides, on suppose que / Q : trois cas peuvent se prsenter : x(t) > xo et y(t) > +5C (ou yz) : la droite x XQ est asymptote. x(t) -> +3C (ou oc) y(t) > i/o : la droite y = y0 est asymptote. x(f) > +OC (ou DC) et y(f) > +3C (ou 3c) : on tudie la limite du rapport quand > #|7 . Si M G l . on forme u)ax() : si
x(i)
lim (y(t)-ax(t))
f-Ko
x(t)
= b. a l o r s y = a.r + 6 est l ' q u a t i o n d ' u n e a s y m p t o t e i a
courbe. En gnral on obtient souvent a et 6 l'aide des dveloppements limits de x(1) et y(t). Remarques 1) Si a = +5C. ou bien si a ?. et 6 = +DC (ou rc). on dit que la courbe F admet une branche parabolique. 2) Supposons que a G ?. et t I . Si y(t) ax(t) b > 0 la courbe est au-dessus de l'asymptote. Si y(t) ax(t) b < 0 la courbe est au-dessous de l'asymptote. 3) On dtermine le sens de variation de x(t). y(t). gnralement en tudiant les signes de x'(i) et y'(t). On consigne les rsultats obtenus dans un tableau dont les lignes sont relatives t. x'(t). y'(1). x(t). y(t). Une ligne supplmentaire relative x (T) utile. 4) On trace la courbe aprs avoir tudi les points remarquables: points stationnaires. points d'inflexion, points doubles (les points doubles , , , , fjr(ii) s obtiennent en resolvant le systme <
\y(ti)
=x(t-,)
=y(ti)
En fait un point P Y est dit double si un mobile dcrivant la trajectoire F passe en P deux instants diffrents ti et io-
7.6.4. Exemples
1) On considre la courbe F reprsente paramtriquement par:
x(t) = 2t + 1-. y(t) = li r2.
f (t) =
o n a : ? ( - l ) = ( 2 . - 6 ) et ? ( - l ) = (0. - 2 4 ) : f ^ ( l ) A
200
Fonctions vectorielles
/"(-l)
FIGURE: 7.5
i) Intervalle d"tude D = 3. x[t + n) x(t) et y(t + TT) = y(t) + 2TT entranent que F est invariante par la translation T'y* de vecteur directeur V = (0.2TT). On restreint l'tude de F l'intervalle [ f-.f] et on translate par Tjt la courbe partielle Fi ainsi obtenue. x(t) = x(t) et y(t) = y{t). I est invariante par la symtrie par rapport O, donc Fi aussi. En dfinitive l'intervalle d'tude se rduit [O. f]. ii) branches infinies, asymptotes lim r(t) = lim y(t) = lim y(t) = 1.
tote F et comme y(t) +x(t) TT = 2f TT < 0. pour G [0. | [ . la courbe est au-dessus de l'asymptote pour t G [0. -]. iii) Tableau de variation
= 1. la courbe admet
201
0 ^
TT
TT
+
0
+ 0C
0 0
/ / 2
1 - 1 \
-oc
9 e S C ?..
alors (F. O\(9)) = 9 modulo TT. Le paramtre 9 peut tre interprt comme tant une mesure de 1 angle orient (Ox, O-V). On dit alors que p = f(9), 9 5 . est l'quation polaire de F. Les courbes polaires sont donc un cas particulier des courbes paramtres tudies en 7.6. auxquelles on pourrait appliquer les mthodes gnrales du paragraphe prcdent. Mais il parat plus simple, pour l'tude de ces courbes, d'employer des techniques spcifiques, exposes succinctement ci-dessous :
7.7.1. Dfinition
Soit / : S C ?- -> . !-> /(#) On dit qu'une courbe F de s/~ admet l'quation polaire p = f(9). 9 S si et seulement si F est l'ensemble des
= f{9) cos 9T+ f(9) sin 9j, o (T. OJ) = Les couples (p. 9), (p.9+2k'7r). (p,9-\-ir) dfinissent le mme point de s/~. Si p = f{9) est reprsente par F. alors p = f(9 + T) est reprsente aussi par F. On supposera dans la suite que la courbe M : 9 M(9) est rgulire.
202
Fonctions vectorielles
7.7.2. Remarques
1) On indique ci-dessous les quations en coordonnes polaires de quelques courbes simples : quations en cartsiennes
y = -r tg Q
coordonnes
quations polaires
en
coordonnes
Droite passant par O I 9=a + A 7 T Droite quelconque P = a cos 9 + b sin 9 Cercle de centre O et de rayon R
ax + by = c
Cercle passant par O p = \/2a cos 9 + 26 sin 9 y2-2ax-2by = 2) Si it(6) = cos O+ sinof. it'(9) = -sin9j + cos = cos(9 + ~)T+ sin(9 + | )
Ainsi (it(O).lt'(d)) est une base orthonorme directe. Le repre (Oit(6). u'(9)) est appel repre mobile. D'une faon gnrale on a : l? (n >(0) = cos(0 + n~)+sm(9 + n-)j (1)
directeur de la tangente .1/oT en .I/o I. Si on pose \ = (O.Y. MQT) (angle de droites orient), on a :
203
f'(Oo)' si f'(9o) = 0, alors \' (TT) et on peut tendre la formule ci-dessus en donnant un sens a 1 criture tg = oc =Wo)
FIGURE: 7.6
On
t"(9) =
d'o
t>(0)
(k = TA])
Donc si ~'{6) A ~"{6) = {f()2 + 2/' 2 - ff")k # if. le point M(6) est un point ordinaire et si p + 2/' 2 / / " > 0. la courbe tourne sa concavit vers O. ( E" et M sont d'un mme ct de la tangente en M F).
204
Fonctions vectorielles
Leibniz) :
(i)
Soit 0o tel que /(0 O ) = 0 : on a A/(0O) = 0. Soit p le plus petit entier tel que /' p '(0o) 7^ 0- d'aprs (1) on a:
par suite
Donc d'aprs l'tude gnrale faite en 7.6.2 on peut noncer La courbe esi tangente en 0 Si P est impair. 0 est un point ordinaire Si P est pair, 0 est un point de rebroussement de premire espce
r.
2) Si p = f(9) admet une priode T. on construit l'arc F' pour 9 G T[C\(D). la courbe complte s'obtient en faisant subir F' des rotations autour de O et d'angle T.
[9O,9Q +
3) Si / ( Q 6)= f(0), (F) admet la droite A : 9 = -\-kn comme axe de symtrie. Si F + dsigne la partie de F pour laquelle 9 6 (D)C\[a, +oc[, et si F~ = 5 A ( F + ) . SAtant la symtrie par rapport A. alors F = F-UF+. 4) Si. quand 9 a. f(6) > +oc (ou DC). 9 = a + kn dfinit une direction asymptotique A'. La branche infinie correspondante admet une asymptote D parallle O A' si y = f(9) sin(9 a) admet une limite L quand 9 > Q. La droite Y L dtermine alors cette asymptote : 0.4.
est appele sous-asymptoie polaire (Fig. 7.7).
205
F I G U R E : 7.7
quand 9 +oc.
FIGURE: 7.11
206
Fonctions vectorielles
i) Si f(6) +DC (ou DC). la spirale s'agrandit avec ||O3(#)|| qui tend vers +oc (Fig.7.8,7.9). ii) Si f(9) > 0 la spirale converge vers l'origine (Fig.7.10.7.11). iii) Si f(9) > la spirale s'enroule autour d'un cercle de centre O et de rayon \a\. en restant l'extrieur si
m^\a+_
a l'intrieur si
4 < _
oa>
ou a<U
I a+ a
o a<0 o a>0
6) On calcule / ' et tg V = -j. On tudie le sens de variation de / en dressant le tableau des variations. 7) tude de points remarquables (point d'inflexion, point de rebroussement).
7.8. RETENIR
1) _-." est norm. Soit / :/ > S." une application dfinie sur un
intervalle / de s., f est derivable en io G / si et seulement si pour toute base B = [~ti- !?2 ~^n) de 2.", les composantes fk de / par rapport B sont drivables en #o et on a :
lim e (/)) = 0.
2) ?. 3 est un espace vectoriel euclidien orient et x/3 l'espace affine associ ?. 3 d'origine O. Soient : " / : / C ~?, -> ?.3. T - {M e s? tel que OM = j(t). t G / } la trajectoire de / . et s l'abscisse curviligne.
retenir
207
2.1)
ds
2.2) = . est le vecteur unitaire de la normale et R > le ds R ravon de courbure en M F 2.3) b = t A , b est le vecteur unitaire de la binormale en M F. (M.t..b) est un repre orthonorm direct appel repre de SerretFrenet de F en M 2.4) = . T est le rayon de torsion en .1/ F d T b t T 3) _"*." est un espace vectoriel euclidien orient, et s associ d'origine O. le plan affine
3.1) Soit () = ~f{t). et F la trajectoire de M. Soit ]^>(t) le premier vecteur driv non nul (p > 1) et /' g '(t) le premier vecteur driv suivant non nul et non colinaire /' P J (i)On a: si p est impair et q pair. M(t) est un point ordinaire si p est impair et q impair. M{t) est un point d'inflexion si p est pair. M est un point de rebroussement de premire espce si q est impair, de deuxime espce si q est pair 3.2) Soit = f(9)u(6). u(6) = cos6T+sin9j
F I G U R E : 7.12
FIGURE: 7.13
de la courbe d'quation polaire p = 1 + 2 cos - . 2) Dterminer les courbes tel que R = a s i n a . (R = rayon de courbure : = (7. t). 3) On considre l'arc paramtr F : = a(1-sint). y{t)=a{l-cost), a>0.
F tant orient d'une faon quelconque, on appelle (Ai, t,) le repre de Frenet en M et P le point dfini par M P = R (R = rayon de courbure au point M). Montrer que l'ensemble ^ des points P admet pour reprsentation paramtrique :
te
[0.2K].
4) F tant l'hyperbole equilatere d'quation x -y a1 dans un repre (0, 7. j) orthonorm. la normale en un point M de F recoupe F en AT. Montrer que le point C dfini par il/A = 2CM est le centre de courbure de F en M. 5) Dterminer une droite qui soit la fois tangente et normale l'arc paramtr F : y(t) =
Exercices et problmes
209
r. Dterminer cos 2
le point double .4. Soit M un point quelconque de F d'angle polaire 9, D la droite d'angle polaire-, et P l'intersection de AM et de D. Montrer que le lieu gomtrique de P quand M dcrit F est un cercle dont on donnera les lments caractristiques. 8) Montrer que pour la courbe : x sin t. y = ef cos t. z = at les axes du tridre de Frenet forment des angles constants avec l'axe des x. 9) Dterminer la courbure et la torsion de la courbe F x = a ch t cos /. y = acht sin t. z = at Par un point P G F. on considre une normale qui coupe l'axe des z en un point Q. Montrer que la longueur du segment PQ est gale au rayon de torsion au point P. 10) Montrer que les formules de Serret-Frenet peuvent s'crire sous la forme :
- _
-T
="T*(S)A?.
= T*(s)A~*.
ds ds
= ~\*(s) A ~t
d et dterminer \ (s).
11) Prouver qu'une courbe F est plane dans les deux cas suivants: 1) la torsion est identiquement nulle 2) tous les plans osculateurs passent par un point fixe. 12) Un point P dcrit une trajectoire rgulire dfinie par :
P = ~f(t)
o~f(t) de classe C2
i) O n s u p p o s e q u e f (t) A / (t) = 0 . M o n t r e r q u e f (t) g a r d e u n e direst ion fixe. ii) O n s u p p o s e q u e ij(t).f(t).f(t)j = 0 (produit mixte). Montrer
qui est satisfaite par la fonction f(x) = e x . On montrera que toute solution de (1) est de la forme f(x) = C e r . o C est une constante. Une quation de la forme
est un exemple d'une quation aux drives partielles. L'quation (2) appele quation de Laplace apparat en lectricit, en magntisme, en mcanique des fluides. Elle a plusieurs sortes de solutions f(r.y) = x + 2y. f(x. y) = er cos y. f(.v. y) = Log(x2 + y2). Etant donne une fonction F de n + 1 variables, on appelle quation diffrentielle (ordinaire) d'ordre n. toute relation de la forme: F(x.y.y'.y" j/">)= 0 (1)
212
quations diffrentielles
entre la variable x, la fonction y(x) et ses drives y1 (x), y"(x),... , f/n)(a;). L'quation (1) est dite linaire homogne (resp. linaire non homogne) si F est une fonction linaire (resp. affine) en y, y', y",... , ?/"). On appelle solution ou intgrale de l'quation (1) une fonction f{x) dfinie sur un intervalle / telle que F ((x), f(x), f (x),... , f^n\x)) = 0, Va; G /. Intgrer l'quation (1), c'est dterminer toutes ses solutions. On dira que l'intgration de l'quation (1) a t ramene des quadratures si on a pu exprimer ses solutions au moyen d'intgrales de fonction connues. L'tude des quations diffrentielles a dbut au XVIIe sicle avec Newton, Leibniz et Bernoulli. On s'aperoit alors progressivement qu'except trs peu d'quations diffrentielles d'un certain type, il est pratiquement impossible de trouver une thorie mathmatique gnrale permettant de rsoudre les quations diffrentielles. Nanmoins on a tabli des thormes d'existence et d'unicit des solutions d'une quation diffrentielle. Et l'on est ainsi amen considrer les quations diffrentielles comme un moyen puissant de construction de fonctions nouvelles dont les proprits sont tudies partir des quations diffrentielles elles-mmes. Parmi le peu d'quations qu'on peut rsoudre, figurent les quations diffrentielles linaires dont certains types sont tudis dans ce chapitre.
B(x) = x+ y]"
Si 5 est un intervalle ouvert de M , on sait (chapitre 7) que H est continue (resp. derivable) en un point io G S si et seulement si / et g sont continues (resp. drivables) en io. Et H'(to) = /'(o)**+ g'{to)T Ceci nous amne poser les dfinitions suivantes :
213
8.1.1. Dfinitions
Soit h : /-S- Z
une fonction dfinie sur un intervalle ouvert / de Z . On dira que : i) h admet une limite/ = /1+/2 en un point to. I ~ f0- si e t seulement si lim fit) = h et lim g(t) U
t-ffo t-*t0
ii) h est continue en to G / si et seulement / : f 4 / ( / ) et g : t ^ g(t) sont continues en oiii) / est derivable en to -f si et seulement les fonctions / et g sont drivables en to. et la drive de h en to- note h'(to) est donne par h'(t0)=f'(to)+ig'(t0).
Soit, par exemple, composer deux mouvements vibratoires simples de mme axe. de mme centre, de mme pulsation . II s'agit donc d tudier la somme
214
f(t) = a\ COS(ult + y?i) +
quations diffrentielles
Les deux termes de cette somme sont les parties relles de if (QI = ai expiai) et de o expiai (ai = an exp 2) Donc f[t) est la partie relle de (QI + QO) expa;i et dfinit par consquent un mouvement vibratoire simple de pulsation u; et dont l'amplitude a et la phase p sont donnes par la construction dite de Fresnel.
O
FIGURE: 8.1
de l'espace vectoriel <t~^(I, Z) des fonctions indfiniment drivables sur I. appel oprateur diffrentiel. Plus gnralement, en posant D2 = Dofl, toute expression formelle de la forme aD2 + bD + c (a.b.c G Z), dfinit un endomorphisme de ^"^(7. Z). qui associe tout lment / de ^ ^ ( J . Z). la fonction (aD 2 + bD + c)f = af" + bf + cf: on dira encore que aD 2 + bD+c est un oprateur diffrentiel. 8.1.3.2. Remarque Certains appareils mcaniques ou lectroniques appels filtres linaires ont le pouvoir de transformer un signal d'entre f(t) en un signal de sortie Af" + Bf + Cf o A. B. C sont des coefficients rels. Si le signal d'entre est de la forme a expiai (a complexe, J rel), tudions le signal de sortie dans un filtre linaire de formule D2 + 1.
215
On a (D2 + 1)( exp i*t) = (1 wj2) expiai. Le signal de sortie est donc a ( l 2) e x p i a i . La phase du signal de sortie est
(2A- + 1)TT prs si 1 - x2 < 0 L'amplitude .4. du signal de sortie est gale -4|1 *2\. A = |a|.
'2k- prs
si 1 J1 > 0
8.1.3.3. Proposition Soient a et 3 les racines dans "2 de l'quation AX~ + BX + C = 0. A. B.C e Z. Alors pour tout / 6 *?f^(/. Z). on a : (AD2 + BD + C)f = A(D - Q) [(> - J)f\
(D
3f . Posons = f'-3f. A(D- ]) = A('-a) = A (/" - (Q + 3)f + a3f) Comme A(a + 3) B et AaB C on trouve bien : A(D - ) [(> - 3)f] = Af" + Bf + Cf = (AD2 + BD + C)f
8.2. quations diffrentielles du premier ordre quations diffrentielles linaires du premier ordre
8.2.1. Gnralits Soit l'quation diffrentielle du 1er ordre : F(x.y.y') = 0. (1)
Si F est de classe C'1 et si Fy,(x. y. y') ^ 0. le thorme des fonctions implicites permet de rsoudre localement cette quation en y' et on est alors amen tudier une quation de la forme
y' = f(x,y). (2)
En fait une quation diffrentielle de la forme (1) n'est pas ncessairement quivalente une quation de la forme (2). Il se peut en effet que (1) admette une solution qui annule F',(x. y. y'). De telles solutions sont dites singulires .
216
quations diffrentielles
Par exemple pour l'quation xy' y = 0. la solution dont le graphe est (0.0) est une solution singulire. Dans la suite, on n'aura considrer que des quations de la forme (2). Pour ces quations on admettra le thorme suivant : 8 . 2 . 1 . 1 . Thorme de Cauchy-Lipschitz Soit Ci un ouvert de ~?_- et soit / : Q > 7 une fonction continue et pourvue d'une drive partielle par rapport y continue sur 0 . Quel que soit le point (XQ. i/o) de f. il existe une solution unique y(x) de l'quation y' = f(x.y) dfinie dans un voisinage de XQ et telle que /(.ro) = i/oRemarque Ce thorme garantit, sous certaines conditions, l'existence de solutions d'une quation diffrentielle. Mais il n'est pas toujours possible de dterminer effectivement ces solutions: par exemple pour l'quation y'(x) = e~x . on ne sait pas calculer de faon explicite une primitive de la fonction x > e~r . Dans ce cas on cherchera trouver des solutions approches. 8.2.1.2. Intgration numrique
Soit / : Q ~r. une fonction continue sur un ouvert Q de !?.-. y(x). Si l'quation diffrentielle y' = f(x.y) possde une solution unique telle que y(xo) = i/o- cette solution s'crit i / ( j ) = i/o + f * o f ( u . y ( u ) ) d u .
, ..
... ,
i xn = x0 + nh
j xn+1 xn + h
\yn+i = y n + // n " + 1 f[u.y(u)) du
Les diffrentes mthodes d'intgration numrique reposent sur un calcul approch de l'intgrale
f{u.y(u)) d u .
,- . U n + l = Xn+ h d ou < [ y n +h
(xn + 1. yn + i) par le point P^ + 1 (.r, ?+1 . ynh + hy'n) appartenant la tamif-ntc m P., la courbe intgrale
217
FIGURE: 8.2
Cette mthode, dite mthode d'Euler. n'est pas assez prcise. On peut l'amliorer en valuant l'intgrale / des trapzes, en posant r*n+i i f { u . y ( u ) ) d u - ( f ( x n . y n ) + {f{xn + l. yn + 1 ) ) . f(u.y(u)) du par la mthode
(x.y) h->i/ =
f(x.y)
est une application d'un ouvert V. de 7.2 dans 1. . A tout point .1/ de l'ouvert f du plan on associe la droite MT de coefficient directeur y'. Le couple (J\/. MT) est appel un lment de contact, et 1 application M > (M.MT) s'appelle un champ d'lments de contact dans le plan. Une courbe (C) est une courbe intgrale si l'ensemble de ses lments de contact appartient au champ prcdent. 8.2.1.4. Equation diffrentielle attache une famille de courbes Soit une famille de courbes C\ dpendant d'un paramtre A et dfinie par l'quation f(x.y.X) =0.
(1)
/ tant suppose continue sur un ouvert Q de _-.3 et de classe C 1 par rapport (x.y). On suppose qu'en tout point M(x.y) d'un ouvert du
218
quations diffrentielles
plan passe au moins une courbe C\. Le coefficient directeur y' de la tangente en .1/ la courbe C\ tant donn par : fx(x.y.\) + fy(x.y.\)-y' = 0. (2)
L'limination de A entre (1) et (2) donne une relation qui dfinit les lments de contact des courbes C\ : F(x.y.y')=0 (3)
La connaissance de l'quation diffrentielle F(x.y.y') = 0 permet d'obtenir un certain nombre de renseignements sur les courbes C\. Les trajectoires orthogonales des courbes C\ sont les solutions de l'quation diffrentielle F(x.y.-^j) = 0 obtenue en changeant y' en Jy dans l'quation (3). En effet supposant l'quation (3) rsoluble par rapport y'. Soit y' = f(x. y) sa forme normale. La tangente en M(x. y) de C\ a pour pente m = y' = f(x, y) (en axes orthonormes). S'il existe une courbe F orthogonale en M C\. sa tangente en ce point a pour pente m ' = - = _ i . L quation diffrentielle des courbes F s crit donc :
-=f(*.y)
ou
Exemple Dterminer les trajectoires orthogonales la famille des cercles C'A passant par l'origine et centrs sur l'axe des x. La famille des cercles C\ est donne par l'quation x~ + y 2Xx 0.
2
L'quation diffrentielle qui dfinit la famille C\ est : y' = 2xy trajectoires orthogonales satisfont donc l'quation diffrentielle.
x- - y-y2)-2xydx
. Les
et pour y ^ 0
x~ ~r y~
Par suite la famille des courbes orthogonales est dtermine par l'quation f(x.y) = C. soit x2 + y2 '2Cy = 0. Ce sont des cercles passant par l'origine et centrs sur l'axe des y (5.8.3.4).
219
D'aprs les dfinitions du 8.1. l'quation est dite linaire, si pour tout x fix, F est une application linaire ou affine en y et y'. Donc l'quation (1) est linaire si elle s'crit sous la forme ai(x)/ + b1{x)y + c1(x) = O. (2)
Dans ce cas F'y(x, y. y') = ai(x). Toute solution passant par un point (xo.yo) tel que Cii^o) = 0 est dite singulire. En dehors des solutions singulires l'quation (2) est quivalente } / - a{x)y = b(x) o a(x) = - . b(x) = --T. L'quation ai(x) <n(z) l/-a{x)y =0 (3') (3)
est appele quation homogne (ou sans second membre) associe l'quation (3). On supposera dans ce qui suit que a(x) et b(x) sont des fonctions continues sur un intervalle / de T: . 8 . 2 . 2 . 1 . Proposition Toute solution de l'quation (3) s'obtient en ajoutant une solution particulire de cette quation, toute solution de l'quation homogne (3') associe. Preuve Soit f(x) une solution quelconque de (3). Donc : f'(x)-a(x)f(x) f'1(x)-a(x)f1(x) = b(x). = b(x)
Soit fi(x) une solution particulire de (3). on a :
(f-fi)'(x)-a(x)(f-f1)(x) = O
La fonction / / i est une solution de (3'). L'intgration de (3) se fait donc en deux tapes : 1) recherche de toutes les solutions de (3'). 2) recherche d'une solution particulire de (3). Premire tape Soit A(x) une primitive de a(x) sur /; la fonction x i- f(x) = exp.4() est une solution de (3"). En effet f'(x) = a(x) exp A(x) = a(x)f(x).
220
Equations diffrentielles
a(x)g'(x)f(x)-a(x)f(x)g(x)
(f(*)Y
= 0.
Donc h(x) = C. o C est une constante: et par suite g(x) = Cexp A(x). Remarque : l'ensemble des solutions de (3') est un espace vectoriel sur ?. de dimension 1. Deuxime tape II reste trouver une solution particulire de (3). Pour cela il est conseill de procder tout d'abord par ttonnements : on remplace y par une fonction simple: une constante, x. (ou x). x~ (ou x2). . sinx. cos x, etc.. selon la forme de l'quation. Si les essais n'aboutissent pas. on utilise la mthode dite de la variation de la constante ou mthode de Lagrange : comme exp A(x) ^ 0 Vr / . toute solution g(x) de (3) s'crit sous la forme g(x) = C{x) exp.4(;r); d'o l'ide naturelle de chercher g(x) sous cette forme, o la fonction C(x) est de classe C 1 . Exprimons que g(x) C(x) expA(x) est solution de (3) . On a:
(1) o a (x) est une fonction continue sur un intervalle / de ir_ . La solution gnrale de (1) est de la forme : y = A'exp.4(x) o A' est une constante et A(x) une primitive de a(x) sur / . La solution gnrale de l'quation diffrentielle y' - a(x)y = b(x)
(2)
y' - a ( x ) y =
o a(x) et b(x) sont des fonctions continues sur un intervalle I de K, est de la forme :
C(x))expA(x)
221
o A est une constante et C(x) est une primitive de b(x) exp A(x) sur I. 8.2.2.3. Rsolution de l'quation y' = B exp 3x Soit l'quation y' ay = B exp 3x o a . 3 et B sont des constantes complexes. Compte tenu des proprits de la fonction e x p a x . on peut appliquer la mthode de rsolution ci-dessus l'quation diffrentielle y1 a y = B exp 3x, que l'on rencontre frquemment en physique. y' - ay = 0 < = * > y = K exp Q J . A' G 2 . (1)
On cherche une solution particulire de l'quation (1) sous la forme g(x) = C(.r)expa.r o C(x) est une fonction de classe C 1 de 2. dans ~Z . On obtient : C'(x) = Bexp(3-a)x. Donc : (i) si Q = 3 . C(x) = Bx convient et on a : g(x) = Bxexpax. solution gnrale de (1) est de la forme: y = (Bx + K) exp Q x La
et la solution
B exp 3x H
3 Q
8.2.2.4. Applications 1) Amortissement d'une dette, au taux d'intrt Q . moyennant des remboursements fixes -,. ( Si y(t) est le montant de la dette l'instant t. l'instant i + / i , o n a : h) ( ) h ( ) h r h = +ay(t) - -,.
d ou
Cette situation peut tre alors modlise par l'quation diffrentielle y'-ay + 1=0. Les solutions de (1) sont de la forme : y = A" exp at + . a (1)
222
quations diffrentielles
L'amortissent d'une dette, contracte un taux d'intrt a l'an, avec des remboursements annuels *, et amortie en 10 ans. est donne par: y=+l(l-exp[-10a]). 2) Une particule radioactive p se dsintgre une vitesse v qui est proportionnelle la masse m de p . chaque instant, ma tant la masse initiale, dterminer la priode de dsintgration de p. Solution: On a v = = km. avec k < 0, d'o m(t) C ekt: dt m(Q) = irto => m{t) = moekt . La priode A de p est le temps au bout duquel on a: m(\) moekX . Cette galit entrane que Ln 2
x
On dira que l'quation est variables separables si f(x. y) = a(x)c(y): l'quation (1) s'crit alors y' = a(x)c(y). (2)
On a dj tudi ce genre d'quation au 8.5.3.4. Si c(y) ^ 0 l'quation s'crit sous la forme : * = a(x)dx-b(y)dy=0. o b{y) = -j~. (3)
Si A(x) (resp. B(y)) est une primitive de a(x) (resp. b(y)). la fonction f(x. y) = A(x) B(y) vrifie d / Donc *i est exacte et les solutions de (3) sont dfinies implicitement par l'quation A(x) B(y) K. K constante. Eremple: rsoudre 1 quation
xy' + y = y2. (1)
Les fonctions dont les graphes sont respectivement (0.0) la droite y = 0 et la droite y = 1 sont solutions de (1). En dehors de ces solutions, l'quation (1) est quivalente :
-, = + T ^ - = o.
y(yi) x
(2)
quations diffrentielles du premier ordre Les solutions de (2) sont donnes implicitement par l'quation : f dy J y{y - i) D'o ( J / - 1 )
y
223
dX
- K1 e
8.2.3.2. quations homognes Une fonction f(x.y) est dite homogne (de degr 0) si: Vx.t/.f. i0.
y' = f(*-y) est dite homogne, si f(x. y) est homogne (de degr 0).
(i)
Soit (M(x.y). MT) l'lment de contact dfini par (1). Si l'quation (1) est homogne, la tangente au point M'(\x, Xy) (A ^ 0) est parallle MT. Donc l'ensemble des courbes intgrales de (1) est globalement invariant par toute homothtie de centre O. Par suite y1 ne dpend que du rapport - . En posant t Ix -i 0) x x l'quation (1) devient
(f)
Posons r =
(2)
(3)
et l'on est ainsi amen rsoudre une quation variables separables. Exemple: rsoudre 1 quation : y'(y + x)-(y-x)=0. (1)
(1) admet pour solution singulire la fonction dont le graphe est (0.0). En dehors de cette solution singulire.
Equations diffrentielles
1 4- r2
J 1 + r2 + J 1 + r2
J x
une quation diffrentielle du second ordre. Conformment aux dfinitions de 8.1. l'quation (1) est dite linaire, si pour x fix l'application (y. y'. y") >-4 F(x. y'. y") est une application linaire ou affine de 3-_3 dans Z. Dans ce cas l'quation (f ) s'crit : a(x)y" + b(x)y' + c(x)y = f(x) (2)
l'quation (2) est dite coefficients constants si a(x). b(x) et c(x) sont des constantes. Dans ce paragraphe, on tudie les quations de la forme a y" + by' + cy = g(x) (3)
o a.b.c sont des constants relles ou complexes. g(x) une fonction valeurs relles ou complexes, continue sur un intervalle I de Ir. . Comme dans 8.3.2. on associe (3) l'quation linaire et homogne: ay" + by' + cy = 0. (3')
8.3.1. Proposition
Toute solution de l'quation (3) s'obtient en ajoutant une solution particulire de cette quation, toute solution de l'quation sans second membre (3') associe (3).
225
o a.b sont des constantes relles ou complexes. Soit f(x) une solution de (1). on a: f " ( x ) + af'(x) ou bien : + bf(x) = (D2 + aD + b) (f(x))
o Q et 3 sont les racines du trinme du second degr x2 + ax + b = 0. Posons (D a)(f) = . Intgrer (2) revient intgrer successivement : (D-3)^ =0 . (3) (4)
D'aprs les rsultats de 8.3.2.3. les solutions de l'quation (3) sont de la forme: = Cexp 3x . C tant une constante arbitraire relle ou complexe. L'quation (4) s'crit alors : (D - a)f = Cexp3x Et a pour solutions (8.3.2.3) : fix) = .4exp ax + B exp 3x, et f(x) = (Ax + B) exp or si a = 3. / C si a 3 [ B \ 3 a
A et B sont des constantes arbitraires relles ou complexes. On peut donc noncer 8.3.2.1. Thorme Soit l'quation diffrentielle y" + ay1 + by = 0
:D
Soient Q et 3 les racines de l'quation r2 + ar + b = 0. appele quaiwn caractristique de (1). Les solutions de l'quation (1) sont de la forme: y = A exp Q x + B exp 3x, si a ^ 3 y = (Ax + B) exp ax. si a = 3 o A et B sont des constantes arbitraires relles ou complexes.
quations diffrentielles
(1)
1) Si a ^ 3 . expQj' et exp 3x sont des solutions particulires de l'quation (1) linairement indpendantes. E n effet s i : A exp a .r + fi exp 3x = 0. V / . f ~_. (2)
en faisant x = 0 dans (2). on obtient A + /j = 0 et en drivant (2) par rapport x. et en faisant x = 0. on obtient QA + J / J = 0 . La seule solution du systme A + / Y= 0 . , 1 \ i 3 n P u r n F ^- est A = /i = 0. ^ a A + 3/j = 0 ii) Si Q = i . Q vrifie: (racine double) J Q 2 + O
+b = 0 |2o+a = 0
Ces relations entranent que expax et . r e x p i sont des solutions de (1) linairement indpendantes. Donc les solutions de (1) sont dfinies sur !r. et constituent un espace vectoriel complexe de dimension 2. 2) Si a et sont rels i) si a2 Ab > 0. Q et 3 sont rels, et les solutions sont de la forme :
{
Q
a^ 3 si Q = 3
o .4 et B sont des constantes relles arbitraires. ii) si a2 46 < 0. Q et 3 sont complexes conjugus
= A + i/j . 3 = X i/j.
En remplaant dans _4expa.r + B exp 3x (A. B complexes), expa.r et exp 3x par exp \x(cos /JX + i sin/ij). la solution gnrale se met sous la forme : y = (exp \x)(L cos fix + M si o L et M sont des constantes relles arbitraires. De i) et ii) on dduit que les solutions relles de l'quation y" + ay' + by = 0 (a. b G IF-) constituent un espace vectoriel rel de dimension 2. 3) Mme si les constantes a et sont relles, on peut avoir considrer les solutions complexes de l'quation y" + ay' + by = 0. Alors ces solutions constituent un espace vectoriel complexe de dimension 2. Dans ce cas si f(x) est une solution complexe, alors la fonction f(x) . conjugue de f(x), est aussi une solution.
227
Son quation caractristique est r 2 3r + 2 = 0; les racines sont 'I 1 et ro 2. D'o la solution gnrale : y A exp x + B exp 2x. A. B G 3..
ii) L'quation diffrentielle y" + y = 0 a pour quation caractristique r2 + 1 = 0. Les racines de cette quation sont ri = i et ro = i Donc les solutions sont de la forme : y A cos x + B sin x. A. B G ?-.
iii) Considrons l'quation diffrentielle j / " 2j/' + y = 0 Elle a pour quation caractristique r2 2r + 1 = 0. Celle-ci a pour solution double n = 1 . Donc les solutions sont de la forme :
puis on cherche une solution particulire yk de l'quation y" -\-ay' -\-by = gk(x). L ne solution particulire de l'quation y" + ay' + by = g(x) est
A- = l
3) Si a et b sont rels, et g(x) est une fonction relle, qui est la partie relle (resp. partie imaginaire) d'une fonction complexe h(x) sympathique
On cherche une solution particulire (complexe) de l'quation y" + ay' + by = h(x). Si z\(x) est une telle solution, alors &e (zi(x)) (resp. Im (zi(x)) est solution particulire de y" + ay1 + by = g(x). En effet, posons : r i ( x ) = ki(x) + ik^ix). On a :
quations
diffrentielles
D'o (a. b tant rels) {k'i + ak^ + bki) + i(k'2' + ak'2 + bk2) = J ? e ( h { x ) ) Par identification on obtient : k'{ + ak[ + bkl = J?e(h(x)). k'2' + ak'2 + bk2 = Im(h{x)). 4) g(x) est un polynme de degr n : la forme de l'quation montre que l'on peut chercher, comme solution particulire, un polynme P(x) (de degr n si b ^ 0. de degr ? + 1, si b = 0) dont on dterminera les coefficients par identification . 5) g(x) = P(x)exp~)X. o P{x) est un polynme, ) une constante relle ou complexe : on se ramne au cas prcdent en faisant le changement de fonction dans l'quation (2) y z, dfini par y = z 6) Mthode de la variation des constantes. On sait que les solutions de l'quation y" + ayl + by=0 (1) +ilm(h(x)).
constituent un espace vectoriel de dimension deux, dont on a dtermin une base {yi(x). y2(x)} On cherche une solution particulire de y" + ay' + by = g(x) sous la forme y = Xi(x)yi(x) + \2(x)y2(x) (2)
fonctions de classe C1. En reportant cette expression de y dans l'quation (2), on trouve :
+ a(X'iyi + A'2y2).
Ce systme linaire a une solution unique en Aj. A car le discriminant des inconnues i/ij/ j/jj/2 est diffrent de 0 pour tout x. Cette proprit peut tre vrifie directement pour les valeurs trouves pour yi et y2 dans les remarques 8.4.2.2 . 8 . 3 . 3 . 1 . Exemples Trouver une solution particulire des quations diffrentielles suivantes : 1) y"-2y>
x2 + x + 1.
+ y= (x2 + x + 1) exp x
Equations diffrentielles du second ordre x3 x2 xA x3 x2 D'o z> = y + + x + A et z = + + + Ax + B. On peut prendre comme solution particulire z\ = (A = B = 0). d'o (/! = zi expx . 2) y" + y = cos2 x
_, o 1 COS2J . . .
229
x3
x2
Comme cos~ x = - -\
y
, 1 equation s crit
+y=~
On est amen chercher une solution particulire pour y" + y=\ et une solution particulire de (i)
y" + y= - eos 2r = ^ e Q e 2 i J - V
(2)
yi = - est une solution particulire de (1). On cherche une solution particulire de " ^
en posant y = ; e 2 i I on obtient l'quation z" + 4iz' 3~ = - dont une solution particulire est z2 = -. Donc une solution particulire de 1 (3 ) est i/i = zo exp 2i x exp2x et par suite ft il . \ -exp2ix =
cos 2 x est une solution particulire de (2). 6 En dfinitive une solution particulire de y" + y = cos2 x est f(x) = 1 1 2~ 6 3) y +y = tgx, pour . r e j - - . On sait que yi = cos x et j/2 = s m x sont deux solutions indpendantes de y" + y = 0. On cherche une solution particulire sous la forme A1J/1+A2/2, o Ai et A2 sont des fonctions de x de classe C1. On doit donc rsoudre le systme : \[ cos x + Xo sin x = 0 X [ sin x + Ai, cos x = t.gx
\b
quations diffrentielles
1
COS X
/ sm x d x = cos x.
tgx
8.4. RETENIR
1) L'quation diffrentielle /-a(.r)/ = 0 a : / C 5, -> F. tant une fonction continue a pour solution gnrale y = KexpA{x). o " est une constante arbitraire et A(x) une primitive de a(x) sur l'intervalle /. 2) L'quation diffrentielle
y' -a( - b(x).
b : / C i 4 - tant une fonction continue a pour solution gnrale y = (" + C(x)) expA(x). o C(x) expA(x) est une solution particulire, avec : C(x) = (b(x)exp-A(x))
3) Les solutions de : y" + a y' + by = 0, a. b (1)
sont, a et 3 tant les racines de l'quation caractristique r2 + ar 0. y = A exp ax + B exp 3x. si Q ^ -i / = (Ax + 5) exp a. si Q = 3 A et B sont des constantes arbitraires, relles ou complexes. Les solutions de
y" + ay> + by = f(x)
(2)
sont obtenues en ajoutant aux solutions de (1) une solution particulire de l'quation (2).
231
-tg-r.
: 0. c) (1 + .r ) y' - 1 - y2 =
2 - 0. d) (y + 3) d x + x d y =
e) v/1-.r 2 d / - 2 0 - r cU = 0.
f)j;di/-i/d= \ / . r 2 + i/2.
2) Soit l'quation diffrentielle xy' '2y x2 = 0 . a) Dterminer ses solutions dans les intervalles ] se. 0[ et ]0. +:x[ . b) Montrer que l'on peut raccorder ces solutions sur I?. tout entier c) Dterminer toutes les solutions sur 3-, qui valent 0 pour .r = 1 . 2) Intgrer les quations diffrentielles suivantes: y" + 2y' + 10!/ = sin .r y" + m2y = x cos mx y" + 2y' + y = e1 eos 3y" - 3y' + -2y = x . y" + y= 3 sin .t. 3) a) Intgrer l'quation diffrentielle
y" - y> + 6y = 0
d + *2)y"a) Montrer qu'il existe deux polynmes P(x) et Q(x) tels que (1 + x2)y" + oxy' + Zy soit, quel que soit x. la drive par rapport x de [y'.P(x) + yQ(x)} . b) En dduire la solution gnrale de (") . 5) a) Trouver les solutions de l'quation diffrentielle suivante : x(x2 + 3y2) dx + y (y2 + 3x2) dy = 0 b) En posant x = u + 1 . y = r . ramener l'quation diffrentielle
(3/
(E)
- Ix + 7) d x + [ly - ix + 3) d y = 0
232
quations diffrentielles
une quation homogne, puis trouver ses solutions. 6) a) Intgrer l'quations diffrentielle ( s h ) / - ( c h i ) / + l = 0. (1)
b) Dterminer l'intgrale particulire qui tend vers une limite finie quand x tend vers oc: on dsigne par C\ la courbe reprsentative. c) Dterminer l'intgrale particulire qui tend vers une limite finie quand x tend vers +3c: on dsigne par Co la courbe reprsentative. d) Reprsenter graphiquement C\ et Co dans le plan muni d'un repre orthonorm Oxy . e) Montrer que toute courbe integrable passe par un point fixe .4 que l'on dterminera. 7) Soit y' + a(x)y = b(x) : (')
une quation diffrentielle linaire coefficients priodiques de priode 1; on pose a(x) =exp \ - / a(t) Jo
a) Montrer que x H-> a(x) est une solution de l'quation sans second membre associe (E). b) Montrer que pour tout x. on a : a(x + 1) = Q(1) a(x). c) Montrer que la solution gnrale y de (if) est dfinie par
d) On pose /(*) = / n ^ d f e t Jo UI
h(x) = f Jo
^ d*. a(t)
e) Montrer que si Q(1) est diffrent de 1, l'quation (if) admet une solution unique de priode 1 dont on donnera l'expression . 8) quation de Bernoulli . a) On considre l'quation diffrentielle y' + f(x)y = y(x)yn. (E)
Exercices et problmes
233
En posant r = y1~". montrer que (") se ramne une quation diffrentielle linaire
9) D'aprs la loi de Newton, la vitesse de refroidissement d'un corps quelconque dans l'air est proportionnelle la diffrence des tempratures du corps et du milieu. La temprature de l'air tant de 20C le corps se refroidit de 100C 60C en l'espace de 20 minutes. En combien de temps sa temprature tombera-t-elle 30C? 10) Une particule de masse m situe 500 m de la terre au temps t 0. fait une chute verticale. On suppose que la rsistance de l'air R est proportionnelle la vitesse de la particule. On note g l'acclration de la pesanteur. A quel instant la particule atteindra-t-elle la terre? 11) On veut dterminer les applications diffrentiables de J-,2 dans I?. qui vrifient 1 quation :
V(x.t/)e7.2.
(E)
i) Montrer que la fonction g(x. y) = (x4 + y 4 ) 1 / 2 est differentiate sur 1~ et que }'2g(x. y) est solution du (").
2
iii) En passant aux coordonnes polaires (r. 9) montrer que l'quation (E) devient : dr
Index historique
Archimde (287-212 avant J.-C.) : mathmaticien grec, un des prA Syracuse, il dirigea des travaux curseurs de l'analyse infinitsimale. infinitsi portuaires, navals nnrrnaires navals et pt militaires. militaires Bernoulli (Les) : famille de mathmaticiens suisses, qui joua durant tout le XVIIIesicle un rle de premier plan. Jacques (1654-1705), Jean (1667-1748) et Daniel (1700-1782) ont tabli des rsultats importants, en analyse, en calcul des probabilits et en mcanique. Bernstein Serge Nathanovitch (1880-1968) : mathmaticien russe, ses travaux portent sur l'approximation des fonctions continues par des polynmes et le calcul des probabilits. Bolzano Bernard (1781-1848) : n Prague, Bolzanofitdes tudes de thologie et de mathmatiques. Prtre en 1804, il occupa la chaire de philosophie de la religion en 1805 l'universit de cette ville, avant d'tre destitu en 1819 pour ses ides non conformistes. Cauchy Augustin Louis (1789-1857) : n Paris, Cauchy, aprs l'Ecole Polytechnique, passa par l'Ecole des Ponts et Chausses et participa comme ingnieur divers travaux publics. Membre de l'Acadmie des Sciences en 1816, il fut le plus prolifique des mathmaticiens aprs Euler. Son uvre, dont une part importante est consacre l'analyse, embrasse tous les domaines des mathmatiques. Darboux Jean Gaston : n Nmes en 1842, il mourut Paris en 1917. Ses travaux portent sur la gomtrie diffrentielle, la thorie de l'intgration et les quations aux drives partielles. Il fut lu l'Acadmie des Sciences en 1904 et est l'origine de la modification complte du rgime de la licence, de l'tablissement du doctorat mention sciences et du dveloppement de l'universit de Paris. Dini Ulisse (1845-1918) : mathmaticien italien, ses travaux portent sur la gomtrie et l'analyse, en particulier les sries de Fourrier. Euclide (vers 295 avant J.-C.) : fondateur de l'cole mathmatiques d'Alexandrie. On sait trs peu de choses sur sa vie. Son uvre fondamentale, les Elments, codifie la mathmatique grecque qu'utiliseront aprs lui Appolonios de Perga et Archimde. Euler Lonhard (1707-1783): mathmaticien et physicien suisse. Un des plus grands mathmaticiens de tous les temps et le plus prolifique. Devenu aveugle vers 1768, il continua travailler grce une mmoire prodigieuse. Son uvre couvre tous les domaines des mathmatiques: calcul diffrentiel, quations diffrentielles, gomtrie, fonctions circulaires, mcanique,... Fermt (Pierre de) : mathmaticien franais (1601-1665) connu pour ses travaux dans le domaine du calcul infinitsimal et la thorie des
236
quations diffrentielles
nombres. Son clbre problme (solutions entires de l'quation x"+y" = z", n > 3) ne fut rsolu, semble-t-il. que tout rcemment. Lagrange Joseph Louis (1736-1813): mathmaticien franais, a fait d'importantes dcouvertes dans tous les domaines des mathmatiques. Membre de la Commission des poids et mesures et du bureau des longitudes ds 1795. Leibniz Gottfried Wilhelm (1646-1716) : mathmaticien allemand, fut conseiller la cour suprme de Mayence et conseiller de Pierre Le Grand de Russie. Ses uvres en algbre et logique sont restes indites pendant longtemps. Lipschitz Rudolf Otto Sigismund (1832-1903) : mathmaticien allemand. Travaux dans la thorie des quations diffrentielles et physique mathmatique, thorie des nombres. Mac-Laurin Colin (1698-1746) : mathmaticien cossais, disciple de Newton. Son trait des fluxions (1742) contient notamment la formule du dveloppement en srie entire d'une fonction, qui porte son nom. Minkowski Herman (1864-1909) : mathmaticien allemand, inventa la mthode dite gomtrie des nombres, consistant utiliser des considrations gomtriques en thorie des nombres. Il a aussi laiss des travaux importants dans la thorie mathmatique de la relativit restreinte. Newton (Sir Isaac): mathmaticien britannique (1642-1727). En 1687 apparat son uvre principale : Philosophic naturali s principia mathematica dans laquelle il expose notamment ses travaux en analyse et la thorie de la gravitation universelle Polya George (1887- ): mathmaticien hongrois, connu pour ses travaux en analyse complexe, probabilit, thorie des nombres. Riemann Georg Friederich Bernard (1826-1866) : mathmaticien allemand, mourut de tuberculose. En plus de ses travaux en analyse, il jeta les bases de la topologie diffrentielle et de la gomtrie diffrentielle. Les varits Riemanniennes font encore l'objet de recherches intenses. Rolle Michel (1652-1719): mathmaticien franais. Sa mthode des cascades utilise pour la sparation des racines des quations algbiques ira qu'un rapport lointain avec le thorme qui porte son nom. Schwartz Hermann Amandus (1843-1921): membre des acadmies bavaroise et prussienne des Sciences, succda en 1892 Weierstrass l'universit de Berlin. Il a produit d'importants travaux en analyse. Serret Alfred (1819-1885) : mathmaticien franais. Son nom reste attach ct de celui de F.J. Frenet (1816-1900). aux foormules vectorielles liant l'arc, la courbure et la torsion des courbes gauches. Taylor Brook (1685-1731): mathmaticien anglais. Dans son ouvrage principal Methodus incrementorum directa et inversa (1715). il tablit la clbre formule laquelle son nom est rest attach, ainsi que d'autres rsultats importants d'analyse. Weierstrass Karl Theodor Wilhelm (1815-1897): mathmaticien allemand, membre de l'Acadmie des sciences de Berlin en 1856. Aprs Cauchy et Riemann. il a achev de mettre l'analyse sur les bases entirement rigoureuses et il y a apport de trs belles dcouvertes.
Index terminologique
Abscisse curviligne 192 Accroissements finis (thorme des 68,132) Approximations 71 Arc paramtr 190 Archimde 14 Bolzano-Weierstrass (thorme de 34 ) Borne ( d'une fonction, suprieure, infrieure - 18) Boule ( ouverte, ferme 117) Changement de variables (167) Cauchy (suite de 9, 35, thorme de 70, uniformment de 54, thorme de Lipschitz 216) Continue (fonction 39, 185, uniformment 43) Convergence ( simple d'une suite de fonctions 44, uniforme 45) Convexe (fonction 52, 74) Courbure (193) Darboux (somme de 147) Derivable (fonction 61) Drive (61, droite, gauche 65, partielle 120) Dveloppements limits (95, 188) Diffrentiable ( fonction 63, 122) Diffrentielle ( d'une fonction 61, forme 141, oprateur 214) Equations diffrentielles (141, linaires du 1er ordre 219, variables separables 222, homogne 223, linaires du second ordre 224 quivalentes (fonctions 96, normes 116) Exponentielle complexe (213) Extremum ( d'une fonction 64, 136)
238
quations diffrentielles
Fonction ( variation borne 55. continue 39, 120, continue par morceaux 156. convexe 52.74. derivable 61. implicite 137, rgle 160, en escalier 157. integrable 147, 155. inverse 76. Affine par morceaux 55) Hpital (rgle de Y 72) Hyperboliques (fonctions 80) Implicites (thorme des fonctions 137) Ingalits ( de Schwartz, de Minkowski 177) Infiniment ( grand. petit 96) Inflexion (point d' 197) Integrable ( fonction 147. 155) Intgration ( par partie 167) Intrieur ( point 20) Interpolation (89) Intervalle (19) Leibniz (formule de 203) Limite ( d'une fonction 21. 120. droite. gauche 23. d'une suite 25) Lipschitzienne ( fonction 50) Mac-Laurin (formule de 94) Major (ensemble 17. fonction 18, suite 18) Maximum (64) Monotone (fonction 71. suite 33) Moyenne (premire formule de la . deuxime formule de la 165) Normes (. quivalentes 116) Orthogonales (trajectoires 218) Oscillation ( d'une fonction 42) Polynmes ( de Bernstein 53) Primitive (161) Produit ( scalaire 117. mixte 181. vectoriel 182) Rebroussement (point de 198) Rgle (fonction 160) Rolle (thorme de 68) Schwartz (thorme de 133) Stirling (formule de 177)
239
Suites ( adjacentes 38. bornes 26. convergentes 27. de Cauchy 35. extraites 25. de fonctions uniformment convergente 45. de fonctions differentiates 83) Tangent (plan une surface 140) Tangente (application affine . une courbe. fonction 57) Taylor (formule de 93. Lagrange 93. 134. formule de avec reste intgral 177) Torsion (194) Tridre ( de Serret-Frenet 193) Uniforme (continuit 42. convergence 44) Valeurs (thorme des intermdiaires 40) Voisinage (117)
Imprim en France par I.M.E. - 25110 Baume-les-Dames Dpt lgal n 4058-03-1996 Collection n 49 - Edition n 01 59/4387/3
La collection Universits francophones, cre en 1988 l'initiative de l'UREF, propose des ouvrages de rfrence, des manuels spcialiss et des actes de colloques scientifiques aux tudiants de deuxime et troisime cycle universitaire ainsi qu'aux chercheurs francophones et se compose de titres originaux paraissant rgulirement. Leurs auteurs appartiennent conjointement aux pays du Sud et du Nord et rendent compte des rsultats de recherches et des tudes rcentes entreprises en franais travers le monde. Ils permettent cette collection pluridisciplinaire de couvrir progressivement l'ensemble des enseignements universitaires en franais. Enfin, la vente des ouvrages un prix prfrentiel destins aux pays du Sud tient compte des exigences conomiques nationales et assure une diffusion adapte aux pays francophones. Ainsi, la collection Universits francophones constitue une bibliothque de rfrence comprenant des ouvrages universitaires rpondant aux besoins des tudiants de langue franaise. Les auteurs de ce livre ont la double vocation de chercheurs et d'enseignants. Leur ouvrage couvre largement le programme d'Analyse de 1" anne du 1er cycle universitaire, avec des complments importants sur la convergence uniforme, les fonctions de plusieurs variables et les fonctions vectorielles. A la fin de chaque chapitre se trouve un rsum regroupant les principaux rsultats ainsi qu'un choix judicieux d'exercices et de problmes d'applications, illustrant et compltant le cours. Le tout constitue, c'est le souhait des auteurs, un outil de travail prcieux pour les tudiants du 1er cycle universitaire scientifique ainsi que pour les lves des classes de Mathmatiques suprieures.
E d m o n d FEDIDA, agrg de mathmatiques, docteur es sciences mathmatiques, est professeur des Universits franaises. Il est actuellement, dans le cadre de la Coopration, professeur l'Universit d'Abidjan, aprs avoir servi, dans le mme cadre, durant plusieurs annes comme professeur l'Universit de Dakar (UCAD). M a m a d o u SANGHARE, docteur es sciences mathmatiques, est matre de confrences et directeur de l'Institut de Recherche pour l'Enseignement des Mathmatiques, de la Physique et de la Technologie, (IREMPT) de l'universit de Dakar (UCAD). El Hadji Cheikh M'back DIOP, docteur en sciences mathmatiques, est matre-assistant l'Universit de Dakar (UCAD).
aidinkilc. .\miTii|iii' du Nurire ju\* ' p r k pivliTiMiiii1! L Rl:l:- : -" H '
9 782850 698392
I.S.S.N. 0993-3948 Diffusion HACHETTE ou ELLIPSES selon pays Distribution Canada D.P.L.U.
59.4387.3
Imprim " S.S.Q.I.