Function spaces on Lie groups and applications