A Dirac field interacting with point nuclear dynamics

The system describing a single Dirac electron field coupled with classically moving point nuclei is presented and studied. The model is a semi-relativistic extension of corresponding time-dependent one-body Hartree-Fock equation coupled with classical nuclear dynamics, already known and studied both in quantum chemistry and in rigorous mathematical literature. We prove local existence of solutions for data in H^σ with σ∈[1,32[. In the course of the analysis a second new result of independent interest is discussed and proved, namely the construction of the propagator for the Dirac operator with several moving Coulomb singularities.