Arxiv:1911.05851V3 [Math.FA] 24 Jun 2021

Home , Saturated family

arXiv:1911.05851v3 [math.FA] 24 Jun 2021 eo.I h rsn ae,w i ocaatrz eeaosb of“ generators still characterize are to groups aim our we groups: paper, parameter present the grou In one-parameter equicontinuous below. exponentially the exactly are hoe .1 n napiaint togycniuu i ru re of group investigation subsequent Lie a continuous with strongly 4.1, one-param Theorem to equicontinuous in application provided to is an Applications spaces and equicontinuo 3.8. all 3.11, Theorem includes Theorem in which given [3], reference be in will Babalola one- V.A. continuous by strongly defined of generators the of characterization yVA aaoai 3,ba titrltosi ihtefie fundamen “ 2.3. of fixed Definition the see with – g relationship topology our strict convex hand, a locally other bear the the [3], generating On in Babalola relaxed. V.A. is by requirement uniformity the but omdfaeokadpoie,a oolr,acasfiaino t of classification a corollary, a with“ as groups provides, and framework normed o continuous th strongly improved arbitrary then an 3.1.22]. Rusinek for Theorem J. context space VIII.8]). Banach Theorem the VIII.7, Theorem [24, f n nyi,i osse es e faayi etr nieisd its inside form vectors the hermitia analytic of closed of all set a are dense that groups a 5.1] one-parameter possesses unitary Lemma it continuous [22, a if, of in only set and proved dense if, Nelson a of E. existence example, of hypothesis for the on rely which groups in´ fioeTecnológico).Cient´ıfico e operator. ferential u anga st rv e eeainterm ntelclyconve locally the in theorems generation new prove to is goal main Our nteppr[8,Z ayrdaswt eeainterm nlocally on theorems generation with deals Magyar Z. [18], paper the In nteBnc pc otx,teeaevr elkongenerat well-known very are there context, space Banach the In e od n phrases. and words Key 2020 hswr spr faPDtei 6,wihwsspotdb CN by supported was which [6], thesis PhD a of part is work This rjcieaayi vectors analytic projective ahmtc ujc Classification. Subject Mathematics RJCIEAAYI ETR N NIIEIA GENERATORS INFINITESIMAL AND VECTORS ANALYTIC PROJECTIVE Abstract. ihafcsdaayi ncnrt lerso ucin an functions of algebras concrete repre on group analysis Lie focused continuous a strongly with to application An role. ii rcdr,i hc h xsec fadnesto proj of set dense a of existence the which wh in groups procedure, one-parameter i limit continuous use and specifi strongly More vector, of analytic spaces. generators convex an locally of on ones groups usual one-parameter the than weaker are nfr xoeta growth exponential uniform eetbihtento fa“ a of notion the establish We nltcvco;oeprmtrgop rjcielmt l limit; projective group; one-parameter vector; analytic ,acnetwihfisvr aual noti rmwr.Te,a Then, framework. this into naturally very fits which concept a ”, ORG .H .CABRAL M. H. A. RODRIGO rmr 70,4M0 eodr 76,4G0 35S05. 47G30, 47L60, Secondary 46M40; 47D03, Primary 1. –se[8 ae11;seas 1,Catr1.Teegroups These 1]. Chapter [19, also see 101]; page [18, see ”– xoeta growth exponential Introduction rjcieaayi vector analytic projective 1 al,w ieacaatrzto fthe of characterization a give we cally, ettoso aahsae sgiven, is spaces Banach on sentations cieaayi etr ly central a plays vectors analytic ective c rs stersl faprojective a of result the as arise ich fpeddffrniloperators. pseudodifferential of d ,a endo ae9 frfrne[18], reference of 95 page on defined as ”, iT aaee rusblnigt class a to belonging groups parameter q(osloNcoa eDesenvolvimento de Nacional (Conselho Pq opoegnrto hoesfor theorems generation prove to t with , lnigt ieetcaso one- of class different a to elonging ,woedfiigrequirements defining whose ”, swihapa nDfiiin2.1, Definition in appear which ps eprmtrgop–seas [5, also see – group ne-parameter ayi etr.I ibr spaces, Hilbert In vectors. nalytic o hoesfrone-parameter for theorems ion egnrtr fone-parameter of generators he mi eeaoso strongly of generators – omain op,wihwr introduced were which roups, T eti lerso functions of algebras certain srsl nrfrne[5 to [25] reference in result is clycne pc;pseudodif- space; convex ocally efajitoeao (see operator self-adjoint a ovxsae eodthe beyond spaces convex soeprmtrgroups, one-parameter us rsnain nBanach on presentations prtri self-adjoint is operator n trgop r ie in given are groups eter a ytmo seminorms of system tal el ihteaid the with realm x 2 RODRIGO A. H. M. CABRAL and of pseudodifferential operators. In particular, we show that estimates which are similar to the ones provided in [10, Proposition 4.2, page 262] may be obtained, and with constants that do not depend on the dimension n of the subjacent Euclidean space (the estimates in reference [10] appear as a byproduct of Cordes’ pseudodifferential classification of the smooth vectors under the action of the (2n + 1)-dimensional Heisenberg group by ∗-automorphisms). An analogous treatment is also given for the action of the n-dimensional torus. Our estimates highlight the strong interplay between the natural Fréchet topology of the algebra of smooth vectors and the partial derivatives of the symbols of these pseudodifferential operators.

2. Preliminaries Some Conventions: The notations (X , Γ) or (X , τ) will frequently be used to indicate, respectively, that Γ is a fundamental system of seminorms for the locally convex space X (in other words, a family of seminorms on X which generates its topology) or that τ is the locally convex topology of X . The symbol L(X ) will always denote the algebra of continuous linear operators defined on all of X , and the term “τ-continuous” will often be used to indicate that the continuity of an operator is related to the τ topology. A family of seminorms Γ defined on a locally convex space X is said to be saturated if, for any given finite subset F of Γ, the seminorm defined by

pF : x 7−→ max {p(x): p ∈ F } also belongs to Γ. A fundamental system of seminorms can always be enlarged to a saturated one by including the seminorms pF , as defined above, in such a way that the resulting family generates the same topology. Hence, it will always be assumed in this paper that the families of seminorms to be considered are already saturated, whenever convenient, without further notice. A linear operator T on X will always be assumed as being defined on a vector subspace Dom T of X , called its domain. When its domain is dense, the operator will be called densely defined. Also, if S and T are two linear operators on X , then their sum will be defined by Dom (S + T ) := Dom S ∩ Dom T, (S + T )(x) := S(x)+ T (x), and their composition by Dom (TS) := {x ∈ X : S(x) ∈ Dom T } , (TS)(x) := T (S(x)), following the usual conventions of the classical theory of unbounded linear operators on Hilbert and Banach spaces. The range of T will be denoted by Ran T . Definition 2.1 (One-parameter Semigroups and Groups). A one-parameter semigroup on a Hausdorff locally convex space (X , Γ) is a family {V (t)}t≥0 of linear operators in L(X ) satisfying V (0) = I, V (s + t)= V (s)V (t), s,t ≥ 0. If, in addition, the semigroup satisfies the property that

lim p(V (t)x − V (t0)x)=0, t0 ≥ 0, p ∈ Γ, x ∈ X , t→t0 then {V (t)}t≥0 is called strongly continuous or, more explicitly, a strongly continuous one-parameter semigroup. Such a semigroup is called exponentially equicontinuous [2, Deﬁnition 2.1] if there exists a ≥ 0 satisfying the following property: for all p ∈ Γ, there exist q ∈ Γ and Mp > 0 such that at p(V (t)x) ≤ Mp e q(x), t ≥ 0, x ∈ X . If a can be chosen equal to 0, such a semigroup will be called equicontinuous [27, page 234]. A strongly continuous one-parameter semigroup is said to be locally equicontinuous if, for every PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 3 compact K ⊆ [0, +∞), the set {V (t): t ∈ K} is equicontinuous, meaning that, for each p ∈ Γ, there exist q ∈ Γ and Mp > 0 satisfying

p(V (t)x) ≤ Mp q(x), t ∈ K, x ∈ X . These definitions are analogous for one-parameter groups, switching from “ t ≥ 0”to“ t ∈ R”, “ eat” to “ ea|t|” and “ [0, +∞)” to “ R”. In the group case, much of the above terminology can be adapted from one-parameter groups to general Lie groups. For example, if G is a Lie group with unit e, then a family {V (g)}g∈G of linear operators in L(X ) satisfying V (e)= I, V (gh)= V (g)V (h), g,h ∈ G and lim V (g)x = V (h)x, x ∈ X , h ∈ G, g→h is called a strongly continuous representation of G on X . Such a group representation is called locally equicontinuous if, for each compact K ⊆ G, the set {V (g): g ∈ K} is equicontinuous. Definition 2.2 (The Kernel Invariance Property (KIP)). If (X , Γ) is a Hausdorff locally convex space, define for each p ∈ Γ the closed subspace

Np := {x ∈ X : p(x)=0} , often referred to as the kernel of the seminorm p, and the quotient map πp : X ∋ x 7−→ [x]p ∈ X /Np. Then, X /Np is a normed space with respect to the norm k[x]pkp := p(x), and is not necessarily complete. Denote its completion by Xp := X /Np. A densely deﬁned linear operator T : Dom T ⊆ X −→ X is said to possess the kernel invariance property (KIP) with respect to Γ if it leaves their seminorms’ kernels invariant, that is,

T [Dom T ∩ Np] ⊆ Np, p ∈ Γ – reference [3] calls them “compartmentalized operators”. If this property is fulﬁlled, then the linear operators

Tp : πp[Dom T ] ⊆ Xp −→ Xp,Tp :[x]p 7−→ [T (x)]p, on the quotients are well-defined, and their domains are dense in Xp. Next, we define the strongly continuous one-parameter (semi)groups which will be studied in this article. Definition 2.3 (Γ-semigroups and Γ-groups). Let (X , Γ) be a complete Hausdorff locally convex space. For each p ∈ Γ, define

Vp := {x ∈ X : p(x) ≤ 1} . Following [3], the following conventions will be used:

(1) LΓ(X ) ⊆ L(X ) denotes the family of continuous linear operators A on X satisfying the property that, for all p ∈ Γ, there exists λ(p, A) > 0 such that

A[Vp] ⊆ λ(p, A) Vp or, equivalently, p(Ax) ≤ λ(p, A) p(x), x ∈ X . 4 RODRIGO A. H. M. CABRAL

(2) A strongly continuous one-parameter semigroup t 7−→ V (t) is said to be a Γ-semigroup if, σpt for each p ∈ Γ, there exist Mp, σp ∈ R such that p(V (t)x) ≤ Mp e p(x), for all x ∈ X and t ≥ 0 – in [3] they are called (C0, 1) semigroups; similarly for groups. Γ-groups are deﬁned σp|t| in an analogous way, but with p(V (t)x) ≤ Mp e p(x), for all x ∈ X and t ∈ R. Note that the deﬁnition above automatically implies local equicontinuity of the one-parameter (semi)group V , and that the operators V (t) have the (KIP) with respect to Γ. In particular, if

{Tα}α∈A is a net of linear operators having the (KIP) with respect to Γ, all defined on the same domain D ⊆ X , such that Tα(x) converges to T (x), for all x ∈D⊆ Dom T , then T |D also has the (KIP) with respect to Γ. Since, by definition, the generator T of a Γ-(semi)group t 7−→ V (t) satisfies V (t)x − x lim = T x, t→0 t for all x ∈ Dom T (see Definition 2.4, below), it follows that T has the (KIP) with respect to Γ. The definitions of Γ-semigroups and Γ-groups given here are equivalent to the ones given in [3, Definitions 2.1 and 2.2], as is proved in [3, Theorem 2.6] (note that a “local equicontinuity-type” requirement which is present in [3, Definition 2.1] is missing in [3, Definition 2.2]). Exploring the (KIP), the author of [3] associates to the Γ-semigroup t 7−→ V (t) a family of strongly continuous

semigroups V˜p , where V˜p is deﬁned on the Banach space (Xp, k·kp). For each p ∈ Γ, the p∈Γ type of V˜p [16,n pageo 306], denoted by wp, is deﬁned as 1 wp := inf log kV˜p(t)kp, t>0 t

and may be a real number or −∞ [11, pages 40, 251], [16, Theorem 7.6.1]. The family {wp}p∈Γ of elements in the extended real line is called the type of V . Following [3, page 170], if the supremum w := supp∈Γ wp is a real number, then V is said to be of bounded type w – analogously, substituting “t> 0”by“t ∈ R\{0}”and“1/t”by“1/|t|”, one defines Γ-groups of bounded type. A nice aspect of Γ-semigroups of bounded type w is that they satisfy the resolvent formula +∞ R(λ, T )x = e−λtV (t)x dt, x ∈ X , Z0 for all λ > w, where T is the infinitesimal generator of V , as is shown in [3, Theorem 3.3]. Note that, unlike exponentially equicontinuous (semi)groups, the definitions of Γ-semigroups and Γ-groups depend on the choice of the fundamental system of seminorms Γ. Another very important concept is that of a resolvent set, so let T : Dom T ⊆ X −→ X be a linear operator. Then, the set ρ(T ) := λ ∈ C : (λI − T ) is bijective and (λI − T )−1 ∈ L(X ) is called the resolvent setof the operator T (note that it may happen that ρ (T ) = ∅, or even ρ(T )= C), and the map R( · ,T ): ρ(T ) ∋ λ 7−→ R(λ, T ) := (λI − T )−1 ∈ L(X ) is called the resolvent of T . When λ ∈ ρ(T ), it will be said that the resolvent operator of T exists at λ, and R(λ, T ) is called the resolvent operator of T at λ or the λ-resolvent of T . Finally, the complementary set σ(T ) := C \ρ(T ) is called the spectrum of the operator T . PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 5

Definition 2.4 (Infinitesimal Generators, Smooth and Analytic Vectors). Let t 7−→ V (t) be a strongly continuous one-parameter semigroup on the Hausdorff locally convex space (X , Γ) and consider the subspace of vectors x ∈ X such that the limit V (t)x − x lim t→0 t exists. Then, the linear operator T defined by V (t)x − x Dom T := x ∈ X : lim exists in X t→0 t V (t)x−x and T (x) := limt→0 t is called the infinitesimal generator (or, simply, the generator) of the semigroup t 7−→ V (t) (the definition for groups is analogous). Also, if G is a Lie group and g 7−→ V (g) is a strongly continuous representation of G on X then, for each fixed element X of its Lie algebra g, the infinitesimal generator of the one-parameter group t 7−→ V (exp tX) will be denoted by dV (X) (exp denotes the exponential map of the Lie group G). A vector x ∈ X is called a C∞ vector for V , or a smooth vector for V , if the map G ∋ g 7−→ V (g)x is of class C∞: a map f : G −→ X is of class C∞ at g ∈ G if it possesses continuous partial derivatives of all orders with respect to a chart around g. The subspace of smooth vectors for V will be denoted by C∞(V ). Moreover, following [21, page 54], we will say that a vector x ∈ X is analytic for V if x ∈ C∞(V ) ∞ and the map Fx : G ∋ g 7−→ V (g)x is analytic: in other words, if x ∈ C (V ) and, for each g ∈ G ′ ′ and every analytic chart h: g 7−→ (tk(g ))1≤k≤d around g sending it to 0 there exists rx > 0 such that p(∂α(F ◦ h−1)(0)) x |t(g′)α| < +∞ α! Nd αX∈ and ∂α(F ◦ h−1)(0) x t(g′)α = F (g′), α! x Nd αX∈ ′ for every p ∈ Γ, whenever |t(g )| < rx, where

′ α ′ α1 ′ αd ′ ′ t(g ) = t1(g ) ...td(g ) and |t(g )| := max |tk(g )| 1≤k≤d

– note that rx is independent of p ∈ Γ; note, also, that [21, Lemma 3, page 52] proves that the convergence mentioned holds in any Hausdorff locally convex topology between the weak and the strong ones, and with the same radius of convergence. The subspace of analytic vectors for V will be denoted by Cω(V ). If τ is the topology defined by Γ, then the elements of Cω(V ) will sometimes be called τ-analytic. Now, let T be a linear operator on X . An element x ∈ X is called a τ-analytic vector for T if +∞ x ∈ C∞(T ) := Dom T n n=1 \ and there exists rx > 0 such that p (T n(x)) |u|n < ∞, |u| < r , n! x nX≥0 for every p ∈ Γ. The subspace of analytic vectors for T will be denoted by Cω(T ). See also the definition of “s-analytic vectors”of an operator on page 94 of reference [18]. 6 RODRIGO A. H. M. CABRAL

A linear operator T : Dom T ⊆ X −→ X on the Hausdorff locally convex space X is closed if its graph is a closed subspace of X × X ; an operator S : Dom S ⊆ X −→ X is closable if it has a closed extension or, equivalently, if for every net {xα}α∈A in Dom S such that xα −→ 0 and S(xα) −→ y, one has y = 0. If S is closable, then it has a minimal closed extension, called the closure of S and denoted by S. Two very important results regarding infinitesimal generators on locally convex spaces are Propositions 1.3 and 1.4 of [17], which prove that infinitesimal generators of strongly continuous locally equicontinuous one-parameter semigroups on sequentially complete locally convex spaces are densely defined and closed. Definition 2.5 (Cores). If T : Dom T ⊆ X −→ X is a closed linear operator on the Hausdorff locally convex space X and D⊆ Dom T is a linear subspace of Dom T such that

T |D = T, then D is called a core for T . Using the argument at the end of the proof of [18, Lemma 4] we arrive at the following lemma: Lemma 2.6. Let t 7−→ V (t) be a strongly continuous locally equicontinuous one-parameter group on a complete Hausdorﬀ locally convex space (X , Γ) having T as its generator. Suppose D is a dense subspace of X which is contained in C∞(V ) and is group invariant, that is, V (t)[D] ⊆ D, t ∈ R.

n n n n If n ∈ N and T , T |D are both closable operators, then T = T |D. A corollary of Lemma 2.6 is that, under these hypotheses, D is a core for the generator T . An analogous lemma is also available for one-parameter semigroups. Lemma 2.6 will be used in the proof of Theorem 3.2.

Definition 2.7 (Projective Limits). Let {Xi}i∈I be a family of Hausdorff locally convex spaces, where I is a directed set under the partial order and, for all i, j ∈ I satisfying i j, suppose that there exists a continuous linear map µij : Xj −→ Xi satisfying µij ◦ µjk = µik, whenever i j k (µii is, by definition, the identity map, for all i ∈ I). Then, (Xi,µij , I) is called a projective system (or an inverse system) of Hausdorff locally convex spaces. Consider the vector space X defined by

X := (xi)i∈I ∈ Xi : µij (xj )= xi, for all i, j ∈ I with i j ( ) Yi∈I and equipped with the relative Tychonoff’s product topology or, equivalently, the coarsest topology for which every canonical projection πj : (xi)i∈I 7−→ xj is continuous, relativized to X . Then, X is a Hausdorff locally convex space, and is called the projective limit (or inverse limit) of the family {X } . In this case, the notation lim X := X is employed. i i∈I ←− i Any complete Hausdorff locally convex space (X , Γ) is isomorphic to the projective limit of Banach spaces lim X , so they will be treated as if they were the same space, in the proofs. ←− p Now, suppose there are linear operators Ti : Dom Ti ⊆ Xi −→ Xi which are connected by the relations µij [Dom Tj] ⊆ Dom Ti and Ti ◦ µij = µij ◦ Tj, whenever i j. Then, the family {Ti}i∈I is said to be a projective family of linear operators. The latter relation ensures that the linear transformation T defined on Dom T := lim Dom T ⊆ lim X by T (x ) := (T (x )) has its ←− i ←− i i i∈I i i i∈I range inside lim X , thus defining a linear operator on lim X . This operator is called the projective ←− i ←− i limit of {Ti}i∈I , as in [3, page 167]. PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 7

3. Main results The next task will be to define projective analytic vectors on locally convex spaces, so that some useful theorems become available: Definition 3.1 (Projective Analytic Vectors). Let (X , τ) be a Hausdorff locally convex space with a fundamental system of seminorms Γ and T be a linear operator defined on X . An element x ∈ X is ∞ called a τ-projective analytic vector for T if x ∈ C (T ) and, for every p ∈ Γ, there exists rx,p > 0 such that p (T n(x)) |u|n < ∞, |u| < r . n! x,p nX≥0 Note that, for this definition to make sense, it is necessary to show that it does not depend on the choice of the particular system of seminorms: if x is τ-projective analytic with respect to Γ and Γ′ is another saturated family of seminorms generating the topology of X then, for each q′ ∈ Γ′, there ′ exists Cq′ > 0 and q ∈ Γ such that q (y) ≤ Cq′ q(y), for all y ∈ X . Therefore, making rx,q′ := rx,q, one obtains for every u ∈ C satisfying |u| < rx,q′ that ′ n n q (T (x)) n q (T (x)) n |u| ≤ C ′ |u| < ∞. n! q n! nX≥0 nX≥0 By symmetry, the assertion is proved. This motivates the use of the notation “τ-projective analytic” to indicate that the analytic vector in question is related to the topology τ (when there is no danger of confusion, the symbol τ will be omitted). The subspace formed by all of the projective analytic ω vectors for T is going to be denoted by C←(T ). The prefix “projective” stands for the fact that ω ω C←(T ) can be seen as a dense subspace of lim πp[C←(T )] via the canonical map x 7−→ ([x]p)p∈Γ ←− ω and, if T has the (KIP) with respect to Γ, then πp[C←(T )] consists entirely of analytic vectors for ω Tp, for every p ∈ Γ – note that the projective limit is well-defined, since the family {πp[C←(T )]}p∈Γ gives rise to a canonical projective system. Differently of what is required for analytic vectors, no uniformity in p is asked in the above definition. Hence, the requirements just imposed are weaker that the usual ones, so the subspace ω ω ω of τ-analytic vectors C (T ) satisfies the inclusion C (T ) ⊆ C←(T ). Theorem 3.2. Let (X , Γ) be a complete Hausdorff locally convex space and T be a linear operator on X having the (KIP) with respect to Γ. Suppose that T has a dense set of projective analytic vectors and that, for each p ∈ Γ, there exist two real numbers σp ≥ 0 and Mp ≥ 1 satisfying n −1 n n (3.1) p((λI − T ) x) ≥ Mp (|λ|− σp) p(x), x ∈ Dom T , for all |λ| > σp and n ∈ N. Then, T is closable and T is the generator of a Γ-group t 7−→ V (t) σp|t| satisfying p(V (t)x) ≤ Mp e p(x), for all p ∈ Γ, x ∈ X and t ∈ R.

Proof. As a consequence of the (KIP) combined with the density hypothesis, the linear operator Tp ω induced on the quotient X /Np possesses a dense subspace πp[C←(T )] of analytic vectors, for each ﬁxed p ∈ Γ. Hence, combining the estimates (3.1) with [25, Theorem 1, Theorem 2] guarantees that Tp is closable and Tp is the generator of a strongly continuous one-parameter group t 7−→ V˜p(t) on Xp, for all p ∈ Γ. Moreover, there exist numbers σp ≥ 0 and Mp ≥ 1 satisfying the inequality σp|t| kV˜p(t)[x]pkp ≤ Mp e k[x]pkp, for all p ∈ Γ, x ∈ X and t ∈ R. The arguments in the proof of

[3, Theorem 4.2] show that V˜p(t) is a projective family of operators, for each ﬁxed t ∈ R. p∈Γ n o 8 RODRIGO A. H. M. CABRAL

Deﬁning V (t) as the projective limit of V˜p(t) yields a Γ-group t 7−→ V (t) on X , and the p∈Γ ˜ n o projective limit T of the projective family Tp p∈Γ is the generator of t 7−→ V (t), by [3, Theorem ˜ 2.5] (adapted to one-parameter groups). Note that T ⊂ T . In particular, this shows that T is closable and T ⊂ T,˜ ˜ ω ∞ ˜ since T is closed. Therefore, since V leaves the dense subspace C←(T ) ⊆ C (T ) invariant, it follows from Lemma 2.6 above that it is a core for T˜, so

˜ ˜ ω ω T = T |C←(T ) = T |C←(T ) ⊂ T. This establishes the result. ω Remark 3.3. Note that it was also proved that, under the hypotheses of Theorem 3.2, C←(T ) is a core for T . Remark 3.4. A similar theorem for Γ-semigroups is also true: if one substitutes the estimates (3.1) n −1 n n N by p((λI − T ) x) ≥ Mp (λ − σp) p(x), for all x ∈ Dom T , λ > σp and n ∈ , then it follows that σpt T is closable and T is the generator of a Γ-semigroup t 7−→ V (t) satisfying p(V (t)x) ≤ Mp e p(x), for all p ∈ Γ, x ∈ X and t ≥ 0. To reach this conclusion, two adaptations in the proof of Theorem 3.2 must be done: (i) by invoking [18, Theorem 1], instead of [25, Theorem 1, Theorem 2], one concludes that each Tp is the generator of a strongly continuous one-parameter semigroup on Xp; (ii) then, using a semigroup version of Lemma 2.6, one finally reaches the conclusion that T is the generator of a Γ-semigroup on X . Corollary 3.5. Let (X , Γ) be a complete Hausdorff locally convex space and T be a linear operator on X having the (KIP) with respect to Γ. Suppose that T has a dense set of analytic vectors and that, for each p ∈ Γ, there exist two real numbers σp ≥ 0 and Mp ≥ 1 satisfying n −1 n n p((λI − T ) x) ≥ Mp (|λ|− σp) p(x), x ∈ Dom T , for all |λ| > σp and n ∈ N. Then, T is closable and T is the generator of a Γ-group t 7−→ V (t) σp|t| satisfying p(V (t)x) ≤ Mp e p(x), for all p ∈ Γ, x ∈ X and t ∈ R. ω ω Proof. Follows at once from Theorem 3.2, since C (T ) ⊆ C←(T ). In view of Remark 3.4, Corollary 3.5 also has an analogous semigroup version. A converse statement of Theorem 3.2 is also true: Theorem 3.6. Let (X , Γ) be a complete Hausdorff locally convex space and T be a linear operator on X which is the generator of a Γ-group. Then, T has a dense set of projective analytic vectors and, for each p ∈ Γ, there exist two real numbers σp ≥ 0 and Mp ≥ 1 such that n −1 n n p((λI − T ) x) ≥ Mp (|λ|− σp) p(x), x ∈ Dom T , for all |λ| > σp and n ∈ N.

Proof. By [3, Theorem 4.2], there exists a projective family {Tp}p∈Γ of closable linear operators such that Tp is the generator of a strongly continuous one-parameter group V˜p : t 7−→ V˜p(t) on X , for each p ∈ Γ, with T = lim T being the generator of the Γ-group V : t 7−→ V (t) deﬁned p ←− p by V (t) := lim V˜ (t), t ∈ R. Also, for each p ∈ Γ, there exist σ ≥ 0 and M ≥ 1 satisfying ←− p p p σp|t| p(V (t)x) ≤ Mp e p(x), for all x ∈ X and t ∈ R. Applying [22, Theorem 4] and [23, Theorem 1.4] PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 9

R 2 to the one-dimensional Lie group (see also [4]), it follows that Tp is the generator of a strongly continuous one-parameter semigroup t 7−→ Sp(t) on Xp satisfying ω Sp(t)[Xp] ⊆ C (Tp), t> 0, for each p ∈ Γ. Hence, ω (3.2) Sp(t)[Xp] ⊆ C (Tp), p ∈ Γ. t>0 [ Repeating the argument made in the proof of [3, Theorem 4.2] on formula

+∞ k 2 k −λt (λt) [λR(λ, Tp )] Sp(t)xp = lim e (xp), p ∈ Γ, t ≥ 0, xp ∈ Xp, λ→+∞ k! kX=0 (this formula may also be found in [16, (11.7.2), page 352]) one sees that {Sp(t)}p∈Γ is a projective family of linear operators, for each fixed t ≥ 0. Hence, the projective limit semigroup S : t 7−→ S(t) := lim S (t), t ≥ 0, ←− p on lim X is well-defined. ←− p Next, we show that S(t)[X ] ⊆ C∞(T ), for all t> 0. First, note that for all x ∈ X , the function t 7−→ V (t)x is infinitely differentiable on [0, +∞) if, and only if, t 7−→ V˜p(t)([x]p) is infinitely differentiable on [0, +∞), for all p ∈ Γ. In other words, x ∈ X belongs to C∞(T ) if, and only if, ∞ ∞ [x]p belongs to C (Tp), for every p ∈ Γ. Fix t> 0 and x ∈ X . In view of Sp(t)[Xp] ⊆ C (Tp), for ∞ all p ∈ Γ, one concludes that [S(t)x]p = Sp(t)([x]p) belongs to C (Tp), for all p ∈ Γ. Therefore, S(t)x must belong to C∞(T ), proving the inclusion S(t)[X ] ⊆ C∞(T ), for all t > 0. Combining this conclusion with (3.2) yields ω S(t)[X ] ⊆ C←(T ). t>0 [ Since S : t 7−→ S(t) is strongly continuous [21, Lemma 7 b), page 26] the union above is dense in ω X . This shows the density of C←(T ) in X . The claimed estimates follow at once from [3, Theorem 4.2]. Still under the hypotheses of Theorem 3.6, it is possible to show that T 2 is the generator of a Γ-semigroup: Corollary 3.7. Let (X , Γ) be a complete Hausdorff locally convex space and T be a linear operator on X which is the generator of a Γ-group. Then, T 2 is the generator of a Γ-semigroup S : t 7−→ S(t) 2 and X0 := {S(t)x : x ∈ X ,t> 0} is a dense subspace of X which is a core for T . Since X0 ⊆ ω ∞ ∞ 2 ∞ ω 2 C←(T ) ⊆ C (T ) ⊆ C (T ), the dense subspaces C (T ) and C←(T ) are also cores for T . Proof. Let S : t 7−→ S(t) be the projective limit semigroup defined in Theorem 3.6. By the proof of Theorem 3.6, C∞(T ) is a dense subspace of X which is invariant by the operators S(t), for all t> 0. Then, since T 2 ⊂ lim T 2 =: T˜ , an application of Lemma 2.6 yields ←− p 2

˜ ˜ ∞ 2 ∞ 2 T2 = T2|C (T ) = T |C (T ) ⊂ T , so T 2 = lim T 2. Also as a consequence of the proof of Theorem 3.6, the subspace ←− p X0 := {S(t)x : x ∈ X ,t> 0} 2 is dense in X , so another application of Lemma 2.6 shows that X0 is a core for T . 10 RODRIGO A. H. M. CABRAL

Therefore, the following theorem holds: Theorem 3.8. Let (X , Γ) be a complete Hausdorff locally convex space, T be a closed linear operator on X and, for each fixed p ∈ Γ, let σp ≥ 0 and Mp ≥ 1 be two real numbers. Then, T is the σp|t| generator of a Γ-group t 7−→ V (t) satisfying p(V (t)x) ≤ Mp e p(x), for all p ∈ Γ, x ∈ X and t ∈ R if, and only if, the following two conditions are satisfied: (1) T has the (KIP) with respect to Γ and, for each p ∈ Γ, n −1 n n p((λI − T ) x) ≥ Mp (|λ|− σp) p(x), x ∈ Dom T ,

for all |λ| > σp, n ∈ N; (2) T has a dense set of projective analytic vectors. ω 2 In this case, C←(T ) is a core for T and T generates a Γ-semigroup t 7−→ S(t) such that the dense ω ∞ 2 subspaces X0 := {S(t)x : x ∈ X ,t> 0}, C←(T ) and C (T ) are cores for T . Remark 3.9. We note here that, by [18, Theorem 3], if T is the generator of a Γ-group on a complete Hausdorff locally convex space, then it has a dense set of analytic vectors. This fact, when combined with Corollary 3.5 and [3, Theorem 4.2], gives an analogous characterization, if ones substitutes the words “projective analytic vectors” by “analytic vectors”, in the statement of Theorem 3.8. Actually, [18, Theorem 3] gives a much stronger result, regarding entire vectors (for this definition, see page 95 of that paper): if T is the generator of a Γ-group on a (sequentially) complete Hausdorff locally convex space, then it has a dense set of entire vectors. Therefore, since every entire vector is trivially a projective analytic vector, Theorem 3.8 remains valid if one substitutes the words “projective analytic vectors”by“entire vectors”. In order to apply these results for equicontinuous groups, some concepts will be introduced: Definition 3.10 (Dissipative and Conservative Operators). Following [2, Definition 3.9], a linear operator T : Dom T ⊆ X −→ X on (X , Γ) will be called Γ-dissipative if, for every p ∈ Γ, λ> 0 and x ∈ Dom T , p((λI − T )x) ≥ λp(x). If X is Hausdorff, this implies λI − T is an injective linear operator, for every λ > 0. T is called Γ-conservative if both T and −T are Γ-dissipative or, equivalently, if the inequality p((λI − T )x) ≥ |λ| p(x) holds for all p ∈ Γ, λ ∈ R\{0} and x ∈ Dom T . Whenever convenient, the prefix Γ will be omitted from the terminology. Note that the definitions of dissipativity and conservativity both depend on the particular choice of the fundamental system of seminorms – see Remark 3.10 of [2], for an illustration of this fact. For any given generator T of an equicontinuous one-parameter semigroup t 7−→ V (t) (on a Hausdorff sequentially complete locally convex space), Remark 3.12 of [2] shows with a simple calculation that there always exists a fundamental system of seminorms Γ for X with respect to which T is Γ-dissipative (see also [1, Remark 2.2(i)]). With respect to this Γ, one also has that (3.3) p(V (t)x) ≤ p(x), p ∈ Γ, t ≥ 0, x ∈ X . A Γ-semigroup satisfying (3.3) will be called a Γ-contractive semigroup. A small adaptation of this remark yields an analogous result regarding Γ-conservativity for generators of equicontinuous one- parameter groups: more precisely, for any equicontinuous one-parameter group t 7−→ V (t) there PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 11 always exists a fundamental system of seminorms Γ for X with respect to which its generator, T , is Γ-conservative and (3.4) p(V (t)x)= p(x), p ∈ Γ, t ∈ R, x ∈ X . A Γ-group satisfying (3.4) will be called a Γ-isometric group. Hence, the theorems above apply directly to equicontinuous one-parameter groups, with the appropriate choice of Γ, making Mp = 1 and σp = 0, for every p ∈ Γ. They give the following useful corollary: Theorem 3.11. Let (X , τ) be a complete Hausdorff locally convex space and T be a linear operator on X . Then, (1) If T is closed, T will be the generator of an equicontinuous group if, and only if, it has a dense set of projective analytic vectors and there is a fundamental system of seminorms Γ with respect to which T has the (KIP) and T is Γ-conservative. (2) Let Γ be a fundamental system of seminorms for X . If T is, simultaneously, a Γ-dissipative operator and the generator of a Γ-semigroup, then it actually generates a Γ-contractive semigroup. Consequently, if T is a Γ-conservative operator which is the generator of a Γ- group, then it actually generates a Γ-isometric group; in this case, T 2 is the generator of a Γ-contractive semigroup. Proof. (1) (⇒) Suppose T is the generator of an equicontinuous group. By the observations made right after Definition 3.10, there exists a fundamental system of seminorms for X such that T is Γ-conservative and p(V (t)x) = p(x), for all p ∈ Γ, t ∈ R and x ∈ X . Therefore, the result follows at once from Theorem 3.8. (⇐) Making Mp = 1 and σp = 0 in Theorem 3.8 gives the conclusion that T is the generator of a Γ-group t 7−→ V (t) on X satisfying p(V (t)x) ≤ p(x), for all p ∈ Γ, t ∈ R and x ∈ X . Consequently, we also have that p(x)= p(V (−t)V (t)x) ≤ p(V (t)x), for all p ∈ Γ, t ∈ R and x ∈ X , showing that T is the generator of a Γ-isometric group. In particular, T is the generator of an equicontinuous group. (2) Suppose T is a Γ-dissipative operator which is the generator of a Γ-semigroup. By [3,

Theorem 4.2], there exists a projective family {Tp}p∈Γ of closable linear operators such that Tp is the generator of a strongly continuous one-parameter semigroup V˜p : t 7−→ V˜p(t) on Xp, for each p ∈ Γ, and T = lim T is the generator of the projective limit semigroup t 7−→ V (t) corresponding to ←− p V˜p . Since T is a Γ-dissipative operator on X it follows that, for each p ∈ Γ, Tp is a dissipative p∈Γ noperatoro on Xp. Fix p ∈ Γ. Since Tp generates a strongly continuous semigroup it follows from the Feller-Miyadera-Phillips Theorem [11, Theorem 3.8, page 77], in particular, that there exists σp ≥ 0 such that, for all λ > σp, one has Ran (λI − Tp)= Xp. Therefore, by [11, Proposition 3.14 (ii), (iv), page 82], it follows that Ran (λI − Tp) = Ran (λI − Tp)= Xp, for all λ> 0. Finally, with the aid of the Lumer-Phillips Theorem [11, Theorem 3.15, page 83], one concludes that Tp actually generates a contraction semigroup. Hence,

p(V (t)x)= kV˜p(t)([x]p)kp ≤k[x]pkp = p(x), p ∈ Γ, t ≥ 0, x ∈ X , and the conclusion that T generates a Γ-contractive semigroup follows. Now, suppose T is a Γ-conservative operator which is the generator of a Γ-group. Then, repeating the above arguments for the Γ-dissipative generators T and −T yields p(V (t)x) ≤ p(x), for all p ∈ Γ, t ∈ R and x ∈ X . Consequently, p(V (t)x) = p(x), for all p ∈ Γ, t ∈ R and x ∈ X , showing that T 12 RODRIGO A. H. M. CABRAL is, indeed, the generator of a Γ-isometric group. Also, by Corollary 3.7, T 2 is the generator of a Γ- semigroup so, as a result of what was just proved, in order to conclude that T 2 is the generator of a 2 Γ-contractive semigroup it is suﬃcient to show that it is Γ-dissipative. Fix p ∈ Γ and xp ∈ Dom Tp . Then, since T = lim T is Γ-conservative, ←− p I − λ2T 2 x = k(I − λT ) (I + λT ) x k ≥kx k p p p p p p p p p 2 2 for all λ> 0, showing that Tp is a dissipative operator on Xp, for all p ∈ Γ. Consequently, each Tp is also dissipative. But by the proof of Corollary 3.7, T 2 = lim T 2 so T 2 is, in fact, a Γ-dissipative ←− p operator, as claimed. Therefore, T 2 is the generator of a Γ-contractive semigroup. Remark 3.12. If T is a Γ-conservative operator for which Ran (λI − T ) is dense in X , for some nonzero λ ∈ R, then the proof of [2, Theorem 3.14] adapted for groups shows that T is closable and that T is the generator of a Γ-isometric group.

4. Examples and Applications Let (X , τ) be a Banach space, G be a real finite-dimensional Lie group of dimension d with Lie algebra g and V : G −→ L(X ) be a strongly continuous representation of G on X . An adaptation of [26, Proposition 10.1.6, page 263] to the Banach space context shows that the map ∂V : X 7−→ ∂V (X) := dV (X)|C∞(V ) is a Lie algebra representation which extends to a representation of (the complexification of) the universal enveloping algebra of g. Fix a basis B := {Xk}1≤k≤d for g and let k·k be a Banach space norm for (X , τ). Since each dV (Xk) is the infinitesimal generator of a strongly continuous one-parameter group on X , it follows from the Feller-Miyadera-Phillips Theorem for groups [11, page 79] that there exist Mk ≥ 1 and βk ∈ R such that n k[(λ − βk)R(λ, ±dV (Xk))] xk≤ Mk kxk, λ>βk, n ∈ N, x ∈ X . Proceeding just as in the proof of implication (b) ⇒ (a) of [11, Theorem 3.8, page 77] gives the conclusion that the maps n x 7−→ kxkk,± := sup sup k[(µ − βk)R(µ, ±dV (Xk))] xk, 1 ≤ k ≤ d µ>βk n∈N on X are well-defined norms which satisfy

kxk≤kxkk,± ≤ Mk kxk and k(λ − βk)R(λ, ±dV (Xk))xkk,± ≤kxkk,±, for all 1 ≤ k ≤ d and λ>βk. Therefore, in particular, we have obtained 2d norms on X , all equivalent to k·k such that, for every ﬁxed 1 ≤ k ≤ d, there exists βk ∈ R with the property that the inequality m m k(λI − (±∂V (Xk))) xkk,± ≥ (|Re λ|− βk) kxkk,± ∞ holds, whenever |Re λ| >βk, m ∈ N and x ∈ C (V ).

Now, ﬁx 1 ≤ k0 ≤ d. In what follows, the norm k·kk0,+ constructed from the operator dV (Xk0 ) will be denoted simply by k·k, in order to simplify the notations (the calculations for the norm k·kk0,−, constructed from −dV (Xk0 ), are analogous). ∞ Equip C (V ) with the topology τ∞ deﬁned by the family k0 N Γ∞ := {k · kn : n ∈ } of norms, where kxk0 := kxk, dV (X0) := I PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 13 and

kxkn := max {kdV (Xi1 ) ··· dV (Xin )xk :0 ≤ ij ≤ d} , n ≥ 1 – this is called the projective C∞-topology on C∞(V ), and it does not depend upon the fixed basis B. Also, if k·k′ and k·k′′ are two equivalent norms on X generating the topology τ and satisfying ′′ ′ ′′ ′′ ′ ′′ M1 k·k ≤k·k ≤ M2 k·k , for certain M1,M2 > 0, then M1 k·kn ≤k·kn ≤ M2 k·kn, for every n ∈ N. Therefore, τ∞ is independent of the choice of the Banach space norm, as long as an equivalent norm is chosen. As a consequence of the Uniform Boundedness Principle, every strongly continuous one-parameter group on a Banach space is locally equicontinuous [11, Proposition 5.5, page 39], so each generator dV (X), X ∈ g, is a closed densely defined linear operator on X , as mentioned in the paragraph right after Definition 2.4. A straightforward adaptation of [13, Theorem 1.1] shows that

d +∞ ∞ n C (V )= Dom dV (Xk) . n=1 k\=1 \ ∞ ∞ As a consequence of this description of C (V ), it is clear that (C (V ), τ∞) is a Fr´echet space – to prove this, adapt the argument of [13, Corollary 1.1], exploring the closedness of the operators ∞ dV (Xk), 1 ≤ k ≤ d. Moreover, C (V ) is a dense subspace of X , since it contains the so called G˚arding domain

∞ DG(V ) := spanC φ(g) V (g)x dg, φ ∈ Cc (G), x ∈ X , ZG which is dense in X – see [12]. Also, the operators ∞ ∞ V∞(g) := V (g)|C∞(V ) : C (V ) −→ C (V ), g ∈ G, are continuous with respect to τ∞ [23, page 90]. ∞ Define the family Γ∞ of norms on C (V ) just as above, but with k·k0 = k·kk0,+ replaced by the original norm of X . As an application of the theorems in Section 3, we are going to show that ∞ V∞ : g 7−→ V∞(g) is a strongly continuous representation of G on (C (V ), τ∞), with each ∂V (X) being the generator of the Γ∞-group t 7−→ V∞(exp tX), and provide sufficient conditions for these generators to be of bounded type. ω Theorem 2 of [15] shows that, given X ∈ g and x ∈ C (V ), there exists rx > 0 such that the series +∞ k∂V (X)mxk |u|m, m! m=0 ω X converges, if |u| < rx. Since C (V ) is left invariant by the operators ∂V (X), X ∈ g (see [15, page 209]), it is possible to iterate the calculations of Observations 1 and 2 inside the proof of [14, Theorem 3.1] to obtain, respectively: (a) for each fixed X ∈ g, n ∈ N and x ∈ Cω(V ), the series

+∞ k∂V (X)mxk n |u|m, m! m=0 X converges for suﬃciently small |u| (with a radius of convergence depending on x and n); N ∞ C (b) for every n ∈ , x ∈ C (V ) and λ ∈ satisfying |Re λ| >ln(k0) := βk0 + nµk0 , one has m m N (4.1) k(λI − ∂V (Xk0 )) xkn ≥ (|Re λ|− ln(k0)) kxkn, m ∈ , 14 RODRIGO A. H. M. CABRAL

where µk0 ≡ µ(Xk0 ) is the operator norm of ad ∂V (Xk0 ) := [∂V (Xk0 ), · ], when seen as a linear d d operator on (∂V [g], k·k1), with j=1 cj ∂V (Xj ) := j=1 |cj | – if {∂V (Xj )}1≤j≤d is not a 1 linearly independent set, then one may extract from it a basis for ∂V [g]; here, we have assumed, P P without loss of generality, that {∂V (Xj )}1≤j≤d is already a basis, so that k·k1 is a well-defined norm on ∂V [g].1 In particular, (a) shows that ω d ω C (V ) ⊆ ∩k=1C←(∂V (Xk)). ω ∞ ω Also, note that C←(∂V (Xk)) ⊆ C (V ), 1 ≤ k ≤ d. By [23, Theorem 1.3], C (V ) is τ∞-dense in C∞(V ), since it is a τ-dense subspace of X [22, Theorem 4] which satisfies V (g)[Cω(V )] ⊆ Cω(V ), ω ∞ for all g ∈ G. Hence, it follows that C←(∂V (Xk0 )) is τ∞-dense in C (V ) = Dom ∂V (Xk0 ). The k0 k0 operator ∂V (Xk0 ) also has the (KIP) with respect to Γ∞ (since Γ∞ consists of norms), a fact ∞ which, combined with (b), shows that its closure ∂V (Xk0 ) with respect to τ∞ is the generator of k0 ∞ aΓ∞-group Vk0 : t 7−→ Vk0 (t) on C (V ), by Theorem 3.2. Since ∂V (X) is a continuous operator on ∞ ∞ (C (V ), τ∞), for all X ∈ g, the equality ∂V (Xk0 )= ∂V (Xk0 ) follows. But there is a subtle point k0 which must be mentioned: the fundamental system of norms Γ∞ was constructed with respect ln(k0)|t| N R to the norm k·k0 = k·kk0,+, so while kVk0 (t)xkn ≤ e kxkn, for all n ∈ , t ∈ and x ∈ C∞(V ), for this choice of the Banach space norm, one has for the original Banach space norm ln(k0)|t| N R k·k0 = k·k the estimates kVk0 (t)xkn ≤ Mk0 e kxkn, where Mk0 > 0, n ∈ , t ∈ and x ∈ C∞(V ). This is a consequence of the already mentioned fact that two equivalent norms k·k′ ′′ ′′ ′ ′′ and k·k on X satisfying M1 k·k ≤k·k ≤ M2 k·k , for certain M1,M2 > 0, also satisfy ′′ ′ ′′ N M1 k·kn ≤k·kn ≤ M2 k·kn, for every n ∈ ; the constant Mk0 , above, appears as a consequence of this reasoning – use the estimates (4.1) combined with Theorem 3.2. Therefore, since 1 ≤ k0 ≤ d is arbitrary, invoking Theorem 3.2 again we conclude that ∂V (Xk) is the generator of a Γ∞-group ∞ Vk : t 7−→ Vk(t) on C (V ), for all 1 ≤ k ≤ d. Next, we prove that Vk(t) = V∞(exp tXk), for every t ∈ R and 1 ≤ k ≤ d. First, note that a ∞ Γ∞-group Ψ: t 7−→ Ψ(t) on (C (V ), τ∞) can always be extended to a strongly continuous one- parameter group Ψ:˜ t 7−→ Ψ(˜ t) on (X , τ). In fact, for each fixed t ∈ R, define Ψ(˜ t) as the unique continuous linear operator extending Ψ(t) defined on all of X . Let ǫ> 0 and fix x0 ∈ X . From the ∞ definition of Ψ(˜ t) and the fact that Ψ: t 7−→ Ψ(t) is a Γ∞-group on (C (V ), τ∞), it follows that there exist M0, σ0 ∈ R such that

σ0|t| kΨ(˜ t)xk≤ M0 e kxk, t ∈ R, x ∈ X .

σ0 ∞ ∞ Deﬁne M˜ 0 := max {M0 e , 1}. Since C (V ) is dense in X , there exists y ∈ C (V ) such that ∞ kx0 − yk < ǫ/(3 M˜ 0). Also, because of the strong continuity of Ψ on (C (V ), τ∞) one guarantees, in particular, the existence of 0 < r0 ≤ 1 with the property that kΨ(˜ t)y − yk < ǫ/3, for all |t| < r0. Hence, if |t| < r0,

kΨ(˜ t)x0 − x0k≤ sup kΨ(˜ t)(x0 − y)k + kΨ(˜ t)y − yk + ky − x0k t∈[−1,1]

σ0

1Note that the deﬁnition of k · k1 employed in [14] is slightly diﬀerent from ours, so the constants ln(k0) must be adjusted accordingly. PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 15

∞ Therefore, for all 1 ≤ k ≤ d, the one-parameter group Vk on C (V ) can be extended to a strongly continuous one-parameter group V˜k : t 7−→ V˜k(t) on (X , τ), which is generated by an operator Tk. Fix 1 ≤ k ≤ d. Since τ∞ is ﬁner than τ, Tk|C∞(V ) = ∂V (Xk). By [23, Corollary 1.2] (or even ∞ ∞ Lemma 2.6), it follows that C (V ) ⊆ C (V˜k) is a core for Tk. Hence,

Tk = Tk|C∞(V ) = ∂V (Xk)= dV (Xk). Now, because two strongly continuous one-parameter groups on a Banach space having the same infinitesimal generator must be equal [11, Theorem 1.4, page 51] one has, in particular, that Vk(t)= V∞(exp tXk), for every t ∈ R. There exist d real-valued analytic functions {tk}1≤k≤d defined on a relatively compact open neighborhood Ω of the identity of G such that g 7−→ (tk(g))1≤k≤d maps Ω diffeomorphically onto a neighborhood of the origin of Rd, with

g = exp(t1(g) X1) ... exp(tk(g) Xk) ... exp(td(g) Xd), g ∈ Ω, so

V∞(g)= V∞(exp(t1(g) X1)) ...V∞(exp(tk(g) Xk)) ...V∞(exp(td(g) Xd)) on this neighborhood. This decomposition, combined with the local equicontinuity of each Γ∞- group t 7−→ V∞(exp tXk), establishes the strong continuity of V∞ with respect to τ∞. Now, choosing an adequate norm k·kX for each ﬁxed X ∈ g, just like it was done with the basis elements, and repeating the above reasoning, one sees that ω ω ∞ C (V ) ⊆ C←(∂V (X)) ⊆ C (V ), with each ∂V (X) being the generator of the Γ∞-group t 7−→ V∞(exp tX) – if ∂V (X) already has the property that, for some β(X) ∈ R and every λ ∈ C satisfying |Re λ| >β(X), k(λI − ∂V (X))mxk≥ (|Re λ|− β(X))m kxk, x ∈ C∞(V ), m ∈ N, then k·k is already an“adequate”norm, so one may take k·kX := k·k. Consequently, for every ∞ n ∈ N, x ∈ C (V ) and λ ∈ C satisfying |Re λ| >ln(X) := β(X)+ nµ(X), one has m m (|Re λ|− ln(X)) k(λI − ∂V (X)) xkn ≥ kxkn, m ∈ N, MX for certain numbers β(X) ∈ R and MX > 0, where µ(X) is the operator norm of ad ∂V (X) := [∂V (X), · ] when seen as a linear operator on (∂V [g], k·k1). Note also that, by Corollary 3.7, ∞ 2 2 [∂V (X)] = [∂V (X)] is the generator of a Γ∞-semigroup. Since

sup ln(X) < +∞ if, and only if, µ(X)=0, n∈N it follows that if the type of t 7−→ V (exp tX) is not −∞ (so that it is a real number) and µ(X) = 0, then t 7−→ V∞(exp tX) is of bounded type. If µ(X) = 0 and t 7−→ V (exp tX) is an isometric representation on (X , k·k), meaning kV (exp tX)xk = kxk, for all t ∈ R and x ∈ X , then as a consequence of the above calculations combined with Theorem 3.11(2), t 7−→ V∞(exp tX) is a Γ∞- ∞ 2 isometric group on C (V ), since ∂V (X) is Γ∞-conservative. In this case, [∂V (X)] is the generator ofa Γ∞-contractive semigroup, also by Theorem 3.11(2). Summarizing: Theorem 4.1. If (X , k·k) is a Banach space and V : G −→ L(X ) is a strongly continuous rep- ∞ resentation on X , then it restricts to a strongly continuous representation V∞ : G −→ L(C (V )) 16 RODRIGO A. H. M. CABRAL

∞ on (C (V ), τ∞) which is implemented by (one-parameter) Γ∞-groups, where τ∞ is the topology ∞ generated by the family Γ∞ := {k · kn : n ∈ N} of norms on C (V ) deﬁned by

kxk0 := kxk, dV (X0) := I and

kxkn := max {kdV (Xi1 ) ··· dV (Xin )xk :0 ≤ ij ≤ d} , n ≥ 1. ω ∞ The space C (V ) of analytic vectors for V is a τ∞-dense subspace of C (V ) consisting of τ∞- projective analytic vectors for the generator ∂V (X) of the Γ∞-group t 7−→ V∞(exp tX), for all 2 X ∈ g. Also, [∂V (X)] is the generator of a Γ∞-semigroup, for all X ∈ g. Moreover, if X ∈ g satisfies µ(X)=0 and the type of t 7−→ V (exp tX) is not −∞, then the Γ∞-group t 7−→ V∞(exp tX) is of bounded type. In other words, if the type of t 7−→ V (exp tX) is not −∞ and ∂V (X) belongs to the center of the Lie algebra ∂V [g], then the Γ∞-group t 7−→ V∞(exp tX) is of bounded type. If X ∈ g satisfies µ(X)=0 and t 7−→ V (exp tX) is an isometric representation on (X , k·k), ∞ 2 then t 7−→ V∞(exp tX) is a Γ∞-isometric group on C (V ) and [∂V (X)] is the generator of a ∞ Γ∞-contractive semigroup on C (V ). For an example of this situation, consider the Schwartz function space S(Rn) as a subspace of 2 n α β L (R ) and equip it with the family Γ∞ of norms given by k·km : f 7−→ max|α|≤m,|β|≤m kx ∂ fk2, 2 n where k·k2 denotes the L -norm, m ∈ N and α, β ∈ N are multiindices. Also, define a matrix group by 1 aT c H (R)= 0 I b : a, b ∈ Rn,c ∈ R 2n+1  n    0 0 1    R with the usual matrix multiplication, where In is the identity matrix ofMn( ). This is known as the Heisenberg group of dimension 2n + 1. Define a strongly continuous unitary representation U 2 n of H2n+1(R) on L (R ) by 1 aT c ic ihb,·i Ua,b,c := U 0 In b : f 7−→ e e f( · − a). 0 0 1   Then, its Lie algebra is sent onto the (2n + 1)-dimensional real Lie algebra

L := spanR ∂k , i xk|S(Rn),i|S(Rn) :1 ≤ k ≤ n S(Rn) ∞ n via the Lie algebra representation ∂U, since C (U)= S(R ), and it is a realization of the Canonical Commutation Relations (CCR) by unbounded operators on L2(Rn). An easy adaptation of the n n calculations above show, in particular, that the linear operators c0 i + k=1 ck ∂k + k=1 dk xk, n ck, dk ∈ R, all generate Γ∞-groups on S(R ), thus complementing some of the examples given in n P P [3]. Moreover, their squares generate Γ∞-semigroups on S(R ). n n n n For another example, consider the torus T := R /(2πZ) and, for each y ∈ T , let Ty denote 2 n n ∞ n the unitary operator on L (T ) deﬁned by (Ty u)(x)= u(x − y). For each j ∈ Z , let ej ∈ C (T ) ihj,xi n be deﬁned by ej (x) = e , where we denote by the same letter x both an element x of R and its class [x] ∈ Tn. Then, by [7, Theorem 2], a bounded operator A ∈ L(L2(Tn)) is such that the n 2 n map T ∋ y 7−→ TyAT−y is smooth with respect to the norm topology of L(L (T )) if, and only if, PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 17

A = Op(aj ) for some symbol (aj )j∈Zn of order zero: in other words if, and only if, A is a bounded operator on L2(Tn) deﬁned by 1 Au(x)= aj (x)ej (x)uj , uj := e−j u, n n (2π) Zn T jX∈ Z ∞ n n ∞ n for all u ∈ C (T ) and x ∈ T , with (aj )j∈Zn satisfyingb aj ∈bC (T ) and α n n sup {|∂ aj (x)|; j ∈ Z , x ∈ T } < ∞, n for every multiindex α ∈ N . For such A = Op(aj ), one has

TyAT−y = Op((Ty aj )j∈Zn ), α α Nn Tn so ∂y (TyAT−y)= Ty[Op((∂ aj )j∈Zn )]T−y, for every α ∈ and y ∈ . This last equality can be proved by the repeated use of the equality 1 1 2 2 aj (x + hfk) − aj (x) − h ∂kaj (x)= h t ∂kaj (x + tshfk)ds dt, Z0 Z0 n th where j ∈ Z , h ∈ R is small enough and fk denotes the k element of the canonical basis of Rn, combined with estimates [7, Theorem 1 – (4)]. Therefore, the inﬁnitesimal generators of the (not everywhere strongly continuous) adjoint representation V : y 7−→ Ty ( · ) T−y restrict to the ∗-algebra of smooth operators C∞(V ) as operators of the form

Op(a ) 7−→ Op c ∂ a , j  k k j  1≤Xk≤n   ck ∈ R, and are all generators of Γ∞-groups, where Γ∞ := {k · kn : n ∈ N} with k·k0 = k·k being the usual operator norm. Actually, they are generators of Γ∞-groups of bounded type, since V has type 0 and the range of ∂V is an abelian Lie algebra: more precisely, by Theorem 4.1 they are generators of Γ∞-isometric groups, since y 7−→ Ty ( · ) T−y is an isometric representation on 2 n L(L (T )). Moreover, their squares are generators of Γ∞-contractive semigroups. As a consequence of [3, Theorem 3.3] and the calculations above, the resolvent operator of ∂V (X) exists for λ ∈ C\i R ∞ Tn and belongs to LΓ∞ (C (V )), for every fixed X in the Lie algebra of , with 1 (4.2) kR(λ, ∂V (X))Ak ≤ kAk , Re λ 6=0, n ∈ N, A ∈ C∞(V ). n |Re λ| n Another interesting fact is that the analytic vectors with respect to the representation y 7−→ Ty ( · ) T−y, characterized in [7, Theorem 3] as a certain algebra of pseudodifferential operators act- 2 n ∞ ing on L (T ), form a τ∞-dense ∗-subalgebra of C (V ) consisting of τ∞-projective analytic vectors R ∞ Tn for the operators Op(aj ) 7−→ Op 1≤k≤n ck ∂kaj , ck ∈ , where (aj )j∈Zn satisfies aj ∈ C ( ) and P α n n sup {|∂ aj (x)|; j ∈ Z , x ∈ T } < ∞, for every multiindex α ∈ Nn.2 An analogous application can be given for the canonical (not everywhere strongly continuous) 1 aT c −1 ∗ action θ : 0 In b 7−→ Ua,b,c ( · ) (Ua,b,c) of the Heisenberg group H2n+1(R) ontheC -algebra 0 0 1   2A characterization of the smooth vectors for the circle was first obtained in [20], which is a discrete version of a characterization obtained in [9] – see also [10, Chapter 8]. 18 RODRIGO A. H. M. CABRAL of bounded operators L(L2(Rn)): H.O. Cordes proved in [9] that a bounded linear operator A on L2(Rn) is such that 1 aT c −1 2 n H2n+1(R) ∋ 0 In b 7−→ Ua,b,c A (Ua,b,c) ∈ L(L (R )) 0 0 1   is a smooth function with values in the C∗-algebra of all bounded operators on L2(Rn) if, and only if, there exists a ∈ C∞(R2n), bounded and with all its partial derivatives also bounded – denote this space by CB∞(R2n) – such that, for all u ∈ S(Rn) and all x ∈ Rn, one has

1 ix·ξ −is·ξ Au(x)= n e a(x, ξ) u(ξ) dξ, with u(ξ) := e u(s) ds. (2π) Rn Rn Z Z In this case, such A is denoted by a(x, D).b Therefore, theb operators sending these a(x, D) to 2n R ∞ k=1 ck ∂ka (x, D), ck ∈ , are generators of Γ∞-groups of bounded type on C (θ), since θ has typeP 0 and the range of ∂θ is an abelian Lie algebra (to prove that the first 2n canonical directions give rise to generators which act on a(x, D) via a partial differentiation ∂k on the symbol of a(x, D), 1 ≤ k ≤ 2n, adapt the strategy employed above, in the case of the torus, but using the estimates of the Calderón-Vaillancourt Theorem [8]; note that the (2n + 1)th direction gives the zero operator as a generator). Just as in the previous example, they are generatorsof Γ∞-isometric groups, since θ is an isometric representation on L(L2(Rn)). Moreover, their resolvent operators exist for λ ∈ C\i R, ∞ belong to LΓ∞ (C (θ)) and satisfy estimates which are analogous to (4.2), thus complementing the statement of [10, Proposition 4.2, page 262]. Note, however, that the constants appearing in our estimates are independent of the dimension of the subjacent Euclidean space Rn. Following [10], denote C∞(θ) by ΨGT and equip the set gl := {(g, a, b,c): g ∈ GL(Rn), a, b ∈ Rn,c ∈ R/(2πZ)} with a Lie group structure, as in [10, page 265]. If T is the unitary representation of gl on L2(Rn) defined by 1/2 ic ihb,xi (Tg,a,b,c u)(x) := |det g| e e u(gx + a), then the ∗-algebra of smooth vectors for the adjoint representation −1 (g, a, b,c) 7−→ Tg,a,b,c ( · ) (Tg,a,b,c) , denoted by ΨGL, consists precisely of the elements a(x, D) in ΨGT such that their symbols a ∈ CB∞(R2n) remain in CB∞(R2n) after any finite number of applications of the operators

ǫjl := ξj ∂ξl − xl∂xj , j,l =1, . . . n, by [10, Theorem 5.3, page 269]. Moreover, the operators

a(x, D) 7−→ c ∂ a + d ǫ a (x, D), c , d ∈ R,  k k jl jl  k jl 1≤Xk≤2n 1≤Xj,l≤n   on ΨGL are generators of Γ∞-groups, and their squares generate Γ∞-semigroups. A similar result may be obtained if one substitutes gl by the subgroup gs := {(σQ, a, b,c): σ> 0,Q ∈ SO(n), a, b ∈ Rn,c ∈ R/(2πZ)} PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS 19 and considers the subsequent space of smooth vectors ΨGS – see [10, pages 264–266] and [10, Theorem 5.4, page 269]. Note that ΨGL ⊆ ΨGS ⊆ ΨGT .3

References 1. Albanese, A.A.; Bonet, J.; Ricker, W.J., “Montel Resolvents and Uniformly Mean Ergodic Semigroups of Linear Operators”, Quaestiones Mathematicae 36 (2013), 253–290. 2. Albanese, A.A.; Jornet, D., “Dissipative Operators and Additive Perturbations in Locally Convex Spaces”, Math- ematische Nachrichten 289 (2016), 920–949. 3. Babalola, V.A., “Semigroups of Operators on Locally Convex Spaces”, Transactions of the American Mathemat- ical Society 199 (1974), 163–179. 4. Bratteli, O.; Goodman, F.M.; Jorgensen, P.E.T.; Robinson, D.W., “The Heat Semigroup and Integrability of Lie Algebras”, Journal of Functional Analysis 79 (1988), 351–397. 5. Bratteli, O.; Robinson, D.W., “Operator Algebras and Quantum Statistical Mechanics I ”, Springer-Verlag Berlin Heidelberg, 2002. 6. Cabral, R.A.H.M., “Lie Algebras of Linear Operators on Locally Convex Spaces”, PhD Thesis, Institute of Mathematics and Statistics, University of São Paulo, 2019. 7. Cabral, R.A.H.M.; Melo, S.T., “Operators with Analytic Orbit for the Torus Action”, Studia Mathematica 243 (2018), 243–250. 8. Calderón, A.P.; Vaillancourt, R., “On the Boundedness of Pseudo-Differential Operators”, Journal of the Math- ematical Society of Japan 23 (1971), 374–378. 9. Cordes, H.O., “On Pseudo-Differential Operators and Smoothness of Special Lie-Group Representations”, Manuscripta Mathematica 28 (1979), 51–69. 10. Cordes, H.O., “The Technique of Pseudodifferential Operators”, London Mathematical Society Lecture Note Series 202, Cambridge University Press, 1995. 11. Engel, K.-J.; Nagel, R., “One-Parameter Semigroups for Linear Evolution Equations”, Graduate Texts in Math- ematics 194, Springer-Verlag New York, Inc., 2000. 12. G˚arding, L., “Note on Continuous Representations of Lie Groups”, Proceedings of the National Academy of Sciences of the United States of America 33 (1947), 331–332. 13. Goodman, R., “Analytic and Entire Vectors for Representations of Lie Groups”, Transactions of the American Mathematical Society 143 (1969), 55–76. 14. Goodman, F.M.; Jorgensen, P.E.T., “Lie Algebras of Unbounded Derivations”, Journal of Functional Analysis 52 (1983), 369–384. 15. Harish-Chandra, “Representations of a Semisimple Lie Group on a Banach Space. I ”, Transactions of the Amer- ican Mathematical Society 75 (1953), 185–243. 16. Hille, E.; Phillips, R.S. “Functional Analysis and Semi-groups”, American Mathematical Society Colloquium Publications XXXI, 1957. 17. Komura, T., “Semigroups of Operators in Locally Convex Spaces”, Journal of Functional Analysis 2 (1968), 258–296. 18. Magyar, Z., “On the Analytic Vector Variant of the Hille-Yosida Theorem”, Mathematica Scandinavica 65 (1988), 93–102. 19. Magyar, Z., “Continuous Linear Representations”, North-Holland Mathematics Studies 168, Elsevier Science Publishers B.V., 1992. 20. Melo, S.T., “Characterizations of Pseudodifferential Operators on the Circle”, Proceedings of the American Mathematical Society 125 (1997), 1407–1412. 21. Moore, R.T., “Measurable, Continuous and Smooth Vectors for Semigroups and Group Representations”, Mem- oirs of the American Mathematical Society 78, 1968. 22. Nelson, E., “Analytic Vectors”, Annals Of Mathematics 70 (1959), 572–615. 23. Poulsen, N.S., “On C∞-Vectors and Intertwining Bilinear Forms for Representations of Lie Groups”, Journal of Functional Analysis 9 (1972), 87–120. 24. Reed, M.; Simon, B., “Methods of Modern Mathematical Physics I: Functional Analysis”, Academic Press, Inc., 1980.

3The author would like to thank Professor Severino T. Melo for suggesting the study of the examples ΨGL and ΨGS. 20 RODRIGO A. H. M. CABRAL

25. Rusinek, J., “Analytic Vectors and Generation of One-Parameter Groups”, Studia Mathematica LXXIX (1984), 77–82. 26. Schmudgen,¨ K., “Unbounded Operator Algebras and Representation Theory”, Operator Theory: Advances and Applications 37, Springer Basel AG, 1990. 27. Yosida, K., “Functional Analysis”, Springer-Verlag Berlin Heidelberg New York, 1980.

Departamento de Matematica,´ Instituto de Matematica´ e Estat´ıstica, Universidade de Sao˜ Paulo (IME-USP), BR-05508-090, Sao˜ Paulo, SP, Brazil. Email address: [email protected]; [email protected]