How do I send an IR signal from an Arduino
Please, take a look at Ken Shirrif's  IRRemote library, as it is what you need. I used it in some project and worked better than other solutions that I coded.