Abstract
In this article, we study polyharmonic curves of constant curvature where we mostly focus on the case of curves on the sphere. We classify polyharmonic curves of constant curvature in three-dimensional space forms and derive an explicit family of polyharmonic curves on the sphere. Our results give new insights into the geometric structure of higher order variational problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and results
Geometric variational problems are a vibrant field of research with many links to analysis, geometry, and theoretical physics. One of their most prominent representatives are harmonic maps which are a subject on which a significant number of results could be achieved by many mathematicians.
Let us briefly recall the mathematical setup employed in the theory of harmonic maps. We consider a smooth map \(\phi \) between two Riemannian manifolds \((M,g)\) and \((N,h)\) and its associated energy
The critical points of (1.1) are characterized by the vanishing of the so-called tension field which is defined as follows
where \({\bar{\nabla }}\) represents the connection on \(\phi ^*TN\). The solutions of \(\tau (\phi )=0\) are called harmonic maps. The harmonic map equation is a second order semilinear elliptic partial differential equation for which many powerful tools, such as the maximum principle, can be used to investigate existence and qualitative behavior of a given solution.
There are various variants in the mathematics literature that extend the classical energy functional (1.1) taking into account higher derivatives of the map \(\phi \).
One possibility is given by the following energy functional, usually referred to as \(r\)-energy, where we need to distinguish between the even and the odd case
The critical points of (1.3) are called polyharmonic maps of order \(r\) or simply \(r\)-harmonic maps and were explicitly determined by Wang [29] and in addition by Maeta [20], who also calculated the second variation of (1.3).
Polyharmonic maps are a semilinear elliptic equation of order \(2r\) making it a challenging problem to find explicit solutions of the latter. For the explicit structure of \(r\)-harmonic maps, we refer to [20].
Let us mention several recent results obtained for the critical points of (1.3). Explicit solutions of the Euler–Lagrange equations of (1.3) were constructed in [25, 26]. Hypersurfaces in space forms characterized by critical points of (1.3) have been investigated in [4, 27]. For classification results of the critical points of (1.3), we refer to [7] and various unique continuation properties were studied in [8]. The stress-energy tensor of (1.3) has been systematically analyzed in [5].
Another possibility of obtaining a higher order energy functional for maps between Riemannian manifolds was suggested by Eells and Sampson in 1964 [15] by considering
The critical points of (1.4) are referred to as ES-r-harmonic maps. In general, the critical points of (1.3) and (1.4) will be given by a different set of equations. However, if \(r=1,2,3\) or in the case of a one-dimensional domain, both functionals (1.3) and (1.4) coincide. For an extensive analysis of (1.4) and a discussion of the differences between (1.3) and (1.4), we refer to the recent articles [3, 6, 8, 27].
A drawback of the energy functionals (1.3) and (1.4) is the fact that they are not coercive which makes it a challenging problem to prove the existence of critical points. However, there exists another higher order energy functional which overcomes this problem. In this case, it is assumed that the target manifold \(N\) is realized as a submanifold of some \(\mathbb {R}^q\). For example, in the case of a spherical target, we can consider smooth maps \(u:M\rightarrow {\mathbb {S}}^n\subset \mathbb {R}^{n+1}\) and in this case the energy functional for extrinsic polyharmonic maps is given by
For a recent analysis of (1.5) and related background material, we refer to [16].
In this article, we will consider the aforementioned energy functionals (1.3) and (1.4) in the case of a one-dimensional domain and mostly choose a spherical target.
The \(r\)-energy for a curve \(\gamma :I\subset \mathbb {R}\rightarrow N\) (corresponding to both (1.3) and (1.4) if \(\dim M=1\)) is given by
where \(T=\gamma '\) is the tangent vector of \(\gamma \) and \(s\) represents the parameter of the curve \(\gamma \).
The critical points of (1.6) were calculated in [20, 29] and are characterized by the equation
with \(R^N\) being the curvature tensor of the manifold \(N\).
Solutions of (1.7) are called polyharmonic curves of order \(r\) or shortly r-harmonic curves. In the case of \(r=1\) the energy (1.6) reduces to the usual energy of a curve whose critical points are geodesics. Clearly, every geodesic is a solution of the equation for \(r\)-harmonic curves (1.7), hence we are interested in finding non-geodesic solutions of (1.7) which we will call proper \(r\)-harmonic curves.
Let us give an overview on the results for \(r\)-harmonic curves which have already been established in the mathematics literature. Much research has been performed for \(r=2\) in which case solutions of (1.7) are called biharmonic curves. Biharmonic curves on surfaces were investigated in [12], for biharmonic curves on the Euclidean sphere, we refer to [1, 10, 11]. The Euler-Lagrange method for biharmonic curves was introduced in [13] and further developed in [28]. Making use of an algebraic approach proper biharmonic curves on quadrics were studied in [24], explicit formulas for proper biharmonic curves in Sasakian space forms have been obtained in [17]. For an extended summary on biharmonic curves, we refer to [14, Section 4].
If \(r=3\), the solutions of (1.7) are called triharmonic curves. Some general results on triharmonic maps have been obtained in [21], triharmonic curves on surfaces and three dimensional spaces with constant curvature were studied in [20]. Recently, triharmonic curves on three-dimensional homogeneous spaces [23] and on \(f\)-Kenmotsu Manifolds [2] have been investigated. While biharmonic curves always need to have constant geodesic curvature, it was shown in [23, Theorem 1.1] that there exist proper triharmonic curves whose geodesic curvature is non-constant.
Not many results have been established for \(r\)-harmonic curves and \(r\ge 3\) as this comes with many challenging technical difficulties. As already mentioned above, a geodesic is always a solution of the equation for \(r\)-harmonic curves (1.7). However, it was shown by Maeta [20] that biharmonic curves are not triharmonic in general and we thus expect that \(r\)-harmonic curves will be different from \(q\)-harmonic curves, whenever \(q\ne r\). For the investigation of \(r\)-harmonic curves in Euclidean spaces, we refer to [19, Section 3].
It should also be mentioned that it is possible to produce \(r\)-harmonic curves from geodesics by reparametrizing the domain using a diffeomorphism. To this end, assume that \(\varphi (t)\) is a geodesic, we reparametrize it using a diffeomorphism \(\mu (s)\) and consider \(\psi (s):=(\varphi \circ \mu )(s)\). Then a direct calculation shows that \(\psi (s)\) is a proper \(r\)-harmonic curve if and only if \(\mu (s)\) is a polynomial of order \(r'\), where \(2\le r'\le 2r-1\). For more details, see [3, Section 2.1].
Throughout this article, we will use the word helix in order to denote a curve whose geodesic curvature \(k\) and whose torsion \(\tau \) are constant.
The first main contribution of this article is the following theorem characterizing \(r\)-harmonic curves on three-dimensional space forms. Note that in the following theorem the symbol \(\tau \) represents the torsion of the curve \(\gamma \) and does not represent the tension field as defined in (1.2).
Theorem 1.1
Let \(\gamma :I\rightarrow N\) be an \(r\)-harmonic curve parametrized by arclength where \(N\) is a three-dimensional space form with constant curvature \(K\). Furthermore, we assume that the geodesic curvature \(k\) and the torsion \(\tau \) of the curve \(\gamma \) are constant. Then the following relation holds
This result extends a corresponding result for triharmonic curves [23, Theorem 4.4] to arbitrary values of \(r\). Moreover, a similar statement for \(r\)-harmonic curves on surfaces was given in [20, Propositions 5.6, 5.7].
A direct consequence of Theorem 1.1 is the following
Corollary 1.2
Let \(\gamma :I\rightarrow N\) be an \(r\)-harmonic curve parametrized by arclength where \(N\) is a three-dimensional space form with constant non-positive curvature \(K\le 0\). Furthermore, we assume that the geodesic curvature \(k\) and the torsion \(\tau \) of the curve \(\gamma \) are constant. Then \(\gamma \) is a geodesic.
Remark 1.3
-
(1)
The last statement supports the fact that for a target with negative curvature, polyharmonic maps necessarily have to be harmonic while in the case of a spherical target there may be additional solutions besides harmonic maps.
-
(2)
If we consider an \(r\)-harmonic helix in the sphere \({\mathbb {S}}^n\) with \(n\) sufficiently large, one can show by rewriting the Euler-Lagrange equation (1.7) in terms of its Frenet-frame that \(r\)-harmonic helices actually lie in \({\mathbb {S}}^{2r-1}\). Here, we use the terminology helix to denote a curve of which all geodesic curvatures in its Frenet-frame are constant. As \({\mathbb {S}}^{2r-1}\) is totally geodesic in \({\mathbb {S}}^n\) for \(n\) sufficiently large, this supports the fact that the most general \(r\)-harmonic helix of a sphere lies in \({\mathbb {S}}^{2r-1}\).
Using the explicit parametrization of helices in \({\mathbb {S}}^3\), we can get the following application of Theorem 1.1:
Corollary 1.4
For any \(r\ge 3\), there exists a family of \(r\)-harmonic curves \(\gamma :I\rightarrow {\mathbb {S}}^3\) with constant positive geodesic curvature \(k\) and constant positive torsion \(\tau \).
The second main result of this article is the following existence result for \(r\)-harmonic curves on the sphere.
Theorem 1.5
The curve \(\gamma :I\rightarrow {\mathbb {S}}^n\) given by
where \(e_i,i=1,2,3\), are mutually perpendicular and satisfy \(|e_1|^2=|e_2|^2=\frac{1}{r},|e_3|^2=\frac{r-1}{r}\) is a proper \(r\)-harmonic curve which is parametrized by arclength.
Remark 1.6
-
(1)
The curves (1.9) are planar and have constant geodesic curvature \(k^2=r-1\) which is precisely what we expect from (1.8) on the two-dimensional sphere \({\mathbb {S}}^2\).
-
(2)
The family of \(r\)-harmonic curves obtained in Theorem 1.5 is unstable in the sense that for such curves the second variation of the \(r\)-energy is negative. A detailed investigation of the stability of \(r\)-harmonic curves \(\gamma :I\rightarrow {\mathbb {S}}^2\) for \(r=2\) was carried out in [22] and for \(r=2,3,4\) in [3, Section 5].
-
(3)
Since the classification of \(r\)-harmonic curves is up to isometries, we can assume that \(k>0\) and \(\tau \ge 0\). Let us denote \(x=k^2\) and \(y=\tau ^2\), then with \(K=1\), that is, the case of a spherical target, will give us the equation of a conic and we are interested in the intersection of the conic with the first quadrant. Actually, when \(r=2\), the conic consists of two parallel lines given by \(x+y=0\) and \(x+y=1\) and the biharmonic curves can be indexed by the segment \((A,B]\), where \(A=(0,1)\) and \(B=(1,0)\). In the case that \(r\ge 3\), the conic is a parabola and its intersection with the first quadrant is a non-empty and connected segment of a parabola.
-
(4)
It is well-known that a helix in \({\mathbb {S}}^3\) is a geodesic on the generalized Clifford torus \(T={\mathbb {S}}^1(\cos (\alpha ))\times {\mathbb {S}}^1(\sin (\alpha )),\alpha \in (0,\pi /2)\). In the case that \(\gamma \) is a proper biharmonic curve in \({\mathbb {S}}^3\), it then is a geodesic on the Clifford torus \(T={\mathbb {S}}^1(\frac{1}{\sqrt{2}})\times {\mathbb {S}}^1(\frac{1}{\sqrt{2}})\subset {\mathbb {S}}^3\), see for example [1, Theorem 2.2]. Note that this torus is special as it is minimal in \({\mathbb {S}}^3\). However, for an \(r\)-harmonic helix in \({\mathbb {S}}^3\) with \(r\ge 3\) arbitrary, but fixed, the situation is different. It lies on a torus \(T={\mathbb {S}}^1(\cos (\alpha ))\times {\mathbb {S}}^1(\sin (\alpha ))\), which is never the Clifford torus, and which is different for each member of the family of \(r\)-harmonic helices described in Corollary 1.4 while in the case of biharmonic curves the torus is always the Clifford torus.
-
(5)
The last two items strongly suggest that biharmonic curves are special among all \(r\)-harmonic curves.
The statement of Theorem 1.5 is known in the mathematics literature [11, Proposition 4.4] in the biharmonic case (\(r=2\)).
Similar results for the inclusion map \(\iota :{\mathbb {S}}^n\hookrightarrow {\mathbb {S}}^{n+1}\) were already obtained. It was shown in [25, Theorem 1.1] that the canonical inclusion \(\iota :{\mathbb {S}}^n(R)\hookrightarrow {\mathbb {S}}^{n+1}\) is a proper critical point of (1.3), which corresponds to a proper \(r\)-harmonic submanifold \({\mathbb {S}}^n(R)\) of \({\mathbb {S}}^{n+1}\) if and only if \(R=\frac{1}{\sqrt{r}}\). This result was later generalized to critical points of (1.4) in [3, Theorem 1.1].
Throughout this article, we will use the following notation. By \(s\) we will denote the parameter of the curve \(\gamma \), the first, second, and third derivative of \(\gamma \) will be written as \(T:=\gamma ',\gamma ''\), and \(\gamma '''\), respectively. The \(l\)-th derivative of \(\gamma \) with respect to \(s\) will be written as \(\gamma ^{(l)}\) where \(l=4,\ldots ,2r\).
2 Proofs of the main results
In this section, we provide the proofs of the main results of this article, which are Theorems 1.1 and 1.5.
In the case of a space form, the Riemann curvature tensor acquires the simple form
where \(X,Y,Z\) are vector fields and \(K\) the sectional curvature. Then the equation for polyharmonic curves (1.7) simplifies as follows
where \(T=\gamma '\) represents the unit tangent vector of the curve \(\gamma \).
Now, we assume that the target manifold \(N\) is a three-dimensional space form with a metric of constant curvature \(K\). Moreover, let \(\gamma \) be an arclength parametrized curve with tangent vector \(T\). We choose the orthonormal Frenet-frame \(\{T,F_2,F_3\}\) which satisfies the Frenet-equations
where \(k\) represents the geodesic curvature of the curve \(\gamma \) and \(\tau \) its torsion. Again, note that we use the symbol \(\tau \) to denote both the torsion of a curve and the tension field of a map, see (1.2).
Lemma 2.1
Let \(\gamma :I\rightarrow N\) be a curve parametrized by arclength together with its Frenet-frame \(\{T,F_2,F_3\}\). Furthermore, we assume that \(k\) and \(\tau \) are constant. Then the following formulas hold
where \(l\ge 1\).
Proof
Using the Frenet-equations (2.2), we find
The claim then follows by iteration. \(\square \)
Proof of Theorem 1.1
First, we assume that \(r\) is even. Using (2.3) in (2.1), we find
Hence, we may conclude that the equation for an \(r\)-harmonic curve (2.1) implies
yielding the claim in the case that \(r\) is even. The case of \(r\) being odd can be treated similarly. \(\square \)
Proof of Corollary 1.4
An arbitrary helix in \({\mathbb {S}}^3\) can be parametrized by
where \(\alpha \in (0,\pi /2)\) and \(a,b\) are positive real numbers. We require that \(a^2\cos ^2\alpha +b^2\sin ^2\alpha =1\) which ensures that \(|\gamma '|^2=1\). We choose \(a>b\) and find that the geodesic curvature \(k\) and the torsion \(\tau \) of the curve (2.4) are given by
For more details on the geometry of helices in \({\mathbb {S}}^3\), we refer to [18, Section 3]. Inserting (2.5) into the general formula relating torsion and curvature of a polyharmonic curve (1.8), we find after a straightforward calculation
The system (2.6) describes a particular conic section and one can expect that there exist many positive \(a,b\in \mathbb {R}\) that satisfy (2.6). In order to find one particular solution, we set
Inserting into (2.6) then gives
where we now assume that \(r\ge 3\) and \(R^2<r\). For \(R^2\) being close to \(r\), the right-hand side of this equation is close to zero such that there exists a \(t\in (0,\epsilon )\) solving
It is straightforward to check that
and hence for \(R^2\) close enough to \(r\), we get \(a=R\cos (t)>1\) and \(b=R\sin (t)<1\) that solve the system (2.6). Finally, as \(a>1,b<1\), one can always find a number \(\alpha \in (0,\pi /2)\) such that the constraint \(a^2\cos ^2\alpha +b^2\sin ^2\alpha =1\) is satisfied. \(\square \)
In the following, we will provide the proof of Theorem 1.5. We consider an ansatz of the form
where \(e_i,i=1,2,3\), are mutually perpendicular, \(|e_1|^2=|e_2|^2=\alpha ^2,|e_1|^2+|e_3|^2=1\), and \(a\in \mathbb {R}\). Note that we do not require the curve to be parametrized by arclength at this point.
We will use the relation between the \(r\)-energy (1.3) and the associated Lagrangian
Moreover, we will make use of the inclusion map \(\iota :{\mathbb {S}}^n\rightarrow \mathbb {R}^{n+1}\) and also exploit the special structure of the Levi-Civita connection \(\nabla \) on the sphere
where \(X\) is a vector field on \({\mathbb {S}}^n\subset \mathbb {R}^{n+1}\).
Using these facts, we give an expression of the Lagrangian associated with the \(r\)-energy for arbitrary values of \(r\).
Lemma 2.2
Consider the curve \(\gamma :I\rightarrow {\mathbb {S}}^n\) given by
where \(e_i,i=1,2,3\), are mutually perpendicular, \(|e_1|^2=|e_2|^2=\alpha ^2,|e_1|^2+|e_3|^2=1\), and \(a\in \mathbb {R}\).
Then, for any \(l\in \mathbb {N}\), the following formulas hold
where \(\iota :{\mathbb {S}}^n\rightarrow \mathbb {R}^{n+1}\) denotes the embedding of \({\mathbb {S}}^n\) into \(\mathbb {R}^{n+1}\).
Proof
Using the above ansatz, a direct calculation shows
The claim now easily follows by induction. \(\square \)
Using (2.8), we are now able to give a recursion formula for the \(r\)-energy of a curve of the form (2.7). Similar recursion formulas for the inclusion map \(\iota :{\mathbb {S}}^n\hookrightarrow {\mathbb {S}}^{n+1}\) were obtained in [25, Lemma 3.8] in the study of proper \(r\)-harmonic submanifolds and in [3, Proposition 2.10] in the study of proper ES-r-harmonic submanifolds.
Lemma 2.3
Consider the curve \(\gamma :I\rightarrow {\mathbb {S}}^n\) given by
where \(e_i,i=1,2,3\), are mutually perpendicular, \(|e_1|^2=|e_2|^2=\alpha ^2,|e_1|^2+|e_3|^2=1\), and \(a\in \mathbb {R}\). Then the Lagrangian associated with the \(r\)-energy of \(\gamma \) is given by
where \(r\ge 1\).
Proof
Using (2.8), a direct calculation yields
completing the proof. \(\square \)
Proof of Theorem 1.5
By making use of the ansatz (2.7), we have reduced the general \(r\)-energy for a curve (1.6) to the simpler form (2.9).
Thus, we now consider the variation of the Lagrangian associated to (2.9) with respect to \(\alpha \) and find
The right hand side of this equation vanishes for \(\alpha =1\) (assuming that \(r\ge 3\)) corresponding to the case of \(\gamma \) being a geodesic but also for \(1=\alpha ^2r\) which is the case we are interested in.
At this point, we impose that the curve \(\gamma \) is parametrized with respect to arclength. Employing the ansatz (2.7), we find \(|\gamma '|^2=a^2\alpha ^2\). Combining the arclength constraint \(a^2\alpha ^2=1\) with the equality obtained from the first variation formula \(1=\alpha ^2r\), we obtain \(a^2=r\) completing the proof. \(\square \)
Remark 2.4
As the curve (2.7) is a plane curve, we could choose \({\mathbb {S}}^2\) instead of \({\mathbb {S}}^n\) in the proof of Theorem 1.5.
In [9, Remark 2.9], it is noted that the composition of a biharmonic and a totally geodesic map is biharmonic and one should expect that the same also holds true for \(r\)-harmonic maps. Consequently, it should be possible to prove Theorem 1.5 by only working on \({\mathbb {S}}^2\) and then using that \({\mathbb {S}}^2\) is totally geodesic in \({\mathbb {S}}^n\) for \(n\ge 3\).
Let us also make a short comment on the stability of the family of curves (1.9) given in Remark 1.6.
Proposition 2.5
Let \(\gamma :I\rightarrow {\mathbb {S}}^n\) be an \(r\)-harmonic curve parametrized by arclength of the form (1.9). Then the second variation of the \(r\)-energy evaluated at a critical point is given by
where \(|I|=\int _Ids\).
Proof
By a direct calculation, we find
Evaluating this formula at the critical point \(\alpha ^2r=1,a^2=r\) completes the proof. \(\square \)
References
Balmuş, A., Oniciuc, C.: Some remarks on the biharmonic submanifolds of \({\mathbb{S}}^3\) and their stability. An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) 51(1), 171–190 (2005)
Bozdag, S.N.: Triharmonic curves in \(f\)-Kenmotsu manifolds. Int. Jo. Geom. 11(2), 78–90 (2022)
Branding, V., Montaldo, S., Oniciuc, C., Ratto, A.: Higher order energy functionals. Adv. Math. 370, 107236, 60 (2020)
Branding, V., Montaldo, S., Oniciuc, C., Ratto, A.: Polyharmonic hypersurfaces into pseudo-Riemannian space forms. Annali di Matematica (2022)
Branding, V.: The stress-energy tensor for polyharmonic maps. Nonlinear Anal. 190, 111616, 17 (2020)
Branding, V.: On finite energy solutions of 4-harmonic and ES-4-harmonic maps. J. Geom. Anal. 31(8), 8666–8685 (2021)
Branding, V.: A structure theorem for polyharmonic maps between Riemannian manifolds. J. Differential Equations 273, 14–39 (2021)
Branding, V., Montaldo, S., Oniciuc, C., Ratto, A.: Unique continuation properties for polyharmonic maps between Riemannian manifolds. Canad. J. Math. (2021)
Branding, V., Oniciuc, C.: Unique continuation theorems for biharmonic maps. Bull. Lond. Math. Soc. 51(4), 603–621 (2019)
Caddeo, R., Montaldo, S., Oniciuc, C.: Biharmonic submanifolds of \(S^3\). Internat. J. Math. 12(8), 867–876 (2001)
Caddeo, R., Montaldo, S., Oniciuc, C.: Biharmonic submanifolds in spheres. Israel J. Math. 130, 109–123 (2002)
Caddeo, R., Montaldo, S., Piu, P.: Biharmonic curves on a surface. Rend. Mat. Appl. (7) 21(1–4), 143–157 (2001)
Caddeo, R., Montaldo, S., Oniciuc, C., Piu, P.: The Euler–Lagrange method for biharmonic curves. Mediterr. J. Math. 3(3–4), 449–465 (2006)
Chiang, Y.-J.: Developments of Harmonic Maps, Wave Maps and Yang-Mills Fields into Biharmonic maps, Biwave Maps and Bi-Yang-Mills Fields. Frontiers in Mathematics, Birkhäuser/Springer, Basel (2013)
Eells, J., Jr., Sampson, J.H.: Énergie et déformations en géométrie différentielle. Ann. Inst. Fourier (Grenoble) 14(1), 61–69 (1964)
Fardoun, A., Montaldo, S., Ratto, A.: On the stability of the equator map for higher order energy functionals. Int. Math. Res. Not. IMRN 12, 9151–9172 (2022)
Fetcu, D., Oniciuc, C.: Explicit formulas for biharmonic submanifolds in Sasakian space forms. Pacific J. Math. 240(1), 85–107 (2009)
Gluck, H.: Geodesics in the unit tangent bundle of a round sphere. Enseign. Math. (2) 34(3–4), 233–246 (1988)
Maeta, S.: \(k\)-harmonic maps into a Riemannian manifold with constant sectional curvature. Proc. Amer. Math. Soc. 140(5), 1835–1847 (2012)
Maeta, S.: The second variational formula of the \(k\)-energy and \(k\)-harmonic curves. Osaka J. Math. 49(4), 1035–1063 (2012)
Maeta, S.: Construction of triharmonic maps. Houston J. Math. 41(2), 433–444 (2015)
Montaldo, S., Oniciuc, C., Ratto, A.: Index and nullity of proper biharmonic maps in spheres. Commun. Contemp. Math. 23(3), Paper No. 1950087, 36 pp. (2021)
Montaldo, S., Pámpano, A.: Triharmonic curves in 3-dimensional homogeneous spaces. Mediterr. J. Math. 18(5), 198 (2021)
Montaldo, S., Ratto, A.: Biharmonic curves into quadrics. Glasg. Math. J. 57(1), 131–141 (2015)
Montaldo, S., Ratto, A.: New examples of \(r\)-harmonic immersions into the sphere. J. Math. Anal. Appl. 458(1), 849–859 (2018)
Montaldo, S., Ratto, A.: Proper \(r\)-harmonic submanifolds into ellipsoids and rotation hypersurfaces. Nonlinear Anal. 172, 59–72 (2018)
Montaldo, S., Oniciuc, C., Ratto, A.: Polyharmonic hypersurfaces into space forms. Israel J. Math. 249(1), 343–374 (2022)
Montaldo, S., Ratto, A.: A general approach to equivariant biharmonic maps. Mediterr. J. Math. 10(2), 1127–1139 (2013)
Wang, S.B.: The first variation formula for \(k\)-harmonic mapping. J. Nanchang Univ. 13, (1989)
Acknowledgements
The author would like to thank Stefano Montaldo, Cezar Oniciuc, and Andrea Ratto for many helpful discussions on the topic and the two referees for their many helpful suggestions which helped to substantially improve the article.
Funding
Open access funding provided by Austrian Science Fund (FWF).
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.
The author gratefully acknowledges the support of the Austrian Science Fund (FWF) via the START-project Y963-N35 of Michael Eichmair and the project P34853-N35 “Geometric Analysis of Biwave Maps”.
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
Branding, V. On polyharmonic helices in space forms. Arch. Math. 120, 213–225 (2023). https://doi.org/10.1007/s00013-022-01809-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-022-01809-y