Fonctions à deux variables

Exercice 1
On note
l'ouvert de   défini par
 1 3 , 2 3  0,1 et  l'application définie sur
par :
,   ,   ²    ²  
Montrer que  est strictement négative sur
.

,     1    1

On a

Pour    ,  ,   1 0. Pour  01,   1 0.

 
 
Comme  et  sont positifs, on a
  1    1 0

  1    1 0

Et donc

,  0
Donc

b) Montrer (en rédigeant soigneusement) que  admet un unique extremum sur
et que celui-ci est un minimum dont on donnera la

En déduire que, pour tout élément (,  #$
:

valeur.

25
 ) ,  0
64

La fonction  est de classe *  sur
comme fonction polynôme à deux variables.

+, ,   2  1     
On a

-, ,   2  

2  1       0: 1 2
On résout le système : 9 avec   > , ? et  0,1
2    0 3 3

2  1  0
La deuxième équation donne

Or  @ 0, donc
1

2
On a donc sur

1  1 5
D2  1  E F  E F  0 
2  1      0:

2 2 :AG 8:
9 A
2    0 C 1 1
  
B 2 2

1 5 2 8 15 16
On a bien
car
3 8 3 24 24 24

1
Et
0 1
2
5 1
Donc le seul point critique est le point de coordonnées E , F.
8 2
Examinons si ce point est un extremum local.

,, ,
++   2
On a

,, , ,, ,
+-   -+   2  1 d'après le théorème de Schwarz
,, ,
--   2

5 1
On a donc

S  ++,,
E , F2
8 2
5 1
T  +-,,
E , F0
8 2
5 1 5
U  --
,,
E , F
8 2 4

5
On a donc
SU  T   V 0
2

On a d’autre part S V 0 W c’est donc un minimum.

Donc le point critique est un extremum local.

5 1
On a donc en tenant compte de la première question

X,  
,  E , F ) ,  0
8 2

5 1 25
Or
E , F  
8 2 64

25
Donc

X,  
,  ) ,  0
64

Exercice 2
Le but de l'exercice est l'étude des extremums de la fonction :
 
,  Y ²  2  2²  $ Z+
a . Établir que l'équation $  , d'inconnue   , admet une solution et une seule.
Z+

On considère la fonction [ définie sur  par

[  $ Z+  

[,   $ Z+  1 0
On a

La fonction [ est donc strictement décroissante sur .

lim $ Z+    lim $ Z+ 1  $ + 
On a
+Z\ +Z\

lim $ +  0
Or d’après les théorèmes de croissance comparée
+Z\

lim $ Z+ 1  $ +   lim $ Z+  ∞
Donc
+Z\ +Z\

lim $ Z+    lim    ∞
On a également
+^\ +^\
La fonction [ est continue et strictement décroissante sur  : elle réalise une bijection de  sur . Or
0  , donc l’équation [  0 a une unique solution dans . Et donc l’équation $ Z+   a une
unique solution dans .

b. Montrer qu'il existe _ , _    unique tel que :

`
D _ , _   0 _  $ Z+c  0
` : et établir que b _ :
C`  ,    0 _ 
2
B` _ _

`
On a
,   2  2  $ Z+
`
`
,   2  4
`

`
On a donc
 ,    0
D
` _ _ : A 92_  2_  $  0:
Z+c

C`  ,    0 2_  4_  0

B` _ _

_
La deuxième égalité implique que
_ 
2

2_  _  $ Z+c  0 _  $ Z+c  0

On a donc
2_  2_  $ Z+c  0: _ :Ab _ :
9 Ab
2_  4_  0 _  _ 
2 2
La première équation admet une unique solution dans  d’après la question précédente. Connaissant
la valeur _ solution de cette équation, on en déduit _ .
Il existe donc un unique point critique.

c. Montrer que  admet un extremum en ₀, ₀. Est-ce un minimum ou un maximum ?

La fonction  étant de classe *  sur   comme somme de produits de fonctions de classe *  , on

peut appliquer le théorème de Schwarz.

` 
On a

,   2  $ Z+
` 
`  ` 
,   ,   2
`` ``
` 
,   4
` 

S  2  $ Z+c
On a donc

T  2
U4

SU  T   42  $ Z+c   4  4  2$ Z+c V 0

Donc

De plus on a S V 0, il s’agit donc d’un minimum.

Donc le point critique est un extremum local.
 Exercice 3
L’application [: e^ e^   est définie par :
$ Z+ 
X,   e^ e^ , [,   
 $
1. Montrer que [ est de classe C² sur e^ e^ .

La fonction [ est de classe *  sur e^ e^ comme somme de rapports de fonctions de classe *  sur
e^ e^ , les dénominateurs ne s’annulant pas sur e^ e^ .

2. Calculer les dérivées partielles d'ordre 1 de [ en tout point ,  de e^ e^ .

1 Z+ 1  $ Z+
On a

+, ,   $  $ Z+  
 
$ Z+
1
-, ,     
 $

3. Montrer qu'il existe un couple unique ,  de e^ e^ en lequel les deux dérivées partielles d'ordre 1 de [ s'annulent, et
calculer ce couple.

D 1  $
Z+
On doit résoudre le système

f 0
: 
C $ Z+
1
f    $  0
B
La première équation conduit évidemment à   1.
En remplaçant  par 1 dans la seconde, on obtient :
$ Z 1
   0
 $

1 1
Soit
  0
$ $

1 1
Ou encore

$  $

  1
Ce qui donne

Comme  V 0, on a donc
  1.
On en déduit que sur ^ ^
e e

D 1  $  0
Z+

f  : A 9   1:
C $ Z+
1 1
f    $  0
B
Le point (1,1) est le seul point critique.

4. Est-ce que [ admet un extremum ?

 1 1
On a d’après le théorème de Schwarz
,, ,
++   $ Z+  1  $ Z+    2  $ Z+
 
,, ,
1  $ Z+
+-   -+
,,


,, ,
2$ Z+
--  


1
On a donc pour le point critique
S
$
T0
2
U
$

2
On en déduit que
SU  T     0
$
Donc le point critique n’est pas un extremum : c’est un point selle.

Exercice 4
1 1 1
2
On considère la fonction f de classe C sur ]0, 1[ × ]0, 1[ définie par :

X ,  ∈ 0, 1 0, 1 ,  ,     .

1 1 
Calculer, pour tout ,  ∈ 0, 1 0, 1 , ,  et , .
gh gh
g+ g-
1.

` 1 1
On a
,   
` 1      
` 1 1
,   
` 1      

2. Montrer qu’il existe un unique point i de ]0, 1[ × ]0, 1[ en lequel  est susceptible de posséder un extremum local et déterminer i.

1 1
On doit résoudre sur ]0, 1[ × ]0, 1[ le système :
D  0
1      :
C 1 1
 0
B1     

1       :
Ce système est équivalent au système :

9
1      

1      :
Sur ]0, 1[ × ]0, 1[ , ce système équivalent à :
9
1 
Car 1   V 0,1   V 0,    V 0.

1    1  :
Ce système est équivalent à
9
1 
La première équation donne
 

1    2
La deuxième donne donc

1
Soit

3

1 1
Le seul point critique est donc
iE , F
3 3

3. Montrer que  admet en i un minimum local.

La fonction étant de classe *  , on peut appliquer le théorème de Schwarz.

`  2 2
On a

,   
`  1      
`  `  2
,   ,  
`` ``   
`  2 2
,   
`  1     

2 2 27
Pour le point critique, on trouve
S   
1 1 1 2
j1  3k j3  3k
2 27
T  
1 1 4
j3  3 k
2 2 27
U   
1 1 1 2
j1  k j  k
3 3 3

27 27 27  3 27
Donc

SU  T 
E F  V0
2 2 4 16

Comme S V 0, c’est un minimum local.

Le point critique est donc un extremum local.

Exercice 5
On note m :  → 2 l’application définie, pour tout ,  ∈ 2par :
2

m,     1  2    6

a) Montrer que (4,2) et (2,3) sont des points critiques de m.

L’application m est de classe *  sur  comme produit de fonctions de classe *  sur  .

m+, ,   2    7  2

On a

m-, ,   2    8  1

m+, 4,2  8  2  72  2  0

On en déduit que

m-, 4,2  4  4  84  1  0

Donc le point 4,2 est un point critique.

m, 2,3  4  3  73  2  0

De même

m, 2,3  6  2  82  1  0

Donc le point 2,3 est un point critique.

b) Est-ce que m présente un extremum local au point (4,2) ?

Pour les deux questions, on calcule les dérivées d’ordre 2 en appliquant le théorème de Schwarz. On

,, ,
m++   2  4
a:

,, , ,, ,
m+-   m-+   2  2  9
,, ,
m--   2  2
On a donc pour le point 4,2:
S0
T3
U6

SU  T   0 6  9  9 0
Donc

Le point 4,2 n’est pas un extremum local, c’est un point selle.

c) Est-ce que F présente un extremum local au point (2,3) ?

S2
Pour le point (2,3), on a :

T1
U2

SU  T   4  1  3 V 0
On en tire

Comme S V 0, c’est un minimum local.

Donc le point (2,3) est un extremum local.

Exercice 6
On note i   , 1 et on considère l'application :


1 1
: i  ,  Y     ²  ln 
4 4
1. a. Montrer que  est strictement croissante sur I.

La fonction  est dérivable sur i comme somme de fonctions dérivables sur i.

 1 2   4  1
On a

 ,   1   
2 4 4
Le dénominateur est positif sur i. Déterminons le signe de 2   4  1.

Δ  4  4 2 1  8
On a

Le trinôme 2   4  1 a donc deux racines :

 2  √2 2  √2
 ou  
2 2
Il faut maintenant placer ces deux racines par rapport aux bornes de i.

2  √2 √2
On a

  1 V1
2 2

1 1 2  √2 √2  1
On a

     V 0 car √2 V 1 puisque 2 V 1
2 2 2 2

1
On a donc
 1 
2
Or le trinôme 2   4  1 a le signe de 2 à l’extérieur des racines. Il est donc négatif dans l’intervalle
 ,   et donc négatif également sur i.
On en déduit que X  i,  ,  V 0.
La fonction  est donc strictement croissante sur i.

1 1
b. Montrer :

E F 1 1.
2 2

1 1 1 1  1 1 ln2 7
On a

 E F   E F  ln E F  
2 2 4 2 4 2 4 16

1 1 ln2 7 1 ln2 1 4 ln2  1 ln8  ln$

On a donc

E F       
2 2 4 16 2 4 16 16 16
Or 8 V $ et la fonction ln est croissante donc
ln8  ln$ V 0

1 1
Donc
E F V 0
2 2

1
On a aussi
1  1  1
4

1 1
On a donc bien
 E F 1 1.
2 2

c. En déduire : X  i,   i.

La fonction  étant strictement croissante sur i, on a :

1
X  i,  E F )  ) 1
2

1
Donc d’après la question précédente
X  i,  1
2

X  i,   i
Donc

2. On considère la suite réelle qr rs définie par q_  1 et, pour tout t  u, qr^  qr .
 a. Calculer q .

1 3
On a
q  q_   1  1  
4 4

b. Montrer : Xt  s, qr  i

On a q_  i.
X t v 0, montrons que si qr  i, alors qr^  i.
Si qr  i, d’après la question précédente, qr   i, donc qr^  i.

Xt  s, qr  i
Il y a hérédité et donc

c. Montrer que la suite qr rs est décroissante.

La fonction  est strictement croissante, donc la suite qr  est strictement monotone.
On a q q_ , donc la suite qr  est strictement décroissante.

d. Montrer que la suite qr rs converge et que sa limite est le réel α.

La suite qr  est décroissante et minorée par 1/2 : elle est donc convergente.
Sa limite est un réel α solution de l’équation   , c’est-à-dire de l’équation
   ln  0

m: e^   , ,  Y m,    $ -   ln 

3. On considère l'application :

a. Montrer que m est de classe C¹ sur  et calculer les dérivées partielles premières de m en tout point ,  de e^ .
e^

La fonction m est de classe *  sur e^  comme somme de produits de fonctions de classe *  sur
e^ .


On a
m+, ,   $ - 

m-, ,   $ -  ln

b. Montrer que m admet un point critique et un seul que l'on exprimera à l'aide du nombre réel α.


On doit chercher les solutions du système
$-  0 :
b 
$ -  ln  0


La première égalité permet d’écrire :
$-  


  ln  0
En remplaçant dans la seconde on trouve :

  $-
Donc

Ce qui donne par une nouvelle substitution dans la deuxième égalité :

    ln  0
Equation dont nous avons vu que α est la solution.

w
On a donc

  ln  lnw
Et donc

Le seul point critique est donc w, lnw.

c. Est-ce que F admet un extremum local ?

La fonction m est de classe *  sur e^  comme somme de produits de fonctions de classe *  sur
e^ . On peut donc appliquer le théorème de Schwarz.


On a
,, ,
m++    

,, , ,, ,
1
m+-   m-+   $ - 

,, ,
m--   $ -
Pour   w et   lnw, on a :
lnw w 
S    1
w w
1 1
T  $ xyz   w 
w w
U  w$ xyz
w 

1 
On a

SU  T   w   Ew  F 0
w
Le point critique n’est pas un extremum local, c’est un point selle.

Exercice 7
On considère la fonction [ définie pour tout  élément de e^ par g  ln   2  1
a. Etudier les variations de [ et donner les limies de g en 0⁺ et en +∞.
1.

La fonction [ est dérivable sur e^ comme somme de fonctions définies et dérivables sur e^ .

1
On a
[,    2 V 0

La fonction [ est donc strictement croissante sur e^ .

lim [  lim ln   ∞

On a
+_ +_
lim [  lim ln  2  ∞
+^\ +^\

En déduire qu'il existe un unique réel α, élément de 0,  tel que [w  0.

|
b.

La fonction [ est continue et strictement croissante sur e^ . Elle réalise une bijection de e^ sur .
0  , donc l’équation [  0 a une solution et une seule notée α dans e^ .
On a
 lim [   ∞
+_
1 1 2 2 2
[ E F  ln E F   1  1   1  V 0
$ $ $ $ $
La fonction [ change de signe sur l’intervalle 0,1/$ . Donc d’après le théorème des valeurs

1
intermédiaires, on a :
0 w
$

2. On considère la fonction de deux variables réelles  définie par:

X,   e^ , ,   ln       
a. Déterminer le seul point critique de , c'est à dire le seul couple de e^  en lequel  est susceptible de présenter un
extremum.

La fonction  est de classe *  sur e^  comme produit et somme de fonctions de clase *  sur
e^ .

+, ,   ln     2  1

On a

-, ,   2

ln     2  1  0:
Pour trouver les points critiques, il faut résoudre le système 9 .
2  0
Comme  @ 0, la deuxième équation implique donc   0.

ln  2  1  0
En remplaçant dans la première, on trouve :

w
Ce qui implique

Le seul point critique est donc w, 0

b. Vérifier que  présente un minimum relatif ~ en ce point.

La fonction  étant de classe *  , on peut appliquer le théorème de Schwarz. On a

,, ,
1
++   2 

,, , ,, ,
+-   -+   2
,, ,
--   2

1
Pour le point critique cela donne :
S  2
w
T0
Uw

SU  T   2w  1 V 0
On a donc

Donc le point critique est un extremum local. Comme S V 0, c’est un minimum.

c. Montrer que ~  ww  1

~  w, 0  wlnw  w
On a

[w  0
Or on sait que
 lnw  2w  1  0
Donc

lnw  2w  1
Donc

~  w2w  1  w  ww  1  ww  1

Donc