Académique Documents
Professionnel Documents
Culture Documents
1) GENERALITES.
A) Introduction.
Dans les chapitres prcdents, la thorie des limites de fonctions variable relle a t
dveloppe partir du concept de voisinage d'un point.
Rappelons qu'un voisinage fondamental d'un rel a est un intervalle I du type ]a- , a + [ ,
avec rel strictement positif.
La premire vision d'un tel intervalle est souvent lie la relation d'ordre sur R (ensemble des
rels strictement compris entre les bornes a- et a +).
Il est plus intressant de faire intervenir la notion de distance et de considrer I comme
l'ensemble des rels x tels que x a < .
On a vu en effet que l'approche prs est une pratique incontournable dans les phnomnes
de convergence. Cette vision permet de gnraliser facilement ce concept de voisinage dans
tout espace E o l'on peut mesurer les carts entre lments grce une fonction 'distance'
satisfaisant aux rgles suivantes, inspires des proprits de la distance gomtrique usuelle :
Toutes les dfinitions premires reposant sur la notion de voisinage se gnralisent ainsi sans
problmes pour des fonctions dfinies sur et valeurs dans de tels espaces (dits mtriques).
On pourra donc par exemple parler de limites, de continuit, pour une fonction f dfinie sur
une partie D d'un espace Euclidien E et valeurs dans un autre espace Euclidien F , en
choisissant pour mtriques les distances induites par les normes Euclidiennes : d(x, y)= x y
Le programme nous limite ici considrer uniquement le cas de fonctions dfinie sur une
partie du plan Euclidien E=RR, valeurs dans R.
On verra trs vite que ce cas particulier suffit dj largement pour se familiariser avec les
proprits essentielles de la gnralisation et saisir les difficults intervenant lorsque l'on
abandonne le cadre lmentaire des rels.
238
On dira qu'une partie O du plan Euclidien est ouverte (ou est un ouvert de RR), si et
seulement si pour tout v de O on peut trouver un disque ouvert centr sur v et contenu
entirement dans O.
En quelque sorte, dans un ouvert, tout point peut tre le centre d'une tude locale, effectue en
se restreignant un disque de rayon suffisamment petit.
On vrifie facilement que tout disque ouvert est un ouvert, que l'intersection de deux ouverts
est aussi un ouvert, qu'une runion d'ouverts est encore un ouvert.
3) Point adhrent.
Comme dans le cas rel, un lment a du plan sera adhrent une partie D de ce plan si et
seulement si tout voisinage V de a rencontre D, c'est dire vrifie V D .
On notera D l'ensemble de tous les points adhrents D.
Si f dsigne une fonction dfinie sur une partie D de RR valeurs dans R, (on dira par la
suite en abrg une fonction de deux variables), et si a=(x0, y0) est un point du plan adhrent
D, le concept de limite en a se gnralise naturellement comme suit:
La fonction f admet pour limite l'lment l de R si et seulement si pour tout voisinage impos
V de l on peut dterminer un voisinage W de a pour lequel f(W D) V.
lim( x , y ) a f ( x, y ) = l si et seulement si pour tout rel > 0 on peut trouver un rayon >0
( )
pour lequel : ( x, y) D et ( x x0 ) + ( y y0 ) < f ( x, y) l < .
Autrement dit l'image f(x, y) pourra toujours tre rendue aussi proche que voulu de l
condition de choisir v=(x, y) suffisamment voisin de a=(x0 , y0).
239
5) Continuit en un point.
La fonction de deux variables f sera dite continue en un point a de son ensemble de dfinition
D si et seulement si lim( x , y ) a f ( x, y ) = f (a) .
Elle sera dite continue sur la partie A de D si et seulement si elle est continue en tout point de
ce sous ensemble A.
p( x, y ) p (a ) = x x0 ( x x0 ) + ( y y0 ) = ( x, y ) a
1) Rgles opratoires.
Les tableaux donnant le comportement limite des sommes, produits, quotients de fonctions de
variables relles valeurs dans R sont encore valables pour les fonctions de deux variables
valeurs dans R.
On s'aperoit en effet rapidement en reprenant les dmonstrations, que l'argumentation
concernant la position de la variable n'utilise que les proprits essentielles des voisinages
fondamentaux (principalement, l'intersection de deux voisinages de a est encore un voisinage
de a). Les disques ouverts de RR satisfaisant galement ces rgles premires, les preuves
en question s'tendent sans problmes.
Les fonctions considres tant valeurs relles, on montre aussi facilement que les
thormes faisant intervenir l'ordre des images s'tendent facilement au cadre des fonctions
2 variables. Nous citerons principalement le thorme d'encadrement.
Par exemple toute majoration du type : f ( x, y ) l ( x + y ) avec lim 0 () = 0
permettra de conclure que f tend vers l l'origine.
3) Schmas de composition.
On peut donc rendre les images par la compose f o aussi proches que l'on veut de l en
plaant chaque fois la variable initiale dans un voisinage bien choisi de a.
En particulier, ce thorme nous permet de ramener toute tude de limite au voisinage d'un
point a=(x0, y0) une tude au voisinage de l'origine O=(0, 0) grce au changement de
variable classique : (h, k) a (h, k)=(x0+h, y0+k)
Soit f fonction de deux variables dfinie sur D et a=(x0, y0) un point adhrent cet ensemble.
D'aprs le thorme de composition, si f admet une limite l en a, pour toute fonction d'un
intervalle I de R vers R R telle que ait pour limite a en t0, alors f o doit avoir pour limite
l en t0.
Autrement dit si C est une courbe plane paramtre par t a (t)=(x(t), y(t)) et admettant le
point limite a au voisinage de la valeur critique t0, la restriction de f au support de cette courbe
doit avoir pour limite l en a.
Si on peut mettre en vidence deux telles courbes planes C1 et C2 telles que les restrictions de
f celles ci admettent deux limites diffrentes en a, ( limt t 0 f o 1 (t ) limt t 0 f o 2 (t ) ), on
pourra donc en dduire que f n'admet pas de limite en a.
xy
Pour exemple, la fonction (x, y) a f(x, y)= n'admet pas de limite au point origine.
x + y
En effet si Dm dsigne la droite passant par O et de pente m, paramtre par t a (t)=(t, mt) ,
m
la compose f o prend sur R-{0} la valeur constante .
1 + m
En quelque sorte, si on essaie d'atteindre l'origine en suivant une droite, le comportement
limite de f dpend de la droite choisie.
On voit dj travers cet exemple lmentaire une singularit essentielle des fonctions deux
variables: Il peut exister en un point des limites 'selon des chemins' particuliers joignant ce
point critique, mme si on ne peut parler de limite 'universelle' en ce point.
2) DERIVATION.
A) Drive suivant un vecteur.
Dans tout ce qui suit f dsignera une fonction de deux variables dfinie sur un ouvert O de R
et a=(x0, y0) reprsente un point particulier de cet ensemble d'tude.
Vu la dfinition d'une partie ouverte, on sait que l'on peut trouver un disque lmentaire
centr sur a et de rayon r (nous le noterons D) tel que D soit entirement contenu dans O.
Dans le cadre d'une tude locale en a, nous pouvons donc sans dnaturer la recherche,
241
La faon la plus simple pour joindre le centre d'un cercle partir d'un point intrieur consiste
se dplacer sur un rayon.
La direction de ce rayon peut tre prcise par un vecteur de R, soit h=(h1, h2).
La compose t a g(t)=f o (t) est donc une fonction de variable et d'image relle, dfinie sur
r
un voisinage de 0. ( Sur l'intervalle ouvert de centre 0 et de rayon )
h1 + h2
Par dfinition, nous dirons que la fonction f admet au point a= (x0, y0) une drive suivant le
vecteur h= (h1, h2) de R si et seulement si la fonction g dfinie ci dessus est drivable en 0 et
nous adopterons la notation g(0)=Dhf (a).
f (a + th) f (a)
Dh f (a) = limt 0
t
B) Drives partielles.
Il s'agt simplement de cas particuliers de la drivation selon un vecteur obtenus lorsque les
droites d'approche sont parallles aux axes canoniques de RR.
Ainsi, si on choisit de se dplacer paralllement l'axe des abscisses, dirig par h=(1, 0), donc
en gardant une ordonne constante gale y0,, on obtiendra la drive dite drive partielle
f
par rapport la premire variable x, que l'on notera D1f(a) ou (a)
x
f f ( x0 + t , y0 ) f ( x0 , y0 ) f ( x, y0 ) f ( x0 , y0 )
D1 f (a) = (a) = limt 0 = lim x x0
x t x x0
De mme, la drive en a selon le vecteur h=(0, 1) sera appele drive partielle par rapport
f
la deuxime variable y et sera note D2f(a) ou (a) .
y
f f ( x0 , y0 + t ) f ( x0 , y0 ) f ( x0 , y ) f ( x0 , y0 )
D2 f (a) = (a) = limt 0 = lim y y 0
y t y y0
1) Dfinition.
La fonction f dfinie sur louvert O de R sera dite de classe C1 sur cet ouvert si et seulement
si elle admet des drives suivant tout vecteur de R en tout point de O et si pour tout vecteur
h de R, l'application a a Dhf (a) est continue sur O.
Cette dfinition impose une condition universelle trs forte de drivation suivant tout vecteur
de R. On va voir que l'existence et la continuit des drives suivant les deux directions
fondamentales suffit en fait pour conclure de faon positive.
2) Thorme.
Si f admet en tout point de O des drives partielles et si les fonctions a aD1f(a) ainsi que
a aD2f(a) sont continues sur l'ouvert O, alors f est de classe C1 sur O et ses drives suivant
le vecteur h=(h1, h2) sont donnes en tout point a de O par la formule :
f f
Dhf (a)=h1D1f(a)+h2D2f(a)= h1 (a) + h2 (a)
x y
Dmonstration.
f (a + th) f (a)
Posons pour t non nul voisin de 0 : g (t ) = .
t
Ce taux peut se dcomposer sous la faon suivante:
_ La fonction x a v(x)=f(x, y0+th2) est par hypothse sur f de classe C1 sur un voisinage de x0.
(Existence et continuit des drives partielles par rapport la premire variable sur O).
De par l'galit des accroissements finis, il existe un lment ct strictement compris entre les
f
rels x0 et x0+th1 tel que : v(x0+th1)-v(x0)=(th1). (ct , y0 + th2 ) .
x
f
On en dduit g1 (t ) = h1. (ct , y0 + th2 ) .
x
f
La continuit de D1f sur O assure alors que g1(t) admet pour limite h1. ( x0 , y0 ) lorsque t
x
tend vers 0.
f f
( x0 , y0 ) + h2 . ( x0 , y0 ) = Dhf (a).
limt 0 g (t ) = h1.
x y
La fonction f admet donc bien des drives en tout point a suivant tout vecteur h de R,
continues sur O vu la formule ci-dessus et la continuit sur O des drives partielles de f.
Elle est donc bien de classe C1 sur l'ouvert O.
3) Drivation et continuit.
On montre facilement qu'une fonction de classe C1 sur l'ouvert O est ncessairement continue
en tout point a de cet ouvert.
Il suffit de dcomposer comme prcdemment l'cart de deux images suivant :
f(x0+h, y0+k)- f(x0, y0)= f(x0+h, y0+k)- f(x0, y0+k)+ f(x0, y0+k)- f(x0, y0)
Toujours d'aprs la formule des accroissements finis on peut alors crire, pour (h, k) voisin de
l'origine :
f f
f(x0+h, y0+k)- f(x0, y0)= h. (c, y0 + k ) + k . ( x0 , d )
x y
avec c compris entre x0 et x0+h et d situ entre y0 et y0+k.
lim ( h; k ) ( 0,0 ) f ( x0 + h, y0 + k ) = f ( x0 , y0 )
4) Diffrentielle en un point.
La proprit fondamentale qui suit montre en quel sens cette diffrentielle gnralise la notion
de nombre driv, si on met l'accent sur les approximations affines locales .
Ainsi : f (a + h) f (a) = f ( x0 + h1 , y0 + h2 ) f ( x0 , y0 + h2 ) + f ( x0 , y0 + h2 ) f ( x0 , y0 )
244
Les deux diffrences apparaissant peuvent alors s'crire, conformment l'galit des
accroissements finis et vu l'existence de drives partielles continues, sous la forme :
f
h1. (ch , y0 + h2 ) pour la premire, avec ch strictement situ entre x0 et x0+h1.
x
f
h2 . ( x0 , d h ) pour la seconde, avec dh entre y0 et y0+h2.
y
Il vient alors :
f f f f
f (a + h) f (a ) [ f (a )](h) = h1. (ch , y0 + h2 ) ( x0 , y0 ) + h2 . ( x0 , d h ) ( x0 , y0 )
x x y y
Puisque h1 et h2 sont majores de manire vidente en valeur absolue par h = h1 + h2 ,
il est vident de par la continuit des drives partielles de f sur O, que le quotient
f (a + h) f (a ) [ f (a )](h)
( h) = tend vers 0 lorsque h tend vers (0,0).
h
La fonction h a f(a)+[f (a)](h) apparat donc bien comme une bonne approximation affine
de h a f(a+h) au voisinage de (0, 0). (Ecart ngligeable devant la norme de h).
D'o l'appellation fonction affine tangente pour la fonction dfinie sur R par la formule :
x a Ta(x)=f(a)+[f (a)](x-a).
D) Rgles de drivation.
Les drives suivant un vecteur tant dfinies partir de la drivation d'une fonction de
variable relle dfinie par restriction de la fonction un segment de R, on ne sera pas surpris
dobtenir des rgles opratoires analogues aux rsultats classiques de la drivation.
Ainsi, si f et g sont deux fonctions de classe C1 sur l'ouvert O, on aura pour tout a de O et tout
vecteur h de R :
Dh(f.g)(a)= Dhf(a).g(a)+f(a).Dhg(a)
f ( D f (a )) g (a ) f (a )( Dh g (a ))
Dh (a ) = h (sous rserve que g(a) 0).
g ( g (a ))
f f
( f o )(t ) = ( x(t ), y (t )).x(t ) + ( x(t ), y (t )). y(t )
x y
Dmonstration.
Partons des approximations affines tangentes des composantes de au voisinage d'un rel t de
l'intervalle I.
Par composition des formules prcdentes et par linarit de la diffrentielle il vient donc :
f ((t + h)) = f ((t )) + h.[ f ((t ))]( x(t ), y(t )) + h.[ f ((t ))](1 (h), 2 (h)) + h b(h).(h)
en posant b(h) = ( x(t ) + 1 (h), y(t ) + 2 (h))
h
en posant (h) = .b(h)(h) + [ f ((t ))](1 (h), 2 (h)) , de limite nulle en 0.
h
On reconnat une approximation affine tangente de la compose g=f o , avec un nombre
f f
driv gal g (t ) = [ f ((t ))]( x(t ), y(t )) = ((t )).x(t ) + ((t )). y(t ) .
x y
Remarque.
Si est une fonction de deux variables de classe C1 sur l'ouvert U de R: t=(t1, t2) a(t), de
composantes respectives 1 et 2, ( (t)=(1(t), 2(t)), la formule ci dessus applique la
restriction t a f o (t, t2) donne l'expression suivante de la premire drive partielle de la
compose:
( f o ) f f
= ((t )). 1 + ((t )). 2 On obtient de mme l'autre drive partielle par :
t1 x t1 y t1
( f o ) f f
= ((t )). 1 + ((t )). 2
t2 x t2 y t2
246
f f f f f f f f
Ainsi on notera : = = = =
yx y x xy x y x x x y y y
A ce sujet, nous conclurons le chapitre par l'important thorme de Schwartz dont nous
admettrons la dmonstration non vidente, exprimant la commutation de l'ordre des drives
partielles sous certaines conditions de rgularit.
Thorme: Si f est une fonction de deux variables de classe C2 sur l'ouvert O, c'est dire telle
f f f f
que les drives partielles d'ordre 2 : , soient continues sur l'ouvert
yx xy x y
f f
O, alors en tout point a de O on a l'galit : (a) = (a) .
yx xy
247
2. Pour quelles valeurs des entiers p et q peut on prolonger par continuit l'origine la
x p yq
fonction f dfinie par f ( x, y ) = ?
x xy + y
x sin( y ) y sin( x)
4. Etudier la limite en (0, 0) de f ( x, y ) =
x + y
f(x, y)=x(y+(ln(x))).
x+ y
11. Etudier la fonction dfinie par la formule (x, y) a f ( x, y ) = Arc sin
x y
(Ensemble d'tude, limites aux points adhrents, drives partielles).
12. Soit f fonction de deux variables, de classe C1 sur R. Donner l'expression de la drive ou
des drives partielles des fonctions composes suivantes:
1
a) x a f( , x+5x) b) (u, v) a f(u-v, 2u.v) c) x a f( x, f(x, ln(x))
x
15. Soit f une fonction de variable et valeurs relles, de classe C2 sur l'intervalle I=]-1, 1[.
cos( x)
On considre la fonction g de deux variables, dfinie par: ( x, y ) a g ( x, y ) = f ( )
ch ( y )
a) Prciser le champ d'tude O de g et dterminer les drives partielles d'ordre 1 et 2.
g g
b) Simplifier l'expression du Laplacien de g, soit g = + .
x y
c) Montrer que l'on peut choisir f de faon que le Laplacien prcdent soit nul.
249
18. Soit f une fonction de classe C3 de R vers R. On dfinit partir de f la fonction de deux
variables g l'aide du procd:
f ( y ) f ( x)
Si x y g ( x, y ) = et si x = y g ( x, x) = f ( x)
yx
f f
b) Calculer les valeurs des deux drives partielles : (0,0) et (0,0) .
yx xy
1 cos( x. y )
20. On considre f dfinie sur O=]0, +[]0, +[ par : f ( x, y ) =
y
a) Montrer que l'on peut prolonger f en une fonction continue sur l'adhrence O .
1. Il est facile de mettre en vidence des paraboles passant par l'origine telles que les
restrictions de f ces courbes ait un comportement limite diffrent.
Pour m rel non nul considrons la fonction m de la variable relle t , valeurs dans R et
dfinie par : t a m (t ) = (t , mt ) . Elle admet pour limite (0, 0) lorsque t tend vers 0.
mt 4 m
La compose t a f o m(t)= = =lm est constante et admet donc cette valeur lm
t + m t
4 4
1 + m
comme limite en 0.
y 3 y
2. Remarquons d'abord que le dnominateur pouvant s'crire : ( x ) + , l'origine est
2 4
bien le seul point o la fonction f n'est pas dfinie.
_ Remarquons que de manire vidente, la fraction o intervient est majore par 2 en valeur
p+q
1
absolue. On en dduit la majoration : f ( x, y ) 2( x + y ) 2
.
Si on joint l'origine par une demi-droite, donc angle polaire constant, il s'ensuit que la
2 cos p () sin q ()
restriction de f aura pour valeur limite cette constante l = , lie directement
2 sin(2)
la pente de la droite choisie.
_ Enfin, si p+q < 2, en se dplaant sur les demi- droites dfinies ci dessus, et puisque
l'exposant de est maintenant strictement ngatif, il s'ensuit que la restriction de f ces
chemins tendront vers + si l > 0 , vers - si l < 0 et vers 0 si l=0 .
La fonction f n'aura donc pas non plus dans ce cas de limite l'origine.
251
3. Examinons le comportement de f au voisinage d'un point a=(0, y0) de l'axe des ordonnes.
y
Il est clair que f(x, y)=X.e-X , en posant : X = ( x, y ) = .
x4
_ Si y0 est non nul. On aura lim( x , y ) ( 0, 0) ( x, y ) = + , d'aprs les rgles opratoires et la
continuit des projections (x, y) ax ; (x, y) ay.
Sur une parabole d'quation y=mx, la fonction f garde la valeur constante lm= me m et tend
donc vers cette limite lm lorsque la variable tend vers l'origine le long de ce chemin.
Les valeurs lm tant variables avec m, f ne peut donc admettre de limite universelle au point
origine.
Or tend vers 0 lorsque (x, y) tend vers (0, 0) et les fonctions sinus et cosinus sont bornes.
Il s'ensuit d'aprs les thormes classiques, que lim( x , y ) ( 0,0 ) f ( x, y ) = 0 .
5. _ Vu la continuit des deux projections lmentaires sur les axes canoniques et les rgles
opratoires sur les limites, il est clair que pour une tude au voisinage d'un point a=(x0, y0)
x0 + y0
3 3
distinct de l'origine : lim( x , y ) a f ( x, y ) = = f (a ) . La fonction f est continue en a.
x0 + y0
_ Si a=(0, 0), on peut mettre profit les coordonnes polaires pour remarquer la majoration :
Les rgles classiques de drivation conduisent sans problmes pour tout (x, y) distinct de
l'origine, l'expression suivante des drives partielles
252
f x 4 + 3x y 2 xy 3 f y 4 + 3x y 2 yx3
( x, y ) = et ( x, y ) =
x ( x + y ) y ( x + y )
f y( x4 + 4 x y y 4 ) f x( x 4 4 x y y 4 )
( x, y ) = et ( x, y ) =
x ( x + y ) y ( x + y )
Pour l'tude l'origine, il suffit de remarquer que x a f(x, 0) est identiquement nulle, ainsi
f f
que y a f(0, y). On en dduit aussitt : (0,0) = 0 et (0,0) = 0 .
x y
b) Par dfinitions mme :
f f
(0, y ) (0,0)
f x y y
(0,0) = lim y 0 = lim y 0 = 1
yx y y
f f
( x,0) (0,0)
f y y x
(0,0) = lim x 0 = lim y 0 = 1
xy x x
Cet exercice donne un exemple o la commutation des drives partielles d'ordre 2 n'est pas
assure. Les hypothses du thorme de Schwartz ne sont pas ralises ici.
f x f y
( x, y ) = 2 xy [ln( x + y ) + ] et ( x, y ) = 2 x y[ln( x + y ) + ]
x x + y y x + y
f f ( x,0) f (0,0)
(0,0) = lim x 0 = 0 . (f s'annule en tout point d'ordonne nulle).
x x
f
On obtient de mme (0,0) = 0 .
y
Les drives d'ordre 2 s'obtiennent galement sans problmes en tout (x, y) (0, 0):
f f x y
( x, y ) = ( x, y ) = 4 xy[ln( x + y ) + 1 ]
yx xy ( x + y )
253
f 3x 2 x y 2
( x, y ) = 2 y [ln( x + y ) + + ]
x x + y ( x + y )
f 3 y 2 x y 2
( x, y ) = 2 x [ln( x + y ) + + ]
y x + y ( x + y )
Le point a=(x0, y0) tant lment de l'ouvert O, il existe un disque ouvert centr sur a , de
rayon r , entirement contenu dans O.
Il s'ensuit que pour un vecteur donn non nul h=(h1, h2) de R, la fonction de variable relle
r
t ag(t)=f(a+th) sera dfinie sur l'intervalle ouvert I centr sur 0 et de rayon = .
h
Si f prsente un extrmum en a, la fonction g admettra g(0)=f(a) comme maximum ou
minimun local et admettra donc un nombre driv nul en 0, sous rserve de drivabilit en ce
point.
Or par hypothse, f est de classe C1 sur O et admet donc des drives selon tout vecteur en
tout point de O. On en conclut donc que 0=g(0)=Dhf(a), ceci pour tout vecteur h.
Attention, comme dans le cas rel, la rciproque est fausse. Il suffit de considrer l'exemple
lmentaire : (x, y) a f(x, y)=x3.
La diffrentielle l'origine est nulle, mais 0 = f(0, 0) n'est pas un extrmum pour f car cette
fonction ne garde pas un signe constant au voisinage de (0,0).
254
9. La fonction f est de manire vidente de classe C1 sur tout R, ses drives partielles
f f
premires explicites par : ( x, y ) = 10 x 2 y 6 ( x, y ) = 4 y 2 x 6
x y
D'aprs l'exercice prcdent, si f admet un minimum en un point a de l'ouvert R, la
diffrentielle de f doit s'annuler en a.
Le systme linaire exprimant l'annulation des drives partielles prcdentes est lmentaire
et conduit l'unique solution possible a=(1, 2), point pour lequel f(a)=1.
Pour vrifier que l'on est bien en prsence d'un extrmum pour f, effectuons une tude locale
en posant : x=1+u ; y=2+v. Il vient aprs simplifications l'expression rduite suivante :
f(x, y)=1+5u+2v-2uv=1+4u+(u-v)
Sous cette dernire forme, il est clair que f(x, y) est suprieur ou gal 1 pour tout couple
(x, y) de R. La fonction f admet bien un minimum gal 1 au point a=(1, 2).
10.
La fonction f est de classe C1 sur l'ouvert O=]0, +[R, ses drives partielles sur O tant
f f
donnes par les formules : ( x, y ) = y + (ln( x)) + 2 ln( x) ( x, y ) = 2 xy .
x y
Ce couple de valeurs ne peut tre identiquement nul que si y=0 et ln(x)[ln(x)+2]=0.
Il y a donc deux extrmums potentiels en a1=(1, 0) , tel que f(a1)=0 et en a2=(e-2, 0) avec
f(a2)=4e-2.
_ f(x, y) tant de manire vidente du signe de x (produit de x par une somme de carrs), la
valeur f(a1)=0 est un minimum pour la fonction f, atteint en a1.
_ Pour l'tude locale en a2, examinons d'abord le comportement de f le long de parallles aux
axes principaux.
Pour x constant gal e-2, f(e-2, y)=e-2(y+4) 4e-2. Ceci suggre un minimun en a2.
x+ y
11. f(x, y) est dfini si et seulement si y x et - 1
1.
x y
y x
L'encadrement quivaut aux conditions : 0; 0 et conduit l'ensemble d'tude
x y x y
D=([0, +[]-, 0])(]-, 0][0, +[)-{(0,0)}.
255
La fonction n'admet pas de limite l'origine. En effet, le long de la droite Dm d'quation y=mx
1+ m
avec m < 0, f garde la valeur constante lm= Arc sin .
1 m
Le calcul des drives partielles sur O=(]0, +[]-, 0[)(]-, 0[]0, +[) est vident :
f y f x
( x, y ) = ; ( x, y ) =
x xy x y y xy x y
12. Les rsultats s'obtiennent directement en appliquant le thorme sur la drive d'une
compose.
1 1 f 1 f 1
a) Pour g(t)= f ( , t + 5t ) , on obtient : g (t ) = ( , t + 5t ) + (2t + 5) ( , t + 5t )
t t x t y t
Expression valable sur l'ouvert R-{0}.
b) Pour g(u, v)=f(u-v, 2u.v) , on obtient les drives partielles suivantes sur R:
g f f
(u v ,2u.v) = 2u (u v ,2u.v) + 2v ((u v ,2u.v))
u x y
g f f
(u v ,2u.v) = 2v (u v ,2u.v) + 2u ((u v ,2u.v))
v x y
c) Pour (t)=f(t, f(t, ln(t))) , remarquons d'abord que sur ]0, +[ , une premire application du
f 1 f
thorme de composition donne : ( f (t , ln(t )) ) = 1. (t , ln(t )) + . (t , ln(t ))
d
dt x t y
Une deuxime application du schma de composition nous conduit ensuite :
f f 1 f f
(t ) = (t , f (t , ln(t ))) + [ (t , ln(t )) + (t , ln(t ))] (t , f (t , ln(t ))) , sur ]0, +[.
x x t y y
g f f
( x, y ) = 2 ( 2 x y , x + 2 y ) + ( 2 x y , x + 2 y )
x x y
g f f
( x, y ) = ( 2 x y , x + 2 y ) + 2 ( 2 x y , x + 2 y )
y x y
Le calcul des drives partielles d'ordre 2 est possible sur R, toujours d'aprs le schma de
composition et les rgles opratoires. Il sera simplifi par la commutation des drives
partielles du second ordre, conformment au thorme de Schwartz dont f vrifie les
conditions d'application. On obtient aprs dveloppements et rductions :
256
g f f f
( x, y ) = 4 (2 x y, x + 2 y ) + (2 x y, x + 2 y ) + 4 (2 x y, x + 2 y )
x x y yx
g f f f
( x, y ) = (2 x y, x + 2 y ) + 4 (2 x y, x + 2 y ) 4 (2 x y, x + 2 y )
y x y yx
g f f f
( x, y ) = 2 (2 x y, x + 2 y ) + 2 (2 x y, x + 2 y ) + 3 (2 x y, x + 2 y )
xy x y yx
g g
b) La condition diffrentielle =2 quivaut vu les calculs prcdents la nullit de la
y x
f
drive partielle en tout couple de R du type (2u-v, u+2v) , donc en tout couple de R
x
2x + y 2y x
puisque tout (x, y) de R peut se mettre sous cette forme en posant : u = v= .
5 5
Pour y donn de R, la fonction x ag(x)=f(x, y) est alors de drive nulle sur R, donc constante
sur cet intervalle entier.
En posant (y)=f(0, y) on peut donc dire que les solutions sont les fonctions f dfinies sur R
par une formule du type : (x, y) af(x, y)=(y) , avec de classe C2 sur R.
g g f f
g ( x, y ) = [ + ]( x, y ) = 5[ + ](2 x y, x + 2 y )
x y x y
Autrement dit, en abrg : g = 5f o , en posant (x, y)=(2x-y, x+2y).
y
14. Pour simplifier le droulement des calculs, posons : = x + y et = Arc tan( )
x
Les drives partielles de et sur O sont alors dtermines par les formules simples :
x y y x
= = = =
x y x y
f x g y g f y g x g
( x, y ) = (, ) (, ) ( x, y ) = (, ) + (, )
x x y y x y
f f g
b) D'aprs ce qui prcde : x + y ( x, y ) = (, )
x y x
257
g
L'quation diffrentielle impose se rsume alors la condition : (, ) = 2 , devant tre
x
vrifie en tout couple (, ) dfinie par les formules du a), autrement dit pour tout couple de
U=]0, +[R . (On reconnat en effet le reprage classique en polaires.
Pour y rel quelconque, la fonction x ah(x)=g(x, y)-2x est alors de drive nulle sur
l'intervalle ouvert I=]0, +[, donc est constante sur cet intervalle.
Il s'ensuit que si on pose (y)=g(1, y)-2, on dfinit sur R une fonction de classe C1, relie g
par la formule : g(x, y)=2x+(y).
Rciproquement, toute fonction du type (x, y) ag(x, y)=2x+(y) avec de classe C1 sur R est
g
de classe C1 sur l'ouvert O=]0, +[R et vrifie sur cet ouvert la condition ( x, y ) = 2 .
x
La fonction g est ainsi dfinie sur l'ouvert O obtenu en enlevant de R les points du type
(2n, 0) , n dcrivant Z.
cos( x)
Posons pour cela (x, y)= .
ch( y )
sin( x) cos( x)sh ( y )
( x, y ) = et ( x, y ) = . Il vient alors :
x ch ( y ) y ch( y )
On peut poursuivre le calcul des drives partielles, puisque f est suppose de classe C2 sur I.
En posant pour simplifier l'criture t = ( x, y ) , on obtient sur O :
g cos( x) sin ( x)
( x, y ) = . f (t ) + . f (t )
x ch ( y ) ch ( y )
g g 2 cos( x) ch ( y ) cos ( x)
g ( x, y ) = + ( x, y ) = 3 . f (t ) + . f (t )
x y ch ( y ) ch 4
( y )
cos( x) cos ( x)
La condition g(x, y)=0 s'crit alors : 2 . f (t ) = 1 . f (t ) , ou encore, en
ch ( y ) ch ( y )
cos( x)
faisant intervenir la variable t= , sous la forme : 2t. f (t ) = (1 t ). f (t ) .
ch ( y )
Cette relation diffrentielle exprime en fait la nullit de la drive de t a(1-t).f (t) et entrane
donc la constante de cet expression sur l'intervalle I dcrit par t lorsque (x, y) volue dans O.
C
On en dduit l'existence d'une constante C telle que : t ] 1, 1[ f (t ) =
1 t
C 1+ t
Une dernire intgration donne f (t ) = ln + D , avec D constante relle arbitraire.
2 1 t
a) Etudions l'cart entre g(x, y) et g(a)=(y0 -1) f(0), pour (x, y) voisin de a.
F ( xy ) F ( x)
_ Si x est non nul, on peut crire g ( x, y ) = , en dsignant par F une des
x
primitives de la fonction f suppose continue sur R.
D'aprs l'galit des accroissements finis applique F sur l'intervalle dlimit par x et xy, on
sait qu'il existe un rel c strictement compris entre ces deux bornes, pour lequel on a l'galit :
Lorsque (x, y) tend vers a, il est clair que x tend vers 0 et y vers y0. On en dduit que f(c) tend
vers f(0) par continuit de f et vu que c est coinc entre x et xy.
On peut donc en conclure en examinant la forme des deux carts prcdents, et en faisant
jouer les rgles opratoires, que la limite en a de la diffrence g(x, y)-g(a) est bien nulle.
f(t)- f(0)=f(0)t+o(t).
On sait que par intgration, si G dsigne une primitive de t a f(t)- f(0), nulle en 0, on
f (0)
obtiendra : G (t ) = .t + t (t ) , avec fonction de limite nulle en 0.
2
1 f (0)
Ainsi, h(x) va se dvelopper en : ( x y0 x ) + x y0 ( xy0 ) x ( x)
x 2
f (0)
En simplifiant : h( x) = ( y0 1) + y0 ( xy0 ) ( x)
2
f (0)
Sous cette forme il est clair que h(x) tend vers ( y0 1) en 0.
2
g f (0)
Ainsi on a tabli : (0, y0 ) = ( y0 1) .
x 2
g
Ainsi : (0, y0 ) = f (0) .
y
b) f(x, y) tant dfini pour x et y non nul, la compose t ag(t)=f(t-1, ln(t+1)) sera donc
dfinie sur l'ouvert O=R-{0, 1}.
1
f 1 f 1 1 ( t 1) ln(t +1)
g (t ) = 1. ((t )) + . ((t )) = + .e
x t + 1 y (t 1) ln(t + 1) (t 1)(ln(t + 1)))
a) Sur D, les drives partielles de g s'obtiennent facilement partir des rgles opratoires.
g ( x y ) f ( x) + f ( y ) f ( x) g ( y x) f ( y ) + f ( x) f ( y )
Ainsi : ( x, y ) = ( x, y ) =
x ( y x) y ( y x)
b) Soit a=(x0, x0) un point de D. L'tude de la drive partielle par rapport la premire
variable en a s'effectue en tudiant le comportement limite en x0 du rapport :
g ( x, x0 ) g ( x0 , x0 ) f ( x) f ( x0 ) f ( x0 )( x x0 )
x a h( x ) = = .
x x0 ( x x0 )
La fonction f tant de classe C3 sur R, on peut utiliser le dveloppement limit d'ordre 2 en x0,
f ( x0 )
soit : f ( x) = f ( x0 ) + f ( x0 )( x x0 ) + .( x x0 ) + o(( x x0 ))
2
f ( x0 )
On en dduit, toujours au voisinage de x0 : h(x)= + o(1) .
2
g f ( x0 )
Par suite, ( x0 , x0 ) = lim x x0 h( x) = .
x 2
g f ( x0 )
On dmontre de manire analogue que ( x0 , x0 ) = .
y 2
c) La continuit des drives partielles values dans la question a) est vidente sur l'ouvert
O, vu la continuit de f et les rgles sur les sommes, produits, quotients de fonctions
continues. Le plus dlicat rside dans l'tude de la continuit de celles ci en un point a de la
droite D.
Etudions pour cela l'cart :
g g f ( y ) f ( x) ( y x) f ( x) f ( x0 )
d(x, y)= ( x, y ) ( x0 , x0 ) =
x x ( y x) 2
f ( x)
f ( y ) f ( x) ( y x) f ( x) ( y x)
2 f ( x) f ( x0 )
On peut l'crire aussi : +
( y x) 2
La drive seconde de f tant continue sur R, il nous suffit en fait de montrer que la premire
fraction tend vers 0 lorsque (x, y) tend vers a=(x0, x0).
Si K dsigne un majorant de f (3) (t ) , lorsque t dcrit l'intervalle ferm born J, on sait d'aprs
la formule de Taylor l'ordre 3 en x de J, que pour tout y de J :
yx
3
f ( x)
f ( y ) = f ( x) + f ( x)( y x) + ( y x) + r ( x, y ) , avec: r ( x, y ) K
2 6
261
La fraction en question est donc majore en valeur absolue pour tout (x, y) de D(a, r) par
yx
K . Elle a donc bien pour limite 0 lorsque (x, y) tend vers (x0, x0).
6
On vrifie de mme la continuit en a de la drive partielle de g par rapport la seconde
variable.
La fonction f est donc bien de classe C1 sur R.
19. a) en tout point non situ sur la diagonale principale, d'quation y=x, le calcul des drives
partielles est vident et conduit :
f ( x + y ) xy ( x + y )
( x, y ) = y sin 2 cos
x 2( x y ) ( x y ) 2( x y )
f ( x + y ) xy ( x + y )
( x, y ) = x sin + 2 cos
y 2( x y ) ( x y ) 2( x y )
A l'origine, remarquons que les fonctions x a f(x, 0) et y a f(0, y) sont identiquement nulles.
On en dduit que les deux drives partielles en ce point valent 0.
En tout autre point de la diagonale principale, on montrer facilement que les drives
partielles n'existent pas. ( x a f(x, x0) n'admet pas de limite en x0).
t
20. a) Partons du dveloppement cos(t ) = 1 + t (t ) avec de limite nulle en 0.
2
On en dduit que sur O : f ( x, y ) = x x( xy ) avec limt 0 (t ) = 0 .
Ainsi f admettra pour limite 0 en tout point a=(0, y0) de l'axe des ordonnes et tendra vers le
rel x0 en tout point b=(x0, 0) de l'axe des abscisses.
On peut donc prolonger f sur O =[0, +[[0, +[ en posant g(x, y)=x sur O -O.