![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
In this paper we consider a fractional wave equation for hypoelliptic operators with a singular mass term depending on the spacial variable and prove that it has a very weak solution. Such analysis can be conveniently realised in the setting of graded Lie groups. The uniqueness of the very weak solution, and the consistency with the classical solution are also proved, under suitable considerations. This extends and improves the results obtained in the first part [Altybay et al. Fractional Klein-Gordon equation with singular mass. Chaos Solitons Fractals. 2021;143:Article ID 110579] which was devoted to the classical Euclidean Klein-Gordon equation.
1. Introduction
The aim of this paper is to contribute to the study of the Klein-Gordon equation for positive (left) Rockland operator (left-invariant hypoelliptic partial differential operator which is homogeneous of positive degree ν) on a general graded Lie group
, with a possibly singular mass term depending on the spacial variable; that is for T>0, and for s>0 we consider the Cauchy problem
(1)
(1)
where m is a non-negative and possibly singular function/distribution.
The setting of Rockland operators on graded Lie groups allows one to consider both elliptic and subelliptic settings in (Equation1(1)
(1) ). The simplest example is that of the standard Klein-Gordon equation, when we take
to be the Euclidean space, and
to be the Laplacian on
. However, already on
, the setting of (Equation1
(1)
(1) ) allows one to consider more general evolutions, for example, taking
for any integer m. Such operators are also Rockland operators on
, as we explain in the next section. However, the general setting of (Equation1
(1)
(1) ) allows one to also consider hypoelliptic operators. The simplest example would be
being the Heisenberg group, and
the positive sub-Laplacian on it. More generally, if
is any stratified group (or a homogeneous Carnot group), and
are the generators of its Lie algebra (satisfying the Hörmander condition), we can consider
for any integer m, where we understand
also as the derivative with respect to the vector field
.
The main feature of (Equation1(1)
(1) ) is that we will not assume any regularity on the mass coefficient m. Especially, we are interested in irregular m, for example being δ-distribution, or even
, if understood appropriately in the sense of multiplication of distributions. We note that in this situation the usual notion of weak solutions is not applicable to (Equation1
(1)
(1) ) in view of the Schwartz impossibility result [Citation1] on the multiplication of distributions.
Thus, in this paper we work with the concept of very weak solutions. More specifically, we will show its applicability to the Cauchy problem (Equation1(1)
(1) ) for the Klein-Gordon equation for the Rockland operator
on the graded Lie group
with a singular mass depending on the spacial variable. This concept was introduced in [Citation2] to deal with the Schwartz impossibility result about multiplication of distributions [Citation1], in the context of wave type equations with singular coefficients. Later, this analysis was applied to other hyperbolic type equations with singular coefficients [Citation3–6]. The wave type equations with time-dependent coefficients on graded Lie groups were analysed in [Citation7] for Hölder coefficients, and in [Citation8] for distributional time-dependent coefficients, using the notion of very weak solutions. All these works deal with the time-dependent equations and in the recent papers [Citation9–12], the authors start to develop the notion of very weak solutions for equations with (irregular) space-depending coefficients.
The present paper is the extension and improvement of the results obtained in the first part [Citation9] which was devoted to the classical Klein-Gordon equation. In fact, the setting of [Citation9] was the Equation (Equation1(1)
(1) ) for
and
being the positive Laplacian on the Euclidean space. Consequently, the results here contain the results of [Citation9] as a special case, and we also use this chance to slightly correct the consistency statement given in that paper, see Remark 5.3, as well as a clarifying Remark 4.7.
2. Preliminaries
Let us briefly recall some basic concepts, terminology and notation on graded Lie groups that will be useful for the ideas we develop throughout this paper. For a more detailed exposition we refer to Folland and Stein [Chapter 1 in [Citation13]], or, to the more recent open access book, by Fischer and the second author [Chapter 3 in [Citation14]].
Let be a nilpotent Lie group, and let
be its Lie algebra. Its lower series is the descending sequence
of ideals defined inductively by
,
, for i>1. If
admits a gradation of vector spaces as
, where all, but finitely many
's are equal to
, and is such that
, for all i, j, then
is a graded Lie group. Graded Lie groups are naturally homogeneous Lie groups; that is
is equipped with a one-parameter family
of automorphisms of
of the form
, with A being a diagonalisable linear operator on
with positive eigenvalues. Such automorphisms shall be called dilations.
We have the following nested subclasses of Lie groups:
The cases of the Heisenberg, Engel and Cartan groups, are examples of graded Lie groups whose associated representation theory is well-understood in the sense that there exists a complete and explicit classification of the unitary, irreducible representations on them; see e.g. [Citation15,Citation16], as well as the analysis in [Citation17,Citation18]. For graded Lie algebras
of dimension n, the canonical family of dilations, is the one dictated by the gradation of
, and is given by
(2)
(2)
where
,
and
's are the same for all vectors
. These
's are called the dilations' weights.
In the case of graded Lie groups, or more generally in the case of nilpotent Lie groups, the exponential map (on the group) is a diffeomorphism from onto
, under the group law that has been defined accordingly to the structure of
due to the Baker-Campbell-Hausdorff formula; see, e.g. [Citation19]. More generally, this identification allows for the transmission of ideas from the infinitesimal level of the Lie algebra
to the level of the group
. Additionally, when
is homogeneous, then, the dilations can be transported to the group side, while the Lebesgue measure
on
is the bi-invariant Haar measure on
, and the number Q that satisfies
, that is the sum of the eigenvalues of the matrix A, shall be called the homogeneous dimension of
.
On the other hand, any element of the unitary dual of
, with π acting on some separable Hilbert space
, gives rise to the representation
on the space of smooth vectors
on the infinitesimal level; that is we can define
The above definition, due to the Poincaré-Birkhoff-Witt Theorem (see, e.g. [Citation20], see also a discussion in [Citation14]), that identifies that space of left-invariant operators in
with the universal enveloping Lie algebra
, can be extended to any
, i.e. we can write
; or, with an abuse of notation,
.
A remarkable class among left-invariant operators, that generalises the notion of the sub-Laplacian on the bigger class of graded groups, is that of Rockland operators, which are usually denoted by . The latter is a class of operators that are hypoelliptic on
[Citation21], and homogeneous of a certain positive degree. So, by Rockland operators we understand the homogeneous left-invariant hypoelliptic differential operators on
. For additional characterisations of the Rockland operators, we refer to [Citation22–24], as well as to a presentation in [Citation14].
We recall that and
, are densely defined on their domains
, and
, respectively (cf. [Proposition 4.1.15 in [Citation14]]. The latter implies that the positivity of
, as required for our purposes, amounts to the condition
We remark that, for a positive Rockland operator
, the spectrum of the operator
, with
, is discrete [Citation25], which allows us to choose an orthonormal basis for
such that the self-adjoint operator
can be identified with the infinite dimensional matrix with diagonal elements
, with
.
Let us now recall that the group Fourier transform of a function at
is the bounded operator
(often denoted by
) on
given by
If
, then
is a Hilbert-Schmidt operator, and we have the following isometry, known as the Plancherel formula
(3)
(3)
where μ stands for the Plancherel measure on
. For a detailed exposition of the Plancherel Theorem and the relevant theory, we refer to [Citation19,Citation26], or to [Section 1.8, Appendix B.2 in [Citation14]].
Finally, since the action of a Rockland operator is involved in our analysis, let us make a brief overview of some related properties.
Definition 2.1
Homogeneous Sobolev spaces
For s>0, p>1, and a positive homogeneous Rockland operator of degree ν, we define the
-Sobolev spaces as the space of tempered distributions
obtained by the completion of
for the norm
where
is the maximal restriction of
to
.Footnote1
Let us mention that, the above -Sobolev spaces do not depend on the specific choice of
, in the sense that, different choices of the latter produce equivalent norms, see [Proposition 4.4.20 in [Citation14]].
In the scale of these Sobolev spaces, we recall the next proposition as in [Proposition 4.4.13 in [Citation14]].
Proposition 2.2
Sobolev embeddings
For and for
such that
we have the continuous inclusions
that is, for every
, we have
, and there exists some positive constant
(independent of f) such that
(4)
(4)
In the sequel we will make use of the following notation:
Notation 2.3
When we write
, we will mean that there exists some constant c>0 (independent of any involved parameter) such that
;
if
is some multi-index, then we denote by
its homogeneous length, where the
's stand for the dilations' weights as in (Equation2
(2)
(2) ), and by
the length of it;
for suitable
we have introduced the following norm
when regulisations of functions/distributions on
are considered, they must be regarded as arising via convolution with Friedrichs-mollifiers; that is, ψ is a Friedrichs-mollifier, if it is a compactly supported smooth function with
. Then the regularising net is defined as
(5)
(5) where Q is the homogeneous dimension of
.
3. Estimates for the classical solution
Here and thereafter, we consider a fixed power s>0 of a fixed, positive (in the operator sense) Rockland operator that is assumed to be of homogeneous degree ν. Moreover, the coefficient m in (Equation1
(1)
(1) ) will be regarded to be non-negative on
.
The next two propositions prove the existence and uniqueness of the classical solution to the Cauchy problem (Equation1(1)
(1) ), in the cases where the coefficient m is such that
or
, where, in the second case, we must additionally require
.
Proposition 3.1
Let ,
, and suppose that
. Then, there exists a unique solution
to the Cauchy problem (Equation1
(1)
(1) ), that satisfies the estimate
(6)
(6)
uniformly in
.
Proof.
Multiplying the Equation (Equation1(1)
(1) ) by
and integrating over
, we get
(7)
(7)
for all
. It is easy to check that
and
Denoting by
the energy functional estimate of the system (Equation1
(1)
(1) ), the Equation (Equation7
(7)
(7) ) implies that
, and consequently also that
, for all
. By taking into consideration the estimate
(8)
(8)
by the above, it follows that each positive term that
consists of, is bounded itself. That is, we have that
(9)
(9)
while also that
(10)
(10)
uniformly in
, where we use
Observe that, to prove (Equation6
(6)
(6) ), it remains to show the desired estimate for the norm
. To this end, we first apply the group Fourier transform to (Equation1
(1)
(1) ) with respect to
and for all
, and we get
(11)
(11)
where
denotes the group Fourier transform of the function
. Taking into account the matrix representation of
, we rewrite the matrix equation (Equation11
(11)
(11) ) componentwise as the infinite system of equations of the form
(12)
(12)
with initial conditions
and
, for all
and for any
, where now
can be regarded as the source term of the second order differential equation as in (Equation12
(12)
(12) ).
Now, let us decouple the matrix equation in (Equation12(12)
(12) ) by fixing
, and treat each of the equations represented in (Equation12
(12)
(12) ) individually. If we denote by
and
then (Equation12
(12)
(12) ) becomes
(13)
(13)
with
By solving first the homogeneous version of (Equation13
(13)
(13) ), and then by applying Duhamel's principle (see e.g. [Citation27]), we get the following representation of the solution of (Equation13
(13)
(13) )
(14)
(14)
Assuming without loss of generality that
, and using the estimates
and
for large values of the quantities
, while for small values of them, the estimates
inequality (Equation14
(14)
(14) ) yields
where we have applied the Cauchy-Schwarz inequality. Now the last estimate, if substituting back our initial functions in t, gives
where the latter holds uniformly in
and for each
. Recall that for any Hilbert-Schmidt operator A, one has
for any orthonormal basis
, summing the above over k, l we get
Next we integrate the last inequality with respect to the Plancherel measure μ on
, so that using the Plancherel identity (Equation3
(3)
(3) ), we obtain
(15)
(15)
and if we use Lebesgue's dominated convergence theorem, Fubini's theorem and the Plancherel formula we have
(16)
(16)
Now, by (Equation9
(9)
(9) ), and the formula of f we have
(17)
(17)
Combining the inequalities (Equation15
(15)
(15) ), (Equation16
(16)
(16) ) and (Equation17
(17)
(17) ) we get
(18)
(18)
uniformly in
. The claim (Equation6
(6)
(6) ) now follows by (Equation10
(10)
(10) ) and (Equation18
(18)
(18) ). Finally, the uniqueness of u is an immediate consequence of (Equation6
(6)
(6) ), and the proof is complete.
Proposition 3.2
Assume that , and let
,
. If we suppose that
then there exists a unique solution
to the Cauchy problem (Equation1
(1)
(1) ) satisfying the estimate
(19)
(19)
uniformly in
.
Proof.
Proceeding as in the proof of Proposition 3.1, we have
(20)
(20)
where the energy estimate E is given by
Now, applying Hölder's inequality, we get
(21)
(21)
where
, and
conjugate exponents, to be chosen later. Observe that if we apply (Equation4
(4)
(4) ) for
,
, a = 0, and
, then
, and we have
(22)
(22)
Choosing
in (Equation21
(21)
(21) ) so that
, we get
, so that
(23)
(23)
and by (Equation20
(20)
(20) ) we can estimate
(24)
(24)
uniformly in
. Additionally, (Equation20
(20)
(20) ), under the estimate (Equation24
(24)
(24) ), implies
(25)
(25)
To show our claim (Equation19
(19)
(19) ), it suffices to show the desired estimate for the solution norm
. First we observe that by the Sobolev embeddings (Equation4
(4)
(4) ) and Hölder's inequality, using (Equation23
(23)
(23) ) with m instead of
, and
, one obtains
where the last combined with (Equation25
(25)
(25) ) yields
(26)
(26)
Finally, using arguments similar to those we developed in Proposition 3.1, together with the estimate (Equation26
(26)
(26) ) we get
uniformly in
. The uniqueness of u is immediate by the estimate (Equation19
(19)
(19) ), and this finishes the proof of Proposition 3.2.
4. Existence and uniqueness of the very weak solution
Here, we consider the case where the mass-term in (Equation1(1)
(1) ) satisfies some moderateness properties. The latter is satisfied in cases where, for instance, m has strong singularities, namely when
or
. This follows by Proposition 4.8 for δ, while we can understand
as an approximating family or in the Colombeau sense.
Definition 4.1
Moderateness
Let X be a normed space of functions on
. A net of functions
is said to be X-moderate if there exists
such that
uniformly in
.
A net of functions
in
is said to be
-moderate, or for brevity,
-moderate, if there exists
such that
uniformly in
.
Definition 4.2
Negligibility
Let Y be a normed space of functions on . Let
,
be two nets. Then, the net
is called Y-negligible, if the following condition is satisfied
(27)
(27)
for all
,
. In the case where
is a function also depending on
, then the negligibility condition (Equation27
(27)
(27) ) can be regarded as
uniformly in
. The constant in the inequality (Equation27
(27)
(27) ) can depend on k but not on ϵ.
In Definitions 4.3 and 4.6, we introduce the notion of the unique very weak solution to the Cauchy problem (Equation1(1)
(1) ). Our definitions are similar to the one introduced in [Citation2], but here we measure moderateness and negligibility in terms of
or
-seminorms rather than in terms of Gevrey-seminorms.
Definition 4.3
Very weak solution
Let . Then, if there exists a non-negative
-moderate (or a
-moderate, if we require to have
) approximating net
,
, to m, so that the family
which solves the ϵ-parametrised problem
(28)
(28)
for all
, is
-moderate, then net
is said to be a very weak solution to the Cauchy problem (Equation1
(1)
(1) ).
Remark 4.4
In Definition 4.3 above we ask for to approximate m, to allow for more flexibility. This should be understood as follows. If
is a distribution, we can understand it as a regularisation, namely, the assumption in Definition 4.3 is that there is a Friedrichs mollifier
such that
However, the word approximation allows for more flexibility, for example, we can in principle generate an approximating family with a net
such that the one we will discuss in (Equation31
(31)
(31) ). Moreover, this context allows us to start with m being more singular than a distribution: for example, if
we can think of an approximating family
. See also Remark 4.7 for a continuation of this discussion.
We now formulate the very weak existence result, corresponding to two possibilities of regularising with families with different properties, corresponding to the existence results in Propositions 3.1 and 3.2.
Theorem 4.5
Let . Then the Cauchy problem (Equation1
(1)
(1) ) has a very weak solution.
Proof.
Let be as in the hypothesis. If
is
-moderate (or
-moderate), then, since
, by using (Equation6
(6)
(6) ) (or (Equation19
(19)
(19) ), respectively) we get
for all
and for any
. This means that the family of solutions
is
-moderate, and completes the proof of Theorem 4.5.
The uniqueness of the very weak solution to the Cauchy problem (Equation1(1)
(1) ) can be understood as if a negligible change of the net
does not affect the asymptotic behaviour of the family of the very weak solutions. In other words, negligible changes of the approximation
of m lead to negligible changes in the solution family
, with an appropriate choices of norms to understand the negligibility. Formally, we have the following definition.
Definition 4.6
Let X and Y be normed spaces of functions on . We say that the Cauchy problem (Equation1
(1)
(1) ) has an
-unique very weak solution, if for all X-moderate nets
such that
is Y-negligible, it follows that
uniformly in
, and for all
, where
and
are the families of solutions corresponding to the ϵ-parametrised problems
(29)
(29)
and
(30)
(30)
respectively.
Remark 4.7
We note that in Definition 3 in the previous paper [Citation9], the word ‘regularisation’ needs to be understood, in general, as an approximation not necessarily depending on the classical convolution and specific mollifiers. In this case, our definition of the uniqueness of the very weak solutions here includes also the version in Definition 3 in [Citation9], but Definition 4.6 makes it more rigorous. To clarify this further, we can take, for example, to be a regularisation of m by a convolution (if m is a distribution), and take
(31)
(31)
Then the net
is
-negligible, and so it is suitable to be used in Definition 4.6. If
, we can take
for a Friedrichs mollifier ψ, and still, for example,
as in (Equation31
(31)
(31) ). We also note that Definition 4.6 can be also interpreted as stability. In fact, in Definition 4.6 we do not assume
to approximate m since we can prove the required property without this assumption (as in Theorems 4.9 and 4.10). This allows for our results to be applicable to cases like
, since with this approach we do not need to explain in which sense
approximates
.
We now give some clarification of the moderateness assumption of the regularisations (or approximations). Let us underline that, the global structure of -distributions, implies that the assumption on the
-moderateness, for
, is natural for nets that arise as regularisations of a compactly supported distribution in
via convolutions with a mollifier as in (Equation5
(5)
(5) ).
Proposition 4.8
Let , and let
be obtained as the convolution of v with a mollifier
as in (Equation5
(5)
(5) ). Then the regularising net
is
-moderate for any
.
Proof.
Recall, that for we can find
and compactly supported continuous functions
such that
where
denoted the length of the multi-index β. Considering the convolution of v with a mollifier
as in (Equation5
(5)
(5) ) yields
where each term in the above sum can be rewritten as
where
stands for the homogeneous length of β.
Finally, since are compactly supported, we get
, for all p, and this finishes the proof of Proposition 4.8.
We note that thanks to Proposition 4.8 the assumption of Theorem 4.5 can be relaxed to . The following theorems show the uniqueness of the very weak solution to the Cauchy problem (Equation1
(1)
(1) ) under different assumptions on the nets
.
Theorem 4.9
Suppose that . Then the very weak solution to the Cauchy problem (Equation1
(1)
(1) ) is
-unique.
Proof.
Let and
be the families of solutions corresponding to the Cauchy problems (Equation29
(29)
(29) ) and (Equation30
(30)
(30) ), respectively. If we denote by
, then
satisfies
(32)
(32)
where
.
The solution of the Cauchy problem (Equation32(32)
(32) ) can be expressed in terms of the solution to the corresponding homogeneous Cauchy problem using Duhamel's principle. Indeed, if for a fixed σ,
is the solution of the homogeneous problem
(33)
(33)
then
is given by
.
Since by Minkowski's integral inequality we know
using the energy estimate (Equation6
(6)
(6) ) to control
-norm of the solution
to the homogeneous problem (Equation33
(33)
(33) ), and subsequently of
, we get
where we use the estimate
Now, using the fact that
is
-moderate, while also that the net
, as being a very weak solution to the Cauchy problem (Equation29
(29)
(29) ), is
-moderate and that
is
-negligible, we get that
for some
, and for all
,
. That is, we have
for all
, and the last shows that the net
is the unique very weak solution to the Cauchy problem (Equation1
(1)
(1) ).
Alternative to Theorem 4.9 conditions on the nets that guarantee the very weakly well-posedness of (Equation1
(1)
(1) ) are given in the following theorem.
Theorem 4.10
Let , and suppose that
. Then the very weak solution to the Cauchy problem (Equation1
(1)
(1) ) is
-unique. Moreover, the very weak solution to the Cauchy problem (Equation1
(1)
(1) ) is also
-unique and
-unique.
Proof.
We will only prove the -uniqueness as the other two uniqueness statements are similar. Proceeding as we did in the proof of Theorem 4.9, we arrive at
for all
. Additionally, by applying Hölder's inequality, together with the Sobolev embeddings (Equation4
(4)
(4) ), we have
where since
, as being the very weak solution corresponding to the
-moderate net
, is
-moderate, we have
Summarising the above, and since
we obtain
uniformly in t, and this finishes the proof of Theorem 4.10.
5. Consistency of the very weak solution with the classical one
The next theorems stress the conditions, on the coefficient m and on the initial data , under which, the classical solution to the Cauchy problem (Equation1
(1)
(1) ) can be recaptured by its very weak solution. In the statements below, we understand the classical solutions as those given by Proposition 3.1 or Proposition 3.2, depending on the assumptions. By the ‘regularisations’
below we understand the convolution with non-negative Friedrichs mollifiers
.
Theorem 5.1
Let . Consider the Cauchy problem (Equation1
(1)
(1) ), and let
. Assume also that
,
, and that
, is a regularisation of the coefficient m. Then the regularised net
converges, as
, in
to the classical solution u given by Proposition 3.2.
Proof.
Let u be the classical solution of (Equation1(1)
(1) ) given by Proposition 3.2, and let
be the very weak solution of the regularised analogue of it as in (Equation28
(28)
(28) ). Then, we get
where
, and
. If we denote by
the difference
, the above can be rewritten equivalently as
(34)
(34)
Therefore, if we denote by
the solution to the corresponding homogeneous problem with the initial data at
then by Proposition 3.2 we get
uniformly in
and
, where we apply Hölder's inequality and the Sobolev embeddings (Equation4
(4)
(4) ). Since
, we have
, so that taking the limit of the above as
, we get
(35)
(35)
uniformly in
and
. Now, Duhamel's principle allows us to express the solution to the inhomogeneous problem with respect to the homogeneous one as
(36)
(36)
so that, by (Equation35
(35)
(35) ), (Equation36
(36)
(36) ), and Minkowski's integral inequality
we obtain
This means that
with respect to
-norm, and this finishes the proof of Theorem 5.1.
In the following theorem we denote by the space of continuous functions on
vanishing at infinity, that is, such that for every
there exists a compact set K outside of which we have
. We also denote by
the space of simple and compactly supported functions on
. Both
and
, if endowed with the norm
, are Banach spaces.
Theorem 5.2
Consider the Cauchy problem (Equation1(1)
(1) ), and let
. Assume also that
,
, and that
,
, is a regularisation of the coefficient m. Then the regularised net
converges, as
, in
to the classical solution u given by Proposition 3.1.
Before giving the proof of Theorem 5.2, let us make the following observation: If , then
, uniformly in
.
Proof
Proof of Theorem 5.2.
First observe that for m, as in the hypothesis, we have
for each
. Now, as in (Equation34
(34)
(34) ), if we denote by
the solution to the problem
where
, then by Proposition 3.1 we obtain
uniformly in
and
. Now, by Lemmas 3.1.58 and 3.1.59 in [Citation14] we have
so that by the above we get
(37)
(37)
uniformly in
and
. Finally, by Duhamel's principle if
is the solution to the non-homogeneous problem (Equation34
(34)
(34) ), then by (Equation37
(37)
(37) ) we get
and this completes the proof of Theorem 5.2.
Remark 5.3
We note that in Theorem 4 in the paper [Citation9], one wrote the assumption that in the consistency result. This may be not sufficient in general. Indeed, to be more accurate, it is better to ask m to be in the subspace
of
. In this way we obtain a correction to the statement of Theorem 4 in [Citation9] as a special case of Theorem 5.2 with
and
being the positive Laplacian
.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Additional information
Funding
Notes
1 When p = 2, we will write for the self-adjoint extension of
on
.
References
- Schwartz L. Sur l'impossibilite de la multiplication des distributions. C R Acad Sci Paris. 1954;239:847–848.
- Garetto C, Ruzhansky M. Hyperbolic second order equations with non-regular time dependent coefficients. Arch Ration Mech Anal. 2015;217:113–154.
- Altybay A, Ruzhansky M, Tokmagambetov N. Wave equation with distributional propagation speed and mass term: numerical simulations. Appl Math E-Notes. 2019;19:552–562.
- Munoz JC, Ruzhansky M, Tokmagambetov N. Wave propagation with irregular dissipation and applications to acoustic problems and shallow water. J Math Pures Appl. 2019;123:127–147.
- Ruzhansky M, Tokmagambetov N. Very weak solutions of wave equation for Landau Hamiltonian with irregular electromagnetic field. Lett Math Phys. 2017;107:591–618.
- Ruzhansky M, Tokmagambetov N. Wave equation for operators with discrete spectrum and irregular propagation speed. Arch Ration Mech Anal. 2017;226:1161–1207.
- Ruzhansky M, Taranto C. Time-dependent wave equations on graded groups. Acta Appl Math. 2021;171:Article ID 21. 24pp.
- Ruzhansky M, Yessirkegenov N. Very weak solutions to hypoelliptic wave equations. J Differ Equ. 2020;268:2063–2088.
- Altybay A, Ruzhansky M, Sebih ME, et al. Fractional Klein-Gordon equation with singular mass. Chaos Solitons Fractals. 2021;143:Article ID 110579.
- Altybay A, Ruzhansky M, Sebih ME, et al. Fractional Schrödinger equations with singular potentials of higher-order. Rep Math Phys. 2021;87:129–144.
- Altybay A, Ruzhansky M, Sebih ME, et al. The heat equation with strongly singular potentials. Appl Math Comput. 2021;399:Article ID 126006.
- Garetto C. On the wave equation with multiplicities and space-dependent irregular coefficients. Trans Amer Math Soc. 2020. To appear. arXiv:2004.09657.
- Folland GB, Stein EM. Hardy spaces on homogeneous groups. Princeton (NJ)/Tokyo: Princeton University Press/University of Tokyo Press; 1982. (Mathematical notes; vol. 28).
- Fischer V, Ruzhansky M. Quantizations on Nilpotent Lie groups. Birkhäuser/Springer; 2016. (Progress in mathematics; vol. 314).
- Dixmier J. Sur les représentations unitaires des groupes de Lie nilpotents. Canad J Math. 1957;10:321–348.
- Taylor ME. Noncommutative microlocal analysis. I. Vol. 52. Mem. Math. Soc.; 1984.
- Chatzakou M. On (λ,μ)-classes on the Engel group. In: Georgiev V, Ozawa T, Ruzhansky M, Wirth J, editors. Advances in harmonic analysis and partial differential equations. Birkhauser/Springer; 2020. p. 37–49. (Trends math.).
- Chatzakou M. Quantizations on the Engel and the Cartan groups. J Lie Theory. 2021;31:517–542.
- Corwin LJ, Greenleaf FP. Representations of nilpotent Lie groups and their applications. Part I: basic theory and examples. Cambridge: Cambridge University Press; 1990. (Cambridge studies in advanced mathematics; vol. 18).
- Birkhoff G. Representability of Lie algebras and Lie groups by matrices. Ann Math. 1937;38:526–532.
- Helffer B, Nourrigat J. Caracterisation des opérateurs hypoelliptiques homogénes invariants á gauche sur un groupe de Lie nilpotent gradué. Comm Partial Differ Equ. 1979;4:899–958.
- Beals R. Opérateurs invariants hypoelliptiques sur un groupe de Lie nilpotent. In: Séminarie Goulaouic-Schwartz 1976/1977: Équations aux dérivées partielles at analyse fonctionnelle, Exp. No. 19; 1977. p. 8.
- Rockland C. Hypoellipticity on the Heisenberg group-representation-theoretic criteria. Trans Amer Math Soc. 1978;240:1–52.
- ter Elst AFM, Robinson M. Spectral estimates for positive Rockland operators. In: Algebraic groups and Lie groups. Cambridge: Cambridge Univ. Press; 1997. p. 195–213. (Austral. math. soc. lect. ser.; vol. 9).
- Hulanicki A, Jenkins JW, Ludwig J. Minimum eigenvalues for positive, Rockland operators. Proc Amer Math Soc. 1985;94:718–720.
- Dixmier J.
-algebras. Translated from French by Francis Jellet. Vol. 15. North-Holland Mathematical Library; 1977.
- Evans LC. Partial Differential Equations. American Mathematical Society; 1998.