Controlling PWM fans with arduino and mains power

Projects General Guidance
5

ByteTech:
How would I go about achieving the 25kHz signal without using analogWrite()?

You can set the PWM frequency that your pins put out. That 1 kHz is the default.