TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

arXiv:1705.03047v2 [math.AP] 31 Jul 2017

MICHAEL RUZHANSKY AND CHIARA TARANTO
Abstract. In this paper we consider the wave equations for hypoelliptic homogeneous left-invariant operators on graded Lie groups with time-dependent Hölder
(or more regular) non-negative propagation speeds. The examples are the timedependent wave equation for the sub-Laplacian on the Heisenberg group or on
general stratified Lie groups, or p-evolution equations for higher order operators
on Rn 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.

1. Introduction
In this paper we are interested in the well-posedness of the following Cauchy problem:

2

∂t u(t, x) + a(t)Ru(t, x) = 0, (t, x) ∈ [0, T ] × G,
(1.1)
u(0, x) = u0 (x), x ∈ G,

∂ u(0, x) = u (x), x ∈ G,
t
1
for the time-dependent propagation speed a = a(t) ≥ 0.
In the case of G = Rn and R = −∆, the equation (1.1) is the usual wave equation
with the time-dependent propagation speed and its well-posedness results for Hölder
regular functions a have been obtained by Colombini, de Giorgi and Spagnolo in their
seminal paper [7]. Moreover, it has been shown by Colombini and Spagnolo in [13]
and by Colombini, Jannelli and Spagnolo in [8] that even in the case of G = R and
d2
∞
if a ∈ C ∞
R = − dx
2 the Cauchy problem (1.1) does not have to be well-posed in C
is not strictly positive or if it is in the Hölder class a ∈ C α for 0 < α < 1.
In this paper we obtain new results for the following situations:

(i) G = Hn 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.
2010 Mathematics Subject Classification. 35L05, 35L30, 43A70, 42A80.
Key words and phrases. Sub-Laplacian, Rockland operator, Gevrey spaces, wave equation,
Heisenberg group, graded groups.
The first author was supported in parts by the EPSRC grant EP/K039407/1 and by the Leverhulme Grant RPG-2014-02. No new data was collected or generated during the course of research.
1

2

M. RUZHANSKY AND C. TARANTO

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
Rn , the Heisenberg group Hn , 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
Rn 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 Hn with R being the positive subLaplacian, the wave equation (1.1) was studied by Mü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 Hörmander’s sum
of squares on G the problem (1.1) was studied in [27], 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].
From the point of view of the time-dependent coefficient a(t), we aim at carrying
out the comprehensive analysis, thus distinguishing between the following four cases:
Case 1: a ∈ Lip([0, T ]), a(t) ≥ a0 > 0;
Case 2: a ∈ C α ([0, T ]), 0 < α < 1, a(t) ≥ a0 > 0;
Case 3: a ∈ C l ([0, T ]), l ≥ 2, a(t) ≥ 0;
Case 4: a ∈ C α ([0, T ]), with 0 < α < 2, a(t) ≥ 0.
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 the equation (1.1) in local coordinates is the
space-dependent variable multiplicities problem, very little is known about its wellposedness. 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 Métivier [11] or Colombini and
Lerner [10]. In addition to already mentioned restrictions for the well-posedness, see
also Colombini and Métivier [12] for a recent overview from the point of view of
systems.
In the case of Rn and −R being the Laplacian, the regularity of a less than Hö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.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

3

To formulate our results, let us briefly introduce some necessary notation 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
g = ⊕∞
j=1 Vj ,

(1.2)

such that all but finitely many of the Vj ’s are {0} and [Vi , Vj ] ⊂ Vi+j . A special case
analysed in detail by Folland [21] is of stratified Lie groups when the first stratum
V1 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
Rn with a polynomial group law. We can also refer to [19, Section 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) left-invariant differential operator which is homogeneous of degree ν > 0 and
which satisfies the so-called Rockland condition. This means that for each represenb except for the trivial one, the operator π(R) is injective on the space
tation π ∈ G,
of smooth vectors Hπ∞ , i.e.
∀v ∈ Hπ∞

π(R)v = 0 =⇒ v = 0.

(1.3)

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, 45]. 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 {X1 , . . . , Xk } is a basis for the first stratum of its
Lie algebra, then the positive sub-Laplacian
L=−

k
X

Xj2

j=1

is a positive Rockland operator. Moreover, for any m ∈ N, the operator
R = (−1)

m

k
X

Xj2m

j=1

is a positive Rockland operator on the stratified Lie group G. More generally, for any
graded Lie group G ∼ Rn , if X1 , . . . , Xn is the basis of its Lie algebra g with dilation
weights ν1 , . . . , νn , i.e. with
Dr X j = r ν j X j ,

j = 1, . . . , n, r > 0,

where Dr are dilations on g, then the operator
R=

n
X
j=1

ν0
νj

ν

2 ν0

(−1) aj Xj

j

,

aj > 0,

(1.4)

4

M. RUZHANSKY AND C. TARANTO

is a Rockland operator of homogeneous degree 2ν0 , if ν0 is any common multiple
of ν1 , . . . , νn . We refer to [19, Section 4.1.2] for other examples and a detailed discussion of Rockland operators and graded Lie groups. In the case of Rn , 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
s
any real number s ∈ R, the Sobolev space HR
(G) is the subspace of S ′ (G) obtained
as the completion of the Schwartz space S(G) with respect to the Sobolev norm
s

kf kHRs (G) := k(I + R) ν f kL2 (G) .

(1.5)

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 operartor R used in the definition (1.5), see [19, Theorem 4.4.20]). These
spaces perfectly suit Case 1 described above but already in the Euclidian 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 can not
expect anymore the well-posedness in C ∞ (G) or D ′ (G). Indeed, Colombini and Spagnolo exhibited a concrete example in [13] 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
1

s
GR
(G) := {f ∈ C ∞ (G) | ∃A > 0 : keAR 2s f kL2 (G) < ∞}.

(1.6)

These spaces provide for a subelliptic version of the usual Gevrey spaces. For example,
for G = Hn being the Heisenberg group with the basis X1 , . . . , X2n of the first stratum,
s
(Hn ) if and only if there exist two constants B, C > 0
it was shown in [20] that f ∈ GR
2n
such that for every α ∈ N0 the following inequality holds
k∂ α f kL2 (Hn ) ≤ CB |α| (α!)s ,

P

(1.7)

where ∂ α = Y1 . . . Y|α| , with Yj ∈ {X1 , . . . , X2n } for every j = 1, . . . , |α| and Yj =Xk 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 [16, Theorem
2.4] for elliptic operators, it can be shown that if R is a positive Rockland operator of
s
homogeneous degree ν, then f ∈ GR
(G) if and only if there exist constants B, C > 0
such that for every k ∈ N ∪ {0} we have
kRk f kL2 (G) ≤ CB νk ((νk)!)s .

(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
s
the same is true for GR
(G).
s
s
Thus, we may drop the subscript R in HR
and GR
but we may also keep using it
to refer to the norms that we may be using.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

5

Let us now formulate the main theorem of our paper, where we consider the following four cases:
Case
Case
Case
Case

1:
2:
3:
4:

a ∈ Lip([0, T ]), a(t) ≥ a0 > 0;
a ∈ C α ([0, T ]), 0 < α < 1, a(t) ≥ a0 > 0;
a ∈ C l ([0, T ]), l ≥ 2, a(t) ≥ 0;
a ∈ C α ([0, T ]), with 0 < α < 2, a(t) ≥ 0.

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:
s+ ν

s
(G),
Case 1: Given s ∈ R, if the initial Cauchy data (u0 , u1) are in HR 2 (G) × HR
ν
s+ 2
then there exists a unique solution of (1.1) in the space C([0, T ], HR (G)) ∩
s
C 1 ([0, T ], HR
(G)), satisfying the following inequality for all values of t ∈
[0, T ]:

ku(t, ·)k2 s+ ν2 + k∂t u(t, ·)k2HRs ≤ C(ku0 k2 s+ ν2 + ku1 k2HRs );
HR

HR

(1.9)

s
s
Case 2: If the initial Cauchy data (u0 , u1) are in GR
(G) × GR
(G), then there exists a
2
s
unique solution of (1.1) in C ([0, T ], GR(G)), provided that
α
1≤s<1+
;
1−α

s
s
(G) × GR
(G), then there exists a
Case 3: If the initial Cauchy data (u0 , u1) are in GR
2
s
unique solution of (1.1) in C ([0, T ], GR(G)), provided that

l
1≤s<1+ ;
2
s
s
Case 4: If the initial Cauchy data (u0 , u1 ) are in GR
(G) × GR
(G) then there exists a
2
s
unique solution of (1.1) in C ([0, T ], GR(G)), provided that

1 ≤ s < 1 + α.
As it will follow from the proof, in Cases 2 and 4, one can take the equalities
α
and s = 1 + α, respectively, provided that T > 0 is small enough. We
s = 1 + 1−α
refer to [25, 26] concerning the sharpness of the above Gevrey indices in the case of
G = Rn 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 Rn 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:
s/ν

s/ν

s
Hloc 1 (Rn ) ⊂ HR,loc
(G) ⊂ Hloc n (Rn ),

(1.10)

see [19, 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

6

M. RUZHANSKY AND C. TARANTO

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
s/r

s
s
Hloc
(Rn ) ⊂ Hloc
(G) ⊂ Hloc (Rn ).

(1.11)

These embeddings are sharp, see Folland [21]. Consequently, using the characterisas
tion (1.8) of GR
(G), we also obtain the embeddings
ν1 s
sνn
s
(Rn ),
(Rn ) ⊂ GR,loc
(G) ⊂ Gloc
Gloc

(1.12)

σ
where the space Gloc
(Rn ) is the usual Euclidean Gevrey space, namely, the space of
all smooth functions f ∈ C ∞ (Rn ) such that for every compact set K ⊂ Rn there exist
two constants B, C > 0 such that for every α we have

|∂ α f (x)| ≤ CB |α| (α!)σ

for all x ∈ K.

(1.13)

Consequently, if G is a stratified Lie group of step r we have the embeddings
s
s
sr
Gloc
(Rn ) ⊂ GR,loc
(G) ⊂ Gloc
(Rn ).

(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 ∼ Rn .
Corollary 1.2. Let G ∼ Rn 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 subLaplacian in which case we have ν = 2). Assume that the Cauchy data (u0 , u1 ) are
compactly supported. Then the following holds, referring respectively to Cases 1-4
above:
ν
Case 1: Given s ∈ R, if (u0 , u1) are in H s+ 2 (Rn )×H s (Rn ), then there exists a unique
ν
solution of (1.1) in C([0, T ], H (s+ 2 )/r (Rn )) ∩ C 1 ([0, T ], H s/r (Rn )), satisfying
the following inequality for all values of t ∈ [0, T ]:
ku(t, ·)k2H (s+ ν2 )/r + k∂t u(t, ·)k2H s/r ≤ C(ku0k2H s+ ν2 + ku1k2H s );

(1.15)

Case 2: If (u0 , u1 ) are in G s (Rn )×G s (Rn ), then there exists a unique solution of (1.1)
in C 2 ([0, T ], G sr (Rn )), provided that
α
;
1<s<1+
1−α

Case 3: If (u0 , u1 ) are in G s (Rn )×G s (Rn ), then there exists a unique solution of (1.1)
in C 2 ([0, T ], G sr (Rn )), provided that
l
1<s<1+ ;
2
s
n
s
n
Case 4: If (u0 , u1 ) are in G (R ) × G (R ) then there exists a unique solution of (1.1)
in C 2 ([0, T ], G sr (Rn )), provided that
1 < s < 1 + α.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

7

The statements in Cases 2-4 for s = 1 are not so interesting, with the analytic
well-posedness known in these case anyway, see Bony and Shapira [2].
For G = Rn 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, 9, 25, 26, 33].
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.
2. 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 [19, Chapter 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 V1 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 V1 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 Vj ’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 V1 has
dimension k, any basis {X1 , . . . , Xk } for V1 forms a Hörmander system, see [31], and
we can consider its associated sub-Laplacian operator that is also a positive Rockland
operator:

L := − X12 + · · · + Xk2 .
(2.1)

Example 2.1 (The Heisenberg group). A classical example of a graded (stratified)
Lie group is the Heisenberg group Hn that might be seen as the manifold R2n+1
endowed with the group law
1
(x, y, t)(x′, y ′ , t′ ) := (x + x′ , y + y ′ , t + t′ + (x · y ′ − x′ · y)),
2
where (x, y, t), (x′ , y ′ , t′ ) ∈ Rn × Rn × R ∼ Hn . The Heisenberg Lie algebra hn
associated with the Heisenberg group is the space of all the left-invariant vector fields
of Hn and it admits the following canonical basis:
yj
Xj = ∂xj − ∂t ,
2
xj
Yj = ∂yj + ∂t ,
2
T = ∂t .
The former vector fields satisfy the canonical commutation relations
[Xj , Yj ] = T,

∀ j = 1, . . . , n,

8

M. RUZHANSKY AND C. TARANTO

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
hn = V 1 ⊕ V 2 ,

where
V1 =

n
X
j=1

RXj ⊕ RYj

and

V2 = RT.

Hypoellipticity and other questions on the Heisenberg group have a long history, see
e.g. Taylor [44], Folland [22], or Thangavelu [46], 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
G ∋ x 7→ π(x)v ∈ Hπ

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


1
dπ(X)v := lim π expG (tX) v − v .
t→0 t
Then dπ is a representation of g on Hπ∞ (see e.g. [19, 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 Poincaré-BirkhoffWitt theorem, can be written in a unique way as a finite sum
X
T =
cα X α ,
(2.2)
|α|≤M

where all but finitely many of the coefficients cα ∈ C are zero and X α = X1 . . . X|α| ,
with Xj ∈ 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.

b yields a field of
Therefore, the family of infinitesimal representations π(T ), π ∈ G
operators that turns to be the symbol associated with the operator T .
b and let R be a positive Rockland operator of homogeneous degree ν > 0,
Let π ∈ G
then using formula (2.2), the infinitesimal representation of R associated to π is
X
π(R) =
cα π(X)α ,
[α]=ν

α

α

π(X1α1

· · · Xnαn )

and [α] = ν1 α1 + · · · + νn αn is the homogewhere π(X) = π(X ) =
neous degree of the multiindex α, with Xj being homogeneous of degree νj .
The operator R and its infinitesimal representations π(R) are densely defined on
D(G) ⊂ L2 (G) and Hπ∞ ⊂ Hπ , respectively, see e.g. [19, Proposition 4.1.15]. We
denote by R2 the self-adjoint extension of R on L2 (G) and we keep the same notation π(R) for the self-adjoint extensions on Hπ of the infinitesimal representations.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

9

Recalling the spectral theorem for unbounded operators [39, Theorem VIII.6], we can
consider the spectral measures E and Eπ corresponding to R2 and π(R), so that we
have
Z
Z
R2 =
λdE(λ) and π(R) =
λdEπ (λ).
R

R

Furthermore, for any f ∈ L2 (G) we have

 

F φ R f (π) = φ π(R) fb(π),

(2.3)

for any measurable bounded function φ on R, see e.g. [19, 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
b \ {1}, is discrete
and Ludwig showed in [32] that the spectrum of π(R), with π ∈ G
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

 2
π1 0 . . . . . .
 0 π22 0 . . .


..
(2.4)
π(R) =  ..
,
.

. 0
..
..
..
.
.
.
b \ {1}.
where πj are strictly positive real numbers and π ∈ G

3. 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 [9] 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.
Proposition 3.1. Let β > 0 be a positive constant and let a(t) be a function that
behaves according to Cases 1, 2, 3 and 4 in Theorem 1.1. Let T > 0. Consider the
following Cauchy problem:

′′
2

v (t) + β a(t)v(t) = 0 with t ∈ (0, T ],
(3.1)
v(0) = v0 ∈ C,

v ′ (0) = v ∈ C.
1
Then the following holds:

10

M. RUZHANSKY AND C. TARANTO

Case 1: There exists a positive constant C > 0 such that for all t ∈ [0, T ] we have
β 2 |v(t)|2 + |v ′(t)|2 ≤ C(β 2 |v0 |2 + |v1 |2 ).

Case 2: There exist two positive constants C, K > 0 such that for all t ∈ [0, T ] we
have
1
(3.2)
β 2 |v(t)|2 + |v ′ (t)|2 ≤ CeKtβ s (β 2 |v0 |2 + |v1 |2 ),
α
for any 1 ≤ s < 1 + 1−α . Moreover, there exists a constant k > 0 such that
1−α− 1

s
for any β0 ≥ 1 the estimate (3.2) holds for K = kβ0
for all β ≥ β0 .
Case 3: There exist two positive constants C, K > 0 such that for all t ∈ [0, T ] we
have
1

l
β 2 |v(t)|2 + |v ′ (t)|2 ≤ C(1 + β σ )eKβ σ β 2 |v0 |2 + |v1 |2 ,

with σ = 1 + 2l .
Case 4: There exist two positive constants C, K > 0 such that
α

1

β 2 |v(t)|2 + |v ′ (t)|2 ≤ C(1 + β α+1 )eKtβ s (β 2 |v0 |2 + |v1 |2 ),

(3.3)

for any 1 ≤ s < 1 + α. Moreover, there exists a constant k > 0 such that for
1

−1

any β0 ≥ 1 the estimate (3.3) holds for K = kβ01+α s for all β ≥ β0 .
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




iβv0
iβv(t)
,
, V0 :=
V (t) :=
v1
∂t v(t)
and the matrix


0 1
A(t) :=
,
a(t) 0

that allow us to reformulate the second order system (3.1) as the first order system
(
Vt (t) = iβA(t)V (t),
(3.4)
V (0) = V0 .
We will now treat each case separately.
3.1. Case 1: a ∈ Lip([0, T]), a(t) ≥ a0 > 0. This is the simplest case that can be
treated by a classical
argument. We observe that the eigenvalues of our matrix A(t)
p
are given by ± a(t). The symmetriser S of A, i.e. the matrix such that
is given by

Thus we define the energy as

SA − A∗ S = 0,



2a(t) 0
S(t) =
.
0
2


E(t) := S(t)V (t), V (t) ,

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

11

and we want to estimate its variations in time. A straightforward calculation yields
the following inequality that will help us to get such estimate:
2|V |2 min {a(t), 1} ≤ E(t) ≤ 2|V |2 max {a(t), 1}.
t∈[0,T ]

(3.5)

t∈[0,T ]

In particular, in this case the continuity of a(t) ensures the existence of two strictly
positive constants a0 and a1 such that
a0 = min a(t) and a1 = max a(t).
t∈[0,T ]

t∈[0,T ]

Thus setting c0 := 2 min{a0 , 1} and c1 := 2 max{a1 , 1}, the inequality (3.5) becomes
c0 |V (t)|2 ≤ E(t) ≤ c1 |V (t)|2 .

(3.6)

A straightforward calculation, together with (3.6), gives the following estimate:



Et (t) = St (t)V (t), V (t) + S(t)Vt (t), V (t) + S(t)V (t), Vt (t) =



= St (t)V (t), V (t) + iβ S(t)A(t)V (t), V (t) − iβ S(t)V (t), A(t)V (t) =




= St (t)V (t), V (t) + iβ S(t)A(t) − A∗ (t)S(t) V (t), V (t) =

= St (t)V (t), V (t) ≤ kSt (t)k|V (t)|2 ,
(3.7)

thus setting c′ := c−1
0 supt∈[0,T ] kSt (t)k, we get from (3.7) using (3.6) that
Et (t) ≤ c′ E(t).

(3.8)

Applying the Gronwall lemma to (3.8), we deduce that there exists a constant c > 0
independent of t ∈ [0, T ] such that
E(t) ≤ cE(0).

(3.9)

Therefore, putting together (3.9) and (3.6) we obtain
c0 |V (t)|2 ≤ E(t) ≤ cE(0) ≤ cc1 |V (0)|2.
We can then rephrase this, asserting that there exists a constant C > 0 independent
of t such that |V (t)|2 ≤ C|V (0)|2. Then we write this inequality going back to the
definition of V (t), yielding

β 2 |v(t)|2 + |∂t v(t)|2 ≤ C β 2 |v0 |2 + |v1 |2 ,
as required.

3.2. Case 2: a ∈ C α ([0, T]), with 0 < α < 1, a(t) ≥ a0 > 0. Here we follow the
method developed by Colombini and Kinoshita [9] for n = 1 and subsequently extended [25] for any n ∈ N. We look for solutions of the form
1

V (t) = e−ρ(t)β s (det H(t))−1 H(t)W (t),

(3.10)

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;

12

M. RUZHANSKY AND C. TARANTO

• H(t) is the matrix defined by
H(t) :=




1
1
,
λǫ1 (t) λǫ2 (t)

where for all ǫ > 0, λǫ1 (t) and λǫ2 (t) are regularisations of the eigenvalues of
the matrix A(t) of the form
√
λǫ1 (t) := (− a ∗ ϕǫ )(t),
√
λǫ2 (t) := (+ a ∗ ϕǫ )(t),
with {ϕǫ (t)}ǫ>0 being a family of cut-off
R functions defined starting from a
non-negative function ϕ ∈ Cc∞ (R), with R ϕ = 1, by setting ϕǫ (t) := 1ǫ ϕ ǫt .
By construction, it follows that λǫ1 , λǫ2 ∈ C ∞ ([0, T ]).
Furthermore,p
we can easily check, using the Hölder regularity of a(t) of order α and,
therefore, of a(t) of the same order α, the following inequalities:
p
√
(3.11)
det H(t) = λǫ2 (t) − λǫ1 (t) ≥ 2 a(0) ≥ 2 a0 ,

and for all t ∈ [0, T ] and ǫ > 0 there exist two constants c1 , c2 > 0 such that
p
|λǫ1 (t) + a(t)| ≤ c1 ǫα ,
p
|λǫ2 (t) − a(t)| ≤ c2 ǫα ,

(3.12)

uniformly in t and ǫ. Now we substitute our suggested solution (3.10) in (3.4) yielding
1 H (t)W (t)
1 H(t)W (t)
H(t)W (t)
t
t
+ e−ρ(t)β s
+ e−ρ(t)β s
+
det H(t)
det H(t)
det H(t)
1
1
H(t)W (t)
−ρ(t)β s H(t)W (t)
.
− e−ρ(t)β s (det H)t (t)
2 = iβA(t)e
det H(t)
det H(t)
1

1

− ρ′ (t)β s e−ρ(t)β s

1

Multiplying both sides of this equality by eρ(t)β s det H(t)H −1(t) we get
−1
1
Wt (t) = ρ′ (t)β s W (t) − H −1 (t)Ht (t)W (t) + (det H)t (t) det H(t) W (t)+
+ iβH −1 (t)A(t)H(t)W (t).

(3.13)

This leads to the estimate



d
|W (t)|2 = Wt (t), W (t) + W (t), Wt (t) = 2Re Wt (t), W (t) =
dt


1
= 2 ρ′ (t)β s |W (t)|2 − Re H −1 (t)Ht (t)W (t), W (t) +
−1

+ det H(t) (det H)t (t)|W (t)|2 + βIm H −1 (t)A(t)H(t)W (t), W (t) .

We observe that




2Im H −1AHW, W = H −1 AHW, W − H −1AHW, W =




= H −1AHW, W − W, H −1 AHW = H −1AHW, W − (H −1 AH)∗ W, W =



= H −1 AH − (H −1 AH)∗ W, W ≤ kH −1AH − (H −1 AH)∗ kkW k2.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

13

Thus we obtain

−1
1
d
|W (t)|2 ≤ 2ρ′ (t)β s + 2kH −1(t)Ht (t)k + 2 det H(t) (det H)t (t) +
dt


+βkH −1AH − (H −1 AH)∗ k |W (t)|2 .

(3.14)

To proceed we need to estimate the following quantities:
I) kH −1(t)Ht (t)k;
−1
II) det H(t) (det H)t (t) ;
III) kH −1AH − (H −1AH)∗ k.

In [25] and [9], the authors determine 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 −1
0
0
1
−1
I) Since H (t) = λǫ −λǫ
, it follows that
and Ht (t) =
2
1
−λǫ1 1
∂t λǫ1 ∂t λǫ2
∂t λǫ

the entries of the matrix H −1 Ht are given by the functions λǫ −λj ǫ . We have, for
2
1
example for λ2 ,
  1Z p
√
1√
′ t
ǫ
=
a(t − ρǫ)ϕ′ (ρ)dρ =
∂t λ2 (t) = a ∗ ∂t ϕǫ (t) = 2 a ∗ ϕ
ǫ
ǫ
ǫ
Z p
Z
p
 ′
1p
1
a(t − ρǫ) − a(t) ϕ (ρ)dρ +
a(t) ϕ′ (ρ)dρ ≤ kǫα−1 , (3.15)
=
ǫ
ǫ
√
where we are using the Hölder continuity
R ′ 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 k1 that
kH −1 (t)Ht (t)k ≤ k1 ǫα−1 .

II) First we can estimate
det H(t)
therefore,

−1

(det H)t (t) =

det H(t)

−1

∂t λǫ2 − ∂t λǫ1
2∂t λǫ2
2kǫα−1
=
≤
√ ,
λǫ2 − λǫ1
λǫ2 − λǫ1
2 a0

(det H)t (t) ≤ k2 ǫα−1 ,

for a constant k2 > 0.
III) Also in this case, we write explicitly the matrix we are interested in, that is


−2a(t)+(λǫ1 )2 +(λǫ2 )2
0
∗
λǫ1 −λǫ2
.
H −1 AH − H −1 AH =  2a(t)− (λǫ )2 +(λǫ )2 
1
2
0
λǫ −λǫ
1

2

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 |.

14

M. RUZHANSKY AND C. TARANTO

A straightforward calculation, using inequality (3.12), shows that
p
 p

a(t) + λǫ2 | ≤
|a(t) − (λǫ2 )2 | = | a(t) − λǫ2
Z p
p

α
≤ c2 ǫ
a(t) +
a(t − s)ϕǫ (s)ds =
Z p
p

√
α
a(t) + a(t − sǫ) ϕ(s)ds ≤ 2c2 k akL∞ ǫα .
= c2 ǫ +
It follows that

kH −1AH − (H −1 AH)∗ k ≤ k3 ǫα .
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


1
d
|W (t)|2 ≤ 2ρ′ (t)β s + 2k1 ǫα−1 + 2k2 ǫα−1 + k3 βǫα |W (t)|2.
(3.16)
dt
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


1 1
1
d
1−α
2
′
s
|W (t)|2 = − 2K + 2kβ 1−α− s β s |W (t)|2.
|W (t)| ≤ 2ρ (t)β + 2kβ
dt
If we have
α
1
>1−α
⇐⇒
s<1+
,
s
1−α
and then also
1
1−α− 1s
K := kβ0
(3.17)
≥ kβ 1−α− s ,
then for all t ∈ [0, T ] we have
d
|W (t)|2 ≤ 0.
dt
This monotonicity of the energy W (t) yields the following boundedness for the solution vector V (t):
1
−1
|V (t)| = e−ρ(t)β s det H(t) kH(t)k|W (t)| ≤
1 det H(0) kH(t)k
1
−1
|V (0)|. (3.18)
≤ e−ρ(t)β s det H(t) kH(t)k|W (0)| = eKtβ s
det H(t) kH(0)k
−1
Note that, according to property (3.11), the function det H (t) is bounded. Furthermore, the behaviour of the convolution and the definition of H(t) guarantee the
existence of suitable constants c, c′ > 0 such that kH(t)k ≤ c and kH −1 (0)k ≤ c′ .
Therefore, there exists a constant C > 0 such that
1

|V (t)| ≤ CeKtβ s |V (0)|,

that means, by definition of V (t), that

1

β 2 |v(t)|2 + |vt (t)| ≤ CeKtβ s β 2 |v0 |2 + |v1 |2 ,

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

15

proving the statement of Case 2.
3.3. 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


 


2a(t) 0
(2)
2 1 0
2 1 0
=
Qǫ (t) := S(t) + 2ǫ
,
+ 2ǫ
0 0
0 0
0
2
(2)
(2) 
for all ǫ ∈ (0, 1], and such that Qǫ A − A∗ Qǫ goes to zero as ǫ goes to zero. The
associated perturbed energy is given by


Eǫ (t) := Q(2)
V
(t),
V
(t)
.
ǫ

We proceed estimating the energy, calculating its derivatives in time, so that
d

d
(2)
Eǫ (t) =
Q(2)
(t)V
(t),
V
(t)
+ (Q(2)
ǫ Vt (t), V (t)) + (Qǫ V (t), Vt (t)) =
dt
dt ǫ



d

(2)
∗
(2)
Q(2)
(t)V
(t),
V
(t)
+
iβ
Q
A(t)
−
A
(t)Q
V
(t),
V
(t)
.
(3.19)
=
ǫ
ǫ
dt ǫ
To estimate the second term in the right hand side, we set


 
iβv(t)
v
V (t) =
=: 1 .
∂t v
v2
Algebraic calculations give

Q(2)
ǫ (t)A(t)

∗

−A

(t)Q(2)
ǫ (t)

2

= 2ǫ




0 1
,
−1 0

therefore
Z
Z



(2)
∗
(2)
2
2Im(v2 v1 )dt ≤ 2ǫ 2|ǫv1 ||v2 |dt ≤
i Qǫ (t)A(t) − A (t)Qǫ (t) V (t), V (t) ≤ 2ǫ
Z
Z


≤ 2ǫ (ǫ2 |v1 |2 + |v2 |2 )dt ≤ 2ǫ
ǫ2 + a(t) |v1 |2 + |v2 |2 dt = 2ǫ Q(2)
ǫ (t)V (t), V (t) .

Using this estimate in (3.19), we get
d




d
(2)
∗
(2)
Eǫ (t) =
Q(2)
(t)V
(t),
V
(t)
+
iβ
Q
A(t)
−
A
(t)Q
V
(t),
V
(t)
≤
ǫ
ǫ
dt
dt ǫ

d
(2)
Q (t)V (t), V (t) + 2βǫEǫ (t)
≤
dt ǫ


#
" d (2)
Q
(t)V
(t),
V
(t)
ǫ
dt
(3.20)
=
 + 2βǫ Eǫ (t).
(2)
Qǫ (t)V (t), V (t)

In order to apply the Gronwall lemma, we first estimate the integral

Z T d (2)
Q (t)V (t), V (t)
dt ǫ
 dt.
(2)
Qǫ (t)V (t), V (t)
0

(3.21)

16

M. RUZHANSKY AND C. TARANTO

Let us recall that from the definition of the quasi-symmetriser, it follows that
Z




(2)
Qǫ V, V = 2
a(t) + ǫ2 β 2 |v|2 + |∂t v|2 dt.
(3.22)


Thus, setting c1 := max 1, 2(kakL∞ + ǫ2 ) , we obtain a bound from above for (3.22),
that is


Q(2)
V,
V
≤ c1 |V |2 .
ǫ

2 −1
Observing that ǫ2 c−1
1 ≤ 1 and ǫ c1 ≤ c1 for small enough ǫ, we can also deduce an
inequality from below of the form


2 −1
2
(2)
ǫ c1 |V | ≤ Qǫ V, V .

Hence, there exists a constant c1 ≥ 1 such that for t ∈ [0, T ] we have

2
2
(2)
2
c−1
1 ǫ |V (t)| ≤ Qǫ (t)V (t), V (t) ≤ c1 |V (t)| .

(3.23)

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


Z T
Z T d (2)
(2)
d
Q (t)V (t), V (t)
Q (t)V (t), V (t)
dt ǫ
dt ǫ
 dt ≤
 1 dt ≤
1− 1l (2)
(2)
(2)
Qǫ (t)V (t), V (t)
0
0
(Qǫ (t)V (t), V (t) l
Qǫ (t)V (t), V (t)

Z T
(2)
d
1
1
1
Q (t)V (t), V (t)
2
2
(2) l
− 2l
dt ǫ
l −l
l −l
c
kQ
k
.
ǫ
dt
≤
c
≤ c1 ǫ
T
l ([0,T ]) ≤ c3 ǫ
1
1
ǫ

C
2
1− l
(2)
0
|V (t)| l
Qǫ (t)V (t), V (t)

Thus, by the Gronwall lemma and the estimates for the quasi-symmetriser just derived, we obtain
Eǫ (t) ≤ Eǫ (0)ec3 ǫ

−2
l +2βǫT

.

Combining the latter inequality with (3.23) we obtain
2
2
cT (ǫ
c−1
1 ǫ |V (t)| ≤ Eǫ (t) ≤ Eǫ (0)e

−2
l +βǫ)

≤ c1 |V (0)|2 ecT (ǫ
2

l

2

−2
l +βǫ)

.

We choose ǫ such that ǫ− l = βǫ, thus ǫ = β − 2+l and ǫβ = β 2+l . We can assume β is
large enough with a remark for small β similar to Case 2. Setting σ = 1 + 2l , for a
suitable constant K ∈ C it follows that
l

1

|V (t)|2 ≤ Cβ σ eKβ σ |V (0)|2 .
This means that

as required.

1

l
β 2 |v(t)|2 + |v ′ (t)|2 ≤ Cβ σ eKβ σ β 2 |v0 |2 + |v1 |2 ,

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

17

3.4. Case 4: a ∈ C α ([0, T]), with 0 < α < 2, a(t) ≥ 0. In this last case we extend
the proof ofp
Case 2. However, under these assumptions the roots of the matrix A(t),
that are, ± a(t) might coincide, and hence they are Hölder of order α2 instead of
α. In order to adapt this proof to the one for Case 2 we
without loss of
√ will assume
2α
α
generality that a ∈ C ([0, T ]) with 0 < α < 1, so that a ∈ C ([0, T ]).
Following the argument developed for Case 2, we look again for solutions of the
form
1
−1
V (t) = e−ρ(t)β s det H(t) H(t)W (t),

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


1
1
H(t) =
,
λǫ1,α (t) λǫ2,α (t)

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
√
λǫ1,α (t) := (− a ∗ ϕǫ )(t) + ǫα ,
√
λǫ2,α (t) := (+ a ∗ ϕǫ )(t) + 2ǫα .
Arguing as in Case 2, we can easily see that the smooth functions λǫ1 (t) and λǫ2 (t)
satisfy uniformly in t and ǫ the following inequalities
• det H(t) = λǫ2,α (t) − λǫ1,α (t) ≥ c1 ǫα ;
p
• |λǫ1,α (t) + a(t)| ≤ c2 ǫα ;
p
• |λǫ2,α (t) − a(t)| ≤ c3 ǫα .

We now look for the energy estimates. In order to do this, recalling the calculations
done before (3.13) and (3.14), we obtain
  ′
1
d
2
W (t) = 2Re Wt (t), W (t) ≤ 2ρ (t)β s + 2kH −1(t)Ht (t)k+
dt

−1
(3.24)
det Ht (t) + βkH −1AH − (H −1 AH)∗ k |W (t)|2.
+ 2 det H(t)

The same arguments as in Case 2 allow us to get the following bounds
I) kH −1(t)Ht (t)k ≤ k1 ǫ−1 ;
−1
det Ht (t) ≤ k2 ǫ−1 ;
II) det H(t)
III) kH −1AH − (H −1AH)∗ k ≤ k3 ǫα .

Combining (3.24) with I), II) and III) we obtain


1
d
|W (t)|2 ≤ 2ρ′ (t)β s + 2k1 ǫ−1 + 2k2 ǫ−1 + k3 βǫα |W (t)|2 .
dt
1

We choose ǫ−1 = βǫα which yields ǫ = β − α+1 . Thus, setting γ :=
a constant c > 0 the estimate


1
d
|W (t)|2 ≤ 2ρ′ (t)β s + 2cβ γ |W (t)|2.
dt

1
,
α+1

we obtain for

18

M. RUZHANSKY AND C. TARANTO

We take ρ(t) := ρ(0) − Kt with K > 0 to be chosen later. Considering
1
>γ
⇐⇒
s < 1 + α,
s
we get
1
1
d
|W (t)|2 ≤ (−2K + 2cβ γ− s )β s |W (t)|2 ≤ 0,
dt
provided that β is large enough. Similarly to Case 2, we then get
1
−1
−1
|V (t)| ≤ eKtβ s det H(t)
det H(0)kH(t)k kH(0)k |V (0)|.

(3.25)

Since

−1
−1
α
det H(t)
det H(0)kH(t)k kH(0)k
≤ cǫ−α = cβ α+1 ,
the inequality (3.25) becomes
α

which means

1

|V (t)| ≤ cβ α+1 eKtβ s |V (0)|,
1

α
β 2 |v(t)|2 + |v ′ (t)|2 ≤ cβ α+1 eKtβ s β 2 |v0 |2 + |v1 |2 .

Combining this with a remark for small β similar to Case 2 yields the result. Thus
Proposition 3.1 is proved.

4. Proof of Theorem 1.1
In this section we combine the things from Section 2 and Section 3 to prove Theorem
1.1. However, we will need one more ingredient, the Fourier transform on G, that we
now briefly describe.
b By a usual abuse of notation we will identify
Let f ∈ L1 (G) and let π ∈ G.
irreducible unitary representations with their equivalence classes. The group Fourier
transform of f at π is defined by
Z
b
FG f (π) ≡ f (π) ≡ π(f ) :=
f (x)π(x)∗ dx,
G

with integration against the biinvariant Haar measure on G. This gives a linear
mapping fb(π) : Hπ → Hπ that can be represented by an infinite matrix once we
choose a basis for the Hilbert space Hπ . Consequently, we can write

FG Rf (π) = π(R)fb(π).

By Kirillov’s orbit method (see e.g. [14]), one can explicitly construct the Plancherel
b Therefore we can have the Fourier inversion formula. In
measure µ on the dual G.
addition, the operator π(f ) = fb(π) is Hilbert-Schmidt:

kπ(f )k2HS = Tr π(f )π(f )∗ < ∞,

b ∋ π 7→ kπ(f )k2 in integrable with respect to µ. Furthermore,
and the function G
HS
the Plancherel formula holds:
Z
Z
2
|f (x)| dx =
kπ(f )k2HS dµ(π),
(4.1)
G

see e.g. [14] or [19].

b
G

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

19

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
b that is,
transform of (1.1) with respect to x ∈ G for all π ∈ G,
∂t2 u
b(t, π) + a(t)π(R)b
u(t, π) = 0.

(4.2)

2
∂t2 u
b(t, π)m,k + a(t)πm
u
b(t, π)m,k = 0,

(4.3)

Keeping in mind the form (2.4) of the infinitesimal representation π(R) the equation
(4.2) can be seen componentwise as an infinite system of equations of the form

b and any m, k ∈ N. The key point of the
where we are considering any π ∈ G,
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
b(t, π)m,k
we treat each equation given by (4.3) individually. Note that eventually u
is a function only of t. Formally, recalling the notation used in Proposition 3.1, we
write
2
v(t) := u
b(t, π)m,k , β 2 := πm
,
and
v0 := u
b0(π)m,k , v1 := u
b1 (π)m,k .
Therefore, equation (4.3) becomes
v ′′ (t) + a(t)β 2 v(t) = 0.

We proceed discussing implications of Proposition 3.1 separately in each case.
Case 1: a ∈ Lip([0, T]), a(t) ≥ a0 > 0.
Applying Proposition 3.1, we get that there exists a positive constant C > 0 such
that
β 2 |v(t)|2 + |v ′(t)|2 ≤ C(β 2 |v0 |2 + |v1 |2 ),
which is equivalent to

|πm u
b(t, π)m,k |2 + |b
u′ (t, π)m,k |2 ≤ C |πm u
b0 (π)m,k |2 + |b
u1 (π)m,k |2 .
(4.4)

b and m, k ∈ N. We multiply the inequality (4.4) by
This holds uniformly in π ∈ G
4s/ν
πm yielding
2s
2s

1+ 2s
1+ 2s
b(t, π)m,k |2 + |πmν u
b′(t, π)m,k |2 ≤ C |πm ν u
b0 (π)m,k |2 + |πmν u
b1 (π)m,k |2 . (4.5)
|πm ν u
Thus, recalling that for any Hilbert-Schmidt operator A we have
X
kAk2HS =
|(Aϕm , ϕk )|2
m,k

for any orthonormal basis {ϕ1 , ϕ2 , . . . }, we can consider the infinite sum over m, k of
the inequalities provided by (4.5), to get
1

s

s

kπ(R) 2 + ν u
b(t, π)k2HS + kπ(R) ν ∂t u
b(t, π)k2HS ≤
≤ C kπ(R)

1
+s
2 ν

s
ν



(4.6)

u
b0 (π)k2HS + kπ(R) u
b1 (π)k2HS .

b so
We can now integrate both sides of (4.6) against the Plancherel measure µ on G,
that the Plancherel identity yields estimate (1.15).
Case 2: a ∈ C α ([0, T]), with 0 < α < 1, a(t) ≥ a0 > 0.

20

M. RUZHANSKY AND C. TARANTO

The application of Proposition 3.1 implies the existence of two positive constants
b we have
C, K > 0 such that for all m, k ∈ N and for every representation π ∈ G
1
s

b0 (π)m,k |2 + |b
u1(π)m,k |2 ),
|πm u
b(t, π)m,k |2 + |b
u′(t, π)m,k |2 ≤ CeKtπm (|πm u

(4.7)

where

α
.
1−α
s
s
If the Cauchy data (u0 , u1) are in GR
(G) × GR
(G) then there exist two positive
constants A0 and A1 such that
s<1+

1

1

keA0 R 2s u0 kL2 < ∞ and keA1 R 2s u1 kL2 < ∞.
We note that we can restrict to consider πm large enough since the cut-off to bounded
πm produces functions in any Gevrey spaces. Indeed, if a cut-off χ : R → C has a
compact support, then by the same energy estimate, since χ(R) and R commute,
the problem is reduced to the solution χ(R)u(t, x) to the Cauchy problem

2

∂t (χ(R)u(t, x)) + a(t)R(χ(R)u(t, x)) = 0, (t, x) ∈ [0, T ] × G,
(4.8)
χ(R)u(0, x) = χ(R)u0 (x), x ∈ G,

∂ (χ(R)u(0, x)) = χ(R)u (x), x ∈ G,
t
1

with data χ(R)u0 and χ(R)u1 , so it is in any Gevrey class.
Take now A = min{A0 , A1 }, then we can always assume K in Case 2 of Proposition
3.1 is small enough, so that we have some B > 0 such that KT = A − B. Therefore,
we can rewrite inequality (4.7) as
1
1

2s
s
b(t, π)m,k |2 + |b
u′(t, π)m,k |2 ≤ CeAπm (|πm u
b0 (t)m,k |2 + |b
u1 (t)m,k |2 ). (4.9)
eBπm |πm u
b and applying
Summing over m, k, integrating against the Plancherel measure of G
the Plancherel identity, inequality (4.9) becomes
1

1

1

1

1

keBR 2s ukL2 (G) + keBR 2s ∂t ukL2 (G) ≤ keBR 2s R 2 ukL2 (G) + keBR 2s ∂t ukL2 (G) ≤
1

1

1

≤ keBR 2s R 2 u0 kL2 (G) + keBR 2s u1 kL2 (G) .

(4.10)

1

s
s
(G). Therefore, from (4.10)
If a function f belongs to GR
(G), then also R 2 f is in GR
we get the desired well-posedness result.

Case 3 : a ∈ C l ([0, T]), with l ≥ 2, a(t) ≥ 0.
Similarly to the previous cases, the application of Proposition 3.1 yields the existence of two positive constants C, K > 0 such that
l

+2

1
σ

l

1
σ

u0 (π)m,k |2 + Cπmσ eKT πm |b
u1 (π)m,k |2 ≤
|πm u
b(t, π)m,k (t)|2 + |b
u′(t, π)m,k |2 ≤ Cπmσ eKT πm |b
1

s
K ′ πm

≤ Ce

1

2

s
K ′ πm

|b
u0(π)m.k | + Ce

|b
u1 (π)m,k |2 ,

with 1 ≤ s < σ = 1 + 2l , for some K ′ > 0 small enough. Proceeding as in Case 2, we
obtain the desired inequality.
Case 4: a ∈ C α ([0, T]), with 0 < α < 2, a(t) ≥ 0.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

21

In this last case, applying Proposition 3.1 we have that there exist two positive
constants C, K > 0 such that
1

1
s

2
2
|b
u0 (π)m,k |2 + |b
u1 (π)m,k |2 ),
πm
|b
u(t.π)m.k |2 + |b
u′(t, π)m,k |2 ≤ Cπmα+1 eKT πm (πm

with 1 ≤ s < α + 1. Arguing as above, the result follows.



References
[1] R. Beals. Opérateurs invariants hypoelliptiques sur un groupe de Lie nilpotent. Séminaire
Goulaouic-Schwartz 1976/1977: Équations aux dérivées partielles et analyse fonctionnelle, Exp.
No. 19:8pp, 1977.
[2] J.-M. Bony, P. Schapira. Existence et prolongement des solutions holomorphes des équations aux
dérivées partielles. Invent. Math., 17:95–105, 1972.
[3] M. D. Bronšteı̆n. The Cauchy problem for hyperbolic operators with characteristics of variable
multiplicity. Trudy Moskov. Mat. Obshch., 41:83–99, 1980.
[4] M. Cicognani, F. Hirosawa, M. Reissig. The Log-effect for p-evolution type models. J. Math.
Soc. Japan, 60:819–863, 2008.
[5] M. Cicognani, F. Hirosawa, M. Reissig. Loss of regularity for p-evolution type models. J. Math.
Anal. Appl., 347:35–58, 2008.
[6] M. Cicognani, F. Colombini. The Cauchy problem for p-evolution equations, Trans. Amer. Math.
Soc., 362:4853–4869, 2010.
[7] F. Colombini, E. De Giorgi, S. Spagnolo. Sur les équations hyperboliques avec des coefficients
qui ne dépendent que du temps, Ann. Scuola Norm. Sup. Pisa Cl. Sci., 6:511–559, 1979.
[8] F. Colombini, E. Jannelli, S. Spagnolo. Nonuniqueness in hyperbolic Cauchy problems. Ann. of
Math. (2), 126(3):495–524, 1987.
[9] F. Colombini, T. Kinoshita. On the Gevrey well-posedness of the Cauchy problem for weakly
hyperbolic equations of higher order, J. Differential Equations, 186:394–419, 2002.
[10] F. Colombini, N. Lerner. Hyperbolic operators with non-Lipschitz coefficients. Duke Math. J.,
77:657–698, 1995.
[11] F. Colombini, G. Métivier. The Cauchy problem for wave equations with non Lipschitz coefficients; application to continuation of solutions of some nonlinear wave equations. Ann. Sci. Éc.
Norm. Supér., (4) 41:177–220, 2008.
[12] F. Colombini, G. Métivier. Counterexamples to the well posedness of the Cauchy problem for
hyperbolic systems. Anal. PDE, 8:499–511, 2015.
[13] F. Colombini, S. Spagnolo. An example of a weakly hyperbolic Cauchy problem not well posed
in C ∞ , Acta Math., 148:243–253, 1982.
[14] L. J. Corwin, F. P. Greenleaf. Representations of nilpotent Lie groups and their applications,
Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 18
(1990). Basic theory and examples.
[15] P. D’Ancona, S. Spagnolo. Quasi-symmetrization of hyperbolic systems and propagation of the
analytic regularity, Bollettino della Unione Matematica Italiana, 1 B:169–186, 1998.
[16] D. Dasgupta, M. Ruzhansky. Gevrey functions and ultradistributions on compact Lie groups
and homogeneous spaces, Bull. Sci. Math., 756–782, 2014.
[17] D. Dasgupta, M. Ruzhansky. Eigenfunction expansions of ultradifferentiable functions and ultradistributions, Trans. Amer. Math. Soc., 368:8481–8498, 2016.
[18] V. Fischer, M. Ruzhansky. Sobolev spaces on graded groups. to appear in Ann. Inst. Fourier,
https://arxiv.org/abs/1311.0192, 2013.
[19] V. Fischer, M. Ruzhansky. Quantization on nilpotent Lie groups, Progress in Mathematics, vol.
314, Birkhäuser, 2016. (open access book)
[20] V. Fischer, M. Ruzhansky, C. Taranto. On the sub-Laplacian Gevrey spaces, preprint.
[21] G. B. Folland. Subelliptic estimates and function spaces on nilpotent Lie groups. Ark. Mat.,
13(2):161–207, 1975.

22

M. RUZHANSKY AND C. TARANTO

[22] G. B. Folland. Harmonic Analysis in Phase Space, Princeton, Princeton University Press, 2nd
ed., 1989.
[23] G. B. Folland, E. M. Stein. Estimates for the ∂b complex and analysis on the Heisenberg group.
Comm. Pure Appl. Math., 27:429–522, 1974.
[24] G. B. Folland, E. M. Stein. Hardy spaces on homogeneous groups, volume 28 of Mathematical
Notes. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1982.
[25] C. Garetto, M. Ruzhansky. On the well-posedness of weakly hyperbolic equations with timedependent coefficients, J. Differential Equations, 253:1317–1340, 2012.
[26] C. Garetto, M. Ruzhansky. Weakly hyperbolic equations with non-analytic coefficients and
lower order terms, Math. Ann., 357:401–440, 2013.
[27] C. Garetto, M. Ruzhansky. Wave equation for sum of squares on compact Lie groups, J. Differential Equations, 258:4324–4347, 2015.
[28] C. Garetto, M. Ruzhansky. Hyperbolic second order equations with non-regular time dependent
coefficients. Arch. Rational Mech. Anal., 217:113–154, 2015.
[29] B. Helffer, J. Nourrigat. Caracterisation des opérateurs hypoelliptiques homogènes invariants à
gauche sur un groupe de Lie nilpotent gradué. Comm. Partial Differential Equations, 4(8):899–
958, 1979.
[30] S. Helgason. Wave equations on homogeneous spaces. In Lie group representations, III (College
Park, Md., 1982/1983), volume 1077 of Lecture Notes in Math., pages 254–287. Springer, Berlin,
1984.
[31] L. Hörmander. Hypoelliptic second order differential equations, Acta Math., 119:147–171, 1967.
[32] A. Hulanicki, J. W. Jenkins, J. Ludwig. Minimum eigenvalues for positive, Rockland operators,
Proc. Amer. Math. Soc., 94:718–720, 1985.
[33] T. Kinoshita, S. Spagnolo. Hyperbolic equations with non-analytic coefficients, Math. Ann.,
336:551–569, 2006.
[34] R. Melrose. Propagation for the wave group of a positive subelliptic second-order differential
operator. In Hyperbolic equations and related topics (Katata/Kyoto, 1984), pages 181–192. Academic Press, Boston, MA, 1986.
[35] K. G. Miller. Parametrices for hypoelliptic operators on step two nilpotent Lie groups. Comm.
Partial Differential Equations, 5(11):1153–1184, 1980.
[36] D. Müller, E. M. Stein. Lp -estimates for the wave equation on the Heisenberg group. Rev. Mat.
Iberoamericana, 15(2):297–334, 1999.
[37] A. I. Nachman. The wave equation on the Heisenberg group. Comm. Partial Differential Equations, 7(6):675–714, 1982.
[38] T. Nishitani. Sur les équations hyperboliques à coefficients höldériens en t et de classe de Gevrey
en x. Bull. Sci. Math. (2), 107(2):113–138, 1983.
[39] M. Reed, B. Simon. Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis,
revised and enlarged edition, Academic Press, 1980.
[40] C. Rockland. Hypoellipticity on the Heisenberg group-representation-theoretic criteria. Trans.
Amer. Math. Soc., 240:1–52, 1978.
[41] L. P. Rothschild, E. M. Stein. Hypoelliptic differential operators and nilpotent groups. Acta
Math., 137(3-4):247–320, 1976.
[42] M. Ruzhansky, N. Tokmagambetov. Wave equation for operators with discrete spectrum and irregular propagation speed. to appear in Arch. Rational Mech. Anal.
https://arxiv.org/abs/1705.01418
[43] M. Ruzhansky, V. Turunen. Pseudo-Differential Operators and Symmetries: Background Analysis and Advanced Topics, Basel, Birkhäuser, 2009.
[44] M. E. Taylor. Noncommutative harmonic analysis, volume 22 of Mathematical Surveys and
Monographs, American Mathematical Society, 1986.
[45] A. F. M. ter Elst, D. W. Robinson. Spectral estimates for positive Rockland operators. In
Algebraic groups and Lie groups, volume 9 of Austral. Math. Soc. Lect. Ser., pages 195–213.
Cambridge Univ. Press, Cambridge, 1997.
[46] S. Thangavelu. Harmonic analysis on the Heisenberg group, Boston, Birkhäuser, 1998.

TIME-DEPENDENT WAVE EQUATIONS ON GRADED GROUPS

Michael Ruzhansky:
Department of Mathematics
Imperial College London
180 Queen’s Gate, London SW7 2AZ
United Kingdom
E-mail address m.ruzhansky@imperial.ac.uk
Chiara Taranto:
Department of Mathematics
Imperial College London
180 Queen’s Gate, London SW7 2AZ
United Kingdom
E-mail address c.taranto13@imperial.ac.uk

23

