We sketch the proof of an existence theorem for a time-dependent density-functional theory on the set of $N$-representable densities, extending the constrained-search formulation of Levy into the time-dependent domain, and add a brief comment on practical issues.

• Received 2 December 1985

DOI:https://doi.org/10.1103/PhysRevLett.56.1993