Leçon 08 – Correction des exercices

Exercice 1 Indiquer les plus grands sous-ensembles possibles de IR2 sur lesquels on puisse
définir les fonctions suivantes, construire ces ensembles dans un plan.
g1 : (x,y) D1 → ln(xy) g2 : (x,y) D2 → ln( x2 - y) .

Solution

g1 est définie si et seulement si xy > 0. x et y sont donc non nyls et de même signe. Cela
correspond aux deux secteurs frontières non comprises, le premier et le troisième quadrant.

g2 esr définie si et seulement si x2 – y > 0. Soit y < x2. La région correspondante est située
sous la parabole d'équation y = x2, parabole exclue.

Exercice 2 On considère la fonction numérique de 2 variables réelles définie sur

2x - y
Dg = IR2 \ {(x,y)  IR2 ; y = -x} par g: (x,y)  Dg → x + y .
1) Représenter graphiquement le domaine de définition Dg.
2) On se limite aux couples (x,y) tels que y = 2x. Déterminer lim g(x,2x).
x
3) On se limite aux couples (x,y) tels que y = 3x. Déterminer lim g(x,3x).
x
4) Etudier la limite éventuelle de g en ( 0, 0).

1
 Solution

1) Dg est le plan IR2 privé de la droite D d'équation y = -x :

2x - 2x
2) lim g(x,2x) = lim x + 2x = 0
x x
2x - 3x 1
3) lim g(x,3x) = lim x + 3x = - 4 .
x x
4) Si la limite de g en ( 0, 0) existe, elle est unique et la même sur tout voisinage de (0,0). Or
tout voisinage de (0,0) contient des points de la forme (x,2x) et des points de la forme (x,3x).
1
Pour ces points la limite de g en (0,0) est différente (0 ou - 4 d'après 2) et 3)). Donc la limite
de g en (0,0) n'existe pas.

Exercice 3
1) Montrer que pour tout (x,y) de IR2 , - (x2 + y 2)  2xy  x2 y2
2) En déduire l'existence et la valeur de la limite suivante :
xy
lim 2 2 . On pourra utiliser directement la définition donnée en cours d'une
(x,y) x + y
fonction de deux variables, ou plus facilement, poser z = x2 + y2 et encadrer l'expression
xy
à l'aide d'une expression d'une seule variable réelle.
x + y2
2

Solution

2
1) - (x2 + y 2)  2xy = -(x + y)2  0 donc - (x2 + y 2)  2xy et l'inégalité de gauche est
montrée.
-2xy + x2 + y2 = (x – y)2  0 donc 2xy  x2 y2 et l'inégalité de droite est montrée.

2) D'après 1), puisque x2 + y2 > 0 pour (x,y)  (0,0) :

- (x2 + y 2) xy x2 y2
 2  2
x2 + y2 x + y2 x + y2
Donc
- (x2 + y 2) xy x2 y2
lim  lim   lim 
(x,y) x2 + y2 (x,y) x2 + y2 (x,y) x2 + y2

Or si on pose z = x2 + y2
-z xy z
lim  lim  2 2 lim 
z z (x,y) x +y z z
xy
lim - z = 0  lim  2 lim  z = 0.
z (x,y) x + y2 z

xy
D'où, d'après le théorème des gendarmes : lim  = 0.
(x,y) x + y2
2

Exercice 4 : Courbes de niveau.

On définit sur IR 2 la fonction :
f : (x,y) IR2 → f(x,y) = yexp(2xy).
1) Calculer la différentielle de f.
1) Que penser de la ligne de niveau 0 ?
2) Montrer que la ligne de niveau 1 est incluse dans l'ensemble {(x,y)  IR 2 ; y > 0 }, qu'elle
est une courbe sur laquelle l'abscisse x est une certaine fonction de l'ordonnée y, et exprimer
cette fonction d'y.

Solution

1) f admet des dérivées partielles d'ordre 1 continues sur IR2. Elle est donc différentiable sur
IR2.
∂f 2 2xy ∂f
∂x = 2y e , ∂y = e2xy + 2xy e2xy. Donc
df = 2y2e2xy dx + (1 + 2xy) e2xy dy

2) La ligne de niveau 0 a pour équation y e2xy = 0. Or pour tous x et y e2xy > 0. Donc
y e2xy = 0  y = 0
et la ligne de niveau 0 est l'axe des x, d'équation y = 0.

3) La ligne de niveau 1 a pour équation y e2xy = 1. Et puisque pour tous x et y e2xy > 0 :
y e2xy = 1  y > 0.
Donc la ligne de niveau 1 est incluse dans l'ensemble {(x,y)  IR 2 ; y > 0 }.
Et puisque y > 0,
1
y e2xy = 1  e2xy = y
3
 1 1 1
soit 2xy = ln(y ) ou x = 2y ln(y ). Donc la ligne de niveau 1 est aussi sur la courbe d'équation
1 1
x = 2y ln(y ).

Exercice 5 Indiquer quel est le plus grand sous-ensemble D de IR2 sur lequel on peut définir
ln(xy - 1)
la fonction f : (x,y)D → f(x,y) = x .

Solution
1) f est définie si et seulement si x  0 et xy – 1 > 0.
1 1
Donc f est définie si et seulement si x > 0 et y > x ou si x < 0 et y < x .
D est donc la région du premier quadrant qui se trouve au dessus de l'arc d'hyperbole
1
d'équation y = x et x > 0 et la région du troisième quadrant qui se trouve e dessous de l'arc
1
d'hyperbole d'équation y = x et x < 0.

Exercice 6 On considère la fonction définie de IR2 dans IR2 par f(x,y) = x exp(- (x - y)2 ).

4
1) Déterminer la différentielle de f.
2) Pour y fixé à une valeur y = y0 , on considère la fonction f1: x  IR  f( x, y0)
Etudier ses variations et montrer qu’elle est majorée par un nombre ne dépendant que de y0.
Pour x fixé à une valeur x = x0, on considère la fonction
f2; y  IR  f( x0, y). Etudier ses variations et montrer qu’elle est majorée par un nombre ne
dépendant que de x0.
3) On considère à nouveau f et on se restreint aux (x,y) de IR2 tels que x = y.
Montrer que f n’est majorée par aucun nombre.

Solution
1) f admet des dérivées partielles d'ordre 1 continues sur IR2. Elle est donc différentiable sur
IR2.
∂f ∂f
∂x = exp(- (x - y) ) + x(-2x + 2y) exp(- (x - y) ) , ∂y = x(2x – 2y) exp(- (x - y) ). D'où
2 2 2

df = (1 – 2x2 – 2xy) exp(- (x - y)2 )dx + (2x2 – 2xy) exp(- (x - y)2 )dy.

2) f1 (x) = x exp(- (x – y0)2 ).

f1'(x) = exp(- (x – y0)2 )( – 2 x2 – 2xy0 + 1).
– 2 x2 – 2xy0 + 1 est un trinôme du second degré dont le discriminant est  = 4y02 + 8 > 0.
1
Ce trinôme a donc deux racines x1 et x2 de signes différents puisque leur produit est - 2 < 0, il
2y0 + 4y02 + 8
est négatif sur ]- , x1 [  ]x2 , +[ et positif sur ]x1 , x2[. D'autre part x1 = -4
2 2
-y0 - y0 + 2 -y0 + y0 + 2
x1 = 2 et x2 = 2 . x1 et x2 ne dépendent que de y0.
On a le tableau de variation suivant :

x - x1 x2 +
f1'(x) - + -
0 f1(x2)
f1 . .
f1(x1) . 0

Donc f1(x) est majorée par f1(x1) = x2 exp(- (x2 – y0)2 ) > 0 et ne dépend que de y0 puisque x2
ne dépend que de y0.

f2(y) = x0 exp(- (x0 - y)2 ) et f2'(y) = x0(2x0 – 2y) exp(- (x0 - y)2 )

Si x0 = 0, f2 (y) est nulle pour tout y.

5
Si x0 > 0 on a le tableau de variations suivant :

y - x0 +
f2'(y) - 0 +
0 0
f2
f2(x0) = x0

Et f2 est minorée par x0 et majorée par 0.

y - x0 +
f2'(y) + 0 -
f2(x0) = x0
f2
0 0

Et f2 est majorée par x0 et minorée par 0.

3) f(x,x) = x, donc lim f(x,x) = - et lim f(x,x) = + et f(x,x) n'est ni majorée, ni bornée.
x x

Exercice 7 On cherche les fonctions f définies et différentiables sur IR2 telles que
df = (y2+4x)dx +(2xy-y) dy
1) On fixe une valeur y0 pour y. Quelles sont les fonctions numériques d’une variable, g ,
définies sur IR , telles que g’(x) = y02+4x ?
2) En déduire quelles sont les fonctions f de 2 variables définies sur IR2 telles que
f
(x,y)=y2+4x.
x
3) En déduire quelles sont les fonctions de 2 variables f(x,y) définies et différentiables sur IR2
telles que df = (y2+4x)dx +(2xy-y) dy sur tout IR2.

Solution

1) Si g'(x) = y02 + 4x, g(x) = y02 x + 2x2 + C (C est une constante réelle quelconque).

f
2) D'après 1) et la définition de (x,y), f(x,y) = y2x + 2x2 + (y), où (y) est une fonction de
x
y seulement.

f
3) Si f(x,y) = y2x + 2x2 + (y), (x,y)= 2yx + '(y). Et puisque df = (y2+4x)dx +(2xy-y) dy,
y
f f
on a aussi (x,y)= 2xy – y. En identifiant les deux valeurs de (x,y), on obtient '(y) = -y
y y
1 2
et (y) = - 2 y + C (C est une constante réelle quelconque).
1
D'où f(x,y) = 2xy + 2x2 - 2 y2 + C.
La solution est bien différentiable sur IR2.
6
Exercice 8
(On pourra s’inspirer de l’exercice précédent)
Déterminer toutes les fonctions numériques f de 2 variables réelles, différentiables sur IR2,
telles que
df = (y +1) dx + (x+ey) dy.

Solution

1) Avec les mêmes notations que dans l'exercice précédent :

Si g'(x) = y0 + 1, g(x) = y0 x + x + C (C est une constante réelle quelconque).

f
2) D'après 1) et la définition de (x,y), f(x,y) = yx + x + (y), où (y) est une fonction de y
x
seulement.

f
3) Si f(x,y) = yx + x + (y), (x,y)= x + '(y). Et puisque df = (y +1) dx + (x+ey) dy, on a
y
f f
aussi (x,y)= x + ey. En identifiant les deux valeurs de (x,y), on obtient '(y) = ey et
y y
y
(y) = e + C (C est une constante réelle quelconque).

D'où f(x,y) = yx + x + ey + C.

La solution est bien différentiable sur IR2.

Exercice 9
Montrer qu’on ne peut trouver de fonction f définie et différentiable sur IR2 telle que
df = (y2+ xy) dx + (2xy-y) dy pour tout (x,y) de IR2.

Solution

f 1
1) En s'inspirant des exercices précédents, si (x,y) = y2+ xy, f(x,y) = y2x+ 2 x2y + (y).
x
1 f 1
Si f(x,y) = y2x+ 2 x2y + (y), (x,y) = 2xy + 2 x2.
y
f f
Or si df = (y2+ xy) dx + (2xy-y) dy , (x,y) = 2xy – y. Les deux formes de (x,y) sont
y y
incompatibles. On ne peut donc pas trouver de fonction f définie et différentiable sur IR2 telle
que df = (y2+ xy) dx + (2xy-y) dy pour tout (x,y) de IR2.