Strong ultra-regularity properties for positive elements in the twisted convolutions

We show that positive elements with respect to the twisted convolutions, belonging to some ultra-test function space of certain order at origin, belong to the ultra-test function space of the same order everywhere. We apply the result to positive semi-definite Weyl operators.


Introduction
Several issues in operator theory can be studied by means of the twisted convolution. For example, composition and positivity questions can be carried over to related questions for the twisted convolution product by simple manipulations. We notice the simple structure of the twisted convolution, since it essentially consists of a convolution product, disturbed by a (symplectic) Fourier kernel. It is also common that boundedness and regularity conditions on operator kernels often correspond to convenient conditions on related elements in the twisted convolution. For example, operator kernels which belong to the Schwartz space S , or the Gelfand-Shilov spaces S s or Σ s of Roumieu and Beurling types, respectively, carry over to elements in the same class in the twisted convolution. (See Section 1 for notations.) In [8] it is shown that various kinds of singularities for positive elements with respect to the twisted convolution are attained at the origin. Furthermore, it is proved that regularity at origin for such elements impose global regularity and bounedness for these elements and their Fourier transforms.
In this paper we investigate related questions in background of Pilipović spaces, S s and Σ s of Roumieu and Beurling type respectively, a family of function spaces which agrees with corresponding Gelfand-Shilov spaces when these are non-trivial (cf. [6,7]). We introduce the so-called twisted Pilipović spaces S σ,s and Σ σ,s which are symplectic analogies of Pilipović spaces, and show that they are homeomorphic to S s and Σ s , respectively. We also show that S σ,s = S s = S s when the right-hand side is non-trivial, and similarly for corresponding spaces of Beurling types.
We consider norm conditions of powers of a second order partial differential operator H σ and its conjugate. These operators are symplectic analogies to certain partial harmonic oscillators. We show that H σ and H σ commute and can be used to characterize S σ,s and Σ σ,s as for some h > 0 (for every h > 0). In Section 3 we show that if a is positive semi-definite with respect to the twisted convolution, then the relaxed condition |H N σH N σ a(0)| h N (N!) 4s of the right-hand of (0.2) is enough to ensure that a should belong to S σ,s or Σ σ,s .

Preliminaries
In the first part we recall definitions of twisted convolution, the Weyl quantization and positivity in operator theory, and discuss basic properties. The verifications are in general omitted since they can be found in e. g. [8]. Thereafter we recall the definitions of Gelfand-Shilov and Pilipović spaces and discuss some properties. Here we also consider related symplectic analogies of such spaces, defined in terms of Wigner distributions of Hermite functions, considered by Wong in [12,13]. Finally we recall some results in [] on positivity with respect to the twisted convolution.
1.1. Operators and positivity. Let a and b belong to S (R 2d ), the set of Schwartz functions on R 2d . Then the twisted convolution of a and b is given by Here σ is the symplectic form on R d × R d ≃ R 2d , given by The definition of * σ extends in different ways. For example, the map There are strong links between the twisted convolution, and continuity and composition properties in operator theory. This also include analogous questions in the theory of pseudo-differential operators.
In fact, by straight-forward computations it follows that where A is the operator defined by the formula Here and in what follows we identify operators with their kernels.) We note that where F is the Fourier transform on S ′ (R d ) which takes the form Alternatively we may reformulate this identity as , where F 2 Φ is the partial Fourier transform of Φ(x, y) with respect to the y-variable. Evidently, the mappings F 2 and the pullback which takes Φ(x, y) into Φ((y − x)/2, −(x + y)) are homeomorphisms on S (R 2d ) and on S ′ (R 2d ), and unitary on L 2 (R 2d ). Hence similar facts hold true for A.
From these mapping properties it follows that if a ∈ S ′ (R 2d ), then Aa is a linear and continuous operator from S (R d ) to S ′ (R d ). Furthermore, by the kernel theorem of Schwartz it follows that any linear and continuous operator from S (R d ) to S ′ (R d ) is given by Aa, for a uniquely determined a ∈ S ′ (R 2d ).
At this stage we also note that (1.1) remains true, if more generally, a ∈ S ′ (R 2d ) and b ∈ S (R 2d ), which follows by straight-forward computations.
The operator A can also in convenient ways be formulated in the framework of the Weyl calculus of pseudo-differential operators. More precisely, the Weyl quantization The definition of Op w (a) extends in continuous and similar ways as for Aa to any S ′ (R 2d ), and then Op w (a) is continuous from S (R d ) to S ′ (R d ). This extension can also be performed by the relation which follows by straight-forward computations. Here F σ is the symplectic Fourier transform on S ′ (R 2d ), which takes the form From these facts it follow that the Weyl product #, defined by is given by a#b = (2π) d/2 a * σ (F σ b) which again links the twisted convolution to compositions in operator theory.
There are also strong links between positivity for the twisted convolution and positivity in operator theory. We recall that a continuous and linear operator T from , and then we write Positivity for the twisted convolution is defined in an analogous way. That is, an element a ∈ S ′ (R 2d ) (a ∈ D ′ (R 2d )) is positive semi-definite with respect to the twisted convolution, whenever (a * σ ϕ, ϕ) ≥ 0 for every ϕ ∈ S (R 2d ) (ϕ ∈ C ∞ 0 (R 2d )). As above it follows that a ∈ S ′ (R 2d ) is positive semi-definite with respect to * σ , if it is positive semi-definite as an element in D ′ (R 2d ).
The following proposition explains the links between positivity in operator theory and positivity for the twisted convolution.
. Then the following conditions are equivalent: (1) a is positive semi-definite with respect to the twisted convolution; The Gelfand-Shilov spaces S s (R d ) and Σ s (R d ) are the inductive and projective limits respectively of S s,h (R d ) with respect to h > 0. Consequently The space Σ s (R d ) is a Fréchet space with semi norms · S s,h , h > 0. If ε > 0 and s > 0, then The Gelfand-Shilov distribution spaces S ′ s (R d ) and Σ ′ s (R d ) are the projective and inductive limits respectively of By [3], S ′ s and Σ ′ s are the duals of S s and Σ s , respectively. The Gelfand-Shilov spaces and their duals are invariant under translations, dilations, (partial) Fourier transformations and under several other important transformations. In fact, by straight-forward computations it follows that the properties and results in Subsection 1.1 hold true with S s and S ′ s in place of S and S ′ , respectively, when s ≥ 1/2, or with Σ s and Σ ′ s in place of S and S ′ , respectively, when s > 1/2.
1.3. The Pilipović spaces. We start to consider spaces which are obtained by suitable estimates of Gelfand-Shilov or Gevrey type when using powers of the harmonic oscillator H = |x| 2 − ∆, x ∈ R d . In general we omit the arguments, since more thorough exposition is available in e. g. [11].
contains all Hermite functions when s > 0, and if s = 0 and α ∈ N d satisfies 2|α| and equip these spaces by projective and inductive limit topologies, respectively, of S h,s (R d ), h > 0. (Cf. [4,6,7,11].) The space Σ s (R d ) 1 is called the Pilipović space (of Beurling type) of order s ≥ 0 on R d . Similarly, S s (R d ) is called the Pilipović space (of Roumieu type) of order s ≥ 0 on R d . Evidently, Σ 0 (R d ) is trivially equal to {0}, while h α ∈ S s (R d ), when s ≥ 0 and h α ∈ Σ s (R d ), when s > 0.
Let s > 0 and ε > 0. Then (1.5) Furthermore, in [11] it is proved that S 0 (R d ) consists of all finite linear combinations of Hermite functions, while The next propositions show that Pilipović spaces can be characterized by Hermite coefficients c α given by (1.6). The proofs can be found in [2,11]. Here H 1 U and H 2 U are the partial harmonic oscillators given by (1.7) Proposition 1.2. Let s ≥ 0 (s > 0) and f ∈ S ′ 0 (R d ) be given by (1.6). Then the following conditions are equivalent: ( (2) |c α (f )| e −r|α| 1 2s for some r > 0 (for every r > 0).
, and H 1 and H 2 be given by (1.7). Then the following conditions are equivalent: (1) U ∈ S s (R 2d ) (U ∈ Σ s (R 2d )); for some h > 0 (for every h > 0). Remark 1.4. Let S s and Σ s be the Gelfand-Shilov spaces of order s ≥ 0.
Then it is proved in [6,7] that Remark 1.5. In [11] it is proved that S s 1 and Σ s 2 are not invariant under dilations when s 1 < 1/2 and s 2 ≤ 1/2.

Twisted Pilipović spaces and their properties
In this section we introduce twisted Pilipović spaces as the counter images of the operator A on Pilipović spaces, and deduce some basic properties. We also consider their distribution spaces.
We begin with some definitions.
Definition 2.1. The Hermite-Wong function of order on R 2d is given by The Hermite-Wong functions were studied in different ways by M. W. Wong in [12,13]. By the definition it follows that when α = (α 1 , α 2 ) ∈ N 2d and X = (x, ξ) ∈ R 2d . We observe that the Hermite-Wong functions are eigenfunctions to F σ . More precisely, we have which follows from the fact that F σ (W f,g ) = Wf ,g (see e. g. [?, 5]. Herě (1) The set S ′ σ,0 (R 2d ) consists of all formal expansions where {c α } α∈N 2d ⊆ C. (2) The set S σ,0 (R 2d ) consists of all expansions in (2.1) such that c α are non-zero for at most finite numbers of α.
The spaces in Definition 2.2 are equipped by topologies in similar way as for the Pilipovć spaces in [11].
The set S σ,s (R 2d ) (Σ σ,s (R 2d )) is called the twisted Pilipović space of Roumieu type (Beurling type) of order s. It follows that the sets S ′ σ,s (R 2d ) and Σ ′ σ,s (R 2d ) are corresponding distribution spaces, since similar facts hold true for Pilipović space [11].
We extend the definition of A on S by letting , and similarly for their duals. Since it is clear that A is homeomorphism on any Fourier invariant Gelfand-Shilov spaces, we get S σ,s (R 2d ) = S s (R 2d ) = S s (R 2d ), when s ≥ 1/2 and Σ σ,s (R 2d ) = Σ s (R 2d ) = Σ s (R 2d ), when s > 1/2, and similarly for corresponding distribution spaces. Remark 2.3. Let a ∈ S ′ σ,0 (R 2d ) be as in (2.1). Since A is a homeomorphism on S (R 2d ) and on S ′ (R 2d ), it follows from [10] that a belongs to S (R 2d ) if and only if c α x −N for every N ≥ 0. In the same way, a ∈ S ′ (R 2d ) if and only if c α x N for some N ≥ 0.
Next we discuss the partial harmonic oscillators H 1 and H 2 in Proposition 1.3, and their counter images under the operator A. We let H σ be the operator on S (R 2d ), given by and we let T σ = H σ •H σ . Here we note that The following lemma explains some spectral properties of the considered operators.
If a ∈ S ′ σ,s (R 2d ) and b ∈ S σ,s (R 2d ). We now let H σ be defined by as usual, which extends the definitions of H σ andH σ to S ′ σ,s (R 2d ). The extensions of these operators to Σ ′ σ,s (R 2d ) and S ′ (R 2d ) are performed in similar ways. By (2.2), it follows that these extensions are unique.
The next lemma shows important links between the latter operators and partial harmonic oscillators.
Lemma 2.5. Let H 1 and H 2 be as in Proposition 1.3, and let a ∈ S σ,s (R 2d ). Then H σ andH σ are commuting to each other, and are sequences in l 2 (N; L 2 (R d )), and a is given by where the series convergences in S ′ (R 2d ).
Proof. The commutation between H σ andH σ follows if we prove (2.4). We recall the operators By straight-forward computations we get Summing up over all j gives In the same way we get (1) a ∈ S σ,s (R 2d ) (a ∈ Σ σ,s (R 2d )); Proof. Let U = Aa. Since M p 1 (R 2d ) ⊆ M p,q (R 2d ) ⊆ M p 2 (R 2d ), when p 1 = min(p, q) and p 2 = max(p, q), we may assume that p = q.
Since A is a homeomorphism on M p (R 2d ), we get  (1) and (3) now follows from Proposition 1.3 and the fact that A is a homeomorphism from S σ,s (R 2d ) to S s (R 2d ).
Finally by the embeddings the equivalence between (2) and (3) now follows.

7)
holds for some h > 0 (for every h > 0). Remark 1.6 and Lemma 2.5 show that (2.7) is necessary but not sufficient in order for a ∈ S σ,s (R 2d ) or a ∈ Σ σ,s (R 2d ).

Twisted Pilipović space property for positive elements with respect to the twisted convolution
We study positive elements with respect to twisted convolution in S ′ , having the twisted Pilipović space regularities near the origin. We show that such elements are in S σ,s or in Σ σ,s .
The following theorem shows that the condition of the form (2.7) at origin is sufficient that the converse of Corollary 2.7 holds when dealing with positive semi-definite elements with respect to the twisted convolution.
Proof. By the assumption, we may write a = k A −1 (f k ⊗ f k ). By Lemma 2.5, we obtain for some sequence {f k } ∞ k=0 . Let K = k f k ⊗ f k be the kernel of Aa. Then Thus by the assumption, we get H N 1 H N 2 K L 2 h 2N (N!) 4s , for some h > 0 (for every h > 0), giving that K ∈ S s (R 2d ) (K ∈ Σ s (R 2d )) in view of Proposition 1.3 and Remark 1.6. Hence a ∈ S σ,s (R 2d ) (a ∈ Σ σ,s (R 2d )).