arxiv: v1 [math.cv] 7 Nov 2018

Transcription

1 INTERMEDIATE HANKEL OPERATORS ON THE FOCK SPACE OLIVIA CONSTANTIN axiv: v1 [mathcv] 7 Nov 2018 Abtact We contuct a natual equence of middle Hankel opeato on the Fock pace, ie opeato which ae intemediate between the mall and big Hankel opeato Thee opeato ae connected with the minimal L 2 -nom olution opeato to N a well a to the polyanalytic Fock pace Keywod: middle Hankel opeato; Fock pace AMS Mathematic Subject Claification (2000): 47B35, 32A37 1 Intoduction We denote by L 2 (µ m ) the pace of quae integable function in C with epect to the meaue dµ m (z) : 1 da(z), whee m > 0 and A denote the Lebegue aea meaue π e m z 2 in C The claical Fock pace F m i given by { } F m f entie : f(z) 2 dµ m (z) <, C Fo an entie function g uch that z n g L 2 (µ m ) (n N), the big and mall Hankel opeato with ymbol ḡ ae denely defined on F m by Hḡf (I P)(ḡf), hḡf Q(ḡf), wheef i an analytic polynomial, andp andqae the othogonal pojection foml 2 (µ m ) onto F m, epectively onto F 0 m { f : f F m, f(0) 0} Given a cloed ubpace Y of L 2 (µ m ) uch that F 0 m Y (F m), we define the middle, o intemediate, Hankel opeato with ymbol ḡ by H Ȳ g f P Y(ḡf), whee f i an analytic polynomial, and P Y i the othogonal pojection fom L 2 (µ m ) onto Y Notice that, fo polynomial f, the following hold hḡf L 2 (µ m) H Ȳ g f L 2 (µ m) Hḡf L 2 (µ m) Middle Hankel opeato on Begman pace wee conideed by Janon and Rochbeg [11], a well a by Peng, Rochbeg and Wu [10], whee inteeting popetie egading Schatten clae wee tudied Thee i one notable diffeence between the behaviou of uch opeato on Begman and Fock pace Namely, in the Begman etting the big Hankel opeato i bounded if and only if the little Hankel opeato i bounded, if and only if the complex conjugate of the ymbol belong to the Bloch pace Thi make the The autho wa uppoted in pat by the FWF poject P30251-N35 1

2 2 OLIVIA CONSTANTIN chaacteiation of the boundedne of middle Hankel opeato on Begman pace tivial On the Fock pace, howeve, thee i a big gap between the cla of ymbol geneating bounded big Hankel opeato (which i the pace of polynomial of degee one) and that geneating bounded little Hankel opeato (which i the pace of the entie function f uch that f(z) e m z 2 /4 ) Thi make the tudy of middle Hankel opeato on Fock pace of inteet In thi pape we contuct in a natual way a equence of middle Hankel opeato on Fock pace, (H Y N ḡ ) N N, inceaing" in the ene that Fm 0 Y N+1 Y N Y 1 (F m ), and uch that H Y N ḡ i bounded if and only if g i a polynomial of degee le than o equal to N The opeato we conide ae vey much elated to the minimal L 2 (µ m )-nom olution opeato to the equation (1) ( ) N u f whee the above hold in the ene of ditibution and f F m It i eay to ee that, fo any polynomial f, the function zn f olve (1) and hence the olution of minimal nom i N! given by (2) u (I P F N,m)( zn N! f), wheef N,m i the kenel of( ) N inl 2 (µ m ), that i, the Fock pace of polyanalytic function of ode N, equivalently (3) F N,m pan{ z j z k : 0 j N 1, k N} L2 (µ m) Obviouly F 1,m F m Polyanalytic Fock pace and kenel appea natually in timefequency analyi a well a in the mathematical analyi of Landau level [1, 2, 6, 12] The connection between big Hankel opeato and the minimal nom olution opeato to (ie the cae N 1) wee peviouly exploited in [9, 7, 4] Inpied by (2), we intoduce the following opeato H N ḡ f (I P F N,m)(ḡf), whee f i an analytic polynomial Fo N 1 we ecove the big Hankel opeato with ymbol ḡ, which wa tudied in [3] in eveal complex vaiable The cae N 2 wa teated in [8] fo monomial ymbol Regading the boundedne and compactne of H N ḡ we pove the following Theoem 1 Let g be an entie function uch that z n g L 2 (µ m ) fo all n N Then H N ḡ extend to a bounded opeato on F m if and only if g i a polynomial of degee at mot N Moeove, HNḡ i compact if and only if g i a polynomial of degee tictly malle than N, that i, if and only if HNḡ i the zeo opeato In paticula, the above theoem how that the minimal nom olution opeato to ( ) N i (bounded but) not compact Since F 0 m (FN,m ), the opeato H N ḡ i not a middle Hankel opeato, howeve it diffe by a finite ank opeato fom the middle Hankel opeato H Y N ḡ (f) (I P S N,m)(ḡf),

3 INTERMEDIATE HANKEL OPERATORS ON THE FOCK SPACE 3 whee S N,m : pan{ z j z k : 0 j N 1, k j, k N} L2 (µ m), and Y N (S N,m ) It i eay to ee that F 0 m Y N+1 Y N Y 1 (F m ) and hence the opeato H Y N ḡ (N 1) ae middle Hankel opeato Alo, ince z n g L 2 (µ m ) (n N), the diffeence (H Y N ḡ H ḡ N)(f) P pan{ z j z k : 0 k<j, 0 j }(ḡf) ha finite ank In paticula, it follow that H Y N ḡ i bounded (compact) if and only if H ḡ N i bounded (compact), and hence we get Coollay 1 Let g be an entie function uch that z n g L 2 (µ m ) fo all n N Then H Y N ḡ extend to a bounded opeato on F m if and only if g i a polynomial of degee malle than o equal to N Moeove, H Y N ḡ i compact if and only if g i a polynomial of degee malle than N Notice that, unlike H ḡ N, the opeato HY N ḡ polynomial of degee malle than N i not identically zeo if g i a non-contant 2 Poof of the main eult Theoem 1 will follow fom the chaacteization of the boundedne and compactne of H N z fo N To thi end, we begin by explicitly computing the pojection on FN,m of the monomial z z n, fo,n N An othonomal bai of F N,m (ee eg [6]) i given by e 1 i,(z) : (+i)! m(i+1)/2 z i L i (m z 2 ), i 0, 0 N 1, e 2 j! j,k(z) : m(k+1)/2 z k L k (j+k)! j(m z 2 ), 0 j N k 1, 1 k N 1, ) x i whee L α k (x) : k ( 1)i( k+α ae the genealized Laguee polynomial Fo N 1 k i i! we obtain the tandad othonomal bai of F m : e n (z) : e 1 n,0(z) m(n+1)/2 z n, n 0 Popoition 1 Fo, n N we have P F N,m( z z n ) (+n )! m I n,,(n ) L n (m z 2 )z n if n, N+n 1 j0 0 othewie, j! (j + n)! m n I,j,( n) L n j (m z 2 ) z n if > n N +1, whee I a,b,c y a L c 0 b (y)e y dy fo a, b, c N Poof The eult follow by uing pola coodinate in P F N,m( z z n ) w w n,e 1 i, e1 i, (z)+ k1 N k 1 j0 w w n,e 2 j,k e2 j,k (z)

4 4 OLIVIA CONSTANTIN Theoem 2 Let N Then H N z extend to a bounded opeato fom F m to L 2 (µ m ) if and only of N Moeove, HN z i compact if and only if it i the zeo opeato Poof We fit notice that H N z 0 fo < N ince in thi cae z f F N,m fo any analytic polynomial f We theefoe aume that N Uing Popoition 1, a imple calculation involving pola coodinate how that fo any p, n N with p n we have H N z e p, HN z e n 0 Let u now evaluate H N z e n, HN z e n mn+1 { z z n, z z n z z n, P F N,m( z z n ) (4) (n+)! mn+1 z z n, P m F N,m( z z n ) In view of Popoition 1 we have (5) m n+1 Now z z n, P F N,m( z z n ) mn +1 I n,,n 0 m y n L n (y)e y dy ( 1) i ( +n i!(+n )! ( +n )! I n,,n z z n, L n (m z 2 )z n ( +n )! (I n,,n ) 2 ( 1) i ) (n+i)! i! ) ( 1) ( n i! } ( ) +n y i n+i e y dy 0!( +n )! by the combinatoial identity (ee elation (347) on page 27 in [5]) ( )( ) ( ) n+i n ( 1) i ( 1) i Replacing I n,,n by the above expeion in elation (5) yield m n+1 z z n, P F N,m( z z n ) 1 m! m Retuning to (4) we now deduce that H N z e n 2! { (n+)! m! [ ( +n )! ( +n )! ( ) n )( ( ) } n )( ( 1) i ( i )( ) n+i ] 2(!) [ ( ) ]2 2 n

5 INTERMEDIATE HANKEL OPERATORS ON THE FOCK SPACE 5 In view of the combinatoial identity o that H N z e n 2! {( n+ m ( n )( ) ( n+ ), fo N we get H N z e n 2! fo any n, m H N z i bounded If > N we obtain ) ( ) n+ + N which i a polynomial of degee N in n Thu ( ) } n )(! m ( )( ) n N H N z i unbounded fo > N Poof of Theoem 1 The eult fo geneal ymbol now follow fom Theoem 2 by an adaptation of the appoach in Lemma 53-5 fom [3] to ou context Refeence [1] L D Abeu and K Göchenig, Banach Gabo fame with Hemite function: polyanalytic pace fom the Heienbeg goup", Appl Anal 91 (2012), [2] L D Abeu and H G Feichtinge, Function pace of polyanalytic function", Hamonic and complex analyi and it application, 1 38, Tend Math, Bikhäue/Spinge, 2014 [3] H Bommie-Hato and E H Youfi, Hankel opeato on weighted Fock pace", Integal Equation Opeato Theoy 59 (2007), 1 17 [4] O Contantin and J Otega-Ceda, Some pectal popetie of the canonical olution opeato to on weighted Fock pace", J Math Anal Appl 377 (2011), [5] H W Gould, Combinatoial identitie - A tandadized et of table liting 500 binomial coefficient ummation", Heny W Gould, Mogantown, WVa, 1972 [6] A Haimi and H Hedenmalm, The polyanalytic Ginibe enemble", J Stat Phy 153 (2013), [7] F Halinge, The canonical olution opeato to eticted to pace of entie function", Ann Fac Sci Touloue Math (6) 11 (2002), [8] W Knich and G Schneide, Genealized Hankel opeato and the genealized olution opeato to on the Fock pace and on the Begman pace of the unit dic", Math Nach 279 (2006), [9] P Lin and R Rochbeg, Hankel opeato on the weighted Begman pace with exponential type weight", Integal Equation Opeato Theoy 21 (1995) [10] L Z Peng, R Rochbeg and Z J Wu, Othogonal polynomial and middle Hankel opeato on Begman pace", Studia Math 102 (1992), [11] S Janon and R Rochbeg, Intemediate Hankel opeato on the Begman pace", J Opeato Theoy 29 (1993), [12] N L Vailevki, Poly-Fock pace", Diffeential opeato and elated topic, Vol I (Odea, 1997), , Ope Theoy Adv Appl, 117, Bikhäue, Bael, 2000 Olivia Contantin, Faculty of Mathematic, Univeity of Vienna, Oka-Mogenten- Platz 1, 1090 Vienna, Autia adde: oliviacontantin@univieacat