ah, bhe, se hai liberoi un PWM allora ti consiglio di guardare lalibreria IRemote (quella dei telecomandi), in particolare RemoteSend invia un PWM a 35KHz, poi guarda, con questapaginetta http://arduino.cc/en/Tutorial/SecretsOfArduinoPWM dovresti riuscire a fare il segnale in un attimo, risparminado quelel 2 o 3 variabili globali. Che poi immagino sia esattamente qullo che fa la libreria ufficiale "Tone"