Time-Dependent Wave Equations on Graded Groups

In this paper we consider the wave equations for hypoelliptic homogeneous left-invariant operators on graded Lie groups with time-dependent Hölder (or more regular) non-negative propagation speeds. The examples are the time-dependent wave equation for the sub-Laplacian on the Heisenberg group or on general stratified Lie groups, or p\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$p$\end{document}-evolution equations for higher order operators on Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${{\mathbb{R}}}^{n}$\end{document} or on groups, already in all these cases our results being new. We establish sharp well-posedness results in the spirit of the classical result by Colombini, De Giorgi and Spagnolo. In particular, we describe an interesting local loss of regularity phenomenon depending on the step of the group (for stratified groups) and on the order of the considered operator.


Introduction
In this paper we are interested in the well-posedness of the following Cauchy problem: x ∈ G, ∂ t u(0, x) = u 1 (x), x ∈ G, (1.1) for the time-dependent propagation speed a = a(t) ≥ 0, where R is a Rockland operator (that is, a hypoelliptic homogeneous differential operator on a graded group G).
In the case of G = R n and R = − , Eq. (1.1) is the usual wave equation with the timedependent propagation speed and its well-posedness results for Hölder regular functions a have been obtained by Colombini, De Giorgi and Spagnolo in their seminal paper [12]. Moreover, it has been shown by Colombini and Spagnolo in [11] and by Colombini, Jannelli and Spagnolo in [13] that even in the case of G = R and R = − d 2 dx 2 the Cauchy problem (1.1) does not have to be well-posed in C ∞ if a ∈ C ∞ is not strictly positive or if it is in the Hölder class a ∈ C α for 0 < α < 1.
In this paper we obtain new results for the following situations: (i) G = H n is the Heisenberg group and R is the positive Kohn-Laplacian on G.
(ii) G is a stratified Lie group and R is a (positive) sub-Laplacian on G.
(iii) G is a graded Lie group in the sense of Folland and Stein [24] and R is any positive Rockland operator on G, i.e. any positive left-invariant homogeneous hypoelliptic differential operator on G.
In fact, our results are for the latter case (iii), the former two cases (i) and (ii) being its special cases. In particular, already in the cases of G being the Euclidean space R n , the Heisenberg group H n , or any stratified Lie group, the case (iii) above allows one to consider R to be an operator of any order, as long as it is a positive left-(or right-) invariant homogeneous hypoelliptic differential operator. In the case of R n these cases of so-called p-evolution equations have been studied in e.g. [4][5][6], however, for more restrictive conditions on a(t) than those considered in this paper. For a(t) ≡ 1 and G being the Heisenberg group H n with R being the positive sub-Laplacian, the wave equation (1.1) was studied by Müller and Stein [36] and Nachman [37]. Other noncommutative settings with a(t) ≡ 1 have been analysed as well, see e.g. Helgason [30]. For G being a compact Lie group and −R any Hörmander's sum of squares on G the problem (1.1) was studied in [27] (based on the global analysis on compact Lie groups as developed in [43]), and so the results of the present paper provide a nilpotent counterpart of the results there.
Apart from an independent interest of the subelliptic setting of stratified or graded Lie groups, these settings are the model cases for many corresponding problems for general partial differential operators on manifolds in view of the celebrated lifting theorem of Rothschild and Stein [41].
The first case is the simplest situation while in the forth case we have an irregular coefficient that is allowed to be zero at some points. The second and third situations are 'intermediate' cases, in the sense that we have either the regularity or the strict positivity. We distinguish between these cases because the results and methods of proofs are rather different.
We note that if the operator R is not elliptic, the local approach to the Cauchy problem (1.1) is problematic since the equation is only weakly hyperbolic already in Case 1 above. Consequently, since Eq. (1.1) in local coordinates is the space-dependent variable multiplicities problem, very little is known about its well-posedness. In this direction, only very special results for some second order operators are available, see e.g. Nishitani [38] or Melrose [34]. Non-Lipschitz coefficients have been also much analysed, see e.g. Colombini and Métivier [9] or Colombini and Lerner [8]. In addition to already mentioned restrictions for the well-posedness, see also Colombini and Métivier [10] for a recent overview from the point of view of systems.
In the case of R n and −R being the Laplacian, the regularity of a less than Hölder such as discontinuous or measure-valued a have been considered in [28]. However, such low regularity requires very different methods, and this problem for the general Cauchy problem (1.1) will be considered elsewhere.
Wave equations with time dependent coefficients for general densely defined operators with discrete spectrum acting in Hilbert spaces have been considered in [42]. However, that setting is different from the present one since the spectrum in our situation is continuous.
To formulate our results, let us briefly introduce some necessary notations following, for example, Folland and Stein [24]. Let G be a graded Lie group, i.e. a connected simply connected Lie group such that its Lie algebra g has a vector space decomposition such that all but finitely many of the V j 's are {0} and [V i , V j ] ⊂ V i+j . A special case analysed in detail by Folland [21] is of stratified Lie groups when the first stratum V 1 generates g as an algebra, see also Folland and Stein [23]. A typical example of such Lie group is the Heisenberg group. In general, graded Lie groups are necessarily homogeneous and nilpotent. Moreover, any graded Lie group can be viewed as some R n with a polynomial group law. We can also refer to [18,Sect. 3.1] for a detailed discussion of graded Lie groups and their properties. Let R be a positive Rockland operator on G, that is, a positive (in the operator sense) leftinvariant differential operator which is homogeneous of degree ν > 0 and which satisfies the so-called Rockland condition. This means that for each representation π ∈ G, except for the trivial one, the operator π(R) is injective on the space of smooth vectors H ∞ π , i.e.

∀v ∈ H
Alternative characterisations of such operators have been considered by Rockland [40] and Beals [1], until the definitive result of Helffer and Nourrigat [29] saying that Rockland operators are precisely the left-invariant homogeneous hypoelliptic differential operators on G. The existence of Rockland operators on general nilpotent Lie groups characterises precisely the class of graded Lie groups [35,46]. An example of a positive Rockland operator is the positive sub-Laplacian on a stratified Lie group: if G is a stratified Lie group and {X 1 , . . . , X k } is a basis for the first stratum of its Lie algebra, then the positive sub-Laplacian is a positive Rockland operator. Moreover, for any m ∈ N, the operator j is a positive Rockland operator on the stratified Lie group G. More generally, for any graded Lie group G ∼ R n , if X 1 , . . . , X n is the basis of its Lie algebra g with dilation weights ν 1 , . . . , ν n , i.e. with D r X j = r ν j X j , j = 1, . . . , n, r > 0, (1.4) where D r are dilations on g, then the operator is a Rockland operator of homogeneous degree 2ν 0 , if ν 0 is any common multiple of ν 1 , . . . , ν n . We refer to [18,Sect. 4.1.2] for other examples and a detailed discussion of Rockland operators and graded Lie groups. In the case of R n , all elliptic homogeneous differential operators with constant coefficients are Rockland operators.
To formulate our results we will need two scales of spaces, namely, Sobolev and Gevrey spaces, adapted to the setting of graded Lie groups. Thus, let G be a graded Lie group and let R be a positive Rockland operator of homogeneous degree ν. For any real number s ∈ R, the Sobolev space H s R (G) is the subspace of S (G) obtained as the completion of the Schwartz space S(G) with respect to the Sobolev norm For stratified Lie groups such spaces and their properties have been extensively analysed by Folland in [21] and on general graded Lie groups they have been investigated in [18,19].
In particular, these spaces do not depend on a particular choice of the Rockland operator R used in the definition (1.5), see [18,Theorem 4.4.20]. These spaces perfectly suit Case 1 described above but already in the Euclidean case, with the elliptic Laplace operator instead of the hypoelliptic Rockland operator in the wave equation (1.1), if the coefficient a(t) is not Lipschitz regular or may become zero, the Gevrey spaces appear naturally (see e.g. Bronshtein [3]) since we cannot expect anymore the well-posedness in C ∞ (G) or D (G). Indeed, Colombini and Spagnolo exhibited a concrete example in [11] of a Cauchy problem for the time-dependent wave equation on R with smooth a ≥ 0 which is not well-posed in C ∞ (R) or D (R). Thus, given s ≥ 1, we define the Gevrey type space These spaces provide a subelliptic version of the usual Gevrey spaces. For example, for G = H n being the Heisenberg group with the basis X 1 , . . . , X 2n of the first stratum, it was shown in [20] that f ∈ γ s R (H n ) if and only if there exist two constants B, C > 0 such that for every α ∈ N 2n 0 the following inequality holds . . , X 2n } for every j = 1, . . . , |α| and Y j =X k 1 = α k for every k = 1, . . . , 2n. Gevrey spaces (1.6) and the corresponding spaces of ultradistributions have been considered on compact Lie groups and on compact manifolds in [16] and in [17], respectively.
By an argument similar to that in [20] for the sub-Laplacian or in [ (1.8) Since Sobolev spaces do not depend on a particular choice of the Rockland operator used in their definition, the characterisation (1.8) of the Gevrey spaces implies that the same is true for γ s R (G). Thus, we may drop the subscript R in H s R and γ s R but we may also keep using it to refer to the norms that we may be using.
Let us now formulate the main theorem of our paper, where we consider the following four cases: These are the four cases to which we refer repeatedly throughout this paper. Theorem 1.1 Let G be a graded Lie group and let R be a positive Rockland operator of homogeneous degree ν. Let T > 0. Then the following holds, referring respectively to Cases 1-4 above: , satisfying the following inequality for all values of t ∈ [0, T ]: As it will follow from the proof, in Cases 2 and 4, one can take the equalities s = 1 + α 1−α and s = 1 + α 2 , respectively, provided that T > 0 is small enough. We refer to [25,26] concerning the sharpness of the above Gevrey indices in the case of G = R n and R = − , and for further relevant references for that case.
Let us formulate a corollary from Theorem 1.1 showing the local loss of regularity for the Cauchy problem (1.1). We recall that any graded Lie group G can be identified, for example through the exponential mapping, with the Euclidean space R n where n is the topological dimension of G. Then, if ν 1 , . . . , ν n are the dilation weights on G as in (1.4), for any s ∈ R we have the local Sobolev embedding theorems: see [18,Theorem 4.4.24]. If G is a stratified Lie group, we have ν 1 = 1 and ν n is the step of G, i.e. the number of steps in the stratification of its Lie algebra. In other words, if G is a stratified Lie group of step r and H s (G) is the Sobolev space defined using (any) sub-Laplacian on G, then the embeddings (1.10) are reduced to These embeddings are sharp, see Folland [21]. Consequently, using the characterisation (1.8) of γ s R (G), we also obtain the embeddings where the space γ σ loc (R n ) is the usual Euclidean Gevrey space, namely, the space of all smooth functions f ∈ C ∞ (R n ) such that for every compact set K ⊂ R n there exist two constants B, C > 0 such that for every α we have (1.13) Hence, if G is a stratified Lie group of step r we have the embeddings (1.14) Consequently, using these embeddings, we obtain the following local in space wellposedness result using the usual Euclidean Gevrey spaces. Here we may also assume that the Cauchy data are compactly supported due to the finite propagation speed of singularities. To emphasise the appearing phenomenon of local loss of Euclidean regularity we formulate it in the simplified setting of stratified Lie groups, with topological identification G ∼ R n . The spaces γ s (R n ) below denote the usual Gevrey spaces on R n . Corollary 1.2 Let G ∼ R n be a stratified Lie group of step r and let R be a positive Rockland operator of homogeneous degree ν (for example, R can be a positive sub-Laplacian in which case we have ν = 2). Assume that the Cauchy data (u 0 , u 1 ) are compactly supported. Then the following holds, referring respectively to Cases 1-4 above: , satisfying the following inequality for all values of t ∈ [0, T ]: The statements in Cases 2-4 for s = 1 are not so interesting, with the analytic wellposedness known in these case anyway, see Bony and Shapira [2].
For G = R n and R being the Laplacian, we have r = 1 and there is no loss of regularity in any of the Cases 1-4, when the results are known from [7,12,25,26,33].
We remark that in the meantime, also models with more singular coefficients have been treated in the context of very weak solutions, see [44].
However, already on the Heisenberg group with step r = 2, we observe the local loss of regularity in Euclidean Sobolev and Gevrey spaces in all statements of Cases 1-4 in Corollary 1.2.
We also note that using local Sobolev and Gevrey embeddings (1.10) and (1.12), it is easy to formulate an extension of Corollary 1.2 to general graded Lie groups.

Preliminaries on Graded Lie Groups and Rockland Operators
In this section we recall some preliminaries and fix the notation concerning the Fourier analysis on graded Lie groups. We refer to [24] and to [18,Chap. 5] for further details.
Thus, a connected and simply connected Lie group G is called graded when its Lie algebra is graded in the sense of the decomposition (1.2).
A Lie algebra g is stratified if it is graded and if its first stratum V 1 generates g as an algebra. Thus, in this case every element of the Lie algebra can be written as a linear combination of elements in V 1 and their iterated commutators. A Lie group is stratified when it is connected, simply connected and its Lie algebra is stratified.
Furthermore, if there are r non zero V j 's in the vector space decomposition (1.2), then the group (respectively the algebra) is said to be stratified of step r.
From the definition of a stratified Lie algebra, it follows that, assuming that V 1 has dimension k, any basis {X 1 , . . . , X k } for V 1 forms a Hörmander system, see [31], and we can consider its associated sub-Laplacian operator that is also a positive Rockland operator: Example 2.1 (The Heisenberg group) A classical example of a graded (stratified) Lie group is the Heisenberg group H n that might be seen as the manifold R 2n+1 endowed with the group law The Heisenberg Lie algebra h n associated with the Heisenberg group is the space of all the left-invariant vector fields of H n and it admits the following canonical basis: The former vector fields satisfy the canonical commutation relations and all the other possible commutators are zero. Therefore, the Heisenberg group is a graded (stratified) Lie group of step 2, whose Lie algebra admits the vector space decomposition Hypoellipticity and other questions on the Heisenberg group have a long history, see e.g. Taylor [45], Folland [22], or Thangavelu [47], and many references therein.
From now on, we consider G to be a graded Lie group, even if some of the following definitions and remarks hold in a more general setting.
Let π be a representation of G on the separable Hilbert space H π . A vector v ∈ H π is said to be smooth or of type C ∞ if the function is of class C ∞ . The space of all smooth vectors of a representation π is denoted by H ∞ π . Let g be the Lie algebra of G and let π be a strongly continuous representation of G on a Hilbert space H π . For every X ∈ g and v ∈ H ∞ π we define Then dπ is a representation of g on H ∞ π (see e.g. [18, Proposition 1.7.3]) called the infinitesimal representation associated to π . By abuse of notation, we will often still denote it by π , therefore, for any X ∈ g, we write π(X) meaning dπ(X).
Any left-invariant differential operator T on G, according to the Poincaré-Birkhoff-Witt theorem, can be written in a unique way as a finite sum where all but finitely many of the coefficients c α ∈ C are zero and X α = X 1 . . . X |α| , with X j ∈ g. This allows one to look at any left-invariant differential operator T on G as an element of the universal enveloping algebra U(g) of the Lie algebra of G. Therefore, the family of infinitesimal representations π(T ), π ∈ G yields a field of operators that turns to be the symbol associated with the operator T . Let π ∈ G and let R be a positive Rockland operator of homogeneous degree ν > 0, then using formula (2.2), the infinitesimal representation of R associated to π is where π(X) α = π(X α ) = π(X α 1 1 · · · X αn n ) and [α] = ν 1 α 1 + · · · + ν n α n is the homogeneous degree of the multiindex α, with X j being homogeneous of degree ν j .
The operator R and its infinitesimal representations π(R) are densely defined on D(G) ⊂ L 2 (G) and H ∞ π ⊂ H π , respectively, see e.g. [18,Proposition 4.1.15]. We denote by R 2 the self-adjoint extension of R on L 2 (G) and we keep the same notation π(R) for the self-adjoint extensions on H π of the infinitesimal representations. Recalling the spectral theorem for unbounded operators [39, Theorem VIII.6], we can consider the spectral measures E and E π corresponding to R 2 and π(R), so that we have Furthermore, for any f ∈ L 2 (G) we have for any measurable bounded function φ on R, see e.g. [18,Corollary 4.1.16]. The infinitesimal representations π(R) of a positive Rockland operator are also positive, due to the relations between their spectral measures. In particular, Hulanicki, Jenkins and Ludwig showed in [32] that the spectrum of π(R), with π ∈ G \ {1}, is discrete and lies in (0, ∞). This implies that we can choose an orthonormal basis for H π such that the infinite matrix associated to the self-adjoint operator π(R) has the form where π j are strictly positive real numbers and π ∈ G \ {1}.

Parameter Dependent Energy Estimates
In this section we prove certain energy estimates for second order ordinary differential equations with explicit dependence on parameters. This will be crucial in the proof of Theorem 1.1 where the parameters will correspond to the spectral decomposition (2.4) of the infinitesimal representations of the Rockland operators.
Results of the following type have been of use in different estimates related to weakly hyperbolic partial differential equations, such as [7] and [27]. However, in those papers the conclusions rely on more general results, see [25]. We partly follow the argument in [27] based on a standard reduction to a first order system. Consequently, we carry out different types of arguments depending on assumptions in each of the cases, altogether allowing us to formulate the precise dependence on parameters for ordinary differential equations corresponding to the propagation coefficient a(t) as in Cases 1-4 of Theorem 1.1, to which we refer in the following statement.
Case 2: There exist two positive constants C, K > 0 such that for all t ∈ [0, T ] we have

The constants C in the above inequalities may depend on T but not on β.
Proof First we reduce the problem (3.1) to a first order system. In order to do this we rewrite it in a standard way as a matrix-valued equation. Thus we define the column vectors

and the matrix
that allow us to reformulate the second order system (3.1) as the first order system We will now treat each case separately.

Case 1: a ∈ Lip([0, T ]), a(t) ≥ a 0 > 0
This is the simplest case that can be treated by a classical argument. We observe that the eigenvalues of our matrix A(t) are given by ± √ a(t). The symmetriser S of A, i.e. the matrix such that SA − A * S = 0, is given by Thus we define the energy as

E(t) := S(t)V (t), V (t) ,
and we want to estimate its variations in time. A straightforward calculation yields the following inequality that will help us to get such estimate: Thus setting c 0 := 2 min{a 0 , 1} and c 1 := 2 max{a 1 , 1}, the inequality (3.5) becomes A straightforward calculation, together with (3.6), gives the following estimate:

Case 2: a ∈ C α ([0, T ]), with 0 < α < 1, a(t) ≥ a 0 > 0
Here we follow the method developed by Colombini and Kinoshita [7] for n = 1 and subsequently extended [25] for any n ∈ N. We look for solutions of the form where • s ∈ R depends on α as will be determined in the argument; • the function ρ = ρ(t) ∈ C 1 ([0, T ]) is real-valued and will be chosen later; • W (t) is the energy; • H (t) is the matrix defined by where for all > 0, λ 1 (t) and λ 2 (t) are regularisations of the eigenvalues of the matrix A(t) of the form with {ϕ (t)} >0 being a family of cut-off functions defined starting from a non-negative function ϕ ∈ C ∞ c (R), with R ϕ = 1, by setting ϕ (t) := 1 ϕ t . By construction, it follows that λ 1 , λ 2 ∈ C ∞ ([0, T ]). Furthermore, we can easily check, using the Hölder regularity of a(t) of order α and, therefore, of √ a(t) of the same order α, the following inequalities: det (3.11) and for all t ∈ [0, T ] and > 0 there exist two constants c 1 , c 2 > 0 such that (3.12) uniformly in t and . Now we substitute our suggested solution (3.10) in (3.4) yielding Multiplying both sides of this equality by e ρ(t)β

t)A(t)H (t)W (t). (3.13)
This leads to the estimate

t)H t (t)W (t), W (t) + + det H (t) −1 (det H ) t (t)|W (t)| 2 + βIm H −1 (t)A(t)H (t)W (t), W (t) .
We observe that Thus we obtain (3.14) To proceed we need to estimate the following quantities: In [25] and [7], the authors determined estimates for similar functions in a more general setting, i.e. starting from an equation of arbitrary order m. In this particular case, we can proceed by straightforward calculations without relying on the mentioned works. We deal with these three terms as follows: 2 , it follows that the entries of the matrix H −1 H t are given by the functions ∂t λ j λ 2 −λ 1 . We have, for example for λ 2 , where we are using the Hölder continuity of √ a for the first term and the fact that the second term is zero, since ϕ = 0. Combining the inequalities (3.11) and (3.15), we get for a suitable positive constant k 1 that for a constant k 2 > 0. III) Also in this case, we write explicitly the matrix we are interested in, that is Observing that, by definition, (λ 1 ) 2 = (λ 2 ) 2 , and recalling inequality (3.11), to get the desired norm estimate, it is enough to consider the function |a(t) − (λ 2 ) 2 |. A straightforward calculation, using inequality (3.12), shows that It follows that Going back to (3.14), combining it with estimates I), II) and III), we get an estimate for the derivative of the energy, that is At this point we choose = 1 β , observing that we can always consider β large enough, say β > 1, in order to have a small ∈ (0, 1]. Indeed, for β ≤ β 0 for some fixed β 0 > 0, a modification of the argument below gives estimate (3.2) with constants depending only on β 0 and T . So we may assume that β > β 0 for β 0 to be specified. We define also ρ(t) := ρ(0) − Kt for some K > 0 to be specified. Substituting this in (3.16) we get for a suitable constant k > 0 that If we have and then also This monotonicity of the energy W (t) yields the following boundedness for the solution vector V (t): that means, by definition of V (t), that proving the statement of Case 2.

Case 3: a ∈ C l ([0, T ]), with l ≥ 2, a(t) ≥ 0
In this case we extend the technique developed for Case 1. First we perturb the symmetriser of the matrix A(t). This is done considering the so-called quasi-symmetriser of A(t), the idea introduced for such problems by D'Ancona and Spagnolo in [15]. Consider the quasi-symmetriser of A(t), that is, a family of coercive, Hermitian matrices of the form for all ∈ (0, 1], and such that Q (2) A − A * Q (2) goes to zero as goes to zero. The associated perturbed energy is given by We proceed estimating the energy, calculating its derivatives in time, so that To estimate the second term in the right hand side, we set Algebraic calculations give Using this estimate in (3.19), we get . (3.20) In order to apply the Gronwall lemma, we first estimate the integral T 0 d dt Q (2)

(t)V (t), V (t) Q (2) (t)V (t), V (t)
dt. (3.21) Let us recall that from the definition of the quasi-symmetriser, it follows that Thus, setting c 1 := max 1, 2( a L ∞ + 2 ) , we obtain a bound from above for (3.22), that is Observing that 2 c −1 1 ≤ 1 and 2 c −1 1 ≤ c 1 for small enough , we can also deduce an inequality from below of the form Hence, there exists a constant c 1 ≥ 1 such that for t ∈ [0, T ] we have The lower bound, together with [26, Lemma 2] (see [33,Lemma 2] for a detailed proof), allows us to estimate the integral (3.21) as follows Thus, by the Gronwall lemma and the estimates for the quasi-symmetriser just derived, we obtain Combining the latter inequality with (3.23) we obtain We choose such that − 2 l = β , thus = β − l 2+l and β = β 2 2+l . We can assume β is large enough with a remark for small β similar to Case 2. Setting σ = 1 + l 2 , for a suitable constant K ∈ C it follows that This means that β 2 |v(t)| 2 + |v (t)| 2 ≤ Cβ l σ e Kβ 1 σ β 2 |v 0 | 2 + |v 1 | 2 , as required.

Case 4: a ∈ C α ([0, T ]), with 0 < α < 2, a(t) ≥ 0
In this last case we extend the proof of Case 2. However, under these assumptions the roots of the matrix A(t), that are, ± √ a(t) might coincide, and hence they are Hölder of order α 2 instead of α. We can refer for the background discussions of this to [25]. In order to adapt this proof to the one for Case 2 we will assume without loss of generality that a ∈ C 2α ([0, T ]) with 0 < α < 1, so that √ a ∈ C α ([0, T ]). At the end, to formulate the final result, we will change α into α 2 . Following the argument developed for Case 2, we look again for solutions of the form with the real-valued function ρ(t), the exponent s and the energy W (t) to be chosen later, while H (t) is the matrix given by where the regularised eigenvalues of A(t), λ 1,α (t) and λ 2,α (t) differ from the ones defined in the previous case in the following way Arguing as in Case 2, we can easily see that the smooth functions λ 1 (t) and λ 2 (t) satisfy, uniformly in t and (and trivially in x), the following inequalities We now look for the energy estimates. In order to do this, recalling the calculations done before (3.13) and (3.14), we obtain The same arguments as in Case 2 allow us to get the following bounds Combining (3.24) with I), II) and III) we obtain We choose −1 = β α which yields = β − 1 α+1 . Thus, setting γ := 1 α+1 , we obtain for a constant c > 0 the estimate We take ρ(t) := ρ(0) − Kt with K > 0 to be chosen later. Considering provided that β is large enough. Similarly to Case 2, we then get the inequality (3.25) becomes which means Combining this with a remark for small β similar to Case 2 yields the result. Thus Proposition 3.1 is proved.

Proof of Theorem 1.1
In this section we combine the things from Sect. 2 and Sect. 3 to prove Theorem 1.1. However, we will need one more ingredient, the Fourier transform on G, that we now briefly describe. Let f ∈ L 1 (G) and let π ∈ G. By a usual abuse of notation we will identify irreducible unitary representations with their equivalence classes. The group Fourier transform of f at π is defined by with integration against the biinvariant Haar measure on G. This gives a linear mapping f (π) : H π → H π that can be represented by an infinite matrix once we choose a basis for the Hilbert space H π . Consequently, we can write By Kirillov's orbit method (see e.g. [14]), one can explicitly construct the Plancherel measure μ on the dual G. Therefore we can have the Fourier inversion formula. In addition, the operator π(f ) = f (π) is Hilbert-Schmidt: and the function G π → π(f ) 2 HS in integrable with respect to μ. Furthermore, the Plancherel formula holds: see e.g. [14] or [18].
Proof of Theorem 1.1 Our aim is to reduce the Cauchy problem (1.1) to a form allowing us to apply Proposition 3.1. In order to do this, we take the group Fourier transform of (1.1) with respect to x ∈ G for all π ∈ G, that is, Keeping in mind the form (2.4) of the infinitesimal representation π(R) Eq. (4.2) can be seen componentwise as an infinite system of equations of the form ∂ 2 t u(t, π) m,k + a(t)π 2 m u(t, π) m,k = 0, (4.3) where we are considering any π ∈ G, and any m, k ∈ N. The key point of the following argument is to decouple the system given by the matrix equation (4.2). In order to do this, we fix an arbitrary representation π , and a general entry (m, k) and we treat each equation given by (4.3) individually. Note that eventually u(t, π) m,k is a function only of t . Formally, recalling the notation used in Proposition 3.1, we write v(t) := u(t, π) m,k , β 2 := π 2 m , and v 0 := u 0 (π) m,k , v 1 := u 1 (π) m,k .
We proceed discussing implications of Proposition 3.1 separately in each case.
We can now integrate both sides of (4.6) against the Plancherel measure μ on G, so that the Plancherel identity yields estimate (1.9).
If the Cauchy data (u 0 , u 1 ) are in γ s R (G) × γ s R (G) then there exist two positive constants A 0 and A 1 such that e A 0 R 1 2s u 0 L 2 < ∞ and e A 1 R 1 2s u 1 L 2 < ∞.