1: \section{Regular Singular Point Analysis}
2:
3: In \S 5 we demonstrated the existence of symmetric monopoles for arbitrary
4: $\lambda \ge 0$ and $\epsilon > 0$. In this section we explore their
5: form near the regular singular point of the equations \eqref{ode},
6: namely $r=0$.
7:
8: \begin{theorem}
9: Let $(\gamma, \varphi)$ be a bounded finite-action
10: solution to the ODE system \eqref{ode}
11: for some fixed $\epsilon >0$ and $\lambda \ge 0$. Then there exist
12: constants $a_1$ and $b_2$ such that
13: \begin{equation}
14: \begin{split}
15: \varphi(r) = & a_1 r + O(r^3); \\
16: \gamma(r) = & b_2 r^2 + O(r^4); \\
17: \gamma'(r) = & 2 b_2 r + O(r^3);
18: \end{split}
19: \end{equation}
20: near $r=0$. In particular, $\varphi(0)=\gamma'(0)=0$.
21: \end{theorem}
22:
23: \begin{proof}
24: We begin with the equation for $\varphi$, which we write as
25: \begin{equation}
26: \label{phieq}
27: \varphi'' + \frac{2\varphi'}{r} - \frac{2 \varphi}{r^2}
28: = \frac{8 \varphi}{r^2} (\gamma + \gamma^2) + 2 \lambda \varphi (\varphi^2-1).
29: \end{equation}
30: Since $\varphi$ is bounded and $\gamma(0)=0$, the terms on the right hand side
31: are less singular than those on the left hand side, and to leading order
32: $\varphi$ resembles the solution to the homogeneous equation
33: \begin{equation}
34: \varphi'' + \frac{2\varphi'}{r} - \frac{2 \varphi}{r^2} = 0.
35: \end{equation}
36: The general solution to this equation is $\varphi = a_1 r + a_{-2}r^{-2}$.
37: However, $\varphi$ is bounded by assumption, so $a_{-2}=0$.
38: Thus the solution to \eqref{phieq}
39: is, to leading order, $a_1 r$.
40:
41: Next we turn to the equation for $\gamma$, namely
42: \begin{equation}
43: \label{gammaeq}
44: \gamma'' - \frac{2 \gamma}{r^2} = \frac{2}{\epsilon} \varphi^2 (1+2\gamma)
45: + \frac{2\gamma}{r^2}(2 \gamma^2 + 3\gamma).
46: \end{equation}
47: Again, since $\varphi$ is bounded and $\gamma(0)=0$, this may be viewed as
48: a perturbation of the homogeneous linear equation
49: \begin{equation}
50: \gamma'' - \frac{2 \gamma}{r^2} = 0,
51: \end{equation}
52: whose solution is $\gamma = b_{-1} r^{-1} + b_2 r^2$. Since $\gamma$ is
53: bounded, $b_{-1}=0$. Thus our solution to \eqref{gammaeq} is, to leading
54: order, $b_2 r^2$.
55:
56: With these basic results, we can estimate the right hand sides of
57: \eqref{phieq} and \eqref{gammaeq}. The right hand side of \eqref{phieq} is
58: $O(r)$, which gives an $O(r)$ correction to $\varphi''$, hence an $O(r^3)$
59: correction to $\varphi$. The right hand side of \eqref{gammaeq} is
60: $O(r^2)$, thus giving an $O(r^3)$ correction to $\gamma'$ and an
61: $O(r^4)$ correction to $\gamma$.
62: \end{proof}
63:
64: One can do an expansion for $\varphi$ and $\gamma$ in powers of $r$.
65: Indeed, only odd powers contribute to $\varphi$ and only even powers
66: contribute to $\gamma$. This is seen by induction. By Theorem 6.1,
67: $\varphi$ is odd and $\gamma$ is even through order $r^2$. However, if
68: $\varphi$ is odd and $\gamma$ is even through order $r^k$, then the
69: right hand sides of \eqref{phieq} and \eqref{gammaeq} are odd and even,
70: respectively, to order $r^k$, and so $\varphi$ and $\gamma$ are odd
71: and even, respectively, to order $r^{k+2}$. Thus $\varphi$ and $\gamma$
72: are odd and even to all orders in $r$.
73:
74: We can therefore write an asymptotic expansion
75: \begin{equation} \label{powers}
76: \begin{split}
77: \varphi(r) & \sim \sum_{n\hbox{\small{} odd}} a_n r^n, \\
78: \gamma(r) & \sim \sum_{n\hbox{\small{} even}} b_n r^n.
79: \end{split}
80: \end{equation}
81: Plugging this expansion into equations \eqref{phieq} and \eqref{gammaeq}
82: and equating coefficients of $r^{n-2}$ gives recursion relations of the form
83: \begin{equation}\label{recursion}
84: \begin{split}
85: (2k)(2k+3) a_{2k+1} = & \hbox{ algebraic expression involving }
86: a_1, b_2, \ldots,b_{2k}, \\
87: (2k+1)(2k-2) b_{2k} = & \hbox{ algebraic expression involving }
88: a_1, b_2, \ldots,b_{2k-2}.
89: \end{split}
90: \end{equation}
91: These relations do not constrain $a_1$ or $b_2$.
92: However, once we have $a_1$ and $b_2$, the remaining coefficients
93: are determined. The first few are
94: \begin{equation}
95: \begin{split}
96: a_3 = & (4 a_1 b_2 - \lambda a_1)/5; \\
97: b_4 = & \left ( 3 b_2^2 + \epsilon^{-1} a_1^2 \right )/5; \\
98: a_5 = & (4 a_1 b_4 + 4 a_3 b_2 + 4 a_1 b_2^2 + \lambda(a_1^3 - a_3))/14; \\
99: b_6 = & \left ( b_2^3 + 3 b_2 b_4 + \epsilon^{-1}
100: (a_1 a_3 + a_1^2 b_2)
101: \right ) / 7; \\
102: a_7 = & [4( a_1 b_6 + a_3 b_4 + a_5 b_2 + a_3 b_2^2 + 2 a_1 b_2 b_4)
103: + \lambda(3 a_1^2 a_3 - a_5)]/27; \\
104: b_8 = & \left [ 3(2 b_2^2b_4 + b_4^2 + 2 b_2 b_6) + \epsilon^{-1}
105: (a_3^2 + 2 a_1 a_5
106: + 2 a_1^2 b_4 + 4 a_1 a_3 b_2 ) \right] / 27; \\
107: a_9 = & \big [4(a_1 b_8 + a_3 b_6 + a_5 b_4 + a_7 b_2 + a_5 b_2^2
108: + 2 a_3 b_2 b_4 + a_1 b_4^2 + 2 a_1 b_2 b_6) \\
109: & + \lambda(3 a_1^2 a_5 + 3 a_1 a_3^2 - a_7)\big ]/44; \\
110: b_{10} = & \big [ 3(b_2^2 b_6 + b_2 b_4^2 + b_2 b_8 + b_4 b_6) \\
111: & + \epsilon^{-1} (a_1 a_7 + a_3 a_5 + a_1^2 b_6 + a_3^2 b_2
112: + 2 a_1a_3b_4 + 2 a_1a_5b_2)
113: \big ] / 22.
114: \end{split}
115: \end{equation}
116:
117: \section{Symmetries and Stability}
118:
119: %{\rm This section probably does not belong in the paper. However, I
120: %thought I'd include these results for our own reference -- Lorenzo}
121:
122: The action functional and the resulting Euler-Lagrange equations
123: are invariant under two natural symmetries.
124: \begin{eqnarray}
125: \label{phisym}
126: \varphi(r) \to - \varphi(r) & \qquad & \gamma(r) \to + \gamma(r); \\
127: \label{gammasym}
128: \varphi(r) \to \varphi(r) & \qquad & \gamma(r) \to -1 - \gamma(r).
129: \end{eqnarray}
130: The first symmetry \eqref{phisym}
131: comes from the isometry $\vec x \to - \vec x$ of $B^3$,
132: which of course respects rotational symmetry.
133: Since $\vec \sigma \cdot \vec x$ is odd and $\vec \sigma \cdot (\vec x \times
134: \vec {dx})$ is even, pulling the pair $(A,\phi)$ back by this isometry flips
135: the sign of $\varphi$ while preserving $\gamma$. Using this symmetry, we
136: can fix the sign of $\varphi(1)$, which we henceforth take to be positive.
137:
138: The second symmetry \eqref{gammasym}
139: is a gauge transformation by $(\vec\sigma \cdot \vec x)/r$.
140: This is of the form of (4.2), with $\theta = \pi/2$. From (4.4) it is
141: clear that this transformation sends $\gamma$ to $-1-\gamma$ without generating
142: a $\beta$ term or changing $\varphi$. Applying this to a connection with
143: $\gamma(0)=0$ yields a new connection with $\gamma(0)=-1$. This connection
144: has finite action but is singular at the origin, reflecting the singular
145: gauge transformation that generated it.
146:
147: We now consider stability properties of the ODE system \eqref{ode}.
148: These ODEs have several fixed points, namely
149: \begin{equation}
150: (\gamma,\varphi) = \hbox{ $( -\frac{1}{2}, 1 )$, $(-\frac{1}{2}, -1)$,
151: $(-\frac{1}{2}, 0 )$, $(0,0)$ or $(-1,0)$}.
152: \end{equation}
153: The point $\left (-\frac{1}{2}, -1 \right )$ is related to
154: $\left ( -\frac{1}{2}, 1 \right)$ by the symmetry \eqref{phisym}, while
155: $(-1,0)$ is related to $(0,0)$ by \eqref{gammasym}, so we do not need to
156: study these. What remains is $\left ( -\frac{1}{2}, 1 \right)$,
157: $\left (-\frac{1}{2}, 0 \right)$, and (0,0).
158:
159: For the $\gamma = -1/2$ fixed points, we define $\delta = \gamma + 1/2$,
160: and the equation for $\gamma$ becomes
161: \begin{equation}
162: \delta'' = 4 \delta \left ( \frac{\varphi^2}{\epsilon}
163: - \frac{1}{4 r^2} + \frac{\delta^2}{r^2} \right ).
164: \end{equation}
165: The fixed point $\gamma = -1/2$ is stable for $\varphi=1$ when $r^2 <
166: \epsilon/4$, but is unstable if $r^2 > \epsilon/4$. This defines a
167: natural length scale to the problem, namely $\sqrt{\epsilon}/2$. We
168: should expect our solutions to behave qualitatively differently for
169: $r$ less than or greater than this length scale. Of course, if
170: $\epsilon>4$, then all radii $r$ are less than this length scale. In
171: the case of $\varphi=0$, the value $\gamma=1/2$ is always stable,
172: regardless of $\epsilon$ or $r$.
173:
174: Near $\gamma=-1/2$, the equation for $\varphi$ becomes
175: \begin{equation}
176: \varphi'' + 2 \frac{\varphi'}{r} = 2 \varphi \left (
177: \frac{4 \delta^2}{r^2} + \lambda(\varphi^2-1) \right ).
178: \end{equation}
179: The behavior of this fixed point depends on the value of $\varphi$.
180: Near $\varphi=0$ we have
181: $$ (r\varphi)'' = -2\lambda r\varphi + O(\delta^2) + O(\varphi^2),$$
182: which is stable for all positive values of $r$.
183: Near $\varphi=1$, however, we write $\varphi = 1 + \zeta$ and have
184: $$ (r\zeta)'' = 4 \lambda (r \zeta) + O(\zeta^2)
185: + O(\delta^2).
186: $$
187: This is unstable as long as $\lambda >0$, and has natural length
188: scale $1/\sqrt{4\lambda}$.
189:
190: To summarize, the fixed point $(-1/2,0)$ is stable, while the fixed point
191: $(-1/2,1)$ is unstable. If $r^2 < \epsilon/4$, then there is one unstable
192: mode, corresponding to growth of $\varphi-1$. If $r^2 > \epsilon/4$, then
193: there are two unstable modes, one for $\varphi$ and one for $\gamma$.
194:
195: Finally, there is the fixed point (0,0). Near (0,0) we have
196: \begin{equation}
197: \begin{split}
198: \gamma'' = & 2 \gamma/r^2 + \hbox{ higher order}, \\
199: \varphi'' + 2 \varphi'/r = & 2
200: \varphi (r^{-2} - \lambda) +\hbox{ higher order.}
201: \end{split}
202: \end{equation}
203: This fixed point is always unstable, with $\gamma$ growing rapidly. $\varphi$
204: will grow exponentially if $r < 1/\sqrt{\lambda}$, and will oscillate if
205: $r > 1/\sqrt{\lambda}$.
206:
207:
208:
209:
210:
211:
212:
213:
214:
215:
216:
217:
218: