ba0948dae34bd71a.tex
1: \begin{proof} 
2: We will proceeding formally, however we note that it is not difficult to make the calculations rigorous, then
3: \[
4:   -  \frac{d^2 }{dx^2} \frac{\phi}{\psi} + (q_1-q_2) \frac{\phi}{\psi} 
5: - 2 \frac{\psi'}{\psi}  \frac{d}{dx} \frac{\phi}{\psi}  = 0 
6: \]
7: and since  $q_2\le q_1$ we obtain
8: \[ - \frac{d^2}{dx^2} \frac{\phi}{\psi} - 2\frac{\psi'}{\psi}
9: \frac{d}{dx} \frac{\phi}{\psi} \le 0. \] 
10: We claim that $u(x) = \phi/\psi$ cannot have an
11: interior positive minimum. We search for a contradiction, and assume that $u(x_0)= M
12: = \inf_{x\in(a,b)}u(x) $ and $u(a) , u(b) > M$.  We test with
13: $u_\varepsilon =((M+\varepsilon)-u)_+$; setting $U_\varepsilon = \{ x: M < u < M+\varepsilon\}$ yields 
14: \[  \int_{U_\varepsilon} (u_\varepsilon)_x^2  -   2u_\varepsilon \frac{\psi'}{\psi} (u_\varepsilon)_x dx \leq 0.\]
15: By assumption, for $\varepsilon$ 
16: sufficiently small, the quotient $\psi'/\psi$ is uniformly bounded  by some constant $c>0$. Thus 
17: \[ \begin{split} \int_{U_\varepsilon} u_x^2  \le & \frac12 \int_{U_\varepsilon} (u_\varepsilon)_x^2 dx + c^2 \int_{U_\varepsilon}  u_\varepsilon^2 dx 
18: \\ \le & \left(\frac12 + c^2 |U_\varepsilon|^2\right) \int_{U_\varepsilon} u_x^2 dx 
19: \end{split} 
20: \]
21: and hence, since the left hand side is nonzero, 
22: \[ |U_\varepsilon| \ge \frac1{2c}, \]
23: Letting $\varepsilon$ tend to $0$ we obtain a contradiction. 
24: \end{proof}
25: