Credo che fare un digitalWrite HIGH/LOW generi una frequenza ben superiore ai 490 kHz del segnale PWM considerando appunto che la digitalWrite occupa poche decine di cicli di clock essendo un'operazione relativamente semplice (si tratta di manipolare qualche registro per attivare lo stato di un GPIO).