Как приблизить число условий большой матрицы?

9

Как мне аппроксимировать число условий большой матрицы , если является комбинацией преобразований Фурье (неоднородных или равномерных), конечных разностей и диагональных матриц ?GGFRS

Матрицы очень большие и не хранятся в памяти и доступны только как функции.

В частности, у меня есть следующая матрица:

Gμ=SHFHFS+μRHR

Я хочу исследовать связь между и условным числом .μk(Gμ)

Я полагаю, нужен какой-то итерационный подход? Оптимально было бы наличие некоторого кода MATLAB.

Штифель
источник
1
Как насчет попытки определить число условий и использовать неравенство треугольника и субмультипликативность? Я думаю, вы должны быть в состоянии что-то сказать о нормах / условиях каждой из ваших матриц. Таким образом, вы получите оценку номера условия . Gμ
Анке

Ответы:

11

MATLAB имеет несколько «точную» функции для этого, condи rcond, причем последний возвращает обратное число обусловленности. Приближенная функция Matlab condestболее подробно описана ниже.

Часто оценки числа условий генерируются как побочные продукты решения линейной системы для матрицы, так что вы могли бы иметь возможность сопоставить оценки числа условий с другой работой, которую вам необходимо выполнить в любом случае. Смотрите здесь для краткого описания того, как вычисляются оценки. Также в документации Sandia Labs AztecOO отмечается (см. Раздел 3.1), что дополнительные оценки числа условий можно получить из итерационных решателей (используя сгенерированную трехдиагональную матрицу Ланцоша с градиентами сопряжения или сгенерированную матрицу Гессенбурга с перезагруженным GMRES).

Поскольку ваши матрицы «очень большие» и «доступны только как функции», логическим подходом будет метод, который использует метод сопряженного градиента или вариант.

В недавней статье arXiv.org нестационарные экстремальные аппроксимации собственных значений в итерационных решениях линейных систем и оценок относительной ошибки предлагается такой подход и имеется несколько ссылок на более раннюю литературу.

Теперь, когда я смотрю, у этого форума есть несколько тесно связанных предыдущих Вопросов (не все с Ответами, но проверьте Комментарии):

Оценить экстремальные собственные значения с помощью компьютерной графики

Оценка номеров условий для очень больших матриц

Самый быстрый алгоритм для вычисления числа условий большой матрицы в Matlab / Octave


Поскольку доступность кода MATLAB была частью Вопроса, вот некоторая информация о condestвстроенной функции, которая оценивает число 1-нормального условия . Идея Хагера (1984) с записью и расширениями 2010 года здесь явно вычислить (найти максимальную 1-норму столбца) и оценить градиентным методом. См. Также СОСТОЯНИЕ Джона Буркардта , библиотека MATLAB (доступны другие языки) «для вычисления или оценки числа условий матрицы».A1A11A1A11

Поскольку ваша матрица явно эрмитова и положительно определена, возможно, 2-нормальное число условий представляет больший интерес. Тогда проблема сводится к оценке отношения самых больших и самых маленьких (абсолютных) собственных значений. Задача в некоторой степени параллельна случаю с 1 нормой, поскольку в целом можно легко получить хорошую оценку для наибольшего собственного значения , но оценка наименьшего собственного значения оказывается более сложной.

Несмотря на то, что мы нацелены на не SPD (и даже не квадратные) случаи, эта недавняя статья arXiv.org, Надежная итеративная оценка числа условий , дает хороший обзор наименьшей проблемы оценки собственных значений и многообещающей линии атаки подпространством Крылова. метод (LSQR), который составляет сопряженные градиенты в случае SPD.

hardmath
источник
Спасибо за ваш ответ. Как получить номер условия как побочный продукт решения сопряженных градиентов?
Stiefel
@Stiefel: Есть статья 1992 года о приближенном вычислении экстремальных собственных значений и числа условий неособых матриц Лей Гуанъяо. Позвольте мне посмотреть, смогу ли я найти лучшую ссылку (не за платой).
hardthth
@Stiefel: Добавлено несколько ссылок. Вас также может заинтересовать проверка в Google Книгах (или в библиотеке) методов итеративного решения Ове Аксельссона (1996), особенно Глава. 13 Степень сходимости метода сопряженных градиентов , хотя основной упор делается на получение более точных оценок числа итераций, необходимых для сходимости, чем обеспечивает только число условий.
hardthth
1
@Stiefel С таким именем, как у вас, вы должны рассказать нам о методе CG :) См. En.wikipedia.org/wiki/Eduard_Stiefel
stali