12-bit PWM for LED lighting

Hi,
I return to this issue of Light control using 12-bit pwm and almost 4Khz. This is working perfectly on both outputs 9 and 10 via timer 1.
Now I am expanding the programming by enabling a serial port by software, in my case with the <SoftwareSerial.h> library to communicate with other devices.
I am using a 32u4 processor, like the one in the Arduino Leonardo, and the serial1 port is already occupied by a Bluetooth rs232 module.
The problem I find is that when I add the <SoftwareSerial.h> library, the program stops working. It seems to me that there is some conflict. Could it be that I am modifying Timmer 1 and the <SoftwareSerial.h> library is modifying it too? I can not think of anything else.
Anyone have any ideas how to fix this?

Thank you!