Infinite dimensional optimization and control theory