arxiv: 2605.03532 · v1 · submitted 2026-05-05 · 🧮 math.DG

Recognition: unknown

Existence and stability of weak critical points of r-energy functionals

Andrea Ratto, Antonio Sanna, Stefano Montaldo

Pith reviewed 2026-05-07 13:22 UTC · model grok-4.3

classification 🧮 math.DG

keywords r-harmonic mapsweakly harmonic mapscritical pointsstabilityrotationally symmetric mapsbiharmonic mapstriharmonic mapswarped product domains

0 comments

The pith

Rotationally symmetric maps from balls to spheres are proper weakly r-harmonic only in specific dimensions and are unstable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a one-parameter family of rotationally symmetric maps from the unit ball in n dimensions to the n-sphere and shows that members of this family solve the Euler-Lagrange equation for the r-energy functional precisely when n takes certain discrete values. It then proves that every such critical point is unstable by direct computation of the second variation. The analysis also records concrete differences between the ordinary r-harmonic and ES-r-harmonic equations when the order r is at least four, and it carries the same symmetry reduction to two related problems: targets that are rotationally symmetric ellipsoids and domains that are suitable warped products.

Core claim

By imposing rotational symmetry the Euler-Lagrange equation for the r-energy reduces to an ordinary differential equation that admits explicit solutions only for certain pairs (r,n); the resulting maps are proper weakly ES-r-harmonic critical points and all of them have negative second variation, hence are unstable. The same reduction yields proper weakly biharmonic maps into ellipsoids for every n greater than or equal to 5 and proper weakly triharmonic maps for every n greater than or equal to 7.

What carries the argument

The one-parameter family of rotationally symmetric maps φ_a that reduces the Euler-Lagrange equation of the r-energy to an ODE whose solvability is decided by the dimension n.

If this is right

Existence of these proper weakly r-harmonic maps is possible only for a restricted set of dimensions n that depends on r.
Every critical point obtained from the family is unstable.
For r at least 4 the ordinary r-harmonic and ES-r-harmonic equations differ in the coefficients that appear after the symmetry reduction.
Proper weakly biharmonic maps into rotationally symmetric ellipsoids exist for all n greater than or equal to 5.
Proper weakly triharmonic maps into the same ellipsoids exist for all n greater than or equal to 7.
The same symmetry method produces analogous existence results when the domain is replaced by a suitable warped product manifold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The dimension thresholds that appear for the sphere target may be replaced by lower thresholds when the target is deformed into an ellipsoid.
Instability of all symmetric solutions suggests that any energy-minimizing map, if it exists, must break rotational symmetry.
The explicit ODE solutions could be used as initial data for numerical schemes that search for other, non-symmetric critical points.
The same reduction technique might apply to higher-order energies on manifolds with additional symmetry groups beyond O(n).

Load-bearing premise

The rotationally symmetric ansatz reduces the Euler-Lagrange equation of the r-energy to an ODE whose solutions are proper weakly r-harmonic maps precisely when n belongs to a short list of integers.

What would settle it

An explicit substitution of one of the constructed maps into the weak form of the r-energy Euler-Lagrange equation showing that the integral identity fails for a dimension the paper claims works.

read the original abstract

The main aim of this paper is to prove the existence of certain proper weakly $r$-harmonic ($ES-r$-harmonic) maps. We construct critical points which belong to a family of rotationally symmetric maps $\varphi_a : B^n \to \mathbb{S}^n$, where $B^n$ and $\mathbb{S}^n$ denote the Euclidean $n$-dimensional unit ball and sphere respectively. We find that the existence of solutions within this family is restricted to specific dimensions $n$. Next, we prove that our critical points are \textit{unstable}. In the course of this analysis we point out some specific differences between the $r$-harmonic and the $ES-r$-harmonic cases when $r \geq 4$. Next, we analyse two variants of the problem. First, we replace the target manifold $\mathbb{S}^n$ with a rotationally symmetric ellipsoid $E^n(b)$ and establish the existence of proper weakly biharmonic maps for all $n \geq 5$, as well as proper weakly triharmonic maps for all $n \geq 7$. Finally, we study a similar problem replacing the domain $B^n$ with a suitable warped product manifold.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives explicit rotationally symmetric weak r-harmonic maps from the ball to the sphere in certain dimensions, proves instability, and extends the construction to ellipsoids and warped products.

read the letter

The core of the work is a symmetry-reduced construction: they plug a rotationally symmetric ansatz into the Euler-Lagrange equation for the r-energy and solve the resulting ODE for the profile function, obtaining solutions only for specific n. They then show these maps are unstable via second-variation arguments and note concrete differences in the r-harmonic versus ES-r-harmonic cases when r is at least 4. The same approach yields proper weakly biharmonic maps on ellipsoids for all n at least 5 and triharmonic maps for n at least 7, plus a version on warped-product domains. This is solid, hands-on progress because it supplies explicit families rather than non-constructive existence results, and the ODE reduction keeps everything computable in symmetric settings. The instability claims follow directly from the variational setup once the maps are in hand. The main soft spot is the integrability question near the origin. For the maps to be admissible weak critical points they must lie in W^{1,r}, which requires the integral of |d phi_a|^r to converge; if the ODE solution has a(r) behaving like r^gamma with gamma less than 1, the term involving (a(r)/r)^r may fail to integrate. The paper needs to record the precise asymptotics of its solutions and verify this convergence explicitly for the dimensions where existence is claimed. If that check is done and holds, the results are fine; if not, the maps are not in the domain. Readers working on higher-order harmonic maps and symmetry methods will get the most out of it. The paper is focused enough and the claims are concrete enough that it should go to peer review rather than be desk-rejected.

Referee Report

1 major / 2 minor

Summary. The paper proves existence of proper weakly r-harmonic (ES-r-harmonic) maps from the unit ball B^n to S^n via a one-parameter family of rotationally symmetric maps φ_a that reduce the Euler-Lagrange equation of the r-energy to an ODE; existence holds only for certain dimensions n. It establishes instability of these critical points, notes distinctions between the r-harmonic and ES-r-harmonic cases for r ≥ 4, and extends the construction to biharmonic/triharmonic maps into rotationally symmetric ellipsoids E^n(b) (for n ≥ 5 and n ≥ 7 respectively) as well as to a warped-product domain.

Significance. If the maps lie in the correct Sobolev space and the ODE solutions are verified to be weak critical points, the work supplies explicit examples of unstable weak critical points for r-energy functionals and their higher-order analogues. The symmetry reduction and the dimension restrictions, together with the ellipsoid and warped-product variants, add concrete instances to the literature on variational problems for maps into spheres and ellipsoids.

major comments (1)

[the construction of the family φ_a and the ODE analysis] The rotationally symmetric ansatz φ_a(x) = (a(r) x/|x|, b(r)) with a(0)=0 and a² + b² = 1 reduces the EL equation to an ODE whose solutions are asserted to exist for specific n. However, membership in the domain W^{1,r}(B^n, S^n) requires convergence of ∫_{B^n} |dφ_a|^r dx, which near the origin reduces to ∫_0^1 (|a'(r)|^r + (a(r)/r)^r) r^{n-1} dr < ∞. If the ODE solution satisfies a(r) ∼ r^γ with γ < 1, the integrand behaves like r^{r(γ-1) + n-1} and may diverge for the claimed dimensions and r ≥ 2. The manuscript does not appear to contain an explicit asymptotic analysis at r = 0 confirming integrability for those n; this verification is load-bearing for the existence claim.

minor comments (2)

[Abstract and introduction] Clarify the precise meaning of 'proper' in 'proper weakly r-harmonic' at first use; the term is not standard and its definition should be stated explicitly rather than left implicit.
[the stability section] In the instability analysis, state the precise second-variation formula or test function used to show negativity of the second derivative of the energy; this would make the instability proof easier to follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough review and for highlighting the need to explicitly verify the Sobolev regularity of the constructed maps. We address the major comment below and will incorporate the requested analysis into the revised manuscript.

read point-by-point responses

Referee: [the construction of the family φ_a and the ODE analysis] The rotationally symmetric ansatz φ_a(x) = (a(r) x/|x|, b(r)) with a(0)=0 and a² + b² = 1 reduces the EL equation to an ODE whose solutions are asserted to exist for specific n. However, membership in the domain W^{1,r}(B^n, S^n) requires convergence of ∫_{B^n} |dφ_a|^r dx, which near the origin reduces to ∫_0^1 (|a'(r)|^r + (a(r)/r)^r) r^{n-1} dr < ∞. If the ODE solution satisfies a(r) ∼ r^γ with γ < 1, the integrand behaves like r^{r(γ-1) + n-1} and may diverge for the claimed dimensions and r ≥ 2. The manuscript does not appear to contain an explicit asymptotic analysis at r = 0 confirming integrability for those n; this verification is load-bearing for the existence claim.

Authors: We agree that an explicit asymptotic analysis near r=0 is necessary to confirm that the maps lie in W^{1,r}(B^n, S^n). In the dimensions n for which the ODE admits non-constant solutions (as stated in the manuscript), the local analysis of the reduced ODE shows that a(r) ∼ c r with c>0 as r→0. Consequently both a'(r) and a(r)/r remain bounded, so that |dφ_a| is bounded near the origin and the integral ∫_0^1 (|a'|^r + (a/r)^r) r^{n-1} dr converges for all r≥1 and n≥2. We will add a dedicated paragraph (or subsection) deriving this leading-order behavior directly from the ODE and verifying the integrability condition. This addition will also clarify that the maps are indeed proper weak critical points in the claimed Sobolev space. revision: yes

Circularity Check

0 steps flagged

No circularity: symmetry reduction yields independent existence and stability results

full rationale

The paper's central construction substitutes a rotationally symmetric ansatz into the Euler-Lagrange equation of the r-energy, reducing it to an ODE that is solved directly for specific dimensions n; existence and instability are then established from the resulting profiles. This is a self-contained constructive argument in the space of maps, with no reduction of the target conclusion to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation chain remains independent of its inputs and does not rename known results or smuggle ansatzes via prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no explicit free parameters, axioms, or invented entities can be extracted. The work presumably relies on standard background assumptions of Riemannian geometry (smoothness of manifolds, well-definedness of the r-energy functional) that are not listed as novel contributions.

pith-pipeline@v0.9.0 · 5511 in / 1227 out tokens · 61858 ms · 2026-05-07T13:22:23.578668+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

29 extracted references

[1]

T. Aubin. Some nonlinear problems in Riemannian geometry.Springer Monogr. Math., (1998)

1998
[2]

Baird, A

P. Baird, A. Fardoun, S. Ouakkas. Liouville-type theorems for biharmonic maps from Riemannian manifolds.Adv. Calc. Var.3 (2010), 49–68

2010
[3]

Branding

V. Branding. More Weakly Biharmonic Maps from the Ball to the Sphere.J. Geom. Anal.35 (2025), Paper No. 23

2025
[4]

Branding, S

V. Branding, S. Montaldo, C. Oniciuc, A. Ratto. Higher order energy functionals. Adv. Math.370, 107236 (2020)

2020
[5]

Eells, L

J. Eells, L. Lemaire. Selected topics in harmonic maps. CBMS Regional Conference Series in Mathematics, 50. American Mathematical Society, Providence, RI, 1983. 24 S. MONTALDO, A. RATTO, AND A. SANNA

1983
[6]

Eells, L

J. Eells, L. Lemaire. Another report on harmonic maps.Bull. London Math. Soc.20 (1988), 385–524

1988
[7]

Eells, J.H

J. Eells, J.H. Sampson. Variational theory in fibre bundles.Proc. U.S.-Japan Seminar in Differential Geometry, Kyoto (1965), 22–33

1965
[8]

Fardoun, S

A. Fardoun, S. Montaldo, A. Ratto. Weakly biharmonic maps from the ball to the sphere.Geometriae Dedicata205 (2020), 167-175

2020
[9]

Fardoun, S

A. Fardoun, S. Montaldo, and A. Ratto, On the stability of the equator map for higher order energy functionals,Int. Math. Res. Not., (2022), pp. 9151–9172

2022
[10]

Fardoun and L

A. Fardoun and L. Saliba. On minimizing extrinsic biharmonic maps.Calc. Var. Partial Differential Equations60 (2021), Paper No. 132

2021
[11]

Greene, H

R.E. Greene, H. Wu. Function theory on manifolds which possess a pole.Lecture Notes in Math.699. Springer, Berlin, (1979)

1979
[12]

E. Hebey. Nonlinear analysis on manifolds: Sobolev spaces and inequalities.Courant Lect. Notes Math.5, New York, (1999)

1999
[13]

J¨ ager, H

W. J¨ ager, H. Kaul. Rotationally symmetric harmonic maps from a ball into a sphere and the regularity problem for weak solutions of elliptic systems.J. Reine Angew. Math.343 (1983), 146–161

1983
[14]

G.Y. Jiang. 2-harmonic maps and their first and second variation formulas.Chinese Ann. Math. Ser. A 7, 7 (1986), 130–144

1986
[15]

Maeta.k-harmonic maps into a Riemannian manifold with constant sectional cur- vature.Proc

S. Maeta.k-harmonic maps into a Riemannian manifold with constant sectional cur- vature.Proc. Amer. Math. Soc., 140 (2012), 1835–1847

2012
[16]

S. Maeta. Construction of triharmonic maps.Houston J. Math.41 (2015), 433–444

2015
[17]

S. Maeta. The second variational formula of thek-energy andk-harmonic curves. Osaka J. Math.49 (2012), 1035–1063

2012
[18]

Maeta, N

S. Maeta, N. Nakauchi, H. Urakawa. Triharmonic isometric immersions into a mani- fold of non-positively constant curvature.Monatsh. Math.177 (2015), 551–567

2015
[19]

Montaldo, C

S. Montaldo, C. Oniciuc. A short survey on biharmonic maps between riemannian manifolds.Rev. Un. Mat. Argentina, 47 (2006), 1–22

2006
[20]

Montaldo, C

S. Montaldo, C. Oniciuc, A. Ratto. Polyharmonic hypersurfaces into space forms. Israel J. Math., 249 (2022), 343–374

2022
[21]

Montaldo, A

S. Montaldo, A. Ratto. New examples of properr-harmonic immersions into the sphereJ. Math. Anal. Appl.458 (2018), 849–859

2018
[22]

Montaldo, A

S. Montaldo, A. Ratto. Properr-harmonic submanifolds into ellipsoids and rotational hypersurfacesNonlinear Anal.172 (2018), 59–72

2018
[23]

Nakauchi, H

N. Nakauchi, H. Urakawa. Polyharmonic maps into the Euclidean space.Note Mat. 38 (2018), 89–100

2018
[24]

B. O’Neill. Semi-Riemannian geometry with applications to relativity. Academic Press, NY, 1983

1983
[25]

R.S. Palais. The principle of symmetric criticality.Comm. Math. Phys.69 (1979), 19–30

1979
[26]

Petersen

P. Petersen. Riemannian geometry.Grad. Texts in Math.171, Springer (2006)

2006
[27]

L. Saliba. Applications biharmoniques extrins` eques ` a valeurs dans une sph` ere. Th` ese de Doctorat, Universit´ e de Bretagne Occidentale (2017)

2017
[28]

S.B. Wang. The first variation formula fork-harmonic mappings.Journal of Nanchang University13, N.1 (1989)

1989
[29]

S.B. Wang. Some results on stability of 3-harmonic mappings.Chinese Ann. Math. Ser. A 12 (1991), 459–467. EXISTENCE AND STABILITY OF WEAK CRITICAL POINTS 25 Statements and Declarations Funding: The authors are members of the Italian National Group G.N.S.A.G.A. of INdAM. The work was partially supported by the Project PRoBIKI funded by Fondazione di Sardeg...

1991