The inner crust of a mature neutron star is composed of an elastic lattice of
neutron-rich nuclei penetrated by free neutrons. These neutrons can flow
relative to the crust once the star cools below the superfluid transition
temperature. In order to model the dynamics of this system, which is relevant
for a range of problems from pulsar glitches to magnetar seismology and
continuous gravitational-wave emission from rotating deformed neutron stars, we
need to understand general relativistic Lagrangian perturbation theory for
elastic matter coupled to a superfluid component. This paper develops the
relevant formalism to the level required for astrophysical applications.Comment: 31 pages, double spacing, minor typos fixe