Seminario 1

La integral de Pettis y funciones holomorfas en espacios de
Banach.
La integral de Pettis y funciones holomorfas en espacios
de Banach.
Cesar Octavio Perez Regalado
Escuela Superior de Fsica y Matematicas del IPN
3 de mayo de 2011
Cesar Octavio Perez Regalado (Escuela Superior de Fsica y Matematicas del IPN) 1 / 30
Banach.
Indice
1
La integral de Pettis
2
Funciones Holomorfas
Banach. La integral de Pettis
Funciones debilmente medibles
Denici on
Una funcion f : X es llamada debilmente F-medible si f es
F-medible para toda X
.
Denotamos al conjunto de todas las funciones f : X debilmente
F-medibles por W(, X).
Lema
Sea f W(, X) tal que para cada X
la funcion f : C es
Lebesgue -integrable. Entonces para todo A F el funcional
A
denido
por
A
() :=
_
A
f d X
,
es lineal y acotado.
Demostracion: Sean a, b C y , X
entonces
A
(a +b) =
_
A
(a +b) f d = a
_
A
f d +b
_
A
f d
Consideremos el operador
T
A
() := (f
A
)
notemos que T
A
es un operador lineal. Sean y {
n
}
n=1
en X
tales que
lim
n
n
= 0.
Sea x X como
n
(x) (x)
n
x ,
se tiene que
lim
n
n
(x) = (x) x X.
Si existe g L
1
tal que
lim
n
T
A
(
n
) = g
es decir
lim
n
_
|
n
(f
A
) g| d = 0.
Por el Lema de Riesz existe {
n
k
(f
A
)}
k=1
que converge -c.t.p. a g,
esto implica que
g = (f
A
) -c.t.p.
Por el teorema de la graca cerrada T
A
es un operador acotado. Luego
|()| =
T
A
() d
|T
A
()| d
= T
A
()
T
A
.
Denici on
Si f W(, X) tal que ( f) es Lebesgue -integrable para toda
X
, entonces f es llamada Dunford -integrable.

Dada A F y f Dunford -integrable se dene la integral de Dunford de
f sobre A como
D
_
A
f d :=
A
.
Denici on
Si f W(, X) tal que ( f) es Lebesgue -integrable para todo
X
, entonces f es llamada Pettis -integrable si para todo A F,

existe x
A
X tal que
(x
A
) =
_
A
f d X
,
en este caso, denimos a la integral de Pettis de f sobre A como
P
_
A
f d := x
A
.
Denotaremos al conjunto de todas las funciones f W(, X) Pettis
-integrables por P
(, X).
Banach. Funciones Holomorfas
Denici on
Sea C un subconjunto abierto, y sea X un espacio de Banach
complejo. Se dice que una funcion f : X es fuertemente holomorfa
en z si
lim
h0
f(z +h) f(z)
h
existe, en este caso denotamos a este lmite por f
s
(z) y le llamaremos la
derivada fuerte de f en z.
Denici on
complejo. Se dice que una funcion f : X es debilmente holomorfa en
z si f es una funcion holomorfa en z para cada X
. Si existe
f
w
(z) X tal que
lim
h0
f(z +h) f(z)
h
= (f
w
(z)) X
,
entonces diremos que f
w
(z) es la derivada debil de f en z
Teorema
complejo. f : X es una funcion debilmente holomorfa en si y solo si
f es fuertemente holomorfa en . Ademas para todo z existe f
w
(z) y
f
w
(z) = f
s
(z).
Demostracion: Sea
0
, sea X
, entonces
(f(
0
+h)) (f(
0
))
h
=
_
f(
0
+h) f(0)
h
_
Como f es fuertemente holomorfa y es continua, entonces al tomar el
lmite cuando h 0 se tiene que
(f(
0
+h)) (f(
0
))
h
= (f
s
(z)),
as (f) es holomorfa en , luego f es debilmente holomorfa en y
f
w
(z) = f
s
(z) z .
Sea
0
, sea C una curva recticable de Jordan tal que
C Int(C) y
0
Int(C). Sea Z
0
cualquier dominio abierto tal que
Z
0
Int(C). Entonces por la formula integral de Cauchy se tiene que
(f(
0
)) =
1
2i
_
C
(f())

0
d.
Entonces, si
0
+h y
0
+g pertenencen a Z
0
con h = g y h = 0, g = 0,
se tiene
(hg)
1
_
(f(
0
+h))(f(
0
))
h

(f(
0
+g))(f(
0
))
g
_
=
(hg)
1
_
_
_
1
2i
C
(f())
0
h
d
1
2i
C
(f())
0
d
h

1
2i
C
(f())
0
g
d
1
2i
C
(f())
0
d
g
_
_
_
=
(hg)
1
_
1
2i
_
C
(f())
1
0
h
0
h

1
0
g
0
g
d
_
=
(hg)
1
_
1
2i
_
C
(f())
1
(
0
h)(
0
)
1
(
0
g)(
0
)
d
_
=
(hg)
1
_
1
2i
_
C
(f())
hg
(
0
h)(
0
g)(
0
)
d
_
=
1
2i
_
C
(f())
_
1
(
0
h)(
0
g)(
0
)
_
d
Como (f()) es holomorfa en Z, entonces sea M() = sup
C
(f()),
como
0
,
0
+g,
0
+h Z
0
y

Z
0
IntC, entonces
|
0
|K
|
0
h|K
|
0
g|K
donde K := d(Z
0
, C) > 0
Luego
1
2i
_
C
(f())
_
1
(
0
h)(
0
g)(
0
)
_
d

1
2
_
C
(f())
_
1
(
0
h)(
0
g)(
0
)
_
d
1
2
_
C
M()
K
3
d
1
2
M()
K
3
long(C)
Esto implica que para un X
jo se tiene que
(h g)
1
_
(f(
0
+h)) (f(
0
))
h

(f(
0
+g)) (f(
0
))
g
_
esta acotada uniformemente para
0
,
0
+h,
0
+g Z
0
.
Notemos que por la linealidad de los elementos de X
se tiene que,
(hg)
1
_
(f(
0
+h))(f(
0
))
h

(f(
0
+g))(f(
0
))
g
_
=
_
(hg)
1
_
f(
0
+h))f(
0
)
h

f(
0
+g)f(
0
)
g
__
Luego
sup
0
,
0
+h,
0
+gZ
0
_
(hg)
1
_
f(
0
+h))f(
0
)
h

f(
0
+g)f(
0
)
g
__
<M
<+ X
entonces,
M=sup
0
,
0
+h,
0
+gZ
0
_
_
_(hg)
1
_
f(
0
+h))f(
0
)
h

f(
0
+g)f(
0
)
g
__
_
_<+ (1)
Sea {z
n
}
n=1
una sucesion tal que
0
+z
n
Z
0
, z
n
= 0 para toda n N,
z
n
= z
m
si n = m y lim
n
z
n
= 0. Esta sucesion genera una sucesion
_
f(
0
+z
n
)f(
0
)
z
n
_
n=1
en X, que por (1) es de Cauchy y por ser X completo
existe f
(
0
) tal que
lim
n
f(
0
+z
n
) f(
0
)
z
n
= f
(
0
).
Sea > 0, sea |h| <

M
entonces
_
_
_
f(
0
+h)f(
0
)
h
f
(
0
)
_
_
_
_
_
_
f(
0
+h))f(
0
)
h

f(
0
+z
n
)f(
0
)
z
n
_
_
_+
_
_
_
f(
0
+z
n
)f(
0
)
z
n
f
(
0
)
_
_
_
M|hz
n
|+
_
_
_
f(
0
+z
n
)f(
0
)
z
n
f
(
0
)
_
_
_M|h|+M|z
n
|+
_
_
_
f(
0
+z
n
)f(
0
)
z
n
f
(
0
)
_
_
_
+C|z
n
|+
_
_
_
f(
0
+z
n
)f(
0
)
z
n
f
(
0
)
_
_
_ nN
Tomando el lmite cuando n se tiene que
_
_
_
_
f(
0
+h) f(
0
)
h
f
(
0
)
_
_
_
_
< ,
es decir lim
h0
f(
0
+h)f(
0
)
h
= f
(
0
), entonces f es fuertemente
holomorfa y por la primera parte de la demostracion se tiene que
f
w
(z) = f
s
(z) z .
Corolario
Si f : X es una funcion holomorfa en , entonces f es continua en
Demostracion: Se tiene que
f( +h) +f() =
_
_
_
_
f( +h) +f()
h
_
_
_
_
|h| ,
y tomando el lmite cuando h 0 se obtiene el resultado.
Teorema (Teorema integral de Cauchy)
Sea f : X holomorfa en , sea C una curva recticable de Jordan tal
que C Int(C) , entonces
_
C
f() d = 0.
Demostracion: Sea X
entonces (f()) es una funcion holomorfa en

, por el Teorema integral de Cauchy se tiene que
_
C
(f()) d = 0 = (0) X
.
Luego por la denicion de la integral de Pettis se tiene que
_
C
f() d = 0
Teorema (Representacion integral de Cauchy)
Sea f : X holomorfa en , sea C una curva recticable de Jordan tal
que C Int(C) , entonces
f(
0
) =
1
2i
_
C
f()

0
d
0
Int(C).
Demostracion: Sea
0
Int(C), sea X
, entonces
(f(
0
)) =
1
2i
_
C
(f())

0
d,
dado que es lineal entonces
(2if(
0
)) =
_
C
_
f()

0
_
d X
.
Luego
f(
0
) =
1
2i
_
C
f()

0
d
0
Int(C).
Teorema
Sea f : X holomorfa en , entonces f tiene derivadas de todos los
ordenes sobre , y para cualquier
0

f
(n)
(
0
) =
n!
2i
_
C
f
(
0
)
n+1
d n N (2)
donde C es una curva recticable de Jordan tal que C Int(C) y
0
Int(C), Ademas
(f(
0
))
(n)
= (f(
0
)
(n)
) X
, n N (3)
Demostracion: Probemos por induccion sobre n, cuando n = 0 se cumple
pues es el teorema de la representacion integral de Cauchy. Supongamos
que para n = k se tiene que f
(k)
cumple (2) y (3). Probemos que f
(k)
es
holomorfa sobre y que f
(k+1)
cumple (2) y (3).
Sea X
entonces por (3) se tiene que

(f
(k)
(
0
)) = (f(
0
))
(k)
que es una funcion holomorfa sobre para todo X
, entonces f
(k)
es
holomorfa sobre .
Luego para cualquier
0

lim
h0
_
f
(k)
(
0
+h)f
(k)
(
0
)
h
_
=
_
lim
h0
f
(k)
(
0
+h)f
(k)
(
0
)
h
_
X
,nN,
es decir
(f
(k)
(
0
))
= (f
(k+1)
(
0
)) X
, n N,
luego por hipotesis de induccion se tiene que f
(k+1)
(
0
) cumple (3).
Sea X
entonces
(f
(k+1)
(
0
)) = (f(
0
))
(k+1)
=
(k + 1)!
2i
_
C
(f())
(
0
)
k+2
d
0
Int(C)
donde C es una curva recticable de Jordan tal que C Int(C) .
Entonces
_
2i
(k + 1)!
f
(k+1)
(
0
)
_
=
_
C
_
f()
(
0
)
k+2
_
d
0
Int(C).
Finalmente
f
(k+1)
(
0
) =
(k + 1)!
2i
_
C
f()
(
0
)
k+2
d
0
Int(C).
Bibliografa
Rudin, W.: Functional Analysis, McGraw-Hill Book Company,
New York, 1973.
Yosida, K.:Functional Analysis Springer-Verlag New York Inc.,
New York, 1968.
Gracias!

Seminario 1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Seminario 1

Transféré par

Droits d'auteur :

Formats disponibles

La integral de Pettis y funciones holomorfas en espacios de

, entonces f es llamada Dunford -integrable.

, entonces f es llamada Pettis -integrable si para todo A F,

entonces (f()) es una funcion holomorfa en

entonces por (3) se tiene que

Vous aimerez peut-être aussi