Abstract
In this manuscript we study rotationally p-harmonic maps between spheres. We prove that for (p) given, there exist infinitely many p-harmonic self-maps of \(\mathbb {S}^m\) for each \(m\in \mathbb {N}\) with \(p<m< 2+p+2\sqrt{p}\). In the case of the identity map of \(\mathbb {S}^m\) we explicitly determine the spectrum of the corresponding Jacobi operator and show that for \(p>m\), the identity map of \(\mathbb {S}^m\) is equivariantly stable when interpreted as a p-harmonic self-map of \(\mathbb {S}^m\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this article let \(\phi :(M,g)\rightarrow (N,h)\) be a smooth map between two closed Riemannian manifolds. We will study p-harmonic maps, i.e. critical points of the energy functional
where \(p\ge 2\). So far most attention has been paid to the case \(p=2\) in this situation the critical points of (1.1) are precisely harmonic maps.
Let us give some motivation for the study of p-harmonic maps. The latter are a natural generalization of harmonic maps in the following sense: It is well-known that the standard harmonic map energy, that is (1.1) for \(p=2\), is invariant under conformal transformations if the domain is two-dimensional. If the dimension of the domain is larger than two, this fact no longer holds true. So one can ask, which energy one could consider in higher dimensions which is conformally invariant. It seems that p-harmonic maps are the most natural candidate: It is straightforward to check that the energy (1.1) is conformally invariant in the case that \(p=\dim M\). Moreover, besides the purely mathematical interest, p-harmonic maps also have important applications in physics, e.g. in elasticity theory [10].
Critical points of \(E_p(\phi )\) are characterized as solutions of the equation
Note that (1.2) constitutes a system of quasi-linear elliptic partial differential equations which degenerates at points where \(|d\phi |=0\). This additional difficulty leads to the fact that analytic questions on (weak) p-harmonic maps require much more attention compared to the case of standard harmonic maps, see for example the seminal article of Hardt and Lin [11]. This comes from the fact that (1.2) is not elliptic at points where \(|d\phi |=0\) and one cannot expect to gain regularity from elliptic theory. The question of how to deal with weak p-harmonic maps was recently taken up again by Miśkiewicz et al. [14]. Concerning gradient estimates for p-harmonic maps we refer to the recent article of Dong and Lin and references therein [5].
Establishing existence results for p-harmonic maps is a challenging task and many of the standard techniques from the calculus of variation cannot be applied. For example, it is not possible to construct a minimizing sequence for (1.1) as is shown in [20, Section 1].
Nevertheless a number of existence results could be achieved over the years: Both Xu, Yang and Ishida constructed p-harmonic maps between spheres by considering the harmonic join of two eigenmaps [12, 20]. The existence of p-harmonic spheres, which are critical points of (1.1) for \(\phi :\mathbb {S}^m\rightarrow N\), where N is a compact Riemannian manifold, was achieved by Kawai et al. [13]. Concerning the heat flow for p-harmonic maps between compact Riemannian manifolds existence results were obtained by Fardoun and Regbaoui [8, 9]. In Fardoun [6] proved the existence of rotationally symmetric p-harmonic maps, assuming \(p\ge 2\), from some Euclidean balls to specific ellipsoids. Weakly p-harmonic maps, for \(p\ge 2\), from compact, connected manifolds to closed hemispheres have been investigated by Fardoun in [7]. The relation between p-harmonic maps and minimal submanifolds was studied by Baird and Gudmundsson [2]. Gastel [10] established a link between the theory of p-harmonic maps and Cosserat models for micropolar elasticity of continua. An overview on the geometric properties of p-harmonic maps can be found in the older survey articles [18, 19].
In this manuscript we study p-harmonic self-maps of the m-dimensional unit sphere \(\mathbb {S}^m\) endowed with the standard round metric. Below we parameterize the sphere \(\mathbb {S}^m\) by spherical coordinates \((t,\varphi )\), where \(0\le t\le \pi \) denotes the colatitude, and \(\phi \) gives a point on the equator \(\mathbb {S}^{m-1}\) in \(\mathbb {S}^m\). For smooth maps
the energy functional (1.1) is given by
Each solution of the associated Euler–Lagrange equation
with boundary values
for some specific k, provides a p-harmonic self-map of \(\mathbb {S}^m\).
Our main result is the following existence theorem for p-harmonic self-maps of the Euclidean sphere:
Theorem 1.1
Let p be given. For \(m\in \mathbb {N}\) with \(p<m< 2+p+2\sqrt{p}\) there exist infinitely many p-harmonic self-maps of \(\mathbb {S}^m\).
Our existence result Theorem 1.1 clearly shows that, despite the analytic difficulties, it can be favorable to study p-harmonic maps instead of standard harmonic maps. In the case \(p=2\), harmonic self-maps of spheres only exist if \(3\le m\le 6\), see the article [3] by Bizoń and Chmaj, and Theorem 1.1 shows that for \(p>2\) one can find p-harmonic maps in cases in which one no longer has an existence result for harmonic maps.
We also show that the assumptions on m and p in Theorem 1.1 are necessary as is demonstrated by the following non-existence result:
Theorem 1.2
For \(m>2+p+2\sqrt{p}\) solutions analogous to those constructed in Theorem 1.1 do not exist.
In the case \(p=2\), corresponding to standard harmonic maps, Theorems 1.1 and 1.2 recover the main results of Bizoń and Chmaj [3]. The proof of Theorem 1.1 makes use of their ideas but due to the additional nonlinearities we have to overcome a number of substantial technical difficulties.
Remark 1.3
We would like to point out that we could compose the \(\varphi \)-coordinate with an eigenmap, see for example [20] for more details, in which case the factor \((m-1)\) in (1.3) would be shifted such that we would get different conditions for m, p in Theorems 1.1 and 1.2.
One important property that characterizes the qualitative behavior of a given p-harmonic map is its stability. If a given p-harmonic map is stable, then there does not exist a second p-harmonic map ‘nearby’, meaning that the critical points of (1.1) are isolated.
In this article we study the equivariant stability of the identity map when interpreted as a p-harmonic self-map of the sphere. Here, equivariant stability refers to the fact that we are not considering arbitrary variational vector fields when calculating the second variation but only those which are compatible with the symmetry reduced energy functional (1.3). For more details concerning both stability and equivariant stability of harmonic maps we refer to the introduction of our recent article [4].
Theorem 1.4
The eigenvalues of the Jacobi operator describing the equivariant stability of the identity map of \(\mathbb {S}^m\), considered as a p-harmonic map, are given by
where \(j\in \,\mathbb {N}_+\). Furthermore, the corresponding eigenfunctions can be calculated explicitly, see Theorem 3.3 below for the details.
For \(p=2\), Theorem 1.4 was already established by of Bizoń and Chmaj, see [3, Section 2]. From Theorem 1.4 we obtain the following result.
Corollary 1.5
For \(p>m\), the identity map of \(\mathbb {S}^m\) is an equivariantly stable p-harmonic self-map of \(\mathbb {S}^m\).
The stability of the identity map of \(\mathbb {S}^m\) when interpreted as a p-harmonic map was already studied in [19, Section 5] using abstract methods. In this manuscript we completely solve the corresponding spectral problem in the equivariant setting. Although our calculations are carried out in a symmetry reduced setup we get the same result as in [19, Example 5.2], where the author shows that for \(p<m\) the identity map is an unstable p-harmonic map.
For a detailed study of the stability of p-harmonic maps we refer to the articles [15, 17].
1.1 Organisation
In Sect. 2 we provide the proofs of Theorems 1.1 and 1.2. After that, Theorem 1.4 is proved in Sect. 3 and we also give some further details on the second variation of (1.1).
2 Proofs of Theorems 1.1 and 1.2
In this section we provide the proofs of Theorems 1.1 and 1.2. We may assume \(p>2\) since the case \(p=2\) has been treated by Bizoń and Chmaj in [3].
It turns out to be beneficial to make the following change of variables
In terms of these variables the energy functional (1.3) acquires the form
A direct calculation shows that the critical points of (2.1) are given by
Our main tool will be a Lyapunov function W(x) associated with the differential Eq. (2.2). To this end, it is convenient to define the function \(A(x):\mathbb {R}\rightarrow \mathbb {R}\) by
such that (2.2) can be written as
This allows us to derive the following result.
Lemma 2.1
Let h(x) be a solution of (2.2). The function \(W(x):\mathbb {R}\rightarrow \mathbb {R}\) defined by
is a Lyapunov function of (2.2). In particular, W(x) is monotonically increasing on \([0,\infty )\) if \(m\ge p\) and on \((-\infty ,0]\) if \(m\le p\).
Proof
We rewrite (2.3) in the following form
and calculate
whence the claim. \(\square \)
Note that in the case of \(p=2\) the function (2.3) reduces, up to scaling and shifting, to the one considered by Bizoń and Chmaj in [3], see Eq. (3.8) therein.
For the further analysis it turns out to be useful to rewrite the Euler–Lagrange Eq. (2.2) in the following form
Remark 2.2
In the case of harmonic self-maps of spheres, that is \(p=2\), Eq. (2.4) reduces to
Although at first glance the equation for p-harmonic self-maps of spheres looks substantially more complicated than (2.5) we note that both of the fractions in the second and third term in (2.4) are of magnitude one. Hence, one can expect that the additional nonlinearities in (2.4) will lead to additional technical difficulties but can still be handled.
From (2.4) we can directly read off that solutions of (2.4) with \(h'(0)=0\) are even under the reflection \(x\rightarrow -x\) and solutions with \(h(0)=0\) are odd under the reflection \(x\rightarrow -x\). Below we will focus on such odd and even solutions only. Therefore it is sufficient to consider \(x\ge 0\). An odd solution of (2.4) with \(h'(0)=b\) will be called b-orbit and denoted by h(x, b). An even solution of (2.4) with \(h(0)=d\) will be called d-orbit. In the following we will only pay attention to b-orbits, but all our considerations can easily be adapted to d-orbits as well.
We define
The next lemma shows that we have good control over the function \(\rho \) which can be thought of as the \(W^{1,2}\) norm of h.
Lemma 2.3
Let h(x) be a solution of (2.4). Given any \(x_0>0\) and \(\beta >0\), there exists a small number \(\varepsilon =\varepsilon (\beta ,x_0)\) such that if \(b<\varepsilon \) then \(\rho (x,b)<\beta \) for \(x\le x_0\).
Proof
We use the shorthand notation \(h(x):=h(x,b)\) and \(\rho (x):=\rho (x,b)\). Throughout the proof we make use of (2.4) as this version of the Euler–Lagrange equation turns out to be most useful in order to derive estimates. By assumption \(p>2\) such that
and thus we can estimate
Again, since \(p>2\), we have
such that we may estimate
Hence, we deduce that
for a positive constant C which can easily be made explicit. Integrating the above inequality yields
Hence, for any \(x_0>0,\beta >0\) if \(b=\rho (0)<e^{-Cx_0}\beta \) then \(\rho (x)<\beta \) for all \(x\le x_0\), completing the proof. \(\square \)
For any b-orbit we define \(\theta (x,b)\) as follows
for any \(x>0\). The rotation number \(\Omega (b)\) of the b-orbit is given by the expression
Here \(x_e(b)\) denotes the smallest \(x>0\) at which the b-orbit exits the set
Lemma 2.4
Let h(x) be a solution of (2.4). Assume that \(\rho (x,b)\) is close to zero and that
For any \(x_0>0\) given, \(\theta '(x,b)\) is uniformly bounded from above on \([0,x_0]\) by a negative constant.
Proof
Again, we make use of the shorthand notation \(\theta (x)=\theta (x,b)\) and \(h(x)=h(x,b)\). A straightforward calculation yields
where we employed (2.4). Using a number of trigonometric identities this can manipulated as
We may further manipulate the above expression as follows
where
Now, we set \(a:=(p-1-\frac{m}{2}),b:=\frac{1}{2}(m-p)\) and consider the function
Note that due to the assumption (2.7) we have \(b>0\). The extremal points of \(g(\theta )\) can be characterized by
This can for example be achieved by regularizing the absolute value in the definition of \(g(\theta )\). In order to solve (2.9) for \(\theta \) we have to make a case distinction between \(a>0\) and \(a<0\). If \(a>0\), then a direct calculation shows that (2.9) vanishes for \(\theta _0=\frac{1}{2}{\text {arccot}}(\frac{a}{b})\), in the case that \(a<0\), we find \(\theta _0=-\frac{1}{2}{\text {arccot}}(\frac{a}{b})\).
However, it is straightforward to check that in both cases
Reinserting the definitions of a, b we get
Now, we may estimate
A direct calculation shows that
if \(m<3p-2+2\sqrt{p(p-1)}\).
By the previous Lemma, for any \(x_0>0\), by choosing b sufficiently small, we can make the second term on the right-hand side of \(\delta _p\) arbitrarily small for \(x\in [0,x_0]\). Now, for \(m<3p-2+2\sqrt{p(p-1)}\) the right hand side of the above inequality is bounded from above by a negative constant which completes the proof. \(\square \)
Combining the previous two lemmas we obtain the following result.
Proposition 2.5
Assume that \(p<m<3p-2+2\sqrt{p(p-1)}\). Then for any given \(N>0\) there exists an \(\varepsilon >0\) such that if \(0<b<\varepsilon \), then \(\Omega (b)>N\).
Proof
By the previous Lemma we have \(\theta '(x,b)<-C\) for \(x\in [0,x_0]\) where C is a positive constant. Set \(x_0:=\frac{N\pi }{C}\), then we have
As \(\rho (x)\) is sufficiently small for \(x\le x_0\) we have \(x_e(b)>x_0\). We conclude that
completing the proof. \(\square \)
Lemma 2.6
If a b-orbit stays in \(\Gamma \) for all \(x\ge 0\) and if in addition h(x, b) has a finite number of zeros, then \(\lim _{x\rightarrow \infty }h(x,b)\rightarrow \pm \frac{\pi }{2}\) and \(\lim _{x\rightarrow \infty }h'(x,b)\rightarrow 0\).
Proof
For simplicity, we use the shorthand notation \(h(x):=h(x,b)\). Suppose that \(h(x_0)\) has an extremal point for some \(x_0\in \mathbb {R}\), that is \(h'(x_0)=0\). Then from (2.4) we get
and we may conclude that in the set \(\Gamma \) the solution h(x) cannot have a positive minimum or a negative maximum. We deduce that for x sufficiently large the solution h(x) must be monotonic as it is not allowed to oscillate around zero at infinity by assumption. Due to the monotonicity of h(x) we have the limit \(\lim _{x\rightarrow \infty }h'(x)=0\) and we conclude from (2.4) that \(\lim _{x\rightarrow \infty }h(x)=\pm \frac{\pi }{2}\) or \(\lim _{x\rightarrow \infty }h(x)=0\).
To complete the proof it remains to show that the second case, i.e. \(\lim _{x\rightarrow \infty }h(x)=0\), does not occur. To this end we assume that \(x_0\) is the last extremum of h(x) before x approaches infinity. Now consider the Lyapunov function W(x) at the point \(x_0\): it satisfies \(W(x_0)>-(m-1)^{\tfrac{p}{2}}\). Indeed, if \(h'(x_0)=0\), we would have \(h(x)\equiv 0\), contradicting that h(x) has a finite number of zeros. As W(x) is monotonically increasing we would get a contradiction from \(\lim _{x\rightarrow \infty }h(x)=0\) since then we would have \(W(\infty )=-(m-1)^{\tfrac{p}{2}}\). Therefore, this case does not occur. \(\square \)
Proof of Theorem 1.1
We define the set
In order to ensure that the set \(S_1\) is not the empty set, we employ the Lyapunov function W(x) as considered in Lemma 2.1. Note that for a b-orbit we have \(h(0)=0\) and \(h'(0)=b\). A direct calculation shows that
By choosing \(b>0\) appropriately we get \(W(0)>0\) and due to the monotonicity of W(x) established in (2.3) we then have \(W(x)>0\) for all \(x\ge 0\). Therefore we have \(h'(x)>0\) for all \(x>0\). Consequently, the b-orbit constructed above exits the set \(\Gamma \) through \(h=\frac{\pi }{2}\) with \(\Omega (b)<\tfrac{1}{2}\). Set \(b_1:=\inf S_1\). By Proposition 2.5 we know that \(b_1>0\). Note that the \(b_1\)-orbit cannot exit the set \(\Gamma \) via \(h=\frac{\pi }{2}\) as this would also hold true for any ‘nearby orbit’ with \(b<b_1\) which would contradict the definition of \(b_1\). Hence, the \(b_1\)-orbit stays in \(\Gamma \) for all \(x>0\) and by Lemma 2.6 we get that \(\Omega (b_1)=\tfrac{1}{2}\).
Next, we construct the second orbit \(S_2\) which we define by
The strategy to complete the proof is to show that \(S_2\) is non-empty and then to proceed inductively.
Note that by definition of \(b_1\), for \(b<b_1\) we have \(\Omega (b)>\tfrac{1}{2}\). We will show that for \(b<b_1\) still sufficiently close to \(b_1\), we have \(\Omega (b)\le \tfrac{3}{2}\) and hence \(b\in S_2\). For this purpose, let \(x_a>0\) be such that \(h'(x_a)=0\) and \(0<h(x_a)<\tfrac{\pi }{2}\). By choosing b sufficiently close to \(b_1\), we can make \(x_a\) as large as we want. Further, let \(x_b\) the smallest \(x>x_a\) such that \(h(x)=0\). Note that \(x_a\) and \(x_b\) exist by the definition of \(b_1\). Moreover, from (2.2) we have
Our goal is to prove that for b appropriately chosen we have \(W(x_b)\ge 0\). Hence, due to (2.10) and the monotonicity of W(x), \(h'(x)<0\) for all \(x\ge x_a\), providing that \(S_2\) is non-empty. To accomplish the above goal we estimate the difference \(W(x)-W(x_a)\) in two ways and combine the resulting estimates.
On the one hand, from the proof of Lemma 2.1, we have
and thus we get
for \(x\in (x_a,x_b)\). Here, we made use of the fact that h(x) cannot have a positive minimum and thus \(A^{\tfrac{p}{2}-1}(x)\) is monotonically increasing in \((x_a,x_b)\).
On the other hand, the monotonicity of W(x) yields
Below we use the shorthand notations
and
Further, let \(x_0\in (x_a,x_b)\) such that \(h(x_0)=\tfrac{\pi }{4}\). For \(x\in [x_0,x_b]\) we thus have \(\cos ^2 h(x)\ge \tfrac{1}{2}\).
Note that if there exists a \(\hat{x}\ge 0\) such that \(h'(\hat{x})^2>\tfrac{m-1}{p-1},\) then \(W(\hat{x})>0\). Hence \(W(x)>0\) for all \(x\ge \hat{x}\) and thus \(h'(x)\ne 0\) for \(x\ge \hat{x}\). Consequently, below we may assume without loss of generality
for all \(x\ge 0\).
Let \(x\in [x_0,x_b]\) such that \(f(x)\ge 0\). Thus, from (2.12) and (2.13) we have
Thus, we find
Let \(x\in [x_0,x_b]\) such that \(f(x)\le 0\). Thus, from (2.12) we get
which yields
Combining (2.14) and (2.15) we get
for all \(x\in [x_0,x_b]\). Note that for p and m given, we can chose \(x_a\) sufficiently large such that \(c_1\) is positive.
From (2.13) we obtain a lower positive bound \(c_2\) on \(x_b-x_0\), which depends on p and m. Thus, from (2.11) we get
For the last estimate we assume that \(x_a\) is large enough.
Hence, the monotonicity of W(x) implies \(h'(x)<0\) for all \(x>x_0\). Consequently, the set \(S_2\) is non-empty and we can proceed as before. We can now iterate the argument.
This completes the proof of Theorem 1.1.
Proof of Theorem 1.2
First, we study the linearization of (2.4). It is straightforward to check that the right-hand side of (2.4) vanishes in the case that \(h(x)=k\frac{\pi }{2}\) for \(k\in \mathbb {Z}\). In order to linearize the above equation we now calculate \(\frac{d}{ds}\big |_{s=0}h(x)=h_L(x)\) and evaluate it at the critical point \(h_0=0\). The resulting equation is
Although it is straightforward to explicitly solve (2.16) in terms of orthogonal polynomials we can directly obtain the desired information by investigating (2.16) for large values of x in which case we need to study
Making the ansatz \(h_L(x)=e^{\alpha x},\alpha \in {\mathbb {C}}\), we obtain the algebraic equation
which has the solutions
It is easy to see that for \(m<2+p+2\sqrt{p}\) we have that \(\alpha \in {\mathbb {C}}\) such that (2.17) admits oscillatory solutions. If \(m>2+p+2\sqrt{p}\) the solutions of (2.17) will grow exponentially which is an obstruction to the existence of solutions of (2.4).
Remark 2.7
We want to point out that there are two places in the proof of Theorem 1.1 where we needed to impose a restriction on the dimension. In Lemma 2.5 we needed to make the assumption \(p<m<3p-2+2\sqrt{p(p-1)}\) in order to get the desired bound on \(\theta '(x)\). However, in the proof of the above Theorem we have seen that we have to impose the stronger restriction \(p<m< 2+p+2\sqrt{p}\). Note that in the case of \(p=2\) both inequalities coincide such that this phenomena seems to be specific for p-harmonic maps.
3 Second variation formula and Proof of Theorem 1.4
In this section we prove Theorem 1.4. The techniques that we employ here are inspired from our recent investigation of the (equivariant) stability of harmonic self-maps of cohomogeneity one manifolds [4].
In order to prove Theorem 1.4 we hence first calculate the second variation of the symmetry reduced energy (2.1).
Lemma 3.1
Suppose that h(x) is a critical point of (2.1). Then the second variation of (2.1) is given by
where \(h_s(x)\) is a one-parameter variation of the map h(x) that satisfies
Proof
This follows by a direct, but lengthy calculation. \(\square \)
A p-harmonic map is equivariantly stable if and only if the Jacobi operator associated to the second variation of the symmetry reduced energy (1.1) has only positive eigenvalues. Hence, in order to investigate the equivariant stability of p-harmonic self-maps of the sphere we have to solve the following eigenvalue problem
Below we focus on the equivariant stability of the identity map.
Lemma 3.2
The equivariant stability of the identity map of \(\mathbb {S}^m\) considered as a solution of the equation for p-harmonic self-maps of the sphere is described by the following spectral problem
where
Proof
In the case of the identity map \(h_1(x)=-\frac{\pi }{2}+2\arctan (e^x)\) we have the following identities
Moreover, a direct calculation yields
Inserting these identities into (3.1) completes the proof. \(\square \)
In order to complete the proof of Theorem 1.4 we recall some facts on the so-called Gegenbauer polynomials. For more details on this subject we refer to [1, Chapter 22] and the website [16, Chapter 18].
Consider a second order linear ordinary differential equation of the form
with \(\lambda _j=j(j+2\alpha )\). Then (3.3) is solved by the Gegenbauer polynomials \(C_j^{(\alpha )}(x)\), where \(j\ge 0\). The polynomials \(C_j^{(\alpha )}(x)\) are sometimes also called ultraspherical polynomials in the literature.
Theorem 3.3
The spectral problem (3.2) describing the equivariant stability of the identity map, which we parametrize by \(h_1(x)=-\frac{\pi }{2}+2\arctan (e^x)\), is solved by
where \(j\in \,\mathbb {N}_+\).
Proof
In order to solve the eigenvalue problem (3.2) we make the ansatz
A direct calculation shows that for this ansatz
such that (3.2) becomes
We find that \(f(x)=1\) and \(\hat{\lambda }=p-m\) solves the above equation.
In order to completely solve the spectral problem (3.2) we perform the transformation \(f(x)=u(\tanh x )\) which gives the equation
This equation is of the form (3.3), thus the claim follows.
This completes the proof of Theorem 1.4. \(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Abramowitz, M, Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Volume 55 of National Bureau of Standards Applied Mathematics Series. For sale by the Superintendent of Documents, U.S. Government Printing Office, Washington, DC (1964)
Baird, P., Gudmundsson, S.: \(p\)-harmonic maps and minimal submanifolds. Math. Ann. 294(4), 611–624 (1992)
Bizoń, P., Chmaj, T.: Harmonic maps between spheres. Proc. R. Soc. Lond. Ser. A 453(1957), 403–415 (1997)
Branding, V., Siffert, A.: On the equivariant stability of harmonic self-maps of cohomogeneity one manifolds. J. Math. Anal. Appl. 517(2), 126635 (2023)
Dong, Y., Lin, H.: Gradient estimate and Liouville theorems for \(p\)-harmonic maps. J. Geom. Anal. 31(8), 8318–8333 (2021)
Fardoun, A.: On equivariant \(p\)-harmonic maps. Ann. Inst. H. Poincaré C Anal. Non Linéaire 15(1), 25–72 (1998)
Fardoun, A.: On weakly \(p\)-harmonic maps to a closed hemisphere. Manuscr. Math. 116(1), 57–69 (2005)
Fardoun, A., Regbaoui, R.: Heat flow for \(p\)-harmonic maps between compact Riemannian manifolds. Indiana Univ. Math. J. 51(6), 1305–1320 (2002)
Fardoun, A., Regbaoui, R.: Heat flow for \(p\)-harmonic maps with small initial data. Calc. Var. Partial. Differ. Equ. 16(1), 1–16 (2003)
Gastel, A.: Regularity issues for Cosserat continua and \(p\)-harmonic maps. SIAM J. Math. Anal. 51(6), 4287–4310 (2019)
Hardt, R., Lin, F.-H.: Mappings minimizing the \(L^p\) norm of the gradient. Commun. Pure Appl. Math. 40(5), 555–588 (1987)
Ishida, M.: The existence of \(p\)-harmonic maps between spheres. Math. J. Okayama Univ. 37, 187–200 (1995)
Kawai, S., Nakauchi, N., Takeuchi, H.: On the existence of \(n\)-harmonic spheres. Compos. Math. 117(1), 33–43 (1999)
Miśkiewicz, M., Petraszczuk, B., Strzelecki, P.: Regularity for solutions of \(H\)-systems and \(n\)-harmonic maps with \(n/2\) square integrable derivatives. arXiv:2206.13833 (2022)
Nagano, T., Makiko, S.: Stability of \(p\)-harmonic maps. Tokyo J. Math. 15(2), 475–482 (1992)
Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V., Cohl, H.S., McClain, M.A. (eds): NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/. Release 1.1.1 of 2021-03-15
Takeuchi, H.: Stability and Liouville theorems of \(p\)-harmonic maps. Jpn. J. Math. (N.S.) 17(2), 317–332 (1991)
Wei, S.W.: On \(p\)-harmonic maps and their applications to geometry, topology and analysis. Tamkang J. Math. 28(2), 145–167 (1997)
Wei, S.W.: Representing homotopy groups and spaces of maps by \(p\)-harmonic maps. Indiana Univ. Math. J. 47(2), 625–670 (1998)
Xingwang, X., Yang, P.C.: A construction of \(m\)-harmonic maps of spheres. Int. J. Math. 4(3), 521–533 (1993)
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Andrea Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author gratefully acknowledges the support of the Austrian Science Fund (FWF) through the START-project Y963-N35 of Michael Eichmair and the project “Geometric analysis of biwave maps” P 34853. The second author 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.
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/.