Averaged null energy condition for a nonminimally coupled scalar (source code)

= Averaged null energy condition for a nonminimally coupled scalar

For the curvature-coupled scalar equation considered here, contraction with an affine null tangent and integration by parts gives, for $\xi<0$,
$$
\int T_{ab}k^ak^b\,d\lambda
=\int\frac{1+\xi(4\xi-1)\Phi^2}{(1-\xi\Phi^2)^2}(\Phi')^2\,d\lambda\geq0
$$
when $\Phi\Phi'/(1-\xi\Phi^2)$ vanishes at the endpoints.