Метод потенциальных функций
6.1. Общая рекуррентная процедура
Пусть – конечная или бесконечная система функций на . Будем искать дискриминантную функцию в виде
Требования к рассматриваемому ряду:
Для бесконечного ряда требуем поточечную сходимость.
Также желательно, чтобы убывали быстро с ростом . Это необходимо для обеспечения хорошего совпадения "обрезанного" бесконечного ряда с .
Итак, пусть – базовая система функций. В качестве потенциальной функции будем рассматривать функцию вида
где удовлетворяет условиям: и . Обозначим . Тогда Предположим, что ТогдаДля приближения предлагается рекуррентная процедура, называемая общей рекуррентной процедурой:
Пусть
- – обучающая последовательность прецедентов;
- – некоторые числовые последовательности, которые должны задаваться так, чтобы обеспечить сходимость к при в том или ином смысле.
Зададим начальное приближение . Как уже отмечалось, мы ищем функцию в виде:
Мы сделали достаточно сильное допущение, сказав, что наше решение будем выражать через базовую систему функций. Т.е. мы априорно предполагаем, что разложимо по системе функций :
Тогда, учитывая, что , получаем:
Обозначим через
Тогда
Откуда получаем вторую форму общей рекуррентной процедуры:
Для нахождения связи коэффициентов и воспользуемся второй формой для формулы общей рекуррентной процедуры и соотношением
Получим соотношение, связывающее коэффициенты и :
Для возможности итерационных вычислений необходимо понять, как вычислять параметры и , а также начальное приближение .
Зададим функцию
гдеТогда процесс перехода от к суть процесс подсчета коэффициентов. Обычно , вычисляется по следующему правилу:
Возьмем следующее начальное приближение:
Таким образом, при правильном определении получаем, что ; а в случае ошибки
Данный процесс напоминает обучение в алгоритме персептрона.
Возникают следующие естественные вопросы:
Есть ли поточечная сходимость функции к ?
Где взять базисные функции в многомерном пространстве?
Попробуем ответить на эти вопросы.
Рассмотрим аналогию данного алгоритма с алгоритмом персептрона. Для функции
произведем замену и – это вектор в бесконечномерном пространстве, тогда где – спрямляющее пространство. Таким образом, если или , то или соответственно. Пусть , тогда и .