Is the analogWrite Implementation of PICO hardware or ISR based?

Projects Programming
2

Yes it is.
The PWM is also capable of being produced by the PIO pins as a state machine.

Changing the PWM frequency is possible.

See
https://www.codrey.com/raspberry-pi/raspberry-pi-pico-pwm-primer/