Vous êtes sur la page 1sur 25

237

FONCTIONS DE DEUX VARIABLES

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 :

_ Proprit de sparation. (x, y) EE d(x, y) 0 et d(x, y)=0 x=y.

_ Proprit de symtrie. (x, y) EE d(x, y)= d(y, x).

_ Ingalit triangulaire. (x, y, z) EEE d(x, z) d(x, y)+d(y, z).

On appellera alors voisinage fondamental d'un lment a de E, tout sous ensemble de E du


type : B(a, ) = { x E tel que d(a, x) < }, avec rel strictement positif.
Un tel voisinage est en gnral dnomm boule ouverte de centre a et de rayon .

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

B) Extension des dfinitions classiques.


1) Disque ouvert.
Dans le cas du plan Euclidien, les boules ouvertes prennent le nom plus adapt de disque
ouvert. Ainsi, le disque ouvert de centre a=(x0 , y0) et de rayon >0 sera l'ensemble des
vecteurs v=(x, y) de E=R R situs une distance strictement infrieure de a.

On crira : B(a, )=D(a, )={ v=(x, y) tels que ( x x0 ) + ( y y0 ) < }.

Contrairement au cas rel o l'intersection de deux intervalles est encore un intervalle,


l'intersection de deux disques n'est plus toujours un disque.
Par contre, pour chaque point v de cette intersection I, on pourra trouver un disque ouvert
centr sur v et inclus entirement dans I. (C'est une consquence de l'ingalit triangulaire).
Ceci suggre d'largir le concept comme suit.

2) Partie ouverte du plan Euclidien.

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.

4) Limite d'une fonction de deux variables.

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.

Dans le cas o l est un rel on obtient la formulation pratique quivalente :

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.

Exemple. Continuit de la projection lmentaire (x, y) ap(x, y)=x en a=(x0 , y0).


Il suffit dutiliser la majoration suivante :

p( x, y ) p (a ) = x x0 ( x x0 ) + ( y y0 ) = ( x, y ) a

C) Extension des rsultats classiques.

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.

2) Rgles lies l'ordre.

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.

Grce l'nonc en termes de voisinages, le thorme de composition peut s'noncer de


manire universelle. Soit en effet un compos du type g=f o , avec allant de I vers D et f
une fonction de D vers E. Supposons de plus lim x a ( x) = b et lim y b f ( y ) = l .

Pour V voisinage impos de l, on peut donc d'abord trouver un voisinage fondamental W de b


pour lequel f(W D) V. (Ceci d'aprs l'hypothse sur le comportement de f en b).

A ce voisinage W de b on peut ensuite associer en faisant jouer le comportement limite de


en a, un voisinage X de a tel que (XI) W.

Par transitivit de l'inclusion il vient alors : f o (I X) f(W D) V.


240

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.

Ceci assure par dfinition mme la conclusion : lim x a f o ( x) = l .

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)

4) Non existence de limite en un point.

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

restreindre la fonction l'ensemble D = B(a, r).

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).

Le paramtrage correspondant s'crira donc : t a (t ) = ( x0 + th1 , y0 + th2 ) .

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).

g(t ) g (0) f ( x0 + th1 , y0 + th2 ) f ( x0 , y0 )


Ainsi : Dhf (a) = limt 0 = limt 0
t t
Remarquons que vu la structure de R espace de E=RR, nous pouvons crire ce qui prcde
sous la forme condense suivante, o la gnralisation de la notion apparat clairement:

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

C) Fonctions de classe C1.


242

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:

f ( x0 + th1 , y0 + th2 ) f ( x0 , y0 + th2 ) f ( x0 , y0 + th2 ) f ( x0 , y0 )


g (t ) = +
t t
Appelons respectivement g1(t) et g2(t) les deux fractions apparaissant dans l'ordre ci dessus.

_ 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.

_ Un raisonnement analogue montre que la deuxime fraction peut aussi se simplifier en :


f
g 2 (t ) = h2 . ( x0 , d t ) , avec dt strictement compris entre y0 et y0+th2 , ceci d'aprs l'existence et
y
la continuit sur O de u aD2f(u).
f
Cette mme continuit nous permet de conclure que g2(t) tendra vers h2 . ( x0 , y0 ) lorsque la
y
variable t tend vers 0.
243

On termine avec la rgle sur le comportement limite d'une somme :

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.

La continuit en a des drives partielles de f suivant x et y permet ensuite de conclure que :

lim ( h; k ) ( 0,0 ) f ( x0 + h, y0 + k ) = f ( x0 , y0 )

4) Diffrentielle en un point.

Pour une application f est de classe C1 sur un ouvert O de R, on appelle diffrentielle en un


f f
point a de O l'application linaire de R vers R dfinie par : (h1 , h2 ) a h1. (a ) + h2 . (a)
x y
On l'appelle galement drive de f en a et on la note Df(a) ou f (a).

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 .

Thorme : Si f est de classe C1 sur l'ouvert O de R, f admet au voisinage de tout point a de


O un dveloppement du type : f (a + h) = f (a ) + [ f (a )](h) + h (h) avec lim h ( 0,0 ) (h) = 0

La dmonstration utilise encore le mme principe de dcoupage dj employ plusieurs fois


dans ce qui prcde, consistant relier les points a et a+h en se dplaant sur des parallles
aux axes canoniques de R.

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)+ Dhg(a) Dh(f)(a)= Dhf(a) (pour constante relle).

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 ))

Drive d'une composition.


Thorme. Soit f est une fonction de classe C1 sur un ouvert O de R et une fonction de
classe C1 sur l'intervalle I de R valeurs dans O, soit : t a (t)=(x(t), y(t) .
La compose g=f o est alors drivable sur I suivant la formule :
245

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.

x(t + h) = x(t ) + hx(t ) + h1 (h) avec lim h 0 1 (h) = 0


y (t + h) = y (t ) + hy(t ) + h 2 (h) avec lim h 0 2 (h) = 0

On en dduit : (t+h)-(t)=h.(x(t)+1(h), y(t)+2(h)).

En faisant intervenir la diffrentielle de f en (t) on obtient ensuite l'galit :

f ((t + h)) = f ((t )) + [ f ((t ))]((t + h) (t )) + (t + h) (t ) (h) , avec de limite


nulle en (0, 0).

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))

La fonction b admettant une limite relle l'origine, on peut finalement crire le


dveloppement prcdent sous la forme rduite suivante:

f o (t + h) = f o (t ) + h.[ f ((t ))]( x(t ), y(t )) + h.(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

E) Drives partielles successives.


On dfinit naturellement de proche en proche les drives partielles d'ordre 2 comme les
drives partielles des drives partielles d'ordre 1.

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

Exercices sur les fonctions de deux variables.

1. Etudier le comportement l'origine de la fonction dfinie par la formule suivante :


yx
f ( x, y ) = 4
x + y

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

3. Etudier le comportement au voisinage des points dabscisse nulle, de la fonction f dfinie


y
y 4
par la formule f ( x, y ) = 4 e x
x

x sin( y ) y sin( x)
4. Etudier la limite en (0, 0) de f ( x, y ) =
x + y

5. Etudier la continuit et l'existence de drives partielles l'origine pour la fonction dfinie


x3 + y 3
par : ( x, y ) (0,0) f ( x, y ) = et f (0,0) = 0
x + y

6. On considre la fonction f dfinie sur R par :


xy ( x y )
( x, y ) (0,0) f ( x, y ) = et f (0,0) = 0
x + y
a) Dterminer les drives partielles premires de f sur R.
f f
b) Etudier l'existence et la valeur de : (0,0) et (0,0)
yx xy

7. On considre la fonction f dfinie sur R par :

( x, y ) (0,0) f ( x, y ) = x y ln( x + y ) et f (0,0) = 0

a) Etudier ses drives partielles d'ordre 1 et 2.


b) La fonction f est-elle de classe C1 sur R ?

8. Soit f une fonction de classe C1 sur un ouvert O de R.


Montrer que si f admet un extrmum (minimum ou maximum local), au point a=(x0, y0) de
R, alors la diffrentielle de f est nulle en ce point.

9. On considre la fonction f dfinie sur R par : (x, y) a f(x, y)=5x+2y-2xy-6x-6y+10


Montrer que f admet un minimum.
248

10. Etudier les extrmums ventuels de la fonction dfinie par la formule :

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

13. On dsigne par f une fonction de deux variables, de classe C2 sur R.


On lui associe la fonction g dfinie sur R par : (x, y) ag(x, y)= f(2x-y, x+2y)

a) Exprimer les drives partielles d'ordre 1 et 2 de g partir de celles de f.


g g
b) Peut on choisir f de faon que =2 ?
y x
g g
c) Simplifier le Laplacien de g dfini par g = +
x y

14. On considre une fonction g de classe C1 sur l'ouvert ]0,+[R.


On lui associe la fonction f dfinie sur l'ouvert O=R-{0} R par :
y
f ( x, y ) = g ( x + y , Arc tan( ))
x
a) Exprimer les drives partielles d'ordre 1 de f en fonction de celles de g.

b) Utiliser le calcul prcdent pour construire des fonctions satisfaisant la relation


f f
diffrentielle : x + y = 2 x + y
x y

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

16. On dsigne par f une application de classe C1 de R vers R.


On lui associe la fonction g de deux variables, dfinie par :
xy
1
x 0 g ( x, y ) = f (t )dt et y R g (0, y ) = ( y 1) f (0)
xx
Etudier la continuit de g et l'existence de drives partielles aux points d'abscisse nulle.
1

17. On considre la fonction f de deux variables dfinie par : (x, y) a f ( x, y ) = e xy


ainsi que
la fonction de I=]-1, +[ vers R telle que : t a (t)=(t-1, ln(t+1)).

a) Dterminer les drives partielles d'ordre 1 de f.

b) Prciser l'ensemble de dfinition de la compose g=f o .

c) Calculer de deux faons la drive (t).

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

Montrer que f est de classe C1 sur R.

19. Soit f la fonction de deux variables dfinie sur R par :


( x + y )
Si x y f ( x, y ) = x. y.sin et si x = y f ( x, x ) = 0
2( x y )

a) Dterminer les drives partielles d'ordre 1 de f.

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 .

b) Etudier ensuite l'existence de drives partielles d'ordre 1 au point origine.


250

Solutions des exercices sur les fonctions de deux variables.

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.

Ces expressions dpendant de la valeur du paramtre m, il s'ensuit que f ne peut admettre de


limite au point origine.

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.

Utilisons le reprage en coordonnes polaires. Il vient x =cos() ; y=sin() et par suite :


p + q cos p () sin q () 2 cos p () sin q ()
f ( x, y ) = = p + q 2 .
(cos () sin() cos() + sin ()) 2 sin( 2)

_ 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 p+q > 2 , le principe de majoration permet alors de conclure lim( x , y ) ( 0,0 ) f ( x, y ) = 0 .

_ Si p+q=2, f(x, y) ne dpend pas du rayon polaire .

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.

La fonction f n'aura donc pas de limite l'origine.

_ 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.

Puisque lim x + Xe X = 0 , il s'ensuit d'aprs le thorme de composition, que f tend vers 0 au


point a.

_ Si y0 est nul. Le point d'tude est l'origine.

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.

4. Partons du dveloppement limit l'ordre 3 de sinus au voisinage de 0.


t3
sin(t ) = t + t 3(t ) avec limt 0 (t ) = 0 . On en dduit immdiatement:
6
x3 y3
sin( x) = x + x 3( x) et , sin( y ) = y + y 3( y ) , puis par combinaisons :
6 6
yx xy
3 3
x sin( y ) y sin( x) = + yx3( x) xy 3( y )
6
Utilisons alors le reprage polaire, soit : x=cos() ; y=sin() , avec = ( x, y ) = x + y
sin(4) sin(2)
Il vient facilement : f ( x, y ) = .[ + (cos ()( cos()) sin ()( sin()))]
24 2

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 :

f ( cos(), sin()) = cos3 () + sin 3 () 2 x + y , d'o l'on dduit immdiatement :


lim( x , y ) ( 0,0 ) f ( x, y ) = 0 = f (0,0). La continuit de f est donc aussi vrifie l'origine.

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 )

Pour l'tude l'origine, remarquons que f(x, 0)=x et f(0, y)=y.

f ( x,0) f (0,0) f f (0, y ) f (0,0) f


Il s'ensuit : lim x 0 =1= (0,0) et lim y 0 =1= (0,0)
x x y y
On peut vrifier facilement que les drives partielles obtenues sont continues en tout point de
R sauf l'origine.

6. a) En un point (x, y) distinct de l'origine, les drives partielles s'obtiennent grce au


thorme du quotient. On obtient aprs simplifications :

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.

7. a) En tout point distinct de l'origine, les drives partielles premires s'obtiennent


directement l'aide des rgles classiques de drivation des fonctions d'une variable.

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 )

Pour l'tude l'origine, on revient la dfinition de base :


f f f f
(0, y ) (0,0) ( x,0) (0,0)
f f
(0,0) = lim y 0 x x =0 (0,0) = lim x 0 x x =0
yx y x x
f f f f
( x,0) (0,0) (0, y ) (0,0)
f y y f y y
(0,0) = lim x 0 =0 (0,0) = lim y 0 =0
xy x y y

b) Le problme de la continuit des drives partielles se pose uniquement l'origine.( Aux


autres points la conclusion est vidente d'aprs les thormes gnraux).
Le reprage en coordonnes polaires conduit rapidement une rponse positive. En effet en
posant classiquement x=cos() et y=sin() avec = x + y , on obtient l'expression
f
simplifie : ( x, y ) = 4(3 ln()) sin () cos() + 23 cos3 () sin ()
x
Etant donn que lim 0 ln() = 0 et que les fonctions sinus et cosinus sont bornes sur R, on
f f
( x, y ) = 0 =
en dduit facilement lim ( x , y ) ( 0,0 ) (0,0).
x x
On tablit de manire analogue la continuit l'origine de la drive partielle par rapport y.

8. Rappelons les dfinitions essentielles.

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.

La diffrentielle de f en a est donc bien nulle.

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.

Pour y constant gal 0 : f(x, 0)=x(ln(x)).

Or la fonction x a (x)=x(ln(x)) se drive en (x)=ln(x)[ln(x)+2].

Le tableau de variations de est vident et fait apparatre un maximun local en e-2.

La valeur f(a2) n'est donc ni un maximum ni un minimum local de f.

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

13. a) Les drives partielles premires de g s'obtiennent immdiatement sur R d'aprs le


thorme de composition :

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

La fonction g apparat alors elle aussi de classe C2 sur R.

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.

c) Toujours d'aprs les formules de a), on dduit

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

On en dduit immdiatement par le thorme de composition, l'expression des drives


partielles d'ordre 1 de f (x, y)=g(, ) sur O, soit :

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

15. a) Rappelons qu'un cosinus hyperbolique a ses valeurs suprieures ou gales 1.


cos( x)
On peut donc dj remarquer que la fraction est toujours dfinie et de valeur absolue
ch ( y )
cos( x)
infrieure ou gale 1. Il s'ensuit, f ayant un sens sur ]-1, 1[, que g ( x, y ) = f sera
ch ( y )
toujours dfinie sauf dans les cas dfavorables o ch(y)=1 et cos(x)= 1 .

La fonction g est ainsi dfinie sur l'ouvert O obtenu en enlevant de R les points du type
(2n, 0) , n dcrivant Z.

Les drives partielles d'ordre 1 et 2 de g s'expriment facilement sur O grce au thorme de


composition.

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 )

g sin( x) cos( x) g cos( x) cos( x)


( x, y ) = . f ( ) ( x, y ) = . f ( )
x ch ( y ) ch ( y ) y ch ( 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 cos( x)(sh ( y ) 1) cos ( x)sh ( y )


( x, y ) = . f (t ) + . f (t )
y 3
ch ( y ) ch 4 ( y )
258

g g sin( x)sh ( y ) sin( x) cos( x)sh ( y )


( x, y ) = ( x, y ) = . f (t ) + . f (t )
yx xy ch ( y ) ch 3 ( y )

b) Le Laplacien de g se simplifie, vu les calculs prcdents, en :

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

16. Soit a=(0, y0) un point de R d'abscisse nulle.

a) Etudions l'cart entre g(x, y) et g(a)=(y0 -1) f(0), pour (x, y) voisin de a.

_ Si x=0, g(0, y)-g(a)=(y-y0) f(0).

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 :

F(xy)-F(x)=(xy-x)f(c). On en dduit : g(x, y)=(y-1)f(c), puis l'expression de l'cart tudi :

g(x, y)-g(a)=( f(c)- f(0))(y0-1)+(y-y0) f(c).

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.

La fonction g est donc bien continue en a.


259

b) Pour l'existence de la drive partielle suivant la premire variable en a, tudions le


g ( x, y0 ) g (0, y0 )
comportement de x ah(x)= l'origine.
x

Remarquons que l'on peut crire le numrateur comme :


xy xy xy
1 0 1 0 1 0
x x x x x x
f (t ) dt f ( 0) dt = [ f (t ) f (0)]dt

Or f tant de classe C1 sur R, on peut crire le dveloppement suivant l'origine :

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

L'tude de la deuxime drive partielle est plus lmentaire.


En effet, la fonction y ag(0, y)=(y-1) f(0) se drive suivant y en f(0).

g
Ainsi : (0, y0 ) = f (0) .
y

17. a) Calculs lmentaires.


1 1
f 1 x. y f 1 x. y
( x, y ) = e ( x, y ) = e
x x y y y x

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}.

c) En utilisant le schma de composition ci dessus on obtient :

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)))

On peut retrouver ce rsultat en drivant directement par rapport t l'expression de cette


1
( t 1) ln( t +1)
compose, soit t a g (t ) = e .
260

18. Soit D la droite de R, d'quation y=x et O l'ouvert complmentaire, soit O=R-D.

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).

Considrons l'intervalle J=[x0-1, x0+1] et D(a, 1) le disque ouvert de centre a et de rayon 1.


Il est clair que pour tout (x, y) de ce disque, les composantes x et y sont lments de J.

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).

b) Par dfinition mme :


f f
(0, y ) (0,0)
f ( y )
(0,0) = lim y 0 x x = lim y 0 sin = 1
yx y 2( y )
f f
( x,0) (0,0)
f y y ( x)
(0,0) = lim x 0 = lim x 0 sin = 1 .
xy x 2( x)

Il s'agt encore d'un exemple o le thorme de Schwartz ne s'applique pas.

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.

Ce prolongement est de manire vidente continu sur l'adhrence de O.


f f
b) D'aprs le prolongement choisi, (0,0) = 1 (0,0) = 0
x y