A relaxation result for a second order energy of mappings into the sphereDomenico MucciESAIM: COCV, 32 (2026) 48DOI: https://doi.org/10.1051/cocv/2026031