Comite Agosto 12

Formulas de Sokhotski-Plemelj para funciones que toman valores en
un espacio de Banach.
F ormulas de Sokhotski-Plemelj para funciones que
toman valores en un espacio de Banach.
Cesar Octavio Perez Regalado
Dr. Michael Shapiro Fishman
Escuela Superior de Fsica y Matematicas del IPN
1 de noviembre de 2012
un espacio de Banach. Introduccion
Introduccion
Denici on
Sea A un conjunto, sea B una coleccion no vaca de subconjuntos de A se
dice que B es una base en A si:
1
C = C B.
2
Para todos C
1
, C
2
B existe C B, tal que C C
1
C
2
.
Denici on
Sea B una base sobre A y X un espacio de Banach, sea f : A X una
funcion. Se dice que a X es el lmite de f sobre la base B, si para cada
> 0 existe C B tal que;
a
0
f (x) < x C.
Si a es el limite de f sobre B lo escribiremos:
lim
B
f (x) = a.
Teorema (Criterio de Cauchy para la existencia del lmite de una
funci on)
Sea B una base sobre A y X un espacio de Banach, sea f : A X una
funcion. Entonces f tiene un limite sobre B, si y solo si para cada > 0
existe C B tal que;
f (x) f (y) < x, y C.
Denici on
Una particion P de un intevalo cerrado [a, b] con a < b, es un sistema
nito de puntos x
0
, . . . , x
n
tales que
a = x
0
< x
1
< . . . < x
n
= b.
Los intervalos [x
i1
, x
i
] , (i = 1, . . . , n) son llamados los intervalos de la
particion P. Sea (P) la norma de la particion P y se dene por;
(P) := sup {|x
i
x
i1
| : i = 1, . . . , n} .
Denici on
Sea P una particion de [a, b] sean
1
, . . . ,
n
[a, b] tales que;
i
[x
i1
, x
i
] i = 1, . . . , n.
Si denotamos por a los puntos (
1
, . . .
n
), entonces a la pareja (P, ) le
llamaremos una particion etiquetada de [a, b] .
Sea P([a, b]) el conjunto de todas las particiones etiquetadas (P, ) sobre
[a, b], para cada d > 0 consideramos el conjunto
B
d
([a, b]) := {(P, ) P([a, b]) : (P) < d} .
Proposicion
El conjunto:
B([a, b]) := {B
d
([a, b]) : d > 0} ,
es una base sobre P([a, b]).
Denici on
Sea X un espacio de Banach H-bilateral, sea f : [a, b] X una funcion y
(P, ) una particion etiquetada de [a, b] , denimos la suma de Riemann
izquierda de f respecto a (P, ),
i
(f; (P, )) como:
i
(f; (P, )) :=
n
i=1
(x
i
x
i1
) f (
i
) .
De manera analoga se dene la suma de Riemann derecha de f respecto a
(P, )
r
(f; (P, )):
r
(f; (P, )) :=
n
i=1
f (
i
) (x
i
x
i1
) .
Consideremos una funcion ja f
0
, y consideremos la funcion
(P, )
f
0
(P, ) := (f
0
; (P, )) ,
en este caso dado que B es una base sobre P y
f
0
: P([a, b]) X
entonces tiene sentido considerar el limite de
f
0
sobre B([a, b]) .
Denici on
Sea X un espacio de Banach, sea f : [a, b] X una funcion, si existe
I
f
X tal que:
I
f
= lim
B([a,b])
f
(P, ) ,
entonces diremos que f es Riemann integrable sobre [a, b] y que I
f
es la
integral de Riemann de f y la denotaremos como
b
_
a
f (x) dx.
Proposicion
Sea X un espacio de Banach, y sea f : [a, b] X una funcion. Entonces
f es Riemann integrable sobre [a, b] si y solo si, para todo > 0 existe
d > 0 tal que;
f;
f;
<
B
d
([a, b]) .
Proposicion
Sea f : [a, b] X una funcion Riemann integrable sobre [a, b], entonces f
es Riemann integrable sobre cualquier subintervalo de [a, b].
Proposicion
Sea f : [a, b] X una funcion Riemann integrable sobre [a, b], si M > 0
es una cota de f sobre [a, b], entonces
_
_
_
_
_
_
b
_
a
f (x) dx
_
_
_
_
_
_
M (b a) .
Proposicion
Sean X, Y espacios de Banach f : [a, b] X una funcion Riemann
integrable sobre [a, b], sea T : X Y un operador lineal acotado, entonces
la funcion T f : [a, b] Y es Riemann integrable sobre [a, b] y ademas,
T
_
_
b
_
a
f (x) dx
_
_
=
b
_
a
T f (x) dx.
Denici on
Sea X un espacio de Banach, y sea f : [a, b] X una funcion,
1
Se dice que f es debilmente medible, si f es una funcion medible
para cada X
.
2
Se dice que f es de variacion acotada debil sobre [a, b], si f es una
funcion de variacion acotada sobre [a, b] para cada X
.
3
Se dice que f es de variacion acotada externa sobre [a, b], si
sup
__
_
_
_
_
i
(f (d
i
) f (c
i
))
_
_
_
_
_
_
< ,
donde el supremo es tomado sobre todas las colecciones nitas
{[c
i
, d
i
]} de subintervalos que no se superponen de [a, b].
Proposicion
Sea f : [a, b] X una funcion. Entonces f es de variacion acotada debil
sobre [a, b], si y solo si f es de variacion acotada externa sobre [a, b] .
Proposicion
Sea f : [a, b] X una funcion Riemann integrable sobre [a, b], entonces
para cada X
se tiene que f es Riemann integrable sobre [a, b] y
_
_
b
_
a
f (x) dx
_
_
=
b
_
a
f (x) dx.
Entonces f es una funcion debilmente medible y para cada X
se
tiene que f es continua casi donde quiera sobre [a, b] .
Teorema
Sea f : [a, b] X una funcion de variacion acotada externa sobre [a, b],
entonces f es Riemann integrable sobre [a, b] .
Corolario
Sea f : [a, b] X una funcion de variacion acotada debil sobre [a, b],
entonces f es Riemann integrable sobre [a, b] .
un espacio de Banach. Desarrollo
Desarrollo
Denici on
Sea X un espacio de Banach bilateral cuaternionico, sea f : H X se dice
que f es una funcion hiperholomorfa izquierda en el sentido de Fueter, si
D
l
F
(f) = 0,
donde
D
l
F
=

x
0
+ i

x
1
+ j

x
2
+ k

x
3
,
es el operador izquierdo de Fueter.
Sea : X H un funcional cuaternionico izquierdo, si f en una funcion
hiperholomorfa izquierda en el sentido de Fueter, entonces
D
l
F
( f) = 0
es decir, f es una funcion hiperholomorfa en el sentido de Fueter.
Sea f : H X una funcion clase C
1
tal que para todo funcional lineal
izquierdo , se tiene que f es hiperholomorfa en el sentido de Fueter,
entonces f es una funcion hiperholomorfa izquierda en el sentido de
Fueter.
Proposicion
Sean f, g C
1
(H, H), entonces
_
f
(3)
g =
_
D
F,r
[f] g + fD
F
[g] dv,
con
(3)
= dx
(0)
idx
(1)
+ jdx
(2)
kdx
(3)
y = .
Proposicion
Sea g C
1
(H, H), entonces
g (y) =
_
K(x y)
(3)
g
_
K(x y) D
F
[g] dv,
donde es un dominio simplemente conexo que contiene a y y es la
frontera de .
Corolario
Sea g : H una funcion hiperolomorfa, entonces
g(y) =
_
K(x y)
(3)
g(x).
Consideremos ahora a X como un espacio de Banach cuaternionico
bilateral. Sea g : H X una funcion de clase C
1
, sea : X H un
funcional acotado cuaternionico izquierdo, entonces g C
1
(H, H), por
lo tanto podemos aplicarle la forma cuaternionica del teorema de Stokes,
entonces
_
f
(3)
g =
_
D
F,r
[f] g + fD
F
[ g] dv.
La igualdad se puede reescribir de la siguiente manera;
_
f
(3)
g =
_
(D
F,r
[f] g + fD
F
[g]) dv.
Proposicion
Sean f C
1
(H, H), g C
1
(H, X), entonces
_
f
(3)
g =
_
D
F,r
[f] g + fD
F
[g] dv,
con
(3)
= dx
(0)
idx
(1)
+ jdx
(2)
kdx
(3)
y = , ademas que la
integral de la izquierda se entiende como integral de Pettis.
Proposicion
Sea g C
1
(H, X), entonces
g (y) =
_
K(x y)
(3)
g
_
K(x y) D
F
[g] dv,
donde es un dominio simplemente conexo que contiene a y y es la
frontera de .
Corolario
Sea g : X una funcion hiperolomorfa, entonces
g(y) =
_
K(x y)
(3)
g(x).
Fijando un funcional
0
cuaternionico lineal izquierdo, se tiene que;
_
_
_
K(x y)
(3)
x
f (x)
_
_
=
_
K(x y)
(3)
x
f (x) ,
es decir que
(K
l
[f]) = K
l
[ f] .
Aplicando el operador de Fueter izquierdo D
F
(respecto a y) a
K
l
[ f] (y), se tiene;
D
F
[K
l
[ f]] =
_
D
F
[K (x y)]
(3)
x
f (x) = 0.
Esto signica que,
(K
l
[f]) ,
es hiperholomorfa para todo H-lineal izquierdo acotado, luego K
l
[f] es
hiperholomorfa.
Ahora consideremos una funcion f : X de Holder y probemos que la
integral K
l
[f] (x) esta denida en el sentido de valor principal para y .
Primero calculemos el valor de la integral singular para la integral cuando
y ,
_
K(x y)
(3)
x
.
Fijemos > 0 y denimos los siguientes conjuntos:
:= B
4
(y, ) ;
:=
+
\B
4
(y, ) ;
:=
+
\B
4
(y, );
donde
+
= Int () .
Se tiene:
K(x y)
(3)
x
=
(
B
4
(y,)
)
\
+
K(x y)
(3)
x

B
4
(y,)\
+
K(x y)
(3)
x
= 1
B
4
(y,)\
+
K(x y)
(3)
x
.
Haciendo un cambio de variables a coordenadas esfericas en la segunda
integral se tiene lo siguiente;
B
4
(y,)\
+
K(x y)
(3)
x
=
1
2
2
4
h
3
sin
2
3
sin
2
h d
1
d
2
d
3
=
1
2
2
sin
2
3
sin
2
d
1
d
2
d
3
.
Donde
:= {(
1
,
2
,
3
) :
1
[0, 2] ,
2
[0, ] ,
3
[0, (
1
,
2
, )]} ;
h := cos
1
sin
2
sin
3
+ i sin
1
sin
2
sin
3
+ j cos
2
sin
3
+ k cos
3
.
Debido a la suavidad de se tiene que si, 0, entonces
(
1
,
2
, )

2
,
:= [0, 2] [0, ]
_
0,

2
_
.
Luego
lim
0
_
B
4
(y,)\
+
K(x y)
(3)
x
=
1
2
2
_
sin
2
3
sin
2
d
1
d
2
d
3
=
1
2
2
_
sin
2
3
sin
2
d
3
d
2
d
1
=
1
8
__
[0,2][0,]
sin
2
d
2
d
1
=
1
2
.
De esta manera se calcula el valor de la integral singular en sentido del
valor principal,
_
K(x y)
(3)
x
=
1
2
.
_
K(x y)
(3)
x
f (x) =
_
K(x y)
(3)
x
(f (x) f (y))
+
_
K(x y)
(3)
x
f (y) .
_
_
_K(x y)
(3)
x
(f (x) f (y))
_
_
_
const.
|x y|
3
(3)
x
|x y|
const.
|x y|
3
ds
3
,
_
K(x y)
(3)
x
(f (x) f (y)) ,
existe de manera impropia cuando 0.
K
l
[f](y) =
1
2
f (y) +
_
K(x y)
(3)
x
(f (x) f (y)) .
Ahora estudiemos el comportamiento de K
l
[f] cuando
z y, z =:
+
o z
:= R
4
\, y .
Tenemos que,
K
l
[f](z) =
_
K(x z)
(3)
x
(f (x) f (z))
+
_
K(x z)
(3)
x
f (z) .
K
l
[f](z) =
_
_
f (z) +
_
K(x z)
(3)
x
(f (x) f (z)) z
+
,
_
K(x z)
(3)
x
(f (x) f (z)) z
.
lim
zy
_
K(x z)
(3)
x
(f (x) f (z)) =
1
2
f (y) + K
l
[f](y).
Finalmente combinando las ultimas dos igualdades se tienen las formulas
de Sokhotski-Plemelj;
lim
zy
K
l
[f](z) =: K
l
[f]
(y) =
1
2
f (y) + K
l
[f](y).
Si denimos
S
l
:= 2K
l
,
podemos reescribir la formula anterior como;
K[f]
(y) =
1
2
f (y) +
1
2
S
l
[f](y).
un espacio de Banach. Conclusion
Conclusi on
Con la ayuda de las formulas de Sokhotski-Plemelj podemos entender el
comportamiento de nuevos espacios, as como algunas propiedades de
espacios conocidos.
un espacio de Banach. Bibliografa
Bibliografa
M.V. Shapiro and N.L. Vasilevski, Quaternionic -hyperholomorphic
function, singular integral operators and boundary value problems. I.
-hyperholomorphic function theory, Complex Variables 27 (1994),
17-46.
R. Gordon, Riemann integration in Banach spaces, Rocky Mountain
Journal of Mathematics Volume 21(1991), 923-949.

Comite Agosto 12

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Comite Agosto 12

Uploaded by

Copyright:

Available Formats

Formulas de Sokhotski-Plemelj para funciones que toman valores en

se tiene que f es Riemann integrable sobre [a, b] y

You might also like