arxiv: v1 [math.cv] 11 May 2018

Transcription

1 THE -COMPLEX ON THE FOCK SPACE FRIEDRICH HASLINGER arxiv: v1 [math.cv] 11 May 018 Abstract. We study certain densely defined unbounded operators on the Fock space. These are the annihilation and creation operators of quantum mechanics. In several complex variables we have the -operator and its adjoint acting on (p,0)-forms with coefficients in the Fock space. We consider the corresponding -complex and study spectral properties of the corresponding complex Laplacian = +. Finally we study a more general complex Laplacian D = DD +D D, where D is a differential operator of polynomial type, to find the canonical solutions to the inhomogeneous equations Du = α and D v = β. 1. Introduction Purpose of this paper is to consider the -complex and to use the powerful classical methods of the -complex based on the theory of unbounded densely defined operators on Hilbert spaces, see [7], [15]. The main difference to the classical theory is that the underlying Hilbert spaceisnownotanl -spacebut aclosedsubspace ofanl -space-the Fock space of entire functions A (,e z ). It is well known that the differentiation with respect to z j defines an unbounded operator on A (,e z ). We consider the operator f = f dz j, which is densely defined on A (,e z ) and maps to A 1,0(,e z ), the space of (1,0)- forms with coefficients in A (,e z ). In general, we get the -complex A (p 1,0)(,e z ) A (p,0)(,e z ) A (p+1,0)(,e z ), where 1 p n 1 and denotes the adjoint operator of. We will choose the domain dom( ) in such a way that becomes a closed operator on A (,e z ). In addition we get that the corresponding complex Laplacian p = +, with dom( p ) = {f dom( ) dom( ) : f dom( ) and f dom( )} acts as unbounded self-adjoint operator on A (p,0) (Cn,e z ). We point out that in this case the 010 Mathematics Subject Classification. Primary 30H0, 3A36, 3W50 ; Secondary 47B38. Key words and phrases. -complex, Fock space, spectrum. Partially supported by the Austrian Science Fund (FWF) project P

2 complex Laplacian is a differential operator of order one. Nevertheless we can use the general features of a Laplacian for these differential operators of order one. Using an estimate which is analogous to the basic estimate for the -complex, we obtain that p has a bounded invers Ñp : A (p,0) (Cn,e z ) A (p,0) (Cn,e z ) and we show that Ñp is even compact. In addition we compute the spectrum of p. The inspiration for this comes from quantum mechanics, where the annihilation operator a j can be represented by the differentiation with respect to z j on A (,e z ) and its adjoint, the creation operator a j, by the multiplication by z j, both operators being unbounded densely defined, see [5], [4]. One can show that A (,e z ) with this action of the a j and a j is an irreducible representation M of the Heisenberg group, by the Stonevon Neumann theorem it is the only one up to unitary equivalence. Physically M can be thought of as the Hilbert space of a harmonic oscillator with n degrees of freedom and Hamiltonian operator H = 1 (P j +Q j ) = 1 (a j a j +a j a j ). In the second part we consider a general plurisubharmonic weight function : R and the corresponding weighted space of entire functions A (,e ). The -complex has now the form A (p 1,0)(,e ) A (p,0)(,e ) A (p+1,0)(,e ), where 1 p n 1. Finally we prove a formula which is analogous to the Kohn-Morrey formula for the classical -complex, see [7], [15] or [1]. We will show that u + u = u j z k e dλ+ z k u j u k e dλ+t, for u dom( ) dom( ), where the term T is non-positive. Finally we investigate operators of the Du = n p j(u)dz j, where u A (,e z ) and p j (,..., z n ) are polynomial differential operators with constant coefficients. Differential operators of polynomial type on the Fock space were also investigated by J.D. Newman and H. Shapiro in [11] and [1] and by H. Render [13] in the real analytic setting. Replacing by D one gets a corresponding complex Laplacian D = DD +D D, for which one can use duality and the machinery of the -Neumann operator ([8], [9]) in order to prove existence and boundedness of the inverse to D and to find the canonical solutions to the inhomogeneous equations Du = α and D v = β.

3 . The Fock space We consider the Fock space A (,e z ) consisting of all entire functions f such that f = f(z) e z dλ(z) <. It is clear, that the Fock space is a Hilbert space with the inner product (f,g) = f(z)g(z)e z dλ(z). Setting n = 1, we obtain for f A (C,e z ) that f(z) 1 e w / f(w) e w / dλ(w) πr D r(z) 1 ( ) 1/ ( e w dλ(w) f(w) e w dλ(w) πr D r(z) D r(z) ( ) 1/ C f(w) e w dλ(w) C C f, where C is a constant only depending on z. In addition, for each compact subset L of C there exists a constant C L > 0 such that (.1) sup f(z) C L f, z L for all f A (C,e z ). For several variables one immediately gets an analogous estimate. This implies that the Fock space A (,e z ) has the reproducing property. The monomials {z α } constitute an orthogonal basis, where α = (α 1,...,α n ) N n 0 is a multiindex, and the norms of the monomials are z α = C z 1 α 1 e z 1 dλ(z 1 ) = (π) n r α1+1 e r dr 0 = π n α 1!...α n!. z n αn e zn dλ(z n ) C 0 r αn+1 e r dr It follows that each function f A (,e z ) can be written in the form ) 1/ f = α f α α, where (.) α (z) = zα πn α! and α! = α 1!...α n!. and α f α < 3

4 Hence the Bergman kernel of A (,e z ) is of the form (.3) K(z,w) = z α w α z α = 1 z α w α π n α α 1!...α n! = 1 π exp(z 1w n 1 + +z n w n ). k=0 α =k See [17] for an extensive study of the Fock space. We point out that the space A (C,e z ) serves for a representation of the states in quantum mechanics (see [4]), where is the annihilation operator and a(f) = df dz a (f) = zf is the creation operator, both of them being densely defined unbounded operators on A (C,e z ). The span of the finite linear combinations of the basis functions α is dense in A (C,e z ). Hence both operators a and a are densely defined. The function k (z) F(z) = A (C,e z ), k(k 1) but and but k= F (z) = G(z) = zg(z) = k=1 k=0 k=1 k (z) k / A (C,e z ), k (z) k +1 A (C,e z ), k (z) k / A (C,e z ), hence both operators a and a are unbounded operators on A (C,e z ). But taking a primitive of a function f A (C,e z ) yields a bounded operator let T : A (C,e z ) A (C,e z ); Then the function f(z) = k=0 f k z k π k!, f k <. k=0 h(z) = k=0 f k z k+1 π k +1 (k +1)! 4

5 defines a primitive of f and we can write 1 T(f) = h = (f, k ) k, k! k=1 where k = k 1 and the constant term in the Taylor series expansion of the primitive is always 0. This implies immediately that T is even a compact operator. This is also a special result from the theory of Volterra-type integration operators on the Fock space of the form see []. T g f(z) = z Next we define the domain of the operator a to be 0 fg dζ, dom(a) = {f A (C,e z ) : f A (C,e z )}. Then dom(a ) consists of all functions g dom(a) such that the densely defined linear functional L(f) = (a(f),g) is continuous on dom(a). This implies that there exists a function h A (C,e z ), such that L(f) = (a(f),g) = (f,h). Next we show that dom(a ) = {g A (C,e z ) : zg A (C,e z )}. Let f dom(a) and g dom(a ). Then df(z) (a(f),g) = dλ(z) C dz g(z)e z = f(z) d C dz (g(z)e z )dλ(z) = f(z)zg(z)e z dλ(z) C = (f,a (g)), where we used integration by parts in the first step (see (3.3) for a detailed proof) and that d dz (g(z)e z ) = g(z)( ze z ). An alternative proof uses Taylor series expansion: let f(z) = f k k (z) and g(z) = g k k (z), k=0 where (f k ) k,(g k ) k l. Then we have (a(f),g) = k +1fk+1 g k = (f,a (g)). k=0 Remark.1. (a) We point out that the commutator satisfies [a,a ] = I, which is of importance in quantum mechanics, see [4]. (b) For f dom(a) dom(a ) we get from the last results that (.4) a(f) + a (f) = a(f) + f. k=0 5

6 Lemma.. The operators a and a are densely defined operators on A (C,e z ) with closed graph. Proof. By general properties of unbounded operators, it suffices to prove the assertion for a (see [7] or [16]). Let (f j ) j be a sequence in dom(a) such that lim j f j = f and lim j a(f j ) = g. We have to show that f dom(a) and a(f) = g. By (.1) it follows that (f j ) j converges uniformly on each compact subset of C to f and the same is true for the derivatives lim j f j = f. This implies that f = a(f) = g. We supposed that g A (C,e z ) and we know that taking primitives does not leave A (C,e z ). Therefore we get that f dom(a), which proves the assertion. For the rest of this section we consider the Fock space in several variables with the weight (z) = z z n. We will denote the derivative with respect to z by and in the following we will consider the -complex for the Fock space in several variables A (p 1,0) (Cn,e z ) A (p,0) (Cn,e z ) A (p+1,0) (Cn,e z ), wherea (p,0) (Cn,e z )denotesthehilbertspaceof(p,0)-formswithcoefficientsina (,e z ), and f = f J dz j dz J for a (p,0)-form f = f J dz J with summation over increasing multiindices J = (j 1,...,j p ), 1 p n 1; and we take dom( ) = {f A (p,0) (Cn,e z ) : f A (p+1,0) (Cn,e z )}. Now let p = +, with dom( p ) = {f dom( ) dom( ) : f dom( ) and f dom( )}. Then p acts as unbounded self-adjoint operator on A (p,0) (Cn,e z ), see [7]. Remark.3. (a) It is pointed out that a (1,0)-form g = n g jdz j with holomorphic coefficients is invariant under the pull back by a holomorphic map F = (F 1,...,F n ) :. We have ( ) F F l g = g l df l = g l dz j, where we used the fact that l=1 df l = F l + F l = The expressions F l are holomorphic. F l dz j + l=1 F l dz j = F l dz j. 6

7 (b) For p = 0 and a function f dom( 0 ) we have 0 f = f f = z j. If 1 p n 1 and f = f J dz J dom( p ) is a (p,0)-form, we have (.5) p f = f J ( z k +pf J )dz J. z k k=1 For p = n and a (n,0)-form F dom( n ) (here we identify the (n,0)-form with a function), we have n F = F F = z j +nf. Before we continue the study of the box operator p, we collect some facts about Fock spaces with more general weights. 3. Generalized Fock spaces Let : R be a plurisubharmonic C function. Let A (,e ) = {f : C entire : f = f e dλ < }, with inner product (f,g) = f ge dλ. It is easily seen that A (,e ) is a Hilbert space with the reproducing property. Hence it hasareproducing kernel K (z,w) (Bergmankernel) which has thefollowing properties: K (w,z) = K (z,w), the function z K (z,w) belongs to A (,e ) and f(z) = K (z,w)f(w)e (w) dλ(w), for each f A (,e ). The Bergman projection P : L (,e ) A (,e ) can be written in the form P F(z) = K (z,w)f(w)e (w) dλ(w), for F L (,e ). Remark 3.1. We indicate that A (,e ) is infinite dimensional, if the lowest eigenvalue µ of the Levi matrix ( ) n z k 7

8 satisfies lim z z µ (z) = +, see [14] or [7]. We study the -complex A (p 1,0)(,e ) A (p,0)(,e ) A (p+1,0)(,e ), wherea (p,0) (Cn,e )denotesthehilbertspaceof(p,0)-formswithcoefficientsina (,e ), and f = f J dz j dz J for a (p,0)-form f = f J dz J with summation over increasing multiindices J = (j 1,...,j p ), 1 p n 1; and we take dom( ) = {f A (p,0)(,e ) : f A (p+1,0)(,e )}. The adjoint operator to depends on the weight: dom( ) = {g A (p+1,0)(,e ) : f ( f,g) is continuous ondom( )}. We use the Gauß Green Theorem in order to compute the adjoint. Let Ω = {z : r(z) < 0}, where r is a real valued C 1 -function with z r := ( r,..., r z n ) 0 on bω = {z : r(z) = 0}. Without loss of generality we can suppose that z r = r = 1 on bω. For u,v C (Ω) and (u,v) = u(z)v(z) dλ(z). The Gauß Green Theorem implies that ( ) ( u (3.1),v = u, v ) + z k z k Ω bω u(z)v(z) r z k (z)dσ(z), where dσ is the surface measure on bω. In our case we have holomorphic components f J and g jj and the inner product ( ) fj f J,g jj = g jj e dλ. C z n j z R Now let Ω = {z : z < R} and take r(z) = z R and apply (3.1) to get R f J (3.) g jj e dλ f J g jj e z j dλ = f J g jj R e dσ. z R By Cauchy-Schwarz we get z j f J g jj R e dσ z =R z =R f J e dσ z =R z =R g jj e dσ, 8

9 and as f J = f J e dλ = 0 R n 1 z =R f J e dσdr < therighthandsideof (3.)tendstozeroasRtendsto.Soweobtainforthecomponents of the (p,0)-form f and the (p+1,0)-form g ( ) ( fj,g jj = f J, ) g jj ( = P (f J ), ) g jj ( = f J,P ( ) g jj ) where we used the fact that the components f J are holomorphic. Hence we obtain (3.3) u = P ( u jk )dz K, K =p 1 for a (p,0)-form u dom( ). Similar to Lemma. one shows that : dom( ) A (p+1,0) (Cn,e ) has closed graph. Now let = +, with dom( ) = {f dom( ) dom( ) : f dom( ) and f dom( )}. Then acts as unbounded self-adjoint operator on A (p,0) (Cn,e ), see [1], [7], [15]. In the following we prove an identity which is analogous to the Kohn-Morrey formula for the -complex (see [15], [7]). Now an additional non-positive term appears, which vanishes for the weighted -complex. Theorem 3.. Let u = n u jdz j A (1,0) (Cn,e ) and suppose that u dom( ) dom( ). Then u + u = u j C z n k e dλ+ u j u k e dλ C z n k ( u j P ( u j ), ) u k z k Proof. We get since that u = j<k u + u = ( uj u ) k dz j dz k and z k z u = j j<k u j u k z k e dλ+,. P ( u j ) P ( u j )P ( z k u k )e dλ 9

10 = = u j z k e dλ+ u j z k e dλ+ ( P ( u j )P ( u k ) u ) j u k e dλ z k z k where we used the fact that for f,g A (,e ) we have ( ) ( f,g = f,p ( ) g) z k z k [,P ] u j u k e dλ, z k and hence ([,P ] ) ( u j,u k = P ( u j ),P ( ) ( uj u k ), u ) k. z k z k z k Since we have ([ (3.4),P ] ) u j,u k z k and we have ([ ],P ( ) u j ),u k z k so we get the desired result. Remark 3.3. The last term = = = ([ ],P ( ) ( ) u j ),u k + u j,u k z k z k ( P ( u j ),P ( ) ( u k ) u j, ) u k z k z k ( P ( u j ) u j, ) u k, z k ( u j P ( u j ), ) u k z k vanishes for (z) = z z n, and we obtain (3.5) u + u = u j z k e z dλ+ If n = 1 and u is a (1,0)-form, we have u = 0 and u + u = u = u + u. u j e z dλ Theorem 3.4. The last term in Theorem 3. ( u j P ( u j ), ) u k z k is always non-negative; we have ( u j P ( u j ), ) u k z k 10

11 = ([, ] ) u j,u k z k ([,P ] ) u j,u k z k = R v 1 + +R v n = V P V, where R denotes the orthogonal projection R = I P and V = v j = u j. Proof. Since ([, ] ) u j,u k = z k z k u j u k e dλ, we get from (3.4) that which equals ([, ] ) u j,u k z k = ([,P ] ) u j,u k z k ([ ],P ( ) u j ),u k, z k ( u j P ( u j ), ) u k, z k by the last computation in the proof of Theorem 3.. This term can be written in the form (R v j,v k ) = (R v j,r v k ) = (R v 1 + +R v n,r v 1 + +R v n ) = R v 1 + +R v n = V P V, and we are done. Remark 3.5. Notice that for u = n u jdz j dom( ) dom( ) we have (3.6) u j z k = u j z k z k z k u j e dλ. 11

12 This follows from u j z k = (P ( u j ),u j ) = ( u j ),u j ) = ( u j, u j ) z k z k z k z k z k z k = (u j, ( u j e )) z k z k = (u j, u j ) +(u j, u j ) z k z k z k z k = u j z k u j e dλ, z k z k where we used again that the components u j are holomorphic. Now we generalize Theorem 3. for (p,0)-forms u = u J dz J with coefficients in A (,e ) where 1 p n 1. We notice that and We obtain u = u = u + u = K =p 1 J = M =p + K =p 1 u J dz j dz J, P ( u jk )dz K. ǫ km jj u J u M e dλ C z n j z k P ( u jk )P ( z k u kk )e dλ, where ǫ km jj = 0 if j J or k M or if k M j J, and equals the sign of the permutation ( ) km jj otherwise. The right-hand side of the last formula can be rewritten as (3.7) u J + K =p 1 ( P ( u jk )P ( u kk ) u ) jk u kk e dλ, z k z k In order to prove this we first consider the (nonzero) terms where j = k (and hence M = J). These terms result in the portion of the first sum in (3.7) where j / J. On the other hand, when j k, then j M and k J, and deletion of j from M and k from J results in the strictly increasing multi-index K of length p 1. Consequently, these terms can be collected into the second sum in (3.7) (in the part with the minus sign, we have interchanged the summation indices j and k). In this sum, the terms where j = k compensate for the terms in the first sum where j J. Now one can use the same reasoning as in the last proof to get (3.8) u + u = u J + K =p 1 z k u jk u kk e dλ 1

13 K =p 1 ( u jk P ( u jk ), ) u kk. z k Remark 3.6. For (z) = z z n we obtain (3.9) u + u = u J +p u J e z dλ. 4. The -Neumann operator on the Fock space As an immediate consequence of (3.5) and (3.9) we get what is called the basic estimates. Lemma 4.1. Let 1 p n 1 and let u = u J dz J A (p,0) (Cn,e z ) and suppose that u dom( ) dom( ). Then (4.1) u 1 p ( u + u ). The proof of the last results follows easily from the corresponding results for general Fock spaces, see Theorem 3. and (3.9). Now we can use the machinery of the classical -Neumann operator to show the following results. Lemma 4.. Both operators and have closed range. If we endow dom( ) dom( ) with the graph-norm ( f + f ) 1/, the dense subspace dom( ) dom( ) of A (p,0) (Cn,e z ) becomes a Hilbert space. Proof. We notice that ker = (im ), which implies that (ker ) = im ker. If u ker ker, we have by (4.1) that u = 0. Hence (4.) (ker ) = ker. If u dom( ) (ker ), then u ker, and (4.1) implies u 1 p u. Now we can use general results of unbounded operators on Hilbert spaces (see for instance [7] Chapter 4) to show that im and im are closed. The last assertion follows again by (4.1), see [7] Chapter 4. The next result describes the implication of the basic estimates (4.1) for the -operator. 13

14 Theorem 4.3. The operator : dom( ) A (p,0) (Cn,e z ) is bijective and has a bounded inverse Ñ : A (p,0) (Cn,e z ) dom( ). In addition (4.3) Ñu 1 p u, for each u A (p,0) (Cn,e z ). Proof. Since ( u,u) = u + u, it follows that for a convergent sequence ( u n ) n we get u n u m u n u m ( (u n u m ),u n u m ) u n u m, which implies that (u n ) n is convergent and since is a closed operator we obtain that has closed range. If u = 0, we get u = 0 and u = 0 and by (4.1) that u = 0, hence is injective. Using again general results on unbounded operators on Hilbert spaces we get that the range of is dense, therefore is surjective. We showed that : dom( ) A (p,0)(,e z ) is bijective and therefore has a bounded inverse Ñ : A (p,0) (Cn,e z ) dom( ). For u A (p,0) (Cn,e z ) we use (4.1) for Ñu to obtain Ñu 1 p ( Ñu + Ñu ) = 1 (( Ñu,Ñu)+( Ñu,Ñu)) p = 1 p (u,ñu) 1 p u Ñu, which implies (4.3). Following the classical -Neumann calculus we obtain Theorem 4.4. Let Ñp denote the inverse of on A (p,0) (Cn,e z ). Then (4.4) Ñ p+1 = Ñp, on dom( ) and (4.5) Ñ p 1 = Ñ p, on dom( ). In addition we have that Ñ p is zero on (ker ). 14

15 Proof. For u dom( ) we have u = Ñpu and Ñ p+1 u = Ñp+1 Ñpu = Ñp+1( + ) Ñpu = Ñpu, which proves (5.4). In a similar way we get (4.5). Now let k (ker ) and u dom( ), then ( Ñ p k,u) = (Ñpk, u) = (k,ñp u) = (k, Ñp 1u) = 0, since Ñp 1u ker( ), which gives Ñ q k = 0. Now we can also prove a solution formula for the equation u = α, where α is a given (p,0)-form in A (p,0) (Cn,e z ) with α = 0. Theorem 4.5. Let α A (p,0) (Cn,e z ) with α = 0. Then u 0 = Ñ p α is the canonical solution of u = α, this means u 0 = α and u 0 (ker ) = im, and (4.6) Ñ p α p 1/ α. Proof. For α A (p,0) (Cn,e z ) with α = 0 we get (4.7) α = Ñ p α+ Ñpα. If we apply to the last equality we obtain: 0 = α = Ñpα, and since Ñpα dom( ) we have (4.8) 0 = ( Ñpα, Ñpα) = ( Ñpα, Ñpα) = Ñpα. Finally we set u 0 = Ñ p α and derive from (4.7) and (4.8) that for α = 0 α = u 0, and we see that u 0 ker, since for h ker we get (u 0,h) = ( Ñ p α,h) = (Ñpα, h) = 0. It follows that Ñ p α = ( Ñ p α,ñpα) = ( Ñ p α,ñpα)+( Ñpα,Ñpα) = (α,ñpα) α Ñpα and using (4.3) we obtain Ñ p α p 1/ α. Now we discuss a different approach to the operator Ñ which is related to the quadratic form Q(u,v) = ( u, v)+( u, v). 15

16 For this purpose we consider the embedding ι : dom( ) dom( ) A (p,0) (Cn,e z ), where dom( ) dom( ) is endowed with the graph-norm u ( u + u ) 1/. The graph-norm stems from the inner product Q(u,v) = (u,v) Q = ( u,v) = ( u, v)+( u, v). The basic estimates (4.1) imply that ι is a bounded operator with operator norm ι 1 p. By (4.1) it follows in addition that dom( ) dom( ) endowed with the graph-norm u ( u + u ) 1/ is a Hilbert space, see Lemma 4.. Since (u,v) = (u,ιv), we have that (u,v) = (ι u,v) Q. For u A (p,0) (Cn,e z ) and v dom( ) dom( ) we get (4.9) (u,v) = ( Ñu,v) = (( + )Ñu,v) = ( Ñu, v)+( Ñu, v). Equation (4.9) suggests that as an operator to dom( ) dom( ), Ñ coincides with ι and as an operator to A (p,0) (Cn,e z ), Ñ is equal to ι ι, see [7] or [15] for the details. Hence Ñ is compact if and only if the embedding ι : dom( ) dom( ) A (p,0) (Cn,e z ), is compact. This will be used to prove the following theorem. Theorem 4.6. The operator Ñ : A (p,0) (Cn,e z ) A (p,0) (Cn,e z ), 1 p n, is compact. Proof. First we consider the case when p = 1. We use (3.5) for the graph norm on dom( ) dom( ) and indicate that it suffices to consider one component u j of the (1,0)-form u. For this purpose we will denote u j by f. We have to handle k=1 f z k e z dλ+ f e z dλ forthegraph-norm. Weusethecompleteorthonormalsystem(.)( α ) α ofa (,e z ). Let f = α f α α be an element of dom( ) dom( ). We have ι(f) = f and hence ι(f) = α (f, α ) α in A (,e z ). The basis elements α are normalized in A (,e z ). First we have to compute the graph-norm of the basis elements α. Notice that α z k = 1 π n z α 1 1 α1!... z α k 1 k 1 αk 1! α k z α k 1 k αk! z α k+1 k+1 αk+1!... zn αn = α k (αk 1), αn! 16

17 where (αk 1) = (α 1,...α k 1,α k 1,α k+1,...,α n ). Hence the graph-norm of the basis elements α equals α Q = ( α + α ) 1/ = 1+ α, z k where α = α 1 + +α n. Now let k=1 ψ α = k=1 α 1+ α. Then (ψ α ) α constitutes a complete orthonormal system in the Hilbert space dom( ) dom( ) endowed with the graph-norm, notice that (f,ψ α ) Q = ( f ψ α α k 1, )+(f,ψ α ) = f α + f α = 1+ α f α, z k z k 1+ α 1+ α and we have k=1 ι(f) = f = α For the norm of A (,e z ) we have ι(f) (f,ψ α ) Q ψ α = α N (f,ψ α ) Q ψ α. α N+1 = = α N+1 α N+1 f Q N +, (f,ψ α ) Q ψ α 1 1+ α (f,ψ α ) Q α 1 (f,ψ α ) Q 1+ α where we finally used Bessel s inequality for the Hilbert space dom( ) dom( ) endowed with the graph-norm. This proves that ι : dom( ) dom( ) A (1,0) (Cn,e z ) is a compact operator and the same is true for Ñ : A (1,0) (Cn,e z ) A (1,0) (Cn,e z ). For arbitrary p between 1 and n we can use (3.9) and the same reasoning as before to get the desired conclusion. Compare with the -Neumann operator N on L (,e z ) : in this case N fails to be compact, see [7]. This is related to the fact that the kernel of is large (it is the Fock space) in case of the -complex, but the kernel of consists just of the constant functions in case of the -complex on the Fock space. In order to compute the spectrum of the operator p we will use the following 17

18 Lemma 4.7. Let A be a symmetric operator on a Hilbert space H with domain dom(a), and suppose that (x k ) k is a complete orthonormal system in H. If each x k lies in dom(a), and there exist λ k R such that Ax k = λ k x k for every k N, then A is essentially self-adjoint and the spectrum of A is the closure in R of the set of all λ k. See [3] or [7]. Theorem 4.8. The spectrum of p, where 0 p n, consists of all numbers m+p for m = 0,1,,..., where m+p has multiplicity ( )( n+m 1 n ) n 1 p. Proof. Recall that the monomials ( α ) α, where α = (α 1,...,α n ) N n 0 is a multiindex, constitute a complete orthonormal system in A (,e z ). We use (.5) and compute α z k +p α = ( α +p) α. z k k=1 We use Lemma 4.7 and indicate that there are ( ) n+ α 1 n 1 monomials of degree α. Hence we getthe assertionaboutthemultiplicity fromthefact thata (p,0) (Cn,e z )is thedirect sum of ( n p) copies of A (,e z ). The last result implies also that the inverse Ñp of p is a compact operator with the eigenvalues 1/(m+p). Note that the complex Laplacian q of the -complex on L (,e z ) has also the eigenvalues q + m for m = 0,1,,..., but each of them have infinite multiplicity, see [10],[6], [7]. 5. The general -complex Now we return to the classical Fock space but replace a single derivative with respect to z j by a differential operator of the formp j (,..., z n ), where p j is a complex polynomial on, see [11], [1]. We consider the densely defined operators (5.1) Du = p j (u)dz j, where u A (,e z ) and p j (,..., z n ) are polynomial differential operators with constant coefficients. More general we define (5.) Du = p k (u J )dz k dz J, k=1 18

19 where u = u J dz j is a (p,0)-form with coefficients in A (,e z ). It is clear that D = 0 and that we have (5.3) (Du,v) = (u,d v), where u dom(d) = {u A (p,0) (Cn,e z ) : Du A (p+1,0) (Cn,e z )} and D v = K =p 1 p j v jkdz K for v = v J dz J and where p j (z 1,...,z n ) is the polynomial p j with complex conjugate coefficients, taken as multiplication operator. Now the corresponding D-complex has the form A (p 1,0) (Cn,e z ) D A (p,0) (Cn,e z D ) A (p+1,0) (Cn,e z ). D D In the sequel we consider the generalized box operator D,p := D D +DD as a densely defined self-adjoint operator on A (p,0) (Cn,e z ) with dom( D,p ) = {f dom(d) dom(d ) : Df dom(d ) and D f dom(d)}. We want to find conditions under which D,1 has a bounded inverse. For this purpose we have to consider the graph norm ( Du + D u ) 1/ on dom(d) dom(d ). Theorem 5.1. Let u = n u jdz j dom(d) dom(d ) and suppose that there exists a constant C > 0 such that (5.4) u C ([p k,p j ]u j,u k ). Then (5.5) u C( Du + D u ). Proof. First we have hence Du + D u = = Du = j<k(p k (u j ) p j (u k ))dz j dz k and D u = j<k p k (u j ) p j (u k ) e z dλ+ p j u j, p ju j p k u ke z dλ p k (u j ) e z dλ+ (p j u jp k u k p k (u j )p j (u k ))e z dλ = p k (u j ) e z dλ+ [p k,p j ]u ju k e z dλ, where we used (5.3). Now the assumption (5.4) implies the desired result. 19

20 Let 1 p n 1 and let u = u J dz J A (p,0) (Cn,e z ) and suppose that u dom(d) dom(d ). In a similar way as in (3.8) we get (5.6) Du + D u = p k (u J ) + [p k,p j]u jk u kk e z dλ, and if we suppose that k=1 (5.7) u C K =p 1 K =p 1 ([p k,p j]u jk,u kk ) we get the basic estimate (5.5), which also implies that both imd and imd are closed, see for instance [7], Chapter 4. With the basic estimate (5.5) we are now able to use the machinery of the corresponding Neumann operator - the bounded inverse of D,p - (see Theorem 4.3 and Theorem 4.5) and get the following results Theorem 5.. Let D be as in (5.) and suppose that u C ([p k,p j ]u jk,u kk ), K =p 1 for all u dom(d) dom(d ). Then D,p has a bounded inverse Ñ D,p : A (p,0) (Cn,e z ) dom( D,p ). If α A (p,0) (Cn,e z ) satisfies Dα = 0, then u 0 = D Ñ D,p α is the canonical solution of Du = α, this means Du 0 = α and u 0 (kerd) = imd, and D Ñ D,p α C α, for some constant C > 0 independent of α. Example 5.3. a) Let p k =. Then p zk j (z) = z j and we have ([p k,p j ]u u j j,u k ) = (δ j,k u j,u k )+ (4δ jk z j,u k ) = u +4 z k for u = n u jdz j dom(d) dom(d ). Hence (5.4) is satisfied. u j b) Let n = and take p 1 = z and p = +. Then p z1 z 1 (z) = z 1z and p (z) = z 1 +z and we have, So we obtain ([p 1,p 1 ]u 1,u 1 ) = (u 1,u 1 )+( u 1, u 1 )+( u 1 z, u 1 z ), ([p 1,p ]u,u 1 ) = ( u, u 1 z )+( u z, u 1 ), ([p,p 1]u 1,u ) = ( u 1, u z )+( u 1 z, u ), ([p,p ]u,u ) = 4(u,u )+4( u, u )+4( u z, u z ). 0

21 ([p k,p j]u j,u k ) = ( u 1 +4 u + u 1 + u C z 1 z for u = u jdz j dom(d) dom(d ). Again, (5.4) is satisfied. We remark that we can interchange the roles of D and D and obtain + u 1 + u z )e z dλ, Theorem 5.4. Suppose that n > 1 and 1 p n 1. Let D be as in (5.) and suppose that u C ([p k,p j]u jk,u kk ), K =p 1 for all u dom(d) dom(d ). If β A (p,0) (Cn,e z ) satisfies D β = 0, then v 0 = DÑD,pβ A (p+1,0) (Cn,e z ) is the canonical solution of D v = β, this means D v 0 = β and v 0 (kerd ) = imd, and DÑD,pβ C β, for some constant C > 0 independent of β. Proof. As in Theorem 5. we get that D,p has a bounded inverse Ñ D,p : A (p,0) (Cn,e z ) dom( D,p ). Now, using the -Neumann calculus, we obtain that hence 0 = D β = D (D D+DD )ÑD,pβ = D DD Ñ D,p β, 0 = (D DD Ñ D,p β,d Ñ D,p β) = (DD Ñ D,p β,dd Ñ D,p β). This implies that DD Ñ D,p β = 0 and we get D v 0 = D DÑD,pβ = (DD +D D)ÑD,pβ = β, and (v 0,f) = (DÑD,pβ,f) = (ÑD,pβ,D f) = 0, for all f kerd. Example 5.5. We take Example5.3 b) andconsiderf = f 1 dz 1 +f dz A (1,0) (C,e z ) such that D f = p 1f 1 +p f = 0. By Theorem 5.4 we get g = gdz 1 dz = DÑD,1f A (,0)(C,e z ) such that D g = p gdz 1 + p 1gdz = f and DÑD,1f C f, for some constant C > 0. Remark 5.6. Finally we point out that the -Neumann operator ÑD,p exists and is bounded on A (p,0) (Cn,e z ) if and only if the basic estimate (5.5) holds, see for instance [7], Remark 9.1., for the details. 1

22 References 1. So-Chin Chen and Mei-Chi Shaw, Partial differential equations in several complex variables, Studies in Advanced Mathematics, vol. 19, Amer. Math. Soc., Olivia Constantin, A Volterra-type integration operator on Fock spaces, Proc. AMS 140 (01), E.B. Davies, Spectral theory and differential operators, Cambridge studies in advanced mathematics, vol. 4, Cambridge University Press, Cambridge, L.D. Faddeev and O.A. Yakubovskii, Lectures on quantum mechanics for mathematics students, Student Mathematical Library, vol. 47, American Mathematical Society, G.B. Folland, Harmonic analysis in phase space, Annals of Mathematics Studies 1, Princeton University Press, Princeton, F. Haslinger, Spectrum of the -Neumann Laplacian on the Fock space, J. of Math. Anal. and Appl. 40 (013), , The -Neumann problem and Schrödinger Operators, de Gruyter Expositions in Mathematics, vol. 59, Walter de Gruyter, J. Kohn, Harmonic integrals on strongly pseudoconvex manifolds, I, Ann. of Math. 78 (1963), , Harmonic integrals on strongly pseudoconvex manifolds, II, Ann. of Math. 79 (1964), X. Ma and G. Marinescu, Holomorphic Morse Inequalities and Bergman Kernels, Progress in Mathematics, vol. 54, Birkhäuser, D.J. Newman and H.S. Shapiro, Certain Hilbert spaces of entire functions, Bull. Amer. Math. Soc. 7 (1966), , Fischer spaces of entire functions, Entire functions and related parts of analysis, Proc. Pure Math., La Jolla, Calif. 1966, Amer. Math. Soc., Providence, R.I., 1968, pp H. Render, Real Bargmann spaces, Fischer decompositions and sets of uniqueness for polyharmonic functions, Duke Math. J. 14 (008), I. Shigekawa, Spectral properties of Schrödinger operators with magnetic fields for a spin 1/ particle, J. of Functional Analysis 101 (1991), E. Straube, The L -Sobolev theory of the -Neumann problem, ESI Lectures in Mathematics and Physics, EMS, J. Weidmann, Linear Operators in Hilbert Spaces, Graduate Texts in Mathematics, Springer, K. Zhu, Analysis on Fock spaces, Graduate Texts in Mathematics, Springer, 01. F. Haslinger: Fakultät für Mathematik, Universität Wien, Oskar-Morgenstern-Platz 1, A-1090 Wien, Austria address: friedrich.haslinger@univie.ac.at