5.2 最优控制的存在性