Introducción
El Teorema del valor medio es un resultado fundamental del cálculo diferencial. En cálculo de una variable nos dice que en algún punto del intervalo, la pendiente de la tangente a la curva (es, decir la derivada) es igual a la pendiente de la recta secante que une los puntos extremos y . En esta sección estudiaremos para el caso en más dimensiones.
Recordemos el teorema del valor medio para funciones de
Suponga que es derivable en y continua en entonces existe tal que
En esta sección se presenta el caso en la versión para funciones de en . De esta manera el caso general se ve de la siguiente manera:
Teorema. Sea
una función definida en el conjunto abierto de . Si se pide que el conjunto sea tal que . Sea un vector unitario en la dirección del vector . Si la función es continua en los puntos del segmento y
tiene derivadas direccionales en la dirección del vector en los puntos del segmento , entonces existe , tal que donde .
Una consecuencia del teorema anterior es el teorema
Teorema. Sea
una función definida en el conjunto abierto de . Si las derivadas parciales son continuas en entonces f es diferenciable en
Vamos a dar una idea de la demostración para el caso n=2
Teorema del Valor Medio para Funciones de
Teorema. Sea una función definida en el conjunto abierto de . Si se pide que el conjunto sea tal que . Sea un vector unitario en la dirección del vector . Si la función
es continua en los puntos del segmento y tiene derivadas direccionales en la dirección del vector en los puntos del segmento , entonces existe
\, tal que donde .
Demostración. Considere la función dada por ciertamente
la función es continua en pues lo es en . Ademas
[]
de modo que para , existe y es la derivada direccional de en en la dirección del vector . Aplicando entonces el teorema del valor medio a la función , concluimos que existe un múmero que da \ es decir de modo que
Ahora para la verisón del teorema 3
Teorema 5. Sea
una función definida en el conjunto abierto de . Si las derivadas parciales son continuas en entonces f es diferenciable en
Demostración. Vamos a probar que donde
para ello tenemos que
sumando un cero adecuado
trabajaremos
Considerando la función por lo tanto tenemos que
este limite existe y nos dice que es es continua en este caso en el intervalo . Por lo tanto aplicando el TVM en dicho intervalo se obtiene
es decir
Analogamente
Considerando la función por lo tanto tenemos que
este limite existe y nos dice que es es continua en este caso en el intervalo . Por lo tanto aplicando el TVM en dicho intervalo se obtiene
es decir
Sustituimos en
y obtenemos
es decir
por lo tanto
ahora bien si se tiene
y
Analogamente
y
en consecuencia
por lo tanto f es diferenciable en
Más adelante
Tarea Moral
Mostrar que la siguiente función es diferenciable en cada punto de su dominio.
1.-
2.-
3.-,
4.-
5.-
Enlaces