Discrete-time models for interactive wild and transgenic sterile mosquitoes

To gain insights into the effectiveness of the newly proposed and developed genetic sterile insect technique in control of mosquitoes, that releases mosquitoes carrying a dominant lethal (RIDL), we formulate discrete-time models based on difference equations. We incorporate, respectively, the four release strategies, early acting bisex (EBS), late acting bisex (LBS), early acting female-killing (EFK), and late acting female-killing (EFK) lethality in the models. We investigate the existence and stability of positive fixed points and derive a release threshold of sterile mosquitoes for each model. We compare the different release strategies by numerical examples.