Boundary data in a Sturm-Liouville eigenfunction expansion ($c_n=\frac{\int u_{n}f-[p(u_n{y}^{\prime }-u_n^{\prime }y){]}_a^b}{({\lambda }_n+\mu )N_n}$)

Let $Ay=(p{y}^{\prime }{)}^{\prime }+qy$ have real eigenfunctions $u_n$ obeying $A{u}_n={\lambda }_{n}w{u}_n$ and homogeneous Dirichlet boundary conditions, with $N_n={\int }_a^{b}w{u}_n^2>0$. Suppose $Ay+\mu wy=f$, with possibly nonzero endpoint values. The Lagrange identity for a Sturm-Liouville operator givesDivision by $({\lambda }_n+\mu )N_n$ gives the displayed coefficient whenever the denominator is nonzero. At resonance in a differential equation, equality of the forcing projection and the boundary term is the Fredholm solvability condition. The Sturm-Liouville eigenfunction expansion represents the interior solution in the weighted inner product sense; its zero endpoint terms do not reproduce nonzero boundary traces by pointwise substitution. A smooth lift of the endpoint data reduces the calculation to homogeneous Dirichlet boundary conditions.