Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории

В работе найдена асимптотика кривой, являющейся пересечением единичной субримановой сферы на группе Энгеля с подпространством $\{x=z=0\}$ вблизи анормальной траектории. Из найденной асимптотики видно, что эта кривая не является аналитической в точке $(1,0,0,0)$.