An experimental and theoretical study of the mean diurnal variation of O+, NO+, O2+, and N2+ ions in the mid‐latitude F1 layer of the ionosphere