Dual ruin boundary with debt service ($J(z_{\ast })=J^{\prime }(z_{\ast })=0$)

For the wealth-variable Legendre dual $J(z)={\sup }_{w\ge 0}[V(w)-zw]$, a finite slope $z_{\ast }=V^{\prime }(0+)$ at an absorbing zero-wealth boundary makes $J$ identically zero for $z\ge z_{\ast }$. Matching gives $J(z_{\ast })=J^{\prime }(z_{\ast })=0$. It does not generally give $J^{\prime \prime }(z_{\ast }^{-})=0$: killing at ruin permits the dual curvature to jump.