• No se han encontrado resultados

El espacio de Bergman A p ๐›ผ

Definiciรณn 15. Un conjunto de enteros se dice libre de sumas si no existen tres nรบmeros en dicho conjunto,

A. Anexo: soluciones a los ejercicios planteados

5. El espacio de Bergman A p ๐›ผ

En esta secciรณn vamos a ver que podemos caracterizar las๐‘ž-medidas de Carleson para los espacios de Bergman๐ด๐‘๐›ผde forma geomรฉtrica vรญa las cajas de Carleson sobre intervalos o vรญa discos pseudohiperbรณlicos.

Para ello necesitaremos un lema de recubrimiento y otro de armonicidad.

Definiciรณn 14(Distancia pseudohiperbรณlica). Definimos la distancia pseudohiperbรณlica entre los puntos ๐‘ง,๐œ” โˆˆ๐”ปcomo

๐œŒ(๐‘ง,๐œ”) =||| ๐‘งโˆ’ ๐œ” 1โˆ’๐‘ง๐œ”

||

| .

En particular, definimos el disco pseudohiperbรณlico de centro๐‘งy radio๐‘Ÿcomo

๐›ฅ(๐‘ง,๐‘Ÿ) = {๐œ” โˆˆ๐”ป:๐œŒ(๐‘ง,๐œ”) < ๐‘Ÿ}. โ—€

Una propiedad importante de esta distancia es la desigualdad triangular fuerte.

Proposiciรณn 15(Desigualdad triangular fuerte). Sean๐‘ง,๐œ” โˆˆ๐”ป. Entonces, tenemos que ๐œŒ(๐‘ง,๐œ”) โ‰ค ๐œŒ(๐‘ง,๐›ผ) + ๐œŒ(๐›ผ,๐œ”)

1+ ๐œŒ(๐‘ง,๐›ผ)๐œŒ(๐›ผ,๐œ”) para todo๐›ผ โˆˆ๐”ป.

Demostraciรณn. Sea๐›ผ โˆˆ๐”ปy sea

๐œ‘๐›ผ(๐‘ง) = ๐›ผ โˆ’๐‘ง

1โˆ’ ๐›ผ๐‘ง, ๐‘งโˆˆ๐”ป, el automorfismo del disco que verifica que

|๐œ‘๐›ผ(๐‘ง)| = ๐œŒ(๐›ผ,๐‘ง) y ๐œ‘๐›ผ(๐‘ง) = ๐œ‘โˆ’๐›ผ1(๐‘ง).

Observemos que, entonces, para cualesquiera๐‘ง,๐œ” โˆˆ๐”ป,

(7) ๐œ‘๐›ผ(๐›ผ) =0 y ๐œŒ(๐‘ง,๐œ”) = ๐œŒ(๐œ‘๐›ผ(๐‘ง),๐œ‘๐›ผ(๐œ”)).

Asรญ pues, nos es suficiente ver que la desigualdad triangular anterior se satisface para๐‘ง,๐‘ค โˆˆ๐”ปy๐›ผ =0, ya que entonces, si๐›ผ โ‰ 0,

๐œŒ(๐‘ง,๐œ”) = ๐œŒ(๐œ‘๐›ผ(๐‘ง),๐œ‘๐›ผ(๐œ”)) โ‰ค ๐œŒ(๐œ‘๐›ผ(๐‘ง), 0) + ๐œŒ(0,๐œ‘๐›ผ(๐œ”))

1+ ๐œŒ(๐œ‘๐›ผ(๐‘ง), 0)๐œŒ(0,๐œ‘๐›ผ(๐œ”)) = ๐œŒ(๐‘ง,๐›ผ) + ๐œŒ(๐›ผ,๐œ”) 1+ ๐œŒ(๐‘ง,๐›ผ)๐œŒ(๐›ผ,๐œ”).

Asรญ pues, consideremos|๐‘ง| = ๐‘Ž,|๐‘ค| = ๐‘y sea๐œƒ =arg(๐‘ง๐‘ค). Entonces, la desiguldad triangular fuerte para estos valores es equivalente a

๐‘Ž2+ ๐‘2โˆ’2๐‘Ž๐‘cos(๐œƒ)

1+ ๐‘Ž2๐‘2โˆ’2๐‘Ž๐‘cos(๐œƒ) โ‰ค (๐‘Ž + ๐‘)2 (1+ ๐‘Ž๐‘)2. Reescribiendo la parte izquierda de la desigualdad anterior, tenemos que

๐‘Ž2+ ๐‘2โˆ’2๐‘Ž๐‘cos(๐œƒ)

1+ ๐‘Ž2๐‘2โˆ’2๐‘Ž๐‘cos(๐œƒ) =1โˆ’ (1โˆ’ ๐‘Ž2)(1โˆ’ ๐‘2)

1+ ๐‘Ž2๐‘2โˆ’2๐‘Ž๐‘cos(๐œƒ) โ‰ค1โˆ’(1โˆ’ ๐‘Ž2)(1โˆ’ ๐‘2)

1+ ๐‘Ž2๐‘2+2๐‘Ž๐‘ = (๐‘Ž + ๐‘)2 (1+ ๐‘Ž๐‘)2,

de lo que se sigue la desigualdad esperada. โ–ช

Observemos que de la desigualdad triangular fuerte se sigue que, para todo๐‘ง,๐œ”,๐›ผ โˆˆ๐”ป, ๐œŒ(๐‘ง,๐œ”) โ‰ค ๐œŒ(๐‘ง,๐›ผ) + ๐œŒ(๐›ผ,๐œ”),

por lo que tenemos que๐œŒes una distancia. El siguiente lema serรก necesario para la prueba de la caracteri- zaciรณn y se trata de un lema de recubrimiento del disco unidad por discos pseudohiperbรณlicos.

Lema 16(Lema de recubrimiento 2). Dado๐‘Ÿ โˆˆ (0, 1), existe una secuencia de puntos(๐›ผ๐‘›)๐‘›โˆˆโ„•โŠ‚๐”ปtales que๐”ป= โ‹ƒโˆž๐‘›=1๐›ฅ(๐›ผ๐‘›,๐‘Ÿ). Ademรกs, para todo๐‘  โˆˆ (0, 1)tenemos que cada punto๐‘งโˆˆ๐”ปpertenece a lo sumo a๐‘ = ๐‘(๐‘ ,๐‘Ÿ)discos๐›ฅ(๐›ผ๐‘›,๐‘ ).

Demostraciรณn. Sea(๐ต๐‘—)๐‘—โˆˆโ„•una sucesiรณn de discos pseudohiperbรณlicos de radio๐‘Ÿ/3tales que๐”ป= โ‹ƒโˆž๐‘—=1๐ต๐‘—. Cogemos๐ท1= ๐ต1,๐ท2= ๐ต๐‘—2, donde๐‘—2es el primer nรบmero natural tal que๐ท1โˆฉ๐ต๐‘—2 = โˆ…, y vamos eligiendo los discos(๐ท๐‘›)๐‘›โˆˆโ„•de forma recursiva. Sea(๐›ผ๐‘›)๐‘›โˆˆโ„•el centro pseudohiperbรณlico de(๐ท๐‘›)๐‘›โˆˆโ„•. Queremos ver que ๐”ป= โ‹ƒโˆž๐‘›=1๐›ฅ(๐›ผ๐‘›,๐‘Ÿ). Para probar esa igualdad, vamos a considerar que existe un punto๐›ผ โˆˆ๐”ปโงตโ‹ƒโˆž๐‘›=1๐›ฅ(๐›ผ๐‘›,๐‘Ÿ) y llegaremos a una contradicciรณn. Si existe este punto, entonces tenemos que

(a) ๐›ฅ (๐›ผ, 2๐‘Ÿ/3) โˆฉ ๐›ฅ (๐›ผ๐‘›,๐‘Ÿ/3) = โˆ…para todo๐‘› โˆˆโ„•, y

(b) existe๐‘—0โˆˆโ„•tal que๐›ผ โˆˆ ๐ต๐‘—0; por lo tanto,๐ต๐‘—0โŠ‚ ๐›ฅ(๐›ผ, 2๐‘Ÿ/3).

En particular, tenemos que๐ต๐‘—0โˆ‰ (๐ท๐‘›)๐‘›โˆˆโ„•, pero de(a)y(b)se sigue que๐ต๐‘—0โˆฉ ๐ท๐‘›= โˆ…para todo๐‘›, lo cual nos da una contradicciรณn y, por lo tanto,๐”ป= โ‹ƒโˆž๐‘›=1๐›ฅ(๐›ผ๐‘›,๐‘Ÿ).

Ahora vamos a ver la segunda parte. Sean๐‘  โˆˆ (0, 1)y๐‘งโˆˆ๐”ป. Definimos el conjunto ๐ธ(๐‘ง) = {๐›ผ๐‘˜โˆˆ๐”ปโˆถ ๐œ‘๐‘ง(๐›ผ๐‘˜) โˆˆ ๐›ฅ(0,๐‘ ) = ๐ท(0,๐‘ )},

donde

(8) ๐œ‘๐‘ง(๐œ”) = ๐‘งโˆ’ ๐œ”

1โˆ’๐‘ง๐œ” es el automorfismo del disco que verifica que

|๐œ‘๐‘ง(๐›ผ๐‘˜)| < ๐‘  โŸบ ๐œŒ(๐›ผ๐‘˜,๐‘ง) < ๐‘ .

Sean๐›ผ๐‘˜,๐›ผ๐‘—โˆˆ ๐ธ(๐‘ง)y denotemos๐‘ค๐‘˜= ๐œ‘๐‘ง(๐›ผ๐‘˜)y๐‘ค๐‘—= ๐œ‘๐‘ง(๐›ผ๐‘—). Observemos que, entonces, ๐œŒ(๐œ”๐‘˜,๐œ”๐‘—) = ๐œŒ(๐›ผ๐‘˜,๐›ผ๐‘—) โ‰ฅ 2๐‘Ÿ

3 y, como|๐œ”๐‘˜| โ‰ค ๐‘ , tenemos que

๐œŒ(๐œ”๐‘˜,๐œ”๐‘—) = |๐œ”๐‘˜โˆ’ ๐œ”๐‘—|

|1โˆ’ ๐œ”๐‘˜๐œ”๐‘—|โ‰ค |๐œ”๐‘˜โˆ’ ๐œ”๐‘—| 1โˆ’ ๐‘ 2 , de donde concluimos que|๐œ”๐‘˜โˆ’ ๐œ”๐‘—| โ‰ฅ2๐‘Ÿ(1โˆ’ ๐‘ 2)/3y que los discos

๐ท๐‘˜= ๐ท (๐œ”๐‘˜,๐‘Ÿ(1โˆ’ ๐‘ 2)

3 ) = ๐ท (๐œ‘๐‘ง(๐›ผ๐‘˜),๐‘Ÿ(1โˆ’ ๐‘ 2)

3 )

son disjuntos. Asรญ pues, para cada๐›ผ๐‘˜โˆˆ ๐ธ(๐‘ง)existe un disco๐ท๐‘˜tal que si cogemos otro centro pseudohi- perbรณlico๐›ผ๐‘—โˆˆ ๐ธ(๐‘ง), tenemos que๐ท๐‘˜โˆฉ ๐ท๐‘—= โˆ…. Ahora bien, sea๐œ โˆˆ ๐ท๐‘˜. Tenemos que

|๐œ| โ‰ค |๐œ”๐‘˜| + |๐œ โˆ’ ๐œ”๐‘˜| < ๐‘  +๐‘Ÿ(1โˆ’ ๐‘ 2) 3 โ‰ค1. Usando esta cota obtenemos que

#(๐ธ(๐‘ง)) [๐œ‹๐‘Ÿ2(1โˆ’ ๐‘ 2)2

9 ] = โˆ‘

๐›ผ๐‘˜โˆˆ๐ธ(๐‘ง)

|๐ท๐‘˜| โ‰ค |๐ท (0, 1)| โ‰ค ฯ€,

por lo que

#(๐ธ(๐‘ง)) โ‰ค 9 ๐‘Ÿ2(1โˆ’ ๐‘ 2)2,

donde vemos que, efectivamente, la cota de#(๐ธ(๐‘ง))depende รบnicamente de๐‘Ÿy๐‘ y, por consiguiente,

#(๐ธ(๐‘ง)) โ‰ค ๐‘(๐‘ ,๐‘Ÿ). โ–ช

Para la caracterizaciรณn necesitaremos tambiรฉn el siguiente lema. Recordemos que, si๐‘“es una funciรณn holomorfa en๐”ป, entonces, para0 < ๐‘ < โˆž, tenemos que|๐‘“|๐‘es subarmรณnica en๐”ป, luego para todo 0< ๐‘  <1tenemos que

|๐‘“(0)|๐‘โ‰ค 1 ๐‘ 2 โˆซ

๐ท(0,๐‘ )

|๐‘“(๐œ)|๐‘d๐ด(๐œ).

Esta desigualdad puede reformularse en tรฉrminos de los discos hiperbรณlicos como sigue.

Lema 17. Sean๐‘“ โˆˆ ๐’ช(๐”ป),0< ๐‘ < โˆž,๐›ผ > โˆ’1,0< ๐‘  <1. Entonces, existe una constante๐‘(๐‘ ,๐›ผ)de manera que

|๐‘“(๐‘Ž)|๐‘โ‰ค ๐‘(๐‘ ,๐›ผ) (1โˆ’ |๐‘Ž|2)(2+๐›ผ)โˆซ

๐›ฅ(๐‘Ž,๐‘ )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผd๐ด(๐œ), ๐‘Ž โˆˆ๐”ป.

Demostraciรณn. Sea๐‘Ž โˆˆ๐”ป. Definimos๐œ‘๐‘ŽโˆˆAut(๐”ป)como en (8). Por la subarmonicidad de|๐‘“|๐‘, tenemos que

|๐‘“(๐‘Ž)|๐‘= |๐‘“ โˆ˜ ๐œ‘๐‘Ž(0)|๐‘โ‰ค 1 ๐‘ 2โˆซ

๐›ฅ(0,๐‘ )

|๐‘“ โˆ˜ ๐œ‘๐‘Ž(๐œ)|๐‘d๐ด(๐œ) = ๐‘(๐‘ ) ๐‘ 2 โˆซ

๐›ฅ(๐‘Ž,๐‘ )

|๐‘“(๐œ)|๐‘|๐œ‘๐‘Žโ€ฒ(๐œ)|2d๐ด(๐œ)

= ๐‘(๐‘ ) ๐‘ 2 โˆซ

๐›ฅ(๐‘Ž,๐‘ )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐‘Ž|2)2

|1โˆ’ ๐‘Ž๐œ|4 d๐ด(๐œ),

donde hemos hecho el cambio de variable๐œ = ๐œ‘๐‘Ž(๐œ) = ๐œ‘โˆ’๐‘Ž1(๐œ). Como๐œ‰ โˆˆ ๐›ฅ(๐‘Ž,๐‘ ), se tiene que1โˆ’ |๐‘Ž|2โ‰

|1โˆ’ ๐‘Ž๐œ|, por lo que se sigue la desigualdad

|๐‘“(๐‘Ž)|๐‘โ‰ค ๐‘(๐‘ ) (1โˆ’ |๐‘Ž|2)2 โˆซ

๐›ฅ(๐‘Ž,๐‘ )

|๐‘“(๐œ)|๐‘d๐ด(๐œ).

Finalmente, nรณtese que tambiรฉn tenemos que1โˆ’ |๐‘Ž|2โ‰1โˆ’ |๐œ|2, lo que implica que

|๐‘“(๐‘Ž)|๐‘โ‰ค ๐‘(๐‘ ,๐›ผ) (1โˆ’ |๐‘Ž|2)2โˆซ

๐›ฅ(๐‘Ž,๐‘ )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผ

(1โˆ’ |๐‘Ž|2)๐›ผd๐ด(๐œ). โ–ช

Pasemos a demostrar la caracterizaciรณn de las๐‘ž-medidas de Carleson en los espacios๐ด๐‘๐›ผ. El resto de casos se pueden encontrar en los libros que aparecen en las referencias.

Teorema 18. Sean0< ๐‘ โ‰ค ๐‘ž < โˆž,๐›ผ > โˆ’1y ๐œ‡una medida de Borel positiva en๐”ป. Entonces, los siguientes enunciados son equivalentes:

(I) ๐œ‡es una๐‘ž-medida de Carleson para๐ด๐‘๐›ผ. (II) Para todo๐‘Ÿ โˆˆ (0, 1)tenemos que

sup

๐‘Žโˆˆ๐”ป

๐œ‡(๐›ฅ(๐‘Ž,๐‘Ÿ))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < โˆž.

(III) Existe๐‘Ÿ โˆˆ (0, 1)tal que

sup

๐‘Žโˆˆ๐”ป

๐œ‡(๐›ฅ(๐‘Ž,๐‘Ÿ))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < โˆž.

(IV) Si ๐‘†(๐‘Ž)es la caja de Carleson asociada a๐‘Ž โˆˆ๐”ป, entonces sup

๐‘Žโˆˆ๐”ป

๐œ‡ (๐‘†(๐‘Ž))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < โˆž.

Observaciรณn19. La condiciรณn(IV)se puede reformular como sigue:

sup

๐ผโŠ‚๐•‹

๐œ‡(๐‘†(๐ผ))

|๐ผ|(2+๐›ผ)๐‘ž/๐‘ < โˆž. โ—€

Demostraciรณn. Empezamos por demostrar que(I)โ‡’(II). Nรณtese que el esquema es anรกlogo al realizado en la prueba de la implicaciรณn(II)โ‡’(III)del teorema13, pero ahora tomando el nรบcleo reproductor normalizado de๐ด2๐›ผ

๐‘˜๐‘Ž(๐‘ง) = (1โˆ’ |๐‘Ž|2)(2+๐›ผ)/2

(1โˆ’ ๐‘Ž๐‘ง)2+๐›ผ , ๐‘Ž,๐‘งโˆˆ๐”ป,

el cual tiene norma1en๐ด๐›ผ2y no tiene ceros. Podemos ver que la funciรณn๐‘“๐‘Ž(๐‘ง) = (๐‘˜๐‘Ž(๐‘ง))2/๐‘es holomorfa en el disco unidad y que tambiรฉn tiene norma๐ด๐‘๐›ผigual a1, asรญ que podemos aplicar nuestra hipรณtesis de que๐œ‡es una๐‘ž-medida de Carleson y que, dado๐‘Ÿ โˆˆ (0, 1), entonces๐›ฅ(๐‘Ž,๐‘Ÿ) โŠ‚๐”ป, para asรญ obtener que

1= โ€–๐‘“๐‘Žโ€–๐ด๐‘๐›ผ โ‰ณ โ€–๐‘“๐‘Žโ€–๐ฟ๐‘ž= (โˆซ

๐”ป

|๐‘“๐‘Ž(๐‘ง)|๐‘žd๐œ‡(๐‘ง))

1/๐‘ž

= (โˆซ

๐”ป

|๐‘˜๐‘Ž(๐‘ง)|2๐‘ž/๐‘d๐œ‡(๐‘ง))

1/๐‘ž

โ‰ณ (โˆซ

๐›ฅ(๐‘Ž,๐‘Ÿ)

|๐‘˜๐‘Ž(๐‘ง)|2๐‘ž/๐‘d๐œ‡(๐‘ง))

1/๐‘ž

โ‰ณ 1

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)/๐‘(โˆซ

๐›ฅ(๐‘Ž,๐‘Ÿ)

d๐œ‡(๐‘ง))

1/๐‘ž

โ‰ ๐œ‡(๐›ฅ(๐‘Ž,๐‘Ÿ))1/๐‘ž (1โˆ’ |๐‘Ž|2)(2+๐›ผ)/๐‘.

Esto nos da la cota

๐œ‡(๐›ฅ(๐‘Ž,๐‘Ÿ))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < ๐ถ,

donde๐ถno depende de๐‘Ž. Tomando el supremo sobre๐‘Ž โˆˆ๐”ป, obtenemos para๐‘Ÿ โˆˆ (0, 1)que sup

๐‘Žโˆˆ๐”ป

๐œ‡(๐›ฅ(๐‘Ž,๐‘Ÿ))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < โˆž.

Para ver que(I)โ‡’(IV)podemos usar exactamente el mismo proceso que para ver que(I)โ‡’(II)cambiando ๐›ฅ(๐‘Ž,๐‘Ÿ)por la caja de Carleson๐‘†(๐‘Ž), y llegamos a la desigualdad

๐œ‡(๐‘†(๐‘Ž))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < ๐ถ;

como la constante no depende de๐‘Ž, podemos poner supremos sobre๐‘Ž โˆˆ๐”ป, obteniendo asรญ el resultado deseado.

La condiciรณn(II)โ‡’(III)es trivial. Veamos que(III)โ‡’(I), es decir, queremos ver que la condiciรณn sup

๐‘Žโˆˆ๐”ป

๐œ‡ (๐›ฅ(๐‘Ž,๐‘Ÿ))

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘ < โˆž

para algรบn0< ๐‘Ÿ <1implica que๐œ‡es una๐‘ž-medida de Carleson para๐ด๐‘๐›ผ. Sea(๐›ผ๐‘›)๐‘›โˆˆโ„•la sucesiรณn generada en el lema16para๐‘Ÿ. Entonces,

โˆซ

๐”ป

|๐‘“(๐‘ง)|๐‘žd๐œ‡(๐‘ง) = โˆซ

โ‹ƒโˆž๐‘›=1๐›ฅ(๐›ผ๐‘›,๐‘Ÿ)

|๐‘“(๐‘ง)|๐‘žd๐œ‡(๐‘ง) โ‰ค

โˆž

โˆ‘

๐‘›=1

โˆซ

๐›ฅ(๐›ผ๐‘›,๐‘Ÿ)

|๐‘“(๐‘ง)|๐‘žd๐œ‡(๐‘ง) โ‰ค

โˆž

โˆ‘

๐‘›=1

|๐‘“( ฬƒ๐‘ง๐‘›)|๐‘ž๐œ‡ (๐›ฅ(๐›ผ๐‘›,๐‘Ÿ)),

donde๐‘งฬƒ๐‘˜โˆˆ ๐›ฅ(๐›ผ๐‘˜,๐‘Ÿ)y

|๐‘“( ฬƒ๐‘ง๐‘›)| = mรกx

๐‘งโˆˆ๐›ฅ(๐›ผ๐‘›,๐‘Ÿ)

|๐‘“(๐‘ง)|.

Nรณtese que este mรกximo estรก bien definido ya que ningรบn disco cerrado toca la frontera del disco unidad.

Esto se debe a que, si algรบn punto se encuentra en la frontera, entonces๐œŒ(๐›ผ๐‘›,๐‘ง) =1, lo cual es imposible porque suponemos que๐‘Ÿ <1. Tomemos๐‘  โˆˆ (0, 1)tal que๐‘  < (1โˆ’ ๐‘Ÿ)/2y, usando el lema17, obtenemos que, para๐›ผ > โˆ’1,

โˆž

โˆ‘

๐‘›=1

(|๐‘“( ฬƒ๐‘ง๐‘›)|๐‘๐œ‡ (๐›ฅ(๐›ผ๐‘›,๐‘Ÿ))๐‘/๐‘ž)๐‘ž/๐‘โ‰ฒ

โˆž

โˆ‘

๐‘›=1

(๐œ‡ (๐›ฅ(๐›ผ๐‘›,๐‘Ÿ))๐‘/๐‘ž (1โˆ’ | ฬƒ๐‘ง๐‘›|2)๐›ผ+2 โˆซ

๐›ฅ( ฬƒ๐‘ง๐‘›,๐‘ )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผd๐ด(๐œ))

๐‘ž/๐‘

โ‰ฒ

โˆž

โˆ‘

๐‘›=1

((1โˆ’ |๐›ผ๐‘›|2)๐›ผ+2 (1โˆ’ | ฬƒ๐‘ง๐‘›|2)๐›ผ+2 โˆซ

๐›ฅ( ฬƒ๐‘ง๐‘›,1+๐‘Ÿ2 )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผd๐ด(๐œ))

๐‘ž/๐‘

โ‰ฒ (

โˆž

โˆ‘

๐‘›=1

โˆซ

๐›ฅ(๐›ผ๐‘›,1+๐‘Ÿ2 )

|๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผd๐ด(๐œ))

๐‘ž/๐‘

โ‰ƒ (โˆซ

๐”ป

(

โˆž

โˆ‘

๐‘›=1

๐œ’๐›ฅ(๐›ผ

๐‘›,1+๐‘Ÿ2 )(๐œ)) |๐‘“(๐œ)|๐‘(1โˆ’ |๐œ|2)๐›ผd๐ด(๐œ))

๐‘ž/๐‘

โ‰ฒ ๐‘(๐‘Ÿ,๐‘ )๐‘ž/๐‘โ€–๐‘“โ€–๐‘ž๐ด๐‘ ๐›ผ.

Para acabar, veamos que(IV)โ‡’(III). Sea๐‘Ž โˆˆ ๐”ปtal que|๐‘Ž| >1/3. Escogemos๐‘Ÿ < (1โˆ’ |๐‘Ž|)/4. Entonces, tenemos que

๐›ฅ(๐‘Ž,๐‘Ÿ) โŠ‚ ๐ท (๐‘Ž, 12(1โˆ’ |๐‘Ž|)) โŠ‚S(๐‘Žโˆ—), ๐‘Žโˆ—= 3|๐‘Ž| โˆ’1

2 ei arg(๐‘Ž).

Finalmente, por hipรณtesis,

๐œ‡ (๐›ฅ(๐‘Ž,๐‘Ÿ)) โ‰ค ๐œ‡(S(๐‘Žโˆ—)) โ‰ค ๐ถ(1โˆ’ |๐‘Žโˆ—|2)(2+๐›ผ)๐‘ž/๐‘โ‰ค ๐ถ (9 2)

(2+๐›ผ)๐‘ž/๐‘

(1โˆ’ |๐‘Ž|2)(2+๐›ผ)๐‘ž/๐‘. โ–ช

Referencias

[1] BERNARD, Calista. ยซInterpolation Theorems and Applicationsยป. En:Chicago, IL: University of Chicago Mathematics REU (2013).

[2] BRUNA, Joaquim y CUFร, Juliร .Complex analysis. EMS Textbooks in Mathematics. Translated from the Catalan by Ignacio Monreal. European Mathematical Society (EMS), Zรผrich, 2013.https://doi.

org/10.4171/111.

[3] CARLESON, Lennart. ยซAn interpolation problem for bounded analytic functionsยป. En:American Journal of Mathematics80 (1958), pรกgs. 921-930. ISSN: 0002-9327.https://doi.org/10.2307/2372840.

[4] CARLESON, Lennart. ยซInterpolations by bounded analytic functions and the corona problemยป. En:

Annals of Mathematics. Second Series76 (1962), pรกgs. 547-559. ISSN: 0003-486X.https://doi.org/

10.2307/1970375.

[5] CONWAY, John B.Functions of one complex variable. Second. Graduate Texts in Mathematics 11.

Springer-Verlag, New York-Berlin, 1978. ISBN: 978-0-387-90328-6.

[6] DUREN, Peter.Theory of๐ป๐‘spaces. Pure and Applied Mathematics 38. Academic Press, New York- London, 1970.

[7] DUREN, Peter y SCHUSTER, Alexander.Bergman spaces. Mathematical Surveys and Monographs 100.

American Mathematical Society, Providence, RI, 2004.https://doi.org/10.1090/surv/100. [8] FEFFERMAN, Charles y STEIN, Elias M. ยซ๐ป๐‘spaces of several variablesยป. En:Acta Mathematica129.3-4

(1972), pรกgs. 137-193. ISSN: 0001-5962.https://doi.org/10.1007/BF02392215.

[9] HEDENMALM, Hรฅkan; KORENBLUM, Boris, y ZHU, Kehe.Theory of Bergman spaces. Graduate Texts in Mathematics 199. Springer-Verlag, New York, 2000.https://doi.org/10.1007/978-1-4612-0497-8.

[10] Hร–RMANDER, Lars. ยซ๐ฟ๐‘estimates for (pluri-) subharmonic functionsยป. En:Mathematica Scandinavica 20 (1967), pรกgs. 65-78. ISSN: 0025-5521.https://doi.org/10.7146/math.scand.a-10821.

[11] JONES, Peter W. ยซCarleson measures and the Fefferman-Stein decomposition ofBMO(R)ยป. En:Annals of Mathematics. Second Series111.1 (1980), pรกgs. 197-208. ISSN: 0003-486X.https://doi.org/10.

2307/1971197.

[12] JONES, Peter W. ยซ๐ฟโˆžestimates for the๐œ•ฬ„problem in a half-planeยป. En:Acta Mathematica 150.1-2 (1983), pรกgs. 137-152. ISSN: 0001-5962.https://doi.org/10.1007/BF02392970.

[13] KOOSIS, Paul.Introduction to๐ป๐‘spaces. Second. Cambridge Tracts in Mathematics 115. With two appendices by V. P. Havin [Viktor Petrovich Khavin]. Cambridge University Press, Cambridge, 1998.

ISBN: 978-0-521-45521-3.

[14] PAVLOVIฤ†, Miroslav.Function classes on the unit disc. De Gruyter Studies in Mathematics 52. An introduction. De Gruyter, Berlin, 2014. ISBN: 978-3-11-028123-1; 978-3-11-028190-3.

[15] PELรEZ, Josรฉ รngel y Rร„TTYร„, Jouni. ยซWeighted Bergman spaces induced by rapidly increasing weightsยป. En:Memoirs of the American Mathematical Society 227.1066 (2014), pรกgs. vi+124. ISSN:

0065-9266.

[16] RUDIN, Walter.Function theory in the unit ball ofC๐‘›. Grundlehren der Mathematischen Wissens- chaften [Fundamental Principles of Mathematical Science] 241. Springer-Verlag, New York-Berlin, 1980. ISBN: 978-0-387-90514-3.

[17] RUDIN, Walter.Real and complex analysis. Third. McGraw-Hill Book Co., New York, 1987. ISBN:

978-0-07-054234-1.

[18] SCHEIDEMANN, Volker.Introduction to complex analysis in several variables. Birkhรคuser Verlag, Basel, 2005.https://doi.org/10.1007/3-7643-7491-8.