classical limit of quantum theory, non-linear Hartree equation