next up previous
Next: Вспомогательные леммы Up: ОБ ОДНОМ АЛГОРИТМЕ РЕШЕНИЯ Previous: Постановка задачи

2. Алгоритм решения

Мы укажем алгоритм решения интегрального уравнения (1), который основан на сочетании принципа экстремального прицеливания Н.Н. Красовского с методом регуляризации А.Н. Тихонова. Предлагаемый алгоритм конструируется на базе подхода [7, 6, 13, 8]. Перейдем к его описанию.

В начальный момент tex2html_wrap_inline2139 фиксируется величина h и равномерное разбиение промежутка T на интервалы tex2html_wrap_inline2163, tex2html_wrap_inline2135, tex2html_wrap_inline2167, tex2html_wrap_inline2139, tex2html_wrap_inline2141, tex2html_wrap_inline2143. Работа алгоритма подразделяется на tex2html_wrap_inline2175 однотипных шагов. На i-ом шаге, который выполняется на интервале tex2html_wrap_inline2163, исходными данными для вычислений служат значение измерения tex2html_wrap_inline2181 и сформированное к моменту tex2html_wrap_inline2183 ``приближенное решение'' уравнения (1) tex2html_wrap_inline2185, tex2html_wrap_inline2187. Происходят следующие действия: во-первых, находится значение вспомогательной функции tex2html_wrap_inline2189,
equation1743
здесь tex2html_wrap_inline2191 - линейный интерполянт, построенный по узлам tex2html_wrap_inline2193, т. е. tex2html_wrap_inline2195, tex2html_wrap_inline2197, а во-вторых, определяется вектор tex2html_wrap_inline2199 по правилу: tex2html_wrap_inline2199 есть решение экстремальной задачи
equation1745
и полагается
displaymath2151
Здесь tex2html_wrap_inline2203 - параметр регуляризации, tex2html_wrap_inline2205 - выпуклое замкнутое ограниченное множество, при почти всех tex2html_wrap_inline2207 (существование P обеспечивается справедливостью гронуолловской оценки для уравнения (1)).

Процесс заканчивается в конечный момент времени tex2html_wrap_inline2211.

Отметим, что если ядро уравнения (1) определяется через фундаментальную матрицу решений какого-либо дифференциального уравнения, то пересчет функции tex2html_wrap_inline2213 не требует полной памяти, поскольку в этом случае достаточно отслеживать движение вспомогательной модели.

Пусть p(t) - решение уравнения (1), функция tex2html_wrap_inline2217 определяется из (3), (4),
displaymath2152
Задана последовательность tex2html_wrap_inline2219 - такая, что tex2html_wrap_inline2221 при tex2html_wrap_inline2223. Для краткости в последующих рассуждениях заменим индекс tex2html_wrap_inline2225 на k, т. е. tex2html_wrap_inline2229, tex2html_wrap_inline2231, tex2html_wrap_inline2233, tex2html_wrap_inline2235, tex2html_wrap_inline2237 при tex2html_wrap_inline2239. В дальнейшем полагаем tex2html_wrap_inline2241.

Теорема 1. Имеет место сходимость:
equation1747
Если функция tex2html_wrap_inline2243 имеет на промежутке T ограниченную вариацию, то справедливы следующие оценки скорости сходимости алгоритма:
displaymath2153

equation1749
где константы tex2html_wrap_inline2247 и tex2html_wrap_inline2249 выписываются явно.

Доказательство включает два основных момента. Во-первых, доказывается, что из малости при всех tex2html_wrap_inline2251 значений функции
equation1751
следует ``близость'' tex2html_wrap_inline2253 к tex2html_wrap_inline2243, а во-вторых, что описанная процедура (3), (4) ``стабилизирует'' tex2html_wrap_inline2257.


next up previous
Next: Вспомогательные леммы Up: ОБ ОДНОМ АЛГОРИТМЕ РЕШЕНИЯ Previous: Постановка задачи