TEOREMA DE CLAIRAUT

Alexander Corts Rodrguez

25 de Febrero de 2016

Sea f: A R2 R, donde A es un conjunto abierto en en el que existen las

derivadas parciales mixtas y son continuas en A. Para cualquier punto (a, b) A,
tenemos que dichas derivadas parciales mixtas son iguales, es decir:
2f
2f
(a, b) =
(a, b)
xy
yx

Demostracin:
Sea p = (x0 , y0 ) A y sean , > 0 : (x0 , x0 + ) (y0 , y0 + ) A, se
denen dos funciones F y G como:
F : (, ) R R
G : (, ) R R

De modo que:
F (t) = f (x0 + t, y0 + s) f (x0 + t, y0 )
G(s) = f (x0 + t, y0 + s) f (x0 + y0 + s)

con t (, ) y s (, ), aplicando dos veces el teorema del valor medio

(teorema de Lagrange):
F (t) F (0) = (t 0)F 0 (1 ) = t(

f
f
(x0 + 1 , y0 + s)
(x0 + 1 , y0 )) =
x
x

F (t) F (0) = ts

2f
(x0 + 1 , y0 + 1 )
yx

De manera anloga, tenemos:

G(t) G(0) = ts

2f
(x0 + 2 , y0 + 2 )
xy

Con i (0, t), i (0, s), suponiendo t, s > 0; al hacer t 0, s 0, queda

demostrado el teorema.
1