1: \begin{definition} \label{def.F_ab}

2: Assume the hypotheses of Theorem \ref{thm.carleman_est_wp}, and define

3: \begin{equation}

4: \label{eq.F} F := F (f) := - a ( \log f + 2 b f^\frac{1}{2} ) \text{.}

5: \end{equation}

6: Furthermore, for brevity, we will let $\prime$ denote differentiation with respect to $f$.

7: \end{definition}

8: