Tema 4

Diferenciabilidad

4.1 Funciones Diferenciables

Cuando estudiamos el Cálculo en una variable real, se definı́a función derivable en un
punto como aquélla para la cual existı́a la derivada en dicho punto. En el caso de
funciones de varias variables no es posible la generalización directa de este razonamiento,
pues pueden existir las derivadas parciales y, sin embargo, no hacerlo alguna de las
derivadas direccionales. Por esta razón la definición de función derivable es un poco más
compleja en este caso.
Recordemos la definición para el caso de una variable:

Sea f (x) una función definida al menos en un entorno del punto x0 ∈ R, diremos que
f (x) es derivable en el punto x0 si existe (y es finito) el lı́mite:

f (x0 + h) − f (x0 ) f (x) − f (x0 )

f 0 (x0 ) = lim = lim = f 0 (x0 )
h→0 h x→x 0 x − x0

que recibe el nombre de derivada de la función f (x) en el punto x0 .

En tal situación, la derivada representaba, desde el punto de vista geométrico, la
pendiente de la recta tangente a la curva y = f (x) en el punto (x0 , y0 ), de tal manera
que la ecuación de dicha recta resulta ser:

y = f (x0 ) + f 0 (x0 )(x − x0 )

Es posible ası́ re-escribir la definición de función derivable, de la forma siguiente:

Una función f (x) es derivable en x0 si existe1 f 0 (x0 ) y además se verifica:

f (x) − f (x0 ) − f 0 (x0 )(x − x0 )

lim =0
x→x0 x − x0
1
Recordemos que con este hecho ya serı́a derivable, para el caso de funciones de una variable.

25
26 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

es decir, que la diferencia entre la función: y = f (x), y su recta tangente: y = f (x0 ) +

f 0 (x0 )(x − x0 ), sea un infinitésimo en x0 de orden mayor que uno2 .

0 fHx,yL
-0.5 2
-1 1
-1.5 y
-2 0
-1 x
0 -1
1
-2
2

Ejemplo de función para la cual existen las derivadas parciales

y sin embargo no es derivable en el punto (0, 0).

Generalicemos ahora esta versión de la definición para el caso de funciones de dos varia-
bles reales:
Una función de dos variables reales f (x, y) es diferenciable en el punto (x0 , y0 ) si existen
las derivadas parciales ∂f ∂f
∂x (x0 , y0 ) y ∂y (x0 , y0 ) de la función en dicho punto, y además se
verifica:
∂f ∂f
f (x, y) − f (x0 , y0 ) − ∂x (x0 , y0 )(x − x0 ) − ∂y (x0 , y0 )(y − y0 )
lim =0
(x,y)→(x0 ,y0 ) k(x, y) − (x0 , y0 )k

donde k(x, y) − (x0 , y0 )k denota el módulo o norma del vector (x − x0 , y − y0 ):

p
k(x, y) − (x0 , y0 )k = + (x − x0 )2 + (y − y0 )2

Tenemos ası́ que para definir la diferenciabilidad de f (x, y) en un punto no sólo se requiere
la existencia de las derivadas parciales, también que la diferencia entre la función y el
plano tangente a la superficie z = f (x, y) en dicho punto sea un infinitésimo de orden
superior a uno, o bien, dicho de una forma menos técnica: que el plano tangente a la
superficie constituya una buena aproximación a la función en las cercanı́as del punto en
cuestión.
2
Obviamente, esta segunda condición coincide con la primera, algo que no va a ocurrir en varias
variables. De manera más general puede definirse una función f (x) derivable en x0 como aquélla para
la que existe un número real a tal que:
f (x) − (f (x0 ) + a (x − x0 ))
lim =0
x→x0 x − x0
Demostrándose entonces trivialmente que en tal caso el número a debe ser necesariamente:
f (x) − f (x0 )
a = lim
x→x0 x − x0
es decir, la derivada de f (x) en x0 .
CÁLCULO / INGENIERO GEÓLOGO / TEMA 4 27

De forma trivial se generaliza esta definición para el caso de n variables: Una función
f (~x) es diferenciable en ~x0 si existen las derivadas parciales de f (~x) en ~x0 y además se
verifica: P
f (~x) − f (~x0 ) − ni=1 ∂x ∂f
i
(~x0 ) (xi − x0i )
lim =0
~
x→~x0 k~x − ~x0 k
siendo ~x = (x1 , . . . , xn ) y ~x0 = (x01 , . . . , x0n ).

Finalmente, ya de manera completamente general definiremos:

Definición: Dada la función f~ : A ⊂ Rn → Rm , definida al menos en un entorno de

~x0 , con f~ = (f1 , f2 , ..., fm ), se dice que f~ es diferenciable en el punto ~x0 si existe una
aplicación lineal L : Rn → Rm (que puede depender de ~x0 ) tal que se verifica:

kf~(~x) − f~(~x0 ) − L(~x − ~x0 )k

lim =0
~
x→~
x0 k~x − ~x0 k

Usando las propiedades de la norma, es fácil comprobar que esta igualdad equivale a la
siguiente:
f~(~x) − f~(~x0 ) − L(~x − ~x0 ) ~
lim =0
~
x→~x0 k~x − ~x0 k

Definición: Dada una función f~ : A ⊂ Rn → Rm diferenciable en el punto ~x0 , se llama

derivada, o diferencial, de f~ en el punto ~x0 y se denota por Df~(~x0 ), ó d~x0 f~, a la única
aplicación lineal L : Rn → Rm que verifica la definición anterior.

Proposición: La matriz asociada a la aplicación lineal d~x0 f respecto de las bases

³ ´
canónicas en Rn y Rm es la matriz Jacobiana J(f~)(~x0 ) = ∂fi (~x0 ). ∂xj

Demostración:
Denominemos ~h = ~x − ~x0 , ~h = (h1 , . . . , hn ). Tendremos entonces que:
  
l11 . . . l1n h1
 . ..   
~ 
L(h) =  .. ..  . 
. .   .. 
lm1 . . . lmn hn

Dado que f~(~x) es derivable en ~x0 debe verificarse:

f~(~x0 + ~h) − f~(~x0 ) − L(~h) ~

lim =0
~
h→~
0 k~hk

y por tanto debe verificarse componente a componente, por ejemplo, para la componente j-ésima:
Pn
fj (~x0 + ~h) − fj (~x0 ) − k=1 ljk hk
lim =0
~
h→~0 k~hk
28 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

Y si tomamos dicho lı́mite a lo largo de la recta ~h = α ~ui , siendo ~ui el correspondiente vector de
la base canónica de Rn :
fj (~x0 + α~ui ) − (fj (~x0 ) + lji α) ∂fj
lim =0⇒ (~x0 ) − lji = 0
α→0 α ∂xi
De manera que:
∂fj
lji = (~x0 )
∂xi
Q.E.D.

Definición: Una función se dice que es diferenciable en un abierto A si es diferenciable

en todos los puntos de A.

Nota: Derivadas y diferenciales

Existe un frecuente abuso del lenguaje cuando se trata con funciones diferenciables de
varias variables. Es habitual usar indistintamente los términos derivada, diferencial y
matriz jacobiana, dando por sentada la comprensión de los diferentes conceptos involu-
crados. Detallaremos brevemente este hecho:

Si recordamos del cálculo en una variable, la diferencial en x0 de una función f (x)

derivable en x0 no era más que la aplicación lineal:

df (x0 ) : R → R

definida de la forma:
df (x0 )(h) = f 0 (x0 ) h

Tradicionalmente se denominaba dx, y no h, a la variable sobre la que df (x0 ) actuaba,

de manera que se escribe:
df (x0 )(dx) = f 0 (x0 ) dx

Muy frecuentemente se elimina de la expresión anterior a la variable sobre la cual la

diferencial actúa (es decir dx), de manera que habitualmente se escribe:

df (x0 ) = f 0 (x0 ) dx

Análogamente, para una función escalar de varias variables: f (x1 , . . . , xn ), derivable en

~x0 , la diferencial de f en ~x0 es la aplicación lineal:
 
³ ´ h 1 n
..  X ∂f
df (~x0 )(~h) = ∂x
∂f
(~
x 0 ) . . . ∂f
∂xn (~
x 0 ) 
 . 
 = (~x0 ) hk
1 ∂xk
k=1
hn
CÁLCULO / INGENIERO GEÓLOGO / TEMA 4 29

Introduciendo la notación más habitual: hk ≡ dxk , tendremos:

∂f ∂f
df (~x0 ) = (~x0 ) dx1 + . . . + (~x0 ) dxn
∂x1 ∂xn

Y finalmente, dando por obvio el punto en el que está definida la diferencial, la

expresión más corriente que suele usarse es:

∂f ∂f
df = dx1 + . . . + dxn
∂x1 ∂xn

En el caso de una función vectorial, f~ ≡ (f1 , . . . , fm ), podemos escribir, para cada una
de las funciones componentes:

∂fj ∂fj
dfj = dx1 + . . . + dxn
∂x1 ∂xn

En definitiva, hablaremos indistintamente de “derivada” Df~(~x0 ) (aplicación lineal en

abstracto, sin actuar en ningún vector concreto), “diferencial” d~x0 f~ (aplicación lineal
actuando sobre el vector (dx1 , . . . , dxn )) y “matriz jacobiana” J(f~)(~x0 ) (matriz asocia-
da a la aplicación lineal en las bases canónicas correspondientes, es decir la matriz
de derivadas parciales de la función), de una función diferenciable en un punto ~x0 ,
obviándose los matices diferenciadores entre estos conceptos.

4.2 Propiedades de las Funciones Diferenciables

Teorema: Sea f~ : A ⊂ Rn → Rm una función diferenciable en el punto ~x0 , entonces f~
es continua en ~x0 .

Teorema: Sea f~ : A ⊂ Rn → Rm , f~ = (f1 , . . . , fm ). Supongamos que existen todas

las derivadas parciales de f~, ∂x
∂fi
j
, y que son funciones continuas en un entorno de ~x0 ,
E(~x0 ) ⊂ A, entonces f~ es diferenciable en ~x0 .

Este Teorema permite en la práctica determinar con facilidad la derivabilidad de la

mayor parte de las funciones que trataremos. Basta con calcular las derivadas parciales
y observar su continuidad. Es de resaltar, no obstante, que el teorema establece su
resultado en sentido directo pero no recı́proco, es decir, la diferenciabilidad de una
función en un punto no implica que las derivadas parciales sean funciones continuas en
un entorno de dicho punto.

Definición: Se dice que una función f~ es de clase C 1 en un conjunto abierto A ⊂ Rn

si existen las derivadas parciales de f~ en todos los puntos de A y además son funciones
continuas en dichos puntos. Evidentemente el Teorema anterior se re-escribe ahora
diciendo que toda función de clase C 1 es A es diferenciable en A.
30 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

Propiedades Básicas:
1. Sean f~ y ~g dos funciones vectoriales, f~, ~g : A ⊂ Rn → Rm , ambas diferenciables en
~x0 , entonces se verifica:
1.a) f~+~g es diferenciable en ~x0 y además: D(f~+~g )(~x0 ) = Df~(~x0 )+D~g (~x0 ). En términos
de las matrices jacobianas, la propiedad se escribe:

J(f~ + ~g )(~x0 ) = J(f~)(~x0 ) + J(~g )(~x0 )

1.b) λf~ es diferenciable en ~x0 y D(λf~)(~x0 ) = λDf~(~x0 ).

J(λ f~)(~x0 ) = λ J(f~)(~x0 )

2. Sean f, g : A ⊂ Rn → R dos funciones escalares diferenciables en ~x0 . Se tiene

entonces:
2.a) f ·g es diferenciable en ~x0 y D(f ·g)(x~0 ) = Df (~x0 )g(~x0 )+f (~x0 )Dg(~x0 ). Las matrices
jacobianas correspondientes (en este caso matrices fila simplemente) verificarán al misma
identidad:
J(f · g)(x~0 ) = J(f )(~x0 ) g(~x0 ) + f (~x0 ) J(g)(~x0 )

2.b) Si g(~x0 ) 6= 0 entonces la función cociente: fg , es diferenciable en el punto ~x0 y se

verifica: µ ¶
f Df (~x0 )g(~x0 ) − f (~x0 )Dg(~x0 )
D (~x0 ) =
g (g(~x0 ))2
y análogamente para las correspondientes matrices.

Regla de la Cadena. Finalmente, dedicaremos un apartado especial a la Regla de la

cadena, pues es la propiedad de las funciones diferenciables menos trivial, y con más
aplicaciones y posibilidades.
Recordemos en primer lugar cómo funcionaba la regla de la cadena para las funciones
de una variable. Se trataba de cómo derivar la función composición de dos funciones
derivables. Es decir, si f (x) es derivable en x0 y g(x) es derivable en f (x0 ), entonces
(g ◦ f )(x) también es derivable en x0 y se verifica:

(g ◦ f )0 (x0 ) = g 0 (f (x0 )) f 0 (x0 )

De manera general estas expresiones van a ser válidas sustituyendo las derivadas ordi-
narias por las matrices jacobianas correspondientes. Veamos:
Sean f~ : Rn → Rm una función vectorial de n variables reales definida al menos en un
entorno del punto ~x0 ∈ Rn , y sea ~g : Rm → Rp definida de tal manera que la imagen de
f~ esté contenida en el dominio de g, Im f~ ⊂ Dom ~g . En tales circunstancias estará bien
CÁLCULO / INGENIERO GEÓLOGO / TEMA 4 31

definida la función compuesta: ~h = ~g ◦ f~, ~h : Rn → Rp , que por definición actúa de la

forma: ³ ´
~h(~x) = ~g ◦ f~(~x) = ~g f~(~x) , ∀~x ∈ Dom f~

Entonces, si f~ es diferenciable en el punto ~x0 y ~g es diferenciable en el punto f~(~x0 ), se

verifica que ~h es diferenciable en el punto ~x0 y además:

D~h(~x0 ) = D~g (f~(~x0 )) Df~(~x0 )

Si J(f~)(~x0 ) es la matriz jacobiana de f~ en ~x0 y J(~g )(f~(~x0 )) es la correspondiente a ~g en

el punto ~y0 = f~(~x0 ), entonces tendremos que la matriz jacobiana de ~h en ~x0 verificará
la ecuación matricial:

J(~h)(~x0 ) = J(~g ◦ f~)(~x0 ) = J(~g )(f~(~x0 )) · J(f~)(~x0 )

Ejemplo: Sea f~(x, y, z) = (x2 − y 2 , x + y + z 2 ) una función vectorial, f~ : R3 → R2 , y sea

~g : R2 → R2 , ~g (u, v) = (u + v, u2 − uv). Determinemos la matriz jacobiana de ~h = ~g ◦ f~ en el
punto (1, 1, 1). Tendremos:
à ! à ! à !
∂f1 ∂f1 ∂f1
2x −2y 0 2 −2 0
J(f~) = ∂x
∂f2
∂y
∂f2
∂z
∂f2 = ⇒ J(f~)(1, 1, 1) =
∂x ∂y ∂z 1 1 2z 1 1 2

Debemos calcular f~(1, 1, 1) = (0, 3), ası́:

à ! à ! à !
∂g1 ∂g1
∂u ∂v 1 1 1 1
J(~g ) = ∂g2 ∂g2 = ⇒ J(~g )(0, 3) =
∂u ∂v 2u − v −u −3 0

Finalmente:
à ! à ! à !
1 1 2 −2 0 3 −1 2
J(~h)(1, 1, 1) = · =
−3 0 1 1 2 −6 6 0

Detallaremos a continuación algunos casos particulares concretos para los que la regla
de la cadena resulta especialmente útil.

Caso Particular 1. Consideremos la composición de una función escalar f (x, y, z) y

una vectorial: ~σ (t) = (x(t), y(t), z(t)) (curva en R3 ):

f : R3 → R , ~σ : R → R3

La función compuesta G(t) es una función de una variable real:

G(t) = f ◦ ~σ (t) = f (x(t), y(t), z(t))

32 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

Aplicando la regla de la cadena:

 
dx
dG ³ ´ dt
∂f ∂f ∂f  dy 
G0 (t) = = ∂x ∂y ∂z · dt 
dt dz
dt

Tenemos en definitiva:
dG ∂f dx ∂f dy ∂f dz
= + +
dt ∂x dt ∂y dt ∂z dt

donde evidentemente las parciales de f han de ser tomadas actuando sobre (x(t), y(t), z(t)).
Si recordamos ahora que se definió el gradiente de una función escalar f (x, y, z)
simplemente como su matriz de derivadas parciales escrita en forma de vector:
µ ¶
~ (x, y, z) = ∂f , ∂f , ∂f = ∂f ~ı + ∂f ~ + ∂f ~κ
grad f (x, y, z) = ∇f
∂x ∂y ∂z ∂x ∂y ∂z

mientras que la derivada de una curva ~σ (t) era a su vez interpretable como el vector
tangente a dicha curva:
µ ¶
0 dx dy dz dx dy dz
~σ (t) = , , = ~ı + ~ + ~κ
dt dt dt dt dt dt

tendremos que la regla de la cadena antes escrita puede reinterpretarse ahora en la forma:

dG
(t) = grad f (~σ (t)) · ~σ 0 (t)
dt
denotando en este caso el punto al producto escalar estándar de vectores de R3 .

Caso Particular 2. Un caso que se presenta muy habitualmente en las Matemáticas

aplicadas a las ciencias y la técnica es el siguiente: Sea f una función escalar definida
en R3 , y sea ~g : R3 → R3 un campo en R3 . Tendremos ası́ la composición: h(x, y, z) =
f ◦ ~g (x, y, z). Si denotamos ~g (x, y, z) = (u(x, y, z), v(x, y, z), w(x, y, z)), y llamamos
(u, v, w) a las variables de las que depende la función f , tendremos:
 ∂u ∂u ∂u

³ ´ ³ ´ ∂x ∂y ∂z
∂h ∂h ∂h ∂f ∂f ∂f  ∂v ∂v ∂v 
∂x ∂y ∂z = ∂u ∂v ∂w
· ∂x ∂y ∂z 
∂w ∂w ∂w
∂x ∂y ∂z

∂h
Ası́ por ejemplo, para la derivada ∂x tendremos:

∂h ∂f ∂u ∂f ∂v ∂f ∂w
= + +
∂x ∂u ∂x ∂v ∂x ∂w ∂x
y análogamente para las demás variables.
CÁLCULO / INGENIERO GEÓLOGO / TEMA 4 33

4.3 Gradientes y derivadas direccionales

Aunque ya definimos el gradiente en el tema anterior, recordemos la definición:
Definición: Sea f : U ⊂ Rn → R una función diferenciable sobre el abierto U , se define
el gradiente de f (~x) en el punto ~x de U como el vector de Rn :
µ ¶
~ ∂f ∂f
gradf = ∇f = ,...,
∂x1 ∂xn

Mientras que la derivada direccional la definı́amos de la forma:

Definición: Sea f : Rn → R definida al menos en un entorno de ~x0 , y sea ~v un vector
de Rn tal que k~v k = 1. Se define la derivada direccional de f en la dirección de ~v en el
punto ~x0 ∈ Domf de las siguientes dos maneras equivalentes:
¯
f (~x0 + h~v ) − f (~x0 ) d ¯
D~v f (~x0 ) = lim = f (~x0 + t ~v ) ¯¯
h→0 h dt t=0

Presentaremos a continuación un resultado que permite en la práctica calcular cómoda-

mente las derivadas direccionales de las funciones diferenciables:
Teorema. Si f (~x) es una función escalar diferenciable en ~x, entonces existen todas sus
derivadas direccionales en ~x, y además se verifica:

D~v f (~x) = gradf . ~v

para cualquier vector ~v 6= ~0.

Dem: Definamos la función G(t) = f (~x + t~v ) = f (~σ (t)), siendo por tanto ~σ (t) = ~x + t~v , es decir,
la recta que pasa por ~x y que tiene a ~v como vector director. G(t) es evidentemente diferenciable,
además G0 (0) = D~v f , y ası́, por la regla de la cadena:

~ (~x) · ~v
D~v f (~x) = G0 (0) = grad f (~x) · ~σ 0 (0) = ∇f

Q.E.D.

Propiedades.
1) El vector gradiente de una función en un punto determina la dirección y el sentido
de máximo crecimiento de la función. Dicho de otra forma, marca la dirección y sentido
en el que la derivada direccional es máxima.
Dem: Si se considera, como hacemos habitualmente, que el vector ~v es unitario, tendremos:

D~v f = grad(f ) · ~v = kgradf k k~v k cos θ = kgradf k cos θ

luego cos θ = 1, es decir: θ = 0, proporciona el máximo valor posible de la derivada direccional,

y por tanto el vector ~v correspondiente a dicha derivada máxima, y gradf , son paralelos.
34 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

2) Sea f : R2 → R una función escalar de dos variables reales, de clase C 1 en su dominio,

y sea Ck la curva de nivel k de dicha función, es decir: Ck = {(x, y) ∈ R2 / f (x, y) = k}.
Entonces el gradiente de f es ortogonal a Ck en cada uno de los puntos de dicha curva.
(Recordemos que la ortogonalidad entre un vector y una curva se entiende en términos
de la perpendicularidad entre el vector y el vector tangente a dicha curva).

3) Sea f : R3 → R una función de clase C 1 y sea (x0 , y0 , z0 ) un punto en la superficie de

nivel Sk = {(x, y, z) ∈ R3 / f (x, y, z) = k siendo k una constante. Entonces el gradiente
de f en ese punto es normal a dicha superficie de nivel. (En este caso la ortogonalidad
se entiende con respecto al plano tangente a SK en el punto, o alternativamente, con
respecto al vector tangente a cualquier trayectoria ~σ (t) contenida en Sk , con ~σ (t0 ) =
(x0 , y0 , z0 )).
Dem: Evidentemente las propiedades 2) y 3) son ambas casos particulares del caso general en
Rn . Demostremos la propiedad 3):
Sea ~σ (t) una curva tal que ~σ (t) ∈ Sk , ∀t, entonces ~σ 0 (t0 ) es un vector tangente a Sk en
~σ (0) = (x0 , y0 , z0 ). Tendremos entonces:

d
(f (~x0 + t~σ 0 (0)) |t=0 = grad f · ~σ 0 (0) = 0
dt
Q.E.D.

De las propiedades 2) y 3) se deduce de manera inmediata lo siguientes:

• Si f (x, y) − k = 0 es la ecuación de una curva en R2 (evidentemente se trata de la

curva de nivel Ck de la función f (x, y)), con f (x, y) de clase C 1 , entonces la ecuación de
la recta tangente a dicha curva en el punto (x0 , y0 ) puede escribirse de la forma:
¯ ¯
∂f ¯¯ ∂f ¯¯
grad f (x0 , y0 ) · (x − x0 , y − y0 ) = 0 ⇔ (x − x0 ) + (y − y0 ) = 0
∂x ¯(x0 ,y0 ) ∂y ¯(x0 ,y0 )

• Análogamente, si f (x, y, z) − k = 0 es la ecuación de una superficie en R3 (superficie

de nivel Sk de la función f (x, y, z)), con f (x, y, z) de clase C 1 , entonces la ecuación del
plano tangente a la superficie en el punto (x0 , y0 , z0 ) se escribe:

∂f ∂f ∂f
grad f (x0 , y0 , z0 ) ·(x−x0 , y−y0 , z −z0 ) = 0 ⇔ (x−x0 )+ (y−y0 )+ (z −z0 ) = 0
∂x ∂y ∂z

donde las derivadas parciales son evaluadas obviamente en (x0 , y0 , z0 ).

Ejemplo: Calculemos la ecuación del plano tangente al elipsoide de revolución:

x2 y2
+ + z2 = 1
4 4

en el punto (1, 1, √12 ).

CÁLCULO / INGENIERO GEÓLOGO / TEMA 4 35

x2 y2
Tomaremos f (x, y, z) = 4 + 4 + z 2 , y ası́:

x y 1 1 1 √
grad f = ( , , 2z) ⇒ grad f (1, 1, √ ) = ( , , 2)
2 2 2 2 2

El plano tangente será:

1 1 √ 1 x y √
( , , 2) · (x − 1, y − 1, z − √ ) = 0 ⇒ + + 2z = 2
2 2 2 2 2

4.4 Derivadas de orden superior

Definición: Sea f : A ⊂ Rn → R una función de varias variables definida al menos
en un entorno A de ~x0 y diferenciable en dicho entorno. Llamaremos derivada parcial
segunda respecto de las variables xi y xj de una función f , en ~x0 , y lo denotaremos
2f
por fxi ,xj (~x0 ) ≡ ∂x∂i ∂x (~x0 ) a la derivada parcial respecto de la variable xi , en ~x0 , de la
j ³ ´
∂f ∂2f ∂ ∂f
función ∂x j
, es decir, ∂xi ∂xj (~
x 0 ) = ∂xi ∂xj (~
x0 ).
Análogamente se definen derivadas parciales de orden superior.

Ejemplo: Dada la función f (x, y) = x2 + y 3 x + 1 hallar todas las derivadas segundas posibles.
∂f ∂f
= 2x + y 3 = 3y 2 x
∂x ∂y

y por ello
∂2f ∂2f ∂2f ∂2f
=2 = 3y 2 = 3y 2 = 6yx
∂x2 ∂x∂y ∂y∂x ∂y 2

Definición: Dada una función f : A ⊂ Rm → R, diremos que f es de clase C r en un

abierto V ⊂ A si para todo ~x ∈ V existen y son continuas todas las derivadas parciales de
f hasta el orden r inclusive. Si existen y son continuas todas las derivadas de cualquier
orden se dice que f es de clase C ∞ .

Teorema de Schwarz. Dada una función f : A ⊂ Rn → R de clase C 2 en un entorno

E(~x0 ) de ~x0 contenido en A, entonces se cumple que

∂2f ∂2f
(~x0 ) = (~x0 )
∂xi ∂xj ∂xj ∂xi

El teorema anterior se generaliza fácilmente para las derivadas de orden superior. Sea
f : A ⊂ Rn → R una función de clase C k y ~x0 ∈ A, entonces se verifica que:

∂mf ∂mf
(~x0 ) = (~x0 ) ∀m = 2, . . . , k
∂xi1 · . . . · ∂xim ∂xπ(i1 ) · . . . · ∂xπ(im )
36 CÁLCULO / INGENIERO GEÓLOGO / TEMA 4

siendo π cualquier permutación de los ı́ndices dados.

Matriz hessiana: Como vimos en una sección anterior, si una función f : A ⊂ Rn → R
es diferenciable en un punto ~x0 ∈ A, su diferencial es una aplicación lineal d~x0 f : Rn → R,
cuya matriz jacobiana asociada es una matriz fila:
Si f es de clase C 2 diferenciable en un entorno de ~x0 , tenemos en total n2 derivadas
parciales segundas de f . Se define estonces la matriz hessiana de f en ~x0 como la matriz
de derivadas parciales segundas siguiente:
 ∂2f ∂2f ∂2f

∂x21 ∂x1 ∂x2 ··· ∂x1 ∂xn
 
 ∂2f ∂2f ∂2f 
 ··· 
 ∂x2 ∂x1 ∂x22 ∂x2 ∂xn 
H~x0 (f ) = 

 (~x0 )

 .. 
 ··· ··· . ··· 
 
∂2f ∂2f ∂2f
∂xn ∂x1 ∂xn ∂x2 ··· ∂x2n

Usando el Teorema de Schwarz es evidente que se trata de una matriz simétrica.