Introducción
A continuación, se dará a conocer un teorema que da lugar a la derivada de una función definida como una integral definida con un límite superior variable.
Teorema. Sea una función que es continua en un intervalo cerrado asignado como
y sea
un valor numérico cualquiera dentro de ese intervalo. Si
es la función definida por
entonces
Si “”, la derivada de “
” puede ser una derivada hacia la derecha mientras que si “
”, la derivada de “
” puede ser una derivada hacia la izquierda.
Demostración del teorema
Asignando dos valores numéricos “” y “
” en el intervalo cerrado
, se tiene que:
y
Restando “” con “
”
Por el teorema del valor medio para integrales, existe algún número en un intervalo cerrado limitado por “
” y “
” tal que:
Entonces, retornando
Despejando “”
Asignando el límite cuando “” tiende a cero en ambos miembros
El lado derecho de esta última ecuación es
En el lado izquierdo se recuerda que está contenido en el intervalo cerrado limitado por “
” y “
”, así que
y
Garza (Garza, 1999, p. 65) menciona el teorema del apretón y establece que al suponer las funciones ,
y
están definidas en algún intervalo abierto
que contiene a
, excepto posiblemente en
misma, y que:
Para toda en
para las cuales «
sea diferente de
«. También se supone que el límite
y
Existen y son iguales a . Entonces
También existe y es igual a .
Entonces, se establece que
Por que es continua en
, y
Entonces, en la ecuación
Se tiene lo siguiente
Si la función no estuviese definida para valores de
menores que
pero es continua a la derecha de
, entonces, de lo anterior, si “
” en esa ecuación,
debe aproximarse a cero por la derecha. Por lo tanto:
será
Si no estuviera definida para valores de
mayores que
pero es continua a la izquierda de
, entonces, de lo anterior, si “
”, en esa ecuación,
debe aproximarse a cero por la izquierda. Por lo tanto:
será
Por lo tanto, el teorema anterior establece que la integral definida
Con límite superior variable , es una antiderivada de
.
Teorema fundamental del cálculo
Sea la función continua en el intervalo cerrado
y sea
una función tal que
para toda
en
. Entonces
Si , la derivada en
puede ser una derivada por la derecha, y si
, la derivada en
puede ser una derivada por la izquierda.
Demostración del teorema fundamental del cálculo
Si es continua en todos los números
, por el teorema anteriormente establecido y demostrado, según el cual la integral definida
,
con límite superior variable , define una función
cuya derivada en
es
; como hipótesis
, se sigue del teorema que establece que si
y
son dos funciones tales que
para todos los valores de
en el intervalo
, entonces existe una constante
tal que
para toda
en
, y que
Donde es cualquier constante.
De las ecuaciones anteriores, se observa que
Por definición, se tiene que
Resultando
Si no está definida para valores de
mayores que
pero es continua a la izquierda de
, la derivada en
es una derivada por la izquierda, resultando que
Donde
De la misma manera, si no está definida para valores de
menores que
pero es continua a la derecha de
, entonces la derivada en
es una derivada por la derecha y resulta que
Donde
Se concluye que al aplicar el teorema fundamental del cálculo, se puede notar que
La integral indefinida
De la expresión
La función se denomina una integral indefinida de la función
. Se dice una y no la integral indefinida, ya que, en lugar de haber seleccionado a
como el límite inferior de integración, se puedo haber escogido otro valor constante, y como consecuencia, se daría un valor diferente para la integral.
Se comprueba fácilmente que cualquier integral definida se halla a partir de una integral indefinida
La relación anterior entre la integral definida e indefinida sugiere una manera de calcular el valor de la primera a partir de la segunda.
El teorema fundamental del cálculo estable que una integral indefinida de una función continua
definida:
Posee siempre una derivada y es tal que
; esto es, la derivación de una integral indefinida reproduce siempre el integrando.
El teorema fundamental del cálculo muestra el inverso de las operaciones de derivación e integración, lo que constituye la parte básica del cálculo. Por esta relación inversa derivación – integración, a la función se llama la primitiva de
, ya que proviene de la derivación de la primera.