Robust Multiuser Beamforming for IRS-Enhanced Near-Space Downlink Communications Coexisting With Satellite System