A rigorous formulation of time-dependent current density functional theory
(TDCDFT) on a lattice is presented. The density-to-potential mapping and the
V-representability problems are reduced to a solution of a certain
nonlinear lattice Schr\"odinger equation, to which the standard existence and
uniqueness results for nonliner differential equations are applicable. For two
versions of the lattice TDCDFT we prove that any continuous in time current
density is locally V-representable (both interacting and
noninteracting), provided in the initial state the local kinetic energy is
nonzero everywhere. In most cases of physical interest the V-representability should also hold globally in time. These results put the
application of TDCDFT to any lattice model on a firm ground, and open a way for
studying exact properties of exchange correlation potentials.Comment: revtex4, 9 page