INTEGRAL DEFINIDA

Integral definida. El problema del rea.

Sea f(x) una funcin continua en el intervalo I [a, b]. Queremos calcular el rea
comprendida entre la grfica de la funcin, el eje OX, la recta x=a y la recta x=b.

Dividimos el I [a, b] en "n" particiones iguales y le llamamos x a la longitud de cada

particin.
Llamamos S a la suma de todos los rectngulos grandes de la figura.
n 1

S= x f(x0) + x f(x1) +... + x f(xn-1) =

x f(xi)

i 0

Llamamos s a la suma de las reas de los rectngulos pequeos.

n

s= x f(x1) + x f(x2) +... + x f(xn) =

x f(xi)

i1

El rea pedida A est entre ambas: S<A<s.

Cuando el nmero de particiones se hace muy grande (n ) la longitud x se hace
muy pequea y el A buscada se puede aproximar a S o a s con lo que podemos poner A =
lim x

x 0

f(xi) .

i1

Pues precisamente a este A se le denomina integral definida entre a y b de la

b
f(x)dx.
a

f(x) =

Propiedades de la Integral Definida

b
1. -
a

a
f(x)dx = - f(x)dx.
b
1

b
2. -
a

c
b
f{x)dx = f(x)dx + f(x)dx
a
c

b
b
b
3. - [f (x) g(x)]dx = f(x)dx g(x)dx
a
a
a
b
b
4. - k f(x)dx = k f(x)dx
a
a

b
5. - f(x)dx 0 si f(x)=0
a

x [a,b]

Teorema del valor medio del clculo integral:

Si f(x) es una funcin continua en [a, b] existe al menos una punto c perteneciente a dicho
b
intervalo tal que la f(x)dx = f(c)(b-a) c [a,b]
a
Sea M y m el mximo y mnimo de la funcin en dicho intervalo:
m(b-a) A M(b-a)

vi
b
m(b-a) f(x)dx M(b-a)
a

f ( x)dx
a

ba

Por ser la funcin continua en [a, b] podemos asegurar un

2

c a, b /

f ( x)dx
a

= f(c)

f ( x)dx

= f(c)(b-a)

ba

Interpretacin geomtrica del teorema del valor medio del clculo integral.
Geomtricamente este teorema nos dice que se puede encontrar un punto c
perteneciente al I[a, b] de tal forma que el rectngulo de altura f(c) tiene por rea A.

f ( x)dx

= f(c)(b-

a)

Teorema fundamental del clculo integral. Reala de Barrow.

A(x) =

f ( x)dx
a

Vamos a demostrar que el A(x) as definida es una primitiva de f(x), es decir, queremos
demostrar: A'(x)=f(x).

A( x h) A( x)
A'(x) = lim
=
h 0
h
lim
h 0

= lim
h 0

f (c )h lim f (c )
= h 0
= f(x)
h

xh

xh

f ( x)dx f ( x)dx
a

lim
h 0

f ( x)dx

= T. V. M. =

x1 x h

Regla de Barrow.
Como A(x)=F(x)+c
3

A(a) =

f ( x)dx

=0

F(a) + c = 0; c = -F(a)
A(a)= F(a) + c
b

A(b) =

f ( x)dx

=0

f ( x)dx

= F(b) + c = F(b) F(a)

A(b) = F(b) + c
Aplicaciones de la integral definida al clculo de reas
b

A=

f ( x)dx
a

A=

f ( x)dx
a

A=

f ( x)dx +

f ( x)dx
c

rea comprendida entre las grficas de dos funciones:

A=

f ( x )dx g ( x )dx
a

A=

f ( x) g ( x) dx
a

A=

f ( x) g ( x) dx g ( x) f ( x) dx

A=

f ( x) g ( x) dx

porque y1= f(x) + k; y2= g(x) + k

A=

y2 dx =

f ( x) k g ( x) k dx
a

A=

f ( x) g ( x) dx
a

Funciones primitiva
Sean dos funciones f(x) y F(x), tales que : F'(x)=f(x) , es decir la derivada de F(x), es f(x). A
cualquier funcin F(x)+k, donde k es una constante, se la llama funcin primitiva de f(x). Por
ejemplo si f(x)=x, la funcin primitiva ser cualquier funcin de la forma:

Teorema Fundamental del Clculo.

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.

Teorema fundamental del clculo:

Sea f una funcin integrable en el intervalo [a, b], entonces:

i) F es continua en [a, b]
ii) En todo punto c de [a, b] en el que f sea continua se verifica que F es derivable en dicho
punto, y F'(c) = f(c).
El Teorema Fundamental del Clculo Integral nos muestra que F(x) es precisamente el rea
limitada por la grfica de una funcin continua f(x).

A cada punto c en [a, b] se le hace corresponder el rea Tc.

6

Si calculamos la derivada de esa funcin:

Luego F'(c) = f(c), para todo c en [a, b]

Aparentemente, diferenciacin e integracin son dos procesos completamente diferentes.

La diferenciacin corresponde a un proceso de obtencin de la tangente a una curva en un
punto (o tambin el cambio en la velocidad), mientras que la integracincorresponde a un
proceso encaminado a encontrar el rea bajo una curva. El Teorema Fundamental afirma que
ambos procesos son inversos el uno del otro.

Regla de Barrow.
Sea f(x) una funcin Riemann-integrable en el intervalo [a, b], y sea F(x) cualquier funcin
primitiva de f(x) en [a, b], es decir:
F'(x)=f(x) para todo x en [a, b], entonces:

La importancia de la regla de Barrow es doble: Por una parte es un mtodo que nos permite
calcular integrales definidas obteniendo nicamente una funcin tal que F(x)=f(x) y luego
calcularla en los lmites de integracin y por otro representa una conexin entre el Clculo
Diferencial y el Clculo Integral.
Generalizacin. Regla de la cadena:

Sea f(x) una funcin Riemann-integrable en el intervalo [a, b], y sea F(x) una funcin primitiva
de f(x) en [a, b], sea g(x) una funcin diferenciable, entonces:

Integral impropia
Introduccin
"Si la funcin f al ser integrada de a a c tiene una discontinuidad en c, especialmente en la
forma de una asntota vertical, o si c = , entonces la integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las integrales de la
parte positiva y negativa de f(x) dx entre a y c son ambas infinitas, sin embargo el lmite puede
existir. Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos
valores no pueden definirse excepto como lmites.
La integral

puede interpretarse como

pero desde el punto de vista del anlisis matemtico no es obligatorio interpretarla de tal
manera, ya que puede interpretarse como una integral de Lebesgue sobre el intervalo (0, ).
Por otro lado, el uso del lmite de integrales definidas en intervalos finitos es til, aunque no
sea como forma de calcular su valor.
En contraste al caso anterior,

no puede ser interpretada como una integral de Lebesgue, ya que

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta extendida de

nmeros reales en los cuales debemos utilizar lmites.
Tales integrales son frecuentemente escritas en forma simblica de igual forma que una integral
definida, utilizando un infinito como lmite de integracin. Esto no hace ms que "ocultar" el
debido proceso de calcular los lmites de la integral. Utilizando la ms avanzada integral de
Lebesgue en lugar de una integral de Riemann, uno puede a veces evitar tal operacin. Pero si
slo se desea evaluar el lmite para obtener un valor definido, tal mecanismo pudiera no resultar
de ayuda. El concepto de integral de Lebesgue es ms o menos esencial en el tratamiento
terico de la transformada de Fourier que hace uso extensivo de integrales sobre el total de la
recta real.
Definicin de integral impropia:
Las denominadas integrales impropias son una clase especial de integrales definidas (integrales
de Riemann) en las que el intervalo de integracin o la funcin en el integrando o ambos
presentan ciertas particularidades.

si los lmites existen.

10

Cuando los lmites, en las definiciones anteriores, existen, se dice que la integral es
convergente, en caso contrario, se dice que la integral es divergente.

Carcter y valor de las Integrales Impropias

Si la integral que nos ocupa es de fcil resolucin podemos determinar su carcter mediante el
clculo de la integral impropia. Segn el resultado que obtengamos sabremos si es convergente
o divergente. Primero clasifiquemos las integrales en 3 tipos:
1-Primera especie
Son del tipo:

Para poder determinar su carcter realizamos la siguiente operacin (suponemos el primer caso
de primera especie, con el segundo es equivalente):
Si existe el

y es finito y en ese caso

entonces se dice que la integral es convergente o que la integral converge. Se dice que es
divergente si

11

es + - infinito, y se dice que es una integral oscilante si el limite no existe.

2-Segunda Especie
Son del tipo:

y que f(x) no est definida en el intervalo de integracin o en los extremos de integracin.

Para poder determinar su carcter realizamos la siguiente operacin (suponemos que el punto
conflictivo se encuentra en x = a):

Si el

existe y es finito y en este caso

entonces se dice que la integral es convergente o que la integral converge. Se dice que es
divergente en cualquier otro caso.
3-Tercera Especie
Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los extremos de
integracin y la funcin se hace infinito en uno o ms puntos del intervalo de integracin.
Este tipo de integrales impropias se pueden dividir en suma de dos integrales: una de primera
especie y otra de segunda especie. Por lo tanto deberemos seguir los pasos anteriores para
12

determinar su carcter, y tener en cuenta que para que sea convergente tanto la integral de
primera especie como la de segunda especie tienen que ser convergentes, si no, en cualquier
otro caso, diverge.

Ejemplos de Integrales impropias

Ejemplo 1: Encontrar el rea de la regin limitada por la curva

la recta

y el

eje
Como la curva es siempre positiva

Area
Es decir que el rea si se puede medir y vale 1. Uno podra pensar que la curva se vuelve
asntotica al eje ``rapidamente'' y que por lo tanto la porcin que hay entre la curva y el eje
se vuelve muy pequea y llega a ser despreciable.
Integral impropia de 1ra clase. (divergente)

Ejemplo 2: Mirar si

es convergente

luego
convergente; mirando que la curva es positiva en el intervalo

es

se puede decir que ste

valor es el rea bajo la curva

Ejemplo 3: Calcular si esto es posible el rea bajo la curva

Como

para

con

Area =

Entonces el rea no se puede medir porque la integral es divergente.

13

2)

Se toma un valor para calcular

y luego se hace tender hacia -

Ejemplo 4: La regin limitada por la curva

Es decir

el eje , el eje rota alrededor del eje ;

encontrar el volumen del slido obtenido.

Utilizando discos
Volumen

Ejemplo 5: Determinar si

es convergente o divergente
utilizando fracciones parciales

=
Como

es una forma indeterminada se debe mirar si se puede levantar la indeterminacin

14

As :

3)
Este caso sera una combinacin de los dos numerales anteriores

Pero si la curva tiene alguna simetra se puede aprovechar este hecho para que la integral sea
impropia en uno solo de los lmites de integracin

Ejemplo 6: Encontrar el rea limitada por la curva

Por lo que la curva es siempre positiva Area=

y el eje

. Pero como la curva es simtrica con

respecto al eje
Area

=2

15

Ejemplo 7: Determinar si

converge o diverge

como se ve en la grfica es una funcin impar por lo cual si

existe

por lo tanto

Esto no se hubiera podido decir desde el principio porque perfectamente

haber sido divergente y el resultado

poda

no da cero.

<U< INTEGRANDOS CON>Si es una funcin contnua en un intervalo

existe

Si es discontnua en

se hace

y si este lmite existe se dir

16

que la integral es convergente si no que es divergente.

Si es discontnua en

se hace

con la misma observacin

anterior
Si es discontnua en algn nmero

pero contnua en todos los dems valores

aplicndose sobre el nmero lo que se describi

Integral impropia de 2da clase.(convergentes)

Ejemplo 8: Decir si la integral

converge o diverge

El integrando es discontnuo en 0 entonces

Como

siempre, este resultado me est dando el rea bajo la curva

Ejemplo 9: Decir si la integral

es convergente o divergente
17

El integrando es discontnuo en

luego la integral

diverge

Ejemplo 10: Decir si

converge o diverge

Si se pasa por encima de la discontinuidad haciendo

!!!

Resultado absurdo puesto que en todo el intervalo la funcin es positiva!

Como

es discontnua en 0

Como la regin es simtrica con respecto al eje si

converge

tambin;

luego es divergente

Ejemplo 11: Muestre que el permetro de una circunferencia de radio es

La ecuacin de una circunferencia de centro en

y de radio es

El permetro de la circunferencia ser la longitud de un cuarto de arco multiplicado por cuatro.

El integrando es discontnuo en

(el denominador se hace );

18

En muchas de las aplicaciones que vimos de la integral se presentan estos casos donde hay que
hacer uso de integrales impropias.

Integrales Impropias especiales

FUNCIN GAMMA
Ahora estudiaremos una funcin conocida como la funcin gamma

, la cual es de gran

importacia en anlisis y en aplicaciones. Esta funcin se define en trminos de una integral

impropia, la cual no puede calcularse en trminos de funciones elementales.

Definicin [Funcin Gamma]

La funcin

dada por

se conoce como la funcin gamma. Su grfica se muestra en la figura 1.9.

19

Figura 1.9

El siguiente teorema establece una de las propiedades ms importantes de la funcin gamma.

Teorema [Recursividad de gamma]

Para toda

se tiene que

Demostracin
Integrando por partes

Ejemplo

Calcule

Solucin
20

El resultado anterior puede generalizarse, como muestra en el siguiente corolario.

Corolario [Recursividad de Gamma]

Para

se tiene que

Observacin: de los resultados anteriores obtenemos que

, por esta razn se

conoce a esta funcin como el factorial generalizado.

Ejemplo

Calcular los valores de

Solucin
Usando la propiedad recursiva, tenemos que

Para

21

Para

Para

De donde

CLCULO FRACCIONARIO
La n-sima derivada de axb (donde n es un nmero natural) se puede ver de la siguiente manera:

22

Como n! = (n + 1) entonces

donde n puede ser

cualquier nmero donde gamma est definido o se pueda definir mediante lmites.
De esta manera se puede calcular por ejemplo, la 1/2 derivada de x, de x2 e inclusive de una
constante c = cx0:

FUNCION BETA

A siguiente integral

se conoce como la funcin beta.

El siguiente teorema enuncia algunas de las propiedades de la funcin Beta.

Teorema [Propiedades de la funcin beta]

1. La funcin

converge para

2.
3. Para

.
,

se tiene que

23

4. Para

se tiene que

5. Para

se tiene que

Demostracin
1. Para demostrar que la integral convege, separemos la integral en dos partes

Ahora, observe que la primera integral convwerge si

y de igual manera, la segunda integral converge si

2. Para demostrar esta propiedad basta hacer un cambio de variable

24

3. Haciendo el cambio de variable

tenemos que

4. Haciendo el cambio de variable

tenemos que

25

5. La demostracin de este resultado es un tanto ms compleja y se sale de los objetivos

del curso, por esta razn no la haremos.

Ejemplo
Calcule el valor de la siguiente integral

Solucin
Usando los resultados del teorema anterior

Observe que cuando

es muy grande es extremadamente difcil calcular

, an con la ayuda

de logaritmos. Por ejemplo, la tarea de determinar el nmero de posibles formas de barajar un

maso de cartas podra tomar mucho tiempo, pues involucra el clculo de

. El siguiente

26

teorema establece que

es una buena aproximacin de

, cuando

es muy

grande.

Teorema [Frmula de Stirling]

Observacin: del la frmula de Stirling1.4 tenemos que

Y por ltimo el siguiente teorema expresa la relacin entre la funcin

y la transformada.

Equivalencia entre la funcin Gamma y Beta

La funcin beta[1] fue estudiada por Euler y Legendre pero su nombre le fue dado por Jacques
Binet.
En matemtica, dada una funcin f, muchas veces es til expresar f (x + y) en trminos de f (x)
y f (y). Por ejemplo, para la exponencial se tiene

Este anlisis, aplicado a la funcin gamma, conduce a la definicin de la funcin beta. Para x e
y, dos nmeros complejos, con sus partes reales positivas, consideremos el producto (x)(y):

Para escribir esta integral doble en coordenadas polares, hagamos primero el cambio de
variables t = u2 y s = v2:

Pasando a coordenadas polares u = rcos, v = rsin esta integral doble arroja

Haciendo t = r2 obtenemos
27

Definiendo la funcin beta

se obtiene

Propiedades
1. La primera propiedad que satisface la funcin beta, ya se ha mostrado

2. La funcin beta es simtrica

3. Haciendo cambios de variables en la integral que define a la funcin beta

Derivadas
Las derivadas de la funcin beta, pueden expresarse en trminos de la funcin digamma y las
funciones poligamma

donde (x) es la funcin digamma.

28

Aplicacin
Puesto que (1) = 1, se deduce de la definicin de la funcin beta y de la primera propiedad
enunciada que

de donde

Supongamos que n es un entero no negativo y queremos calcular

Entonces podemos[2]

Usando la primera propiedad de la funcin beta, tenemos

De manera que

29

30