2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 
Сообщение18.01.2009, 16:41 
Аватара пользователя


28/06/08
1706
Не совсем понятно что вы имеете ввиду когда говорите про кратные собственные значения. (едичичнaя понятно коммутирует со всем, но здесь не тот случай)

Добавлено спустя 3 минуты 30 секунд:

ewert писал(а):
Она не лучше, а хуже (сложнее) -- просто она более общая.

Жорданова форма группирует собств. значения (если я не ошибаюсь), а диогональная нет

Добавлено спустя 6 минут 13 секунд:

ewert писал(а):
взяв в качестве полинома соответствующий интерполяционный, построенный по собственным числам исходной матрицы ).

точно!

1) получается если собств. значения данной матрицы различны, берем любую диагональную матрицу?
2) если есть кратные собств. значения, что изменится?
3) не диагональные матрицы не подходят?

 Профиль  
                  
 
 
Сообщение18.01.2009, 16:47 
Заслуженный участник


11/05/08
32166
Мы пока предполагаем, что матрица диагонализуема, т.е. может быть приведена преобразованием подобия не к вообще жордановой, а (как частный случай) именно к диагональной форме. И что преобразование может быть выбрано так, чтобы одинаковые диагональные элементы оказались сгруппированы (это непринципиально, но немного облегчает жизнь).

И Вы понимаете, что после этого вопрос сводится к перестановочности с этой самой диагональной матрицей $\Lambda$.

Ну так выпишите явным образом две матрицы: $A'\cdot\Lambda$ и $\Lambda\cdot A'$, приравняйте их друг другу и гляньте, какие фактические ограничения при этом накладываются на элементы матрицы $A'$.

Добавлено спустя 2 минуты 36 секунд:

AlexNew в сообщении #178764 писал(а):
Жорданова форма группирует собств. значения (если я не ошибаюсь), а диогональная нет

Форма сама по себе ничего не группирует. Как жордановы клетки, так и просто собственные числа могут быть переставлены как угодно (добавлением к преобразованию соответствующих матриц перестановок).

 Профиль  
                  
 
 
Сообщение18.01.2009, 17:06 
Аватара пользователя


28/06/08
1706
Draeden
Понял! отличная идея!

ewert писал(а):
Форма сама по себе ничего не группирует. Как жордановы клетки, так и просто собственные числа могут быть переставлены как угодно (добавлением к преобразованию соответствующих матриц перестановок).

да наверное напутал, я не математик

Добавлено спустя 15 минут 3 секунды:

ewert писал(а):
Ну так выпишите явным образом две матрицы: $A'\cdot\Lambda$ и $\Lambda\cdot A'$, приравняйте их друг другу и гляньте, какие фактические ограничения при этом накладываются на элементы матрицы $A'$.

прямой путь : )
Получается что для рзличных собств. знач. $A'$ - любая диагональная,
если есть кратные значения то могут появлятся не нулевые элементы вне диагонали... ...

 Профиль  
                  
 
 
Сообщение18.01.2009, 17:10 
Заслуженный участник


11/05/08
32166
..., и притом любые -- но только в пределах соответствующего диагонального блока.

 Профиль  
                  
 
 
Сообщение18.01.2009, 17:54 
Аватара пользователя


28/06/08
1706
да...

Всем Спасибо!!!

Добавлено спустя 17 минут 27 секунд:

может погорячему заодно решить и более общую:

$AB = BA + C$

$B,C$ - дано, найти $A$

$AB = BA +C$
$V^-1AVV^-1BV = V^-1BVV^-1AV +V^-1CV$
$A' \Lambda = \Lambda A' + C'$


Получается $C'$ должна = 0 ? или еще могут быть варианты

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:02 
Заслуженный участник


11/05/08
32166
Конечно не обязана.

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:03 
Аватара пользователя


28/06/08
1706
на диагонали C' нули точно

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:03 
Аватара пользователя


11/06/08
125
А в чём разница ?

$(B^T \times E - E \times B) \cdot vec(A) = vec(C)$

Методом Гаусса...

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:04 
Аватара пользователя


28/06/08
1706
все пока в уме решалось ... артиллерия на потом

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:10 
Заслуженный участник


11/05/08
32166
AlexNew в сообщении #178810 писал(а):
на диагонали C' нули точно

Да. Но, вообще говоря, не только.

Матрица $C'$ обязана быть в соответствующем смысле ортогональной базису решений однородного уравнения (оно ведь симметрично). А этот базис Вам, в общем, известен...

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:23 
Аватара пользователя


28/06/08
1706
да, тут похоже А' и C' будут далеко непростой вид иметь.
без артиллерия похоже не обойтись.

ewert писал(а):
обязана быть в соответствующем смысле ортогональной базису решений однородного уравнения

почему?

Добавлено спустя 8 минут 14 секунд:

не для всех C' будет существовать А', но для любой А' будет C'

 Профиль  
                  
 
 
Сообщение18.01.2009, 18:33 
Заслуженный участник


11/05/08
32166
Почему? Стандартная теорема. Ортогональное дополнение до множества значений есть множество нулей сопряжённого оператора.

 Профиль  
                  
 
 
Сообщение19.01.2009, 00:48 
Аватара пользователя


28/06/08
1706
Цитата:
Стандартная теорема. Ортогональное дополнение до множества значений есть множество нулей сопряжённого оператора.


может быть Вы можите посоветывать толковый учебни? а то я об этих стандартных вещах никогда не слышал...

 Профиль  
                  
 
 
Сообщение19.01.2009, 01:19 
Заслуженный участник


11/05/08
32166
Нет, не могу. Я уже довольно давно никаких учебников по алгебре не читал. Лучше покажу, как доказывается -- факт простой и при этом весьма принципиальный.

Принадлежность столбца $\vec x$ множеству нулей оператора $H$, т.е. выполнение равенства $H\vec x=\vec0$, равносильно тому, что скалярное произведение $(H\vec x,\;\vec y)=0$ для любого столбца $\vec y$ вообще. В элементной записи это выглядит так:
$$\sum_i\left(\sum_kh_{ik}x_k\right)\cdot y_i\equiv0,$$
или, после изменения порядка суммирования,
$$\sum_kx_k\cdot\left(\sum_ih_{ik} y_i\right)\equiv0.$$
Последняя запись в векторной интерпретации означает ортогональность столбца $\vec x$ всем столбцам вида $H^T\vec y$ (матрица именно транспонированная, т.к. суммирование ведётся по "неправильному" индексу) -- т.е., собственно, всем значениям сопряжённого оператора.

Другими словами: принадлежность $\vec x$ множеству нулей исходного оператора равносильна его ортогональности к множеству значений сопряжённого. Ну и, соответственно, наоборот.

(В комплексном случае надо бы для приличия поставить кое-где значки комплексного сопряжения, но можно оставить и так -- утверждение будет чуть другим, но тоже верным.)

 Профиль  
                  
 
 
Сообщение19.01.2009, 05:28 
Аватара пользователя


28/06/08
1706
Теорема которую вы доказали понятна, но не ясно почему "Матрица C’ обязана быть в соответствующем смысле ортогональной базису решений однородного уравнения."

базис решений - это собственные вектора матрицы $AB-BA$ ?
но вовтором случае у нас уже другая матрица $AB-BA - C $

или вы имели в веду что $ (AB-BA) \vec x = C \vec x = \vec 0 $ ?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 45 ]  На страницу Пред.  1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group