Calcular la derivada de una integral

Calcular la derivada de una integralests de broma? La derivada de una integralEso existe? Y si

existe, eso no dara de resultado la funcin inicial?
Pues s, existe. Y bueno, en cierto modo tienes razn, ya que la integral y la derivada son procesos
inversos, por lo que si realizamos primero un proceso y luego el otro obtendramos la funcin inicial.
Vamos, digamos que nos quedaramos igual. Pero la cosa no es siempre as, depende de varios detalles de
la propia integral y de la funcin inicial.
Vale, supongamos que se puede hacer esto. Qu importancia podra tener? Para qu podra servir? Es
til?
Puess, claro que tiene importancia. As, a bote pronto, se me ocurre la siguiente utilidad:estudio del
crecimiento y decrecimiento de una funcin definida mediante una integral. Como sabemos, el
crecimiento y decrecimiento de una funcin derivable en un intervalo puede conocerse mediante el estudio
del signo de la primera derivada en dicho intervalo, por lo que si nuestra funcin est definida mediante
una integral tendremos que derivarla para ver dnde crece y dnde decrece.
Bueno, no est mal, pero no me imagino de dnde puede salir una funcin definida mediante una integral.
Vamos, que no lo veo natural.
Ah va un ejemplo que me pasa ahora mismo por la cabeza. En muchas ocasiones las soluciones de una
ecuacin diferencial (no nos hace falta saber qu es eso, aunque muchos seguro que lo sabis) deben
dejarse en forma integral, por lo que para estudiar su crecimiento y decrecimiento debemos derivar esa
integral y estudiar el signo de esa derivada. Y bueno, teniendo en cuenta que gran cantidad de procesos de
la naturaleza estn regidos por ecuaciones diferenciales (hay alguno que no lo est?) parece buena idea
saber hacer esto, verdad?
Por todo esto, en este post vamos a ver cmo calcular la derivada de una una funcin definida
mediante una integral.

Derivada de una integral I: El TFC
El resultado que nos permite derivar una funcin definida mediante una integral y nos dice cunto vale
dicha derivada es el teorema fundamental del clculo (TFC). El primero que public una demostracin
relacionada con el TFC fue James Gregory, aunque lo que demostr fue una versin restringida de este
resultado. Fue Isaac Barrow el primer que demostr este teorema. Isaac Newtontermin el trabajo con
el desarrollo de la teora matemtica subyacente.
Qu dice el TFC? Pues muy sencillo: bsicamente dice que la derivacin y la integracin son procesos
inversos. Pero adems nos da una manera de calcular integrales definidas.
El TFC se suele dividir en dos resultados distintos: el primer TFC y el segundo TFC. Sin entrar en algunos
detalles, el enunciado del primero podra ser algo as:
Primer Teorema Fundamental del Clculo
Dada una funcin ,
1. La funcin es continua.
2. Si adems es una funcin continua, entonces es derivable, y:

Obviando los detalles sobre dnde es continua y/o derivable cada una de las funciones que aparecen en el
enunciado, se ve que este TFC1 dice que si tengo una funcin continua, entonces su integral se puede
derivar, y adems esa derivada da como resultado la propia .
El enunciado del TFC2 es algo as:
Segundo Teorema Fundamental del Clculo
Si es una funcin continua y es una funcin tal que , entonces:

Es decir, el TFC2 nos da una manera de calcular la integral de una funcin en un intervalo:
calculamos (lo que se denomina una primitiva de ) y restamos los valores de en los extremos
del intervalo.
Este teorema, con sus dos apartados, es muy importante y muy til, sobre todo teniendo en cuenta la gran
cantidad de aplicaciones que tienen las integrales.
Supongamos que ahora queremos calcular la derivada de la siguiente funcin , definida mediante una
integral:

La situacin no es exactamente igual que antes, ya que los lmites de integracin no son de la misma
naturaleza que los que aparecen en el TFC1. Por ello, para calcular necesitamos algo ms. Este algo
ms es una generalizacin del TFC1, que combina este resultado con la regla de la cadena (que se utiliza
para derivar de forma sencilla una composicin de funciones). Ah va:
Generalizacin del TFC1
Si la funcin est definida mediante la siguiente integral

entonces su funcin derivada se calcula de la siguiente forma:

Con esta frmula podemos calcular la derivada de la funcin anterior:

Esta generalizacin del TFC1 es muy til a la hora de manejar funciones definidas mediante integrales
cuyos lmites de integracin son funciones con cierta complejidad, ya sea para estudiar monotona y/o
curvatura de esa funcin, para comprobar si es solucin de cierta ecuacin diferencial, para utilizar la regla
de LHopital en un lmite donde aparezca dicha funcin, etc.
Derivada de una integral II: La frmula de Leibniz
Vamos a darle al tema una vuelta de tuerca ms. Dada una funcin definida mediante una integral,
qu ocurre si la funcin que aparece dentro de la integral depende ? Es decir, si nuestra tiene esta
forma:

donde la funcin depende de (que es la variable de ) adems de depender de , cmo calculamos su
derivada?
Para este caso necesitamos utilizar la conocida como Frmula de Leibniz, que nos dice cmo calcular
dicha derivada. Ah va:
Frmula de Leibniz
Dada la funcin

podemos calcular su derivada utilizando la siguiente frmula:

Como podis ver, la frmula de Leibniz es la generalizacin del TFC1 que vimos antes junto a un trmino
ms, que es la integral de la derivada parcial de respecto de .
Con esta frmula podemos, por ejemplo, hacer este ejercicio que aparece en una relacin de ejercicios de
uno de los grupos de alumnos que he tenido este curso:
Dado el problema de valores iniciales siguiente:

comprobar que la funcin

es solucin del mismo.
Pero esto os lo dejo como ejercicio. Intentadlo, que es sencillo.

Espero que os haya quedado claro el tema y que este post os sirva de ayuda cuando necesitis realizar
esta operacin.
Debo ex