Альтернатива Фредгольма: элегантная теория разрешимости систем

Две стороны одной медали: прямая и сопряженная задачи

Альтернатива Фредгольма рассматривает две СЛАУ одновременно. Первая — это наша исходная неоднородная система AX = B. Вторая — это так называемая сопряженная однородная система: A^T * Y = 0 (где A^T — транспонированная матрица, а Y — новый вектор неизвестных). На первый взгляд, эти системы не имеют ничего общего. Но геометрия линейных пространств утверждает обратное: образ исходной матрицы A (множество всех возможных векторов, которые можно получить умножением AX) является ортогональным дополнением к ядру транспонированной матрицы A^T. Иными словами, все то, что оператор A может «произвести», строго перпендикулярно всему тому, что оператор A^T «уничтожает» (превращает в ноль).

Формулировка альтернативы

Сама теорема формулируется в виде жесткой, логической дилеммы (альтернативы), состоящей из двух взаимно исключающих утверждений. Либо исходная система AX = B имеет хотя бы одно решение для абсолютно любого вектора B (что возможно только если матрица невырождена). Либо однородная сопряженная система A^T * Y = 0 имеет ненулевые (нетривиальные) решения. В этом втором, наиболее интересном случае, исходная система AX = B будет иметь решения не для любого вектора B, а только для тех, которые строго ортогональны всем решениям сопряженной системы Y. В терминах скалярного произведения: система AX = B разрешима тогда и только тогда, когда скалярное произведение (B, Y) = 0 для любого Y, удовлетворяющего A^T * Y = 0.

Физический смысл: баланс сил в статике

Эта абстрактная теорема имеет потрясающе прозрачный физический смысл в строительной механике. Представьте сложную фермовую конструкцию моста. Матрица A описывает геометрию связей, вектор X — внутренние напряжения в стержнях, а вектор B — внешние нагрузки (вес автомобилей). Сопряженная система A^T * Y = 0 описывает так называемые «механизмы» — возможные движения моста как жесткого целого без деформации стержней (например, мост просто едет вперед). Альтернатива Фредгольма гласит: чтобы мост находился в статическом равновесии (система AX = B имела решение), внешние силы B не должны совершать никакой механической работы вдоль этих неконтролируемых степеней свободы Y. Сумма проекций всех сил на направления возможных смещений должна быть строго равна нулю.

Обобщение на бесконечномерные пространства

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