• Aucun résultat trouvé

Exercice de cours #7. Soient f

N/A
N/A
Protected

Academic year: 2022

Partager "Exercice de cours #7. Soient f"

Copied!
2
0
0

Texte intégral

(1)

Université Claude Bernard Lyon 1 Mathématiques pour l’enseignement Licence de mathématiques 3

e

année UE Approfondissement en analyse

Complément #3 – 22 mars 2020 –

Exercice de cours #7. Soient f

1

, f

2

:]0, 1[→ R deux fonctions dérivables. Soit f :]0, 1[

2

→ R ,

f (x

1

, x

2

) := f

1

(x

1

) + f

2

(x

2

), ∀ x

1

, x

2

∈]0, 1[.

Montrer que f est différentiable et calculer d

a

f, ∀ a ∈]0, 1[

2

.

Solution. Rappelons que si g :]b, c[→ R est dérivable (en a ∈]b, c[), alors g est différentiable (en a ∈]b, c[) et

d

a

g(1) = g

0

(a). (1)

De (1), nous avons, par linéarité de la différentielle,

d

a

g(h) = d

a

g(h · 1) = h d

a

g(1) = g

0

(a) h, ∀ h ∈ R . (2) Soient f

1

et f

2

comme dans l’énoncé. Pour a

1

, a

2

∈]0, 1[, nous avons (en uti- lisant la formule (2) appliquée à f

j

au point a

j

et la définition de la différentielle)

f

j

(a

j

+ h

j

) = f

j

(a

j

) + f

0

(a

j

) h

j

+ ε

j

(h

j

),

∀ h

j

∈ R tel que a

j

+ h

j

∈]0, 1[, (3)

avec

ε

j

(h

j

) = o(h

j

) quand h

j

→ 0, j = 1, 2. (4)

En sommant les formules (3) avec j = 1, 2, nous obtenons, avec a = (a

1

, a

2

) ∈ ]0, 1[

2

et h = (h

1

, h

2

),

f(a + h) = f((a

1

+ h

1

, a

2

+ h

2

)) = f

1

(a

1

+ h

1

) + f

2

(a

2

+ h

2

)

= f

1

(a

1

) + f

10

(a

1

) h

1

+ ε

1

(h

1

) + f

2

(a

2

) + f

20

(a

2

) h

2

+ ε

2

(h

2

)

= f

1

(a

1

) + f

2

(a

2

)

| {z }

=f(a)

+ f

10

(a

1

) h

1

+ f

20

(a

2

) h

2

| {z }

:=`(h1,h2)=`(h)

+ ε

1

(h

1

) + ε

2

(h

2

)

| {z }

:=ε(h1,h2)=ε(h)

= f(a) + `(h) + ε(h), ∀ h ∈ R

2

tel que a + h ∈]0, 1[

2

.

(5)

1

(2)

Notons ensuite que ` est une application linéaire. L’égalité (5) va nous amener aux conclusions suivantes : f est différentiable en tout point a = (a

1

, a

2

) ∈]0, 1[

2

, et

d

a

f(h) = `(h) = f

10

(a

1

) h

1

+ f

20

(a

2

) h

2

, ∀ h = (h

1

, h

2

) ∈ R

2

,

à condition de montrer que

ε(h) = o(h) quand h → 0. (6)

Grâce à la propriété o(h) + o(h) = o(h) et à la définition ε(h) := ε

1

(h

1

) + ε

2

(h

2

), pour obtenir (6) il suffit de montrer que

ε

j

(h

j

) = o(h) quand h → 0, j = 1, 2. (7)

Fixons j. Soit ε > 0. Puisque ε

j

(h

j

) = o(h

j

), il existe δ > 0 tel que

|h

j

| ≤ δ = ⇒ |ε

j

(h

j

)| ≤ ε |h

j

|. (8) De (8), nous avons

khk

≤ δ = ⇒ |h

j

| ≤ δ = ⇒ |ε

j

(h

j

)| ≤ ε |h

j

| = ⇒ |ε

j

(h

j

)| ≤ ε khk

,

ce qui implique (7) et complète la démonstration.

Petit exercice # 9. Si f est trois fois différentiable, montrer que les dérivées par- tielles du second ordre de f sont différentiables.

Solution. Par définition des fonctions trois fois différentiables : f est une fois dif- férentiable (et donc les dérivées partielles ∂f

∂x

j

, j = 1, . . . , n, existent), et les dé- rivées partielles ∂f

∂x

j

, j = 1, . . . , n, sont deux fois différentiables. Ce qui revient, par définition des fonctions deux fois différentiables, à : ∂f

∂x

j

est différentiable, j = 1, . . . , n (et donc les dérivées partielles ∂

2

f

∂x

k

∂x

j

, j, k = 1, . . . , n, existent), et les dérivées partielles ∂

2

f

∂x

k

∂x

j

, j, k = 1, . . . , n, sont différentiables.

2

Références

Documents relatifs

Université Claude Bernard Lyon 1 Mathématiques pour l’enseignement Licence de mathématiques 3 e année UE Approfondissement en analyse.. Complément #1 – 28 janvier

Université Claude Bernard Lyon 1 Mathématiques pour l’enseignement Licence de mathématiques 3 e année UE Approfondissement en analyse.. Complément #2 – 10 février

Université Claude Bernard Lyon 1 Mathématiques pour l’enseignement Licence de mathématiques 3 e année UE Approfondissement en analyse.. Complément #4 – 22 mars 2020 – Convexité

Université Claude Bernard Lyon 1 Mathématiques pour l’enseignement Licence de mathématiques 3 e année UE Approfondissement en analyse.. Équipe pédagogique TD :

b) Justifier l’utilisation des résultats théoriques (continuité des intégrales à paramètre, théorème de Tonelli, changements de variables, etc.) et préciser à quel

Soient A, B, C, D des parties de l’ensemble X... Soit (X, T ) un

b) Justifier l’utilisation des résultats théoriques (continuité des intégrales à paramètre, théorème de Fubini, etc.) et préciser à quel type d’intégrale s’applique

Soit (X, T ) un espace mesurable.. Soit (X, T ) un