Design of beamforming in the satellite downlink with static and mobile users | IEEE Conference Publication | IEEE Xplore