palavras-chave ADI iteration Continuous Sylvester equations Convergence Inexact ADI iteration Positive definite matrices