cd1a2a20e521a0b0.tex
1: \begin{proof}
2: Let $\beta_2 = -\beta_1 + \delta$ with $\delta>0$ fixed. Define $F(u; \beta_1) = \beta_1 (u-u^p)$ and $G(u; \delta) = \delta u^p - I(u)/2$ so that $L(u; \beta_1, \beta_2) = F(u; \beta_1) + G(u; \delta)$ by (\ref{smax}). We will show, for sufficiently negative $\beta_1$, that the global maximizer $u^*$ of $L(u)$ equals $u_2^*$. Together with Proposition \ref{cor}, this implies that for these $\beta_1$, $-\beta_1\leq r(\beta_1)\leq -\beta_1+\delta$, which will prove the desired limit.
3: 
4: Under our assumption, $-I(u)$ is a continuous symmetric function that increases on $(0, 1/2)$ and decreases on $(1/2, 1)$, with a maximum attained at $u=1/2$ and $-I(1/2)=0$. Denote by $C:=-I(0)/2=-I(1)/2$ so that $C$ is finite and negative and $G(0)=C$. Recall that $0<u_1^*<u_0<u_2^*<1$, where $u_1^*$ and $u_2^*$ are two local maximizers for $L(u)$ and $u_0 \geq 1/2$ is the unique global minimizer for $m(u)$ (\ref{m}) that does not depend on $\beta_1$ and $\beta_2$. Rigorously, it may be that only one local maximizer $u_1^*$ or $u_2^*$ exist for $L(u)$, but this does not affect our argument below. From the continuity and boundedness of $G$ on $[0, 1]$, there exists $\eta \in (0, 1-u_0)$ such that if $0\leq u<\eta$ then $G(u)-C<\delta/2$. Since $u-u^p=u(1-u^{p-1})>0$ on $(0, 1)$ and vanishes at the endpoints $0$ and $1$, there exists $\beta<0$ such that for all $\beta_1<\beta$ and $u \in [\eta, 1-\eta]$, $F(u)<C-\delta$ and therefore $L(u)<C-\delta+G(u)<C=L(0)$, so $u^* \in [0, \eta) \cup (1-\eta, 1]$. Similarly, using that $F(u) \leq 0$ for all $\beta_1<0$ and all $u\in [0, \eta)$, we have $L(u)\leq G(u)<C+\delta/2<C+\delta=L(1)$ so $u^* \in (1-\eta, 1]$. Since $u_1^*<u_0<1-\eta$, this says that $u^*=u_2^*$.
5: \end{proof}
6: