Доброго времени суток, уважаемые форумчане.
Дано нелинейное ДУ:

Вообще требуется узнать, существует ли решение краевой задачи

Я начал с того, что нашел неподвижные точки:

седло и

центр. Далее построил фазовый портрет эквивалентной системы:

Вот как он выглядит в Mathematica:

Нашел первый интеграл системы:

Вот теперь и трудность. Для решения краевой задачи мне нужно явное выражение для

. Как можно его вытащить из первого интеграла?
Буду признателен любым идеям.