Численные методы линейной алгебры

Численные методы линейной алгебры (прикладная линейная алгебра) — это методы приближенного решения задач из области вычислительной математики и линейной алгебры. Целью дисциплины является разработка и анализ алгоритмов для численного решения матричных задач. Наиболее важными задачами являются решение систем линейных алгебраических уравнений и вычисление собственных значений.

Численная линейная алгебра исследует то, как можно использовать матричные операции для создания компьютерных алгоритмов, которые эффективно дают приблизительные ответы на задачи непрерывной математики. Численная линейная алгебра является видом линейной алгебры и представляет собой область численного анализа. Компьютеры используют арифметику с плавающей запятой и не могут точно представлять иррациональные данные, поэтому, когда компьютерный алгоритм применяется к матрице данных, он иногда может увеличить разность^[en] между числом, хранящимся в компьютере, и истинным числом, приближением которого оно является. Численная линейная алгебра использует свойства векторов и матриц для разработки эффективных алгоритмов, которые минимизируют ошибку, вносимую компьютером.

Численная линейная алгебра направлена на решение задач непрерывной математики с использованием компьютеров конечной точности, поэтому ее приложения в естественных и общественных науках столь же обширны, как и приложения непрерывной математики. Она часто является фундаментальной частью инженерных и вычислительных проблем, таких как обработка изображений и сигналов, электросвязь, финансовые вычисления^[en], материаловедение, структурная биология, интеллектуальный анализ данных, биоинформатика и гидродинамика. Особенно широко используются матричные методы в методах конечных разностей, методах конечных элементов и моделировании дифференциальных уравнений. Отмечая широкое применение численной линейной алгебры, Ллойд Н. Трефетен^[en] и Дэвид Бау, III утверждают, что она «столь же фундаментальна для математических наук, как исчисление и дифференциальные уравнения», хотя это сравнительно небольшая область. Поскольку многие свойства матриц и векторов также применимы к функциям и операторам, числовую линейную алгебру также можно рассматривать как тип функционального анализа, в котором особое внимание уделяется практическим алгоритмам.

Основные задачи в численной линейной алгебре включают получение матричных разложений, таких как сингулярное разложение, QR-разложение, LU-разложение или собственное разложение, которые затем можно использовать для решения общих задач линейной алгебры, таких как решение систем линейных уравнений, определение местоположения собственных значений или оптимизация методом наименьших квадратов. Основная задача численной линейной алгебры — разработка алгоритмов, которые не вносят ошибок при применении к реальным данным на компьютере с конечной точностью, часто достигается с помощью итерационных методов^[en].

ИсторияПравить

Численная линейная алгебра была разработана Джоном фон Нейманом, Аланом Тьюрингом, Джеймсом Х. Уилкинсоном, Алстоном Скоттом Хаусхолдером^[en], Джорджем Форсайтом^[en] и Хайнцем Рутисхаузером^[en], для применения самых ранних компьютеров к задачам непрерывной математики, таким как баллистические задачи и задачи на решение системы дифференциальных уравнений в частных производных. Первая серьезная попытка свести к минимуму вычислительную ошибку при применении алгоритмов к реальным данным была сделана Джоном фон Нейманом и Германом Голдстайном в 1947 году. Эта область расширялась по мере того, как технологии всё чаще позволяли исследователям решать сложные задачи на чрезвычайно больших высокоточных матрицах, а некоторые численные алгоритмы приобретали известность по мере того, как такие технологии, как параллельные вычисления, позволили применить практический подход к научным проблемам.

Разложения матрицПравить

Блочная матрицаПравить

Основная статья: Блочная матрица

Для многих задач прикладной линейной алгебры полезно рассматривать матрицу как объединённый набор векторов-столбцов. Например, при решении линейной системы $x=A^{-<!--\; -\; -->1}b$$x = A^{-1}b$ , вместо нахождения $x$$x$  как умножения $A^{-<!--\; -\; -->1}$$A^{{-1}}$  и $b$$b$ , лучше представить $x$$x$  как вектор коэффициентов в линейном разложении $b$$b$  в базисе, образованном столбцами $A$$A$ . Представление о матрицах как об объединённом наборе столбцов практично для целей матричных алгоритмов, в связи с тем, что матричные алгоритмы часто содержат два вложенных цикла: один по столбцам матрицы $A$$A$ , а другой по строкам матрицы $A$$A$ . Например, для матриц $A^{m\times <!--\; \times \; -->n}$$A^{m\times n}$  и векторов $x^{n\times <!--\; \times \; -->1}$$x^{n\times 1}$  и $y^{m\times <!--\; \times \; -->1}$$y^{m\times 1}$ , можно использовать разделение столбцов для вычисления $Ax+y$$Ax+y$  как

for j = 1:n
  for i = 1:m
    y(i) = A(i,j)x(j) + y(i)
  end
end

Сингулярное разложениеПравить

Основная статья: Сингулярное разложение

Сингулярное разложение матрицы $A^{m\times <!--\; \times \; -->n}=U\mathrm{\Sigma <!--\; \Sigma \; -->}{V}^{\ast <!--\; \ast \; -->}$$A^{m\times n}=U\Sigma V^{\ast }$ , где $U$$U$  и $V$$V$  унитарные матрицы, а $\mathrm{\Sigma <!--\; \Sigma \; -->}$$\Sigma$  диагональная. Элементы диагональной матрицы $\mathrm{\Sigma <!--\; \Sigma \; -->}$$\Sigma$  называются сингулярными числами матрицы $A$$A$ . Так как сингулярные числа являются квадратными корнями из собственных значений матрицы $A{A}^{\ast <!--\; \ast \; -->}$$AA^{\ast }$ , существует тесная связь между разложением по сингулярным значениям и разложениями по собственным значениям. Это означает, что большинство методов вычисления разложения по сингулярным числам аналогичны методам собственных значений; возможно, самый распространенный метод включает преобразование Хаусхолдера.

QR-разложениеПравить

Основная статья: QR-разложение

QR-разложение матрицы $A^{m\times <!--\; \times \; -->n}$$A^{m\times n}$  представляется произведением матрицы $Q^{m\times <!--\; \times \; -->m}$$Q^{m\times m}$  на $R^{m\times <!--\; \times \; -->n}$$R^{m\times n}$  таким, что $A=QR$$A = QR$ , где $Q$$Q$  — ортогональная матрица и $R$$R$  — верхняя треугольная матрица. Два основных алгоритма для вычисления QR-разложения: процесс Грама-Шмидта и преобразование Хаусхолдера. QR-разложение часто используется для задач, связанных с методом наименьших квадратов, и задач на собственные значения (с помощью итеративного QR-алгоритма).

LU-разложениеПравить

Основная статья: LU-разложение

LU-разложение матрицы $A$$A$  состоит из нижней треугольной матрицы $L$$L$  и верхней треугольной матрицы $U$$U$  такими, что $A=LU$$A=LU$ . Матрица $U$$U$  находится с помощью метода Гаусса, которая включает в себя умножения $A$$A$  слева на набор матриц $M_1,\dots <!--\; \dots \; -->,M_{n-<!--\; -\; -->1}$$M_{1},\ldots ,M_{n-1}$  для формирования $M_{n-<!--\; -\; -->1}\cdots <!--\; \cdots \; -->M_{1}A=U$$M_{n-1}\cdots M_{1}A=U$ , откуда $L=M_1^{-<!--\; -\; -->1}\cdots <!--\; \cdots \; -->M_{n-<!--\; -\; -->1}^{-<!--\; -\; -->1}$$L=M_{1}^{-1}\cdots M_{n-1}^{-1}$ .

Спектральное разложениеПравить

Основная статья: Спектральное разложение матрицы

Спектральное разложение матрицы $A^{m\times <!--\; \times \; -->m}=X\mathrm{\Lambda <!--\; \Lambda \; -->}{X}^{-<!--\; -\; -->1}$$A^{m\times m}=X\Lambda X^{-1}$ , где столбцы $X$$X$  — собственные векторы матрицы $A$$A$ , и $\mathrm{\Lambda <!--\; \Lambda \; -->}$$\Lambda$  представляет собой диагональную матрицу, диагональные элементы которой — соответствующие собственные значения матрицы $A$$A$ . Не существует прямого метода нахождения спектрального разложения произвольной матрицы: поскольку невозможно написать программу, которая находит точные корни произвольного многочлена за конечное время, любой алгоритм нахождения собственных значений обязательно должен быть итерационным.

АлгоритмыПравить

Метод ГауссаПравить

Основная статья: Метод Гаусса

С точки зрения числовой линейной алгебры, метод Гаусса — это процедура разложения матрицы $A$$A$  в LU-разложение, которую метод Гаусса выполняет путем умножения $A$$A$  слева на последовательность матриц $L_{m-<!--\; -\; -->1}\cdots <!--\; \cdots \; -->L_2{L}_{1}A=U$$L_{m-1}\cdots L_{2}L_{1}A=U$  до тех пор, пока $U$$U$  не станет верхней треугольной, а $L$$L$  не станет нижней треугольной, где $L\equiv <!--\; \equiv \; -->L_1^{-<!--\; -\; -->1}{L}_2^{-<!--\; -\; -->1}\cdots <!--\; \cdots \; -->L_{m-<!--\; -\; -->1}^{-<!--\; -\; -->1}$$L\equiv L_{1}^{-1}L_{2}^{-1}\cdots L_{m-1}^{-1}$ . Наивные программы для метода Гаусса, как известно, очень вычислительно неустойчивы и дают огромные ошибки при применении к матрицам со многими значащими цифрами. Самое простое решение — ввести опорный элемент^[en], что даёт модифицированный стабильный алгоритм метода Гаусса.

Решения линейных системПравить

Основная статья: Система линейных алгебраических уравнений

Численная линейная алгебра обычно рассматривает матрицы как объединённый набор векторов-столбцов. Традиционный подход состоит в том, чтобы решить линейную систему $x=A^{-<!--\; -\; -->1}b$$x = A^{-1}b$ , чтобы получить $x$$x$  как произведение $A^{-<!--\; -\; -->1}$$A^{{-1}}$  и $b$$b$ . Вместо этого численная линейная алгебра интерпретирует $x$$x$  как вектор коэффициентов линейного разложения $b$$b$  в базисе, образованном столбцами $A$$A$ .

Для решения систем линейных уравнений могут применяться матричные уравнения. В зависимости от характеристик матрицы $A$$A$  и векторов $x$$x$  и $b$$b$ , одни разложения могут быть проще, чем другие. можно использовать множество различных разложений, в зависимости от характеристик матрицы $A$$A$  и векторов $x$$x$  и $b$$b$ , что может значительно упростить получение одного разложения по сравнению с другими. Если $A=QR$$A=QR$  — QR-разложение матрицы $A$$A$ , то $Rx=Q^{\ast <!--\; \ast \; -->}b$$Rx=Q^{\ast }b$ . Если $A=X\mathrm{\Lambda <!--\; \Lambda \; -->}{X}^{-<!--\; -\; -->1}$$A=X\Lambda X^{-1}$  — спектральное разложение матрицы $A$$A$ , то мы стремимся найти $b$$b$  такой, что $b=Ax$$b=Ax$ , с $b^{\mathrm{\prime <!--\; \prime \; -->}}=X^{-<!--\; -\; -->1}b$$b^{\prime }=X^{-1}b$  и $x^{\mathrm{\prime <!--\; \prime \; -->}}=X^{-<!--\; -\; -->1}x$$x^{\prime }=X^{-1}x$ . Откуда получаем $b^{\mathrm{\prime <!--\; \prime \; -->}}=\mathrm{\Lambda <!--\; \Lambda \; -->}{x}^{\mathrm{\prime <!--\; \prime \; -->}}$$b^{\prime }=\Lambda x^{\prime }$ . Наконец, если $A=LU$$A=LU$  — LU-разложение матрицы $A$$A$ , то $Ax=b$$Ax=b$  можно решить с помощью треугольных матриц $Ly=b$$Ly=b$  и $Ux=y$$Ux=y$ .

Оптимизация методом наименьших квадратовПравить

Основная статья: Численные методы для метода наименьших квадратов^[en]

Подход, связанный с матричными разложениями, предлагает ряд способов решения линейной системы $r=b-<!--\; -\; -->Ax$$r=b-Ax$ , где мы стремимся минимизировать $r$$r$ , как в модели линейной регрессии. QR-алгоритм решает эту проблему, сначала определяя $y=Ax$$y=Ax$ , а затем вычисляя тонкое QR-разложенние $A$$A$  и переходит к уравнению $\stackrel{^<!--\; ^\; -->}{R}x={\stackrel{^<!--\; ^\; -->}{Q}}^{\ast <!--\; \ast \; -->}b$${\widehat {R}}x={\widehat {Q}}^{\ast }b$ . Эта верхнетреугольная система может быть решена относительно $b$$b$ . Аналогичный алгоритм для решения МНК можно получить при помощи SVD-разложения. Вычисляя тонкое SVD-разложение $A=\stackrel{^<!--\; ^\; -->}{U}\stackrel{^<!--\; ^\; -->}{\mathrm{\Sigma <!--\; \Sigma \; -->}}{V}^{\ast <!--\; \ast \; -->}$$A={\widehat {U}}{\widehat {\Sigma }}V^{\ast }$ , а затем вычисляя вектор ${\stackrel{^<!--\; ^\; -->}{U}}^{\ast <!--\; \ast \; -->}b$${\widehat {U}}^{\ast }b$ , мы сводим задачу наименьших квадратов к простой диагональной системе. Тот факт, что решения методом наименьших квадратов могут быть получены с помощью QR-разложения и SVD-разложения, означает, что в дополнение к классическому методу нормальных уравнений^[en] решения задач наименьших квадратов, эти задачи также могут быть решены методами, включающими алгоритм Грама-Шмидта и методы Хаусхолдера.

Обусловленность и вычислительная устойчивостьПравить

Рассмотрим функцию $f:X\to <!--\; \to \; -->Y$$f:X\to Y$ , где $X$$X$  — нормированное векторное пространство данных и $Y$$Y$  — нормированное векторное пространство решений. Для некоторой точки $x\in <!--\; \in \; -->X$$x\in X$  задача называется плохо обусловленной, если малое возмущение в $x$$x$  приводит к большому изменению значения $f(x)$$f(x)$ . Мы можем количественно определить это, определив число обусловленности, которое показывает, насколько хорошо обусловлена проблема. Определим его как

$\stackrel{^<!--\; ^\; -->}{\mathrm{\kappa <!--\; \kappa \; -->}}=\underset{\mathrm{\delta <!--\; \delta \; -->}\to <!--\; \to \; -->0}{lim}\underset{\Vert <!--\; \Vert \; -->\mathrm{\delta <!--\; \delta \; -->}x\Vert <!--\; \Vert \; -->\le <!--\; \le \; -->\mathrm{\delta <!--\; \delta \; -->}}{sup}\frac{\Vert <!--\; \Vert \; -->\mathrm{\delta <!--\; \delta \; -->}f\Vert <!--\; \Vert \; -->}{\Vert <!--\; \Vert \; -->\mathrm{\delta <!--\; \delta \; -->}x\Vert <!--\; \Vert \; -->}.$${\widehat {\kappa }}=\lim _{\delta \to 0}\sup _{\|\delta x\|\leq \delta }{\frac {\|\delta f\|}{\|\delta x\|}}.$ 

Неустойчивость — это склонность компьютерных алгоритмов, зависящих от арифметики с плавающей запятой, получать результаты, резко отличающееся от точного математического решения задачи. Когда матрица содержит реальные данные со многими значащими цифрами, многие алгоритмы для решения таких задач, как линейные системы уравнений или оптимизация методом наименьших квадратов, могут давать очень неточные результаты. Создание устойчивых алгоритмов для плохо обусловленных задач — центральная задача численной линейной алгебры. Одним из примеров: устойчивость метода отражения Хаусхолдера делает алгоритм надежным методом решения линейных систем, тогда как неустойчивость метода нормальных уравнений для решения задач наименьших квадратов является причиной для выбора методов матричного разложения, таких как использование SVD-разложения. Некоторые методы разложения матриц могут быть неустойчивыми, но имеют простые модификации, делающие их устойчивыми; например, нестабильный метод Грама-Шмидта, который может легко быть изменён для получения устойчивой модификации Грама-Шмидта. Другая классическая задача числовой линейной алгебры заключается в том, что метод Гаусса нестабилен, но становится устойчивым с введением опорного элемента.

Итерационные методыПравить

Основная статья: Итерационные методы^[en]

Есть две причины, по которым итерационные алгоритмы — важная часть численной линейной алгебры. Во-первых, многие численные задачи не имеют прямого решения; чтобы найти собственные значения и собственные векторы произвольной матрицы, мы можем использовать только итеративный подход. Во-вторых, безытерационные алгоритмы для произвольной $m\times <!--\; \times \; -->m$$m \times m$  матрицы требуют $O(m^3)$$O(m^{3})$  времени, что неожиданно долго, учитывая, что матрицы содержат только $m^2$$m^{2}$  чисел. Итерационные подходы могут использовать некоторые особенности матриц, чтобы сократить это время. Например, когда матрица разреженная, итеративный алгоритм может пропустить многие шаги, которые обязательно последуют при прямом подходе, даже если они избыточны.

Ядро многих итерационных методов в численной линейной алгебре — это проекция матрицы на более низкое подпространство Крылова более низкой размерности, что позволяет аппроксимировать характеристики матрицы высокой размерности путем итеративного вычисления эквивалентных характеристик подобных матриц, начиная с пространства низкой размерности и последовательного перехода к более высоким измерениям. Когда $A$$A$  симметрична, и мы хотим решить линейную задачу $Ax=b$$Ax=b$ , классический итеративный подход — метод сопряжённых градиентов. Если $A$$A$  не симметричная, то примерами итерационных решений линейной задачи являются обобщенный метод минимальных невязок (GMRES)^[en] и метод сопряжённых градиентов для нормальных уравнений (CGN)^[en] для нормальных уравнений. Если $A$$A$  симметричная, то для нахождения собственных значений и собственных векторов мы можем использовать алгоритм Ланцоша^[en], и если $A$$A$  не симметричная, то используется итерация Арнольди.

Программное обеспечение для численного анализаПравить

Некоторые языки программирования используют методы оптимизации численной линейной алгебры и предназначены для реализации её алгоритмов. Эти языки включают MATLAB, Analytica, Maple, и Mathematica. Другие языки программирования, которые явно не предназначены для численной линейной алгебры, имеют библиотеки, которые предоставляют процедуры и оптимизацию; в C и Fortran есть пакеты Basic Linear Algebra Subprograms и LAPACK, в python есть библиотека NumPy, и в Perl есть Perl Data Language. Многие команды численной линейной алгебры в R полагаются на фундаментальные библиотеки, такие как LAPACK.