SOBRE ALGUNAS PROPIEDADES DE LAS FUNCIONES HIPERHOLOMORFAS

RAUL VALLEJO GARAMENDI Departamento de Matematicas Escuela Superior de F sica y Matematicas del IPN.

Resumen. El objetivo es dar nuevas demostraciones del teorema de Morera y del teorema de
Montel para las funciones -hiperholomorfas. 1. En el art culo 1] se demuestran algunas propiedades de las soluciones del sistema de Moisil-Theodorescu. Como es conocido el sistema de Moisil-Theodorescu se puede considerar como una generalizacion del sistema de Cauchy-Riemann, al caso de tres variables. El mencionado sistema es a su vez una clase particular de las as llamadas funciones hiperholomorfas, ver por ejemplo 2] y 3]. El objeto del presente art culo es demostrar algunas propiedades de las funciones hiperholomorfas. Es pertinente hacer notar que las funciones -hiperholomorfas, contienen como casos particulares a las funciones holomorfas y a las funciones que satisfacen el sistema de Moisil-Theodorescu. Haremos aqu un breve recordatorio de las de niciones de funciones hiperholomoras, para mayores detalles ver por ejemplo 2] o 3]. Denotaremos por R m (m = 3 4), una region acotada con frontera @ lisa a trozos y compacta y por S m;1 la esfera unitaria en R m . Por i0 i1 i2 i3 denotremos las unidades habituales en el sistema de cuaterniones. P ~ Sea f = 3=0 fk ik : ! H y f = (f0 f1 f2 f3) una funcion con valores en R 4 . k Sean := f 4;m : : : 3g 2 H m, := f 4;m : : : 3g, se de nen en C 1( H ) los operadores D y D por las formulas:

D f] = D f] =

3 X
k=4;m

k@

kf k

3 X
k=4;m

@k f

Denotaremos por H el operador de Laplace m;dimensional, es conocido (ver 2] o 3]) que para que se cumplan las igualdades siguientes:

D D= D D=D D =D D = es necesario y su ciente que

j k+ k j

=2

jk

8j k

(1)

Estas igualdades son equivalentes a

~j ~k

E
R
4

jk

j = 0123 k = 0123

Cualquier conjunto de cuaterniones con la propiedad (1) se le llama conjunto estructural. Es facil de comprobar tambien las igualdades siguientes:

D f g] = D f ] g + D f g] =
Sea
3 X
k=4;m

3 X
k=4;m

f @k g D g]:

@k f g

k+f

un conjunto estructural y una region . Se de nen los conjuntos siguientes:

M ( ) := ker D = ff 2 C 1( H )j D f ] = 0g M ( ) := kerD = ff 2 C 1 ( H )jD f ] = 0g

Llamaremos a los elementos del primer conjunto las funciones izquierdas ;hiperholomorfas y a los elementos del segundo conjunto las funciones derechas ;hiperholomorfas, estos conjuntos se llamaran, por brevedad, clases de funciones hiperholomorfas. Se introducen ahora las formas diferenciales:
(m;1)
x

= ;sgn

3 X

donde dxk es la forma diferencial ^ con el multiplo dxk omitido. Sean f g 2 C 1( H ), entonces calculando directamente se obtiene:

k=4;m dx4;m ^ : : : ^ dx3

(;1)k k dxk ^

m=3 4

d(g (mx;1) f ) = (;1)m;1 sgn (D g] f + g D f ])dx: donde dx es la forma diferencial del volumen m;dimensional en R m . Si ponemos g = 1 en la expresion anterior obtenemos: d(g
(m;1) f ) = (;1)m;1 sgn
x

D f ]dx:

El kernel de Cauchy K , generado por un conjunto estructural . 2

Sea De nimos

m (x) =

jxjm;2

m=3 4
k xk :

3 X 1 1 K (x) = (m ; 2)jS m;1j D m](x) = jS m;1jjxjm

k=4;m

si m = 3 si m = 4 Este es el volumen de la esfera (m ; 1) dimensional en R m . Formularemos todas las a rmaciones para las funciones ;hiperholomorfas izquierdas, pero es obvio que los resultados son validos para las funciones ; hiperholomorfas derechas y ya no mencionaremos lo de izquierda o derecha. Es necesario hacer notar que el nucleo K es una funcion ;hiperholomorfa y que vale la formula integral de Cauchy, es decir si f es ;hiperholomorfa y @ es suave a trozos entonces: Z x2 m;1 sgn (;1) K ( ; x) (m;1) f ( ) = f (0x) si x 2 Rm n si @ Ver por ejemplo 2] o 3]. El proposito principal del presente trabajo es dar una nueva demostracion de los teoremas de Morera y de Montel para las funciones hiperholomorfas. 2. Teorema (Morera). Sea Rm m = 3 4 un abierto y f : ! H una funcion cont nua, entonces para que f sea ;hiperholomorfa es necesario y su ciente que para Z (m;1) f = 0. cualquier bola B (a r) tal que B (a r) se tenga que x

Aqu

jS m;1j = 4 2

Demostracion: La necesidad de la condicion se sigue inmediatamente del teorema de

Stokes, en efecto:

@B(a r)

@B(a r)

(m;1) f
x

Z
B(a r)

d(

(m;1) f ) = (;1)m;1 sgn

x

Z
B(a r)

D f ]dx = 0:

Pasemos ahora a la demostracion de la a rmacion rec proca. Supongamos primero que tal que f 2 C 1( H ), si f no fuera ;hiperholomorfa, existir a una bola B (a r) Df (x) 6= 0 8x 2 B (a r) pero entonces se tendr a:

@B(a r)

(m;1) f
x

= (;1)m;1 sgn

Una contradiccion con el hecho de que

@B(a r)

(m;1) f
x

B(a r)

D f ]dx 6= 0:

= 0:

Supongamos ahora que f es unicamente continua. Es conocido el hecho de que existe una funcion ' 2 C 1(Rm R), tal que

supp'

fx 2 Rmjjxj

1g y

Rm

'(t)dt = 1 y '(t) 0:

De nimos ' de la manera siguiente:

' (x) :=
y formemos la convolucion con f

;m '( x )

f (x) :=

Z
Rm

' (t)f (x ; t)dt:

No es dif cil de ver que f esta de nida para su cientemente peque~as y es de clase n 1 . Sea ahora B (a r) una bola tal que B (a r) C , entonces existe 0 > 0 tal que B (a r + 0 ) . Entonces para 0 < < 0 f esta de nida en B (a r) y ademas f converge uniformemente a f en B (a r) cuando ! 0. En efecto:

jf (x) ; f (x)j = jf (x) ;

=j

Z
jtj
0

' (t)f (x)dt ;

jtj

' (t)f (x ; t)dtj = ' (t)f (x ; t)dtj =

=j

Z
jtj
0

jtj 0

(f (x) ; f (x ; t))' (t)dtj

3 XZ

j =0 jtj

j(fj (x) ; fj (x ; t))'3 (t)dtj jfj (x) ; fj (x ; t)j' (t)dt:

3 XZ

j =0 jtj

Por la continuidad uniforme de fj en B (a r + 0 ) se tiene que 8 > 09 > 0 tal que si jtj < se obtiene jfj (x) ; fj (x ; t)j < 4 tomando < obtenemos de la desigualdad anterior que

jf (x) ; f (x)j

3 X Z
j =0

4 jtj 4

' (t)dt = : 8x 2 B (a r)

Esto demuestra la convergencia uniforme de f a f en B (a r). Demostremos que para cualquier bola B (b ) B (a r) se tiene que

@B(b )

(m;1) 'x f

(x) = 0 0 < < 0

En efecto

Z
@B(b )

(m;1) f
x

(x) =

Z
@B(b )

(m;1)
x

Z
jtj
0

' (t)f (x ; t)dt

Cambiando el orden de integracion se obtiene

En la integral @B(b ) (mx;1) f (x ; t) hacemos el cambio de variable y = x ; t, entonces (m;1) = (m;1) y la integral nos queda R (m;1) y+t y @B(b;t ) y f (y ): Como jtj 0 entonces B (b ; t ) y por lo tanto R (m;1) f (y ) = 0. @B(b;t ) y R Por consiguiente @B(b ) (mx;1) f (x) = 0. como f 2 C 1(B (a r)) se sigue que Df (x) = 0 8x 2 B (a r) 0 < < 0 Por lo tanto f es hiperholomorfa, y por la representacion integral se tiene que 8x 2 B (a r).

@B(b )

(m;1) f (x) =
x

jtj

' (t)dt
0

Z
@B(b )

(m;1) f (x ; t):
x

(x) = (;1)m;1 sgn

@B(a r)

K (t ; x)

(m;1) f (t):
t

Por la convergencia uniforme de f a f en B (a r) pasando al l mite en la igualdad anterior cuando ! 0 obtenemos

f (x) = (;1)m;1 sgn

y esto demuestra que Df (x) = 0 8x 2 B (a r), como B (a r) es arbitrario se sigue que Df (x) = 0 8x 2 . 3. Antes de demostrar el teorema de Montel veremos algunos resultados preliminares. Sea R m una region acotada con frontera lisa a trozos y f g : @ ! H dos funciones cont nuas, entonces se tiene la estimacion siguiente: R supjf (t)j j @ g(t) (mt;1) f (t)j M supj@g(t)j () t2 t2@ 5

@B(a r)

K (t ; x)

(m;1) f (t):
t

Esta estimacion se obtiene por los metodos habituales para desigualdades de este estilo. Tiene lugar el teorema siguiente que es analogo a uno de las funciones holomorfas. Teorema: Sea R m una region (m = 3 4) y A M ( ) un subconjunto de funciones ;hiperholomorfas, acotado uniformemente por compactos en , entonces A es equicontinuo por compactos. Demostracion: Demostremos primero que la familia A es equicontinua en las bolas cerradas B (a r) . Como en la demostracion del teorema anterior existe 0 > 0 tal que B (a r + 0 ) por la formula integral 8x 2 B (a r) se tiene

f (x) = (;1)m;1 sgn

@B(a r+ 0

K (t ; x)

(m;1) f (t)
t

Sean x x0 2 B (a r) y veamos la expresion siguiente. R (2) f (x) ; f (x0) = (;1)m;1 sgn @B(a r+ ) K (t ; x0 )] Examinemos la diferencia
0

t(m;1) f (t):

K (t ; x) ; K
1

(t ; x0 ) =
3 X
k (t

jS m;1j k=4;m

3 X

tk ; xk ; tk ; x0 k ] = jt ; xjm jt ; x0 jm

jS m;1j k=4;m
Estimando, obtenemos

k ; xk )jt ; x0 jm ; jt ; xjm jtk ; x0 k j jt ; xjm jt ; x0jm

3 1 X j(tk ; xk )jt ; x0 jm ; jt ; xjm (tk ; x0k )j jK (t ; x) ; K (t ; x0)j jS m;1j jt ; xjm jt ; x0 jm k=4;m

Puesto que t 2 @B (a r + 0 ) y x x0 2 B (a r) obtenemos

jt ; xj jt ; a + a ; xj jt ; aj ; ja ; xj y analogamente jt ; x0j 0 .
Luego entonces

jK (t ; x) ; K

(t ; x0 )j

M0

3 X
k=4;m

j(tk ; xk )jt ; x0 jm ; jt ; xjm(tk ; x0 k )j =

donde M 0 es una cierta constante,

= M0

3 X
k=4;m

j(tk ; xk )jt ; x0 j ; (tk ; xk )jt ; xjm + (tk ; xk )jt ; xjm ; jt ; xjm (tk ; x0 k )j
M0
3 X
k=4;m

fjtk ; xk jjjt ; x0 jm ; jt ; xjmj + jt ; xjm jxk ; x0 k jg

+ jt ; xjm;1 ) + jt ; xjmjx ; x0 jg

M0

3 X
k=4;m

fjt ; xjjx ; x0j(jt ; x0jm;1 +

Puesto que t 2 @B (a r + 0 ), x x0 2 B (a r) se tiene que jt ; xj 2r + 0 y jt ; x0 j 2r + 0 y por lo tanto

jK (t ; x) ; K (t ; x0 )j M 00 jx ; x0 j

donde M 00 es una cierta constante. Por lo tanto (**) sup jK (t ; x) ; K (t ; x0 )j M 00 jx ; x0 j t 2 @B (a r + 0 ) Puesto que A esta uniformemente acotada por compactos, se tiene que existe M 000 tal que jf (x)j M 000 8x 2 @B (a r + 0 ) 8f 2 A: de (*), (**) y (2) se sigue entonces que y esto demuestra la equicontiniuidad de A en B (a r). Demostremos la equicontinuidad de la familia A en un compacto cualquiera. Sea K , las bolas B (x r3x ) forman una compacto, entonces 8x 2 K 9rx > 0 tal que B (x rx) cubierta abierta de K , por lo tanto existe una subcubierta nita.

8t 2 @B (a r + 0 ) 8x x0 2 B (a r)

jf (x) ; f (x0)j M jx ; x0 j 8f 2 A

8x x0 2 B (a r)

B (x1 r31 ) : : : B (xs r3s ): Por lo que se demostro anteriormente, para cada cada una de las bolas B (x1 r1 ) : : : B (xs rs) existen constantes Mj j = 1 2 : : : s tales que 8x x0 2 B (xj rj ) se tiene jf (x) ; f (x0)j Mj jx ; x0j. Sea M = maxfM1 M2 : : : Msg. Damos > 0 arbitrario y escogemos tal que 0 < < minf r3 : : : r3s M g entonces si jx;x0j < es facil de ver que jf (x);f (x0)j < 8f 2 A. Esto demuestra la equicontinuidad de la familia A en K . El teorema esta demostrado. Demostraremos ahora el teorema de Montel. La demostracion sigue las l neas de una de las demostraciones de este teorema para las funciones holomorfas de una variable. Teorema de Montel. Sea R m m = 3 4 una region y ffng M ( ) una sucesion de funciones ;hiperholomorfas uniformemente acotada por
1

compactos, entonces ffng tiene una subsucesion uniformemente convergente por compactos a una funcion f 2 M ( ). Demostracion. Sea fang1=1 un conjunto denso numerable en , consideremos la n sucesion ffn(a1 )g, puesto que fa1 g, es un compacto, esta sucesion tiene una subsucesion 1 convergente, que denotaremos por ffn (a1 )g as
1 1 ffn (a1 )g1=1 = ff11(a1) f21(a1 ) : : : fn (a1 ) : : :g ! b1 : n 1 Valuemos la subsucesion fn en fa2g, entonces por consideraciones analogas al caso ante1 (a2 )g tiene una subsucesion convergente que denotaremos por rior, la sucesion ffn 2 2 ffn (a2 )g1=1 = ff12(a2) f22(a2 ) : : : fn (a2 ) : : :g ! b2 : n

Repitiendo el proceso inductivamente obtenemos

1 f11(a1 ) f21(a1) : : : fn (a1 ) : : : ! b1 2 f12(a2 ) f22(a2) : : : fn (a2 ) : : : ! b2 3 f13(a3 ) f23(a3) : : : fn (a3 ) : : : ! b3

de Cauchy. n Sea > 0 arbitrario y estimemos jfn (x) ; fll(x)j n Por el teorema anterior fn es equicontinua por compactos, pro lo tanto existe > 0 tal 0 2 B (x ) , se sigue que que 8y y n n jfn (y) ; fn (y0)j < 3 8y y0 tales que jy ; y0j < y 8n 2 N . Puesto que fang es denso en existe ak 2 B (x ), entonces se tiene
n n n n jfn (x) ; fll (x)j = jfn (x) ; fn (ak ) + fn (ak ) ; fll (ak ) + fll (ak ) ; fll (x)j n n n jfn (x) ; fn (ak )j + jfn (ak ) ; fll (ak )j + jfll (ak ) ; fll (x)j

;;;;;;;;;;;;;;;;;;;;;;;;; k f1k (ak ) f2k (ak ) : : : fn (ak ) : : : ! bk ;;;;;;;;;;;;;;;;;;;;;;;;; k k Cada sucesion ffn gn2N es subsucesion de la anterior ffn ;1gn2N k 2. n Tomamos ahora la subsucesion diagonal, es decir la subsucesion ffn gn2N , como es facil n de ver fn (ak ) ! bk 8k 2 N . n ! 1 n Demostremos que ffn (x)g converge 8x 2 . Para esto demostraremos que es una sucesion

n Puesto que ffn (ak )g es sucesion de Cauchy existe N tal que 8n l > N se tiene n n n jfn (ak ) ; fll(ak )j < 3 y puesto que jx ; ak j < se tiene tambien que jfn (x) ; fn (ak )j < 3 l (a ) ; f l (x)j < y por consiguiente jf n (x) ; f l (x)j < 8l n > N . y jf l k n l l 3 n(x)g converge 8x 2 . Esto demuestra que ffn n Demostremos que la sucesion ffn g converge uniformemente por compactos, para esto basta demostrar lo siguiente: n Sea a 2 , y > 0 arbitrario, por la convergencia de fn (a) existe N tal que 8n l > N se n(a) ; f l (a)j < , por la equicontinuidad por compactos, existe > 0 tal que sigue que jfn l 3 8x 2 B (a ) se tiene n n jfn (x) ; fn (a)j < 3 8n 2 N , entonces de aqu se sigue facilmente que n jfn (x) ; fll (x)j < 8n l > N 8x 2 B (a ). Como cualquier compacto lo podemos cubrir por un numero nito de estas bolas, de ah se sigue la convergencia uniforme por compactos. De este hecho se sigue ademas que la funcion l mite es una funcion hiperholomorfa.

Referencias 1. O. L. Bezrukova. Estabilidad de la clase de soluciones del sistema de Moisil-Theodoresku.

Novisibirsk 1983 50 pags. (Preprint A.C. URSS. Instituo de Matematicas de Siberia No. 46) (en ruso). 2. M. V. Shpario, N. L. Vasilievski. Quaternionic ;hiperholomorphe Functions, Singular Operators with Quaternionic Cauchy Kernel and Analogues of the Riemann Boundary (Aparecera como dos art culos en \Complex variables, theory and applications"). 3. M. V. Shaprio, Some remarks on Generalizations of the one dimensional Complex Analysis: Hipercomplex Approach. Preprint Dep. of Math. CINVESTAV del IPN No. 131, 1993, Mexico. 4. A. Sudbery Quaternionic analysis. Math. Proc. Camb. Phil. Soc. (1979) 85, 199.

10