Vanishing endpoint coefficient and the Sturm-Liouville boundary form ($[p(\overline{u}{v}^{\prime }-\overline{u^{\prime }}v){]}_a^b=0$)

For the real-coefficient differential operator $Mv=(p{v}^{\prime }{)}^{\prime }+qv$, integration by parts givesIf $p$ tends to zero at both endpoints and $u,v,u^{\prime },v^{\prime }$ remain bounded there, the boundary term vanishes without prescribing endpoint values. Thus regular endpoint behaviour can supply the domain condition that makes the expression symmetric. Endpoint degeneracy alone is insufficient for arbitrary singular functions: for $p=x(1-x)$ and $v=\log x$, one has $p{v}^{\prime }=1-x\to 1$ at zero. A self-adjoint differential operator requires a specified admissible domain, rather than only a formal differential expression.