1: \section{Analysis of the Equation}
2: In this section, we prove the conditions for the existence of the required
3: special solution to the initial
4: value problem on equation~(\ref{VEqn1}) described in the preceding
5: section. The strategy is the following analysis on the equation. We
6: study the principle curvature $\kappa$, which is positive initially (at the
7: rotational axis), i.e., $\kappa(0)=w_0'>0$. If $w_0'$ is not too large in
8: terms of the roots of $Q$, $\kappa$ must decrease and eventually becomes zero
9: at $r_0$ for some $0<r_0<r_\infty$. After $w$ becomes negative, it
10: continues its descent and blows down to $-\infty$ at finite distance
11: $r_\infty$. This guarantees {\bf C1} that $w$ is unimodal and has a unique
12: zero at $r_0$. In order to verify that the solution satisfies the
13: requirements {\bf C2} and {\bf C3}, we establish, in terms of
14: $w_0'$, the estimates on $r_0$, $r_\infty$ and values of $w$, $w'$ at
15: these positions.
16:
17: \begin{lemma}\label{lem-kdrops}
18: Let ${w_0'} > 0$ and $R(t) < 0$ for $t\in[0,w_0']$. If $w \geq 0$ on an interval $[0,r_0)$, then $\kappa(r)$ decreases on $(0,r_0)$.
19: \end{lemma}
20: \begin{proof}
21: By continuity of $\kappa$ and that $\displaystyle \lim_{r\to 0}\kappa(r) = {w_0'}>0$, there exists $\varepsilon>0$ such that $R(\kappa(r)) < 0$, $w \ge 0$, and ${w'} > 0$ on $(0,\varepsilon)$.
22: Integration of the equation (\ref{VEqn2}) on $(0,\varepsilon)$ gives
23: $$
24: \frac{r^2 {w'}^2}{(1+w^2)^{5/2}} < \frac{w^2}{\sqrt{1+w^2}}
25: \quad \mbox{on}\quad (0,\varepsilon).
26: $$
27: Thus, ${\kappa'}(r) = \dfrac{{w'}}{r(1+w^2)^{3/2}} - \dfrac{w}{r^2\sqrt{1+w^2}} < 0$ for $r\in (0,\varepsilon)$.
28: This also implies that $\kappa(r)$ remains in the interval $(0,w_0']$ for $r\in (0,\varepsilon)$ and hence the argument works before we hit the first zero $r_M$ of $w'$, i.e., the first critical point of $w$.
29: This shows that $r_1=\inf\{ r\in(0,r_0)\, :\, \kappa'(r)\ge 0 \}\ge r_M>0$ if the set is nonempty.
30:
31: Now by the smoothness of $\kappa$, we conclude that $\kappa(r_1)\in[0,w_0']$, $\kappa'(r_1)=0$ and $\kappa''(r_1)\ge 0$. Putting this into the equation (\ref{VEqnk}), we have
32: $$
33: 0\le r_1\kappa''(r_1)=\frac{r_1 R(\kappa(r_1))}{2\left( 1- r_1^2\kappa^2(r_1) \right)} <0.
34: $$
35: This is a contradiction and hence the set $\{ r\in(0,r_0)\, :\, \kappa'(r)\ge 0 \}$ must be empty.
36: \end{proof}
37:
38: By the same token, we can also establish a criterion for a growing solution. Since we don't need it for our further discussion, we will omit the proof.
39: \begin{prop}
40: If $c_0>0$, $p>0$, ${w_0'} > 0$ and $R({w_0'}) > 0$, then $w$ is increasing and blows-up to $+\infty$.
41: \end{prop}
42:
43:
44: For our future discussion, we denote a few quantities which depends only on the polynomial $Q$ and the initial data $w_0'$ as follow:
45: \begin{align*}
46: \mu (w_0')&= -\min\left\{ Q(t)~:~ 0 \leq t \leq w_0' \right\}
47: = \max\left\{ -Q(t)~:~ 0 \leq t \leq w_0' \right\} ;\\
48: \delta_{+}(w_0') &= \min\left\{ -Q(t)~:~ 0 \leq t \leq w_0' \right\} = -\max\left\{ Q(t)~:~ 0 \leq t \leq w_0' \right\} ;\\
49: \delta_{-} &= \min\left\{ -Q(t)~:~ t \leq 0 \right\}
50: = -\max \left\{ Q(t)~:~ t \leq 0 \right\}.
51: \end{align*}
52: Note that $\displaystyle\lim_{w_0'\to 0}\delta_{+}(w_0')=p/2=\lim_{w_0'\to 0}\mu (w_0')$, and $\delta_{-}$ is independent of $w_0'$.
53:
54: We will now show that under reasonable condition, the solution will not blow up to $+\infty$. It is because the cubic lower terms are dominated by $\delta_{+}$.
55: \begin{lemma} \label{thm-pos}
56: Suppose that all real roots of $Q$ are positive.
57: If $Q<0$ on $[0,{w_0'}]$, i.e., $w_0'$ less than the smallest real root of $Q$, then there is $r_0 > 0$ with $r_0^2 < \frac{16{w_0'}}{\delta_+}$ such that on the interval $(0,r_0)$,
58: $$
59: w>0,\quad w(r_0) = 0,\quad \mbox{and}\quad w'(r_0)<-\frac{\delta_{+}}{8}r_0^2.
60: $$
61: In addition, if $64 {w_0'}^3<27\delta_+$, then
62: $$
63: \int_0^{r_0} w(r) \d r \le \frac{4{w_0'}^2}{\delta_{+}^{3/2}}
64: \left(1-\frac{64 {w_0'}^3}{27\delta_+} \right)^{-1/2}.
65: $$
66: \end{lemma}
67: \begin{proof}
68: Consider the principal curvature $\kappa(r) = \dfrac{w}{r\sqrt{1+w^2}}$ and rewrite equation~(\ref{VEqn1}) or (\ref{VEqn2}) as
69: $$
70: {\kappa''} = \frac{-3{\kappa'}}{r} - \frac{w{w'}^2}{r(1+w^2)^{5/2}} + \frac{1+w^2}{2}Q(\kappa(r)).
71: $$
72: By lemma~\ref{lem-kdrops}, ${\kappa'}(r) < 0$ on a neighborhood of $0$ and hence $\kappa(r)<w_0'$ near $0$. Using the assumption on $Q$ and the positivity of $w$ near $0$, we have
73: $$
74: r^3{\kappa''} + 3r^2{\kappa'} \leq \frac{-\delta_+}{2}r^3.
75: $$
76: Therefore, for small $r$,
77: \begin{equation}\label{ineq-upkprime}
78: \kappa'(r)\le -\frac{\delta_+}{8}r^2,
79: \end{equation}
80: and
81: \begin{equation}\label{ineq-upk}
82: \kappa(r) \leq {w_0'} - \frac{\delta_+}{16}r^2.
83: \end{equation}
84: These inequalities show that $\kappa$ remains in $(0, w_0')$ as long as $w\ge 0$. In turns, they themselves hold as long as $w \geq 0$. Clearly, they guarantee the existence of $r_0$ with $r_0^2\leq \dfrac{16 {w_0'}}{\delta_+}$ such that $\kappa(r_0) = 0$ and so $w(r_0)=0$. Then by (\ref{ineq-upkprime}), we have $w'(r_0)<-\delta_{+}r_0^2/8$. This proves the first statement of the theorem.
85:
86: To prove the second statement, we temporarily let $a = {w_0'}$ and $b=\delta_+/16$. Then on $[0,r_0)$,
87: $$
88: \frac{w}{r\sqrt{1+w^2}} \leq a - b r^2.
89: $$
90: With the assumption that $4a^3 < 27 b$, it can be written as
91: $$
92: w \leq \frac{r(a-br^2)}{\sqrt{1-r^2(a-br^2)^2}}.
93: $$
94: Therefore,
95: $$
96: w \leq \frac{r(a-br^2)}{\sqrt{1-\frac{4a^3}{27b}}},
97: $$
98: and
99: \begin{align*}
100: \int_0^{r_0} w \d r & \leq \int_0^{\sqrt{a/b}} \frac{r(a-br^2)}{\sqrt{1-\frac{4a^3}{27b}}}\d r \\
101: &\leq \frac{1}{\sqrt{b-\frac{4a^3}{27}}} \frac{a^2}{4b} %\\
102: = \frac{4{w_0'}^2}{\delta_{+}} \left(1 - \frac{64{w_0'}^3}{27\delta_+}\right)^{-1/2}.
103: \end{align*}
104: This completes the proof of the lemma.
105: \end{proof}
106: Immediately from the lemma we have the following
107: \begin{cor}
108: Suppose that all real roots of $Q$ are positive. Then
109: $$
110: \limsup_{w_0'\to 0}\frac{r_0^2}{w_0'} \le \frac{32}{p}\quad\mbox{and}\quad
111: \limsup_{w_0'\to 0}\frac{1}{{w_0'}^2}\int_0^{r_0}w\d r \le \frac{8}{p}.
112: $$
113: \end{cor}
114: In the above, we obtained an upper bound for $r_0$, where $w$ first hits zero. Next, a lower bound is established, which is essential for future estimates. We note that from lemma \ref{thm-pos}, $w$ has at least one maximum in the interval $(0,r_0)$. Since $w$ is increasing at the beginning, the first critical point must be a maximum point. From now on, we let $\xi = \xi(w_0') = 1 - \dfrac{64{w_0'}^3}{27\delta_{+}} > 0$.
115: \begin{lemma} \label{lem-lowr0}
116: Let $r_M\in (0,r_0)$ be the first critical point of $w$. Then
117: $$
118: \liminf_{w_0'\to 0}\frac{r_0^2}{w_0'} \ge
119: \liminf_{w_0'\to 0}\frac{r_M^2}{w_0'} \geq \frac{32}{3p}, \qquad\qquad
120: \liminf_{w_0'\to 0}\frac{w'(r_0)}{w_0'} \ge -2.
121: $$
122: \end{lemma}
123: \begin{proof}
124: Using equation (\ref{ineq-upk}), $\kappa >0$ on $[0, r_0)$, and $r_0^2< 16w_0'/\delta_+$, one can check that
125: $$
126: 1 - r^2\kappa(r)^2 \geq \xi \quad\mbox{on } (0,r_0).
127: $$
128: Putting together the assumption on $Q$, the fact that $\kappa<w_0'$ on $(0, r_0)$, and the inequality~(\ref{ineq-upkprime}) into the equations (\ref{VEqnk}), one obtains
129: \begin{align*}
130: \left( r\kappa\right)''
131: %&= r\kappa'' + 2\kappa' \\
132: %&= \frac{-r\kappa(r\kappa'+\kappa)^2}{2(1-r^2\kappa^2)} - %\kappa' + \frac{r Q(\kappa(r))}{2(1-r^2\kappa^2)} \\
133: &\geq \frac{-1}{2\xi}r\kappa(r\kappa'+\kappa)^2 + \frac{1}{8}\delta_{+}r - \frac{\mu}{2\xi}r.\\
134: &\geq \frac{-1}{2\xi}r{w_0'}\left[(r\kappa)'\right]^2 + \frac{1}{8}\delta_{+}r - \frac{\mu}{2\xi}r \\
135: &= \frac{-w_0'}{2\xi} \left[ {(r\kappa)'}^2 + \frac{\mu - \frac{\xi}{4}\delta_{+}}{{w_0'}} \right]r.
136: \end{align*}
137: Note that in the above,
138: $\mu = \max\left\{-Q(t): 0\leq t \leq w_0' \right\} \geq \delta_{+}$.
139:
140: Let $y = (r\kappa)' = \dfrac{w'}{(1+w^2)^{3/2}}$ and $A^2 = \dfrac{\mu - \frac{\xi}{4}\delta_{+}}{{w_0'}} \geq \dfrac{\left(1 - \frac{\xi}{4}\right)\delta_{+}}{{w_0'}} > \dfrac{3\delta_{+}}{4w_0'} > 0$. We then have
141: $$
142: \frac{y'}{y^2 + A^2} \geq \frac{-w_0'}{2\xi}r.
143: $$
144: Integrating from $0$, it yields
145: \begin{equation}\label{ineq-lowr0}
146: \arctan \left(\frac{y}{A}\right) \geq \arctan \left(\frac{{w_0'}}{A}\right) - \frac{Aw_0'}{4\xi}r^2.
147: \end{equation}
148: Taking $r=r_M$ and multiplying by $A/w_0'$, as $y(r_M)=0$ and $r_0 \geq r_M$, we have
149: \begin{align*}
150: A^2 r_0^2 \geq A^2 r_M^2 &\geq 4\xi\cdot\frac{A}{{w_0'}}\arctan \left(\frac{{w_0'}}{A}\right) \geq 4\xi\left(1-\frac{{w_0'}^2}{3A^2}\right). \\
151: \intertext{Then,}
152: \frac{r_0^2}{w_0'} \geq \frac{r_M^2}{w_0'} &\geq \frac{4\xi} {\left(\mu - \frac{\xi}{4}\delta_+\right)} \left[ 1 - \frac{{w_0'}^3} {3\left(\mu - \frac{\xi}{4}\delta_+\right)} \right].
153: \end{align*}
154: Considering the limiting situation, by $\displaystyle\lim_{w_0'\to 0}\mu=\lim_{w_0'\to 0}\delta_+=p/2$ and $\displaystyle\lim_{w_0'\to 0}\xi = 1$, the first result follows.
155:
156: For the second estimate, we first take $r\to r_0$ in (\ref{ineq-lowr0}), apply $r_0^2 < 16w_0'/\delta_+$ to obtain
157: \begin{align*}
158: \frac{A(w'(r_0)-w_0')}{A^2 + w'(r_0)w_0'} &\geq \tan\left(\frac{-4A{w_0'}^2}{\delta_+\xi}\right) \geq \frac{-4A{w_0'}^2}{\delta_+\xi} \cdot \left[ \cos\left(\frac{4A{w_0'}^2}{\delta_+\xi}\right) \right]^{-1}. \\
159: \intertext{Then,}
160: \frac{w'(r_0)}{w_0'} &\ge
161: \frac{ \cos\left(\frac{4A{w_0'}^2}{\delta_+\xi}\right) - \frac{4A^2{w_0'}}{\delta_+\xi}} { \cos\left(\frac{4A{w_0'}^2}{\delta_+\xi}\right) +\frac{4{w_0'}^3}{\delta_+\xi}}.
162: \end{align*}
163: This gives the second estimate immediately by letting $w_0'\to 0$.
164: \end{proof}
165: Combining the previous lemmas, we have the following
166: \begin{cor}\label{cor-bothr0}
167: For any $\varepsilon >0$, there exists $\beta>0$ such that if $w_0'\in (0,\beta)$, then
168: $$
169: \frac{32}{3p}-\varepsilon \le \frac{r_M^2}{w_0'} \le \frac{r_0^2}{w_0'}
170: \le \frac{32}{p}+\varepsilon
171: $$
172: and
173: $$
174: -2-\varepsilon \le \frac{w'(r_0)}{w_0'} \le -\frac{2}{3}+\varepsilon
175: $$
176: \end{cor}
177: The $r_M$ that we discussed in the previous lemma is in fact the unique critical point of $w$ in $(0, r_0)$ provided $w_0'$ is sufficiently small.
178: \begin{lemma}
179: Under conditions of lemmas~{\em\ref{thm-pos}} and {\em\ref{lem-lowr0}}, if $w_0'$ is sufficiently small, then $w$ has a unique maximum at $r_M \in [0,r_0)$ and has no other critical point.
180: \end{lemma}
181: \begin{proof} Suppose $w$ has another critical points in $(0,r_0)$, then according to the definition of $r_M$, $w$ attains a positive nonmaximum critical at $r_m\in (r_M, r_0)$, i.e., $w'(r_m)=0$ and $w''(r_m)\geq 0$.
182: By the corollary~\ref{cor-bothr0}, given any $\varepsilon >0$, $r_m^2 > r_M^2 \ge \left(\frac{32}{3p}-\varepsilon\right)w_0'$ for sufficiently small $w_0'$.
183: On the other hand, substituting $w'(r_m)=0$ and $w''(r_m)\geq 0$ into the equation~(\ref{VEqn1}), we have
184: \begin{align*}
185: 0 &\leq \frac{2w_m}{r_m^3(1+{w_m}^2)^{3/2}} + Q(\kappa(r_m)) \\
186: &\leq \frac{2}{r_m^2}\kappa(r_m) + Q(\kappa(r_m)),
187: \end{align*}
188: where $w_m=w(r_m)$.
189: Since $0<\kappa(r_m) \leq w_0'$, thus, for sufficiently small $w_0'$, we also have $Q(\kappa(r_m)) < -p/2 + \varepsilon$. This leads to
190: $$
191: 0 \leq \frac{2}{\frac{32}{3p}-\varepsilon} - \frac{p}{2} + \varepsilon
192: $$
193: which is clearly a contradiction since $\varepsilon$ is arbitrary.
194: \end{proof}
195:
196: Next, we claim that under our condition on $Q$, after hitting $0$, $w$ decreases and goes to negative infinity in finite distance.
197: \begin{thm} \label{thm-neg}
198: Suppose that all real roots of $Q(t)$ are positive and $r_0 > 0$ is given by lemma~{\em\ref{thm-pos}}. Then ${w'} < 0$ for $r \geq r_0$ and there is a finite number $r_\infty > r_0$ such that
199: $\displaystyle \lim_{r\to r_\infty} w(r) = -\infty$. Moreover, we have
200: $$
201: r_\infty - r_0 \leq \frac{\pi}{2\sqrt{\delta r_0^2 \left|w'(r_0)\right|}}, $$
202: where $\delta = \min\left\{\frac{\delta_{+}}{8}, \frac{\delta_{-}}{2}\right\}$ and $\delta_{-}=\min\left\{ -Q(t)~:~ t \leq 0 \right\}$.
203: \end{thm}
204: \begin{proof}
205: For convenience, let us temporarily denote $v = -w$ for $r > r_0$. Since $\kappa(r) < 0$ and ${v'} > 0$ on $(r_0, r_0+\varepsilon)$ for some $\varepsilon>0$, we have $-{v'} Q(\kappa(r)) > \delta_{-}{v'}$ on the same interval and the equation~(\ref{VEqn3}) gives
206: \begin{equation} \label{VEqnneg}
207: \left[ \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \right]' = \left[ \frac{-2}{(1+v^2)^{1/2}} \right]' - r^3 {v'} Q(\kappa(r)) \geq \left[ \frac{-2}{(1+v^2)^{1/2}} \right]' + \delta_{-} r^3 {v'}
208: \end{equation}
209: on $(r_0, r_0+\varepsilon)$.
210: In particular,
211: $$
212: \left[ \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \right]' \geq \left[ \frac{-2}{(1+v^2)^{1/2}} \right]',
213: $$
214: which gives
215: $$
216: \frac{r^2{v'}^2}{(1+v^2)^{5/2}} - r_0^2 {v'}(r_0)^2 \geq \frac{-2}{(1+v^2)^{1/2}} + 2 \geq 0 .
217: $$
218: This implies that $v'$ does not vanish and therefore
219: \begin{equation}\label{ineq-lowvprime}
220: r{v'} \geq \frac{r{v'}}{(1+v^2)^{5/4}} \geq r_0 {v'}(r_0) > 0.
221: \end{equation}
222: This, in turns, implies that $v$ is increasing, $\kappa$ remains negative and (\ref{VEqnneg}) holds as long as $v$ is defined.
223: Substitute (\ref{ineq-lowvprime}) into the equation (\ref{VEqnneg}) again, it gives
224: $$
225: \left[ \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \right]' \geq \delta_{-} r^3 {v'} \geq \delta_{-}r_0 {v'}(r_0)r^2 \geq \delta_{-}r_0^2 {v'}(r_0)r
226: $$
227: for all $r>r_0$ such that $v$ is defined.
228: Now, integrating the above from $r_0$, we conclude that
229: $$
230: \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \geq r_0^2v'(r_0)^2 + \frac{\delta_{-}r_0^2 {v'}(r_0)}{2}(r^2-r_0^2).
231: $$
232: In the case that $\delta_{+} \geq 4\delta_{-}$, we have $v'(r_0)\ge \delta_{-}r_0^2/2$ by lemma~\ref{thm-pos}
233: \begin{align*}
234: \frac{r^2{v'}^2}{(1+v^2)^{5/2}} &\geq r_0^2v'(r_0)\left(v'(r_0) - \frac{\delta_{-}}{2}r_0^2\right) + \frac{\delta_{-}r_0^2 {v'}(r_0)}{2}r^2 \\
235: &\geq \frac{\delta_{-}r_0^2 {v'}(r_0)}{2}r^2.
236: \end{align*}
237: Otherwise, for $\zeta = \frac{\delta_{+}}{4\delta_{-}}<1$, one has $r_0^2v'(r_0)^2 \geq \frac{1}{2}\zeta\delta_{-}v'(r_0)r_0^4.$ It follows that
238: \begin{align*}
239: \frac{r^2{v'}^2}{(1+v^2)^{5/2}} &\geq r_0^2v'(r_0)^2 + \frac{\delta_{-}r_0^2 {v'}(r_0)}{2}(r^2-r_0^2) \\
240: &= r_0^2v'(r_0)^2 + \frac{\zeta \delta_{-}r_0^2 {v'}(r_0)}{2}(r^2-r_0^2) + \frac{(1-\zeta) \delta_{-}r_0^2 {v'}(r_0)}{2}(r^2-r_0^2) \\
241: &\geq r_0^2v'(r_0)\left[v'(r_0) - \frac{\zeta \delta_{-}{v'}(r_0)}{2}r_0^2\right] + \frac{\zeta \delta_{-}r_0^2 {v'}(r_0)}{2}r^2. \\
242: \intertext{Therefore,}
243: \frac{r^2{v'}^2}{(1+v^2)^2} &\geq \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \geq \frac{\zeta \delta_{-}r_0^2 {v'}(r_0)}{2}r^2 = \frac{1}{8}\delta_{+}r_0^2v'(r_0)r^2.
244: \end{align*}
245: Hence, with $\delta = \min\left\{\frac{1}{4}\delta_{+},
246: \frac{1}{2}\delta_{-}\right\},$ one has
247: $$
248: \frac{ {v'}}{1+v^2}\ge \frac{ {v'}}{(1+v^2)^{5/4}} \geq \sqrt{\delta r_0^2{v'}(r_0)}
249: $$
250: as long as $v$ is defined.
251: Further integrating from $r_0$ gives
252: $$
253: \arctan v \geq \sqrt{\delta r_0^2{v'}(r_0)} (r-r_0).
254: $$
255: This clearly shows that $v$ blows up before $r$ goes to infinity. Furthermore, the upper bound of $r_\infty$ follows.
256: \end{proof}
257: \begin{cor}\label{cor-uprinf}
258: Under the same conditions of theorem~{\em\ref{thm-neg}}, we have,
259: $$
260: \infty > \int_{r_0}^{r_\infty} \modulus{w(r)} \d r \geq B^{-1}\log\left( \frac{1}{\cos(B(r_\infty-r_0))}\right) \geq \frac{B}{2}(r_\infty-r_0)^2,
261: $$
262: where $B = \sqrt{\delta r_0^2 v'(r_0)} \geq \sqrt{\frac{\delta\delta_{+}}{8}}r_0^2 \geq \frac{1}{\sqrt{2}}\delta r_0^2$.
263: \end{cor}
264: \begin{proof}
265: From (\ref{VEqnneg}), by simply dropping the term $-r^3v'Q(\kappa(r)) > 0$, we have
266: $$
267: \frac{r^2{v'}^2}{(1+v^2)^{5/2}} \geq 2\left(1-\frac{1}{\sqrt{1+v^2}}\right).
268: $$
269: After multiplying by $\sqrt{1+v^2}(\sqrt{1+v^2}+1)$, it becomes
270: \begin{align*}
271: (\sqrt{1+v^2}+1)\frac{r^2{v'}^2}{(1+v^2)^2} & \geq 2(\sqrt{1+v^2}+1)(\sqrt{1+v^2}-1) = 2v^2. \\
272: \intertext{Moreover, $2\sqrt{1+v^2} > (\sqrt{1+v^2}+1)$, so one has}
273: r_\infty^2 \cdot \frac{{v'}^2}{(1+v^2)^{3/2}} &\geq v^2. \\
274: \intertext{Taking square root and integrating, it yields}
275: r_\infty\int_{r_0}^{r_\infty} \frac{v'}{(1+v^2)^{3/4}} \d r &\geq \int_{r_0}^{r_\infty} v \d r ,
276: \end{align*}
277: in which the left hand side is obviously convergent. The lower bound follows easily from the theorem.
278: \end{proof}
279:
280: It can be seen that the area of negative part has a lower bound of order $w_0'(r_\infty-r_0)^2$. We wish to establish that this dominates the area of the positive part. Let us consider the equation of $v(r)=-w(r)$ for $r > r_0$ again, i.e.,
281: \begin{align*}
282: \left[ \frac{r^2 {v'}^2}{(1+v^2)^{5/2}} \right]' &= \left[ \frac{v^2}{(1+v^2)^{1/2}} \right]' - \frac{2c_0 v^2v' r}{1+v^2} + \frac{(c_0^2+\lambda)r^2 vv'}{(1+v^2)^{1/2}} + \frac{pr^3v'}{2} \\
283: &\leq \left[ \frac{v^2}{(1+v^2)^{1/2}} \right]' + \left[ \frac{2|c_0|v^2r_\infty}{1+v^2} + \frac{(c_0^2+\lambda)r_\infty^2 v}{(1+v^2)^{1/2}} + \frac{pr_\infty^3}{2} \right]v' \\
284: &\leq \left[ \frac{v^2}{(1+v^2)^{1/2}} \right]' + \left[ 2|c_0|r_\infty + (c_0^2+\lambda)r_\infty^2 + \frac{pr_\infty^3}{2} \right]v'.
285: \end{align*}
286: Therefore, after integrating from $r_0$,
287: \begin{align*}
288: \frac{r^2 {v'}^2}{(1+v^2)^{5/2}} &\leq r_0^2v'(r_0)^2 + \frac{v^2}{(1+v^2)^{1/2}} + \left[2|c_0|r_\infty + (c_0^2+\lambda)r_\infty^2 + \frac{pr_\infty^3}{2}\right]v \\
289: &\leq r_0^2v'(r_0)^2 + \left[1 + 2|c_0|r_\infty + (c_0^2+\lambda)r_\infty^2 + \frac{pr_\infty^3}{2}\right]v \\
290: \frac{r_0^2 {v'}^2}{(1+v^2)^{5/2}}&\leq r_0^2v'(r_0)^2 + \left[ 1 + 2|c_0|r_\infty + (c_0^2+\lambda)r_\infty^2 + \frac{p}{2}r_\infty^3\right]v.
291: \end{align*}
292: From this, we have proved a comparison between the growth of $w'$ and $\modulus{w}$.
293: \begin{prop}\label{prop-wprimeord}
294: If $w(r)$ is a solution to equation~{\em (\ref{VEqn1})} which blows down to $-\infty$ at $r_\infty$, then
295: $
296: \dfrac{{w'}^2}{\modulus{w}(1+w^2)^{5/2}}
297: $
298: is bounded.
299: \end{prop}
300: Continue with the analysis, after integration and applying Holder inequality, we have
301: \begin{align*}
302: r_0^2 &\leq r_0^2\left(\int_{r_0}^{r_\infty} \frac{v'}{(1+v^2)^{5/4}}\cdot 1\right)^2 \leq r_0^2 \int_{r_0}^{r_\infty} \frac{{v'}^2}{(1+v^2)^{5/2}} \int_{r_0}^{r_\infty}1 \\
303: &\leq r_0^2v'(r_0)^2 (r_\infty -r_0)^2 + (r_\infty -r_0)\left[ 1 + 2|c_0|r_\infty + (c_0^2+\lambda)r_\infty^2 + \frac{p}{2}r_\infty^3\right] \int_{r_0}^{r_\infty} v.
304: \end{align*}
305: Letting $x=r_\infty -r_0$ and using \ref{cor-bothr0} that $r_0^2<\frac{64}{\delta_+}w_0'$ and $v'(r_0)<2w_0'$, we have
306: \begin{equation}\label{ineq-Intv}
307: r_0^2 \leq \frac{64}{\delta_+}{w_0'}^3 x^2 + x\left[ a_0+a_1x+a_2x^2 + \frac{p}{2}x^3\right] \int_{r_0}^{r_\infty} v,
308: \end{equation}
309: where
310: \begin{align*}
311: a_0&=1+2|c_0|r_0+(c_0^2+\lambda)r_0^2+\frac{p}{2}r_0^3,\\
312: a_1&=2|c_0|+2(c_0^2+\lambda)r_0+\frac{3p}{2}r_0^2 \mbox{ and}\\
313: a_2&=(c_0^2+\lambda)+\frac{3p}{2}r_0.
314: \end{align*}
315: We now claim that there exists $C>0$ independent of $w_0'$ such that $\int_{r_0}^{r_\infty} v\ge Cw_0'$ for sufficiently small $w_0'$. Otherwise, for any $\varepsilon>0$, there is a $w_0' <\varepsilon$ such that
316: $$
317: \varepsilon w_0' > \int_{r_0}^{r_\infty} v.
318: $$
319: Then by corollary~\ref{cor-uprinf}, we have
320: $$
321: \varepsilon w_0' >\frac{\delta}{2\sqrt{2}}r_0^2x^2.
322: $$
323: Using the lower estimate of $r_0^2$ in terms of $w_0'$, we conclude that
324: $$
325: x^2 < \varepsilon \frac{2\sqrt{2}}{\delta}\frac{w_0'}{r_0^2} \le
326: \frac{2\sqrt{2}\delta_+}{\delta}\varepsilon.
327: $$
328: Putting this into (\ref{ineq-Intv}), we have
329: \begin{align*}
330: c_1w_0' &\le c_2{w_0'}^3\varepsilon +c_3\varepsilon^{1/2} \left\{
331: 1+o({w_0'}^{1/2})+\left[2|c_0|+o({w_0'}^{1/2})\right]c_3\varepsilon^{1/2} + \right. \\
332: & \qquad \left. {} + \left[ c_0^2+\lambda + o({w_0'}^{1/2}) \right]c_3^2\varepsilon +\frac{p}{2}c_3^3\varepsilon^{3/2}
333: \right\}\varepsilon w_0',
334: \end{align*}
335: for some positive constants $c_1$, $c_2$ and $c_3$. This is impossible since this implies
336: $$
337: 0<c_1\le c_2{w_0'}^2\varepsilon +c_3\varepsilon^{3/2}\left[ 1 + o(\varepsilon^{1/2}) + o({w_0'}^{1/2}) \right] \to 0,
338: $$
339: which is a contradiction.
340:
341:
342: \begin{thm}
343: With the conditions of the theorems {\em\ref{thm-pos}, \ref{lem-lowr0}, and \ref{thm-neg}}, we have
344: $$
345: -\infty < \int_0^{r_\infty} w(r)\d r < 0
346: $$
347: for $w_0'$ sufficiently small.
348: \end{thm}
349:
350: \endinput
351: