Infinite Dimensional Optimization and Control Theory