De ello se deduce inmediatamente quexTPx=xTP1x (verificar, utilizando el hecho de quexTPx es un escalar). A^ {T} P+P A &=\ int_ {0} ^ {\ infty} A^ {T} e^ {t A^ {T}} Q e^ {t A...De ello se deduce inmediatamente quexTPx=xTP1x (verificar, utilizando el hecho de quexTPx es un escalar). A^ {T} P+P A &=\ int_ {0} ^ {\ infty} A^ {T} e^ {t A^ {T}} Q e^ {t A} d t+\ int_ {0} ^ {\ infty} e^ {t A^ {T}} Q e^ {t A} A d t\