Альтернатива Фредгольма: когда уравнение разрешимо

Альтернатива Фредгольма - это утверждение, которое отвечает на главный вопрос про линейное уравнение $Ax = b$: есть ли у него решение и единственно ли оно. Формулировка звучит как развилка из двух взаимоисключающих случаев («альтернатива»): либо однородное уравнение имеет только нулевое решение, и тогда неоднородное разрешимо при любой правой части единственным образом, либо однородное имеет ненулевые решения, и тогда неоднородное разрешимо не всегда, а только при выполнении условия ортогональности. Ниже разберём оба сценария, сопряжённый оператор и то, как проверять разрешимость на практике.

Если нужно применить альтернативу к конкретному уравнению - собери запрос ниже и получи пошаговый разбор: какой случай реализуется и как выглядит условие совместности.

Откуда взялась альтернатива Фредгольма

Эрик Ивар Фредгольм в начале XX века изучал интегральные уравнения второго рода вида

$$\varphi(x) - \lambda \int_a^b K(x, t)\, \varphi(t)\, dt = f(x).$$

Он показал, что такое уравнение ведёт себя почти как конечная система линейных уравнений $Ax = b$: для него работает та же логика «определитель ноль или нет». Это было неожиданно - бесконечномерный объект (интегральный оператор) подчиняется правилам линейной алгебры. Причина в том, что интегральный оператор с «хорошим» (например, непрерывным или квадратично интегрируемым) ядром $K$ компактен, а для уравнений вида «тождество минус компактный оператор» теория почти полностью копирует конечномерную.

Сегодня альтернативу формулируют абстрактно - для оператора $A = I - T$, где $T$ компактен, или для произвольного оператора с конечномерными ядром и коядром (фредгольмов оператор индекса ноль). Но смысл остаётся прежним: разрешимость управляется однородным уравнением.

Рассчитать для своей задачи

Две ветви альтернативы

Пусть дано уравнение $Ax = b$ (это может быть и матрица, и интегральный оператор $I - \lambda T$). Альтернатива утверждает, что реализуется ровно один из двух случаев.

Случай 1 - невырожденный. Однородное уравнение $Ax = 0$ имеет только тривиальное решение $x = 0$. Тогда:

• неоднородное $Ax = b$ разрешимо при любой правой части $b$;
• решение единственно.

Это «хороший» случай: оператор обратим, $A^{-1}$ существует, никаких дополнительных условий не нужно.

Случай 2 - вырожденный. Однородное уравнение $Ax = 0$ имеет ненулевые решения, то есть ядро $\ker A \neq \{0\}$. Тогда:

• неоднородное $Ax = b$ разрешимо не при всех $b$, а только при выполнении условия совместности;
• если решение существует, оно не единственно - к нему можно прибавить любой элемент ядра.

Ключевая мысль: единственность и существование связаны жёстко. Если однородное имеет только ноль, неоднородное разрешимо всегда и однозначно. Как только у однородного появляется ненулевое решение, у неоднородного теряется и единственность, и универсальная разрешимость.

Условие разрешимости через сопряжённый оператор

Главная содержательная часть альтернативы - что именно за условие нужно во втором случае. Ответ: правая часть $b$ должна быть ортогональна всем решениям сопряжённого однородного уравнения.

Обозначим $A^*$ - сопряжённый (для матриц это транспонированная сопряжённая $A^* = \overline{A}^{\,\top}$, для интегрального оператора - оператор с ядром $K^*(x, t) = \overline{K(t, x)}$). Тогда уравнение $Ax = b$ разрешимо тогда и только тогда, когда

$$\langle b, \psi \rangle = 0 \quad \text{для всех } \psi \text{ таких, что } A^* \psi = 0.$$

Иными словами, $b$ обязана лежать в ортогональном дополнении к ядру сопряжённого оператора: $b \perp \ker A^*$. Это и есть условие Фредгольма. Геометрически образ оператора $A$ - это в точности множество векторов, ортогональных решениям сопряжённого однородного уравнения.

Важный факт, который делает альтернативу симметричной: размерности ядер совпадают,

$$\dim \ker A = \dim \ker A^*.$$

Сколько у однородного уравнения линейно независимых решений, столько же независимых условий ортогональности накладывается на правую часть. Этот баланс - сердце теории Фредгольма; он же объясняет, почему у фредгольмова оператора индекс (разность этих размерностей) равен нулю.

Рассчитать для своей задачи

Конечномерный случай: это просто линейная алгебра

Чтобы прочувствовать альтернативу, полезно увидеть её в системе $Ax = b$ с квадратной матрицей $A$ размера $n \times n$. Здесь всё знакомо из курса линейной алгебры:

• Если $\det A \neq 0$, матрица обратима. Однородная система $Ax = 0$ имеет только $x = 0$, а $Ax = b$ - единственное решение $x = A^{-1}b$ при любом $b$. Это случай 1.
• Если $\det A = 0$, ядро нетривиально. Система $Ax = b$ совместна по теореме Кронекера - Капелли, только когда $\operatorname{rank}(A) = \operatorname{rank}(A \mid b)$, что эквивалентно условию $b \perp \ker A^\top$. Это случай 2.

То есть знаменитая теорема Кронекера - Капелли - это и есть альтернатива Фредгольма в конечной размерности. Тонкость возникает в бесконечномерном пространстве: там у произвольного оператора образ может быть незамкнут и условие «ортогональности» не сработает. Спасает именно компактность $T$: для $A = I - T$ образ замкнут, и конечномерная картина переносится дословно. Близкие сюжеты разбираются в материале про интегральное уравнение Вольтерра.

Связь с собственными значениями

В формулировке $\varphi - \lambda T\varphi = f$ параметр $\lambda$ играет роль обратного к собственному значению. Если $1/\lambda$ не является собственным значением оператора $T$, то $I - \lambda T$ обратим - реализуется случай 1, уравнение разрешимо при любом $f$. Если же $1/\lambda$ - собственное значение, то однородное уравнение $\varphi = \lambda T \varphi$ имеет ненулевые решения (собственные функции), и мы попадаем в случай 2 с условием ортогональности.

Поэтому альтернатива Фредгольма - это, по сути, теорема о структуре спектра компактного оператора: набор «плохих» $\lambda$ (где разрешимость нарушается) дискретен, эти точки - собственные значения, и каждому отвечает конечномерное собственное подпространство. Между ними оператор обратим.

Как применять на практике

Алгоритм проверки разрешимости уравнения $Ax = b$ всегда один и тот же:

1. Решите однородное уравнение $Ax = 0$. Найдите ядро $\ker A$.
2. Если $\ker A = \{0\}$ - вы в случае 1. Неоднородное разрешимо единственным образом, никаких условий не нужно, можно искать решение.
3. Если $\ker A \neq \{0\}$ - вы в случае 2. Найдите ядро сопряжённого: решите $A^* \psi = 0$.
4. Проверьте условие совместности $\langle b, \psi \rangle = 0$ для каждой базисной функции $\psi$ ядра сопряжённого. Если выполнено - решение есть (с точностью до прибавления элементов $\ker A$); если нет - решений нет вовсе.

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

Частые ошибки

• Путают, чьему ядру должна быть ортогональна правая часть. Условие совместности - это ортогональность решениям сопряжённого уравнения $A^* \psi = 0$, а не исходного $Ax = 0$. Для самосопряжённого оператора они совпадают, но в общем случае нет.
• Считают, что во втором случае решений просто нет. Они есть - если выполнено условие ортогональности. Просто их бесконечно много (целый класс смежности по ядру), а без условия - ни одного.
• Применяют альтернативу к интегральному уравнению первого рода. Уравнения вида $\int K\varphi\,dt = f$ (без «$\varphi$ минус») не подпадают под классическую альтернативу: оператор там компактен сам по себе, а не $I - T$, и теория совсем другая (некорректные задачи).
• Забывают про требования к ядру. Альтернатива в стандартной форме нужна компактность оператора. Для ядра с сильной особенностью или для неограниченного интервала её нужно проверять отдельно.
• Смешивают $\lambda$ и $1/\lambda$. Разрешимость нарушается, когда $1/\lambda$ - собственное значение $T$, то есть когда $\lambda$ - характеристическое число. Знак развилки задаёт именно однородное уравнение, а не само значение $\lambda$.

FAQ

Чем альтернатива Фредгольма отличается от теоремы Кронекера - Капелли? По сути это одно и то же утверждение, но на разных уровнях общности. Кронекер - Капелли формулируется для конечных систем линейных уравнений через ранги матриц. Альтернатива Фредгольма обобщает её на интегральные уравнения и абстрактные операторы вида $I - T$ с компактным $T$, где роль «ранга» играет ядро сопряжённого оператора.

Что такое сопряжённое уравнение и зачем оно нужно? Сопряжённое уравнение $A^* \psi = 0$ задаёт ограничения на правую часть. Его решения - это «направления», вдоль которых неоднородное уравнение не может иметь компоненты. Правая часть должна быть ортогональна всем таким решениям, иначе системы не существует. Для интегрального оператора сопряжённое ядро - это $K^*(x,t) = \overline{K(t,x)}$.

Всегда ли работает альтернатива Фредгольма? Нет. Она требует, чтобы оператор был вида $I - T$ с компактным $T$ (или фредгольмовым индекса ноль). Для интегральных уравнений первого рода, для операторов с незамкнутым образом или для уравнений на бесконечном интервале с плохим ядром её нужно проверять отдельно - там разрешимость может вести себя иначе.

Коротко

Альтернатива Фредгольма - развилка из двух случаев для уравнения $Ax = b$. Либо однородное $Ax = 0$ имеет только нулевое решение - тогда неоднородное разрешимо при любой правой части и единственным образом. Либо у однородного есть ненулевые решения - тогда неоднородное разрешимо только при условии ортогональности правой части всем решениям сопряжённого однородного уравнения $A^* \psi = 0$, причём $\dim \ker A = \dim \ker A^*$. В конечной размерности это теорема Кронекера - Капелли; в бесконечной - теорема о компактных операторах $I - T$, тесно связанная со структурой спектра. Чтобы применить альтернативу, решают однородное уравнение, и если его ядро нетривиально - проверяют условие совместности через сопряжённое.