+ All Categories
Home > Documents > Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted...

Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted...

Date post: 01-Jun-2020
Category:
Upload: others
View: 20 times
Download: 0 times
Share this document with a friend
77
Background and results References Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles joint work with O. Blasco, P. Galindo and M. Lindstr¨ om Universitat Jaume I de Castell´o Workshop on Infinite Dimensional Analysis Valencia 2017 20 de Octubre de 2017 Alejandro Miralles Interpolating sequences for weighted spaces
Transcript
Page 1: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences for weighted spaces of analytic functionson the unit ball of a Hilbert space

Alejandro Mirallesjoint work with O. Blasco, P. Galindo and M. Lindstrom

Universitat Jaume I de Castello

Workshop on Infinite Dimensional Analysis Valencia 201720 de Octubre de 2017

Alejandro Miralles Interpolating sequences for weighted spaces

Page 2: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣ = |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 3: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣ = |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 4: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣ = |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 5: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣

= |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 6: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣ = |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 7: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Definitions in C

D denotes the open unit disk of C.

The space A−p = {f : D→ C analytic : supz∈D(1− |z|2)p |f (z)| <∞}.

A−p is a Banach space endowed with the norm given by supz∈D(1− |z|2)p |f (z)|.

A sequence (zn) ⊂ D is interpolating for A−p if for any bounded sequence(αn) ⊂ C, there exists f ∈ A−p such that (1− |zn|)pf (zn) = αn for any n ∈ N.

The pseudohyperbolic distance in D

The pseudohyperbolic distance for z,w ∈ D is

ρ(z,w) =

∣∣∣∣ z − w

1− zw

∣∣∣∣ = |ϕz (w)|.

(zn) ⊂ D is hyperbolically separated if ∃R > 0 such that ρ(zk , zj ) ≥ R ∀k, j .

Alejandro Miralles Interpolating sequences for weighted spaces

Page 8: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Theorem [K. Seip’93]

A sequence (zn) ⊂ D is interpolating for A−p if and only if

(zn) is hyperbolically separated

lim supr→1 supw∈D D(Sw , r) < p.

D(Sw , r)

For 12< r < 1 and a sequence (zj ) ⊂ D, the set D((zj ), r) is given by

D((zj ), r) =

∑12<|zj |<r log 1

|zj |

log 11−r

·

Sw := (ϕw (zj )) is the image of the sequence (zj ) under the automorphismϕw : D→ D given by

ϕw (z) =w − z

1− wz

Alejandro Miralles Interpolating sequences for weighted spaces

Page 9: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Theorem [K. Seip’93]

A sequence (zn) ⊂ D is interpolating for A−p if and only if

(zn) is hyperbolically separated

lim supr→1 supw∈D D(Sw , r) < p.

D(Sw , r)

For 12< r < 1 and a sequence (zj ) ⊂ D, the set D((zj ), r) is given by

D((zj ), r) =

∑12<|zj |<r log 1

|zj |

log 11−r

·

Sw := (ϕw (zj )) is the image of the sequence (zj ) under the automorphismϕw : D→ D given by

ϕw (z) =w − z

1− wz

Alejandro Miralles Interpolating sequences for weighted spaces

Page 10: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Theorem [K. Seip’93]

A sequence (zn) ⊂ D is interpolating for A−p if and only if

(zn) is hyperbolically separated

lim supr→1 supw∈D D(Sw , r) < p.

D(Sw , r)

For 12< r < 1 and a sequence (zj ) ⊂ D, the set D((zj ), r) is given by

D((zj ), r) =

∑12<|zj |<r log 1

|zj |

log 11−r

·

Sw := (ϕw (zj )) is the image of the sequence (zj ) under the automorphismϕw : D→ D given by

ϕw (z) =w − z

1− wz

Alejandro Miralles Interpolating sequences for weighted spaces

Page 11: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 12: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function.

Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 13: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 14: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 15: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 16: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 17: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 18: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 19: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The weighted space Hv (BE )

The space E will denote a complex Hilbert space of arbitrary dimension (finite orinfinite dimensional) and BE = {x ∈ E : ‖x‖ < 1} its open unit ball.

Let υ : BE → (0,∞) be a weight, that is, a continuous positive function. Weconsider the weighted space of analytic functions

H∞υ (BE ) := {f : BE → C : f is analytic and ‖f ‖υ = supx∈BE

υ(x)|f (x)| <∞}

and it becomes a Banach space when endowed with the ‖ · ‖υ norm.

Standard weights are υα(x) = (1− ‖x‖2)α , for α ≥ 0.

When α = 0 then we get H∞(BE ).

A sequence (zn) ⊂ BE is interpolating for H∞υ (BE ) if for any bounded sequence(αn) ⊂ C there exists f ∈ H∞υ (BE ) such that v(zn)f (zn) = αn.

Equivalently, (zn) is interpolating if the mapping S : H∞υ (BE )→ `∞ given byS(f ) = (v(zn)f (zn)) is onto.

(zn) is linear interpolating if the map S has a linear right inverse.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 20: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The pseudohyperbolic distance in BE

The pseudohyperbolic distance for x , y ∈ BE :

ρE (x , y) = ‖ϕx (y)‖

where ϕx is an automorphism of BE such that ϕx (x) = 0.

The sequence (zn) ⊂ BE is hyperbolically separated if ∃R > 0 such thatρ(zk , zj ) ≥ R ∀k, j .

Necessary conditions for interpolation

Theorem. Let υ be a weight and F : [0, 1)→ R+ be a continuous non decreasingfunction s.t.

υ(x)

υ(y)≤ F (ρE (x , y)), x , y ∈ BE . (1.1)

Then any interpolating sequence (wn) for H∞υ (BE ) is hyperbolically separated.

Remark. The standard weights υα(x) = (1− ‖x‖2)α, for α ≥ 0, satisfy the

assumption with F (r) =(

41−r2

)α.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 21: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The pseudohyperbolic distance in BE

The pseudohyperbolic distance for x , y ∈ BE :

ρE (x , y) = ‖ϕx (y)‖

where ϕx is an automorphism of BE such that ϕx (x) = 0.

The sequence (zn) ⊂ BE is hyperbolically separated if ∃R > 0 such thatρ(zk , zj ) ≥ R ∀k, j .

Necessary conditions for interpolation

Theorem. Let υ be a weight and F : [0, 1)→ R+ be a continuous non decreasingfunction s.t.

υ(x)

υ(y)≤ F (ρE (x , y)), x , y ∈ BE . (1.1)

Then any interpolating sequence (wn) for H∞υ (BE ) is hyperbolically separated.

Remark. The standard weights υα(x) = (1− ‖x‖2)α, for α ≥ 0, satisfy the

assumption with F (r) =(

41−r2

)α.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 22: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The pseudohyperbolic distance in BE

The pseudohyperbolic distance for x , y ∈ BE :

ρE (x , y) = ‖ϕx (y)‖

where ϕx is an automorphism of BE such that ϕx (x) = 0.

The sequence (zn) ⊂ BE is hyperbolically separated if ∃R > 0 such thatρ(zk , zj ) ≥ R ∀k, j .

Necessary conditions for interpolation

Theorem. Let υ be a weight and F : [0, 1)→ R+ be a continuous non decreasingfunction s.t.

υ(x)

υ(y)≤ F (ρE (x , y)), x , y ∈ BE . (1.1)

Then any interpolating sequence (wn) for H∞υ (BE ) is hyperbolically separated.

Remark. The standard weights υα(x) = (1− ‖x‖2)α, for α ≥ 0, satisfy the

assumption with F (r) =(

41−r2

)α.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 23: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The pseudohyperbolic distance in BE

The pseudohyperbolic distance for x , y ∈ BE :

ρE (x , y) = ‖ϕx (y)‖

where ϕx is an automorphism of BE such that ϕx (x) = 0.

The sequence (zn) ⊂ BE is hyperbolically separated if ∃R > 0 such thatρ(zk , zj ) ≥ R ∀k, j .

Necessary conditions for interpolation

Theorem. Let υ be a weight and F : [0, 1)→ R+ be a continuous non decreasingfunction s.t.

υ(x)

υ(y)≤ F (ρE (x , y)), x , y ∈ BE . (1.1)

Then any interpolating sequence (wn) for H∞υ (BE ) is hyperbolically separated.

Remark. The standard weights υα(x) = (1− ‖x‖2)α, for α ≥ 0, satisfy the

assumption with F (r) =(

41−r2

)α.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 24: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Remarks

Notice that:

In the one-dimensional case:

Interpolating (zn) ⊂ D for A−p is hyperbolically separated.

Hence |zn| → 1 whenn→∞.

In the infinite dimensional case (for instance E=`2):

Consider u a bounded radial weight on D and v(x) = u(‖x‖) for x ∈ BE .Consider an orthonormal sequence (en) ⊂ E and (zn) ⊂ D such that(infn |zn|)(infn u(|zn|)) > 0.

Then the sequence (znen) is interpolating for for H∞υ (BE ) by thed−homogeneous polynomial

Pd (x) =∞∑n=1

αn

u(|zn|)zdn〈x , en〉d .

If supn |zn| < 1, then limn ‖znen‖ 6= 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 25: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Remarks

Notice that:

In the one-dimensional case:

Interpolating (zn) ⊂ D for A−p is hyperbolically separated. Hence |zn| → 1 whenn→∞.

In the infinite dimensional case (for instance E=`2):

Consider u a bounded radial weight on D and v(x) = u(‖x‖) for x ∈ BE .Consider an orthonormal sequence (en) ⊂ E and (zn) ⊂ D such that(infn |zn|)(infn u(|zn|)) > 0.

Then the sequence (znen) is interpolating for for H∞υ (BE ) by thed−homogeneous polynomial

Pd (x) =∞∑n=1

αn

u(|zn|)zdn〈x , en〉d .

If supn |zn| < 1, then limn ‖znen‖ 6= 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 26: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Remarks

Notice that:

In the one-dimensional case:

Interpolating (zn) ⊂ D for A−p is hyperbolically separated. Hence |zn| → 1 whenn→∞.

In the infinite dimensional case (for instance E=`2):

Consider u a bounded radial weight on D and v(x) = u(‖x‖) for x ∈ BE .Consider an orthonormal sequence (en) ⊂ E and (zn) ⊂ D such that(infn |zn|)(infn u(|zn|)) > 0.

Then the sequence (znen) is interpolating for for H∞υ (BE )

by thed−homogeneous polynomial

Pd (x) =∞∑n=1

αn

u(|zn|)zdn〈x , en〉d .

If supn |zn| < 1, then limn ‖znen‖ 6= 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 27: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Remarks

Notice that:

In the one-dimensional case:

Interpolating (zn) ⊂ D for A−p is hyperbolically separated. Hence |zn| → 1 whenn→∞.

In the infinite dimensional case (for instance E=`2):

Consider u a bounded radial weight on D and v(x) = u(‖x‖) for x ∈ BE .Consider an orthonormal sequence (en) ⊂ E and (zn) ⊂ D such that(infn |zn|)(infn u(|zn|)) > 0.

Then the sequence (znen) is interpolating for for H∞υ (BE ) by thed−homogeneous polynomial

Pd (x) =∞∑n=1

αn

u(|zn|)zdn〈x , en〉d .

If supn |zn| < 1, then limn ‖znen‖ 6= 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 28: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences. Sufficient conditions

(Easy) sufficient conditions for a sequence to be interpolating for H∞υα (BE )

Remark [Lindstrom, Galindo, M’09]. If the sequence (wn) ⊂ BE is interpolating forH∞(BE ), then it is also linear interpolating.

Corollary. If (wn) ⊂ BE is an interpolating sequence for H∞(BE ), then it is linearinterpolating for H∞υα (BE ) for any α > 0.

Examples of linear interpolating sequences for H∞υα (BE )

1) A sequence (wn) ⊂ BE such that∏m 6=n

ρE (wm,wn) ≥ δ for some δ > 0.

2) A sequence (wn) ⊂ BE which grows exponentially to the unit sphere, that is,

1− ‖wn+1‖1− ‖wn‖

< c for some c < 1.

3) If limn→∞ ‖wn‖ = 1, there exists a subsequence (wnk ) which is linear interpolating.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 29: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences. Sufficient conditions

(Easy) sufficient conditions for a sequence to be interpolating for H∞υα (BE )

Remark [Lindstrom, Galindo, M’09]. If the sequence (wn) ⊂ BE is interpolating forH∞(BE ), then it is also linear interpolating.

Corollary. If (wn) ⊂ BE is an interpolating sequence for H∞(BE ), then it is linearinterpolating for H∞υα (BE ) for any α > 0.

Examples of linear interpolating sequences for H∞υα (BE )

1) A sequence (wn) ⊂ BE such that∏m 6=n

ρE (wm,wn) ≥ δ for some δ > 0.

2) A sequence (wn) ⊂ BE which grows exponentially to the unit sphere, that is,

1− ‖wn+1‖1− ‖wn‖

< c for some c < 1.

3) If limn→∞ ‖wn‖ = 1, there exists a subsequence (wnk ) which is linear interpolating.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 30: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences. Sufficient conditions

(Easy) sufficient conditions for a sequence to be interpolating for H∞υα (BE )

Remark [Lindstrom, Galindo, M’09]. If the sequence (wn) ⊂ BE is interpolating forH∞(BE ), then it is also linear interpolating.

Corollary. If (wn) ⊂ BE is an interpolating sequence for H∞(BE ), then it is linearinterpolating for H∞υα (BE ) for any α > 0.

Examples of linear interpolating sequences for H∞υα (BE )

1) A sequence (wn) ⊂ BE such that∏m 6=n

ρE (wm,wn) ≥ δ for some δ > 0.

2) A sequence (wn) ⊂ BE which grows exponentially to the unit sphere, that is,

1− ‖wn+1‖1− ‖wn‖

< c for some c < 1.

3) If limn→∞ ‖wn‖ = 1, there exists a subsequence (wnk ) which is linear interpolating.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 31: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences. Sufficient conditions

(Easy) sufficient conditions for a sequence to be interpolating for H∞υα (BE )

Remark [Lindstrom, Galindo, M’09]. If the sequence (wn) ⊂ BE is interpolating forH∞(BE ), then it is also linear interpolating.

Corollary. If (wn) ⊂ BE is an interpolating sequence for H∞(BE ), then it is linearinterpolating for H∞υα (BE ) for any α > 0.

Examples of linear interpolating sequences for H∞υα (BE )

1) A sequence (wn) ⊂ BE such that∏m 6=n

ρE (wm,wn) ≥ δ for some δ > 0.

2) A sequence (wn) ⊂ BE which grows exponentially to the unit sphere, that is,

1− ‖wn+1‖1− ‖wn‖

< c for some c < 1.

3) If limn→∞ ‖wn‖ = 1, there exists a subsequence (wnk ) which is linear interpolating.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 32: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences. Sufficient conditions

(Easy) sufficient conditions for a sequence to be interpolating for H∞υα (BE )

Remark [Lindstrom, Galindo, M’09]. If the sequence (wn) ⊂ BE is interpolating forH∞(BE ), then it is also linear interpolating.

Corollary. If (wn) ⊂ BE is an interpolating sequence for H∞(BE ), then it is linearinterpolating for H∞υα (BE ) for any α > 0.

Examples of linear interpolating sequences for H∞υα (BE )

1) A sequence (wn) ⊂ BE such that∏m 6=n

ρE (wm,wn) ≥ δ for some δ > 0.

2) A sequence (wn) ⊂ BE which grows exponentially to the unit sphere, that is,

1− ‖wn+1‖1− ‖wn‖

< c for some c < 1.

3) If limn→∞ ‖wn‖ = 1, there exists a subsequence (wnk ) which is linear interpolating.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 33: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sufficient conditions

Carleson measures on the unit ball BE (for E finite or infinite dimensional)

For any ξ ∈ E , ‖ξ‖ = 1 and 0 < h < 1 the Carleson window S(ξ, h) is given by

S(ξ, h) = {y ∈ BE : |1− 〈y , ξ〉| < 2h}.

If h ≥ 1, we write S(ξ, h) = BE .

Definition. Let η be a finite Borel measure on BE and β > 0. We say that η is aβ-Carleson measure whenever there exists C > 0 such that

η(S(ξ, h)) ≤ Chβ , for all ‖ξ‖ = 1 and all 0 < h < 1.

We write ‖η‖β = sup{η(S(ξ,h))

hβ: ‖ξ‖ = 1, 0 < h < 1

}.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 34: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sufficient conditions

Carleson measures on the unit ball BE (for E finite or infinite dimensional)

For any ξ ∈ E , ‖ξ‖ = 1 and 0 < h < 1 the Carleson window S(ξ, h) is given by

S(ξ, h) = {y ∈ BE : |1− 〈y , ξ〉| < 2h}.

If h ≥ 1, we write S(ξ, h) = BE .

Definition. Let η be a finite Borel measure on BE and β > 0. We say that η is aβ-Carleson measure whenever there exists C > 0 such that

η(S(ξ, h)) ≤ Chβ , for all ‖ξ‖ = 1 and all 0 < h < 1.

We write ‖η‖β = sup{η(S(ξ,h))

hβ: ‖ξ‖ = 1, 0 < h < 1

}.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 35: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sufficient conditions

Carleson measures on the unit ball BE (for E finite or infinite dimensional)

For any ξ ∈ E , ‖ξ‖ = 1 and 0 < h < 1 the Carleson window S(ξ, h) is given by

S(ξ, h) = {y ∈ BE : |1− 〈y , ξ〉| < 2h}.

If h ≥ 1, we write S(ξ, h) = BE .

Definition. Let η be a finite Borel measure on BE and β > 0. We say that η is aβ-Carleson measure whenever there exists C > 0 such that

η(S(ξ, h)) ≤ Chβ , for all ‖ξ‖ = 1 and all 0 < h < 1.

We write ‖η‖β = sup{η(S(ξ,h))

hβ: ‖ξ‖ = 1, 0 < h < 1

}.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 36: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Carleson measures II

Lemma. Let η be a finite Borel measure on BE and β > 0. Define for α > 0

Iη(α, β) = sup‖x‖<1

1

(1− ‖x‖2)β

∫BE

( |1− ‖x‖2

|1− 〈w , x〉|

)αdη(w) ∈ [0,∞].

(i) If Iη(α, β) <∞ for some α > 0, then η is a β-Carleson measure.

(ii) If η is a β-Carleson measure, then Iη(α, β) <∞ for any α > β.

Definition. Given (wn)∞n=1 ⊂ BE and γ > 0 we define

ηγ,(wn) =∞∑n=1

(1− ‖wn‖2)γδwn . (1.2)

In particular ηγ,(wn)(BE ) <∞ if and only if∑∞

n=1(1− ‖wn‖2)γ <∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 37: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Carleson measures II

Lemma. Let η be a finite Borel measure on BE and β > 0. Define for α > 0

Iη(α, β) = sup‖x‖<1

1

(1− ‖x‖2)β

∫BE

( |1− ‖x‖2

|1− 〈w , x〉|

)αdη(w) ∈ [0,∞].

(i) If Iη(α, β) <∞ for some α > 0, then η is a β-Carleson measure.

(ii) If η is a β-Carleson measure, then Iη(α, β) <∞ for any α > β.

Definition. Given (wn)∞n=1 ⊂ BE and γ > 0 we define

ηγ,(wn) =∞∑n=1

(1− ‖wn‖2)γδwn . (1.2)

In particular ηγ,(wn)(BE ) <∞ if and only if∑∞

n=1(1− ‖wn‖2)γ <∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 38: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences in Bn

Proposition [Massaneda’95] Let E = Cn and β ≥ n. We have that

ηβ,(zj ) is a β-Carleson measure if and only if K({zj}, α, β) <∞ for any 0 < α ≤ β.

For α, β > 0 and (wj ) ⊂ BE , we denote

K({wj}, α, β) = supk∈N

∑j 6=k

(1− ‖wk‖2)α(1− ‖wj‖2)β

|1− 〈wk ,wj 〉|α+β.

Remark. For any x , y ∈ BE we have

1− ρE (x , y)2 =(1− ‖x‖2)(1− ‖y‖2)

|1− 〈x , y〉|2.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 39: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences in Bn

Proposition [Massaneda’95] Let E = Cn and β ≥ n. We have that

ηβ,(zj ) is a β-Carleson measure if and only if K({zj}, α, β) <∞ for any 0 < α ≤ β.

For α, β > 0 and (wj ) ⊂ BE , we denote

K({wj}, α, β) = supk∈N

∑j 6=k

(1− ‖wk‖2)α(1− ‖wj‖2)β

|1− 〈wk ,wj 〉|α+β.

Remark. For any x , y ∈ BE we have

1− ρE (x , y)2 =(1− ‖x‖2)(1− ‖y‖2)

|1− 〈x , y〉|2.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 40: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences in Bn

Proposition [Massaneda’95] Let E = Cn and β ≥ n. We have that

ηβ,(zj ) is a β-Carleson measure if and only if K({zj}, α, β) <∞ for any 0 < α ≤ β.

For α, β > 0 and (wj ) ⊂ BE , we denote

K({wj}, α, β) = supk∈N

∑j 6=k

(1− ‖wk‖2)α(1− ‖wj‖2)β

|1− 〈wk ,wj 〉|α+β.

Remark. For any x , y ∈ BE we have

1− ρE (x , y)2 =(1− ‖x‖2)(1− ‖y‖2)

|1− 〈x , y〉|2.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 41: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences in Bn

Theorem [Massaneda ’95]. Let α > 0 and (zn) ⊂ Bn.

(i) If (zn) is interpolating for H∞vα (Bn), then

K({zj}, α, β) <∞ ∀β ≥ α with β > n

(and (zn) is hyperbolically separated).

(ii) If ∃β ≥ max{n, α} with K({zj}, α, β) < 1, then (zj ) is interpolating for H∞vα (Bn).

So...

If (zn) interpolating for H∞vα (Bn) −→ ηβ,(zj ) is β−Carleson for β ≥ α, β > n.

If ∃β ≥ n, α :ηβ,(zj ) Carleson

K({zj}, α, β) < 1

}−→ (zn) is interpolating for H∞vα (Bn).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 42: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences in Bn

Theorem [Massaneda ’95]. Let α > 0 and (zn) ⊂ Bn.

(i) If (zn) is interpolating for H∞vα (Bn), then

K({zj}, α, β) <∞ ∀β ≥ α with β > n

(and (zn) is hyperbolically separated).

(ii) If ∃β ≥ max{n, α} with K({zj}, α, β) < 1, then (zj ) is interpolating for H∞vα (Bn).

So...

If (zn) interpolating for H∞vα (Bn) −→ ηβ,(zj ) is β−Carleson for β ≥ α, β > n.

If ∃β ≥ n, α :ηβ,(zj ) Carleson

K({zj}, α, β) < 1

}−→ (zn) is interpolating for H∞vα (Bn).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 43: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 44: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 45: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 46: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 47: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 48: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 49: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Results

Remark. Replace Bn by BE −→ there exist interpolating sequences in H∞vα (BE ) whichmay have K({wj}, α, β) =∞ for any β > 0.

For instance, the sequence (znen). Considering u a bounded radial weight on D andv(x) = u(‖x‖) for x ∈ BE . Also an orthonormal sequence (en) ⊂ E and (zn) ⊂ Dsuch that (infn |zn|)(infn u(|zn|)) > 0. Take (zn) such that sup |zn| < 1.

Proposition. Let α, β > 0 and (wj ) ⊂ BE . If ηβ,(wj )is a β-Carleson then

K({wj}, α, β) <∞.

Proposition. If (zn) ⊂ Bn is hyperbolically separated, then ηβ,(wj )is a β−Carleson

measure for β > 0.

Remark. If E is infinite dimensional, ∃(wn) ⊂ BE hyperbolically separated but ηβ,(wj )

is not a β-Carleson measure for any β > 0.

In E = `2, use wj = 12ej . Then ρE (wj ,wk ) =

√7

4for k 6= j and

∑j (1− ‖wj‖2)β =∞.

Proposition. Let (wj ) ⊂ BE such that (‖wj‖) ⊂ D is a hyperbolically separatedsequence. Then ηβ,(wj )

is a β-Carleson measure for any β > 1.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 50: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Main Theorem

Let α > 0 and (wn) ⊂ BE such that ηβ,(wn) is a β-Carleson measure for some β > 0.

(i) If (wn) is hyperbolically R-separated for some R > 0 satisfying

(1− R2)α/2‖ηβ,(wj )‖β <

2α/2 − 1

2α+β,

then it is linear interpolating for H∞vα (BE ).

(ii) If K({wn}, α, β) < 1, then (wn) is linear interpolating for H∞vα (BE ).

Corollaries

1) Let α > 0. If (zk ) ⊂ Bn is hyperbolically R-separated for R close enough to 1,then it is linear interpolating for H∞vα (Bn).

2) Let α > 0 and (wk ) ⊂ BE . If the sequence (‖wk‖) is hyperbolically R-separatedfor R close enough to 1, then (wk ) is linear interpolating for H∞vα (BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 51: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Main Theorem

Let α > 0 and (wn) ⊂ BE such that ηβ,(wn) is a β-Carleson measure for some β > 0.

(i) If (wn) is hyperbolically R-separated for some R > 0 satisfying

(1− R2)α/2‖ηβ,(wj )‖β <

2α/2 − 1

2α+β,

then it is linear interpolating for H∞vα (BE ).

(ii) If K({wn}, α, β) < 1, then (wn) is linear interpolating for H∞vα (BE ).

Corollaries

1) Let α > 0. If (zk ) ⊂ Bn is hyperbolically R-separated for R close enough to 1,then it is linear interpolating for H∞vα (Bn).

2) Let α > 0 and (wk ) ⊂ BE . If the sequence (‖wk‖) is hyperbolically R-separatedfor R close enough to 1, then (wk ) is linear interpolating for H∞vα (BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 52: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Main Theorem

Let α > 0 and (wn) ⊂ BE such that ηβ,(wn) is a β-Carleson measure for some β > 0.

(i) If (wn) is hyperbolically R-separated for some R > 0 satisfying

(1− R2)α/2‖ηβ,(wj )‖β <

2α/2 − 1

2α+β,

then it is linear interpolating for H∞vα (BE ).

(ii) If K({wn}, α, β) < 1, then (wn) is linear interpolating for H∞vα (BE ).

Corollaries

1) Let α > 0. If (zk ) ⊂ Bn is hyperbolically R-separated for R close enough to 1,then it is linear interpolating for H∞vα (Bn).

2) Let α > 0 and (wk ) ⊂ BE . If the sequence (‖wk‖) is hyperbolically R-separatedfor R close enough to 1, then (wk ) is linear interpolating for H∞vα (BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 53: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Main Theorem

Let α > 0 and (wn) ⊂ BE such that ηβ,(wn) is a β-Carleson measure for some β > 0.

(i) If (wn) is hyperbolically R-separated for some R > 0 satisfying

(1− R2)α/2‖ηβ,(wj )‖β <

2α/2 − 1

2α+β,

then it is linear interpolating for H∞vα (BE ).

(ii) If K({wn}, α, β) < 1, then (wn) is linear interpolating for H∞vα (BE ).

Corollaries

1) Let α > 0. If (zk ) ⊂ Bn is hyperbolically R-separated for R close enough to 1,then it is linear interpolating for H∞vα (Bn).

2) Let α > 0 and (wk ) ⊂ BE . If the sequence (‖wk‖) is hyperbolically R-separatedfor R close enough to 1, then (wk ) is linear interpolating for H∞vα (BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 54: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sketch of the proof. Consider the linear operator S : H∞vα (BE )→ `∞ given by

S(f ) =(

(1− ‖wn‖2)αf (wn))n.

We will find a linear bounded operator Φ : `∞ → H∞vα (BE ) such that‖Id − S ◦ Φ‖ < 1.

Thus S ◦ Φ will be invertible, hence S has a right linear inverse (Φ ◦ (S ◦ Φ)−1)).

Φ((αn)

)(x) :=

∞∑n=1

αn(1− ‖wn‖2)2p−α

(1− 〈x ,wn〉)2p

for (αn) ∈ `∞ and x ∈ BE , where p = α+ β − ρ/2.

i) ‖Id − S ◦ ϕ‖ ≤ (1− R2)α/2‖ηβ,(wj )‖β 2α/2+β

1−2β−ρ< 1.

ii) ‖Id − S ◦ Φ‖ ≤ K({wn}, α, α+ 2β − ρ) < 1 if we choose β < ρ ≤ β + α. Chooseρ = β + α and we are done.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 55: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sketch of the proof. Consider the linear operator S : H∞vα (BE )→ `∞ given by

S(f ) =(

(1− ‖wn‖2)αf (wn))n.

We will find a linear bounded operator Φ : `∞ → H∞vα (BE ) such that‖Id − S ◦ Φ‖ < 1.

Thus S ◦ Φ will be invertible, hence S has a right linear inverse (Φ ◦ (S ◦ Φ)−1)).

Φ((αn)

)(x) :=

∞∑n=1

αn(1− ‖wn‖2)2p−α

(1− 〈x ,wn〉)2p

for (αn) ∈ `∞ and x ∈ BE , where p = α+ β − ρ/2.

i) ‖Id − S ◦ ϕ‖ ≤ (1− R2)α/2‖ηβ,(wj )‖β 2α/2+β

1−2β−ρ< 1.

ii) ‖Id − S ◦ Φ‖ ≤ K({wn}, α, α+ 2β − ρ) < 1 if we choose β < ρ ≤ β + α. Chooseρ = β + α and we are done.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 56: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sketch of the proof. Consider the linear operator S : H∞vα (BE )→ `∞ given by

S(f ) =(

(1− ‖wn‖2)αf (wn))n.

We will find a linear bounded operator Φ : `∞ → H∞vα (BE ) such that‖Id − S ◦ Φ‖ < 1.

Thus S ◦ Φ will be invertible, hence S has a right linear inverse (Φ ◦ (S ◦ Φ)−1)).

Φ((αn)

)(x) :=

∞∑n=1

αn(1− ‖wn‖2)2p−α

(1− 〈x ,wn〉)2p

for (αn) ∈ `∞ and x ∈ BE , where p = α+ β − ρ/2.

i) ‖Id − S ◦ ϕ‖ ≤ (1− R2)α/2‖ηβ,(wj )‖β 2α/2+β

1−2β−ρ< 1.

ii) ‖Id − S ◦ Φ‖ ≤ K({wn}, α, α+ 2β − ρ) < 1 if we choose β < ρ ≤ β + α. Chooseρ = β + α and we are done.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 57: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sketch of the proof. Consider the linear operator S : H∞vα (BE )→ `∞ given by

S(f ) =(

(1− ‖wn‖2)αf (wn))n.

We will find a linear bounded operator Φ : `∞ → H∞vα (BE ) such that‖Id − S ◦ Φ‖ < 1.

Thus S ◦ Φ will be invertible, hence S has a right linear inverse (Φ ◦ (S ◦ Φ)−1)).

Φ((αn)

)(x) :=

∞∑n=1

αn(1− ‖wn‖2)2p−α

(1− 〈x ,wn〉)2p

for (αn) ∈ `∞ and x ∈ BE , where p = α+ β − ρ/2.

i) ‖Id − S ◦ ϕ‖ ≤ (1− R2)α/2‖ηβ,(wj )‖β 2α/2+β

1−2β−ρ< 1.

ii) ‖Id − S ◦ Φ‖ ≤ K({wn}, α, α+ 2β − ρ) < 1 if we choose β < ρ ≤ β + α. Chooseρ = β + α and we are done.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 58: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Sketch of the proof. Consider the linear operator S : H∞vα (BE )→ `∞ given by

S(f ) =(

(1− ‖wn‖2)αf (wn))n.

We will find a linear bounded operator Φ : `∞ → H∞vα (BE ) such that‖Id − S ◦ Φ‖ < 1.

Thus S ◦ Φ will be invertible, hence S has a right linear inverse (Φ ◦ (S ◦ Φ)−1)).

Φ((αn)

)(x) :=

∞∑n=1

αn(1− ‖wn‖2)2p−α

(1− 〈x ,wn〉)2p

for (αn) ∈ `∞ and x ∈ BE , where p = α+ β − ρ/2.

i) ‖Id − S ◦ ϕ‖ ≤ (1− R2)α/2‖ηβ,(wj )‖β 2α/2+β

1−2β−ρ< 1.

ii) ‖Id − S ◦ Φ‖ ≤ K({wn}, α, α+ 2β − ρ) < 1 if we choose β < ρ ≤ β + α. Chooseρ = β + α and we are done.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 59: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 60: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 61: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 62: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 63: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 64: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

The Bloch space on the unit ball BE

The Bloch space B(BE ) is the set of analytic functions f : BE → C:

‖f ‖B(BE ) := supx∈BE

(1− ‖x‖2)‖∇f (x)‖ <∞.

B(BE ) with the norm ‖f ‖ := |f (0)|+ ‖f ‖B(BE ) becomes a Banach space.

Prop [Blasco, Galindo, M.’14]. we have

H∞(BE ) ⊂ B(BE ) and ‖f ‖B(BE ) ≤ ‖f ‖∞.

Theo[Blasco, Galindo, M.’14]. We consider equivalent norms- modulo theconstant functions- in B(BE ):

1) ‖f ‖inv = supϕ∈Aut(BE ) ‖f ◦ ϕ‖

‖f ◦ ϕ‖inv = ‖f ‖inv for any f ∈ B(BE ) and ϕ ∈ Aut(BE ).

2) Using the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

Alejandro Miralles Interpolating sequences for weighted spaces

Page 65: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Interpolating sequences for B(BE )

Bearing in mind the radial derivative of f at x , Rf (x) = 〈x ,∇f (x)〉:

‖f ‖R = supx∈BE

(1− ‖x‖2)|Rf (x)| <∞

A sequence (xn) ⊂ BE \ {0} is interpolating for B(BE ) if:

For any α = (αn) ∈ `∞ −→ ∃f ∈ B(BE ) : (1− ‖xn‖2)Rf (xn) = αn.

Bα(BE ) for any α > 0 if we change the weight (1− ‖z‖2) by (1− ‖z‖2)α.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 66: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 67: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 68: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 69: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 70: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 71: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Bα(BE )0 and H∞υ (BE )0

Bα(BE )0 := {f ∈ Bα(BE ) : f (0) = 0} and H∞υ (BE )0 := {f ∈ H∞υ (BE ) : f (0) = 0}.

Theorem

Let α > 0. The radial derivative mapping f ∈ Bα(BE )0 7→ Rf ∈ H∞υα (BE )0 is an ontoisometric isomorphism.

Corollary

Let α > 0. The sequence (wn) ⊂ BE \ {0} is interpolating for Bα(BE ) if and only if itis interpolating for H∞υα (BE )0.

Theorem

Let (wn) ⊂ BE \ {0}.

(i) If (wn) is interpolating for H∞(BE ), then it is also linear interpolating for Bα(BE ).

(ii) If (wn) is interpolating for Bα(BE ), it is hyperb. separated for some R > 0.

(iii) If∑∞

n=1(1− ‖wn‖2)2δwn is a 2-Carleson measure and (wn) is hyperb. separated

for some R >

√1−

(2α/2−1

2α+2‖η2,(wn)‖2

)2/α, it is linear interpolating for Bα(BE ).

Alejandro Miralles Interpolating sequences for weighted spaces

Page 72: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Example

There exist sequences (xn) ⊂ BE which are interpolating for B(BE ) but notinterpolating for H∞(BE ).

Sketch of the proof. There exists sequences which are hyperbolically separated for Rso close to 1 as we want but

∑z (1− ‖z‖2) =∞.

Consider k an even number, k ≥ 2 and circles Cn centered at 0 and radius rn = 1− 1kn

for any n ≥ 1. In each circle Cn, we take zn,j = rne2πij

kn−1 for any 0 ≤ j < kn−1.

For z,w in the sequence,

ρ(z,w) ≥ min

k − 1

k + 1,

1√1 +

(2kn−1

4k(kn−1)

)2

→ 1 when k →∞.

∞∑n=1

(1− |zn|) =∞∑k=1

kn−1(1− rn) =∞∑k=1

kn−1 1

kn=∞∑k=1

1

k=∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 73: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Example

There exist sequences (xn) ⊂ BE which are interpolating for B(BE ) but notinterpolating for H∞(BE ).

Sketch of the proof. There exists sequences which are hyperbolically separated for Rso close to 1 as we want but

∑z (1− ‖z‖2) =∞.

Consider k an even number, k ≥ 2 and circles Cn centered at 0 and radius rn = 1− 1kn

for any n ≥ 1. In each circle Cn, we take zn,j = rne2πij

kn−1 for any 0 ≤ j < kn−1.

For z,w in the sequence,

ρ(z,w) ≥ min

k − 1

k + 1,

1√1 +

(2kn−1

4k(kn−1)

)2

→ 1 when k →∞.

∞∑n=1

(1− |zn|) =∞∑k=1

kn−1(1− rn) =∞∑k=1

kn−1 1

kn=∞∑k=1

1

k=∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 74: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Example

There exist sequences (xn) ⊂ BE which are interpolating for B(BE ) but notinterpolating for H∞(BE ).

Sketch of the proof. There exists sequences which are hyperbolically separated for Rso close to 1 as we want but

∑z (1− ‖z‖2) =∞.

Consider k an even number, k ≥ 2 and circles Cn centered at 0 and radius rn = 1− 1kn

for any n ≥ 1. In each circle Cn, we take zn,j = rne2πij

kn−1 for any 0 ≤ j < kn−1.

For z,w in the sequence,

ρ(z,w) ≥ min

k − 1

k + 1,

1√1 +

(2kn−1

4k(kn−1)

)2

→ 1 when k →∞.

∞∑n=1

(1− |zn|) =∞∑k=1

kn−1(1− rn) =∞∑k=1

kn−1 1

kn=∞∑k=1

1

k=∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 75: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Example

There exist sequences (xn) ⊂ BE which are interpolating for B(BE ) but notinterpolating for H∞(BE ).

Sketch of the proof. There exists sequences which are hyperbolically separated for Rso close to 1 as we want but

∑z (1− ‖z‖2) =∞.

Consider k an even number, k ≥ 2 and circles Cn centered at 0 and radius rn = 1− 1kn

for any n ≥ 1. In each circle Cn, we take zn,j = rne2πij

kn−1 for any 0 ≤ j < kn−1.

For z,w in the sequence,

ρ(z,w) ≥ min

k − 1

k + 1,

1√1 +

(2kn−1

4k(kn−1)

)2

→ 1 when k →∞.

∞∑n=1

(1− |zn|) =∞∑k=1

kn−1(1− rn) =∞∑k=1

kn−1 1

kn=∞∑k=1

1

k=∞.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 76: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

K. R. M. Attele, Interpolating sequences for the derivatives of the Blochfunctions, Glasgow Math. J. 34 (1992), 35–41.

O. Blasco P. Galindo, M. Lindstrom and A. Miralles, Interpolating sequences forweighted spaces of analytic functions on the unit ball of a Hilbert space, Preprint.

O. Blasco, P. Galindo and A. Miralles, Bloch functions on the unit ball of aninfinite dimensional Hilbert space, J. Func. Anal. 267 (2014), 1188–1204.

P. Duren, A. Schuster and D. Vukotic, On uniformly discrete sequences in thedisk, Oper. Theory Adv. Appl. 156 Birkhauser, Basel, 2005.

P. Galindo and A. Miralles, Interpolating sequences for bounded analyticfunctions, Proc. Am. Math. Soc. 135 (10) (2007), 3225–3231.

P. Galindo, A. Miralles and M. Lindstrom, Interpolating Sequences on UniformAlgebras, Topology 48 (2009), 111-118.

K. Madigan and A. Matheson, Compact composition operators on the Blochspace, Trans. Amer. Math. Soc. 347 (1995) 2679–2687.

X. Massaneda, A−p interpolation in the unit ball, J. London. Math. Soc. 52 (2)(1995) 391-401.

K. Seip, Interpolation and sampling in spaces of analytic functions, UniversityLecture Series, 33. American Mathematical Society, Providence, RI, 2004.

Alejandro Miralles Interpolating sequences for weighted spaces

Page 77: Interpolating sequences for weighted spaces of analytic ... · Interpolating sequences for weighted spaces of analytic functions on the unit ball of a Hilbert space Alejandro Miralles

Background and resultsReferences

Thanks for your attention!

Alejandro Miralles Interpolating sequences for weighted spaces


Recommended