El teorema de Schwartz

El teorema más clásico en relación al problema de la permutabilidad de las

derivadas es el conocido como teorema de Schwartz o de las derivadas
parciales segundas cruzadas.

Teorema 9.1 Sea f una función escalar de dos variables. Supongamos que
para cada (x,y) de algún entorno V de un punto (x0,y0), existen:

𝜕𝑓(𝑥, 𝑦) 𝜕𝑓(𝑥, 𝑦) 𝜕 2 𝑓(𝑥, 𝑦)

, ,
𝜕𝑥 𝜕𝑦 𝜕𝑥𝜕𝑦

𝜕2 𝑓(𝑥,𝑦)
y que la aplicación 𝜕𝑥𝜕𝑦
es continua en (x0,y0). Entonces también existe la
otra derivada cruzada en (x0, y0), y se verifica que:
𝜕 2 𝑓(𝑥𝑜 , 𝑦𝑜 ) 𝜕 2 𝑓(𝑥𝑜 , 𝑦𝑜 )
=
𝜕𝑥𝜕𝑦 𝜕𝑦𝜕𝑥

Demostración. De la definición se deduce fácilmente que

𝜕 2 𝑓(𝑥𝑜 , 𝑦𝑜 ) 𝑓(𝑥, 𝑦) − 𝑓(𝑥𝑜 , 𝑦) − 𝑓(𝑥, 𝑦𝑜 ) + 𝑓(𝑥𝑜 , 𝑦𝑜 )
= lim
𝜕𝑦𝜕𝑥 𝑥→𝑥𝑜 (𝑥 − 𝑥𝑜 )(𝑦 − 𝑦𝑜 )
Denotemos por 𝐺(𝑥, 𝑦) = 𝑓(𝑥, 𝑦) − 𝑓(𝑥𝑜 , 𝑦) − 𝑓(𝑥, 𝑦𝑜 ) + 𝑓(𝑥𝑜 , 𝑦𝑜 ). Vamos a
probar que:

.
La existencia de este límite doble implicará, por tanto, la del límite iterado
9.1 que es lo que buscamos.
Por hipótesis, dado ε > 0, existe δ > 0 tal que si |x−x0| < δ y |y−y0| < δ,
entonces
;

adem´as podemos suponer que en este entorno, es decir en la bola de centro

(x0,y0) y radio δ, las tres funciones

,
est´an bien definidas.
Sea (x,y) un punto cualquiera de ese entorno, que lo supondremos fijo
en adelante. Consideremos entonces la funci´on de una variable ϕ(z) =
f(x,z)− f(x0,z). Es inmediato comprobar que
 92 Derivadas Parciales de Orden Superior

G(x,y) = ϕ(y) − ϕ(y0).

Por otra parte, la existencia de derivada parcial respecto de y en ese entorno

implica que ϕ es derivable, siendo su derivada

9.1

Aplicando entonces el teorema del valor medio a ϕ en el intervalo [y0−δ,y0+

δ], se deduce que existe un punto ξy intermedio entre y0 e y tal que

luego,
,

que implica

.
Consideremos ahora la aplicación

.
Esta aplicación es derivable en cada punto del intervalo [x0 − δ,x0 + δ],
precisamente

.
Aplicando entonces el teorema del valor medio resulta

,
donde ξx es algún punto comprendido entre x y x0. Se
deduce pues que

y por tanto
9.2 El teorema de Schwartz puede formularse para funciones de m´as de dos
variables. En efecto si f es una funci´on de las variables x1,x2,...,xn , que
satisface respecto a las coordenadas xi y xj, las condiciones del teorema
anterior, entonces tambi´en satisface estas condiciones la funci´on de dos
variables g(xi,xj) = f(a1,...,xi,...,xj,...,an).
Se deduce, por tanto, que las derivadas parciales cruzadas de la funci´on g
coinciden en (ai,aj), pero es f´acil comprobar que ´estas coinciden con las
derivadas parciales segundas de f respecto a las coordenadas xi y xj en a.
9.3 Derivadas Parciales de Orden Superior 95

El corolario siguiente es una extensi´on u´til del teorema anterior para

derivadas de orden mayor que 2:

Corolario 9.3 Supongamos que todas las derivadas parciales de orden r de

la funci´on escalar f son continuas en un punto a. Entonces cada derivada
parcial de orden r de f en a es independiente del orden en que se efectu´en
las derivaciones.

Demostraci´on. Observemos, en primer lugar, que de la hip´otesis se deduce

que cada derivada parcial de orden r−1 de la funci´on f debe ser una
funci´on continua en algu´n entorno del punto a. En efecto, sea g = ∂r−1f una

de estas derivadas. Se tiene entonces que, para cada es una funci´on

continua en a, luego g es estrictamente diferenciable en a y, en particular,
continua en algu´n entorno de a (ver nota posterior al teorema 7.3)
Razonemos por inducci´on sobre r. Para r = 2, tenemos hip´otesis sobradas
para poder aplicar el teorema de Schwartz. Supongamos entonces, como
hip´otesis de inducci´on, que si una funci´on escalar admite derivadas
parciales de orden r − 1 continuas en un punto, el c´alculo de estas derivadas
de orden r − 1 en ese punto no depende del orden en que se efectu´en las
derivaciones.
Sea la derivada de orden r en a

y consideremos, mediante una permutaci´on de y1,y2,...,yr, la derivada de

orden r
 94 Derivadas Parciales de Orden Superior

.
Supongamos en primer lugar que yi1 = y1. Puesto que, por hip´otesis de
inducci´on, en las derivadas de orden r − 1 de f se puede cambiar el orden
de derivaci´on (en todos los puntos de algu´n entorno de a), podemos
escribir

Supongamos ahora que y1 6== yi1, por tanto y1 = yik con k 6= 1. Entonces
es una permutaci´on de {y2,...,yr}. Por inducci´on
9.3

se deduce que

Ejercicios
9A Comprobar si en las funciones siguientes se da la igualdad entre las
derivadas parciales cruzadas en (0,0). Estudiar en cada caso si se satisfacen
las condiciones del teorema de Schwartz.

.
9B Consideremos los operadores diferenciales
 ); ∆

H ; div(

rot(
A los operadores anteriores se les conoce, en el orden en que han sido
definido, como operador: Gradiente, Laplaciano, Hamiltoniano, Divergencia
y Rotacional. Supuesto que se pueden permutar las derivaciones, demostrar
que
1. ∆f = div∇f 2. div(rotF) = 0.
3. H∆−∆H = −2∆ 4. .