On Polyanalytic Functions in Several Complex Variables

We give a characterisation of the polyanalytic type subspaces of the Hilbert spaces H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {H}$$\end{document}, being the weighted L2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_2$$\end{document} function spaces on a connected simply connected domains D⊂Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D \subset \mathbb {C}^n$$\end{document}. The typical examples considered in the paper are the unit ball Bn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {B}^n$$\end{document} and the whole space Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {C}^n$$\end{document}. Our approach is based on the use of the two tuples of operators a=(a1,a2,…,an)andb=(b1,b2,…,bn),\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \mathbf {\mathfrak {a}}= (\mathfrak {a}_1, \ \mathfrak {a}_2, \ \ldots , \ \mathfrak {a}_n) \quad \textrm{and} \quad \mathbf {\mathfrak {b}}= (\mathfrak {b}_1, \ \mathfrak {b}_2, \ \ldots , \ \mathfrak {b}_n), \end{aligned}$$\end{document}which act invariantly in some linear space and satisfy therein the commutation relations aj,bℓ=δj,ℓI,aj,aℓ=0,bj,bℓ=0,j,ℓ=1,2,...,n.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \left[ \mathfrak {a}_j, \mathfrak {b}_{\ell }\right] = \delta _{j,\ell }I, \quad \left[ \mathfrak {a}_j, \mathfrak {a}_{\ell }\right] = 0, \quad \left[ \mathfrak {b}_j, \mathfrak {b}_{\ell }\right] = 0, \quad j,\ell = 1,2,...,n. \end{aligned}$$\end{document}We assume further that a common invariant domain of the above operators is a dense linear subspace in a Hilbert space H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {H}$$\end{document}, and impose several additional conditions. The exact formulation is given in the Extended Fock space construction. Further we specify the obtained description to different concrete realizations of the above operators and Hilbert spaces H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {H}$$\end{document}, illustrating a variety of possibilities that may occur in the characterisation of the polyanalytic type spaces in several complex variables.


Introduction
The paper is devoted to the characterisation of the polyanalytic type subspaces of the Hilbert spaces H, being the weighted L 2 function spaces on a connected simply connected domains D ⊂ C n .The typical examples considered in the paper are the unit ball B n and the whole space C n .
Recall that, given a tuple k = (k 1 , k 2 , ..., k n ) ∈ N n , a smooth function ϕ is called k-polyanalytic if it satisfies the equations For a purpose of Introduction, we denote by A k the closed subspace of H which consists of all k-polyanalytic functions.
Note that there is a big quantitative difference between multidimensional case n > 1, studied in the paper and already well-understood case of n = 1.Indeed, in onedimensional case the k-polyanalytic spaces are linearly ordered by inclusion, A q A k if and only if q < k.This suggests us to consider consecutive orthogonal differences, the so-called true-k-polyanalytic spaces All of them are orthogonal and isomorphic to each other and In particular, the orthonormal basis of H can be formed by the union of the orthonormal bases of all true-polyanalytic spaces.
If n > 1, the k-polyanalytic subspaces A k are only partially ordered by inclusion, A q A k if and only if q ≺ k, where the order q ≺ k means that q j ≤ k j , for all j = 1, 2..., n, and at least for one j = 1, 2..., n, q j < k j .
Surprisingly for n > 1 it turns out that not all true-polyanalytic spaces are orthogonal to each other.To be more precise, in case the tuples q and k are comparable (i.e., either q ≺ k or k ≺ q), the true-polyanalytic spaces A (q) and A (k) are orthogonal, while in case the tuples q and k are incomparable, the true-polyanalytic spaces A (q) and A (k) are not necessarily orthogonal.Such a situation is described in Lemma 5.4, where even the minimal angle between two true-poly-Bergman spaces on the unit ball B n is zero, and in Lemma 6. 3, where two true-poly-Fock spaces in C 2 (with non-standard generalized Gaussian measure) are not orthogonal with positive minimal angle between them.In particular the above implies that an orthonormal basis in the corresponding Hilbert space cannot be formed by the union of the orthonormal bases all true-polyanalytic spaces.
At the same time, Sects. 4 and 6.1 provide us with the examples when all truepolyanalytic spaces are orthogonal to each other, the corresponding Hilbert space is recovered as the orthogonal sum of all its true-polyanalytic subspaces, and the union of the orthonormal bases all true-polyanalytic spaces forms an orthonormal basis in the Hilbert space in question.
Let us mention that under study the polyanalytic functions (and the corresponding spaces) two tuples of operators are naturally appear: multiplication by z j and ∂ ∂z j , with j = 1, 2, ..., n, which act invariantly on the linear space of all smooth function in D, and satisfy therein the commutation relations
These relations, in fact, essentially determine the majority of the properties of the spaces under study.
To make then our study more case independent and applicable to a variety of different situations, we consider the following abstract generalization of the above operators.Let two tuples of operators a = (a 1 , a 2 , . . ., a n ) and b = (b 1 , b 2 , . . ., b n ), act invariantly in some linear space and satisfy therein the commutation relations a j , b = δ j, I , a j , a = 0, b j , b = 0, j, = 1, 2, ..., n.
Several examples that fit to the above setting are given in Example 2.2.We assume further that a common invariant domain of the above operators is a dense linear subspace in a Hilbert space H, and impose several additional conditions.The exact formulation is given in the Extended Fock space construction, see Definition 3.1.Our approach extends the classical Fock space formalism (see e.g.[3, Chapter 5, Section 5.2]) in two directions: first, the space n j=1 ker a j is not anymore necessarily one-dimensional and, second, the operators b j are not necessarily formally adjoint to a j .Although we pay also special attention to the case when b j are formally adjoint to a j .
After such a general approach has been developed (Sects.2 and 3), in the remaining part of the paper (Sects.[4][5][6] we consider different particular realizations of the above tuples of operators a and b, and the corresponding Hilbert spaces H, which shows a variety of possibilities that may occur in the characterisation of the polyanalytic type spaces in several complex variables.

Polyanalytic Linear Spaces
In what follows we will consider connected simply connected domains D ⊂ C n (the typical examples are the unit ball B n and the whole space C n ), and use the standard notations: z = (z 1 , z 2 , ..., z n ) ∈ C n , and for a tuple k Then, given a tuple of operators A = (A 1 , . . ., A n ) acting invariantly in some linear space, if it does not state otherwise, we set Further, given two tuples q = (q 1 , q 2 , ..., q n ) and k = (k 1 , k 2 , ..., k n ) from Z n + , we set q k if and only if q j ≤ k j for all j = 1, 2..., n, and q ≺ k if and only if q k and at least for one j = 1, 2..., n, q j < k j .
Recall that, given a tuple k As stated in [2, Section 6.4], the above condition is equivalent to the following its representations where the summation extends to all tuples q k − 1, with 1 = (1, 1, . . ., 1), and where all f q are analytic in D functions.
We denote by O k = O k (D) the linear space of all k-polyanalytic functions in D.
Observe that the two tuples of operators are involved: multiplication by z j and ∂ ∂z j , with j = 1, 2, ..., n, which act invariantly on the linear space of all smooth function in D, and satisfy therein the relations where j, = 1, 2, ..., n.
We put now the above into an abstract setting.Let L be a linear space where two tuples of operators act invariantly and satisfy therein the commutation relations (2.2) Similarly to the above, given k = (k 1 , k 2 , ..., k n ) ∈ N n , we denote by L k the linear subspace of L which consists of all elements h satisfying the equation a k h = a k 1 1 h, . . ., a k n n h = 0, and call them k-poly-elements.In particular, The relation L k L k defines a partial order on the set Note that in such an ordering L is a well-founded (L has no infinite strictly decreasing sequences) lattice (any two elements L k and L k of L have a least upper bound L k , where k j = max{k j , k j }, and a greatest lower bound L k , where k j = min{k j , k j }, j = 1, 2, . . ., n).
We mention that (2.2) easily implies [a j , b p ] = δ j, pb p−1 , for all j, = 1, . . ., n and p ∈ N, which, in turn, yields that for each h ∈ L 1 and all p ∈ N, By induction, for all h ∈ L 1 , we have then

is a k-poly-element, if and only if it admits the representation h
Proof (⇒) Follows from (2.4).(⇐) We prove it using Noetherian (well-founded) induction, see e.g.[7, Chapter 14, Section 1].Observe that well-founded partially ordered set L is single-rooted, i.e., for each L k the set of its descending elements has the same minimal element L 1 , for which the lemma statement is obvious.To prove then (2.5) for any L k , we assume that such a representation is valid for each L q with L q L k .
We start with h satisfying the relation To simplify the notation and without loss of generality, we may assume that k 1 = max{k j : j = 1, 2, . . ., n}.We have then where e 1 = (1, 0, . . ., 0), implying that a 1 h ∈ L k−e 1 .Thus a 1 h admits the representation which implies Then, for each j = 2, 3, . . ., n, Thus h 0 admits the representation and the result follows from (2.6) and (2.7).
Before we move forward, let us give several examples that fit to the above setting.

Example 2.2
The following two tuples of operators a j and b j , with j = 1, 2, . . ., n, satisfy the conditions (2.2) on a linear set of smooth functions in D ⊂ C n : (1) a = ∂ ∂z j and b 1−|z| 2 and b j = z j , with μ ∈ R + and D = B n ; (5) all above items with z j and z j interchanged.
For each k = (k 1 , k 2 , . . ., k n ), we introduce the following subspaces of L: and consider some their properties.
. Indeed, the mapping is an isomorphism, whose inverse is given by 1 Proof Assume contrary that for some We prove then recursively that all h ( p) = 0. We start with ( p) are different, this process ends at no more then n − 1 steps, resulting the unique tuple k ( p ) such that k ( p )

As all k
which implies that h ( p ) = 0 and expression (2.8) has one summand less.Repeating this procedure m times, we conclude that all h ( p) = 0.

Corollary 2.5 We have that
Proof By Lemma 2.1 the space L k consists of all elements h of the form Then each element of L [q] is of the form b q−1 h q , with h q ∈ L 1 , and, by Lemma 2.4, the subspaces L [k] are linearly independent.This finishes the proof.

Extended Fock Space Construction
We add here a Hilbert space structure to a pure linear algebra considerations of the previous section.We extend the classical multi-operator Fork space formalism (see e.g.[3, Chapter 5, Section 5.2]) so that it will cover many important cases, including e.g. the case of polyanalytic functions.

Generic Case
Definition 3.1 (Extended Fock Space Construction) There are a separable Hilbert space H and two tuples of operators defined on their natural (maximal) domains dense in H and such that 1. there exists a linear subspace D dense in H, where the operators a j and b j , j = 1, 2, ..., n, act invariantly, and on which they satisfy the commutation relations 2. the linear subspace is non-trivial with dim L [1] ≥ 1; 3. the set D 0 , formed by finite linear combinations of elements from the linear subspaces Note that the classical Fock formalism of [3, Chapter 5, Section 5.2] corresponds to the case when L [1] is generated by a single element 0 ∈ n j=1 ker a j , called vacuum vector, and all b j = a † J are formally adjoint to a j .That is, we extend the classical Fock formalism in two directions: first, the space L [1] is not anymore necessarily one-dimensional and, second, the operators b j are not necessarily formally adjoint to a j .
We mention also that, as examples show, the subspaces L [k] may or may not be closed, as well as, they may or may not be mutually orthogonal to each other.
Let us give now just two examples to the above construction related to the first item of Example 2.2, the other ones will be considered later on.

Example 3.2
We consider two classical cases of the Hilbert space H: , where the weighted measure v λ , λ > −1, is absolutely continuous with respect to the Lebesgue volume form dv(z) on B n and given by: , where the Gaussian measure dμ α is given by In both cases, a j = ∂ ∂z j and b j = z j are the multiplication by z j operators, j = 1, . . ., n; D = D 0 consists of finite linear combinations of the monomials m p,q = z q z p , p, q ∈ Z n + , and L [1] = n j=1 ker a j coincides with the set of all analytic polynomials (polynomials on z p ).
Note that the linear set D = D 0 is nothing but the set of all polyanalytic polynomials, i.e., the set of all functions (2.1), ϕ = q z q f q , where all f q are analytic polynomials.
Having at hand the Hilbert space structure, we extend now the properties of the spaces L [k] of the previous section, setting L = D 0 .Lemma 3.3 For each k ∈ N n , the operators a j and b j , j = 1, . . ., n, restricted correspondingly on L [k+e j ] and L [k] , act as isomorphisms between the following spaces Moreover, the operators a j b j and b j a j , being restricted on L [k] and L [k+e j ] , respectively, act as the scalar operators, The lemma assertions follow then from By (3.3), for all k ∈ N n , each operator a j b j , j = 1, . . ., n, can be extended by continuity from That is, the operators a j b j , initially defined on D 0 , can be extended to a wider common domain which consists of all finite linear combinations of elements from different They can be even extended to a more wide common domain is a common invariant subspace of all operators a j b j , j = 1, . . ., n, defined on D # .All of them are eigenspaces of the operator n j=1 a j b j , whose corresponding eigenvalues are n j=1 k j .
Corollary 3.5 For all k = k , the intersection of the closed subspaces Proof The condition k = k implies that there is j with k j = k l .Assuming the

Corollary 3.6 Any finite number of spaces L
Proof Let us assume that: there exist elements h By a kind of recursion we prove that all h [k ( ) ] = 0. We start with an analysis of the first components of the multi-indices k ( ) , = 1, . . ., p.They take at most p different values, say, k 1 , where 1 s 1 p.Divide then elements in (3.4) in s 1 groups: Applying consequently the powers (a 1 b 1 ) j , j = 1, 2, . . ., s 1 − 1, we obtain other We get thus the system of linear equations on h k (m) We repeat then the same procedure to each one of h k (m) analysing the second component of the multi-indices k ( ) , = 1, . . ., p.Then, as all multi indices k ( ) , = 1, . . ., p are different, at no more that n − 1 steps, we get that all h [k ( ) ] = 0.
We will use the following standard notation.The linear span of finite number H 1 , H 2 ,...,H n of linearly independent subspaces of H is called the direct sum and is denoted by in case when they are additionally pairwise orthogonal, we write and call it the orthogonal sum.
We note as well that, given even just two closed subspaces H 1 and H 2 with trivial intersection, H 1 ∩ H 2 = {0}, (equivalently being linearly independent), their direct sum H 1 H 2 may not be closed.It depends on the so-called minimal angle between them.
Recall (see e.g.[5]) that the minimal angle ϕ (m) (H 1 , H 2 ) between two closed subspaces H 1 and H 2 of a Hilbert space H is defined as Recall in this connection the criterion of when the direct sum of two closed spaces is closed.

Lemma 3.7 [5, Lemma 1] The direct sum of two closed subspaces, that intersect only by zero, is closed if and only if the minimal angle between them is greater than zero.
By Lemma 2.1, for each k ∈ N n , the subspace coincides with the linear set of elements h satisfying the conditions or Note that, depending on the concrete Hilbert space H and operators a j , b j involved, it can happen that, in spite of ⎞ ⎠ Such a situation will be discussed in detail in Subsection 5.1.
We denote then L k by H k and call it k-poly-a subspace of H; introduce also and call it true-k-poly-a subspace of H.Note that each H (k) is orthogonal to all H (q) with q ≺ k, at the same time the subspaces H (k) and H (q) with incomparable k and q are not necessarily orthogonal (see examples in Lemmas 5.4 and 6.3).
The density of D 0 in H implies then two alternative representation of the Hilbert space H,

Special Case of b = a †
Let now b j = a † j be formally adjoint to a j in D 0 for all j = 1, . . ., n.We discuss here some specific features of this case.

Proposition 3.8 All closed subspaces L
Proof It is sufficient to check the statement for the (non closed) subspaces L [k] .Take now any two subspaces L [k ] and L [k ] .As they are different, there is at least one j 0 such that k j 0 = k j 0 .Let k j 0 > k j 0 , considering the scalar product of (a , and using the last line of (2.4) we have Corollary 3. 9 We have We introduce further the following subspaces of H.For each j = 1, . . ., n and ∈ N, we set Note that and Proposition 3.10 For each j = 1, . . ., n and ∈ N, the operator is an isometric isomorphism, and the operator Proof It is sufficient to check the proposition statements on dense subspaces of the spaces involved, for example, on the set of finite linear combinations of elements of L [q] .Take an element Then, making use of (2.4) and (3.1), we have Analogously, taking we have The last statement of the proposition is obvious.

Corollary 3.11
The operator V j defined on H = ∈N H ( j) by on each summand H ( j) is a pure isometry, and his adjoint V * j is defined by Note that, by (3.1) with b j = a † j , the pure isometries V 1 ,..., V n are doubly commuting, that is (see e.g., [10]) Recall in his connection the following extension of the classical Wold decomposition.
is a wondering subspace for V and The next result states that the three objects of the theorem to follow are tightly connected to each other, any one of them defines another two.As a consequence, each one of them can be used (and will be used) in the characterization of the polyanalytic type spaces.Theorem 3.14 Let H be a separable infinite dimensional Hilbert space.Then the following statements are equivalent:

the Hilbert space H admits the orthogonal sum decomposition
where all H (k) have the same (finite or infinite) dimension; 3. there are two tuples of operators that are formally adjoint and act invariantly on a domain D dense in H, satisfying therein the commutation relations and the set of finite linear combinations of elements from all spaces , with k ∈ N n and where Moreover, the subspaces H (k) in (3.9) are related to the operators in V , a and a † as follows (3.12) Proof (1) ⇒ (2) Follows from Proposition 3.13 with (2) ⇒ (3) We denote by {e (k) p } p∈N , with N being the (finite or infinite) index set, the orthonormal basis of the subspace H (k) of decomposition (3.9).As all spaces H (k) have the same dimension, the index set N does not depend on k.Then, on the dense subset D formed by finite linear combinations of all basis elements e (k) p , p ∈ N , k ∈ N n , we introduce the operators (3.10) as follows It is easily seen that so defined operators a j and a † j , j = 1, . . ., n, are formally adjoint and satisfy the commutation relations (3.11).Furthermore, (3) ⇒ (1) Follows from Corollary 3.11 and relations (3.11).
Then, by [10, Theorem 3.3, item (v)], a pair of tuples ) on H of doubly commuting pure isometries are unitarily equivalent, that is there exists a unitary operator U : H → H such that U V j = V j U for all j = 1, . . ., n, if and only if their wondering spaces have the same dimension, dim W = dim W =: d.As a canonical representative of doubly commuting pure isometries ) is the Hardy space on the poly-disk D n , and E is a d-dimensional Hilbert space.
Theorem 3.14 implies then that the only initary equivalent of tuples of formally adjoint operators satisfying Definition 3.1 of the extended Fock space construction, is In Sect.4.2, for any given d, we propose a canonical representation of the tuples a and a † , given in terms of the first order differential operators.

Tensor Product Case
We consider here a special case of the situation considered in the previous subsection, which is important for the forthcoming study of the polyanalytic function spaces.
For each j = 1, . . ., n, we consider a separable Hilbert space H j and a pure isometry V j , acting on it.We denote by W j = ker V * j = ran (I − V j V * j ) its wondering subspace.Then This is equivalent (see e.g.[14, Theorem 5.1]) to the existence of two formally adjoint operators a j and a † j , densely defined on the set of finite linear combinations of elements from all V j W j , and given on the summands of (3.13) by It is just a matter of a simple calculation to show that so defined operators a j and a † j satisfy the relation [a j , a † j ] = I.We introduce now the Hilbert space H as the (Hilbert space) tensor product of H j , j = 1, . . ., n, and the tuple of operators V = (V 1 , . . ., V n ), acting therein, where It is easy to figure out that V j , j = 1, . . ., n, are doubly commuting pure isometries, and that W = n j=1 W j is the wondering subspace for V .Then with densely defined on the finite linear combinations of H (k) , k ∈ N n , by with a j and a † j defined via V * j and V j by (3.14).Corollary 3.9, relations (3.12), together with the above considerations lead then to the following corollary, important for further characterisation of polyanalytic function spaces.

Corollary 3.15 Each true-k-poly-a subspace of H =
being, in fact, the tensor product of the true-k j -poly-a j subspaces H j,(k j ) of H j .All true-k-poly-a subspaces H (k) of H are isomorphic, one to each other.The isometric isomorphism between H (1) = W and the true-k-poly-a space H (k) is given by and the operator gives the inverse isomorphism.
The space H is recovered as the orthogonal sum of all its true-k-poly-a subspaces, The k-poly-a subspaces of H, i.e., those that consist of all elements h ∈ H satisfying a k h = 0, are the tensor products of the k j -poly-a j subspaces H j,k j of H j ,
Observe now that where Then, for each p, q ∈ Z n + , where r p j +q j e −r dr = ( p j + q j )! α p j +q j .
From the other hand side, and the result follows.
Introduce the two tuples of the formally adjoint operators densely defined on the finite linear combinations of the monomials m p,q = z p z q , p, q ∈ Z n + , by and satisfying the commutation relations (3.11).
The space L [1] = n j=1 ker a j coincides with the set of all analytic polynomials (polynomials on z q ), while its closure L [1] coincides with the classical Fock space Observe that Corollary 3.15 extends now the results of [13,Section 4] to the weighted Fock space case, recovering, in particular,the results of [13,Section 4] for the unweighted case.We summarise them in the following proposition.
being the tensor product of the true-k j -poly-Fock subspaces and the operator gives the inverse isomorphism.The space L 2 (C n , dμ α ) coincides with the orthogonal sum of all its true-k-poly-Fock subspaces, The k-poly-Fock subspaces of L 2 (C n , dμ α ), i.e., those that consist of all elements h ∈ L 2 (C n , dμ α ) satisfying a k h = 0, are the tensor products of the k j -poly-Fock subspaces F 2 α j ,k j (C) of L 2 (C, dμ α j ), where The true-k-Fock space F 2 α,(k) (C n ) admits an orthonormal basis given by the following polynomials where q ∈ Z n + .The Hilbert space L 2 (C n , dμ α ) admits an orthonormal basis formed by the union of the above orthonormal bases of the true-k-Fock spaces Note that the polynomials e q can be considered as an extension to the case of several variables of the normalized complex Hermite polynomials for L 2 (C, dμ α j ) (the factors in the above formula) introduced and studied in the case of α j = 1 e.g. in [8, §12], [9, Section 2], and [11, Section 7].

Canonical Representation of Tuples a and a †
We suggest here a canonical representation of the tuples a and a † for any (finite or infinite) dimension d of the n j=1 ker a j , given in terms of the first order differential operators.
Let, first, d = ∞.We set then, H = L 2 (C n , dμ 1 ), and n j=1 ker a j = F 2 (C n ) is the classical Fock space of analytic in C n functions.For a finite d, we fix any d-dimensional subspace F d of the Fock space F 2 (C n ), consider the same and the corresponding Hilbert space

Poly-Vekua Spaces
We start with one complex variable case of item (3) in Example 2.2.
On the set of smooth functions in a domain ⊂ C introduce the operators The functions ϕ, satisfying the equation aϕ = 0, are the particular case of the socalled generalized analytic functions introduced and deeply studied by I. Vekua, see e.g.[16].Generically they are the functions that satisfy the equation In our case A(z) = −ωz, B(z) = 0.The set A(−ωz, 0; C) (in the Vekua notation) of all generalized analytic functions f , satisfying a f = 0, as it easily seen, consists of all functions of the form f (z) = e ωzz ϕ(z), with analytic ϕ(z).Let now H = L 2 (C, dμ), with dμ = 1 π e −|z| 2 dv(z).We define the Vekua space (ω-Vekua space) by Taking f of the form (4.3), calculate Introduce the operator An easy calculation shows that the operator U ω is unitary, and its adjoint and inverse Introduce also the k-poly-Vekua space V 2 ω,k (C) as the set of all functions f in L 2 (C, dμ) that satisfy the equation a k f = 0.

Lemma 4.3 For each k ∈ N, the operator U −1 ω gives an isometric isomorphism between the k-polyanalytic type spaces F
And the result follows.
Introduce also the true-k-poly-Vekua space V 2 ω,(k) (C) by Recall that the operators ), being defined on the span of all true-poly-Fock spaces F 2 1−2ω,(k) (C).

Corollary 4.5
The operators Return now to the several variables case.The Hilbert space L 2 (C n , dμ(z)) splits into the tensor product of n copies of the spaces over C, Given a tuple ω = (ω 1 , . . ., ω n ) with ω j < 1  2 .for all j = 1, . . ., n, we introduce formally adjoint operators densely defined on the span of true-k j -poly-Vekua subspaces of L 2 (C, dμ(z j )).Define then and two tuples of operators which satisfy the commutation relations (3.11).
Observe that the Vekua space V 2 ω (C n ), which consists of all function f ∈ L 2 (C n , dμ(z)) that satisfy a ω f = 0, is nothing but the tensor product of the Vekua subspaces V 2 ω j (C) of the corresponding L 2 (C, dμ(z j )).
Corrolary 3.15 implies then being the tensor product of the true-k j -poly-Vekua subspaces and the operator gives the inverse isomorphism.The space L 2 (C n , dμ) splits into the orthogonal sum of all its true-k-poly-Vekua subspaces, The k-poly-Vekua subspaces of L 2 (C n , dμ), i.e., those that consist of all elements f ∈ L 2 (C n , dμ) satisfying a k ω f = 0, are the tensor products of the k j -poly-Vekua subspaces The next a bit long remark is devoted to a comparison and analysis of two considered in this section realizations in C n of the extended Fock constructions leading to the poly-Fock and poly-Vekua spaces.

Remark 4.7
There are two families of objects that depend on n-dimensional parameter tuples: the family of weighted spaces L 2 (C n , dμ α ), where the weighted measure dμ α (4.1) is defined via the tuple α = (α 1 , . . ., α n ), all α j > 0, and the family of generalised analytic (and poly-analytic) functions in the Vekua sense, defined via the tuple ω = (ω 1 , . . ., ω n ), all ω j < 1 2 .For α = 1 we have the standard unweighted L 2 (C n , dμ) space with the Gaussian measure, and for ω = 0 the corresponding class of generalised analytic functions coincides with the class of the classical analytic functions of n complex variables.
Further, in the poly-Fock related case, all spaces L 2 (C n , dμ α ) (parameter α varies) split into the orthogonal sum of true-polyanalytic spaces (parameter ω = 0 is fixed).While the poly-Vekua related case is in a sense opposite: we are dealing with the single space L 2 (C n , dμ) (parameter α = 1 is fixed), which admits a family of different representations as the orthogonal sum decomposition of differently defined true generalised polyanalytic functions (parameter ω varies).
At the same time these two cases are in a sense dual.Namely, for each L 2 (C n , dμ α ) there is a unitary operator that maps the orthogonal sum decomposition of L 2 (C n , dμ α ) into true-poly-Fock spaces onto the orthogonal sum decomposition of L 2 (C n , dμ) into true-poly-Vekua spaces with ω = 1 2 (1 − α).And visa versa, for each orthogonal sum decomposition of L 2 (C n , dμ) into true-poly-Vekua spaces defined by ω, there is a unitary operator (inverse to the above) that maps this decomposition of L 2 (C n , dμ) onto the orthogonal sum decomposition of L 2 (C n , dμ α ), with α = 1 − 2ω, into true-poly-Fock spaces.
Note that, for α = 1, or equivalently for ω = 0, these two cases reduce to a single one: the orthogonal sum decomposition of L 2 (C n , dμ) into true-poly-Fock spaces.

Unit Ball B n Case
We consider here the case of H = L 2 (B n , dν λ ), with the weighted measure dv λ , λ > −1, given by where c We mention that, for all p, q ∈ Z n + , we have that z p z q 2 = z p+q 2 in L 2 (B n , dν λ ) and is given by In the above calculation τ (B n ) is the base of the unit ball B n considered as the Reindhard domain, n is the standard n-dimensional simplex, s j = r 2 j , r j = |z j |, and we use the formula for n-dimensional Beta function [1].

Poly-Bergman Spaces
As was already mentioned, the operators a j = ∂ ∂z j and b j = z j , j = 1, . . ., n, act invariantly on the dense in L 2 (B n , dν λ ) subspace D = D 0 which consists of finite linear combinations of the monomials m p,q = z p z q , p, q ∈ Z n + , and L [1] = n j=1 ker a j coincides with the set of all analytic polynomials (polynomials on z p ).The closure L [1] coincides obviously with the classical Bergman space A 2 λ (B n ), being the closed subspace of L 2 (B n , dν λ ) which consist of functions analytic in B n , and whose orthonormal basis formed by the elements e [1]  q = d [1]  q z q , q = (q 1 , . . ., q n ) ∈ Z n + .
For the consequent spaces , with k ∈ N n , we have and their bases formed by the elements In our unit ball setting, the space ⎞ ⎠ is called k-poly-Bergman space, and is denoted by The space ) and is called true-k-poly-Bergman space, with the convention that In what follows we will use the basis elements of Direct calculation shows that the basis is formed by the elements e where .

Proposition 5.1 The minimal angle between any two different subspaces L [k ] and L [k ]
is equal to zero.
Proof For a tuple q with q j > max{k j , k j }, for all j = 1, . . ., n, let us calculate .
Using several times [6, Formula 8.328.2],we calculate then limit of e q−k +1 , when all q j → ∞ (symbolically q → ∞): and the result follows.
Corollary 5.2 For each k ∈ N n \{1}, the direct sum of the closed subspaces is not closed, and It is instructive to consider an illustrative example.
Example 5. 3 We show that the following inclusion is strict Consider the function We have that e where none of f 1 (z) and f 2 (z) belongs to L 2 (B n , dν λ ).At the same time, f (z) approximates in norm by its partial sums each one of which does belong to The following lemma shows that different true-k-poly-Bergman spaces are not necessarily orthogonal.

Lemma 5.4 For any two indices
Proof To simplify the notation and without loss of generality, we assume that j = 1 and j = 2.In calculations to follow we set q m = (m, m, 0, . . ., 0), and consider two norm one elements where and Calculate now Then lim m→∞ | x m , y m | = 1 implies the statement of the lemma.

Corollary 5.5 The direct sum of all "the same level" (closed) true-poly-Bergman spaces
The above lemma also implies that, contrary to the one-dimensional case of D and C, as well as the several variables cases of the previous sections, for the unit ball B n we have the following "no-go" assertion.
Corollary 5.6 There does not exist any orthonormal basis of L 2 (B n , dν λ ) formed by the union of orthonormal bases of the true-poly-Bergman spaces.

This in turn implies
Corollary 5. 7 The operators a j = ∂ ∂z j can not have their formally adjoint b j = a † j , j = 1, . . ., n, which satisfy Definition 3.1 of the extended Fock space construction.
Moreover, there do not exist any two tuples of formally adjoint operators a j and a † j , j = 1, 2, . . ., n, densely defined in L 2 (B n , dν λ ), such that a j , a † = δ j, I , a j , a = 0, a † j , a † = 0, j, = 1, 2, . . ., n; and Corollary 5.8 The Hilbert space L 2 (B n , dν λ ) can not be represented as the orthogonal sum of all its true-poly-Bergman spaces.We have just the following representations of L 2 (B n , dν λ ) in terms of poly-Bergman and true-poly-Bergman spaces

Poly-Vekua Spaces
We study here the case of item (4) of Example 2.2, i.e., These operators act invariantly on the set of smooth functions in B n , and the set of functions f satisfying the equations a j f = 0, for all j = 1, 2, . . ., n, forms a class of n-variable generalised analytic functions A(μ , where ϕ is analytic.Then, by Lemma 2.1, a function f is k-poly-generalised analytic, i.e. satisfies the equations a k j j f = 0, for all j = 1, 2, . . ., n, if and only if if admits the representation , where ϕ = k−1 q=0 z q ϕ q is k-polyanalytic.We introduce then unweighted space L 2 (B n , dν), where the measure dν given by dν(z) = (n + 1) π n dv(z), and define the Vekua space V 2 μ (B n ) as the intersection L 2 (B n , dν)∩A(μ z j 1−|z| 2 , 0; B n ).Similarly, for a multi-index k ∈ N n , we define the k-poly-Vekua space V 2 μ,k (B n ) as the intersection of L 2 (B n , dν) with the space of the k-poly-generalised analytic functions, with the convention that dν) if and only if the function ϕ belongs to L 2 (B n , dν 2μ ).We introduce thus the isometric isomorphism This operator is obviously unitary and Lemma 5.9 The operator U μ maps isomorphically and isometrically k-poly-Vekua , for all j = 1, . . ., n.
As a corollary we can now characterize the properties of the poly-Vekua spaces based on the corresponding properties of the poly-Bergman spaces that are given in Lemma 5.5 and Corollaries 5.5-5.8.

Generalized Gaussian Measure Spaces in C 2
We consider here Hilbert spaces with a generalized Gaussian measure in several variable case.To simplify the presentation we consider the functions of just two complex variables, i.e., the spaces over C 2 .
A straightforward calculation, with the use of [6, Formula 3.326.2],shows that A simple calculation implies then that which means that the operators are formally adjoint being defined on the linear span of monomials m p,q = z p z q , with p, q ∈ Z + .But unfortunately this does not lead to the extended Fock construction, since, in particular, densely defined on the linear span D 0 of all monomials m p,q = z p z q , does lead to the extended Fock construction.We have that L [1] = ker a| D 0 consists of all analytic polynomials, its closure L [1] coincides with the weighted Fock space F 2 2 (C), in the notation of [4], the k-poly-Fock spaces F 2  2,k (C) are given then by Note in this connection that the direct sum of the closed spaces z j F 2 2 (C) is not closed.This follows from the fact that the minimal angle between any two different spaces z j 1 F 2 2 (C) and z j 2 F 2 2 (C) is zero.It can be easily verified by calculating lim →∞ | x , y |, where x and y are normalised elements z j 1 z ∈ z j 1 F 2 2 (C) and z j 2 z + j 2 − j 1 ∈ z j 2 F 2 2 (C), respectively.The true-k-poly-Fock spaces F 2  2,(k) (C) are defined then by Let us recall briefly (for details we refer to [15]) another characterization of the true-poly-Fock spaces.The set of polynomials (see e.g., [15, Formula 2.9]), e p,q (z, z) = min{ p,q} k=0 c p,q (k)z p−k z q−k , p, q ∈ Z + , ( where c p,q (k) are explicitly calculable constants, forms an orthonormal basis of the space L 2 (C, dμ 2 ).Example 2.4 in [15] gives the first six these basis elements.Formulas (4.4) in [15]: a : e p,q −→ √ pe p−1,q , q ∈ Z + , p > 0 0, q ∈ Z + , p = 0 and a † : e p,q −→ p + 1e p+1,q , p, q ∈ Z + defines then the formally adjoint operators a and a † , densely defined on the span of all monomials m p,q (and even on the span of the true-poly-Fock spaces), that satisfy the commutation relation [a, a † ] = I .
Contrary to the operators (6.1), the operators a and a † lead to the extended Fock construction, and obey the properties We note as well that, for each k ∈ N, Passing to the two complex variables setting, we mansion that there are two different natural generalizations of the weight factor e |z| 4 , namely e |z 1 | 4 +|z 2 | 4 and We consider these cases separately.

Weight Factor e |z
We introduce then two pairs of of formally adjoint operators densely defined on the finite linear combinations of the monomials m p,q = z p z q , p, q ∈ Z n + , by and satisfying the commutation relations (3.11).The space L [1] = ker a 1 ∩ ker a 2 coincides with the set of all analytic polynomials (polynomials on z q ), while its closure L [1] coincides with the generalized Fock space Observe that space F 2 2 (C 2 ) splits into the tensor product of two Fock spaces F 2 2 (C) of analytic functions in z 1 and z 2 , respectively, and the operator gives the inverse isomorphism.The space L 2 (C 2 , dμ 2 ) coincides with the orthogonal sum of all its true-k-poly-Fock subspaces, The k-poly-Fock subspaces of L 2 (C 2 , dμ 2 ), i.e., those that consist of all elements h ∈ L 2 (C 2 , dμ 2 ) satisfying a k h = 0, are the tensor products of the k j -poly-Fock subspaces The true-k-Fock space F 2 2,(k) (C n ) admits an orthonormal basis given by the following polynomials (see (6.2)) e (k)  q = e k 1 −1,q 1 ⊗ .ek 2 −1,q 2 , q 1 , q 2 ∈ Z + .
The Hilbert space L 2 (C 2 , dμ 2 ) admits an orthonormal basis formed by the union of the above orthonormal bases of the true-k-Fock spaces

Weight Factor e
As we will see, this case is very much similar to the case of the unit ball B n .We introduce the Hilbert space L 2 (C 2 , dμ(z)), where the probability measure dμ(z) is given by A straightforward calculation, with the use of [6, Formula 3.621.5],shows that Having in mind the study of polyanalytic functions, we introduce the operators and try to use them together with their formally adjoint operators in the generalized Fock space construction.A bit lengthy calculation based on (6.3) shows that being defined on the dense set D 0 in L 2 (C 2 , dμ(z)) formed by the finite linear combinations of the monomials m p,q = z p z q , p, q ∈ Z 2 + .Unfortunately such an approach does not work since, in particular, At the same time the pairs of operators do can be used in the generalized Fock space construction directed to the study of the polyanalytic functions.In more details.The set L [1] = ker a 1 | D 0 ∩ ker a 2 | D 0 consists of all analytic polynomials, its closure L [1] coincides with the Fock subspace , and that the basis of is formed by

Lemma 6.2 The minimal angle between any two different spaces L
Proof For q m = (m, m) with m > max{k j , k j }, j = 1, 2, we calculate Using [6, Formula 8.328.2] in each square root, we have and the result follows by the definition of the minimal angle between the subspaces.
The lemma implies that the direct sum of closed subspaces is not closed.That is, the space Then the space ) and is called true-k-poly-Fock space, with the convention that Note that we meet here with a third possible situation different from the previous two (Proposition 6.1 and Corollary 5.5): Lemma 6.3 The true-poly-Fock spaces F 2 (1+e 1 ) (C 2 ) and F 2 (1+e 2 ) (C 2 ) (recall that 1 + e 1 = (2, 1) and 1 + e 2 = (1, 2)) are not orthogonal, but their direct sum We give the proof of the lemma in the Appendix.This in turn implies Corollary 6.5 There does not exist any pair of formally adjoint operators a = (a 1 , a 2 ) and a † = (a † 1 , a † 2 ) that act invariantly on the linear span of the monomials, satisfy therein the commutation relations a j , a † = δ j, I , a j , a = 0, a † j , a † = 0, j, = 1, 2; and such that clos(ker a 1 ∩ ker a 2 ) = F 2 (C 2 ) and To prove the second statement of the lemma we need to check that the minimal angle between F 2 (1+e 1 ) (C 2 ) and F 2 (1+e 2 ) (C 2 ) is greater than zero (see Lemma 3.7), that is to check that sup | x, y | x y An easy calculation, based on (6.3), shows that the orthonormal bases of the spaces F 2 (1+e 1 ) (C 2 ) and F 2 (1+e 2 ) (C 2 ) are formed by the normalising elements z 1 z q − q 1 |q| + 1 z q−e 1 , q ∈ N × Z, z 2 z q − q 2 |q| + 1 z q−e 2 , q ∈ Z × N, respectively.It is easy to figure out then that the only pairs of basis elements of F 2 (1+e 1 ) (C 2 ) and F 2 (1+e 2 ) (C 2 ), which are not orthogonal, have (in a convenient notation) the form e 1,q = x q x q and e 2,q = y q y q , with x q = z 1 z q−e 2 − q 1 |q| z q−e 1 −e 2 y q = z 2 z q−e 1 − q 2 |q| z q−e 1 −e 2 , q ∈ N 2 .
That is the only pair of elements x, y, that are not orthogonal, are of the form x = c q d q e 1,q , e 2,q ≤ sup e 1,q , e 2,q x y q∈N 2   |c q d q | ≤ sup q∈N 2 e 1,q , e 2,q Note that this inequality becomes equality on the family of pairs e 1,q , e 2,q , where q ∈ N 2 .That is, it is sufficient to estimate sup | x q , y q | x q y q : q ∈ N 2 .
Thus the sequence {G(s)} s∈S strictly decreasing with lim s→∞ G(s) = 1.This fact may have an independent interest.
That is sup x q y q is reached at some value q = (q 1 , q 2 ), but | x q , y q | x q y q = 1 since (see (6.4) and [6, Formula 8.339.2]) it is an irrational number (contains π ).This finishes the proof of Lemma 6.3.

4. 1 1 √ α d dz j and a † α = − 1 √
Poly-Fock SpacesBy (4.2), we are in the situation of Subsection 3.3.We start with the Hilbert space L 2 (C, dμ α ) and two operators a α = α d dz j + √ α z j , densely defined on the linear set D of all polynomials on z and z, and satisfying the commutation relation [a α , a † α ] = I.Let as show that the operators a α and a † α are formally adjoint on D. Indeed, consider

Corollary 4 . 2
Each function ψ(z, z) from the true-k-Fock space F 2 α,(k) (C n ) is uniquely defined by a function ϕ(z) ∈ F 2 α (C n) and has the form
dμ), being defined on the span of true-poly-Vekua spaces V 2 ω,(k) (C), and satisfy therein the commutation relation [a ω , a † ω ] = I .Each function ψ(z, z) from the true-k-poly-Vekua space V 2 ω,(k) (C) is uniquely defined by a function ϕ(z) ∈ V 2 ω (C) and has the form [a, a † ] = 4zz = I .At the same time, the pair of operators a = ∂ ∂z and b = z,

Corollary 6 . 4
There does not exist any orthonormal basis of L 2 (C 2 , dμ(z)) formed by the union of orthonormal bases of the true-poly-Fock spaces.