 Solution

An event horizon is a null hypersurface. For its spherical defining function $H(v,r)=r-r_H(v)$, the inverse radial metric tensor has $g^{vv}=0$, $g^{vr}=1$ and $g^{rr}=f=1-2m(v)/r$. The normal's null condition isIt follows that the event horizon follows the outgoing radial null geodesics of the Vaidya metric:This ordinary differential equation also describes other outgoing null hypersurfaces; the global event horizon is selected by its future boundary condition, not by this local equation alone.