arxiv: v3 [math.cv] 18 May 2016

Transcription

1 SOME HILBERT SPACES RELATED WITH THE DIRICHLET SPACE NICOLA ARCOZZI, PAVEL MOZOLYAKO, KARL-MIKAEL PERFEKT, STEFAN RICHTER, AND GIULIA SARFATTI arxiv: v3 [mathcv] 8 May 206 Abstract We study the reproducing kernel Hilbert space with kernel k d, where d is a positive integer and k is the reproducing kernel of the analytic Dirichlet space Introduction Consider the Dirichlet space D on the unit disc {z C : z < } of the complex plane It can be defined as the Reproducing Kernel Hilbert Space (RKHS) having kernel k z (w) k(w,z) zw log zw (zw) n n+ We are interested in the spaces D d having kernel k d, with d N D d can be thought of in terms of function spaces on polydiscs, following ideas of Aronszajn [Aro] To explain this point of view, note that the tensor d-power D d of the Dirichlet space has reproducing kernel k d (z,,z d ;w,,w d ) Π d j k(z j,w j ) Hence, the space of restrictions of functions in D d to the diagonal z z d has the reproducing kernel k d, and therefore coincides with D d We will provide several equivalent norms for the spaces D d and their dual spaces in Theorem Then we will discuss the properties of these spaces More precisely, we will investigate: - D d and its dual space HS d in connection with Hankel operators of Hilbert-Schmidt class on the Dirichlet space D; - the complete Nevanlinna-Pick property for D d ; - the Carleson measures for these spaces Concerning the first item, the connection with Hilbert-Schmidt Hankel operators served as our original motivation for studying the spaces D d Note that the spaces D d live infinitely close to D in the scale of weighted Dirichlet spaces D s, defined by the norms ϕ 2 Ds +π π ϕ(e it ) 2 dt 2π + z < ϕ (z) 2 ( z 2 ) sda(z) π, 0 s <, where da(z) π is normalized area measure on the unit disc Notation: We use multiindex notation If n (n,,n d ) belongs to N d, then n n + +n d We write A B if A and B are quantities that depend on a certain family of variables, and there exist independent constants 0 < c < C such that ca B CA Date: August 28, 208

2 Equivalent norms for the spaces D d and their dual spaces HS d Theorem Let d be a positive integer and let a d (k) (n +)(n d +) n k Then the norm of a function ϕ(z) ϕ(k)zk in D d is ) /2 () ϕ Dd a d (k) ϕ(k) 2 [ϕ] d, where (2) [ϕ] d ) /2 k + log d (k +2) ϕ(k) 2 An equivalent Hilbert norm [ϕ] d [ϕ] d for ϕ in terms of the values of ϕ is given by /2 (3) [ϕ] d ϕ(0) 2 + ϕ (z) 2 da(z) ( D log d π z 2 ) Define now the holomorphic space HS d by the norm: ) /2 (4) ψ HSd (k +) 2 a d (k) ψ(k) 2 Then, HS d (D d ) is the dual space of D d under the duality pairing of D Moreover, ) /2 ψ HSd [ψ] HSd : (k +)log d (k +2) ψ(k) 2 (5) [ψ] HSd : ( ψ(0) 2 + Furthermore, the norm can be written as (6) ψ 2 HS d D (n,,n d ) ( ) ) /2 da(z) ψ (z) 2 log d z 2 π e n e nd,ψ D 2, where {e n } is the canonical orthonormal basis of D, e n(z) zn n+ The remainder of this section is devoted to the proof of Theorem The expression for ϕ Dd in () follows by expanding (k z ) d as a power series The equivalence ϕ Dd [ϕ] d, as well as ϕ HSd [ϕ] HSd, are consequences of the following lemma We denote by c,c positive constants which are allowed to depend on d only, whose precise value can change from line to line Lemma For each d N there are constants c,c > 0 such that for all k 0 we have ca d (k) logd (k +2) Ca d (k) k + 2

3 Consequently, if t (0,), then ( ) d c t log t log d ( ) d (k +2) t k C k + t log t Proof of Lemma We will prove the Lemma by induction on d N It is obvious for d Thus let d 2 and suppose the lemma is true for d Also we observe that there is a constant c > 0 such that for all k 0 and 0 n k we have Then for k 0 clog d 2 (k +2) log d 2 (n+2)+log d 2 (k n+2) 2log d 2 (k +2) a d (k) 2 n + +n d k k k n+ (n +)(n d +) n 2 + +n d k n log d 2 (k n+2) n+ k n+ k log d 2 (k +2) logd 2 (k +2) k +2 (n 2 +)(n d +) log d 2 (n+2)+log d 2 (k n+2) (n+)(k n+) k k (n+)(k n+) n+ + k n+ by the inductive assumption by the earlier observation logd (k +2) k + Next, we prove the equivalence [ϕ] HSd [ϕ] HSd which appears in (5) Lemma 2 Let d N Then ( ) d t k t log dt logd (k +2), k d t k + 0 Given the Lemma, we expand [ψ] 2 HS d ψ(0) ψ(k)kz k D k ψ(0) 2 + k 2 2 ψ(k) ψ(0) 2 + [ψ] 2 HS d, k k 0 log d da(z) z 2 π log d t tk dt k 2 ψ(k) 2 log d (k +2) k + 3

4 obtaining the desired conclusion Proof of Lemma 2 The case d is obvious, leaving us to consider d 2 We will also assume that k 2 Then by Lemma we have 0 ( ) d t k t log dt t 0 t k log d 2 (n+2) t n dt n+ log d 2 (n+2) (n+)(n+k +) S +S 2, where and S k log d 2 (n+2) (n+)(n+k +) k log d 2 (n+2) k+2 k + n+ k + log d (k +2) d k + log d 2 (t) dt t S 2 nk log d 2 (n+2) (n+)(n+k +) nk+ log d 2 (n+) n 2 j k j+ nk j log d 2 (n+) n 2 k j+ (j +) d 2 log d 2 k n 2 logd 2 (k +2) (j +) d 2 j nk j j k j x 2dx logd 2 (k +2) d 2 k + (j +) k + k j logd 2 (k +2) (j +) d 2 k + k + (k )k j j j logd 2 (k +2) ( (j +) d 2 3 log d ) (k +2) o k + 2 j k + j Now, thedualitybetweend d andhs d underthedualitypairinggivenbytheinner product of D is easily seen by considering [ ] d and [ ] HSd They are weighted l 2 norms and duality is established by means of the Cauchy-Schwarz inequality Next we will prove that [ϕ] d [ϕ] d This is equivalent to proving that the dual space of HS d, with respect to the Dirichlet inner product, D, is the Hilbert space with the norm [ ] d Let d N and set, for 0 < t <, w d (t) ( log d t t) and, for 0 < z <, W d (z) w d ( z 2 ) and W d (0) Lemma 3 Let d N Then ε w d (t)dt ε w d (t) dt ε2 as ε 0 4

5 Proof Write w(t) (log t )d, and note that it suffices to establish the lemma for w in place of w d Let ε > 0 Then w is increasing in (0,) and w( ε k+ ) (k +) d (log ε )d, hence ε w(t)dt k ε k+ ε k w(t)dt w( ε k+ )(ε k ε k+ ) k (k +) d (log ε )d ε k ( ε) k ε(log ε )d ( ε) d For / w we just notice that it is decreasing and hence Thus as ε 0 we have ε ε 2 w(t) dt w( ε) ε ε w(t)dt ε ε (log ε )d w(t) dt O(ε2 ) For 0 < h < and s [ π,π) let S h (e is ) be the Carleson square at e is, ie S h (e is ) {re it : h < r <, t s < h} A positive function W on the unit disc is said to satisfy the Bekollé-Bonami condition (B2) if there exists c > 0 such that WdA da ch4 S h (e is ) S h (e is ) W for every Carleson square S h (e is ) If d N and if W d (z) is defined as before, then W d da da h 2 w d (t)dt dt h4 W d w d (t) S h (e is ) S h (e is ) by Lemma 3, at least if 0 < h < /2 Observe that both W d and /W d are positive and integrable in the unit disc, hence it follows that the estimate holds for all 0 < h Thus W d satisfies the condition (B2) Furthermore, note that if f(z) ˆf(k)z k is analytic in the open unit disc, then z < h f(z) 2 w d ( z 2 ) da(z) π h w k ˆf(k) 2, where w k 0 tk w d (t)dt logd (k+2) k+ 5

6 A special case of Theorem 2 of Luecking s paper [L] says that if W satisfies the condition (B2) by Bekollé and Bonami [BB], then one has a duality between the spaces L 2 a (WdA) and L 2 a ( da) with respect to the pairing given by fgda Thus, we have W z < z < g(z) 2 z < g(z)f(z)da(z) π 2 da sup W d (z) f 0 z < f(z) 2 W d (z)da sup f 0 ĝ(k) 2 (k+) wk w k ˆf(k) w k ˆf(k) 2 (k +) 2 w k ĝ(k) 2 This finishes the proof of (5) It remains to demonstrate (6) We defer its proof to the next section By Theorem we have the following chain of inclusions: HS d+ HS d HS 2 HS D D D 2 D d D d+ with duality wrt D linking spaces with the same index It might be interesting to compare this sequence with the sequence of Banach spaces related to the Dirichlet spaces studied in [ARS2] Note that for d 3 the reproducing kernel of HS d is continuous up to the boundary Hence functions in HS d extend continuously to the closure of the unit disc, for d 3 Hilbert-Schmidt norms of Hankel-type operators Let {e n } be the canonical orthonormal basis of D, e n (z) zn n+ Equation (6) follows from the computation e n e nd,ψ 2 n k n k n k (n +) (n d +) zk,ψ 2 (n +) (n d +) zn z n d,ψ 2 n k (k +)a d (k) ˆψ(k) 2 (k +) 2 (n +) (n d +) ˆψ(k) 2 log d (k +2) ˆψ(k) 2 k + Polarizing this expression for HSd, the inner product of HS d can be written ψ,ψ 2 HSd (n,,n d ) ψ,e n e nd D e n e nd,ψ 2 D 6

7 Hence, for any λ,ζ D, k λ,k ζ HSd n N d k λ,e n e nd D e n e nd,k ζ D n N d e n (λ)e nd (λ)e n (ζ)e nd (ζ) That is, ) d e i (λ)e i (ζ) k λ (ζ) d kλ d,kd ζ D d i0 Proposition The map U : k λ k d λ extends to a unitary map HS d D d When d 2, HS 2 contains those functions b for which the Hankel operator H b : D D, defined by H b e j,e k D e j e k,b D, belongs to the Hilbert-Schmidt class Analogous interpretations can be given for d 3, but then function spaces on polydiscs are involved We consider the case d 3, which is representative Consider first the operator T b : D D D defined by Tb f,g h D D fgh,b D The formula uniquely defines an operator, whose action is T b f(z,w) T b f,k z k w D D fk z k w,b D n,m,j n,m,j w m ˆf(j) zn n+m+ ζn+m+j,b D n+m+j + ˆf(j)ˆb(n+m+j) (n+)(m+) zn w m Then, the Hilbert-Schmidt norm of T b is: Tb e l,e m e n 2 D D e l e m e n,b D 2 b 2 HS 3 l,m,n l,m,n Similarly, we can consider U b : D D D defined by Ub (f g),h D fgh,b D The action of this operator is given by U b (f g)(z) f(l)ĝ(m) (l+m+n+) b(l+m+n) z n n+ l,m, The Hilbert-Schmidt norm of U b is still b HS3 Carleson measures for the spaces D d and HS d The (B2) condition allows us to characterize the Carleson measures for the spaces D d and HS d Recall that a nonnegative Borel measure µ on the open unit disc is Carleson for the Hilbert function space H if the inequality f 2 dµ C(µ) f 2 H z < 7

8 holds with a constant C(µ) which is independent of f The characterization [ARS] shows that, since the (B2) condition holds, then Theorem 2 For d N, a measure µ 0 on { z < } is Carleson for D d if and only if for a < we have: ( ) log d ( z 2 )µ(s(z) S(a)) 2 dxdy z 2 ( z 2 ) C (µ)µ(s(a)), 2 S(a) where S(a) {z : 0 < z < a, arg(za) < a } is the Carleson box with vertex a and S(a) {z : 0 < z < 2( a ), arg(za) < 2( a )} is its dilation ( The characterization extends to HS 2, with the weight log ) Since functions in z 2 HS d are continuous for d 3, all finite measures are Carleson measures for these spaces OnceweknowtheCarlesonmeasures, wecancharacterizethemultipliersford d inastandard way The complete Nevanlinna-Pick property for D d Next, we prove that the spaces D d have the Complete Nevanlinna-Pick (CNP) Property Much research has been done on kernels with the CNP property in the past twenty years, following seminal work of Sarason and Agler See the monograph[amcc] for a comprehensive and very readable introduction to this topic We give here a definition which is simple to state, although perhaps not the most conceptual An irreducible kernel k : X X C has the CNP property if there is a positive definite function F : X D and a nowhere vanishing function δ : X C such that: k(x,y) δ(x)δ(y) F(x,y) whenever x,y lie in X The CNP property is a property of the kernel, not of the Hilbert space itself Theorem 3 There are norms on D d such that the CNP property holds Proof A kernel k : D D C of the form k(w,z) a k(zw) k has the CNP property if a 0 and the sequence {a n } is positive and log-convex: a n a n a n a n+ See [AMcC], Theorem 733 and Lemma 738 Consider η(x) αloglog(x) log(x), with real α Then, η (x) log2 (x) αlog(x) α, which is positive for x M x 2 log 2 (x) α, depending on α Let now a n logd (M d (n+)) log(m d ) (n+) n+ + logd (n+) (7) n+ Then, the sequence {a n } provides the coefficients for a kernel with the CNP property for the space D d The CNP property has a number of consequences For instance, we have that the space D d and its multiplier algebra M(D d ) have the same interpolating sequences Recall that a sequence Z {z n } is interpolating for a RKHS H with reproducing kernel kh if the 8

9 { } weighted restriction map R : ϕ ϕ(zn) k H (z n,z n) maps H boundedly onto l 2 ; while Z is /2 interpolating for the multiplier algebra M(H) if Q : ψ {ψ(z n )} maps M(H) boundedly onto l The reader is referred to [AMcC] and to the second chapter of [S] for more on this topic It is a reasonable guess that the universal interpolating sequences for D d and for its multiplier space M(D d ) are characterized by a Carleson condition and a separation condition, as described in [S] (see the Conjecture at p 33) See also [B], which contains the best known result on interpolation in general RKHS spaces with the CNP property Unfortunately we do not have an answer for the spaces D d References [AMcC] Agler, Jim; McCarthy, John E Pick interpolation and Hilbert function spaces Graduate Studies in Mathematics, 44 American Mathematical Society, Providence, RI, 2002 xx+308 pp ISBN: [ARS] Arcozzi, Nicola; Rochberg, Richard; Sawyer, Eric Carleson measures for analytic Besov spaces Rev Mat Iberoamericana 8 (2002), no 2, [ARS2] Arcozzi, N; Rochberg, R; Sawyer, E; Wick, B D Function spaces related to the Dirichlet space J Lond Math Soc (2) 83 (20), no, -8 [BB] Bekollé, David; Bonami, Aline Inégalités à poids pour le noyau de Bergman (French) C R Acad Sci Paris Sér A-B 286 (978), no 8, A775-A778 [B] Boe, Bjarte An interpolation theorem for Hilbert spaces with Nevanlinna-Pick kernel Proc Amer Math Soc 33 (2005), no 7, [Aro] Aronszajn, N Theory of reproducing kernels Trans Amer Math Soc 68, (950) [L] Luecking, Daniel H Representation and duality in weighted spaces of analytic functions Indiana Univ Math J 34 (985), no 2, Hankel operators and invariant subspaces of the Dirichlet space J Lond Math Soc (2) 9 (205), no 2, [S] Seip, Kristian Interpolation and sampling in spaces of analytic functions University Lecture Series, 33 American Mathematical Society, Providence, RI, 2004 xii+39 pp ISBN: Università di Bologna, Dipartimento di Matematica, Piazza di Porta SDonato 5, Bologna address: nicolaarcozzi@uniboit Chebyshev Lab at St Petersburg State University, 4th Line 29B, Vasilyevsky Island, StPetersburg 9978, RUSSIA address: pmzlcroak@gmailcom Department of Mathematical Sciences, Norwegian University of Science and Technology (NTNU), NO-749 Trondheim, Norway address: karl-mikaelperfekt@mathntnuno Department of Mathematics, The University of Tennessee, Knoxville, TN 37996, USA address: richter@mathutkedu Istituto Nazionale di Alta Matematica F Severi, Città Universitaria, Piazzale Aldo Moro 5, 0085 Roma and Institut de Mathématiques de Jussieu, Université Pierre et Marie Curie, 4, place Jussieu, F Paris, France address: giuliasarfatti@imj-prgfr 9