Let be the solution of
where is a real constant, and is defined in §9.2. Then
satisfies with and the boundary condition