Ark. Mat., 5 (04), 3 34 DOI: 0.007/s5-0-07-x c 0 by Institut Mittag-Leffler. All rights reserved Bad boundary behavior in star-invariant subspaces I Andreas Hartmann and William T. Ross Abstract. We discuss the boundary behavior of functions in star-invariant subspaces (BH ),whereb is a Blaschke product. Extending some results of Ahern and Clark, we are particularly interested in the growth rates of functions at points of the spectrum of B where B does not admit a derivative in the sense of Carathéodory.. Introduction For a Blaschke product B with zeros {λ n } n D={z: z <}, repeated according to multiplicity, let us recall the following theorem of Ahern and Clark [] about the good non-tangential boundary behavior of functions in the model spaces (BH ) :=H BH [7] of the Hardy space H of D ([4] and[6]). Theorem.. ([]) For a Blaschke product B with zeros {λ n } n ζ T:= D, the following are equivalent: () Every f (BH ) has a non-tangential limit at ζ, i.e., (.) f(ζ):= lim f(λ) exists. λ ζ () B has an angular derivative in the sense of Carathéodory at ζ, i.e., lim B(z)=η T z ζ and lim B (z) exists. z ζ (3) The following condition holds n λ n ζ λ n <. and The first author was supported by ANR FRAB: ANR-09-BLAN-0058-0. The authors would like to thank the referee for some useful comments and a simplification.
4 Andreas Hartmann and William T. Ross (4) The family of reproducing kernels for (BH ) kλ B (z):= B(λ)B(z) λz is uniformly norm-bounded in each fixed Stolz domain { Γ α,ζ := z D : z ζ } z <α, α (, ). We point out three things here. First, the equivalence of conditions () and (3) of this theorem is a classical result of Frostman [5]. Moreover, condition () implies condition (4) by the uniform boundedness principle, while the reverse implication follows from the Banach Alaoglu theorem. Second, this theorem can be extended to characterize the existence of non-tangential boundary limits of the derivatives (up to a given order) of functions in (BH ) as well as the boundary behavior of functions in (IH ),wherei is a general inner function []. Third, there is a version of this result for various types of tangential boundary behavior of (BH ) functions ([] and[9]). Of course there is the well-known result (see e.g. [7, p. 78]) which says that every f (BH ) has an analytic continuation across the complement of the accumulation points of the zeros of B. In this paper we consider the growth of functions in (BH ) at the points ζ T where (.) fails. Thus, as in the title of this paper, we are looking at the bad boundary behavior of functions from (BH ). First observe that every function f H satisfies ( (.) f(λ) = o ), λ Γ α,ζ, λ and this growth is, in a sense, maximal. As seen in the Ahern Clark theorem, functions in (BH ) can be significantly better behaved depending on the distribution of the zeros of B. We are interested in examining Blaschke products for which the growth rates for functions in (BH ) are somewhere between the Ahern Clark situation, where every function has a non-tangential limit, and the maximal allowable growth in (.). To explain this a bit more, let ζ = and observe that ( ) B(λ) (.3) f(λ) = f,kλ B / f λ, f (BH ) and λ D. In the above, denotes the usual norm in H. So, in order to give an upper estimate of the admissible growth in a Stolz domain Γ α,, we have to control k B λ which ultimately involves getting a handle on how fast B(λ) goes to in Γ α,.
Bad boundary behavior in star-invariant subspaces I 5 Of course the subtlety occurs when lim B(z)=η T z which is implied by the Frostman condition ([3] and[5]) λ n (.4) λ n <. n Observe the power in the denominator in (.4) compared with the square in the Ahern Clark condition (.). The main results of this paper will be non-tangential growth estimates of functions in (BH ) via non-tangential growth estimates of the norms of the kernel functions. Our main results (Theorems 3., 3.6, and4.) will be estimates of the form kr B h(r), r, for some h: [0, ) R + which depends on the position of the zeros of the Blaschke product B near. This will, of course via (.3), yield the estimate f(r) h(r), f (BH ) and r. To get a handle on the sharpness of this growth estimate, we will show (Theorem 3.4) that for every ε>0, there exists an f (BH ) satisfying h(r) (.5) f(r) log +ε h(r), r. (All logarithms appearing in this paper should be understood in base.) While this estimate might not be optimal, it allows us to show that a certain sequence of reproducing kernels cannot form an unconditional sequence (see Section 5). Though a general result will be discussed in Section 4, the two basic types of Blaschke sequences {λ n } n for which we can get concise estimates of kr B, are (.6) λ n =( x n n )e i n, x n 0, which approaches very tangentially, and (.7) λ n =( θn)e iθn, 0 <θ n < and θ n <, n which approaches along an oricycle. For example, when x n =/n in (.6), we have the upper estimate (see Example 3.3()) f(r) log log r, r, for all f (BH ). This estimate is optimal in the sense of (.5).
6 Andreas Hartmann and William T. Ross Picking θ n =/n α, α>, in (.7), we have the estimate (see Example 3.7()) f(r) ( r), r /α. Compare these two results to the growth rate in (.) of a generic H function. This is the first of two papers on bad boundary behavior of (IH ) functions near a fixed point on the circle, where I is inner. In this paper we consider the case when I is a Blaschke product giving exact estimates on the norm of the reproducing kernel. The next paper will consider the case when I is a general inner function providing only upper estimates.. What can be expected We have already mentioned that every f H satisfies ( (.) f(λ) = o ), λ Γ α,ζ. λ The little-oh condition in (.) is, in a sense, sharp since one can construct suitable outer functions whose non-tangential growth gets arbitrarily close to that in (.). Contrast this with the following result which shows that functions in certain (BH ) spaces cannot reach the maximal growth in (.). Recall that a sequence Λ={λ n } n D is interpolating if { H Λ= {a n } n : n ( λ } n ) a n <, where X Λ={{f(λ n )} n :f X} for a space X of holomorphic functions on D. Proposition.. ([0]) Let B be a Blaschke product whose zeros λ n form an interpolating sequence and tend non-tangentially to. Then for {ε n } n there exists f (BH ) with f(λ n ) = ε n for all n N λn if and only if {ε n } n l. Strictly speaking this result is stated in H (and for arbitrary interpolating sequences), but since functions in BH vanish on Λ, we obviously have (BH ) Λ= H Λ. A central result in our discussion is the following lemma.
Bad boundary behavior in star-invariant subspaces I 7 Lemma.. If B is a Blaschke product with zeros λ n =r n e iθn and lim z B(z)=η T, then k B r n rn, r (0, ). λ n r (The estimate extends naturally to a Stolz angle.) Proof. Since lim z B(z)=η T, the zeros of B (after some point) cannot lie in Γ α,.thusif b λ (z)= z λ λz, then inf n b λ n (r) δ>0 and so log b λ (r) b λ n (r). Use the well-known identity to get log B(r) = log b λn (z) n n b λn (r) = ( r )( λ n ) r λ n, ( λ n )( r ) λ n r ( r ) n r n λ n r. Since B(r) whenr the latter quantity goes to 0 and so k B r = B(r) r log B(r) r rn λ n n r.
8 Andreas Hartmann and William T. Ross 3. Key examples We will prove a general growth result in Theorem 4.. But just to give a more tangible approach to the subject, let us begin by obtaining growth estimates of functions in (BH ) for Blaschke products B whose zeros are which approaches very tangentially, or λ n =( x n n )e i n, x n 0, λ n =( θ n)e iθn, 0 <θ n < and n θ n <, which (essentially) approaches along an oricycle. 3.. First class of examples Λ={λ k } k with λ k =r k e iθ k and (3.) r k = x k θk, θ k = and k N. k We will suppose that {x n } n is a sequence of positive numbers satisfying x n+ q<. x n This in particular implies that 0 x n q n n (however, in our examples below we will be essentially interested in examples for which x n 0andn ). Note that ( q ) k r k = x k θk = θ α 4 k, where α=log(4/q)>log =, so that Λ goes tangentially to. Again, we will be in particular interested in sequences with x k 0. In this situation, the faster x k decreases to zero, the more tangential the sequence Λ. The condition on {x n } n also implies that n n ( λ )= n n ( r )= x n n q ) n <, 4 n n ( and so Λ is indeed a Blaschke sequence. We will need the well-known Pythagorean-type result: If λ=re iθ, r (0, ) and ρ (0, ], then (3.) ρλ ( ρr) +θ (( ρr)+θ), ρ, r andθ 0.
Bad boundary behavior in star-invariant subspaces I 9 Observe that using (3.) and0 x k θk θ k, we get λ k ( r k ) +θk ( r k)+θ k x k θk+θ k θ k. Hence λ n λ n r n = θ n x n < θ k n n n and so condition (.4) is satisfied thus ensuring lim z B(z)=η T. Similarly, n λ n λ n x n. n In light of the Ahern Clark result (.), we will be interested in the bad behavior scenario when n x n=. Theorem 3.. For a sequence of positive numbers {x n } n with x n+ q<, x n consider the Blaschke product whose zeros are Set λ n =( x n n )e i n. σ N := N x n, n= and let ϕ 0 be continuous on R +, piecewise linear, and such that ϕ 0 (N)=σ N. Define ϕ by ) ϕ(y):=ϕ 0 (log. y Then kz B ϕ( z ), z Γ α,, and so every f (BH ) satisfies f(z) ϕ( z ), z Γ α,. The function ϕ 0 is an increasing function which is concave (convex) when {x n } n is decreasing (increasing). A direct consequence of this theorem is the following result.
0 Andreas Hartmann and William T. Ross Corollary 3.. For every concave function ψ 0 : R + R + increasing to infinity, there exists a Blaschke product B, whose zeros accumulate at, such that k B z ψ( z ), z Γ α,, where ( )) ψ(y)=ψ 0 (log, y (0, ). y Proof. It suffices to pick λ n =( x n n )e i n with x n =σ n+ σ n and σ n =ψ 0 (n). Since ψ 0 is increasing and concave, the sequence {x n } n is positive and decreasing which in particular gives x n+ /x n q<. Let ϕ 0 be the function constructed from {x n } n as in the theorem which is also concave. It is easy to see that ϕ 0 ψ 0, and the theorem allows us to conclude. Before discussing the proof, here are two concrete examples showing how the growth slows down when approaching the Ahern Clark situation, i.e., the summability of the sequence {x n } n. then Example 3.3. () If B is a Blaschke product whose zeros are λ n =( x n n )e i n, x n = n, σ N = N n= n log N and so every f (BH ) satisfies the growth condition f(r) log log r, r. () If the zeros of B are λ n =( x n n )e i n, x n = n log n, then σ N log log N and so every f (BH ) satisfies f(r) log log log r, r.
Bad boundary behavior in star-invariant subspaces I ProofofTheorem3.. We have already mentioned that 0 x n q n n. Set ρ N = N and θ k = k.using(3.) wehave ρ N λ k (θ k +( ρ N r k )) =(θ k +( ρ N ( x k θk))) =(θ k +( ρ N )+ρ N x k θk), and since by the above observation x k θk θ k when k, we get (3.3) ρ N λ k (θ k +( ρ N )). Hence x k θk rk ρ N λ k x k θk (θ k +( ρ N )) = x kθk (θ k +θ N ) θ, if k N, k (3.4) x k θk θn, if k>n, x k, if k N, kθk θn, if k>n. Thus we can split the sum in Lemma. into two parts kρ B N rk ρ N λ k x k + N x k θk. k 0 k N k N+ The first term is exactly σ N. For the second term, observe that for k N +, x k θ k = which yields k l=n+ x l+ θl+ ( q ) k N x l θl x N+ θn+ x N+ θn+ x N+ (k N) 4 N N k N+ x k θ k x N+ qx N qσ N. These estimates immediately give us the required estimate for ρ N = / N, k B ρ N σ N = ϕ 0 (N)=ϕ(ρ N ). In order to get the same estimate for z Γ α, we need the following well-known result (3.5) b λ (μ) ε< = ε +ε λz μz +ε, z D. ε
Andreas Hartmann and William T. Ross Now let z Γ α, and suppose that z >. Then there exists an N such that b z (ρ N ) = b z ( N ) δ< (where δ only depends on the opening of the Stolz angle). Hence (3.6) kz B rn λ n n z rn λ n n ρ N k ρ N, and so k B z k B ρ N σ N. Clearly σ n+ + x n+ + x n+ +q, σ n σ n x n so that σ N σ N+ σ N. Hence, by the construction of ϕ 0,wealsohave ϕ 0 (x) ϕ 0 (N)=σ N, N x N +. Taking into account that ρ N z ρ N+, we get k B z k B ρ N σ N ϕ( z ). This completes our proof. We would now like to consider the sharpness of the growth in Theorem 3.. Theorem 3.4. Suppose B is a Blaschke product whose zeros satisfy the conditions of Theorem 3.. Then for every ε>0 there exists an f (BH ) such that ϕ( z ) (3.7) f(z) log +ε ϕ( z ), z Γ α,. An immediate consequence of this result is the following corollary. Corollary 3.5. For every concave function ψ 0 : R + R + increasing to infinity, there exists a Blaschke product B whose zeros accumulate at and such that for every ε>0 there exists an f (BH ) with ψ( z ) f(z) log +ε ψ( z ), z Γ α,, where ψ(y)=ψ 0 (log(/( y))), y (0, ), while k B z ψ( z ).
Bad boundary behavior in star-invariant subspaces I 3 ProofofTheorem3.4. Functions in (BH ) behave rather nicely if the sequence Λ is interpolating. To see that Λ is interpolating, recall that x k+ sup q<. k x k Hence b rk (r k+ ) x k k x k+ (k+) x k k +x k+ = 4 x k+/x k (k+) + 4 x k+/x k + = 3. Thus the sequence of moduli is pseudo-hyperbolically separated which implies that the sequence of moduli is interpolating as will be the one spread out by the arguments, i.e., Λ. Now, since Λ is an interpolating sequence, we also know that the normalized reproducing kernels K n := k λ n k λn = λn, n N, λ n z form an unconditional basis for (BH ). This is essentially a result by Shapiro and Shields [0], see also [8, Section 3] and in particular [8, Exercise C3.3.3(c)]. Hence for every f (BH ), there is a sequence α:={α n } n l such that (3.8) f α (z):= n α n k λn (z) k λn = n α n r n r n e iθn z. We will examine this series for z=r [0, ) (it could be necessary at some point to require r r 0 >0). In what follows we will assume that α n >0. Note that the argument of rr n e iθn is positive (this is γ n in Figure ). Hence, for fixed ρ N = N,wehave f α (ρ N ) Im f α (ρ N ) = ( ) r (3.9) α n Im n ρ N r n e iθn n N n= ( ) r α n Im n. ρ N r n e iθn In order to consider the last sum appearing in (3.9), we will first show that for n N the argument of e iθn ρ N r n is uniformly close to π/ (or at least from a certain n 0 on), meaning that e iθn ρ N r n points in a direction uniformly close to the positive imaginary axis (this is actually clear from the tangential convergence
4 Andreas Hartmann and William T. Ross Figure. Angles. of the sequence). To give a little argument, set γ n =arg( ρ N r n e iθn ). Then for sufficiently big n N, tan γ n = r nρ N sin θ n r n ρ N cos θ n θ n ( x n θ n)( θ N ) ( θ n+o(θ n) ) θ n ( θ N ). Hence the argument of ρ N r n e iθn is uniformly bounded away from zero and less than π/ sothat sin arg( ρ N r n e iθn ) η>0. In particular, for n N, Im ρ N r n e iθn ρ N r n e iθn θ n +( ρ N ). θ n This implies that f α (ρ N ) N α n r n Im ρ N r n e N xn θ n α n = iθn θ n n= Let us discuss the following choice x n α n := σ n log +ε. σ n n= N α n xn. We need to show two things (i) we get the desired lower estimate in the statement of the theorem; and (ii) {α n } n l. Let us begin with the lower estimate. Observe that σ N is increasing and so n=
Bad boundary behavior in star-invariant subspaces I 5 N N xn α n xn = xn = σn log +ε σ n n= n= σn log +ε σ N N n= x n = N n= x n σn log +ε σ n σ N σn log +ε σ N = σn log +ε σ N. This proves that σn f(ρ N ) log +ε. σ N To get the desired inequality in (3.7) (i.e., replace ρ N argument used to prove (3.6). To show that {α n } n l, observe that with z Γ α, ), apply the N N αn x n = σ n log +ε = σ n n= n= N n= σ n σ n σ n log +ε σ n, where we set σ 0 = (since σ N, we can assume that σ >). Riemann sum for the integral This is a lower σn σ 0 t log +ε t dt which has a limit as N. This completes our proof. Without going into cumbersome technical details, here is another remark on the optimality of Theorem 3.4. We are interested in the following question: For which sequences ε n 0 does there exist a sequence {α n } n l such that (3.0) N α n xn = ε N σ N? n= For example, when x n (Theorem 3.4 is valid in this setting) we have σ N =N and the question becomes: For which sequences ε n 0 does there exist a sequence {α n } n l such that (3.) N α n = ε N N? n= It is possible to show that, in this case, we can take α n to be α n = ε n n εn n,
6 Andreas Hartmann and William T. Ross which, since {α n } n l, yields n ε n n = ε n <. σ n n So, for instance, if we were to choose ε n =/log α n, then we would need α> which is, in a sense, optimal in view of the preceding corollary. A crucial point in this discussion is the fact that {ε n } n is a decreasing sequence. 3.. Second class of examples In the preceding class of examples from (3.), we slowed down the growth of functions in (BH ) by controlling the tangentiality of the sequence (given by the speed of convergence to zero of x n ). Our second class of examples are of the type (3.) λ n = r n e iθn, 0 <θ n <, r n = θ n and n θ n <, where θ n can be adjusted to control the growth speed of (BH ) -functions. Asymptotically, this sequence is in the oricycle { z D: z = }. We also note that n n ( λ )= θn < n so indeed {λ n } n is a Blaschke sequence. Moreover, (3.3) n λ n λ n θn = θ n < θ n n n and so, by (.4), lim r B(r)=η T. Still further, we have λ n λ n θn θ = n n n so {λ n } n does not satisfy the hypothesis (.) of the Ahern Clark theorem. Thus we can expect bad behavior of functions from (BH ). As in (3.), we have λ k rλ k r k θ, if r θ k, k ( r) +θk = ( r) +θk θk ( r), if r>θ k.
Bad boundary behavior in star-invariant subspaces I 7 Using again Lemma., the splitting gives (3.4) kr B λ k rλ k + ( r) θk. k k:( r) θ k k:( r)>θ k Theorem 3.6. Let {σ N } N be a sequence of positive numbers strictly increasing to infinity such that (3.5) σ N+ β σ N, N N, for some β (0, ). Then there exists a sequence {θ k } k l such that kρ B N σ N, where B is the Blaschke product whose zeros are Λ={λ k } k and λ k = r k e iθ k and r k = θk. Proof. Let {σ N } N be as in the theorem and let ψ :[0, ) [0, ) be a continuous increasing function such that (3.6) ψ(n)=σ N, N N. We could, for example, choose ψ to be the continuous piecewise affine function defined at the nodes by (3.6). Since ψ is continuous and strictly increasing to infinity on [0, ), it has an inverse function ψ.set θ k = ψ (k), k N. Let us consider the first sum in (3.4) (withr=ρ N ), k:( ρ N ) θ k = k:/ N / ψ (k) = k:ψ (k) N We have to consider the second sum in (3.4), ( ρ N ) k:( ρ N )>θ k θ k = N k:ψ (k) N+ = k ψ(n) ψ (k) = N =ψ(n)=σ N. k ψ(n+) ψ (k).
8 Andreas Hartmann and William T. Ross Since σ n =ψ(n), equivalently ψ (σ n )=n, wehave (3.7) k ψ(n+) ψ (k) = β n N+ n N+ n N+ n N+ σ n+ k=σ n ψ (k) (σ n+ σ n ) ψ (σ n) n σ n+ n σ n. Now, setting u n =σ n / n, we get v n =u n+ /u n β <, from which standard arguments give (3.8) σ n n σ N N. Hence So, according to (3.4), n N+ N k ψ(n+) ψ (k) σ N. σ N + ( r) θk σ N +σ N. k:( r) θ k k:( r)>θ k }{{} kρ B N It remains to show that {θ n } n l (in order to satisfy the Frostman condition (3.3)). As in (3.7) we see that σ n+ θ k = ψ (k) = ψ (k) β k σ k σ n k σ n n which converges due do to (3.5) and the fact that β (0, ). This completes the proof. Example 3.7. Here is a list of examples on how one applies our estimates. () Let σ N = N/α, N =,,..., whereα> (this is needed for (3.5)). Then we can choose ψ(t)= t/α. Hence σ n n
Bad boundary behavior in star-invariant subspaces I 9 With this choice of arguments, we get θ k = ψ (k) = α log k = k α. k B ρ N N/α = ( ρ N ) /α, which, by similar arguments as given earlier (see the proof of Theorem 3.), can be extended to every r (0, ), i.e., f(r) ( r) /α, f (BH ). We thus obtain all power growths beyond the limiting case. () Let σ N =N α, N =,,..., whereα>0. Then we can choose ψ(t)=t α. Hence θ k = ψ (k) = k/α, and, with this choice of arguments, we get ( kρ B N N α/ = log Thus, as in the previous example, we get ρ N ) α/. ( f(r) log ) α/, f (BH ). r In the special case α= we obtain logarithmic growth. (3) Let σ N =log N, N =, 3,.... Then we can choose ψ(t)=log t. Hence θ k = ψ (k) = k. With this choice of arguments, we get, for large enough N, k B ρ N log N =loglog ρ N, and so f(r) log log r, f (BH ).
30 Andreas Hartmann and William T. Ross Figure. An example of a domain Γ N, n. 4. A general growth result for (BH ) It turns out that growth results can be phrased in terms of a more general result. In fact our first class of examples can be deduced from such a general result (see Remark 4.). We will start by introducing a growth parameter associated with a Blaschke sequence Λ={λ n } n D and a boundary point ζ T. Let us again set ρ N := N, N N. For every N N and n Z, set (4.) Γ N,ζ n := { z D : z [ )} ζ ρ N z n+, n. This is a kind of pseudo-hyperbolic annulus (see Figure ). A routine computation shows that z ζ ρz = c z cρ +cρ ζ = c( ρ ) (+cρ ). From here observe that necessarily c /( ρ ) which means that Γ N,ζ n is empty when n+ ρ N ( ρ N ) =N. We therefore assume that n N. For simplicity, we will assume from now on that ζ = and set Γ N n := Γ N, n.
Bad boundary behavior in star-invariant subspaces I 3 Figure 3. The domains Γ N n, N n, coverd. Define α N,n := #(Λ Γ N n ) (the number of points in Λ Γ N n ) along with the growth parameter σ Λ N := n Z α N,n n = n N α N,n n. For each λ Λ Γ N n we have, by definition (see (4.)), n λ ρ N λ and so, since there are α N,n points in Λ Γ N n,wehave n N n #(Λ ΓN n ) n N λ Λ Γ N n λ ρ N λ. But since {Γ N n } n N is a partition of D (see Figure 3) we get n N λ Λ Γ N n λ ρ N λ = n λ n ρ N λ n. Putting this all together we arrive at (4.) σ Λ N n λ n ρ N λ n.
3 Andreas Hartmann and William T. Ross Combine (4.) with Lemma. to get the two-sided estimate (4.3) σ Λ N k B ρ N. Note that if the zeros {λ n } n of B satisfy the Ahern Clark condition (.) then, by Theorem., the sequence { k B ρ N } N is uniformly bounded and, by (4.3), so is {σ Λ N } N. To discuss the case when {σ Λ N } N is unbounded, we will impose the mild regularity condition (4.4) 0 <m:= inf N σ Λ N+ σ Λ N M := sup N σ Λ N+ σ Λ N <. In Section 3, this condition was automatically satisfied by σ N = N k= x k. Let us associate with σn Λ the functions ϕ 0 and ϕ as in Theorem 3.. Then, from (4.3) we deduce the following result in the same way as Theorem 3.. Theorem 4.. Let Λ={λ n } n D be a Blaschke sequence with associated growth sequence σ Λ ={σ Λ N } N at ζ = satisfying (4.4) and B be the Blaschke product with zeros Λ. Then Consequently, every f (BH ) satisfies k B z ϕ( z ), z Γ α,. f(z) = f,k z ϕ( z ), z Γ α,. Remark 4.. It turns out that for the sequences discussed in Theorem 3. we have N σn Λ σ N = x k. The details are somewhat cumbersome so we will not give them here. k= 5. A final remark on unconditional bases Since a central piece of our discussion was the behavior of the reproducing kernels k B ρ N,whereB is the Blaschke product with the zero sequence discussed in Section 3 and ρ N = / N, one could ask whether or not {k B ρ N } N forms an unconditional bases (or sequence) for (BH ). To this end, let K n =k B ρ n / k B ρ n and G=( K n,k k ) n,k be the associated Gram matrix. Suppose that {K n } n were an unconditional basis (or sequence) for
Bad boundary behavior in star-invariant subspaces I 33 (BH ). In this case, it is well known (see e.g. [8, Exercise C3.3.(d)]) that G represents an isomorphism from l onto l. It follows from the unconditionality of {K n } n that every f (BH ) (or every f in the span of {K n } n ) can be written as f = f α := α n K n, α= {α n } n l, n with f α n α n <. As before we want to estimate f =f α at ρ N. Indeed, f α (ρ N )= n α n k B ρ n (ρ N ) k B ρ n = kb ρ N n α n k B ρ n,k B ρ N k B ρ n k B ρ N = kb ρ N (Gα) N, where β:=gα l After these general considerations suppose now that we were in the situation of Theorem 3.4. In particular for ε>0 there is a function f α with σn f α (ρ N ) log +ε σ N (we refer to that theorem for notation). Since by Theorem 3. we have k B ρ N σ N, we would thus have β N := f α(ρ N ) kρ B N f α(ρ N ). σn log (+ε)/ σ N However, for instance, choosing x n =/n yields σ N log N, in which case { } log (+ε)/ σ N N is obviously not in l. (Actually one can also choose x n = to get a sequence {β N } N / l.) As a result, we can conclude that in the above examples {kρ B N } N cannot be an unconditional basis for (BH ) (nor an unconditional sequence since the functions in Theorem 3.4 were constructed using the reproducing kernels, so they belong to the space spanned by {K n } n ). It should be noted that the problem of deciding whether or not a sequence of reproducing kernels forms an unconditional basis (or sequence) for a model space is a difficult problem related to the Carleson condition and the invertibility of Toeplitz operators. We do not want to go into details here, but the situation becomes even more difficult in our context where lim N B(ρ N ) =. See [8, Chapter D4] for more about this.
34 Andreas Hartmann and William T. Ross: Bad boundary behavior in star-invariant subspaces I References. Ahern, P. R. and Clark,D.N., Radial limits and invariant subspaces, Amer. J. Math. 9 (970), 33 34.. Cargo, G. T., Angular and tangential limits of Blaschke products and their successive derivatives, Canad. J. Math. 4 (96), 334 348. 3. Collingwood, E. F. and Lohwater, A. J., The Theory of Cluster Sets, Cambridge University Press, Cambridge, 966. 4. Duren, P. L., Theory of H p Spaces, Academic Press, New York, 970. 5. Frostman, O., Sur les produits de Blaschke, Kungl. Fysiografiska Sällskapets i Lund Förhandlingar (94), 69 8. 6. Garnett, J., Bounded Analytic Functions, Revised st ed., Springer, New York, 007. 7. Nikolski, N. K., Treatise on the Shift Operator, Springer, Berlin, 986. 8. Nikolski, N. K., Operators, Functions, and Systems: An Easy Reading, Amer. Math. Soc., Providence, RI, 00. 9. Protas, D., Tangential limits of functions orthogonal to invariant subspaces, Trans. Amer. Math. Soc. 66 (97), 63 7. 0. Shapiro, H. S. and Shields, A. L., On some interpolation problems for analytic functions, Amer. J. Math. 83 (96), 53 53. Andreas Hartmann Institut de Mathématiques de Bordeaux Université debordeaux 35 cours de la Libération FR-33405 Talence France hartmann@math.u-bordeaux.fr William T. Ross Department of Mathematics and Computer Science University of Richmond Richmond, VA 373 U.S.A. wross@richmond.edu Received February 8, 0 published online October 6, 0