А.А. Аграчев, Р.В. Гамкрелидзе, Симплектическая геометрия и необходимые условия оптимальности