Crecimiento de La Derivada de Productos de Blaschke

UNED
T RABAJO F IN DE M ASTER
Crecimiento de la derivada de
Productos de Blaschke
Tutor:
Dr. Cristbal G ONZLEZ E NRQUEZ
Universidad de Mlaga
Autor:
Adnan B OUAOUDA A RAFA
10 de octubre de 2013
A la memoria de
Ren COLIN
Agradecimientos
No existen palabras para agradecerle a mi tutor, Dr. D. Cristbal Gonzlez Enrquez, todo el tiempo y esfuerzo dedicados, no ha sido slo una ocasin para aprender y abrir mis ojos sobre nuevos horizontes sino
tambin toda una leccin de humildad.
Nada de eso hubiera podido ser posible sin la ayuda apreciable del Dr. D. Daniel Girela lvarez quien me
abri las puertas del departamento de anlisis matemtico de la universidad de Mlaga.
Mi gratitud tambin para todos mis profesores de la UNED por su excelente atencin y enseanza, a pesar
de las distancias, sobre todo para Dra. D Beatriz Hernandez Boto, por su amabilidad y buena coordinacin.
A todos los familiares y amigos que me han apoyado especialmente a mi esposa Rajaa y mis pequeos Awn
y Hidaya por el tiempo robado, a mis padres Aicha y Mustapha, a mis hermanos Rachid, Samir, Abderrahim,
Maryam, Amine, Alae, a mi amigo Nicols Roser Nebot por su suporte incondicional y a mis compaeros de
trabajo Nicolas David y Rafael Porras por su ayuda.
Finalmente a la memoria de mi amigo y profesor Ren Colin, por haber credo en mi y por ensearme que
las matemticas son toda una forma de ser Que en paz descanse!
ndice general
Introduccin
1. Un contexto para los productos de Blaschke
1.1. Contando ceros de funciones analticas: la frmula de Jensen . . . . . . . . . . . . . . . . . . . . . .
1.2. La condicin de Blaschke para introducir los espacios de Hardy . . . . . . . . . . . . . . . . . . . .
1.3. Funciones armnicas reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Funciones subarmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.5. Convergencia radial y convergencia no tangencial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
1.6. Teoremas de factorizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
2. Integrabilidad de la derivada de los productos de Blaschke
35
2.1. Resultados y conceptos preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
2.1.1. Automorfismos del disco unidad y la mtrica pseudo-hiperblica . . . . . . . . . . . . . . .
35
2.1.2. Derivada angular en el sentido de Carathodory . . . . . . . . . . . . . . . . . . . . . . . . .
37
2.1.3. Productos de Blaschke interpolantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
2.1.4. ngulos de Stolz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
41
2.2. Pertenencia de la derivada a los espacios de Hardy H
. . . . . . . . . . . . . . . . . . . . . . . . . .
43
2.2.1. Qu podemos esperar? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
2.2.2. La funcin f B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
2.2.3. La condicin C 1p implica B 0 H p
46
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.4. Productos de Blaschke interpolantes para el recproco . . . . . . . . .

T
2.2.5. Ceros en un ngulo de Stolz implica B 0 p< 1 H p . . . . . . . . . . .
2
T
2.2.6. Ceros en un ngulo de Stolz e interpolantes implica B 0 p<1 H p . .
T
2.2.7. Ceros en un ngulo de Stolz satisfaciendo C implica B 0 p< 1 H p
. . . . . . . . . . . . .
48
. . . . . . . . . . . . .
48
. . . . . . . . . . . . .
50
. . . . . . . . . . . . .
50
2.3. Pertenencia de la derivada a los espacios de Bergman A p . . . . . . . . . . . . . . . . . . . . . . . .
51
2.3.1. La situacin inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
1+
2.3.2. La condicin C 2p implica B A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
2.3.3. Productos de Blaschke interpolantes para el recproco . . . . . . . . . . . . . . . . . . . . . .

T
2.3.4. Ceros en un ngulo de Stolz implica B 0 p< 3 A p . . . . . . . . . . . . . . . . . . . . . . . . .
55
2.3.5. La funcin B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
T
2.3.6. Ceros en un ngulo de Stolz e interpolantes implica B 0 p<2 A p . . . . . . . . . . . . . . .
56
56
61
Bibliografa
63
ndice alfabtico
64
Resumen
El estudio de espacios de funciones analticas en el disco unidad representa uno de los pilares bsicos del
Anlisis Complejo, en especial los espacios de Hardy H p . Una manera de introducir estos espacios es a travs del estudio de los ceros de funciones analticas en el disco unidad, en particular a travs de la frmula de
Jensen. Toda funcin H p admite una factorizacin (esencialmente nica) como producto de una constante
unimodular por un producto de Blaschke (que soporta todos los ceros de la funcin), por una funcin sin ceros
(que soporta la norma H p de la funcin). Llevados quizs por el deseo de estudiar la distribucin de ceros de
otras funciones analticas sobre el disco unidad (no en H p ), surge la necesidad de estudiar con mayor profundidad la clase de los productos de Blaschke. Uno de los temas de investigacin en este sentido incluye intentar
caracterizar aquellos productos de Blaschke cuya derivada pertenece a un determinado espacio de funciones
analticas sobre el disco unidad. Esta memoria se dedica a estudiar cuando la derivada de un producto de
Blaschke pertenece a algn espacio de Hardy o de Bergman.
iii
Introduccin
El tema central de esta memoria trata sobre los productos de Blaschke, ms concretamente sobre el crecimiento de su derivada. Esta memoria consta de dos captulos, un primero dedicado a introducir los productos
de Blaschke en el contexto de los espacios de Hardy, y un segundo captulo dedicado a estudiar cuando la
derivada de un producto de Blashcke pertenece a algn espacio de Hardy o de Bergman.
Histricamente, los productos de Blaschke infinitos fueron introducidos por el matemtico austriaco Wilhelm Blaschke [8] en 1915. En 1929 R. Nevanlinna [30] introdujo la clase de funciones acotadas con valores
unimodulares en casi todo punto de la frontera. Los primeros estudios exhaustivos de las propiedades de las
funciones internas se hicieron por parte de O. Frostman [14], W. Seidel [37] y F. Riesz [35]. Sus esfuerzos por
entender los ceros y el comportamiento en la frontera de las funciones analticas acotadas culminaron en el
famoso teorema de factorizacin cannica.
Un producto de Blaschke es del tipo
B (z) =
(1)
Y a n z a n
,
n |a n | 1 a n z
z D,
donde {a n } es una sucesin del disco unidad D = {z C : |z| < 1} que satisface la llamada condicin de Blaschke,
X
(2)
1 |a n | < .
La condicin de Blaschke asegura que el producto anterior converge absoluta y uniformemente en cada subconjunto compacto del disco unidad, definiendo por tanto una funcin analtica en el disco unidad, con sucesin exacta de ceros, contando multiplicidades, dada por {a n }. Adems, como cada factor es un automorfismo
del disco unidad (debemos entender que cuando a n = 0, el factor correspondiente es z), se tiene que cada
factor est acotado por 1, luego el producto entero tambin est acotado por 1. El caso es que mucho ms es
cierto. En realidad, la mayor parte del primer captulo de la memoria est dedicada a probar que cada producto de Blaschke tiene lmite radial de mdulo 1 en casi todo punto de la frontera de D. Para probar esto ha sido
necesario dar una breve introduccin de la teora de los espacios de Hardy H p . Como referencias principales
hemos usado los libros de Duren [13], Garnett [16], y Tsuji [38].
Decimos que una funcin f , analtica sobre el disco unidad, escrito f Hol (D), est en el espacio de Hardy,
H p , con 0 < p , si sus medias integrales de orden p estn uniformemente acotadas para r [0, 1), o sea, si
1
1 Z
f (r e i )p d p , si 0 < p < , y
M p (r, f ) =
2
k f kH p := sup M p (r, f ) < ,
donde
0r <1
M (r, f ) = max| f (z)|,

|z|=r
A lo largo del captulo 1 tambin vemos la ntima relacin existente entre los productos de Blaschke y los
espacios de Hardy: Las sucesiones de ceros de funciones en H p (cualquier p (0, ]) vienen caracterizadas por
la condicin de Blashcke. Es ms, dada una sucesin de Blaschke, el producto de Blaschke correspondiente est
en H que, al ser el ms pequeo de todos los espacios de Hardy, hace que tengamos un ejemplo de funcin en
H p con sucesin exacta de ceros dada por {a n }. Esto, a su vez, nos permite factorizar (Teorema de Factorizacin
de Riesz) cada funcin f de H p como producto de un producto de Blaschke, que carga con los ceros de f , con
una funcin g , de H p , sin ceros, que carga con la norma de la funcin, aunque en realidad no es una verdadera
norma cuando p < 1.
v
vi
I NTRODUCCIN
El segundo captulo lo dedicamos a estudiar la pertenencia (o no) de la derivada de productos de Blaschke a
los espacios de Hardy y a los espacios de Bergman. Recordamos que el espacio de Bergman A p , 0 < p , consiste en el espacio de funciones analticas sobre el disco unidad que estn en L p (D, dA), donde dA = 1 d xd y representa al elemento de rea normalizada del disco unidad. La relacin clsica dada por Hardy-Littlewood [22],
H p A 2p , es mejorada para algunos ndices p (los ms interesantes para nosotros) cuando trabajamos con derivadas de productos de Blaschke: Si B 0 H p entonces B 0 A p+1 . De esta manera, usando una u otra inclusin,
podemos transferir casi siempre los resultados para H p a resultados similares para A p .
El hecho de que los productos de Blaschke se anulen en sucesiones cuyos puntos lmite han de estar en
la frontera del disco unidad y que, al mismo tiempo, tengan lmite radial unimodular en casi todo punto de la
frontera, nos incita a pensar que no debe haber muchos espacios que contengan a las derivadas de los productos de Blashcke. La derivada de una funcin mide de alguna manera las distorsiones que sta imprime en
los puntos de su dominio. As, es de esperar que un producto de Blaschke aumente su distorsin a medida
que van aumentando sus ceros, o a medida que estos se distribuyan de manera que provoquen grandes oscilaciones. Los resultados que vamos a presentar van en esta direccin. La concentracin o distribucin de ceros
de un producto de Blaschke condicionan de una manera u otra al crecimiento de su derivada. En general, los
resultados que presentamos se pueden agrupar en los siguientes bloques:
Si no se exige ms que la condicin de Blaschke, entonces el crecimiento de la derivada de los productos de Blaschke puede ser bastante arbitrario, haciendo que todos lo espacios de Hardy dejen fuera la
derivada de algn producto de Blaschke.
Si exigimos que los ceros se aproximen a la frontera ms rpido que lo estipulado por la condicin de
Blashcke, entonces mejora la integrabilidad de la derivada de los correspondientes productos de Blaschke.
Si los ceros estn uniformemente separados entre s (productos de Blaschke interpolantes), entonces
podramos imaginar una mejora en la integrabilidad de la derivada. Sin embargo, esto no va a ser as,
aunque s ser cierto que si un producto de Blaschke interpolante tiene derivada bien controlada, entonces sus ceros deben aproximarse a la frontera ms rpido que lo que estipula la condicin de Blaschke,
obtenindose un recproco de la situacin dada en el apartado anterior.
Si los ceros se aproximan a la frontera de manera no tangencial, o sea, estn en un ngulo de Stolz,
conseguimos controlar bastante bien la derivada del producto de Blaschke, debido a que el producto de
Blaschke admite una extensin holomorfa a todo un entorno de D {0 }, siendo 0 el vrtice del ngulo.
Si los ceros estn en un ngulo de Stolz, y estn uniformemente separados, entonces obtenemos lo mejor
que se puede decir sobre la derivada del producto de Blaschke.
Los autores de los resultados que presentamos en la memoria son bsicamente los siguientes: Protas,
Ahern, Clark, Cohn, y Kim con resultados de finales de los 70, principio de los 80; luego nos basamos en resultados obtenidos por Girela, Pelez, Vukotic, y Mashreghi, a partir de finales de los 90. Con los trabajos de
estos autores, conseguimos establecer un dibujo de cmo se encuentra la situacin actual, al menos en lo referente a la pertenencia de la derivada de productos de Blaschke en los espacios de Hardy y de Bergman, y que
hemos tratado de plasmar en la figura 1.
Pertenencia de la derivada a los espacios de Hardy H p . Un primer resultado, evidente, lo obtenemos para
los productos de Blaschke finitos: sus derivadas estn en cualquier espacio. Sin embargo, cuando pasamos a
productos de Blaschke infinitos, nos encontramos con otra historia. Un resultado clsico de Privalov asegura
que, para f Hol (D), f 0 H 1 si y solo si f admite una extensin continua a D y, en ese caso, f (e i ) es una
funcin absolutamente continua. Como es evidente que los productos de Blaschke infinitos no admiten extensiones continuas a D, resulta entonces que ningn producto de Blaschke tiene derivada en H 1 . Luego haciendo
uso de que los espacios de Hardy decrecen con ndice creciente, tenemos
I NTRODUCCIN
vii
Teorema. Si B es un producto de Blaschke infinito, entonces B 0 H p para ningn p 1.

As que p 1 son ndices prohibidos para la pertenencia en H p de la derivada de productos de Blaschke
infinitos. Pero es que, sin pedir una mayor restriccin sobre los ceros, siempre podemos encontrar, para 0 <
p < 1, un producto de Blaschke (infinito) cuya derivada no est en H p , an teniendo (su derivada) lmite radial
en casi todo punto, ver el Corolario 2.20.
La derivada de un producto de Blaschke, como el dado en (1), puede calcularse fcilmente,
B 0 (z) =
(3)
X 1 |a n |2
n
(1 a n z)
B n (z),
donde B n (z) =
Y a j z a j
j 6=n
|a j | 1 a j z
Haciendo uso de lo que se conoce como la derivada angular en el sentido de Carathodory, junto con la notacin introducida por Ahern-Clark [5], podemos dar la expresin de su mdulo en la frontera del disco unidad,
entendido como lmite radial:
0 i X 1 |a n |2
B (e ) =
.
2
i
n |e a n |
(4)
De esta manera, conseguimos establecer la equivalencia siguiente, (escribimos a n = r n e i n , con n [, )):

B 0 H p
(5)
X 1 |a n |2
n
|e i a
|2
L p (D) f B () :=
X
n
1 |a n |
L p ([, )).
(1 |a n |)2 + ( n )2
Con ayuda de esto, recuperamos de forma inmediata el siguiente resultado de Protas [34].
Teorema (Protas, 1973). Supongamos que B es un producto de Blaschke con sucesin de ceros {a n }.
1p
P
(i) Si n 1 |a n |
< para algn p 12 , 1 , entonces B 0 H p .
(ii) Si
n (1 |a n |) 2
1
< , entonces B 0 H 2 .
log 1|a
n|
Este resultado es bastante preciso, es decir, existe un producto de Blaschke B cuyos ceros {a n } satisfacen
P
0
n (1 |a n |) 2 < y B H 2 . El ejemplo es explcito: Para un valor fijo de (1, 2), la sucesin {a n }n2 viene
dada por
a n = (1 d n )e i n ,
(6)
donde
dn =
1
n 2 log2 n
n =
X
j =n
d 1/2
j .
Cohn [12] se dio cuenta de que el recproco a la primera parte del Teorema de Protas es cierto si nos restringimos a la clase de los productos de Blaschke interpolantes. Decimos que una sucesin {a n } D es uniformemente
separada o interpolante si
existe > 0 tal que
(7)
Y a n a m
, para todo m.
n6=m 1 a m a n
Estas sucesiones satisfacen claramente la condicin de Blaschke, por lo que podemos construir los que llamamos productos de Blaschke interpolantes, asociados a sucesiones uniformemente separadas. El argumento de
Cohn es bastante fcil si conocemos un poco de la teora de productos de Blaschke interpolantes. Un famoso
teorema de Carleson reza as:
Si {a n } es interpolante, existe C > 0 tal que para toda f H p ,
n (1 |a n |)| f
(a n )|p C k f kH p .
Con esto y usando que para productos de Blaschke interpolantes se tiene |B 0 (a n )|
1
1|a n | ,
obtenemos el re-
cproco al resultado de Protas. Por lo dems, no hay mejora general en el exponente de integrabilidad de la
derivada de productos de Blaschke interpolantes, ya que el mismo ejemplo dado en (6) es el de un producto de
Blaschke interpolante (Pelez [32]).
Si restringimos la sucesin de ceros de B a un ngulo de Stolz con vrtice en e i , definido, para algn 1,
como
() := z D : e i z 1 |z| ,
resulta que s existe un rango de ps para los que B 0 H p . Este es un resultado de Girela-Pelez-Vukotic [20]. La
1
T
1
p
2
prueba est basada en que la funcin (1z)
2
p< 1 H H .
2
viii
I NTRODUCCIN
Teorema (Girela-Pelez-Vukotic, 2007). Si B es un producto de Blaschke con ceros en un ngulo de Stolz que,
1
0 T
p
sin prdida de generalidad, tiene su vrtice en 1, entonces |B 0 (z)| . |1z|
2 , z D y, por consiguiente, B
p< 1 H .
2
El ejemplo de producto de Blaschke B con ceros a n = 1
1
,
n log2 n
n 2, permite ilustrar que el resultado es

1
preciso. Estos ceros estn en el radio (0, 1) y, usando la funcin f B , vemos que B H 2 .
Si ahora combinamos sucesin de ceros en un ngulo de Stolz, junto con ser uniformemente separada,
entonces cubrimos nuestras mximas expectativas.
Teorema (Girela-Pelez-Vukotic, 2007). Sea B un producto de Blaschke interpolante cuya sucesin de ceros est
contenida en un ngulo de Stolz. Entonces B 0 H p para todo p < 1.
Tambin podemos combinar sucesin de ceros en un ngulo de Stolz, junto con una convergencia ms
P
rpida a la frontera, del tipo (1 |a n |) < . Obtenemos el siguiente resultado de Ahern-Clark [5].
Teorema (Ahern-Clark, 1974). Sea B un producto de Blaschke cuya sucesin de ceros {a n } est en un ngulo de
P
Stolz y satisface que n (1 |a n |) < , para algn (0, 1]. Entonces
B0
Hp.
1
0<p< 1+
La demostracin de este resultado se basa en que podemos equiparar |B 0 (e i )| con |P 0 (e i )|, donde P es el
producto de Blaschke con ceros de igual mdulo que los a n pero sobre el radio que termina en la punta del
ngulo de Stolz.
Este resultado vuelve a ser preciso, como prueba Mashreghi en su libro [28, Example 8.18].
Pertenencia de la derivada a los espacios de Bergman A p . Los espacios de Bergman presentan mejores resultados, en cierto modo, que los espacios de Hardy. En primer lugar, usando el Lema de Schwarz-Pick, tenemos
Teorema. Si B es un producto de Blaschke, entonces B 0 A p para todo p < 1.
Este resultado es preciso. En 1955 Rudin [36] prob la existencia de un producto de Blaschke B tal que
B 0 A 1 , en 1968 Piranian [33] dio un ejemplo explcito, y en 2007 Pelez [32, Thm. 1] dio un ejemplo de producto
de Blaschke interpolante.
En la otra direccin tenemos que si B es un producto de Blaschke infinito, entonces B cubre el disco uniR
dad casi completamente un nmero infinito de veces (Frostman), por tanto la integral D |B 0 (z)|2 d A(z), que
representa al rea de la regin cubierta por B contando multiplicidades, debe ser igual a infinito, dando lugar a
que B 0 A 2 . Este resultado, aunque conocido de mucho antes, se lo atribuimos a Kim[25], ya que lo generaliza.
Teorema (Kim, 1984). Si B es un producto de Blaschke infinito, entonces B 0 A 2 y, consecuentemente, B 0
S
p
p2 A .
Una vez que hemos conseguido restringir el objeto de estudio al rango p [1, 2), presentamos el siguiente
resultado de Kim, del que damos una prueba autocontenida.
Teorema (Kim, 1984). Supongamos que B es un producto de Blaschke con ceros a n = r n e i n , n = 1, . . . .
2p
P
(i) Si n 1 |a n |
< para algn p (1, 2), entonces B 0 A p .
(ii) Si
1
n (1 |a n |) log 1|a n |
< , entonces B 0 A 1 .
Si nos referimos al ejemplo de producto de Blaschke B dado en (6), observamos que {a n } satisface (ii), luego
1
B 0 A 1 , pero recordamos que B 0 H 2 , lo que nos indica que la inclusin debida a Hardy-Littlewood, H 2 A 1 ,
3
2
es estricta. Por otro lado, tambin observamos que {a n } satisface (i) con p = 23 , lo que nos dice que B 0 A H 2 ,
o sea, que el enunciado B 0 H p = B 0 A p+1 no tiene recproco.
A continuacin mencionamos que el resultado de Kim, apartado (i), tambin admite un recproco en el
caso de tratar con productos de Blaschke interpolantes. El resultado se sigue del siguiente Teorema de GirelaPelez-Vukotic [20, Thm. 3.4], que se prueba usando el hecho de que si B es interpolante, entonces su derivada
I NTRODUCCIN
ix
es grande sobre pequeos entornos de cada cero, la constante de acotacin dependiendo solo de la constante
de interpolacin y del tamao del entorno. Adems estos entornos son disjuntos dos a dos, lo que nos permite
R
P
conseguir una cota inferior para la integral D |B 0 (z)|p dA(z) que resulta depender de n (1 |a n |)2p .
Teorema (Girela-Pelez-Vukotic, 2007). Si B es un producto de Blaschke interpolante con ceros {a n }, entonces
Z
X
|B 0 (z)|p dA(z) & (1 |a n |)2p .
D
En particular, si la serie diverge entonces B 6 A
Dada la naturaleza de los productos de Blaschke interpolantes, volvemos a preguntarnos si sus derivadas
tienen mejores exponentes de integrabilidad que los de otros productos de Blaschke. Con los productos de
Blaschke normales, lo ms que se puede decir (sin imponer condiciones adicionales) es que B 0 A p para todo
p < 1. Eso es tambin lo mejor que se puede decir para productos de Blaschke interpolantes. Un ejemplo de
producto de Blaschke interpolante cuya derivada no est en A 1 fue dado por Pelez [32, Thm. 1] en 2007. La base de todo esto quizs la podamos encontrar en el sorprendente resultado de Naftalevic [29] de 1956, que prob
que para cada sucesin de Blaschke {a n }, existe una sucesin interpolante {z n } tal que |z n | = |a n | para cada n.
S
Este resultado nos proporciona un ejemplo de producto de Blaschke interpolante B tal que B 0 p>1 A p . Basta
con verificar que la sucesin a n = 1
1
,n
n log2 n
2, es una sucesin de Blaschke y satisface, para p > 1, que
(1 |a n |)2p =
n=1
X
n=1
1
n 2p
log2(2p) n
= .
Luego, es cuestin de girar los a n , de acuerdo con el resultado de Naftalevic, para obtener una sucesin interpolante
Si ahora condicionamos la ubicacin de los ceros a un ngulo de Stolz, el resultado B 0
p<1/2 H
implica
inmediatamente este otro.

Teorema (Girela-Pelez-Vukotic, 2007). Si los ceros de un producto de Blaschke B estn todos en un ngulo de
S
Stolz, entonces B 0 p<3/2 A p .
Este resultado, tan sencillo, es, sin embargo, preciso, ya que Girela-Pelez [19] probaron que el producto
de Blaschke B con ceros dados por a n = 1
1
,
n log2 n
n 2, todos ellos en el radio (0, 1), verifica que B 0 A 2 . La
demostracin no resulta nada fcil, se necesita usar la funcin B , que es anloga a la funcin f B utilizada en
la seccin anterior para tales propsitos: Si B es un producto de Blaschke con sucesin de ceros dada por {a n },
escribimos d n = 1 |a n | y definimos la siguiente funcin decreciente,
B () =
dn
( + d n )2
(0, ).
El teorema que permite dar el ejemplo de producto de Blaschke con ceros en un radio y con derivada no per3
teneciente a A 2 es como sigue.

Teorema (Girela-Pelez). Sea B un producto de Blaschke con ceros en un ngulo de Stolz. Supongamos que
(8)
Existen constantes C > 0 y 0 (0, ) tales que
B () C ,
para todo (0, 0 ).
Entonces, para cualquier p (1, ), tenemos B 0 A p si, y solo si, B L p1 (0, 1).
Finalizamos el captulo, y el trabajo, dando un resultado para un producto de Blaschke B interpolante y con
ceros en un ngulo de Stolz. Sabemos entonces que B 0 H p para todo p < 1. Haciendo uso ahora de la inclusin
H p A 2p , concluimos entonces que B 0 A p para todo p > 2, cubriendo de nuevo las mximas expectativas de
integrabilidad para la derivada de productos de Blaschke.
Teorema. Sea B un producto de Blaschke interpolante cuya sucesin de ceros est contenida en un ngulo de
Stolz. Entonces B 0 A p para todo p < 2.
I NTRODUCCIN
Figura 1: Esquema del 2 Captulo
Captulo 1
Un contexto para los

productos de Blaschke
1.1. Contando ceros de funciones analticas: la frmula de Jensen
La distribucin de los ceros de una funcin f holomorfa en un dominio D no est sujeta a ninguna condicin salvo la obligada por el principio de identidad de Weierstrass para que la funcin no sea idnticamente
cero, y es que el conjunto de sus ceros no tenga puntos de acumulacin en el interior de D. Esta restriccin
implica que, si la funcin no es idnticamente cero en D, el conjunto de sus ceros es a lo sumo numerable en
D, o sea, que sus ceros se pueden expresar en forma de sucesin, y sus puntos de acumulacin, de existir, han
de estar en D (= D si D est acotado, y si no lo est, D = D {}). Otra de sus consecuencias es que en
cualquier subconjunto compacto de D, f solo puede tener una cantidad finita de ceros. Pero a pesar de esto,
cuando cambiamos la clase Hol (D) de las funciones holomorfas en D por otra subclase ms pequea, definida
por condiciones de crecimiento de sus elementos, entonces podemos decir algo ms sobre la distribucin de
los ceros. La mayora de los teoremas que relacionan crecimiento de una funcin y sus ceros se basan en la
frmula de Jensen.
Teorema 1.1 (Frmula de Jensen). Sea f (z) = c N z N + c N +1 z N +1 + . . . holomorfa en el disco unidad D y sea {a n }
la sucesin exacta de sus ceros no nulos (repetidos de acuerdo a su multiplicidad). Entonces, para 0 < r < 1,
Z
X
r
1
log f (r e i ) d = log(|c N |r N ) +
log
2
|a
n|
{|a n |r }
Demostracin. La funcin F (z) = f (z)/(c N z N ) es holomorfa en D tras evitar la posible singularidad en 0, F (0) =
1, y tiene como ceros la sucesin {a n }. Esto reduce la demostracin a probar
Z
X
1
r
logF (r e i ) d =
log
,
0 < r < 1.
2
|a n |
{|a n |r }
Supongamos 0 < r < 1. La frmula es trivial cuando ningn a n tiene mdulo menor o igual que r , o sea, cuando
F no tiene ceros en D(0, r ), el disco cerrado de centro 0 y radio r , pues en ese caso existe una rama holomorfa
de log(F ) en (0, r ) y, por la propiedad del valor medio, tomando partes reales:
Z
X
1
r
logF (r e i ) d = log |F (0)| = 0 =
log
.
2
|a n |
{|a n |r }
Cuando alguno de los a n tiene mdulo menor o igual que r , observamos primero que solo puede haber una
cantidad finita de ellos. A continuacin observamos que la funcin
G(z) =
F (z)
,
(z a n )
{|a n |r }
z D,
CAPTULO 1. UN CONTEXTO PARA LOS PRODUCTOS DE BLASCHKE
es holomorfa en D y no tiene ceros en D(0, r ), por tanto, existe una rama holomorfa de logG en un entorno de
D(0, r ) y, de nuevo, por la propiedad del valor medio y tomando partes reales, tenemos
1
2
logG(r e i ) d = log |G(0)|,
Lo que desarrollado equivale a

1
2
1
2
{|a n |r }
logF (r e i ) d
bajo el supuesto de que cada una de las integrales

integrales. Escribimos a n = r n e i n . Entonces,
1
2
1
logr e i a n d =
2
logr e i a n d = log|F (0)|

log |a n |,
{|a n |r }
log
r e a n d exista. Pasamos a analizar este tipo de
1
(=n )
=
log r +
logr e i + log 1 rrn e i (n ) d
2
log 1 rrn e i d .
El lema siguiente nos confirma que la integral en el miembro de la derecha es nula. Por tanto,
1
2
X
X
X
r
log
log r = log |F (0)| +
log |a n | +
logF (r e i ) d = log |F (0)|
.
|a n |
{|a n |r }
{|a n |r }
{|a n |r }
Lema 1.2. Para > 0,

1
2
log1 e i d = log+ .
donde log () = max{log(), 0}.

Demostracin. La funcin (1 z) es holomorfa y sin ceros en D, luego existe una rama holomorfa de log (1 z)
en D y, por la propiedad del valor medio, tomando partes reales,
1
2
h 1
log1 e i d = Re
2
i
log (1 e i ) d = Re (log 1) = log|1| = 0 = log+ ,
para todo 0 < < 1.
Por otro lado, si > 1,

1
2
1
log1 e i d =
2
loge i + log 1 e i 1d
1
(0< 1 <1)
(=)
log 1 e i 1d
= log +
=
log = log+ .
2
Queda el caso = 1. Observemos que log1 e i = log e i 2 e i 2 e i 2 = log2 sen 2 , luego su integral
entre y puede presentar problemas de convergencia cerca de = 0, pero como log2 sen log || cuando
2
0 y log || es integrable cerca de 0, vemos que no hay problemas de convergencia. As pues,

Z
log1 e i d =
(=2)
f. par
log2 sen 2 d = 2
= 4
log sen d =
Z
0
(= 2 )
(=2 2 )
log(2 sen 2 )d
log(2 sen )d = 4(log 2)
donde en la ltima igualdad se ha usado que

Z
+4
2
Z
0
log sen d = 0,
log sen d = 2 log 2:
Z
Z
2
2
log 2 +
log sen 2 d +
log sen( 2 2 ) d
2
0
0
Z
Z
Z
4
2
log 2 + 2
log sen d + 2
log sen d = log 2 + 2
log sen d .
2
2
0
0
4
log(2sen
cos 2 ) d =
1.2. La condicin de Blaschke para introducir los espacios de Hardy

Una de las consecuencias de la frmula de Jensen es el siguiente resultado.
Teorema 1.3. Sea f (z) = c N z N + c N +1 z N +1 + . . . holomorfa no idnticamente nula en D y sea {a n } la sucesin de
sus ceros no nulos repetidos de acuerdo a su multiplicidad. Son equivalentes
a) La funcin de r ,
R
1
2 log f
(r e i ) d , est acotada superiormente.
b) {a n } satisface la llamada condicin de Blaschke,

X
(1 |a n |) < .
Demostracin. Por la frmula de Jensen, se tiene, para 0 < r < 1,

Z
X
1
r
log
log f (r e i ) d =
+ log(|c N r N |),
2
|a n |
{n: |a n |r }
de donde se sigue que
R
1
2 log f
(r e i )d es una funcin creciente de r , pues el lado derecho crece con r .
a) = b). En este caso, existe C > 0 independiente de r (0, 1) tal que

Z
X
r
1
log f (r e i ) d C ,
log
+ log(|c N r N |) =
|a n |
2
{n: |a n |r }
1
n log |a n |
Haciendo r 1 , obtenemos entonces que
< . O sea, la serie
r (0, 1).
n log |a n |
converge (absolu-
tamente, pues al ser |a n | < 1 para todo n, todos los trminos log |a n | son negativos). Esto equivale a decir
P
n (1 |a n |) es convergente, o sea, que {a n } satisface la condicin de Blaschke.
entonces que
P
b) = a). En este caso, la convergencia (absoluta) de la serie n (1 |a n |) equivale a la convergencia absoluta
P
de la serie n log |a1n | . Por tanto, usando la frmula de Jensen, se tiene para 0 < r < 1,
1
2
log f (r e i )d =
log
{n: |a n |r }
X
r
1
+ log(|c N r N |) log
+ log |c N |.
|a n |
|a
n|
n
La ltima expresin es una constante independiente de r , indicndonos que
R
1
2 log f
(r e i )d est
acotada superiormente como funcin de r .

Normalmente, la condicin de Blaschke incluye tambin los sumandos correspondientes a los ceros nulos
de la funcin. El enunciado del teorema anterior lo podemos entonces encontrar como sigue:
Sea f holomorfa y no idnticamente nula en el disco unidad D y sea {a n } la sucesin de sus ceros
R
1
i
repetidos de acuerdo a su multiplicidad (incluyendo los ceros nulos). Entonces 2
log | f (r e )|d
P
est acotada superiormente si, y slo si, {a n } satisface la condicin de Blaschke: n (1 |a n |) < .
En general cualquier condicin que implique a) del teorema anterior va a imponer la condicin de Blaschke
sobre la sucesin de ceros.
Teorema 1.4. Sea f holomorfa y no idnticamente nula en el disco unidad D y sea {a n } la sucesin de sus ceros
repetidos de acuerdo a su multiplicidad. Supongamos que f satisface alguna de las siguientes condiciones:
a) La funcin
R
1
+
2 log | f
(r e i )|d est acotada superiormente.
b) Para 0 < p < , la funcin
R
1
2 | f
(r e i )|p d est acotada superiormente.
c) | f | est acotada en D.
Entonces {a n } satisface la condicin de Blaschke,
n (1 |a n |) < .
Nota. Observemos que tanto la funcin
R
1
+
2 log | f
(r e i )|d como las funciones
R
1
2 | f
(r e i )|p d , 0 < p <
, estn acotadas inferiormente por 0.

Demostracin. Solo hay que observar que cada una de las tres condiciones implica que
R
1
2 log | f
(r e i )|d
est acotada superiormente y entonces es cuestin de aplicar el teorema anterior. En efecto, las acotaciones
que se precisan provienen de estas otras ms simples:
a)0 Para todo x > 0, log x log+ x.
1 p
pe x .
b)0 Para 0 < p < y x > 0, log x

c)0 Para 0 < x M , log x log M .
Definicin 1.5 (Medias Integrales, la clase de Nevanlinna y los espacios de Hardy). Para f holomorfa en el
disco unidad D, definimos las siguientes funciones de r (0, 1),
Z
1
T (r, f ) =
log+ f (r e i ) d ,
2
1 Z
1/p
f (r e i )p d
M p (r, f ) =
,
2
la funcin caracterstica de Nevanlinna de f .

0 < p < ,
M (r, f ) = max | f (z)|,
las medias integrales de f de orden p.

el mdulo mximo de f .
|z|=r
Estas formas de medir el crecimiento de las funciones holomorfas en D dan lugar a distintos espacios.
N = f holomorfa en D : sup T (r, f ) < .
La clase de Nevanlinna:
0<r <1
Los espacios de Hardy H p , 0 < p :
H p = f holomorfa en D : k f kH p := sup M p (r, f ) < .
0<r <1
Lo primero que debemos destacar es la relacin de inclusin entre estos espacios.

Teorema 1.6. Para 0 < p < q < se tiene H H q H p N .
La prueba de este resultado es prcticamente inmediata. Solo hemos de recordar la Desigualdad de Jensen,
una versin particular de la Desigualdad de Hlder cuando trabajamos en espacios de medida finita.
Proposicin 1.7 (Desigualdad de Jensen). Sea (, ) un espacio de medida finita y sea una funcin convexa
de R en R. Para cada f L 1 (d ) se tiene,
()
1
f (x)d (x)
()
f (x))d (x)
Demostracin. El hecho de que sea convexa implica que tiene derivadas laterales en todos los puntos y
que su grfica tiene una lnea soporte en cada uno de sus puntos. Esto ltimo significa que para cada punto
t 0 , (t 0 ) , existe una constante A R (de hecho cualquier A entre 0 (t 0 ) y 0+ (t 0 ) sirve) tal que
(t ) (t 0 ) + A(t t 0 ),
para todo t R.
Esto implica que
f (x) (t 0 ) + A f (x) t 0 ,
para todo x ,
R
1
de donde se sigue, por integracin y haciendo t 0 = ()
f d ,
Z
f (x) d (x)
O sea,
1
()
f d
=0
(t 0 ) + A f (x) t 0 d (x) = (t 0 )() + A f (x)d (x) t 0 () = (t 0 )().
1
()
f (x))d (x), como queramos probar.
Demostracin de las relaciones de inclusin. Si f H , se tiene,
1/q
1/q
Z
Z
q
1
1
f (r e i )q d
M q (r, f ) =
f (r e i ) d
= k f kH ,
H
2
2
Esto implica que f H q y adems k f kH q k f kH .
Si f H q , se tiene, por la desigualdad de Jensen,
1/p "
q/p #1/q
Z
Z
1
1
i p
i p
M p (r, f ) =
f (r e ) d
f (r e ) d
=
2
2
1/q
Z
p q
1
f (r e i ) p d
= M q (r, f ) k f kH q .
Esto implica que f H p y adems k f kH p k f kH q .

Si f H p , entonces haciendo uso de que log+ x C p x p para todo p > 0, se tiene,
Z
Z
p
1
1
p
+
i
T (r, f ) =
log f (r e ) d C p
f (r e i ) d = C p M p (r, f ) C p k f kH p .
2
2
Esto implica que f N .
En realidad las relaciones de inclusin son estrictas. Para probarlo, nos apoyamos en los siguientes lemas.
Lema 1.8. Para r (0, 1) y [, ),
1 r e i 2 (1 r )2 + r 2 ,
1 r e i 2 1, 2
3 2 ,
1 r e i 2 (1 r )2 + 4r 22 ,
si || 2 ,
si || 2 .
Demostracin. Primero observamos que
1 r e i 2 = 1 + r 2 2r cos = (1 r )2 + 2r 1 cos 2 = (1 r )2 + 4r sen2 .

2
2
As que la primera desigualdad se debe al hecho de que | sen | || siempre, y la segunda desigualdad se

2
siempre que 0, 2 ) (basta hacerse un dibujo). Para la primera lnea de la tercera
debe a que sen
desigualdad, observamos que si || 2 , entonces 2 ||

2 4 , luego haciendo uso de que la funcin seno

es creciente en 4 , 2 obtenemos
1 r e i 2 = (1 r )2 + 4r sen2 (1 r )2 + 4r sen2 = (1 r )2 + 2r = 1 + r 2 1.
2
4
2
Para continuar, suponemos que || 2 , hacemos h (r ) = (1 r )2 + 4r 2 y observamos que, como funcin de

2
r R, h decrece hasta r = 1 2 2 > 1 42 =
1
2
> 0 y crece a partir de este r . Por tanto,
(1 r )2 + 4r
2
2 (|| 2 ) 2
1
2
2
4 2 1 2 = 3 2 .
= h (r ) h (r ) = = 4 2 1 2
2
Lema 1.9. La funcin f dada por f (z) =
1
1z ,
z D, satisface f
T
p<1
H p H 1.
Demostracin. Primero probamos que f H 1 :

Z
Z
Z
(1r ) 1
1
1
1
1
1
1
M 1 (r, f ) =
d
d
,
p d = p log
p
2 |1 r e i |
2 1r (1 r )2 + r 2
2 1r 2
1
r
2 2
y el miembro de la derecha tiende a cuando r 1.
Fijamos ahora p (0, 1) y probamos que f H p :
Z
Z
Z
1
1
1
1
p
M p (r, f ) =
d
=
+
d
2 |1 r e i |p
2 2 <||< || 2 |1 r e i |p
Z
Z
Z
2
2
1
1
1
1
2p
d +
d
=
+
p d
p
p
p
3
2 2 <||<
2 2
2
0
2
3
||
1
1
1
1
1
2
= + 1p p/2
1p = +
.
p
/
2
0
2
2 1 p 3 21p
3 (1 p)
Teorema 1.10. Para 0 < p < q < se tiene H ( H q ( H p ( N .

1
,
1z
z D, es una transformacin de Mbius que aplica el disco unidad
conformemente sobre el semiplano Re w > 12 a la derecha de 21 . En este semiplano, la rama principal del
Demostracin. La funcin f (z) =
argumento se mueve entre 2 y
2.
Luego la rama principal del logaritmo de f en D, llammosla g , aplica D
conformemente sobre un dominio, no acotado, contenido en la semibanda horizontal : Re > log 21 , 2 <
1
Im < 2 . Esto prueba que g (z) = log 1z
no est en H .
1
1
T
1
p
q
q log 1z , z D, satisface f 1
Veamos que, para q > 0, la funcin f 1/q (z) = (1z)
/q
p<q H H . En efecto,
/ =e
1
q
por el lema anterior, M q (r, f 1/q ) = M 1 (r, f ) no est acotada superiormente, luego f 1/q H q . Tambin por el lema
p
p
p
anterior, para p < q, M p (r, f 1/q ) = M p//qq (r, f ) est acotada superiormente, pues q < 1, luego f 1/q H p .
T
1
Veamos ahora que g (z) = log 1z
, z D, satisface g p< H p H . En efecto, ya hemos visto que g H .
1
1
1
= log |1z|
+ i arg 1z
, entonces, para z = r e i D, por el Lema 1.8, podemos
Por otro lado, como g (z) = log 1z
encontrar una constante C tal que
g (r e i )2 = log2
1
|1 r e i |
+ arg
1 r e
log
1
|1 r e i |
2
22
As que para cualquier p > 0, tenemos |g (r e i )|p C p/2 logp

p
22
si ||
log2 p
3 ||
p ,
3 ||
2
22
si ||
C log2 p
.
3 ||
que es integrable en (, ) y, por tanto,
resulta que g H .
1
S
Veamos finalmente que h(z) = e 1z , z D, satisface h N p>0 H p . En primer lugar observamos que,
1
1
como Re 1 > 1 para todo z D, entonces |h(z)| = e 1z = e Re 1z > e 1/2 > 1, con lo que, atendiendo a que 1
1z
1z
es una funcin holomorfa en D, lo propiedad del valor medio nos da lo que necesitamos:
Z
Z
Z
1
1
1
1
log+ h(r e i ) d =
logh(r e i ) d =
Re
d = 1.
2
2
2
1 r ei
Esto prueba que h N . Fijemos ahora p > 0 y observemos que, a partir de que e x x 2 para x > 0, tenemos
|h(r e i )|p = e
p Re
1
1r e i
=e
1r cos
|1r e i |2
1r
|1r e i |2
(1r )
p 2 |1r
, lo que implica, por el Lema 1.8, que h H p ya que
e i |4
el miembro de la derecha en la siguiente desigualdad tiende a cuando r 1 :

p
2 Z
(1 r )2
h(r e i )p d p
d
2 |1 r i |4
Z
Z
2p 2
(1 r )2
p 2 (1 r )2
p 2 (1 r )2 1
1
d =
3 .
2
2
2
2
2
3
2 0 ((1 r ) + r )
1r (2 )
12
(1 r )
M p (r, h) =
1
2
Volviendo al tema de los ceros, expresamos los resultados que obtuvimos en trminos de estos espacios.
Corolario 1.11. Si f H p , (0 < p ) f N , entonces la sucesin exacta {a n } de sus ceros, repetidos de
P
acuerdo a su multiplicidad, satisface la condicin de Blaschke n (1 |a n |) < .
Como consecuencia inmediata de este resultado obtenemos que si f es holomorfa en D con sucesin exacta
P
de ceros {a n } satisfaciendo n (1 |a n |) = , entonces f N y, por consiguiente, f no est en ninguna de sus
subclases H p . Por ejemplo, la sucesin {1 n1 } no puede ser la sucesin exacta de ceros de ninguna funcin en
H . Ante la pregunta de si el recproco es cierto, vemos que s con el siguiente resultado, concluyendo que la
condicin de Blaschke caracteriza las sucesiones de los ceros de las funciones en H y, por tanto, en todos los
H p y la clase de Nevanlinna N .
Teorema 1.12. Sea {a n } un sucesin en D satisfaciendo la condicin de Blaschke,
Q
producto de Blaschke asociado a {a n }, n b n (z), donde
b n (z) = z,
si a n = 0,
b n (z) =
a n z a n
,
|a n | 1 a n z
n (1 |a n |) < .
Entonces el
si a n 6= 0,
converge absoluta y uniformemente en cada compacto de D, definiendo una funcin B H , cuya sucesin de
ceros es exactamente {a n } y adems |B (z)| < 1 para |z| < 1.
Demostracin. Sea K D compacto, entonces K D(0, R) para algn R (0, 1).

Para z D(0, R) y a n 6= 0,
an
|a n |2
an
z(1
|a
|)
a
z
+
|a
|)
+
1
(1
n
n
n
|a n |
|a n |
|a n |
1 b n (z) = 1 a n z a n =
=
|a n | 1 a n z
|1 a n z|
|1 a n z|
an
an
1 + |an | |z|
1 + |an | z
an
=
(1 |a n |)
(1 |a n |)
|an | = 1, |a n | 1, |z| R
|1 a n z|
1 |a n | |z|
1+R
(1 |a n |).
1R
Y para z D(0, R) y a n = 0, claramente,
1+R
(1 |a n |).
|1 b n (z)| = |1 z| 1 + R
1R
P
P
As que como n (1 |a n |) converge, entonces n 1 b n (z) converge absoluta y uniformemente en K y, por
Q
Q
consiguiente, el producto n b n (z) converge absoluta y uniformemente en K . Esto prueba que n b n (z) define
una funcin holomorfa B en D cuya sucesin de ceros es exactamente {a n }.
Adems, como cada factor b n es un automorfismo del disco unidad (una transformacin de Mbius del
disco unidad en s mismo), resulta que
para todo z D.
|b n (z)| 1,
Por consiguiente, el producto debe tener mdulo acotado por 1,

Y
|B (z)| = b n (z) 1,
para todo z D.
n
Haciendo uso del principio del mdulo mximo resulta que, como B no es constante, no puede alcanzar mdulo mximo en el interior de D y, por tanto, se tiene que |B (z)| < 1 para todo z D.
Dado que, para a D {0}, cada factor del tipo b a (z) =
de Riemann (con cero en a D y polo en
1
),
a
a za
|a| 1az
es de hecho un automorfismo de la esfera
resulta que el producto de Blaschke anterior tiene un dominio de
definicin mayor que D:

P
Teorema 1.13. Si {a n } D satisface la condicin de Blaschke, n (1|a n |) < , entonces el producto de Blaschke
Q
n b n (z) define una funcin meromorfa en C E, donde E es el subconjunto de D formado por los puntos de

acumulacin de {a n } (que son los mismos que los puntos de acumulacin de a1 ), con sucesin exacta de ceros
n

dada por {a n } y sucesin exacta de polos dada por a1 .
n
Demostracin. Para probar esta asercin basta mostrar que para todo compacto K C E existe n K N tal
Q
que b n es holomorfa en K para todo n n K y adems nnK b n converge absoluta y uniformemente en K .
Sea pues K un compacto de C E. Entonces existe R > 0 tal que K D(0, R), y un natural n K tal que E a n :
1
n n K a : n n K queda a una distancia positiva, digamos > 0, de K . Adems podemos tomar n K lo
n
suficientemente grande como para que
1
2
< |a n | <
3
2
para todo n n K (con lo que, tambin,
2
3
<
1
|a n |
< 2 para
todo n n K ). De esta manera, si n n K tenemos que b n es holomorfa en K y, adems, para cualquier z K ,
a
1 + |ann | z
1+R
1+R
1 b n (z) = =
1
1 |a n | 1
1 |a n |
1 |a n | .
|1 a n z|
|a n | a z
2
n
Esto muestra que la suma
Q
nn K 1 b n y, consecuentemente, el producto
nn K b n , convergen absoluta y
uniformemente en K , probando lo que queramos.

Podemos afinar un poco ms sobre el comportamiento de productos de Blaschke en la frontera del disco
unidad. De hecho podemos obtener que, por tratarse de funciones holomorfas y acotadas, cada producto de
Blaschke B tiene lmite radial de mdulo 1 en casi todo punto de D, esto es, para casi todo R existe B (e i ) =
lmr 1 B (r e i ), y |B (e i )| = 1. Para llegar a este resultado, hemos de desviarnos momentneamente de nuestro
objetivo principal e introducir una teora bsica de funciones armnicas y subarmnicas.
Nota. Adoptando este resultado como cierto, obtenemos entonces el siguiente comportamiento en los puntos
de acumulacin de ceros de productos de Blaschke:
Si B es un producto de Blaschke con sucesin exacta de ceros {a n } y E D es el conjunto de puntos de
acumulacin de ceros de B , entonces |B | no admite extensin continua a ningn punto de E.
En efecto, si a E entonces es lmite de una subsucesin de la sucesin de ceros de B . Por tanto, es
lm inf |B (z)| = 0.
D3za
Por otro lado, aceptando el hecho de que B tiene lmite radial de mdulo 1 en casi todo punto de D, debemos
concluir que
lm sup |B (z)| = 1,
D3za
probando que no es posible obtener continuidad de |B | en a.
1.3. Funciones armnicas reales

Las funciones armnicas suelen introducirse y estudiarse en asignaturas de ecuaciones en derivadas parciales, pero cuando nos restringimos al plano, las tcnicas de variable compleja hacen su aparicin de manera
natural, crendose de este modo una interaccin que hace que ambas disciplinas se enriquezcan una de la otra.
En lo que sigue nos limitaremos a exponer de manera concisa los resultados bsicos de funciones armnicas
reales en el plano complejo.
Definicin 1.14 (Funcin armnica). Sea un abierto de C. Decimos que una funcin u : R es armnica
en si es de clase C 2 y satisface la ecuacin de Laplace:
u = u xx + u y y 0, en .
Los primeros ejemplos de funciones armnicas los encontramos tomando las partes reales (o imaginarias)
de funciones holomorfas. Y, bsicamente, as son todas las funciones armnicas en el plano, ya que es fcil
probar que si u es armnica en un abierto C y D(z 0 , r ) entonces existe f holomorfa en D(z 0 , r ) tal que
u = Re f en D(z 0 , r ), esto es, toda funcin armnica es localmente la parte real de una funcin holomorfa.
Como consecuencia de este resultado, las funciones armnicas satisfacen la propiedad del valor medio: si
u es armnica en un abierto C y D(z 0 , R) entonces
u(z 0 ) =
1
2
u(z 0 + r e ) d ,
para todo r [0, R).
Las funciones armnicas tambin satisfacen un principio del mximo, una de cuyas versiones se puede
enunciar como sigue. Si u es armnica en un dominio D C y lm supD3z u(z) M para todo D,
entonces u(z) < M para todo z D, o u M en D.
Hay que hacer notar que si u es armnica entonces u tambin lo es, lo que da lugar a un principio del
mnimo para funciones armnicas: si u es armnica en un dominio D C y lm infD3z u(z) m para todo
D, entonces u(z) > m para todo z D, o u m en D.
El problema de Dirichlet en un dominio D con valores en la frontera D dados por una funcin continua
f plantea encontrar, si es posible, una funcin u, armnica en D, continua en D y tal que u |D f . Como consecuencia del principio del mximo (y del mnimo) obtenemos la unicidad de soluciones para el problema de
Dirichlet. Cuando el problema de Dirichlet siempre tenga solucin para cualquiera que sea la funcin continua
elegida en la frontera del dominio, diremos que es un dominio regular para el problema de Dirichlet.
El problema de saber qu dominios del plano son regulares para el problema de Dirichlet es de por s bastante complicado. Se sabe que si cada componente conexa del complemento del dominio D consta de ms
de un punto, entonces dicho dominio es regular para el problema de Dirichlet. En particular, el disco unidad
D = {z C : |z| < 1} es regular para el problema de Dirichlet, y la solucin del problema de Dirichlet en D con
valores en la frontera dados por una funcin f , continua en D, viene dada por
P [ f ](z), si z D,
(?)
u(z) =
f (z),
si z D,
donde P [ f ] se conoce como la integral de Poisson de f :
Z
1
f (e i t )P r ( t )d t ,
P [ f ](z) = P [ f ](r e i ) =
2
siendo P r (t ) =
1r 2
|1r e i t |2
z = r e i D,
lo que se conoce como ncleo de Poisson. Sus propiedades bsicas incluyen las propias
de una aproximacin de la identidad.

(1) P r (t ) > 0.
(2) Para cada r [0, 1), la funcin t R 7 P r (t ) =
1r 2
|1r e i t |2
1r 2
1+r 2 2r cos t
es continua en R, es peridica de
periodo 2, es simtrica (P r (t ) = P r (t )), y es decreciente en [0, ]. (Nota: P r (0) =
1+r
1r
y P r () =
1r
1+r
).
it
1+r e
(3) La funcin u, dada por u(r e i t ) = P r (t ), es armnica en D, ya que P r (t ) = Re 1r
.
ei t
r 0
(4) Si (0, ] entonces P r (t ) 0 uniformemente en [, ] [, ].

R
1
(5) 2
P r (t )d t = 1, para todo r [0, 1).
La integral de Poisson de una funcin continua en D es una funcin armnica en D, y esto es porque
el ncleo de Poisson es la parte real de una funcin holomorfa en D. Igualmente ocurre si solo tomamos la
integral de Poisson de una funcin integrable, o ms generalmente, la de una medida en M(T), el espacio de
las medidas de Borel finitas con signo sobre T (indistintamente D). O sea, el hecho de que el ncleo de Poisson
sea la parte real de una funcin holomorfa en D nos dice que la integral de Poisson de una medida M(T),
Z
1
i
P r ( t ) d (t ), r e i D,
P [d ](r e ) =
2 T
es tambin una funcin armnica en D. Ahora bien, en el caso de una funcin continua f en T, tenemos que
P [ f ] se extiende de manera continua a D, siendo la extensin en D igual a f , lo que equivale a decir que
P r f f uniformemente en T cuando r 1 . Es que podemos afirmar algo anlogo cuando f es integrable?
Para responder a esta pregunta hacemos unas observaciones previas.
Definicin 1.15 (Espacios h p ). Decimos que u h p si u es armnica en D y sup0<r <1 M p (r, u) < donde
1 Z
1/p
u(r e i )p d
M p (r, u) =
,
1 p < ,
2
M (r, u) = max|u(z)| = max|u(z)|,
|z|=r
(por el principio del mximo).
|z|r
Observamos que el hecho de que u sea armnica en D ya implica que M p (r, u) (1 p ) es finita cualquiera que sea r (0, 1). Lo importante de esta definicin es que, para u h p , existe C > 0 tal que M p (r, u) C
para todo r (0, 1).
Teorema 1.16. 1) Si f L p (T), 1 p , entonces u = P [ f ] h p y sup0<r <1 M p (r, u) k f kL p (T) .
2) Si M(T), entonces u = P [d ] h 1 y sup0<r <1 M 1 (r, u) kd k, donde kd k denota la variacin total de .
Z
1
Demostracin. 1) En este caso tenemos u(r e i ) =
P r ( t ) f (e i t ) d t .
2
Para 1 p < , tenemos por la desigualdad de Minkowski (o Jensen)
Z
Z
Z
p
1 1
1
i p
M p (r, u) =
u(r e ) d =
P r ( t ) f (e i t ) d t d
2
2 2
=1
z Z
}|
{
p 1
1
p
i
t
f (e )
P r ( t ) d d t = k f kL p (T) .
2
2
Z
10

Si p = , la situacin es ms simple,
=1
}|
{
z Z
Z
it
u(r e i ) = 1
P r ( t ) f (e ) d t k f kL (T)
P r ( t ) d t ,
2
2
lo que implica que M (r, u) k f kL (T) .
2) En este caso es u(r e i ) =
R
1
it
2 P r ( t ) d (e ), y de nuevo,
Z
Z
Z

1
1 1
u(r e i ) d
P r ( t ) d (e i t ) d =
2
2 2
Z
Z

1 1
=
P r ( t ) d d (e i t ) = kd k.
2 2
M 1 (r, u) =
Ya podemos responder a la pregunta anterior y dar el siguiente resultado de convergencia de P [ f ] a f .

Teorema 1.17. Supongamos que f L p , para algn p [1, ], o supongamos que M(T). Para u = P [ f ], o
u = P [d ], ponemos u r (e i ) = u(r e i ). Entonces
r 1
(A) Si 1 p < , ku r f kL p (T) 0.

(p = no puede incluirse porque kkL (T) corresponde con convergencia uniforme y de darse ku r f kL (T)
0, al ser u r continua, tendramos que f tambin habra de serlo).
(B) Si f C (T) entonces u resuelve el problema de Dirichlet en D con valores en la frontera dados por f . O sea,
u es armnica en D, continua en D y u|T = f . X
w
(C) Si f L (T), entonces u r f .

w
(D) Si M(T), entonces u r .

Demostracin. (A) Sea t el operador traslacin t f (e i ) = f (e i (t ) ). Sabemos que t es continuo en L p (T),
o sea que t f f en L p (T).
t 0
Dado > 0, sea > 0 tal que para t (, ), kt f f kL p (T) < 2 .

r 1
Fijado > 0, como P r (t ) 0 uniformemente en [, ], existe r 0 (0, 1) tal que para r (r 0 , 1), P r (t ) <
4k f kL p (T)
para todo t [, ].
Con estos preliminares ya abordamos la convergencia en norma L p (T):

1 Z
1/p
|u r (e i ) f (e i )|p d
2
1 Z 1 Z h
i
1/p
|
f (e i (t ) ) f (e i ) P r (t ) d t |p d
=
2 2
Z
Z
n
o
1/p
1 1
Minkowski
| f (e i (t ) ) f (e i )|p d
P r (t ) d t
(1p<)
2 2
Z
Z
1
kt f f kL p (T) P r (t ) d t
=
+
2 |t |< |t |
< + 2k f kL p (T)
= .
2
4k f kL p (T)
ku r f kL p (T) =
(B) X
(C) Como L (T) es el espacio dual de L 1 (T), hemos de ver que
1
2
1
u r (e ) g (e ) d
r
1
2
f (e i ) g (e i ) d , g L 1 (T).
11
Sea pues g L 1 (T). Entonces

Z
Z
Z
1
1 1
u r (e i ) g (e i ) d =
P r ( t ) f (e i t ) d t g (e i ) d
2
2 2
Z
Z
Z
1
1
1
it
i
=
f (e )
P r (t ) g (e ) d d t =
f (e i t ) P r g (e i t ) d t
2
2
2
Z
r 1 1
f (e i t ) g (e i t ) d t ,
2
r 1
ya que, por (A), kP r g g kL 1 (T) 0 y, por tanto, P r g g .

(D) Como M = C (T) , hemos de ver que
Z
Z
1
r 1 1
u r (e i ) g (e i ) d
g (e i ) d (), g C (T).
2
2
r 1
Sea pues g C (T), usamos (B), que nos dice kP r g g kL (T) 0, para obtener lo deseado,
1
2
Z
Z
1 1
P r ( t ) d (t ) g (e i ) d
2 2
Z
Z
Z
1
1 1
P r g (e i t ) d (t )
P r (t ) g (e i ) d d (t ) =
=
2 2
2
Z
r 1 1
g (e i t ) d (t ).
2
u r (e i ) g (e i ) d =
La relacin que existe entre funciones armnicas en h p y su comportamiento en la frontera es an ms

fuerte. Los siguientes son teoremas de representacin.
Teorema 1.18. Supongamos que u h p .
Si p = 1, existe M(T) tal que u = P [d ]. Esto, a su vez, equivale a decir que u puede escribirse como
diferencia de dos funciones armnicas positivas en D.
Si 1 < p , entonces existe f L p (T) tal que u = P [ f ].
Demostracin. Para 0 < r < 1, consideremos u r (e i ) = u(r e i ), T (o e i D). Observemos que las normas
L p de u r son uniformemente acotadas para r (0, 1),
ku r kL p (T) =
1
2
|u r (e i t )|p d t
1/p
1
2
|u(r e i t )|p d t
1/p
= M p (r, u) kukh p ,
Si 1 < p , tenemos que L p es el espacio dual de L p ( p1 + p10 = 1), luego al decir que {u r } es un conjunto acotado en un espacio dual, podemos extraer una sucesin r n 1 de tal manera que u r n converge en la topologa
0
dbil estrella a una cierta f L p . En otras palabras, tenemos que para toda g L p ,
Z
Z
1
1
u r n (e i t ) g (e i t ) d t
f (e i t ) g (e i t ) d t ,
n 2
2
o sea,
1
2
u(r n e i t ) g (e i t ) d t
n
1
2
f (e i t ) g (e i t ) d t .
En particular, para r e i D, observamos que P r ( t ) L p pues est en L , luego

Z
Z
1
1
u(r n e i t ) P r ( t ) d t
f (e i t ) P r ( t ) d t .
n 2
2
R
1
it
Pero por otro lado, observamos que 2
u(r n e ) P r ( t ) d t es la solucin del problema de Dirichlet en el
disco unidad unidad D con valores en la frontera dados por u(r n e i t ). Es evidente que esa solucin viene dada
por U (r e i ) = u(r r n e i ), pues sta es una funcin armnica en D, es continua en D y sus valores en la frontera
son U (e i ) = u(r n e i ).
12
As pues, del lmite anterior se obtiene

1
n 2
u(r e i ) = lm u(r n r e i ) = lm
n
u(r n e i t ) P r ( t ) d t =
1
2
f (e i t ) P r ( t ) d t .
En el caso en que p = 1, tenemos que {u r : r (0, 1)} es un conjunto acotado en L 1 (T). Resulta que L 1 (T) no
es dual de ningn espacio, pero como L 1 (T) se puede sumergir en M(T), y ste s es el espacio dual de C (T),
w
entonces podemos extraer una sucesin {r n }, r n 1 tal que u r n , para cierta M. Esto quiere decir que si
v C (T), entonces
1
2
u r n (e i t ) v(e i t ) d t
n
1
2
v(e i t ) d (t ).
En particular, para e i D, tenemos v(e i t ) = P r ( t ) C (T), luego

Z
Z
1
1
u(r e i ) = lm u(r n r e i ) = lm
u(r n e i t ) P r ( t ) d t =
P r ( t ) d (t ).
n
n 2
2
Ahora, descomponiendo M(T) en diferencia de su parte positiva y su parte negativa, = + , llegamos
a escribir u como diferencia de dos funciones armnicas positivas:
Z
Z
Z
1
1
1
u(r e i ) =
P r ( t ) d (t ) =
P r ( t ) d + (t )
P r ( t ) d (t ) := u 1 (r e i ) u 2 (r e i ).
2
2
2
Por otro lado, si u se escribe como diferencia de dos funciones armnicas positivas en D, u = u 1 u 2 , entonces,
usando la propiedad del valor medio, observamos que est en h 1 :
Z
Z
Z
1
1
1
i
i
|u(r e )| d
u 1 (r e ) d +
u 2 (r e i ) d = u 1 (0) + u 2 (0),
2
2
2
r (0, 1).
1.4. Funciones subarmnicas

Del hecho que el disco unidad es regular para el problema de Dirichlet resulta que cualquier dominio de
Jordan tambin lo es, en particular, cualquier disco es regular para el problema de Dirichlet. Con ayuda de esto
y del principio del mximo (y del mnimo) podemos caracterizar las funciones armnicas en un dominio D
como aquellas funciones que son continuas en D y satisfacen la propiedad local del valor medio, o sea, que
satisfacen que para cada z 0 D existe r 0 > 0 tal que D(z 0 , r 0 ) D y
Z
1
u(z 0 ) =
u(z 0 + r e i ) d ,
para todo r [0, r 0 ).
2
Esta caracterizacin nos permite introducir una clase ms general de funciones con propiedades similares
a las armnicas y que son fundamentales a la hora de resolver el problema de Dirichlet en dominios ms generales. Estamos hablando de las funciones subarmnicas (y por ende, de las superarmnicas). En vez de exigirles
satisfacer la propiedad del valor medio, solo les exigiremos que satisfagan la propiedad de la submedia local,
esto es, que satisfagan que para cada z 0 D existe r 0 > 0 tal que D(z 0 , r 0 ) D y
Z
1
u(z 0 )
u(z 0 + r e i ) d ,
2
Esta teora de funciones subarmnicas se podra desarrollar dentro de la clase de las funciones continuas,
pero se obtiene ms generalidad (sin perder propiedades bsicas) si consideramos la clase de las funciones
semicontinuas superiormente. Introducimos esta clase a continuacin.
Funciones semicontinuas superiormente (s.c.s.).
Definicin 1.19. Sea S un conjunto de C. Decimos que una funcin u : S [, ] es semicontinua superiormente (s.c.s.) en a S si
lm sup u(z) u(a).
S3za
Decimos que u es s.c.s. en S si lo es en cada punto de S.
13
Enunciemos algunas propiedades de estas funciones:

1 Si u es continua entonces, evidentemente, u es s.c.s..
2 En caso de tener sentido, la suma de dos funciones s.c.s. es s.c.s.. Los casos sin sentido se dan cuando, por
ejemplo, para un mismo punto z 0 se tiene u 1 (z 0 ) = y u 2 (z 0 ) = +.
3 El mximo de dos funciones s.c.s. es s.c.s..
4 Si S es cerrado en C, entonces S es s.c.s..
5 u : S [, ] es s.c.s. si, y solo si, para todo t R, u 1 [, t ) es abierto en S.

6 Si S es compacto y u : S [, ) es s.c.s. entonces u est acotada superiormente y alcanza su mximo
en S.
7 Sea u : S [, ] s.c.s. y sea : R R continua creciente (se entiende definida en e de forma
natural), entonces u es s.c.s..
8 Si {u n } es una sucesin de funciones s.c.s. de S en [, ] y u n & u, entonces u es s.c.s. en S.
Demostracin. Sea a S. Si u(a) = +, no hay nada que probar. As que supongamos que u(a) < .
Sea > 0. Como u n (a) & u(a), existe N N tal que |u n (a) u(a)| < para todo n N . Esto implica
que u(a) u N (a) < u(a) + . Ahora como lm supza u N (z) u N (a) < u(a) + , existe r N > 0 tal que
si z D(a, r N ) S entonces u N (z) < u(a) + . Finalmente, como u N u, resulta que si z D(a, r N ) S
entonces u(z) u N (z) < u(a) + , probando que lm supza u(z) u(a).
9 De igual manera se prueba que si {u n } es una sucesin de funciones s.c.s. se S en [, ], entonces
u(z) = nfn u n (z) es s.c.s. en S.
10 Sea D C abierto y sea u : D [, ) s.c.s.. Sea K un subconjunto compacto de D. Entonces existe una
sucesin decreciente { f n }
axK u en
n=1 de funciones continuas de C en R, acotadas superiormente (por m
el caso en que u 6 ), tal que f n & u en K .
Demostracin. Si u |K , entonces f n n hace el trabajo.
Supongamos entonces que u no es idnticamente igual a en K . Por 6 u est acotada superiormente
en K y alcanza su mximo (finito porque u 6 ) en K , al que podemos llamar M . Consideramos, para
cada n N y cada z C,
f n (z) = sup u() n| z| .

K
Observamos que estas f n hacen el trabajo.

10.1
f n+1 (z) f n (z), z C.

Para cada K y cada z C, u()(n +1)| z| u()n| z| f n (z). Por tanto, tomando supremo cuando K en el lado izquierdo, tenemos f n+1 (z) f n (z), z C.
10.2 Para todo n, u(z) f n (z) M , donde la primera desigualdad es para z K y la segunda para z C.
Como u M en K , entonces para n N y z C, tenemos trivialmente
f n (z) = sup u() n| z| M .

K
Por otro lado, para n N y z K
u(z) = u(z) n|z z| sup (u() n| z| = f n (z).

K
10.3
f n es continua en C.
14

Para z 1 , z 2 C, y K , tenemos
u()n|z 1 | u()n|z 2 | = n |z 2 ||z 1 | n |z 2 z 1 |+|z 1 ||z 1 | = n|z 2 z 1 |.

O sea,
u() n|z 1 | u() n|z 2 | + n|z 2 z 1 | f n (z 2 ) + n|z 2 z 1 |.
Luego tomando supremos cuando K , tenemos
f n (z 1 ) f n (z 2 ) + n|z 2 z 1 |.
De manera anloga obtenemos f n (z 2 ) f n (z 1 ) n|z 2 z 1 |, con lo que concluimos que f n es Lipschitziana con constante de Lipschitz inferior a n,
f n (z 1 ) f n (z 2 ) n|z 2 z 1 |.
10.4 Para cada a K , f n & u(a).
Sea a K . Sea > 0. Como lm supza u(z) u(a), existe r > 0 tal que u(z) < u(a) + para todo
z D(a, r ) K . Sea n 0 N tal que M r n 0 u(a) + . Ahora para K y n n 0 tenemos
u() n| a| < u(a) + ,

si D(a, r ) K ,
u() n| a| M nr M n r u(a) + , si | a| r.
0
En cualquier caso, tenemos para K y n n 0 ,

u() n| a| u(a) + ,
de donde se sigue, tomando el supremo cuando K ,
f n (a) u(a) + , para todo n n 0 .
Como, por 10.2 , u(a) f n (a) para todo n, obtenemos entonces que lmn f n (a) = u(a).
11 Lo anterior puede ser generalizado a esto otro: Supongamos que u : S [, ]. Entonces u es s.c.s.
en S si, y solo si, existe una sucesin decreciente de funciones continuas { f n } C (S, R) tal que u(x) =
lmn f n (x), x S.
Demostracin. Claramente, si existe una sucesin decreciente de funciones continuas { f n } C (S, R) tal
que u(x) = lmn f n (x), x S, entonces u es s.c.s. en S.
Por otro lado, supongamos que u es s.c.s. en S. Entonces, si es necesario, componiendo con un homeomorfismo creciente de R sobre [0, 1] (del tipo, (x) = 12 + 1 arctan x) y aplicando 7 , podemos suponer
tambin, sin prdida de generalidad que u(S) [0, 1].
Ante esta suposicin, observamos que M (z, r ) = sup{u() : D(z, r ) S}, z S, r > 0, es una funcin,
mayor o igual que 0, que crece con r cuando z est fijo y, consecuentemente, las medias integrales,
Z
1 r
I (z, r ) =
M (z, t ) d t ,
z S, r > 0,
r 0
estn bien definidas, son crecientes en r para z fijo y son continuas en z S para r fijo.
Veamos que I (z, r ) crece con r . Fijemos z S y tomemos 0 < r 1 < r 2 . Entonces el hecho de que M 0 y
que crezca con r da
Z r2
Z r1
i
1 h
r1
M (z, t ) d t r 2
M (z, t ) d t
r1r2
0
0
Z r1
Z r2
i
1 h 0
=
(r 1 r 2 )
M (z, t ) d t + r 1
M (z, t ) d t
r1r2
0
r1
i
1 h
(r 1 r 2 )M (z, r 1 )r 1 + r 1 M (z, r 1 )(r 2 r 1 ) = 0.

r1r2
I (z, r 2 ) I (z, r 1 ) =
15
Veamos ahora que I (z, r ) es continua en z. Es ms, veamos que para r > 0 fijo, I (, r ) es lipschitziana
con constante menor o igual que r1 . Para ello, tomemos z 1 , z 2 S, observemos que entonces M (z 2 , t )
M (z 1 , t + |z 2 z 1 |), t > 0, y recordemos que 0 M (z, t ) 1, pues u(S) [0, 1], para obtener
1
r
I (z 2 , r ) =
1
r
r
0
M (z 2 , t ) d t
1
r
M (z 1 , t ) d t +
1
r
r
0
I (z 1 , r ) +
M (z 1 , t + |z 2 z 1 |) d t =
0
Z r +|z2 z1 |
1
r
r +|z 2 z 1 |
|z 2 z 1 |
M (z 1 , t ) d t
M (z 1 , t ) d t
1
1
M (z 1 , r + |z 2 z 1 |) |z 2 z 1 | I (z 1 , r ) + |z 2 z 1 |.
r
r
De manera anloga se obtiene que I (z 1 , r ) I (z 2 , r ) + r1 |z 1 z 2 |, dando por resultado que
I (z 2 , r ) I (z 1 , r ) 1 |z 2 z 1 |.
r
Una ltima observacin. Del hecho de que u sea s.c.s. se tiene que M (z, r ) & u(z) cuando r & 0, por lo
que I (z, r ) & u(z) cuando r & 0. As que juntando todo esto, basta tomar una sucesin {r n } (0, ) con
r n & 0, para concluir que f n (z) = I (z, r n ), n N, define una sucesin decreciente de funciones continuas
en S con lmite puntual u en S.
12 Como consecuencia de estas ltimas propiedades obtenemos que si u es s.c.s. en S, entonces u es Borelmedible en cada subconjunto boreliano de S.
13 Adems, si D es abierto, u : D [, ) es s.c.s. y K es un subconjunto compacto de D, entonces u es
Borel medible en K y est acotada superiormente en K (de hecho alcanza el mximo en K ), por tanto, la
integral de u sobre K tiene perfecto sentido (aunque pueda ser igual a ).
Funciones subarmnicas (SH).
Definicin 1.20. Sea D C dominio. Sea u : D [, ). Decimos que u es subarmnica en D, denotado
u SH(D), si
(i) u 6 .
(ii) u es s.c.s. en D.
(iii) u satisface la propiedad de la submedia local en D que, recordamos, significa que para cada z 0 D existe
r 0 > 0 tal que D(z 0 , r 0 ) D y
u(z 0 ) L(z 0 , r, u) :=
1
2
u(z 0 + r e i ) d ,
Notemos que considerar la integral en (iii) tiene perfecto sentido por la propiedad 13 de las funciones
semicontinuas. Dejamos abierta la posibilidad de que alguna de dichas integrales pueda ser , aunque ms
adelante veremos que esto no es posible.
A continuacin enunciamos una serie de propiedades bsicas.
1 Si u es subarmnica en un dominio D y z 0 D, entonces existe R > tal que D(z 0 , R) D y
u(z 0 ) A(z 0 , r, u) :=
1
r 2
Z
D(z 0 ,r )
u(z) dA(z),
para todo r (0, R).
En efecto. Primero observamos que la integral sobre discos del tipo D(z 0 , r ), tiene sentido por lo anterior.
Ahora, de la propiedad de la submedia local, dado z 0 existe R > 0 tal que D(z 0 , R) D y
Z
1
u(z 0 ) L(z 0 , r, u) =
u(z 0 + r e i ) d ,
para todo r (0, R).
2
16

Por tanto,
r
Z
0
2 u(z 0 ) d
Z
0
u(z 0 + e i ) d d ,
para todo r (0, R),

r 2 u(z 0 )
Z
D(z 0 ,r )
u(z) dA(z) = r 2 A(z 0 , r, u),
para todo r (0, R),
que es lo que queramos probar.

2 La subarmonicidad es una propiedad local.
3 Si u es subarmnica en un dominio D y D 0 D es dominio tambin, entonces u es subarmnica en D 0 .
4 Supongamos que u 1 , u 2 son subarmnicas un dominio D y que 1 y 2 son nmeros positivos, entonces
1 u 1 + 2 u 2 es o bien subarmnica en D o bien . (Veremos que esto ltimo es imposible).
5 Supongamos que u : D R es de clase C 2 . Entonces u SH(D) si, y solo si, u 0 en D.
Demostracin. Para cada z D tomamos r z = dist(z, D). Entonces D(z, r z ) D. Como u C 2 (D), entonces, para z D, la funcin de medias integrales L(z, , u) est en C 1 (0, r z ). Luego por el Teorema de
Green, para (0, r z ),
Z
d
1
L(z, , u) =
[u(z + e i )] d
d
2
Z
1
[u x (z + e i ) cos + u y (z + e i ) sen ] d
=
2
Z
1
dy
dx
=
u x ()
u y ()
2 |z|=
Z
Z
1
1
=
(u xx () + u y y ()) d A() =
u() dA(z).
2 |z|
2 |z|
Supongamos inicialmente que u SH(D) y que, por reduccin al absurdo, existe z 0 D tal que u(z 0 ) <
0. Como u C 2 (D), existe r 0 > 0 tal que u(z) < 0 para todo z D(z 0 , r 0 ) D. Por lo anterior tenemos
entonces que
d
1
L(z 0 , , u) =
d
2
Z
|zz 0 |
(z) dA(z) < 0,
(0, r 0 ),
lo que implica que L(z 0 , , u) es una funcin decreciente de [0, r 0 ]. En particular, tendramos
u(z 0 ) = L(z 0 , 0, u) > L(z 0 , , u) =
1
2
u(z 0 + e i ) d ,
para todo (0, r 0 ),
lo cual contradice la propiedad de la submedia local.

Supongamos ahora que u 0 en D. Entonces u satisface (i) y (ii) trivialmente. Para ver la propiedad de
la submedia local, tomamos z 0 D y r 0 > 0 tales que D(z 0 , r 0 ) D. Por la anterior frmula tenemos
d
1
L(z 0 , , u) =
d
2
Z
|zz 0 |
u(z) dA(z) 0.
Esto nos dice que L(z 0 , , u) es una funcin creciente de [0, r 0 ) y, por tanto, que
u(z 0 ) = L(z 0 , 0, u) L(z 0 , , u) =
1
2
u(z 0 + e i ) d ,
6 Si h es armnica en D, entonces h, h, |h| son subarmnicas en D.

7 Si u y u son subarmnicas en D entonces u es armnica en D.
para todo (0, r 0 ).
17

8 Si f es holomorfa en D y no idnticamente igual a 0, entonces log f es subarmnica en D.
Claramente, log | f | aplica D en [, ), no es idnticamente igual a , y es continua en el sentido
amplio, luego es s.c.s. en D. Finalmente, para comprobar la propiedad de la submedia local, fijamos z 0
D. Si f (z 0 ) = 0 entonces es log | f (z 0 )| = L(z 0 , r, log | f |) para todo r > 0 tal que D(z 0 , r ) D. Si,
por el contrario, f (z 0 ) 6= 0, entonces existe r 0 > 0 tal que D(z 0 , r ) D y f (z) 6= 0, cualquiera que sea
z D(z 0 , r 0 ). Esto implica que existe una rama holomorfa de log f en D(z 0 , r 0 ), de donde se sigue que
log | f | es armnica en D(z 0 , r 0 ) y, consecuentemente, por la propiedad del valor medio para funciones
armnicas, log | f (z 0 )| = L(z 0 , r, log | f |) para todo r [0, r 0 ).
9 Si u SH(D) y : R R es creciente y convexa (() = lmx (x)), entonces u SH(D).
Claramente, u : D [, ), u 6 , y u es s.c.s. en D porque es continua y u es s.c.s. en D.
Finalmente la propiedad de la submedia local: Sea z 0 D, haciendo uso de que u satisface la propiedad
de la submedia local, encontramos r 0 > 0 tal que D(z 0 , r 0 ) D y
Z
1
u(z 0 )
u(z 0 + r e i ) d ,
2
Ahora usamos, en primer lugar, que es creciente, y seguidamente, que es convexa para aplicar la
desigualdad de Jensen:
Z
1 Z
1
u(z 0 )
u(z 0 + r e i ) d
u(z 0 + r e i ) d ,
2
2
10 Si h es armnica en D, entonces h + := max{h, 0}, y h = (h)+ son subarmnicas en D, ya que (x) = x +

es creciente y convexa en R.
p
11 Si f Hol (D) y p > 0, entonces f = e p log| f | es subarmnica en D, ya que (x) = e px es creciente y
convexa en R.
12 Si u es subarmnica en D y p 1, entonces u + y (u + )p son subarmnicas en D, ya que ( x) = x + y,
cuando p 1, p (x) = (x + )p son crecientes y convexas en R.
A continuacin enunciamos y probamos un principio del mximo para funciones subarmnicas. Recordemos la notacin habitual: Si D es un dominio de C entonces D denota a D si D es acotado, y en caso
contrario, denota a D {}.
Teorema 1.21 (Principio del Mximo). Sean u : D [, ) subarmnica en un dominio D C y M R.
Supongamos que
para todo D.
lm sup u(z) M ,
D3z
Entonces u(z) M para todo z D. Adems si se da igualdad para algn z 0 D, entonces u es constante en D.
Demostracin. Sea K = supzD u(z) (, ]. Por supuesto, K > , pues u 6 . Nuestra intencin es
probar que K M . Sea {z n } una sucesin en D, que podemos suponer z n z D D, tal que u(z n ) K .
Distinguimos entonces 2 casos.
Caso 1: z D. Entonces K = lmn u(z n ) lm sup u(z) M .
D3zz
Caso 2: z D. Entonces, usando la semicontinuidad superior de u y que K = supD u, tenemos

K = lm u(z n ) lm sup u(z) u(z ) K
n
D3zz
K = u(z ) < .
Consideremos ahora S = {z D : u(z) = K }, y observemos en primer lugar que S 6= ;, pues z S.

Veamos que S es abierto. Sea z 0 S y sea r 0 > 0 tal que, por 1 , D(z 0 , r 0 ) D y u(z 0 ) A(z 0 , r 0 , u). Como
u(z 0 ) = K = maxD u, entonces
K = u(z 0 )
1
r 2
Z
D(z 0 ,r 0 )
u(z) dA(z) K ,
18
de donde se sigue que u() = K para casi todo D(z 0 , r 0 ). Esto implica que para cada D(z 0 , r 0 ) existe
{n } D(z 0 , r 0 ) con n y u(n ) = K , luego, por la semicontinuidad superior de u,
K = lm u(n ) lm sup u(z) u(),
n
D3z
Como tambin es u() K , entonces la cadena anterior se convierte en igualdad, u() = K , lo que prueba que
D(z 0 , r 0 ) S, y as, que S es abierto.
Adems S es cerrado en D. Sea {n } S con n 0 D. Entonces la semicontinuidad superior de u y el
hecho de que K = maxD u, da
K = lm u(n ) lm sup u(z) u(0 ) K ,
n
D3z0
lo que prueba que u(0 ) = K , con lo que 0 S y, por tanto, prueba que S es cerrado en D.
Resulta que S 6= ;, abierto y cerrado en D. Luego, como D es conexo, S = D, o sea, u K en D y, por tanto,
se sigue de aqu que K M .
Este caso incluye tambin el caso de igualdad.
Como consecuencia del Principio del mximo, probamos fcilmente la siguiente propiedad sobre mayorantes armnicas que, de hecho, se convertir en una caracterizacin de funciones subarmnicas.
Teorema 1.22 (Principio de la mayorante armnica). Sea u SH(D), donde D es un dominio en C. Entonces
u satisface el Principio de la mayorante armnica. O sea, para cada subdominio D 0 de D tal que D 0 D y cada
h : D 0 R tal que h es armnica en D 0 , continua en D 0 , y satisface
para todo D 0 ,
lm sup u(z) h(),

D 0 3z
entonces se tiene que u < h en D 0 o u h en D 0 .

Demostracin. Sea D 0 un subdominio de D, y sea h armnica en D 0 y continua en D 0 con lm supD 0 3z u(z)
h() para todo D 0 . Hemos de probar que u < h en D 0 o que u h en D 0 . Para ello, consideramos v = u h,
la cual es subarmnica en D 0 y, adems, para todo D 0 .
lm sup v(z) = lm sup u(z) h() 0.
D 0 3z
D 0 3z
Luego, por el principio del mximo, v < 0 en D 0 o v 0 en D 0 , o sea, u < h en D 0 o u h en D 0 .

Teorema 1.23 (Caracterizacin de funciones subarmnicas por el principio de la mayorante armnica). Supongamos que D C es un dominio y que u : D [, ) es s.c.s. con u 6 . Entonces u satisface la propiedad
de la submedia local si y solo si u satisface el principio de la mayorante armnica.
Demostracin. Solo hay que probar que el principio de la mayorante armnica implica la propiedad de la
submedia local. Sean z 0 D y R > 0 tales que D(z 0 , R) D. Sea { f n } una sucesin decreciente de funciones
continuas en C acotadas superiormente por maxD(z0 ,R) u, tal que f n & u en D(z 0 , R). Sea h n la solucin del
problema de Dirichlet en D(z 0 , R) con valores en la frontera dados por f n , o sea, h n es armnica en D(z 0 , R),
continua en D(z 0 , R), y h n |D(z0 ,R) = f n . Observamos que lm supD(z0 ,R)3z u(z) f n () = h n () para todo
D(z 0 , R), luego u h n en D(z 0 , R). En particular,
u(z 0 ) h n (z 0 ) =
1
2
h n (z 0 + Re i ) d =
1
2
f n (z 0 + Re i ) d .
Ahora, como maxD(z0 ,R) u f n y f n & u, el Teorema de la Convergencia Montona implica que
u(z 0 )
1
2
u(z 0 + Re i ) d ,
de donde se sigue que u satisface la propiedad de la submedia local.
19
Como consecuencia de esta caracterizacin de funciones subarmnicas, obtenemos que la propiedad de

la submedia local se extiende a cualquier disco dentro del dominio de definicin.
Corolario 1.24. Sea D un dominio de C y sea u SH(D). Para cada z D sea d D (z) = dist(z, D). Entonces, para
cada z D,
u(z) L(z, r, u) :=
1
2
u(z + r e i ) d ,
para todo r 0, d D (z) .
Veamos a continuacin que las medias integrales de funciones subarmnicas son funciones crecientes.
Teorema 1.25. Sea D un dominio de C y sea u SH(D). Para cada z D y cada r 1 , r 2 con 0 < r 1 < r 2 < d D (z),
(a) L(z 0 , r 1 , u) L(z 0 , r 2 , u).
(b) A(z 0 , r 1 , u) A(z 0 , r 2 , u).
Demostracin. Sea z D y sean r 1 , r 2 tales que 0 < r 1 < r 2 < d D (z). Sea { f n } una sucesin decreciente de
funciones continuas en C acotadas superiormente por maxD(z,r 2 ) u, tal que f n & u en D(z 0 , r 2 ). Sea h n la
solucin del problema de Dirichlet en D(z 0 , r 2 ) con valores en la frontera dados por f n .
Como lm supD(z0 ,R)3z u(z) f n () = h n () para todo D(z, r 2 ), entonces el principio de la mayorante
armnica nos dice que u h n en D(z, r 2 ). As,
L(z, r 1 , u) L(z, r 1 , h n ) = h n (z) = L(z, r 2 , h n ) = L(z, r 2 , f n ),
De donde tomando lmites y aplicando nuevamente el teorema de la convergencia montona, obtenemos
L(z 0 , r 1 , u) L(z 0 , r 2 , u), lo que prueba (a).
Para probar (b), observamos primero que no hay nada que hacer si A(z, r 1 , u) = (un caso que nunca se
va a dar). Por otro lado, si A(z, r 1 , u) > (que siempre va a ser el caso) entonces, para r (0, r 1 ),
< A(z, r, u) =
1
r 2
Z
D(z,r )
u() dA() =
1
r 2
Z
0
Z
0
u(z + e i ) d d =
2
r2
Z
0
L(z, , u) d ,
lo que implica que L(z, r, u) > para casi todo r (0, r 1 ), y como es una funcin creciente de r , que entonces
es L(z, r, u) > para todo r 0, d D (z) . As que para 0 < r 1 < r 2 < d D (z) tenemos,
Z
Z
2 r2
2 r1
A(z 0 , r 2 , u) A(z 0 , r 1 , u) = 2
L(z 0 , , u) d 2
L(z 0 , , u) d
r2 0
r1 0
!Z
Z
r1
2 r2
2
2
L(z 0 , , u) d
= 2
L(z 0 , , u) d + 2 2
r 2 r1
r2 r1 0
1
r 22
L(z 0 , r 1 , u)(r 22 r 12 ) +
"
= L(z 0 , r 1 , u)
r 22 r 12
r 22
r 12 r 22
r 22 r 12
#
r 12 r 22
r 22
L(z 0 , r 1 , u) r 12
= 0.
Corolario 1.26. Sea D un dominio de C y sea u SH(D). Entonces, para cada z D,

Z
1
u(z) A(z, r, u) :=
u() dA(),
para todo r 0, d D (z) .
r 2 D(z,r )
Corolario 1.27. Sea D un dominio de C y sea u SH(D). Entonces,
u(z) = lm L(z, r, u) = lm A(z, r, u),
r 0+
r 0+
para cada z D.
Demostracin. Sea z 0 D y sea > u(z 0 ). Por la semicontinuidad superior, lm supzz0 u(z) u(z 0 ), luego
existe r 0 > 0 tal que u(z) < para todo z D(z 0 , r 0 ), de donde se sigue que L(z 0 , r, u) , y que A(z 0 , r, u) ,
para todo r (0, r 0 ). Como tambin es u(z 0 ) L(z 0 , r, u), y u(z 0 ) A(z 0 , r, u), para todo r , concluimos entonces
que u(z 0 ) = lmr 0+ L(z 0 , r, u) = lmr 0+ A(z 0 , r, u).
20
Teorema 1.28. Sea D un dominio de C y sea u SH(D). Entonces,

(a) L(z, r, u) > para todo z D y todo r (0, d D (z)).
(b) A(z, r, u) > para todo z D y todo r (0, d D (z)).
Demostracin. Basta probar (b) porque esto ya implicara que L(z, , u) > para todo z D y casi todo
0, d D (z) , y como L es creciente en , entonces sera L(z, , u) > para todo z D y todo 0, d D (z) .
Consideremos entonces el conjunto
E = {z D : existe r = r (z) > 0 tal que D(z, r ) D y A(z, r, u) > }.
Lo primero que observamos es que E 6= ; ya que, al ser u 6 , existe z 0 D tal que u(z 0 ) > , lo que implica
que A(z 0 , r, u) > para todo r 0, d D (z 0 ) .
Por otro lado notemos que si z 0 E , entonces A(z 0 , r, u) > para todo r 0, d D (z 0 ) . En efecto. Sea r 0 > 0
tal que D(z 0 , r 0 ) D y A(z 0 , r 0 , u) > . Entonces, como u es est acotada superiormente en D(z 0 , r 0 ) por
ser s.c.s., obtenemos que la integral de u sobre cualquier subdisco de D(z 0 , r 0 ) es finita (> ), en particular,
A(z 0 , r, u) > para todo r (0, r 0 ). Por otro lado, como A(z 0 , r, u) crece con r , obtenemos que A(z 0 , r, u) >
para r r 0 , d D (z 0 ) .
Este mismo argumento muestra que E es abierto, pues si z 0 E entonces A(z 0 , r, u) > para todo r
0, d D (z 0 ) , lo que implica que u tiene integral finita (> ) sobre cualquier subdisco de D z 0 , d D (z 0 ) , pro
bando que D z 0 , d D (z 0 ) E .
Finalmente, veamos que E es cerrado en D para concluir que E D, ya que D es conexo. En efecto. Supongamos que {z n } es una sucesin en E con z n z 0 D. Dado r 0 =
d (z 0 )
4
> 0 existe n 0 N tal que z n D(z 0 , r 0 )
para todo n n 0 . En particular, para n 0 , es fcil ver que se tiene

D(z 0 , r 0 ) D(z 0 , r 0 ) D(z n0 , 2r 0 ) D(z n0 , 2r 0 ) D.
Como z n0 E entonces es A(z n0 , 2r 0 , u) > y, por tanto, u tiene integral finita sobre cualquier subdisco de
D(z n0 , 2r 0 ), probando que A(z 0 , r 0 , u) > , o sea, que z 0 E .
Corolario 1.29. Sea D un dominio de C y sea u SH(D). Entonces u L 1loc (D, dA) y, por tanto, rea {z D :
u(z) = } = 0. Adems, siempre que D(z 0 , r 0 ) D, se tiene que u L 1 D(z 0 , r 0 ) .

Corolario 1.30. Sea D un dominio de C y sean u 1 , u 2 SH(D). Entonces u 1 + u 2 SH(D).
Demostracin. El caso u 1 + u 2 queda excluido porque u 1 , u 2 L 1loc (D, dA).
Corolario 1.31. Si f es holomorfa en D entonces las medias integrales
Z
1 Z
1/p
1
f (r e i )p d
T (r, f ) =
log+ f (r e i ) d ,
M p (r, f ) =
,
2
2
(0 < p < ),
son finitas y, como funciones de r (0, 1), son crecientes.

Teorema 1.32. Sea D un dominio de C y sea u SH(D). Supongamos que D(z 0 , r 0 ) D. Sea h = P [u], la integral
de Poisson de u sobre D(z 0 , r 0 ). Entonces h es armnica en D(z 0 , r 0 ), y u h en D(z 0 , r 0 ).
R
1
it
Demostracin. Como u L 1 D(z 0 , r 0 ) , resulta entonces que h(z 0 + r e i ) := 2
u(z 0 + r 0 e ) P r /r 0 ( t ) d t
es una funcin armnica en D(z 0 , r 0 ).
Sea ahora { f n } una sucesin de funciones continuas en C acotadas superiormente por maxD(z0 ,r 0 ) u, tal que
f n & u en D(z 0 , r 0 ). Sea h n la solucin del problema de Dirichlet en D(z 0 , r 0 ) con valores en la frontera dados
por f n . Como u es s.c.s.,
lm sup u(z) u() f n (),
D(z 0 ,r 0 )3z
para todo D(z 0 , r 0 ),
luego, por el principio de la mayorante armnica, tenemos que u h n en D(z 0 , r 0 ). Ahora bien, h n (z 0 + r e i ) =
R
1
it
2 f n (z 0 + r 0 e ) d ,r (t ), donde d ,r (t ) = P r /r 0 ( t ) d t , y f n & u en D(z 0 , r 0 ) y las f n estn acotadas
superiormente por maxD(z0 ,r 0 ) u. As que, nuevamente por el teorema de la convergencia montona, obtene-
mos que h n (z 0 + r e i ) & h(z 0 + r e i ) y, del hecho de que u h n en D(z 0 , r 0 ), se sigue, tomando lmites cuando
n , que u h en D(z 0 , r 0 ).
1.5. Convergencia radial y convergencia no tangencial
21

Teorema 1.33. Sea u h 1 y sea M(T) tal que u = P [d ]. Supongamos que 0 es tal que existe
(0 h, 0 + h]
lm
= A.
h0
2h
Entonces lmr 1 u(r e i 0 ) = A.
Demostracin. Veamos en primer lugar que podemos suponer que 0 = 0.
En efecto. Fijemos 0 de manera arbitraria. Consideremos la medida 0 M(T) dada por 0 = (0 E ), E T,
R
R
R
con lo que, al ser 0 (E ) = 0 E d (t ) = T 0 E (t ) d (t ) = T E (0 t ) d (t ), tenemos
Z
Z
f (t ) d 0 (t ) = f (0 t ) d (t ), f L 1 (d ).
T
((0 h,0 +h])

Observemos que si lmh0
2h
lm
0 (h, h]
h0
2h
= A, entonces
0 (h, h]
(0 h, 0 + h]
= lm
= lm
= A.
h0
h0
2h
2h
Luego, si el resultado es cierto para 0 = 0, entonces tenemos P [d 0 ](r )

A de donde se sigue que
r 1
Z
1
P r (0 t ) d (t ) =
P r (t ) d 0 (t )
2
Z
P r (t )=P r (t ) 1
P r (t ) d 0 (t ) = P [d 0 ](r )
A.
=
r 1
2
1
P [d ](r e i 0 ) =
2
Supongamos entonces que
((h,h])
2h
h0
A. Hemos de probar que P [d ](r )

A. Para ello, fijamos ini
cialmente > 0, y consideremos la funcin de variacin acotada

Z
d (t ),
F () = (, ] =
(,]
r 1
(, ],
extendida de forma peridica a R. Integrando por partes tenemos
Z
Z
1
0
u(r ) A = 1
P r (t )d (t ) A = P r (t ) F (t ) +
F (t )P r (t )d t A
2 T
2
2 T
Z
=(T)
1
= P r () F () +
F (t ) F (t ) (P r0 )(t )d t A
2
2 0
Z
1 Z
1
1 F (t ) F (t )
P r ()|(T)| +
A (P r )(t ) 2t d t +
2At (P r0 )(t ) d t A
2
2 0
2t
2 0
Z
Z
h
Z
i
1
1
F (t ) F (t )
P r ()|(T)| +
+
A [P r0 (t )] 2t d t + 2A
=
t P r (t ) +
P r (t ) d t A
2
0
2
2 0
2t
0

Z
Z
P r ()
1
F (t ) F (t )
|(T)| + P r ()|A| +
+
A [P r0 (t )] 2t d t ,
=
2
2 0
2t
(t )
donde (0, ) ha sido escogido de manera que F (t )F
A < para todo t (0, ]. Ahora observamos que
2t
existe una constante C > 0 tal que F (t )F (t ) A C para todo t [, ]. Juntando todo esto, obtenemos
2t
2 Z
2C
u(r ) A P r () |(T)| + |A| +
P r0 (t )t d t +
P r0 (t )t d t
2
2

Z
Z
|(T)|
h
i Ch
i
P r ()
+ |A| +
t P r (t ) +
P r (t ) d t +
t P r (t ) +
P r (t ) d t
0
1
|(T)|

C
P r ()
+ |A| + 1 P r () +
P r () P r () + P r ()
2
2,
donde la ltima desigualdad es cierta para todo r (r 0 , 1), para cierto r 0 , ya que
|(T)|
C
P r ()
+ |A| + (P r () P r () + P r ())
0.
r 1
2
Con esto queda probado que u(r )

A.
r 1
22
Corolario 1.34. Sea u h 1 . Entonces existe lm u(r e i ) para casi todo R.

r 1
R
Demostracin. Sea M(T) tal que u = P [d ]. Es bien sabido que la funcin F () = (, ] = (,] d (t ),
(, ] y luego extendida de manera peridica a R, al ser de variacin acotada, es derivable en casi todo
punto de R, en cuyo caso, para casi todo R tenemos que
( h, + h]
F ( + h) F ( h)
=
F 0 ().
h0
2h
2h
Por el teorema anterior tenemos entonces que, para casi todo R, u(r e i )
F 0 ().
r 1
Como consecuencia de la convergencia radial para funciones armnicas en h 1 , obtenemos este otro resultado, ahora para funciones holomorfas en H 1 y, por consiguiente, en todos sus subespacios.
Corolario 1.35. Si f H 1 , en particular si f H , entonces f tiene lmite radial en casi todo punto e i T.
Demostracin. Si f H 1 , entonces Re f , Im f h 1 , luego para casi todo R, existen lm f (r e i ).
r 1
Definicin 1.36 (Lmite Radial). Para f H 1 , denotamos por

f (e i ) = lm f (r e i )
r 1
a la funcin, definida en casi todo e i , por el lmite radial de f en e i (cuando exista, que es casi siempre).
La existencia de lmite radial en casi todo punto puede extenderse a la clase de Nevanlinna. El caso es que
mucho ms es cierto. La existencia de lmite radial en un punto de la frontera e i D va a implicar la existencia
de lo que vamos a llamar lmite no tangencial en e i , esto es, la existencia de lmite de la funcin cuando nos
aproximamos a e i a lo largo de una regin que termina en ngulo en dicho punto.
de Stolz en e i de apertura , y lo denotamos S (e i ) o S (), como la interseccin

de D con la envolvente convexa cerrada del disco D(0, sen ) y el punto e i . O sea,
z S (e i ) z = (1 t )w + t e i ,
para algn t [0, 1) y algn w D(0, sen ).
sen
Definicin 1.37 (ngulo de Stolz). Dado e i D y 0, 2 , definimos el ngulo
cos
ei
S e i
Es claro que toda regin de D que se aproxime a e i formando un ngulo est contenida dentro de un
ngulo de Stolz. Observemos que la idea de considerar la envolvente convexa cerrada de D(0, sen ) y el punto
e i (excluyendo este ltimo del conjunto S ()) es simplemente para poder decir que todo radio es un ngulo
de Stolz. A lo largo del texto, tendremos ocasin de volver a tratar este tipo de regiones y puede que, en alguna
parte, los ngulos de Stolz sean regiones abiertas. . . .
Definicin 1.38 (Lmite No Tangencial). Dada f analtica en D y e i D, decimos que f tiene lmite no tan
gencial L C en e i si para todo 0, 2 , tenemos

lm
S ()3ze i
f (z) = L,
lo cual lo denotamos por
lm
ze i n.t.
z ei
f (z) = L, o f (z) L.
Vamos a empezar probando que la existencia de lmite radial para funciones en H implica la existencia
de lmite no tangencial para funciones en H y, como consecuencia de esto y de una representacin de las
funciones en la clase de Nevanlinna N como cociente de funciones en H , vamos a obtener la existencia de
lmite no tangencial para funciones en N , lo que nos lleva a la existencia de convergencia no tangencial para
funciones en cualquier espacio de Hardy H p , cualquiera que sea p (0, ].
23
Teorema 1.39 (Fatou). Sean f H y R tales que existe f (e i ) = lmr 1 f (r e i ) (casi todo vale). Entonces
f tiene lmite no tangencial f (e i ) en e i .
Demostracin. Sea 0, 2 . Hemos de probar la asercin
ze i
f (z) f (e i )
0.
zS ()
Sea {z n } una sucesin en S () con lmite e i , entonces podemos escribir z n = (1 t n )w n + t n e i , con t n [0, 1)
y w n D(0, sen ), para todo n N. Adems como |e i w| 1 sen > 0 para todo w D(0, sen ), obtenemos
que t n 1 cuando n :
tn =
zn w n
e i wn
zn e i
e i wn
e i wn
e i wn
1.
Para probar nuestra asercin basta mostrar, dada la arbitrariedad de {z n }, que f (z n ) f (e i ). Para ello, definimos, para cada n N,
f n (z) = f (1 t n )z + t n e i ,
Observamos que para n fijo, fijo, tenemos que t n e
z D.
+ (1 t n )z, z D, describe el disco de centro t n e i y radio
(1 t n ), el cual est obviamente contenido en D. Por tanto f n es analtica en D, y acotada ya que

k f n kH = sup | f n (z)| =
zD
sup
zD(t n e i ,1t n )
| f (z)| || f ||H .
Todo esto nos dice que { f n } es una sucesin uniformemente acotada en D, luego es una familia normal y, por
tanto, contiene una subsucesin que converge uniformemente en cada subconjunto compacto de D.
Veamos que cualquier subsucesin de { f n } uniformemente convergente en subconjuntos compactos de D,
lo hace a la constantemente igual a f (e i ). Esto probar que la misma sucesin { f n } converge a la constante
f (e i ) uniformemente en cada compacto de D.
Sea { f nk } una subsucesin de { f n } que converge a F uniformemente en subconjuntos compactos de D.
r 1
Observemos que para r (0, 1), y puesto que f (r e i ) f (e i ),
F (r e i ) = lm f nk (r e i ) = lm f (1 t nk )r e i + t nk e i = lm f [r + (1 r )t nk ]e i = f (e i ),
k
Por tanto F es constante en el radio (0, e ), que es un conjunto con puntos de acumulacin en D. Por tanto, por
el Teorema de la Identidad de Weierstrass, F es constante en D y dicha constante es f (e i ). Con esto tenemos
f n f (e i ) uniformemente en subconjuntos compactos de D.
Ahora, probar que f (z n ) f (e i ) es lo mismo que probar que f n (w n ) f (e i ). Vemos esto ltimo
entonces: Sea > 0. Como f n f (e i ) uniformemente en subconjuntos compactos de D, en particular lo
hace en D(0, sen ), existe n N tal que f n (w) f (e i ) < para todo n n y todo w D(0, sen ). Esto
implica que f n (w n ) f (e i ) < para todo n n .

Teorema 1.40. Sea f analtica en D, f 6 0. Entonces f N si, y solo si, f es cociente de dos funciones en H .
Demostracin. Supongamos que f se escribe como cociente de dos funciones analticas acotadas, f =
f1
f 2 , con
f 1 , f 2 H . Sea N N{0} el orden de 0 como cero de f 2 , entonces, como f es analtica en D, el orden de 0 como
cero de f 1 ha de ser mayor o igual que N . Dicho esto, obtenemos que
acotadas. Por ello podemos suponer, sin prdida de generalidad, que f
f j (z)
,
zN
f1
= f2 ,
j = 1, 2 son analticas y, adems,

con f j analtica y acotada en D y
f 2 (0) 6= 0. Por otro lado, dividiendo arriba y abajo por M , donde M = max{k f 1 kH , k f 2 kH }, podemos suponer,
tambin sin prdida de generalidad, que f =
f1
f 2 , con
f j H , k f j kH 1, ( j = 1, 2), y f 2 (0) 6= 0.
Con estas reducciones, tenemos, por la frmula de Jensen,

Z
Z
+
1
1
log+ f (r e i ) d =
log f 1 (e i t ) log f 2 (e i t ) d
T (r, f ) =
2
2
Z
Z
1
1
+
it
log f 1 (e ) + log f 2 (e i t ) d =
log f 2 (r e i ) d
2
2
X
F. Jensen
+ r
= log| f 2 (0)|
log
log| f 2 (0)|.
|z n |
z n cero de f 2
24
Esto prueba que sup T (r, f ) log| f 2 (0)|, luego f N .

0<r <1
Supongamos ahora que f 6 0 est en N . Hemos de probar que f puede escribirse como cociente de dos
funciones en H .
Para cada (0, 1) consideramos f (z) = f (z), |z| <
1
.
Observamos que f es holomorfa en D(0, 1 ), en
particular en D, luego tiene una cantidad finita de ceros en D. Sea A = { (0, 1) : f tiene ceros de mdulo
1} = { (0, 1) : f tiene ceros de mdulo }. Observemos que A es un conjunto de (0, 1) a lo sumo numerable,
luego (0, 1) A es denso en (0, 1). A partir de ahora consideraremos solo (0, 1) A.
Para (0, 1) A, sea B el producto de Blaschke (finito) formado por los ceros de f en D. (Recordemos
que f no tiene ceros en D). Entonces f /B es una funcin holomorfa en D sin ceros en D. As que podemos
f (z)
f
. Adems
en D. Su parte real es armnica en D y coincide con log
tomar una rama holomorfa de log
B
B (z)
podemos recuperarla a partir de la integral de Poisson de sus valores en la frontera, para z = r e i ,
!
Z
Z
f (z)
f (e i t )
i (t )
|B (e i t )|=1 1
1
1
+
r
e

i
t
log
log
=
log f (e ) Re
dt
=
P r ( t ) d t
B (z)
2
2
B (e i t )
1 r e i (t )
i 1 + ze i t
1 h +
= Re
log f (e i t ) log f (e i t )
dt .
2
1 ze i t
Por complecin analtica tenemos entonces que existe R tal que
log
f p (z)
B p (z)
1
2
i 1 + ze i t
d t + i .
log+ f (e i t ) log f (e i t )
1 ze i t
Tomando exponenciales, podemos escribir
f (z) =
B (z) e
1
2
log
R
1
2
f (e i t ) 1+ze i t
1ze i t
i t
log+ f (e i t ) 1+ze
1ze i t
d t +i
dt
(z)
(z)
Observamos que , son funciones holomorfas en D y acotadas por 1, o sea, k kH 1, k kH 1.

Adems, como f N , tenemos, para z = r i ,
Re
1
2
1 + ze i t
1
1r2
+
it
log+ f (e i t )
d
t
=
log
f
(e
)
dt
2
1 ze i t
|1 r e i (t ) |2
1+r 1
1+r
log+ f (e i t ) d t
sup T (, f ),
1 r 2
1 r 0<1
luego, llamando T = sup0<1 T (, f ), tenemos para z D,

| (z)| = e
1
Re 2
+
log
f (e i t ) 1+ze i t
1ze i t
dt
1+|z|
1|z| T
> 0,
independientemente de (0, 1) A.
Observamos ahora que { , (0, 1) A}, { , (0, 1) A} son familias normales en D. Por tanto, existe
una sucesin { k } (0, 1) A, con k 1, y existen , holomorfas en D tales que k y k ,
uniformemente en cada subconjunto compacto de D.
Como , son funciones acotadas por 1, entonces y son tambin funciones de H acotadas por 1.
1+|z|
Adems, el hecho de que, para cada (0, 1) A y cada z D, tengamos que | (z)| e 1|z| T , implica que
1+|z|
tambin |(z)| e 1|z| T > 0 para todo z D. O sea, nunca se anula en D. Por tanto, del hecho de que f (z) =
f (z) =
(z)
(z) ,
z D, tenemos, tomando lmites para cada z D, que

f (z) =
(z)
,
(z)
, H , kkH 1, kkH 1, y nunca cero en D.
Con este teorema podemos obtener que toda funcin en N tiene lmite no tangencial en casi todo punto
de D. Slo hace falta ver que los valores en la frontera no son cero en un conjunto de medida positiva.
25
Teorema 1.41. Sea f N . Entonces f tiene lmite no tangencial f (e i ) en c.t.p. de T y, adems, log f (e i )
L 1 (T) a menos que f 0. Si f H p , entonces f (e i ) L p (T).
Demostracin. Supongamos f N y f 6 0. Escribimos f =
f1
f 2 , con
f j H , k f j kH 1, j { 1, 2 }. Entonces f j
tiene lmite no tangencial f j (e i ) en casi todo punto de D, y el cociente

f 1 (e i )
f 2 (e i )
f1
f2
tambin tiene lmite no tangencial
en casi todo punto de D siempre que f 2 (e i ) 6= 0 tambin en casi todo punto de D. Esta ltima asercin
se seguir de que log | f 2 | L 1 (T), as que probaremos que log f j (e i ) L 1 (T), con lo que tendremos que
f 1
existe y es finito en c.t.p.,
y
3) log| f | = log| f 1 | log| f 2 | L 1 (T).
f 2
N
N +1
f j (z) = c N z +c N +1 z
+. . . y denotamos por {a n } la sucesin exacta de ceros no nulos de f j , para
1) f 2 6= 0 en c.t.p.,
Escribimos
2) f =
obtener, por el lema de Fatou y la frmula de Jensen:

1
2
h 1 Z
i
1
i
i
log f j (r e i ) d
log f j (e ) d lm inf
log f j (r e ) d = lm inf
r 1 2
r 1
2
h
X + r i
N
lm inf log|c N | log r N = log|c N | < ,
= lm inf log |c N | log r log
r
1
r 1
|a
|
n
n
lo que implica que log | f j | L 1 (T).

Observemos que si f H , entonces claramente f L (T). Por otro lado, si f H p , 0 < p < , veamos
que f L P (T). Para ello, usamos de nuevo el lema de Fatou:
1
2
f (e i )p d lm inf 1
r 1 2
f (r e i )p d k f kH p .
Nota. Como consecuencia de este resultado, es evidente que si f N y f (e i ) = 0 sobre un subconjunto de T

de medida positiva, entonces log | f | L 1 (T) y, por tanto, hemos de admitir que f 0.
Z
1
Corolario 1.42. Sea f holomorfa en D con f (0) 6= 0. Entonces f N si y solo si sup 2
0<r <1

log f (r e i ) d < .
En particular, si f N y no tiene ceros, entonces log | f | es armnica en D y, adems, log | f | h 1 .

f
Demostracin. Supongamos que f N y que f (0) 6= 0. Escribamos f = f 12 con f j H , k f j kH 1 y f j (0) 6= 0.
Para probar la asercin basta mostrar que sup0<r <1 log| f j (r )|L 1 < . Repetimos entonces lo hecho en la
demostracin del teorema, excepto la aplicacin del lema de Fatou. Denotamos por {a n } la sucesin exacta de
ceros de f j , para obtener, por la frmula de Jensen, que log| f j (r )| 1 log| f j (0)| para todo r (0, 1):
L
1
2
1

log f j (r e i ) d =
2
r
log f j (r e i ) d = log | f j (0)| log+
log| f j (0)| < .
|a
n|
n
Como aplicacin de todo lo que llevamos, ya podemos retomar el tema de los productos de Blaschke y
probar que tienen lmite no tangencial de mdulo 1 en casi todo punto de la frontera de D.
Teorema 1.43. Si B es un producto de Blaschke entonces, para casi todo T, B (e i ) = 1.
Demostracin. Por supuesto, si el producto de Blaschke es finito, B (e i ) = 1 en todo punto e i D.

Cuando la sucesin de ceros de B , {a n }, es infinita, consideramos, para cada N N, el producto de Blaschke
finito, B N (z), asociado a los puntos a 1 , a 2 , . . . , a N , y el producto de Blaschke infinito BB (z)

(z) asociado a la cola
N
i
de la sucesin {a n }
n=N +1 . As, usando que |B N (e )| = 1 para todo , que las medias integrales son funciones
crecientes de r , que
B (e i )
B N (e i )
L (T) L 1 (T) y, finalmente, que |B | 1, tenemos
Z
Z
Z
B (0) 1 Z B (r e i )
1 B (r e i )
1 B (e i )
1 i
=
B (e ) d 1.
d
=
B N (0)
2 B N (r e i )
2 B N (r e i )
2 B N (e i )
2
N
Observemos ahora que B N (0) B (0), luego
B (0) N
B N (0) 1.
As obtenemos que
donde, usando que |B | 1, se sigue que, para casi todo T, B (e i ) = 1.
R i
1
2 B (e ) d
= 1, de
26
1.6. Teoremas de factorizacin

Teorema 1.44 (Factorizacin de Riesz). Sea f holomorfa en D con f 6 0 y {a n } la sucesin exacta de sus ceros.
(i ) Si f H p para algn p > 0, entonces f = B g donde B es el producto de Blaschke asociado a {a n }, g H p ,
no se anula en D, y k f kH p = kg kH p .
(i i ) Si f N , entonces f = B g donde B es el producto de Blaschke asociado a {a n }, g N , no se anula en D, y
supr T (t , g ) = supr T (r, f ).
Demostracin. Supongamos que f H p para algn p > 0, o que f N , entonces {a n } satisface la condicin
de Blaschke y, por tanto, podemos considerar el producto de Blaschke, B , asociado a {a n }.
f (z)
B (z) .
Entonces g es holomorfa en D tras evitar todas las singularidades provocadas por los ceros
f (z)
de B (que son los mismos que los de f ) y, adems, g no se anula nunca y |g (z)| = B (z) | f (z)|, z D.
Sea > 0. Para cada N N, sea B N (z) el producto de Blaschke asociado a a 1 , a 2 , . . . , a N . Como B N (e i ) = 1
para todo , existe R = R(N , ) (0, 1) tal que B N (r e i ) > 1 para todo r [R, 1), y todo .
Sea g (z) =
Si ahora suponemos que f H p para algn p > 0, usamos que M p (r, f ) es una funcin creciente de r , para
obtener, para r < R,
f
1
f
1
M p (R, f )
k f kH p ,
M p r,
M p R,
BN
BN
1
1
mientras que para r [R, 1),
f
1
M p r,
k f kH p .
(1 )1 M p (r, f )
BN
1
En cualquier caso obtenemos que
f
BN
f
H p y que B H p
N
1
1 k f
kH p .

f f
para todo N , y f %
Ahora, como 1 |B N | |B N +1 | para todo N , y |B N | & |B |, entonces | f | B B
B
N
N +1
N
f
. Luego, tanto en el caso p = , como cuando p < (usando el teorema de la Convergencia Montona),
B
tenemos que g =
f
B
est en H p y que
f
f
1

k f kH p
k f kH p .
p p = kg kH p
BN H
B H
1
Haciendo ahora que & 0, tenemos que, de hecho, kg kH p = k f kH p .

Si ahora suponemos que f N , entonces usamos de manera anloga que T (r, f ) =
R
1
+
2 log f
(r e i ) d
es una funcin creciente de r , para obtener, para r < R,
Z
Z
i
f
i
f
1
1
+ f (Re )
+ | f (Re )|
log
d
log
d
T R,
=
T r,
B N (Re i )
BN
BN
2
2
1
Z
1
1
1
log+
+
+ sup T (r, f ),
log+ f (Re i ) d log+
1 2
1 0<r <1
y para r [R, 1),
Z
i
f
1
1
+ f (r e )
T r,
=
log
d log+
+ sup T (r, f ).
B N (r e i )
BN
2
1 0<r <1
f f f
f
1
De aqu se sigue que supr T r, B log+ 1
+ supr T (r, f ). Por otro lado, como | f | B y B % B = |g |,
N
tenemos, de nuevo por el teorema de la Convergencia Montona, que g =
f
B
N y que
f
f
1
sup T (r, f ) sup T r,
sup T r,
= sup T (r, g ) log+
+ sup T (r, f )
BN
B
1
r
r
r
r
r
Haciendo ahora & 0, tenemos que, de hecho, supr T (r, g ) = supr T (r, f ).
Este primer teorema de factorizacin constituye una herramienta de gran utilidad para probar muchos
resultados en los espacios H p . La factorizacin, en s, nos ofrece la comodidad de trabajar con funciones que
27
nunca se anulan y luego, de manera inmediata, pasar al caso general. Veamos a continuacin algunas de estas
aplicaciones.
Observemos que lo que hemos estado llamando norma-H p es solo una verdadera norma si p 1, mientras
p
que si p < 1, k kH p no satisface la propiedad triangular, aunque k f g kH p define una mtrica invariante frente
a traslaciones. Esto ltimo se debe al hecho de que (a +b)p a p +b p , para a > 0, b > 0 y p (0, 1), (simplemente
hay que estudiar el crecimiento de la funcin (1 + x)p x p ). Nuestro propsito es probar que H p es completo.
Lema 1.45. Si f H p para algn p (0, ), entonces
| f (z)| (1 |z|)
1
p
k f kH p ,
|z| < 1.
Nota. Si p = , obviamente | f (z)| k f kH para todo z D.

Demostracin. Supongamos primero que p = 1. Entonces por la frmula de Cauchy, para |z| < R < 1, y teniendo en cuenta que, en este caso, |Re i z| R |z|,

Z
Z 2
Z
1
1
R
f ()
f (Re i )
1 2
R
i
| f (z)| =
i
Re
d
d =
| f (Re i )| d
k f kH 1 .
2i ||=R z
2i 0 Re i z
R |z| 2 0
R |z|
Haciendo tender ahora R a 1, obtenemos el resultado deseado.
Supongamos ahora que p 6= 1. Entonces usamos la factorizacin de Riesz, f = B g , donde B es el producto
de Blaschke asociado a los ceros de f , y g es una funcin en H p , sin ceros en D y con kg kH p = k f kH p . Resulta
entonces que | f | |g | y, como g no tiene ceros en D, podemos considerar una rama holomorfa de g p en D. De
p
esta manera g p H 1 con kg p kH 1 = kg kH p y, por lo anterior, para |z| < 1,
| f (z)|p |g (z)|p = g (z)p
1
1
p
kg p kH 1 =
kg kH p .
1 |z|
1 |z|
Teorema 1.46. Si 0 < p , H p es un espacio mtrico completo.

Demostracin. El caso p = es obvio. As que suponemos que 0 < p < . Consideremos una sucesin de
Cauchy { f n } en H p . Por el lema anterior,
| f n (z) f m (z)| (1 |z|)
1
p
k f n f m kH p ,
para todo z D y cualesquiera n, m N.
Esto nos dice que { f n } es uniformemente de Cauchy en cada disco del tipo (0, r ) con 0 < r < 1, luego es
uniformemente de Cauchy en cada subconjunto compacto de D, con lo cual existe f holomorfa en D tal que
f n f uniformemente en cada subconjunto compacto de D.
Comprobemos que f H p . Observemos que, al ser { f n } de Cauchy en H p , { f n } es entonces acotada en H p ,
o sea, existe C > 0 tal que k f n kH p C para todo n N. Con ayuda de esto y el lema de Fatou,
p
M p (r, f ) =
1
2
p
1
lm f n (r e i ) d lm inf
n
n
2
f n (r e i )p d lm inf k f n kp p C .
H
n
Finalmente probamos que { f n } converge a f en H p , o sea, que k f n f kH p 0 cuando n . Sea > 0.

Usamos que { f n } es de Cauchy en H p para encontrar n 0 tal que k f n f m kH p para cualesquiera n, m n 0 .
As, si n n 0 , haciendo uso del lema de Fatou de nuevo,
Z
Z
p
p
1
1
p
M p (r, f n f ) =
f n (r e i ) f (r e i ) d =
lm f n (r e i ) f m (r e i ) d
2
2 m
Z
1
p
i
i p
lm inf
f n (r e ) f m (r e ) d lm inf k f n f m kH p p .
m
m 2
Como esta estimacin es vlida para todo r (0, 1), obtenemos
k f n f kH p = sup M p (r, f n f ) lm inf k f n f m kH p .
r
28

A continuacin usamos la factorizacin de Riesz para probar un teorema de convergencia en media a los
valores frontera para funciones en H p .
Teorema 1.47. Sea f H p (0 < p < ). Escribamos f r (e i ) = f (r e i ) L p (T) , y f (e i ) = lmr 1 f (r e i ) como

la funcin que se obtiene de aplicar lmites radiales (no tangenciales) en casi todo punto de la D. Entonces
f L p (T) (cosa que ya sabemos) y adems
lm k f r kL p = k f kL p
r 1
lm k f r f kL p = 0.
r 1
Nota. Teniendo en cuenta este resultado y que las medias integrales de orden p son funciones crecientes de r ,
resulta que k f kH p = supr M p (r, f ) = lmr 1 M p (r, f ) = lmr 1 k f r kL p = k f kL p . O sea, este resultado establece
una inyeccin isomtrica de H p en L p (T) para todo p (0, ). Por otro lado, la inyeccin isomtrica de H en
L es obvia.
Demostracin. Veamos primero que el resultado es cierto para p > 1. Si f H p con p > 1, entonces u = Re f
y v = Im f son funciones armnicas en h p , luego vienen representadas por las integrales de Poisson de sendas
funciones de L p (T), que las denominamos U y V . Por otro lado, al ser u = P [U ] y v = P [V ], entonces resulta que,
por los teoremas de convergencia en norma para funciones armnicas, ku r U kL p 0 y kv r V kL p 0 cuando
r 1, siendo u r (z) = u(r z) y v r (z) = v(r z). Esto implica que k f r (U + iV )kL p = k(u r + i v r ) (U + iV )kL p 0
cuando r 1. De este tipo de convergencia, sabemos que existe una sucesin {r k } % 1 tal que f r k (U + iV )
en casi todo punto de T. Pero sabemos que f tiene lmite radial en casi todo punto de D, o sea, f r f en
casi todo punto de T, por lo que ha de ser, esencialmente, f = U + iV . Y con esta igualdad queda probada la
asercin del teorema en este caso.
Nota. Adems, en este caso, p > 1, tambin hemos probado que f = P [ f ], o sea, que f es la integral de Poisson
de sus valores en la frontera de D.
Supongamos ahora que p 1. Entonces empezamos factorizando la funcin f como f = B g , donde B es
un producto de Blaschke, que soporta los ceros de f , y g es una funcin en H p , sin ceros, que lleva la norma
de f , o sea, tal que kg kH p = k f kH p . Observemos que | f | |g | y, teniendo en cuenta que B (e i ) = 1 para casi
todo , resulta que f (e i ) = B (e i ) g (e i ) = g (e i ) para casi todo . Por otro lado, como g no tiene
ceros en D, entonces podemos definir una rama holomorfa de g p/2 en D, que la llamamos h. Adems, es fcil
ver que h = g p/2 H 2 . Por tanto, por lo anterior, h L 2 (T) y kh r h kL 2 0 cuando r 1, lo que implica que
kh r kL 2 kh kL 2 , que traducido en trminos de g significa que g L p (T) y que kg r kL p kg kL P . Esto ltimo
nos indica que f L p (T), ya que | f | = |g | en casi todo punto, y que k f r kL p k f kL P , ya que, por un lado
tenemos
p
k f r kL p =
1
2
f (r e i )p d 1
2
1
g (r e i )p d r1
g (e i )p d = 1
2
f (e i )p d = k f kpp ,
L
y por el otro lado, usando el Lema de Fatou, tenemos

Z
Z
p
1 i p
1
p
p
k f kL p =
f (e ) d lm inf
f (r e i ) d = lm inf k f r kL p .
r 1 2
r 1
2
Veamos ahora que k f r f kL p 0 cuando r 1. Recordemos que, cuando 0 < p 1 y a y b son positivos,
se tiene que (a + b)p a p + b p . Entonces, para casi todo ,
f (r e i )p + f (e i )p f (r e i ) f (e i )p 0,
lo que, por el Lema de Fatou, implica,
Z
p
p
p
1
lm inf f (r e i ) + f (e i ) f (r e i ) f (e i ) d
2 r 1
Z
p
p
p
1
lm inf
f (r e i ) + f (e i ) f (r e i ) f (e i ) d .
r 1 2
Ahora, en el lado izquierdo, basta usar la convergencia radial en casi todo punto y, en el lado derecho, la convergencia de las normas k f r kL p k f kL p , para obtener,
Z
p
1
p
p
p
p
2k f kL p 2k f kL p + lm inf
f (r e i ) f (e i ) d = 2k f kL p lm sup k f r f kL p ,
r 1 2
r 1
29
de donde se sigue que k f r f kL p 0 cuando r 1.

A continuacin damos una consecuencia inmediata de este resultado basada en el hecho de que, para a y
b positivos y p (0, 1], se tiene
+
log a log+ b 1 |a b|p ,

p
desigualdad que se obtiene de estudiar el crecimiento de la funcin (x) = log x p1 (x 1)p , x 1.
Corolario 1.48. Si f H p para algn p > 0, entonces
Z
1 +
r 1
log f (r e i ) log+ f (e i ) d 0.
2
Uno podra pensar que para obtener este corolario bastara con pedir que f N . Sin embargo, ni siquiera
se mantiene la convergencia de log+ | f r |L 1 a log+ | f |L 1 . Como ejemplo, basta considerar la funcin f (z) =
1+z
1
S
e 1z , la cual est en N p>0 H p . (Se prueba de la misma manera que se hizo para e 1z ) . Resulta que esta
funcin satisface log+ | f (z)| = Re 1+z
1z , con lo que
1
2
1
log+ f (r e i ) d =
2
Re
1 + r ei
1 r ei
d = 1,
1
2
para todo r , mientras que
=0 c.t.p.
log+ f (e i ) d = 0.
Otra de las consecuencias de este teorema la encontramos en la nota que hay dentro de la demostracin.
Adems, la podemos completar para que incluya el caso p = 1.
Corolario 1.49. Si p 1 y f H p , entonces f = P [ f ]. O sea, f se recupera a partir de sus valores en la frontera
mediante su integral de Poisson.
Demostracin. Basta probar el resultado para p = 1. Observemos que f (z) := f (z), (0, 1), satisface
1
f (r e ) := f (r e ) = P r f (e ) =
2
i
P r ( t ) f (e i t ) d t f (r e i ),
para todo r e i D.
Como f H 1 , entonces f L 1 (T) y, por tanto, = P [ f ] es una funcin armnica (compleja) en D. Para pro
bar que f = , nos basamos en que f f 1 0, para obtener, para r e i D fijo, y usando las estimaciones
L
usuales del ncleo de Poisson,
1
0 f (r e i ) (r e i )
2
1+r
f f 1 ,
P r ( t ) f (e i t ) f (e i t ) d t
L
1r
de donde, tomando lmites cuando 1, concluimos que f = .

Destaquemos de nuevo lo curioso de este resultado. Si f H 1 , la teora sobre funciones armnicas asegura
que Re f y Im f estn en h 1 , luego se pueden representar como integrales de Poisson de medidas finitas con
signo con soporte en T. En otras palabras, f se representa como la integral de Poisson de una medida finita
(compleja) con soporte en T, f = P [d ]. Esto es lo que nos da la teora de funciones armnicas. Ahora bien,
el hecho de que f sea adems analtica, nos est diciendo que la parte singular de la medida es nula, dando
lugar a que f se represente como la integral de Poisson de una medida absolutamente continua que, adems,
resulta ser d () = f (e i ) d .
Supongamos ahora que f es holomorfa en D, entonces log | f | es subarmnicaZen D y, segn el Teorema 1.32,
1
para cada (0, 1), log f (r e i ) queda mayorada por la funcin armnica 2
P r ( t ) log f (e i t ) d t . Si
ahora admitimos que f est en H p para algn p > 0, entonces tenemos lmites radiales de f y cabe pensar en
la posibilidad de que la funcin subarmnica log | f (z)| quede mayorada por la integral de Poisson de log | f |
en D. Este es el contenido del siguiente corolario.
Corolario 1.50. Si f H p para algn p > 0, entonces, para r e i D,
Z
1
log f (r e i )
P r ( t ) log f (e i t ) d t .
2
30
Demostracin. Por los comentarios anteriores tenemos, para (0, 1) y r e i D,

Z
Z
1
1
P r ( t ) log f (e i t ) d t =
P r ( t ) log+ f (e i t ) log f (e i t ) d t .
(1.1)
log f (r e i )
2
2
Ahora por el Corolario 1.48, para r e i D, usando la estimacin P r ()
0
1
2
1+r
1r
1 + r 1 +
1
P r ( t ) log+ f (e i t ) log+ f (e i t ) d t
log f (e i t ) log+ f (e i t ) d t 0,
1 r 2
luego
1
2
1 1
P r ( t ) log+ f (e i t ) d t
2
P r ( t ) log+ f (e i t ) d t .
Por otro lado, por el Lema de Fatou tenemos,

Z
Z
1
1
P r ( t ) log f (e i t ) d t lm inf
P r ( t ) log f (e i t ) d t .
1 2
2
Todo esto nos indica que, al tomar lmites cuando 1 en (1.1), obtenemos el resultado deseado.
1+z
De nuevo, trabajando con la funcin f (z) = e 1z , observamos que el resultado no es cierto para la clase de
Nevanlinna, ya que
log | f (z)| = Re
1+z
> 0,
1z
para todo z D, mientras que
1
2
=0 c.t.p.
P r ( t ) log f (e i t ) d t = 0.
Por otro lado, observamos que se puede dar la desigualdad estricta en el resultado, incluso cuando la funcin en s no tiene ceros (que hace que log | f | sea armnica y uno puede pensar que la igualdad sera plausible).
1+z
Esto se consigue trabajando con la inversa multiplicativa de la funcin anterior, h(z) = e 1z . Observamos que
1+z
h H , pues |h(z)| = e Re 1z e 0 = 1, y, adems, no tiene ceros. Sin embargo, para z D,

log |h(z)| = Re
1+z
1z
<
1
2
=0 c.t.p.
P r ( t ) logh (e i t ) d t .
Factorizacin cannica. A continuacin nos preguntamos si hay alguna manera de rellenar la diferencia
que puede haber en la desigualdad del resultado anterior. Supongamos entonces que f H p para algn p > 0
y que f 6 0. Iniciamos el proceso factorizando f como f = B g , donde B es el producto de Blaschke formado
por los ceros de f , y g es una funcin en H p que nunca se anula, con kg kH p = k f kH p . Adems, debido a que
|B | < 1 en D y a que |B (e i )| = 1 para casi todo , se verifica que | f | |g | en D y que f (e i ) = g (e i ) para

casi todo . Podemos entonces considerar una rama holomorfa del log g en D, con lo que log |g | es armnica
en D y, por el Corolario 1.50, para r e i D,
Z
Z
1
1
log f (r e i ) logg (r e i )
P r ( t ) logg (e i t ) d t =
P r ( t ) log f (e i t ) d t := u(r e i ).
2
2
Observemos que la funcin u, as definida, es armnica en D, ya que es la integral de Poisson de la funcin
log| f | que, por el Teorema 1.41, est en L 1 (T). Adems, por ese mismo teorema, f L p (T). Todo esto nos
indica que u h 1 y, por tanto, tiene lmite radial en casi todo punto de D, que debe coincidir con la derivada
(en casi todo punto) de la funcin de variacin acotada asociada a la medida que representa a u = P [log| f |],
o sea, u (e i ) := lmr 1 u(r e i ) = log f (e i ) para casi todo . De aqu se sigue que la funcin
F (z) = e
1
2
e i t +z
e i t z
log f (e i t ) d t
es analtica en D y satisface | f | |g | e u = |F |. Precisamente, como |F | = e u , resulta que |F | tiene lmite radial

en casi todo punto de D, que, abusando del lenguaje (!) lo denotamos por |F (e i )|, o sea, para casi todo ,
!
|F (e i )| = lmr 1 |F (r e i )| = e u
(e i )
= |g (e i )| = | f (e i )|. (Observemos que, en principio, no estamos dicien-
do que exista el lmite radial F (e ), sino solamente el lmite radial de su mdulo).
31
Una funcin F , analtica en D, que puede representarse como

Z
e i t +z
1
log (e i t ) d t
2
e i t z
(1.2)
F (z) = e
,
z D,
donde 0, log L 1 (T) y L p (T), se llama funcin externa para H p .

Definamos ahora la funcin S o (z) =
g (z)
F (z) ,
z D. Claramente, es una funcin analtica en D que satisface, a
partir de las propiedades anteriores,

z D;
0 < |S o (z)| 1,
|S o (e i )| = 1, c.t. .
(Ahora s, S o (e i ) s existe como lmite radial en casi todo punto puesto que S o es acotada, y, como consecuencia, se obtiene la existencia del lmite radial F (e i )).
Puesto que S o es analtica en D y nunca se anula, podemos considerar una rama holomorfa log S o en D,
con lo que Re[ log S o ] = log|S o | es armnica y positiva en D, luego es la integral de Poisson de una medida
finita positiva d , y tiene lmite radial en casi todo punto igual a 0 () = logS (e i ) = 0, o sea, la funcin de
o
variacin acotada asociada a d tiene derivada cero en casi todo punto. Esto implica que entonces d es una
medida finita positiva, singular con respecto a la medida de Lebesgue. Mediante complecin analtica, existe
R, tal que
1
log S o (z) =
2
it
e +z
ei t
d (t ) i ,
o sea,
S o (z) = e
Una funcin S, analtica en D, que puede representarse como

Z
1
e i t +z
2
d (t )
e i t z
(1.3)
S(z) = e
,
1
2
e i t +z
e i t z
d (t )
:= e i S(z).
z D,
donde d es una medida finita positiva singular, se llama funcin interna singular.
Recordemos que S o =
g
F
= e i S y que f = B g . De esta manera obtenemos lo que llamamos la factoriza-
cin cannica de f H p como producto de una constante unimodular por un producto de Blaschke, por una
funcin interna singular, por una funcin externa para H p ,
f = B g = B S o F = e i B S F.
(1.4)
Teorema 1.51 (Factorizacin Cannica). Cualquier funcin f 6 0 de la clase H p (p > 0) tiene una nica factorizacin de la forma (1.4). Recprocamente, si f admite una factorizacin como en (1.4), donde F es una funcin
externa para H p , entonces f H p y k f kH p = kF kH p .
Demostracin. Ya hemos probado que toda funcin f 6 0 de la clase H p (p > 0) tiene una factorizacin de la
forma (1.4), y la unicidad se sigue de la forma en que se ha construido la factorizacin.
Para el recproco, probamos primero que toda funcin externa para H p es de hecho una funcin en H p .
Supongamos entonces que F es analtica en D y admite una representacin de la forma (1.2) con 0, log
L 1 (T) y L p (T). Entonces, por la desigualdad de Jensen,
Z
Z
p
p 1
e i t +r e i
1
Z
it
log
(e
)
d
t
P r ( t ) log (e i t ) d t
p
i
t
i
1
F (r e i )p = e 2 e r e
= e 2
P r ( t ) (e i t ) d t .
2
Z
1
Y ahora por el Teorema de Fubini, teniendo en cuenta que 2
P r ( t ) d = 1 para todo t ,
1
2
F (r e i )p d 1
2
1
2
p
1
P r ( t ) d (e i t ) d t =
2
(e i t )
d t = kkL p .
Lo que significa que F H p y que kF kH p kkL p . Es ms, como log L 1 (T), es evidente que |F | = , luego
kF kH p = kF kL p = kkL p .
A continuacin, supongamos que f admite una factorizacin de la forma (1.4), f = e i B S F , con F una
funcin externa para H p . Entonces, dado que e i B S es una funcin en H acotada por 1, que tiene mdulo 1
en casi todo punto de la frontera y que F H p , resulta evidente que f H p y que k f kH p = kF kH p .
32
Definicin 1.52 (Funcin interna). Decimos que una funcin I , holomorfa en D, es interna si I H y I (e i ) =
1 para casi todo .
Nota. Por el teorema de factorizacin cannica, tenemos que toda funcin interna I admite una representacin de la forma
I = e i B S,
(1.5)
donde e i es una constante unimodular, B es un producto de Blaschke y S es una funcin interna singular.
Cabe decir que tambin hay una factorizacin cannica para funciones en la clase de Nevanlinna. En el
teorema de factorizacin cannica para funciones en H p es fundamental la desigualdad dada en el Corolario 1.50. Cuando f N , esta desigualdad no es necesariamente cierta, y esto provoca la aparicin de un factor
singular que es cociente de dos funciones internas singulares. Antes de enunciar el siguiente Teorema, conviene definir el concepto de funcin externa para la clase N como una funcin F , holomorfa en D que admite
una representacin de la forma (1.2), con 0 y log L 1 (T) (no incluimos la condicin L p ).
Teorema 1.53. Cualquier funcin f N admite una factorizacin de la forma
f (z) = e i B (z)
(1.6)
S 1 (z)
F (z),
S 2 (z)
z D,
donde e i es una constante unimodular, B es un producto de Blaschke (el asociado a los ceros de f ), S 1 y S 2 son
funciones internas singulares y F es una funcin externa para la clase N (con = f ). Recprocamente, toda
funcin de la forma (1.6) pertenece a N .
Demostracin. Sea f N . Aplicamos su factorizacin de Riesz, f = B g . Sabemos que | f | |g | en D, que g
N y no tiene ceros, que supr T (r, f ) = supr T (r, g ), y que | f | = |g | (en casi todo punto). Adems log | f | =
log |g | L 1 (T). Como g no tiene ceros en D, podemos considerar una rama holomorfa del log g en D, y por el
Corolario 1.42, log |g | h 1 . Por tanto, por el teorema de representacin de funciones armnicas en h 1 , existe
M(T), tal que
1
log g (r e i ) = P [d ](r e i ) =
2
r e i D.
P r ( t ) d (t ),
Tambin, log |g | tiene lmite radial log |g | en casi todo punto, luego la descomposicin de d () en parte absolutamente continua y parte singular, y esta ltima, en parte positiva y parte negativa, resulta ser del tipo
d () = logg (e i ) d + d + () d ().
As, por complecin analtica, existe R tal que
log g (z) = i +
1
2
ei t + z
1
logg (e i ) d +
i
t
2
e z
ei t + z
ei t z
d + ()
1
2
ei t + z
ei t z
d ().
Por tanto, como log |g | = log | f |, tenemos la factorizacin anunciada en (1.6),
f (z) = B (z) g (z) = e
B (z)
1
2
e i t +z
e i t z
1
log f (e i t ) d t 2
1
2
e i t +z
e i t z
e i t +z
e i t z
d + (t )
d (t )
e i B (z)
F (z) S 1 (z)
.
S 2 (z)
Supongamos ahora que f admite una factorizacin del tipo (1.6), entonces la parte F (z) SS 12 (z)
(z) admite una
representacin en trminos de una medida finita con signo del tipo d () = log (e i ) d + d + () d (),
con > 0, log L 1 (T), y = + una medida singular. Esta representacin es como sigue:
S 1 (z)
F (z)
=e
S 2 (z)
1
2
e i t +z
e i t z
d (t )
33
Observemos que la descomposicin en parte positiva y parte negativa, d = d + d , es del tipo d + () =

log+ (e i ) d + d + (), y d () = log (e i , ) d + d () d . Por tanto, teniendo en cuenta que log+ (ab)
log+ a + log+ b, que |B | 1, y que |e z | = e Re z , concluimos que f N :
S 1 (r e i )
log+ e i B (r e i ) F (r e i )
d
S 2 (r e i )
Z
1
=0
Z
Z
Z
P r ( t ) d (t )
1 1
1
2
d
P r ( t ) d + (t ) d = + (T).
log+ B (r e i ) + log+ e
2
2 2
T (r, f ) =
1
2
1
log+ f (r e i ) d =
2
Captulo 2
Integrabilidad de la derivada de los

productos de Blaschke
Este captulo lo dedicamos, tal como hemos anunciado en la introduccin, al estudio de las condiciones
que aseguren la pertenencia de las derivadas de los productos de Blaschke a determinados espacios de funciones clsicos en el disco unidad, en concreto a los espacios de Hardy H p y los espacios de Bergman A p . El
captulo, por tanto, contiene, aparte de una seccin preliminar, dos secciones ms con los resultados que se
obtienen a partir de restricciones sobre los ceros de los productos de Blaschke y hasta qu punto son precisos.
2.1. Resultados y conceptos preliminares

En esta seccin vamos a introducir conceptos y resultados preliminares que nos van a servir como herramientas para desarrollar las siguientes secciones.
2.1.1. Automorfismos del disco unidad y la mtrica pseudo-hiperblica

Sea B el conjunto de las funciones analticas f : D D, o sea, f B si y solo si f es analtica en D y | f (z)| 1,
para todo z D. Empezamos recordando el simple pero tremendemente til lema de Schwarz:
Lema 2.1 (Schwarz). Si f B, y si f (0) = 0, entonces
(2.1)
(2.2)
| f (z)| |z|,
z D,
| f (0)| 1.
Si se da la igualdad en (2.1) para algn punto z 6= 0, o bien en (2.2), entonces f (z) = e i z, siendo R.
La prueba consiste en observar que la funcin g (z) =
f (z)
z
es analtica en D, pues en 0 presenta una singula-
ridad evitable, y luego, dado que lm sup|z|1 |g (z)| 1, aplicar el principio del mximo.
Vamos a necesitar la forma invariante del lema de Schwarz debida a Pick. Sea a D. Denotemos por T a la
transformacin de Mbius
T a (z) =
z +a
.
1+a z
Observemos que T a aplica el disco unidad en s mismo, y 0 en a. Adems, su inversa es Ta y, al tratarse de una
transformacin de Mbius, T a preserva circunferencias de la esfera de Riemann (esto es, circunferencias o rectas del plano complejo son transformadas en circunferencias o rectas del plano complejo). Tambin preserva
ngulos y simetras con respecto a circunferencias de la esfera de Riemann.
35
36
CAPTULO 2. INTEGRABILIDAD DE LA DERIVADA DE LOS PRODUCTOS DE BLASCHKE
Lema 2.2 (Schwarz-Pick). Si f B, entonces

f (z ) f (z ) z z
1
2 1
2
(2.3)
z
z
2 1
1 f (z 2 ) f (z 1 )
0
f (z)
1
(2.4)
2 .
2
1 f (z)
1 z
z 1 , z 2 D,
Si se da la igualdad en (2.3) para algn par de puntos z 1 6= z 2 , o bien en (2.4) para algn z D, entonces f (z) =
e i T a (z) para algn R y algn a D.
La prueba consiste en aplicar el Lema de Schwarz a la funcin T f (z2 ) f T z2 . Observemos que si en (2.3)
dividimos por |z 1 z 2 | y hacemos tender z 1 a z 2 , obtenemos (2.4) en z = z 2 .
Con ayuda del lema de Schwarz, podemos probar que los automorfismos del disco unidad, o sea, las aplicaciones conformes del disco unidad sobre s mismo, son nicamente del tipo e i T a (z) para algn R y algn
a D. Dicho de otra manera, los automorfismos del disco unidad son las nicas funciones B tales que
satisfacen las igualdades en (2.3) y en (2.4):
(z ) (z ) z z
1
2 1
2
(2.5)
=
,
z
z
2 1
1 (z 2 )(z 1 )
0
(z)
1
(2.6)
2 =
2 .
1 (z)
1 z
En el caso de tratarse de Ta (z) =
z a 2
1
=
1 az
(2.7)
z 1 , z 2 D,
1|a|2
za
, entonces (Ta )0 (z) = (1az)
2
1az
y, por tanto, (2.6) se transforma en
1 |a|2 1 |z|2
2
0
2
1 |Ta (z)| = (Ta ) (z) 1 |z|

.
=
|1 a z|2
Recordemos que los factores que aparecen en un producto de Blaschke son precisamente automorfismos
del disco unidad. Por eso estamos interesados en sus propiedades.
En primer lugar observamos que, para cada a D y cada r (0, 1), tenemos que T a {|z| = r } es una circunferencia contenida en el disco unidad cuyos centro c y radio R son fciles de calcular mediante argumentos
puramente geomtricos a partir de las propiedades que cumple toda transformacin de Mbius: la lnea recta
que pasa por 0 y a queda invariante mediante T a y adems es ortogonal a la circunferencia T a {|z| = r } . Por
tanto, el segmento
h
a i h |a|r a |a|+r a i
a
[, ] := T a r |a|
, T a r |a|
= 1r |a| |a| , 1+r |a| |a|
es un dimetro del disco T a D(0, r ) , con lo cual su centro c y su radio R vienen dados por
1r2
a,
1 r 2 |a|2
a
1 |a|2
a
R = 21 T a r |a|
T a r |a|
r.
=
1 r 2 |a|2
Adems, se sigue de todo esto que la circunferencia T a {|z| = r } debe estar contenida en el anillo de centro 0 y
radios || = T a r a y || = T a r a . Dicho de otra manera, escribiendo |z| en vez de r , tenemos

c=
1
2
a
a
T a r |a|
+ T a r |a|
=
|a|
(2.8)
|a|
|z| |a|
z a
|z| + |a|
1 |a| |z|
1a z
1 + |a| |z|
z, a D.
Definamos ahora
z z
1
2
%(z 1 , z 2 ) := |Tz2 (z 1 )| =
z 1 , z 2 D,
,
1 z2 z1
y comprobemos que se trata de una mtrica en D, conocida como la mtrica pseudo-hiperblica de D. Se ve
fcilmente que es simtrica y que %(z 1 , z 2 ) = 0 si y solo si z 1 = z 2 . Para probar la propiedad triangular observamos primero que, por el Lema de Schwarz-Pick, las funciones en B son no expansivas con respecto a %, y
son isometras (se da la igualdad en la anterior desigualdad) con respecto a % en el caso, y solo en este caso, de
automorfismos del disco unidad, o sea,
para toda f B,
% f (z 1 ), f (z 2 ) % z 1 , z 2 ,
z 1 , z 2 D,
dndose la igualdad en un (todo) par de puntos z 1 6= z 2 si, y solo si, f B es un automorfismo del disco unidad.
Usamos esto ltimo para probar la propiedad triangular de %, de hecho probamos algo un poco ms fuerte.
37
Lema 2.3. Para tres puntos cualesquiera z 1 , z 2 , z 3 de D,
%(z 1 , z 3 ) %(z 3 , z 2 )
%(z 1 , z 3 ) + %(z 3 , z 1 )
(2.9)
%(z 1 , z 2 )
.
1 %(z 2 , z 3 )%(z 3 , z 1 )
1 + %(z 2 , z 3 )%(z 3 , z 1 )
Demostracin. El caso z 3 = 0 es la desigualdad (2.8). La ms general se sigue trivialmente de la invariancia de
% frente a automorfismos de D.
Una vez probado que % define una mtrica en D, introducimos el conocido como disco pseudo-hiperblico
de centro a D y radio r (0, 1):
(a, r ) = z D : %(z, a) < r = z D : Ta z < r = T a D(0, r ) ,
2.1.2. Derivada angular en el sentido de Carathodory

Diremos que f B tiene derivada angular en el sentido de Carathodory en T si f () existe (como lmite
radial o no tangencial) y tiene mdulo 1 y adems existe f 0 () := lmr 1 f 0 (r ). Si f no tiene derivada angular en
el sentido de Carathodory en , adoptamos el convenio de Ahern y Clark [5], y escribimos | f 0 ()| = , lo que
no necesariamente implica que | f 0 (r )| cuando r 1. El siguiente teorema recoge los resultados bsicos
sobre la derivada angular:
Teorema 2.4 (Carathodory [9]). Si f B y T, entonces
(i ) | f 0 ()| = lm
r 1
1| f (r )|
;
1r
(i i ) Si f tiene una derivada angular en , entonces f 0 () = f () f 0 ();

(i i i ) Si f n B y f n f uniformemente en subconjuntos compactos de D, entonces
0
f () lm inf f 0 ().
n
Para una breve introduccin al concepto de derivada angular y una prueba detallada de este resultado, nos
referimos a [28, Ch. 4].
Corolario 2.5. Si f y g pertenecen a B, y si = f g , entonces
|0 ()| = | f 0 ()| + |g 0 ()|,
(2.10)
para todo T.
Demostracin. Consideramos un primer caso en el que tanto f como g tienen derivada angular en el sentido
de Carathodory en T. Entonces, claramente, () existe (como lmite radial) y tiene mdulo 1, y adems
lm 0 (r ) = lm | f 0 (r ) g (r ) + f (r ) g 0 (r )| = f 0 () g () + f () g 0 ().
r 1
r 1
Por tanto, tiene derivada angular en el sentido de Carathodory en . Ahora solo falta comprobar la igualdad
(2.10). Para ello, usamos (ii ) del Teorema 2.4,
=1

0 0
() = f () g () + f () g 0 () = f () f 0 () g () + f () g () g 0 () = | f () g ()| f 0 () + g 0 () .
La demostracin del resultado quedara completa considerando ahora solamente el caso en que f no tiene
derivada angular (en el sentido de Carathodory) en T. Entonces tenemos, por (i ) del Teorema 2.4,
(i )
1 f (r )
= f 0 () = lm
.
r 1
1r
1| f (r )|
1|(r )|
Como f , g B, resulta que || = | f g | | f | y, por tanto, 1r 1r , dando lugar a que 0 () = y, en
consecuencia,
0 0 0
() = f () + g (z).
38

Si f , g B, diremos que g es un divisor de f si f = g h, para agn h B.
Corolario 2.6. Supongamos que , y n , n = 1, 2, . . ., son funciones de B, y que n es un divisor de para todo n.
Si n uniformemente en subconjuntos compactos de D, entonces |0n ()| |0 ()| para todo T.
Demostracin. Observemos que, fijado T, el Teorema 2.4 (iii ) implica que |0 ()| lm inf|0n ()|, mientras
que el Corolario 2.5 implica que |0 ()| |0n ()|.
Podemos usar este Corolario para dar una representacin de B 0 (), T, siendo B un producto de Blaschke infinito (para productos de Blaschke finitos, lo que vamos a probar es trivial). Si {a n } es la sucesin exacta de
Q
ceros de B , y escribimos B (z) = n b n (z), siendo cada b n el correspondiente automorfismo del disco unidad
QN
que se anula en a n , entonces observamos que B N = n=1
b n , N = 1, 2, . . . , son divisores de B y que B N B uni 0

formemente en subconjuntos compactos de D. Por tanto, por el Corolario 2.6, B N

() B 0 (), T. Adems,
0
PN 0
b (), T. De aqu se sigue que, para todo T,

por el Corolario 2.5, resulta que B () =
N
(2.11)
n=1
N

1 |a |2
X
X
0
n
B () = lm B 0 () = lm
b 0 () =
b 0 () = =
.
n
n
N
2
N
N n=1
n=1
n=1 | a n |
Observemos que para un producto de Blaschke B , la existencia de derivada angular en el sentido de Ca
rathodory en casi todo T es equivalente a la existencia del lmite radial B 0 () = lmr 1 B 0 (r ) en casi
todo T. Esto es debido al hecho de que, al tratarse de un producto de Blaschke, ya tenemos asegurada la
existencia de lmite radial de mdulo 1 en casi todo T.
2.1.3. Productos de Blaschke interpolantes

Una sucesin {a n } en D se dice uniformemente separada si existe > 0 tal que
Y
Y a n a m
nf
(2.12)
%(a m , a n ) = nf
.
n
n
m6=n
m6=n 1 a m a n
Observemos que toda sucesin uniformemente separada implcitamente satisface la condicin de Blaschke (pues cada producto infinito debe converger). Otra de las caractersticas de estas sucesiones es que realmente estn bien separadas con respecto a la mtrica pseudo-hiperblica. De alguna manera nos dice que el
producto de Blaschke asociado a una sucesin uniformemente separada, al tener sus ceros bien separados,
debe presentar una distorsin pequea, o sea |B 0 | no debe ser muy grande, lo que, a fin de cuentas, debe
implicar una mejor integrabilidad de |B 0 |.
Esta es una de las razones por las que estudiaremos la integrabilidad de la derivada de productos de Blaschke
interpolantes, los cuales los definimos como productos de Blaschke asociados a sucesiones uniformemente
separadas. Veremos que, en general, mejoran los resultados obtenidos para los otros productos de Blaschke.
Las sucesiones uniformemente separadas tambin suelen llamarse interpolantes. El trmino interpolante
proviene del problema de interpolacin universal para H , planteado por el matemtico norteamericano R.
Creighton Buck. Este consiste en caracterizar todas las sucesiones interpolantes para H , es decir, aquellas
{a n } tales que, para cualquiera que sea la sucesin acotada {w n } en C, existe f en H con la propiedad de que
f (a n ) = w n para todo n. Alrededor del ao 1958, tras soluciones parciales dadas por Walter K. Hayman [23] y
por Donald J. Newman [31], el sueco Lennart Carleson [10] resolvi el problema: {a n } es una sucesin universalmente interpolante para H si y solo si {a n } es uniformemente separada.
La derivada de un producto de Blaschke interpolante evaluada en cada cero est ntimamente ligada a la
cercana del cero a la frontera del disco unidad: cuanto ms cerca, ms grande es la derivada. La siguiente
Proposicin da fe de ello.
Proposicin 2.7. Sea {a n } una sucesin uniformemente separada con constante de separacin > 0, esto es,
Q
:= nfn {n6=k} %(a n , a k ) > 0. Sea B el correspondiente producto de Blaschke asociado a {a n }. Entonces
(2.13)
|B 0 (a n )|
,
2
1 |a n |
1 |a n |2
para todo n.
39
Demostracin. Observemos en primer lugar que la desigualdad de la derecha es cierta para cualquier funcin
en B. Esto es debido a que, por el Lema de Schwarz-Pick, para todo z D, en particular para cualquiera de los
a n , se tiene
|B 0 (z)|
1
1 |B (z)|2
.
1 |z|2
1 |z|2
Para probar ahora la desigualdad de la izquierda escribimos
a n z a n , si a n 6= 0,
Y
B (z) = b n (z),
donde b n (z) = |a n | 1 a n z
z,
n
si a n = 0.
Entonces su derivada admite la siguiente representacin
B 0 (z) =
X
k
Observemos que cada B k :=
B
bk
{n6=k} b n
b k0 (z)
B (z)
.
b k (z)

es un producto de Blaschke con sucesin exacta de ceros a n {n:n6=k} ,
o sea, B k (a n ) = 0 para n 6= k, y adems, para a k , usamos la constante de separacin
B k (a k ) =
(2.14)
Y a k a n Y
b n (a k ) =
%(a n , a k ) .
=
n=1, n6=k
n6=k 1 a n a k
n6=k
Por tanto, evaluando |B 0 | en a n , podemos concluir el lema,

0
X
B (a n ) = b 0 (a n ) B k (a n ) = b 0 (a n ) B n (a n )
n
k
k
.
1 |a n |2
El caso es que esta relacin se puede extender a discos pseudo-hiperblicos de centro a n y radio fijo.
Proposicin 2.8. Sea {a n } una sucesin uniformemente separada con constante de separacin > 0 y sea B el
correspondiente producto de Blaschke asociado a {a n }. Entonces,
1
2
|B 0 (z)|
,
6 1 |a n |2
1 |a n |2
(2.15)
para todo z a n , 3 y todo n = 1, . . . .
Demostracin. Empezamos probando una desigualdad como la de (2.15) con a n reemplazado por z. Por un
lado, el Lema de Schwarz-Pick asegura que
|B 0 (z)|
(2.16)
1 |B (z)|2
1
,
2
1 |z|
1 |z|2
z D.
Por otro lado, fijamos n y escribimos, como viene siendo habitual, B =

B
= b n0 B n
(2.17)
k bk
= b n B n . Entonces su derivada,
+ b n B , queda acotada por abajo como sigue:

0 0

B (z) = b (z) B n (z) + b n (z) B 0 (z) b 0 (z) B n (z) b n (z) B 0 (z),

n
n
n
n
z D.
Nos disponemos ahora a estimar cada uno de los trminos que han aparecido. Para ello, restringimos z al disco
pseudo-hiperblico a n , 3 .
En primer lugar, acotamos |b n0 (z)| con ayuda del Lema de Schwarz-Pick,
|b n0 (z)| =
2
1 |b n (z)|2 1 %(z, a n )2 1 3
=
,
1 |z|2
1 |z|2
1 |z|2
z a n , 3 .
Ahora, como pasaba en (2.14), tenemos |B n (a n )| por la propiedad de separacin. As que por la propiedad
triangular para la mtrica pseudo-hiperblica y el Lema de Schwarz-Pick de nuevo, tenemos
2
|B n (z)| = % 0, B n (z) % 0, B n (a n ) % B n (z), B n (a n ) |B n (a n )| %(z, a n ) =
,
3
3
El tercer trmino es fcil de acotar,
|b n (z)| = %(z, a n )
,
3
z a n , 3 ,
z a n , 3 .
40
al igual que el cuarto, de nuevo por Schwarz-Pick y la estimacin del segundo trmino,
|B n0 (z)|
2 2
1 |B n (z)|2 1 3
,
1 |z|2
1 |z|2
z a n , 3 ,
Todo esto, metido en (2.17), nos da

h
2 2 i
2 2
3
1 3
0
+ 29
1
3
3
3
3
B (z)
(2.18)
=
,
1 |z|2
1 |z|2
3 1 |z|2
z a n , 3 .
Juntando entonces (2.16) y (2.18), obtenemos
1
B 0 (z)
,
2
3 1 |z|
1 |z|2
(2.19)
z a, 3 .
Ahora es cuestin de relacionar (1 |z|2 ) con (1 |a n |2 ) cuando z a, 3 . Para ello, hacemos uso del hecho
z+a n
, y que, por tanto, el punto de dicho disco
que a n , 3 es el disco eucldeo T an D 0, 3 , donde T an (z) = 1+a
nz
an
ms cercano a la frontera de D es T an 3 |an | y el ms alejado de la frontera de D es T an 3 |aann | . Por tanto,

2
1 |a n |2
1 + 3
2 (1)
2 1 |a n |2 ,
2
1 |a n |
a
a
1
n 3 |a n |
3
z a, 3 =
an 2
1 |a n |
1 3
1 3
2
2 (1) 1
2 1 |a n |2 .
1 |z| 1 T an 3 |an | =
1 |a n |
a n 2
1+
1 + an
1 |z|2 1 T an 3
a n 2
|a n |
1 3
3 |a n |
Introduciendo estas estimaciones en (2.19) llegamos a la conclusin deseada.

El siguiente resultado de Carleson es fundamental en la resolucin del problema de interpolacin universal,
y a la vez, va a mostrarse til en nuestra tarea de dar condiciones necesarias y suficientes para que la derivada
de productos de Blaschke pertenezcan a los espacios de Hardy. Una demostracin se puede encontrar en [13,
Chap. 9].
Teorema 2.9. Si {a n } D es una sucesin uniformemente separada y 0 < p < , entonces existe una constante
C > 0 tal que para toda f H p ,
X
p
p
1 |a n | f (a n ) C k f kH p .
n
Construir sucesiones uniformemente separadas (interpolantes) puede no ser evidente, dada la condicin
que se le impone. Sin embargo, hay una familia de sucesiones que vienen caracterizadas por condiciones fciles de verificar y que constituyen una subclase bastante importante dentro de la clase de las sucesiones interpolantes. Diremos que una sucesin {a n } D es una sucesin exponencial en D si, una vez ordenada segn
mdulo creciente, existe q (0, 1) tal que
1 |a n+1 | q 1 |a n | ,
(2.20)
n 1.
La siguiente relacin entre sucesiones interpolantes y sucesiones exponenciales fue probada independientemente por Hayman [23], Kabaila, y Newman [31] (ver tambin Duren [13, Thm. 9.2]).
Teorema 2.10. Toda sucesin exponencial es uniformemente separada. Al revs, si una sucesin uniformemente
separada est sobre un radio, entonces es exponencial.
Demostracin. Sea {a n } D una sucesin exponencial (la suponemos ya ordenada segn mdulo creciente),
y sea q (0, 1) para el que se verifica (2.20). Por la desigualdad (2.8), tenemos, para n > k,
a a
k
(1
|a
|)
|a n | |a k |
(1 |a k |) (1 |a n |)
(1 q nk )
n
k
=
k
1 ak an
1 |a k | |a n | (1 |a n |) + |a n | (1 |a k |) (1 + q nk )
(1
|a
|)
y anlogamente para n < k. Por tanto,
a a Y 1 q kn Y 1 q nk Y 1 q n 2
n
k
n
kn
1
a
a
1 + q nk
k n
n 1+q
n=1, n6=k
n<k 1 + q
41
lo que probara que {a n } es una sucesin uniformemente separada, si es que somos capaces de probar que el
Q 1q n
producto infinito n 1+q n es, de hecho, absolutamente convergente. Pero esto es cierto, pues la serie asociada
1q n
qn
a 1 1+q n = 2 1+q n es absolutamente convergente.
Supongamos ahora que {a n } es una sucesin uniformemente separada que est sobre un radio de D. Podemos suponer sin prdida de generalidad que dicho radio es el segmento abierto (0, 1) y que la sucesin ya est
ordenada segn mdulo creciente. Sea (0, 1) para el que se verifica
a a
Y
n
k
para todo k 1.
,
1
a
a
n
k
n=1, n6=k
Esto implica que, para k 1,
a a
Y
a k+1 a k
n
k
,
1 a k a k+1 n=1, n6=k 1 a k a n
de donde se sigue que {a n } es una sucesin exponencial:

1 a k+1 1
+ ak
(1 ) (1 a k )
=
(1 ) (1 a k ).
1 + ak
1 + ak
Cabe destacar que Newman [31] tambin consider el caso de una sucesin uniformemente separada y
contenida dentro de un ngulo de Stolz. En estas circunstancias puede probarse que dicha sucesin es unin
finita de sucesiones exponenciales.
2.1.4. ngulos de Stolz
Recordemos que el ngulo de Stolz S (), de vrtice e i D y apertura , con 0, 2 , se define como la
envolvente convexa cerrada del disco D(0, sen ) y el punto {e i }, excluyendo este ltimo punto. Esta definicin
puede resultar incmoda a la hora de trabajar con ella. Por ello, vamos a definir otro tipo de regiones, que
tambin vamos a llamar ngulos de Stolz, y que, en cierto modo, van a ser equivalentes entre s: Para e i

D y para 1, (re)definimos el ngulo de Stolz, denotado ahora como (), o tambin e i , o incluso
simplemente cuando e i = 1, como
() := z D : e i z 1 |z| .
(2.21)
Observemos de nuevo que los radios son regiones de Stolz con = 1. Lo primero que hacemos ahora es comprobar que ambas regiones son equivalentes.
Proposicin 2.11. S () () donde =
1+sen
1sen .
Demostracin. Escribamos z S () como z = (1 t )w + t e i , para algn t [0, 1) y algn w D(0, sen ).

Entonces
i

)
e z = e i (1 t )w t e i = (1 t ) |1 w| (1 t ) (1 + sen )
|e i z| 1 + sen
=: .
=
1 |z|
1 sen
1 |z| = 1 (1 t )w + t e i | (1 t ) (1 t ) |w| (1 t ) (1 sen )
Proposicin 2.12. () S (), donde = arc cos( 1 ).
Demostracin. Tomemos = arc cos 1 0, 2 , con lo cual cos =
y sen =
p
2 1
.
Podemos suponer sin
prdida de generalidad que e i = 1. Para probar que z S , basta asumir que |z| sen y que al escribir z
como z = 1 (1 z) := 1 se i , entonces debe ser s cos y || .
Empezamos viendo que s := |1 z| cos . Como z y |z| sen , entonces
p
2 1
1
1
s = |1 z| 1 |z| 1 sen = 1
= 2 1 =
= cos .
p
+ 2 1
Ahora del hecho de que s = |1 z| 1 |z| se sigue que
s
1 s cos = Re 1 se i 1 se i = |z| 1 ,
de donde s cos
= s cos y, en consecuencia, || .
42

Esta definicin de ngulo de Stolz resulta ser ms cmoda de manejar. Observemos que si una sucesin de
Blaschke est contenida dentro de un ngulo de Stolz, (), entonces, por el Teorema 1.13, el producto de
Blaschke B asociado a dicha sucesin admite una extensin meromorfa a todo C {e i }, lo cual induce a pensar que, en comparacin con otras situaciones ms normales, que B 0 debe presentar una mejor integrabilidad
cerca de la frontera del disco unidad, ya que el nico punto donde puede haber un comportamiento ms catico es e i . Esta es una de las razones para estudiar la integrabilidad de derivadas de productos de Blaschke con
ceros en un ngulo de Stolz, que sin prdida de generalidad, siempre supondremos que el vrtice es 1.
Damos a continuacin una serie de resultados que nos sern de utilidad en lo que queda de texto. En primer
lugar, observamos que, considerando un pequeo ngulo de Stolz az : a , con punta en un determinado
z D, entonces los puntos de esta regin, az, son equiparables, en cuanto la distancia a 1 se refiere, con los
correspondientes puntos radiales, |a|z.
Proposicin 2.13 (Vinogradov [39]). Si [1, ) entonces
1 az
1
2 + ,
(2.22)
para todo z D y todo a .
2 + 1 |a|z
Demostracin. Sean |z| 1 y a , entonces a tambin est en y, por tanto,

1 az
1 |a|z + z |a| a 1 |a|z + z |a| a
|a| 1 a 1
1+
1 |a|z
1 |a|z
1 |a|z
1 |a|z

1 |a| + 1 a
1 |a| + 1 a
1+
2 + .
1+
1 |a| |z|
1 |a|
La desigualdad de la izquierda se prueba de la misma forma:
1 |a|z 1 az + z a |a| 1 az + z a |a|

a 1 |a| 1
1+
1 az
1 az
1 az
1 az
1 a + 1 |a|
1 a + 1 |a|
1+
2 + .
1+
1 |a| |z|
1 |a|
Usamos este resultado para probar que todos los puntos de una pequea regin de Stolz con punta en z,
az : a , distan de 1 al menos tanto como el mismo z.
Proposicin 2.14. Si [1, ) entonces existe una constante K > 0 tal que
(2.23)
1z
K,
1 az
para todo z D y todo a .
Demostracin. En primer lugar, consideramos el caso en que a es real y 0 < a < 1. Sea
S(z) =
1z
.
1 az
Teniendo en cuenta que S es una transformacin de Mbius con coeficientes reales, que aplica el disco unidad
1
1
2
conformemente sobre el disco D 1+a
, 1+a
, el cual est incluido en el disco D 0, 1+a
, tenemos
1z
2
2,
1 az
1+a
z D, 0 < a < 1.
Ahora, para a arbitrario, usando la Proposicin 2.13 y el caso anterior, obtenemos

1 z 1 z 1 |a|z
2(2 + ) =: K ,
1 az
1 |a|z 1 az
z D.
A continuacin vemos que si un ngulo de Stolz se agranda cambiando cada punto a de la regin por todo
un disco pseudo-hiperblico de radio fijo, (a, ), entonces la regin obtenida sigue estando dentro de un
ngulo de Stolz.
2.2. Pertenencia de la derivada a los espacios de Hardy H p
43
Proposicin 2.15. Dados 1 y 0 < < 1, existe > tal que

[
a
(a, ) ,
de donde concluimos trivialmente que %(z, ) para cada z D .
Demostracin. Fijemos a . Entonces tenemos que |1 a| 1 |a| . Recordemos que (a, ) es el disco
eucldeo de centro c =
12
a
12 |a|2
y radio r =
1|a|2
.
12 |a|2
Por tanto, para z (a, r ), consideraciones geomtricas
muestran que |1 z| |1 c| + r , y que 1 |z| 1 |c| r , luego
1|a|2
12
a
+ 12 |a|2
1 2 |a|2 a + 2 a + 1 |a|2
1
2
2
|1 z| |1 c| + r
1 |a|
=
1|a|2
12
1 |z| 1 |c| r
1 2 |a|2 |a| + 2 |a| 1 |a|2
1 1
2 |a|2 |a| 12 |a|2

(1 a) + 2 a(1 a) + 1 |a|2
1 + 2 |a| |1 a| + 2(1 |a|)

=
1 |a| 1 + 2 |a| 1 |a|2
1 + 2 |a| |a| 1 |a|
(1 + 2 ) + 2 (1 |a|) (1 + )2
.
(1 ) (1 |a|) (1 |a|) (1 )2
Esto prueba que podemos tomar =
(1+)2
(1)2

2.2.1. Qu podemos esperar?
La cuestin central es: Dado un producto de Blaschke B ,
Se verifica que B 0 H p , para algn p > 0?
Por supuesto, si B es un producto de Blaschke finito, entonces B es holomorfa en un entorno de D, luego B 0
tambin y, por tanto, B 0 est en todos los espacios H p . As que esta cuestin solo tiene sentido preguntarla
cuando el producto de Blaschke es infinito.
En esta direccin, para empezar a dar respuesta a esta pregunta, recurrimos al siguiente Teorema de Privalov (ver Duren [13, Thm. 3.11]), caracterizando las funciones holomorfas sobre el disco unidad cuya derivada
est en H 1 .
Teorema 2.16 (Privalov). Sea f una funcin holomorfa en D. Son equivalentes:
(i) f 0 H 1 .

(ii) f admite una extensin continua a D y, sobre la frontera D, f e i es absolutamente continua.
Consecuencia inmediata de lo anterior es el siguiente resultado.
Teorema 2.17. Sea B un producto de Blashke infinito, entonces B 0 6 H 1 .
Demostracin. Basta ver, por el Teorema de Privalov, que B no admite extensin continua a D. Para ello, supongamos por reduccin al absurdo que B admite una extensin continua a D, entonces, como B tiene lmite

radial de mdulo 1 en casi todo punto (Teorema 1.43), debe ser que B e i = 1 para todo . Por otro lado, B
tiene un nmero infinito de ceros, luego deben acumularse en al menos un punto de D, luego, por la supuesta
continuidad de B en D, debera ser B = 0 en ese punto de la frontera, contradiciendo que |B | = 1 en todo punto
de D.
Corolario 2.18. Para cualquier producto de Blaschke infinito, B , se tiene B 0 6
Hp.
p1
Volvamos a formular la cuestin central con ms precisin: Dado un producto de Blaschke infinito, B ,
44

Se verifica que B 0 H p para algn p < 1?
La respuesta es que en general no se puede afirmar nada. Existen productos de Blaschke infinitos tales que
su derivada no est en la clase de Nevanlinna y, por tanto, en ningn espacio de Hardy. Este es un resultado
de Frostman [15]. Recordemos que la frmula (2.11), y el comentario justo despus, nos dice cmo calcular el
lmite radial de |B 0 | en un punto de D,
1 |a |2
0 X
n
B () =
,
|
a
|2
n
n=1
As que si {a n } es una sucesin de Blaschke tal que
1|a n |
n |a n |2
D.
= para casi todo D y B es el producto de
Blaschke asociado a {a n }, entonces B 0 deja de tener lmite radial finito en casi todo punto de D, provocando
que B 0 no pueda estar en la clase de Nevanlinna, porque de estar en ella, tendra que tener lmite radial finito en
casi todo punto de la frontera del disco unidad. Para dar un ejemplo ms concreto nos basamos en el siguiente
resultado de Ahern [1].
Teorema 2.19 (Ahern, 1979). Sea E un subconjunto cerrado de T (identificado con [0, 2)). Sabemos que su
S
complemento es entonces unin a lo sumo numerable de intervalos disjuntos dos a dos, T E = n I n , donde
cada I n es del tipo I n = (n , n ). Supongamos que se satisface
X
(n n ) = 2,
(2.24)
(n n ) log
1
= .
n n
Entonces existe una sucesin {a n } D satisfaciendo las siguientes propiedades:
(i) El conjunto de puntos de acumulacin de {a n } est contenido en e i : E .

(ii)
n (1 |a n |)
< , para todo > 12 .
(iii) El producto de Blaschke B asociado a {a n } es tal que B 0 N .

Demostracin. Escribamos `n := (n n ). Por (2.24), tenemos
n `n
= 2, y
n `n
log `1n = . Esto ltimo
implica que hay una cantidad infinita de I n s y, por tanto, `n 0, para que la suma sea finita. Adems, podemos
encontrar una sucesin {n } (0, 1], con lm n = 0 y tal que
X
(2.25)
n `n log
1
= .
`n
Definamos ahora, para n 1,

2n
a n = (1 `n
) e i n .
2n
Observemos que (i) se verifica trivialmente ya que, al tener (1 `n
) 1 y al estar cada a n en el radio que
, el conjunto de puntos lmite de {a n } est contenido en el conjunto de puntos lmite de {e i n },
y ste est en e i : E , puesto que E es cerrado.
Tambin se verifica (ii): Sea 21 , 1 . Como (2 n ) 2 > 1 y `n 0, existe N N tal que (2 n ) > 1
termina en e
i n
y `n < 1 para todo n N , luego,

X
(1 |a n |) =
nN
X
nN
(2n )
`n
`n = 2.
Para probar (iii), escribimos a n como a n = r n e i n , con r n = 1 `n
2n
, y recurrimos a la frmula (2.11) y a la
estimacin del Lema 1.8,

i
e a n 2 = 1 e i a n 2 = (1 r n )2 + 4r n sen2 n (1 r n )2 + (n )2 .
2
Entonces, para I k , siendo k tal que `k < 1 (lo que ocurre siempre a partir de un k 0 en adelante), tenemos
que (k )2 `2k y, por tanto,
0 i X
B (e ) =
n=1
1 r n2
|e i a n |2
(2 )
`k k
1 rk
1
1
,
(1 r k )2 + (k )2 `2(2n ) + `2 `2k + `k
2`k k
k
k
k
k
45

Z
Ik
y, en consecuencia, como
Z
T
n `n
log+ B 0 (e i ) d ( log 2)`k + k `k log `1 ,

k
= 2 y por (2.25), concluimos que B 0 N :
X Z
X
log+ B 0 (e i ) d
log+ B 0 (e i ) d
( log 2)`k + k `k log `1 = .
kk 0 I k
kk 0

Corolario 2.20. Existe un producto de Blaschke infinito, B , con sucesin de ceros asociada, a n , satisfaciendo:
(i) lm a n = 1,
n
(ii)
n (1 |a n |)
< , para todo > 21 ,
(iii) B 0 N .
P
Demostracin. Dado que la serie de trminos positivos {n2} 1 2 converge, definimos, para n 2, `n =
n log n
P
c
`n = 2. Estas van a ser las longitudes de los interva2 , donde c es una constante positiva para que
{n2}
n log n
P
S
los I n , definidos como I n = n , n + `n+1 , donde 1 = 0 y n = {kn} `k , n 2. Obviamente E = T n I n es
0 en T. Adems,
un conjunto cerrado de T con un nico punto de acumulacin, 2 =
`n log
c
n log2 n
c
2c log log n c log c
1
=
log
=
+
,
`n n log2 n
c
n log n
n log2 n
que claramente no tiene suma finita. Considerando ahora la sucesin {a n } construida en el Teorema anterior,
obtenemos el resultado deseado.
2.2.2. La funcin f B
El resultado anterior liga, en cierto modo, la integrabilidad de la derivada de un producto de Blaschke, con
la integrabilidad de la funcin que aparece en la frmula (2.11). En esta seccin vamos a ver que efectivamente
esa relacin es as.
Sea B un producto de Blaschke con ceros dados por a n = r n e i n , donde n han sido escogidos en la rama
principal del argumento, n [, ). Siguiendo Ahern y Clark [5], definimos la funcin f B como
f B () =
X
n
1 rn
,
(1 r n )2 + ( n )2
[, ),
la cual va a ser de gran ayuda ms adelante para producir algunos ejemplos ilustrativos.
Lema 2.21 (Ahern-Clark, 1974). B 0 H p si, y solo si, f B L p .
Demostracin. Volvamos a usar la identidad (2.11), junto con la estimacin del Lema 1.8, para obtener
f B () =
X
n
X 1 r n2
1 rn
= |B 0 (e i )|,
2
2
2
i
(1 r n ) + ( n )
n |e a n |
de manera que si B 0 H p , lo que equivale a decir que B 0 (e i ) L p , entonces f B L p .

Q
Supongamos ahora f B L p . Escribimos B = B 0 4i =1 B i , donde B 0 contiene los ceros de B de mdulo menor
que 21 , y cada factor B i , i = 1, . . . , 4, tiene sus ceros en un trapecio circular de apertura como mucho
2.
Ser
entonces suficiente demostrar que la derivada de cada uno de estos factores pertenece a H . Con B 0 no hay
ningn problema, ya que se trata de un producto de Blaschke finito. Para tratar con los otros cuatro factores
de manera unificada, suponemos, sin prdida de generalidad, que B es un producto de Blaschke cuyos ceros,
a n = r n e i , se encuentran en el trapecio circular r e i D : 4 < 4 , r 12 . Hemos de probar que si
46
f B L p (, ], entonces B 0 H p , o, equivalentemente, haciendo alusin a la identidad (2.11) y al comentario

de despus, hemos de probar que la siguiente integral es finita:
Z
B 0 (e i )p d =
1 r n2
|e i r n e i n |2
d =
Z
|| 34
|| 43
= (I ) + (I I ).
2
2
Para tratar la integral (I ), observamos que e i a n = 1 r n e i (n ) y que, para || 34 y |n |
tenemos | n | || + |n | 43 + 4 = , lo que nos permite usar la siguiente estimacin del Lema 1.8:
(r n 1 )
i
e a n 2 (1 r n )2 + 4r2n ( n )2 2
2
2
4,
(1 r n )2 + ( n )2 ,
de manera que nos queda

Z
(I ) =
3
4
34
X (1 + r )(1 r ) p
n
n
n
|e i r n e i n |2
3
4
34
X
2
n
p
1 rn
d = 2p
(1 r n )2 + ( n )2
3
4
43
f B ()p d < .
En cuanto a la integral (I I ), observamos que si || 43 y |n | 4 , entonces

3
3
= || |n | | n | || + |n | + < ,
2 4
4
4 2
lo que implica que cos( n ) 0 y, por tanto, que
2
i
e r n e i n = 1 + r n2 2r n cos( n ) 1 + r n2 1.
De ah que, usando que {a n } es una sucesin de Blaschke,
Z
(I I ) =
1 r n2
|e i r n e i n |2
|| 43
Z
|| 43
X
p
2 (1 |a n |) d < .
n
2.2.3. La condicin C 1p implica B 0 H p

La restriccin impuesta en esta seccin slo considera el valor absoluto de los ceros, en general este tipo de
restricciones nos da resultados unidireccionales, veremos en otras secciones que los resultados recprocos se
obtienen aadiendo otras condiciones.
Para > 0, diremos que una sucesin {a n } D satisface la condicin C si
X
1 |a n | < .
n
P
Notemos que si {a n } es la sucesin de ceros de un producto de Blaschke entonces satisface (1 |a n |) < , lo
n
P
que implica que para cualquier 1, se tiene necesariamente (1|a n |) < . La propiedad C es interesante
n
cuando 0 < < 1. Antes de usarla, veamos un lema previo que nos permitir estimar las integrales que nos
encontraremos en esta seccin. Su demostracin, o parte de ella, puede encontrarse en muchos lugares, como
por ejemplo en [13, p. 65; 24, Thm. 1.7; 38, p. 226]
Lema 2.22. Para cada 0 < r < 1,
Z
(2.26)
C () (1r1)1 ,
d
1
C log 1r
,
|1 r e i |
C (),
si > 1,
si = 1,
si < 1.
Demostracin. Por simetra, tenemos

Z
Z
Z
d
d
d
=
2
=
2
|1 r e |
0
0
1 + r 2 2r cos 2
(1 r )2 + 4r sen2 2
2
47
En todos los casos usaremos las estimaciones que se encuentran en el Lema 1.8. Para 0, no hay nada que
hacer. Para 0 < < 1, tenemos
|1 r e i |
=2
Z
0
|1 r e i |
Z
2
p3 + 2

d = C ().
Cuando 1, tenemos
Z
|1 r e i |
=2
1r
Z
0
1r
Z
2
Z
+
1r
d
+2
1r
|1 r e i |
1r
p3 + 2

C log 1 ,
1r
d
C () 1
si = 1,
(1r )1
, si > 1.
El siguiente resultado se debe a Protas [34], y su demostracin es sencilla, ms an si utilizamos la maquinaria de derivadas angulares en el sentido de Carathodory introducida por Ahern y Clark en [5].
Teorema 2.23 (Protas, 1973). Supongamos que B es un producto de Blaschke con sucesin de ceros {a n }.
1p
P
< para algn p 12 , 1 , entonces B 0 H p . O sea, {a n } satisface C 1p , para algn
n 1 |a n |
1
p 2 , 1 , implica B 0 H p .
(i) Si
(ii) Si
n (1 |a n |) 2
1
log 1|a
< , entonces B 0 H 2 .
n|
Demostracin. Segn la identidad (2.11), el hecho de que p < 1 (para introducir el exponente dentro de la
suma), y el lema anterior (para el caso = 2p 1), tenemos
Z
B 0 (e i )p d =
1 |a n |2 p
|e i a n |2
X
p
1 |a n |2
n
|1 a n e i |2p
X 1|an | p
2p1 ,
C
n
si p > 12 ,
1|a n |
X
1
C
, si p = 12 .
1 |a n | 2 log 1|a
n|
n
Las hiptesis se encargan de concluir el resultado deseado.

Cabe preguntarse cmo de preciso es el resultado que acabamos de probar, es posible eliminar el factor
logartmico en el apartado (ii)?. La respuesta es que no.
Teorema 2.24. Existe un producto de Blaschke B cuyos ceros {a n } satisfacen
n (1 |a n |)
1/2
< y B 0 H 1/2 .
Demostracin. La forma de construir el ejemplo que damos a continuacin se basa en el Lema 2 de Ahern y
Clark [6]. Empezamos fijando (1, 2). Nuestra sucesin {a n }n2 va a venir dada por
a n = (1 d n )e i n ,
dn =
donde
1
n2
log
n =
X
j =n
d 1/2
j .
En primer lugar observamos que la definicin de la sucesin tiene perfecto sentido ya que
d n1/2 =
n=2
X
n
1
< .
n log n
Por otro lado, observemos que a n 1 ya que d n 0 y n 0. Adems, lo anterior nos dice que la sucesin {a n }
P
1/2
< . As que solo hemos de probar que el producto de Blaschke B , asociado a {a n }, no
n (1 |a n |)
satisface
est en H 1/2 , que es lo mismo que probar, segn el Lema 2.21, que f B L 1/2 , donde
f B () =
dn
.
2
2
n=2 d n + ( n )
48
Para N +1 < N , tenemos

N
N +1
f B ()1/2 d =
N
N +1
N
1/2
dn
d
2
2
n=2 d n + ( n )
dN
N N +1
dN
1
dx
d =
p
2
2
d
+
(
)
0
N +1
N +1
1 + x2
N
N
N

1/2
1/2 q
N
N +1
1/2
1/2
1/2
1
= dN
arc senh
= dN
arc senh d N
= dN
log d N
+ 1 + dN
dN
log N log N
1
log log N
1/2
1/2
dN
log d N
=
=
1+
.
1
N log N
log N
N log
N
Z
1/2
1/2
1/d N
1/2
d = dN
N 2
1+ d
Ahora, como el parntesis del ltimo trmino tiende a 1 cuando N , entonces existe N0 N que asegura
que 1 +
log log N
log N
>
1
2
para todo N N0 . Con esto, obtenemos que, para N N0 y N +1 < N ,

N
N +1
f B ()1/2 d
As tenemos que, gracias a que (1, 2) y a que

2
Z
0
f B ()1/2 d
Z
X
N =N0 N +1
1
1
.
2 N log1 N
1
n log1 n
= ,
f B ()1/2 d
1
X
1
= .
2
N log1 N
N =N0
2.2.4. Productos de Blaschke interpolantes para el recproco

En este apartado vamos a conseguir el recproco de la primera parte del Teorema 2.23, a condicin de
asumir que la sucesin de ceros es uniformemente separada.
Teorema 2.25 (Cohn, 1983 [12]). Si {a n } es la sucesin de ceros de un producto de Blaschke interpolante B tal
que B 0 H p para algn p 12 , 1 , entonces {a n } cumple C 1p .

Demostracin. Esto es inmediato a partir del Teorema 2.9 y la Proposicin 2.7:
p
kB 0 kH p &
X
n
p X
p
1 |a n | B 0 (a n ) &
.
1 |a n | 1 |a n |
n
Nota. Cabra pensar que para un producto de Blaschke interpolante B , cuya sucesin de ceros satisface C 1p ,
con p 21 , podra darnos la pertenencia de B 0 en H p , siendo p 21 . Sin embargo, un resultado tan general
no puede ser cierto: Pelez [32, Thm. 3] prob que el ejemplo que se da en nuestro Teorema 2.24 es tambin
un producto de Blaschke interpolante, o sea, prob que existe un producto de Blaschke interpolante, B , con
1
sucesin de ceros satisfaciendo C 1 y tal que B 0 H 2 .

2
2.2.5. Ceros en un ngulo de Stolz implica B 0
p< 12 H
Aqu vamos a ver qu pasa cuando restringimos la ubicacin de los ceros de un producto de Blaschke,
concretamente a un ngulo de Stolz. Segn comentbamos en el apartado de ngulos de Stolz, un producto de
Blaschke con ceros en un ngulo de Stolz con vrtice en e i admite una extensin holomorfa a todo un entorno
de D {e i }. Luego es de esperar una mejora en la integrabilidad de la derivada del producto de Blaschke. Los
resultados siguientes estn probados por Girela, Pelez y Vukotic en [20, Thm. 2.3], aunque ellos se lo atribuyen
a Ahern y Clark [5, Thm. 12 y Thm. 8].
Teorema 2.26. Sea B un producto de Blaschke con sucesin de ceros {a n } contenida en un ngulo de Stolz. Entonces
B0
\
0<p< 21
Hp.
49
Demostracin. Sin prdida de generalidad podemos asumir que el ngulo de Stolz tiene su vrtice en z = 1 y
que es del tipo para cierto 1. Tal como hemos visto en la prueba del Teorema 1.10, la funcin f 1 (z) =
1
(1z)2
est en H p para todo p < 21 , y no est en H 2 . As que basta probar que

1
|B 0 (z)| .
Utilizando la notacin habitual, B =
n bn , B n
|1 z|2
=
z D.
B
b n , tenemos
X
X
X 1 |a n |
X 1 |a n |2
|B 0 (z)| = b n0 (z) B n (z) |b n0 (z)| =

s 2
.
2
2
n
n |1 a n z|
n
n |1 a n z|
Aplicamos ahora la Proposicin 2.14, junto con que {a n } es una sucesin de Blaschke, para obtener el resultado
deseado:
|(1 z)2 B 0 (z)| 2
1 z 2
X
X
(1 |a n |)
2K (1 |a n |) := C .
1 an z
n
n
El ejemplo que sigue nos asegura que este resultado es preciso.

1
Teorema 2.27. Existe un producto de Blaschke B , con ceros en el radio (0, 1), tal que B 0 H 2 . Ms concretamente,
el producto de Blaschke con ceros a n = 1
1
,n
n log2 n
2, no pertenece a H 2 .
1
Demostracin. Segn el Lema 2.21, basta ver que f B no pertenece a L 2 , donde f B es
1/(n log2 n)
n=2
1/(n 2 log4 n) + t 2
f B (t ) =
n log2 n
n=2
1 + t 2 n 2 log4 n
Dado que la funcin x log2 x, x 1, es creciente, podemos encontrar, para t > 0, el nico nmero mayor que 1,
t , con la propiedad de que
t t log2 t = 1.
Entonces, tenemos
f B (t )
(2.27)
1 X
n log2 n 2t log2 t .
2 2nt
La segunda equivalencia necesita justificacin. Por un lado, tenemos

n log2 n (t 1) t log2 t 2t log2 t ,
X
2nt
mientras que, por el otro lado, tenemos,

X
n log2 n
2nt
n log2 n
X
t
2
nt
2t
22
log2
t
=
2
log2
t
2
4 log t
2t log2 t C 2t log2 t .
Se puede escribir entonces

1
f B (t ) 2 C t log t =
C
,
t log t
siendo C una constante positiva fija. Si consideramos la definicin de t , tenemos

1
log t + 2 log log t = log ,
t
de donde se sigue que log t log 1t , cuando t 0. O sea, existen entonces constantes positivas y t 0 tales que
1
f B (t ) 2
t log 1t
para todo t (0, t 0 ].
Todo esto nos dice que f B L 2 :
Z
0
f B (t )1/2 d t
t0
Z
0
1
t log 1t
d t = .
50
2.2.6. Ceros en un ngulo de Stolz e interpolantes implica B 0
p<1 H
Vamos a ver a continuacin qu pasa al combinar ms de una restriccin de las que acabamos de ver. Es de
esperar una mejora en los resultados obtenidos por separado. Empezamos mezclando sucesiones interpolantes dentro de un ngulo de Stolz. Este resultado tambin es de Girela-Pelez-Vukotic [20].
Teorema 2.28. Sea B un producto de Blaschke interpolante cuya sucesin de ceros est contenida en un ngulo
de Stolz. Entonces B 0 H p para todo p < 1.
Nota. El Teorema 2.17 nos dice que esto es lo mejor que se puede obtener para la derivada un producto de
Blaschke.
Demostracin. Sea {a n } una sucesin uniformemente separada y contenida en un ngulo de Stolz. En su artculo de 1959, Newman [31, a lo largo del Thm. 3] demostr que {a n } es unin finita de sucesiones exponen
ciales y, por tanto, {a n } cumple C 1p , para todo p 21 , 1 . Esto, a su vez, nos dice por el Teorema 2.23, que
T
B 0 p<1 H p .
2.2.7. Ceros en un ngulo de Stolz satisfaciendo C implica B 0
1 H
p< 1+
Para terminar esta seccin, mezclamos a continuacin la condicin C junto con la de estar en un ngulo
de Stolz.
Teorema 2.29 (Ahern-Clark, 1974 [5]). Sea B un producto de Blaschke cuya sucesin de ceros {a n } satisface la
condicin C para algn (0, 1]. Supongamos, adems, que esos ceros estn contenidos en un ngulo de Stolz.
Entonces
B0
Hp.
1
0<p< 1+
Nota. El caso = 1 fue visto en la subseccin 2.2.5.

Lema 2.30. Sea a n una sucesin de Blaschke contenida en el ngulo de Stolz (con vrtice en 1). Si B y P son

los productos de Blaschke asociados a a n y |a n | , respectivamente, entonces

0 i 0 i
B (e ) P (e ),
e i D {1}.
Demostracin. En primer lugar hemos de darnos cuenta que, por el Teorema 1.13, tanto B como P admiten
extensiones holomorfas a un entorno de D {1}. Escribamos ahora a n = r n e i n . Por la Proposicin 2.13,
tenemos, para todo y todo n,
(2.28)
(2 + )
1 r n e i (n )
2 + .

1 r n e i
por otra parte, por la representacin de B 0 (e i ) obtenida en (2.11), tenemos
X
0 i X
1 rn 2
1 rn 2
B (e ) =
2 ,
2 =
n=1 1 r n e i (n )
n=1 e i r n e i n
X
X
1 rn 2
1 rn 2
y P 0 (e i ) =
2 =
2 .
n=1 1 r n e i
n=1 e i r n
Entonces, al juntar todo esto con la estimacin (2.28), obtenemos el resultado deseado:
(1 r 2 )(2 + )1
(1 r 2 )(2 + )
X
0 i
n
n
(2 + )1 P 0 (e i ) =
B 0 (e i )
2 = (2 + )P (e ).
1 r n e i
n=1
n=1 1 r n e i
Demostracin del Teorema 2.29. Por el Lema 2.30, podemos permitirnos considerar que a n 0. Hemos de
probar, segn el Lema 2.21, que f B L p para todo p <
f B () =
1
1+ , donde f B
1 rn
.
2
2
n=1 (1 r n ) +
viene dada en este caso por
2.3. Pertenencia de la derivada a los espacios de Bergman A p
51
Considerando la desigualdad x 1 1 + x 2 , tenemos

f B () =
X
n
X
X
1 X
1 rn
1 rn
1 rn
(1 r n ) ,
2 =
1r n 2
1r n 1 = 1+
2
2
2
n
n
n
+ 1 rn
+1
de donde se sigue, dado que
(1 + )p < 1, o sea, para todo p
n (1 r n )
1
.
< 1+
< (porque {a n } cumple C ), que f B L p para todo p que satisfaga
A continuacin vemos que este resultado es tambin preciso.

Teorema 2.31 (Mashreghi [28, Example 8.18]). Dado 0 < 1, existe un producto de Blaschke con sucesin de
1
T
ceros {r n } en el radio (0, 1), que satisface la condicin C y, por tanto, B 0 0<p< 1 H p , pero tal que B 0 H 1+ .
1+
Demostracin. Sea {n } (0, 1) una sucesin positiva y decreciente tal que n n+1 y
ejemplo, n =
1
2n
sirve. Sea m n la parte entera de
1
1+
n log
1
n
1
n=1 log1+
1
n
< . Por
, y escojamos m n elementos del intervalo [1n , 1
n+1 ), por ejemplo, todos ellos iguales a 1 n . Construimos de esta manera la sucesin {r n }. Entonces
(1 r n )
m n
n
n=1
n=1
1+ 1
n=1 log
n
< .
Sin embargo, cuando N +1 < < N , tenemos

f B () =
X
n=1
1 rn
(1 r n )
+ 2
m
X
n n
2
2
n=1 n +
m N N
2N + 2
mN
1
1
1+ ,
1 1+
2N
N log
log 1
N
por lo que f B 6 L 1+ y, en consecuencia, por el Lema 2.21, B 0 6 H 1+ .

Igual que en el apartado anterior se considera la misma cuestin para los espacios de Bergman.
Definicin 2.32 (Espacio de Bergman). El espacio Bergman A p es el espacio de todas las funciones holomorfas
en D tales que
k f k A p :=
Z
D
| f (z)|p dA(z)
1/p
< ,
0 < p < ,
donde dA(z) = 1 dx dy es la medida de rea de Lebesgue normalizada en D.

Estos espacios tambin forman una sucesin decreciente de espacios conforme p aumenta. Un resultado
clsico de Hardy y Littlewood [22] nos dice que H p A 2p y que esta inclusin es continua con norma del
operador inclusin igual a 1, (ver Vukotic [40] para una demostracin elemental de este hecho).
2.3.1. La situacin inicial

De nuevo observamos que los productos de Blaschke finitos tienen derivadas en todos los espacios de Bergman. As que los teoremas que veremos a continuacin tienen su inters cuando el producto de Blaschke es
infinito. El primer resultado que vemos hace uso del Lema de Schwarz-Pick y nos dice que la derivada de un
producto de Blaschke siempre tiene un grado de integrabilidad con respecto a la medida de rea.
Teorema 2.33. Sea B un producto de Blaschke. Entonces B 0 A p para todo p < 1.
Demostracin. Sea B un producto de Blaschke y sea p < 1. Por el Lema de Schwarz-Pick, tenemos
Z
Z
1 p
1
|B 0 (z)|p dA(z)
dA(z) =
,
2
1p
D
D 1 |z|
lo que nos dice que B 0 A p .
52

Nos podemos preguntar si existe algn producto de Blaschke B tal que B 0 6 A 1 . Y efectivamente, en 1955
Rudin [36] prob la existencia de un tal producto de Blaschke, en 1968 Piranian [33] dio un ejemplo explcito, y
en 2007 Pelez [32, Thm. 1] dio un producto de Blaschke interpolante cuya derivada no est en A 1 .
Tambin cabe preguntarse si hay exponentes prohibidos para la pertenencia de la derivada de productos
de Blaschke en A p , como ocurra con H p , que ningn producto de Blaschke infinito tiene derivada en H 1 ,
(Teorema 2.17). En ese sentido tenemos el siguiente resultado de Kim [25, Thm. 1.1], en su versin particular.
Teorema 2.34 (Kim, 1984). B 0 6 A 2 para ningn producto de Blaschke infinito B .
Para la demostracin necesitamos el siguiente resultado de Ahern que podemos encontrar, en su versin
generalizada, en [3, Thm. 6].
Teorema 2.35. Sea B un producto de Blaschke infinito, entonces B 0 A 2 si, y solo si,
Z 1Z
0
!2
1 B (r e i )
1r
d dr < .
Demostracin del Teorema 2.34. Sea B un producto de Blashcke infinito con sucesin de ceros dada por a n =
r n e i n , n = 1, 2, . . . . Vamos a probar que
Z
1 |B (z)| 2
D
1 |z|
dA(z) = ,
de donde se deduce inmediatamente, mediante cambio a polares y el Teorema 2.35, que B 0 A 2 .
Fijemos (0, 1). Consideremos, para cada n = 1, 2, . . . , el disco pseudo-hiperblico (a n , ) = z D :
2
1|a n |2
%(z, a n ) < = T an D(0, ) , el cual es un disco eucldeo de centro c n = 11
2 |a |2 a n y radio r n = 12 |a |2 y,
n
por tanto, su rea (normalizada) es
1 |a n |2 2 2 1 2
2

rea (a n , ) =
1 |a n | .
1 2 |a n |2
4 (1 )2
(2.29)
Dado que cada factor que aparece en el producto de Blaschke B tiene mdulo menor que 1, resulta que
a z
n
|B (z)|
para todo z (a n , ).
= %(z, a n ) < ,
1 an z
Por tanto, para z (a n , ), tenemos
1
1 |B (z)|
= =
1 |z|
1 |c n | + r n
1
(1+) (1|a n |)
1|a n |
1
(1 )2
.
1 + 1 |a n |
De aqu se sigue que

1 |B (z)| 2
Z
(a n ,)
1 |z|
dA(z)
(1 )2
1 (1 )2 2
1 2
rea (a n , )
= > 0.
1 + 1 |a n |
4 (1 )2
As que para probar nuestra asercin solo hay que probar que hay infinitos de estos discos pseudo-hiperblicos,
(a n , ), disjuntos dos a dos.
Para ello, empezamos considerando n 1 = 1. Entonces el disco pseudo-hiperblico (a n1 , 2), de radio pseudohiperblico 2, es un disco eucldeo con adherencia en D, luego contiene solo una cantidad finita de ceros
de B . Como B tiene infinitos ceros, entonces existe n 2 > n 1 tal que a n2 (a n1 , 2). Resulta entonces que
(a n1 , ) (a n2 , ) = . Suponiendo ahora por induccin que hemos encontrado naturales n k > n k1 > >
S
n 2 > n 1 = 1 tales que los discos (a n j , ), j = 1, . . . , k, son disjuntos dos a dos, observamos que 1 j k (a n j , 2)
es relativamente compacto en D, luego contiene solo una cantidad finita de ceros de B . Por tanto, como B tiene
S
infinitos ceros, existe n k+1 > n k tal que a nk+1 1 j k (a n j , 2), lo que implica que (a nk+1 , ) no tiene ningn
elemento en comn con los discos anteriores, (a n j , ), j = 1, . . . , k. As, por induccin, construimos una subsucesin {a nk } de {a n } tal que los discos (a nk , ), k = 1, 2, . . . , son disjuntos dos a dos. Con esto queda probada
la asercin y, con ella, el teorema.
53
Demostracin alternativa del Teorema 2.34. Basta observar que la integral
D |B
(z)|2 dA(z) representa el rea
de la imagen, con multiplicidades, de D mediante B . Entonces solo hay que tener una idea de cunto cubre B
y cuntas veces.
Para saberlo, recurrimos a un conocido resultado de Frostman [14] (ver tambin Garnett [16, Thm. II.6.4]
que dice que si I (z) es una funcin interna, entonces para todo a D E, donde E es un conjunto de capacidad logartmica 0 (para nuestros propsitos podemos suponer E de rea 0), se tiene que el llamado Shift de
Frostman,
I a (z) =
I (z) a
,
1 aI (z)
es un producto de Blaschke.
As que si partimos de un producto de Blaschke infinito entonces, para casi todo a D, B a =
B a
1aB
vuelve a
ser un producto de Blaschke y, adems, infinito, porque de ser finito, resultara que todos sus shifts volveran
a ser productos de Blaschke finitos, incluido el propio B = (B a )a . Ahora, decir que B a es un producto de
Blaschke infinito implica que B toma el valor a infinitas veces. Por tanto, por el Teorema de Frostman, estamos
diciendo que un producto de Blaschke infinito cubre el disco unidad D (salvo un conjunto de rea 0) un nmero
R
infinito de veces y, por consiguiente, D |B 0 (z)|2 dA(z) = .
Corolario 2.36. Para cualquier producto de Blaschke infinito, B 0 6
p2
Ap .
Teniendo en cuenta la inclusin de Hardy y Littlewood, H p A 2p , podemos obtener resultados de pertenencia de la derivada de productos de Blaschke en A p a partir de los resultados de pertenencia de la derivada
p
de los productos de Blaschke en H 2 . Sin embargo, en nuestras circunstancias, ya que trabajaremos con derivadas de productos de Blaschke y con ndices p entre 1 y 2, la situacin puede mejorar, y mucho. La siguiente
proposicin, basada en el Lema de Schwarz-Pick, nos lo dice. Recordemos que B es la bola unidad cerrada de
H .
Proposicin 2.37. Sea una funcin de B. Si 0 H p entonces 0 A p+1 para todo (0, 1).
Nota. Observemos que p + 1 > 2p si y solo si p < 1, lo que nos indica que, para p < 1, A p+1 A 2p para todo
suficientemente pequeo.
Demostracin. Para (0, 1) y por el Lema de Schwarz-Pick, tenemos
Z
D
0 p+1
(z)
dA(z)
0 p 1 |(z)|2 1
p
(z)
dA(z) k0 kH p
1 |z|2
D
Z
0
2r
1
p
dr = k0 kH p .
(1 r )1
El caso es que podemos deshacernos del que aparece en el resultado anterior. El siguiente es un caso
particular de un resultado de Ahern, probado en el artculo de 1984 de Kim [25, Thm. B].
Teorema 2.38 (Ahern, Kim 1984). Sea una funcin de B. Si 0 H p entonces 0 A p+1 .
Para probar este teorema haremos uso de un resultado de la teora de espacios de Hardy, el Teorema Maximal Complejo de Hardy-Littlewood (ver, por ejemplo, Duren [13, Thm.1.9] para una demostracin).
Teorema 2.39 (Hardy-Littlewood). Supongamos que f H p para algn p (0, ]. Definamos la funcin maximal radial de f como
F () = sup f (r e i ),
0r <1
T.
Entonces F L p y kF kL p B p k f kH p .
Demostracin del Teorema 2.38. Sea () = supr <1 0 (r e i ) la funcin maximal radial de 0 , y consideremos,
para T, () = 1 si () 1 y () =
1
()
si () 1.
0 i 1|(r e i )|2
Por el Lema de Schwarz-Pick tenemos (r e )
1r 2
1
Z
0
0 (r e i )p+1 d r
1()
Z
0
p+1
1
d r + ()
(1 r )p+1
1
1r
1
1()
dr =
. As, para T,
()p+1 ,
1
p
p
p () 1 + () ,
si () 1,
si () 1.
54
En cualquier caso, lo anterior queda acotado por
1
p
+ 1 ()p . Por tanto, haciendo uso del Teorema Maximal
Complejo de Hardy-Littlewood, dado que 0 H p , obtenemos

Z
D
0 p+1
(z)
dA(z) =
0 (r e i )p+1 r d r d 1 + 1
p
()p d
1
p
p
p
+ 1 B p k0 kH p .
2.3.2. La condicin C 2p implica B 0 A p

Las tcnicas empleadas en el ltimo resultado son bastante ilustrativas de lo que podemos conseguir. Empezamos dando un resultado anlogo al de Protas. En este caso, la primera parte se debe a Kim [25, Thm. 3.1],
quien prob algo ms general en el mismo artculo de 1984 de antes, y la segunda parte se debe a Rudin [36],
(Kim tambin lo generaliza).
Teorema 2.40 (Kim, 1984). Supongamos que B es un producto de Blaschke con ceros a n = r n e i n , n = 1, . . . .
(i) Si
2p
P
< para algn p (1, 2), entonces B 0 A p .
n 1 |a n |
(ii) Si
1
n (1 |a n |) log 1|a n |
< , entonces B 0 A 1 .
Nota. Observemos que el ejemplo de producto de Blaschke que se da en el Teorema 2.24 tiene sucesin de
1
ceros satisfaciendo (ii), luego la derivada de dicho producto de Blaschke est en A 1 , pero no est en H 2 , por lo
1
2
que esto prueba que la inclusin de Hardy-Littlewood, H A 1 , es estricta.

Nota. Pero es que mucho ms es cierto. Los ceros del mismo producto de Blashcke en el Teorema 2.24 satis1
P
facen n 1 |a n | 2 < , o sea, satisfacen (i) con p = 32 , por lo que la derivada de dicho producto de Blaschke
3
est en A 2 (y no est en H 2 ), lo que nos dice que el Teorema 2.38 no tiene recproco.
Demostracin. Simplemente para justificar lo dicho antes del enunciado, veamos que en (i) es fcil probar que
B 0 A p para todo > 0 suficientemente pequeo. Usamos, como no, el lema de Schwarz-Pick y la estimacin
R
P
P 1|an |2
, junto con que |1r r e1i (n ) |2 d = 1(r2 r )2 .
(ya usada tantas veces antes) |B 0 (z)| n |b n0 (z)| = n |1a
z|2
n
Z
D
(2.30)
1
B 0 (r e i )p1 B 0 (r e i ) d d r
0
Z X
Z
1
1 |a n |2
1 1
d d r
0 (1 r )p1 n |1 r n r e i (n ) |2
Z 1
X
1
1
4 (1 r n )
dr
p1
1 rn r
0 (1 r )
n
Z 1
X
1
4 (1 r n )
dr
p1
(1 r n )p1 (1 r )2p
0 (1 r )
n
Z 1
X
1
d r < .
= 4 (1 r n )2p
1
0 (1 r )
n
|B 0 (z)|p dA(z)
Z 1Z
Para conseguir quitar el , tenemos que ser un poco ms precisos en una integral de las que aparece arriba.
Lema 2.41. Sean q (0, 1) y s (0, 1). Entonces existe un constante K q , que solo depende de q, tal que
1
Z
(2.31)
0
1
1
d r Kq
.
(1 r )q (1 sr )
(1 s)q
Demostracin del Lema 2.41. Solo hay que dividir la integral de manera adecuada, parecido a lo que se hizo
en la demostracin del Teorema 2.38.
Z 1
Z s
Z 1
1
1
1
d
r
d
r
+
dr
q
q
q
0 (1 r ) (1 sr )
0 (1 r ) (1 r )
s (1 r ) (1 s)
s
1
1 (1 r )1q 1
r =s
q(1 r )q r =0 1 s 1 q
1
1
1
1
1
1
+
=
.
q
q
q (1 s)
1 q (1 s)
q(1 q) (1 s)q
55
Usando este Lema en (2.30), pero empezando sin , obtenemos el resultado deseado en (i).
Z
D
Z Z
1 1 0 i p1 0 i
B (r e )
B (r e ) d d r
0
Z X
Z 1
1
1 |a n |2
1
d d r
2
p1
0 (1 r )
n |1 r n r e i (n ) |
Z 1
X
1
1
4 (1 r n )
dr
p1 1 r r
(1
r
)
0
n
n
X
1
4K p1 (1 r n )
(1 r n )p1
n
X
= 4K p1 (1 r n )2p < .
|B 0 (z)|p dA(z)
(2.32)
El apartado (ii) se prueba de manera similar.
2.3.3. Productos de Blaschke interpolantes para el recproco

El siguiente Teorema prueba que el resultado de Kim, apartado (i), tambin admite un recproco en el caso
de tratar con sucesiones de ceros que son interpolantes, esto es, que si B es un producto de Blaschke interpolante con B 0 A p , entonces su sucesin de ceros satisface C 2p .
Teorema 2.42 (Girela-Pelez-Vukotic [20, Thm. 3.4]). Si B es un producto de Blaschke interpolante con ceros
{a n }, entonces
Z
(2.33)
|B 0 (z)|p dA(z) &
(1 |a n |)2p .
En particular, si la serie diverge entonces B 0 6 A p

Nota. El rango interesante de ps para esta estimacin es cuando 1 < p < 2. Si p 1 entonces siempre tenemos
P
2p
< debido a que la sucesin debe satisfacer la condicin de Blashcke. Por otro lado, si p 2
n (1 |a n |)
R
entonces la integral D |B 0 (z)|p dA(z) en el caso de productos de Blashcke infinitos, porque ninguno de ellos
puede estar en A p (Teorema 2.34).
Demostracin. Sea la constante de separacin de la sucesin {a n }. Entonces los discos pseudo-hiperblicos
n := a n , 3 , n = 1, . . . , son disjuntos dos a dos, y por la Proposicin 2.8,

|B 0 (z)|
,
6 1 |a n |2
para todo z n y todo n = 1, . . . .
Adems, recordando cmo calcular el rea de cada uno de estos discos (ver (2.29), tenemos
Z
D
|B 0 (z)|p dA(z)
Z
X
n=1 n
|B 0 (z)|p dA(z)
p X
6
K ,p
1
1 |a n |2
rea(n ) =
p X
6
1
1 |a n |2
1 |a n |2
1 ( 3 )2 |a n |2
2
2
3
(1 |a n |)2p .
Dada la naturaleza de los productos de Blaschke interpolantes, podemos preguntarnos si sus derivadas tienen mejores exponentes de integrabilidad que la de productos de Blaschke normales. Con los productos de
Blaschke normales, lo ms que se puede decir (sin imponer condiciones adicionales) es que B 0 A p para todo
p < 1. Eso es tambin lo mejor que se puede decir para productos de Blaschke interpolantes. Un ejemplo de
producto de Blaschke interpolante cuya derivada no est en A 1 fue dado por Pelez [32, Thm. 1] en 2007. La base de todo esto quizs la podamos encontrar en el sorprendente resultado de Naftalevic [29], que enunciamos
a continuacin, una demostracin detallada del cual puede encontrarse en Cochran [11]
56
Teorema 2.43 (Naftalevic, 1956). Para cada sucesin de Blaschke {a n }, existe una sucesin interpolante {z n } tal
que |z n | = |a n | para cada n.
Este resultado da pie a este otro.
Teorema 2.44. Existe un producto de Blaschke interpolante B tal que B 0
Demostracin. La sucesin a n = 1
1
n log2 n
Ap .
p>1
satisface la condicin de Blaschke. Por el Teorema 2.43, existe una
sucesin interpolante {z n } tal que |z n | = |a n | para todo n. Ahora, para p > 1, tenemos
(1 |z n |)2p =
n=1
n=1
n 2p
log2(2p) n
= ,
lo que permite concluir, por el Teorema 2.42, que el producto de Blaschke B con sucesin de ceros dada por
{z n } es tal que B 0 A p .
2.3.4. Ceros en un ngulo de Stolz implica B 0
p< 32
Ap
En este apartado usamos la relacin existente entre H p y A 1+p , dada en la Proposicin 2.37 y el Teorema 2.38, para obtener el anlogo al Teorema 2.26 de manera inmediata.
Teorema 2.45 (Girela-Pelez-Vukotic, 2007 [20]). Si los ceros de un producto de Blaschke B estn todos en un
ngulo de Stolz, entonces
B0
Ap .
p< 32
Demostracin. Sea B un producto de Blaschke con ceros en un ngulo de Stolz. Del Teorema 2.26 sabemos
T
T
que B 0 p< 1 H p , luego por el Teorema 2.38, B 0 p< 3 A p .
2
2.3.5. La funcin B
El resultado anterior, tan sencillo, es, sin embargo, preciso.
Teorema 2.46 (Girela-Pelez [19]). El producto de Blaschke B con sucesin de ceros dada por a n = 1
1
,
n log2 n
n 2, todos ellos en el radio (0, 1), verifica que B 0 6 A 2 .

Para probar este resultado, haremos uso de una funcin B , similar a f B , introducida por Vinogradov [39]
con otros propsitos, y reintroducida por Girela y Pelez [19] para dar un resultado anlogo al Lema 2.21, de
caracterizacin de pertenencia de B 0 en A p mediante la integrabilidad de la funcin B .
Si B es un producto de Blaschke con sucesin de ceros dada por {a n }, escribimos d n = 1 |a n | y definimos
B () =
dn
( + d n )2
(0, ).
Es inmediato que B es positiva y decreciente.

Teorema 2.47. Sea B un producto de Blaschke cuyo ceros estn en un ngulo de Stolz. Supongamos que
(2.34)
Existen constantes C > 0 y 0 (0, ) tales que
B () C ,
para todo (0, 0 ).
Entonces, para cualquier p (1, ), tenemos B 0 A p si, y solo si, B L p1 (0, 1).
Antes de proseguir, veamos cmo probar el Teorema 2.46 a partir de este resultado.
57
Demostracin del Teorema 2.46. Segn el Teorema 2.47, basta ver que la correspondiente funcin B ,
B () =
dn
n=2
( + d n )2
n log2 n
n=2
(1 + n log2 n)2
> 0,
satisface (2.34) y B L 2 .
Dada la similitud de esta funcin con la funcin f B que aparece en el Teorema 2.27, los mismos argumentos
de all prueban que existen constantes K 1 > 0 y 1 (0, 1) tales que
1
B () K 1
2 log2 1
0 < < 1 .
Esto prueba que B L 2 . Para poder concluir que B 0 A 2 , hemos de comprobar todava que existen constantes
C > 0 y 0 (0, 1) tales que
B () C ,
pero esto es evidente a partir del hecho que
1
log2
para todo (0, 0 ),

cuando 0+ .
A continuacin dedicamos casi todo lo que queda de este apartado para probar el Teorema 2.47. Lo primero
que observamos es que ste es consecuencia inmediata del siguiente.
Teorema 2.48. Supongamos que 1 p < y que B es un producto de Blaschke cuyos ceros, {a n }, estn en un
determinado ngulo de Stolz, , para algn 1. Entonces existen C 1 > 0, C 2 > 0, M > 0 y 0 (0, ) tales que
2
Z
(2.35)
C1
p1
() d
Z
D
|B 0 (z)|p dA(z) C 2
Z
0
p1
()(1 e M B () ) d .
Vamos a necesitar ciertos resultados previos para la demostracin del Teorema 2.48. El primero se debe a
Marshall y Saranson, y aparece probado en Li [27, Prop. 4].
Proposicin 2.49 (Marshall-Sarason, 1992). Sea K un subconjunto convexo cerrado de D con 0 K . Sea B un
producto de Blaschke con ceros {a n } contenidos todos en K . Si z D K y (z) = %(z, K ), entonces
|B 0 (z)|
2(z) |B (z)| X
(1 %2 (z, a n )).
1 + 2 (z) 1 |z|2 n=1
Idea de la demostracin. Escribamos B (z) =
n b n (z), donde b n (z) = z
si a n = 0, y b n (z) =
a n za n
|a n 1a n z , si a n
6= 0.
Entonces para z D, tenemos, tras usar algunas identidades ya conocidas,
0
X b n0 (z) X 1 |a n |2 1 |z|2
2 B (z)
2
(1 |z| )
= (1 |z| )
=
B (z)
n b n (z)
n (z a n ) (1 a n z)
X 1 a n z 1 |a n |2 1 |z|2
X 1 an z
=
=
1 %2 (z, a n ) .
2
|1 a n z|
n z an
n z an
Ahora todo consiste en probar, con argumentos geomtricos, que existe un constante , con || = 1, tal que
1a z
2(z)
n
Re
,
z an
1 + 2 (z)
para todo n, y todo z D K ,
porque de esa manera tenemos, para z D K ,

B 0 (z)
X 1a z
2(z) X
n
(1 |z|2 )
1 %2 (z, a n )
1 %2 (z, a n ) .
Re
2
B (z)
1 + (z) n
n z an
Lema 2.50. Sea B un producto de Blaschke cuya sucesin de ceros viene dada por {a n }. Sea (0, 1) y supongamos que z D satisface %(z, a n ) para todo n. Entonces
(2.36)
|B (z)| e
1 X
(1 %2 (z, a n ))
2
2 n=1
.
58
Demostracin. Escribimos de nuevo B (z) =
n b n (z).
Entonces haciendo uso de la desigualdad elemental
log x x 1, deducimos que

log
1 X
1
1 X
1
1 X
1
1 %2 (z, a n ) ,
=
log 2
1 2
2
|B (z)| 2 n=1
% (z, a n ) 2 n=1 % (z, a n )
2 n=1
lo que implica (2.36).

Tambin vamos a necesitar el lema siguiente.

1
(1 r ) + (1 %) + |t | 1 r e i t (1 r ) + (1 ) + |t |,
Lema 2.51. 2
r, [0, 1),
t [, ].
Demostracin. El lado derecho se obtiene fcilmente a partir de la desigualdad a 2 + b 2 (|a| + |b|)2 ,
q
1 r e i t = (1 r )2 + 4r sen2 t 1 r + 2pr sen |t | (1 r ) + r (1 ) + pr |t | (1 r ) + (1 ) + |t |.
2
2
Para tratar el lado izquierdo, primero suponemos que r 16 , entonces
5
21 r e i t 2(1 r ) 2 1 16 =
2 + (1 r ) + (1 ) + |t |.
3
Ahora supongamos que r > 16 , y empecemos con las estimaciones usuales,
1 r e i t 2 = (1 r )2 + 4r sen2 t (1 r )2 + 42 r |t |2 .
2
(a+b)2
1
1
2 , junto con el hecho de que r > 6 implica que mn{r, } r > 6 y, adems,
contrario dara r 16 , que no puede ser. (Suponemos sin perder generalidad que es
Usamos ahora que a 2 + b 2

max{r, } >
r
p1 ,
6
porque lo
p1 ). Con esto, tenemos

6
p 2
p
p
21 r e i t p (1 r ) + 2 r |t | 2
(1 r ) + r (1 ) + r |t |
2
p
p
2 2
2 2 (1 r ) + p1 (1 ) + p1 |t | p (1 r ) + (1 ) + |t | (1 r ) + (1 ) + |t |.
6
6
6
Con esto queda probado el lema por completo.
Demostracin del Teorema 2.48. Para simplificar escribiremos en vez de B . Fijemos (0, 1) y encontremos > , por la Proposicin 2.15, tal que %(z, ) para todo z D . Utilizando la Proposicin 2.49
con K = y teniendo en cuenta que x 7
2
1 % (z, a) =
(1|a|2 )(1|z|2 )
|1az|2
|B 0 (z)|
2x
1+x 2
es creciente en (0, 1), junto con la bien conocida identidad
, obtenemos, para cada z = r e i t D ,
1 |a |2
X
2%(z, ) |B (z)| X
2
n
2
(1
%
(z,
a
))
.
|B
(z)|
n
2
1 + %(z, )2 1 |z|2 n=1
1 + 2
n=1 |1 a n z|
A continuacin seguimos con z = r e i t D y, como a n , observamos que %(z, a n ) para todo n,

luego por el Lema 2.50,
1 |a |2
X
n
(1 |z|2 )(1 |a |2 )
1 X
n
2
2 n=1
|1 a n z|2
.
2
e
1 + 2 n=1 |1 a n z|2

Mediante la Proposicin 2.13 y el Lema 2.51, tenemos 1 a n z 1 |a n |z (1 r ) + (1 |a n |) + |t | ,

|B 0 (z)|
|B 0 (z)|
(2.37)
2
(1 + 2 )(2 + )2
1 |a n |2
2 e
n=1 1 |a n |z
(1 |z|2 )(1 |a |2 )
(2 + )2 X
n
1 |a n |z 2
22 n=1
X
2
1 |a n |2
e
(1 + 2 )(2 + )2 n=1 (1 r ) + (1 |a n |) + |t | 2
(2 + )2 X
22 n=1
(1 |z|2 )(1 |a n |2 )
2
1
(1 r ) + (1 |a n |) + |t |
42
162 (2 + )2
(1 r ) (1 r ) + |t |

2
2
2
(1 r ) + |t | e
(1 + 2 )(2 + )2
= A (1 r ) + |t | e K (1 r ) (1 r ) + |t | ,
59
donde A y K son constantes positivas que solo dependen de y de .

Ahora observemos que existe una constante positiva , que podemos tomar =
2 1, tal que
para todo z = r e i t D , con t [, ).
|t | (1 r ),
La razn de ello es que si z = r e i t D , con t [, ), entonces
2
2 1 |z| |1 z|2 = (1 |z|)2 + 4|z| sen2 2t (1 |z|)2 + |t |2 ,
p
de donde se sigue que |t | 2 1 (1 r ).
Para continuar con nuestra tarea, tomamos r 0 (0, 1) tal que (+1)(1r 0 ) . De esta manera D D
E r e i t : 1 > r r 0 , (1r 0 ) |t | (1r ) . Con esto, podemos integrar en (2.37) y, tras realizar el cambio de
variables = (t ) = 1r + t y luego aplicar Fubini, obtenemos la segunda desigualdad de (2.35) con C 2 =
0 = ( + 1)(1 r 0 ) y M =
Z
D
2A p r 0
kp ,
Kp
+1 :
|B 0 (z)|p dA(z)
Z
E
|B 0 (z)|p dA(z)
2A p r 0
= 2A p r 0
Z 1Z
r0
Z 1Z
r0
= 2A r 0
p
2A
Kp
Z
= C2
(1r )
(+1)(1r )
r =1 +1
p ()e K p (1r ) () dr d
p1 ()e K p (1r ) ()
r =1 +1
p ()e K p (1r ) () d dr
(+1)(1r 0 ) Z 1
=0
p (1 r + t )e K p (1r ) (1r +t ) dt dr
(+1)(1r 0 )
(+1)(1r 0 )
(1r 0 )
p1 () 1 e M () d .
En cuanto a la primera desigualdad, escribimos B =
n b n , y as tenemos,
X
X 1 |a |2
n
|B (z)|.
|B 0 (z)| = b n0 (z)B n (z)
2 n
n
n |1 a n z|
(2.38)
Con la desigualdad elemental log (1 x) x, obtenemos

log |b n (z)| =
1
1
log (1 (1 |b n (z)|2 )) (1 |b n (z)|2 ),
2
2
que, sumando en j 6= n y usando la identidad 1 |b j (z)|2 = 1 %2 (z, a j ) =

log|B n (z)|
z D,
(1|z|2 )(1|a j |2 )
|1a j z|2
, nos da
1
1 X
1 1 X (1 |z|2 )(1 |a j |2 )
1 X
1 |b j (z)|2 = 1 |b j (z)|2
1 |b j (z)|2
,
2 j 6=n
2
2 j
2 2 j
|1 a j z|2
lo cual, introducido en (2.38), y usando las equivalencias 1 a n z 1 |a n |z (1 r ) + (1 |a n |) + |t | , aportadas por la Proposicin 2.13 y el Lema 2.51, nos permite obtener la siguiente estimacin.
|B 0 (r e i t )|
1 |a n |2
|1 a n r e i t |2
e 2 (2 + )2
1 1 X (1 r 2 )(1 |a j |2 )
2
2 2 j
|1 a j r e i t |
e
X
n
1 |a n |
e
1 |a n |r e i t 2
2
X (1 r 2 )(1 |a n |2 )
1
2(2 + )2 n 1 |a n |r e i t 2
(1 r 2 )(1 |a n |2 )
1 |a n |
n (1 r ) + (1 |a n |) + |t |
2 e
n (1 r ) + (1 |a n |) + |t |
A (1 r ) + |t | e K (1r ) (1r )+|t | ,

A
60
donde A y K dependen slo de .

Ahora, al integrar con respecto al elemento de rea la desigualdad anterior, obtenemos, tras realizar el cambio = (t ) = 1 r + t y aplicar Fubini, la primera desigualdad de (2.35) con C 1 =
Z
D
|B 0 (z)|p dA(z) =
= 2A p
= 2A
B 0 (r e i t )p r dt dr
Z 1Z
Z 1Z
0
2A p
Kp
p (1 r ) + |t | e K p (1r ) (1r )+|t | dt dr
Z 1Z
0
Z 1Z
0
p (1 r + t )e K p (1r ) (1r +t ) d dr
1r +
1r
1 Z 2
p ()e K p (1r ) () d dr
p ()e K p (1r ) () d dr
Z 2
Z 1
= 2A p
p ()
e K p (1r ) () dr d
0
0
Z 2
1
p
= 2A
p1 ()e K p (1r ) () d
Kp
0
0
Z 2
= C1
p1 () 1 e K p () d
0
Z 2
C1
p1 () d .
2A p
Dado el parecido entre B y f B , observamos que la pertenencia en A p de la derivada de los productos de

Blaschke con ceros en un ngulo de Stolz puede ser caracterizada tanto a travs de la funcin B como a travs
de f B .
Teorema 2.52. Sea B un producto de Blaschke cuyos ceros {a n } estn en un ngulo de Stolz. Supongamos que se
satisface la condicin (2.34). Entonces
B 0 H p B 0 A p+1 .
Nota. La posibilidad de quitar la hiptesis de que los ceros estn en un ngulo de Stolz no es viable ya que,
segn la segunda nota tras el Teorema 2.34, el producto de Blaschke B que se construye en el Teorema 2.24 es
3
tal que B 0 A 2 H 2 .
Demostracin de Teorema 2.52. La implicacin () es el Teorema 2.38 y no hace falta ni que los ceros estn
en un ngulo de Stolz ni que se satisfaga (2.34). Para probar la otra implicacin, (), suponemos sin prdida
de generalidad que el ngulo de Stolz es , con 1 y vrtice en 1. Observamos, por el Teorema 2.47, que
B 0 A p+1 B L p (0, 1), donde
B () =
X
n
1 |a n |
2 ,
(1 |a n |) +
(0, ).
Observemos ahora que, para todo n y todo con || > 0,
(1 |a n |)2 + 2 (1 |a n |) + || 2 (1 |a n |)2 + 2 .
Luego la pertenencia en L p (0, 1) de B es equivalente a la pertenencia en L p (, ) de f B , donde

f B () =
X
n
1 |a n |
,
(1 |a n |)2 + 2
(, ).
Esto, a su vez, equivale a la pertenencia en H p de P 0 , donde P es el producto de Blaschke con sucesin de ceros
dada por |a n | . Ahora bien, por el Lema 2.30, tenemos B 0 (e i ) P 0 (e i ), para todo con e i 6= 1, de ah la
equivalencia con que B 0 H p .
2.3.6. Ceros en un ngulo de Stolz e interpolantes implica B 0
61
p<2 A
Cerramos el captulo estudiando los productos de Blaschke interpolantes con ceros en un ngulo de Stolz,
en analoga a lo visto en el correspondiente apartado 2.2.6.
Teorema 2.53. Sea B un producto de Blaschke interpolante cuya sucesin de ceros est contenida en un ngulo
de Stolz. Entonces B 0 A p para todo p < 2.
Nota. Este resultado es preciso gracias al Teorema 2.34, debido a Kim, que asegura que ningn producto de
Blaschke infinito tiene derivada en A 2 .
Demostracin. Por el Teorema 2.28, tenemos que B 0 H p para todo p < 1. Ahora, por el Teorema de HardyLittlewood, H p A 2p , concluimos que B 0 A p para todo p < 2.
Bibliografa
[1] P. Ahern, On a theorem of Hayman concerning the derivative of a function of bounded characteristic, Pacific J. Math. 83 (1979), no. 2,
297301. MR557929 (81b:30065)
[2]
, The mean modulus and the derivative of an inner function, Indiana Univ. Math. J. 28 (1979), no. 2, 311347, DOI
10.1512/iumj.1979.28.28022. MR523107 (80h:30027)
[3]
, The Poisson integral of a singular measure, Canad. J. Math. 35 (1983), no. 4, 735749, DOI 10.4153/CJM-1983-042-0. MR723040
(85c:30036)
[4] P. R. Ahern and D. N. Clark, Radial nth derivatives of Blaschke products, Math. Scand. 28 (1971), 189201. MR0318495 (47 #7042)
[5]
, On inner functions with H p -derivative, Michigan Math. J. 21 (1974), 115127. MR0344479 (49 #9218)
[6]
, On inner functions with B p derivative, Michigan Math. J. 23 (1976), no. 2, 107118. MR0414884 (54 #2976)
[7] A. Beurling, On two problems concerning linear transformations in Hilbert space, Acta Math. 81 (1948), 17. MR0027954 (10,381e)
[8] W. Blaschke, Eine Erweiterung des Satzes von Vitali ber Folgen analytischer Funktionen, Leipzig 61 (1915), 194200.
[9] C. Caratheodory, Theory of functions of a complex variable. Vol. 2, Chelsea Publishing Company, New York, 1954. Translated by F.
Steinhardt. MR0064861 (16,346c)
[10] L. Carleson, An interpolation problem for bounded analytic functions, Amer. J. Math. 80 (1958), 921930. MR0117349 (22 #8129)
[11] W. G. Cochran, Random Blaschke products, Trans. Amer. Math. Soc. 322 (1990), no. 2, 731755, DOI 10.2307/2001723. MR1022163
(91c:30061)
[12] W. S. Cohn, On the H p classes of derivatives of functions orthogonal to invariant subspaces, Michigan Math. J. 30 (1983), no. 2, 221229.
MR718268 (84j:30049)
[13] P. L. Duren, Theory of H p spaces, Pure and Applied Mathematics, Vol. 38, Academic Press, New York, 1970. MR0268655 (42 #3552)
[14] O. Frostman, Potentiel dquilibre et capacit des ensembles avec quelques applications la thorie de fonctions, Meddel Lund Univ Mat
Sem 3, 1935.
[15]
, Sur les produits de Blaschke, Kungl. Fysiografiska Sllskapets i Lund Frhandlingar [Proc. Roy. Physiog. Soc. Lund] 12 (1942),
no. 15, 169182 (French). MR0012127 (6,262e)
[16] J. B. Garnett, Bounded analytic functions, 1st ed., Graduate Texts in Mathematics, vol. 236, Springer, New York, 2007. MR2261424
(2007e:30049)
[17] D. Girela and C. Gonzlez, Mean growth of the derivative of infinite Blaschke products, Complex Variables Theory Appl. 45 (2001), no. 1,
110. MR1909626 (2003g:30057)
[18] D. Girela and J. . Pelez, On the derivative of infinite Blaschke products, Illinois J. Math. 48 (2004), no. 1, 121130. MR2048218
(2005a:30064)
[19]
, On the membership in Bergman spaces of the derivative of a Blaschke product with zeros in a Stolz domain, Canad. Math. Bull.
49 (2006), no. 3, 381388, DOI 10.4153/CMB-2006-038-x. MR2252260 (2007e:30048)
[20] D. Girela, J. . Pelez, and D. Vukotic, Integrability of the derivative of a Blaschke product, Proc. Edinb. Math. Soc. (2) 50 (2007), no. 3,
673687, DOI 10.1017/S0013091504001014. MR2360523 (2008m:30040)
[21]
, Interpolating Blaschke products: Stolz and tangential approach regions, Constr. Approx. 27 (2008), no. 2, 203216, DOI
10.1007/s00365-006-0651-6. MR2336422 (2008i:30035)
[22] G. H. Hardy and J. E. Littlewood, Some properties of fractional integrals. II, Math. Z. 34 (1932), no. 1, 403439, DOI 10.1007/BF01180596.
MR1545260
[23] W. Hayman, Interpolation by bounded functions, Ann. Inst. Fourier. Grenoble 8 (1958), 277290 (English, with French summary).
MR0117348 (22 #8128)
[24] H. Hedenmalm, B. Korenblum, and K. Zhu, Theory of Bergman spaces, Graduate Texts in Mathematics, vol. 199, Springer-Verlag, New
York, 2000. MR1758653 (2001c:46043)
[25] H. O. Kim, Derivatives of Blaschke products, Pacific J. Math. 114 (1984), no. 1, 175190. MR755488 (85h:30045)
63
64
BIBLIOGRAFA
[26] M. A. Kutbi, Integral means for the first derivative of Blaschke products, Kodai Math. J. 24 (2001), no. 1, 8697, DOI
10.2996/kmj/1106157298. MR1813721 (2001j:30032)
[27] K. Y. Li, Interpolating Blaschke products and the left spectrum of multiplication operators on the Bergman space, Hokkaido Math. J. 21
(1992), no. 2, 295304. MR1169796 (93h:30053)
[28] J. Mashreghi, Derivatives of inner functions, Fields Institute Monographs, vol. 31, Springer, New York, 2013. MR2986324
[29] A. G. Naftalevic, On interpolation by functions of bounded characteristic, Vilniaus Valst. Univ. Mokslu
Darbai. Mat. Fiz. Chem. Mokslu
Ser. 5 (1956), 527 (Russian). MR0120387 (22 #11141)

[30] R. Nevanlinna, ber beschrnkte analytische funcktionen, Acad Sci Fennicae A 32(7) (1929), 175.
[31] D. J. Newman, Interpolation in H , Trans. Amer. Math. Soc. 92 (1959), 501507. MR0117350 (22 #8130)
[32] J. . Pelez, Sharp results on the integrability of the derivative of an interpolating Blaschke product, Forum Math. 20 (2008), no. 6,
10391054, DOI 10.1515/FORUM.2008.046. MR2479288 (2010j:30109)
[33] G. Piranian, Bounded functions with large circular variation, Proc. Amer. Math. Soc. 19 (1968), 12551257. MR0230906 (37 #6464)
[34] D. Protas, Blaschke products with derivative in H p and B p , Michigan Math. J. 20 (1973), 393396. MR0344478 (49 #9217)
[35] F. Riesz, Sur certains systmes singuliers dquations intgrales, Ann. Sci. cole Norm. Sup. (3) 28 (1911), 3362 (French). MR1509135
[36] W. Rudin, The radial variation of analytic functions, Duke Math. J. 22 (1955), 235242. MR0079093 (18,27g)
[37] W. Seidel, On the distribution of values of bounded analytic functions, Trans. Amer. Math. Soc. 36 (1934), no. 1, 201226, DOI
10.2307/1989711. MR1501738
[38] M. Tsuji, Potential theory in modern function theory, Maruzen Co. Ltd., Tokyo, 1959. MR0114894 (22 #5712)
[39] S. A. Vinogradov, Multiplication and division in the space of analytic functions with an area-integrable derivative, and in some related
spaces, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 222 (1995), no. Issled. po Linein. Oper. i Teor. Funktsii. 23, 45
77, 308, DOI 10.1007/BF02355826 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (New York) 87 (1997),
no. 5, 38063827. MR1359994 (96m:30053)
[40] D. Vukotic, The isoperimetric inequality and a theorem of Hardy and Littlewood, Amer. Math. Monthly 110 (2003), no. 6, 532536, DOI
10.2307/3647909. MR1984405
ndice alfabtico
C (la condicin ), 46
Hardy
h (espacios ), 9
espacios de , 4
ngulo de Stolz, 22, 41
teorema ( -Littlewood), 53
Jensen
Ahern
teorema, 44
Desigualdad de , 4
teorema ( -Clark), 50
Frmula de , 1
lema ( -Clarck), 45
Kim
teorema(, Kim), 53
teorema, 52, 54
teorema (Ahern, ), 53
Bergman (espacio de ), 51
Blaschke
Lmite Radial, 22
condicin de , 3
Littlewood
producto de , 6
teorema (Hardy- ), 53
productos de interpolantes, 38
Mbius (transformacin de ), 35
Carathodory (Teorema de ), 37
Mtrica pseudo-hiperblica, 36
Carleson, 38, 40
Marshall (proposicin), 57
Clark
Mashreghi (teorema), 51
teorema (Ahern- ), 50
Maximal (Teorema ), 53
lema (Ahern- ), 45
Naftalevic (teorema), 56
Cohn (teorema), 48
Nevanlinna (clase de ), 4
derivada angular, 37
Pelez (teorema), 55, 56
Dirichlet (problema de ), 8
Piranian, 52
dominio regular, 8
Principio
de la mayorante armnica, 18
Factorizacin
del Mximo, 17
cannica, 30
cannica (Teorema), 31
Privalov (teorema), 43
de Riesz, 26
Protas (teorema), 47
Fatou (Teorema de ), 23
representacin (teoremas de ), 11
funcin
Riesz (Factorizacin de ), 26
B , 56
Rudin, 52, 54
f B , 45
armnica, 8
Sarason (proposicin), 57
externa, 31
Schwarz (Lema de ), 35
interna, 32
Schwarz-Pick (Lema de ), 35
interna singular, 31
submedia (propiedad de la local), 12
semicontinua superiormente (s.c.s.), 12

valor medio (propiedad local del ), 12
subarmnica (SH), 15
Vinogradov, 56
Vukotic (teorema), 55, 56
Girela (teorema), 55, 56

65

Crecimiento de La Derivada de Productos de Blaschke

Transféré par

Informations du document

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

Crecimiento de La Derivada de Productos de Blaschke

Transféré par

Droits d'auteur :

Formats disponibles

UNED

1. Un contexto para los productos de Blaschke

1.1. Contando ceros de funciones analticas: la frmula de Jensen . . . . . . . . . . . . . . . . . . . . . .

1.2. La condicin de Blaschke para introducir los espacios de Hardy . . . . . . . . . . . . . . . . . . . .

1.3. Funciones armnicas reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Funciones subarmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Convergencia radial y convergencia no tangencial . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.6. Teoremas de factorizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. Integrabilidad de la derivada de los productos de Blaschke

2.1. Resultados y conceptos preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.1. Automorfismos del disco unidad y la mtrica pseudo-hiperblica . . . . . . . . . . . . . . .

2.1.2. Derivada angular en el sentido de Carathodory . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.3. Productos de Blaschke interpolantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.4. ngulos de Stolz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Pertenencia de la derivada a los espacios de Hardy H

2.2.1. Qu podemos esperar? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.3. La condicin C 1p implica B 0 H p

2.2.4. Productos de Blaschke interpolantes para el recproco . . . . . . . . .

2.3. Pertenencia de la derivada a los espacios de Bergman A p . . . . . . . . . . . . . . . . . . . . . . . .

2.3.1. La situacin inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.2. La condicin C 2p implica B A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.3. Productos de Blaschke interpolantes para el recproco . . . . . . . . . . . . . . . . . . . . . .

M (r, f ) = max| f (z)|,

Teorema. Si B es un producto de Blaschke infinito, entonces B 0 H p para ningn p 1.

De esta manera, conseguimos establecer la equivalencia siguiente, (escribimos a n = r n e i n , con n [, )):

Con esto y usando que para productos de Blaschke interpolantes se tiene |B 0 (a n )|

El ejemplo de producto de Blaschke B con ceros a n = 1

n 2, permite ilustrar que el resultado es

En particular, si la serie diverge entonces B 6 A

2, es una sucesin de Blaschke y satisface, para p > 1, que

inmediatamente este otro.

n 2, todos ellos en el radio (0, 1), verifica que B 0 A 2 . La

teneciente a A 2 es como sigue.

Existen constantes C > 0 y 0 (0, ) tales que

para todo (0, 0 ).

Figura 1: Esquema del 2 Captulo

Un contexto para los

CAPTULO 1. UN CONTEXTO PARA LOS PRODUCTOS DE BLASCHKE

logG(r e i ) d = log |G(0)|,

Lo que desarrollado equivale a

bajo el supuesto de que cada una de las integrales

logr e i a n d = log|F (0)|

r e a n d exista. Pasamos a analizar este tipo de

Lema 1.2. Para > 0,

donde log () = max{log(), 0}.

para todo 0 < < 1.

Por otro lado, si > 1,

0 y log || es integrable cerca de 0, vemos que no hay problemas de convergencia. As pues,

log(2 sen )d = 4(log 2)

donde en la ltima igualdad se ha usado que

log sen d = 2 log 2:

1.2. La condicin de Blaschke para introducir los espacios de Hardy

1.2. La condicin de Blaschke para introducir los espacios de Hardy

(r e i ) d , est acotada superiormente.

b) {a n } satisface la llamada condicin de Blaschke,

Demostracin. Por la frmula de Jensen, se tiene, para 0 < r < 1,

(r e i )d es una funcin creciente de r , pues el lado derecho crece con r .

a) = b). En este caso, existe C > 0 independiente de r (0, 1) tal que

Haciendo r 1 , obtenemos entonces que

< . O sea, la serie

La ltima expresin es una constante independiente de r , indicndonos que

acotada superiormente como funcin de r .

(r e i )|d est acotada superiormente.

b) Para 0 < p < , la funcin