Separated Laplace mode with a Robin edge

For $0<x<L$, $0<y<H$, choose $k=m\pi /H>0$ and seek a harmonic function with zero values on the horizontal edges, boundary value $\sin (ky)$ at $x=L$, and $\varphi +\alpha {\partial }_n\varphi =0$ at $x=0$, with constant $\alpha \ge 0$. Separation of variables gives $\varphi =[\alpha k\cosh (kx)+\sinh (kx)]\sin (ky)/[\alpha k\cosh (kL)+\sinh (kL)]$. The outward derivative at the left edge is $-{\partial }_x$, giving $F(0)-\alpha F^{\prime }(0)=0$. The denominator is positive and Poisson uniqueness with a nonnegative Robin normal coefficient proves uniqueness in the regular solution class.