Estoy pensando en la cuestión del título..
Supongamos que sabemos $Av = \lambda v$ y todos los valores propios de $A$ son diferentes (por lo que son diagonalizables). ¿Cómo son los vectores propios y los valores propios de $A^TP-PA$ ?
Sé que $A^TP - PA$ es un mapa lineal.
Obviamente, podemos dejar que $A = V\Lambda V^{-1}$ , donde $\Lambda$ es diagonal. Así que tenemos $$(V\Lambda V^{-1})^TP-P(V\Lambda V^{-1}) = V^{-T}\Lambda V^TP - PV\Lambda V^{-1}$$
entonces, ¿cómo puedo ir más allá? Supongo que para conseguir un formulario como $M\tilde{\Lambda}M^{-1}$ y puedo decir algo. ¿Cómo conseguir ese punto?