TEOREMA DE SCHWARTZ.

INTRODUCCIN
QUE ES UNA DERIVADA PARCIAL? En matemtica, una derivada parcial de una funcin de diversas variables, es su derivada respecto a una de esas variables manteniendo las otras como constantes. Las derivadas parciales son tiles en clculo vectorial y geometra diferencial. La derivada parcial de una funcin f respecto a la variable x se representa con cualquiera de las siguientes notaciones equivalentes:

Donde

es la letra 'd' redondeada, conocida como la 'd de Jacobi'. es funcin de diversas variables ( , , , ), es decir:

Cuando una magnitud

Al realizar esta derivada obtenemos la expresin que nos permite obtener la pendiente de la recta tangente a dicha funcin en un punto dado. Esta recta es paralela al plano formado por el eje de la

incgnita respecto a la cual se ha hecho la derivada y el eje z.

Supongamos que es una funcin de ms de una variable, es decir una funcin real de variable vectorial. Para el caso,

Un grfico de z = x2 + xy + y2. Queremos encontrar la derivada parcial en (1, 1, 3) que deja a y constante; la correspondiente lnea tangente es paralela al eje x.

Es difcil describir la derivada de tal funcin, ya que existe un nmero infinito de lneas tangentes en cada punto de su superficie. La derivacin parcial es el acto de elegir una de esas lneas y encontrar su pendiente. Generalmente, las lneas que mas interesan son aquellas que son paralelas al eje x, y aquellas que son paralelas al eje y.

Este es un corte del grfico a la derecha de y = 1.

Una buena manera de encontrar los valores para esas lneas paralelas es la de tratar las otras variables como constantes mientras se deja a variar slo una. Por ejemplo, para encontrar la lnea tangente de la funcin de arriba en (1, 1, 3) que es paralela el eje x, tratamos a la variable y como constante. El grfico de la funcin y el plano y = 1 se muestran a la derecha. A la izquierda, vemos cmo se ve la funcin, en el plano y = 1. Encontrando la lnea tangente en este grfico, descubrimos que la pendiente de la lnea tangente de en (1, 1, 3) que es paralela al eje x es tres. Que escribimos:

en el punto (1, 1, 3), o como "La derivada parcial de z con respecto a x en (1, 1, 3) es 3."

TEOREMA DE SCHWARTZ
(Derivadas parciales de orden superior) En matemticas y ms concretamente en clculo diferencial el teorema de Clairaut, tambin conocido como teorema de Schwartz o teorema de la igualdad de las derivadas cruzadas es una condicin suficiente de la igualdad de las derivadas parciales cruzadas de una funcin de varias variables. El teorema establece que si las derivadas parciales cruzadas existen y son continuas entonces son iguales. ENUNCIADO GENERAL:

Sea : y son continuas en A.

, A un conjunto abierto, tal que existen las segundas derivadas cruzadas

Entonces para cualquier punto

se cumple que:

ENUNCIADO EN DOS VARIABLES: Sea

una funcin de dos variables, definida en un conjunto abierto segundas derivadas cruzadas y son continuas en (

del plano

. si existen las

) estas son iguales, es decir:

Demostracin
Sea . Y sean , reales tales que es un abierto de y , , de modo que: . , Aplicando dos veces el teorema de Lagrange: . . Lo

cual es posible, ya que Se definen dos funciones

, y anlogamente:

, con , , por comodidad de escritura .

pero sin perder generalidad, se suponen Luego haciendo tender y a se logra la tesis.

Veremos ahora un ejemplo en el que las derivadas cruzadas no son iguales por que la funcin f(x ,y) no tiene derivadas cruzadas continuas en (0,0) Calcular las derivadas cruzadas de la siguiente funcin en (0,0) por definicin: xy . f(x,y) = 0 si (x,y) = (0,0) x2 - y2 x2 + y2 si (x ,y) (0,0)

Por definicin de derivada parcial cruzada de segundo orden : f (h,0) - f(0,0) f (0,0) = lim y y x y h0 h
2

(A)

Pero como no conocemos los valores de las derivadas que aparecen en el numerador del cociente debemos calcularlas: h k . h 2 k2 - 0 f (h,0) = lim f (h,k) - f (h,0) = lim h 2 + k2 = h y k0 k k0 k f (0,0) = lim f (0,k) - f (0,0) = lim y k0 k k0

0 - 0 k

=0

Reemplazando los valores obtenidos en la frmula (A), nos queda: 2 f (0,0) = lim h - 0 = 1 x y h0 h Proponemos al alumno que calcule la 2 f (0,0) de manera similar y obtendr como y x resultado el valor - 1, demostrando as que las derivadas cruzadas no son iguales .

EJEMPLOS: 1)
Encontrar las derivadas parciales segundas de valor de fxy(-1,2) Solucin Primero calculemos las derivadas parciales primeras con respecto a x y a y: y calcular el

Y derivando cada una de estas con respecto a x y a y, resulta

Finalmente, fxy(-1,2)=12-40=-282

2)