Model reduction by balanced truncation for systems with nuclear Hankel operators

We prove the H-infinity error bounds for Lyapunov balanced truncation and for optimal Hankel norm approximation under the assumption that the Hankel operator is nuclear. This is an improvement of the result from Glover, Curtain, and Partington [SIAM J. Control Optim., 26(1998), pp. 863-898], where additional assumptions were made. The proof is based on convergence of the Schmidt pairs of the Hankel operator in a Sobolev space. We also give an application of this convergence theory to a numerical algorithm for model reduction by balanced truncation