La Integral de Riemann

Introduccin

La teora de integracin trata fundamentalmente el problema de clcular el

rea bajo una curva dada.Se trata de determinar (si existe) un nmero real
que nos exprese el valor del rea de una zona que se encuentra limitada por
una curva determinada por una funcin 0 ,el eje B y dos rectas
perpendiculares al eje B
Para ello se planta aproximar el rea por medio de reas de figuras
conocidas, en este caso aproximar el rea por medio de sumas de reas de
rectngulos

Ejemplo

Clcular el rea de la regin limitada por las curvas

0 B B # C ! B ! B %

Solucin

Seguiremos el mtodo de Arqumides,para ello dividamos el intervalo ! %

en 8 subintervalos de igual longitud,por eso consideremos los puntos

>5 8% 5 5 ! " # 8
con los cuales formaremos los 8 subintervalos

>5" >5 con 5 " # 8

consideremos en los intervalos >5" >5 ,la menor de las imagenes de la

funcin ,en este caso se da en el punto >5" ya que la funcin es
estrictamente creciente,con ello podemos calcular el rea del mayor
rectngulo contenido bajo el grfico de 0 al cual denotaremos por V5
donde el rea de dicho rectangulo esta dada por EV5 donde

EV5 >5 >5" 0 >5" 8% 8% 5 " #

se tendra que la suma de las reas de todos los rectangulos inscritos ,es
menor que el rea de la regin ,limitada por la curva y el eje B

! EV5 ! % % 5 " #
8 8
en donde, sea : W8 8 8

! 8% # 5 " %# !
" ! 8)
5" 5"
8 #
8 8
)
8 8# 5

%# !
5" 5" 5"
8" #
% 8"8
8# 5 8) 8 8# # )
5!
) 8"
8 )
8"
se tiene que lim W8 lim ) 8 ) "'
8_ 8_

considerando lo hecho podemos decir que , si E es el rea buscada,se tendra

que : W8 E a 8 con lo cual "' E

Por otro lado, si consideramos los rectangulos circunscritos,para ello

consideremos en los intervalos >5" >5 ,la mayor de las imagenes de la
funcin ,en este caso se da en el punto >5 ya que la funcin es
estrictamente creciente,con ello podemos calcular el rea del menor
rectngulo que contiene a la porcin de regin bajo el grfico de 0 al cual
denotaremos por V5 donde el rea de dicho rectangulo esta dada por EV5
donde

EV5 >5 >5" 0 >5 8% 8% 5 #

 se tendra que la suma de las reas de todos los rectangulos circunscritos ,es
mayor que el rea de la regin ,limitada por la curva y el eje B

! EV5 ! % % 5 #
8 8
en donde, sea : W8 8 8

! 8% # 5 %# !
! 8)
5" 5"
8 #
8 8
)
8 8# 5

%# !
5" 5" 5"
8 #
% 88"
8# 5 8) 8 8# # )
5!
) 8"
8 )
8"
se tiene que lim W8 lim ) 8 ) "'
8_ 8_

considerando lo hecho podemos decir que , si E es el rea buscada,se tendra

que : E W8 a 8 con lo cual E "'

luego, en este caso podemos decir que el candidato a ser el valor del rea
buscada es E "' ya que las dos aproximaciones dieron el mismo valor

Ejercicio

Siguiendo el mismo procedimiento aproxime o determine el candidato a

valor del rea correspondiente, a la regin limitada por las curvas

0 B B# " C ! B! B'

Observacin

Siguiendo la misma idea haremos un planteamineto ms general de la

situacin.
Definicin

1.- Por una particin o sundivisin T del intervalo + , se entendera el conjunto

T >! >" >8 donde : + >! >" >8 , con 8

2.- Dada 0 + ,qqqqqp funcin acotada y T una particin de + ,

Sea 73 380 0 B B >3" >3

Q3 =?:0 B B >3" >3

i) llamaremos suma superior de 0 respecto a T al nmero real

WT ! Q3 >3 >3"
8

3"

ii) llamaremos suma inferior de 0 respecto a T al nmero real

WT ! 73 >3 >3"
8

3"

Observacin

1.- WT y WT representan las reas de los rectangulos que circunscriben e

inscriben a la regin limitada por las curvas :

C 0 B C! B+ B,

2.- La condicin " 0 acotada " es fundamental para la existencia

de los Q3 y los 73

3.- Se habla de supremo e infimo y no de mximo y minimo ya que no se

exige que 0 sea continua

Teorema
 Si 0 es una funcin acotada y T es una particin cualquiera de
+ , H970 se cumple que :
WT W T
Demostracin

se tiene que : 73 Q3 a3 ! " 8

73 >3 >3" Q3 >3 >3" a3 ! " 8

! 73 >3 >3" ! Q3 >3 >3"

8 8
a3 ! " 8
3" 3"

WT W T

Teorema

Si 0 es una funcin acotada y T U dos particiones cualquiera de

+ , H970 se cumple que :
WT W U
Observacin

Pueder suceder que para una cierta particin T se cumpla que :

WT W U

en tal caso, se tendra que dicho nmero es un buen candidato a ser el valor
del rea buscada

Ejemplo

1.- Si 0 B $ aB # & y consideramos la particin

T >! >" >8 donde : # >! >" >8 & con 8

se cumple que : 73 Q3 $ a3 " # 8

con lo cual se tiene que :

 ! 73 >3 >3" ! $ >3 >3"
8 8
WT
3" 3"

$ >8 >! $& # *

! Q3 >3 >3" ! $ >3 >3"

8 8
WT
3" 3"

$ >8 >! $& # *

con lo cual podemos decir que E *

" si B es irracional
2.- Si 0 B
4 ; si B es racional
aB ! &

y consideramos la particin

T >! >" >8 donde : ! >! >" >8 & con 8

se cumple que : 73 " Q3 % a3 " # 8

con lo cual se tiene que :

! 73 >3 >3" ! " >3 >3"

8 8
WT
3" 3"

>8 >! & ! &

WT ! Q3 >3 >3" ! % >3 >3"

8 8

3" 3"

% >8 >! %& ! #!

con lo cual, el procedimiento no sirve para determinar el valor del rea

buscada
Definicin

Dada 0 + ,qqqqqp funcin acotada

Llamaremos integral superior de 0 respecto a B en + ,, al nmero real

' 0 B.B 380 WT T particin de + ,

,

Llamaremos integral inferior de 0 respecto a B en + ,, al nmero real

' 0 B.B =?:WT T particin de + ,

,

Teorema

Sea 0 + ,qqqqqp funcin acotada

' 0 B.B ' 0 B.B

, ,
se cumple que
+ +

Definicin

Sea 0 + ,qqqqqp funcin acotada

Diremos que 0 es integrable en + , segun Riemann

' 0 B.B ' 0 B.B

, ,
ssi
+ +

al valor comun se le denotara por ' 0 B.B

,

y se le llama " La integral de Riemann de 0 en + , "

Ejemplo
 Considerando lo visto podemos decir que

1.- ' B #.B "'

%

2.- ' $.B "&

&

Observacin

1.- Si 0 B ! aB + ,

el nmero ' 0 B.B recibe el nombre de rea y representa el valor del

,

+
rea de la regin limitada por las curvas :

C 0 B C ! B + B ,

2.- Llamaremos limites de integracin a los nmeros + y ,

3.- ' 0 B.B es el nico nmero que satisface la desigualdad :

,

' 0 B.B WT
,
WT +
aT

Teorema

Si 0 + ,qqqqqp funcin acotada

entonces

0 es R. I. en + , ==3 a% !bT particin WT WT %

Ejemplo
 Sea 0 B B B ! , , !

sea T8 ! 8, #,
8 , se tiene que :

! ,5" ,# !
8 8
,5 ,5" ,# 8"
W T8 8 8 8 8# 5 " # 8
5" 5"

WT8 ! ,85 ,5 ,# !
8 8
,5" ,# 8"
8 8 8# 5 # 8
5" 5"

por lo tanto se tiene que :

,# ,#
WT 8 W T8 8 y como lim !
8_ 8

se tiene que a% !bT8 particin WT8 WT8 %

luego 0 es R.I.

,#
y como lim WT8 lim WT8 #
8_ 8_

' B.B
se tendra que
,
,#
! #

Ejercicio

Demuestre que 0 B B# B ! , , !
es R.I. ,usando el Teorema anterior

Teorema

Si 0 + ,qqqqqp funcin continua

entonces 0 es Riemann Integrable (R. I.) en + ,

Definicin

Sea E , diremos que E es un conjunto de medida nula

 ssi a% !bM3 3 sucesin de intervalos) tal que

2.- !6M3 % donde 6M3 largo del intervalo M3

1.- E M" M# M8

Ejemplo

1.- E " " $ &

% % % %
sea M" " "' " "' , M2 " "' " "'

% % % %
M3 $ "' $ "' , M% & "' & "'
se tiene que
6M" )% 6M# )% 6M$ )% 6M% )%
con lo cual

! 6M3
%
%
E M" M # M 3 M 4 y # %
3"
por lo tanto E es un conjunto de medida nula

Observacin

Si E" E7 es una suc de conjuntos de medida nula en

entonces la union de ellos es un conjunto de medida nula

Teorema
Sea 0 + , qqqqqp acotada
sea E B + ,0 no es continua conjunto de medida nula
Entonces
0 es Riemann Integrable en + ,

Ejemplo

1.- 0 B B funcin parte entera B ! &

 se tiene que E B ! &0 no es continua " # $ % &
el claramente es un conjunto de medida nula
por lo tanto 0 es R.I. en ! &

2.- 0 B B B funcin parte decimal B ! &

se tiene que E B ! &0 no es continua " # $ % &

el claramente es un conjunto de medida nula
por lo tanto 0 es R.I. en ! &

#B $ B "

3.- 0 B $B# 'B "

"B" B $ %

#B#
/ B "

se tiene que E B $ %0 no es continua " "

el claramente es un conjunto de medida nula
por lo tanto 0 es R.I. en $ %

Teorema

Sean 0 1 + , qqqqqp acotadas y R.I.

tal que
0 B 1B aB + ,E con E conjunto de medida nula

'+ 0 B.B ' 1B.B

entonces
, ,

Ejemplo
 B# %
Sea 0 B
B# B#

&
B ! %
B#

' 0 B.B
Calcular
%

!
Solucin

Se tiene que 0 es R.I. en ! % ya que 0 es acotada en ! %

y continua en ! %# y # es de medida nula

por otro lado

0 B B # 1B aB ! %#

y se tiene que ' 1B.B ' B #.B "'

% %

! !

por lo tanto ' 0 B.B ' 1B.B "'

% %

! !

Teorema

Sean + - , y 0 + , qqqqqp acotada

0 es R.I. en + , ssi 0 es R.I. en + - y - ,

y se tendra que

' 0 B.B ' 0 B.B ' 0 B.B

, - ,

+ + -

Ejemplo
 #B &
si 0 B
"B#

&/B# % #B&

como 0 es continua en " & se tiene que 0 es R.I. en " &

por lo tanto lo es en " # y # &
y se tendra que

' 0 B.B ' 0 B.B ' 0 B.B

& # &

" " #

' 0 B.B ' &/B# % .B

# &

" #

' #B &.B ' &/B# % .B

# &

" #

las cuales podremos clcular ms adelante

Observacin

Por el momento sabemos cuando una funcin es R.I. y que funciones son
R.I., lo que no sabemos es como calcular el valor de la integral, ya que es
claro que por medio de particiones no es posible lograrlo,por ello el
problema anterior quedara en espera.

Teorema

Sea 0 + , qqqqqp R.I.

tal que 7 0 B Q aB + ,

Entonces 7, + ' 0 B.B Q , +

,

Observacin
 De lo anterior se tiene que

1.- ' 0 B.B !

+

2.- ' 0 B.B ' 0 B.B

, +

+ ,

Teorema

Sea 0 + , qqqqqp continua

Entonces la funcin J B ' 0 >.> B + ,

B

+
es diferenciable en + , y adems

J B 0 B aB + ,

Teorema "/< T.F.C

Sea 0 + , qqqqqp continua

y supongamos que existe 1 funcin tal que 1 B 0 B

' 0 B.B 1, 1+ 1B,+

,
Entonces la funcin
+
Demostracin

Sea J B ' 0 >.> B + ,

B

luego J es derivable y J B 0 B y como

1 B 0 B se tendra que

J B 1 B
b - tal que J B 1B -

y como J + ' 0 >.> ! se tiene que 1+ - !

+

+
 y como J , ' 0 >.>
luego - 1+ con lo cual J B 1B 1+
,

' 0 >.> 1, 1+
,
se tiene que
+

Observacin

1.- Si se exige que 0 sea R.I. en vez de continua , se tiene

el llamado #.9 T.F.C.

' 0 B.B 1B,+ 1, 1+

,
2.-
+

Ejemplo Resolver

' 'B# %B $.B

$
1.-
"

Solucin

Se tiene que una primitiva de la funcin es 1B #B$ #B# $B

por lo tanto, se tendra que.

' 'B# %B $.B 1B$" 1$ 1 " &#

$

"

' B ##B ".B

%
2.-
!

Solucin

en ' B ##B ".B

sea ? #B " se tiene que B ?" ademas "# .? .B

' B ##B ".B ' ?" ? "# .? "% ' ? $ ?.?

#
con lo cual, al sustituir se tiene :

' "% ? # $% ? # .? "!

# #
$ " " & $
? # "# ? # -
" & $
"! #B " # "# #B " # -
 luego, se tiene que una primitiva de la funcin es :

" & $
1B "! #B " # "# #B " # por lo tanto, se tendra que.

' B ##B ".B 1B%! 1% 1!

%
"%" $ "$)
& & &
!

"
3.- ' 0 B.B si 0 B
7
B " %

!
1
B " %
Solucin
"
dada 0 B
B " %

!
se tiene que
B " %

! B"

J B B " " B %


es primitiva de 0


$ B%

por lo tanto

' 0 B.B J B(" J ( J " $ ! $

7

Teorema

Sean 0 1 + , qqqqqp continuas , 5 constante en

entonces
 0 1 50 son R.I. en + , y se tendra que

' (0 1)B.B ' 0 B.B ' 1B.B

, , ,
1.-
+ + +

' 5 0 B.B 5 ' 0 B.B

, ,
2.-
+ +

Ejemplo

' $B /B# % #B $.B $' B /B# % .B ' #B.B ' $.B

# # # #

# # # #

$# ' #B /B % .B ' #B.B ' $.B

# # #
#

# # #

/B % # B# # $B# ' "# ")

# # # #
$
#

Teorema

Sea 0 + , qqqqqp continuas tal que 0 B ! aB + ,

1.- ' 0 B.B !

,
entonces
+

2.- ' 0 B.B ! ssi 0 ! es funcin nula

,

Demostracin

1.- Sea J B ' 0 >.> con lo cual

B
J B 0 B !
+

luego se tiene que J B ! es decir J es creciente

es decir ' 0 B.B !

,
y como J + ! se tendra que J , !
+

' 0 B.B J B,+ !

2.- ( )
,
como 0 continua J B 0 B C
+

por lo tanto J , J + ! es decir J , J + pero J + !

 luego J , ! pero J es creciente ,por lo tanto

J B ! para todo B es decir J es constante

por lo tanto J B ! 0 B

Teorema

Sean 0 1 + , qqqqqp continuas tal que 0 B 1B

' 0 B.B ' 1B.B

entonces
, ,

+ +

Demostracin

Considerar 2B 1B 0 B ! y usar Teo. anterior

Teorema

Sea 0 + , qqqqqp continua

' 0 B.B ' 0 B.B

, ,
entonces
+ +

Demostracin

Se tiene que : 0 B 0 B 0 B para todo B

con lo cual : ' 0 B.B ' 0 B.B ' 0 B.B

, , ,

+ + +

por lo tanto : ' 0 B.B ' 0 B.B

, ,

+ +
Ejemplo

1.- Dada KB ' /> " .> se tiene que, como 0 > /> " es continua en
B
# #

"
#
K B /B "
2.- Dada LB ' B# /> " .> se tiene que
B
#

LB B ' /> " .> B# KB con lo cual

"
B
#
#

L B #B ' /> " .> B# /B "

"
B
# #

"

3.- Dada J B '

$B% "
#
/> " .> se tiene que si 1B $B% "

J B K 1B K1B K$B " '

"
$B% "
#
%
/> " .>
"

con lo cual
J B K 1 B K 1B 1 B
% #
/$B " " "#B$

4.- Dada WB ' /> " .> se tiene que WB ' /> " .> KB
" B
# #

B "

#
con lo cual W B K B K B /B "

5.- Dada VB '

B# "
#
/> " .> se tiene que

VB ' .> '

/B %
" B# "
># " #
/ /> " .>
/B % "

' .> '

/B % B# "
># " #
/ /> " .>
" "

B # # #
con lo cual V B // % " /B /B " " #B

6.- Calcular
'
B =/8# >
> .>$B#
!
lim $B# B$
B!

Solucin
 '
B =/8# >
> .>$B#
Se tiene que lim !
$B# B$ !! P L
B!

=/8# B
'B =/8# B 'B# !
lim B
'B$B# lim
'B# $B$ ! PL
B! B!

#=/8B-9=B "#B
lim "#B*B# !!
B!

=/8#B "#B
lim "#B*B# !! P L
B!

#-9=#B "# &

lim "# ")B '
B!
luego
'
B =/8# >
> .>$B#
&
lim !
$B# B$ '
B!

Observacin

Se tiene tambien que

' 0 B.B lim !0 63 B3 sumas de Riemann

,

+ B3 !

! 0 65 (>5 >5"
8

>5 >5" ! 5"

lim

Ejemplo

" " # 8
Calcular lim 8 / / 8 / 8
8
8_

Solucin
 Sea 0 B /B T 85 5 " # 8 8
se tiene que
>5 85 luego >5 >5" 8"

5
como 0 es creciente 65 8

por lo tanto se tendra que

/ 8 / 8 ' /B .B /B ! / "
"
" " # 8 "
lim 8 /
8
8_ !

Teorema (Sustitucin )

Sea 0 + , qqqqqp continua

B qqqqqp 0 B
1 - . qqqqqp + , continuamente diferenciable
C qqqqqp 1C
tal que 1 estrictamente creciente

' 0 B.B ' 0 1C1 C.C

Entonces
, .

+ -
Observacin

Sea 0 + , qqqqqp continua

B qqqqqp 0 B
1 - . qqqqqp + , continuamente diferenciable
C qqqqqp 1C
tal que 1 estrictamente decreciente

' 0 B.B ' 0 1C1 C.C

Entonces
, -

+ .

Ejemplo

Calcular ' B #.B

(

sea C B # B C # 1C 1 C " !
 luego 1 es estrictamente creciente y .B .C
con lo cual si B # C ! B ( C *

' B #.B ' C.C #$ C $# *! #$ * $# #$ ! $# ")

luego
( *

# !

Ejemplo

' #B "
"
$
Calcular B ".B
#

Solucin

Sea C $
B " C $ B " B C $ " .B $C # .C
tambien se tiene que .B #
.C $C !
luego la funcin B es estrictamente creciente en donde :
si B # C " B " C !
por lo tanto :

' #B " B ".B ' #C $ " " C $C # .C

) !
$
# "

$' # C' C $ .C
!

"

'( C( $% C % "
!

'( !( $% !% '( "( $% "%

' $ %&
( % #)

Ejemplo

'
$

"
Calcular 2 #
B "
.B
!

Solucin
 Sea B >1> .B =/- # >.>

y se tiene que : si B ! > ! B $ > 1$

con lo cual, es claro que la funcin B >1> es estrictamente creciente

por lo tanto se tendra que :

' '
$ 1

$
" "
2 #
B "
.B 2
>1# >"
=/- # >.>
! !

'
1

=/-> =/- >.>

$
" #
!

' =/- >.> 68=/-> >1>

1 1
$ $

! !

68=/- 1$ >1 1$ 68=/-! >1!

68# $ 68" 68# $

Ejemplo

'"
$

B
Calcular 2 #
B "
.B

Solucin
 .C
Sea C B# " .B #B .C #B.B
y es claro que la funcin es creciente si B ! decrerciente si B !
por lo tanto consideremos que

'" '" '

$ ! $

B B B
2 #
B "
.B 2 #
B "
.B 2 #
B "
.B
!

en donde si B " C # B ! C " B $ C %

con lo cual, se tiene :

'" '" '

$ ! $

B B B
2 #
B "
.B 2 #
B "
.B 2 #
B "
.B
!

' '
" %

# # # "
" .C " .C
2 C 2 C

' '
# %

# " # "
" .C " .C
2 C 2 C

' C # #
% %

# #
" .C
2 C
#

Ejemplo

Sea 0 ! _qqqqp funcin que satisface ( simultneamente)

las siguientes propiedades
i) 0 " "
 ii) '!B /#># " 0 >.> B$ #B " 0 B

Determine explcitamente 0

Solucin

como /#># " 0 > es continua, en

'!B /#># " 0 >.> B$ #B " 0 B

derivando se tiene que :

/#B# " 0 B $B# # 0 B

es decir 0 B $B# # /#B#

por lo tanto, integrando se tiene que

0 B ' $B# # /#B# .B

y por el mtodo por partes se tiene que

0 B ' $B# # /#B# .B

'B# 'B" #B#

% / -

"$ *
pero 0 " " % - "- %
por lo tanto

'B# 'B" #B# *

0 B % / %

Ejemplo

0 B '
B#
#
Sea /> B .>
%B#

Determine 0 w #
Solucin

0 B ' /> B .> /B '

B# B#
# #
/> .>
%B# %B#

con lo cual
# # #
0 w B /B# /%B #B

por lo tanto 0 w # " % &

Ejemplo

Sea 0 ! _ qqqqqp funcin continua tal que

' '
B# "B #
B"
0 >.> / 0 >.> *
! B"

Determinar el valor de 0 #

Solucin

como 0 es continua, se tiene derivando * que

0 B# " B (#B $B# /B" 0 B " "

es claro que evaluando en B " , se tiene :

"
0 # (& " 0 # 0 # '