变分法及其在最优控制中的应用