Sie sind auf Seite 1von 281

Diferenciación

Lihki Rubio

Pontificia Universidad Católica de Valparaı́so


Instituto de Matemáticas

12 de abril de 2019

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 1 / 67


Derivadas Parciales
Observación 1.
Recordemos que para una función de una variable f : I ⊆ R −→ R
definida en el intervalo abierto I de R, se define la derivada de f en
x0 ∈ I, denotada por f 0 (x0 ), como el valor del limite

f (x0 + h) − f (x0 )
f 0 (x0 ) = lı́m
h→0 h
cuando éste existe (en cuyo caso decimos que f es diferenciable en x0 ).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 2 / 67


Derivadas Parciales
Observación 1.
Recordemos que para una función de una variable f : I ⊆ R −→ R
definida en el intervalo abierto I de R, se define la derivada de f en
x0 ∈ I, denotada por f 0 (x0 ), como el valor del limite

f (x0 + h) − f (x0 )
f 0 (x0 ) = lı́m
h→0 h
cuando éste existe (en cuyo caso decimos que f es diferenciable en x0 ).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 2 / 67


Observación 2.
Sea f : U ⊂ R2 −→ R y p = (x0 , y0 ) un punto de U . Se define la derivada
parcial de f con respecto de x en el punto p, denotada por
∂f
(p) o fx (p), o f1 (p), o D1 f (p)
∂x
como el lı́mite
∂f f (x0 + h, y0 ) − f (x0 , y0 )
(p) = lı́m
∂x h→0 h
cuando éste lı́mite existe. Del mismo modo la derivada parcial de f con
respecto de y en el punto p, denotada por
∂f
(p) o fy (p), o f2 (p), o D2 f (p),
∂y

∂f f (x0 , y0 + h) − f (x0 , y0 )
(p) = lı́m
∂y h→0 h
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 3 / 67
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 4 / 67
Observación 3.
Si consideramos la función ϕ(x) = f (x, y0 ) que se obtiene de fijar en la
función f (x, y) la segunda variable y = y0 , sabemos que la derivada de ϕ
en x = x0 es
ϕ(x0 + h) − ϕ(x0 )
ϕ0 (x0 ) = lı́m
h→0 h

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 5 / 67


Observación 3.
Si consideramos la función ϕ(x) = f (x, y0 ) que se obtiene de fijar en la
función f (x, y) la segunda variable y = y0 , sabemos que la derivada de ϕ
en x = x0 es
ϕ(x0 + h) − ϕ(x0 )
ϕ0 (x0 ) = lı́m
h→0 h
f (x0 + h, y0 ) − f (x0 , y0 )
= lı́m
h→0 h
∂f
= (p)
∂x

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 5 / 67


Observación 3.
Si consideramos la función ϕ(x) = f (x, y0 ) que se obtiene de fijar en la
función f (x, y) la segunda variable y = y0 , sabemos que la derivada de ϕ
en x = x0 es
ϕ(x0 + h) − ϕ(x0 )
ϕ0 (x0 ) = lı́m
h→0 h
f (x0 + h, y0 ) − f (x0 , y0 )
= lı́m
h→0 h
∂f
= (p)
∂x
Similarmente se tiene que
∂f
ψ 0 (y0 ) = (p)
∂y

en donde ψ(y) = f (x0 , y)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 5 / 67


Ejemplos:
1 Sea f : U ⊆ R2 −→ R, f (x, y) = x2 y 3 . Calcule fx , fy .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 6 / 67


Ejemplos:
1 Sea f : U ⊆ R2 −→ R, f (x, y) = x2 y 3 . Calcule fx , fy .
p
2 Sea f : U ⊆ R2 −→ R, f (x, y) = sin( 2x3 + y 2 ). Calcule D1 f, D2 f .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 6 / 67


Ejemplos:
1 Sea f : U ⊆ R2 −→ R, f (x, y) = x2 y 3 . Calcule fx , fy .
p
2 Sea f : U ⊆ R2 −→ R, f (x, y) = sin( 2x3 + y 2 ). Calcule D1 f, D2 f .
3 Sea f (x, y) = x2 + y 2 . Calcule f1 (1, 0), f2 (1, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 6 / 67


Ejemplos:
1 Sea f : U ⊆ R2 −→ R, f (x, y) = x2 y 3 . Calcule fx , fy .
p
2 Sea f : U ⊆ R2 −→ R, f (x, y) = sin( 2x3 + y 2 ). Calcule D1 f, D2 f .
3 Sea f (x, y) = x2 + y 2 . Calcule f1 (1, 0), f2 (1, 0)
Definición 4 (Derivadas parciales).
Sea f : U ⊆ Rn −→ R una función definida en el conjunto abierto U de
Rn y sea x0 ∈ U . Se define la derivada parcial de f con respecto a su
i-ésima variable en el punto x0 , denotada por
∂f
(x0 ) o fxi (x0 ), o fi (x0 ), o Di f (x0 ),
∂xi
como el lı́mite
∂f f (x0 + hei ) − f (x0 )
(x0 ) = lı́m
∂xi h→0 h
cuando éste existe. Donde e1 , e2 , . . . , en ∈ Rn es la base canónica de Rn .
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 6 / 67
Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 7 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Observe que:

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

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 7 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Observe que:

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

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 7 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Observe que:

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

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

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 7 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Observe que:

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

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 7 / 67


Definición 5 (Derivadas direccionales).
Sea f : U ⊂ Rn −→ R una función definida en el conjunto abierto U de
Rn y sea x0 ∈ U un punto dado de U . Sea v ∈ Rn un vector unitario
dado. Se define la derivada de la función f en x0 , en la dirección del
vector v como el lı́mite
∂f f (x0 + tv) − f (x0 )
(x0 ) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 8 / 67


Definición 5 (Derivadas direccionales).
Sea f : U ⊂ Rn −→ R una función definida en el conjunto abierto U de
Rn y sea x0 ∈ U un punto dado de U . Sea v ∈ Rn un vector unitario
dado. Se define la derivada de la función f en x0 , en la dirección del
vector v como el lı́mite
∂f f (x0 + tv) − f (x0 )
(x0 ) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 8 / 67


Observación 6.
El concepto de derivada direccional es una generalización de de la derivada
parcial definida en la sección anterior

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 9 / 67


Observación 6.
El concepto de derivada direccional es una generalización de de la derivada
parcial definida en la sección anterior

∂f
(x0 ) =
∂ei

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 9 / 67


Observación 6.
El concepto de derivada direccional es una generalización de de la derivada
parcial definida en la sección anterior

∂f f (x0 + tei ) − f (x0 )


(x0 ) = lı́m =
∂ei t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 9 / 67


Observación 6.
El concepto de derivada direccional es una generalización de de la derivada
parcial definida en la sección anterior

∂f f (x0 + tei ) − f (x0 ) ∂f


(x0 ) = lı́m = (x0 )
∂ei t→0 t ∂xi

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 9 / 67


Observación 6.
El concepto de derivada direccional es una generalización de de la derivada
parcial definida en la sección anterior

∂f f (x0 + tei ) − f (x0 ) ∂f


(x0 ) = lı́m = (x0 )
∂ei t→0 t ∂xi

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 9 / 67


∂f
(x0 , y0 ) =
∂v

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f
(x0 , y0 ) =
∂v

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 )
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x
Si θ = π/2 entonces v = j = (0, 1)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x
Si θ = π/2 entonces v = j = (0, 1)
∂f
(x0 , y0 ) =
∂v

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x
Si θ = π/2 entonces v = j = (0, 1)
∂f f (x0 + t cos π/2, y0 + t sin π/2) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67


∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x
Si θ = π/2 entonces v = j = (0, 1)
∂f f (x0 + t cos π/2, y0 + t sin π/2) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 , y0 + t) − f (x0 , y0 )
= lı́m
t→0 t
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67
∂f f ((x0 , y0 ) + t(cos θ, sin θ)) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t cos θ, y0 + t sin θ) − f (x0 , y0 )
= lı́m
t→0 t
Si θ = 0 entonces v = i = (1, 0)
∂f f (x0 + t cos 0, y0 + t sin 0) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 + t, y0 ) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂x
Si θ = π/2 entonces v = j = (0, 1)
∂f f (x0 + t cos π/2, y0 + t sin π/2) − f (x0 , y0 )
(x0 , y0 ) = lı́m
∂v t→0 t
f (x0 , y0 + t) − f (x0 , y0 ) ∂f
= lı́m = (x0 , y0 )
t→0 t ∂y
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 10 / 67
Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

∂f
Calculemos (0, 0)
∂x

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 11 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

∂f
Calculemos (0, 0)
∂x
∂f f (t cos θ, t sin θ) − f (0, 0)
(0, 0) = lı́m
∂x t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 11 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

∂f
Calculemos (0, 0)
∂x
∂f f (t cos θ, t sin θ) − f (0, 0)
(0, 0) = lı́m
∂x t→0 t
(t cos θ)(t sin θ)
(t cos θ)2 + (t sin θ)2
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 11 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

∂f
Calculemos (0, 0)
∂x
∂f f (t cos θ, t sin θ) − f (0, 0)
(0, 0) = lı́m
∂x t→0 t
(t cos θ)(t sin θ)
(t cos θ)2 + (t sin θ)2
= lı́m
t→0 t
cos θ sin θ
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 11 / 67


Ejemplos:
Considere la función f : R2 −→ R
( xy
si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

∂f
Calculemos (0, 0)
∂x
∂f f (t cos θ, t sin θ) − f (0, 0)
(0, 0) = lı́m
∂x t→0 t
(t cos θ)(t sin θ)
(t cos θ)2 + (t sin θ)2
= lı́m
t→0 t
cos θ sin θ
= lı́m = 0, si θ = 0, π/2, π, 3π/2.
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 11 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f
=
∂v

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f f ((x, y, z) + t(a, b, c)) − f (x, y, z)


= lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f f ((x, y, z) + t(a, b, c)) − f (x, y, z)


= lı́m
∂v t→0 t
f (x + ta, y + ta, z + ta) − f (x, y, z)
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f f ((x, y, z) + t(a, b, c)) − f (x, y, z)


= lı́m
∂v t→0 t
f (x + ta, y + ta, z + ta) − f (x, y, z)
= lı́m
t→0 t
2(x + ta)3 + 7(y + tb)2 + 9(z + tc)2 − (2x3 + 7y 2 + 9z 2 )
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f f ((x, y, z) + t(a, b, c)) − f (x, y, z)


= lı́m
∂v t→0 t
f (x + ta, y + ta, z + ta) − f (x, y, z)
= lı́m
t→0 t
2(x + ta)3 + 7(y + tb)2 + 9(z + tc)2 − (2x3 + 7y 2 + 9z 2 )
= lı́m
t→0 t
= lı́m(6x2 a + 6xta2 + 2t2 a3 + 14yb + 7tb2 + 18zc + 9zc2 )
t→0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R3 −→ R, función f (x, y, z) = 2x3 + 7y 2 + 9z 2 y sea v = (a, b, c)
un vector unitario dado en el espacio R3 . Entonces:

∂f f ((x, y, z) + t(a, b, c)) − f (x, y, z)


= lı́m
∂v t→0 t
f (x + ta, y + ta, z + ta) − f (x, y, z)
= lı́m
t→0 t
2(x + ta)3 + 7(y + tb)2 + 9(z + tc)2 − (2x3 + 7y 2 + 9z 2 )
= lı́m
t→0 t
= lı́m(6x2 a + 6xta2 + 2t2 a3 + 14yb + 7tb2 + 18zc + 9zc2 )
t→0

= 6x2 a + 14yb + 18zc

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 12 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Sea v = (a, b) ∈ R2 , b 6= 0 un vector unitario dado. Entonces

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Sea v = (a, b) ∈ R2 , b 6= 0 un vector unitario dado. Entonces

∂f f (ta, tb) − f (0, 0)


(0, 0) = lı́m
∂v t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Sea v = (a, b) ∈ R2 , b 6= 0 un vector unitario dado. Entonces

∂f f (ta, tb) − f (0, 0)


(0, 0) = lı́m
∂v t→0 t
(ta)2 (tb)
(ta)4 + (tb)2
= lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Sea v = (a, b) ∈ R2 , b 6= 0 un vector unitario dado. Entonces

∂f f (ta, tb) − f (0, 0)


(0, 0) = lı́m
∂v t→0 t
(ta)2 (tb)
(ta)4 + (tb)2
= lı́m
t→0 t
t3 a2 b
= lı́m
t→0 t3 (t2 a4 + b2 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Sea f : R2 −→ R la función

 x2 y

si (x, y) 6= (0, 0)
f (x, y) = x4 + y 2
0 si (x, y) = (0, 0)

Sea v = (a, b) ∈ R2 , b 6= 0 un vector unitario dado. Entonces

∂f f (ta, tb) − f (0, 0)


(0, 0) = lı́m
∂v t→0 t
(ta)2 (tb)
(ta)4 + (tb)2
= lı́m
t→0 t
t3 a2 b a2
= lı́m =
t→0 t3 (t2 a4 + b2 ) b

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 13 / 67


Miscellaneous Problems

Definición 7 (Ángulo entre dos vectores).


Se de fine el ángulo entre los vectores no nulos x, y ∈ Rn como el ángulo
θ, 0 ≤ θ ≤ π, dado por
x·y
θ = arc cos
kxkkyk

1. Demuestre que:

(u + λu0 ) × v = u × v + (λu0 ) × v = u × v + λ(u0 × v)

u × (v + λv 0 ) = u × v + u × (λv 0 ) = u × v + λ(u × v 0 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 14 / 67



i j k
0

u × (v + λv ) = u1 u2 u3

v1 + λv 0 v2 + λv 0 v3 + λv 0
1 2 3

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 15 / 67



i j k
0

u × (v + λv ) =
u1 u2 u3

v1 + λv 0 v2 + λv 0 v3 + λv 0
1 2 3

i j k i j k

= u1 u2 u3 + u1 u2 u3


v1 v2 v3 λv 0 λv 0 λv 0
1 2 3

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 15 / 67



i j k
0

u × (v + λv ) =
u1 u2 u3

v1 + λv 0 v2 + λv 0 v3 + λv 0
1 2 3

i j k i j k

= u1 u2 u3 + u1 u2 u3


v1 v2 v3 λv 0 λv 0 λv 0
1 2 3

= u × v + u × (λv 0 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 15 / 67



i j k
0

u × (v + λv ) =
u1 u2 u3

v1 + λv 0 v2 + λv 0 v3 + λv 0
1 2 3

i j k i j k

= u1 u2 u3 + u1 u2 u3


v1 v2 v3 λv 0 λv 0 λv 0
1 2 3

= u × v + u × (λv 0 )

i j k i j k

= u1 u2 u3 + λ u1 u2 u3
v1 v2 v3 v0 v0 v0
1 2 3

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 15 / 67



i j k
0

u × (v + λv ) =
u1 u2 u3

v1 + λv 0 v2 + λv 0 v3 + λv 0
1 2 3

i j k i j k

= u1 u2 u3 + u1 u2 u3


v1 v2 v3 λv 0 λv 0 λv 0
1 2 3

= u × v + u × (λv 0 )

i j k i j k

= u1 u2 u3 + λ u1 u2 u3
v1 v2 v3 v0 v0 v0
1 2 3

= u × v + λ(u × v 0 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 15 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

= u21 v12 + u21 v22 + u21 v32 + u22 v12 + u22 v22 + u2 v32 + u23 v12 + u23 v22

+ u23 v32 − (u21 v12 + u22 v22 + u23 v32 + 2u1 u2 v1 v2 + 2u1 u3 v1 v3

+ 2u2 u3 v2 v3 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

= u21 v12 + u21 v22 + u21 v32 + u22 v12 + u22 v22 + u2 v32 + u23 v12 + u23 v22

+ u23 v32 − (u21 v12 + u22 v22 + u23 v32 + 2u1 u2 v1 v2 + 2u1 u3 v1 v3

+ 2u2 u3 v2 v3 )

= (u21 + u22 + u23 )(v12 + v22 + v32 ) − (u1 v1 + u2 v2 + u3 v3 )2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

= u21 v12 + u21 v22 + u21 v32 + u22 v12 + u22 v22 + u2 v32 + u23 v12 + u23 v22

+ u23 v32 − (u21 v12 + u22 v22 + u23 v32 + 2u1 u2 v1 v2 + 2u1 u3 v1 v3

+ 2u2 u3 v2 v3 )

= (u21 + u22 + u23 )(v12 + v22 + v32 ) − (u1 v1 + u2 v2 + u3 v3 )2

= kuk2 kvk2 − kuk2 kvk2 cos2 θ

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

= u21 v12 + u21 v22 + u21 v32 + u22 v12 + u22 v22 + u2 v32 + u23 v12 + u23 v22

+ u23 v32 − (u21 v12 + u22 v22 + u23 v32 + 2u1 u2 v1 v2 + 2u1 u3 v1 v3

+ 2u2 u3 v2 v3 )

= (u21 + u22 + u23 )(v12 + v22 + v32 ) − (u1 v1 + u2 v2 + u3 v3 )2

= kuk2 kvk2 − kuk2 kvk2 cos2 θ

= kuk2 kvk2 (1 − cos2 θ)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


2. Demuestre que: ku × vk2 = kuk2 kvk2 sin2 θ

ku × vk2 = (u2 v3 − u3 v2 )2 + (u3 v1 − u1 v3 )2 + (u1 v2 − u2 v1 )2

= u21 v12 + u21 v22 + u21 v32 + u22 v12 + u22 v22 + u2 v32 + u23 v12 + u23 v22

+ u23 v32 − (u21 v12 + u22 v22 + u23 v32 + 2u1 u2 v1 v2 + 2u1 u3 v1 v3

+ 2u2 u3 v2 v3 )

= (u21 + u22 + u23 )(v12 + v22 + v32 ) − (u1 v1 + u2 v2 + u3 v3 )2

= kuk2 kvk2 − kuk2 kvk2 cos2 θ

= kuk2 kvk2 (1 − cos2 θ)

= kuk2 kvk2 sin2 θ

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 16 / 67


3. Dada la función
 
1
y2 1 + 2y sin + x2
x
f (x, y) =
x2 + y 2

Encuentre el dominio de la función f (x, y). Es f continua en (0, 0)?


En caso de no ser, redefina f de tal forma que sea continua en (0, 0).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 17 / 67


3. Dada la función
 
1
y2 1 + 2y sin + x2
x
f (x, y) =
x2 + y 2

Encuentre el dominio de la función f (x, y). Es f continua en (0, 0)?


En caso de no ser, redefina f de tal forma que sea continua en (0, 0).
4. Sean f, g : U ⊆ Rn −→ R dos funciones definidas en el abierto U de
Rn y sea x0 un punto de U . Suponga que

lı́m f (x) = L y lı́m g(x) = M


x→x0 x→x0

Entonces:

lı́m (f · g)(x) = lı́m (f (x) · g(x)) = lı́m f (x) · lı́m g(x) = LM


x→x0 x→x0 x→x0 x→x0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 17 / 67


Definición 8.
Sea (Rn , k · k) un espacio normado y (an )n∈N sucesión de elementos de Rn .
b ∈ Rm , b se dice lı́mite de la sucesión an si dado  > 0, existe m ∈ N tal
que si n ≥ m implica que kan − bk < .

notaremos an −→ b o lı́m an = b
n→∞

Se dice que la sucesión an es convergente en Rn si existe b ∈ Rn tal que

b = lı́m an .
n→∞

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 18 / 67


Definición 8.
Sea (Rn , k · k) un espacio normado y (an )n∈N sucesión de elementos de Rn .
b ∈ Rm , b se dice lı́mite de la sucesión an si dado  > 0, existe m ∈ N tal
que si n ≥ m implica que kan − bk < .

notaremos an −→ b o lı́m an = b
n→∞

Se dice que la sucesión an es convergente en Rn si existe b ∈ Rn tal que

b = lı́m an .
n→∞

Definición 9.
Sean (Rn , k · k1 ), (Rm , k · k2 ) espacios normados y f : Rn −→ Rm es
continua en a ∈ Rn es equivalente a
1 a ∈ Rn = dominio de f, y
2 Dada la sucesión xn ∈ Rn , si xn −→ a en Rn , entonces

f (xn ) −→ f (a) en Rm .
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 18 / 67
Definición 10.
Diremos que f es uniformemente continua en Rn si dado  > 0 existe
δ = δ() > 0 tal que para todo par x, y ∈ Rn ,

kx − yk1 < δ implica que kf (x) − f (y)k2 < .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 19 / 67


Definición 10.
Diremos que f es uniformemente continua en Rn si dado  > 0 existe
δ = δ() > 0 tal que para todo par x, y ∈ Rn ,

kx − yk1 < δ implica que kf (x) − f (y)k2 < .

Observación 11.
Si f es uniformemente continua en Rn , entonces f es continua en Rn . El
recı́proco no es cierto. el siguiente es un contra ejemplo: Sea f : R −→ R
definida por f (x) = x3 , es evidente que f es continua pero no es
uniformemente continua.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 19 / 67


Definición 10.
Diremos que f es uniformemente continua en Rn si dado  > 0 existe
δ = δ() > 0 tal que para todo par x, y ∈ Rn ,

kx − yk1 < δ implica que kf (x) − f (y)k2 < .

Observación 11.
Si f es uniformemente continua en Rn , entonces f es continua en Rn . El
recı́proco no es cierto. el siguiente es un contra ejemplo: Sea f : R −→ R
definida por f (x) = x3 , es evidente que f es continua pero no es
uniformemente continua.

Proposición 12.
Si (Rn , k · k) es un espacio normado, entonces la aplicación norma, como
aplicación del espacio normado (Rn , k · k) −→ (R, | · |) es continua.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 19 / 67


Definición 10.
Diremos que f es uniformemente continua en Rn si dado  > 0 existe
δ = δ() > 0 tal que para todo par x, y ∈ Rn ,

kx − yk1 < δ implica que kf (x) − f (y)k2 < .

Observación 11.
Si f es uniformemente continua en Rn , entonces f es continua en Rn . El
recı́proco no es cierto. el siguiente es un contra ejemplo: Sea f : R −→ R
definida por f (x) = x3 , es evidente que f es continua pero no es
uniformemente continua.

Proposición 12.
Si (Rn , k · k) es un espacio normado, entonces la aplicación norma, como
aplicación del espacio normado (Rn , k · k) −→ (R, | · |) es continua.

Demostración:
Tarea: Basta con ver que: |kxk − kzk| ≤ kx − zk.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 19 / 67
Aplicaciones lineales continuas. L(Rn , Rm )
Definición 13.
Sean E, F espacios vectoriales. Una aplicación T : E −→ F se dice lineal si
L1. Dados x, y ∈ E, F, T (x + y) = T (x) + T (y).
L2. Dado λ ∈ R, x ∈ E, T (λx) = λT (x)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 20 / 67


Aplicaciones lineales continuas. L(Rn , Rm )
Definición 13.
Sean E, F espacios vectoriales. Una aplicación T : E −→ F se dice lineal si
L1. Dados x, y ∈ E, F, T (x + y) = T (x) + T (y).
L2. Dado λ ∈ R, x ∈ E, T (λx) = λT (x)

Teorema 14.
Sean Rn , Rm espacios vectoriales normados con norma notada en ambos
k · k, T : Rn −→ Rm aplicación lineal. Las siguientes afirmaciones acerca
de T son equivalentes:
1 T es continua en x para todo x ∈ Rn .
2 T es continua en 0 ∈ Rn .
3 Existe c > 0, tal que kT xk ≤ c para todo x ∈ Rn tal que kxk ≤ 1.
4 Existe c > 0 tal que kT xk ≤ ckxk para todo x ∈ Rn .
5 T es uniformemente continua en Rn .
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 20 / 67
Proposición 15.
Sean (Rn , k · k) y (R, | · |) espacios normados y T : Rn −→ R aplicación
lineal, entonces las seis afirmaciones acerca de T son equivalentes:
1 T es continua en x para todo x ∈ Rn .
2 T es continua en 0 ∈ Rn .
3 Existe c > 0, tal que kT xk ≤ c para todo x ∈ Rn tal que kxk ≤ 1.
4 Existe c > 0, tal que kT xk ≤ ckxk para todo x ∈ Rn .
5 T es uniformemente continua en Rn .
6 T −1 (0) = {x ∈ Rn , T (x) = 0} el núcleo de T es cerrado en Rn .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 21 / 67


Definición 16 (L(E, F)).
Sean E, F espacios vectoriales normados cuya norma en ambos será
denotada por k · k. Podemos considerar entonces el conjunto de las
aplicaciones lineales continuas de E en F, el cual denotaremos por L(E, F),
podemos dotar a L(E, F) de estructura de espacio vectorial normado al
definir la adición de L, T ∈ L(E, F) por

(L + T )(x) = L(x) + T (x), ∀x ∈ E,

para todo x ∈ E, y el producto escalar ası́: para λ ∈ R y T ∈ L(E, F) será


la aplicaciones definida por

(λT )(x) = λT (x), ∀x ∈ E,

es claro que L + T y λT son lineales continuas de E en F, por lo tanto,


L(E, F) es espacio vectorial con este par de operaciones.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 22 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Observación 18.
1 En virtud del Teorema 14 (3), este supremo existe, entonces kT k ≥ 0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Observación 18.
1 En virtud del Teorema 14 (3), este supremo existe, entonces kT k ≥ 0
2 Si T 6≡ 0, existe x ∈ E, kxk = 1, tal que T (x) 6= 0 entonces

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Observación 18.
1 En virtud del Teorema 14 (3), este supremo existe, entonces kT k ≥ 0
2 Si T 6≡ 0, existe x ∈ E, kxk = 1, tal que T (x) 6= 0 entonces

kT (x)k > 0 y por lo tanto kT k > 0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Observación 18.
1 En virtud del Teorema 14 (3), este supremo existe, entonces kT k ≥ 0
2 Si T 6≡ 0, existe x ∈ E, kxk = 1, tal que T (x) 6= 0 entonces

kT (x)k > 0 y por lo tanto kT k > 0

3 Sean S, T ∈ L(E, F) entonces

kS + T k ≤ kSk + kT k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67


Definición 17.
Dotamos a L(E, F) de una norma al definir para T ∈ L(E, F), la norma de
T , como
kT k = sup{kT (x)k : x ∈ E, kxk = 1}

Observación 18.
1 En virtud del Teorema 14 (3), este supremo existe, entonces kT k ≥ 0
2 Si T 6≡ 0, existe x ∈ E, kxk = 1, tal que T (x) 6= 0 entonces

kT (x)k > 0 y por lo tanto kT k > 0

3 Sean S, T ∈ L(E, F) entonces

kS + T k ≤ kSk + kT k

Esta discusión muestra que kT k es en efecto una norma. Consideramos en


lo sucesivo L(E, F) dotado de esta norma
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 23 / 67
Observación 19.
La definición de kT k dada es equivalente a:

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 19.
La definición de kT k dada es equivalente a:

kT k = ı́nf{a > 0 : kT (x)k ≤ akxk para todo x ∈ E}

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 19.
La definición de kT k dada es equivalente a:

kT k = ı́nf{a > 0 : kT (x)k ≤ akxk para todo x ∈ E}

= ı́nf{a > 0 : kT (x)k ≤ a para todo x ∈ E, kxk = 1}

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 19.
La definición de kT k dada es equivalente a:

kT k = ı́nf{a > 0 : kT (x)k ≤ akxk para todo x ∈ E}

= ı́nf{a > 0 : kT (x)k ≤ a para todo x ∈ E, kxk = 1}

= sup{kT (x)k : x ∈ E, kxk ≤ 1}

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 19.
La definición de kT k dada es equivalente a:

kT k = ı́nf{a > 0 : kT (x)k ≤ akxk para todo x ∈ E}

= ı́nf{a > 0 : kT (x)k ≤ a para todo x ∈ E, kxk = 1}

= sup{kT (x)k : x ∈ E, kxk ≤ 1}


 
kT (x)k
= sup : x ∈ E, kxk =
6 0
kxk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 19.
La definición de kT k dada es equivalente a:

kT k = ı́nf{a > 0 : kT (x)k ≤ akxk para todo x ∈ E}

= ı́nf{a > 0 : kT (x)k ≤ a para todo x ∈ E, kxk = 1}

= sup{kT (x)k : x ∈ E, kxk ≤ 1}


 
kT (x)k
= sup : x ∈ E, kxk =
6 0
kxk

Observación 20.
De la observación anterior se deduce que

kT (x)k ≤ kT kkxk, para todo x∈E

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 24 / 67


Observación 21.
Sean E, F, G espacios normados, T ∈ L(E, F), S ∈ L(F, G), L(E, G),
entonces podemos considerar S ◦ T : E −→ G, observe que
S ◦ T ∈ L(E, G) por ser S y T continuas. Denotaremos todas las normas
en estos espacios con k · k. Entonces

kS ◦ T k ≤ kSkkT k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 25 / 67


Observación 21.
Sean E, F, G espacios normados, T ∈ L(E, F), S ∈ L(F, G), L(E, G),
entonces podemos considerar S ◦ T : E −→ G, observe que
S ◦ T ∈ L(E, G) por ser S y T continuas. Denotaremos todas las normas
en estos espacios con k · k. Entonces

kS ◦ T k ≤ kSkkT k

Definición 22.
Sea A ⊂ R subconjunto abierto de R, f : A −→ R, a ∈ A, f se dice
diferenciable en a si existe b ∈ R tal que:

f (x) − f (a) f (a + h) − f (a)


b = lı́m = lı́m
x→a x−a h→0 h
se denota por f 0 (a) el real b anterior, pues se demuestra que es único.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 25 / 67


Observación 21.
Sean E, F, G espacios normados, T ∈ L(E, F), S ∈ L(F, G), L(E, G),
entonces podemos considerar S ◦ T : E −→ G, observe que
S ◦ T ∈ L(E, G) por ser S y T continuas. Denotaremos todas las normas
en estos espacios con k · k. Entonces

kS ◦ T k ≤ kSkkT k

Definición 22.
Sea A ⊂ R subconjunto abierto de R, f : A −→ R, a ∈ A, f se dice
diferenciable en a si existe b ∈ R tal que:

f (x) − f (a) f (a + h) − f (a)


b = lı́m = lı́m
x→a x−a h→0 h
se denota por f 0 (a) el real b anterior, pues se demuestra que es único.

Observación 23.
A es abierto y a ∈ A, existe δ > 0 tal que si |h| < δ entonces a + h ∈ A.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 25 / 67
Observación 24.
En lo que sigue llamaremos a f 0 (a) en lo que sigue la diferencial de f en
a. La definición de lı́mite nos permite ver que f es diferenciable en a ∈ A,
equivale a que
f (a + h) − f (a)
lı́m − f 0 (a) = 0
h→0 h

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 26 / 67


Observación 24.
En lo que sigue llamaremos a f 0 (a) en lo que sigue la diferencial de f en
a. La definición de lı́mite nos permite ver que f es diferenciable en a ∈ A,
equivale a que
f (a + h) − f (a)
lı́m − f 0 (a) = 0
h→0 h
esto a su vez equivale a decir que
f (a + h) − f (a) − f 0 (a)h
lı́m =0
h→0 h

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 26 / 67


Observación 24.
En lo que sigue llamaremos a f 0 (a) en lo que sigue la diferencial de f en
a. La definición de lı́mite nos permite ver que f es diferenciable en a ∈ A,
equivale a que
f (a + h) − f (a)
lı́m − f 0 (a) = 0
h→0 h
esto a su vez equivale a decir que
f (a + h) − f (a) − f 0 (a)h
lı́m =0
h→0 h
esto equivale a: dado  > 0 existe δ > 0 tal que si |h| < δ entonces
|f (a + h) − f (a) − f 0 (a)h| < |h|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 26 / 67


Observación 24.
En lo que sigue llamaremos a f 0 (a) en lo que sigue la diferencial de f en
a. La definición de lı́mite nos permite ver que f es diferenciable en a ∈ A,
equivale a que
f (a + h) − f (a)
lı́m − f 0 (a) = 0
h→0 h
esto a su vez equivale a decir que
f (a + h) − f (a) − f 0 (a)h
lı́m =0
h→0 h
esto equivale a: dado  > 0 existe δ > 0 tal que si |h| < δ entonces
|f (a + h) − f (a) − f 0 (a)h| < |h|

Si notamos con r(h) = f (a + h) − f (a) − f 0 (a)h, vemos que


r(h)
f (a + h) = f (a) + f 0 (a)h + r(h), donde lı́m = 0.
h→0 |h|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 26 / 67


Proposición 25.
El espacio vectorial L(R, R) es isomorfo a R.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 27 / 67


Proposición 25.
El espacio vectorial L(R, R) es isomorfo a R.

Observación 26.
La aplicación ϕ : L(R, R) −→ R definida por ϕ(L) = L(1) donde
a = L(1) ∈ R establece el isomorfismo del la Proposición 25, donde

L : R −→ R
x −→ L(x) = ax

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 27 / 67


Proposición 25.
El espacio vectorial L(R, R) es isomorfo a R.

Observación 26.
La aplicación ϕ : L(R, R) −→ R definida por ϕ(L) = L(1) donde
a = L(1) ∈ R establece el isomorfismo del la Proposición 25, donde

L : R −→ R
x −→ L(x) = ax

Proposición 27.
Sean A ⊂ R abierto y f : A −→ R, a ∈ A, f es diferenciable en a si y solo
si existen una aplicación lineal L : R −→ R y una función r(h), tales que

r(h)
f (a + h) = f (a) + L(h) + r(h), donde lı́m = 0.
k→0 |h|

Identificamos aquı́ el real f 0 (a) con la L aplicación lineal L(h) = f 0 (a)h.


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 27 / 67
Aplicaciones F-diferenciables

Definición 28.
Sean E, F espacios vectoriales normados con norma notada en ambos por
k · k y A ⊂ E abierto, f : A −→ F, a ∈ A. f se dice diferenciable en a si
existen una aplicación lineal continua L(a, ·) = L ∈ L(E, F) y una
aplicación r(a, h) = r(h), tales que

r(h)
f (a + h) = f (a) + L(h) + r(h), donde lı́m = 0. (FD)
h→0 khk

L(a, h) es llamada la diferencial de Fréchet de la función f en el punto a


con incremento h; se suele llamar a L(a, ) como la aproximación lineal de
f en vecindad de a. A la función r(a, h) = r(h) se le llama el resto de la
diferencial. La aplicación lineal continua L(a, ·) : E −→ F es llamada la
derivada de Fréchet de f en a y es denotada por f 0 (a). Veremos mas
adelante que es único.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 28 / 67


Observación 29.
En la definición se entiende que como a ∈ A y A es abierto, existe r > 0
tal que B(a, r) = {x ∈ E : kx − ak < r} ⊆ A, luego si h ∈ E es tal que
khk < r entonces a + h ∈ A. Suele decirse que f es Fréchet diferenciable
o F -diferenciable en a si f satisface la Definición 28 anterior. La
aplicación lineal continua L es llamada la F -derivada de f en a, o la
diferencial de f en a; veremos que cuando esta L existe, es única, por ellos
suele denotarse L = f 0 (a). La F -diferencial de f en a es notada también
por df (a; h) = f 0 (a)h.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 29 / 67


Observación 29.
En la definición se entiende que como a ∈ A y A es abierto, existe r > 0
tal que B(a, r) = {x ∈ E : kx − ak < r} ⊆ A, luego si h ∈ E es tal que
khk < r entonces a + h ∈ A. Suele decirse que f es Fréchet diferenciable
o F -diferenciable en a si f satisface la Definición 28 anterior. La
aplicación lineal continua L es llamada la F -derivada de f en a, o la
diferencial de f en a; veremos que cuando esta L existe, es única, por ellos
suele denotarse L = f 0 (a). La F -diferencial de f en a es notada también
por df (a; h) = f 0 (a)h.

Definición 30 (Notación o de Landau).


Sean E, F espacios vectoriales normados, A ⊂ E abierto, conteniendo el
origen 0 de E, g : A −→ F, diremos que g es o(h) escribimos

g(h)
g(h) = o(h), si lı́m = 0.
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 29 / 67


Observación 31.
Notese que
r(x)
lı́m = 0 ⇔ r(x) = o(x)
x→0 kxk
Por lo tanto f es diferenciable en a ∈ A, si existe T ∈ L(E, F) tal que

f (a + h) = f (a) + T (h) + o(khk), h −→ 0

para todo h en una bola centrada en cero.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 30 / 67


Observación 31.
Notese que
r(x)
lı́m = 0 ⇔ r(x) = o(x)
x→0 kxk
Por lo tanto f es diferenciable en a ∈ A, si existe T ∈ L(E, F) tal que

f (a + h) = f (a) + T (h) + o(khk), h −→ 0

para todo h en una bola centrada en cero.


Muchas veces es conveniente escribir la condición de ser f diferenciable en
a, de la siguiente manera:

f (a + h) = f (a) + L(h) + ρ(h)khk, donde lı́m ρ(h) = 0


h→0

kf (a + h) − f (a) − L(h)k
⇔ lı́m =0
h→0 khk

Para esto basta definir ρ(h)khk = r(h). Esto requiere que ρ(0) = 0 y
como lı́mh→0 ρ(h) = 0, ρ es continua en 0. Como función de h.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 30 / 67
Teorema 32.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A,

f : A −→ F, diferenciable en a,

entonces la aplicación lineal y continua de la definición (FD) es única

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 31 / 67


Teorema 32.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A,

f : A −→ F, diferenciable en a,

entonces la aplicación lineal y continua de la definición (FD) es única

Demostración:
1. Sean T, L ∈ L(E, F) que satisfacen (FD) y veamos que T = L

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 31 / 67


Teorema 32.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A,

f : A −→ F, diferenciable en a,

entonces la aplicación lineal y continua de la definición (FD) es única

Demostración:
1. Sean T, L ∈ L(E, F) que satisfacen (FD) y veamos que T = L
2. a ∈ A, existe r > 0 tal que khk < r implica a + h ∈ A, entonces
f (a + h) = f (a) + L(h) + ρ1 (h)khk = f (a) + T (h) + ρ2 (h)khk,
donde lı́mh→0 ρi (h) = 0, ρi (0) = 0, i = 1, 2.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 31 / 67


Teorema 32.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A,

f : A −→ F, diferenciable en a,

entonces la aplicación lineal y continua de la definición (FD) es única

Demostración:
1. Sean T, L ∈ L(E, F) que satisfacen (FD) y veamos que T = L
2. a ∈ A, existe r > 0 tal que khk < r implica a + h ∈ A, entonces
f (a + h) = f (a) + L(h) + ρ1 (h)khk = f (a) + T (h) + ρ2 (h)khk,
donde lı́mh→0 ρi (h) = 0, ρi (0) = 0, i = 1, 2.
3. Si v = 0, T (0) = L(0) = 0. Sea v ∈ E, v 6= 0, entonces para todo
real t tal que ktvk < r, a + tv ∈ A. Entonces para h = tv con t 6= 0
f (a) + L(tv) + ρ1 (tv)ktvk = f (a) + T (tv) + ρ2 (tv)ktvk.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 31 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk
5. Para t 6= 0

kvk
L(v) − T (v) = (ρ2 (tv)ktvk − ρ1 (tv)ktvk)
tkvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk
5. Para t 6= 0

kvk
L(v) − T (v) = (ρ2 (tv)ktvk − ρ1 (tv)ktvk)
tkvk

= ±kvk(ρ2 (tv) − ρ1 (tv))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk
5. Para t 6= 0

kvk
L(v) − T (v) = (ρ2 (tv)ktvk − ρ1 (tv)ktvk)
tkvk

= ±kvk(ρ2 (tv) − ρ1 (tv))

Por lo tanto L(v) − T (v) = ±kvk(ρ2 (tv) − ρ1 (tv))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk
5. Para t 6= 0

kvk
L(v) − T (v) = (ρ2 (tv)ktvk − ρ1 (tv)ktvk)
tkvk

= ±kvk(ρ2 (tv) − ρ1 (tv))

Por lo tanto L(v) − T (v) = ±kvk(ρ2 (tv) − ρ1 (tv))


7.
L(v) − T (v) = ±kvk lı́m(ρ2 (tv) − ρ1 (tv)) = 0.
t→0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


4. Esto es:
L(tv) − T (tv) = ρ2 (tv)ktvk − ρ1 (tv)ktvk
5. Para t 6= 0

kvk
L(v) − T (v) = (ρ2 (tv)ktvk − ρ1 (tv)ktvk)
tkvk

= ±kvk(ρ2 (tv) − ρ1 (tv))

Por lo tanto L(v) − T (v) = ±kvk(ρ2 (tv) − ρ1 (tv))


7.
L(v) − T (v) = ±kvk lı́m(ρ2 (tv) − ρ1 (tv)) = 0.
t→0

Luego L(v) = T (v) para todo v ∈ E. 

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 32 / 67


Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67


Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Demostración:
1. Mostraremos que lı́mh→0 f (a + h) = f (a).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67


Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Demostración:
1. Mostraremos que lı́mh→0 f (a + h) = f (a).
2. Como a ∈ A y f es diferenciable en a existe T ∈ L(E, F) y r función
de h tal que
r(h)
f (a + h) = f (a) + T (h) + r(h), lı́m = 0.
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67


Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Demostración:
1. Mostraremos que lı́mh→0 f (a + h) = f (a).
2. Como a ∈ A y f es diferenciable en a existe T ∈ L(E, F) y r función
de h tal que
r(h)
f (a + h) = f (a) + T (h) + r(h), lı́m = 0.
h→0 khk

3. Esto implica que lı́mh→0 r(h) = 0, por tanto


lı́m f (a + h) = lı́m (f (a) + T (h) + r(h))
h→0 h→0


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67
Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Demostración:
1. Mostraremos que lı́mh→0 f (a + h) = f (a).
2. Como a ∈ A y f es diferenciable en a existe T ∈ L(E, F) y r función
de h tal que
r(h)
f (a + h) = f (a) + T (h) + r(h), lı́m = 0.
h→0 khk

3. Esto implica que lı́mh→0 r(h) = 0, por tanto


lı́m f (a + h) = lı́m (f (a) + T (h) + r(h))
h→0 h→0

= f (a) + lı́m T (h) + lı́m r(h)


h→0 h→0


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67
Proposición 33.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, si f es
diferenciable en a, entonces f es continua en a.

Demostración:
1. Mostraremos que lı́mh→0 f (a + h) = f (a).
2. Como a ∈ A y f es diferenciable en a existe T ∈ L(E, F) y r función
de h tal que
r(h)
f (a + h) = f (a) + T (h) + r(h), lı́m = 0.
h→0 khk

3. Esto implica que lı́mh→0 r(h) = 0, por tanto


lı́m f (a + h) = lı́m (f (a) + T (h) + r(h))
h→0 h→0

= f (a) + lı́m T (h) + lı́m r(h)


h→0 h→0

= f (a).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 33 / 67
Proposición 34 (Linealidad).
Sean E y F espacios normados, A ⊆ E abierto , a ∈ A; f, g : A −→ F,
diferenciables en a. Entonces para todo α, β ∈ R, tenemos que la función

αf + βf :A −→ F
x 7−→ (αf + βg)(x) = (αf )(x) + (βg)(x) = αf (x) + βg(x)

es diferenciable en a y

(αf + βg)0 (a) = αf 0 (a) + βg 0 (a)

Demostración:
1. Como f, g son diferenciables en a entonces
r1 (h)
f (a + h) = f (a) + f 0 (a)h + r1 (h), lı́m =0
h→0 khk
r2 (h)
g(a + h) = g(a) + g 0 (a)h + r2 (h), lı́m = 0.
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 34 / 67


2. Estudiemos (αf + βg)(a + h)


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)

= α[f (a) + f 0 (a)h + r1 (h)]

+ β[g(a) + g 0 (a)h + r2 (h)]


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)

= α[f (a) + f 0 (a)h + r1 (h)]

+ β[g(a) + g 0 (a)h + r2 (h)]

= αf (a) + βg(a) + αf 0 (a)h + βg 0 (a)h + r(h)


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)

= α[f (a) + f 0 (a)h + r1 (h)]

+ β[g(a) + g 0 (a)h + r2 (h)]

= αf (a) + βg(a) + αf 0 (a)h + βg 0 (a)h + r(h)


Donde r(h) = αr1 (h) + α2 r2 (h), entonces


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)

= α[f (a) + f 0 (a)h + r1 (h)]

+ β[g(a) + g 0 (a)h + r2 (h)]

= αf (a) + βg(a) + αf 0 (a)h + βg 0 (a)h + r(h)


Donde r(h) = αr1 (h) + α2 r2 (h), entonces
r(h) r1 (h) r2 (h)
lı́m = α lı́m + lı́m = 0.
h→0 khk h→0 khk h→0 khk


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
2. Estudiemos (αf + βg)(a + h)
(αf + βg)(a + h) = (αf )(a + h) + (βg)(a + h)

= αf (a + h) + βg(a + h)

= α[f (a) + f 0 (a)h + r1 (h)]

+ β[g(a) + g 0 (a)h + r2 (h)]

= αf (a) + βg(a) + αf 0 (a)h + βg 0 (a)h + r(h)


Donde r(h) = αr1 (h) + α2 r2 (h), entonces
r(h) r1 (h) r2 (h)
lı́m = α lı́m + lı́m = 0.
h→0 khk h→0 khk h→0 khk

3. La siguiente aplicación es lineal y continua como función de h


T :E −→ F
h 7−→ T (h) = αf 0 (a)h + βg 0 (a)h


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 35 / 67
Proposición 35.
Sean D, E, F, G espacios normados A ⊆ D abierto a ∈ A, y sean
f : A −→ E, g : A −→ F diferenciable en a y sea p una aplicación bilineal
continua p : E × F −→ G. Notaremos p(u, v) = u · v. Entonces la
aplicación
p(f, g) = f · g :A −→ G
x 7−→ p(f, g)(x) = (f · g)(x) = f (x) · g(x) = p(f (x), g(x))

es diferenciable en a, y para h ∈ D,

(f · g)0 (a)h = f 0 (a)h · g(a) + f (a) · g 0 (a)h.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 36 / 67


Proposición 35.
Sean D, E, F, G espacios normados A ⊆ D abierto a ∈ A, y sean
f : A −→ E, g : A −→ F diferenciable en a y sea p una aplicación bilineal
continua p : E × F −→ G. Notaremos p(u, v) = u · v. Entonces la
aplicación
p(f, g) = f · g :A −→ G
x 7−→ p(f, g)(x) = (f · g)(x) = f (x) · g(x) = p(f (x), g(x))

es diferenciable en a, y para h ∈ D,

(f · g)0 (a)h = f 0 (a)h · g(a) + f (a) · g 0 (a)h.

Definición 36.
Sean F1 , F2 , . . . , Fn espacios normados y F = F1 × · · · × Fn el producto
normado con la norma del sup; para cada i = 1, 2, . . . , n podemos
considerar las proyecciones pi : F −→ Fi y las inclusiones bi : Fi −→ F
definidas ası́
pi : F −→ Fi , pi (x1 , . . . , xi , . . . , xn ) = xi
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 36 / 67
bi : Fi −→ F, bi (xi ) = (0, . . . , xi , . . . , 0)
Entonces
pi es aplicación lineal sobre y continua, deducida por el Teorema 14

kpi (x)k = kxi k ≤ sup{kxk k : k = 1, 2, . . . , n} = kxk3

bi es aplicación lineal inyectiva y continua, deducida por el Teorema


14
kbi (xi )k = k(0, . . . , 0, xi , 0, . . . , 0)k3 = kxi k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 37 / 67


bi : Fi −→ F, bi (xi ) = (0, . . . , xi , . . . , 0)
Entonces
pi es aplicación lineal sobre y continua, deducida por el Teorema 14

kpi (x)k = kxi k ≤ sup{kxk k : k = 1, 2, . . . , n} = kxk3

bi es aplicación lineal inyectiva y continua, deducida por el Teorema


14
kbi (xi )k = k(0, . . . , 0, xi , 0, . . . , 0)k3 = kxi k

Proposición 37.
Sean E, F1 , F2 , . . . , Fn espacios normados, A ⊆ E abierto no vacı́o,
f : A −→ F = F1 × F2 × · · · × Fn , F dotado de la norma sup,
f = (f1 , f2 , . . . , fn ). Entonces f es continua en a ∈ A si y solo si fk es
continua en a para k = 1, 2, . . . , n.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 37 / 67


bi : Fi −→ F, bi (xi ) = (0, . . . , xi , . . . , 0)
Entonces
pi es aplicación lineal sobre y continua, deducida por el Teorema 14

kpi (x)k = kxi k ≤ sup{kxk k : k = 1, 2, . . . , n} = kxk3

bi es aplicación lineal inyectiva y continua, deducida por el Teorema


14
kbi (xi )k = k(0, . . . , 0, xi , 0, . . . , 0)k3 = kxi k

Proposición 37.
Sean E, F1 , F2 , . . . , Fn espacios normados, A ⊆ E abierto no vacı́o,
f : A −→ F = F1 × F2 × · · · × Fn , F dotado de la norma sup,
f = (f1 , f2 , . . . , fn ). Entonces f es continua en a ∈ A si y solo si fk es
continua en a para k = 1, 2, . . . , n.

Demostración:
Pn
Defina fk = pk ◦ f, y f= k=1 bk fk .
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 37 / 67
Proposición 38.
Dados E, F1 , F2 , . . . , Fn espacios vectoriales normados y A ⊆ E abierto
f : A −→ F1 × F2 × · · · × Fn = F, a ∈ A, f = (f1 , f2 , . . . , fn ), entonces f
es diferenciable en a si y solo si fk es diferenciable en a para cada
k = 1, 2, . . . , n. fk : E −→ Fk , la función coordenada k-ésima de f . En
este caso,
f 0 (a)h = (f10 (a)h, . . . , fk0 (a)h, . . . , fn0 (a)h),
para todo h ∈ E.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 38 / 67


Proposición 38.
Dados E, F1 , F2 , . . . , Fn espacios vectoriales normados y A ⊆ E abierto
f : A −→ F1 × F2 × · · · × Fn = F, a ∈ A, f = (f1 , f2 , . . . , fn ), entonces f
es diferenciable en a si y solo si fk es diferenciable en a para cada
k = 1, 2, . . . , n. fk : E −→ Fk , la función coordenada k-ésima de f . En
este caso,
f 0 (a)h = (f10 (a)h, . . . , fk0 (a)h, . . . , fn0 (a)h),
para todo h ∈ E.

Demostración:
1. Suponga que f es diferenciable en a, entonces existen
r(h) = (r1 (h), . . . , rk (h), . . . , rn (h)), y

f 0 (a) = (T1 , . . . , Tk , . . . , Tn ),
lineal y continua donde cada Tk es lineal y continua

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 38 / 67


Proposición 38.
Dados E, F1 , F2 , . . . , Fn espacios vectoriales normados y A ⊆ E abierto
f : A −→ F1 × F2 × · · · × Fn = F, a ∈ A, f = (f1 , f2 , . . . , fn ), entonces f
es diferenciable en a si y solo si fk es diferenciable en a para cada
k = 1, 2, . . . , n. fk : E −→ Fk , la función coordenada k-ésima de f . En
este caso,
f 0 (a)h = (f10 (a)h, . . . , fk0 (a)h, . . . , fn0 (a)h),
para todo h ∈ E.

Demostración:
1. Suponga que f es diferenciable en a, entonces existen
r(h) = (r1 (h), . . . , rk (h), . . . , rn (h)), y

f 0 (a) = (T1 , . . . , Tk , . . . , Tn ),
lineal y continua donde cada Tk es lineal y continua
f 0 (a)h = (T1 h, . . . , Tk h, . . . , Tn h)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 38 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Luego fk (a + h) = fk (a) + Tk h + rk (h).


Por Teorema 32 (Unicidad) como Tk es lineal continua, la unicidad de la
diferencial implica que fk0 (a) = Tk .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Luego fk (a + h) = fk (a) + Tk h + rk (h).


Por Teorema 32 (Unicidad) como Tk es lineal continua, la unicidad de la
diferencial implica que fk0 (a) = Tk .
Como krk (h)k ≤ kr(h)k para k = 1, 2, . . . , n y

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Luego fk (a + h) = fk (a) + Tk h + rk (h).


Por Teorema 32 (Unicidad) como Tk es lineal continua, la unicidad de la
diferencial implica que fk0 (a) = Tk .
Como krk (h)k ≤ kr(h)k para k = 1, 2, . . . , n y
r(h)
lı́m =0
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Luego fk (a + h) = fk (a) + Tk h + rk (h).


Por Teorema 32 (Unicidad) como Tk es lineal continua, la unicidad de la
diferencial implica que fk0 (a) = Tk .
Como krk (h)k ≤ kr(h)k para k = 1, 2, . . . , n y
r(h) rk (h)
lı́m = 0 ⇒ lı́m =0
h→0 khk h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67


tales que
r(h)
lı́m = 0, y f (a + h) = f (a) + f 0 (a)h + r(h).
h→0 khk

Esto es

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= f (a) + f 0 (a)h + r(h)

= (f1 (a) + T1 h + r1 (h), . . . , fk (a) + Tk h + rk (h), . . . , fn (a) + Tn h + rn (h))

Luego fk (a + h) = fk (a) + Tk h + rk (h).


Por Teorema 32 (Unicidad) como Tk es lineal continua, la unicidad de la
diferencial implica que fk0 (a) = Tk .
Como krk (h)k ≤ kr(h)k para k = 1, 2, . . . , n y
r(h) rk (h)
lı́m = 0 ⇒ lı́m =0
h→0 khk h→0 khk

Por lo tanto fk es diferenciable en a si f lo es.


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 39 / 67
Supongamos ahora que fk es diferenciable en a.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= (f1 (a) + f10 (a)(h) + r1 (h), . . . , fn (a) + fn0 (a)(h) + rn (h))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= (f1 (a) + f10 (a)(h) + r1 (h), . . . , fn (a) + fn0 (a)(h) + rn (h))

= f (a) + (f10 (a)(h), . . . , fk0 (a)(h), . . . , fn0 (a)(h))

+ (r1 (h), . . . , rk (h), . . . , rn (h))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= (f1 (a) + f10 (a)(h) + r1 (h), . . . , fn (a) + fn0 (a)(h) + rn (h))

= f (a) + (f10 (a)(h), . . . , fk0 (a)(h), . . . , fn0 (a)(h))

+ (r1 (h), . . . , rk (h), . . . , rn (h))

= f (a) + f 0 (a)(h) + r(h)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= (f1 (a) + f10 (a)(h) + r1 (h), . . . , fn (a) + fn0 (a)(h) + rn (h))

= f (a) + (f10 (a)(h), . . . , fk0 (a)(h), . . . , fn0 (a)(h))

+ (r1 (h), . . . , rk (h), . . . , rn (h))

= f (a) + f 0 (a)(h) + r(h)

Observe que f 0 (a) = (f10 (a), . . . , fn0 (a)) es lineal continua por serlo cada
fk0 (a).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


Supongamos ahora que fk es diferenciable en a. Entonces existe rk (h) tq

rk (h)
fk (a + h) = fk (a) + fk0 (a)h + rk (h), lı́m = 0, k = 1, . . . , n.
h→0 khk

Luego

f (a + h) = (f1 (a + h), . . . , fk (a + h), . . . , fn (a + h))

= (f1 (a) + f10 (a)(h) + r1 (h), . . . , fn (a) + fn0 (a)(h) + rn (h))

= f (a) + (f10 (a)(h), . . . , fk0 (a)(h), . . . , fn0 (a)(h))

+ (r1 (h), . . . , rk (h), . . . , rn (h))

= f (a) + f 0 (a)(h) + r(h)

Observe que f 0 (a) = (f10 (a), . . . , fn0 (a)) es lineal continua por serlo cada
rk (h)
fk0 (a). Dado que lı́m = 0, para todo  > 0, existe δk > 0, tal que
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 40 / 67


krk (h)k
khk < δk ⇒ <
khk
Si δ = mı́n{δ1 , . . . , δn }. Entonces si khk < δ entonces
krk (h)k
< , para cada k = 1, 2, . . . , n.
khk
kr(h)k
Como kr(h)k = sup{krk (h)k : k = 1, . . . , n}. Entonces < . 
khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 41 / 67


krk (h)k
khk < δk ⇒ <
khk
Si δ = mı́n{δ1 , . . . , δn }. Entonces si khk < δ entonces
krk (h)k
< , para cada k = 1, 2, . . . , n.
khk
kr(h)k
Como kr(h)k = sup{krk (h)k : k = 1, . . . , n}. Entonces < . 
khk
Proposición 39.
Sean A ⊆ Rn abierto, a ∈ A,

f : A −→ Rn , f = (f1 , f2 , . . . , fn ).

Entonces, f es diferenciable en a si y solo si la aplicación fk : A −→ R es


diferenciable en a para k = 1, 2, . . . , n. En este caso,

f 0 (a) = (f10 (a), f20 (a), . . . , fn0 (a)).


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 41 / 67
La matriz jacobiana
Observación 40.
Cuando m = 1, si ej es el j-ésimo vector de la base canónica de Rn
f (a + tej ) − f (a) ∂f (a)
f 0 (a)(ej ) = lı́m =
t→0 t ∂xj

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 42 / 67


La matriz jacobiana
Observación 40.
Cuando m = 1, si ej es el j-ésimo vector de la base canónica de Rn
f (a + tej ) − f (a) ∂f (a)
f 0 (a)(ej ) = lı́m =
t→0 t ∂xj
Observación 41.
Consideremos f : A −→ Rm , A ⊆ Rn abierto, f tendrá m coordenadas
f = (f1 , f2 , . . . , fm )T , para x ∈ A f (x) = (f1 (x), f2 (x), . . . , fm (x))T . Si
a ∈ A y f es diferenciable en a, f 0 (a) : Rn −→ Rm es aplicación lineal
(continua), si consideramos las bases canónicas de Rn y Rm ,
e = {e1 , e2 , . . . , en }, e0 = {e01 , e02 , . . . , e0m } la aplicación f 0 (a) se
determina por conocer
f (a + tek ) − f (a)
f 0 (a)(ek ) = lı́m
t→0 t
A este lı́mite, cuando existe se le conoce como la derivada parcial de f
respecto de la variable k, en el punto a y se denota por ∂f (a)/∂xk .
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 42 / 67
Como f 0 (a)(ej ) ∈ Rm , entonces:
∂f (a)
= f 0 (a)(ej )
∂xj

= (f10 (a)ej , . . . , fi0 (a)ej , . . . , fm


0
(a)ej )T
 T
∂f1 (a) ∂fi (a) ∂fm (a)
= ,..., ,...,
∂xj ∂xj ∂xj
m
X ∂fi (a)
= e0i ,
∂xj
i=1

ya que para i = 1, 2 . . . , m
fi0 (a + tej ) − fi (a) fi (a)
fi0 (a)(ej ) = lı́m =
t→0 t ∂xj
entonces
m
0
X ∂fi (a)
f (a)(ej ) = e0i
∂xj
i=1
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 43 / 67
Por tanto, la matriz asociada a la aplicación f 0 (a) en las bases canónicas
{e1 , e2 , . . . , en }, {e01 , e02 , . . . , e0m } de Rn , Rm respectivamente. La cual es
llamada jacobiana de f en a, es la matriz
 
∂fi (a)
Jf (a) =
∂xj
de tamaño m × n, m filas, n columnas, i ı́ndice para las filas j ı́ndice para
las columnas, i = 1, . . . , m, j = 1, . . . , n.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 44 / 67


Por tanto, la matriz asociada a la aplicación f 0 (a) en las bases canónicas
{e1 , e2 , . . . , en }, {e01 , e02 , . . . , e0m } de Rn , Rm respectivamente. La cual es
llamada jacobiana de f en a, es la matriz
 
∂fi (a)
Jf (a) =
∂xj
de tamaño m × n, m filas, n columnas, i ı́ndice para las filas j ı́ndice para
las columnas, i = 1, . . . , m, j = 1, . . . , n.

Teorema 42.
Sean A ⊆ Rn abierto, a ∈ A, f : A −→ Rm diferenciable en a, entonces
existen ∂fi (a)
, i = 1, . . . , m, j = 1, . . . , n.
∂xj
Por consiguiente, existe la jacobiano de f en a
 
∂fi (a)
Jf (a) =
∂xj
asociada a f 0 (a) : Rn −→ Rm en las bases canónicas de Rn , Rm , donde
i = 1, . . . , m ı́ndice para las filas, j = 1, . . . , n ı́ndice para columnas.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 44 / 67
Proposición 43 (Teorema del valor medio).
Sean a < b números reales f : (a, b) −→ R función diferenciable en (a, b)
continua en el intervalo cerrado [a, b], entonces existe c ∈ (a, b) tal que

f (b) − f (a) = f 0 (c)(b − a).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 45 / 67


Proposición 43 (Teorema del valor medio).
Sean a < b números reales f : (a, b) −→ R función diferenciable en (a, b)
continua en el intervalo cerrado [a, b], entonces existe c ∈ (a, b) tal que

f (b) − f (a) = f 0 (c)(b − a).

Proposición 44.
Sean A ⊆ Rn conjunto abierto y f : A −→ Rm , f = (f1 , . . . , fm ) función
continua cuyas derivadas parciales

∂fi (a)
= ∂j fi (a), para i = 1, . . . , m; j = 1, . . . , n,
∂xj

existen en todo punto a ∈ A y son continuas, entonces f es diferenciable


en a, f es diferenciable en A.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 45 / 67


Proposición 43 (Teorema del valor medio).
Sean a < b números reales f : (a, b) −→ R función diferenciable en (a, b)
continua en el intervalo cerrado [a, b], entonces existe c ∈ (a, b) tal que

f (b) − f (a) = f 0 (c)(b − a).

Proposición 44.
Sean A ⊆ Rn conjunto abierto y f : A −→ Rm , f = (f1 , . . . , fm ) función
continua cuyas derivadas parciales

∂fi (a)
= ∂j fi (a), para i = 1, . . . , m; j = 1, . . . , n,
∂xj

existen en todo punto a ∈ A y son continuas, entonces f es diferenciable


en a, f es diferenciable en A.

Demostración:
Por la Proposición 38, basta probar que cada componente fi de la función
f es diferenciable. Por ello nos restringimos al caso en que f : A −→ R.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 45 / 67
Si a ∈ A, como ∂j f es continua en a, existe r > 0 tal que ∂j f (x) existen
y son continuas en B(a; r) = {x ∈ Rn , kx − ak < r}.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 46 / 67


Si a ∈ A, como ∂j f es continua en a, existe r > 0 tal que ∂j f (x) existen
y son continuas en B(a; r) = {x ∈ Rn , kx − ak < r}. Sea


h = (h1 , h2 , . . . , hn ) ∈ Rn tal que kxk < r pequeña, para que los vectores


hk = (h1 , . . . , hk−1 , hk , 0, . . . , 0) ∈ Rn

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 46 / 67


Si a ∈ A, como ∂j f es continua en a, existe r > 0 tal que ∂j f (x) existen
y son continuas en B(a; r) = {x ∈ Rn , kx − ak < r}. Sea


h = (h1 , h2 , . . . , hn ) ∈ Rn tal que kxk < r pequeña, para que los vectores


hk = (h1 , . . . , hk−1 , hk , 0, . . . , 0) ∈ Rn

→ −
→ → − −→ →

sean tales que a + hk ∈ B(a; r). Consideramos h0 = 0 y hn = h .

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 46 / 67


Si a ∈ A, como ∂j f es continua en a, existe r > 0 tal que ∂j f (x) existen
y son continuas en B(a; r) = {x ∈ Rn , kx − ak < r}. Sea


h = (h1 , h2 , . . . , hn ) ∈ Rn tal que kxk < r pequeña, para que los vectores


hk = (h1 , . . . , hk−1 , hk , 0, . . . , 0) ∈ Rn

→ −
→ → − − → → −
sean tales que a + hk ∈ B(a; r). Consideramos h0 = 0 y hn = h .


f (a + h ) − f (a) = f (a + h1 , a2 , . . . , an ) − f (a1 , a2 , . . . , an )
+ f (a1 + h1 , a2 + h2 , a3 , . . . , an ) − f (a1 + h1 , a2 , . . . , an )
+ ···
+ [f (a1 + h1 , a2 + h2 , . . . , an−2 + hn−2 , an−1 + hn−1 , an )
− f (a1 + h1 , a2 + h2 , . . . , an−2 + hn−2 , an−1 , an )]


+ f (a + h ) − f (a1 + h1 , a2 + h2 , . . . , an−1 + hn−1 , an )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 46 / 67


Si a ∈ A, como ∂j f es continua en a, existe r > 0 tal que ∂j f (x) existen
y son continuas en B(a; r) = {x ∈ Rn , kx − ak < r}. Sea


h = (h1 , h2 , . . . , hn ) ∈ Rn tal que kxk < r pequeña, para que los vectores


hk = (h1 , . . . , hk−1 , hk , 0, . . . , 0) ∈ Rn

→ −
→ → − − → → −
sean tales que a + hk ∈ B(a; r). Consideramos h0 = 0 y hn = h .


f (a + h ) − f (a) = f (a + h1 , a2 , . . . , an ) − f (a1 , a2 , . . . , an )
+ f (a1 + h1 , a2 + h2 , a3 , . . . , an ) − f (a1 + h1 , a2 , . . . , an )
+ ···
+ [f (a1 + h1 , a2 + h2 , . . . , an−2 + hn−2 , an−1 + hn−1 , an )
− f (a1 + h1 , a2 + h2 , . . . , an−2 + hn−2 , an−1 , an )]


+ f (a + h ) − f (a1 + h1 , a2 + h2 , . . . , an−1 + hn−1 , an )
n
X →
− →

= (f (a + hj ) − f (a + h j−1 ))
j=1

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 46 / 67


Para j ∈ {1, 2, . . . , n} fijo, si hj > 0, definimos

φj : [aj , aj + hj ] −→ R


t 7−→ φi (t) = f (a + h j−1 + tej )

= f (a1 + h1 , . . . , aj−1 + hj−1 , t, aj+1 , . . . , an )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 47 / 67


Para j ∈ {1, 2, . . . , n} fijo, si hj > 0, definimos

φj : [aj , aj + hj ] −→ R


t 7−→ φi (t) = f (a + h j−1 + tej )

= f (a1 + h1 , . . . , aj−1 + hj−1 , t, aj+1 , . . . , an )

φj es diferenciable en t ∈ (aj , aj + hj ) si hj > 0 (o en (aj + hj , aj ) si


hj < 0), y continua en [aj , aj + hj ], por existir ∂j f en A y ser continuas,
existe

φ0j (t) = f (a1 + h1 , . . . , aj−1 + hj−1 , t, aj+1 , . . . , an )
∂xj

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 47 / 67


Para j ∈ {1, 2, . . . , n} fijo, si hj > 0, definimos

φj : [aj , aj + hj ] −→ R


t 7−→ φi (t) = f (a + h j−1 + tej )

= f (a1 + h1 , . . . , aj−1 + hj−1 , t, aj+1 , . . . , an )

φj es diferenciable en t ∈ (aj , aj + hj ) si hj > 0 (o en (aj + hj , aj ) si


hj < 0), y continua en [aj , aj + hj ], por existir ∂j f en A y ser continuas,
existe

φ0j (t) = f (a1 + h1 , . . . , aj−1 + hj−1 , t, aj+1 , . . . , an )
∂xj

es válido el teorema del valor medio para φj , luego:

φj (aj + hj ) − φj (aj ) = φ0 (cj )(hj ), para algún cj ∈ (aj , aj + hj )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 47 / 67



− →

Por consiguiente si hj > 0, f (a + hj ) − f (a + h j−1 ) = ∂j f (→

qj )hj para

− →

algún q j = a + h j−1 + cj ej ∈ B(a; r).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 48 / 67



− →

Por consiguiente si hj > 0, f (a + hj ) − f (a + h j−1 ) = ∂j f (→

qj )hj para

− →

algún q j = a + h j−1 + cj ej ∈ B(a; r).
Entonces
n n

− →
− →

∂j f (→

X X
f (a + h ) − f (a) = (f (a + hj ) − f (a + h j−1 )) = qj )hj
j=1 j=1

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 48 / 67



− →

Por consiguiente si hj > 0, f (a + hj ) − f (a + h j−1 ) = ∂j f (→

qj )hj para

− →

algún q j = a + h j−1 + cj ej ∈ B(a; r).
Entonces
n n

− →
− →

∂j f (→

X X
f (a + h ) − f (a) = (f (a + hj ) − f (a + h j−1 )) = qj )hj
j=1 j=1

Candidato para la derivada es: D = (∂1 f (a), ∂2 f (a), . . . , ∂n f (a)). La


aplicación

L :Rn −→ R
n

− →
− →
− X
h 7−→ L( h ) = D · h = ∂j f (a)hj
j=1

es lineal y continua,

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 48 / 67



− →

Por consiguiente si hj > 0, f (a + hj ) − f (a + h j−1 ) = ∂j f (→

qj )hj para

− →

algún q j = a + h j−1 + cj ej ∈ B(a; r).
Entonces
n n

− →
− →

∂j f (→

X X
f (a + h ) − f (a) = (f (a + hj ) − f (a + h j−1 )) = qj )hj
j=1 j=1

Candidato para la derivada es: D = (∂1 f (a), ∂2 f (a), . . . , ∂n f (a)). La


aplicación

L :Rn −→ R
n

− →
− →
− X
h 7−→ L( h ) = D · h = ∂j f (a)hj
j=1

es lineal y continua,donde
n

− →
− →
− X
R( h ) = f (a + h ) − f (a) − L( h ) = (∂j f (qj ) − ∂j f (a))hj
j=1

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 48 / 67




Observe que →

q j → a si h → 0, y como ∂j f en a es continua

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 49 / 67




Observe que →
−q j → a si h → 0, y como ∂j f en a es continua

R(−

n
h ) 1



X
0≤ → − ≤ → − (∂j f ( q j ) − ∂j f (a))hj
khk khk
j=1

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 49 / 67




Observe que →
−q j → a si h → 0, y como ∂j f en a es continua

R(−

n
h ) 1



X
0≤ → − ≤ → − (∂j f ( q j ) − ∂j f (a))hj
khk khk
j=1
n
X |hj |
≤ − |∂j f (qj ) − ∂j f (a)|

j=1 k h k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 49 / 67




Observe que →
−q j → a si h → 0, y como ∂j f en a es continua

R(−

n
h ) 1



X
0≤ → − ≤ → − (∂j f ( q j ) − ∂j f (a))hj
khk khk
j=1
n
X |hj |
≤ − |∂j f (qj ) − ∂j f (a)|

j=1 k h k

n
X →

≤ |∂j f (qj ) − ∂j f (a)| → 0, si h → 0.
j=1

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 49 / 67




Observe que →
−q j → a si h → 0, y como ∂j f en a es continua

R(−

n
h ) 1



X
0≤ → − ≤ → − (∂j f ( q j ) − ∂j f (a))hj
khk khk
j=1
n
X |hj |
≤ − |∂j f (qj ) − ∂j f (a)|

j=1 k h k

n
X →

≤ |∂j f (qj ) − ∂j f (a)| → 0, si h → 0.
j=1

Entonces f 0 (a) ≡ L. De la misma forma se razona para hj < 0. 

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 49 / 67


Teorema 45 (Regla de la cadena).
Sean E, F, G espacios vectoriales normados U ⊆ E abierto, V ⊆ F abierto
no vacı́o, f : U −→ F, g : V −→ A, tales que f (U ) ⊆ V , f diferenciable
en x ∈ U , g diferenciable en y = f (x) ∈ V . Entonces, la función
compuesta g ◦ f : U −→ A, A ⊆ G es diferenciable en x, y
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x). Para h ∈ E,

(g ◦ f )0 (x)h = g 0 (f (x))[f 0 (x)h].

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 50 / 67


Teorema 45 (Regla de la cadena).
Sean E, F, G espacios vectoriales normados U ⊆ E abierto, V ⊆ F abierto
no vacı́o, f : U −→ F, g : V −→ A, tales que f (U ) ⊆ V , f diferenciable
en x ∈ U , g diferenciable en y = f (x) ∈ V . Entonces, la función
compuesta g ◦ f : U −→ A, A ⊆ G es diferenciable en x, y
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x). Para h ∈ E,

(g ◦ f )0 (x)h = g 0 (f (x))[f 0 (x)h].

Demostración:
1. Como f y g son diferenciables en x y f (x) respectivamente
r1 (h)
f (x + h) = f (x) + f 0 (x)h + r1 (h), donde lı́m =0 (de F)
h→0 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 50 / 67


Teorema 45 (Regla de la cadena).
Sean E, F, G espacios vectoriales normados U ⊆ E abierto, V ⊆ F abierto
no vacı́o, f : U −→ F, g : V −→ A, tales que f (U ) ⊆ V , f diferenciable
en x ∈ U , g diferenciable en y = f (x) ∈ V . Entonces, la función
compuesta g ◦ f : U −→ A, A ⊆ G es diferenciable en x, y
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x). Para h ∈ E,

(g ◦ f )0 (x)h = g 0 (f (x))[f 0 (x)h].

Demostración:
1. Como f y g son diferenciables en x y f (x) respectivamente
r1 (h)
f (x + h) = f (x) + f 0 (x)h + r1 (h), donde lı́m =0 (de F)
h→0 khk

Esto implica que lı́mh→0 r1 (h) = 0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 50 / 67


Teorema 45 (Regla de la cadena).
Sean E, F, G espacios vectoriales normados U ⊆ E abierto, V ⊆ F abierto
no vacı́o, f : U −→ F, g : V −→ A, tales que f (U ) ⊆ V , f diferenciable
en x ∈ U , g diferenciable en y = f (x) ∈ V . Entonces, la función
compuesta g ◦ f : U −→ A, A ⊆ G es diferenciable en x, y
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x). Para h ∈ E,

(g ◦ f )0 (x)h = g 0 (f (x))[f 0 (x)h].

Demostración:
1. Como f y g son diferenciables en x y f (x) respectivamente
r1 (h)
f (x + h) = f (x) + f 0 (x)h + r1 (h), donde lı́m =0 (de F)
h→0 khk

Esto implica que lı́mh→0 r1 (h) = 0


r2 (k)
g(y + k) = g(y) + g 0 (y)k + r2 (k), donde lı́m =0 (de G)
k→0 kkk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 50 / 67


Teorema 45 (Regla de la cadena).
Sean E, F, G espacios vectoriales normados U ⊆ E abierto, V ⊆ F abierto
no vacı́o, f : U −→ F, g : V −→ A, tales que f (U ) ⊆ V , f diferenciable
en x ∈ U , g diferenciable en y = f (x) ∈ V . Entonces, la función
compuesta g ◦ f : U −→ A, A ⊆ G es diferenciable en x, y
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x). Para h ∈ E,

(g ◦ f )0 (x)h = g 0 (f (x))[f 0 (x)h].

Demostración:
1. Como f y g son diferenciables en x y f (x) respectivamente
r1 (h)
f (x + h) = f (x) + f 0 (x)h + r1 (h), donde lı́m =0 (de F)
h→0 khk

Esto implica que lı́mh→0 r1 (h) = 0


r2 (k)
g(y + k) = g(y) + g 0 (y)k + r2 (k), donde lı́m =0 (de G)
k→0 kkk

Esto implica que lı́mk→0 r2 (k) = 0


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 50 / 67
2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)


4. Del paso (1) sabemos que. Dado  > 0, existe δ1 > 0, δ2 > 0 tal que si

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)


4. Del paso (1) sabemos que. Dado  > 0, existe δ1 > 0, δ2 > 0 tal que si
0 < khk < δ1 , implica kr1 (h)k < khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)


4. Del paso (1) sabemos que. Dado  > 0, existe δ1 > 0, δ2 > 0 tal que si
0 < khk < δ1 , implica kr1 (h)k < khk

0 < kkk < δ2 , implica kr2 (k)k < kkk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)


4. Del paso (1) sabemos que. Dado  > 0, existe δ1 > 0, δ2 > 0 tal que si
0 < khk < δ1 , implica kr1 (h)k < khk

0 < kkk < δ2 , implica kr2 (k)k < kkk


5. Observe que
(g ◦ f )(x + h) = g(y) + g 0 (y)k + r2 (k)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


2. Si k = f 0 (x)h + r1 (h), es claro que k → 0, si y solo si h → 0.
3. Observe que
(g ◦ f )(x + h) = g(f (x + h))

= g[f (x) + f 0 (x)h + r1 (h)]

= g(y + k)

= g(y) + g 0 (y)k + r2 (k)


4. Del paso (1) sabemos que. Dado  > 0, existe δ1 > 0, δ2 > 0 tal que si
0 < khk < δ1 , implica kr1 (h)k < khk

0 < kkk < δ2 , implica kr2 (k)k < kkk


5. Observe que
(g ◦ f )(x + h) = g(y) + g 0 (y)k + r2 (k)

= g(y) + g 0 (y)[f 0 (x)h] + g 0 (y)(r1 (h)) + r2 (k).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 51 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

< akhk + kf 0 (x)h + r1 (h)k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

< akhk + kf 0 (x)h + r1 (h)k

≤ akhk + (kf 0 (x)kkhk + kr1 (h)k)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

< akhk + kf 0 (x)h + r1 (h)k

≤ akhk + (kf 0 (x)kkhk + kr1 (h)k)

≤ akhk + bkhk + 2 khk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

< akhk + kf 0 (x)h + r1 (h)k

≤ akhk + (kf 0 (x)kkhk + kr1 (h)k)

≤ akhk + bkhk + 2 khk −−−→ 0


h→0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67


Como f 0 (x), g 0 (y) son lineales y continuas por ser f y g Fréchet
diferenciables. También lo es:
(g ◦ f )0 (x) = g 0 (f (x)) ◦ f 0 (x), es lineal continua.
6. Luego si
R(h) = g 0 (y)(r1 (h)) + r2 (k) = g 0 (y)(r1 (h)) + r2 [f 0 (x)h + r1 (h)]
Tomando δ = mı́n{δ1 , δ2 },
0 ≤ kR(h)k ≤ kg 0 (y)(r1 (h))k + kr2 [f 0 (x)h + r1 (h)]k

≤ kg 0 (y)kkr1 (h)k + kr2 [f 0 (x)h + r1 (h)]k

< akhk + kf 0 (x)h + r1 (h)k

≤ akhk + (kf 0 (x)kkhk + kr1 (h)k)

≤ akhk + bkhk + 2 khk −−−→ 0


h→0


Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 52 / 67
Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk
2. Para t 6= 0
f (a + tv) − f (a) r(tv)
− = f 0 (a)(v)
t t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk
2. Para t 6= 0
f (a + tv) − f (a) r(tv)
− = f 0 (a)(v)
t t
3. Finalmente

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk
2. Para t 6= 0
f (a + tv) − f (a) r(tv)
− = f 0 (a)(v)
t t
3. Finalmente
r(tv) r(tv)
lı́m = kvk lı́m
t→0 t t→0 tkvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk
2. Para t 6= 0
f (a + tv) − f (a) r(tv)
− = f 0 (a)(v)
t t
3. Finalmente
r(tv) r(tv) r(tv)
lı́m = kvk lı́m = ±kvk lı́m
t→0 t t→0 tkvk t→0 ktvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Proposición 46.
Sean E, F espacios normados A ⊆ E abierto, a ∈ A, f : A −→ F,
diferenciable en a, entonces para todo v ∈ E,

f (a + tv) − f (a)
f 0 (a)(v) = lı́m
t→0 t
Demostración:

6 0 en E, como a ∈ A, y A es abierto, existe δ > 0 tal que si


1. Sea v =
t ∈ R satisface ktvk = |t|kvk < δ entonces a + tv ∈ A por lo tanto

r(tv)
f (a + tv) = f (a) + f 0 (a)(tv) + r(tv), donde lı́m =0
t→0 ktvk
2. Para t 6= 0
f (a + tv) − f (a) r(tv)
− = f 0 (a)(v)
t t
3. Finalmente
r(tv) r(tv) r(tv)
lı́m = kvk lı́m = ±kvk lı́m =0 
t→0 t t→0 tkvk t→0 ktvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 53 / 67


Aplicaciones G-diferenciables

Definición 47.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, y sea
v ∈ E. Si existe el lı́mite
f (a + tv) − f (a)
lı́m ,
t→0 t
la aplicación f se dice ”Gateaux diferenciable en a ∈ A”; y denotamos
este limite por ∂f (a, v). A este lı́mite se le llama la derivada direccional de
f en el punto a en la dirección v, cuando kvk=1.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 54 / 67


Aplicaciones G-diferenciables

Definición 47.
Sean E, F espacios normados, A ⊆ E abierto, a ∈ A, f : A −→ F, y sea
v ∈ E. Si existe el lı́mite
f (a + tv) − f (a)
lı́m ,
t→0 t
la aplicación f se dice ”Gateaux diferenciable en a ∈ A”; y denotamos
este limite por ∂f (a, v). A este lı́mite se le llama la derivada direccional de
f en el punto a en la dirección v, cuando kvk=1.

Ejemplos:
Notamos que si f es F-diferenciable en a, entonces f es G-diferenciable en
a en virtud de la Proposición anterior 46, en este caso ∂f (a, v) = f 0 (a)(v)
para todo v ∈ E. El recı́proco no es cierto, podemos exhibir un
contraejemplo clásico para esto
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 54 / 67
f : R2 −→ R
2

 xz
si (x, z) 6= (0, 0)
(x, z) 7−→ f (x, z) = x2 + z 2
0 si (x, z) = (0, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 55 / 67


f : R2 −→ R
2

 xz
si (x, z) 6= (0, 0)
(x, z) 7−→ f (x, z) = x2 + z 2
0 si (x, z) = (0, 0)



f es G-diferenciable en 0 = (0, 0), pero f no es F-diferenciable en (0, 0).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 55 / 67


f : R2 −→ R
2

 xz
si (x, z) 6= (0, 0)
(x, z) 7−→ f (x, z) = x2 + z 2
0 si (x, z) = (0, 0)



f es G-diferenciable en 0 = (0, 0), pero f no es F-diferenciable en (0, 0).
Observe que si f fuera F-diferenciable en (0, 0)

f 0 (0, 0)(u, v) = uf 0 (0, 0)(1, 0) + vf 0 (0, 0)(0, 1)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 55 / 67


f : R2 −→ R
2

 xz
si (x, z) 6= (0, 0)
(x, z) 7−→ f (x, z) = x2 + z 2
0 si (x, z) = (0, 0)



f es G-diferenciable en 0 = (0, 0), pero f no es F-diferenciable en (0, 0).
Observe que si f fuera F-diferenciable en (0, 0)

f 0 (0, 0)(u, v) = uf 0 (0, 0)(1, 0) + vf 0 (0, 0)(0, 1)

Como
f ((0, 0) + t(1, 0)) − f (0, 0)
f 0 (0, 0)(1, 0) = lı́m =0
t→0 t
f ((0, 0) + t(0, 1)) − f (0, 0)
f 0 (0, 0)(0, 1) = lı́m =0
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 55 / 67


f : R2 −→ R
2

 xz
si (x, z) 6= (0, 0)
(x, z) 7−→ f (x, z) = x2 + z 2
0 si (x, z) = (0, 0)



f es G-diferenciable en 0 = (0, 0), pero f no es F-diferenciable en (0, 0).
Observe que si f fuera F-diferenciable en (0, 0)

f 0 (0, 0)(u, v) = uf 0 (0, 0)(1, 0) + vf 0 (0, 0)(0, 1)

Como
f ((0, 0) + t(1, 0)) − f (0, 0)
f 0 (0, 0)(1, 0) = lı́m =0
t→0 t
f ((0, 0) + t(0, 1)) − f (0, 0)
f 0 (0, 0)(0, 1) = lı́m =0
t→0 t
Entonces f 0 (0, 0)(u, v) = 0, para todo (u, v) ∈ R2 por lo tanto f 0 (0, 0) ≡ 0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 55 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2
Luego
r(h, h) h 1
= √ =± √
k(h, h)k 2 2|h| 2 2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2
Luego
r(h, h) h 1
= √ =± √
k(h, h)k 2 2|h| 2 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0).
Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0) entonces

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2
Luego
r(h, h) h 1
= √ =± √
k(h, h)k 2 2|h| 2 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0).
Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0) entonces

− →

f ( 0 + tv) − f ( 0 ) f (tv)
lı́m = lı́m
t→0 t t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2
Luego
r(h, h) h 1
= √ =± √
k(h, h)k 2 2|h| 2 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0).
Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0) entonces

− →

f ( 0 + tv) − f ( 0 ) f (tv) t3 v1 v 2
lı́m = lı́m = lı́m 3 2 2 2
t→0 t t→0 t t→0 t (v1 + v2 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.Como
h3 1
f (h, k) = r(h, k) ⇒ f (h, h) = r(h, h) = = h
2h2 2
Luego
r(h, h) h 1
= √ =± √
k(h, h)k 2 2|h| 2 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0).
Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0) entonces

− →

f ( 0 + tv) − f ( 0 ) f (tv) t3 v1 v 2 v1 v 2
lı́m = lı́m = lı́m 3 2 2 2 = 2 2 2
t→0 t t→0 t t→0 t (v1 + v2 ) v1 + v2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 56 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)
Demostración:
Si v = 0, ∂f (a, λ0) = ∂f (a, 0) = 0 = λ0 = λ∂f (a, 0). Supongamos
que v, λ 6= 0, entonces

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)
Demostración:
Si v = 0, ∂f (a, λ0) = ∂f (a, 0) = 0 = λ0 = λ∂f (a, 0). Supongamos
que v, λ 6= 0, entonces
f (a + tλv) − f (a)
∂f (a, λv) = lı́m
t→0 t

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)
Demostración:
Si v = 0, ∂f (a, λ0) = ∂f (a, 0) = 0 = λ0 = λ∂f (a, 0). Supongamos
que v, λ 6= 0, entonces
f (a + tλv) − f (a)
∂f (a, λv) = lı́m
t→0 t
(f (a + tλv) − f (a))λ
= lı́m
t→0 λt

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)
Demostración:
Si v = 0, ∂f (a, λ0) = ∂f (a, 0) = 0 = λ0 = λ∂f (a, 0). Supongamos
que v, λ 6= 0, entonces
f (a + tλv) − f (a)
∂f (a, λv) = lı́m
t→0 t
(f (a + tλv) − f (a))λ
= lı́m
t→0 λt
f (a + λtv) − f (a)
= λ lı́m
t→0 λt

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67


Ademas es claro que ∂f (a, 0) = 0 Por lo tanto f es G-diferenciable en
(0, 0).
2. Demuestre que la diferencial en el sentido de Gateaux de una función
f en un punto a es homogénea, es decir para todo λ ∈ R y para todo
v ∈ E,
∂f (a, λv) = λ∂f (a, v)
Demostración:
Si v = 0, ∂f (a, λ0) = ∂f (a, 0) = 0 = λ0 = λ∂f (a, 0). Supongamos
que v, λ 6= 0, entonces
f (a + tλv) − f (a)
∂f (a, λv) = lı́m
t→0 t
(f (a + tλv) − f (a))λ
= lı́m
t→0 λt
f (a + λtv) − f (a)
= λ lı́m
t→0 λt
= λ∂f (a, v).
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 57 / 67
Miscellaneous Problems

1. Sea f : R2 − (0, 0) −→ R definida por


xy
f (x, y) =
x2 + y2
Demuestre que a pesar de que los limites iterados de f existen
lı́m(x,y)→(0,0) f (x, y) = 0 no existe.
Solución:

lı́m lı́m f (x, y) = 0 y lı́m lı́m f (x, y) = 0


x→0 y→0 y→0 x→0

Pero
xy
lı́m
(x,y)→(0,0) x2 + y2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 58 / 67


Miscellaneous Problems

1. Sea f : R2 − (0, 0) −→ R definida por


xy
f (x, y) =
x2 + y2
Demuestre que a pesar de que los limites iterados de f existen
lı́m(x,y)→(0,0) f (x, y) = 0 no existe.
Solución:

lı́m lı́m f (x, y) = 0 y lı́m lı́m f (x, y) = 0


x→0 y→0 y→0 x→0

Pero
xy y=mx mx2
lı́m = lı́m
(x,y)→(0,0) x + y 2
2 x→0 x2 + m2 x2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 58 / 67


Miscellaneous Problems

1. Sea f : R2 − (0, 0) −→ R definida por


xy
f (x, y) =
x2 + y2
Demuestre que a pesar de que los limites iterados de f existen
lı́m(x,y)→(0,0) f (x, y) = 0 no existe.
Solución:

lı́m lı́m f (x, y) = 0 y lı́m lı́m f (x, y) = 0


x→0 y→0 y→0 x→0

Pero
xy y=mx mx2 m
lı́m = lı́m = lı́m
(x,y)→(0,0) x + y 2
2 2 2
x→0 x + m x 2 x→0 1 + m2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 58 / 67


Miscellaneous Problems

1. Sea f : R2 − (0, 0) −→ R definida por


xy
f (x, y) =
x2 + y2
Demuestre que a pesar de que los limites iterados de f existen
lı́m(x,y)→(0,0) f (x, y) = 0 no existe.
Solución:

lı́m lı́m f (x, y) = 0 y lı́m lı́m f (x, y) = 0


x→0 y→0 y→0 x→0

Pero
xy y=mx mx2 m m
lı́m = lı́m = lı́m =
(x,y)→(0,0) x + y 2
2 2 2
x→0 x + m x 2 x→0 1 + m2 1 + m2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 58 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:
Es fácil ver que lı́mx→0 lı́my→0 f (x, y) y lı́my→0 lı́mx→0 f (x, y) no
existen. Veamos sin embargo que lı́m(x,y)→(0,0) f (x, y) = 0.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:
Es fácil ver que lı́mx→0 lı́my→0 f (x, y) y lı́my→0 lı́mx→0 f (x, y) no
existen. Veamos sin embargo que lı́m(x,y)→(0,0) f (x, y) = 0.
Este lı́mite existe y es igual a cero si y solo si para todo  > 0, existe
δ > 0 tal que

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:
Es fácil ver que lı́mx→0 lı́my→0 f (x, y) y lı́my→0 lı́mx→0 f (x, y) no
existen. Veamos sin embargo que lı́m(x,y)→(0,0) f (x, y) = 0.
Este lı́mite existe y es igual a cero si y solo si para todo  > 0, existe
δ > 0 tal que

si (x, y) ∈ B ? ((0, 0); δ) entonces f (x, y) ∈ B(0; )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:
Es fácil ver que lı́mx→0 lı́my→0 f (x, y) y lı́my→0 lı́mx→0 f (x, y) no
existen. Veamos sin embargo que lı́m(x,y)→(0,0) f (x, y) = 0.
Este lı́mite existe y es igual a cero si y solo si para todo  > 0, existe
δ > 0 tal que

si (x, y) ∈ B ? ((0, 0); δ) entonces f (x, y) ∈ B(0; )

Esto es

0 < k(x, y) − (0, 0)k < δ implica |f (x, y) − 0| < 

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


2. Sea f : R2 −→ R2 definida por
(
x sin(1/y) + y sin(1/x) si 6 0
xy =
f (x, y) =
0 si xy = 0

Solución:
Es fácil ver que lı́mx→0 lı́my→0 f (x, y) y lı́my→0 lı́mx→0 f (x, y) no
existen. Veamos sin embargo que lı́m(x,y)→(0,0) f (x, y) = 0.
Este lı́mite existe y es igual a cero si y solo si para todo  > 0, existe
δ > 0 tal que

si (x, y) ∈ B ? ((0, 0); δ) entonces f (x, y) ∈ B(0; )

Esto es

0 < k(x, y) − (0, 0)k < δ implica |f (x, y) − 0| < 

Observe que:

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 59 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

= k(x, y) − (0, 0)k + k(x, y) − (0, 0)k

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

= k(x, y) − (0, 0)k + k(x, y) − (0, 0)k

< δ + δ = 2δ

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

= k(x, y) − (0, 0)k + k(x, y) − (0, 0)k

< δ + δ = 2δ= 

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

= k(x, y) − (0, 0)k + k(x, y) − (0, 0)k

< δ + δ = 2δ= 

Tomado δ = /2. Si x ∈ B ? ((0, 0); δ) entonces f (x) ∈ B(f (x); )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


|f (x, y) − 0| = |x sin(1/y) + y sin(1/x) − 0|

= |x sin(1/y) + y sin(1/x)|

≤ |x sin(1/y)| + |y sin(1/x)|

≤ |x|| sin(1/y)| + |y|| sin(1/x)|

≤ |x| + |y|

≤ k(x, y)k + k(x, y)k

= k(x, y) − (0, 0)k + k(x, y) − (0, 0)k

< δ + δ = 2δ= 

Tomado δ = /2. Si x ∈ B ? ((0, 0); δ) entonces f (x) ∈ B(f (x); ) i.e

lı́m f (x, y) = 0.
(x,y)→(0,0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 60 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?


b. Existen las derivadas parciales de f ?

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?


b. Existen las derivadas parciales de f ?
c. Son continuas las derivadas parciales de f ?

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?


b. Existen las derivadas parciales de f ?
c. Son continuas las derivadas parciales de f ?
d. Es f Fréchet diferenciable?

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?


b. Existen las derivadas parciales de f ?
c. Son continuas las derivadas parciales de f ?
d. Es f Fréchet diferenciable?
e. Es f Gateaux diferenciable?

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


3. Dada la función f : R2 −→ R definida por
 xy
p si (x, y) 6= (0, 0)
f (x, y) = x2 + y 2
0 si (x, y) = (0, 0)

a. Es f una función continua?


b. Existen las derivadas parciales de f ?
c. Son continuas las derivadas parciales de f ?
d. Es f Fréchet diferenciable?
e. Es f Gateaux diferenciable?
Solución:
a. Observe que para y = mx

xy y=mx mx2 mx2


lı́m p = lı́m √ = lı́m √ =0
(x,y)→(0,0) x2 + y 2 x→0 x2 + m2 x2 x→0 |x| 1 + m2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 61 / 67


b. Caso (x, y) = (0, 0) es trivial. Si (x, y) 6= (0, 0)

∂f y3 ∂f x3
= 2 y = 2
∂x (x + y 2 )3/2 ∂y (x + y 2 )3/2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 62 / 67


b. Caso (x, y) = (0, 0) es trivial. Si (x, y) 6= (0, 0)

∂f y3 ∂f x3
= 2 y = 2
∂x (x + y 2 )3/2 ∂y (x + y 2 )3/2

c. Basta con estudiar el siguiente lı́mite

y3 y=mx m 3 x3 m3
lı́m = lı́m =
(x,y)→(0,0) (x2 + y 2 )3/2 x→0 (x2 + x2 m2 )3/2 (1 + m2 )3/2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 62 / 67


b. Caso (x, y) = (0, 0) es trivial. Si (x, y) 6= (0, 0)

∂f y3 ∂f x3
= 2 y = 2
∂x (x + y 2 )3/2 ∂y (x + y 2 )3/2

c. Basta con estudiar el siguiente lı́mite

y3 y=mx m 3 x3 m3
lı́m = lı́m =
(x,y)→(0,0) (x2 + y 2 )3/2 x→0 (x2 + x2 m2 )3/2 (1 + m2 )3/2

d. Recuerde que: f 0 (0, 0)(u, v) = uf 0 (0, 0)(1, 0) + vf 0 (0, 0)(0, 1). Como

f ((0, 0) + t(1, 0)) − f (0, 0)


f 0 (0, 0)(1, 0) = lı́m =0
t→0 t
f ((0, 0) + t(0, 1)) − f (0, 0)
f 0 (0, 0)(0, 1) = lı́m =0
t→0 t
Entonces f 0 (0, 0)(u, v) = 0, para todo (u, v) ∈ R2 por lo tanto f 0 (0, 0) ≡ 0

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 62 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0. Como
h2 h
r(h, k) = f (h, k) ⇒ r(h, h) = √ = ±√
2|h| 2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0. Como
h2 h
r(h, k) = f (h, k) ⇒ r(h, h) = √ = ±√
2|h| 2
Luego
h
±√
r(h, h) 2 1
=√ =±
k(h, h)k 2|h| 2

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0. Como
h2 h
r(h, k) = f (h, k) ⇒ r(h, h) = √ = ±√
2|h| 2
Luego
h
±√
r(h, h) 2 1
=√ =±
k(h, h)k 2|h| 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0). Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0)
entonces

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0. Como
h2 h
r(h, k) = f (h, k) ⇒ r(h, h) = √ = ±√
2|h| 2
Luego
h
±√
r(h, h) 2 1
=√ =±
k(h, h)k 2|h| 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0). Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0)
entonces

− →

f ( 0 + tv) − f ( 0 ) f (tv)
lı́m = lı́m
t→0 t t→0 t
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67
Entonces
r(H)
f ((0, 0) + (h, k)) = f (0, 0) + f 0 (0, 0)(h, k) + r(h, k), lı́m = 0,
kHk→0 kHk

donde H = (h, k). Si trabajamos en R2 con la norma euclidiana.


Consideremos el camino k = h con k, h 6= 0. Como
h2 h
r(h, k) = f (h, k) ⇒ r(h, h) = √ = ±√
2|h| 2
Luego
h
±√
r(h, h) 2 1
=√ =±
k(h, h)k 2|h| 2
Entonces el lı́mite no existe cuando h → 0, luego f no es diferenciable en
(0, 0). Veamos ahora que f es G-diferenciable. Sea (v1 , v2 ) 6= (0, 0)
entonces

− →

f ( 0 + tv) − f ( 0 ) f (tv) t 2 v1 v2
lı́m = lı́m = lı́m =0
t→0 t t→0 t t→0 |t|kvk

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 63 / 67


4. Demuestre que la intersección de cualquier par de bolas abiertas en
Rn es también una bola abierta. Recuerde que en clase ya se
demostró que las bolas abiertas son conjuntos abiertos.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 64 / 67


4. Demuestre que la intersección de cualquier par de bolas abiertas en
Rn es también una bola abierta. Recuerde que en clase ya se
demostró que las bolas abiertas son conjuntos abiertos.
Demostración:

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 64 / 67


Sean B(p1 ; δ1 ) y B(p2 ; δ2 ) dos bolas abiertas en Rn y

p0 ∈ B(p1 ; δ1 ) ∩ B(p2 ; δ2 )

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 65 / 67


Sean B(p1 ; δ1 ) y B(p2 ; δ2 ) dos bolas abiertas en Rn y

p0 ∈ B(p1 ; δ1 ) ∩ B(p2 ; δ2 )

Entonces: kp1 − p0 k < δ1 y kp2 − p0 k < δ2 . Sea

r = mı́n{δ1 − kp1 − p0 k, δ2 − kp2 − p0 k} > 0

y D = B(p0 ; 21 r).

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 65 / 67


Sean B(p1 ; δ1 ) y B(p2 ; δ2 ) dos bolas abiertas en Rn y

p0 ∈ B(p1 ; δ1 ) ∩ B(p2 ; δ2 )

Entonces: kp1 − p0 k < δ1 y kp2 − p0 k < δ2 . Sea

r = mı́n{δ1 − kp1 − p0 k, δ2 − kp2 − p0 k} > 0

y D = B(p0 ; 21 r).Por lo tanto p0 ∈ D ⊂ B(p1 ; δ1 ) ∩ B(p2 ; δ2 ) i.e p0 es


punto interior de D1 ∩ D2 . 

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 65 / 67


Homework
Resolver del texto, Cálculo Vectorial, Claudio Pita Ruiz Capitulo 1,
1 Sección 1
2 Sección 3
3 Sección 5
4 Sección 6
Resolver del texto Cálculo Real y Vectorial en Varias Variables, Carlos
Martı́nez Yáñez.
1 Problemas 3.5 Paginas 61-64.
Resolver del texto, Cálculo Vectorial, Claudio Pita Ruiz, Capitulo 2,
1 Sección 1, 2, 3, 4, 5, 6
1 Teoremas alusivos del texto, Cálculo Avanzado, José Fernando
Caicedo Contreras. Topologı́a, Continuidad, Lı́mites y
Diferenciabilidad
Listado de ejercicios de entrenamiento para Prueba de Cátedra 1.
Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 66 / 67
References

Cálculo Vectorial,
Claudio Pita Ruiz.
El Cálculo,
Louis Leithold, 7 ed.

Cálculo Real y Vectorial en Varias Variables,


Carlos Martı́nez Yáñez.

Lihki Rubio (PUCV) Calculo Vectorial 12 de abril de 2019 67 / 67

Das könnte Ihnen auch gefallen