ФРЕДГОЛЬМА АЛЬТЕРНАТИВА

- альтернативное утверждение, вытекающее из Фредгольма теорем. В случае линейного интегрального уравнения Фредгольма 2-го рода

Ф. а. утверждает: либо уравнение (1) и сопряженное с ним уравнение

имеют единственные решения каковы бы ни были известные функции f g, либо соответствующие однородные уравнения

имеют ненулевые решения, причем число линейно независимых решений конечно и одинаково для обоих уравнений.
Во втором случае для того чтобы уравнение (1) имело решение, необходимо и достатoчно, чтобы

где -полная система линейно независимых решений уравнения (2'). При этом общее решение уравнения (1) имеет вид

где j _k -какое-нибудь решение уравнения (1). - полная система линейно независимых решений уравнения (1'), c_k - произвольные постоянные. Сходные утверждения имеют место и для уравнения (2).
Пусть Т - непрерывный линейный оператор, отображающий банахово пространство Ев себя; Е*, Т* - соответствующие сопряженные пространство и оператор. Рассматриваются уравнения:

Справедливость Ф. <а. для оператора . означает следующее: 1) либо уравнения (3) и (4) разрешимы, каковы бы ни были их правые части, и тогда их решения единственны; 2) либо однородные уравнения (3') и (4') имеют одинаковое конечное число линейно независимых решений x₁, ..., х _п и g₁, ..., g_n соответственно; в этом случае для разрешимости уравнения (3) соответственно уравнения (4), необходимо и достаточно, чтобы g_k (у)= 0, k= 1, 2, .... n, соответственно f( х _k) =0, k=1, 2, ...,n; при этом общее решение уравнения (3) дастся равенством

а общее решение уравнения (4) - равенством

где х* (соответственно g*) - какое-нибудь решение уравнения (3) (уравнения (4)), а с ₁ . . ., с _n - произвольные постоянные.
Каждое из следующих двух условий необходимо и достаточно, чтобы для оператора Тимела место Ф. а. 1) Оператор Тпредставим в форме
T=W+V, где W- оператор, имеющий двусторонний непрерывный обратный, а V - вполне непрерывный оператор, 2) оператор Тпредставим в форме T=W₁+V₁. где W₁ -оператор, имеющий двусторонний непрерывный обратный, а V₁ - конечномерный оператор.

Лит.:[1] Смирнов В. И., Курс высшей математики, т. 4, ч. 1, 6 изд., М., 1974: [2] Владимиров В. С., Уравнения математической физики, 4 изд., М., 1981; [3] Канторович Л. В., Акимов Г. П., Функциональный анализ, 2 изд., М., 1977.
В. В. Хведелидзе.