Хочу попытаться получить формулу для производной вектора во вращающейся системе координат:
Ограничимся случаем, когда вращение происходит вокруг оси
. Для того, чтобы заставить систему координат вращаться, используем матрицу поворота в виде
то есть система координат вращается со скоростью
и каждый вектор в неподвижной системе подлежит умножению на оператор поворота слева для получения вектора в подвижной системе. Получаем тогда в подвижной системе
где производная от матрицы понимается в покомпонентном смысле. Выразим отсюда производную в неподвижной системе
Легко видеть, что
и в том числе
Проблема со вторым слагаемым
. Производная во вращающейся системе, как я понял, именно
, что отличается множителем
от того, что получилось. В чём у меня ошибка?