Abstract
In this paper we introduce the notion of complex isoparametric functions on Riemannian manifolds. These are then employed to devise a general method for constructing proper r-harmonic functions. We then apply this to construct the first known explicit proper r-harmonic functions on the Lie group semidirect products \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\), where \(\mathrm {H}^{2n+1}\) denotes the classical \((2n+1)\)-dimensional Heisenberg group. In particular, we construct such examples on all the simply connected irreducible four-dimensional Lie groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Biharmonic functions are important in physics. Aside from continuum mechanics and elasticity theory, the biharmonic equation also makes an appearance in two-dimensional hydrodynamics problems involving Stokes flows of incompressible Newtonian fluids. A comprehensive review of this fascinating history of biharmonic functions can be found in the article [11].
On this subject, the literature is vast. With only very few exceptions, the domains are either surfaces or open subsets of flat Euclidean space, see, for example, [2]. The development of the very last years has changed this and can be traced, e.g., in the following publications: [4,5,6,7,8,9,10]. There the authors develop methods for constructing explicit r-harmonic functions on the classical Lie groups and even some symmetric spaces.
In this paper, we introduce the notion of complex isoparametric functions on a Riemannian manifold (M, g), see Definition 3.1. It turns out that together with the so-called eigenfunctions they provide us with a method for manufacturing complex-valued proper r-harmonic functions on (M, g), see Sect. 3.
We then apply our new method to construct proper r-harmonic functions on the solvable Lie group semidirect products \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\), where \(\mathrm {H}^{2n+1}\) denotes the classical \((2n+1)\)-dimensional Heisenberg group. The study of these particular Lie groups is motivated by the fact that all four-dimensional irreducible Lie groups are, up to isomorphism, semidirect products of one of these two types.
2 Preliminaries
Let (M, g) be a smooth manifold equipped with a Riemannian metric g. We complexify the tangent bundle TM of M to \(T^{{{\mathbb {C}}}}M\) and extend the metric g to a complex bilinear form on \(T^{{{\mathbb {C}}}}M\). Then, the gradient \(\nabla \phi\) of a complex-valued function \(\phi :(M,g)\rightarrow {{\mathbb {C}}}\) is a section of \(T^{{{\mathbb {C}}}}M\). In this situation, the well-known linear Laplace--Beltrami operator (alt. tension field) \(\tau\) on (M, g) acts locally on \(\phi\) as follows:
For two complex-valued functions \(\phi ,\psi :(M,g)\rightarrow {{\mathbb {C}}}\), we have the following well-known product rule
where the conformality operator \(\kappa\) is given by
Moreover, if \(f : U \subset {{\mathbb {C}}}\rightarrow {{\mathbb {C}}}\) is a holomorphic function defined on an open set U containing \(\phi (M)\), then we have the chain rule
For a positive integer r the iterated Laplace--Beltrami operator \(\tau ^r\) is defined inductively by
Definition 2.1
Let r be a positive integer. Then, a smooth complex-valued function \(\phi :(M,g)\rightarrow {{\mathbb {C}}}\) is said to be
-
(a)
r-harmonic if \(\tau ^r (\phi )=0\),
-
(b)
proper r-harmonic if \(\tau ^r (\phi )=0\) and \(\tau ^{(r-1)}(\phi )\) does not vanish identically.
It should be noted that the harmonic functions are exactly the 1-harmonic and the biharmonic functions are the 2-harmonic ones. In some texts, the r-harmonic functions are also called polyharmonic of order r. We also note that if a function is r-harmonic, then it is also s-harmonic for any \(s \ge r\). Hence, one is usually interested in studying functions which are proper r-harmonic.
3 Complex isoparametric functions
A method for constructing proper r-harmonic functions on Riemannian manifolds has recently been developed in [10]. The r-harmonic functions that the authors consider are of the form \(f \circ \phi\), where \(f : U \subset {{\mathbb {C}}}\rightarrow {{\mathbb {C}}}\) is a holomorphic function defined on an open set U containing \(\phi (M)\), and \(\phi : (M,g) \rightarrow {{\mathbb {C}}}\) is an eigenfunction, i.e., a smooth complex-valued function such that
for some constants \(\lambda , \mu \in {{\mathbb {C}}}\). The construction from [10] can be adapted to the more general setting when \(\phi\) is a complex isoparametric function, as we will now demonstrate.
Classically, isoparametric functions on Riemannian manifolds are defined as real-valued functions \(\phi : (M,g) \rightarrow {{\mathbb {R}}}\) such that the tension field \(\tau\) and the conformality operator \(\kappa\) satisfy
for some smooth functions \(\Phi ,\Psi\). These have been extensively studied due to their beautiful geometric properties, see, e.g., [15]. As we are mainly interested in complex-valued functions, the following complex-valued analogue of the classical real-valued isoparametric functions will turn out to be useful.
Definition 3.1
Let (M, g) be a Riemannian manifold. Then, a smooth complex-valued function \(\phi : M \rightarrow {{\mathbb {C}}}\) is said to be complex isoparametric on M if there exist holomorphic functions \(\Phi ,\Psi : U \rightarrow {{\mathbb {C}}}\) defined on some open set \(U\subset {{\mathbb {C}}}\) containing \(\phi (M)\), such that the tension field \(\tau\) and the conformality operator \(\kappa\) satisfy
Remark 3.2
Note that the term complex isoparametric is used here mainly for aesthetical reasons, as the defining conditions (3.2) for real isoparametric functions and (3.3) for complex ones are identical. Despite this similarity, there does not seem to be a direct relation between these two concepts. For example, for a complex-valued function \(\phi : M \rightarrow {{\mathbb {C}}}\) to be complex isoparametric, it is neither necessary nor sufficient that its real and imaginary parts are real isoparametric. This is caused not only by the restrictive condition of \(\Phi\) and \(\Psi\) being holomorphic, but also by the fact that the relation for the conformality operator may fail to be satisfied, as demonstrated by the functions
Indeed, the former is complex isoparametric, but its real and imaginary parts are not real isoparametric, while the latter is not complex isoparametric when \(a\not = b\) but its real and imaginary parts are real isoparametric.
Remark 3.3
We also note that other different definitions of complex-valued isoparametric functions have been proposed. For example, in [1] the author defines a function \(\phi :M \rightarrow {{\mathbb {C}}}\) to be complex isoparametric if
for a smooth complex-valued function \(\Phi\) and a smooth real-valued function \(\Psi\). This definition is less restrictive than ours due to the weaker regularity assumptions on \(\Phi\) and \(\Psi\), but it is also essentially different because of the assumed condition for the conformality operator \(\kappa\). Note that the value of \(\kappa (\phi ,\phi )\) contains no information about the value of \(\kappa (\phi ,{{\bar{\phi }}})\), and vice versa.
A plethora of examples of eigenfunctions (which are a fortiori complex isoparametric) on classical semisimple Lie groups can be found in Table 1 of [10]. Examples of complex isoparametric functions which are not eigenfunctions shall be studied later in this work, see Proposition 5.7.
As in [10], the gist of constructing r-harmonic functions using isoparametric functions is to study compositions of the form \(f \circ \phi\), where \(\phi : (M,g) \rightarrow {{\mathbb {C}}}\) is complex isoparametric and \(f: U \rightarrow {{\mathbb {C}}}\) is a holomorphic function defined on some open set \(U \subset {{\mathbb {C}}}\) containing \(\phi (M)\). By the chain rule (2.2), the tension field of such compositions satisfies
With this in hand, one can first obtain a harmonic function \(f_1 \circ \phi\) by solving
which, by the chain rule, reduces to the complex ordinary differential equation
Continuing inductively, we assume that a proper \((r-1)\)-harmonic function of the form \(f_{r-1} \circ \phi\) has already been constructed. We can then obtain a proper r-harmonic function \(f_r \circ \phi\) by solving the problem
which again reduces to a complex ordinary differential equation, namely
More explicitly, we get the following result.
Theorem 3.4
Let (M, g) be a Riemannian manifold and \(\phi : M \rightarrow {{\mathbb {C}}}\) be a complex isoparametric function on M with
for some holomorphic functions \(\Phi ,\Psi : U \rightarrow {{\mathbb {C}}}\) defined on an open set U of \({{\mathbb {C}}}\) containing \(\phi (M)\). Suppose that one of the following situations holds.
-
(1)
If \(\Psi\) vanishes identically, let \({\hat{U}}\) be an open simply connected subset of \({U \setminus \Phi ^{-1}(\{0\})}\) and define the holomorphic functions \({f_r : {\hat{U}} \rightarrow {{\mathbb {C}}}}\) for \(r \ge 1\) by
$$\begin{aligned} f_r(z) = c \left( \int ^z \frac{{\mathrm {d}}\zeta }{\Phi (\zeta )} \right) ^{r-1}, \end{aligned}$$where \(c \in {{\mathbb {C}}}\) is nonzero.
-
(2)
If \(\Psi\) does not vanish identically, let \({\hat{U}}\) be an open simply connected subset of \(U \setminus \Psi ^{-1}(\{0\})\), put
$$\begin{aligned} \Lambda (z) = \exp \left( -\int ^z \frac{\Phi (\zeta )}{\Psi (\zeta )} \,{\mathrm {d}}\zeta \right) , \quad z \in {\hat{U}} \end{aligned}$$and define the holomorphic functions \({f_r : {\hat{U}} \rightarrow {{\mathbb {C}}}}\) for \(r \ge 1\) by
$$\begin{aligned} f_1(z)&= c_1 \int ^z \Lambda (\zeta ) \, {\mathrm {d}}\zeta + c_2,\\ f_r(z)&= \int ^z \Lambda (\eta ) \int ^\eta \frac{f_{r-1}(\zeta )}{\Lambda (\zeta )\,\Psi (\zeta )} \, {\mathrm {d}}\zeta \,{\mathrm {d}}\eta , \quad r > 1, \end{aligned}$$where \(c = (c_1, c_2) \in {{\mathbb {C}}}^2\) is nonzero.
Then, in both cases, the composition
is proper r-harmonic on its open domain \(\phi ^{-1} ({\hat{U}})\) in M for all \(r \ge 1\).
Remark 3.5
If the isoparametric function \(\phi\) is real valued, then one can weaken the assumptions in Theorem 3.4 by only requiring that \(\Phi\) and \(\Psi\) are smooth functions of a real variable and \({\hat{U}}\) can be taken to be an interval. In the complex-valued case, the requirement that \({\hat{U}}\) is simply connected is needed to ensure that the holomorphic antiderivatives are well defined.
Upon applying Theorem 3.4 to the particular case when the isoparametric function \(\phi\) is an eigenfunction on (M, g) satisfying (3.1), one sees that the composition \(f_r \circ \phi\) is r-harmonic if
which has already been obtained in the aforementioned paper [10].
4 The Semidirect Products \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\)
Low-dimensional Lie groups, particularly of dimension three and four, are of great importance in physics. Probably most notably such Lie groups are used as models of spacetime in the theory of general relativity. By Lie’s third theorem, there is a bijection between real finite-dimensional Lie algebras and connected simply connected Lie groups of the same dimension. Conveniently, real Lie algebras of dimension less than or equal to six have been classified, see, e.g., the recent book [14]. As a consequence, one also obtains classifications of low-dimensional connected simply connected Lie groups.
The study conducted in this paper was initially meant to be a study of r-harmonic functions on the four-dimensional connected simply connected Lie groups. For our purposes, only the Lie groups whose Lie algebras are indecomposable, i.e., not direct products of lower-dimensional Lie algebras, are of interest. The reason for this is that the Lie groups whose Lie algebras are decomposable are themselves direct products of lower-dimensional Lie groups, and the theory of p-harmonic functions on product manifolds is well known, see, e.g., [5].
According to the classification given, for example, in [12] and [3], all four-dimensional indecomposable real Lie algebras are semidirect products of one of the following types:
where \({\mathfrak {r}}^n\) denotes the n-dimensional abelian algebra and \({\mathfrak {h}}^{2n+1}\) denotes the \((2n+1)\)-dimensional Heisenberg algebra. For the reader’s convenience, we list these Lie algebras in Table 1. We thus see that the corresponding four-dimensional connected simply connected Lie groups are semidirect products of the form
where \(\mathrm {H}^{2n+1}\) is the \((2n+1)\)-dimensional Heisenberg group. Linear representations of these four-dimensional Lie groups can be found in Table 2. This motivates our interest in studying the more general semidirect products
In particular, we note that such semidirect products are automatically solvable and hence diffeomorphic to the vector space of the corresponding dimension.
4.1 The semidirect products \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\)
Let \(\mu : {{\mathbb {R}}}^m \rightarrow {{\,\mathrm{Aut}\,}}({{\mathbb {R}}}^n) = \mathbf{GL} _{n}({{\mathbb {R}}})\) be the smooth homomorphism
for some family \({\mathcal {A}}= (A_k)_{k=1}^m\) of commuting matrices in \(\mathfrak {gl}_{n}({{\mathbb {R}}})\). Then, the semidirect product \({{\mathbb {R}}}^m \ltimes _\mu {{\mathbb {R}}}^n\) is by definition the smooth manifold \({{\mathbb {R}}}^m \times {{\mathbb {R}}}^n\) equipped with the Lie group operation
Note that in this case, the family \({\mathcal {A}}\) completely determines the semidirect product \({{\mathbb {R}}}^m \ltimes _\mu {{\mathbb {R}}}^n\), so that it is natural to use the more suggestive notation \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}{{\mathbb {R}}}^n\).
The Lie group \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}{{\mathbb {R}}}^n\) has a faithful linear representation as the matrix group
where \((D_k)_{ij} = \delta _{ik}\delta _{jk}\). The m-dimensional block
of the representation is needed in general since \(\mu\) may not be injective, but (parts of) this block may often be omitted. This linear representation induces a natural basis for the corresponding Lie algebra \({\mathfrak {r}}^m \ltimes _{\mathcal {A}}{\mathfrak {r}}^n\), namely that consisting of the elements
where \(1 \le k \le m, \; 1 \le i \le n\), and \(e_i\) are the canonical unit vectors in \({{\mathbb {R}}}^n\).
We now define an inner product on the Lie algebra \({\mathfrak {r}}^m \ltimes _{\mathcal {A}}{\mathfrak {r}}^n\) by requiring that this basis becomes orthonormal, and we extend this inner product to a left-invariant Riemannian metric on the Lie group \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}{{\mathbb {R}}}^n\). A simple calculation shows that in the coordinates \((t,x) \in {{\mathbb {R}}}^m \times {{\mathbb {R}}}^n\), this metric is given by
It is easy to see that if \(\phi , \psi : ({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}{{\mathbb {R}}}^n, g) \rightarrow {{\mathbb {C}}}\) are two complex-valued functions, then the Laplace--Beltrami operator satisfies
while the conformality operator is given by
4.2 The semidirect products \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\)
Throughout this section, we let \(J_{2n}\) denote the block diagonal \(2n \times 2n\) matrix defined by
Note that this is the standard complex structure on \({{\mathbb {R}}}^{2n} \cong {{\mathbb {C}}}^n\).
We recall that the Heisenberg group \(\mathrm {H}^{2n+1}\) can be seen as the space \({{\mathbb {R}}}\times {{\mathbb {R}}}^{2n}\) equipped with the Lie group operation
Its Lie algebra \({\mathfrak {h}}^{2n+1}\) is nilpotent and has one-dimensional center. More explicitly for a basis \(\{\Xi , X_1, \ldots , X_{2n}\}\) of \({\mathfrak {h}}^{2n+1}\) the nonzero Lie brackets are given by
In what follows, we consider semidirect products \({{\mathbb {R}}}^m \ltimes _{{{\hat{\mu }}}} \mathrm {H}^{2n+1}\) with respect to a specific class of homomorphisms \({{\hat{\mu }}} : {{\mathbb {R}}}^m \rightarrow {{\,\mathrm{Aut}\,}}(\mathrm {H}^{2n+1})\). The reader interested in more details about this can find them in [13]. Let \({{\hat{\mu }}} : {{\mathbb {R}}}^m \rightarrow {{\,\mathrm{Aut}\,}}(\mathrm {H}^{2n+1})\) be the smooth homomorphism
where \(a : {{\mathbb {R}}}^m \rightarrow {{\mathbb {R}}}\) and \(\mu : {{\mathbb {R}}}^m \rightarrow \mathbf{GL} _{2n}({{\mathbb {R}}})\) are given by
for some family \({\mathcal {A}}= (A_k)_{k=1}^m\) of commuting matrices in \(\mathfrak {gl}_{2n}({{\mathbb {R}}})\) of the form
where \(A_{(i,j)} \in {{\mathbb {R}}}^{2\times 2}\) are such that \({{\,\mathrm{Tr}\,}}A_{(i,i)} = a\) for \(1 \le i \le n\), and \({{\,\mathrm{adj}\,}}(A_{(i,j)})\) denotes the adjugate, i.e., the transpose of the cofactor matrix of \(A_{(i,j)}\). In this situation, the Lie group semidirect product \({{\mathbb {R}}}^m \ltimes _{{{\hat{\mu }}}} \mathrm {H}^{2n+1}\) is the manifold \({{\mathbb {R}}}^m \times {{\mathbb {R}}}\times {{\mathbb {R}}}^{2n}\) equipped with the Lie group operation
where \((t,\xi ,x) , (s,\eta ,y) \in {{\mathbb {R}}}^m \times {{\mathbb {R}}}\times {{\mathbb {R}}}^{2n}\). As in the previous section, such semidirect products are completely determined by the family \({\mathcal {A}}\), so that it is natural to use the more suggestive notation \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}\mathrm {H}^{2n+1}\). A faithful linear representation of the Lie group \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}\mathrm {H}^{2n+1}\) is given by the matrix group
where as before \((D_k)_{ij} = \delta _{ik}\delta _{jk}\). Just as in the previous section, the m-dimensional block
of the representation is needed in general, but (parts of) it can often be removed.
We equip the Lie group \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}\mathrm {H}^{2n+1}\) with the left-invariant Riemannian metric induced by the inner product on its Lie algebra \({\mathfrak {r}}^m \ltimes _{\mathcal {A}}{\mathfrak {h}}^{2n+1}\) defined by requiring that the basis
on \({\mathfrak {r}}^m \ltimes _{\mathcal {A}}{\mathfrak {h}}^{2n+1}\) becomes orthonormal. An elementary but long calculation shows that this metric can be expressed in the coordinates \((t,\xi ,x) \in {{\mathbb {R}}}^m \times {{\mathbb {R}}}\times {{\mathbb {R}}}^{2n}\) as
With this in hand, it is easy to see that if \(\phi ,\psi : ({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}\mathrm {H}^{2n+1},g) \rightarrow {{\mathbb {C}}}\) are two complex-valued functions, then the Laplace--Beltrami operator satisfies
and the conformality operator satisfies
5 r-Harmonic Functions on \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\)
As we have seen in the preceding sections, there are a lot of similarities between the Laplace--Beltrami operators and the conformality operators on the Lie groups \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\) so that here we will study these in parallel. To simplify the statements of our results, we fix the following notation.
Notation 5.1
Let G be a Lie group, either \({{\mathbb {R}}}^n\) or \(\mathrm {H}^{2n+1}\). If \(G = {{\mathbb {R}}}^n\), the indices i, j are assumed to satisfy \(1\le i,j\le n\) and in the case \(G = \mathrm {H}^{2n+1}\) the condition \(1\le i,j\le 2n\). In both cases, we have \(1 \le k \le m\), unless otherwise specified. Throughout this section, \({\mathcal {A}}= (A_k)_k\) will denote a commuting family of inveritable real matrices which are of dimensions \(n\times n\) if \(G = {{\mathbb {R}}}^n\) and of dimensions \(2n\times 2n\) if \(G = \mathrm {H}^{2n+1}\). In the latter case, we also assume that each member of the family \({\mathcal {A}}\) is of the form (4.3). Finally, we will use the following notation
Now if \(\phi ,\psi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) depend only on the coordinates t and x, i.e., if they are independent of \(\xi\), in the case when \(G = \mathrm {H}^{2n+1}\), then the Laplace--Beltrami operator satisfies
and the conformality operator is given by
regardless of the choice of the Lie group G.
Our first result is now the following one of general variable separation.
Proposition 5.2
Let \(\phi ,\psi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) be two complex-valued functions such that \(\phi\) depends only on \(t \in {{\mathbb {R}}}^m\) while \(\tau ^\alpha (\psi )\) is independent of t for all \(\alpha \ge 0\). Then, the tension field of their product \(\phi \cdot \psi\) satisfies the identity
In particular, if \(\phi\) and \(\psi\) are proper p-harmonic and proper r-harmonic on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\), respectively, then their product \(\phi \cdot \psi\) is proper \((p+r-1)\)-harmonic on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\).
Remark 5.3
This result is reminiscent of the variable separation statement on product manifolds, which can be found in Lemma 6.1 of [5]. For our result here we need the additional assumption that \(\tau ^\alpha (\psi )\) is independent of t for all \(\alpha \ge 0\). This assumption is superfluous for direct products of manifolds, but it is essential in our cases.
Proof
Since \(\phi\) is a function of t, we see by the formulae (4.1) and (4.4) for the Laplace--Beltrami operator, that \(\tau ^\beta (\phi )\) remains to be a function of t for all \(\beta \ge 0\). Since by assumption, the tension field \(\tau ^\alpha (\psi )\) is independent of t for all \(\alpha \ge 0\), it follows from the relations (4.2) and (4.5) for the conformality operator, that
for all \(\alpha ,\beta \ge 0\). The first part of our statement now follows easily by induction combined with the product rule (2.1) for the Laplace--Beltrami operator. For the final claim of the result notice that the identity we have just proven implies that
so that the product \(\phi \cdot \psi\) is indeed proper \((p+r-1)\)-harmonic. \(\square\)
Constructing proper r-harmonic functions \(\psi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) such that \(\tau ^\alpha (\psi )\) is independent of t for \(\alpha \ge 0\) seems difficult in general, if not impossible. However, we note that any harmonic function on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\) which is independent of t trivially satisfies this condition. On the other hand, we can use our main Theorem 3.4 to construct proper r-harmonic functions depending only on t. We summarize these thoughts in the following statement.
Proposition 5.4
-
(i)
Define the complex-valued function \(\psi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) by
$$\begin{aligned} {\left\{ \begin{array}{ll} \psi (x) = a + \textstyle \sum _i v_i x_i + \textstyle \sum _{ij} B_{ij}x_ix_j &{} \text {if } G= {{\mathbb {R}}}^n,\\ \psi (\xi ,x) = a + b\xi + \textstyle \sum _i v_i x_i + \textstyle \sum _{ij} B_{ij}x_ix_j &{} \text {if } G= \mathrm {H}^{2n+1}, \end{array}\right. } \end{aligned}$$where \(a,b,v_i,B_{ij}\in {{\mathbb {C}}}\) are not all zero and the coefficients \(B_{ij}\) form a symmetric matrix such that
$$\begin{aligned} {{\,\mathrm{Tr}\,}}(\mu (t)\,\mu (t)^\mathrm {T}B) = 0, \quad t \in {{\mathbb {R}}}^m. \end{aligned}$$Then, \(\psi\) is proper harmonic on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\).
-
(ii)
Let \((r_k)_{k=1}^m\) be a collection of positive integers and define the complex-valued functions \(\phi _{k} : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\rightarrow {{\mathbb {C}}}\) by
$$\begin{aligned} \phi _{k}(t_k) = {\left\{ \begin{array}{ll} c_1 \, t_k^{r_k-1} e^{\omega _k t_k} + c_{2} \, t_k^{r_k-1} &{} \text {if }\;\omega _k \not = 0,\\ c_1 \, t_k^{2r_k-1} + c_{2} \, t_k^{2r_k-2} &{} \text {if }\;\omega _k = 0, \end{array}\right. } \end{aligned}$$where \(c = (c_1, c_2) \in {{\mathbb {C}}}^2\) is nonzero. Then, for each \(k = 1,\ldots , m\), the function \(\phi _{k}\) is proper \(r_k\)-harmonic on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\). Furthermore, their product
$$\begin{aligned} \prod _{k=1}^m \phi _k(t_k) \end{aligned}$$is proper \((r_1 + \ldots + r_m -m+1)\)-harmonic on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\).
Proof
To prove part (i) we note that since B is symmetric we have
so that
confirming the result for both choices of the Lie group G.
For part (ii) we note that
so that for each \(k=1,\ldots ,m\) the coordinate function \(t_k\) is isoparametric. The first claim then follows from Theorem 3.4 after an easy calculation. The second claim follows by noting that
which can be proven analogously to Proposition 5.2. \(\square\)
The matrix B in part (i) of our Proposition 5.4 can of course be taken to be zero. The following examples show though that in important cases this is not necessary.
Example 5.5
Consider the four-dimensional Lie group
This is the semidirect product \({{\mathbb {R}}}\ltimes _{\mathcal {A}}{{\mathbb {R}}}^3\) with respect to the family \({\mathcal {A}}\) consisting of the single matrix
Then, following Proposition 5.2, combined with Proposition 5.4, the function
is proper r-harmonic on \(\mathrm {G}_{4.4}\) for any nonzero elements \(c \in {{\mathbb {C}}}^2\) and \(a \in {{\mathbb {C}}}^4\).\(\triangle\)
Example 5.6
For \(\alpha \in [-1,1]\) consider the following four-dimensional Lie group
This is the semidirect product \({{\mathbb {R}}}\ltimes _{\mathcal {A}}\mathrm {H}^3\) with respect to the family \({\mathcal {A}}\) consisting of the single matrix
Then, Proposition 5.2, in conjunction with Proposition 5.4, implies that the function defined by
is proper r-harmonic on \(\mathrm {G}_{4.8}^\alpha\) for any nonzero elements \(c \in {{\mathbb {C}}}^2\) and \(a \in {{\mathbb {C}}}^5\).\(\triangle\)
We now proceed by constructing a non-trivial class of complex isoparametric functions on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\). These functions will depend only on the variables t and x, i.e., they will be independent of the variable \(\xi\) if \(G = \mathrm {H}^{2n+1}\). Here we will use the well-known fact that the elements of a commuting family of matrices always possess a common eigenvector.
Proposition 5.7
Let v be a common eigenvector of the commuting family \({\mathcal {A}}^\mathrm {T}= (A_k^\mathrm {T})_{k}\) and \(\lambda = (\lambda _1, \ldots , \lambda _m)\) be the vector consisting of the corresponding eigenvalues. Then, the complex-valued function \(\phi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) defined by
is complex isoparametric on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\) with
Remark 5.8
Here, \(\langle \cdot , \cdot \rangle\) denotes the complex bilinear product of vectors given by
Proof
We have
Thus,
as well as
where the final equality follows from the fact that v is an eigenvector of
with eigenvalue \(e^{\langle \lambda ,t\rangle }\) by assumption. \(\square\)
Having constructed complex isoparametric functions, we can now apply Theorem 3.4 to generate examples of r-harmonic functions. As one might suspect, the antiderivatives from Theorem 3.4 cannot be computed explicitly in general. In what follows, we consider several specific cases where this is possible.
Example 5.9
The four-dimensional Lie group
is the semidirect product \({{\mathbb {R}}}\ltimes _{\mathcal {A}}{{\mathbb {R}}}^3\), where \({\mathcal {A}}\) consists of the single matrix
All the eigenvalues of \(A^\mathrm {T}\) are 0 and the eigenspace is the one-dimensional space spanned by the unit vector \(e_3\). Thus, the function \(\phi\) from Proposition 5.7 is simply the coordinate function \((t,x) \mapsto x_3\) satisfying
A simple application of Theorem 3.4 then shows that the function
is proper r-harmonic on \(\mathrm {G}_{4.1}\). By construction this function also satisfies the condition from Proposition 5.2 in that its Laplacian of any order is independent of t. Hence, if p, r, q are positive integers such that \(r+q-1=p\), Proposition 5.2 combined with part (ii) Proposition 5.4 implies that the function defined by
is proper p-harmonic on \(\mathrm {G}_{4.1}\) for any nonzero \(a,c \in {{\mathbb {C}}}^2\).\(\triangle\)
Example 5.10
The celebrated Thurston geometry \({\mathbf {Sol}}^3\) is the solvable Lie group
Examples of proper r-harmonic functions on this Lie group have already been constructed in [5] and [9]. We can view this Lie group as the semidirect product \({{\mathbb {R}}}\ltimes _{\mathcal {A}}{{\mathbb {R}}}^2\), where \({\mathcal {A}}\) consists of the matrix
The eigenvalues of \(A^\mathrm {T}\) are 1 and \(-1\), and the corresponding eigenvectors are \(e_1\) and \(e_2\), respectively. In view of Proposition 5.7 we get an isoparametric function for each eigenvector, namely
both of which satisfy
Applying Theorem 3.4 to these isoparametric functions, we find that the functions
are proper r-harmonic on \({\mathbf {Sol}}^3\) for any nonzero \(c \in {{\mathbb {C}}}^2\).\(\triangle\)
The reader should note that in both Examples 5.9 and 5.10 the eigenvector v is non-isotropic, i.e., \(\langle v, v \rangle \not = 0\). This is of course expected since the eigenvector is real in both cases. However, if the eigenvector v turns out to be complex, then it could happen that it is isotropic. In this case we see directly that the function \(\phi\) from Proposition 5.7 becomes an eigenfunction cf. (3.1). In fact, a quick inspection of the proof of Proposition 5.7 shows that in this case the vector \(\lambda\) can be taken arbitrarily, rather than requiring it to consist of eigenvalues.
Corollary 5.11
Let v be a common eigenvector of the commuting family \({\mathcal {A}}^\mathrm {T}= (A_k^\mathrm {T})_{k}\) and suppose that v is isotropic. Then, for any complex vector \(\nu \in {{\mathbb {C}}}^m\) the function \(\phi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) defined by
is an eigenfunction on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\) satisfying
For this situation the antiderivatives from Theorem 3.4 have already been computed in [10], cf. also (3.4).
Example 5.12
Consider the following interesting four-dimensional Lie group
This is the semidirect product \({{\mathbb {R}}}^2 \ltimes _{\mathcal {A}}{{\mathbb {R}}}^2\), where the family \({\mathcal {A}}\) consists of the two commuting matrices
Their two common eigenvectors are \(v_\pm = (1, \pm {\mathrm {i}})\), both of which are isotropic. Hence, we see from Corollary 5.11 that for any \(\nu = (\nu _1, \nu _2) \in {{\mathbb {C}}}^2\), the functions
are eigenfunctions on \(\mathrm {G}_{4.10}\) with
\(\square\)
In the case when v is isotropic, we can take the real and the imaginary part of the function \(\phi\) from Proposition 5.7 to obtain even more isoparametric functions.
Proposition 5.13
Let v be a common eigenvector of the commuting family \({\mathcal {A}}^\mathrm {T}= (A_k^\mathrm {T})_{k}\) and let \(\lambda = (\lambda _1, \ldots , \lambda _m)\) be the vector consisting of the corresponding eigenvalues. Further suppose that the eigenvector v is isotropic and define the function \(\phi : {{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G \rightarrow {{\mathbb {C}}}\) by
Then, the real part \(\phi _1 = {\mathfrak {R}}{\mathfrak {e}}\,\phi\) and the imaginary part \(\phi _2 = {\mathfrak {I}}{\mathfrak {m}}\,\phi\) of \(\phi\) are isoparametric functions on \({{\mathbb {R}}}^m \ltimes _{\mathcal {A}}G\) with
Proof
The result follows by direct calculations and Proposition 5.7. \(\square\)
Example 5.14
For \(\alpha \ge 0\), consider the four-dimensional Lie group \(\mathrm {G}_{4.9}^\alpha\) given by
where \((t,\xi ,x) \in {{\mathbb {R}}}\times {{\mathbb {R}}}\times {{\mathbb {R}}}^2\). We can view this group as the semidirect product \({{\mathbb {R}}}\ltimes _{\mathcal {A}}\mathrm {H}^3\) with respect to the family \({\mathcal {A}}\) consisting of the single matrix
The two eigenvectors of \(A^\mathrm {T}\) are \(v_\pm = (1,\pm {\mathrm {i}})\) and the corresponding eigenvalues are \({\lambda _\pm = \alpha \pm {\mathrm {i}}}\). Note that the eigenvectors \(v_\pm\) are isotropic. In what follows, it suffices to only consider the eigenvector \(v = (1,{\mathrm {i}})\) and its eigenvalue \(\lambda = \alpha + {\mathrm {i}}\). The functions \(\phi _1\) and \(\phi _2\) from Proposition 5.13 are then given by
satisfying
We now apply Theorem 3.4 to these isoparametric functions.
In the case when \(\alpha = 0\) an easy calculation of the antiderivatives from Theorem 3.4 shows that for any positive integer r and any nonzero \(c\in {{\mathbb {C}}}^2\), the functions
are proper r-harmonic on \(\mathrm {G}_{4.9}^0\). By construction, these functions also satisfy the condition from Proposition 5.2 so we may also multiply them by a function depending only on t to obtain even more examples of proper r-harmonic functions cf. Example 5.9.
In the case when \(\alpha \not = 0\) the functions \(f_p\) from Theorem 3.4 do not seem to possess a nice closed formula. However, let us at least note that for any nonzero \(c \in {{\mathbb {C}}}^2\) the functions given by
are proper harmonic on \(\mathrm {G}_{4.9}^\alpha\) and the functions given by
are proper biharmonic on \(\mathrm {G}_{4.9}^\alpha\).
References
Baird, P.: Conformal foliations by circles and complex isoparametric functions on Euclidean 3-space. Math. Proc. Cambridge Philos. Soc. 123, 273–300 (1998)
Baird, P., Fardoun, A., Ouakkas, S.: Biharmonic maps from biconformal transformations with respect to isoparametric functions. Differ. Geom. Appl. 50, 155–166 (2017)
Biggs, R., Remsing, C.: On the classification of real four-dimensional lie groups. J. Lie Theory 26, 1001–1035 (2016)
Gudmundsson, S.: Biharmonic functions on the special unitary group \({\bf SU}(2)\). Differ. Geom. Appl. 53, 137–147 (2017)
Gudmundsson, S.: A note on biharmonic functions on the Thurston geometries. J. Geom. Phys. 131, 114–121 (2018)
Gudmundsson, S.: Biharmonic functions on spheres and hyperbolic spaces. J. Geom. Phys. 134, 244–248 (2018)
Gudmundsson, S., Montaldo, S., Ratto, A.: Biharmonic functions on the classical compact simple Lie groups. J. Geom. Anal. 28, 1525–1547 (2018)
Gudmundsson, S., Siffert, A.: New biharmonic functions on the compact Lie groups \({\bf SO} (n)\), \({\bf SU} (n)\), \({\bf Sp} (n)\). J. Geom. Anal. (2019). https://doi.org/10.1007/s12220-019-00259-3
Gudmundsson, S., Siffert, A.: Proper r-harmonic functions on the Thuston geometries. J. Geom. Phys. 154(103729), 12 (2020)
Gudmundsson, S., Sobak, M.: Proper \(r\)-harmonic functions from Riemannian manifolds. Ann. Global Anal. Geom. 57, 217–223 (2020)
Meleshko, V.: Selected topics in the history of the two-dimensional biharmonic problem. Appl. Mech. Rev. 56, 33–85 (2003)
Popovych, R.O., Boyko, V.M., Nestrenko, M.O., Lutfullin, M.W.: Realizations of real low-dimensional Lie algebras. J. Phys. A. 36, 7337–7360 (2003)
Sobak, M.: \(p\)-Harmonic Functions on Riemannian Lie Groups, Master’s thesis, Lund University (2020). http://www.matematik.lu.se/matematiklu/personal/sigma/students/Marko-Sobak-MSc.pdf
Šnobl, L., Winternitz, P.: Classification and Identification of Lie Algebras. CRM Monograph Series, vol. 33. American Mathematical Society, Providence (2014)
Thorbergsson, G.: A Survey on isoparametric hypersurfaces and their generalizations. In: Handbook of Differential Geometry vol. 1, pp. 963–995 (2000)
Funding
Open access funding provided by Lund University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Tables
Appendix A. Tables
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gudmundsson, S., Sobak, M. r-Harmonic and Complex Isoparametric Functions on the Lie Groups \({{\mathbb {R}}}^m \ltimes {{\mathbb {R}}}^n\) and \({{\mathbb {R}}}^m \ltimes \mathrm {H}^{2n+1}\). Ann Glob Anal Geom 58, 477–496 (2020). https://doi.org/10.1007/s10455-020-09736-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-020-09736-3