Teorema fundamental del Clculo

1. Historia
El teorema fundamental del clculo se refiere a la diferenciacin e integracin,
demostrando que estas dos operaciones son esencialmente inversas la una de
la otra. Antes del descubrimiento de este teorema, no se reconoci que estas
dos operaciones estaban relacionadas. Los antiguos matemticos griegos
saban cmo calcular el rea a travs de los infinitesimales, una operacin que
ahora llamaramos integracin. Los orgenes de la diferenciacin son tambin
anteriores al teorema fundamental del clculo en cientos de aos; por ejemplo,
en el siglo XIV las nociones de continuidad de funciones y de movimiento eran
estudiadas por los calculadores de Oxford y otros estudiosos. La relevancia
histrica del teorema fundamental del clculo no es la capacidad de calcular
estas operaciones, sino la constatacin de que estas dos operaciones distintas
en apariencia (clculo de reas geomtricas y clculo de velocidades) estaban
finalmente en estrecha relacin.
La primera declaracin publicada y prueba de una versin restringida del
teorema fundamental fue hecha por James Gregory (16381675). Isaac
Barrow (16301677) demostr una versin ms generalizada del
teorema, mientras que el estudiante de Barrow Isaac Newton (16421727)
complet el desarrollo de la teora matemtica concernida. Gottfried
Leibniz (16461716) sistematiz el conocimiento en un clculo de las
cantidades infinitesimales e introdujo la notacin utilizada en la actualidad.

2. Definicin

El teorema fundamental del clculo consiste

en la afirmacin de que
la derivacin e integracin de una funcin son operaciones inversas.
La relacin entre estos dos procesos es, de algn modo, anloga a la que hay
entre 'elevar al cuadrado' y la 'raz cuadrada'. Si elevamos al cuadrado un
nmero positivo y despus tomamos la raz cuadrada del resultado, obtenemos
el nmero original. De igual modo, si integramos una funcin continua
obtenemos una nueva funcin (una integral indefinida de f) y si diferenciamos
esta funcin obtenemos la funcin original.

Sabemos que si f es integrable, entonces F(x) [una integral indefinida] es

continua. Nos podemos preguntar qu ocurre cuando la funcin original f es

continua. Resulta que F es diferenciable (y que su derivada es especialmente

simple).
El Teorema Fundamental del Clculo proporciona un mtodo abreviado para
calcular integrales definidas, sin necesidad de tener que calcular los lmites de
las sumas de Riemann. Conceptualmente, dicho teorema unifica los estudios
de la derivacin e integracin, mostrando que ambos procesos son
mutuamente inversos.
3. Teoremas

3.1 Primer Teorema Fundamental del Clculo

Si f : [ a , b ] R integrable es continua en X 0 [ a ,b ] , entonces :

'

es derivable en X 0 y G ( X 0 )=f (X 0 )

En notacin de Leibnitz podemos expresar el resultado de este teorema como

que de una manera ms clara muestra la relacin, entre la Derivada y la
Integral, como operaciones inversas

d
f ( t ) dt=f ( x )
dx a

3.1.1 Demostracin
a. Primer caso: Sea h > 0

bien

d
f =f
dx

X 0 +h

X0

X 0+h

G ( X 0 +h ) G ( X 0 ) = f ( t ) dt f ( t ) dt= f (t) dt
a

Xo

Por el teorema del valor medio para integrales en el intervalo [X 0, X0+h],

tenemos que:
X0 +h

f ( t ) dt =f ( X h ) h

X0

Para algn valor Xh entre X0 y X0+h y en consecuencia:

G ( X 0 +h ) G ( X 0 ) =f ( X h ) h

Para calcular la derivada de G en X0, calculamos el siguiente lmite:

G' ( X 0 )=lim
h 0

G ( X 0+ h )G( X 0 )
=lim f ( X h )=f ( X 0)
h
h 0

Pero cuando h se aproxima a cero el punto X h se aproxima a X0 y en

consecuencia

G ' ( X 0 )=f ( X 0)

De tal manera ya est demostrado

Segundo caso: Sea h < 0

X0

G ( X 0 ) G ( X 0 +h ) = f ( t ) dt
a

X 0+h

X0

f ( t ) dt= f (t )dt
X o+h

Por el teorema del valor medio para integrales en el intervalo [X 0+h, X0], de
longitud (-h), tenemos que:

X0

f ( t ) dt =f ( X h ) (h)

X0 +h

Para algn valor Xh entre X0 +h y X0 y en consecuencia

G ( X 0 ) G ( X 0 +h ) =f ( X h ) (h)

0, bien multiplicando por -1 en ambos lados:

G ( X 0 +h ) G ( X 0 ) =f ( X h ) h

Y como en el caso anterior para calcular la derivada de G en X 0, calculamos el

siguiente lmite:

G' ( X 0 )=lim
h 0

G ( X 0+ h )G( X 0 )
=lim f ( X h )=f ( X 0)
h
h 0

De tal manera ya est demostrado

b. Segundo Teorema Fundamental del Clculo
El segundo teorema fundamental del clculo integral , es una propiedad de
las funciones continuas que permite calcular fcilmente el valor de la integral
definida a partir de cualquiera de las primitivas de la funcin.
Supongamos que f es continua en un intervalo abierto I, y sea P cualquier
primitiva (una integral indefinida, P'=f ) de f en I. Entonces, para cada a y cada
b en I, tenemos que:
b

f ( t ) dt=P ( b )P( a)
a

DEMOSTRACION

Sea
x

F ( x )= f (t)dt
a

Entonces, por el Primer Teorema del Clculo:

F' ( x )=f ( x )=P '( x )

Existe una constante C tal que

F ( x )=P ( x ) +C

Podemos calcular C pues

F ( a )= f ( t ) dt=0=P ( a ) +C
a

Entonces C es

C=P(a)

Podemos escribir
F ( x )=P ( x ) P(a)

Esta expresin es verdadera para x=b, y ya hemos obtenido el resultado

buscado:

F ( b )= f ( t ) dt=P ( b )P(a)
a

Este teorema nos dice que podemos calcular el valor de una integral definida
simplemente restando, si conocemos una primitiva (antiderivada) F. El
problema de calcular una integral se transfiere a otro problema, el de calcular
una primitiva F de f. Podemos leer cada frmula de derivada al revs y nos
dar un ejemplo de primitiva de una funcin f y esto nos dar una frmula para
integrar esa funcin.

INTEGRALES IMPROPIAS

1. Definicin
Llamaremos integrales impropias a las integrales de funciones sobre intervalos
ilimitados, o a las integrales de funciones que no estn acotadas en un
intervalo.
2. Tipos de integrales impropias

2.1 Integrales impropias de primera especie

Las integrales de este tipo son de la forma

f , f , f

Siendo f acotada en el intervalo correspondiente.

Observacin 1 Es evidente que las propiedades de la integral permiten reducir
su estudio al caso
+

f
a

Siendo f acotada en [a, +).

Supongamos que se conoce una primitiva F de la funcin f. Entonces,

X1

I 1 = f = lim

(F ( X 1 )F (a))
f = Xlim
+

X1 + a

a. Definicin
Sea f : [a, +) R una funcin acotada

1. Se dice que

f
a

es convergente si, y solo si, f es Riemann integrable

para todo intervalo [a,x], existe el lmite

X1

lim

X1 + a

Y es un nmero real
En este caso diremos que la funcin f es Riemann integrable en el
intervalo [a, +).

2. Se dice que

f
a

es divergente si, y solo si, f es Riemann integrable

para todo intervalo [a,x], existe el lmite

X1

lim

X1 + a

Y no es finito
+

3. Se dice que

f
a

es oscilante en el caso en que f no sea Riemann

integrable en un intervalo [a,x], o no exista el limite

X1

lim

X1 + a

b. Observacin
La idea que subyace tras las integrales impropias de primera especie es
integrar hasta un punto X1 arbitrario y, despus, hacer tender X1 al infinito.
Ejemplo: Dado a > 0, estudiaremos el carcter de la integral impropia de
primera especie

Tenemos que,
1. Si s > 1, entonces es convergente y

I1 =

1 1 s
a
s1

2. Si s 1, I1 es divergente.

c. Observacin

Ntese que en las condiciones del teorema anterior tambin se tiene que

1. Si = 0 y la integral de f es divergente en [a, +), tenemos que la

integral de g es divergente en [a, +).
2. Si = +, tenemos que, si la integral de g es divergente en [a, +), se
verifica que la integral de f es divergente en [a, +).
3. Si es un nmero real no nulo, tenemos que la integral de f es
divergente en [a, +) si, y solo si, la integral de g es divergente en [a,
+)

Ejemplo:

2.2 Integrales impropias de segunda especie:

En este caso, nos encontraremos con funciones definidas en intervalos tales
que tienen un comportamiento asinttico en alguno de sus extremos. En el
caso de que la funcin presentase un comportamiento similar en otros puntos
del dominio (por ejemplo, un intervalo de extremos a, b), y estos fuesen X 1, ,
Xn, aplicando las propiedades de la integral, tenemos que

X1

X i+1

f = f ++ f ++ f
a

Xi

Xn

Con lo que podemos reducir el estudio al caso donde slo tengamos asntotas
en los extremos del intervalo. Es ms, podemos pensar que la asntota slo
est en un extremo del intervalo ya que para todo c (a, b), se tiene que
b

f = f + f
a

Para este caso, si existiese una primitiva F de f, entonces,

1. Si f(x) no est acotada en b:

X1

X 1 b f (x) dx=
a

lim

X 1 b(F ( X1 )F (a))

f (x) dx=lim

2. Si f(x) no est acotada en a:

X1

X 1 a+ f ( x )dx =
a

lim

X 1 a+(F ( b ) F ( X 1) )

f ( x)dx=lim
b

Por lo tanto, podemos afirmar que la idea bsica que inspira el clculo de las
integrales impropias de segunda especie es integrar hasta un punto X 1
arbitrario en el interior de [a, b) y, despus, hacer tender X 1 al extremo de
integracin donde la funcin sea no acotada.

a. Definicin
x b f ( x )=
lim

Sea f: [a, b) R una funcin tal que

y que no presenta ms

asntotas verticales en [a, b). Entonces:

b

1. Se dir que la integral

f
a

es convergente, si f es Riemann

integrable en [a, x] para todo x [a, b), existe el lmite

X

X 1 b f (x) dx
a

lim

Y es un nmero real.
En este caso se dir que la funcin f es Riemann integrable en [a, b).

2. Se dir que la integral

es divergente, , si f es Riemann

integrable en [a, x] para todo x [a, b), existe el lmite

X

X 1 b f (x) dx
a

lim

Y no es finito.

3. Se dir que la integral

es oscilante en el caso en que f no sea

Riemann integrable en un intervalo [a, x], con x [a, b), o no exista

el lmite
X

X 1 b f (x) dx
a

lim

De la misma forma podramos definir la integralidad cuando la asntota est en

el extremo a del intervalo de definicin de la funcin (en este caso, f: (a, b] R
x a+ f ( x )=
es una funcin tal que
y no presenta ms asntotas
lim

verticales en (a, b]).

1. Se dir que la integral

f
a

es convergente, si f es Riemann

integrable en [x,b] para todo x (a, b], existe el lmite

b

X 1 a+ f (x )dx
x

lim

Y es un nmero real.
En este caso se dir que la funcin f es Riemann integrable en (a, b].

2. Se dir que la integral

f
a

es divergente, , si f es Riemann

integrable en [x,b] para todo x (a, b], existe el lmite

b

X 1 a+ f (x )dx
x

lim

Y no es finito.
b

3. Se dir que la integral

f
a

es oscilante en el caso en que f no sea

Riemann integrable en un intervalo [x,b], con x (a, b], o no exista el

lmite

X 1 a+ f (x )dx
x

lim

Ejemplo
Veamos un ejemplo en el cual aparecen unas funciones que posteriormente
servirn como funciones de referencia para estudiar la convergencia, o no, de
numerosas integrales impropias de segunda especie. Estas funciones son de la
forma

1. En el caso de no acotacin en el extremo superior de integracin

2. En el caso de no acotacin en el extremo inferior de integracin

Se puede probar que, al igual que en el caso anterior, la integral es

convergente si, y slo si, s < 1.
Al igual que para las integrales de primera especie, para las de segunda
tenemos una serie de resultados que nos permiten saber cundo una integral
de este tipo es convergente.

Bibliografa

EL TEOREMA FUNDAMENTAL DEL CLCULO

Anlisis Matemtico. Disponible en :

http://ed21.webcindario.com/CalculoIntegral/teoremas_fundamentales_d
el_calculo.htm#primer teorema

Calculo Integral. Disponible en:

http://www.um.es/docencia/plucas/manuales/mat/mat3.pdf

El teorema Fundamental del Clculo. Disponible en:

http://www.edu.xunta.es/centros/iesasangrina/aulavirtual/file.php/557/Inte
grals_i_teorema_fonamental_del_calcul.pdf

Teorema Fundamental del Clculo. Disponible en:

http://www.dma.fi.upm.es/recursos/aplicaciones/calculo_infinitesimal/web
/integracion2/html/tfundamental.html

Matemticas Visuales (el teorema fundamental del clculo 1,2).

Disponible en :
http://www.matematicasvisuales.com/html/analisis/ftc/ftc1.html
INTEGRALES IMPROPIAS

Integrales Impropias. Disponible en:

http://www2.uca.es/facultad/innova-empresariales/bego/matonline/intimpropias.html

Integrales Impropias. Disponible en:

http://www.dma.uvigo.es/~aurea/Impropias.pdf

Captulo XII Integrales Impropias .Disponible

en:http://www.famaf.proed.unc.edu.ar/pluginfile.php/13565/mod_resourc
e/content/2/Ejercicios_de_integrales_impropias.pdf