Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-05T06:36:53.752Z Has data issue: false hasContentIssue false

On the existence of baby skyrmions stabilized by vector mesons

Published online by Cambridge University Press:  30 March 2023

Carlo Greco*
Affiliation:
Department of Mechanics, Mathematics and Management, Polytechnic University of Bari, Bari 70125, Italy ([email protected])
Rights & Permissions [Opens in a new window]

Abstract

In this paper, we prove the existence of topologically non-trivial solutions of the two-dimensional Adkins–Nappi model of nuclear physics; to this end, we minimize the energy functional by using the classical Skyrme ansatz, as well as a non-radially symmetric generalization of it. In both cases, we show that the minimization procedure preserves the topological degree of the minimization sequence.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on Behalf of The Edinburgh Mathematical Society.

1. Introduction

The Skyrme model for baryons and mesons is a non-linear field theory in $3+1$ dimensions which admits topologically non-trivial solutions, called skyrmions (see [Reference Skyrme26, Reference Skyrme27]). In this model, the lagrangian includes a quadratic term and a term of the fourth order in the derivatives (the Skyrme term) which is essential for the existence of a minimum amount of energy, since it enables us to evade Derrick’s theorem [Reference Derrick8]. A different model was developed later by Adkins and Nappi [Reference Adkins and Nappi2] to improve the fit to the experimental data. In this theory, vector mesons are also considered, and the Skyrme term is replaced with a term that describes the coupling of the meson field to the pions and that stabilizes the skyrmion.

Recently, many authors have studied both the Skyrme model and the Adkins and Nappi model in two spatial dimensions (see [Reference Adam, Romańczukiewicz, Sánchez-Guillén and Wereszczyński1, Reference Arthur, Roche, Tchrakian and Yang3, Reference de Innocentis and Ward6, Reference Eslami, Sarbishaei and Zakrzewski10, Reference Foster and Sutcliffe11, Reference Greco13Reference Piette, Schroers and Zakrzewski23, Reference Scoccola and Bes25, Reference Ward30, Reference Weidig31]) because the two-dimensional skyrmions (usually called baby skyrmions) are more tractable, from the numerical point of view, than their three-dimensional analogues. Moreover, baby skyrmions have applications to condensed matter physics (see for instance, [Reference Sondhi, Karlhede, Kivelson and Rezayi28]), so they have their own interest.

In two spatial dimensions, the static Skyrme field, namely the pions field, is a map $u\colon\mathbb{R}^2\to S^2$ whose energy is

(1.1)\begin{equation} E(u)=\int_{\mathbb{R}^2}\left(\frac{1}{2}\lvert \nabla u\rvert ^2-\frac{1}{2} \lvert \nabla\omega _u\rvert ^2-\frac{M^2}{2} \lvert \omega _u\rvert ^2+\frac{g}{4\pi} \omega _u u\cdot\partial_1 u\times\partial_2 u+V(u)\right)\, {\rm d}x, \end{equation}

where the function $\omega _u\colon \mathbb{R}^2\to\mathbb{R}$ is the solution, vanishing at infinity, of the equation

(1.2)\begin{equation} \Delta\,\omega -M^2\omega + \frac{g}{4\pi} u\cdot\partial_1 u \times\partial_2 u=0. \end{equation}

In Equations (1.1) and (1.2), M is the mass of the ω field, g is a coupling constant and $V(y)=V(y_1,y_2,y_3)$ is a suitable smooth non-negative potential defined on S 2, which vanishes at the North Pole $e_3=(0,0,1)$ of S 2; in most cases, the potential V(y) has the form $V(y)=m(1-y_3)$, where m is the mass of the pion field (see [Reference Foster and Sutcliffe11]). From Equation (1.1), provided $\omega _u(x)\to 0$ appropriately for $\lvert x\rvert \to +\infty $, we get

\begin{equation*} \int_{\mathbb{R}^2}\left(\lvert \nabla\omega _u\rvert ^2+M^2\omega _u^2\right)\,{\rm d}x =\int_{\mathbb{R}^2} \frac{g}{4\pi} \omega _u u\cdot\partial_1 u \times\partial_2 u\, {\rm d}x, \end{equation*}

so that the functional E(u) becomes

\begin{equation*} E(u)=\int_{\mathbb{R}^2}\left(\frac{1}{2} \lvert \nabla u\rvert ^2+\frac{1}{2} \lvert \nabla\omega _u\rvert ^2+ \frac{1}{2} M^2 \lvert \omega _u\rvert ^2+V(u)\right)\,{\rm d}x. \end{equation*}

Clearly $E(u)\geq 0$, and it has a trivial global minimum for $u(x)\equiv e_3$. On the other hand, the finite energy requirement implies $u(\infty)=e_3$, so that $\mathbb{R}^2$ can be compactified to S 2, and the map $u\colon \mathbb{R}^2\to S^2$ can be identified with a map from S 2 to S 2, with a well-defined topological degree $Q(u)\in\mathbb{Z}$, where

\begin{equation*} Q(u)= \frac{1}{4\pi} \int_{\mathbb{R}^2} u\cdot\partial_1 u \times\partial_2 u\, {\rm d}x. \end{equation*}

On each topological sector Q k ( $k\in\mathbb{Z}$), we have the well-known topological lower bound on the energy:

\begin{equation*} E(u)\geq\int_{\mathbb{R}^2} \frac{1}{2} \lvert \nabla u\rvert ^2\, {\rm d}x \geq 4\pi\lvert k\rvert , \end{equation*}

so that $E_k\equiv\inf \{E(u)\mid u\in Q_k \}\gt0$ for k ≠ 0, and we can search for functions $u\in Q_k$ such that $E(u)=E_k$, namely for baby skyrmions with topological degree $Q(u)=k$.

In this paper, we limit ourselves to consider functions $u\colon\mathbb{R}^2\to S^2$ of the form

(1.3)\begin{equation} u_f(x)=\left(\sin (f(x))\cos (k\varphi),\sin (f(x))\sin (k\varphi), \cos (f(x))\right), \end{equation}

where $k\in\mathbb{Z}$ and $f\colon\mathbb{R}^2\to\mathbb{R}$. In this case, the functional E(u) becomes

\begin{align*} E(f)=\int_{\mathbb{R}^2} \left( \frac{1}{2} \left( \frac{k^2\,\sin^2(f(x))}{\lvert x\rvert ^2}+\lvert \nabla f\rvert ^2 \right)- \frac{1}{2} \lvert \nabla\omega _f\rvert ^2- \frac{M^2}{2} \lvert \omega _f\rvert ^2 \right) \,{\rm d}x \\ + \int_{\mathbb{R}^2} \left(-\frac{g}{4\pi} \omega _f(x) \frac{k\,\sin (f(x))}{\lvert x\rvert ^2} x\cdot\nabla f(x)+V(u_f)\right)\, {\rm d}x, \end{align*}

and f(x) and $\omega_f(x)$ are coupled by the equation

(1.4)\begin{equation} \Delta\,\omega _f-M^2\omega _f+ \frac{g}{4\pi} \frac{k\,\sin(f(x))}{\lvert x\rvert ^2} x\cdot\nabla f(x)=0. \end{equation}

We assume that the potential $V\colon S^2\to\mathbb{R}$ is a smooth non-negative function and that there exist a 0, $a_1 \gt 0$ and $t\in ]0,1[$, such that

(1.5)\begin{gather} V(y)\leq a_1\lvert y-e_3\rvert ^2 \quad \text{for every}\ y\in S^2; \end{gather}
(1.6)\begin{gather} V(y)\geq a_0\lvert y-e_3\rvert ^2 \quad \text{for every}\ y\in S^2 \ \text{with}\ y_3 \gt t; \end{gather}
we have
(1.7)\begin{gather} V(y_1,y_2,y_3)=V(-y_1,-y_2,y_3)\quad \text{for every}\ y= (y_1,y_2,y_3) \in S^2. \end{gather}

Set

\begin{equation*} Y=\left\{f\in W^{1,2}(\mathbb{R}^2,\mathbb{R}) \Big\vert \int_{\mathbb{R}^2} \frac{\sin^2(f(x))}{\lvert x\rvert ^2} \, {\rm d}x\lt+\infty \right\} \end{equation*}

and denote by X the set of the functions $f\in Y$ such that there exists a weak solution ω f of Equation (1.4) with $\omega _f\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$. If $f\in X$, by multiplying Equation (1.4) by ω f and integrating over $\mathbb{R}^2$, we get

\begin{equation*} \int_{\mathbb{R}^2}\left(\lvert \nabla\omega _f\rvert ^2+M^2 \lvert \omega _f\rvert ^2\right)\, {\rm d}x=\int_{\mathbb{R}^2} \frac{g}{4\pi} \omega_f(x) \frac{k\,\sin(f(x))}{\lvert x\rvert ^2} x\cdot\nabla f(x)\, {\rm d}x\lt+\infty, \end{equation*}

so that X is the natural domain of definition of the functional E(f), and we also have

\begin{equation*} E(f)=\int_{\mathbb{R}^2}\left( \frac{1}{2} \left( \frac{k^2\,\sin^2(f(x))}{\lvert x\rvert ^2} +\lvert \nabla f\rvert ^2 \right)+ \frac{1}{2} \lvert \nabla\omega _f\rvert ^2+ \frac{M^2}{2} \lvert \omega _f\rvert ^2+V(u_f)\right)\, {\rm d}x. \end{equation*}

Moreover, if $f\in Y$, we have $u_f-e_3\in W^{1,2}(\mathbb{R}^2,\mathbb{R}^3)$ because of $\lvert u_f(x)-e_3\rvert ^2=2(1-\cos(f(x)))\leq f(x)^2$, and

\begin{equation*} Q(u_f)= \frac{1}{4\pi} \int_{\mathbb{R}^2} \frac{k\,\sin (f(x))}{\lvert x\rvert ^2} x\cdot\nabla f(x)\, {\rm d}x. \end{equation*}

Clearly, if k = 0, then $Q(u_f)=0$; for k ≠ 0, we have (see Lemma 2) $Q(u_f)=0$ or $Q(u_f)=-k $; let us suppose from now on k ≠ 0 and let $X_{-k}=\{f\in X\mid Q(u_f)=-k\}$. On X k, we have

\begin{equation*} E_{-k}=\inf \big\{E(f)\mid f\in X_{-k} \big\} \geq 4\pi \lvert k\rvert \gt0. \end{equation*}

We prove the following theorem.

Theorem 1. Assume that V satisfy assumptions (1.5)(1.7). Then, for every $k\in\mathbb{Z}$, k ≠ 0, there exists $f\in X_{-k}$ such that $0\leq f(x)\leq\pi $ and $E(f)= \inf \big\{E(f)\mid f\in X_{-k} \big\}$.

Starting from the paper [Reference Adkins and Nappi2], the existence of skyrmions stabilized by vector mesons was studied by many authors, but almost exclusively through numerical simulations; the axially symmetric ansatz (the Skyrme ansatz)

(1.8)\begin{equation} u_f(x)=\left(\sin (f(r))\cos (k\varphi),\sin (f(r))\sin (k\varphi), \cos(f(r))\right), \end{equation}

where $r=\lvert x\rvert $ or the rational map ansatz (see [Reference Sutcliffe29]) was usually used in order to reduce the problem to ordinary differential equations.

Existence and regularity results for critical points of a functional with a non-local term are given in [Reference Demoulini and Stuart7]; in this paper, no symmetry assumptions are made, but the field configurations are taken over a compact manifold (the two-dimensional torus).

In Theorem 1, we prove the existence of baby skyrmions, which minimize the energy functional on a class of field configurations wider than the axially symmetric ones usually considered because we do not assume $f(x)=f(\lvert x\rvert )$ in ansatz (1.3), namely that f(x) is radially symmetric.

Notice that the assumptions (1.5)–(1.7) on the potential are satisfied, of course, by the potential $V(y)=m(1-y_3)$ used in most papers and also, for instance, by ‘double vacuum’ potentials like $V(y)=m(1-y_3^2)$ (see [Reference Foster and Sutcliffe11]).

The skyrmions found in Theorem 1 are not necessarily axially symmetric (as far as we know); however, the existence of baby skyrmions of the form (1.8) is proved in Theorem 2 (see § 3); a similar result in the three-dimensional case was obtained by [Reference Dolbeault9]. Clearly, the baby skyrmions found in Theorem 2 minimize the energy only on the class of axially symmetric field configurations.

2. Proof of Theorem 1

To simplify the notation, in this section, we set M = 1 and $g=4\pi$; moreover, since $Q(u_f)=k\,Q(v_f)$, where

\begin{equation*} v_f(x)=(\sin (f(x))\cos (\varphi),\sin (f(x))\sin (\varphi), \cos(f(x))), \end{equation*}

we can also assume, without loss of generality, that k = 1, so that the functional E(f) in the Introduction becomes

\begin{equation*} E(f)=\int_{\mathbb{R}^2}\left( \frac{1}{2} \left( \frac{\sin^2(f(x))}{\lvert x\rvert ^2} +\lvert \nabla f\rvert ^2 \right)+ \frac{1}{2} \lvert \nabla\omega _f\rvert ^2+ \frac{1}{2} \lvert \omega_f\rvert ^2+V(u_f)\right)\, {\rm d}x. \end{equation*}

For every $f\colon\mathbb{R}^2\to\mathbb{R}$, we set $\hat{f}(r,\theta)=f(r\,\cos\theta,r\,\sin\theta)$, where $r\geq 0$ and $\theta\in [0,2\pi]$; we prove the following simple lemma.

Lemma 1. Let $f\in Y$, then the function

\begin{equation*} g(r)\equiv\int_0^{2\pi}\cos(\hat{f}(r,\theta))\, {\rm d}\theta \end{equation*}

is well-defined and continuous on $[0,+\infty [$, and $\underset{r\to +\infty}{\lim}g(r)=2\pi$.

Proof. Since

\begin{align*} \lvert g(b)-g(a)\rvert\leq \frac{1}{2} \int_a^b\int_0^{2\pi}\left( \frac{\sin^2(\hat{f}(r,\theta))}{r} \right.& \left.+\hat{f}_r(r,\theta)^2 r \right)\,{\rm d}\theta\, {\rm d}r \\ & \leq \frac{1}{2} \int_{a\lt\lvert x\rvert \gt b}\left( \frac{\sin^2(f(x))}{\lvert x\rvert ^2} +\lvert \nabla f(x)\rvert ^2\right)\,{\rm d}x, \end{align*}

g(r) is continuous because of the absolute continuity of the integral. Moreover, since for every ɛ > 0

\begin{equation*} \int_{\lvert x\rvert \gt R}{\left(\frac{\sin^2(f(x))}{\lvert x\rvert^2}+\lvert\nabla f(x)\rvert^2\right)}\, {\rm d}x\lt\varepsilon\end{equation*}

provided R is large enough, the Cauchy condition at infinity is satisfied, so the limit $\lim_{r\to +\infty}g(r)$ exists, and clearly it is $\leq 2\pi $; then, since

\begin{align*}\int_{\lvert x\rvert \gt1} f(x)^2\, {\rm d}x\geq\int_{\lvert x\rvert \lt1} (1-\cos (f(x)))\,{\rm d}x=\int_1^{+\infty}\int_0^{2\pi}(1-\cos(\hat{f}(r,\theta))) r\, {\rm d}\theta \,{\rm d}r \\\geq\int_1^{+\infty}\int_0^{2\pi}(1-\cos(\hat{f}(r,\theta)))\,{\rm d}\theta \, {\rm d}r=\int_1^{+\infty} (2\pi -g(r))\, {\rm d}r,\end{align*}

and $\int_{\mathbb{R}^2}f(x)^2\,{\rm d}x\lt\infty $, we must have $\lim_{r\to +\infty}g(r)=2\pi$.

Lemma 2. Let $f\in Y$, then

\begin{equation*} \ell\equiv\lim_{r\to 0}\int_0^{2\pi}\cos(\hat{f}(r,\theta))\,{\rm d}\theta =\pm 2\pi; \end{equation*}

moreover, if we set $u_f(x)=(\sin(f(x))\cos(\varphi),\sin(f(x))\sin(\varphi),\cos(f(x)))$, then $Q(u_f)=0$ if $\ell = 2\pi$ and $Q(u_f)=-1$ if $\ell =-2\pi$.

Proof. Fix $f\in Y$, and let $u_f(x)$ be as in the statement of the lemma. Let r, R be such that $0\lt r\lt R$ and set $\Omega _{r,R}= \{x\in\mathbb{R}^2 \mid r\lt\lvert x\rvert \lt R\} $; from the summability of the function

\begin{equation*} \frac{\sin (f(x))}{\lvert x\rvert ^2} x \cdot \nabla f(x)= \operatorname{div}\left(\frac{1-\cos(f(x))}{\lvert x\rvert ^2}x\right), \end{equation*}

we have

\begin{align*} 4\pi\,Q(u_f)= \int_{\mathbb{R}^2} \frac{\sin (f(x))}{\lvert x\rvert ^2} x\cdot\nabla f(x)\, {\rm d}x=\lim_{r\to 0}\lim_{R\to +\infty} \int_{\Omega _{r,R}} \operatorname{div}\left( \frac{1-\cos (f(x))}{\lvert x\rvert ^2} x\right)\, {\rm d}x \\ = \lim_{r\to 0}\lim_{R\to +\infty}\left(-\int_0^{2\pi}\left(1-\cos(\hat{f}(r,\theta))\right)\, {\rm d}\theta +\int_0^{2\pi}\left(1-\cos(\hat{f}(R,\theta))\right)\, {\rm d}\theta\right). \end{align*}

From the previous lemma, we have $\lim_{R\to +\infty}\int_0^{2\pi}\left(1-\cos(\hat{f}(R,\theta))\right)\, {\rm d}\theta =0$, so

\begin{align*}Q(u_f)=- \frac{1}{4\pi} \lim_{r\to 0}\int_0^{2\pi}\left(1-\cos(\hat{f}(r,\theta))\right)\, {\rm d}\theta =- \frac{1}{4\pi} (2\pi -\ell). \end{align*}

Since $\ell\in [-2\pi ,2\pi ]$ and $Q(u_f)\in\mathbb{Z}$, we have $\ell =2\pi $ or $\ell =-2\pi $, so that $Q(u_f)=0$ or $Q(u_f)=-1$, and the lemma follows.

In the following lemma, we show that a function $f\in X$ can be replaced with a function $g\in X$ such that $0\leq g(x)\leq\pi $, leaving the energy and the topological charge unchanged.

Lemma 3. Under the assumptions (1.5)–(1.7), for every $f\in X$, there exists $g\in X$ such that $0\leq g(x)\leq\pi $ a.e. in $\mathbb{R}^2$, $E(g)=E(f)$ and $Q(u_g)=Q(u_f)$.

Proof. Let $f\in X$ and set $g(x)=h(f(x))$, where $h(s)=\arccos(\cos(s))$. Clearly, $0\leq g(x)\leq\pi $ a.e. in $\mathbb{R}^2$, and $\sin^2(g(x))=\sin^2(f(x))$, $\cos(g(x))=\cos(f(x))$; moreover, $g\in L^2(\mathbb{R}^2,\mathbb{R})$, in fact, since $s^2\leq \pi^2(1-\cos s)/2\leq \pi^2 s^2/4$ for $s\in [0,\pi]$, we have

\begin{align*}\int_{\mathbb{R}^2} g(x)^2\, {\rm d}x\leq \frac{\pi^2}{2} \int_{\mathbb{R}^2} (1-\cos(g(x)))\, {\rm d}x=\\\frac{\pi^2}{2}\int_{\mathbb{R}^2} (1-\cos(f(x)))\, {\rm d}x \leq \frac{\pi^2}{4}\int_{\mathbb{R}^2} f(x)^2\, {\rm d}x\lt+\infty.\end{align*}

Since h is Lipschitz, g is weakly derivable, and the chain rule holds true, so that $\nabla g(x)=h^\prime(f(x))\nabla f(x)$ if h is derivable at f(x), and $\nabla g(x)=0$ if h is not derivable at f(x) (see, for instance [Reference Gilbarg and Trudinger12], Theorem 7.8). But h(s) is not derivable at $s=m \pi$, $m\in\mathbb{Z}$, whereas $h^\prime(s)=\pm 1$ for $s\neq m\pi $; set $A_m= \{x\in\mathbb{R}^2\mid f(x)=m\pi\} $. Since f(x) is constant on each A m, we have $\nabla f(x)=0$ a.e. on $A\equiv\cup A_m$ (see [Reference Gilbarg and Trudinger12], Lemma 7.7), so that

\begin{equation*} \int_{\mathbb{R}^2} \lvert \nabla g\rvert ^2\, {\rm d}x=\int_{\mathbb{R}^2\setminus A} \lvert \nabla g\rvert ^2\, {\rm d}x=\int_{\mathbb{R}^2\setminus A} \lvert \nabla f\rvert ^2\, {\rm d}x=\int_{\mathbb{R}^2} \lvert \nabla f\rvert ^2\, {\rm d}x. \end{equation*}

Next we observe that $-\sin(g(x))x\cdot\nabla g(x)/\lvert x\rvert^2=-\sin(f(x))x\cdot\nabla f(x)/\lvert x\rvert^2$ a.e. on $\mathbb{R}^2$; in fact, both sides of the equation vanish on A, whereas for $x\in\mathbb{R}^2\setminus A$, we have $\nabla g(x)=\pm\nabla f(x)$ and, respectively, $\sin(g(x))=\pm \sin(f(x))$, so the equality holds true. Then $\omega _f=\omega _g$ so that $g\in X$, and moreover $Q(u_g)=Q(u_f)$. Finally, by assumption (1.7), we have

\begin{align*} V(u_g(x))& =V(\sin (g(x))\cos(\varphi),\sin(g(x))\sin(\varphi),\cos(g(x))) \\ &\quad\quad\quad\quad=V(\pm \sin(f(x))\cos(\varphi),\pm \sin(f(x))\sin(\varphi),\cos(f(x)))=V(u_f(x)), \end{align*}

so that $E(g)=E(f)$.

Notice that we require $V(y)\geq a_0\lvert y-e_3\rvert ^2$ only for $y_3\gt t$, where $0\lt t\lt1$ (see assumption (1.6)), in order to include in Theorem 1 the ‘multiple vacuum’ case. Nevertheless, the energy functional E(f) is coercive in the sense of Remark 2, as shown in the following two lemmas.

We denote by $C_c^{\infty}(\mathbb{R}^2,S^2)$ the set of smooth functions from $\mathbb{R}^2$ to $\mathbb{R}^3$ such that $\lvert u(x)\rvert =1$ for every $x\in\mathbb{R}^2$, and $u-e_3$ has compact support; moreover, $\lvert \cdot \rvert $ is the Lebesgue measure on $\mathbb{R}^2$.

Lemma 4. There exist $c_1\gt0$ such that, for every $u= (u_1,u_2,u_3) \in C_c^{\infty}(\mathbb{R}^2,S^2)$, we have

\begin{equation*} \lvert A\rvert \leq c_1\left(\int_{\mathbb{R}^2}\left(\lvert \nabla u\rvert ^2+V(u)\right)\, {\rm d}x\right)^2, \end{equation*}

where $A=\{x\in\mathbb{R}^2\mid u_3(x)\lt t\}$.

Proof. Set

\begin{equation*} c_1= \frac{1}{4\pi} \frac{1}{(1-t)^3} \frac{9}{16} \max\left(\frac{1}{4 a_0^2},1\right), \end{equation*}

where a 0 and $t\in ]0,1[$ are as in assumption (1.6). Let $u=(u_1,u_2,u_3) \in C_c^{\infty}(\mathbb{R}^2,S^2)$, and set $A= \{x\in\mathbb{R}^2\mid u_3(x)\lt t\}$ and $B= \{ x\in\mathbb{R}^2\mid u_3(x) \gt t\} $. Since $\nabla(1-u_3(x))^{\frac{3}{2}}=-\frac{3}{2}(1-u_3(x))^{\frac{1}{2}}\nabla u_3(x)$, we have

\begin{align*} \int_B \lvert \nabla(1-u_3(x))^{3/2}\rvert \, {\rm d}x \leq \frac{3}{2} \left(\int_B(1-u_3(x))\, {\rm d}x\right)^{\frac{1}{2}} \left(\int_B \lvert \nabla u_3(x)\rvert ^2\, {\rm d}x\right)^\frac{1}{2} \\ \leq\frac{3}{4}\left(\int_B(1-u_3(x))\, {\rm d}x+\int_B \lvert \nabla u_3(x)\rvert ^2\, {\rm d}x\right). \end{align*}

But $u_3(x)\gt t$, so that, by assumption (1.6), we have $V(u(x))\geq a_0\lvert u(x)-e_3\rvert ^2=2a_0(1-u_3(x))$ on B (notice that $\lvert u(x)\rvert =1$ implies $\lvert u(x)-e_3\rvert ^2=2(1-u_3(x))$), so that

\begin{equation*} \int_B(1-u_3(x))\, {\rm d}x\leq \frac{1}{2 a_0} \int_B V(u(x))\, {\rm d}x\leq \frac{1}{2 a_0} \int_{\mathbb{R}^2} V(u(x))\, {\rm d}x, \end{equation*}

and then

\begin{equation*} \int_B \lvert \nabla(1-u_3(x))^{3/2}\rvert \, {\rm d}x\leq \frac{3}{4} \left( \frac{1}{2 a_0} \int_{\mathbb{R}^2} V(u)\, {\rm d}x+\int_{\mathbb{R}^2} \lvert \nabla u\rvert ^2\, {\rm d}x\right). \end{equation*}

On the other hand, since on B we have $0\leq 1-u_3(x)\leq 1-t$, from the co-area formula, it follows that

\begin{equation*} \int_0^{(1-t)^{3/2}}\mathcal{H}^1(\Gamma_y)\, {\rm d}y=\int_B \lvert \nabla(1-u_3(x))^{3/2}\rvert \, {\rm d}x\leq \frac{3}{4} \left( \frac{1}{2 a_0} \int_{\mathbb{R}^2} V(u)\, {\rm d}x+\int_{\mathbb{R}^2} \lvert \nabla u\rvert ^2\, {\rm d}x\right), \end{equation*}

where $\Gamma_y= \{x\in\mathbb{R}^2\mid(1-u_3(x))^{3/2}=y\}$. Then, there exists $y_0\in[0,(1-t)^{3/2}]$ such that

\begin{equation*} \mathcal{H}^1(\Gamma_{y_0})\leq \frac{1}{(1-t)^{3/2}} \frac{3}{4} \left(\frac{1}{2 a_0} \int_{\mathbb{R}^2} V(u)\, {\rm d}x+\int_{\mathbb{R}^2} \lvert \nabla u\rvert ^2\, {\rm d}x\right). \end{equation*}

Let $C= \{x\in\mathbb{R}^2 \mid u_3(x)\lt1-(y_0)^{2/3}\} $; clearly, $x\in A$ implies $y_0\leq (1-t)^{3/2}\lt(1-u_3(x))^{3/2}$, so that $A\subset C$. Moreover, C is an open and bounded subset of $\mathbb{R}^2$, with $\partial C=\Gamma_{y_0}$; therefore, by the isoperimetric inequality,

\begin{equation*} \lvert A\rvert \leq \lvert C\rvert \leq \frac{1}{4\pi} \mathcal{H}^1(\Gamma_{y_0})^2\leq \frac{1}{4\pi} \frac{1}{(1-t)^3} \frac{9}{16} \left( \frac{1}{2 a_0} \int_{\mathbb{R}^2} V(u)\, {\rm d}x+\int_{\mathbb{R}^2} \lvert \nabla u\rvert ^2\, {\rm d}x\right)^2, \end{equation*}

and the lemma is proved.

Remark 1. Let us consider $f\in Y$ and let u f as in (1.3), then $u_f-e_3\in W^{1,2}(\mathbb{R}^2,\mathbb{R}^3)$, as observed in the Introduction. By virtue of the well-known density theorem of [Reference Schoen and Uhlenbeck24, Part 4] (see also [Reference Brezis and Coron5]), there exists a sequence $(v_n)_n\subset C_c^{\infty}(\mathbb{R}^2,S^2)$, such that $v_n-e_3\to u_f-e_3$ in $W^{1,2}(\mathbb{R}^2,\mathbb{R}^3)$. Clearly, we also have, eventually passing to a subsequence, $\int_{\mathbb{R}^2} V(v_n)\,{\rm d}x\to\int_{\mathbb{R}^2} V(u_f)\,{\rm d}x $. In fact, since $v_n-e_3\to u_f-e_3$ in $L^2(\mathbb{R}^2,\mathbb{R}^3)$, we have (modulo subsequences) $v_n-e_3\to u_f-e_3$ a.e. on $\mathbb{R}^2$, and moreover, there exist $h\in L^2(\mathbb{R}^2,\mathbb{R}^3)$ such that $\lvert v_n(x)-e_3\rvert \leq h(x)$ a.e. on $\mathbb{R}^2$ (see for instance [Reference Brezis4], Theorem 4.9). Then, $V(v_n(x))\leq a_1\lvert v_n(x)-e_3\rvert ^2\leq a_1h(x)^2$ because of assumption (1.5), and we can apply the dominated convergence theorem.

Lemma 5. For every $f\in Y$, we have

(2.1)\begin{equation} \int_{\mathbb{R}^2} \lvert u_f-e_3\rvert ^2\, {\rm d}x\leq \frac{1}{a_0} \int_{\mathbb{R}^2} V(u_f)\, {\rm d}x+4 c_1 \left(\int_{\mathbb{R}^2}\big(\lvert \nabla u_f\rvert ^2+V(u_f)\big)\, dx\right)^2, \end{equation}

where $c_1\gt0$ is the constant in the previous Lemma, and u f is as in formula (1.3).

Proof. Because of the previous Remark, it is enough to demonstrate that for every $v\in C_c^{\infty}(\mathbb{R}^2,S^2)$, inequality (2.1) holds true. In fact, fix $v\in C_c^{\infty}(\mathbb{R}^2,S^2)$ and observe that

\begin{equation*} \int_{\mathbb{R}^2} \lvert v-e_3\rvert ^2\, {\rm d}x=\int_{v_3(x)\geq t} \lvert v-e_3\rvert ^2\, {\rm d}x+\int_{v_3(x) \lt t} \lvert v-e_3\rvert ^2\, {\rm d}x; \end{equation*}

since $v_ 3(x)\geq t$ implies $a_0\lvert v(x)-e_3\rvert ^2\leq V(v(x))$, for the first integral, we have

\begin{equation*} \int_{v_3(x)\geq t} \lvert v-e_3\rvert ^2\, {\rm d}x\leq \frac{1}{a_0} \int_{v_3(x)\geq t} V(v)\, {\rm d}x\leq \frac{1}{a_0} \int_{\mathbb{R}^2} V(v)\, {\rm d}x. \end{equation*}

Moreover, if we set $A= \{x\in\mathbb{R}^2\mid v_3(x)\lt t\} $, since $\lvert v(x)-e_3\rvert \leq 2$, from the previous lemma, we get

\begin{equation*} \int_{v_3(x) \lt t} \lvert v-e_3\rvert ^2\, {\rm d}x\leq 4 \lvert A\rvert \leq 4 c_1\left(\int_{\mathbb{R}^2}\left(\lvert \nabla v\rvert ^2+V(v)\right)\, {\rm d}x\right)^2, \end{equation*}

so inequality (2.1) is proved.

Remark 2. If $f\in X$ and $0\leq f(x)\leq\pi $ a.e. on $\mathbb{R}^2$, since $s^2\leq\pi^2(1-\cos s)/2$ for $s\in [0,\pi]$, inequality (2.1) implies

\begin{align*} \int_{\mathbb{R}^2} \lvert f(x)\rvert ^2\, {\rm d}x\leq \frac{\pi^2}{2} \int_{\mathbb{R}^2} \left(1-\cos (f(x))\right)\, {\rm d}x= \frac{\pi^2}{4} \int_{\mathbb{R}^2} \lvert u_f-e_3\rvert ^2\, {\rm d}x \\ \leq\frac{\pi^2}{4}\left( \frac{1}{a_0} \int_{\mathbb{R}^2} V(u_f)\, {\rm d}x+4 c_1\left(\int_{\mathbb{R}^2} \left(\lvert \nabla u_f\rvert ^2+V(u_f)\right)\, {\rm d}x\right)^2\right). \end{align*}

In particular, if $(f_n)_n\subset X$ is a sequence such that $0\leq f_n(x)\leq\pi $ and $(E(f_n))_n$ is bounded, then $(f_n)_n$ is bounded in $W^{1,2}(\mathbb{R}^2,\mathbb{R})$.

We consider now a family of functions obtained by truncation and rescaling from a function like $\log\lvert \log x\rvert $ as described in the following lemma. We denote by $C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$ the set of smooth functions from $\mathbb{R}^2$ to $\mathbb{R}$ with compact support, by $\left\|\,\cdot\,\right\|_{W^{1,2}}$ the norm on the Sobolev space $W^{1,2}(\mathbb{R}^2,\mathbb{R})$ and by $\left\|\,\cdot\,\right\|_{\infty}$ the norm on $L^{\infty}(\mathbb{R}^2,\mathbb{R})$.

Lemma 6. There exists $C_*\gt0$ and a family of functions $(\psi_{n,\lambda})_{n,\lambda}\subset C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$, with $n\in\mathbb{N}$ and $\lambda\in [1,+\infty [$, such that for every $n\in\mathbb{N}$ and every $\lambda\geq 1$,

\begin{equation*} \left\|\psi_{n,\lambda}\right\|_{W^{1,2}} \lt C_*; \quad \left\|\psi _{n,\lambda}\right\|_{\infty}\leq n+1;\quad \psi_{n,\lambda}(0)=n; \quad \operatorname{supp}(\psi_{n,\lambda})\subset B_{\frac{2}{\lambda}}(0). \end{equation*}

Proof. Let $g(x)=\log(1-\log\lvert x\rvert )$ if $\lvert x\rvert \leq 1$, $g(x)=0$ if $\lvert x\rvert \gt1$ and set $g_n(x)=\min(g(x),n)$; clearly, g, $g_n\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$ and $\|g_n\|_{W^{1,2}}\lt\|g\|_{W^{1,2}}$, $\|g_n\|_{\infty}=n$; moreover, $\operatorname{supp}(g_n)=B_1(0)$.

For every $n\in\mathbb{N}$, there exists a mollification $\psi_n\in C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$ of g n such that $\|\psi_n\|_{W^{1,2}}\lt\|g\|_{W^{1,2}}$, $\|\psi_n\|_{\infty}\leq n+1$, $\psi_n(x)=n$ in a neighborhood of zero and $\operatorname{supp}(\psi_n)\subset B_2(0)$.

Finally, for every $n\in\mathbb{N}$ and every $\lambda\geq 1$, let $\psi_{n,\lambda}(x)=\psi_n(\lambda x)$; clearly, setting $C_*=\|g\|_{W^{1,2}}$ and observing that $\lambda\to\|\psi_{n,\lambda}\|_{W^{1,2}}$ is decreasing, we see immediately that the family $(\psi_{n,\lambda})_{n,\lambda}\subset C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$ of functions verify the lemma.

Remark 3. Let $f\in Y$, then there exists $\underset{r\to0} {\lim}\int_0^{2\pi}\cos(\hat{f}(r,\theta))\,{\rm d}\theta = \pm 2\pi$ (see Lemma 2). Now, let $\varphi\in C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$; setting $\Omega _{r,R}= \{x\in\mathbb{R}^2\mid r\lt\lvert x\rvert \lt R\} $, we have, for R large enough,

\begin{multline*} \int_{\Omega_{r,R}}\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x) \varphi(x)\, {\rm d}x \\ =\int_{\Omega_{r,R}}\frac{\cos(f(x))}{\lvert x\rvert ^2}x\cdot \nabla\varphi(x)\, {\rm d}x -\int_{\Omega_{r,R}} \operatorname{div}\left(\frac{\cos(f(x))}{\lvert x\rvert ^2} \varphi(x)x\right)\, {\rm d}x \\ =\int_{\Omega_{r,R}}\frac{\cos(f(x))}{\lvert x\rvert ^2} x\cdot\nabla\varphi(x)\, {\rm d}x+\int_0^{2\pi}\hat{\varphi}(r,\theta)\,\cos(\hat{f}(r,\theta))\, {\rm d}\theta, \end{multline*}

so that we obtain, for r → 0 and $R\to +\infty$,

\begin{multline*} \int_{\mathbb{R}^2}\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x) \varphi(x)\, {\rm d}x \\ =\int_{\mathbb{R}^2} \frac{x}{\lvert x\rvert ^2}\cdot\nabla\varphi(x)\cos(f(x))\, {\rm d}x+\varphi(0)\lim_{r\to 0}\int_0^{2\pi}\cos(\hat{f}(r,\theta))\, {\rm d}\theta. \end{multline*}

We are now in a position to prove Theorem 1.

Proof of Theorem 1

Let $(f_n)_n\subset X_{-1}$ be a minimizing sequence for E(f), so that $E(f_n)\to E_{-1}=\inf \{E(f)\mid f\in X_{-1}\}$. Recall that $Q(u_{f_n})=-1$ and that

\begin{equation*} \underset{r\to0}{\lim}\int_0^{2\pi}\cos(\hat{f_n}(r,\theta))\,{\rm d}\theta =-2\pi \end{equation*}

(see Lemma 2). Because of Lemma 3, we can assume that $0\leq f_n(x)\leq\pi $ a.e. on $\mathbb{R}^2$. Since $(E(f_n))_n$ is bounded, $(f_n)_n$ is bounded in $W^{1,2}(\mathbb{R}^2,\mathbb{R})$ (see Remark 2), so $f_n\to f\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$ weakly (up subsequences). We can also suppose that $f_n\to f$ a.e. on $\mathbb{R}^2$. Clearly, by the Fatou lemma

(2.2)\begin{equation} \int_{\mathbb{R}^2}\frac{\sin^2(f(x))}{\lvert x\rvert ^2} \, {\rm d}x\leq\underset{n\to+\infty}{\liminf}\int_{\mathbb{R}^2} \frac{\sin^2(f_n(x))}{\lvert x\rvert ^2} \, {\rm d}x\lt+\infty, \end{equation}

so that $f\in Y$. We will prove that $f\in X_{-1}$ and that $E(f)\leq\underset{n\to +\infty}{\liminf} E(f_n)=E_{-1}$, and therefore $E(f)=E_{-1}$, namely E −1 is attained on X −1.

For every $n\in\mathbb{N}$, let $\omega _n\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$ be the weak solution of the equation

\begin{equation*} \Delta\omega_n-\omega_n=-\frac{1}{\lvert x\rvert ^2}\sin(f_n(x))x\cdot\nabla f_n(x). \end{equation*}

Multiplying by $\varphi\in C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$ and integrating, we have (see Remark 3)

(2.3)\begin{equation} \int_{\mathbb{R}^2}\nabla\omega _n\nabla\varphi\, {\rm d}x+\int_{\mathbb{R}^2}\omega _n\varphi\, {\rm d}x=\int_{\mathbb{R}^2} \frac{x}{\lvert x\rvert ^2}\cdot\nabla\varphi(x)\,\cos(f_n(x))\, {\rm d}x- 2\pi\varphi(0). \end{equation}

Since $(E(f_n))_n$ is bounded, $(\omega_n)_n$ is bounded in $W^{1,2}(\mathbb{R}^2,\mathbb{R})$ so that $\omega_n\to\omega\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$ weakly (up subsequences). Moreover,

\begin{equation*} \int_{\mathbb{R}^2} \frac{x}{\lvert x\rvert ^2}\cdot\nabla\varphi(x)\,\cos(f_n(x))\, {\rm d}x\to \int_{\mathbb{R}^2}\frac{x}{\lvert x\rvert ^2}\cdot\nabla\varphi(x)\,\cos(f(x))\, {\rm d}x \end{equation*}

by the dominated convergence theorem, so that passing to the limit in Equation (2.3), we get

(2.4)\begin{equation} \int_{\mathbb{R}^2}\nabla\omega\nabla\varphi\, {\rm d}x+\int_{\mathbb{R}^2}\omega\varphi\, {\rm d}x=\int_{\mathbb{R}^2} \frac{x}{\lvert x\rvert ^2}\cdot \nabla\varphi(x)\,\cos(f(x))\, {\rm d}x-2\pi\varphi(0). \end{equation}

On the other hand, from Remark 3, setting $\lim_{r\to 0}\int_0^{2\pi}\cos(\hat{f}(r,\theta))\, {\rm d}\theta =\ell$, we also have

\begin{equation*} \int_{\mathbb{R}^2}\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x) \varphi(x)\, {\rm d}x=\int_{\mathbb{R}^2}\frac{x}{\lvert x\rvert ^2}\cdot\nabla \varphi(x)\cos(f(x))\, {\rm d}x+\ell\varphi(0), \end{equation*}

so that we can recast Equation (2.4) in the form

(2.5)\begin{equation} \int_{\mathbb{R}^2}\nabla\omega\nabla\varphi\, {\rm d}x+\int_{\mathbb{R}^2}\omega\varphi\, {\rm d}x=\int_{\mathbb{R}^2}\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x)\varphi(x)\, {\rm d}x-(2\pi +\ell)\varphi(0). \end{equation}

We claim now that $2\pi +\ell =0$, namely $\ell =-2\pi $. In fact, let us consider the family $(\psi_{n,\lambda})_{n,\lambda}\subset C_c^{\infty}(\mathbb{R}^2,\mathbb{R})$ as in Lemma 6; from Equation (2.5), we get

\begin{equation*} \int_{\mathbb{R}^2}\nabla\omega\nabla\psi _{n,\lambda}\, {\rm d}x+\int_{\mathbb{R}^2}\omega\psi_{n,\lambda}\, {\rm d}x= \int_{\mathbb{R}^2}\sin (f(x)) \frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x)\psi_{n,\lambda}(x)\, {\rm d}x-(2\pi +\ell)n, \end{equation*}

so that

\begin{equation*} (2\pi+\ell)n \leq \|\omega\|_{W^{1,2}}\|\psi_{n,\lambda}\|_{W^{1,2}}+ \left\lvert\int_{\mathbb{R}^2}\sin(f(x))\frac{x}{\lvert x\rvert ^2} \cdot\nabla f(x)\psi_{n,\lambda}(x)\, {\rm d}x\right\rvert, \end{equation*}

and then

(2.6)\begin{equation} (2\pi+\ell) n\leq C_*\|\omega\|_{W^{1,2}}+(n+1)\int_{B_{2/\lambda}(0)} \left\lvert\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x)\right\rvert\, {\rm d}x. \end{equation}

If $2\pi +\ell\neq 0$, there exists $n_0\in\mathbb{N}$ such that $(2\pi +\ell)n_0\gt C_*\|\omega\|_{W^{1,2}}+1$. Then, we can choose $\lambda_0\geq 1$ large enough that $\int_{B_{2/\lambda_0}(0)}\lvert \sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot \nabla f(x)\rvert \, {\rm d}x\lt1/(n_0+1)$, so that from inequality (2.6), we get $C_*\|\omega\|_{W^{1,2}}+1\lt C_*\|\omega\|_{W^{1,2}}+1$, which is impossible, and the claim is proved. So, Equation (2.5) becomes

\begin{equation*} \int_{\mathbb{R}^2}\nabla\omega\nabla\varphi\, {\rm d}x+\int_{\mathbb{R}^2}\omega\varphi\, {\rm d}x=\int_{\mathbb{R}^2}\sin(f(x))\frac{x}{\lvert x\rvert ^2}\cdot\nabla f(x)\varphi(x)\, {\rm d}x, \end{equation*}

and since φ was arbitrary, this show that $\omega\in W^{1,2}(\mathbb{R}^2,\mathbb{R})$ is a weak solution of the equation $\Delta\omega -\omega=-\sin(f(x))x\cdot\nabla f(x)/\lvert x\rvert^2$, so that $f\in X$; moreover, since $\ell =-2\pi$, we have $f\in X_{-1}$, namely u f is topologically nontrivial.

Finally, we have, by inequality (2.2), the weak lower semicontinuity of the norm and the fact that $\int_{\mathbb{R}^2} V(u_f)\, {\rm d}x\leq\liminf_{n\to +\infty}\int_{\mathbb{R}^2} V(u_{f_n})\, {\rm d}x$ (by the Fatou lemma), that $E(f)\leq\liminf_{n\to +\infty}E(f_n)$, so that $E(f)=E_{-1}$, and Theorem 1 is proved.

3. The axially symmetric case

In this section, we study the functional (1.1) by using the Skyrme ansatz, namely E(u) is restricted to maps u f of the form (1.8).

Let us denote by X r the set of the functions $f\colon ]0,+\infty [\to\mathbb{R}$ absolutely continuous on every compact subinterval of $]0,+\infty [$, such that

\begin{equation*} \int_0^{+\infty}\left(\frac{\sin^2(f(r))}{r} +f^\prime(r)^2 r+f(r)^2 r\right)\, {\rm d}r\lt+\infty. \end{equation*}

It is easy to verify that $f\in X^r$ implies that there exist the limits of f(r) for r → 0 and for $r\to +\infty $, and $f(0)=m \pi $ ( $m\in\mathbb{Z}$), $f(+\infty)=0$, so that we can assume f continuous on $[0,+\infty [$. Moreover,

\begin{equation*} Q(u_f)= \frac{1}{2} \int_0^{+\infty} k\,\sin (f(r)) f^\prime(r)\, {\rm d}r= -\frac{k}{2} \left(1-\cos (m\pi)\right) \end{equation*}

is equal to zero or −k. Now, suppose that k ≠ 0 and set $X_{-k}^r= \{f\in X^r\mid Q(u_f)=-k\} $. Then, we have the following theorem, which is analogous to Theorem 1 (we set, for simplicity, $E(u_f)=E(f)$).

Theorem 2. Assume that V satisfies assumptions (1.5)–(1.7). Then, for every $k\in\mathbb{Z}$, k ≠ 0, there exists $f\in X_{-k}^r$ such that $0\leq f(r)\leq\pi $, $f(0)=\pi $, $f(+\infty)=0$ and $E(f)=\inf\{E(f)\mid f\in X_{-k}^r\}$.

As in the previous section, we assume for simplicity, and without loss of generality, that M = 1, $g=4\pi $ and k = 1. The coupling equation (1.4) becomes

(3.1)\begin{equation} r\,\omega_f^{\prime\prime}(r)+\omega_f^\prime(r)-r\,\omega_f(r)=-\sin(f(r))f^\prime(r). \end{equation}

For every $f\in X^r$, Equation (3.1) has a unique solution ω f such that

\begin{equation*} \int_0^{+\infty}\left(\omega_f(r)^2+\omega_f^\prime(r)^2\right) r\, {\rm d}r\lt+\infty \end{equation*}

(see Remark 4); so by multiplying Equation (3.1) by ω f and integrating, we can write the functional (1.1) in the form

\begin{equation*} E(f)=2\pi\int_0^{+\infty}\left( \frac{1}{2} \left( \frac{\sin^2(f(r))}{r} +f^\prime(r)^2 r\right)+ \frac{1}{2} \left(\omega_f^\prime(r)^2+\omega_f(r)^2\right) r+V(u_f(r)) r\right) \,{\rm d}r. \end{equation*}

Notice that if $f\in X^r$, then $\omega_f(r)$ can be expressed in terms of the Green’s function

\begin{equation*} G(r,s)=\begin{cases} I_0(s)K_0(r) & s\leq r \\ I_0(r)K_0(s) & s \gt r \end{cases} \end{equation*}

as $\omega_f(r)=\int_0^{+\infty}\sin (f(s)) f^\prime(s) G(r,s)\,{\rm d}s$, where $I_0(r)$ and $K_0(r)$ are the modified Bessel functions of the first and second kind, respectively. Clearly, $\omega_f\in C^1\left(]0,+\infty [\right)$; moreover, if we set

\begin{equation*} H(r,s)=\begin{cases} (I_0(s)-1)K_0(r) & s\leq r \\ I_0(r)K_0(s) & s \gt r \end{cases}, \quad H_r(r,s)=\begin{cases} -(I_0(s)-1)K_1(r) & s\leq r \\ I_1(r)K_0(s) & s \gt r \end{cases} \end{equation*}

where $I_1(r)=I_0^\prime(r)$ and $K_1(r)=-K_0^\prime(r)$, we have

(3.2)\begin{gather} \omega_f(r)=-K_0(r) (\cos(f(r))-\cos(f(0)))+\int_0^{+\infty}\sin(f(s)) f^\prime(s) H(r,s)\, {\rm d}s, \end{gather}
(3.3)\begin{gather} \omega_f^\prime(r)=K_1(r)(\cos(f(r))-\cos(f(0)))+ \int_0^{+\infty}\sin(f(s))f^\prime(s) H_r(r,s)\, {\rm d}s. \end{gather}

We have now the following lemma.

Lemma 7. If $f\in X^r$, then

\begin{equation*} \int_0^{+\infty}(\omega_f(r)^2+\omega_f^\prime(r)^2) r\, {\rm d}r\lt+\infty \end{equation*}

and moreover $\omega_f\in C\big([0,+\infty [\big)$.

Proof. We note that for r → 0, we have $I_0(r)-1\simeq r^2$ and $K_0(r)\simeq \lvert \log r\rvert $; for $r\to +\infty $, we have $I_0(r)-1\simeq {\rm e}^r/\sqrt{r}$, $K_0(r)\simeq 1/({\rm e}^r\sqrt{r})$; then, for r → 0 and $r\to +\infty $, we also have, respectively,

\begin{gather*} \int_0^r\frac{(I_0(s)-1)^2}{s}\, {\rm d}s\simeq r^4, \quad \int_r^{+\infty}\frac{K_0(s)^2}{s}\, {\rm d}s\simeq \lvert \log r\rvert ^3; \\ \int_0^r\frac{(I_0(s)-1)^2}{s}\, {\rm d}s\simeq\frac{e^{2 r}}{r^2}, \quad \int_r^{+\infty}\frac{K_0(s)^2}{s}\, {\rm d}s\simeq\frac{1}{e^{2 r}r^2}. \end{gather*}

Since

\begin{gather*} \int_0^{+\infty}\frac{H(r,s)^2}{s}\,{\rm d}s=K_0(r)^2\int_0^r\frac{(I_0(s)-1)^2}{s}\,{\rm d}s+I_0(r)^2\int_r^{+\infty}\frac{K_0(s)^2}{s}\,{\rm d}s, \\ \int_0^{+\infty}\frac{H_r(r,s)^2}{s}\,{\rm d}s =K_1(r)^2\int_0^r\frac{(I_0(s)-1)^2}{s}\, {\rm d}s+I_1(r)^2\int_r^{+\infty}\frac{K_0(s)^2}{s}\, {\rm d}s, \end{gather*}

we get (recalling also that for r → 0, we have $I_1(r)\simeq r$ and $K_1(r)\simeq 1/r$, and for $r\to +\infty $, we have $I_1(r)\simeq {\rm e}^r/\sqrt{r}$ and $K_1(r)\simeq 1/({\rm e}^r\sqrt{r})$)

\begin{gather*} \int_0^{+\infty}\frac{H(r,s)^2}{s}\, {\rm d}s\simeq \begin{cases} \log^2(r) r^4+\lvert \log r\rvert ^3 & r\to0 \\ \frac{1}{r^3} & r\to+\infty, \end{cases} \\ \int_0^{+\infty}\frac{H_r(r,s)^2}{s}\, {\rm d}s\simeq \begin{cases} r^2+r^2 \lvert \log r\rvert ^3 & r\to0 \\ \frac{1}{r^3} & r\to+\infty. \end{cases} \end{gather*}

Then, from formula (3.2), by using the Holder inequality

\begin{equation*} \left\lvert \int_0^{+\infty}\sin(f(s))f^\prime(s) H(r,s)\, {\rm d}s\right\rvert \leq \left(\int_0^{+\infty} f^\prime(s)^2 s\, {\rm d}s\right)^\frac{1}{2} \left(\int_0^{+\infty}\frac{H(r,s)^2}{s} \, {\rm d}s\right)^\frac{1}{2}, \end{equation*}

we have

\begin{equation*} \lvert \omega_f(r)\rvert \lesssim \begin{cases} \lvert \log r\rvert +\lvert \log r\rvert r^2+\lvert \log r\rvert ^{3/2} & r\to0 \\ \frac{1}{e^r\sqrt{r}}+\frac{1}{r^{3/2}} & r\to+\infty \end{cases} \end{equation*}

so that $\int_0^{+\infty}\omega_f(r)^2r\,{\rm d}r\lt+\infty$.

We observe now that $f(0)=m\pi $, with $m\in\mathbb{Z}$, and since $\lvert \cos t-\cos(m \pi)\rvert \leq \sin^2t$ for $t\simeq m\pi $, we have also $\lvert \cos(f(r))-\cos(f(0))\rvert \leq \sin^2(f(r))$ for $r\simeq 0$. Then, from formula (3.3), by using again the Holder inequality, we get

\begin{equation*} \lvert \omega^\prime_f(r)\rvert \lesssim \begin{cases} \frac{\sin^2(f(r))}{r} +r^2+r^2 \lvert \log r\rvert ^3 & r\to0 \\ \frac{1}{{\rm e}^r\sqrt{r}}+\frac{1}{r^{3/2}} & r\to+\infty, \end{cases} \end{equation*}

and since $\int_0^{+\infty}\frac{\sin^2(f(r))}{r}\,{\rm d}r\lt+\infty $ because of $f\in X^r$, we also get $\int_0^{+\infty}\omega_f^\prime(r)^2r\,{\rm d}r\lt+\infty$. Finally, from $\omega^\prime_f\in L^1\left(]0,+\infty[\right)$, we have $\omega_f\in C\big([0,+\infty [\big)$, and the lemma is proved.

Remark 4. The solutions of Equation (3.1) are $\omega(r)=A\, K_0(r)+B\, I_0(r)+\omega_f(r)$, with A, $B\in\mathbb{R}$, so that $\int_0^{+\infty}(\omega(r)^2+\omega^\prime(r)^2) r\, {\rm d}r\lt+\infty$ implies $A=B=0$, namely $\omega=\omega_f$.

Remark 5. If $f\in X^r$, then $\bar{f}\in X$, where $\bar{f}(x)=f(\lvert x\rvert )$, and X is defined in § 1, so that, by Lemma 3, it is easy to see that there exists $g\in X^r$ such that $0\leq g(r)\leq\pi $ on $[0,+\infty [$, $E(g)=E(f)$ and $Q(u_g)=Q(u_f)$. Moreover, as in Remark 2, if $(f_n)_n\subset X^r$ is a sequence such that $0\leq f_n(r)\leq\pi $ and $(E(f_n))_n$ is bounded, then the sequence $\left(\int_0^{+\infty}(f_n^\prime(r)^2+f_n(r)^2) r\, {\rm d}r\right)_n$ is bounded.

Now we can prove Theorem 2.

Proof of Theorem 2

Let $(f_n)_n\subset X_{-1}^r$ be a minimizing sequence for E(f), namely $E(f_n)\to E_{-1}=\inf\{E(f)\mid f\in X_{-1}^r\}$, then $E(f_n)\leq C$ for some C > 0. Because of the previous Remark, we can also assume that $0\leq f_n(r)\leq\pi $ and

\begin{equation*} \int_0^{+\infty}\left(\frac{\sin^2(f_n(r))}{r}+\left(f_n^\prime(r)^2+f_n(r)^2\right) r\right)\, {\rm d}r\leq C. \end{equation*}

Clearly, $f_n(+\infty)=0$ and $f_n(0)=\pi $ for every $n\in\mathbb{N}$. Since $(f_n)_n$ is bounded on $W^{1,2}([a,b])$ for every $[a,b]\subset ]0,+\infty [$, a standard diagonal subsequence argument (see for instance [Reference Arthur, Roche, Tchrakian and Yang3]) shows that there exists $f\in W_{\text{loc}}^{1,2}\big(]0,+\infty [\big)$ such that we have (up subsequences) for every $[a,b]\subset ]0,+\infty [$: $f_n\to f$ weakly in $W^{1,2}([a,b])$ and $f_n\to f$ uniformly in $[a,b]$. Clearly, f is absolutely continuous on every compact subinterval of $]0,+\infty [$, and, by using in the usual way the Fatou lemma and the weak lower semicontinuity of the norm, we have

\begin{align*} \int_a^b\left(\frac{\sin^2(f(r))}{r}+\left(f^\prime(r)^2+f(r)^2\right) r\right)\, {\rm d}r \\ \leq\underset{n\to +\infty}{\liminf}\int_a^b \left(\frac{\sin^2(f_n(r))}{r}+\left(f_n^\prime(r)^2+f_n(r)^2\right) r\right)\, {\rm d}r\leq C, \end{align*}

so that, since a and b are arbitrary, we have $f\in X^r$, and we can consider the function ω f that we write in the form (see (3.2))

\begin{equation*} \omega_f(r)=-K_0(r) (\cos(f(r))-\cos(f(0)))+\int_0^{+\infty}\sin(f(s)) f^\prime(s) H(r,s)\, {\rm d}s. \end{equation*}

Of course, $0\leq f(r)\leq\pi $, $f(+\infty )=0$ and $f(0)=0$ or $f(0)=\pi $. We will soon see that, in fact, $f(0)=\pi $, and therefore $f\in X_{-1}^r$. To this end, let us consider the sequence $(\omega_{f_n})_n\subset W^{1,2}\big(]0,+\infty [,\mathbb{R}\big)$; since $E(f_n)\leq C $, we also have

\begin{equation*} \int_0^{+\infty}\left(\omega_{f_n}^\prime(r)^2+\omega_{f_n}(r)^2\right) r\, {\rm d}r\leq 2 C, \end{equation*}

and, arguing as for $(f_n)_n$, we get $\omega\in W_{\text{loc}}^{1,2}\big(]0,+\infty [\big)$ such that, up subsequences, for every $[a,b]\subset ]0,+\infty [$: $\omega_{f_n}\to\omega $ weakly in $W^{1,2}([a,b])$, $\omega_{f_n}\to\omega $ uniformly in $[a,b]$, and

(3.4)\begin{equation} \int_0^{+\infty}\left(\omega^\prime(r)^2+\omega(r)^2\right) r\, {\rm d}r\leq 2 C. \end{equation}

By using again formula (3.2) and recalling that $f_n(0)=\pi $, we can write, for every r > 0,

(3.5)\begin{equation} \omega_{f_n}(r)=-K_0(r)(\cos(f_n(r))+1)+\int_0^{+\infty}\sin(f_n(s)) f_n^\prime(s)\sqrt{s}\, \frac{H(r,s)}{\sqrt{s}} \, {\rm d}s. \end{equation}

Notice that $\sin(f_n(s))f_n^\prime(s)\sqrt{s}\to \sin(f(s))f^\prime(s)\sqrt{s}$ weakly in $L^2\big(]0,+\infty[\big)$. In fact, the sequence $(\sin(f_n(s))f_n^\prime(s)\sqrt{s})_n$ is bounded in $L^2\big(]0,+\infty[\big)$, and, on every subinterval $[a,b]\subset ]0,+\infty [$, we have $\sin(f_n(s))\to \sin(f(s))$ uniformly in $[a,b]$, and $f_n^\prime(s)\sqrt{s}\to f^\prime(s)\sqrt{s}$ weakly in $L^2([a,b])$, so that we get the claim.

Then, passing to the limit in Equation (3.5) and recalling that $\omega_{f_n}(r)\to\omega (r)$ for every r > 0, we have

\begin{equation*} \omega(r)=-K_0(r)(\cos(f(r))+1)+\int_0^{+\infty}\sin(f(s)) f^\prime(s) H(r,s)\, {\rm d}s. \end{equation*}

But then we have $\omega(r)=\omega_f(r)-K_0(r)(\cos(f(0))+1)$ and so $\omega^\prime(r)=\omega_f^\prime(r)+K_1(r)(\cos(f(0))+1)$; by multiplying for $\sqrt{r}$, we get $K_1(r)\sqrt{r}(\cos(f(0))+1)=\left(\omega^\prime(r)-\omega_f^\prime(r)\right)\sqrt{r}$.

Since $\omega^\prime(r)\sqrt{r}\in L^2\left(]0,+\infty [\right)$ because of inequality (3.4) and $\omega_f^\prime(r)\sqrt{r}\in L^2\left(]0,+\infty [\right)$ for the Lemma 7, we must have $K_1(r)\sqrt{r}(\cos(f(0))+1)\in L^2\big(]0,+\infty [\big)$.

But $K_1(r)\sqrt{r}\simeq 1/\sqrt{r}$ as r → 0, so we get $\cos(f(0))=-1$, namely $f(0)=\pi $; therefore, $f\in X_{-1}^r$, $\omega =\omega_f$ and we have $E(f)\leq\underset{n\to +\infty}{\liminf}E(f_n)=E_{-1}$ so that $E(f)=E_{-1}$, and the theorem is proved.

Competing interests

The author declare none.

References

Adam, C., Romańczukiewicz, T., Sánchez-Guillén, J. and Wereszczyński, A., Investigation of restricted baby Skyrme models, Phys. Rev. D 81(8) (2010), 085007085017.10.1103/PhysRevD.81.085007CrossRefGoogle Scholar
Adkins, G. S. and Nappi, C. R., Stabilization of chiral solitons via vector mesons, Phys. Lett. B 137(3) (1984), 251256.10.1016/0370-2693(84)90239-9CrossRefGoogle Scholar
Arthur, K., Roche, G., Tchrakian, D. H. and Yang, Y., Skyrme models with self-dual limits: $d=2,3$, J. Math. Phys. 37(6) (1996), 25692584.10.1063/1.531529CrossRefGoogle Scholar
Brezis, H., Functional analysis, Sobolev spaces and partial differential equations, Universitext. (Springer, New York, 2011).10.1007/978-0-387-70914-7CrossRefGoogle Scholar
Brezis, H. and Coron, J. M., Large solutions for harmonic maps in two dimensions, Comm. Math. Phys. 92 (1983), 203215.10.1007/BF01210846CrossRefGoogle Scholar
de Innocentis, M. and Ward, R. S., Skyrmions on the 2-sphere, Nonlinearity 14(3) (2001), 663671.10.1088/0951-7715/14/3/312CrossRefGoogle Scholar
Demoulini, S. and Stuart, D. M. A., Existence and regularity for generalised harmonic maps associated to a nonlocal polyconvex energy of Skyrme type, Calc. Var. Partial Differential Equations 30(4) (2007), 523546.10.1007/s00526-007-0102-0CrossRefGoogle Scholar
Derrick, G. H., Comments on nonlinear wave equations as models for elementary particles, J. Math. Phys. 5(9) (1964), 12521254.10.1063/1.1704233CrossRefGoogle Scholar
Dolbeault, J., Existence de solutions symétriques pour un modèle de champs de mésons: le modèle d’Adkins et Nappi, Comm. Partial Differential Equations 15(12) (1990), 17431786.10.1080/03605309908820746CrossRefGoogle Scholar
Eslami, P., Sarbishaei, M. and Zakrzewski, W., Baby Skyrme models for a class of potentials, Nonlinearity 13(5) (2000), 18671881.10.1088/0951-7715/13/5/322CrossRefGoogle Scholar
Foster, D. and Sutcliffe, P., Baby skyrmions stabilized by vector mesons, Phys. Rev. D 79 (2009), .10.1103/PhysRevD.79.125026CrossRefGoogle Scholar
Gilbarg, D. and Trudinger, N.S., Elliptic partial differential equations of second order (Springer, Berlin, 2001). Reprint of the 1998 ed.10.1007/978-3-642-61798-0CrossRefGoogle Scholar
Greco, C., Existence criteria for baby skyrmions for a wide range of potentials, J. Math. Anal. Appl. 487(2) (2020), .10.1016/j.jmaa.2020.124039CrossRefGoogle Scholar
Hen, I. and Karliner, M., Rotational symmetry breaking in baby Skyrme models, Nonlinearity 21(3) (2008), 399408.10.1088/0951-7715/21/3/002CrossRefGoogle Scholar
Hu, H. and Hu, K., Existence of solutions for a baby-Skyrme model, J. Appl. Math. 2014 (2014), 14.Google Scholar
Jäykkä, J., Speight, M. and Sutcliffe, P., Broken baby skyrmions, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 468 (2012), 10851104.Google Scholar
Jennings, P. and Winyard, T., Broken planar skyrmions – statics and dynamics, J. High Energy Phys. 2014 (2014), .10.1007/JHEP01(2014)122CrossRefGoogle Scholar
Kudryavtsev, A., Piette, B. and Zakrzewski, W., Mesons, baryons and waves in the baby skyrmion model, Eur. Phys. J. C 1 (1998), 333341.10.1007/BF01245822CrossRefGoogle Scholar
Kudryavtsev, A., Piette, B. M. A. G. and Zakrzewski, W. J., Skyrmions and domain walls in $(2+1)$ dimensions, Nonlinearity 11(4) (1998), 783795.10.1088/0951-7715/11/4/002CrossRefGoogle Scholar
Li, J. and Zhu, X., Existence of 2D skyrmions, Math. Z. 268(1) (2011), 305315.10.1007/s00209-010-0672-yCrossRefGoogle Scholar
Lin, F. and Yang, Y., Existence of two-dimensional skyrmions via the concentration-compactness method, Comm. Pure Appl. Math. 57(10) (2004), 13321351.10.1002/cpa.20038CrossRefGoogle Scholar
Lin, F. and Yang, Y., Energy splitting, substantial inequality, and minimization for the Faddeev and Skyrme models, Comm. Math. Phys. 269(1) (2007), 137152.10.1007/s00220-006-0123-0CrossRefGoogle Scholar
Piette, B. M. A. G., Schroers, B. J. and Zakrzewski, W. J., Multisolitons in a two-dimensional Skyrme model, Z. Phys. C 65(1) (1995), 165174.10.1007/BF01571317CrossRefGoogle Scholar
Schoen, R. and Uhlenbeck, K., Boundary regularity and the Dirichlet problem for harmonic maps, J. Differential Geom. 18(2) (1983), 253268.10.4310/jdg/1214437663CrossRefGoogle Scholar
Scoccola, N. N. and Bes, D. R., Two dimensional skyrmions on the sphere, J. High Energy Phys. 1998(9) (1998), .10.1088/1126-6708/1998/09/012CrossRefGoogle Scholar
Skyrme, T. H. R., A non-linear field theory, Proc. Roy. Soc. London Ser. A 260 (1961), 127138.Google Scholar
Skyrme, T. H. R., A unified field theory of mesons and baryons, Nuclear Phys. 31 (1962), 556569.10.1016/0029-5582(62)90775-7CrossRefGoogle Scholar
Sondhi, S. L., Karlhede, A., Kivelson, S. A. and Rezayi, E. H., Skyrmions and the crossover from the integer to fractional quantum Hall effect at small Zeeman energies, Phys. Rev. B 47(24) (1993), 1641916426.10.1103/PhysRevB.47.16419CrossRefGoogle ScholarPubMed
Sutcliffe, P., Multi-skyrmions with vector mesons, Phys. Rev. D 79(8) (2009), .10.1103/PhysRevD.79.085014CrossRefGoogle Scholar
Ward, R. S., Planar skyrmions at high and low density, Nonlinearity 17(3) (2004), 10331040.10.1088/0951-7715/17/3/014CrossRefGoogle Scholar
Weidig, T., The baby Skyrme models and their multi-skyrmions, Nonlinearity 12(6) (1999), 14891503.10.1088/0951-7715/12/6/303CrossRefGoogle Scholar