I think the receiver would need some knowledge of the fact that it’s a satellite. Doppler shift is a physical phenomenon that the baseband would probably have to deal with.