Theoretical examination of the pulse vaccination policy in the SIR epidemic model