Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions