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