 Solution

The left boundary condition is $y(0)=0$, while the right one is $y^{\prime }(\ell )=-ky(\ell )$. Hence $[y{y}^{\prime }{]}_0^{\ell }=-ky(\ell {)}^2$. The Rayleigh quotient becomesEvery term on the right is nonnegative. If the whole expression were zero, in particular ${\int }_0^{\ell }(y^{\prime }{)}^{2}dx=0$, so $y$ would be constant. Its zero value at the left endpoint would force $y\equiv 0$, contrary to its being an eigenfunction. ThereforeThis is the positivity mechanism for Dirichlet-Robin eigenvalues on a finite interval. The sign of the boundary contribution is positive for the convention $y^{\prime }+ky=0$ with $k>0$.