Averaged null energy condition (source code)

= Averaged null energy condition
{title2=ANEC}

The averaged null energy condition requires
$$
\int_{-\infty}^{\infty}T_{ab}k^ak^b\,d\lambda\geq0
$$
along every complete affinely parametrized null geodesic. It is weaker than the pointwise null energy condition.