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 !" d! entre a y c son am#as infinitas, sin em#argo el lmite puede e!istir$ Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos valores no pueden definirse e!cepto como lmites$ %a integral

puede interpretarse como

pero desde el punto de vista del anlisis matemtico no es o#ligatorio interpretarla de tal manera, ya que puede interpretarse como una integral de %e#esgue so#re el intervalo &, "$ 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,

ANALISIS MATEMATICO I I Integral Impropia

no puede ser interpretada como una integral de %e#esgue, ya que

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

%lamamos singularidades de una integral impropia a los puntos de la recta e!tendida de n'meros reales en los cuales de#emos utili)ar lmites$ *ales integrales son frecuentemente escritas en forma sim#lica de igual forma que una integral definida, utili)ando un infinito como lmite de integracin$ Esto no +ace ms que "ocultar" el de#ido proceso de calcular los lmites de la integral$ ,tili)ando la ms avan)ada integral de %e#esgue en lugar de una integral de -iemann, uno puede a veces evitar tal operacin$ Pero si slo se desea evaluar el lmite para o#tener un valor definido, tal mecanismo pudiera no resultar de ayuda$ El concepto de integral de %e#esgue es ms o menos esencial en el tratamiento terico de la transformada de .ourier que +ace uso e!tensivo de integrales so#re el total de la recta real$

ANALISIS MATEMATICO I I Integral Impropia

Definicin de integral impropia:

%as denominadas integrales impropias son una clase especial de integrales

definidas integrales de -iemann" en las que el intervalo de integracin o la

funcin en el integrando o am#os presentan ciertas particularidades$

si los lmites e!isten$

ANALISIS MATEMATICO I I Integral Impropia

/uando los lmites, en las definiciones anteriores, e!isten, 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$ Seg'n el resultado que o#tengamos sa#remos si es convergente o divergente$ Primero clasifiquemos las integrales en 0 tipos:

1-Primera especie
Son del tipo:

ANALISIS MATEMATICO I I Integral Impropia

Para poder determinar su carcter reali)amos la siguiente operacin suponemos el primer caso de primera especie, con el segundo es equivalente": Si e!iste 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

es 1 2 infinito, y se dice que es una integral oscilante si el limite no e!iste$

2-Segunda Especie
Son del tipo:

y que f !" no est definida en el intervalo de integracin o en los e!tremos de integracin$ Para poder determinar su carcter reali)amos la siguiente operacin suponemos que el punto conflictivo se encuentra en ! = a":

ANALISIS MATEMATICO I I Integral Impropia

Si el

e!iste 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$

-!ercera Especie
Son me)clas de los dos tipos anteriores, es decir, que presentan un infinito en los e!tremos de integracin y la funcin se +ace 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 de#eremos seguir los pasos anteriores para 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$

E"emplos de Integrales impropias

E"emplo 1: Encontrar el rea de la regin limitada por la curva recta y el e3e la

/omo la curva es siempre positiva 4rea

ANALISIS MATEMATICO I I Integral Impropia

Es decir que el rea si se puede medir y vale 5$ ,no podra pensar que la curva se vuelve asntotica al e3e 66rapidamente77 y que por lo tanto la porcin que +ay entre la curva y el e3e se vuelve muy peque8a y llega a ser desprecia#le$

Integral impropia de 1ra clase# $divergente%

E3emplo 9: :irar si

es convergente

luego es convergente; mirando que la curva es positiva en el intervalo decir que <ste valor es el rea #a3o la curva se puede

E3emplo 0: /alcular si esto es posi#le el rea #a3o la curva

con

/omo

para

4rea =

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

9"

Se toma un valor para calcular Es decir

y luego se +ace tender +acia 2

ANALISIS MATEMATICO I I Integral Impropia

E3emplo =: %a regin limitada por la curva alrededor del e3e ; encontrar el volumen del slido o#tenido$ ,tili)ando discos >olumen =

el e3e , el e3e rota

E3emplo ?: @eterminar si

es convergente o divergente utili)ando fracciones parciales

= /omo es una forma indeterminada se de#e mirar si se puede levantar

la indeterminacin

4s :
8

ANALISIS MATEMATICO I I Integral Impropia

0" Este caso sera una com#inacin de los dos numerales anteriores

Pero si la curva tiene alguna simetra se puede aprovec+ar este +ec+o para que la integral sea impropia en uno solo de los lmites de integracin

E3emplo A: Encontrar el rea limitada por la curva

y el e3e

Por lo que la curva es siempre positiva 4rea= es sim<trica con respecto al e3e 4rea =9

$ Pero como la curva

ANALISIS MATEMATICO I I Integral Impropia

E3emplo B: @eterminar si

converge o diverge

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

e!iste

por lo tanto

Esto no se +u#iera podido decir desde el principio porque perfectamente

poda +a#er sido divergente y el resultado

no da cero$

C,C DE*EF-4E@GS /GEHSi es una funcin contnua en un intervalo

e!iste

Si es discontnua en se +ace

y si este lmite

e!iste se dir que la integral es convergente si no que es divergente$

ANALISIS MATEMATICO I I Integral Impropia

Si es discontnua en se +ace o#servacin anterior Si es discontnua en alg'n n'mero dems valores

con la misma

pero contnua en todos los

aplicndose so#re el n'mero lo que se descri#i

Integral impropia de 2da clase#$convergentes%

E3emplo I: @ecir si la integral

converge o diverge

El integrando es discontnuo en & entonces /omo siempre, este resultado me est dando el rea #a3o la curva

ANALISIS MATEMATICO I I Integral Impropia

E3emplo J: @ecir si la integral

es convergente o divergente

El integrando es discontnuo en integral diverge

luego la

E3emplo 5&: @ecir si

converge o diverge

Si se pasa por encima de la discontinuidad +aciendo

KKK -esultado a#surdo puesto que en todo el intervalo la funcin es positivaK

/omo

es discontnua en &

/omo la regin es sim<trica con respecto al e3e si

converge

tam#i<n;

luego es divergente

E3emplo 55: :uestre que el permetro de una circunferencia de radio es

%a ecuacin de una circunferencia de centro en

y de radio es

ANALISIS MATEMATICO I I Integral Impropia

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

El integrando es discontnuo en

el denominador se +ace ";

En muc+as de las aplicaciones que vimos de la integral se presentan estos casos donde +ay que +acer uso de integrales impropias$

Integrales Impropias especiales &'(CI)( *+,,+

3

ANALISIS MATEMATICO I I Integral Impropia

4+ora estudiaremos una funcin conocida como la funcin gamma , la cual es de gran importacia en anlisis y en aplicaciones$ Esta funcin se define en t<rminos de una integral impropia, la cual no puede calcularse en t<rminos de funciones elementales$

@efinicin L.uncin FammaM %a funcin dada por

se conoce como la funcin gamma$ Su grfica se muestra en la figura 5$J$

.igura 5$J

El siguiente teorema esta#lece una de las propiedades ms importantes de la funcin gamma$

*eorema L-ecursividad de gammaM

ANALISIS MATEMATICO I I Integral Impropia

Para toda

se tiene que

@emostracin Dntegrando por partes

E3emplo /alcule Solucin $

ANALISIS MATEMATICO I I Integral Impropia

El resultado anterior puede generali)arse, como muestra en el siguiente corolario$

/orolario L-ecursividad de FammaM Para , y se tiene que

G#servacin: de los resultados anteriores o#tenemos que esta ra)n se conoce a esta funcin como el factorial generali)ado$ E3emplo /alcular los valores de , , $

, por

Solucin ,sando la propiedad recursiva, tenemos que Para :

ANALISIS MATEMATICO I I Integral Impropia

Para

Para

@e donde

ANALISIS MATEMATICO I I Integral Impropia

/N%/,%G .-4//DGE4-DG %a n2<sima derivada de a!# donde n es un n'mero natural" se puede ver de la siguiente manera:

/omo nK = O n 1 5" entonces

donde n

puede ser cualquier n'mero donde gamma est< definido o se pueda definir mediante lmites$ @e esta manera se puede calcular por e3emplo, la 5P9 derivada de !, de !9 e inclusive de una constante c = c!&:

&'(CI-( .E!+

4 siguiente integral

ANALISIS MATEMATICO I I Integral Impropia

se conoce como la funcin #eta$ El siguiente teorema enuncia algunas de las propiedades de la funcin Qeta$

*eorema LPropiedades de la funcin #etaM 5$ %a funcin 9$ 0$ Para , $ se tiene que converge para , $

=$ Para

se tiene que

?$ Para

se tiene que

@emostracin 5$ Para demostrar que la integral convege, separemos la integral en dos partes
9

ANALISIS MATEMATICO I I Integral Impropia

4+ora, o#serve que la primera integral convRerge si

y de igual manera, la segunda integral converge si

9$ Para demostrar esta propiedad #asta +acer un cam#io de varia#le

2!

ANALISIS MATEMATICO I I Integral Impropia

0$ Saciendo el cam#io de varia#le

tenemos que

=$ Saciendo el cam#io de varia#le

tenemos que

ANALISIS MATEMATICO I I Integral Impropia

?$ %a demostracin de este resultado es un tanto ms comple3a y se sale de los o#3etivos del curso, por esta ra)n no la +aremos$

E3emplo /alcule el valor de la siguiente integral

Solucin ,sando los resultados del teorema anterior

G#serve que cuando es muy grande es e!tremadamente difcil calcular a'n con la ayuda de logaritmos$ Por e3emplo, la tarea de determinar el n'mero de posi#les formas de #ara3ar un maso de cartas podra tomar

22

ANALISIS MATEMATICO I I Integral Impropia

muc+o tiempo, pues involucra el calculo de esta#lece que grande$

$ El siguiente teorema , cuando es muy

es una #uena apro!imacin de

*eorema L.rmula de StirlingM

G#servacin: del la frmula de Stirling5$= tenemos que

T por 'ltimo el siguiente teorema e!presa la relacin entre la funcin la transformada$

E/uivalencia entre la funcin *amma y .eta

%a funcin #etaL5M fue estudiada por Euler y %egendre pero su nom#re le fue dado por Uacques Qinet$ En matemtica, dada una funcin f, muc+as veces es 'til e!presar f ! 1 y" en t<rminos de f !" y f y"$ Por e3emplo, para la e!ponencial se tiene

Este anlisis, aplicado a la funcin gamma, conduce a la definicin de la funcin #eta$ Para ! e y, dos n'meros comple3os, con sus partes reales positivas, consideremos el producto O !"O y":

23

ANALISIS MATEMATICO I I Integral Impropia

Para escri#ir esta integral do#le en coordenadas polares, +agamos primero el cam#io de varia#les t = u9 y s = v9:

Pasando a coordenadas polares u = rcosV, v = rsinV esta integral do#le arro3a

Saciendo t = r9 o#tenemos

@efiniendo la funcin #eta

se o#tiene

Propiedades
5$ %a primera propiedad que satisface la funcin #eta, ya se +a mostrado

9$ %a funcin #eta es sim<trica

0$ Saciendo cam#ios de varia#les en la integral que define a la funcin #eta

24

ANALISIS MATEMATICO I I Integral Impropia

Derivadas
%as derivadas de la funcin #eta, pueden e!presarse en t<rminos de la funcin digamma y las funciones poligamma

donde W !" es la funcin digamma$

+plicacin
Puesto que O 5" = 5, se deduce de la definicin de la funcin #eta y de la primera propiedad enunciada que

de donde

Supongamos que n es un entero no negativo y queremos calcular

Entonces podemosL9M

,sando la primera propiedad de la funcin #eta, tenemos

25

ANALISIS MATEMATICO I I Integral Impropia

@e manera que

C-(C0'CI-(ES:
4l puede concluir con satisfacion que al desarrollar la monografia se aumentos la vision del alumnos al estar en contacto con una informacion vasta solo pu#licada en la Re#$ Se tiene claro las diversas escuelas matematicas, es decir la matematica aplicada y la matematica pura,que desarrolla la teoria matematica desde el punto de vista a!iomatico y riguroso$

.I.0I-*1+&I+:
26

ANALISIS MATEMATICO I I Integral Impropia

Dnstituto de matemtica y ciencias afines2,niversidad Eacional de Dngeniera X Per' RRR$imca$edu$pe

'niversidad de 2arago3a - Espa4a """#$ni%ar#e&'anali&i&(matemati)o'anali&i& '###'!7*impropias#p+, 'niversidad Catlica de Salta- +rgentina """#$)a&al#net're)$r&o&'INTEGRALES(IMPROPIAS#p+, &acultad de Ingenier5a 6'niversidad de .uenos +ires- +rgentina """#,i#$-a#ar'materia&'6 !7'Ap$nte&'II!!#p+, Universidad de Alcal Espaa www2.uah.es/josem_salazar/material_docente.../teoria/.../t6.pdf

Enciclopedia %i#re YiZipedia es$RiZipedia$org

27