Nonpositive modes in a Dirichlet-Robin interval expansion ($y(0)=0,y^{\prime }(1)=y(1)/\alpha ,\alpha >0$)

For $-y^{\prime \prime }=\lambda y$, positive eigenvalues have eigenfunctions $\sin (q_{n}x)$, where $\tan q_n=\alpha q_n$ and $q_n>0$. Their squared norms are $N_n=1/2-\sin (2q_n)/(4q_n)$. A zero eigenvalue occurs precisely at $\alpha =1$, with eigenfunction $x$. A negative eigenvalue occurs precisely at $0<\alpha <1$: it is $-{\kappa }^2$ with eigenfunction $\sinh (\kappa x)$, where $\tanh \kappa =\alpha \kappa$. There is exactly one such $\kappa$, since $\tanh \kappa /\kappa$ decreases strictly from $1$ to $0$. The integration by parts identityand the Cauchy-Schwarz inequality show positivity for $\alpha >1$ and nonnegativity at equality. The complete expansion of a square-integrable function therefore includes the extra term $3x{\int }_0^{1}tf(t)dt$ when $\alpha =1$, or $\sinh (\kappa x){\int }_0^{1}f(t)\sinh (\kappa t)dt/[\sinh (2\kappa )/(4\kappa )-1/2]$ when $\alpha <1$, in addition to ${\sum }_n[{\int }_0^{1}f(t)\sin (q_{n}t)dt/N_n]\sin (q_{n}x)$. Omitting that extra mode makes the system incomplete. In particular, $f=x$ at $\alpha =1$ is orthogonal to every positive sine mode and is an immediate counterexample to a sine-only expansion.