A theoretical study on the O+ ions of the Martian magnetosphere