Теорема Перрона-Фробениуса: положительные матрицы и экономика

В линейной алгебре большинство теорем о спектрах матриц (собственных значениях) опираются на их симметрию, ортогональность или вырожденность. Однако в начале XX века математики Оскар Перрон и Фердинанд Фробениус доказали удивительную теорему, опирающуюся исключительно на знаки элементов матрицы. Теорема Перрона-Фробениуса описывает свойства матриц, все элементы которых строго положительны (или неотрицательны). Эта теорема стала настоящим подарком для прикладных наук. Без нее невозможно было бы доказать сходимость алгоритма Google PageRank, рассчитывать стационарные распределения в марковских случайных цепях, анализировать демографические модели роста популяций и балансировать макроэкономические модели межотраслевого баланса.

Главное (спектральное) собственное значение

Первая и самая важная часть теоремы Перрона гласит: любая матрица со строго положительными элементами всегда имеет строго положительное действительное собственное значение (часто обозначаемое как r или lambda_max), которое по абсолютному модулю строго больше всех остальных собственных значений этой матрицы (как действительных, так и комплексных). Это уникальное число r называется числом Перрона или спектральным радиусом матрицы. Факт доминирования одного действительного корня означает, что если мы начнем многократно умножать случайный вектор на такую матрицу (возводить матрицу в степень, что моделирует развитие системы во времени), то именно это число Перрона будет определять асимптотическую скорость экспоненциального роста всей динамической системы.

Вектор Перрона: гарантия положительности

Второе фундаментальное утверждение теоремы касается собственного вектора, отвечающего этому максимальному собственному значению r. Теорема гарантирует, что такой вектор существует, он единственен (с точностью до умножения на скаляр), и — что самое потрясающее — абсолютно все координаты этого собственного вектора являются строго положительными числами. Это называется вектором Перрона. В физике и экономике отрицательные координаты часто лишены смысла (нельзя иметь отрицательное количество населения, отрицательную вероятность или отрицательную цену товара). Теорема Перрона-Фробениуса математически страхует ученых: она гарантирует, что стационарное состояние сложной системы всегда будет физически осмысленным (положительным).

Обобщение на неотрицательные и неразложимые матрицы

Фробениус расширил теорему Перрона, применив ее к матрицам, в которых допускается наличие нулей (неотрицательным матрицам). Для того чтобы свойства сохранения доминирующего корня и положительного вектора остались в силе, матрица должна быть «неразложимой» (irreducible). На языке теории графов неразложимость означает, что если мы построим граф, где элементы матрицы показывают связи (веса ребер) между вершинами, то этот граф должен быть сильно связным. То есть из любой вершины (отрасли экономики, веб-сайта, состояния) должен существовать путь по направленным ребрам в любую другую вершину. Если экономика не распадается на изолированные автаркии, матрица неразложима, и теорема работает.

Модель Леонтьева и межотраслевой баланс

Свой триумф в экономике теорема Перрона-Фробениуса пережила благодаря американскому экономисту русского происхождения Василию Леонтьеву (лауреату Нобелевской премии). Его модель «Затраты-Выпуск» описывает экономику страны как систему уравнений X = A*X + Y, где X — вектор валового выпуска отраслей, Y — вектор конечного спроса, а A — матрица прямых затрат (технологическая матрица). Элементы матрицы A показывают, сколько продукции одной отрасли нужно для производства единицы продукции другой отрасли. Естественно, все элементы матрицы A неотрицательны. Опираясь на теорему Перрона-Фробениуса, математики доказывают продуктивность экономики: если максимальное собственное значение матрицы A строго меньше 1, то при любом положительном спросе Y система всегда имеет физически осмысленное (положительное) решение X.

Оценить