Research
Open Access
A class of extremising sphere-valued maps with inherent maximal tori symmetries in \(\mathbf{SO}(n)\)
- Stuart Day1 and
- Ali Taheri1Email author
Received: 27 July 2017
Accepted: 7 December 2017
Published: 22 December 2017
Abstract
In this paper we consider an energy functional depending on the norm of the gradient and seek to extremise it over an admissible class of Sobolev maps defined on an annulus and taking values on the unit sphere whilst satisfying suitable boundary conditions. We establish the existence of an infinite family of solutions with certain symmetries to the associated nonlinear Euler-Lagrange system in even dimensions and discuss the stability of such extremisers by way of examining the positivity of the second variation of the energy at these solutions.
Keywords
spherical whirlssymmetriesgeneralised sphere-valued harmonic maps
\(\mathbf{SO}(n)\)
maximal tori and conjugacysecond energy variations
1 Introduction
In this paper we address questions on existence, multiplicity and stability for a certain class of symmetric extremisers of the variational integral
Here \(\mathbb{X}^{n}=\mathbb{X}^{n}[a, b]=\{x \in {\mathbb {R}}^{n} : a<|x| <b\}\) with fixed \(b>a>0\) is an annulus, u is a unit vector field on \(\mathbb{X}^{n}\) (see below), and \(|\nabla u|\) denotes the Hilbert-Schmidt norm of the gradient of u. We assume that \(F \in\mathscr{C}^{1,2}([a,b] \times {\mathbb {R}})\), that is, \(\mathscr{C}^{1}\) with respect to the first variable and \(\mathscr{C}^{2}\) with respect to the second. Furthermore we assume that there exist \(c_{1}, c_{2}>0\) and \(c_{0} \in {\mathbb {R}}\) such that
with \(1< p<\infty\). (Here \(F'\) denotes the derivative of F with respect to its second variable.) As a result, \(\mathbb{F}\) is well-defined, finite and coercive on \(\mathscr{W}^{1,p}(\mathbb{X}^{n},{\mathbb {S}}^{n-1})\). As for convexity, we further assume that \(F'>0\) and \(F'' \ge0\) on \([a, b] \times(0, \infty)\) and that the twice continuously differentiable function \(\zeta\mapsto F(r, \zeta^{2})\) is uniformly convex in ζ for all \(a \le r \le b\) and \(\zeta\in {\mathbb {R}}\).
$$ \mathbb{F}\bigl[u;\mathbb{X}^{n}\bigr] : = \int_{\mathbb{X}^{n}} F\bigl(|x|,|\nabla u|^{2}\bigr) \,dx. $$
(1.1)
$$\begin{aligned}& \big|F'\bigl(r, \zeta^{2}\bigr) \zeta\big| \le c_{2} | \zeta|^{p-1}, \quad\forall a \le r \le b, \forall\zeta\in {\mathbb {R}}, \end{aligned}$$
(1.2)
$$\begin{aligned}& c_{0} + c_{1} |\zeta|^{p} \le F\bigl(r, \zeta^{2}\bigr) \le c_{2} |\zeta|^{p}, \quad \forall a \le r \le b, \forall\zeta\in {\mathbb {R}}, \end{aligned}$$
(1.3)
The competing vector fields u for the energy integral \(\mathbb{F}\) are restricted to the space of admissible sphere-valued maps given by
for some suitable and fixed boundary map \(\varphi\in\mathscr {C}^{\infty}(\partial{ \mathbb{X}}^{n}, {\mathbb {S}}^{n-1})\). Note that here we can write the boundary as a union of its two inner and outer spherical components, that is, \(\partial \mathbb{X}^{n} = \partial \mathbb{X}_{a}^{n} \cup\partial \mathbb{X}^{n}_{b}\) and as customary1
Moving forward, we consider the first-order condition \(d/d\varepsilon (\mathbb{F}[u_{\varepsilon}; {\mathbb{X}}^{n}])|_{\varepsilon=0}=0\) with \(u_{\varepsilon}= (u+\varepsilon\psi)/{|u+\varepsilon\psi|}\) where \(u \in {\mathscr {A}}_{\varphi}^{p}(\mathbb{X}^{n})\), \(\psi\in\mathscr{C}^{\infty}_{0}(\mathbb{X}^{n},{\mathbb {R}}^{n})\), and \(\varepsilon\in {\mathbb {R}}\) is sufficiently small. This leads to the Euler-Lagrange equation associated with the energy integral \(\mathbb{F}\) on \({\mathscr {A}}_{\varphi}^{p}(\mathbb{X}^{n})\) as the nonlinear system
where for brevity we have written \(F'\equiv F'(|x|,|\nabla u|^{2})\) (recall that the ‘prime’ over F stands for the derivative with respect to the second variable). Additionally we point out that the divergence operator on the first line in \(\mathscr{L}[u]\) is understood to act row-wise on the tensor field \(F'(|x|,|\nabla u|^{2}) \nabla u\).
$$ {\mathscr {A}}_{\varphi}^{p}\bigl(\mathbb{X}^{n}\bigr) := \bigl\{ u \in\mathscr{W}^{1,p}\bigl(\mathbb{X}^{n}, {\mathbb {S}}^{n-1}\bigr): u = \varphi\text{ on } \partial \mathbb{X}^{n} \bigr\} $$
(1.4)
$$ \mathscr{W}^{1,p}\bigl(\mathbb{X}^{n}, {\mathbb {S}}^{n-1}\bigr) := \bigl\{ u \in\mathscr {W}^{1,p}\bigl(\mathbb{X}^{n} , {\mathbb {R}}^{n}\bigr) : |u|=1 \text{ a.e. in $\mathbb{X}^{n}$} \bigr\} . $$
(1.5)
$$ \textstyle\begin{cases} \mathscr{L}[u]=\operatorname{div} (F' \nabla u) + F' |\nabla u|^{2} u = 0 &\text{in } \mathbb{X}^{n} ,\\ |u| = 1 &\text{in } \mathbb{X}^{n} ,\\ u = \varphi&\text{on } \partial \mathbb{X}^{n}, \end{cases} $$
(1.6)
In this paper we examine as solutions to the nonlinear system (1.6) a class of geometrically motivated and suitably symmetric maps referred to hereafter as spherical whirls (or whirls for simplicity). These by definition, and in their general form, are maps \(u \in\mathscr{C}(\overline{\mathbb{X}}^{n},{\mathbb {S}}^{n-1})\) admitting the representation
where \({\mathbf{Q}}={\mathbf{Q}}(\rho_{1}, \dots, \rho_{N})\) is a continuous \(\mathbf{SO}(n)\)-valued map depending on the spatial variable \(x=(x_{1}, \dots, x_{n})\) through the auxiliary 2-plane radial variables \(\rho= (\rho_{1},\dots ,\rho_{N})\). Here, depending on the spatial dimension \(n \ge2\) being even or odd, we have introduced the 2-plane variables \(\rho=(\rho_{1}, \ldots, \rho_{N})\) and \(y=(y_{1}, \ldots, y_{N})\) with \(\|\rho\|=\sqrt{\rho_{1}^{2} + \cdots + \rho_{N}^{2}}\) and the integer \(N=N(n) \ge1\) as:
$$\begin{aligned}& u: x \mapsto {\mathbf{Q}}(\rho_{1},\dots, \rho_{N}) \theta, \quad x \in \overline{\mathbb{X}}^{n}, \end{aligned}$$
(1.7)
$$\begin{aligned}& \rho=\rho(x)=(\rho_{1}, \dots, \rho_{N}), \quad\theta=x |x|^{-1}, \end{aligned}$$
(1.8)
-
(n even) put \(N=n/2\) and set \(\rho_{j}=|y_{j}|=\sqrt{x^{2}_{2j-1}+x^{2}_{2j}}\) (with \(1 \le j \le N\)) where$$ x=(x_{1}, \ldots, x_{n})=(y_{1}, \ldots, y_{N}), \quad y_{j} = (x_{2j-1}, x_{2j}) \text{ for } 1\leq j \leq N, $$(1.9)
-
(n odd) put \(N=(n+1)/2\) and set \(\rho_{j}=|y_{j}|\) (with \(1 \le j \le N-1\)) and \(\rho_{N}=y_{N}\) where$$ x=(x_{1}, \ldots, x_{n})=(y_{1}, \ldots, y_{N}), \quad y_{j} := \textstyle\begin{cases} (x_{2j-1}, x_{2j}), &1\leq j \leq N-1, \\ x_{n}, & j=N. \end{cases} $$(1.10)
From the above formulation it is clear that \(\rho= (\rho_{1},\dots ,\rho_{N})\) sits in the semi-annular domain \({\mathbb {A}}_{N}\subset {\mathbb {R}}^{N}\) where \({\mathbb {A}}_{N} = \{\rho\in {\mathbb {R}}^{N}_{+} : a<\|\rho\|<b\}\) for \(n = 2N\) and \({\mathbb {A}}_{N} = \{\rho\in {\mathbb {R}}_{+}^{N-1} \times {\mathbb {R}}: a<\|\rho\|<b\}\) for \(n=2N-1\). With this notation in place and in accordance with earlier discussion, we now set \({\mathbf{Q}}\in\mathscr{C}(\overline{{\mathbb {A}}}_{N}, \mathbf{SO}(n))\). In fact, for considerations of symmetry, as will become clear later on, the map Q will have to take values on a maximal torus of \(\mathbf{SO}(n)\), hereafter, and without loss of generality the maximal torus of block diagonal matrices consisting of \(2 \times2\) rotation blocks. Next, for the sake of convenience, in notation let us agree to write \(k=N\) when \(n=2N\) and \(k=N-1\) when \(n=2N-1\). Then the map Q can be given the explicit representation
where for each \(1\leq l \leq k\), \(f_{l} \in\mathscr{C}(\overline{{\mathbb {A}}}_{N}, {\mathbb {R}})\) satisfies \(f_{l} \equiv0\) when \(\|\rho\|=a\) and \(f_{l} \equiv 2\pi m\) for some integer m when \(\|\rho\|=b\). Here and below, \(\mathcal{R}[f]\) stands for the \(2 \times2\) matrix of counterclockwise rotation by angle f (see, e.g., (2.7)).
$$ {\mathbf{Q}}(\rho_{1}, \dots,\rho_{N}) = \textstyle\begin{cases} \operatorname{diag}(\mathcal{R}[f_{1}] ,\dots, \mathcal{R}[f_{k}]) &\text{ for } n=2k,\\ \operatorname{diag}( \mathcal{R}[f_{1}],\dots, \mathcal{R}[f_{k}] , 1) &\text{ for } n=2k+1, \end{cases} $$
(1.11)
Now for the space of admissible maps \({\mathscr {A}}_{\varphi}^{p}(\mathbb{X}^{n})\) to contain spherical whirls \(u= {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x|x|^{-1}\), it is evident that further differentiability assumptions on the map Q (hence \(f_{1}, \dots, f_{k}\)) and further restrictions on the boundary map φ must be imposed. Indeed, for the latter, we must have
for suitable \({\mathbf{R}}_{a}\), \({\mathbf{R}}_{b}\) in \(\mathbf{SO}(n)\) and subsequently in the level of u that \({\mathbf{Q}}(\rho)= {\mathbf{R}}_{a}\) for \(\|\rho\|=a\) and \({\mathbf{Q}}(\rho) = {\mathbf{R}}_{b}\) for \(\|\rho\|=b\). Hence, in view of the \(\mathbf{SO}(n)\) invariance of system (1.6) (notice that, for any \(\mathbf{R} \in\mathbf{SO}(n)\), we have \(\mathscr{L}[\mathbf{R} u] = \mathbf{R} \mathscr{L}[u]\), and so \(\mathscr{L}[\mathbf{R} u] =0 \iff\mathscr {L}[u]=0\)), we may assume without loss of generality that \({\mathbf{R}}_{a} = {\mathbf{I}}_{n}\) and write
where \(\mathsf {z}=(z_{1}, \dots, z_{k}) \in{\mathbb {T}}^{k}= [-\pi, \pi )^{k}\). Now with the above notation and differentiability assumptions in place, for a spherical whirl \(u={\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}\), the square of the Hilbert-Schmidt norm of the gradient ∇u is seen to be
where \(a \le r=\sqrt{\rho_{1}^{2} + \cdots + \rho^{2}_{N}} \le b\) and \(\rho =(\rho_{1}, \ldots, \rho_{N}) \in\overline{{\mathbb {A}}}_{N}\). Therefore the restriction of the \(\mathbb{F}\)-energy (1.1) to the class of such spherical whirls simplifies to (see also (2.14)-(2.15))
$$ \varphi(x) = \textstyle\begin{cases} {\mathbf{R}}_{a} x |x|^{-1} &\mbox{on }\partial \mathbb{X}^{n}_{a} = \{x: |x| = a\} , \\ {\mathbf{R}}_{b} x |x|^{-1} &\mbox{on }\partial \mathbb{X}^{n}_{b} = \{x: |x| = b\} \end{cases} $$
(1.12)
$$ {\mathbf{R}}:= {\mathbf{R}}_{b} = \textstyle\begin{cases} \operatorname{diag}(\mathcal{R}[z_{1}], \dots, \mathcal{R}[z_{k}]) &\text{if } n = 2k, \\ \operatorname{diag}(\mathcal{R}[z_{1}],\dots, \mathcal{R}[z_{k}] ,1) &\text{if } n = 2k+1, \end{cases} $$
(1.13)
$$ |\nabla u|^{2} = \Biggl\vert \frac{{\mathbf{Q}}( \mathbf{I}_{n} - \theta\otimes \theta )}{r} + \sum _{l=1}^{N} {\mathbf{Q}}_{,l} \theta\otimes\nabla \rho_{l} \Biggr\vert ^{2} = \frac{n-1}{r^{2}} + \frac{1}{r^{2}} \sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2}, $$
(1.14)
$$ \mathbb{F}\bigl[{\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}; \mathbb{X}^{n}\bigr] = \int _{\mathbb{X}^{n}} F \Biggl(r, \frac{n-1}{r^{2}} +\frac{1}{r^{2}} \sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} \Biggr) \,dx. $$
(1.15)
In particular, the sufficiently regular extremisers of the \(\mathbb{F}\)-energy in the form of spherical whirls \(u= {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x|x|^{-1}\) with Q as in (1.11) should satisfy - for the unknown vector field \(f=(f_{1},\dots,f_{k})\) in the semi-annular domain \(\mathbb{A}_{N} \subset \mathbb{R}^{N}\) - the nonlinear system of equations (see Section 2 for further details and notation):
where \(1 \le\alpha\le k\), \(\mathsf {m} = (m_{1}, \dots, m_{k})\) and \(\mathsf {z}=(z_{1}, \dots, z_{k})\). While for given m and z, system (1.16) can be shown to have a unique solution, the cases of particular interest and significance here in relation to the original system (1.6), correspond to when m and z are ‘linear’, that is, \(m_{1} = \cdots=m_{k}=m\) for \(m \in {\mathbb {Z}}\) and \(z_{1}= \cdots= z_{k} = z\) for \(z \in\mathbb{T}\). Most notably in the case where \(n \ge2\) is even and m and z are linear the solution \(f=(f_{1}, \dots, f_{N})\) will be shown to be a function of the radial variable \(r=\|\rho\|\) only, that is,
where the monotone function \({\mathscr {G}}= {\mathscr {G}}(r; m) \in\mathscr {C}^{2}([a, b], {\mathbb {R}})\) is in turn the solution to an associated two-point boundary value problem:
$$ \textstyle\begin{cases} \operatorname{div}\{ F' (r, \frac{n-1}{r^{2}} + \frac{1}{r^{2}}\sum_{l=1}^{k} \rho_{l}^{2}|\nabla f_{l}|^{2} ) \frac{\rho_{\alpha}^{2}}{r^{2}}\nabla f_{\alpha}\prod_{j=1}^{k} \rho_{j} \} =0 &\text{in } {\mathbb {A}}_{N}, \\ F' (r, \frac{n-1}{r^{2}} + \frac{1}{r^{2}}\sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} ) \frac{\rho_{\alpha}^{2}}{r^{2}} \partial_{\nu}f_{\alpha}\prod_{j=1}^{k} \rho_{j} = 0 &\text{on } \Gamma_{N}, \\ f=(f_{1}, \dots, f_{k}) \equiv0 &\text{on } (\partial {\mathbb {A}}_{N})_{a}, \\ f = (f_{1}, \dots, f_{k}) \equiv2\pi \mathsf {m} + \mathsf {z} &\text{on } (\partial {\mathbb {A}}_{N})_{b}, \end{cases} $$
(1.16)
$$ f_{\alpha}(\rho_{1}, \dots, \rho_{N}; m) ={\mathscr {G}}\bigl(\|\rho\| ; m \bigr),\quad1\leq\alpha\leq N=n/2, $$
(1.17)
$$ \textstyle\begin{cases} \frac{d}{dr} [F' (r,\frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} )r^{n-1}\dot{{\mathscr {G}}} ] = 0,\\ {\mathscr {G}}(a)=0, \\ {\mathscr {G}}(b) = 2\pi m + z. \end{cases} $$
(1.18)
The task then is to pass on from (1.16) to the original Euler-Lagrange system (1.6) that in the case of a spherical whirl \(u={\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}\) with Q as in (1.11) can be formulated as2
A corresponding analysis of this system for solutions thus obtained leads to the following multiplicity result. See also Theorem 3.1 for more qualitative features.
$$\begin{aligned}[b] &\operatorname{div} \Biggl\{ F' \Biggl(|x|,\frac{n-1}{r^{2}} + \frac{1}{r^{2}} \sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} \Biggr) \Biggl(\frac{1}{r} ( {\mathbf{Q}}- {\mathbf{Q}}\theta\otimes\theta ) + \sum _{l=1}^{N} {\mathbf{Q}}_{,l} \theta\otimes\nabla \rho_{l} \Biggr) \Biggr\} \\ &\quad{}+ F' \Biggl(|x|,\frac{n-1}{r^{2}} +\frac{1}{r^{2}} \sum _{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} \Biggr) \Biggl[\frac{n-1}{r^{2}} + \frac{1}{r^{2}} \sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} \Biggr] {\mathbf{Q}}\theta= 0.\end{aligned} $$
(1.19)
Main Theorem
Consider the nonlinear system (1.6) where
φ
is as in (1.12) with
\({\mathbf{R}}_{a} = {\mathbf{I}}_{n}\)
and
\({\mathbf{R}}_{b}\)
as in (1.13) with
\(z_{1}= \cdots= z_{k} = z\). Then, when
n
is even, there is an infinite family of spherical whirls serving as solutions to (1.6); specifically, for each
\(m \in {\mathbb {Z}}\), we have the solution
where
\(f_{\alpha}(\rho) = {\mathscr {G}}(\|\rho\|; m )\)
for
\(1 \le \alpha\le k\), and
\({\mathscr {G}}={\mathscr {G}}(r; m)\)
is the solution to the two-point boundary value problem (1.18).3
$$\begin{aligned}[b] u(x; m) &= {\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}; m) x|x|^{-1}, \quad x \in\overline{\mathbb{X}}^{n}, \rho=( \rho_{1}, \dots, \rho_{N}) \in\overline {\mathbb{A}}_{N}, \\ &= \operatorname{diag}\bigl(\mathcal{R}[f_{1}](\rho;m),\dots, \mathcal{R}[f_{k}](\rho;m)\bigr) x |x|^{-1},\end{aligned} $$
(1.20)
In the final section of the paper we take a further step and discuss the stability of these solutions by way of computing the second variation of the \(\mathbb{F}\)-energy over \({\mathscr {A}}_{\varphi}^{p}(\mathbb{X}^{n})\) and examining its positivity at the spherical twist solutions to (1.16).
2 Spherical whirls as extremisers of the \(\mathbb{F}\)-energy
The aim of this section is to introduce and examine spherical whirls as potential extremisers of the energy integral \(\mathbb{F}\), that is, as solutions to the nonlinear system of Euler-Lagrange equations (1.6).
To this end, recall first the 2-plane radial variables \(\rho=(\rho _{1}, \dots, \rho_{N})\) from the previous section, defined as functions of the spatial variable \(x=(x_{1}, \dots, x_{n})\) on \(\mathbb{X}^{n}\) for n even and odd by [a] (n even) \(\rho_{j} = (x_{2j-1}^{2} + x_{2j}^{2})^{1/2}\) for \(1\leq j \leq k=n/2\) and likewise [b] (n odd) \(\rho_{j} = (x_{2j-1}^{2} + x_{2j}^{2})^{1/2}\) for \(1\leq j \leq k=(n-1)/2\) and \(\rho _{N}=x_{n}\) (i.e., \(j=(n+1)/2=N\)), respectively. Note that, as indicated earlier, here in order to simplify notation, we write \(N=N(n)\) as \(N=k\) when \(n=2k\) and \(N=k+1\) when \(n=2k+1\). Now \(\rho= (\rho_{1},\dots,\rho_{N})\) lies in the semi-annulus \({\mathbb {A}}_{N} \subset {\mathbb {R}}^{N}\) given by (a) (n even) \({\mathbb {A}}_{N} = \{ \rho\in {\mathbb {R}}^{k}_{+} : a<\|\rho\|<b\}\) with \(n=2k\), and (b) (n odd) \(\{ \rho\in {\mathbb {R}}^{k}_{+} \times {\mathbb {R}}: a <\|\rho\|<b \} \) with \(n=2k+1\), respectively. We write \((\partial {\mathbb {A}}_{N})_{a} = \{ \rho\in\partial {\mathbb {A}}_{N}:\|\rho\|= a\}\), \((\partial {\mathbb {A}}_{N})_{b} = \{ \rho\in\partial {\mathbb {A}}_{N}: \|\rho\|=b\}\) and \(\Gamma_{N} = \partial {\mathbb {A}}_{N} \setminus\{\rho\in\partial {\mathbb {A}}_{N}: \|\rho\|=a \text{ or } \|\rho\|=b\}\) to denote the three components of the boundary \(\partial {\mathbb {A}}_{N}\). Note that \(x=(x_{1}, \dots, x_{n}) \in \partial \mathbb{X}_{a}^{n} \iff\rho=(\rho_{1}, \dots,\rho_{N}) \in(\partial {\mathbb {A}}_{N})_{a}\), and likewise \(x \in\partial \mathbb{X}_{b}^{n} \iff\rho\in(\partial {\mathbb {A}}_{N})_{b}\).
With this notation in place, we now define a spherical whirl as a map \(u \in\mathscr{C}(\overline{\mathbb{X}}^{n}, {\mathbb {S}}^{n-1})\) having the form
where \(\rho=(\rho_{1}, \dots, \rho_{N})(x)\) is the vector of 2-plane variables as described above and \({\mathbf{Q}}\in\mathscr{C}(\overline{{\mathbb {A}}}_{N} ,\mathbf{SO}(n))\). Later on, especially in studying the extremising properties of spherical whirls, we may need to improve the regularity of u to \(\mathscr{C}^{2}\), but for the sake of this general definition, continuity is enough.
$$ u: x \mapsto {\mathbf{Q}}(\rho) \theta= {\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}, \quad x \in\overline{\mathbb{X}}^{n}, $$
(2.1)
Generally we think of a \(u \in\mathscr{C}(\overline{\mathbb{X}}^{n}, \mathbb {S}^{n-1})\) as being rotationally symmetric iff it is invariant under all rotations R, that is, iff it satisfies \(u(x) = R u(R^{t} x)\) for all \(x \in \mathbb{X}^{n}\) and \(R \in\mathbf{SO}(n)\). For the sake of this paper, however, we think of weakening this condition and referring to u as being symmetric iff u is invariant under all rotations \(R \in\mathbb{T} \subset\mathbf{SO}(n)\), that is, \(u(x) = R u(R^{t} x)\) for all \(x \in \mathbb{X}^{n}\) and \(R \in\mathbb{T}\) where \(\mathbb {T}\) is a fixed maximal torus in \(\mathbf{SO}(n)\), that is, a maximal commutative subgroup in \(\mathbf{SO}(n)\). Now we demand any spherical whirl u to be invariant under the subgroup \(\mathbb{T} \subset\mathbf{SO}(n)\) of all planar rotations in the \((x_{2j-1},x_{2j})\)-planes with j ranging as described above. It is well known that here \(\mathbb{T}\) is a maximal torus in \(\mathbf{SO}(n)\) and as such is maximally commutative. This therefore fixes the range of Q and gives \({\mathbf{Q}}\in\mathscr {C}(\overline{{\mathbb {A}}}_{N}, \mathbb{T} )\), since if u is invariant under \(\mathbb{T}\), then
and so for each \(\rho\in\overline{{\mathbb {A}}}_{N}\), \({\mathbf{Q}}(\rho)\) commutes with \(\mathbb{T}\), which by definition of \(\mathbb{T}\) being maximal commutative implies that \({\mathbf{Q}}(\rho) \in\mathbb{T}\). Note that in the above we have taken advantage of the fact that \(\rho(Rx)=\rho\) for all \(x \in \mathbb{X}^{n}\), \(R \in\mathbb{T}\). In conclusion, for the outlined reasons of commutativity and symmetry, the spherical whirls must take the form
where the mapping \({\mathbf{Q}}={\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N})\) admits the specific block diagonal matrix form
Here, for \(1\leq l \leq k\), \(f_{l} \in\mathscr{C}(\overline{{\mathbb {A}}}_{N}, {\mathbb {R}})\) satisfy \(f_{l} \equiv0\) on \((\partial {\mathbb {A}}_{N})_{a}\) and \(f_{l} = 2\pi m_{l} + z_{l}\) on \((\partial {\mathbb {A}}_{N})_{b}\). The latter will ensure in view of (2.1)-(2.3) that \(u=\varphi\) on \(\partial \mathbb{X}^{n}\). We start by calculating some of the quantities associated with spherical whirls.
$$\begin{aligned}[b] R u \bigl(R^{t} x\bigr) &= R {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) R^{t} x \big|R^{t} x\big|^{-1} \\ &= R {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) R^{t} x |x|^{-1} \\ &= {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x |x|^{-1} = u(x), \quad\forall x \in \overline{\mathbb{X}}^{n}, \forall\rho\in\overline{{\mathbb {A}}}_{N}, \forall R \in \mathbb{T},\end{aligned} $$
(2.2)
$$ u(x) = {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x|x|^{-1}, \quad\rho=\rho (x)=(\rho_{1}, \ldots, \rho_{N}) \in\overline{{\mathbb {A}}}_{N}, x \in\overline{\mathbb{X}}^{n}, $$
$$ {\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) = \textstyle\begin{cases} \operatorname{diag}(\mathcal{R}[f_{1}] ,\dots, \mathcal{R}[f_{k}]) &\text{for } n=2k,\\ \operatorname{diag}( \mathcal{R}[f_{1}],\dots, \mathcal{R}[f_{k}] , 1) &\text{for } n=2k+1. \end{cases} $$
(2.3)
Lemma 2.1
For a spherical whirl
\(u = {\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}\)
with
\(x \in\overline{\mathbb{X}}^{n}\)
and
\((\rho_{1}, \ldots, \rho_{N}) \in \overline{{\mathbb {A}}}_{N}\)
and subject to
\({\mathbf{Q}}\in\mathscr{C}(\overline{{\mathbb {A}}}_{N}, \mathbf{SO}(n)) \cap \mathscr{C}^{1}({{\mathbb {A}}}_{N}, \mathbf{SO}(n))\), we have
If additionally
\({\mathbf{Q}}\in\mathscr{C}^{2}({{\mathbb {A}}}_{N}, \mathbf{SO}(n))\), that is, Q
is twice continuously differentiable on
\({{\mathbb {A}}}_{N}\), then
Here
\({\mathbf{Q}}_{,l}\)
and
\({\mathbf{Q}}_{,ll}\)
denote the first- and second-order derivatives of
Q
with respect to
\(\rho_{l}\)
respectively, whereas
\(\nabla\rho_{l}\)
and
\(\Delta\rho_{l}\)
denote the gradient and Laplacian of
\(\rho_{l}\)
with respect to the spatial variable
\(x=(x_{1}, \ldots, x_{n})\).
-
\(\displaystyle\nabla u = \nabla\bigl({\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x|x|^{-1}\bigr)= \frac{{\mathbf{Q}}(\mathbf{I}_{n} - \theta\otimes\theta )}{r} + \sum_{l=1}^{N} {\mathbf{Q}}_{,l} \theta\otimes\nabla\rho_{l}\),
-
\(\displaystyle|\nabla u|^{2} = \operatorname{tr} \bigl\{ [\nabla u] [\nabla u]^{t} \bigr\} = \frac{n-1}{r^{2}} + \sum_{l=1}^{N} |{\mathbf{Q}}_{,l} \theta|^{2}\).
-
\(\displaystyle\Delta u = \sum_{l=1}^{N} \biggl[ {\mathbf{Q}}_{,ll}\theta+ \frac{2}{r} {\mathbf{Q}}_{,l} \nabla\rho_{l} + {\mathbf{Q}}_{,l} \theta ( \Delta\rho_{l} - \frac{2 \rho_{l}}{r^{2}} ) \biggr] - \frac{n-1}{r^{2}}{\mathbf{Q}}\theta\).
Proof
Firstly a straightforward differentiation using the given formulation of the map \(u={\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) x|x|^{-1}\) gives
where \(r = |x| = \sqrt{\rho_{1}^{2} + \cdots+ \rho_{N}^{2}}\). With the aid of this we can then calculate the Hilbert-Schmidt norm of the gradient ∇u by writing
where in deriving the last line we used the fact that \(({\mathbf{Q}}^{t} {\mathbf{Q}})_{,l}=0\) implying in turn that the matrix product \({\mathbf{Q}}^{t} {\mathbf{Q}}_{,l}\) is skew-symmetric and subsequently \(\langle {\mathbf{Q}}\theta, {\mathbf{Q}}_{,l} \theta\rangle=0\). We now move on to the inner product term \(\langle {\mathbf{Q}}\nabla\rho_{l}, {\mathbf{Q}}_{,l} \theta \rangle\). First, upon recalling that Q is of the form (2.3), a straightforward differentiation gives
where recalling and referring to (2.3) and (2.6), J and \(\mathcal{R}[f]=\operatorname{exp}(f {\mathbf{J}})\) are the \(2 \times2\) matrices
respectively. If we write \(y_{l} = (x_{2l-1} ,x_{2l})\) for \(1 \leq l \leq k\) if \(n = 2k\) and additionally \(y_{2k+1} =x_{2k +1}\) if \(n=2k+1\), then we have
Furthermore, differentiating \(\rho_{j}\) and using identities (1.9) and (1.10), we see that
Therefore, by substitution, the following inner product identity is seen to hold (note that here there is no summation over \(1 \le j, l \le N\) and the penultimate equality excludes the relatively simpler case \(j=N\) for n odd in which the identity trivially holds):
It now follows, upon referring to (2.5), that
Finally, the Laplacian of u is obtained by using \(\Delta u = \operatorname{div}\nabla u\) and noting the identities \(\nabla\rho_{l} \cdot\nabla \rho_{k} = \delta_{lk}\), \(\nabla\rho_{l} \cdot x = \rho_{l}\) and \(\Delta\rho_{l}=1/\rho_{l}\) except of course for n odd and \(l=N\), where we have \(\Delta\rho_{N}=0\). □
$$\begin{aligned}[b] \nabla u &= {\mathbf{Q}}\nabla\theta+ \sum_{l=1}^{N} {\mathbf{Q}}_{,l} \theta\otimes \nabla\rho_{l} \\ &= \frac{1}{r} ( {\mathbf{Q}}- {\mathbf{Q}}\theta\otimes\theta ) + \sum _{l=1}^{N} {\mathbf{Q}}_{,l} \theta\otimes\nabla \rho_{l},\end{aligned} $$
(2.4)
$$\begin{aligned} |\nabla u|^{2} &= \operatorname{tr} \bigl\{ [ \nabla u] [\nabla u]^{t} \bigr\} \\ &= \operatorname{tr} \Biggl\{ \frac{1}{r^{2}}({\mathbf{I}}_{n} - {\mathbf{Q}}\theta\otimes {\mathbf{Q}}\theta) + \frac{1}{r} \sum_{l=1}^{N}({\mathbf{Q}}- {\mathbf{Q}}\theta\otimes\theta) (\nabla \rho_{l} \otimes {\mathbf{Q}}_{,l} \theta) + \sum_{l=1}^{N} {\mathbf{Q}}_{,l} \theta \otimes {\mathbf{Q}}_{,l} \theta \Biggr\} \\ &= \frac{n-1}{r^{2}} + \frac{1}{r}\sum_{l=1}^{N} \bigl\{ \langle {\mathbf{Q}}\nabla\rho_{l} , {\mathbf{Q}}_{,l} \theta\rangle- \langle {\mathbf{Q}}\theta, {\mathbf{Q}}_{,l} \theta\rangle \langle\theta,\nabla \rho_{l} \rangle + r|{\mathbf{Q}}_{,l} \theta|^{2} \bigr\} \\ &= \frac{n-1}{r^{2}} + \frac{1}{r}\sum_{l=1}^{N} \bigl\{ \langle {\mathbf{Q}}\nabla\rho_{l} , {\mathbf{Q}}_{,l} \theta\rangle + r|{\mathbf{Q}}_{,l} \theta|^{2} \bigr\} , \end{aligned}$$
(2.5)
$$ {\mathbf{Q}}^{t} {\mathbf{Q}}_{,l} = \textstyle\begin{cases} \operatorname{diag}(\partial_{l} f_{1}{\mathbf{J}}, \dots, \partial_{l} f_{k} {\mathbf{J}}) &\text{if } n=2k,\\ \operatorname{diag}(\partial_{l} f_{1}{\mathbf{J}}, \dots,\partial_{l} f_{k} {\mathbf{J}},0) &\text{if } n=2k+1, \end{cases} $$
(2.6)
$$ {\mathbf{J}}= \begin{bmatrix} 0 & -1 \\ 1 & 0 \end{bmatrix} \quad\mbox{and} \quad \mathcal{R}[f] = \begin{bmatrix} \cos f & - \sin f \\ \sin f & \quad\cos f \end{bmatrix} , $$
(2.7)
$$ {\mathbf{Q}}^{t} {\mathbf{Q}}_{,l} \theta= \textstyle\begin{cases} \frac{1}{|x|} (\partial_{l} f_{1} {\mathbf{J}}y_{1} , \dots, \partial_{l} f_{k} {\mathbf{J}}y_{k}) &\text{if } n=2k, \\ \frac{1}{|x|} (\partial_{l} f_{1} {\mathbf{J}}y_{1} , \dots, \partial_{l} f_{k} {\mathbf{J}}y_{k} , 0) &\text{if } n=2k + 1. \end{cases} $$
(2.8)
$$ \nabla\rho_{j} =\frac{1}{\rho_{j}} (0, \dots,y_{j}, \dots,0), \quad1 \le j \le N. $$
(2.9)
$$ \langle {\mathbf{Q}}\nabla\rho_{j}, {\mathbf{Q}}_{,l} \theta\rangle= \bigl\langle \nabla \rho_{j}, {\mathbf{Q}}^{t} {\mathbf{Q}}_{,l} \theta \bigr\rangle = \frac{\partial_{l} f_{j}}{|x| \rho_{j}} \langle y_{j} , {\mathbf{J}}y_{j} \rangle= 0. $$
(2.10)
$$ |\nabla u|^{2} = \frac{n-1}{r^{2}} + \frac{1}{r}\sum _{l=1}^{N} \bigl\{ \langle {\mathbf{Q}}\nabla\rho_{l} , {\mathbf{Q}}_{,l} \theta\rangle + r|{\mathbf{Q}}_{,l} \theta|^{2} \bigr\} = \frac{n-1}{r^{2}} + \sum_{l=1}^{N} |{\mathbf{Q}}_{,l} \theta|^{2} . $$
(2.11)
In the specific case \(f_{\alpha}(\rho) = {\mathscr {G}}( \|\rho\| )\) for \(\alpha= 1,\dots,k\) and with \({\mathscr {G}}\) sufficiently regular, the above quantities simplify and can be expressed as in the following lemma. Hereafter, with J as in (2.7), we write H for the constant \(n \times n\) skew-symmetric matrix
$$ \mathbf{H}= \textstyle\begin{cases} \operatorname{diag}({\mathbf{J}}, \dots, {\mathbf{J}}) &\text{if } n = 2k, \\ \operatorname{diag}({\mathbf{J}}, \dots, {\mathbf{J}}, 0) &\text{if } n = 2k+1. \end{cases} $$
(2.12)
Lemma 2.2
Let
\(u = {\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x|x|^{-1}\)
with
\(x \in \overline{\mathbb{X}}^{n}\)
and
\((\rho_{1}, \ldots, \rho_{N}) \in\overline{{\mathbb {A}}}_{N}\)
be a spherical whirl where
Q
is as given by (2.3). Assume furthermore that
where we have set
\(\|\rho\|=\sqrt{\rho^{2}_{1} + \cdots + \rho^{2}_{N} } =\sqrt{x_{1}^{2} + \cdots+ x_{n}^{2}}=r\)
with
\(a \le r \le b\)
and
\({\mathscr {G}}\in {\mathscr {C}}([a,b] ,{\mathbb {R}}) \cap {\mathscr {C}}^{1}((a,b) ,{\mathbb {R}})\). Then
Additionally, if
\({\mathscr {G}}\in {\mathscr {C}}^{2}((a,b) ,{\mathbb {R}})\), then we also have
$$ f_{\alpha}(\rho) = {\mathscr {G}}\bigl(\|\rho\| \bigr), \quad\rho=(\rho _{1}, \dots,\rho_{N}) \in\overline{\mathbb{A}}_{N}, 1 \le\alpha \le k, $$
(2.13)
-
\(\displaystyle\nabla u = {\mathbf{Q}}\frac{{\mathbf{I}}_{n} + ( r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n} ) \theta\otimes\theta}{r}\vspace*{3pt} \),
-
\(\displaystyle|\nabla u|^{2} = \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} |\mathbf {H} \theta|^{2} \).
-
\(\displaystyle\Delta u = \frac{(n-1)(r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n})+ r^{2}(\ddot{{\mathscr {G}}}\mathbf{H}- \dot{{\mathscr {G}}}^{2}{\mathbf{I}}_{n}) }{r^{2}}{\mathbf{Q}}\theta \).
Proof
This follows easily from Lemma 2.1 upon substituting from (2.3), (2.13) and direct differentiation. Note that in the second identity when \(n \ge2\) is even, we have \(|\mathbf{H}\theta|^{2} = 1\), whilst for n odd, we have \(|\mathbf{H}\theta|^{2} = 1 -\theta_{n}^{2}\). □
Using the description of \(|\nabla u|^{2}\) in Lemma 2.1, we can proceed by writing the \(\mathbb{F}\)-energy of a spherical whirl u as
where the penultimate equality is obtained after a basic change of variables, and for the energy integral \(\mathbb{H}[f;{\mathbb {A}}_{N}]\) in (2.15), we have \(f = (f_{1}, \dots, f_{k})\). Indeed, the admissible vector field \(f=f(\rho)\) with \(\rho=(\rho_{1}, \ldots, \rho_{N})\) here is assumed to lie in the space
$$\begin{aligned} \mathbb{F}\bigl[u;\mathbb{X}^{n}\bigr] &= \int_{\mathbb{X}^{n}} F\bigl(r, |\nabla u|^{2}\bigr) \, dx = \int _{\mathbb{X}^{n}}F\bigl(r, \big|\nabla\bigl[{\mathbf{Q}}(\rho_{1}, \dots, \rho_{N}) x |x|^{-1}\bigr]\big|^{2}\bigr)\,dx \\ &= \int_{\mathbb{X}^{n}}F \Biggl(r, \frac{n-1}{r^{2}} + \sum _{l=1}^{N} |{\mathbf{Q}}_{,l} \theta|^{2} \Biggr) \,dx \\ &= \int_{\mathbb{X}^{n}} F \Biggl(r, \frac{n-1}{r^{2}} + \sum _{l=1}^{k} \frac {\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} \Biggr) \,dx \end{aligned}$$
(2.14)
$$\begin{aligned} &= (2 \pi)^{k} \int_{{\mathbb {A}}_{N}} F \Biggl(r,\frac{n-1}{r^{2}} + \sum _{l=1}^{k}\frac{\rho_{l}^{2}}{r^{2}}|\nabla f_{l}|^{2} \Biggr) \prod_{j=1}^{k} \rho_{j} \,d\rho =: (2 \pi)^{k} \mathbb{H}[f;{\mathbb {A}}_{N}], \end{aligned}$$
(2.15)
$$\begin{aligned}& \begin{aligned}[b] {{\mathscr {B}}}^{p}_{\mathsf {m}}({\mathbb {A}}_{N}) :={}& \bigl\{ f=(f_{1}, \dots, f_{k}) \in \mathscr{W}^{1,p}\bigl( {\mathbb {A}}_{N},{\mathbb {R}}^{k}\bigr): f_{l} \equiv0 \text{ on $( \partial {\mathbb {A}}_{N})_{a}$}, \\ & f_{l} \equiv2 \pi m_{l}+z_{l} \text{ on $(\partial {\mathbb {A}}_{N})_{b}$} \text{ for all $1 \le l \le k$} \bigr\} ,\end{aligned} \\& \mathsf {m}=(m_{1}, \dots, m_{k}) \in {\mathbb {Z}}^{k}, \qquad \mathsf {z}=(z_{1}, \dots, z_{k}) \in \mathbb{T}^{k}. \end{aligned}$$
(2.16)
The Euler-Lagrange equation associated with the energy integral \(\mathbb{H}[f;{\mathbb {A}}_{N}]\) from (2.15) over the space \({\mathscr {B}}_{\mathsf {m}}^{p}({\mathbb {A}}_{N})\) is seen to be the nonlinear system
where \(\alpha= 1, \dots, k\), \(\mathsf {m}=(m_{1}, \dots, m_{k})\) and \(\mathsf {z}=(z_{1}, \dots, z_{k})\). Note that \(\partial_{\nu}\) is the partial derivative in the outward pointing normal direction to \(\Gamma_{N}\).
$$ \textstyle\begin{cases} \operatorname{div}\{ F' (r, \frac{n-1}{r^{2}} + \sum_{l=1}^{k} \frac {\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} ) \frac{\rho_{\alpha}^{2}}{r^{2}}\nabla f_{\alpha}\prod_{j=1}^{k} \rho_{j} \}=0 &\text{in } {\mathbb {A}}_{N}, \\ F' (r, \frac{n-1}{r^{2}} + \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} ) \frac{\rho_{\alpha}^{2}}{r^{2}} \partial_{\nu}f_{\alpha}\prod_{j=1}^{k} \rho_{j} = 0 &\text{on } \Gamma_{N}, \\ f=(f_{1}, \dots, f_{k}) \equiv0 &\text{on } (\partial {\mathbb {A}}_{N})_{a}, \\ f = (f_{1}, \dots, f_{k}) \equiv2\pi \mathsf {m} + \mathsf {z} &\text{on } (\partial {\mathbb {A}}_{N})_{b}, \end{cases} $$
(2.17)
Proposition 2.1
For each \(\mathsf {m} = (m_{1}, \dots, m_{k}) \in {\mathbb {Z}}^{k}\) and \(\mathsf {z}=(z_{1}, \dots, z_{k}) \in\mathbb{T}^{k}\), the solution \(f = f(\rho; \mathsf {m}) \in {\mathscr {C}}^{1}(\overline{{\mathbb {A}}}_{N},{\mathbb {R}}^{k}) \cap {\mathscr {C}}^{2}({\mathbb {A}}_{N},{\mathbb {R}}^{k})\) to system (2.17) is unique. This solution is also the unique minimiser of \(\mathbb{H}\) with respect to its own boundary condition.
Proof
This is a result of a standard convexity argument. Indeed, in view of the growth assumption on \(F'\), minimisers of \(\mathbb{H}\) are solutions to the Euler-Lagrange system (2.17) and conversely by the uniform convexity of the integrand solutions to (2.17) are minimisers of \(\mathbb{H}\) with respect to their own boundary conditions. As a matter of fact, let f as described be a solution to (2.17) and pick \(g \in {\mathscr {B}}_{\mathsf {m}}^{p}({\mathbb {A}}_{N})\). Put \(\psi= g-f\) where \(\psi\equiv0\) on \((\partial {\mathbb {A}}_{N})_{a} \cup(\partial {\mathbb {A}}_{N})_{b}\). Then a standard convexity argument followed by an application of the divergence theorem gives
where in deducing the last inequality we have noted that the first and second integrals on the left vanish due to f being a solution to (2.17). The uniqueness assertion now follows by observing that the last inequality is strict for nonzero ψ. □
$$\begin{aligned} \Delta \mathbb{H}={}& \mathbb{H}[g; {\mathbb {A}}_{N}] - \mathbb{H}[f; {\mathbb {A}}_{N}] \\ \ge{}& \int_{{\mathbb {A}}_{N}} F' \Biggl(r, \frac{n-1}{r^{2}} + \sum _{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} \Biggr) \sum_{\alpha= 1}^{k} \frac{\rho_{\alpha}^{2}}{r^{2}} \bigl( |\nabla g_{\alpha}|^{2} - |\nabla f_{\alpha}|^{2} \bigr) \prod_{j=1}^{k} \rho_{j} \, d\rho \\ \ge{}& {-}2 \sum_{\alpha=1}^{k} \int_{{\mathbb {A}}_{N}}\operatorname{div}\Biggl[ F' \Biggl(r, \frac{n-1}{r^{2}} + \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} \Biggr) \frac{\rho_{\alpha}^{2}}{r^{2}} \nabla f_{\alpha}\prod_{j=1}^{k} \rho_{j} \Biggr] \psi_{\alpha}\,d\rho \\ &+2 \sum_{\alpha=1}^{k} \int_{\Gamma_{N}} \Biggl[F' \Biggl(r, \frac {n-1}{r^{2}} + \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} \Biggr) \frac{\rho_{\alpha}^{2}}{r^{2}} \partial_{\nu}f_{\alpha}\prod_{j=1}^{k} \rho_{j} \Biggr] \psi_{\alpha}\, d\rho \\ &+ \int_{{\mathbb {A}}_{N}} F' \Biggl(r, \frac{n-1}{r^{2}} + \sum _{l=1}^{k} \frac {\rho_{l}^{2}}{r^{2}} |\nabla f_{l}|^{2} \Biggr) \sum_{\alpha= 1}^{k} \frac{\rho_{\alpha}^{2}}{r^{2}} |\nabla\psi_{\alpha}|^{2} \prod _{j=1}^{k} \rho_{j} \,d\rho \ge0,\end{aligned} $$
As an instructive example, in case of the Dirichlet energy (with \(F(r,t) \equiv t\)), the above system decouples, and we can compute explicitly the unique solution \(f=(f_{1}, \ldots, f_{k})=f(\rho; \mathsf {m})\) to (2.17). This is then seen to be given by (\(n \ge3\))
Moreover, the spherical whirl associated with the above f is a solution to (1.6) iff in the even case \(m_{1} = \cdots= m_{k}\), \(z_{1} = \cdots= z_{k} \) and so \(f_{1} = \cdots= f_{k}\), and in the odd case \(z_{1}= \cdots=z_{k} = 0\), \(m_{1}=\cdots =m_{k} = 0\) and so \(f_{1} = \cdots= f_{k} =0\). Motivated by this observation, we now focus on the n even case with \(z_{1} =\cdots= z_{k} = z\) for \(z \in \mathbb{T}\) and \(m_{1}= \cdots= m_{k} =m\) for \(m \in {\mathbb {Z}}\). In this situation, as is stated below, the solution \(f=f(\rho_{1}, \dots, \rho_{N}; \mathsf {m})\) depends solely on \(\|\rho\|=\sqrt{x^{2}_{1} + \cdots+ x^{2}_{2N}}\).
$$ f_{\alpha}(\rho_{1}, \ldots, \rho_{N}; \mathsf {m}) =(2\pi m_{\alpha}+ z_{\alpha}) \frac{ \|\rho\|^{2-n} - a^{2-n}}{b^{2-n} - a^{2-n}}, \quad1 \le\alpha\le k. $$
(2.18)
Proposition 2.2
For
\(n \ge2\)
even and
\(m\in {\mathbb {Z}}\), system (2.17) admits a unique solution
\(f=f(\rho; \mathsf {m})\)
in
\(\mathscr{C}^{2}(\overline{{\mathbb {A}}}_{N}, {\mathbb {R}}^{k})\)
where
\(\mathsf {m}=(m, \dots, m)\)
and
\(\mathsf {z}=(z, \dots, z)\)
with
\(z \in\mathbb{T}\). Moreover, this solution
\(f=(f_{1}, \dots, f_{k})=f(\rho; \mathsf {m})\)
has components given explicitly by
where the function
\({\mathscr {G}}={\mathscr {G}}(r; m) \in\mathscr{C}^{2}([a,b], {\mathbb {R}})\)
is the solution to the boundary value problem
$$ f_{\alpha}(\rho_{1}, \ldots, \rho_{N}; \mathsf {m}) ={\mathscr {G}}\bigl(\|\rho \|;m \bigr), \quad1 \le\alpha\le k, $$
(2.19)
$$ \textstyle\begin{cases} \frac{d}{dr} [F' (r,\frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} )r^{n-1}\dot{{\mathscr {G}}} ] = 0,\\ {\mathscr {G}}(a)=0, \\ {\mathscr {G}}(b) = 2\pi m + z. \end{cases} $$
(2.20)
Proof
That the boundary value problem (2.20) has a unique solution with the given degree of regularity follows by using variational methods. Indeed, thanks to the monotonicity and convexity assumptions on F, the energy integral
on \(\mathscr{B}^{p}_{m} = \{\mathscr{G} \in W^{1,p}(a, b) : \mathscr {G}(a)=0, \mathscr{G}(b)=2\pi m + z \}\) is sequentially weakly lower semicontinuous and coercive, and so the existence of a minimiser follows from an application of the direct methods. The \(\mathscr{C}^{2}\)-regularity and uniqueness of the minimiser \(\mathscr{G}\) then follows from standard convexity arguments and Hilbert’s differentiability theorem (cf., e.g., [1], pp. 57-61). Note also that from (2.20) it follows upon noting \(F'>0\) that the solution \(\mathscr{G}\) is monotone in r, that is, increasing when \(2\pi m + z>0\) and decreasing when \(2\pi m + z<0\). It thus remains to show that \(f=(f_{1}, \ldots, f_{k})\) as given satisfies (2.17). Indeed, f is easily seen to satisfy the boundary conditions on \((\partial {\mathbb {A}}_{N})_{a}\) and \((\partial {\mathbb {A}}_{N})_{b}\) and the flat parts of \(\partial {\mathbb {A}}_{N}\). Next, for \(1 \le\alpha\le k\) and \(1 \le i \le N\), a basic differentiation yields
Furthermore, as \(n=2N\) and \(k=N\), we have
We can now verify that f is a solution to (2.17). To save space, we will from now on write \(\mathscr{H}(r) = (n-1)/r^{2} + \dot{{\mathscr {G}}}^{2}\). Then proceeding directly and using the ODE for \(\mathscr{G}\), we have
$$ \mathscr{G} \mapsto\mathbb{F}\bigl[\operatorname{exp}\bigl(\mathscr{G}(r) \mathbf{H}\bigr) x|x|^{-1}; \mathbb{X}^{n}\bigr]= n \omega_{n} \int_{a}^{b} F \biggl(r, \frac {n-1}{r^{2}} + \dot{ \mathscr{G}}^{2} \biggr) r^{n-1} \, dr $$
(2.21)
$$ \frac{\partial f_{\alpha}}{\partial\rho_{i}} = \frac{ \rho_{i}}{r}\dot{{\mathscr {G}}}. $$
(2.22)
$$ |\nabla f_{\alpha}|^{2} = \sum_{i=1}^{k} \frac{ \rho_{i}^{2}}{r^{2}}\dot{{\mathscr {G}}}^{2} = \dot{{\mathscr {G}}}^{2} \quad\implies\quad \frac{1}{r^{2}}\sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{\alpha}|^{2} = \dot{{\mathscr {G}}}^{2}. $$
(2.23)
$$\begin{aligned} &\operatorname{div}\Biggl[ F' \Biggl(r, \frac{n-1}{r^{2}} + \frac{1}{r^{2}}\sum_{l=1}^{k} \rho_{l}^{2} |\nabla f_{l}|^{2} \Biggr) \frac{\rho_{\alpha}^{2}}{r^{2}}\nabla f_{\alpha}\prod_{j=1}^{k} \rho_{j} \Biggr] \\ &\quad= \sum_{i=1}^{k} \frac{\partial}{\partial\rho_{i}} \Biggl[ F' \biggl(r, \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \frac{\rho_{i}}{r^{3}}\dot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod _{j=1}^{k}\rho_{j} \Biggr] \\ &\quad= \sum_{i=1}^{k} \Biggl\{ \frac{d}{dr}F'(r,\mathscr{H})\frac{\rho _{i}^{2}}{r^{4}}\dot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod_{j=1}^{k} \rho_{j} + F'(r,\mathscr{H})\frac{\rho_{i}^{2}}{r^{4}}\ddot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod_{j=1}^{k} \rho_{j} \\ &\qquad{}- 3F'(r,\mathscr{H})\frac{\rho_{i}^{2}}{r^{5}}\dot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod_{j=1}^{k}\rho_{j} + F'(r,\mathscr{H})\frac{1}{r^{3}}\dot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod_{j=1}^{k}\rho_{j} \\ &\qquad{}+ F'(r,\mathscr{H})\frac{\rho_{i}}{r^{3}}\dot{{\mathscr {G}}}2\rho_{\alpha}\delta _{i}^{\alpha}\prod_{j=1}^{k} \rho_{j} + F'(r,\mathscr{H})\frac{\rho_{i}}{r^{3}}\dot{{\mathscr {G}}}\rho_{\alpha}^{2} \prod_{j=1,j\neq i}^{k} \rho_{j} \Biggr\} \\ &\quad= \frac{\rho_{\alpha}^{2}}{r^{2}} \Biggl(\prod_{j=1}^{k} \rho_{j} \Biggr) \biggl\{ \frac{d}{dr}F'(r, \mathscr{H}) \dot{{\mathscr {G}}}+ F'(r,\mathscr{H})\ddot{{\mathscr {G}}}- 3 F'(r,\mathscr{H}) \frac{\dot{{\mathscr {G}}}}{r} \\ &\qquad{}+ k F'(r,\mathscr{H}) \frac{\dot{{\mathscr {G}}}}{r} + 2 F'(r, \mathscr{H}) \frac{\dot{{\mathscr {G}}}}{r} + k F'(r,\mathscr{H}) \frac{\dot{{\mathscr {G}}}}{r} \biggr\} \\ &\quad= \frac{\rho_{\alpha}^{2}}{r^{2}} \Biggl(\prod_{j=1}^{k} \rho_{j} \Biggr) \biggl\{ \frac{d}{dr}F'(r, \mathscr{H}) \dot{{\mathscr {G}}}+ F'(r,\mathscr{H})\ddot{{\mathscr {G}}}+ \frac{n-1}{r} F'(r, \mathscr{H})\dot{{\mathscr {G}}}\biggr\} = 0. \end{aligned}$$
(2.24)
The uniqueness of the solution f and the remaining minimality assertions follow from the previous proposition. □
From the description of the solution \(f=f(\rho_{1}, \dots, \rho_{N}; \mathsf {m})\) it follows that f is solely a function of the radial variable \(r=\|\rho\|\). Hence, with a slight abuse of notation, the associated spherical whirl has the form \(u= {\mathbf{Q}}(r) x|x|^{-1}\) where \({\mathbf{Q}}\in\mathscr{C}^{2}([a,b],\mathbf{SO}(n))\); indeed, \({\mathbf{Q}}(r) = \exp(\mathscr{G}(r) \mathbf{H})\) where \(\mathscr{G}=\mathscr{G}(r)\) is as in Proposition 2.2 and H is the constant \(n \times n\) skew-symmetric matrix from (2.12). It therefore follows from similar results in [2] (see also [3]) that the spherical whirl \(u = {\mathbf{Q}}(\rho _{1}, \dots, \rho_{N}; \mathsf {m}) x|x|^{-1}\) with Q as in (1.11) and f from Proposition 2.2 is a classical solution to the nonlinear system (1.6) when n is even. Alternatively and more directly, referring to (1.6), Proposition 2.2, the explicit form of \(u = \exp(\mathscr{G}(r) \mathbf{H})x|x|^{-1}\) and the ODE (2.20) satisfied by \(\mathscr{G}=\mathscr {G}(r)\), we can write, with \(\mathscr{H}(r) = (n-1)/r^{2} + \dot{{\mathscr {G}}}^{2}\) as before and starting from \(\mathscr{L}[u]\):
This proves that u is a solution to the nonlinear system (1.6) and hence justifies the Main Theorem stated in the Introduction. As a remark, this also shows that for spherical whirls u with f as in Proposition 2.2 (cf. (2.19)), the reduced system (2.17) is equivalent to the original full system (1.6), a conclusion that is not in general true for spherical whirls with unequal components of f merely solving (2.17). As an example, see (2.18) and the accompanying discussion.
$$\begin{aligned}[b] \mathscr{L}[u] ={}& \operatorname{div}\bigl[ F'\bigl(r, |\nabla u|^{2}\bigr)\nabla u \bigr] + F'\bigl(r, |\nabla u|^{2}\bigr)|\nabla u|^{2} u \\ ={}& 2 F''(r, \mathscr{H}) \bigl(\dot{{\mathscr {G}}}\ddot{{\mathscr {G}}} - (n-1)r^{-3} \bigr){\dot{\mathbf{Q}}}\theta+ \partial_{r} F'(r, \mathscr{H}){\dot{\mathbf{Q}}}\theta+ F'(r, \mathscr{H}) \\ & \times \bigl({\ddot{\mathbf{Q}}}+ (n-1) r^{-2} (r{\dot{\mathbf{Q}}}- {\mathbf{Q}}) \bigr)\theta+ F'(r, \mathscr{H}) \bigl( \dot{{\mathscr {G}}}^{2} + (n-1)r^{-2} \bigr){\mathbf{Q}}\theta \\ ={}& \bigl\{ 2 F''(r, \mathscr{H}) \bigl(\dot{{\mathscr {G}}}\ddot{ {\mathscr {G}}} - (n-1)r^{-3} \bigr)\dot{{\mathscr {G}}} + \partial_{r}F'(r, \mathscr{H})\dot{{\mathscr {G}}} \\ &+ F'(r, \mathscr{H}) \bigl( \ddot{{\mathscr {G}}} + (n-1)r^{-1} \dot{{\mathscr {G}}} \bigr) \bigr\} \mathbf{H}{\mathbf{Q}}\theta=0. \end{aligned} $$
(2.25)
3 The second variation of \(\mathbb{F}\) at spherical whirls
In this section we compute the second variation of the energy integral \(\mathbb{F}\) and discuss conditions under which this second variation at an extremising spherical whirl is positive definite. Towards this end, let \(u \in {\mathscr {A}}_{\varphi}^{p}(\mathbb{X})\) be an admissible map of class \(\mathscr{C}^{1}\) and pick \(\phi\in\mathscr{C}^{\infty}_{0}(\mathbb{X}^{n} , {\mathbb {R}}^{n})\) and, for \(\varepsilon\in\mathbb{R}\) sufficiently small, set
It is evident that the one-parameter family \((u_{\varepsilon})\) is well-defined and lies in \({\mathscr {A}}_{\varphi}^{p}(\mathbb{X})\) and agrees with u for \(\varepsilon=0\). A straightforward computation now gives
For convenience, we hereafter use the notation \(\widehat{\phi} = \phi - \langle u,\phi\rangle u\) that denotes the part of ϕ tangential to u. We can now proceed by writing
where we have used \(\langle u \otimes\nabla\langle u, \phi\rangle, \nabla u \rangle=0\) by virtue of \(\langle u, u \rangle=1\). If u is such that the first-order condition \(d/d\varepsilon(\mathbb {F}[u_{\varepsilon}; \mathbb{X}^{n}])|_{\varepsilon=0} =0\) holds for all \(\phi\in\mathscr{C}^{\infty}_{0}(\mathbb{X}^{n} , {\mathbb {R}}^{n})\), then the second variation can be computed by a further differentiation and use of (3.3) as
$$ u_{\varepsilon}= \frac{u+\varepsilon\phi}{|u+\varepsilon\phi|}. $$
(3.1)
$$ \frac{d}{d\varepsilon}u_{\varepsilon}\bigg|_{\varepsilon= 0} = \phi - \langle u,\phi \rangle u, \qquad\frac{d^{2}}{d\varepsilon ^{2}}u_{\varepsilon}\bigg|_{\varepsilon= 0} = 3\langle u, \phi\rangle^{2} u - |\phi|^{2} u -2\langle u,\phi\rangle \phi. $$
(3.2)
$$ \begin{aligned}[b] \frac{d}{d\varepsilon} \mathbb{F}\bigl[u_{\varepsilon}; \mathbb{X}^{n}\bigr] \bigg|_{\varepsilon=0} &= 2 \int_{\mathbb{X}^{n}} F'\bigl(r, |\nabla u|^{2} \bigr) \biggl\langle \nabla u_{\varepsilon}, \nabla\frac{d}{d\varepsilon}u_{\varepsilon}\biggr\rangle \, dx \bigg|_{\varepsilon= 0} \\ &= 2 \int_{\mathbb{X}^{n}} F'\bigl( r, |\nabla u|^{2} \bigr) \bigl[ \langle\nabla u , \nabla\phi\rangle- |\nabla u|^{2} \langle u, \phi\rangle \bigr] \,dx,\end{aligned} $$
(3.3)
$$ \begin{aligned}[b]\frac{d^{2}}{d\varepsilon^{2}} \mathbb{F}\bigl[u_{\varepsilon}; \mathbb{X}^{n}\bigr] \bigg|_{\varepsilon=0} ={}& \int_{\mathbb{X}^{n}} \biggl\{ 4 F''\bigl(r , | \nabla u_{\varepsilon}|^{2}\bigr)\biggl\langle \nabla u_{\varepsilon}, \nabla\frac{d}{d\varepsilon }u_{\varepsilon}\biggr\rangle ^{2} + 2F'\bigl(r , |\nabla u_{\varepsilon}|^{2} \bigr)\bigg|\nabla\frac {d}{d\varepsilon}u_{\varepsilon}\bigg|^{2} \\ & + 2F'\bigl( r , |\nabla u_{\varepsilon}|^{2} \bigr)\biggl\langle \nabla u_{\varepsilon}, \nabla\frac{d^{2}}{d\varepsilon^{2}}u_{\varepsilon}\biggr\rangle \biggr\} \,dx \bigg|_{\varepsilon=0} \\ ={}& \int_{\mathbb{X}^{n}} \biggl\{ 4 F''\bigl( r , |\nabla u|^{2}\bigr)\langle\nabla u, \nabla\widehat{\phi} \rangle^{2} + 2F'\bigl( r , |\nabla u|^{2} \bigr)|\nabla \widehat{\phi}|^{2} \\ & + 2F'\bigl( r , |\nabla u|^{2}\bigr)\biggl\langle u |\nabla u|^{2} , \frac {d^{2}}{d\varepsilon^{2}} u_{\varepsilon}\bigg|_{\varepsilon=0} \biggr\rangle \biggr\} \,dx \\ ={}& \int_{\mathbb{X}^{n}} \bigl\{ 4 F''\bigl( r , | \nabla u|^{2}\bigr)\langle\nabla u, \nabla\widehat{\phi} \rangle^{2} + 2F'\bigl( r , |\nabla u|^{2} \bigr)|\nabla \widehat{\phi}|^{2} \\ & - 2F'\bigl( r , |\nabla u|^{2}\bigr) | \nabla u|^{2} |\widehat{\phi}|^{2} \bigr\} \,dx.\end{aligned} $$
(3.4)
Before proceeding further and discussing the positivity of this second variation at an extremising spherical whirl, it is instructive to note that on the level of the \(\mathbb{H}\)-energy the second variation at \(f=(f_{1}, \dots, f_{k})\) and with \(f_{\varepsilon}= f + \varepsilon\varphi\) with \(\varepsilon\in\mathbb{R}\) and \(\varphi\in {\mathscr {C}}^{\infty}_{0}({\mathbb {A}}_{N} , {\mathbb {R}}^{k})\) is given by
Additionally, when f is given by Proposition 2.2 so that \(f_{l} (\rho) = {\mathscr {G}}(\|\rho\|)\) for all l and n even, the above simplifies to
Both these second variations are seen to be uniformly positive everywhere in view of the uniform convexity of the integrand F. However, this is far from true for the second variation of \(\mathbb{F}\).
$$\begin{aligned}[b] \delta^{2} \mathbb{H}[f](\varphi, \varphi):={}& \frac{d^{2}}{d\varepsilon ^{2}} \mathbb{H}[f_{\varepsilon}] \bigg|_{\varepsilon= 0} \\ ={}& 2 \int_{{\mathbb {A}}_{N}} \Biggl[ 2 F'' \Biggl(r, \frac{n-1}{r^{2}} + \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}}|\nabla f_{l}|^{2} \Biggr) \Biggl(\sum _{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}}\langle\nabla f_{l} ,\nabla \varphi_{l}\rangle \Biggr) ^{2} \\ & + F' \Biggl( r,\frac{n-1}{r^{2}} +\sum _{l=1}^{k} \frac {\rho_{l}^{2}}{r^{2}}|\nabla f_{l}|^{2} \Biggr) \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}}|\nabla\varphi_{l}|^{2} \Biggr] \prod _{j=1}^{k} \rho_{j}\,d\rho.\end{aligned} $$
(3.5)
$$\begin{aligned}[b] \delta^{2} \mathbb{H}[f](\varphi, \varphi) ={}& 2 \int_{{\mathbb {A}}_{N}} \Biggl[ 2 F'' \biggl(r, \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \Biggl(\sum _{l=1}^{k} \dot{{\mathscr {G}}}\frac{\rho_{l}^{2}}{r^{3}}\langle\rho,\nabla \varphi_{l}\rangle \Biggr) ^{2} \\ & + F' \biggl( r,\frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \sum_{l=1}^{k} \frac{\rho_{l}^{2}}{r^{2}}|\nabla\varphi_{l}|^{2} \Biggr] \prod _{j=1}^{k} \rho_{j}\,d\rho.\end{aligned} $$
(3.6)
Restricting now to the case \(n \ge2\) even, by using Lemma 2.2 we have that if \(f=f(\rho; \mathsf {m}) = (f_{1},\dots,f_{k})\) is given by Proposition 2.2, then the corresponding spherical whirl \(u = {\mathbf{Q}}(\rho) x|x|^{-1}\) with \({\mathbf{Q}}(\rho) = {\mathbf{Q}}(\rho_{1}, \ldots, \rho_{N}) = \operatorname{exp}(\mathscr{G}(r) \mathbf{H}) = \operatorname{diag}( \mathcal{R}[{\mathscr {G}}](r) , \dots, \mathcal{R}[{\mathscr {G}}](r))\) satisfies
$$ \nabla u = {\mathbf{Q}}\frac{{\mathbf{I}}_{n} + ( r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n} ) \theta\otimes\theta}{r}, \qquad|\nabla u|^{2} = \biggl[ \frac {n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr]. $$
(3.7)
Therefore referring to the calculations from earlier in the section leading to (3.4), we have that the second variation of the \(\mathbb{F}\)-energy at the extremising spherical whirl u in the direction of nonzero ϕ satisfying \(\langle\phi, u \rangle=0\) simplifies to
$$ \begin{aligned}[b] \mathscr{J}[\mathscr{G}](\phi, \phi) ={}& \int_{\mathbb{X}^{n}} \biggl\{ 4 F''\biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl\langle {\mathbf{Q}}\frac{{\mathbf{I}}_{n} + ( r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n} ) \theta\otimes\theta}{r} , \nabla\phi \biggr\rangle ^{2} \\ & + 2F'\biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr)|\nabla\phi|^{2} \\ & - 2F'\biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl[ \frac {n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr] | \phi|^{2} \biggr\} \,dx.\end{aligned} $$
(3.8)
Now focusing on the right-hand side of (3.8), in view of the convexity of the integrand F with respect to the second argument, that is, \(F''(r, t) \ge0\), it is evident that for any such ϕ, we have the inequality
Hence in particular it follows that on the level of the second variation of energy we have the inequality and lower bound
Next put \(\gamma=\overline{d}/ \underline{d} \ge1\) where \(\overline{d} \ge\underline{d}>0\) denote the supremum and infimum of the continuous function \(F'(|x|, |\nabla u|^{2})\) on \(\overline{\mathbb{X}}^{n}\), respectively, that is,
(Note that \(\underline{d}>0\) follows from \(F' >0\) on \([a,b] \times (0,\infty)\) by using a compactness argument.) As an initial attempt, we can obtain a lower bound on the second variation by ignoring the orthogonality \(\langle\phi, {\mathbf{Q}}\theta\rangle=0\) satisfied by ϕ and bringing in the first Dirichlet eigenvalue. Setting \(c = \sup[ (n-1)/r^{2} + \dot{{\mathscr {G}}}^{2}(r) ]\) on \(a \le r \le b\), from the formulation (3.8) it follows that
where \(\lambda^{\mathsf {D}}_{1}(\mathbb{X}^{n})>0\) is the first Dirichlet eigenvalue of −Δ in \(\mathbb{X}^{n}\). As a result, this leads to the following conclusions:
$$ \int_{\mathbb{X}^{n}} F'' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl\langle {\mathbf{Q}}\frac{{\mathbf{I}}_{n} + ( r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n} ) \theta\otimes\theta}{r} , \nabla\phi \biggr\rangle ^{2} \,dx \geq0. $$
(3.9)
$$ \mathscr{J} [\mathscr{G}](\phi, \phi) \ge \int_{\mathbb{X}^{n}} 2 F' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl( |\nabla\phi|^{2} - \biggl[ \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr] |\phi|^{2} \biggr) \,dx. $$
(3.10)
$$ \overline{d} = \sup_{a \le r \le b} F' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2}(r) \biggr), \qquad \underline{d}= \inf _{a \le r \le b} F' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2}(r) \biggr). $$
(3.11)
$$ \begin{aligned}[b]\mathscr{J} [\mathscr{G}](\phi, \phi) &\geq2 \underline{d} \int_{\mathbb{X}^{n}} \biggl( |\nabla\phi|^{2} - \gamma \biggl[ \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr] |\phi|^{2} \biggr) \,dx \\ &\geq2 \underline{d} \int_{\mathbb{X}^{n}} \bigl( |\nabla\phi|^{2} - \gamma c | \phi|^{2} \bigr)\, dx \\ &\ge2 \underline{d} \biggl( 1- \frac{\gamma c}{\lambda^{\mathsf {D}}_{1}(\mathbb{X}^{n})} \biggr) \int_{\mathbb{X}^{n}} |\nabla\phi|^{2} \, dx,\end{aligned} $$
(3.12)
-
If \(\gamma c <\lambda_{1}^{\mathsf {D}}(\mathbb{X}^{n})\), then for all \(\phi\in\mathscr{W}_{0}^{1,2}(\mathbb{X}^{n}, {\mathbb {R}}^{n})\) nonzero, \(\mathscr{J} [\mathscr{G}](\phi, \phi) >0\).
-
There exists \(m=m(\gamma c)>0\) such that for all \(\phi\in \mathscr{W}_{0}^{1,2}(\mathbb{X}^{n}, {\mathbb {R}}^{n})\) nonzero, if \(|\operatorname{supp} \phi| \le m\), then \(\mathscr{J} [\mathscr{G}](\phi , \phi) >0\).4
A more refined estimate taking into account the orthogonality condition on ϕ is given in the next theorem. For consequences of the positivity of the second variation to the extremiser u furnishing a strong local minimiser, see [4, 5].
Theorem 3.1
Let
\(n\geq4\)
be even, and let
\(u={\mathbf{Q}}(\rho) x|x|^{-1}\)
be an extremising spherical whirl with
\({\mathbf{Q}}(\rho) =\operatorname{exp}(\mathscr{G}(r) \mathbf{H}) = \operatorname{diag}(\mathcal{R}[{\mathscr {G}}](r), \dots, \mathcal{R}[{\mathscr {G}}](r))\)
where
\(r = \|\rho\|\)
and
\({\mathscr {G}}\in\mathscr{C}^{2}([a, b], {\mathbb {R}})\)
is a solution to (2.20). Assume the smallness condition
with equality holding at most on a null set in
\((a, b)\). Then the second variation of
\(\mathbb{F}\)
at
u
is positive, that is, \(\mathscr{J} [\mathscr{G}](\phi, \phi)>0\)
for all nonzero
\(\phi\in\mathscr{W}^{1,2}_{0}(\mathbb{X}^{n},{\mathbb {R}}^{n})\)
satisfying
\(\langle\phi, u \rangle= 0\)
a.e. in
\(\mathbb{X}^{n}\).
$$ \gamma \bigl( n-1 + r^{2} \dot{{\mathscr {G}}}^{2}(r) \bigr) \le\frac{(n-2)^{2}}{4} + 2, \quad a \le r \le b, $$
(3.13)
Proof
Referring to the formulation of the second variation, the inequality given by (3.10) and the notation introduced above, we can write
$$ \begin{aligned}[b] \mathscr{J} [\mathscr{G}](\phi, \phi) ={}& \int_{\mathbb{X}^{n}} 4 F''\biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl\langle {\mathbf{Q}}\frac{{\mathbf{I}}_{n} + ( r\dot{{\mathscr {G}}}\mathbf{H}- {\mathbf{I}}_{n} ) \theta\otimes\theta}{r} , \nabla\phi \biggr\rangle ^{2} \\ &+ 2 F' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl( |\nabla\phi|^{2} - \biggl[ \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr] |\phi|^{2} \biggr) \,dx \\ \ge{}& \int_{\mathbb{X}^{n}} 2 F' \biggl( r , \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr) \biggl( |\nabla\phi|^{2} - \biggl[ \frac{n-1}{r^{2}} + \dot{{\mathscr {G}}}^{2} \biggr] |\phi|^{2} \biggr) \,dx \\ \geq{}& 2 \underline{d} \int_{\mathbb{X}^{n}} \biggl( |\nabla\phi|^{2} - \gamma \bigl[ (n-1) + r^{2} \dot{{\mathscr {G}}}^{2} \bigr] \frac{|\phi|^{2}}{r^{2}} \biggr) \,dx.\end{aligned} $$
(3.14)
Next, to proceed further, we recall an estimate from [4] (cf. Lemma 3.1 and Theorem 3.1): Suppose \(n \geq 3\) and let \({\mathbf{Q}}= {\mathbf{Q}}(r)\) in \(\mathscr{C}([a, b]; \mathbf{SO}(n))\) be an arbitrary twist path. Then
for all \(\phi\in\mathscr{W}^{1,2}_{0}(\mathbb{X}^{n},{\mathbb {R}}^{n})\) satisfying \(\langle\phi, {\mathbf{Q}}(r) x|x|^{-1} \rangle=0\) a.e. in \(\mathbb{X}^{n}\). Using this, combined with the previous lower bound on \(\mathscr{J}\), we can therefore write
for nonzero ϕ as described and subject to the smallness condition set in the theorem. This leads to the desired conclusion and thus completes the proof. □
$$ \int_{\mathbb{X}^{n}} \biggl(|\nabla\phi|^{2} - \frac{n-1}{r^{2}} |\phi|^{2} \biggr) \,dx \geq\frac{(n-4)^{2}}{4} \int_{\mathbb{X}^{n}} \frac{|\phi |^{2}}{r^{2}} \, dx $$
(3.15)
$$ \begin{aligned}[b]\mathscr{J} [\mathscr{G}](\phi, \phi) &\geq2 \underline{d} \int_{\mathbb{X}^{n}} \biggl( |\nabla\phi|^{2} - \gamma \bigl[ (n-1) + r^{2} \dot{{\mathscr {G}}}^{2} \bigr] \frac{|\phi|^{2}}{r^{2}} \biggr) \,dx \\ &\geq2 \underline{d} \int_{\mathbb{X}^{n}} \biggl( \frac{(n-4)^{2}}{4} - (n-1) (\gamma-1) - \gamma r^{2} \dot{{\mathscr {G}}}^{2}(r) \biggr) \frac{|\phi |^{2}}{r^{2}} \,dx >0\end{aligned} $$
(3.16)
-
Note that upon setting \(s=\sup r^{2} \dot{{\mathscr {G}}}^{2}(r)\) for \(a \le r \le b\), a sufficient condition implying (3.13) is the strict inequality$$ \gamma ( n-1 + s ) < \frac{(n-2)^{2}}{4} + 2. $$(3.17)
-
In case of the Dirichlet energy (i.e., \(F(r, t) \equiv t\)) it is easily seen that \(\overline{d}= \underline{d}\) and so \(\gamma=1\). Moreover, the ODE for \({\mathscr {G}}\), that is, (2.20) can be integrated to give the solution \({\mathscr {G}}(r) = (2\pi m + z) \mathscr{N}(r)\) for \(a \le r \le b\) where the profile \(\mathscr{N}\) is described by (cf. (2.18))As a result, the smallness condition here becomes$$ \mathscr{N}(r) = \frac{(r/a)^{2-n} - 1}{(b/a)^{2-n} - 1}, \quad n\geq3. $$(3.18)and so under this hypothesis, we have \(\mathscr{J} [\mathscr{G}](\phi , \phi)>0\) for all nonzero \(\phi\in\mathscr{W}^{1,2}_{0}(\mathbb{X}^{n},{\mathbb {R}}^{n})\) satisfying \(\langle\phi, {\mathbf{Q}}x|x|^{-1} \rangle= 0\) a.e. in \(\mathbb{X}^{n}\).$$ |2\pi m + z| \leq\frac{(n-4)}{2(n-2)} \bigl(1 - (a/b)^{n-2} \bigr), $$(3.19)
-
The radial projection \(u=x|x|^{-1}\) is a solution to system (1.6) (for all even or odd \(n \ge2\)). It follows by a similar reasoning as in the proof of Theorem 3.1 (with \({\mathscr {G}}(r) \equiv0\) in (3.14) and (3.16)) that subject tothe second variation of the energy at u is positive, that is, \(\mathscr{J} [\mathscr{G}](\phi, \phi)>0\) for all nonzero \(\phi\in \mathscr{W}^{1,2}_{0}(\mathbb{X}^{n},{\mathbb {R}}^{n})\) satisfying \(\langle\phi, \theta\rangle= 0\) a.e. in \(\mathbb{X}^{n}\).$$ 0 \le\gamma-1 < \frac{(n-4)^{2}}{4(n-1)}, \quad n \ge3, $$(3.20)
4 Conclusions
Considering a class of energy functionals depending on the norm of the gradient, we have established, under suitable boundary conditions, the existence of an infinite family of sphere-valued whirling solutions to the associated nonlinear Euler-Lagrange system in even dimensions. In sharp contrast, we have that in odd dimensions there can be one or no such whirling solutions. We have proved that in the former case, subject to a smallness condition, the second variation of the energy is strictly positive at these whirling solutions and hence that the latter solutions are stable.
Footnotes
1
For more on the structure of the Sobolev spaces of maps between Riemannian manifolds, see [6–10] and the references therein, and for applications and further discussion and reading relating to the work presented here, see [8, 11–16] as well as [3, 10, 17–19, 22–24].
2
The divergence here is taken with respect to the x-variables whilst \(\rho=\rho(x_{1}, \dots, x_{n})\) and \(r = \|\rho\| = (\rho_{1}^{2} + \cdots+\rho_{N}^{2})^{1/2}\). In (1.16) the divergence is taken with respect to the ρ-variables.
3
The radial projection \(u=x |x|^{-1}\) is always a solution to system (1.6) with \(\varphi=x |x|^{-1}\) on \(\partial \mathbb{X}^{n}\) (regardless of n even or odd). In fact here \(\mathscr{L}[u] = \nabla u \nabla F' + F' (\Delta u + |\nabla u|^{2} u) =0\) as a consequence of \(\nabla u = (\mathbf{I}_{n}-\theta\otimes\theta)/r\), \(F'(r, |\nabla u|^{2})\) depending only on r and \(\Delta u + |\nabla u|^{2}u=0\).
Declarations
Acknowledgements
The research of SD was supported by a University of Sussex. Ph.D. scholarship gratefully acknowledged.
Availability of data and materials
N/A
Funding
N/A
Authors’ contributions
Both authors have contributed equally to the paper. Both authors read and approved the final manuscript.
Ethics approval and consent to participate
N/A
Competing interests
The authors have no competing interest.
Consent for publication
N/A
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
(1)
Department of Mathematics, University of Sussex, Brighton, UK
References
- Cesari, L: Optimization Theory and Applications: Problems with Ordinary Differential Equations. Application of Mathematics, vol. 17. Springer, Berlin (1983) View ArticleMATHGoogle Scholar
- Day, S, Taheri, A: Geodesics on SO ( n ) $\mathbf{SO}(n)$ and a class of spherically symmetric maps as solutions to a nonlinear generalised harmonic map problem. Topol. Methods Nonlinear Anal. (2018, to appear) Google Scholar
- Taheri, A: Spherical twists, stationary paths and harmonic maps from generalised annuli into spheres. NoDEA Nonlinear Differ. Equ. Appl. 19(1), 79-95 (2012) View ArticleMATHGoogle Scholar
- Day, S, Taheri, A: Stability of spherical harmonic twists, second variations and conjugate points on SO ( n ) $\mathbf{SO}(n)$ . Proc. Edinb. Math. Soc. (2018, to appear) Google Scholar
- Taheri, A: Sufficiency theorems for local minimizers of the multiple integrals of the calculus of variations. Proc. R. Soc. Edinb. A 131, 155-184 (2001) View ArticleMATHGoogle Scholar
- Bethuel, F: The approximation problem for Sobolev maps between two manifolds. Acta Math. 167(1), 153-206 (1991) View ArticleMATHGoogle Scholar
- Brezis, H, Li, Y: Topology and Sobolev spaces. J. Funct. Anal. 183(2), 321-369 (2001) View ArticleMATHGoogle Scholar
- Giaquinta, M, Modica, G, Soucek, J: Cartesian Currents in the Calculus of Variations, vols. I and II. Springer, Berlin (1998) View ArticleMATHGoogle Scholar
- Hang, FB, Lin, FH: Topology of Sobolev mappings. Math. Res. Lett. 8(3), 321-330 (2001) View ArticleMATHGoogle Scholar
- Taheri, A: Local minimizers and quasiconvexity - the impact of topology. Arch. Ration. Mech. Anal. 176(3), 363-414 (2005) View ArticleMATHGoogle Scholar
- Alouges, F, Ghidaglia, J: Minimizing Oseen-Frank energy for nematic liquid crystals: algorithms and numerical results. Ann. IHP, Phys. Théor. 66, 411-447 (1997) MATHGoogle Scholar
- Bourgoin, JC: The minimality of the map \(x/\|x\|\) for weighted energy. Calc. Var. Partial Differ. Equ. 25(4), 469-489 (2006) View ArticleMATHGoogle Scholar
- Gulliver, R, Coron, JM: Minimizing p-harmonic maps into spheres. J. Reine Angew. Math. 401, 82-100 (1989) MATHGoogle Scholar
- Hong, MC: On the minimality of the p-harmonic map \(x/| x|: \mathbb {B}^{n} \rightarrow\mathbb{S}^{n-1}\). Calc. Var. Partial Differ. Equ. 13(4), 459-468 (2001) MATHGoogle Scholar
- Lin, FH: A remark on the map \(x/|x|\). C. R. Acad. Sci. 305(12), 529-531 (1987) MATHGoogle Scholar
- Virga, EG: Variational Theories for Liquid Crystals. Applied Mathematics and Mathematical Computation, vol. 8. Chapman & Hall, London (1994) View ArticleMATHGoogle Scholar
- Hélein, F, Wood, JC: Harmonic maps. In: Global Analysis, pp. 417-491. Elsevier, Amsterdam (2008) Google Scholar
- Morris, C, Taheri, A: Annular rearrangements, incompressible axi-symmetric whirls and L 1 $L^{1}$ -local minimisers of the distortion energy. NoDEA Nonlinear Differ. Equ. Appl. 25(1) (2018) Google Scholar
- Taheri, A: Spherical twists, \(\mathbf{SO}(n)\) and the lifting of twist paths to \(\mathbf{Spin}(n)\) in low dimensions. Q. J. Math. 63(3), 723-751 (2012) View ArticleMATHGoogle Scholar
- Taheri, A: Strong versus weak local minimizers for the perturbed Dirichlet functional. Calc. Var. Partial Differ. Equ. 15, 215-235 (2002) View ArticleMATHGoogle Scholar
- Taheri, A: Function Spaces and Partial Differential Equations, vols. I and II. Oxford Lecture Series in Mathematics and Its Applications. Oxford University Press, Oxford (2015) View ArticleMATHGoogle Scholar
- Eells, J, Lemaire, L: A report on harmonic maps. Bull. Lond. Math. Soc. 10, 1-68 (1978) View ArticleMATHGoogle Scholar
- Eells, J, Lemaire, L: Another report on harmonic maps. Bull. Lond. Math. Soc. 20, 385-524 (1988) View ArticleMATHGoogle Scholar
- Baldes, A: Stability and uniqueness properties of the equator map from a ball into an ellipsoid. Math. Z. 185(4), 505-516 (1984) View ArticleMATHGoogle Scholar
Copyright
© The Author(s) 2017
