Both relativistic and non-relativistic two-fluid models of neutron star cores
are constructed, using the constrained variational formalism developed by
Brandon Carter and co-workers. We consider a mixture of superfluid neutrons and
superconducting protons at zero temperature, taking into account mutual
entrainment effects. Leptons, which affect the interior composition of the
neutron star and contribute to the pressure, are also included. We provide the
analytic expression of the Lagrangian density of the system, the so-called
master function, from which the dynamical equations can be obtained. All the
microscopic parameters of the models are calculated consistently using the
non-relativistic nuclear energy density functional theory. For comparison, we
have also considered relativistic mean field models. The correspondence between
relativistic and non-relativistic hydrodynamical models is discussed in the
framework of the recently developed 4D covariant formalism of Newtonian
multi-fluid hydrodynamics. We have shown that entrainment effects can be
interpreted in terms of dynamical effective masses that are larger in the
relativistic case than in the Newtonian case. With the nuclear models
considered in this work, we have found that the neutron relativistic effective
mass is even greater than the bare neutron mass in the liquid core of neutron
stars.Comment: 24 pages, 15 figures, accepted for publication in MNRA