Mean field dynamics of fermions and the time-dependent Hartree-Fock equation

The time-dependent Hartree-Fock equations are derived from the N-particle Schr\"odinger equation with mean-field scaling in the infinite particle limit, for initial data that are like Slater determinants. Only the case of bounded interaction potentials is treated in this work. We prove that, in the infnite particle limit, the first partial trace of the N-particle density operator approaches the solution of the time-dependent Hartree-Fock equations in the trace norm.