As it turns out, the ever-useful 555 timer chip does the job admirably. It’s a simple enough circuit, the threshold pin is pulled high so the output goes high, and the PWM drive from an Arduino ...