FRBA UTN

Análisis Mate mático II

Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

Diferenciabilidad de campos escalares y vectoriales:

Recordemos que, en cálculo de una sola variable, cuando existe la derivada 𝑓′(𝑥 0 )
de una función f (x) en un punto 𝑥 0 ∈ [𝐷𝑜𝑚 (𝑓) ]° , es posible construir la ecuación
de la recta tangente a la gráfica de f en el punto (𝑥 0 ,𝑓 (𝑥 0 )):

𝑦 𝑡

𝑓(𝑥 0)

𝑥
𝑥0

La ecuación de esa recta tangente es

𝑡: 𝑦 = 𝑓 (𝑥 0) + 𝑓 ′ (𝑥0 )(𝑥 − 𝑥 0),

es decir, una recta de pendiente 𝑓 ′ (𝑥 0 ) que pasa por el punto (𝑥 0, 𝑓 (𝑥 0)).

Se suele decir que la recta tangente es “una buena aproximación a primer orden - o
lineal - de 𝑓 (𝑥) en un entorno de 𝑥 0” pues se verifica que

Ecuación de la recta tangente:

𝑦=⋯

𝑓 (𝑥) − ⏞
[𝑓 (𝑥 0) + 𝑓 ′ (𝑥 0 )(𝑥 − 𝑥0 )]
lim =0 (1)
𝑥→𝑥 0 𝑥 − 𝑥0

En efecto, esto es fácil de comprobar, recordando la definición de 𝑓 ′ (𝑥0 ):

𝑓 (𝑥) − [ 𝑓 (𝑥 0) + 𝑓 ′ (𝑥0 )(𝑥 − 𝑥 0)] 𝑓 (𝑥) − 𝑓( 𝑥0 ) ]

lim = lim [ − 𝑓⏟′ (𝑥 0 )] =
𝑥→𝑥 0 𝑥 − 𝑥0 𝑥→𝑥 0 ⏟ 𝑥 − 𝑥 0
𝜖𝑅
su límite
existe y vale 𝑓 ′( 𝑥0)
𝑓 ( 𝑥) −𝑓( 𝑥0) ]
= lim [ ] − 𝑓 ′ (𝑥0 ) = 0
𝑥→𝑥0 𝑥−𝑥 0

Veamos el significado de esto... (observen el gráfico):

1
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

𝑦 𝑟
𝑓( 𝑥0 ) + 𝑓′(𝑥0 )∆𝑥
𝑓(𝑥0 + ∆𝑥) ∆𝑦
∆𝑓
𝑓(𝑥0 )

x
𝑥0 𝑥0 + ∆𝑥

Imaginemos que la variable 𝑥 pasa del valor 𝑥 0 a 𝑥 0 + ∆𝑥.

En ese caso la función pasa del valor 𝑓(𝑥 0 ) a 𝑓(𝑥 0 + ∆𝑥), experimentando un
incremento

∆𝑓(𝑥 0) = 𝑓 (𝑥 0 + ∆𝑥) − 𝑓(𝑥 0 ).

Mientras tanto, la ordenada de la recta tangente pasa de 𝑦 (𝑥 0 ) = 𝑓(𝑥 0) a

𝑦 (𝑥 0 + ∆𝑥) = 𝑓( 𝑥 0) + 𝑓′ (𝑥 0)∆𝑥, experimentando un incremento

∆𝑦(𝑥 0 ) = 𝑓 ′ (𝑥0 )∆𝑥.

Que el límite (1) sea nulo significa que el verdadero incremento que sufre la función al
pasar 𝑥 de 𝑥 0 a 𝑥0 + ∆𝑥, que es 𝑓 (𝑥 0 + ∆𝑥) − 𝑓(𝑥 0 ), es muy cercano al incremento que
experimenta la recta tangente, que es ∆𝑦( 𝑥0 ) = 𝑓′(𝑥 0 )∆𝑥, tanto más cercano cuanto más
pequeño sea ∆𝑥 = 𝑥 − 𝑥0 .
Es, en este sentido, que se dice que la recta tangente es una buena aproximación lineal
de 𝑓 (𝑥) en un entorno de 𝑥 0 (tanto mejor cuanto más cerca se esté del punto 𝑥 0, vale
decir cuanto más pequeño sea ∆𝑥).
Para ∆𝑥 muy pequeño, “infinitesimal” (que se indica 𝑑𝑥), el incremento en la recta
tangente se escribe 𝑑𝑦 en lugar de ∆𝑦, y vale

𝑑𝑦 (𝑥 0 ) = 𝑓 ′ (𝑥 0 )𝑑𝑥

A esta cantidad se la denomina diferencial de 𝑓 en 𝑥0 (se lo indica también 𝑑𝑓( 𝑥0 )) y

se trata de una evaluación del incremento que sufre 𝑓 al pasar 𝑥 de 𝑥 0 a 𝑥0 + 𝑑𝑥.
Esto se expresa diciendo que 𝑓 es diferenciable en 𝑥 0; observemos que esto ocurre,
simplemente, si existe 𝑓 ′ (𝑥 0 ), pues esta derivada permite definir el diferencial 𝑑𝑓 en
el punto 𝑥 0.

2
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

Trataremos ahora de extender esta noción a funciones de varias variables.

Comenzaremos con campos escalares de dos variables, para poder dar una
interpretación geométrica.
Consideremos una función 𝑓(𝑥, 𝑦) y un punto (𝑥 0, 𝑦0 ) interior a su dominio.
Su gráfica, en general, será una superficie en el espacio.
Así como antes buscamos una recta tangente que aproximara a una curva, ahora
buscaremos un plano tangente que aproxime a la superficie en cercanías del punto
(𝑥 0 ,𝑦0 , 𝑓(𝑥0 , 𝑦0 )) (un plano se expresa con una ecuación lineal, pero en dos variables
independientes en lugar de una).
La ecuación de un plano que pasa por (𝑥 0 ,𝑦0 , 𝑓(𝑥0 , 𝑦0 )) es de la forma

𝜋: 𝑧 = 𝑓(𝑥 0 ,𝑦0 ) + 𝑎 (𝑥 − 𝑥 0 ) + 𝑏(𝑦 − 𝑦0 ),

una ecuación de primer grado en las dos variables independientes.

Nuestro objetivo es hallar los coeficientes 𝑎 y 𝑏 para que esta expresión resulte una
buena aproximación lineal de 𝑓(𝑥, 𝑦) en un entorno de (𝑥 0 , 𝑦0 , 𝑓(𝑥 0, 𝑦0 )).
En forma análoga a lo que vimos para una función de una sola variable, pediremos
que
Ecuación del plano que − queremos −
sea tangente a la gráfica
𝑧=⋯
𝑓(𝑥, 𝑦) − ⏞
[ 𝑓 (𝑥 0, 𝑦0 ) + 𝑎(𝑥 − 𝑥 0 ) + 𝑏(𝑦 − 𝑦0 )]
lim =0 (2)
(𝑥,𝑦)→(𝑥0,𝑦0 ) ‖(𝑥 − 𝑥 0, 𝑦 − 𝑦0 )‖

Notemos que la separación entre los puntos es ahora

‖(𝑥 − 𝑥 0 , 𝑦 − 𝑦0 )‖ = √(𝑥 − 𝑥 0 )2 + (𝑦 − 𝑦0 ) 2.

Al igual que para una sola variable, en caso de que existan números reales 𝑎 y 𝑏 que
verifiquen (2), diremos que 𝑓(𝑥, 𝑦) es diferenciable en (𝑥 0 , 𝑦0 ), lo que equivale a decir
que existe un plano tangente a la gráfica de 𝑓 (𝑥, 𝑦) en dicho punto, el cual constituye una
buena aproximación lineal a 𝑓(𝑥, 𝑦) en cercanías del punto.
Aún no hemos determinado los valores de 𝑎 y 𝑏 para los cuales se verifica (2)
aunque, por lo visto para una sola variable, podemos sospechar que esos números
serán las derivadas parciales correspondientes a las respectivas variables
independientes 𝑥 e 𝑦.

Condiciones necesarias de diferenciabilidad:

3
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021
Veamos en primer lugar que, si se cumple (2), la función 𝑓 (𝑥, 𝑦) es necesariamente
continua en (𝒙𝟎 , 𝒚𝟎 ).

En efecto:

𝑓 (𝑥, 𝑦) − [ 𝑓 (𝑥 0 ,𝑦0 ) + 𝑎 (𝑥 − 𝑥 0 ) + 𝑏(𝑦 − 𝑦0 )]

lim =0
(𝑥,𝑦)→(𝑥0,𝑦0 ) ‖(𝑥 − 𝑥 0 ,𝑦 − 𝑦0 )‖

es equivalente a decir que

𝑓 (𝑥, 𝑦) − [ 𝑓( 𝑥0 , 𝑦0 ) + 𝑎(𝑥 − 𝑥 0) + 𝑏 (𝑦 − 𝑦0 )]
ε(𝑥, 𝑦) = (3)
‖(𝑥 − 𝑥0 , 𝑦 − 𝑦0 )‖

es un infinitésimo cuando (𝑥, 𝑦) tiende a (𝑥 0, 𝑦0 ) (recordemos que un infinitésimo es

una función cuyo límite es 0).
Despejando 𝑓 (𝑥, 𝑦) de (3), que se verifique (2) es equivalente a decir que se puede
escribir

𝑓 (𝑥, 𝑦) = 𝑓 (𝑥 0 ,𝑦0 ) + 𝑎 (𝑥 − 𝑥0 ) + 𝑏 (𝑦 − 𝑦0 ) + ε(𝑥, 𝑦)‖(𝑥 − 𝑥 0, 𝑦 − 𝑦0 )‖

en cercanías de ( 𝑥0 , 𝑦0 ), con ε(𝑥, 𝑦) un infinitésimo para (𝑥, 𝑦) → (𝑥 0 , 𝑦0 ), y ciertos

números reales 𝑎 y 𝑏.
Tomando límite en esta última expresión obtenemos

lim 𝑓(𝑥, 𝑦) =
( 𝑥,𝑦) →(𝑥 0,𝑦0)

= lim [𝑓(𝑥 0 ,𝑦0 ) + 𝑎

⏟(𝑥 − 𝑥 0 ) + 𝑏
⏟(𝑦 − 𝑦0 ) + (𝑥, 𝑦)
ε⏟ ‖(
⏟ 𝑥 − 𝑥 0, 𝑦 − 𝑦0 )‖]
( 𝑥,𝑦) →( 𝑥0,𝑦0 )
tiende a 0 tiende a 0 tiende a 0 tiende a 0
si ( 𝑥,𝑦) →(𝑥0,𝑦0 ) si ( 𝑥,𝑦) →(𝑥0,𝑦0 ) si ( 𝑥,𝑦) →(𝑥 0,𝑦0) si ( 𝑥,𝑦) →( 𝑥0,𝑦0)

es decir

lim 𝑓(𝑥, 𝑦) = 𝑓 (𝑥 0, 𝑦0 )
( 𝑥,𝑦) →(𝑥 0,𝑦0)

Hemos probado que

Si 𝒇(𝒙, 𝒚) 𝒆𝒔 𝒅𝒊𝒇𝒆𝒓𝒆𝒏𝒄𝒊𝒂𝒃𝒍𝒆 𝐞𝐧 (𝒙𝟎 ,𝒚𝟎 ), 𝒇 es necesariamente continua en (𝒙𝟎 , 𝒚𝟎 )

donde por f diferenciable en (𝑥 0 , 𝑦0 ) queremos indicar que su gráfica admite plano

tangente en el punto (𝑥0 , 𝑦0 , 𝑓 (𝑥 0 ,𝑦0 )).

4
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

Veamos ahora que si se cumple (2), la función 𝑓 (𝑥, 𝑦) es necesariamente derivable

en toda dirección en (𝒙𝟎, 𝒚𝟎 ), y averigüemos los valores de 𝑎 y 𝑏.
Vimos que (2) es equivalente a decir que se puede escribir

𝑓 (𝑥, 𝑦) = 𝑓 (𝑥 0 ,𝑦0 ) + 𝑎 (𝑥 − 𝑥0 ) + 𝑏 (𝑦 − 𝑦0 ) + ε(𝑥, 𝑦)‖(𝑥 − 𝑥 0, 𝑦 − 𝑦0 )‖

o bien

𝑓 (𝑥, 𝑦) − 𝑓( 𝑥0 , 𝑦0 ) = 𝑎 (𝑥 − 𝑥0 ) + 𝑏 (𝑦 − 𝑦0 ) + ε(𝑥, 𝑦)‖(𝑥 − 𝑥 0, 𝑦 − 𝑦0 )‖

en cercanías de ( 𝑥0 , 𝑦0 ), con ε(𝑥, 𝑦) un infinitésimo para (𝑥, 𝑦) → (𝑥 0 , 𝑦0 ) y para

ciertos números reales 𝑎 y 𝑏.
Dado un versor 𝑣̌ = (𝑣1 , 𝑣2 ), el cociente incremental en esa dirección es

𝑥 𝑦
⏞0 + ℎ𝑣1 , ⏞
𝑓 ((𝑥 0, 𝑦0 ) + ℎ𝑣̌ ) − 𝑓( 𝑥0 , 𝑦0 ) 𝑓(𝑥 𝑦0 + ℎ𝑣2 ) − 𝑓( 𝑥0 , 𝑦0 )
= =
ℎ ℎ

|ℎ|‖( 𝑣1,𝑣2)‖

𝑎ℎ𝑣1 + 𝑏ℎ𝑣2 + ε(𝑥0 + ℎ𝑣1 , 𝑦0 + ℎ𝑣2 ) ⏞

‖(ℎ𝑣1 , ℎ𝑣2 )‖
= =
ℎ

|ℎ|
= 𝑎𝑣1 + 𝑏𝑣2 + ε(𝑥 0 + ℎ𝑣1 , 𝑦0 + ℎ𝑣2 ) =
ℎ

por lo tanto, existe el límite de ese cociente incremental:

𝑓 ((𝑥 0 ,𝑦0 ) + ℎ𝑣̌ ) − 𝑓( 𝑥0 , 𝑦0 )

lim = 𝑎𝑣1 + 𝑏𝑣2
ℎ→0 ℎ
|ℎ|
ya que ε(𝑥 0 + ℎ𝑣1 , 𝑦0 + ℎ𝑣2 ) → 0 cuando ℎ → 0, mientras que permanece acotado.
ℎ

Hemos probado que

Si 𝒇(𝒙, 𝒚) 𝒆𝒔 𝒅𝒊𝒇𝒆𝒓𝒆𝒏𝒄𝒊𝒂𝒃𝒍𝒆 𝐞𝐧 (𝒙𝟎 ,𝒚𝟎 ), 𝒇 es derivable en (𝒙𝟎 ,𝒚𝟎 ) en cualquier

dirección 𝑣̌ = (𝑣1 , 𝑣2 ).

Además, resulta

𝑓 ′ ((𝑥0 , 𝑦0 ), 𝑣̌) = 𝑎𝑣1 + 𝑏𝑣2

5
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

de donde

𝑓 ′ ((𝑥 0 ,𝑦0 ), (1,0)) = 𝑓𝑥′ (𝑥0 , 𝑦0 ) = 𝑎. 1 + 𝑏. 0 = 𝑎

𝑓 ′ ((𝑥 0 ,𝑦0 ), (0,1)) = 𝑓𝑦′ (𝑥 0, 𝑦0 ) = 𝑎. 0 + 𝑏. 1 = 𝑏

𝑓 ′ ((𝑥0 , 𝑦0 ), 𝑣̌) = 𝑓𝑥′ (𝑥0 , 𝑦0 ). 𝑣1 + 𝑓𝑦′ (𝑥 0 ,𝑦0 ). 𝑣2

Es decir, como sospechábamos, los números 𝑎 y 𝑏 resultan ser las derivadas parciales
de f en el punto (𝑥 0, 𝑦0 ).
Entonces, sintetizando:

 Decir que 𝑓 (𝑥, 𝑦) es diferenciable en el punto (𝑥 0 ,𝑦0 ) es equivalente a decir

que la gráfica de la función admite plano tangente en el punto
(𝑥 0 ,𝑦0, 𝑓((𝑥 0 , 𝑦0 ) ).
 Dicho plano tangente es una buena aproximación de primer grado de 𝑓(𝑥, 𝑦)
en cercanías del punto (𝑥0 , 𝑦0 ), en el sentido expresado por el límite (2).
 Como consecuencia de la existencia de ese plano tangente, 𝑓(𝑥, 𝑦) resulta
necesariamente continua en (𝑥 0 ,𝑦0 ), y derivable en toda dirección en ese
mismo punto. Además, cada derivada direccional puede evaluarse, sin
necesidad de calcular el cociente incremental, como

𝑓 ′ ((𝑥 0 ,𝑦0 ), 𝑣̌) = 𝑓𝑥′ (𝑥 0 ,𝑦0 ). 𝑣1 + 𝑓𝑦′ (𝑥 0 ,𝑦0 ). 𝑣2

 La ecuación del plano tangente es

𝜋: 𝑧 = 𝑓(𝑥 0 ,𝑦0 ) + 𝑓𝑥′ (𝑥 0, 𝑦0 ). (𝑥 − 𝑥 0 ) + 𝑓𝑦′ (𝑥0 , 𝑦0 ). (𝑦 − 𝑦0 ),

 Recordando que la normal del plano de ecuación 𝐴𝑥 + 𝐵𝑦 + 𝐶𝑧 + 𝑑 = 0 es

(𝐴, 𝐵, 𝐶), el vector normal del plano tangente es

⃗ 𝜋 = (𝑓𝑥′ (𝑥0 ,𝑦0 ), 𝑓𝑦′ (𝑥 0, 𝑦0 ), −1)

𝑁

 Definiendo el vector de dos componentes ∇𝑓 (𝑥 0 ,𝑦0 ) = (𝑓𝑥′ (𝑥 0, 𝑦0 ), 𝑓𝑦′ (𝑥0 , 𝑦0 )),

que llamaremos gradiente de 𝑓 en (𝑥 0 ,𝑦0 ), las derivadas direccionales pueden
evaluarse mediante el producto escalar

6
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

𝑓 ′ ((𝑥 0 , 𝑦0 ), 𝑣̌) = ∇𝑓( 𝑥0 , 𝑦0 ). 𝑣̌

y la “buena aproximación lineal” tendrá ecuación

𝜋: 𝑧 = 𝑓(𝑥 0 ,𝑦0 ) + ∇𝑓 (𝑥 0 ,𝑦0 ). (𝑥 − 𝑥 0 ,𝑦 − 𝑦0 )

 La interpretación de la diferenciabilidad en términos de incrementos será, en

este caso, la siguiente: si se incrementa 𝑥 de 𝑥 0 a 𝑥 0 + ∆𝑥 e 𝑦 de 𝑦0 a 𝑦0 + ∆𝑦,
el valor de 𝑓 pasa de 𝑓(𝑥 0 ,𝑦0 ) a 𝑓(𝑥 0 + ∆𝑥, 𝑦0 + ∆𝑦), mientras que el valor de
𝑧 en el plano tangente pasa de 𝑓(𝑥 0 ,𝑦0 ) a 𝑓(𝑥 0 ,𝑦0 ) + ∇𝑓 (𝑥 0 ,𝑦0 ). (∆𝑥, ∆𝑦).
Al verificarse el límite (2), el verdadero incremento

∆𝑓 = 𝑓( 𝑥0 + ∆𝑥, 𝑦0 + ∆𝑦) − 𝑓(𝑥 0 ,𝑦0 )

es bien aproximado por el incremento

∇𝑓(𝑥 0 , 𝑦0 ). (∆𝑥, ∆𝑦)

que es el que se produce en el plano tangente.

ሽ𝑓𝑥′ (𝑥0, 𝑦0 )∆𝑥 + 𝑓𝑦′ (𝑥0 , 𝑦0)∆𝑦



y
(𝑥0 ,𝑦0 ) ∆𝑥 ∆𝑦

En caso de que se consideren incrementos infinitesimales 𝑑𝑥 y 𝑑𝑦, el incremento en

𝑓 estará dado por 𝑓𝑥′ (𝑥 0 ,𝑦0 )𝑑𝑥 + 𝑓𝑦′ (𝑥 0 ,𝑦0 )𝑑𝑦, que denominaremos diferencial de f en
(𝑥 0 ,𝑦0 ).

7
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021
Se debe subrayar que la continuidad y la derivabilidad en el punto (𝑥 0, 𝑦0 ) son
condiciones necesarias pero no suficientes para la diferenciabilidad .
En cálculo de una variable la existencia de la derivada en un punto alcanza para
garantizar la continuidad y diferenciabilidad (existencia de recta tangente) en ese
punto. No ocurre lo mismo en varias variables, donde el límite (2) establece
condiciones más rigurosas.

Ejemplo:

𝑥𝑦2
si (𝑥, 𝑦) ≠ (0,0)
La función 𝑓(𝑥, 𝑦) = {𝑥 2+𝑦2 es continua en (0,0) y derivable en
0 ( ) (
si 𝑥, 𝑦 = 0,0 )
(0,0) en toda dirección, pero sin embargo no es diferenciable en (0,0) .

En efecto:

𝑥𝑦2 𝑦2
lim = 0 = 𝑓(0,0), por ser una cantidad acotada y 𝑥 un
(𝑥,𝑦)→(0,0) 𝑥 2+𝑦2 𝑥 2+𝑦2
infinitésimo cuando (𝑥, 𝑦) → (0,0), de modo que 𝑓 es continua en (0,0).

ℎ𝑣1( ℎ𝑣2)2
𝑓 (( 0,0) +ℎ( 𝑣1,𝑣2))−𝑓( 0,0) 𝑓 ( ℎ𝑣1,ℎ𝑣2) ( ℎ𝑣1)2+ ( ℎ𝑣2)2
lim = lim = lim = 𝑣1 (𝑣2 ) 2, de modo que 𝑓
ℎ→0 ℎ ℎ→0 ℎ ℎ→0 ℎ
es derivable en (0,0) en toda dirección. Además, 𝑓𝑥′ (0,0) = 1. 02 = 0 y 𝑓𝑦′ (0,0) =
0. 12 = 0.

Sin embargo, la función no es diferenciable en (0,0) pues

𝑓 (𝑥, 𝑦) − [ 𝑓(0,0) + 𝑓𝑥′ (0,0)(𝑥 − 0) + 𝑓𝑦′ (0,0)(𝑦 − 0)]

lim
(𝑥,𝑦)→(0,0) ‖(𝑥 − 0, 𝑦 − 0)‖
𝑥𝑦 2
− [0 + 0. 𝑥 + 0. 𝑦]
𝑥 2 + 𝑦2 𝑥𝑦 2
= lim = lim 3
(𝑥,𝑦)→(0,0) √𝑥 2 + 𝑦 2 (𝑥,𝑦)→(0,0)
(√𝑥 2 + 𝑦 2 )

𝑚2
no existe, ya que si (𝑥, 𝑦) → (0,0) sobre la recta 𝑦 = 𝑚𝑥, el límite es 3 , que
(√12+𝑚2)
depende de la pendiente de la recta. Por lo tanto, ese límite no es 0.
Otra forma de ver que esta función no es diferenciable en (0,0) es observando que
𝑓 ′ ((𝑥 0, 𝑦0 ), ( 𝑣1 , 𝑣2 )) = 𝑣1 (𝑣2 ) 2 que no es de la forma 𝑓𝑥′ (0,0). 𝑣1 + 𝑓𝑦′ (0,0). 𝑣2

Generalización a n variables y a campos vectoriales:

8
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

Es ahora inmediato generalizar la noción de diferenciabilidad para campos escalares

de n variables y para campos vectoriales:

 Dada 𝑓: 𝐷 ⊂ 𝑅𝑛 → 𝑅, 𝑥 0 ∈ 𝐷 °, se dirá que 𝒇 es diferenciable en 𝒙

⃗ 𝟎 si existen todas
las derivadas parciales de 𝑓 en ese punto y se verifica que

𝑓( 𝑥) − [𝑓 (𝑥 0 ) + ∇𝑓 (𝑥 0). (𝑥 − 𝑥 0)]
lim =0
𝑥 →𝑥0 ‖𝑥 − 𝑥 0 ‖

donde ∇𝑓 (𝑥 0 ) es el llamado vector gradiente de 𝑓 en 𝑥0 , definido por

∇𝑓 (𝑥 0 ) = (𝑓𝑥′1 (𝑥 0), 𝑓𝑥′2 (𝑥 0 ), … , 𝑓𝑥′𝑛 (𝑥 0 )),

y la expresión 𝑓 (𝑥 0 ) + ∇𝑓( 𝑥0 ). (𝑥 − 𝑥0 ) define una buena aproximación lineal de f en

cercanías del punto 𝑥 0
Equivalentemente, 𝒇 es diferenciable en 𝒙 ⃗ 𝟎 si existen todas las derivadas parciales
de 𝑓 en ese punto, y un infinitésimo 𝜀(𝑥) que tiende a 0 cuando 𝑥 → 𝑥 0, para el que
se verifica que

𝑓 (𝑥) = 𝑓 (𝑥 0 ) + ∇𝑓( 𝑥0 )(𝑥 − 𝑥 0 ) + ε(𝑥)‖𝑥 − 𝑥 0‖

En ese caso la función resulta continua en 𝑥 0, derivable en toda dirección, con

𝑓 ′ (𝑥0 , 𝑣̌) = ∇𝑓 (𝑥 0). 𝑣̌

y
𝑑𝑓(𝑥 0 ) = 𝑓𝑥′1 (𝑥0 )𝑑𝑥1 + 𝑓𝑥′2 (𝑥 0)𝑑𝑥 2 + ⋯ + 𝑓𝑥′𝑛 (𝑥0 )𝑑𝑥𝑛

es el llamado diferencial de f en el punto 𝑥 0 .

 Dada 𝑓 : 𝐷 ⊂ 𝑅𝑛 → 𝑅 𝑚 , 𝑥 0 ∈ 𝐷 °, se dirá que ⃗𝒇 es diferenciable en 𝒙

⃗ 𝟎 si lo son todas
y cada una de sus componentes 𝑓𝑖 , con 𝑖 = 1,2, … , 𝑚. Esto es, existen todas las
derivadas parciales de todas las componentes, y m infinitésimos 𝜀𝑖 (𝑥) que tienden
a 0 cuando 𝑥 → 𝑥0, para los que se verifica que

𝑓1 (𝑥) = 𝑓1 ( 𝑥 0) + ∇𝑓1 (𝑥 0)(𝑥 − 𝑥 0 ) + ε1 ( 𝑥)‖𝑥 − 𝑥 0 ‖

𝑓2 (𝑥) = 𝑓2 (𝑥 0) + ∇𝑓2 (𝑥 0 )(𝑥 − 𝑥0 ) + ε2 (𝑥)‖𝑥 − 𝑥 0 ‖

9
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021

...

𝑓𝑚 (𝑥) = 𝑓𝑚 (𝑥 0 ) + ∇𝑓𝑚 (𝑥 0 )(𝑥 − 𝑥 0) + ε𝑚 (𝑥)‖𝑥 − 𝑥 0 ‖

Estas 𝑚 expresiones puede unificarse en

∇𝑓1 (𝑥 0 )
𝑓 (𝑥) = 𝑓 (𝑥 0 ) + ( ∇𝑓2…(𝑥 0 ) ) ( 𝑥 − 𝑥 ) 𝑡 + 𝜀 (𝑥)‖𝑥 − 𝑥 ‖
0 0
∇𝑓𝑚 (𝑥 0 )

donde lim 𝜀( 𝑥) = ⃗0 y
𝑥 →𝑥 0
∇𝑓1 (𝑥 0 )
𝐷𝑓 (𝑥0 ) = ( ∇𝑓2…(𝑥0 ) )
∇𝑓𝑚 (𝑥 0 )

es una matriz de m filas y n columnas que contiene los gradientes de las distintas
componentes en sus filas.
Esta matriz se denomina matriz jacobiana de 𝑓 y su elemento 𝑖𝑗 es

𝜕𝑓𝑖
(𝐷𝑓 (𝑥0 )) = (𝑥 )
𝑖𝑗 𝜕𝑥𝑗 0

Condición suficiente de diferenciabilidad:

Hasta el momento hemos visto que la continuidad y la derivabilidad en toda

dirección no alcanzan para asegurar la diferenciabilidad de un campo en un punto.
Sólo podemos garantizar la diferenciabilidad evaluando el límite

𝑓(𝑥 ) − [𝑓 (𝑥 0 ) + ∇𝑓( 𝑥 0). (𝑥 − 𝑥0 )]

lim
𝑥 →𝑥0 ‖𝑥 − 𝑥 0 ‖

por lo que chequear la diferenciabilidad resulta engorroso.

Podemos asegurar que un campo no es diferenciable en un punto si no es continuo
en ese punto, o si no existe alguna de sus derivadas direccionales en ese punto, o si
- existiendo todas las derivadas direccionales en un punto - las mismas no son de la
forma 𝑓 ′ (𝑥0 , 𝑣̌) = ∇𝑓 (𝑥 0). 𝑣̌
Afortunadamente existe una sencilla condición suficiente de diferenciabilidad:

10
 FRBA UTN
Análisis Mate mático II
Curso Z2041 - Prof. Silvia Seminara
Prime r cuatrimestre 2021
Teorema:

Dada 𝑓: 𝐷 ⊂ 𝑅𝑛 → 𝑅, 𝑥 0 ∈ 𝐷 ° , es suficiente con que todas las derivadas parciales de

𝑓 sean continuas en 𝑥 0 para que 𝑓 resulte diferenciable en ese punto.

Si las derivadas parciales de 𝑓 son continuas en todo un subconjunto 𝐴 ⊆ 𝐷 , 𝑓

resultará diferenciable en todos los puntos de 𝐴.
En ese caso se dice que 𝑓 ∈ 𝐶 1 (𝐴) (se lee “𝑓 es C1 en A” lo que significa que “𝑓 tiene
sus derivadas primeras continuas en 𝐴”).
A partir de esta afirmación, es sencillo afirmar que resultan diferenciables en sus
respectivos dominios los siguientes tipos de campos escalares: polinomios, funciones
racionales, raíces, logaritmos, exponenciales, funciones trigonométricas, etc., así como
sumas, productos y cocientes de funciones 𝐶 1. Además, serán diferenciables en todo su
dominio los campos vectoriales cuyas componentes sean funciones de estos tipos.
Un párrafo aparte merece la composición de campos diferenciables, que se verá en otro
apunte.

Observar que el Teorema enuncia una condición suficiente pero no necesaria, esto es,
podrán existir campos diferenciables cuyas derivadas parciales no sean continuas.

Para pensar...

¿Cómo sería un diagrama que ilustre la relación entre las familias de campos
continuos, derivables, diferenciables y 𝐶 1 en virtud de las condiciones necesarias y
suficientes de diferenciabilidad?

11