Infinite dimensional optimization