Matemática 023

Clase 9: Teoremas de Diferenciabilidad

Departamento de Matemática.
Universidad Técnica Federico Santa Marı́a

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 1/9

Teorema (Álgebra de funciones diferenciables)
◦
Sean f , g : U ⊆ Rn → R funciones diferenciables en a ∈ U y α ∈ R una
constante, entonces αf , f + g , f − g , fg son diferenciables en a. Si, además,
g (a) 6= 0, entonces f /g también es diferenciable en a.

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 2/9

Teorema
◦
∂f
Sean f : U ⊆ Rn → R y a ∈ U. Si las derivadas parciales ∂x i
existen en una bola
alrededor de a y son continuas en a entonces f es diferenciable en a.

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 3/9

Observación
La condición en el teorema anterior es sólo suficiente, mas no necesaria como
puede verse con el siguiente ejemplo:

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 4/9

Observación
La condición en el teorema anterior es sólo suficiente, mas no necesaria como
puede verse con el siguiente ejemplo:

Ejemplo
Verificar que la función f : R2 → R definida por:
 !

1
x 2 + y 2 sin p , si (x, y ) 6= (0, 0)

f (x, y ) = x2 + y2

0 , si (x, y ) = (0, 0)


es diferenciable en todo punto de R2 pero las funciones derivadas parciales no son

continuas en R2 .

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 4/9

Solución
Del álgebra de funciones diferenciables se obtiene que f es diferenciable en todo
punto distinto de (0, 0). Notemos que para (x, y ) 6= (0, 0) se cumple

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 5/9

Solución
Del álgebra de funciones diferenciables se obtiene que f es diferenciable en todo
punto distinto de (0, 0). Notemos que para (x, y ) 6= (0, 0) se cumple
!
∂ 2 2

1
x + y sin p
∂x x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 5/9

Solución
Del álgebra de funciones diferenciables se obtiene que f es diferenciable en todo
punto distinto de (0, 0). Notemos que para (x, y ) 6= (0, 0) se cumple
!
∂ 2 2

1
x + y sin p
∂x x2 + y2
! ! 
1 2 2 1 −1 2
−3/2
x + y2


= 2x sin p + x + y cos p 2x
x2 + y2 x2 + y2 2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 5/9

Solución
Del álgebra de funciones diferenciables se obtiene que f es diferenciable en todo
punto distinto de (0, 0). Notemos que para (x, y ) 6= (0, 0) se cumple
!
∂ 2 2

1
x + y sin p
∂x x2 + y2
! ! 
1 2 2 1 −1 2
−3/2
x + y2


= 2x sin p + x + y cos p 2x
x2 + y2 x2 + y2 2
! !
1 x 1
= 2x sin p −p cos p
2
x +y 2 2
x +y 2 x + y2
2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 5/9

Solución
Del álgebra de funciones diferenciables se obtiene que f es diferenciable en todo
punto distinto de (0, 0). Notemos que para (x, y ) 6= (0, 0) se cumple
!
∂ 2 2

1
x + y sin p
∂x x2 + y2
! ! 
1 2 2 1 −1 2
−3/2
x + y2


= 2x sin p + x + y cos p 2x
x2 + y2 x2 + y2 2
! !
1 x 1
= 2x sin p −p cos p
2
x +y 2 2
x +y 2 x + y2
2

además

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 5/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

en (0, 0) calculamos las derivadas parciales

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

en (0, 0) calculamos las derivadas parciales

∂f f (h, 0) − f (0, 0)
(0, 0) = lı́m
∂x h→0 h

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

en (0, 0) calculamos las derivadas parciales

∂f f (h, 0) − f (0, 0)
(0, 0) = lı́m
∂x h→0 h
 
2 1
h sin |h|
= lı́m
h→0 h

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

en (0, 0) calculamos las derivadas parciales

∂f f (h, 0) − f (0, 0)
(0, 0) = lı́m
∂x h→0 h
 
2 1
h sin |h|
= lı́m
h→0 h
 
1
= lı́m h sin
h→0 |h|

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
!
∂ 1
x 2 + y 2 sin


p
∂y x2 + y2
! !
1 y 1
= 2y sin p −p cos p
x2 + y2 x2 + y2 x2 + y2

en (0, 0) calculamos las derivadas parciales

∂f f (h, 0) − f (0, 0)
(0, 0) = lı́m
∂x h→0 h
 
2 1
h sin |h|
= lı́m
h→0 h
 
1
= lı́m h sin
h→0 |h|
= 0
, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 6/9

Solución
∂f
y por simetrı́a ∂y (0, 0) = 0.

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 7/9

Solución
∂f
y por simetrı́a ∂y (0, 0) = 0.La función derivada parcial esta definida por

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 7/9

Solución
∂f
y por simetrı́a ∂y (0, 0) = 0.La función derivada parcial esta definida por

    
1 x 1
 2x sin √ −√ cos √ si (x, y ) 6= (0, 0)


∂f x 2 +y 2 x 2 +y 2 x 2 +y 2
(x, y ) =
∂x 

0 si (x, y ) = (0, 0)


, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 7/9

Solución
∂f
y por simetrı́a ∂y (0, 0) = 0.La función derivada parcial esta definida por

    
1 x 1
 2x sin √ −√ cos √ si (x, y ) 6= (0, 0)


∂f x 2 +y 2 x 2 +y 2 x 2 +y 2
(x, y ) =
∂x 

0 si (x, y ) = (0, 0)


esta función no es continua en (0, 0), en efecto, considere los puntos

 
1
(xn , yn ) = ,0
2nπ + π4

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 7/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

∂f 2  π  π
(xn , yn ) = π sin 2nπ + − cos 2nπ +
∂x 2nπ + 4 4 4

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

∂f 2  π  π
(xn , yn ) = π sin 2nπ + − cos 2nπ +
∂x 2nπ + 4 4 4
2 1 1
= π √ −√
2nπ + 4 2 2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

∂f 2  π  π
(xn , yn ) = π sin 2nπ + − cos 2nπ +
∂x 2nπ + 4 4 4
2 1 1
= π √ −√
2nπ + 4 2 2
∂f
luego cuando n → +∞ se sigue (xn , yn ) → (0, 0) pero ∂x (xn , yn ) → − √12 , el
lı́mite no es cero

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

∂f 2  π  π
(xn , yn ) = π sin 2nπ + − cos 2nπ +
∂x 2nπ + 4 4 4
2 1 1
= π √ −√
2nπ + 4 2 2
∂f
luego cuando n → +∞ se sigue (xn , yn ) → (0, 0) pero ∂x (xn , yn ) → − √12 , el
lı́mite no es cero (usando otra sucesión
 se muestra
 que en realidad el lı́mite no
1
existe por ejemplo con (xn , yn ) = 2nπ+ π , 0 da otro lı́mite).
e e
3

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución
entonces si n → +∞, (xn , yn ) → (0, 0) pero

∂f 2  π  π
(xn , yn ) = π sin 2nπ + − cos 2nπ +
∂x 2nπ + 4 4 4
2 1 1
= π √ −√
2nπ + 4 2 2
∂f
luego cuando n → +∞ se sigue (xn , yn ) → (0, 0) pero ∂x (xn , yn ) → − √12 , el
lı́mite no es cero (usando otra sucesión
 se muestra
 que en realidad el lı́mite no
1
existe por ejemplo con (xn , yn ) = 2nπ+ π , 0 da otro lı́mite).Se sigue que f no es
e e
3
de clase C 1 sin embargo

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 8/9

Solución

|f (x, y )|
lı́m p =
(x,y )→(0,0) x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

aquı́ hemos usado el acotamiento

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

aquı́ hemos usado el acotamiento

!
p 1 p
0≤ x 2 + y 2 sin p ≤ x2 + y2
x2 + y2

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

aquı́ hemos usado el acotamiento

!
p 1 p
0≤ x 2 + y 2 sin p ≤ x2 + y2
x2 + y2

luego f es diferenciable en (0, 0) y en todos los otros puntos por álgebra de

funciones diferenciables,

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

aquı́ hemos usado el acotamiento

!
p 1 p
0≤ x 2 + y 2 sin p ≤ x2 + y2
x2 + y2

luego f es diferenciable en (0, 0) y en todos los otros puntos por álgebra de

funciones diferenciables, pero

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9

Solución
 
x 2 + y 2 sin √ 21 2


|f (x, y )| x +y
lı́m p = lı́m p
(x,y )→(0,0) x2 + y2 (x,y )→(0,0) 2
x +y 2
!
p
2 2
1
= lı́m x + y sin p
(x,y )→(0,0) x2 + y2
= 0

aquı́ hemos usado el acotamiento

!
p 1 p
0≤ x 2 + y 2 sin p ≤ x2 + y2
x2 + y2

luego f es diferenciable en (0, 0) y en todos los otros puntos por álgebra de

funciones diferenciables, pero f no tiene derivadas parciales continuas en el origen..

, ,

Depto. Matemática (UTFSM) Cálculo en Varias Variables 2019 9/9