 Solution

Set $t=\sqrt{\lambda }x$ and $w(t)=y(t/\sqrt{\lambda })$. The chain rule turns the equation into the parameter-one Bessel differential equation. By the regular-at-zero solution property supplied in the paper,For a nonzero solution, $c\ne 0$, so $y(1)=0$ forces $J_k(\sqrt{\lambda })=0$. Conversely, every positive zero $z$ supplies the admissible eigenfunction $J_k(zx)$ with eigenvalue $z^2$.

Here is a direct justification of the infimum characterization that does not assume a minimizer exists. Let $u(x)=J_k(z_{k,1}x)$ and choose its sign so that $u>0$ on $(0,1)$. The first positive zero exists by the oscillatory large-argument behavior of the Bessel function of the first kind. At zero, its Frobenius series for Bessel functions gives $u(x)=C{x}^k(1+O(x^2))$. At one, its zero is simple by uniqueness for a regular second-order ordinary differential equation. Expanding $y=u(y/u)$ and using the equation for $u$ gives the Ground-state representation of a Sturm-Liouville energy:For completeness, apply the identity first on $[\epsilon ,1-\epsilon ]$. The discarded boundary term is $[x{u}^{\prime }{y}^2/u]$. It tends to zero at both ends: $x{u}^{\prime }/u\to k$ and $y=O(x)$ at zero, while $u^{\prime }/u=O((1-x{)}^{-1})$ and $y=O(1-x)$ at one. Taking $y=u$ achieves equality, soThe infimum is over the stated smooth admissible functions with finite energy; the equality also proves attainment by a multiple of $u$.