Del razonamiento detrás del teorema del valor medio

He estado tratando de comprender el razonamiento detrás de la formulación del teorema del valor medio:

Si F ( X ) es continua en el intervalo cerrado [ X 1 ; X 2 ] y diferenciable en cada punto del intervalo abierto ( X 1 ; X 2 ) , entonces hay al menos un punto ξ ( X 1 ; X 2 ) tal que

F ( X 2 ) F ( X 1 ) X 2 X 1 = F ( ξ )

Lo que no puedo entender es por qué decimos eso. F ( X ) no es necesariamente diferenciable en los puntos finales X 1 y X 2 del intervalo Tampoco puedo entender completamente el valor general de la premisa de que la función es continua en esos puntos; porque entiendo que si una función posee una discontinuidad infinita o una discontinuidad de ese tipo cuando el valor de la función no coincide con su valor límite en ese punto, pero simplemente no puedo imaginar un ejemplo singular para el MVT que no se mantenga como la función no posee un límite definido en los puntos finales.

¡Gracias!

Editar: he notado que mi pregunta es un poco complicada, así que la he reformulado un poco:

Considere una función que es continua en todo el intervalo [ X 1 ; X 2 ] excepto por al menos uno de los puntos finales (digamos, X 1 ), como la función, aunque definida en X 1 , no posee un límite definido a medida que se acerca X 1 (por ejemplo, la función pecado 1 X como X 0 ). ¿Existe una función del tipo mencionado, para la cual MVT no se cumple?

La pregunta es difícil de seguir, pero creo que podría ser, al menos parcialmente, un engaño de math.stackexchange.com/questions/843924/…
Piensa en la mitad superior de un círculo.
No, la pregunta no es sobre eso en absoluto. Considere una función que es continua en todo el intervalo [ X 1 ; X 2 ] excepto por al menos uno de los puntos finales (digamos, X 1 ), como la función, aunque definida en X 1 , no posee un límite definido a medida que se acerca X 1 (por ejemplo, la función pecado 1 X como X 0 ). ¿Existe una función del tipo mencionado, para la cual MVT no se cumple?
Por supuesto: los ejemplos no son difíciles de fabricar.
@Randall Ok, si lo son, ¿cuál es al menos uno de ellos?

Respuestas (3)

Aunque la pregunta es un poco confusa, creo que este es un ejemplo de lo que estás preguntando. Definir F en [ 0 , 1 ] por

F ( X ) = { 0 , X = 0 1 X , 0 < X 1.
Esta función, aunque definida en X = 0 , no tiene límite a medida que te acercas 0 gracias a la asíntota vertical. es continua en ( 0 , 1 ] .

La pendiente de la secante es

F ( 1 ) F ( 0 ) 1 0 = 1
sin embargo, la derivada de ( 0 , 1 ) es F ( X ) = 1 X 2 . Claramente esto nunca puede igualar 1 .

Tenga en cuenta que pude crear este ejemplo artificial exactamente porque estoy violando la continuidad en uno de los extremos.

El requisito de que F es diferenciable solo en el interior proviene del Teorema de Rolle: si F ( X 1 ) = F ( X 2 ) = 0 entonces a menos que F es idénticamente cero (en cuyo caso F ( X ) = 0 para todos X en el intervalo) F debe alcanzar un valor extremo distinto de cero en algún lugar del interior del intervalo. Todo lo que se requiere para la conclusión del teorema de Rolle es que F ( X ) existe para todos X en el interior, no en los extremos.

En cuanto a la continuidad, considere F ( X ) = 1 si X = 0 y F ( X ) = X 2 si 0 < X 1 . Entonces F se define en [ 0 , 1 ] y es diferenciable en cada punto de ( 0 , 1 ) , pero no tiene sentido X ( 0 , 1 ) satisfactorio F ( 1 ) F ( 0 ) 1 0 = F ( X ) .

Solicitó un ejemplo de una función donde el límite no existe en un punto final. Incluso si existe el límite pero la función no es continua en un punto final, el MVT falla.

Considere por ejemplo F ( X ) = X si X ( 0 , 1 ] y F ( 0 ) = 1 . Entonces F es continua en ( 0 , 1 ] , es discontinua en 0 , es diferenciable en ( 0 , 1 ) pero F ( 1 ) F ( 0 ) 1 0 = 0 mientras F ( X ) = 1 para cada X ( 0 , 1 ) .