1: \begin{proof}

2: First observe that $\ind_e(\ms)=1$, since it coincides with the index of the equatorial disc in $B^3$. Therefore, we only need to compute $\ind_\partial(\ms)= \ind_c(\ms)$, which are equal by \cref{prop:IneqIndices}.

3: 

4: 

5: 

6: Since $\ind_\partial(\ms) \le \ind_e(\ms)=1$, it is sufficient to determine whether $\ind_\partial(\ms)$ is $0$ or $1$, i.e. whether there exists $f\in C^\infty(\ms)$ such that $f =0$ on $\bar B_{r_0}(0)$ and $Q_\ms(f,f) < 0$.

7: For any such function $f\in C^\infty(\ms)$ it holds that

8: \begin{align*}

9: Q_\ms(f,f) &= \int_0^{2\pi} \int_{r_0}^1 (\abs{\partial_r f(r,\theta)}^2 + r^{-2} \abs{\partial_\theta f(r,\theta)}^2)r \de r \de \theta - \int_0^{2\pi} f(1,\theta)^2\de\theta\\

10: &\ge \int_0^{2\pi} \int_{r_0}^1 \abs{\partial_r f(r,\theta)}^2 r \de r \de \theta - \int_0^{2\pi} f(1,\theta)^2\de\theta= \int_0^{2\pi}\left( \int_{r_0}^1 \abs{\partial_r f(r,\theta)}^2 r \de r - f(1,\theta)^2\right)\de\theta \point

11: \end{align*}

12: However, observe that by the Cauchy-Schwartz inequality

13: \[

14: \abs{f(1,\theta)} = \abs{f(1,\theta) - f(r_0,\theta)} = \left \lvert \int_{r_0}^1 \partial_r f(r,\theta) \de r \right\rvert \le \left(\int_{r_0}^1 \frac 1r\de r \right)^{1/2} \left( \int_{r_0}^1 \abs{\partial_r f(r,\theta)}^2 r\de r\right)^{1/2}\comma

15: \]

16: thus

17: \[

18: f(1,\theta)^2 \le \ln(r_0^{-1}) \int_{r_0}^1 \abs{\partial_r f(r,\theta)}^2 r\de r \comma

19: \]

20: which implies that

21: \[

22: Q_\ms(f,f) \ge \left(\frac1{\ln(r_0^{-1})} - 1 \right) \int_0^{2\pi} f(1,\theta)^2\de\theta 

23: \]

24: with equality if and only if $f = f_{r_0}$, where $f_{r_0}(r,\theta)\eqdef c (\ln(r) - \ln (r_0))$ in $B_1(0)\setminus B_{r_0}(0)$ for some constant $c\in\R$ and $f_{r_0}(r,\theta) \eqdef 0$ in $\bar B_{r_0}(0)$.

25: Therefore, the index is $1$ if and only if $\ln(r_0^{-1}) >  1$ (observe that, rigorously, a smoothing of the function $f_{r_0}$ is needed), that means $r_0<e^{-1}$ as we wanted.

26: \end{proof}

27: