9.2. Регулярный случай.
Пусть 1 не является собственным значением оператора Т. Тогда существует резольвента Фредгольма ядра и уравнение (9.3) имеет единственное решение, представимое согласно формуле (8.4) в виде
Это уравнение, учитывая значения и может быть записано в виде системы
Подставляя сюда вместо правые части равенств системы (9.1), мы сведем систему (9.1) к следующему простейшему виду:
где интегро-степенные формы такого же вида, что и линеины
относительно Так же, как в п. 7.4, положим
и тогда получим
При помощи этих неравенств так же, как в п. 7.6, составляются последовательные приближения Лихтенштейна [1]
вводится обозначение
и из квадратного уравнения
выбирается тот корень х, который стремится к нулю вместе с Тогда при достаточно малом значении выполняется неравенство откуда для всех
будет
Наконец, при достаточно малом будет
откуда следует сходимость последовательных приближений (9.8) к непрерывному решению системы (9.5), а значит, и к непрерывному решению и системы (9.1), причем
Повторяя теперь рассуждения мы найдем, что
где
Использование неравенств (9.6), (9.7) и (9.9) приводит к выводу о единственности этого решения, когда удовлетворяет вышеупомянутым требованиям малости.
Отметим, что если в прямой сумме двух одинаковых пространств непрерывных функций с нормой рассмотреть операторы как один оператор, то при помощи неравенств (9.6) и (9.7) устанавливается сжатость этого оператора в новом пространстве.
Отсюда так же, как в мы приходим к выводу, что при достаточно малом система (9.5), а значит и (9.1), имеет в классе непрерывных функций единственное решение. Это решение стремится к нулю при и представимо в виде регулярно сходящегося интегро-степенного ряда. Если вместо регулярной сходимости правых частей системы (9.1) требовать лишь их равномерной сходимости (см. то единственное решение представимо в виде равномерно сходящегося интегро-спепенного ряда.