2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Производная от ортогональной матрицы
Сообщение24.10.2013, 12:24 
Аватара пользователя
Пусть у нас есть собственная ортогональная матрица 3 на 3 - $A(t)$, зависящая от параметра $t$ (дифференцируемая и все такое).

Производная $dA/dt$ - это вырожденная матрица. Можно что-нибудь хорошее еще сказать про производную?

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение24.10.2013, 15:06 
Продифференцируйте $AA^{T}=E$ по $t$.

А вообще это известный факт. Это одна из первых теорем в кинематике твердого тела.

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение24.10.2013, 15:58 
Аватара пользователя
А что-нибудь попроще?
Например, ядро производной содержит одномерное собственное пространство оператора A?

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение24.10.2013, 23:07 
Null в сообщении #779536 писал(а):
Это одна из первых теорем в кинематике твердого тела.

да, уж. в математическом разделе можно вспомнить и про алгебру Ли группы $SO(3)$ :D

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение25.10.2013, 01:14 
Аватара пользователя
DLL в сообщении #779581 писал(а):
Например, ядро производной содержит одномерное собственное пространство оператора A?

это слишком сложно... правда, продифференцируйте

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение25.10.2013, 11:18 
Аватара пользователя
Но если честно именно такой факт и нужен.
По крайней мере, знать правда это или нет.
Потому что в трехмерном вещественном пространстве собственное ортогональное преобразование есть вращение относительно некоторой оси.
Отсюда ясно, что существует (в вещественном случае) только один собственный вектор, он совпадает по направлению с осью.

Очень хочется, чтобы ядро производной содержала этот вектор :)
P.S: а что там такого хорошего с производной, продиффенцировав это выражения (Null) - я могу только вывести, что определитель производной нуль, но это мне итак известно :shock:

 
 
 
 Re: Производная от ортогональной матрицы
Сообщение25.10.2013, 17:39 
Аватара пользователя
Цитата:
Очень хочется, чтобы ядро производной содержала этот вектор :)

Судя по всему, это не так :(

Пусть $k(t)$ - собственный вектор единичной длины оператора $A(t)$ (который является ортогональным, и в силу вещественности имеет только одно одномерное собственное подпространство).

Тогда $A(t)k(t)=k(t)$.
Возьмем производную
$$\frac{dA}{dt}k(t)+A(t)\frac{dk}{dt}=\frac{dk}{dt}.$$
Если предположить, что $k(t) \in Ker(dA(t)/dt)$, то:
$$A(t)\frac{dk}{dt}=\frac{dk}{dt},$$
а так как $dk/dt$ ортогонален $k$, отсюда сразу следует что $dk/dt = 0$ ввиду единственности одномерного собственного подпространства.

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group