Abstract
In this work we construct explicit complex-valued p-harmonic functions on the compact Riemannian symmetric spaces \(\mathbf{SU} (n)/\mathbf{SO} (n)\), \(\mathbf{Sp} (n)/\mathbf{U} (n)\), \(\mathbf{SO} (2n)/\mathbf{U} (n)\), \(\mathbf{SU} (2n)/\mathbf{Sp} (n)\). We also describe how the same can be manufactured on their non-compact symmetric dual spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main objects for this study are the p-harmonic functions \(\phi : (M,g) \rightarrow {{\mathbb {C}}}\) on Riemannian manifolds. These are solutions to the p-harmonic equation
where \(\tau \) denotes the Laplace–Beltrami operator on M and \(\tau ^p\) means \(\tau \) applied p-times. Since each p-harmonic function is trivially r-harmonic for any \(r \ge p\), we are interested the lowest such value.
The study of p-harmonic functions on Riemannian manifolds has invoked the interest of mathematicians and physicists for nearly two centuries. Applications within physics can for example be found in continuum mechanics, elasticity theory, as well as two-dimensional hydrodynamics problems involving Stokes flows of incompressible Newtonian fluids.
Until just a few years ago, with only very few exceptions, the domains of all known explicit proper p-harmonic functions have been either surfaces or open subsets of flat Euclidean space. The recent development has changed this situation and can be traced at the regularly updated online bibliography [1], maintained by the first author.
In their work [4], Gudmundsson and Sobak develop a general method for constructing proper p-harmonic functions using eigenfunctions on the domain manifold M. These are functions \(\phi : (M,g) \rightarrow {{\mathbb {C}}}\) such that there exist constants \(\lambda ,\mu \in {{\mathbb {C}}}\), not both zero, with
where \(\kappa \) denotes the complex bilinear conformality operator defined by
More explicitly, they show that if \(\phi \) is an eigenfunction on M, then the function
is proper p-harmonic on an appropriate open subdomain of M. Even though this method of construction seems simple at first glance, it certainly comes at a cost - it relies on the existence of eigenfunctions, which are not easy to find in general. In fact, it is usually not difficult to spot functions which are eigenfunctions with respect to the Laplace–Beltrami operator due to its linearity, but finding functions which are also eigenfunctions with respect to the conformality operator can be quite a daunting task.
In this paper, we consider the compact symmetric spaces
as well as their non-compact duals
Eigenfunctions on the dividend group G are already known for all of the above mentioned cases, see e.g. [3] or [4]. However, the issue with the known eigenfunctions is that they are not invariant under the action of the divisor group K, and hence do not induce eigenfunctions on the corresponding quotient space G/K. The K-invariance condition adds an additional degree of difficulty to the problem of finding eigenfunctions. Our aim is therefore to construct new examples of eigenfunctions which are indeed K-invariant, hence induce proper p-harmonic functions on the quotient spaces G/K via the method presented above. We summarise our results for the compact spaces in Table 1. Note that these constructions are sufficient, since the general duality principle developed in [5] automatically yields examples of eigenfunctions on the non-compact duals as well.
Organisation: In Sect. 2 we give a general description of p-harmonic functions in the setting of Riemannian symmetric spaces and state a useful duality principle for those. In Sect. 3 we discuss the necessary details for the Lie groups, relevant to this study. In Sects. 4 and 5, we prove our main results, which are displayed in Table 1.
2 p-Harmonic Functions on Symmetric Spaces
Let (M, g) be a Riemannian symmetric space of non-compact type, G be the connected component of the isometry group containing the neutral element and K be the maximal compact subgroup. For the Lie algebra \(\mathfrak {g}\) of G, we have the Cartan decomposition \(\mathfrak {g}=\mathfrak {k}\oplus \mathfrak {m}\), where \(\mathfrak {k}\) is the Lie algebra of K and \(\mathfrak {m}\) its orthogonal complement with respect to the \({{\,\mathrm{Ad}\,}}(K)\)-invariant metric on G induced by its Killing form. Let \(\phi :U\rightarrow {{\mathbb {C}}}\) be a locally defined real analytic function and \({\hat{\phi }}=\phi \circ \pi :G\rightarrow {{\mathbb {C}}}\) be the K-invariant composition of \(\phi \) with the natural projection \(\pi :G\rightarrow G/K\). Then the Laplace–Beltrami operator \({\hat{\tau }}\) and the conformality operator \({\hat{\kappa }}\) on G satisfy
We observe that
where the equalities follow from the facts that \(\pi \) is harmonic and the restriction of \(d\pi \) to the orthogonal complement of its kernel is an isometry onto the tangent space of G/K at the corresponding point. The latter fact also implies that
This shows that a K-invariant eigenfunction \({\hat{\phi }}\) on G induces an eigenfunction \(\phi \) on the quotient space G/K with exactly the same eigenvalues.
We now extend the real analytic \({\hat{\phi }}\) to a holomorphic function \({\hat{\phi }}^*:W^*\rightarrow {{\mathbb {C}}}\) locally defined on the complexification \(G^{{\mathbb {C}}}\) of G. The complex Lie group \(G^{{\mathbb {C}}}\) contains the compact subgroup U with Lie algebra \(\mathfrak {u}=\mathfrak {k}\oplus i\,\mathfrak {m}\). Let \({\hat{\phi }}^*:W^*\cap U\rightarrow {{\mathbb {C}}}\) be the K-invariant restriction of \({\hat{\phi }}^*\) to \(W^*\cap U\). Then this induces a function \(\phi ^*:\pi ^*(W^*\cap U)\rightarrow {{\mathbb {C}}}\) defined locally on the symmetric space U/K which is the compact companion of G/K. Here \(\pi ^*:U\rightarrow U/K\) is the corresponding natural projection. Then the Laplace–Beltrami operator \({\hat{\tau }}^*\) and the conformality operator \({\hat{\kappa }}^*\) on U satisfy
and
For p-harmonic function on symmetric spaces we have the following duality principle. This was first introduced for harmonic morphisms in [5] and then developed further for our situation in [2].
Theorem 2.1
A complex-valued function \(f:W\rightarrow {{\mathbb {C}}}\) is proper p-harmonic if and only if its dual \(f^*:W^*\rightarrow {{\mathbb {C}}}\) is proper p-harmonic.
Proof
For a proof of this result we recommend Sect. 8 of [2]. \(\square \)
Remark 2.2
It should be noted that if \(\phi :G/K\rightarrow {{\mathbb {C}}}\) is an eigenfunction on the non-compact symmetric space G/K, such that
then its dual function \(\phi ^*:U/K\rightarrow {{\mathbb {C}}}\), on the compact U/K, fulfils
3 The Relevant Lie Groups
Let us first recall the definitions of the classical Lie groups relevant for this study. We refer the interested reader to the standard work [6] which goes far beyond our presentation.
We denote the \(n \times n\) identity matrix by \(I_n\) and the standard complex structure on \({{\mathbb {R}}}^{2n}\) by
Furthermore, for \(1 \le r,s \le n\), we denote by \(E_{rs}\) the \(n\times n\) matrix with components \((E_{rs})_{\alpha \beta } = \delta _{r\alpha } \delta _{s\beta }\), and we further define
If \({\mathbb {F}}\) is either the field of the real numbers \({{\mathbb {R}}}\) or that of the complex \({{\mathbb {C}}}\), then the general linear group \(\mathbf {GL}_n({\mathbb {F}})\) is defined as the set of all invertible matrices \(x \in {\mathbb {F}}^{n\times n}\) and the special linear group \(\mathbf {SL}_n({\mathbb {F}})\) is the subgroup of matrices in \(\mathbf {GL}_n({\mathbb {F}})\) whose determinant is 1. The compact orthogonal and unitary groups are given by
and their special counterparts are obtained by intersecting with the corresponding special linear groups, so that
The quaternionic unitary group \(\mathbf{Sp} (n)\) is defined as the intersection of the standard embedding
and the unitary group \(\mathbf{U} (2n)\). Some further interpretations are needed in order to understand the definitions of the relevant quotient spaces:
-
(1)
\(\mathbf{SO} (n)\) is a subgroup of \(\mathbf{SU} (n)\), so the quotient space \(\mathbf{SU} (n) / \mathbf{SO} (n)\) is naturally defined.
-
(2)
\(\mathbf{U} (n)\) can be embedded into \(\mathbf{Sp} (n)\), via the map
$$\begin{aligned} x+iy \mapsto \begin{bmatrix} x &{} y\\ -y &{} x \end{bmatrix}, \end{aligned}$$(3.1)as shown by a simple calculation. Hence, we can view \(\mathbf{U} (n)\) as a subgroup of \(\mathbf{Sp} (n)\) and thus consider the quotient space \(\mathbf{Sp} (n) / \mathbf{U} (n)\).
-
(3)
\(\mathbf{U} (n)\) can also be embedded into \(\mathbf{SO} (2n)\) via the mapping (3.1). Indeed, the identity
$$\begin{aligned} |\det (x+iy)|^2 = \det \begin{bmatrix} x &{} y\\ -y &{} x \end{bmatrix}, \end{aligned}$$together with a simple calculation, shows that the image is contained in \(\mathbf{SO} (2n)\). Via this embedding, \(\mathbf{U} (n)\) becomes a subgroup of \(\mathbf{SO} (2n)\), allowing us to consider the quotient space \(\mathbf{SO} (2n) / \mathbf{U} (n)\).
-
(4)
\(\mathbf{Sp} (n)\) is by definition a subgroup of \(\mathbf{U} (2n)\), and it can be shown that the elements of \(\mathbf{Sp} (n)\) have unit determinant, so the quotient space \(\mathbf{SU} (2n) / \mathbf{Sp} (n)\) is well-defined.
Using the standard left-invariant Riemannian metric on \(\mathbf{GL} _{n}({{\mathbb {C}}})\), induced by the inner product
on the Lie algebra \(\mathfrak {gl}_{n}({{\mathbb {C}}})\), we obtain the induced Riemannian metric on every Lie subgroup G of \(\mathbf{GL} _{n}({{\mathbb {C}}})\).
Let us now consider the standard complex linear representations of the compact Lie groups \(\mathbf{SO} (n)\), \(\mathbf{SU} (n)\) and \(\mathbf{Sp} (n)\). According to the Peter–Weyl theorem their matrix coefficients are all eigenfunctions of the Laplace–Beltrami operator with the same eigenvalue in each case. For obvious reasons we are also interested in how they behave with respect to the corresponding conformality operator. For the special orthogonal group \(\mathbf{SO} (n)\) these matrix coefficients are the coordinate functions \(x_{j\alpha }:\mathbf{SO} (n)\rightarrow {{\mathbb {R}}}\) satisfying
For the standard irreducible representations of \(\mathbf{SO} (n)\), \(\mathbf{SU} (n)\) and \(\mathbf{Sp} (n)\) we have the following:
-
(i)
For \(1 \le j,\alpha ,k,\beta \le n\), the matrix coefficients \(x_{j\alpha } : \mathbf{SO} (n) \rightarrow {{\mathbb {R}}}\) satisfy
$$\begin{aligned} \tau (x_{j\alpha })= & {} -\frac{n-1}{2}\cdot x_{j\alpha }, \nonumber \\ \kappa (x_{j\alpha }, x_{k\beta })= & {} -\frac{1}{2}\cdot (x_{j\beta }x_{k\alpha } - \delta _{jk}\delta _{\alpha \beta }), \end{aligned}$$(3.2)Here we refer to Lemma 4.1 of [3].
-
(ii)
For \(1 \le j,\alpha ,k,\beta \le n\), the matrix coefficients \(z_{j\alpha } : \mathbf{SU} (n) \rightarrow {{\mathbb {C}}}\) satisfy
$$\begin{aligned} \tau (z_{j\alpha })= & {} -\frac{n^2-1}{n}\cdot z_{j\alpha }, \nonumber \\ \kappa (z_{j\alpha }, z_{k\beta })= & {} - z_{j\beta }z_{k\alpha } + \frac{1}{n} \cdot z_{j\alpha } \, z_{k\beta }, \end{aligned}$$(3.3)This can be proven by utilising Lemma 5.1 of [3] and a simple idea explained at the end of Sect. 4 in [4].
-
(iii)
For \(1 \le j,\alpha ,k,\beta \le 2n\), the matrix coefficients \(q_{j\alpha }: \mathbf{Sp} (n) \rightarrow {{\mathbb {C}}}\) satisfy
$$\begin{aligned} \tau (q_{j\alpha })= & {} -\frac{2n+1}{2}\cdot q_{j\alpha }, \nonumber \\ \kappa (q_{j\alpha }, q_{k\beta })= & {} -\frac{1}{2}\cdot q_{j\beta }q_{k\alpha } + \frac{1}{2} (J_n)_{jk} (J_n)_{\alpha \beta }. \end{aligned}$$(3.4)These two identities form an improved version of Lemma 6.1 in [2]. We present a proof of these formulae in Appendix A.
4 Eigenfunctions on \(\mathbf{SU} (n)/\mathbf{SO} (n)\) and \(\mathbf{Sp} (n) / \mathbf{U} (n)\)
The aim of this section is to prove the statements presented in Table 1 concerning the compact symmetric spaces \(\mathbf{SU} (n)/\mathbf{SO} (n)\) and \(\mathbf{Sp} (n) / \mathbf{U} (n)\).
First, consider the map \(\Phi : \mathbf{SU} (n) \rightarrow \mathbf{SU} (n)\) defined by
Note that this map is \(\mathbf{SO} (n)\)-invariant, so that for any \(f:\mathbf{SU} (n)\rightarrow {{\mathbb {C}}}\), the composition \(\phi =f\circ \Phi \) induces a function on the compact symmetric quotient space \(\mathbf{SU} (n) / \mathbf{SO} (n)\). As already indicated in Table 1, we will consider the case when f is linear, i.e. when
for some symmetric matrix \(A\in {{\mathbb {C}}}^{n\times n}\). Note that the symmetry condition on A can be assumed, without loss of generality, since \(\Phi (z)\) itself is symmetric and the product of a skew-symmetric and a symmetric matrix is traceless.
Proposition 4.1
Let the complex symmetric matrix A be given by \(A = aa^t\) for some non-zero element \(a\in {{\mathbb {C}}}^n\). Further consider the function \(\phi :\mathbf{SU} (n)\rightarrow {{\mathbb {C}}}\) with
Then \(\phi \) is an \(\mathbf{SO} (n)\)-invariant eigenfunction on \(\mathbf{SU} (n)\) satisfying
Proof
Observe that we can write
Then we see from equations (3.3) that
The formula for \(\tau (\phi )\) thus follows immediately since \(\tau \) is linear.
As for the conformality operator, we have
and thus by bilinearity
as claimed. \(\square \)
As for \(\mathbf{Sp} (n) / \mathbf{U} (n)\), the construction is quite similar but the proof requires a minor modification. Here, we instead consider the \(\mathbf{U} (n)\)-invariant map \(\Phi : \mathbf{Sp} (n) \rightarrow \mathbf{Sp} (n)\) given by
and as before we take the trace of its product with a symmetric matrix.
Proposition 4.2
Let the complex symmetric matrix A be given by \(A = aa^t\) for some non-zero element \(a\in {{\mathbb {C}}}^{2n}\). Further consider the function \(\phi :\mathbf{Sp} (n)\rightarrow {{\mathbb {C}}}\) with
Then \(\phi \) is an \(\mathbf{U} (n)\)-invariant eigenfunction on \(\mathbf{Sp} (n)\) satisfying
Proof
Using similar techniques as in the proof of Proposition 4.1 together with the fact that \(q \cdot J_n \cdot q^t = J_n\) for all \(q \in \mathbf{Sp} (n)\), one first shows that
from which it easily follows that
where the final equality follows since the product of a symmetric and a skew-symmetric matrix is traceless. \(\square \)
5 Eigenfunctions on \(\mathbf{SO} (2n)/\mathbf{U} (n)\) and \(\mathbf{SU} (2n) / \mathbf{Sp} (n)\)
The aim of this section is to prove the statements presented in Table 1 concerning the compact symmetric space \(\mathbf{SO} (2n)/\mathbf{U} (n)\) and \(\mathbf{SU} (2n)/\mathbf{Sp} (n)\).
Firstly, consider the map \(\Phi : \mathbf{SO} (2n) \rightarrow \mathbf{SO} (2n)\)
A simple calculation shows that this map is \(\mathbf{U} (n)\)-invariant. As before, we now wish to consider the function \(\phi : \mathbf{SO} (2n) \rightarrow {{\mathbb {C}}}\) given by
for some skew-symmetric matrix \(A \in {{\mathbb {C}}}^{2n\times 2n}\). Note that in this case the skew-symmetry condition can be assumed without loss of generality, since \(\Phi (x)\) is skew-symmetric.
Proposition 5.1
Let \(V \subset {{\mathbb {C}}}^{2n}\) be an isotropic subspace and let \(a,b\in V \setminus \{0\}\) be linearly independent. Let \(A \in {{\mathbb {C}}}^{2n\times 2n}\) be the skew-symmetric matrix
Define the function \(\phi :\mathbf{SO} (2n) \rightarrow {{\mathbb {C}}}\) by
Then \(\phi \) is a \(\mathbf{U} (n)\)-invariant eigenfunction on \(\mathbf{SO} (2n)\) satisfying
Proof
Using (3.2), similar calculations as in the proof of Proposition 4.1 show that
where in the proof of the latter formula one also uses the fact that \(xx^t = I_{2n}\) for all \(x \in \mathbf{SO} (2n)\) in order to simplify the terms containing Kronecker deltas.
The formula for \(\tau (\phi )\) is thus immediate by linearity. For the conformality operator, we first note that
So we calculate
Now there are two types of terms appearing in the first sum, namely
which appears 4 times with a plus sign in front, and
where the latter equality follows since \(\Phi _{j\alpha }\) is skew-symmetric (even if this were not the case, these terms would cancel out since they appear twice with a plus sign and twice with a minus sign in front). Thus, we get
since a and b belong to an isotropic subspace V of \({{\mathbb {C}}}^{2n}\). \(\square \)
Finally, the construction on the space \(\mathbf{SU} (2n) / \mathbf{Sp} (n)\) works in a similar manner, with even weaker assumptions. Here, we consider the \(\mathbf{Sp} (n)\)-invariant mapping \(\Phi : \mathbf{SU} (2n) \rightarrow \mathbf{SU} (2n)\) given by
Proposition 5.2
For non-zero linearly independent elements \(a,b\in {{\mathbb {C}}}^{2n}\), let \(A\in {{\mathbb {C}}}^{2n\times 2n}\) be the skew-symmetric matrix
Define the function \(\phi :\mathbf{SU} (2n) \rightarrow {{\mathbb {C}}}\) by
Then \(\phi \) is a \(\mathbf{Sp} (n)\)-invariant eigenfunction on \(\mathbf{SU} (2n)\) satisfying
Proof
The proof is similar as that of Proposition 5.1, where one instead uses the identities (3.3). \(\square \)
Remark 5.3
Note that, unlike in Proposition 5.1, the isotropy condition on a, b is not required in this case. For the case of \(\mathbf{SO} (2n) / \mathbf{U} (n)\) one needs the isotropy condition because of the final term in \(\kappa \) which appears as a consequence of the Kronecker deltas from formula (3.2), whereas these deltas do not appear in the formula (3.3) for the coordinate functions on \(\mathbf{SU} (2n)\).
References
Gudmundsson, S.: The Bibliography of \(p\)-Harmonic Functions, www.matematik.lu.se/ matematiklu/personal/sigma/harmonic/p-bibliography.html
Gudmundsson, S., Montaldo, S., Ratto, A.: Biharmonic functions on the classical compact simple Lie groups. J. Geom. Anal. 28, 1525–1547 (2018)
Gudmundsson, S., Sakovich, A.: Harmonic morphisms from the classical compact semisimple Lie groups. Ann. Glob. Anal. Geom. 33, 343–356 (2008)
Gudmundsson, S., Sobak, M.: Proper r-harmonic functions from Riemannian manifolds. Ann. Glob. Anal. Geom. 57, 217–223 (2020)
Gudmundsson, S., Svensson, M.: Harmonic morphisms from the Grassmannians and their non-compact duals. Ann. Glob. Anal. Geom. 30, 313–333 (2006)
Helgason, S.: Differential Geometry, Lie groups and Symmetric Spaces, Pure and Applied Mathematics 80. Academic Press, New York (1978)
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
Acknowledgements
The authors would like to thank Fran Burstall for useful discussions on this work. Anna Siffert gratefully acknowledges the supports of the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project-ID 427320536 - SFB 1442, as well as Germany’s Excellence Strategy EXC 2044 390685587, Mathematics Münster: Dynamics-Geometry-Structure. Marko Sobak gratefully acknowledges the support of Germany’s Excellence Strategy EXC 2044 390685587, Mathematics Münster: Dynamics-Geometry-Structure.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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. Coordinate Functions on \(\mathbf{Sp} (n)\)
Appendix A. Coordinate Functions on \(\mathbf{Sp} (n)\)
The aim of this appendix is to show the following result.
Theorem A.1
Let \(q_{j\alpha } : \mathbf{Sp} (n) \rightarrow {{\mathbb {C}}}\) denote the standard coordinate functions on \(\mathbf{Sp} (n)\). Then
Here, we represent \(\mathbf{Sp} (n)\) as the subgroup of the unitary group \(\mathbf{U} (2n)\) consisting of elements of the form
Note therefore that
Thus, if we take \(1 \le j,k \le n\), we see that \((J_n)_{jk} = 0\), and we recover all identities from Lemma 6.1 in [2]. The new insight here is that there is an extra term when one mixes the coordinates and their conjugates in kappa.
For the proof of Lemma A.1, we will also need the following identities, the proof of which can be found in Appendix A.1 of [7] (also stated without proof in [3]):
Proof of Lemma A.1
The formula for \(\tau \) follows from Lemma 6.1 in [2] by complex linearity, so we only focus on the formula for \(\kappa \). Let
be the standard orthonormal basis for \(\mathfrak {sp}(n)\). Then
Now to calculate the sum we consider four separate cases:
-
(1)
\(1\le \alpha ,\beta \le n\) so that \(E_{\alpha \beta } = \begin{bmatrix} E_{\alpha \beta } &{} 0\\ 0 &{} 0 \end{bmatrix}\)
-
(2)
\(1\le \alpha \le n\) and \(n+1\le \beta \le 2n\) so that \(E_{\alpha \beta } = \begin{bmatrix} 0 &{} E_{\alpha ,\beta -n}\\ 0 &{} 0 \end{bmatrix}\)
-
(3)
\(n+1\le \alpha \le 2n\) and \(1\le \beta \le n\) so that \(E_{\alpha \beta } = \begin{bmatrix} 0 &{} 0\\ E_{\alpha -n,\beta } &{} 0 \end{bmatrix}\)
-
(4)
\(1\le \alpha ,\beta \le n\) so that \(E_{\alpha \beta } = \begin{bmatrix} 0 &{} 0\\ 0 &{} E_{\alpha -n,\beta -n} \end{bmatrix}\)
Here, we abuse notation slightly by letting \(E_{\alpha \beta }\) denote both its \(2n\times 2n\) and its \(n \times n\) version, since it is clear from the context which is being used.
For case (1), we have
It follows that, in case (1), we have
which matches the claimed formula, since in this case \((J_n)_{\alpha \beta }=0\).
For case (2), we get
Now by the identities (5.1),
since the quantity in the parentheses is 0 regardless of whether \(\alpha = \beta -n\) or \(\alpha \not = \beta -n\). Furthermore,
since, as above, the quantity within the parentheses is always 1/2. Thus
Now since \(qJ_n q^t = J_n\) for each \(q \in \mathbf{Sp} (n)\) we get
which matches the claimed formula (note that \(\delta _{\alpha ,\beta -n} = (J_n)_{\alpha \beta }\) in this case).
In case (3) one can show using similar calculations as in case (2) that
Case (4) can be treated in a similar way as case (1) to get
\(\square \)
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., Siffert, A. & Sobak, M. Explicit Proper p-Harmonic Functions on the Riemannian Symmetric Spaces \(\mathbf{SU} (n)/\mathbf{SO} (n)\), \(\mathbf{Sp} (n)/\mathbf{U} (n)\), \(\mathbf{SO} (2n)/\mathbf{U} (n)\), \(\mathbf{SU} (2n)/\mathbf{Sp} (n)\). J Geom Anal 32, 147 (2022). https://doi.org/10.1007/s12220-022-00885-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-00885-4