Метод потенциальных функций
6.1. Общая рекуррентная процедура
Пусть
– конечная или
бесконечная система функций на
. Будем искать дискриминантную функцию
в виде

Требования к рассматриваемому ряду:
Для бесконечного ряда требуем поточечную сходимость.
Также желательно, чтобы
убывали быстро с ростом
. Это необходимо для обеспечения хорошего совпадения
"обрезанного" бесконечного ряда с
.
Итак, пусть
– базовая система функций. В качестве потенциальной
функции будем рассматривать функцию вида

удовлетворяет условиям:
и
. Обозначим
. Тогда


Для приближения
предлагается рекуррентная процедура, называемая
общей рекуррентной процедурой:

Пусть
-
– обучающая последовательность прецедентов; -
– некоторые числовые последовательности, которые должны задаваться так, чтобы обеспечить сходимость
к
при
в том или ином смысле.
Зададим начальное приближение
. Как уже отмечалось, мы ищем
функцию
в виде:

Мы сделали достаточно сильное допущение, сказав, что наше решение
будем выражать через базовую систему функций. Т.е. мы априорно
предполагаем, что
разложимо по системе функций
:

Тогда, учитывая, что
, получаем:

Обозначим через

Тогда

Откуда получаем вторую форму общей рекуррентной процедуры:

Для нахождения связи коэффициентов
и
воспользуемся второй
формой для формулы общей рекуррентной процедуры и соотношением

Получим соотношение, связывающее коэффициенты
и
:

Для возможности итерационных вычислений необходимо понять, как
вычислять параметры
и
, а также начальное приближение
.
Зададим функцию


Тогда процесс перехода от
к
суть процесс подсчета
коэффициентов. Обычно
, вычисляется по следующему правилу:

Возьмем следующее начальное приближение:

Таким образом, при правильном определении
получаем,
что
; а в случае ошибки

Данный процесс напоминает обучение в алгоритме персептрона.
Возникают следующие естественные вопросы:
Есть ли поточечная сходимость функции
к
?
Где взять базисные функции
в многомерном пространстве?
Попробуем ответить на эти вопросы.
Рассмотрим аналогию данного алгоритма с алгоритмом персептрона. Для функции

и
– это вектор в бесконечномерном пространстве, тогда
– спрямляющее пространство. Таким образом, если
или
, то
или
соответственно. Пусть
,
тогда
и
.