Обчислення характеристичного многочлена реальної розрідженої матриці


9

Дано загальну розріджену матрицю з m << n (корекція: ) ненульові елементи (як правило, ). є загальним у тому сенсі, що він не має специфічних властивостей (наприклад, позитивна визначеність) і не передбачається жодна структура (наприклад, смуга).ARn×nmn2mO(n)A

Які є хороші числові методи обчислення або характерного многочлена, або мінімального многочлена ?А


3
Схоже, ви хочете обчислити всі власні значення. Чому ви хочете багаточлен і як ви хочете його виразити? Мономіальна основа вкрай погано обумовлена, тому коефіцієнти, ймовірно, не можуть бути стабільно обчислені в арифметиці з кінцевою точністю.
Джед Браун

@JedBrown більше споглядання. У своїй відповіді на це запитання я дав алгебраїчний метод інвертування матриці, добре відомий в комп'ютерній алгебрі (наприклад, матриці над комутаційними кільцями та полями). Хочу знати, чи міг би я використовувати його для числових матриць. Зауважте, що для цього питання мене цікавлять чисельні методи пошуку характеристичного / мінімального многочлена, а не зворотні.

Відповіді:


1

Якщо О(н3)складність не є пробкою, тоді ви можете поглянути на метод Данилевського. Він досить відомий у російській літературі про числову лінійну алгебру, але англійською мовою не так багато інформації. Ви можете почати за цим посиланням .

Ідея досить відверта: матриця поступово зводиться до нормальної форми Фробеніуса шляхом перетворень подібності «Гауссовій елімінації». Якщо ви не знайдете інформацію, я можу зробити алгоритм більш досконалим.


1

Для обчислення власних значень вашої родової матриці ви можете використовувати числовий метод, як QR-факторизація чи метод живлення та його реалії (зворотна потужність тощо). Після цього ви можете обчислити свій характерний многочлен шляхом факторизації як: (λ-λ1) (λ-λ2) ... (λ-λn) = 0, де λi - обчислені власні значення. Ось коротка презентація про владу та QR-методи:

QR-Power


0

До речі: Ви хотіли сказати, що маєте мО(н2)записи? Якщо справді мО(н) тоді більшість рядків і стовпців будуть повністю порожніми, і цілком ймовірно, що характерний многочлен насправді не є ступенем н але ступеня О(м).


Оп. Ні, я хотів сказатимн2, тобто мО(н). Вибач за те.
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.