DEPARTAMENTO

DE MATEMÁTICA

Matemáticas III (MAT023)

Clase 11

Coordinación MAT023

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Contenidos

1 Diferenciabilidad de campos escalares

Observación
Teorema
Ejemplos

2 Diferenciabilidad implica continuidad

Teorema

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Definición

Definición (Provisoria)
Sean U ⊆ Rn abierto, a ∈ U ∩U 0 y f : U → R un campo escalar.
Entonces, f es diferenciable en a si existe una transformación
lineal T : Rn → R tal que:
 
 f (a + h) − f (a) − T (h)
lı́m =0
h→0 khk

Además, se define la derivada de f en a como:

 C
D f (a) = T C

con C la base canónica de Rn .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Observación

Si f es diferenciable en a, entonces existe una transformación

lineal T : Rn → R tal que:
 
 f (a + h) − f (a) − T (h)
lı́m =0
h→0 khk

Luego, existen números A1 , A2 , . . . , An ∈ R tales que:

 C

T C = A1 A2 · · · An ∈ M1×n (R)

Es decir:


D f (a) = A1 A2 · · · An

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ahora bien, si h = (h1 , h2 , . . . , hn ) ∈ Rn y como T : Rn → R es una
transformación lineal, tenemos que:
   C
T (h) C = T C · [h]C  
h1

 h 2

= A1 A2 · · · An ·  . 
 
 .. 
 n  hn
= ∑ Ai hi
i=1 1×1

n
' ∑ Ai hi
i=1

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Por tanto:

n
T (h) = ∑ Ai hi
i=1

Ası́, podemos decir: una función f es diferenciable en a si

existen escalares A1 , A2 , . . . , An ∈ R tales que:
 n

 f (a + h) − f (a) − ∑ Ai hi 
i=1
lı́m =0
h→0 khk

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Teorema

Teorema
Sea f diferenciable en a tal que:


D f (a) = A1 A2 · · · An 1×n

Entonces:
∂f
Ai = (a)
∂ xi
para todo i = 1, 2, . . . , n.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Demostración

Como f es diferenciable en a, tenemos que:

 n

 f (a + h) − f (a) − ∑ Ai hi 
i=1
lı́m =0 (1)
h→0 khk

Supongamos que h = t · ei , con ei el i–ésimo vector canónico de

Rn . Notamos que:
t → 0 ⇐⇒ h → 0
Entonces, de (1), se sigue que:
 
 f (a + t · ei ) − f (a) − t · Ai 
lı́m =0
t→0 kt · ei k

por unicidad del lı́mite. De donde:

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
  
 f (a + t · ei ) − f (a) − t · Ai 
lı́m =0 ⇐⇒
t→0 kt · ei k
 
 f (a + t · ei ) − f (a) 
⇐⇒ lı́m  − Ai  = 0
t→0 t
 
 f (a + t · e i ) − f (a) 
⇐⇒  lı́m − Ai  = 0
t→0 t
∂ f 
⇐⇒  (a) − Ai  = 0
 
∂ xi

∂f
Por tanto, Ai = (a), para todo i = 1, 2, . . . , n.
∂ xi
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Definición
Sean U ⊆ Rn , a ∈ U ∩U 0 y f : U → R un campo escalar. Diremos
que f es diferenciable en a si:
∂f
1 Existen las derivadas parciales (a), para cada
∂ xi
i = 1, 2, . . . , n.
2 Se tiene el lı́mite:
n
 ∂ f 
 f (a + h) − f (a) − ∑ (a) hi 
 
i=1 ∂ xi
lı́m =0
h→0 khk

Además, la derivada de f en a es la matriz:

 
∂f ∂f ∂f
D f (a) = (a) (a) · · · (a)
∂ x1 ∂ x2 ∂ xn

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplos

Ejemplo
Sea f : R2 → R la función definida por:

f (x, y) = 2xy2 + y − 1

Demuestre que f es diferenciable en (1, −2) y calcule D f (1, −2).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Sea f : R2 → R la función definida por:
 xy
 2 2
, (x, y) 6= (0, 0)
f (x, y) = x + y
0 , (x, y) = (0, 0)


∂f ∂f
1 Calcule las derivadas parciales (0, 0) y (0, 0).
∂x ∂y
2 Demuestre que f no es diferenciable en (0, 0).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Sea f : R2 → R la función definida por:
 3
 x sin(y) , (x, y) 6= (0, 0)

f (x, y) = x 2 + y2

 0 , (x, y) = (0, 0)

∂f ∂f
1 Calcule las derivadas parciales (0, 0) y (0, 0).
∂x ∂y
2 Demuestre que f es diferenciable en (0, 0).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Teorema
Sean U ⊆ Rn , a ∈ U ∩U 0 y f : U → R un campo escalar. Si f es
diferenciable en a, entonces f es continua en a.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA