Пожалуйста, помогите решить такую задачу по оптимальному управлению. Координаты вектора связаны друг с другом ограничением, поэтому я завел новую тему.

- заданный промежуток времени.

-

-мерный вектор.

- транспонирование


- диагональная положительно определенная матрица.

- ортогональная матрица,

. Это полная матрица (не диагональная, не какая-нибудь простая).
Т.е. это задача ОУ с фиксированным временем с фиксированными концами.
При отсутствии ограничений решение простое: задача распадается на

независимых задач, по задаче для каждой координаты. Для каждой координаты записывается уравнение Эйлера, в данном случае

и с учетом граничных условий получаем

Теперь надо разобраться с этой задачей при наличии ограничения

, т.е.

Вот что я делал.
Функция Понтрягина

Сопряженная система

Граничные условия для нее получаются из граничных условий для

.
Вопрос: Начало правильное или надо было сразу перейти к задаче со свободным временем, введя

-ю координату

?
Дальше я сделал еще пару шагов. Правильные ли они?
Сопряженную систему интегрировать сложно. Зато заметил, что максимум по

функции
формально не зависит от

. Записал

Если формально взять производную

и приравнять к нулю, получим

Подставим это в сопряженную систему, получим

или

Это уравнение отличается коэффициентом "2" от уравнения Эйлера для задачи без ограничений. Наверно, что-то сделано неверно?