Librational response of Europa, Ganymede, and Callisto with an ocean for a non-Keplerian orbit

Context. The Galilean satellites Europa, Ganymede, and Callisto are thought to harbor a subsurface ocean beneath an ice shell but its properties, such as the depth beneath the surface, have not been well constrained. Future geodetic observations with, for example, space missions like the Europa Jupiter System Mission (EJSM) of NASA and ESA may refine our knowledge about the shell and ocean.