 
                                В работах [9.9–9.14] доказано, что синтезирующая функция знакоотрицательна. Согласно (9.12) она определяет форму линий переключения, проходящих через терминальную точку:
 (9.13)
 (9.13)
Поскольку любое движение управляемой динамической системы удовлетворяет принципу Гамильтона – Остроградского, то для любого перемещения уравнение (9.14) должно быть первым интегралом движения, который определяет соответствующие канонические уравнения Гамильтона. Тогда в соответствии с работой [9.9]
 (9.14)
 (9.14)
где ps – обобщенные импульсы, а  – скобки Пуассона.
 – скобки Пуассона.
Далее учтём, что на поверхности переключения работа не производится, т.е. A = 0. В результате для фиксированного момента времени Гамильтониан примет следующую форму:
 (9.15)
 (9.15)
Проведем необходимые преобразования:
 
  
  
  (9.16)
 (9.16)
В результате выражение (9.14) принимает вид:
 (9.17)
 (9.17)
откуда с учетом (9.14) и знака синтезирующей функции [9.9–9.14] справедливо:
 (9.18)
 (9.18)
а значит
 (9.19)
 (9.19)
Таким образом, на линии переключения величина скорости ограничена кинематическими неголономными связями. При искажении таких связей согласно принципу освобождаемости возникает необходимость введения сил реакции связей [9.9]
 (9.20)
 (9.20)
где εs – множители неголономных связей. Их элементарная работа на виртуальных перемещениях имеет вид:
 (9.21)
 (9.21)
Виртуальные перемещения на линии переключения, как показано в работе [9.9], совпадают с истинными, поэтому δ′E = dE. Учет этих сил осуществляется путем включения их в интеграл действия. Вследствие этого расширенный функционал (9.9) принимает вид:
 (9.22)
 (9.22)
откуда условия стационарности Гамильтониана изменяются:
 (9.23)
 (9.23)
Соответственно
 
 (9.24)
 (9.24)
Тогда
 (9.25)
 (9.25)
Окончательно для синтезирующей функции имеем:
 (9.26)
 (9.26)
Закон управления принимает вид
 εs ≥ 0. (9.27)
 εs ≥ 0. (9.27)