arxiv: v3 [math.fa] 5 Jan 2015

Transcription

1 L p FOURIER MULTIPLIERS ON COMPACT LIE ROUPS MICHAEL RUZHANSKY AND JENS WIRTH arxiv: v3 [math.fa] 5 Jan 2015 Abstract. In this paper we prove L p Fourier multiplier theorems for invariant and also non-invariant operators on compact Lie groups in the spirit of the wellknown Hörmander-Mikhlin theorem on R n and its variants on tori T n. We also give applications to a-priori estimates for non-hypoelliptic operators. Already in the case of tori we get an interesting refinement of the classical multiplier theorem. 1. Introduction In this paper we prove L p multiplier theorems for invariant and then also for noninvariant operators on compact Lie groups. We are primarily interested in Fourier multipliers rather than in spectral multipliers. The topic has been attracting intensive research for a long time. There is extensive literature providing criteria for central multipliers, see e.g. N. Weiss [23], Coifman and. Weiss [5], Stein [22], Cowling [8], Alexopoulos [2], to mention only very few. There are also results for functions of the sub-laplacian, for example on SU(2), see Cowling and Sikora [9]. The topic of the L p -bounded multipliers has been extensively researched on symmetric spaces of noncompact type for multipliers corresponding to convolutions with distributions which are bi-invariant with respect to the subgroup, see e.g. Anker [3] and references therein. However, general results on compact Lie groups are surprisingly elusive. For the case of the group SU(2) a characterisation for operators leading to Calderon Zygmund kernels in terms of certain symbols was given by Coifman and. Weiss in [5] based on a criterion for Calderon Zygmund operators from [4] (see also [6]). The proofs and formulations, however, rely on explicit formulae for representations and for the Clebsch ordan coefficients available on SU(2) and are not extendable to other groups. In general, in the case when we do not deal with functions of a fixed operator, it is even unclear in which terms to formulate criteria for the L p -boundedness. In this paper we prove a general result for arbitrary compact Lie groups. This becomes possible based on the tools initiated and developed by the first author and V. Turunen in [17] and [15], in particular the development of the matrix valued symbols and the corresponding quantization relating operators and their symbolic calculus Date: September 5, Mathematics Subject Classification. Primary 43A22; 43A77; Secondary 43A15; 22E30; Key words and phrases. Multipliers, compact Lie groups, pseudo-differential operators. The first author was supported by the EPSRC Leadership Fellowship EP/007233/1. The second author was supported by the EPSRC grant EP/E062873/1 and by DAAD for visits to Imperial College London in December 2010 and February

2 2 MICHAEL RUZHANSKY AND JENS WIRTH with the representation theory of the group. In view of the results in [17, 18], pseudodifferential operators in Hörmander classes Ψ m () can be characterised in terms of decay conditions imposed on the matrix valued symbols using natural difference operatorsacting ontheunitarydual Ĝ. Fromthis point ofview Theorem 2.1 provides a Mikhlin type multiplier theorem which reduces the assumptions on the symbol ensuring the L p -boundedness of the operator. In Theorem 3.5 we give a refinement of this describing precisely the difference operators that can be used for making assumptions on the symbol. For example, if is semi-simple, only those associated to the root system suffice, which appears natural in the context. We give several applications of the obtained result. Thus, in Corollary 5.1 we give a criterion for the L p -boundedness for a class of operators with symbols in the class Sρ() 0 of type ρ [0,1]. Such operators appear e.g. with ρ = 1 as parametrices 2 for the sub-laplacian or for the heat operator, see Example 2.6, or with ρ = 0 for inverses of operators X +c, with X g and c C, see Corollary 2.7 on general and Example 2.8 on SU(2) and S 3. We note that although operators X +c are not locally hypoelliptic, we still get a-priori L p -estimates for them as a consequence of our result. We illustrate Theorem 3.5 in Remark 2.9 in the special case of the tori T n. In different versions of multiplier theorems on T n, one usually expects to impose conditions on differences of order [ n ] +1 applied to the symbol. In Remark 2.9 we show 2 that e.g. on T 2 or T 3, it is enough to make an assumption on only one second order difference of a special form applied to the symbol. In particular, this improves by now classical theorems on L p -multipliers requiring n differences, see e.g. Nikolskii [12, Section 1.5.3]. In Theorem 5.2 we give an application to the L p -estimates for general operators fromc () to D (), not necessarily invariant. This result is also a relaxation of the symbolic assumptions on the operator compared to those in the pseudo-differential classes. In Theorem 5.2 we give a condition for symbols based on the (1,0)-type behaviour. Since the number of imposed conditions is finite, it can be extended further to (ρ, δ)-type conditions similarly to the case of multipliers in Section 5. In general, symbol classes of type (ρ,δ) for matrix symbols on compact Lie groups were introduced in [18]. These symbols also satisfy a suitable version of the functional calculus, see the authors paper [20]. In [1], Fourier multiplier theorems have been recently obtained for operators to be bounded from L p to L q for 1 < p 2 q < in the setting of the compact Lie group SU(2). However, those results are different in nature as they explore only the decay rate of symbols rather than the much more subtle behaviour expressed in terms of difference operators in this paper. The paper is organised as follows. In Section 2 we formulate the results with several application and give a number of examples. In Section 3 we introduce the necessary techniques and prove the results. In Section 4 we briefly discuss central multipliers and the meaning of the difference operator in this case. Finally, in Section 5 we provecorollariesforoperatorswithsymbolsin Sρ 0()andfornon-invariantoperators. Some of the results of this paper have been announced in [19] without proof.

3 MULTIPLIERS ON COMPACT LIE ROUPS 3 2. Multiplier theorems on compact Lie groups LetbeacompactLiegroupwithidentity1andtheunitarydualĜ. Thefollowing considerations are based on the group Fourier transform (2.1) Fφ = φ(ξ) = φ(g)ξ(g) dg, φ(g) = d ξ trace(ξ(g) φ(ξ)) = F 1 [ φ] defined in terms of equivalence classes [ξ] of irreducible unitary representations ξ : U(d ξ ) of dimension (degree) d ξ. The Peter Weyl theorem on implies in particular that this pair of transforms is inverse to each other and that the Plancherel identity (2.2) φ 2 2 = d ξ φ(ξ) 2 HS =: φ 2 l 2 (Ĝ) holds true for all φ L 2 (). Here [ξ] Ĝ [ξ] Ĝ φ(ξ) 2 HS = trace( φ(ξ) φ(ξ) ) denotes the Hilbert Schmidt (Frobenius) norm of matrices. The Fourier inversion statement (2.1) is valid for all φ D () and the Fourier series converges in C () provided φ is smooth. It is further convenient to denote ξ = max{1,λ ξ }, whereλ 2 ξ istheeigenvalueofthecasimirelement(positivelaplace-beltramioperator) acting on the matrix coefficients associated to the representation ξ. The Sobolev spaces can be characterised by Fourier coefficients as φ H s () ξ s φ(ξ) l 2 (Ĝ), 2 where l (Ĝ) is defined as the space of matrix-valued sequences such that the sum on the right-hand side of (2.2) is finite. For an arbitrary continuous linear operator A : C () D () we denote its Schwartz kernel as K A D ( ) and by a change of variables we associate the right-convolution kernel R A (g 1,g 2 ) = K A (g 1,g1 1 g 2 ). Thus, at least formally, we write Aφ(g 1 ) = K A (g 1,g 2 )φ(g 2 )dg 2 = φ(g 2 )R A (g 1,g2 1 g 1 )dg 2 = φ R A (g 1, ). Following the analysis in [15] we denote the partial Fourier transform of the rightconvolution kernel with respect to the second variable as symbol of the operator, (2.3) σ A (g,ξ) := R A (g,ξ) = R A (g,g )ξ(g ) dg D () π Σ(Ĝ), which is a distribution taking values in the set of moderate sequences of matrices Σ(Ĝ) = {σ : ξ σ(ξ) Cd ξ d ξ : σ(ξ) op ξ N for some N}.

4 4 MICHAEL RUZHANSKY AND JENS WIRTH Here we are concerned with left-invariant operators, which means that A T g = T g A for all the left-translations T g : φ φ(g 1 ). This implies that the kernel K A satisfies the invariance K A (g 1,g 2 ) = K A (g 1 g 1,g 1 g 2 ) for all g and hence R A is independent of the first argument. In consequence, also the symbol is independent of the first argument and we will write σ A (ξ) for it. In combination with Fourier inversion formula (2.1) this means that the operator A can be written as (2.4) Aφ(g) = d ξ trace(ξ(g)σ A (ξ) φ(ξ)). [ξ] Ĝ By this formula we can assign operators A = Op(σ A ) to arbitrary sequences σ A Σ(Ĝ). It follows1 that (2.5) σ A (ξ) = ξ(g) (Aξ)(g) = (Aξ)(g) g=1 is independent of g. We refer to operators of this form as noncommutative Fourier multipliers. The Plancherel identity (2.2) implies that the operator A is bounded on L 2 () if and only if σ A l (Ĝ), where l (Ĝ) = {σ A Σ(Ĝ) : sup σ A (ξ) op < }, [ξ] Ĝ and op is the operator norm on the unitary space C d ξ. Note that there is also another version of the space l (Ĝ) which is realised as the weighted sequence space over Hilbert-Schmidt norms, we refer to [15, Section ] for its properties. l We now define difference operators Q diff (Ĝ) acting on sequences σ Σ(Ĝ) in terms of corresponding functions q C (), which vanish to (at least) l th order in the identity element 1, and their interrelation with the group Fourier transform given by (2.6) Qσ = F ( q(g)f 1 σ ). Note, that σ Σ(Ĝ) implies F 1 σ D () and therefore the multiplication with a smooth function is well-defined. The main idea of introducing such operators is that applying differences to symbols of Calderon Zygmund operators brings an improvement in the behaviour of Op(Qσ) since we multiply the integral kernel of Op(σ) by a function vanishing on its singular set. Different collections of difference operators have been explored in [18] in the pseudo-differential setting. Difference operators of particular interest arise from matrix-coefficients of representations. For a fixed irreducible representation ξ 0 we define the (matrix-valued) difference ξ0 D = ( ξ0 D ij ) i,j=1,...,dξ0 corresponding to the matrix elements of ξ 0 (g) I, i.e. with q ij (g) = ξ 0 (g) ij δ ij, 1 In fact, (2.5) can be taken as a definition of the symbol σ A of A, from which (2.3) and (2.4) follow; see also Section 5.3.

5 MULTIPLIERS ON COMPACT LIE ROUPS 5 δ ij the Kronecker delta. If the representation is fixed, we omit the index ξ 0. For a sequence of difference operators of this type, D 1 = ξ1 D i1 j 1,D 2 = ξ2 D i2 j 2,...,D k = ξk D ik j k, with [ξ m ] Ĝ, 1 i m,j m d ξm, 1 m k, we define D α := D α 1 1 D α k k. Among otherthings, itfollowsfrom[18]thataninvariant operatorabelongstothe usual Hörmander class of pseudo-differential operators Ψ 0 () defined by localisations if and only if its matrix symbol satisfies (2.7) D α σ A (ξ) op C α ξ α for all multi-indices α and for all [ξ] Ĝ. From this point of view the following condition (2.8) is a natural relaxation from the L p -boundedness of zero order pseudodifferential operators to a multiplier theorem. Theorem 2.1. Denote by κ be the smallest even integer larger than 1 dim. Let 2 A : C () D () be left-invariant. Assume that its symbol σ A satisfies (2.8) D α σ A (ξ) op C α ξ α for all multi-indices α with α κ, and for all [ξ] Ĝ. Then the operator A is of weak type (1,1) and L p -bounded for all 1 < p <. Remark 2.2. a) The assumptions given in the theorem can be relaxed. For the top order difference we need only one particular difference operator. Moreover, for the lower order difference operators we only need differences associated to the root system if is semi-simple, and to an extended root system for a general compact Lie group. Such a refinement will be given in Theorem 3.5 once we introduced the necessary notation. b) Additional symmetry conditions for the operator imply simplifications. Later on we will show how the assumptions can be weakened for central multipliers. c) We have to round up the number of difference conditions to even integers. This seems to be for purely technical reasons, but was already observed similarly in [23] for central multipliers. d) The conditions are needed for the weak type (1, 1) property. Interpolation allows to reduce assumptions on the number of differences for L p -boundedness. Before proceeding to the proof of the theorem, we will mention some applications. As first example let us consider the known case of the Riesz transform. Example 2.3. Let us consider the partial Riesz transform R Z = ( ) 1/2 Z associated to a left-invariant vector-field Z g on a Lie group. For simplicity we assume that Z is normalised with respect to the Killing form on g. The Riesz transform is a left-invariant operator acting on L 2 () with symbol σ RZ (ξ) = (λ ξ ) 1 2 σz (ξ),

6 6 MICHAEL RUZHANSKY AND JENS WIRTH σ Z (ξ) = (Zξ)(1) the symbol of the left-invariant vector field, and by definition of the Laplacian as sum of squares we have σ RZ (ξ) op 1. Note here, that λ ξ = 0 implies that ξ = 0 is the trivial representation and therefore also σ Z (ξ) = 0 as vector fields annihilate constants. It follows from Corollary 4.10 that this operator extends to a bounded operator on all L p (), 1 < p < and is of weak type (1, 1), recovering the well-known result in [22]. Remark 2.4. In [22, p. 58], E.M. Stein asked whether the Riesz transform R Z as well as the Riesz potentials ( ) iγ (γ real) are pseudo-differential operators on. This is in fact true on all closed Riemannian manifolds. Indeed, if p 0 denotes the projection to the zero eigenspace of, then we have the identity ( ) z = ( +p 0 ) z p 0 for all complex z. The operator ( +p 0 ) z is pseudo-differential for Rez < 1 by [21] and p 0 is smoothing, implying that ( ) z are pseudo-differential of order Rez/2. By calculus this extends to all z C. In particular, the L p boundedness in Example 2.3 also follows. Example 2.5. Let ρ [0,1]. We denote by Sρ() 0 the set of all σ A Σ(Ĝ) satisfying symbol estimates of type ρ D α σ A (ξ) op C α ξ ρ α for all multi-indices α. Let A = Op(σ A ) be the associated operator to such a symbol. Then A defines a bounded operator mapping W p,r () L p () for r κ(1 ρ) 1 p 1 2, κ as in Theorem 2.1 and 1 < p <. See Corollary 5.1, where we give a refined version of this. Example 2.6. The previous example applies in particular to the parametrices constructed in [18]. Following the notation from that paper, we consider the sub- Laplacian L s = D 2 1 +D2 2 on S 3. It was shown that it has a parametrix from Op S 1 1/2 (S3 ) and therefore L s u L p (S 3 ) implies regularity for u. More precisely, the sub-elliptic estimate (2.9) u W p,1 1 p 1 2 (S 3 ) C p L s u L p (S 3 ) holds true for all 1 < p <. Similarly, the heat operator H = D 3 D 2 1 D 2 2 on S 3 has a parametrix from OpS 1 1/2 (S3 ). Consequently, we also get the sub-elliptic estimate (2.9) with H instead of L s.

7 MULTIPLIERS ON COMPACT LIE ROUPS 7 Similar examples can be given for arbitrary compact Lie groups. Operators in Example 2.6 are locally hypoelliptic, but the following corollary applies to operators which are only globally hypoelliptic. Corollary 2.7. Let X be a left-invariant real vector field on. Then there exists a discrete exceptional set C ir, such that for any complex number c C the operator X +c is invertible with inverse in OpS 0 0(). Consequently, the inequality f L p () C p (X +c)f W p,κ 1 p 1 2 () holds true for all 1 < p < and all functions f from that Sobolev space. We prove this corollary later, but now only give its refinement on SU(2). Example 2.8. TofixthescalingontheLiealgebrasu(2), let(φ,θ,ψ)bethe(standard) Euler angles on SU(2) and let D 3 = / ψ. Let X be a left-invariant vector field on SU(2) normalised so that X = D 3 with respect to the Killing norm. Then it was shown in [18] that ic = 1Z, and X+c is invertible if and only if ic 1 Z. For such c, 2 2 the inverse (X +c) 1 has symbol in S0(SU(2)). 0 The same conclusions remain true if we replace SU(2) by S 3. In particular, we get that f L p (S 3 ) C p (X +c)f W p,2 1 p 1 2 (S 3 ) holds true for all 1 < p < and all functions f from that Sobolev space. We note that this estimate is non-localisable since operators X + c are locally non-invertible and also not locally sub-elliptic (unless n = 1). Remark 2.9. The Hörmander multiplier theorem [11], although formulated in R n, has a natural analogue on the torus T n. The refinement in Theorem 3.5 on the top order difference brings a refinement of the toroidal multiplier theorem, at least for some dimensions. If = T n = R n /Z n, the set 0 in Remark 3.2 consists of 2n functions e ±2πix j, 1 j n. Consequently, we have that n ( ρ 2 (x) = 2n e 2πix j +e j) 2πix in (3.1), and hence σ(ξ) = 2nσ(ξ) j=1 n (σ(ξ +e j )+σ(x e j )) in (3.7), where ξ Z n and e j is its jth unit basis vector in Z n. A (translation) invariant operator A and its symbol σ A are related 2 by j=1 and σ A (k) = e 2πix k (Ae 2πix k ) = (Ae 2πix k ) x=0 Aφ(x) = k Z n e 2πix k σ A (k) φ(k). 2 On the torus we can abuse the notation by writing σ A (k) for σ A (e k ) for e k (x) = e 2πix k. For the consistent development of the toroidal quantization of general operators on the tori see [14] or [15], with an earlier partial exposition in [13].

8 8 MICHAEL RUZHANSKY AND JENS WIRTH Thus, it follows from Theorem 3.5 that, for example on T 3, a translation invariant operator A is weak (1,1) type and bounded on L p (T 3 ) for all 1 < p < provided that there is a constant C > 0 such that and (2.10) k 2 σ A (k) 1 6 σ A (k) C, k σ A (k +e j ) σ A (k) C, 3 (σ A (k +e j )+σ A (k e j )) C, j=1 for all k Z 3 and all (three) unit vectors e j, j = 1,2,3. Here in (2.10) we do not make assumptions on all second order differences, but only on one of them. 3. Proofs The proof of Theorem 2.1 is divided into several sections. First we introduce the tools we need to prove Calderon Zygmund type estimates for convolution kernels. Later on we show how to reduce the above theorem to a statement of Coifman and de uzman, see [4] and also [6]. Finally, we use properties of the root system with finite Leibniz rules for difference operators to prove the refinement of Theorem 2.1 given in Theorem A suitable pseudo-distance on. At first we construct a suitable pseudodistance on the group in terms of a minimal set of representations. We now define with n = dim (3.1) ρ 2 (g) = n tracead(g) = ξ 0 (d ξ traceξ(g)), where Ad : U(g) U(dim) denotes the adjoint representation of the Lie group and Ad = (dimz())1 ξ 0 ξ is its Peter-Weyl decomposition into irreducible components. Here, 1 denotes the trivial one-dimensional representation. For simplicity we assume first that the group is semi-simple, i.e., that the centre Z() of the group is trivial. Later on we will explain the main modifications for the general situation, see Remark 3.2. Note, that ρ 2 (g) is nonnegative by definition and smooth. At first we claim that ρ defines a pseudo-distance d ρ (g,h) = ρ(g 1 h). Lemma 3.1. The above defined function ρ(g) satisfies (1) ρ 2 (g) 0 and ρ 2 (g) = 0 if and only if g = 1 is the identity in ; (2) ρ 2 vanishes to second order in g = 1; (3) ρ 2 is a class function, in particular it satisfies ρ 2 (g 1 ) = ρ 2 (g) and ρ 2 (gh 1 ) = ρ 2 (h 1 g); (4) ρ(gh 1 ) ρ(g) Cρ(h) for some constant C > 0 and all g,h ; (5) ρ(gh 1 ) C(ρ(g)+ρ(h)) for some constant C > 0 and all g,h.

9 MULTIPLIERS ON COMPACT LIE ROUPS 9 Proof. (1) At first we note that for any (not necessarily irreducible) unitary representationξ trivially traceξ(g) d ξ andthereforere(d ξ traceξ(g)) 0. Furthermore, traceξ(g) = d ξ is equivalent to ξ(g) = I. Therefore, ρ(g) = 0 implies that Ad(g) = I and therefore g Z(), i.e., g = 1. (2) Differentiating the identity ξ(g)ξ(g) = I twice at the identity element and denoting ξ (g) = ξ(g) implies the equations ξ (1)+ξ (1) = 0, ξ (1)+2ξ (1) ξ (1)+ξ (1) = 0, the first implying that (Retraceξ) (1) = 0, while the second one gives for each v g = T 1 the quadratic form (v,(retraceξ) (1)v) = ξ (1)v 2 HS. Summing this over ξ 0 implies (v,hessρ 2 (1)v) = ξ 0 ξ (1)v 2 HS, and, therefore, if v g is such that the left-hand side vanishes, then v ξ kerξ (1). By Z() = {1} and the definition of ρ 2 (g) this implies v = 0. (3) Obvious by construction. (4) We observe that both the left and the right hand side vanish exactly in h = 1 to first order. The existence of the constant C follows therefore just by compactness of. (5) follows directly by (4). Remark 3.2. If the centre of the group is non-trivial, we have to make a slight change to the definition of ρ 2 (g). We have to include 2dimZ() additional representations to the set 0 defined by the choice of an isomorphism Z() T l = R l /Z l. For each coordinate θ j we include both θ e ±2πiθ j, suitably extended to the maximal torus and then to. The statement of Lemma 3.1 remains true for both modifications. In the following we assume that 0 and ρ(g) are defined in this way. In general, for the statements below to be true, any extension of 0 will work as long as the function ρ 2 (g) in (3.1) is the square of a distance function on in a neighbourhood of the neutral element A special family of mollifiers. Let ϕ C0 (R) be such that ϕ 0, ϕ(0) = 1 and ϕ (l) (0) = 0 for all l 1. Then for r > 0 we define (3.2) ϕ r (g) = c r ϕ(r 1/n ρ(g)), ϕ r (g)dg = 1, the normalisation condition used to define c r. As r 0 obviously ϕ r δ 1 D (). Let furthermore ψ r (g) := ϕ r (g) ϕ r/2 (g). At first we check the conditions of Coifman de uzman [4] (modulo the obvious modifications) for these functions. Lemma 3.3. (1) sup g ϕ r (g) c r r 1 as r 0. (2) ϕ r 2 r 1/2 as r 0.

10 10 MICHAEL RUZHANSKY AND JENS WIRTH (3) ϕ r ϕ s = ϕ s ϕ r. (4) ρ(g) t 1/n ϕ r (g)dg C N ( r t) N for all N 0. (5) ϕ r(gh 1 ) ϕ r (g) dg C ρ(h) r 1/n. Proof. (1) We can find a chart in the neighbourhood of the identity element such that ρ(g) = x and dg = ν(x)dx for some smooth density ν with ν(0) 0. Then direct calculation yields for small r 1 c 1 r = ϕ(r 1/n x )ν(x)dx = ϕ(r 1/n s)s S n 1 ν(sθ)dθds n ϕ(r 1/n s)s n 1 ds r. (2) follows from (1) by interpolation with the normalisation condition used. (3) this follows from ϕ r being a class function. (4) Again direct computation of the left-hand side yields for sufficiently small r c r ϕ(r 1/n s)s n 1 ν(sθ)dθds s t 1/n S n 1 0 c r s t 1/n ϕ(r 1/n s)s n 1 ds F( t r ) for a function F C0 (R +), which implies in particular the desired estimate. (5) Using that ϕ C0 (R) the mean value theorem implies in combination with Lemma 3.1(4) ϕ r (gh 1 ) ϕ r (g) = c r ϕ(r 1/n ρ(gh 1 )) ϕ(r 1/n ρ(g)) c r r 1/n ρ(gh 1 ) ρ(g) c r r 1/n ρ(h). Furthermore, the first expression is non-zero for small r only if either of the terms is non-zero, which gives ρ(g) r 1/n or ρ(gh 1 ) r 1/n. This corresponds for small r to two balls of radius r 1/n, i.e., volume r. Integration over g implies the desired statement. As ψ r and ρ n satisfy all assumptions of [4], we have the following criterion. Criterion. Assume A : L 2 () L 2 () is a left-invariant operator on satisfying (3.3) Aψ r (g) 2 ρ n(1+ǫ) (g)dg Cr ǫ for some constants ǫ > 0 and C > 0 uniform in r. Then A is of weak type (1,1) and bounded on all L p () for 1 < p <. Later on we will need some more properties of the functions ψ r. We collect them as follows Lemma 3.4. Let q C () be a smooth function vanishing to order t in 1. Then (3.4) q(g)ψ r (g) H s C q,s r t+s n 1 2 for all s [0,1+ n 2 ].

11 MULTIPLIERS ON COMPACT LIE ROUPS 11 Proof. Note that the statement is purely local in a neighbourhood of 1. For sufficiently small r we find local co-ordinates near 1 supporting ψ r (g) and satisfying ρ(g) = x. We write q as Taylor polynomial q N (g) of degree t + N plus remainder R N (g) = O(ρ t+n+1 (g)) and decompose q(g)ψ r (g) accordingly. First, we observe q N ψ r 2 H ξ 2s s qn ( ξ ) ( ϕ(r 1/n ξ ) ϕ(2r 1/n ξ ) ) 2 dξ r 2t/n ξ 2s r 2/n ξ 2 ξ n 1 d ξ +r 2t/n r 1/n ξ 1 r 1/n ξ 1 r M/n ξ 2s M ξ n 1 d ξ r 2t+2 n ξ 2s+2+n r 1/n +r 2t M n 0 r 2t+2s n n ξ 2s M+n r 1/n where ξ is (abusing notation) the Fourier co-variable to x. The integral is split into r 1/n ξ 1 and r 1/n ξ 1. Second, we consider the remainder and show that it is smaller. Indeed, R N ψ r H s R N ψ r 2 R N L (suppψ r) ψ r 2 r (t+n+1)/n r 1/2 and choosing N > s 1 the desired smallness follows. Assumptionswehadtomakewere 2s+2+n 0, i.e., s 1+ n andn 2s M < 0, 2 i.e., M > n 2s. Furthermore, we need s 0. The lemma is proven Difference operators and Leibniz rules. We recall the definition of difference operators before Theorem 2.1. For a fixed irreducible representation ξ 0 we define the (matrix-valued) difference ξ 0 D = ( ξ0 D ij ) i,j=1,...,dξ0 corresponding to the symbol ξ 0 (g) I. We denote by δ ij the Kronecker delta, δ ij = 1 for i = j and δ ij = 0 for i j. Thus, we have ξ 0 D ij = F(ξ 0 (g) ij δ ij )F 1. Iftherepresentationisfixed, weomittheindexξ 0. Asobservedin[18]thesedifference operators satisfy the finite (two-term) Leibniz rule (3.5) D ij (στ) = (D ij σ)τ +σ(d ij τ)+ (D ik σ)(d kj τ) for all sequences σ,τ Σ(Ĝ). Iterating this, for a composition Dk of k N difference operators of this form we have (3.6) D k (στ) = C kγδ (D γ σ) (D δ τ), γ, δ k γ + δ with the summation taken over all multi-indices γ,δ N l2 0, l = d ξ0, satisfying γ, δ k γ + δ, D γ = D γ Dγ Dγ l,l 1 l,l 1 Dγ ll ll, d ξ0 k=1

12 12 MICHAEL RUZHANSKY AND JENS WIRTH and where constants C kγδ may depend on a particular form of D k. Denoteby thedifference operatorassociatedtothesymbol ρ 2 (g)definedin(3.1), (3.7) = F ρ 2 (g) F 1. 2 By Lemma 3.1 (2), this is a second order difference operator, diff (Ĝ), and in view of (3.1) it can be decomposed as (3.8) = ξ 0 d ξ ξd ii. Therefore, after summation of the Leibniz rules (3.5) we observe that i=1 (3.9) (στ) = ( σ)τ +σ( τ) ξ 0 d ξ ( ξ D ij σ)( ξ D ji τ). i,j=1 Iterating this, we observe that ( 2 (στ) = ( σ)τ +σ( τ)+ ) (Dσ)(Dτ) = ( 2 σ)τ +2( σ)( τ)+σ( 2 τ) + ( ) (D σ)(dτ)+(dσ)(d τ)+(d 2 σ)(d 2 τ). In the sum the orders of difference operators always add up to 4. Similar we obtain for higher orders m, (3.10) m (στ) = ( m σ)τ +σ( m τ)+ 2m 1 l=1 (Q l,j σ)( Q l,j τ). for some difference operators Q l,j diff l (Ĝ) and Q 2m l l,j diff (Ĝ) Proof of Theorem 2.1. We note that Theorem 2.1 follows from its refined version which we give as Theorem 3.5 below. Let 0 be an extended root system as in Remark 3.2, and we define the family of first order difference operators associated to 0 by D 1 = { ξ0 D ij = F(ξ 0 (g) ij δ ij )F 1 : ξ 0 0, 1 i,j d ξ0 }, where δ ij is the Kronecker delta. We write D k for the family of operators of the form D α = D α 1 1 Dα l l, where D 1,...,D l D 1, and for multi-indices α = (α 1,...,α l ) of any length but such that α k. We note that for even κ, in view of (3.8), the difference operator κ/2 is a linear combination of operators in D κ. In general, clearly D k diff k (Ĝ). Theorem 3.5. Denote by κ be the smallest even integer larger than 1 dim. Let 2 operator A : C () D () be left-invariant. Assume that its symbol σ A satisfies as well as κ/2 σ A (ξ) op C ξ κ (3.11) D α σ A (ξ) op C α ξ α, j

13 MULTIPLIERS ON COMPACT LIE ROUPS 13 for all operators D α D κ 1, and for all [ξ] Ĝ. Then the operator A is of weak type (1,1) and L p -bounded for all 1 < p <. For the proof it is enough to check (3.3) with appropriate ǫ. If we choose ǫ such that n(1+ǫ) = 4m, m N, the condition is equivalent to (3.12) m (σ A ψr ) l 2 (Ĝ) r 2m n 1 2. Applying the Leibniz rule (3.10) to the left-hand side implies for fixed [ξ] Ĝ that we have m (σ A ψr )(ξ) HS m σ A (ξ) op ψ r (ξ) HS + σ A (ξ) op m ψr (ξ) HS + 2m 1 l=1 ξ l Q l,j σ A (ξ) op ξ l Ql,j ψr HS j l for certain differences Q l,j diff (Ĝ) of order l arising from Leibniz rule and corresponding differences Q l,j diff 2m l (Ĝ). Summing d ξ times these inequalities over [ξ] Ĝ and using the assumptions of Theorem 3.5, we can apply Lemma 3.4 in the form (3.13) q l,j ψ r H l r 2m n 1 2 for 0 l 1+ n. Under the assumption that 2m 2+ n this implies the desired 2 2 estimate (3.12). Remark 3.6. Note, that the number of difference conditions is κ = 2m, where n < 2 κ 2+ n, as we have to assure that ǫ > 0 and that Lemma 3.4 is applicable Applications to central multipliers We turn to some applications of Theorem 2.1. First we collect some statements about central sequences σ Σ(Ĝ), σ(ξ) = σ ξi. Particular examples of interest are defined in terms of d ξ or λ ξ or appear in connection with invariant multipliers on homogeneous spaces with respect to massive subgroups. For the sake of simplicity we assume in the sequel that σ ξ is defined on the full weight lattice Λ t for the Cartan subalgebra t, and treat Ĝ as subset of Λ, representations identified with their dominant highest weights. We refer to e.g. [10] for Weyl group, Weyl dimension and Weyl character formula. We will use a notion of difference operators on the weight lattice; difference operators of higher order are understood as iterates of first order forward differences on this lattice Some auxiliary statements on central sequences. First, we consider the sequence d ξ of dimensions of representations. We extend the sequence d ξ to the full weight lattice by Weyl s dimension formula (after fixing the set + 0 of positive roots). Lemma 4.1. The sequence d ξ satisfies the polynomial bound (4.1) d ξ ξ l, l = (n rank), together with the hypoellipticity estimate k d ξ (4.2) C k ξ k, d ξ 0, d ξ

14 14 MICHAEL RUZHANSKY AND JENS WIRTH for any difference operator k of order k acting on the weight lattice. Proof. We recall first, that the dimension d ξ can be expressed in terms of the heighest weights (for simplicity also denoted by the variable ξ Λ t, t = T 1 T for T a maximal torus of ) by Weyl s dimension formula (4.3) d ξ = α + 0 α + 0 (ξ +ρ,α), ρ = 1 (ρ,α) 2 The sum goes over the positive roots α + 0, which form a subset of the set 0 used before. Weyl s dimension formula directly implies (4.1) from ξ 1 + ξ. In order to prove (4.2) we consider first an arbitrary difference of first order of the form τ d ξ = d ξ+τ d ξ for a suitable lattice vector τ Λ. Then, an elementary calculation shows that τ d ξ d ξ = α + 0 ( (ξ +ρ,α)+(τ,α) ) α + 0 (ξ +ρ,α) α + 0 α + 0 α. (ξ +ρ,α) and, therefore, we see that the right-handside indeed behaves like ξ 1 for all d ξ 0. The full statement follows in analogy. In the following we extend the family of characters χ ξ from [ξ] weight lattice using the Weyl character formula Ĝ to the full (4.4) j(expx)χ ξ (expx) = ω W sign(ω)e 2πi(ω(ξ+ρ),x) for x t g the Cartan subalgebra and W its Weyl group. As usual (4.5) j(expx) = ω W sign(ω)e 2πi(ωρ,x) denotes the Weyl denominator. As χ ξ : T C is invariant under the adjoint action it extends to a unique central function on the group. We collect two properties of these functions related to averaging over orbits of the Weyl group. Lemma 4.2. Let O ξ := {ωξ : ξ W}. Then (4.6) χ ξ (expx) = and (4.7) χ ξ (expx)χ ξ (expx) = e 2πi(ξ,x) χ ξ +ξ (expx) for any fixed pair ξ,ξ Λ. Furthermore, { sign(ω) ω W : ω(ξ +ρ) = ξ +ρ, (4.8) χ ξ (g)χ ξ (g)dg = 0 otherwise.

15 MULTIPLIERS ON COMPACT LIE ROUPS 15 Proof. Using Weyl character formula we obtain j(expx) χ ξ (expx) = ω W = ( sign(ω) ω W = j(expx) sign(ω)e 2πi(ω(ξ +ρ),x) e 2πi(ωξ,x) e 2πi(ξ,x) ) e 2πi(ωρ,x) using that elements of W permute the orbit O ξ and hence the first identity. Similarly we obtain (j(expx)) 2 χ ξ (expx)χ ξ (expx) = = ω W ( )( sign(ω)e 2πi(ω(ξ +ρ),x) ω W ω W ( = (j(expx)) 2 ω W sign(ω)e 2πi(ω(ω 1ω ξ +ξ +ρ),x) χ ξ +ξ (expx). ) sign(ω )e 2πi(ω (ξ +ρ),x) ) sign(ω )e 2πi(ω ρ,x) Furthermore, (4.8) follows by Weyl integration formula, χ ξ (g)χ ξ (g)dg = 1 sign(ωω ) e 2πi(ω(ξ +ρ) ω (ξ+ρ),x) dx W R k /Z k ω,ω W combined with the orthogonality relations of trigonometric functions and the fact that W acts simply and transitively on the chambers. Lemma 4.3. Assume is semi-simple. Then by (4.6) (4.9) tracead(expx) rank = ξ 0 e 2πi(ξ,x) = ξ 0 χ ξ (expx). For thefollowing we assume thatσ Σ(Ĝ) is central, σ(ξ) = σ ξi. This corresponds to a distribution F 1 σ D () invariant under the adjoint action of the group. The following lemma explains the action of the difference operator on σ. We understand d ξ σ ξ as scalar sequence on the lattice of dominant weights extended by the action of the Weyl group σ ξ = σ ξ, and recall that d ξ and χ ξ behave odd if ω W : ξ +ρ = ω(ξ +ρ) d ξ = sign(ω)d ξ, χ ξ = sign(ω)χ ξ, if ω W : ξ +ρ = ω(ξ +ρ). Lemma 4.4. Assume is semi-simple. Then there exists a second order difference operator 2 acting on the lattice of heighest weights such that (4.10) d ξ σ = 2 (d ξ σ ξ )I

16 16 MICHAEL RUZHANSKY AND JENS WIRTH holds true. Proof. It suffices to prove the formula for elementary sequences σ ξ which are 1/d ξ for some dominant ξ = ξ and 0 otherwise. Then σ is the Fourier transform of ρ 2 (g)χ ξ (g), which in turn can be calculated based on equation (4.7) and (4.9), F[ σ] = (dim tracead)χ ξ = ( δ ξ χ ξ ) ξ 0 = ξ 0 ( δ ξ χ ξ χ ξ +ξ with δ ξ = O ξ and the difference operator 2 τ ξ = ( δ ξ τ ξ ξ 0 ) χ ξ χ ξ = F[(d 1 ξ 2 (d ξ σ ξ ))I] ξ O ξ τ ξ ξ acting on the weight lattice Λ. Near the walls of the Weyl chamber we made use of theparticular extension of σ ξ. The difference operator 2 annihilates linear functions on the lattice and is therefore of second order. Example 4.5. OnthegroupS 3 SU(2)weobtainfor d 1 tracet 1 (inthenotation of [15]) that central sequences σ l satisfy (4.10) with 2 σ l = 2σ l σ l 1 σ l+1, which is (up to sign) the usual second order difference on 1 2 Z. Remark 4.6. The statement of Lemma 4.4 extends to arbitrary compact groups. The additional representations used to define ρ 2 (g) give more summands adding up to another second order difference operator on the lattice. Remark 4.7. N. Weiss used in [23] the remarkably similar looking function γ(expτ) = e 2πi(ωρ,τ) W, ω W W the Weyl group and again ρ the Weyl vector, in place of our distance function ρ 2 (g) = dim tracead(g). This function seems to simplify the treatment of central multipliers (as the associated difference operator δ acts in a much simpler way on central sequences), but it does not allow the use of a finite Leibniz rule which is important for our proof in the non-central case. It is remarkable that δd ξ = Functions of the Laplacian. We say a bounded function f defined on a normed linear space V has an asymptotic expansion at, (4.11) f(η) f k (η), η k=0 if there exist functions f k (η), homogeneous of order k for large η, such that N (4.12) f(η) f k (η) C N (1+ η ) N k=0 holds true for certain constants C N. We fix a maximal torus T of and denote by t the dual of its Lie algebra. )

17 MULTIPLIERS ON COMPACT LIE ROUPS 17 Lemma 4.8. Assume f : t C is bounded, even under the action of the Weyl group, f(ξ) = f(ξ ) if ξ +ρ = ω(ξ +ρ) for some ω W, and has an asymptotic expansion into smooth components at and denote f(ξ) its restriction to the weight lattice Λ t. Then the central sequence f(ξ)i defines an L p -bounded multiplier on for all 1 < p <. Remark 4.9. It is enough to assume the asymptotic expansion up to fixed finite order κ as in Theorem 2.1. Proof. We identify t with R t, t = rank, which is the space V in definition (4.11). In a first step let f k (η) be smooth and homogoneous of degree k on η 1. Then f k S k (R t ) and by the arguments of [15, Theorem 4.5.3] we immediately get that the restriction of f to the lattice belongs to the symbol class S1 k (T ). Furthermore, lattice differences preserve O ( (1 + η ) N) for any N. Therefore, choosing N in dependence on the order of the difference we immediately see that the restriction of f to the lattice belongs to S1 0 (T ). In order to obtain the L p -boundedness we follow the proof of Theorem 2.1. Note thatψ r isdefined intermsofthepseudo-distance ρandthereforecentral. Hence ψ r (ξ) is a central sequence (also denoted by ψ r (ξ) for the moment and extended evenly to the full lattice) and thus by Lemma 4.4 in combination with Lemma 4.1 we obtain the desired bounds for the HS-norm of (f(ξ) ψ r (ξ)) = 1 d ξ 2 (d ξ f(ξ) ψ r (ξ)) and for corresponding higher differences with respect to. Corollary Assume f : R + has an asymptotic expansion up to order κ into homogeneous components at. Then f( ) is bounded on L p () for 1 < p <. Proof. This follows from the fact that λ 2 ξ = ξ +ρ 2 ρ 2 is even and has the desired asymptotic expansion in ξ. This implies that f(λ 2 ξ ) also has an asymptotic expansion, see Remark 4.9, and one-dimensionality allows one to choose the components of the expansion as smooth functions. Remark Coifman and. Weiss showed in[7] that central multipliers correspond to L p ()-bounded operators if D(d ξ σ ξ ) is an L p (T)-bounded multiplier on the corresponding lattice, where D is the product of elementary (backward) differences α corresponding to the positive roots α Applications to non-central operators In this section we give applications to invariant and non-invariant operators. Difference operators D α in this section correspond to those in Theorem 2.1 for simplicity of the formulations. However, in Remark 5.3 we explain that those associated to the extended root system analogously to those in Theorem 3.5 will suffice.

18 18 MICHAEL RUZHANSKY AND JENS WIRTH 5.1. Mapping properties of operators of order zero. As a second main example we consider operators associated to symbols Sρ 0 () of type ρ [0,1], i.e. matrix symbols for which D α σ A (ξ) op C α ξ ρ α, holdsforallαandall[ξ] Ĝ, andaskformappingpropertiesofsuchoperatorswithin Sobolev spaces over L p (). Such symbol classes appear naturally as parametrices for non-elliptic operators, see Example 2.6 and Corollary 2.7. We now give a refined version of a multiplier theorem for such operators: Corollary 5.1. Let ρ [0, 1] and let κ be the smallest even integer larger than 1 2 dim. Assume that A is a left-invariant operator on with matrix symbol σ A satisfying (5.1) D α σ A (ξ) op C α ξ ρ α for all α κ and all [ξ] Ĝ. Then A is a bounded operator mapping the Sobolev space Wp,r () into L p () for 1 < p < and r = κ(1 ρ) 1 p 1 2. Proof. The proof follows by interpolation from two end point statements, the trivial one for p = 2 and the fact that ξ κ(1 ρ) σ A (ξ) defines an operator of weak type (1,1) on L 1 (). The latter follows from Theorem 2.1 in combination with Leibniz rule (3.6) for difference operators, D α ξ κ(1 ρ) σ A (ξ) op ξ κ(1 ρ) l mρ ξ κ+(κ α )ρ l,m α l+m which can be estimated by ξ α whenever α κ. Similar to Remark 5.3, Corollary 5.1 remains true if in (5.1) we take only the single difference of order κ and only those differences that are associated to the extended root system 0 for α κ 1, if we apply Theorem 3.5 instead of Theorem 2.1 in the proof. We also note that the variable coefficient version Sρ,δ m m () of these classes Sρ (), especially the class S m played an important role in the proof of the sharp 1, 2(), 1 årding inequality on compact Lie groups in [16] Proof of Corollary 2.7. Let X be left-invariant vector field on the group with σ X (ξ) = (Xξ)(1) as its symbol. We assume 3 that the bases of the representation spaces are chosen such that σ X (ξ) is diagonal for all [ξ] Ĝ. Let further [η] Ĝ be a fixed representation with associated differences D ij = η D ij. Then for some τ ij we have D ij σ X = (Xη ij )(1)I dξ d ξ = τ ij I dξ d ξ as can be seen immediately on the Fourier side and follows from Fδ 1 = I dξ d ξ. By our choice of representation spaces, τ ij = 0 for i j and j τ jj = 0. The 3 This can always be arranged by diagonalising symmetric matrices; see also [15, Remark ].

19 MULTIPLIERS ON COMPACT LIE ROUPS 19 latter one is just another formulation of the fact that the derivatives of the character χ η (x) = traceη(x) vanish in the identity element 1. Now σ X+c (ξ) = σ X (ξ)+ci is invertible for all ξ, whenever c spec( X) ir. For such c the Leibniz rule (3.5) for D ij implies dη 0 = (D ij σ 1 X+c )σ X+c +τ ij σ 1 X+c + τ kj (D ik σ 1 X+c ), so that D ij σ 1 X+c = 0 for i j and c+τ jj spec( X), and D jj σ 1 X+c = τ jjσ 1 X+c (σ X+c+τ jj ) 1 = τ jj (σ X +ci) 1 (σ X +(c+τ jj )I) 1. Usingthisrecursionformulaweseethatσ 1 X+c S 0 0 ()providedallappearingmatrix inverses exist, which means k=1 c spec( X) in[τ 11,...,τ ll ], where the latter stands for the set of all linear combinations of τ 11,...,τ ll with integer coefficients. Outside this exceptional set of parameters by Corollary 5.1 we conclude the L p -estimate f L p () C p (X +c)f W p,κ 1 p 1 2 () for all 1 < p < Non-invariant pseudo-differential operators. The result for multipliers impliesthel p -boundedness fornon-invariant operatorsifweassume sufficient regularity of the symbol. Again, such a result is an extension of the L p -boundedness of pseudodifferential operators. LetA : C () D ()bealinearcontinuousoperator(notnecessarilyinvariant). Following [15], we define its matrix symbol σ A : Ĝ C d ξ d ξ [ξ] Ĝ so that for each (x,[ξ]) Ĝ, the matrix σ A(x,ξ) C d ξ d ξ is given by σ A (x,ξ) = ξ(x) (Aξ)(x). In particular, for the left-invariant operators we have (2.5). Consequently, it was shown in [15] that such symbols are well-defined on Ĝ and that the operator A can be quantised as Aφ(x) = d ξ trace(ξ(x)σ A (x,ξ) φ(ξ)). [ξ] Ĝ We also have the relation (2.3) in this setting. Let xj, 1 j n, be a collection of left invariant first order differential operators corresponding to some linearly independent family of the left-invariant vector fields on. We denote x β := β 1 x 1 x βn n. In [15], and completed in [18], it was shown

20 20 MICHAEL RUZHANSKY AND JENS WIRTH that the Hörmander class Ψ m () of pseudo-differential operators on defined by localisations can be characterised in terms of the matrix symbols. In particular, we have A Ψ m () if and only if its matrix symbol σ A satisfies β xd α σ A (x,ξ) op C α,β ξ m α for all multi-indices α,β, for all x and [ξ] Ĝ. For the Lp -boundedness it is sufficient to impose such conditions up to finite orders as follows, extending Theorem 2.1 to the non-invariant case: Theorem 5.2. Denote by κ be the smallest even integer larger than n, n the dimension of the group. Let 1 < p < and let l > n be an integer. Let 2 p A : C () D () be a linear continuous operator such that its matrix symbol σ A satisfies (5.2) β x Dα σ A (x,ξ) op C α,β ξ α for all multi-indices α,β with α κ and β l, for all x and [ξ] Ĝ. Then the operator A is bounded on L p (). Remark 5.3. The modifications similar to other formulations of multiplier theorems regarding the choice of difference operators remain true in a straightforward way. For example, it is enough to impose difference conditions D α in (5.2) only with respect to the (extended) root system. Thus, in analogy with Theorem 3.5, the conclusion of Theorem 5.2 remains true if we impose β x κ/2 σ A (x,ξ) op C ξ κ as well as (5.2) only for D α D κ 1, for all β l. Similarly, Corollary 5.1 can be extended to the general (non-invariant) case. Proof. Let Af(x) = (f r A (x))(x), where r A (x)(y) = R A (x,y) denotes the right-convolution kernel of A. Let so that A x f(x) = Af(x). Then Af p L p () = A y f(x) := (f r A (y))(x), A x f(x) p dx sup A y f(x) p dx. y By an application of the Sobolev embedding theorem we get sup A y f(x) p C y α A yf(x) p dy. y α l

21 MULTIPLIERS ON COMPACT LIE ROUPS 21 Therefore, using the Fubini theorem to change the order of integration, we obtain Af p L p () C ya α y f(x) p dx dy α l C α lsup y α A yf(x) p dx y = C α lsup y α A yf p L p () y C α lsup f f y α r A(y) p L(L p ()) f p L p () y C f p L p (), where the last inequality holds due to Theorem 2.1. References [1] R. Akylzhanov, E. Nursultanov and M. Ruzhansky, Hardy-Littlewood inequalities and Fourier multipliers on SU(2), arxiv: [2]. Alexopoulos, Spectral multipliers on Lie groups of polynomial growth. Proc. Amer. Math. Soc. 120 (1994), [3] J.-P. Anker, L p Fourier multipliers on Riemannian symmetric spaces of the noncompact type. Ann. of Math., 132 (1990), [4] R. Coifman and M. de uzman, Singular integrals and multipliers on homogeneous spaces, Rev. Un. Mat. Argentina, 25 (1970), [5] R. Coifman and. Weiss, Multiplier transformations of functions on SU(2) and Σ 2, Rev. Un. Mat. Argentina, 25 (1970), [6] R. Coifman and. Weiss, Analyse Harmonique Non-Commutative sur Certains Espaces Homogenes, Lecture Notes in Mathematics, Vol. 242, Springer-Verlag, Berlin Heidelberg New York, [7] R. Coifman and. Weiss, Central multiplier theorems for compact Lie groups. Bull. Am. Math. Soc., 80 (1973), [8] M. Cowling, Harmonic analysis on semigroups. Ann. of Math., 117 (1983), [9] M. Cowling and A. Sikora, A spectral multiplier theorem for a sublaplacian on SU(2). Math. Z., 238 (2001), [10] H. D. Fegan, Introduction to compact Lie groups, Series in Pure Mathematics, Vol. 13, World Scientific, [11] L. Hörmander, Estimates for translation invariant operators in L p spaces. Acta Math., 104 (1960), [12] S. M. Nikolskii, Approximation of functions of several variables and imbedding theorems (Russian), 2nd edition, Nauka, Moscow, [13] M. Ruzhansky and V. Turunen, On the Fourier analysis of operators on the torus. Modern trends in pseudo-differential operators, , Oper. Theory Adv. Appl., 172, Birkhäuser, Basel, [14] M. Ruzhansky and V. Turunen, Quantization of pseudo-differential operators on the torus, J. Fourier Anal. Appl., 16 (2010), [15] M. Ruzhansky and V. Turunen, Pseudo-differential operators and symmetries, Birkhäuser, Basel, [16] M. Ruzhansky and V. Turunen, Sharp årding inequality on compact Lie groups, J. Funct. Anal. 260 (2011),

22 22 MICHAEL RUZHANSKY AND JENS WIRTH [17] M. Ruzhansky and V. Turunen, lobal quantization of pseudo-differential operators on compact Lie groups, SU(2) and 3-sphere, Int. Math. Res. Not. (2012); article ID rns122, 58 pages, doi: /imrn/rns122. [18] M. Ruzhansky, V. Turunen and J. Wirth, Hörmander class of pseudo-differential operators on compact Lie groups and global hypoellipticity, J. Fourier Anal. Appl., 20 (2014), [19] M. V. Ruzhansky and J. Wirth, On multipliers on compact Lie groups, Funct. Anal. Appl., 47/1 (2013), [20] M. Ruzhansky and J. Wirth, lobal functional calculus for operators on compact Lie groups, J. Funct. Anal., 267 (2014), [21] R. T. Seeley, Complex powers of an elliptic operator, 1967, Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), , Amer. Math. Soc., Providence, R.I. [22] E. M. Stein Topics in harmonic analysis related to the Littlewood-Paley theory, Vol. 63 of Annals of Mathematics Studies, Princeton University Press, [23] N. Weiss, L p estimates for bi-invariant operators on compact Lie groups, Amer. J. Math. 94 (1972), Michael Ruzhansky: Department of Mathematics Imperial College London 180 Queen s ate, London SW7 2AZ United Kingdom address m.ruzhansky@imperial.ac.uk Jens Wirth: Institut für Analysis, Dynamik und Modellierung Universität Stuttgart Pfaffenwaldring 57, Stuttgart ermany address jens.wirth@iadm.uni-stuttgart.de