Hydrodynamic Lagrangian of relativistic superfluids with crystalline structure

We propose a relativistic Lagrangian formulation of macroscopic dynamics of superfluid systems. The constructed Lagrangian provides the description of ordinary superfluids and superfluids with a crystalline ordering, where both phase and translational symmetries are simultaneously broken (e.g., supersolids or crystalline superfluids in neutron stars). The covariant conservation laws and equations of motion for the field variables associated with the broken symmetries are obtained. The connection to Khalatnikov-Lebedev relativistic hydrodynamic theory is discussed.