arXiv:1807.08389v3 [math.AP] 26 Jan 2019 eegesae.Fuiritga prtr ilb osdrdin considered be will operators integral Fourier spaces. Lebesgue rtr ula rc,seta rc,cmatLegop com group, Lie compact trace, spectral trace, nuclear erator, rc fteeoeaos xlcteape ilb ie on given be will examples fo Explicit formulae operators. give these also of We trace manifolds). homogeneous (compact spaces group pca ntr ru SU(2) group unitary special prtr endb h elqatzto procedure. quantization Weyl the by defined operators hoeswl eapidt h hrceiainof characterization the to applied be will theorems .Introduction 1. e od n phrases. and words Key 2010 manifolds homogeneous compact m on homogeneous FIOs compact References Global on operators integral Fourier 4.1. groups Nuclear Lie compact on 4. FIOs on 3.2. FIOs on operators 3.1. integral Fourier of Characterizations d 3. operators pseudo-differential nuclear on of FIOs Characterization for trace nuclear 2.3. The FIOs operators nuclear integral of 2.2. Fourier Characterization nuclear for criteria 2.1. Symbol operators integral Fourier 2. Nuclear paper the of 1.2. Outline 1.1. nti ae ecaatrz the characterize we paper this In NTENCERTAEO ORE INTEGRAL FOURIER OF TRACE NUCLEAR THE ON opc i groups Lie compact Z ahmtc ujc Classification. Subject Mathematics ore nerloeaoson operators integral Fourier Abstract. i rusadcmathmgnosmnfls eas investigate also operators. We these of manifolds. trace homogeneous clear compact and groups Lie n , the h Weyl-H¨ormander quantization the n dmninltrs rirr opc i rusadsymmetric and groups Lie compact arbitrary torus, -dimensional Z nti ae epoiecaatrztosfrtencert of nuclearity the for characterizations provide we paper this In n PRTR IN OPERATORS ore nerloeao,Ped-ieeta prtr nucle operator, Pseudo-differential operator, integral Fourier , n h rjciecmlxplane complex projective the and 1. DUV R S 2010. MSC n Introduction Contents , NCARDONA AN ´ ntedsrt group discrete the on r ncert fFuiritga prtr on operators integral Fourier of -nuclearity rmr 53;Scnay58J40. Secondary 35S30; Primary R 1 n L rmr 53;Scnay58J40. Secondary 35S30; Primary p -SPACES athmgnosmanifolds. homogeneous pact r ncerpseudo-differential -nuclear Z n , Z rirr compact arbitrary n Z n arbitrary and n , h torus the R CP n fie by efined h nu- the , h nuclear the r 2 h discrete the . anifolds u main Our T n rop- ar the , 27 20 20 16 13 13 11 10 2 1 5 5 3 2 D. CARDONA
1.1. Outline of the paper. Let us recall that the Fourier integral operators (FIOs) on Rn, are integral operators of the form
F f(x) := eiφ(x,ξ)a(x, ξ)(F f)(ξ)dξ, (1.1) Rn Z where Ff is the Fourier transform of f, or in a more general setting, linear integral operators formally defined by
T f(x) := eiφ(x,ξ)−i2πy·ξa(x,y,ξ)f(y)dydξ. (1.2) R2n Z As it is well known, FIOs are used to express solutions to Cauchy problems of hyperbolic equations as well as for obtaining asymptotic formulas for the Weyl eigenvalue function associated to geometric operators (see H¨ormander [40, 41, 42] and Duistermaat and H¨ormander [29]). According to the theory of FIOs developed by H¨ormander [40], the phase func- tions φ are positively homogeneous of order 1 and they are considered smooth at ξ =06 , while the symbols are considered satisfying estimates of the form β α κ−|α| sup |∂x ∂ξ a(x,y,ξ)| ≤ Cα,β,K(1 + |ξ|) , (1.3) (x,y)∈K for every compact subset K of R2n. Let us observe that Lp-properties for FIOs can be found in the references H¨ormander [40], Eskin[31], Seeger, Sogge and Stein[61], Tao[64], Miyachi [47], Peral[49], Asada and Fujiwara[2], Fujiwara[33], Kumano- go[43], Coriasco and Ruzhansky [12, 13], Ruzhansky and Sugimoto [54, 55, 56, 57], Ruzhansky [60], and Ruzhansky and Wirth [59]. A fundamental problem in the theory of Fourier integral operators is that of classifying the interplay between the properties of a symbol and the properties of its associated Fourier integral operator. In this paper our main goal is to give, in terms of symbol criteria and with sim- ple proofs, characterizations for the r-nuclearity of Fourier integral operators on Lebesgue spaces. Let us mention that this problem has been considered in the case of pseudo-differential operators by several authors. However, the obtained results belong to one of two possible approaches. The first ones, are sufficient conditions on the symbol trough of summability conditions with the attempt of studying the distribution of the spectrum for the corresponding pseudo-differential operators. The second ones, provide roughly speaking, a decomposition for the symbols as- sociated to nuclear operators, in terms of the Fourier transform, where the spatial variables and the momentum variables can be analyzed separately. Nevertheless, in both cases the results can be applied to obtain Grothendieck-Lidskii’s formulae on the summability of eigenvalues when the operators are considered acting in Lp spaces. Necessary conditions for the r-nuclearity of pseudo-differential operators in the compact setting can be summarized as follows. The nuclearity and the 2/3- nuclearity of pseudo-differential operators on the circle S1 and on the lattice Z can be found in Delgado and Wong [16]. Later, the r-nuclearity of pseudo- differential operators was extensively developed on arbitrary compact Lie groups and on (closed) compact manifolds by Delgado and Ruzhansky in the works ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 3
[19, 20, 21, 22, 25] and by the author in [11]; other conditions can be found in the works [24, 26, 27]. Finally, the subject was treated for compact manifolds with boundary by Delgado, Ruzhansky, and Tokmagambetov in [28]. On the other hand, characterizations for nuclear operators in terms of de- composition of the symbol trough of the Fourier transform were investigated by Ghaemi, Jamalpour Birgani, and Wong in [38, 39, 44] for S1, Z and also for ar- bitrary compact and Hausdorff groups. Finally the subject has been considered for pseudo-multipliers associated to the harmonic oscillator (which can be quali- fied as pseudo-differential operators according to the Ruzhansky-Tokmagambetov calculus when the reference operators is the quantum harmonic oscillator) in the works of the author [9, 10, 3]. 1.2. Nuclear Fourier integral operators. In order to present our main result we recall the notion of nuclear operators. By following the classical reference Grothendieck [37], we recall that a densely defined linear operator T : D(T ) ⊂ E → F (where D(T ) is the domain of T, and E, F are choose to be Banach spaces) extends to a r-nuclear operator from E into F , if there exist sequences ′ ′ (en)n∈N0 in E (the dual space of E) and (yn)n∈N0 in F such that, the discrete representation ′ ′ r r T f = en(f)yn, with kenkE′ kynkF < ∞, (1.4) n∈N n∈N X0 X0 holds true for all f ∈ D(T ). The class of r−nuclear operators is usually endowed with the natural semi-norm 1 r ′ r r ′ n (T ) := inf ke k ′ ky k : T = e ⊗ y (1.5) r n E n F n n ( n ) n X X and, if r = 1, n1(·) is a norm and we obtain the ideal of nuclear operators. In addition, when E = F is a Hilbert space and r = 1 the definition above agrees with that of trace class operators. For the case of Hilbert spaces H, the set of r-nuclear operators agrees with the Schatten-von Neumann class of order r (see Pietsch [50, 51]).
In order to characterize the r-nuclearity of Fourier integral operators on Rn, we will use (same that in the references mentioned above) Delgado’s characterization (see [17]), for nuclear integral operators on Lebesgue spaces defined in σ-finite measure spaces, which in this case will be applied to Lp(Rn)-spaces. Conse- quently, we will prove that r-nuclear Fourier integral operators defined as in (1.1) have a nuclear trace given by
Tr(F )= eiφ(x,ξ)−i2πx·ξa(x, ξ)dx dξ. (1.6) RZn RZn In this paper our main result is the following theorem. 1 Rn Theorem 1.1. Let 0 p p p2 ka(x, ξ)kL 2 L 1 (Rn×Rn), := |a(x, ξ)| dx dξ < ∞, (1.9) x ξ RZn RZn and 1 p2 p2 p1 p p p1 ka(x, ξ)kL 1 L 2 (Rn×Rn), := |a(x, ξ)| dξ dx < ∞. (1.10) ξ x RZn RZn Sufficient conditions in order that pseudo-differential operators in L2(Rn) can be extended to (trace class) nuclear operators are well known. Let us recall that the Weyl-quantization of a distribution σ ∈ S ′(R2n) is the pseudo-differential operator defined by x + y Af(x) ≡ σω(x, D )f(x)= ei2π(x−y)·ξσ ,ξ f(y)dydξ. (1.11) x 2 RZn RZn 1 2n 2 2 As it is well known σ = σA(·, ·) ∈ L (R ), implies that A : L → L is class 2 2 2 2n trace, and A : L → L is Hilbert-Schmidt if and only if σA ∈ L (R ). In the framework of the Weyl-H¨ormander calculus of operators A associated to symbols σ in the S(m, g)-classes (see [42]), there exist two remarkable results. The first 1 2n one, due to Lars H¨ormander, which asserts that σA ∈ S(m, g) and σ ∈ L (R ) implies that A : L2 → L2 is a trace class operator. The second one, due to L. 1 1 Rodino and F. Nicola expresses that σA ∈ S(m, g) and m ∈ Lw, (the weak-L space), implies that A : L2 → L2 is Dixmier traceable [53]. Moreover, an open 1 R2n conjecture by Rodino and Nicola (see [53]) says that σA ∈ Lw( ) gives an ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 5 operator A with finite Dixmier trace. General properties for pseudo-differential operators on Schatten-von Neumann classes can be found in Buzano and Toft [8]. As an application of Theorem 1.1 to the Weyl quantization we present the following theorem. Theorem 1.3. Let 0 2. Symbol criteria for nuclear Fourier integral operators 2.1. Characterization of nuclear FIOs. In this section we prove our main result for Fourier integral operators F defined as in (1.1). Our criteria will be formulated in terms of the symbols a. First, let us observe that every FIO F has a 6 D. CARDONA integral representation with kernel K(x, y). In fact, straightforward computation shows us that F f(x) := K(x, y)f(y)dy, (2.1) Rn Z where K(x, y) := eiφ(x,ξ)−i2πy·ξa(x, ξ)dξ, Rn Z for every f ∈ D(Rn). In order to analyze the r-nuclearity of the Fourier integral operator F we will studying its kernel K, by using as a fundamental tool, the following theorem (see J. Delgado [15, 17]). ′ Theorem 2.1. Let us consider 1 ≤ p1,p2 < ∞, 0 r r ′ khkk p2 kgkk p < ∞, and T f(x)= ( hk(x)gk(y))f(y)dµ1(y), a.e.w. x, L L 1 k Z k X X1 X (2.2) p1 for every f ∈ L (µ1). In this case, if p1 = p2, and µ1 = µ2, (see Section 3 of [15]) the nuclear trace of T is given by Tr(T ) := gk(x)hk(x)dµ1(x). (2.3) Z k X1 X Remark 2.2. Given f ∈ L1(Rn), define its Fourier transform by F f(ξ) := e−i2πx·ξf(x)dx. (2.4) Rn Z If we consider a function f, such that f ∈ L1(Rn) with F f ∈ L1(Rn), the Fourier inversion formula gives f(x)= ei2πx·ξF f(ξ)dξ. (2.5) Rn Z F ′ F Moreover, the Hausdorff-Young inequality k fkLp ≤ kfkLp (with k fkL2 = p kfkL2 ) shows that the Fourier transform is a well defined operator on L , 1 < p ≤ 2. Now, we prove our main theorem. 1 Rn Theorem 2.3. Let 0 −1 r −1 r ′ ′ r ′ kF (δ )k p1 = kF (δ )k (p ) ≤kδ k p =1. (2.12) ξ0 L ξ0 L 1 ξ0 L 1 Rn F −1 r p1 Rn So, for every r > 0 and ξ0 ∈ , the function δξ0 ∈ L ( ) = Dom(F ), and we get, ∞ F −1 r F −1 r F ( δξ0 )(x)= hk(x)gk(y) δξ0 (y)dy. Rn ! Z Xk=1 ∞ 1 R2n Taking into account that K(x, y)= k=1 hk(x)gk(y) ∈ L ( ) (see, e.g., Lemma −1 r r F ∞ 1 3.1 of [24]), that k δξ0 kL ≤ kδξ0 kL = 1, and that (in view of the Lebesgue Differentiation Theorem) P 1 F −1 r i2πx·ξ i2πx·ξ0 lim δξ (x) = lim e dξ = e , (2.13) r→0+ 0 r→0+ |B(ξ ,r)| 0 ZB(ξ0,r) an application of the Dominated Convergence Theorem gives ∞ ∞ F −1 r i2πy·ξ0 F −1 lim F ( δξ0 )(x)= hk(x)gk(y) e dy = hk(x)( gk)(ξ0). r→0+ Rn Z k=1 ! k=1 X X (2.14) 8 D. CARDONA In fact, for a.e.w. x ∈ Rn, ∞ ∞ F −1 r 1 i2πy·ξ hk(x)gk(y) ( δξ0 )(y) = hk(x)gk(y) e dξ ! ! |B(ξ0,r)| B(ξ0,r) Xk=1 Xk=1 Z ∞ ≤ hk(x)gk(y) = |K(x, y)|. k=1 X Because, K ∈ L1(R2n), and the function κ(x, y) := |K(x, y)| is non-negative on the product space R2n, by the Fubinni theorem applied to positive functions, the L1(R2n)-norm of K can be computed from iterated integrals as |K(x, y)|dy,dx = |K(x, y)|dy dx = |K(x, y)|dx dy. Z Z Z Z Z Z (2.15) By Tonelly theorem, for a.e.w. x ∈ Rn, the function κ(x, ·)= |K(x, ·)| ∈ L1(Rn). Now, by the dominated convergence theorem, we have F −1 r lim F ( δξ )(x) r→0+ 0 F −1 r F −1 r = lim K(x, y) δξ0 (y)dy = K(x, y) lim δξ0 (y)dy r→0+ Rn Rn r→0+ Z Z = K(x, y)ei2πyξ0 dy = lim K(x, y) · ei2πyξ0 dy Rn ℓ→∞ Z Z|y|≤ℓ ∞ i2πyξ0 = lim hk(x)gk(y) · e · 1{|y|≤ℓ} · dy. ℓ→∞ Rn ! Z Xk=1 Now, from Lemma 3.4-(d) in [24], ∞ i2πyξ0 lim hk(x)gk(y) · e · 1{|y|≤ℓ} · dy ℓ→∞ Rn Z k=1 ! X m i2πyξ0 = lim hk(x)gk(y) · e · 1{|y|≤ℓ} · dy ℓ,m→∞ Rn Z k=1 ! m X i2πyξ0 = lim hk(x) gk(y) · e · 1{|y|≤ℓ} · dy ℓ,m→∞ Rn k=1 Z Xm i2πyξ0 = lim hk(x) gk(y) · e dy ℓ,m→∞ k=1 Z|y|≤ℓ ∞ X −1 = hk(x)(F gk)(ξ0). Xk=1 F −1 r On the other hand, if we compute F ( δξ0 ) from the definition (1.1), we have 1 F (F −1δr )(x)= eiφ(x,ξ)a(x, ξ)dξ. ξ0 |B(ξ ,r)| 0 ZB(ξ0,r) ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 9 1 Rn Rn From the hypothesis that a(x, ·) ∈ Lloc( ) for a.e.w x ∈ , the Lebesgue Differentiation theorem gives F −1 r iφ(x,ξ0) lim F ( δξ )= e a(x, ξ0). (2.16) r→0+ 0 Consequently, we deduce the identity ∞ iφ(x,ξ0) −1 e a(x, ξ0)= hk(x)(F gk)(ξ0), (2.17) Xk=1 which in turn is equivalent to ∞ −iφ(x,ξ0) −1 a(x, ξ0)= e hk(x)(F gk)(ξ0). (2.18) Xk=1 So, we have proved the first part of the theorem. Now, if we assume that the sym- bol a of the FIO F satisfies the decomposition formula (2.18) for fixed sequences ′ p2 p hk in L and gk in L 1 satisfying (2.32), then from (1.1) we can write ∞ φ(x,ξ) −1 F f(x)= e a(x, ξ)F f(ξ)dξ = hk(x)(F gk)(ξ)(F f)(ξ)dξ Rn Rn Z Z k=1 ∞ X i2πyξ = hk(x) e gk(y)dy(F f)(ξ)dξ Rn Rn Z k=1 Z X∞ i2πyξ = hk(x)gk(y) e (F f)(ξ)dξ dy Rn Rn Z k=1 ! Z X∞ = hk(x)gk(y) f(y)dy, Rn ! Z Xk=1 where in the last line we have used the Fourier inversion formula. So, by Delgado Theorem (Theorem 2.1) we finish the proof. 1 Rn Proof of Theorem 1.2. Let a(·, ·) be a symbol such that a(x, ·) ∈ Lloc( ), a.e.w., n x ∈ R . Let 2 ≤ p1 < ∞, 1 ≤ p2 < ∞, and let F be the Fourier integral operator associated to a(·, ·). If F : Lp1 (Rn) → Lp2 (Rn) is nuclear, then Theorem 1.1 guarantees the decomposition ∞ −iφ(x,ξ) −1 a(x, ξ)= e hk(x)(F gk)(ξ), a.e.w., (x, ξ), Xk=1 where {gk}k∈N and {hk}k∈N are sequences of functions satisfying ∞ ′ kg k p kh k p2 < ∞. (2.19) k L 1 k L Xk=0 10 D. CARDONA p2 So, if we take the Lx -norm, we have, ∞ −iφ(x,ξ) −1 p2 F ka(x, ξ)kLx = e hk(x)( gk)(ξ) k=1 p2 X Lx ∞ −1 = hk(x)(F gk)(ξ) k=1 p2 X Lx ∞ −1 ≤ khkkLp2 |(F gk)(ξ )|. Xk=1 −1 ′ Now, if we use the Hausdorff-Young inequality, we deduce, kF g k p1 ≤kg k p . k L k L 1 Consequently, 1 p1 p1 p2 p p p2 ka(x, ξ)kL 2 L 1 (Rn×Rn), = |a(x, ξ)| dx dξ x ξ RZn RZn ∞ −1 ≤ khkkLp2 |(F gk)(ξ)| k=1 p1 Lξ X ∞ −1 ≤ khkkLp2 kF gkkLp1 k=1 X∞ ′ ≤ kh k p2 kg k p < ∞. k L k L 1 Xk=1 In an analogous way we can prove that ∞ ′ ka(x, ξ)k p1 p2 Rn Rn ≤ khkkLp2 kgkk p < ∞. Lξ Lx ( × ) L 1 Xk=1 Thus, we finish the proof. 2.2. The nuclear trace for FIOs on Rn. If we choose a r-nuclear operator T : E → E, 0 < r ≤ 1, with the Banach space E satisfying the Grothendieck approximation property (see Grothendieck[37]), then there exist (a nuclear de- ′ ′ composition) sequences (en)n∈N0 in E (the dual space of E) and (yn)n∈N0 in E satisfying ′ T f = en(f)yn, f ∈ E, (2.20) N nX∈ 0 and ′ r r kenkE′ kynkF < ∞. (2.21) n∈N X0 In this case the nuclear trace of T is (a well-defined functional) given by Tr(T )= ′ p Nn e (fn). Because L -spaces have the Grothendieck approximation property n∈ 0 n and as consequence we can compute the nuclear trace of every r-nuclear pseudo- multipliers.P We will compute it from Delgado Theorem (Theorem 2.1). For to do ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 11 so, let us consider a r−nuclear Fourier integral operator F : Lp(Rn) → Lp(Rn), 2 ≤ p< ∞. If a is the symbol associated to F, in view of (2.6), we have ∞ iφ(x,ξ)−2πix·ξ iφ(x,ξ)−2πix·ξ −iφ(x,ξ) e a(x, ξ)dξ dx = e e hk(x)(F gk)(−ξ)dξ dx RZ2n RZn RZn Xk=1 ∞ −2πix·ξ −1 = hk(x) e (F gk)(ξ)dξ dx RZn Xk=1 RZn ∞ = hk(x)gk(x)dx = Tr(F ). RZn Xk=1 So, we obtain the trace formula Tr(F )= eiφ(x,ξ)−2πix·ξa(x, ξ)dξ dx. (2.22) RZn RZn Now, in order to determinate a relation with the eigenvalues of F we recall that, the nuclear trace of an r-nuclear operator on a Banach space coincides with 2 2 the spectral trace, provided that 0 ′ Tr(T ) := en(fn)= λn(T ) (2.23) n∈Nn n X0 X where λn(T ), n ∈ N is the sequence of eigenvalues of T with multiplicities taken into account. As an immediate consequence of the preceding theorem, if the FIO F : Lp(Rn) → p Rn 1 1 1 L ( ) is r-nuclear, the relation r =1+ | p − 2 | implies, iφ(x,ξ)−2πix·ξ Tr(F )= e a(x, ξ)dξ dx = λn(T ), (2.24) n RZn RZn X where λn(T ), n ∈ N is the sequence of eigenvalues of F with multiplicities taken into account. 2.3. Characterization of nuclear pseudo-differential operators defined by the Weyl-H¨ormander quantization. As it was mentioned in the intro- duction, the Weyl-quantization of a distribution σ ∈ S ′(R2n) is the pseudo- differential operator defined by x + y σω(x, D )f(x)= ei2π(x−y)·ξσ ,ξ f(y)dydξ. (2.25) x 2 RZn RZn 12 D. CARDONA There exist relations between pseudo-differential operators associated to the clas- sical quantization i2π(x−y)·ξ i2πx·ξ σ(x, Dx)f(x)= e σ (x, ξ) f(y)dydξ = e σ (x, ξ)(F f)(ξ)dξ, RZn RZn RZn (2.26) or in a more general setting, τ-quantizations defined for every 0 < τ ≤ 1, by the integral expression, τ i2π(x−y)·ξ σ (x, Dx)f(x)= e σ (τx + (1 − τ)y,ξ) f(y)dydξ, (2.27) RZn RZn 1 (with τ = 2 corresponding to the Weyl-H¨ormander quantization) as it can be viewed in the following proposition (see Delgado [14]). ′ 2n τ τ ′ Proposition 2.5. Let a, b ∈ S (R ). Then, a (x, Dx) = b (x, Dx) if and only if a(x, ξ)= e−i2π(ξ−η)zb(x +(τ ′ − τ)z, η)dzdη (2.28) RZn RZn provided that 0 < τ,τ ′ ≤ 1. Theorem 2.6. Let 0 a(x, ξ)= e−i2π(ξ−η)zb(x + (1 − τ)z, η)dzdη. RZn RZn By Theorem 1.1 applied to φ(x, ξ)=2πx·ξ, and taking into account that b(x, Dx) ′ p2 p is r-nuclear, there exist sequences hk in L and gk in L 1 satisfying ∞ −i2πx·ξ −1 b(x, ξ)= e hk(x)(F gk)(ξ), a.e.w., (x, ξ), (2.31) Xk=1 with ∞ r r ′ kgkk p khkk p2 < ∞. (2.32) L 1 L Xk=0 ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 13 So, we have ∞ −i2π(ξ−η)z−i2π(x+(1−τ)z)η −1 a(x, ξ)= e hk(x + (1 − τ)z)(F gk)(η) dzdη. ! RZn RZn Xk=1 Since −i2π(ξ − η)z − i2π(x + (1 − τ)z) · η = −i2πξ · z + i2πη · z − i2πx · η − i2π(1 − τ)z · η = −i2πξ · z − i2πx · η + i2πτz · η, we have ∞ −i2πξ·z−i2πx·η+i2πτz·η −1 a(x, ξ)= e hk(x + (1 − τ)z)(F gk)(η)dzdη Xk=1RZn RZn ∞ −i2πξ·z −i2π(x−τz)·η −1 = e hk(x + (1 − τ)z) e (F gk)(η)dηdz Xk=1RZn RZn ∞ −i2πz·ξ = e hk(x + (1 − τ)z)gk(x − τz)dz. Xk=1RZn So, we have proved the first part of the characterization. On the other hand, if we assume (2.29), then a(x, ξ)= e−i2π(ξ−η)zb(x + (1 − τ)z, η)dzdη, RZn RZn where b(x, ξ) is defined as in (2.31). So, from Theorem 1.1 we deduce that b(x, Dx) τ is r-nuclear and from the equality a (x, Dx)= b(x, Dx) we deduce the r-nuclearity τ of a (x, Dx). The proof is complete. Remark 2.7. Let us observe that from Theorem 2.6 with τ =1/2, we deduce the Theorem 1.3 mentioned in the introduction. 3. Characterizations of Fourier integral operators on Zn and arbitrary compact Lie groups 3.1. FIOs on Zn. In this subsection we characterize those Fourier integral op- erators on Zn (the set of points in Rn with integral coordinates) admitting nu- clear extensions on Lebesgue spaces. Now we define pseudo-differential operators and discrete Fourier integral operators on Zn. The discrete Fourier transform of f ∈ ℓ1(Z) is defined by −i2πm·ξ n (FZn f)(ξ)= e f(m), ξ ∈ [0, 1] . (3.1) Zn mX∈ The Fourier inversion formula gives i2πm·ξ n f(m)= e (FZn f)(ξ)dξ, m ∈ Z . (3.2) n Z[0,1] 14 D. CARDONA In this setting pseudo-differential operators on Zn are defined by the integral form ′ i2πn′·ξ ′ 1 n ′ n tmf(n ) := e m(n ,ξ)(FZn f)(ξ)dξ, f ∈ ℓ (Z ), n ∈ Z . (3.3) n Z[0,1] These operators were introduced by Molahajloo in [48]. However, the fundamen- tal work Botchway L., Kibiti G., Ruzhansky M., [7] provide a symbolic calculus and other properties for these operators on ℓp-spaces. In particular, Fourier in- tegral operators on Zn were defined in such reference as integral operators of the form ′ iφ(n′,ξ) ′ 1 n ′ n fa,φf(n ) := e a(n ,ξ)(FZn f)(ξ)dξ, f ∈ ℓ (Z ), n ∈ Z . (3.4) n Z[0,1] Our main tool in the characterization of nuclear FIOs on Zn is the following result due to Jamalpour Birgani [44]. Theorem 3.1. Let 0 Theorem 3.2. Let 0 < r ≤ 1, 1 ≤ p1 < ∞, 1 ≤ p2 < ∞, and let fa,φ be the Fourier integral operator associated to the phase function φ and to the symbol p1 n p2 n a(·, ·). Then, fa,φ : ℓ (Z ) → ℓ (Z ) is r-nuclear, if and only if, the symbol a(·, ·) admits a decomposition of the form ∞ ′ −iφ(n′,ξ) ′ a(n ,ξ)= e hk(x)(FZn gk)(−ξ), a.e.w., (n ,ξ), (3.7) Xk=1 where {gk}k∈N and {hk}k∈N are sequences of functions satisfying ∞ r r ′ kgkk p khkk p2 < ∞. (3.8) ℓ 1 ℓ Xk=0 Proof. Let us write the operator fa,φ as iφ(n′,ξ) ′ i2πn′·ξ ′ fa,φf(x)= e a(n ,ξ)(FZn f)(ξ)dξ = e m(n ,ξ)(FZn f)(ξ)dξ n n Z[0,1] Z[0,1] (3.9) ′ ′ where m(n′,ξ)= eiφ(n ,ξ)−i2πn ·ξa(n′,ξ). So, the discrete Fourier integral operator fa,φ coincides with the discrete pseudo-differential operator tm with symbol m. ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 15 p1 n p2 n By using Theorem 3.5, the operator fa,φ = tm : ℓ (Z ) → ℓ (Z ) is r-nuclear, if and only if, the symbol m(·, ·) admits a decomposition of the form ∞ ′ −i2πn′ξ ′ ′ m(n ,ξ)= e hk(n )(FZn gk)(−ξ), a.e.w., (n ,ξ), (3.10) Xk=1 where {gk}k∈N and {hk}k∈N are sequences of functions satisfying ∞ r r ′ kgkk p khkk p2 < ∞. (3.11) ℓ 1 ℓ Xk=0 Let us note that from the definition of m we have ∞ iφ(n′,ξ)−i2πn′·ξ ′ −i2πn′·ξ ′ ′ e a(n ,ξ)= e hk(n )(FZn gk)(−ξ), a.e.w., (n ,ξ), Xk=1 which in turn, is equivalent to ∞ ′ −iφ(n′,ξ) ′ a(n ,ξ)= e hk(n )(FZn gk)(−ξ). (3.12) Xk=1 Thus, the proof is complete. Remark 3.3. The nuclear trace of a nuclear discrete pseudo-differential operator n p n p n on Z , tm : ℓ (Z ) → ℓ (Z ), 1 ≤ p < ∞, can be computed according to the formula ′ Tr(tm)= m(n ,ξ)dξ. (3.13) n′∈Zn X [0,Z1]n ′ From the proof of the previous criterion, we have that fa,φ = tm where m(n ,ξ)= φ(n′,ξ)−i2πn′ξ ′ p n p n e a(n ,ξ) and consequently, if fa,φ : ℓ (Z ) → ℓ (Z ), 1 ≤ p < ∞, is r-nuclear, its nuclear trace is given by φ(n′,ξ)−i2πn′ξ ′ Tr(fa,φ)= e a(n ,ξ)dξ. (3.14) n′∈Zn X [0,Z1]n Now, we present an application of the previous result. p1 n p2 n Theorem 3.4. Let 2 ≤ p1 < ∞, and 1 ≤ p2 < ∞. If fa,φ : ℓ (Z ) → ℓ (Z ) is ′ p2 p1 Zn Tn p1 p2 Zn Tn nuclear, then a(n ,ξ) ∈ ℓn′ Lξ ( × ) ∩ Lξ ℓn′ ( × ), this means that 1 p1 p1 p2 ′ ′ p2 ka(n ,ξ)k p2 p1 Zn Tn := |a(n ,ξ)| dξ < ∞, (3.15) ℓn′ Lξ ( × ), ′ Zn ! TZn nX∈ and 1 p2 p2 p1 ′ p1 ka(n ,ξ)k p1 p2 Zn Tn := |a(x, ξ)| dξ < ∞. (3.16) Lξ ℓn′ ( × ), ′ Zn n ∈ TZn X 16 D. CARDONA The proof is only an adaptation of the proof that we have done for Theorem 1.2. We only need to use a discrete Hausdorff-Young inequality. In this case, we use ′ kFZn g k p1 Tn ≤kg k p . (3.17) k L ( ) k ℓ 1 (Zn) 3.2. FIOs on compact Lie groups. In this subsection we characterize nuclear Fourier integral operators on compact Lie groups. Although the results presented are valid for arbitrary Hausdorff and compact groups, we restrict our attention to Lie groups taking into account their differentiable structure, which in our case could be give potential applications of our results to the understanding on the spectrum of certain operators associated to differential problems. Let us consider a compact Lie group G with Lie algebra g. We will equip G with the Haar measure µG. The following identities follow from the Fourier transform on G ∗ (FGϕ)(ξ) ≡ ϕ(ξ)= ϕ(x)ξ(x) dx, ϕ(x)= dξTr(ξ(x)ϕ(ξ)), G b Z [Xξ]∈G b b and the Peter-Weyl Theorem on G implies the Plancherel identity on L2(G), 1 2 ∗ 2 b kϕkL (G) = dξTr(ϕ(ξ)ϕ(ξ) ) = kϕkL2(G). b [Xξ]∈G 2 ∗ b b b Notice that, since kAkHS = Tr(AA ), the term within the sum is the Hilbert- Schmidt norm of the matrix ϕ(ξ). Any linear operator A on G mapping C∞(G) ′ dξ×dξ into D (G) gives rise to a matrix-valued global (or full) symbol σA(x, ξ) ∈ C given by b ∗ σA(x, ξ)= ξ(x) (Aξ)(x), (3.18) which can be understood from the distributional viewpoint. Then it can be shown that the operator A can be expressed in terms of such a symbol as [58] Af(x)= dξTr[ξ(x)σA(x, ξ)f(ξ)]. (3.19) b [Xξ]∈G b b So, if Φ : G × G → ∪[ξ]∈GGL(dξ) is a measurable function (the phase function), Cdξ×dξ and a : G × G → ∪[ξ]∈Gb is a distribution on G × G, the Fourier integral b operator F = FΦ,a associated to the symbol a(·, ·) and to the phase function Φ is defined by theb Fourier series operator b F f(x)= dξTr[Φ(x, ξ)a(x, ξ)f(ξ)]. (3.20) b [Xξ]∈G b In order to present our main result for Fourier integral operators, we recall the following criterion (see Ghaemi, Jamalpour Birgani, Wong [39]). ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 17 Theorem 3.5. Let 0 Theorem 3.6. Let 0 < r ≤ 1, 1 ≤ p1 < ∞, 1 ≤ p2 < ∞, and let F be the Fourier integral operator associated to the phase function Φ and to the symbol a(·, ·). Then, F : Lp1 (G) → Lp2 (G) is r-nuclear, if and only if, the symbol a(·, ·) admits a decomposition of the form ∞ −1 F ∗ a(x, ξ)=Φ(x, ξ) hk(x)( Ggk)(ξ) , a.e.w., (x, ξ), (3.23) Xk=1 where {gk}k∈N and {hk}k∈N are sequences of functions satisfying ∞ r r ′ kgkk p khkk p2 < ∞. (3.24) L 1 L Xk=0 Remark 3.7. For the proof we use use the characterization of r-nuclear pseudo- differential operators mentioned above. However, this result will be generalized in the next section to arbitrary compact homogeneous manifolds. Proof. Let us observe that the Fourier integral operator F, can be written as F f(x)= dξTr[Φ(x, ξ)a(x, ξ)f(ξ)] = dξTr[ξ(x)σA(x, ξ)f(ξ)], (3.25) b b [Xξ]∈G [Xξ]∈G ∗ b b where σA(x, ξ)= ξ(x) Φ(x, ξ)a(x, ξ). So, the Fourier integral operator F coincides with the pseudo-differential operator A with symbol σA. In view of Theorem 3.5, the operator F = A : Lp1 (G) → Lp2 (G) is r-nuclear, if and only if, the symbol σA(·, ·) admits a decomposition of the form ∞ ∗ F ∗ σA(x, ξ)= ξ(x) hk(x)( Ggk)(ξ) , a.e.w., (x, ξ), (3.26) Xk=1 where {gk}k∈N and {hk}k∈N are sequences of functions satisfying ∞ r r ′ kgkk p khkk p2 < ∞. (3.27) L 1 L Xk=0 18 D. CARDONA Let us note that from the definition of σA we have ∞ ∗ ∗ F ∗ ξ(x) Φ(x, ξ)a(x, ξ)= ξ(x) hk(x)( Ggk)(ξ) , a.e.w., (x, ξ), Xk=1 which is equivalent to ∞ −1 F ∗ a(x, ξ)=Φ(x, ξ) hk(x)( Ggk)(ξ) , a.e.w., (x, ξ). (3.28) Xk=1 Thus, we finish the proof. Remark 3.8. The nuclear trace of a r-nuclear pseudo-differential operator on G, A : Lp(G) → Lp(G), 1 ≤ p< ∞, can be computed according to the formula Tr(A)= dξTr[σA(x, ξ)]dx. (3.29) b ZG [Xξ]∈G From the proof of the previous theorem, we have that F = A where σA(x, ξ) = ξ(x)∗Φ(x, ξ)a(x, ξ) and consequently, if F : Lp(G) → Lp(G), 1 ≤ p < ∞, is r-nuclear, its nuclear trace is given by ∗ Tr(F )= dξTr[ξ(x) Φ(x, ξ)a(x, ξ)]dx. (3.30) b ZG [Xξ]∈G Now, we illustrate the results above with some examples. Example 3.9. (The torus). Let us consider the n-dimensional torus G = Tn := n n n n i2πℓ·x n R /Z and its unitary dual T := {eℓ : ℓ ∈ Z }, eℓ(x) := e , x ∈ T . By following Ruzhansky and Turunen [58], a Fourier integral operator F associated to the phase function φ : Tn ×b Tn → C, and to the symbol a : Tn × Tn → C, is defined according to the rule, b iφ(x,eℓ) n b Fϕ(x)= e a(x, eℓ)ϕ(eℓ), x ∈ T , (3.31) Tbn eXℓ∈ b where ϕ(eℓ)= Tn f(x)eℓ(x)dx, is the Fourier transform of f at eℓ. If we identify Tn Zn with , andR we define a(x, ℓ) := a(x, eℓ), and ϕ(ℓ) := ϕ(eℓ) we give the more familiarb expression for F, b Fϕ(x)= eiφ(x,ℓ)a(x, ℓ)ϕ(ℓ)b, x ∈ Tbn. (3.32) Zn ℓX∈ Now, by using Theorem 3.6, F is r-nuclear, 0 The last condition have been proved for pseudo-differential operators in [38]. In this case, the nuclear trace of F can be written as Tr(F )= eφ(x,ℓ)−i2πx·ℓa(x, ℓ)dx. (3.35) n T Zn Z ℓX∈ Example 3.10. (The group SU(2)). Let us consider the group SU(2) ∼= S3 con- sinting of those orthogonal matrices A in C2×2, with det(A) = 1. We recall that the unitary dual of SU(2) (see [58]) can be identified as SU(2) ≡{[tl]:2l ∈ N,dl := dim tl = (2l + 1)}. (3.36) There are explicit formulae for tl as functions of Euler angles in terms of the so-called Legendre-Jacobic polynomials, see [58]. A Fourier integral operator F associated to the phase function Φ : SU(2) × SU(2) → ∪ 1 N GL(2ℓ + 1), and to ℓ∈ 2 0 C(2ℓ+1)×(2ℓ+1) the symbol a : SU(2) × SU(2) → ∪ℓ∈ 1 N , is defined as, 2 0 c Fϕ(x)= c(2ℓ + 1)Tr[Φ(x, tℓ)a(x, tℓ)ϕ(tℓ)], x ∈ SU(2), (3.37) c [tℓ]X∈SU(2) where b 1 ϕ(e )= f(x)t (x)dx ∈ C(2ℓ+1)×(2ℓ+1), ℓ ∈ N , ℓ ℓ 2 0 ZSU(2) is the Fourier transform of f at tℓ. As in the case of the n-dimensional torus, if b 1 N we identify SU(2) with 2 0, and we define a(x, ℓ) := a(x, tℓ), and ϕ(ℓ) := ϕ(tℓ) we can write cFϕ(x)= (2ℓ + 1)Tr[Φ(x, ℓ)a(x, ℓ)ϕ(ℓ)], x ∈ SU(2).b (3.38)b ℓ∈ 1 N X2 0 Now, by using Theorem 3.6, F is r-nuclear, 0 ∗ Tr(F )= (2ℓ + 1)Tr[tℓ(A) Φ(A, ℓ)a(A, ℓ)]dA 1 Z ℓ∈ N0 SU(2) X2 −1 ∗ −1 −1 = (2ℓ + 1)Tr[tℓ(̺ (x)) Φ(̺ (x),ℓ)a(̺ (x),ℓ)]dσ(x) 1 3 ℓ∈ N SZ X2 0 ∗ = (2ℓ + 1)Tr[tℓ(x) Φ(x, ℓ)a(x, ℓ)]dσ(x), 1 SZ3 ℓ∈ N0 X2 −1 −1 −1 where tℓ(̺ (x)) =: tℓ(x), Φ(̺ (x),ℓ) =: Φ(x, ℓ), a(̺ (x),ℓ) =: a(x, ℓ) and dσ(x) denotes the surface measure on S3. If we consider the parametrization of 2 1 2 S3 t t 2 2 t defined by x1 := cos( 2 ), x2 := ν, x3 := (sin ( 2 ) − ν ) cos(s), x4 := (sin ( 2 ) − 2 1 ν ) 2 sin(s), where t (t,ν,s) ∈ D := {(t,ν,s) ∈ R3 : |ν| ≤ sin( ), 0 ≤ t, s ≤ 2π}, 2 t then dσ(x) = sin( 2 )dtdνds, and Tr(F ) 2π 2π sin(t/2) ∗ t = (2ℓ + 1)Tr[tℓ(t,ν,s) Φ((t,ν,s),ℓ)a((t,ν,s),ℓ)] sin( )dνdtds. 1 2 Z Z Z ℓ∈ N0 0 0 − sin(t/2) X2 4. Nuclear Fourier integral operators on compact homogeneous manifolds The main goal in this section is to provide a characterization for the nuclearity of Fourier integral operators on compact homogeneous manifolds M ∼= G/K. Taking into account that the Peter-Weyl decompositions of L2(M) and L2(G) (where G is a Hausdorff and compact group) have an analogue structure, we classify the nuclearity of FIOs on compact homogeneous manifolds by adapting to our case, the proof of Theorem 2.2 in [39] where were classified those nuclear pseudo-differential operators in Lp(G)-spaces. 4.1. Global FIOs on compact homogeneous manifolds. In order to present our definition for Fourier integral operators on compact homogeneous spaces, we recall some definitions on the subject. Compact homogeneous manifolds can be obtained if we consider the quotient space of a compact Lie groups G with one of its closed subgroups K –there exists an unique differential structure for the quotient M := G/K–. Examples of compact homogeneous spaces are spheres Sn ∼= SO(n + 1)/SO(n), real projective spaces RPn ∼= SO(n + 1)/O(n), complex projective spaces CPn =∼ SU(n + 1)/SU(1) × SU(n) and more generally Grass- mannians Gr(r, n) ∼= O(n)/O(n − r) × O(r). Let us denote by G0 the subset of G, of representations in G, that are of class I with respect to the subgroup K. This means that π ∈ G0 if there exists at least one non trivial invariantb vector a withb respect to K, i.e., π(h)a = a for every b ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 21 h ∈ K. Let us denote by Bπ to the vector space of these invariant vectors and kπ = dim Bπ. Now we follow the notion of Multipliers as in [1]. Let us consider the class of symbols Σ(M), for M = G/K, consisting of those matrix-valued functions ∞ n×n σ : G0 → C such that σ(π)ij = 0 for all i,j >kπ. (4.1) n=1 [ Following [1], ab Fourier multiplier A on M is a bounded operator on L2(M) such that for some σA ∈ Σ(M) satisfies ∞ Af(x)= dπTr(π(x)σA(π)f(π)), for f ∈ C (M), (4.2) b πX∈G0 b where f denotes the Fourier transform of the lifting f˙ ∈ C∞(G) of f to G, given by f˙(x) := f(xK), x ∈ G. b Remark 4.1. For every symbols of a Fourier multipliers A on M, only the upper- left block in σA(π) of the size kπ × kπ cannot be the trivial matrix zero. Now, if we consider a phase function Φ : M × G → ∪ b GL(d ), and a 0 [π]∈G0 π distribution a : M ×G → ∪ b GL(d ), the Fourier integral operator associated 0 [π]∈G0 π to Φ and to a(·, ·) is given by b b ∞ Fϕ(x)= dπTr(Φ(x, π)a(x, π)ϕ(π)), for ϕ ∈ C (M). (4.3) b πX∈G0 b We additionally require the condition σ(x, π)ij = 0 for i,j >kπ for the distribu- tional symbols considered above. Now, if we want to characterize those r-nuclear FIOs we only need to follow the proof of Theorem 2.2 in [39] where the nuclear- ity of pseudo-differential operators was characterized on compact and Hausdorff groups. Because the set 2 { dππij :1 ≤ i, j ≤ kπ} provides an orthonormal basisp of L2(M), we have the relation 1 π (x)κ (x)dx = δ κδ δ , [π], [κ] ∈ G . (4.4) nm ij d π ni mj 0 ZM π If we assume that F : Lp1 (M) → Lp2 (M) is r-nuclear, thenb we have a nuclear ′ p2 p decomposition for its kernel, i.e., there exist sequences hk in L and gk in L 1 satisfying ∞ p1 F f(x)= hk(x)gk(y) f(y)dy, f ∈ L (M), (4.5) M ! Z Xk=1 with ∞ r r ′ kgkk p khkk p2 < ∞. (4.6) L 1 L Xk=0 22 D. CARDONA So, we have with 1 ≤ n, m ≤ kπ, F πnm(x) ∞ ∞ = (Φ(x, π)a(x, π))nm = hk(x)gk(y) πnm(x)dx = hk(x)gk(π)mn. M ! Z Xk=1 Xk=1 Consequently, if Bt denotes the transpose of a matrix B, we obtain b ∞ ∞ t ∗ Φ(x, π)a(x, π)= hk(x)gk(π) = hk(x)gk(π) , (4.7) Xk=1 Xk=1 and by considering that Φ(x, π) ∈ GL(bdπ) for every x ∈b M, we deduce the equivalent condition, ∞ −1 ∗ a(x, π)=Φ(x, π) hk(x)gk(π) . (4.8) Xk=1 On the other hand, if we assume that the symbol a(·,b·) satisfies the condition (4.8) ∞ r r ′ with kgkk p khkkLp2 < ∞, from the definition of Fourier integral operator k=0 L 1 we can write for ϕ ∈ Lp1 (M), P ∞ ∗ Fϕ(x)= dπTr(Φ(x, π)a(x, π)ϕ(π)) = dπTr( hk(x)gk(π) ϕ(π)) b b k=1 πX∈G0 πX∈G0 X ∞ b b b = dπTr( hk(x) gk(y)π(y)dyϕ(π)) b k=1 M πX∈G0 X Z ∞ b = hk(x)gk(y) dπTr(π(y)ϕ(π))dy M k=1 b Z X πX∈G0 ∞ b = hk(x)gk(y)ϕ(y)dy. M Z Xk=1 Newly, by Delgado’s Theorem we obtain the r-nuclearity of F. So, our adaptation of the proof of Theorem 2.2 in [39], to our case of FIOs on compact manifolds leads to the following result. Theorem 4.2. Let us assume M ∼= G/K be a homogeneous manifold, 0 Now, we will prove that the previous (abstract) characterization can be applied in order to measure the decaying of symbols in the momentum variables. So, we will use the following formulation of Lebesgue spaces on G0 : 1 b p p( 1 − 1 ) p p 2 p M ∈ ℓ (G ) ⇐⇒ kMk p b = d k kM(π)k < ∞, (4.11) 0 ℓ (G0) π π HS b [πX]∈G0 b for 1 ≤ p< ∞. Theorem 4.3. Let us assume M ∼= G/K be a homogeneous manifold, 2 ≤ p1 < ∞, 1 ≤ p2 < ∞ and let F be a Fourier integral operator as in (4.3). If p1 p2 p1 p2 F : L (M) → L (M) is nuclear, then a(x, π) ∈ ℓπ Lx (M ×G0), this means that 1 p2 p2 b p1 1 1 p1( − ) p1 2 p1 ka(x, π)k p1 p2 b := dπkπ ka(x, π)k dx < ∞, ℓπ Lx (M×G0) HS b MZ [π]∈G0 X (4.12) provided that −1 −1 kΦ k∞ := sup kΦ(x, π) kop < ∞. (4.13) b (x,[π])∈M×G0 Proof. Let 2 ≤ p1 < ∞, 1 ≤ p2 < ∞, and let F be the Fourier integral operator associated to a(·, ·). If F : Lp1 (M) → Lp2 (M) is nuclear, then Theorem 4.2 guarantees the decomposition ∞ −1 ∗ a(x, π)=Φ(x, π) hk(x)gk(π) , x ∈ G, [π] ∈ G0, (4.14) Xk=1 b with b ∞ r r ′ kgkk p khkk p2 < ∞. (4.15) L 1 L Xk=0 p1 So, if we take the ℓπ -norm, we have, ∞ −1 ∗ p1 ka(x, π)kℓπ = Φ(x, π) hk(x)gk(π) k=1 p1 X ℓπ ∞ b −1 ∗ = hk(x)Φ(x, π) gk(π) k=1 p1 X Lπ ∞ b −1 ∗ p1 ≤ |hk(x)|kΦ(x, π) gk(π) kℓπ . Xk=1 b 24 D. CARDONA p1 By the definition of ℓπ -norm, we have 1 p1 1 1 p1( − ) −1 ∗ p1 2 −1 ∗ p1 kΦ(x, π) g (π) k p b = d kπ kΦ(x, π) g (π) k k ℓ 1 (G0) π k HS b [πX]∈G0 b 1 p1 1 1 p1( − ) p1 2 −1 ∗ p1 ≤ dπkπ kΦ(x, π) kopkgk(π) kHS b [πX]∈G0 b 1 p1 1 1 p1( − ) −1 p1 2 ∗ p1 ≤kΦ k∞ dπkπ kgk(π) kHS b [πX]∈G0 b 1 p1 1 1 p1( − ) −1 p1 2 p1 = kΦ k∞ dπkπ kgk(π)kHS . b [πX]∈G0 b Consequently, ∞ −1 p1 p1 ka(x, π)kℓπ ≤kΦ k∞ |hk(x)|kgk(π)kℓπ . (4.16) Xk=1 b ′ Now, if we use the Hausdorff-Young inequality, we deduce, kg (π)k p1 ≤kg k p . k ℓπ k L 1 Consequently, b 1 p2 p2 p1 1 1 p1( − ) p1 2 p1 ka(x, π)k p1 p2 b = dπkπ ka(x, π)k dx ℓπ Lx (M×G0) HS b MZ [π]∈G0 X ∞ −1 p1 ≤ Φ k∞ |hk(x)|kgk(π)kℓπ k=1 p2 X Lx ∞ b ′ ≤ kh k p2 kg k p < ∞. k L k L 1 Xk=1 Thus, we finish the proof. Remark 4.4. If K = eG and M = G is a compact Lie group, the condition −1 −1 −1 kΦ k∞ := sup kΦ(x, π) kop = sup kΦ(x, ξ) kop < ∞, (4.17) b b (x,[π])∈M×G0 (x,[ξ])∈G×G arises naturally in the context of pseudo-differential operators. Indeed, if we take Φ(x, ξ)= ξ(x), then Φ(x, ξ)−1 = ξ(x)∗, and ∗ sup kξ(x) kop =1. (4.18) b (x,[ξ])∈G×G ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 25 Remark 4.5. As a consequence of Delgado’s theorem, if F : Lp(M) → Lp(M), M ∼= G/K, 1 ≤ p< ∞, is r-nuclear, its nuclear trace is given by ∗ Tr(F )= dπTr[π(x) Φ(x, π)a(x, π)]dx. (4.19) b MZ [πX]∈G0 Example 4.6 (The complex projective plane CP2). A point ℓ ∈ CPn (the n- dimensional complex projective space) is a complex line through the origin in Cn+1. For every n, CPn ∼= SU(n+1)/SU(1)×SU(n). We will use the representation theory of SU(3) in order to describe the nuclear trace of Fourier integral operators on CP2 ∼= SU(3)/SU(1) × SU(2). The Lie group SU(3) (see [32]) has dimension 8 and 3 positive square roots α, β and ρ with the property 1 ρ = (α + β + ρ). (4.20) 2 We define the weights 2 1 1 2 σ = α + β, τ = α + β. (4.21) 2 3 3 3 With the notations above the unitary dual of SU(3) can be identified with ∼ SU(3) = {λ := λ(a, b)= aσ + bτ : a, b ∈ N0, }. (4.22) In fact, every representationc π = πλ(a,b) has highest weight λ = λ(a, b) for some N2 1 (a, b) ∈ 0. In this case dλ(a,b) := dπλ(a,b) = 2 (a+1)(b+1)(a+b+2). For G = SU(3) and K = SU(1) × SU(2), let us define N2 N N 00 := {(a, b) ∈ 0 × 0 : πλ(a,b) ∈ G0 = SU(3)0}. (4.23) 2 2 CP N N N Now, let us consider a phase function Φ : × b00 →c ∪(a,b)∈ 0× 0 GL(dλ(a,b)), CP2 N2 a distribution a : × 00 → ∪(a,b)∈N×NGL(dλ(a,b)), and the Fourier integral operator F associated to Φ and to a(·, ·): 1 Fϕ(ℓ)= (a + 1)(b + 1)(a + b + 2)Tr(Φ(ℓ, (a, b))a(ℓ, (a, b))ϕ(π )), 2 λ(a,b) (a,b)∈N2 X 00 b (4.24) ∞ 2 where ϕ ∈ C (CP ). We additionally require the condition σ(ℓ, (a, b))ij = 0 for CP2 ℓ ∈ , and i,j > kπλ(a,b) , for those distributional symbols considered above. As a consequence of Remark 4.5, if F : Lp(CP2) → Lp(CP2), 1 ≤ p < ∞, is r-nuclear, its nuclear trace is given by dℓ Tr(F )= (a + 1)(b + 1)(a + b + 2)Tr[π (ℓ)∗Φ(ℓ, (a, b))a(ℓ, (a, b))] . λ(a,b) 2 (a,b)∈N2 CPZ2 X 00 (4.25) 26 D. CARDONA If ϑ : CP2 → SU(3)/SU(1) × SU(2) is a diffeomorphism and K = SU(1) × SU(2), then dℓ (a + 1)(b + 1)(a + b + 2)Tr[π (ℓ)∗Φ(ℓ, (a, b))a(ℓ, (a, b))] λ(a,b) 2 (a,b)∈N2 CPZ2 X 00 = (a + 1)(b + 1)(a + b + 2) (a,b)∈N2 SU(3)/SU(1)Z ×SU(2) X 00 dg Tr[π (ϑ−1(g))∗Φ(ϑ−1(g), (a, b))a(ϑ−1(g), (a, b))] λ(a,b) 2 = (a + 1)(b + 1)(a + b + 2) (a,b)∈N2 SU(3)/SU(1)Z ×SU(2) X 00 dg Tr[π (g)∗Φ(g, (a, b))a(g, (a, b))] λ(a,b) 2 = (a + 1)(b + 1)(a + b + 2) (a,b)∈N2 SU(3)Z X 00 dµ (g) Tr[π (gK)∗Φ(gK, (a, b))a(gK, (a, b))] SU(3) λ(a,b) 2 −1 −1 where we have denoted πλ(a,b)(g) := πλ(a,b)(ϑ (g)), Φ(g, (a, b)) := Φ(ϑ (g), (a, b)) and a(g, (a, b)) := a(ϑ−1(g), (a, b)). If we consider the parametrization of SU(3) (see, e.g., Bronzan [5]), g ≡ g(θ1, θ2, θ3,φ1,φ2,φ3,φ4,φ5) := (uij)i,j=1,2,3, π where 0 ≤ θi ≤ 2 , 0 ≤ φi ≤ 2π, and iφ1 • u11 = cos θ1 cos θ2e iφ3 • u12 = sin θ1e iφ4 • u13 = cos θ1 sin θ2e −iφ4−iφ5 iφ1+iφ2−iφ3 • u21 = sin θ1 sin θ3e − sin θ1 cos θ2 cos θ3e iφ2 • u22 = cos θ1 cos θ3e −iφ1−iφ5 iφ2−iφ3+iφ4 • u23 = − cos θ1 sin θ3e − sin θ1 sin θ2 cos θ3e iφ1−iφ3+iφ5 −iφ2−iφ4 • u31 = − sin θ1 cos θ2 sin θ3e − sin θ2 cos θ3e iφ5 • u32 = cos θ1 sin θ3e −iφ1−iφ2 −iφ3+iφ4+iφ5 • u33 = cos θ2 cos θ3e − sin θ1 sin θ2 sin θ3e , then, the group measure is the determinant given by 1 dµ (g)= sin θ cos3 θ sin θ cos θ sin θ cos θ dθ dθ dθ dφ dφ dφ dφ dφ , SU(3) 2π5 1 1 2 2 3 3 1 2 3 1 2 3 4 5 (4.26) ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 27 and we have the trace formula π/2 π/2 π/2 2π 2π 2π 2π 2π ∗ Tr(F )= (a + b + ab + 1)(a + b + 2)Tr[πλ(a,b)(g(θ, φ)K) (a,b)∈N2 Z0 Z0 Z0 Z0 Z0 Z0 Z0 Z0 X 00 Φ(g(θ, φ)K, (a, b))a(g(θ, φ)K, (a, b))] 1 × sin θ cos3 θ sin θ cos θ sin θ cos θ dθ dθ dθ dφ dφ dφ dφ dφ , 4π5 1 1 2 2 3 3 1 2 3 1 2 3 4 5 with (θ, φ) = (θ1,θ2,θ3, φ1, φ2, φ3, φ4, φ5). Acknowledgements: I would like to thanks Majid Jamalpour Birgani who provide me a preprint of the reference [44]. References 1. Akylzhanov, R. Nursultanov, E. Ruzhansky, M. Hardy-Littlewood, Hausdorff-Young- Paley inequalities, and Lp − Lq Fourier multipliers on compact homogeneous manifolds. arXiv:1504.07043 2. Asada, K., D. Fujiwara, D. On some oscillatory integral transformations in L2(Rn). Japan. J. Math. (N.S.), 4(2), 299–361, (1978) 3. Barraza, E.S., Cardona, D. On nuclear Lp-multipliers associated to the Harmonic oscillator, in: Analysis in Developing Countries, Springer Proceedings in Mathematics & Statistics, Springer, 2018, M. Ruzhansky and J. Delgado (Eds), to appear. 4. Beals, M. Lp boundedness of Fourier integral operators. Mem. Amer. Math. Soc., 38(264):viii+57, (1982) 5. Bronzan, J. B. Parametrization of SU(3). Phys. Rev. D. 38(6), 1994–1999, (1988). 6. Bekkara, S., Messirdi, B. Senoussaoui, A. A class of generalised integral operators. Elect. J. diff. Eq. 88, pp. 1–7, (2009) 7. Botchway L., Kibiti G., Ruzhansky M., Difference equations and pseudo-differential oper- ators on Zn, arXiv:1705.07564. 8. Buzano, E., Toft, J. Schattenvon Neumann properties in the Weyl calculus, J. Funct. Anal. 259 (12), 3080–3114. 9. Cardona, D., Samuel Barraza, E. Characterization of nuclear pseudo-multipliers associated to the harmonic oscillator. arXiv:1803.00903, to appear, UPB, Scientific Bulletin, Series A: Applied Mathematics and Physics. 10. Cardona, D. A brief description of operators associated to the quantum harmonic oscil- lator on Schatten-von Neumann classes, Rev. Integr. Temas Mat. 36(1), 49–57, (2018). arXiv:1803.07924. 11. Cardona D. Nuclear pseudo-differential operators in Besov spaces on compact Lie groups, J. Fourier Anal. Appl., 23 (5), 1238–1262,(2017) 12. Coriasco, S., Ruzhansky, M. On the boundedness of Fourier integral operators on Lp(Rn). C. R. Math. Acad. Sci. Paris, 348(15–16):847–851, 2010. 13. Coriasco, S., Ruzhansky, M. Global Lp continuity of Fourier integral operators. Trans. Amer. Math. Soc., 366(5):2575–2596, 201 14. Delgado, J. Estimations Lp pour une classe d’op´rateurs pseudo-differentiels dans le cadre du calcul de Weyl-H¨ormander. J. Anal. Math. 100, 337–374, (2006) 15. Delgado, J.: A trace formula for nuclear operators on Lp, in: Schulze, B.W., Wong, M.W. (eds.) Pseudo-Differential Operators: Complex Analysis and Partial Differential Equations, Operator Theory: Advances and Applications, 205, 181-193. Birkhuser, Basel (2010) 16. Delgado, J., Wong, M.W.: Lp-nuclear pseudo-differential operators on Z and S1., Proc. Amer. Math. Soc., 141 (11), 3935–394, (2013) 17. Delgado, J. The trace of nuclear operators on Lp(µ) for σ-finite Borel measures on second countable spaces. Integral Equations Operator Theory, 68(1), 61-74, (2010) 28 D. CARDONA 18. Delgado, J. On the r-nuclearity of some integral operators on Lebesgue spaces. Tohoku Math. J. 67(2), no. 1, 125–135, (2015) 19. Delgado, J. Ruzhansky, M.: Lp-nuclearity, traces, and Grothendieck-Lidskii formula on compact Lie groups., J. Math. Pures Appl. (9), 102(1), 153-172 (2014) 20. Delgado, J. Ruzhansky, M.: Schatten classes on compact manifolds: Kernel conditions. J. Funct. Anal., 267(3), 772–798, (2014) 21. Delgado, J. Ruzhansky, M.: Kernel and symbol criteria for Schatten classes and r-nuclearity on compact manifolds., C. R. Acad. Sci. Paris. Ser. I. 352. 779–784 (2014) 22. Delgado, J. Ruzhansky, M. Fourier multipliers, symbols and nuclearity on compact mani- folds, J. Anal. Math., to appear, arXiv:1404.6479 23. Delgado, J. Ruzhansky, M. Schatten-von Neumann classes of integral operators. arXiv:1709.06446. 24. Delgado J., Ruzhansky M., The bounded approximation property of variable Lebesgue spaces and nuclearity, Math. Scand., 122 (2018), 299–319. 25. Delgado J., Ruzhansky M., Schatten classes and traces on compact groups, Math. Res. Lett., 24 (2017), 979–1003. 26. Delgado, J. Ruzhansky, M. Wang, B. Approximation property and nuclearity on mixed- norm Lp, modulation and Wiener amalgam spaces. J. Lond. Math. Soc. 94, 391–408, (2016) 27. Delgado, J. Ruzhansky, M. Wang, B. Grothendieck-Lidskii trace formula for mixed-norm Lp and variable Lebesgue spaces. to appear in J. Spectr. Theory. 28. Delgado, J. Ruzhansky, M. Tokmagambetov, N. Schatten classes, nuclearity and nonhar- monic analysis on compact manifolds with boundary. arXiv:1505.02261 29. Duistermaat, J.J., H¨ormander. Fourier integral operators. II. Acta Math., 128(3- 4):183– 269, 1972 30. Duistermaat, J.J. Fourier integral operators, volume 130 of Progress in Mathematics. Birkh¨auser Boston, Inc., Boston, MA, 1996 31. Eskin, G. I. Degenerate elliptic pseudodifferential equations of principal type. Mat. Sb. (N.S.), 82(124):585–628, 1970 32. Fegan, H. Introduction to compact Lie groups. Series in Pure Mathematics, 13. World Scientific Publishing Co., Inc., River Edge, NJ, 1991. 33. Fujiwara, A. construction of the fundamental solution for the Schr¨odinger equations. Proc. Japan Acad. Ser. A Math. Sci., 55(1):10–14, 1979 34. Ghaemi, M. B., Jamalpour Birgani, M., Wong, M. W. Characterizations of nuclear pseudo- differential operators on S1 with applications to adjoints and products. J. Pseudo-Differ. Oper. Appl. 8(2), 191-201, (2017) 35. Ghaemi, M. B., Jamalpour Birgani, M., Wong, M. W. Characterization, adjoints and prod- ucts of nuclear pseudo-differential operators on compact and Hausdorff groups. U.P.B. Sci. Bull., Series A, Vol. 79(4), 207-220. (2017) 36. Grothendieck, A. La theorie de Fredholm, Bull. Soc. Math. France 84, 319-384, (1956) 37. Grothendieck, A.: Produits tensoriels topologiques et espaces nucl´eaires, Memoirs Amer. Math. Soc. 16, Providence, 1955 (Thesis, Nancy, 1953). 38. Ghaemi, M. B., Jamalpour Birgani, M., Wong, M. W. Characterizations of nuclear pseudo- differential operators on S1 with applications to adjoints and products. J. Pseudo-Differ. Oper. Appl. 8(2), 191-201, (2017) 39. Ghaemi, M. B., Jamalpour Birgani, M., Wong, M. W. Characterization, adjoints and prod- ucts of nuclear pseudo-differential operators on compact and Hausdorff groups. U.P.B. Sci. Bull., Series A, Vol. 79(4), 207-220. (2017) 40. H¨ormander, L. Fourier integral operators. I. Acta Math., 127(1-2):79–183, 1971. 41. H¨ormander, L.: Pseudo-differential Operators and Hypo-elliptic equations Proc. Sympo- sium on Singular Integrals, Amer. Math. Soc. 10, 138-183 (1967) 42. H¨ormander, L.: The Analysis of the linear partial differential operators Vol. III, IV. Springer-Verlag, (1985) ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES 29 43. Kumano-go, H. A calculus of Fourier integral operators on Rn and the fundamental solution for an operator of hyperbolic type. Comm. Partial Differential Equations, 1(1):1–44, 1976 44. Jamalpour Birgani, M., Characterizations of Nuclear Pseudo-differential Operators on Z with some Applications, Math. Model. of Nat. Phenomena., 13, 13-30(2018). 45. Kohn, J. Nirenberg, L. On the algebra of pseudo-differential operators. Comm. Pure Appl. Math., 18 (1965), 269 305. 46. Mclean, W.M.: Local and Global description of periodic pseudo-differential operators, Math. Nachr. 150, 151-161 (1991) 47. Miyachi, A. On some estimates for the wave equation in L p and Hp . J. Fac. Sci. Univ. Tokyo Sect. IA Math., 27(2):331–354, 198 48. Molahajloo, S. ”Pseudo-differential Operators on Z in Pseudo-differential Operators: Com- plex analysis and partial differential equations, Operators Theory, Advances and Applica- tions”. 205 (2010), 213–221. 49. Peral, J. C., Lp-estimates for the wave equation. J. Funct. Anal., 36(1):114–145, 1980 50. Pietsch, A. Operator ideals. Mathematische Monographien, 16. VEB Deutscher Verlag der Wissenschaften, Berlin, 1978. 51. Pietsch, A. History of Banach spaces and linear operators. Birkh¨auser Boston, Inc., Boston, MA, 2007. 52. Reinov, O.I., Latif, Q., Grothendieck-Lidskii theorem for subspaces of Lpspaces. Math. Nachr., Volume 286, Issue 2-3, 279–282, (2013). 53. Nicola, F., Rodino, L., Dixmier traceability for general pseudo-differential operators. C∗- algebras and elliptic theory II, 227237, Trends Math., Birkhuser, Basel, 2008. 54. Ruzhansky, M., Sugimoto, M. Global L2-boundedness theorems for a class of Fourier inte- gral operators. Comm. Partial Differential Equations, 31(4–6):547–569, 2006. 55. Ruzhansky, M., Sugimoto, M. A smoothing property of Schr¨odinger equations in the critical case. Math. Ann., 335(3):645–673, 2006. 56. Ruzhansky, M., Sugimoto, M. Weighted Sobolev L2 estimates for a class of Fourier integral operators. Math. Nachr., 284(13):1715–1738, 2011. 57. Ruzhansky M., Sugimoto M., Global regularity properties for a class of Fourier integral operators, arxiv: 58. Ruzhansky, M., Turunen, V.: Pseudo-differential Operators and Symmetries: Background Analysis and Advanced Topics Birkha¨user-Verlag, Basel, (2010) 59. Ruzhansky, M., Wirth, J. Dispersive type estimates for Fourier integrals and applications to hyperbolic systems. Conference Publications, 2011, 2011 (Special) : 1263-1270. doi: 10.3934/proc.2011.2011.1263 60. Ruzhansky, M. Regularity theory of Fourier integral operators with complex phases and sin- gularities of affine fibrations, volume 131 of CWI Tract. Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Amsterdam, 2001. 61. Seeger, A. Sogge, C. D., Stein, E. M. Regularity properties of Fourier integral operators. Ann. of Math. 134(2), 231–251, 1991. 62. Stein, E., Weiss, G. Introduction to Fourier analysis on Euclidean spaces. Princeton Uni- versity Press, Princeton, N.J., 1971 63. Stein, E.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory inte- grals. Princeton University Press, 1993. 64. Tao, T. The weak-type (1, 1) of Fourier integral operators of order (n 1)/2. J. Aust. Math. Soc., 76(1):1–21, 2004. Duvan´ Cardona: Department of Mathematics Pontificia Universidad Javeriana Bogota´ Colombia E-mail address [email protected]; [email protected]