1: \section{Existence of spherically symmetric monopoles}
2: \setcounter{equation}{0}
3:
4: Our basic existence result is
5: \begin{theorem}
6: \label{existence}
7: For all values of $\lambda\geq 0,$ $\epsilon > 0,$
8: there exists a symmetric solution of
9: \begin{equation} \label{system}
10: \left\{ \begin{split}
11: &\epsilon\,*D_A* F=[D_A\phi,\,\phi] \qquad\text { on } B^{3}\\
12: &*D_A*D_A\phi=\frac{\lambda}{2}(|\phi|^2-1)\phi \qquad\text { on } B^{3}\\
13: &(D\phi)_{\tau} = 0 \qquad\text { on } \partial B^{3} \\
14: &\vert \varphi\vert = 1 \qquad\text { on } \partial B^{3}
15: \end{split}\right.
16: \end{equation}
17: \end{theorem}
18: {\bf Observation:}
19: These equations do not reduce to the Bogomolnyi equations, even if
20: $\lambda= 0.$ The Bogolmolnyi argument involves an integration by parts;
21: on a finite domain, this results in a boundary contribution \cite{ja-ta}.
22:
23:
24: \begin{proof} Because of the derivative terms in the action, the natural
25: space for $\gamma$ (denoted ${\mathcal H}_\gamma$) is $H^1(0,1)$, while the
26: natural space ${\mathcal H}_\varphi$ for $\varphi$ is
27: the weighted Sobolev space $H^1((0,1),r^2 dr)$.
28: By the Sobolev embedding theorem, functions in ${\mathcal H}_\gamma$
29: are continuous on $[0,1]$. Functions in ${\mathcal H}_\varphi$ are
30: continuous on $(0,1]$, but may not have a limit at $r=0$.
31: We may therefore apply boundary conditions to
32: $\gamma$ at $r=0$ and at $r=1$, and to $\varphi$ at $r=1$.
33:
34: Let
35: \begin{equation}
36: {\mathcal F}=\{(\gamma, \varphi)\in {\mathcal H}_\gamma \times {
37: \mathcal H}_\varphi \;:\;
38: \gamma(1)=-\frac{1}{2},\,\gamma(0)=0,
39: \, \varphi (1) = 1. \}
40: \end{equation}
41: %
42: %and let
43: %
44: %\begin{equation}
45: % \label{action}
46: % \begin{split}
47: %{\mathcal S}(\gamma, \varphi)
48: %= & \int_0^1 [\ 2\epsilon \left({\gamma^{\prime}}^{2}
49: %+
50: %\frac {2}{r^2} (\gamma^{2} +\gamma)^{2}\right) +
51: %r^2 {\varphi^{\prime}}^{2} +
52: %2 \varphi^2 (1+2\gamma)^{2} +\lambda
53: %r^{2}(\varphi^{2}-1)^{2}\ ] dr \\
54: % = & \SYMH (\gamma, \varphi)/4\pi.
55: %\end{split}
56: %\end{equation}
57: The action functional \eqref{symhgamma} is well-defined on ${\mathcal
58: F}$, and is finite whenever $\varphi$ is bounded. In particular, $\mu
59: \equiv Inf_{\mathcal F}\,{\mathcal S}$ is finite. We follow the
60: direct method in the calculus of variations. That is, take a
61: minimizing sequence for ${\mathcal S}$, show that it converges weakly
62: in ${\mathcal F}$, and then show that the weak limit minimizes the
63: action and so solves the Euler-Lagrange equations.
64:
65: Let $(\gamma_n,\varphi_n)$ be a minimizing sequence for ${\mathcal
66: S}$. Since $\lambda \ge 0$, the action is not increased if we
67: make the replacement
68: %
69: \begin{equation}
70: \varphi(r) \to
71: \begin{cases}
72: -1, & \hbox{if }\varphi(r) < -1; \cr
73: \varphi(r), & \hbox{if }-1 \le \varphi(r) \le 1; \cr
74: 1, & \hbox{if }\varphi(r) > 1.
75: \end{cases}
76: \end{equation}
77: %
78: As a result, we can assume that each $\varphi_n(r)$ is bounded in
79: magnitude by 1. Under these circumstances, the sequence $(\gamma_n,
80: \varphi_n)$ is bounded in ${\mathcal F} \subset {\mathcal H}_\gamma
81: \times {\mathcal H}_\varphi$. However, balls in ${\mathcal H}_\gamma$
82: are weakly compact, as are balls in ${\mathcal H}_\varphi$, so the
83: pair $(\gamma_n, \varphi_n)$ converges weakly in ${\mathcal H}_\gamma
84: \times {\mathcal H}_\varphi$ to a limit $(\gamma_\infty,
85: \varphi_\infty)$.
86:
87: By Sobolev, $\gamma_n(r)$ and $\varphi_n(r)$ converge pointwise to
88: $\gamma_\infty(r)$ and $\varphi_\infty(r)$, so the limiting values
89: $\gamma(0)$, $\gamma(1)$, and $\varphi(1)$ are preserved, and
90: $(\gamma_\infty, \varphi_\infty) \in {\mathcal F}$. Moreover, terms in
91: ${\mathcal S}(\gamma_n,\varphi_n)$ that don't involve derivatives
92: converge to the corresponding terms in ${\mathcal S}
93: (\gamma_\infty,\varphi_\infty)$. The derivative terms are
94: quadratic, hence weakly semicontinuous. As a result, ${\mathcal
95: S}(\gamma_\infty, \varphi_\infty)$ is bounded above by $\mu$, and
96: therefore must equal $\mu$.
97:
98: Showing that $\gamma_\infty$ and $\varphi_\infty$ satisfy the
99: Euler-Lagrange equations \eqref{ode} is then a standard exercise in
100: the calculus of variations. Smoothness of $(\gamma_\infty,
101: \varphi_\infty)$ away from $r=0$ follows by elliptic regularity of the
102: equations \eqref{ode}. Smoothness at $r=0$ follows from regular
103: singular-point analysis, combined with the fact that both functions
104: are bounded (see \S 6 for details).
105: This in turn implies that the
106: connection and Higgs field $(A,\phi)$ constructed from $(\gamma_\infty,
107: \varphi_\infty)$ comprise a smooth, symmetric classical solution to
108: the PDE system \eqref{system}. (Alternatively, one can establish
109: regularity of $(A,\phi)$ from the ellipticity of the PDE system
110: \eqref{system}, since we are
111: working in a gauge with $d^* A=0$.)
112:
113: \end{proof}
114:
115:
116:
117:
118:
119:
120:
121:
122:
123:
124: