Está en la página 1de 4

Captulo I

Introducci
on
I.1.

La integral hasta 1900

Sea f : [a, b] R acotada y sea P = {a = x0 < x1 . . . < xn = b} una particion del


intervalo [a, b].
Sea Ij = [xj1 , xj ], j = 1, 2, . . . y sean tambien sj = supIj f (x) y ij = nf Ij f (x).
Entonces definimos las sumas superior e inferior como
Uf (P) =

n
!

sj (xj xj1 )

Lf (P) =

n
!

ij (xj xj1 )

j=1

j=1

Decimos entonces que f es integrable si existen particiones que permitan aproximar


las sumas anteriores de forma arbitraria.
Ejemplo
f : [0, 1] R definida por f (x) = x2 . Definimos la particion P = {xj =
con j = 0, 1, . . . n}. Entonces
n
!
j 1
1
Uf (P) =
( )2 = . . .
n n
3
j=1

Lf (P) =

n
!
j1 2 1
1
(
)
= . . .
n
n
3
j=1

Resulta entonces que Uf (P) Lf (P) =


"

1 n
n

x2 =

1
3

0, lo que implica que

j
n,

Teora de la integral y de la medida

Figura I.1: Suma inferior para la funcion x2 . En este caso n = 10

Figura I.2: Suma superior para la funcion x2 . En este caso n = 10


Damos a continuacion un ejemplo de funcion no integrable Riemann:
#
1, x Q [0, 1];
f (x) = lm lm (cos( m! x))2n =
m n
0, x
/ Q [0, 1].

Entonces, P particion se tiene que Uf (P) = 1 y que Lf (P) = 0. Con lo que no es


n
cierto que Uf (P) Lf (P) 0.

I.2.

La cuerda vibrante

Queremos encontrar u(x, t) que verifique


2
2u
2 u
=

(Ec. de Ondas)
t2
x2

u(0, t) = u(, t) = 0, t
u(x, 0) = f (x), x
Tenemos las soluciones simples un (x, t) = cos (nt) sin (nx) y, por ser la EDP homogenea, cualquier combinaci
on lineal de soluciones, tambien es solucion de la ecuacion
$
de ondas. Entonces u(x, t) =
n=1 an cos (nt) sin (nx) con an R , C tambien es solucion.

Teora de la integral y de la medida

Como u(x, t) verifica las condiciones iniciales y de contorno, se deberia tener


N
!

an sin (nx) = f (x)

n=1

pero la parte de la izquierda es una funcion analtica, y la funcion f no tiene por que serlo.
Para que sea esto posible, como son los an ?.
Para ello debemos fijarnos en que
#
"
0, n &= m;
sin(nx) sin(mx) dx =

0
2 , n = m.

y entonces tenemos que


"

f (x) sin(mx) dx =

"

an sin(nx)) sin(mx) dx =

n=1

n=1

con lo que obtenemos una formula para los an :


2
an =

"

an

"

sin(nx) sin(mx) dx = am

f (x) sin(nx) dx

El problema es que para llegar a este resultado, hemos integrado termino a termino
una serie infnita, y eso hay que justificarlo. Si la suma fuera finita, no habria problema.
Luego se trata de determinar cuando es cierto que
"
"
lm fn (x) dx = lm
fn (x) dx
0

I.3.

n 0

La integral de Lebesgue
Dos formas de contar el dinero seg
un Lebesgue
Una aproximacion a la medida de cualquier conjunto:
la medida exterior de Lebesgue.
Existen conjuntos que no pueden ser medidos.

Teora de la integral y de la medida


Conjuntos extra
nosde medida peque
na: El conjunto de Cantor.
Los teoremas sobre convergencia: TCM, lema de Fato
u, TCD.
........

I.4.

Diferenciacion & la integral de Lebesgue

Uno de los logros del Calculo es el T.F.C. (Teorema Fundamental del Calculo):
TEOREMA 1.1
Sea f continua y defi% x (T. FUNDAMENTAL DEL CALCULO)
namos F (x) = 0 f (y) dy. Entonces F es derivable y adem
as F $ (x) = f (x), x.
Esto nos permite calcular primitivas para lafuncion f . En general, si sabemos que G
es una primitiva de f (i.e. G$ = f ), entonces
"

f = G(b) G(a)

Por definicion de lmite, lo que el T.F.C. dice es que


1
F (x + h) F (x)
= lm
F (x) = lm
h0 h
h0
h
$

"

x+h

f (y) dy

pero, podemos esperar que el lmite de la derecha exista, incluso si f no es continua, y


coincida con el valor de f en x?.
A las preguntas planteadas en esta introduccion, daremos respuesta con resultados
importantes que tambien serviran para obtener otras conclusiones que nos seran de gran
utilidad.
Ademas veremos que cualquier teora de la medida da lugar de forma natural a una
teora de la integral. Y es que INTEGRAR es MEDIR ... y RECIPROCAMENTE !!