Научная статья на тему 'Метод типа минимальных невязок для нелинейных интегральных уравнений'

Метод типа минимальных невязок для нелинейных интегральных уравнений Текст научной статьи по специальности «Математика»

CC BY
523
53
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Проблемы управления
ВАК
Область наук

Аннотация научной статьи по математике, автор научной работы — Исмаилов И. Г., Кузнецов Ю. О.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

MINIMUM RESIDUAL-TYPE METHOD FOR NONLINEAR INTEGRAL EQUATIONS

The paper interrelates the solvability theorem for nonlinear integral Hammerstein equation and the convergence of formal minimum residual technique. The convergence theorem for successive approximations method under kernel and nonlinearity constraints is proved.

Текст научной работы на тему «Метод типа минимальных невязок для нелинейных интегральных уравнений»

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

ЛИТЕРАТУРА

1. Goodwin G. C. Inverse problems with constraints // CD-ROM Proc. of the 15th World Congress IFAC. — Barcelona, Spain, 2002.

2. Edelmayer A., Bokor Szabo Z, Szigeti F. Input reconstruction by means of system inversion: a geometric approach to fault detection and isolation in nonlinear systems // Int. J. AMCS. — 2004. — Vol. 14, N 2. — P. 189—199.

3. Isidori A. Nonlinear control systems. — Springer Verlag, 3rd Ed. — 1995.

4. Birk Zeitz M. Extended Luenberger observer for nonlinear multivariable systems // Int. J. Control. — 1988. — Vol. 47, N 6. — P. 1823—1836.

5. Шумский A. E. Поиск дефектов в нелинейных системах методом функционального диагностирования // Автоматика и телемеханика. — 1991. — № 12. — С. 148—155.

6. Жирабок A. Н., Шумский A. E. Управляемость, наблюдаемость, декомпозиция нелинейных систем // Владивосток: ДВГТУ, 1993. — 128 с.

7. Жирабок A. Н, Шумский A. E. Функциональное диагностирование непрерывных динамических систем, описываемых уравнениями с полиномиальной правой частью // Автоматика и телемеханика. — 1987. — № 8. — С. 154—164.

8. Олвер П. Приложения групп Ли к дифференциальным уравнениям // М.: Мир, 1989. — 637 с.

в (4232) 43-73-70

E-mail: [email protected]

УДК 513.88

МЕТОД ТИПА МИНИМАЛЬНЫХ НЕВЯЗОК ДЛЯ НЕЛИНЕЙНЫХ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ

И. Г. Исмаилов, Ю. 0. Кузнецов

Институт проблем управления им. В. А. Трапезникова, г. Москва

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

ВВЕДЕНИЕ

Нелинейные интегральные уравнения естественно возникают в многочисленных задачах математики, физики, теории управления и многих прикладныгх дисциплин. Так, например, к ним приводит задача о вынужденных колебаниях квазилинейных систем и систем автоматического регулирования, оптимизации многока-нальныгх объектов [1—4]. Начиная с работы А. М. Ляпунова по фигурам равновесия вращающейся жидкости, аналитические методы исследования нелинейных урав-

нений развивались в работах П. С. Урысона, А. И. Некрасова, А. Гаммерштейна, Р. Иглиша, М. А. Красносельского, П. П. Забрейко и др.

Объект исследования может быть записан в общем виде:

| К(о, Р, ф(Р))@Р = ф(о) в

—уравнение Урысона — и в частном:

| К(х, у)Лу,ф(у)]@у = Ф(т) (11

в

—уравнение Гаммерштейна,

где К — линейное либо нелинейное ядро, ф — неизвестная функция, в — компактное топологическое пространство, о и х — переменные.

Для приближенного решения уравнения (1) может быть применен метод механических квадратур или метод Галеркина—Петрова [5, 6].

Установлено множество теорем следующего толка. От уравнения (1) переходят к системе нелинейных уравнений путем замены интеграла конечной суммой. Тогда, если решение ф0(х) уравнения (1) изолировано в банаховом пространстве С(в) и имеет топологический индекс, отличный от нуля, то при измельчении шага квадратурного процесса множество решений конечной системы становится непустым и приближает истинное решение в некоторой метрике. Другие теоремы требуют невырожденности производной Фреше соответствующего уравнению (1) нелинейного оператора в точке ф0(х).

Те же два основных предложения гарантируют в некоторых случаях сходимость метода Галеркина для решения уравнения (1). Различные теоремы сходимости проекционных и фактор-методов для решения уравнения (1) установлены, в частности, Г. М. Вайникко.

1. ОСНОВНАЯ ТЕОРЕМА

Предлагаемый в работе результат позволяют делать выводы о сходимости итерационный методов для уравнений Гаммерштейна. В основе соответствующей теории лежат вариационные методы нелинейного анализа.

Опишем вкратце общеизвестную идею. Пусть рассматривается уравнение (1), где в — множество конечной или бесконечной лебеговой меры, К(х, у) — положительное симметричное ядро, порождающее линейный оператор

Аф(х) = \ К(х, у)ф(у)@у. в

От функции/(х, и), х £ в, — га < и < га, в общем случае требуют соблюдения условий Каратеодори. Через I обозначают соответствующий функции /(х, и) оператор композиции (оператор Немыцкого). Тогда уравнение (1) формально может быть записано в операторном виде:

ф= А1(ф). (2)

Допустим, что оператор I действует в вещественном пространстве ( (в) и оператор А вполне непрерывен в этом пространстве. Тогда, как известно из спектральной теории, квадратный корень А1/2 будет также положительным компактным оператором в пространстве ( (в).

Рассмотрим функционал

1 а1/2У(х)

Ф(у) = т (У, У) — I @х I /(х, и)@и, у £ (2(в). (3)

2 в 0

Начиная еще с работ Гаммерштейна и Голомба из-

вестно, что его градиент УФ = I — А1/21А1/2 =: В. С другой стороны, исходное уравнение ф = А1(ф) и уравнение

Ву = 0 родственны в том смысле, что между их решениями существует взаимно однозначное соответствие ф = А1/2у.

Таким образом, начальная задача свелась к поиску критических точек дифференцируемого по Фреше функционала (3) и, следовательно, для разрешимости уравнения (1) достаточно установить наличие локального минимума функционала Ф. Приведем одну теорему о существовании решения для уравнения (1), которая потребуется в дальнейшем изложении:

Теорема 1 [7]. Пусть линейный интегральный оператор

Аф(х) = | К(х, у)ф(у)@у

о

является самосопряженным положительно определенным и компактным вЬ (О).

Пусть оператор Немыцкого I действует в Ь (О) (для этого достаточно, например, линейной оценки роста по и на бесконечности) и выполнено такое условие:

и

|Дх, и)йи Р 2 и2 + >(х)| и|2—у + с(х), (4)

о 2

х є О, —га <и< га, О < у < 2, >(х) є Ь2/у, с(х) є Ь, а число а удовлетворяет неравенству а < 1/1О, где 1О — наибольшее собственное значение ядра.

Тогда уравнение (1) имеет, по крайней мере, одно решение вЬ (О). ♦

Данная теорема сформулирована здесь потому, что в ее условиях главный функционал (3) обладает следующими свойствами:

• Ф(у) = 1/2||у||2 + g(y), где g(•) — слабо непрерывный

функционал;

• Ііт Ф(у) = +га, т. е. функционал Ф(^) — растущий.

НУ ^ га

Собственно, на основании этих двух фактов уже легко сделать вывод о существовании глобального минимума функционала (3).

Хорошо известно, что сумма квадратичного положительного и дифференцируемого слабо непрерывного функционалов удовлетворяет условию Пале—Смейла.

Это легко показать. В самом деле, если М с Н — ограниченное замкнутое множество в сепарабельном гильбертовом пространстве Н, а {уп}п = 1 га — последовательность такая, что Ііт ||УФ(уп)|| = О, то

Уп + у£<%) ^ 0, п ^ га. (5)

Без ограничения общности полагаем уп ^ у*, п ^ га (слабая сходимость). Тогда из выражения (5) следует: уп ^ —Ус(у*), значит у* є М, УФ(у*) = Ііт УФ(уп) = 0,

что и требовалось показать.

Таким образом мы пришли к условию теоремы 2.4.8 монографии [4] и можем сделать вывод:

Теорема 2. Пусть выполнены приведенные выше условия теоремы 1 о разрешимости. Пусть функция /(х,и),

x є G, u є О лunшuцевa по u c кожтантой L. Тогда umе-ращонная по^едователъно^ъ

%

+ 1

%n — gn(I — А I)%n, n = 0, 1, 2, ...,

%o є А1^2^, (б)

0 < >o P gn P >і < 2(1 + ||А||L)—1,

cxoдumcя к мнoжеcmвy P решенш yрaвненuя (1): lim p(%n, P) = 0.

(7)

Доказательство. По теореме 2.4.8 [4] итерационная последовательность вида

У + 1 = у„ — — А1/21А1/2)у„, п = 0, 1, 2, Уо £ (2(в), (8)

в которой управляющие параметры подчинены записанным в условии теоремы неравенствам, сходится к ограниченному множеству критических точек функционала ф. Умножим теперь последовательность (8) слева на А1/2 и сделаем замену фп = А1/2уп. Мы получили последовательность (6). Для уп можно записать уп = у'п + 1п, где у'п лежит в множестве критических точек Ф, | £п| ^ 0. Умножая теперь последнее равенство на ограниченный оператор А1/2 слева, сразу же получаем соотношение (7). ♦

2. ЗАМЕЧАНИЯ

• Заметим, что в скобках в формуле (6) стоит невязка уравнения (1) в операторной форме (2), и итерационная последовательность приобретает форму метода минимальных невязок, хорошо известного в теории приближенных методов решения линейных операторных уравнений. Суть такого способа, предложенного М. А. Красносельским и М. Г. Крейном [8], состоит в следующем.

Рассматривается линейное уравнение

м

Вх = Ь, Вх = I 'КйЕ^х, 0 < т < М < Г,

с положительно определенным ограниченным оператором. Предполагается, что у него есть решение х *. Тогда при специальном выборе управляющих параметров итерационный процесс хп + 1 = хп — сп + 1Дп, п = 0, 1, 2, ..., Дп = Вхп — Ь, сходится к решению х* с линейной скоростью (скоростью геометрической прогрессии).

• Условие “оператор I действует в ( (в)” является ограничительным, так как приводит к оценке |/(х, и)| Р а(х) + Ь|и|, Ь > 0, а(о) £ (2.

Это, по сути, критерий определенности оператора в пространстве ( , что следует из теоремы Я. Б. Рутицкого и М. А. Красносельского. Разумеется, из требования липшицевости по и следует такая оценка, однако каждое из этих предположений может быть преодолено по-своему.

В 1952 г. в “Докладах Академии наук СССР” М. А. Красносельский опубликовал работу о расщеплении линейных операторов, действующих из одного пространства в другое [7]. Речь идет о представлении вида

А = HH*, где H — линейный оператор. Не затрагивая детали, отметим, что этот результат позволяет ослабить ограничение роста функции f(x, u) до любой оценки типа | f(x, u) < a(x) + b | u |p, p > 0, при некоторых дополнительных требованиях к линейному оператору А. Например, если интегральное ядро K(x, у) симметрично и непрерывно, то функция f(x, u) может расти на бесконечности как любая степенная функция, удовлетворяющая оценке (4n); например, f(x, u) = um sin u2m+2, m єі.

• Потребность рассматривать неограниченные ядра возникает в задачах математической физики, где фигурируют ядра-потенциалы:

"1(x, у) = -i(x’y), x, у є G, 1 > 0, llx- У1

"2(x, y) = Q2(x, y) |ln||x — у|||, где Q1 и Q2 ограничены.

• Самые большие претензии могут возникнуть к операции извлечения квадратного корня из оператора А, которая в общем случае сложнее, чем исходная задача приближенного решения уравнения Гаммерштей-на. На это есть два ответа:

— уравнение (1) может изначально содержать итерации линейной компоненты:

ф= А2kIф, k є і;

— возможно, известна система собственных функций ey. оператора А, тогда

Аф = X (Ф, А)1/у, 11 > 12 > 13 > ... > О, 1 ^ О, ] ^ га,

і = 1

аа = ч, а1/2 = £ (Ф, а) 11/2 ег і = 1

Такая ситуация возможна, когда оператор А является функцией Грина некоторого хорошо известного дифференциального оператора. Например, оператора Лапласа в области простой формы.

• Теорема 2 допускает реализацию в случае, когда оператор А не положительно определен, но имеет конечное число отрицательных собственных значений. Приведем для этого случая выражение итерационного процесса:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

yn

1 = Уп + gn(J + |А|1/21 |А|1/2)Уп, n = 0, 1, 2, ...,

начальное приближение у0 произвольно, & — оператор отражения относительно конечномерного отрицательного подпространства, &2 = I.

С помощью известного неравенства

1А11 Р ГгI |К(х, у)|2 @х@у 11/2 = \ШГ2

в ' ( (вхв)

оценка параметров алгоритма может быть записана так:

2

0 < b0 P gn P b1 < 1

+ L||K||2(G G)'

L (Gx G)

З. ПРИМЕР

Приведем пример физической задачи, которую можно решить с помощью теоремы 2.

Как известно, поле температур и(х), х = (хрх2,х3) е W с R3, установившееся под действием источников с плотностью f(x), удовлетворяет уравнению Пуассона

Аи(х) = Дх), х е W. (9)

На границе задается какое-либо условие, например, условие Дирихле:

и(х) = 0, х е Г = 3W. (10)

Границу Г области W будем считать достаточно гладкой.

Предположим теперь, что скалярное поле источников тепла Дх) само зависит от величины и(х): f = f(x, и(х)). Это характерно, например, для химических реакций, где интенсивность процесса зависит от температуры и обычно возрастает с ростом и. Тогда стационарное поле температур является решением задачи Дирихле для нелинейного уравнения Пуассона:

Ди(х) = В(х, и(х)), х е W (11)

и(х) = 0, х е 3W. (12)

Как известно из курса математической физики, задача (11), (12) может быть записана в виде интегрального уравнения

и(х) = -1 #х, y)f[y, и(у)]@у. (13)

а

Такое представление возможно, если функция f гладкая. Здесь 0(х, у) = 1/(4л|| х — у||) + у(х, у) — функция Грина задачи (9), (10), функция v аналитична по у при фиксированном х и обеспечивает нулевые граничные условия. Ядро 0(х, у) симметрично и положительно. Обозначим (формальный) линейный интегральный оператор, соответствующий этому ядру, через А:

Аф(х) = | #х, у)ф(у)@у.

а

Из теорем 8.1 и 8.5 книги [9] следует, что оператор А действует и вполне непрерывен в пространстве (2(а). Кроме того, он самосопряжен и положительно определен.

Предположим, что нелинейность /(х, и) липшицева по и и удовлетворяет неравенству (4). Через f обозначим, как обычно, соответствующий оператор Немыцкого. Уравнение (13) запишется в виде и = —А f (и). Это уравнение Гаммер штейна. Ограниченное множество его решений компактно; обозначим его т. Теперь в силу теоремы 2 получаем: для любого начального приближения j0 е А1/2(2(а) итерационная последовательность jn + 1 = jn — gn(I + Аf)jn, п = 0, 1, 2, ..., 0 < b0 P gn P p >i < 2(1 + ||А|() 1, сходится по норме пространства к множеству т: lim p(jn, т) = 0.

ЗАКЛЮЧЕНИЕ

Сам факт, что для нелинейных задач справедлив метод типа метода минимальных невязок, представляется интересным. Как упомянутая классическая теорема раз-

решимости уравнения Гаммерштейна дает лишь грубые достаточные условия существования решения, так и теорема 2 настоящей работы дает лишь достаточные условия сходимости итерационного процесса. И в том, и в другом случае мы ничего не можем сказать о единственности и локализации полученной функции: речь идет исключительно о некотором “корне” уравнения. Это проявление обстоятельства, о котором М. А. Красносельский писал в монографии [10]: “Единственность решения — явление нетипичное для операторных уравнений с существенными нелинейностями”. Таким образом, для выяснения, куда сходится процесс и с какой скоростью, необходима дополнительная информация об изучаемом уравнении. На практике в данном случае полезно то, что мы имеем дело с методом типа градиентного спуска, и параметры метода можно выбирать произвольными достаточно малыми положительными числами, уменьшая их, если сходимость не достигнута.

ЛИТЕРАТУРА

1. Бобылев Н. А., Исмаилов И. Г. Итерационные процедуры в задачах управления и оптимизации // Приборы и системы управления. — 1997. — № 2. — С. 15 —18.

2. Исмаилов И. Г. О приближенном построении оптимальных управлений многоканальными сетевыми системами // Тез. докл. VI Всесоюзного совещания “Управление многосвязными системами”. — Суздаль, 1990. — С. 67—68.

3. Исмаилов И. Г. Управление динамической моделью многоканальной сети связи // Тез. докл. III Всесоюзного совещания по распределенным автоматизированным системам массового обслуживания. — Винница, 1990.

4. Исмаилов И. Г. Приближенные процедуры решения задач управления и оптимизации. — М.: МАКС Пресс, 2002.

5. Бобыыев Н. А. К теории фактор-методов приближенного решения нелинейных задач // Доклады АН СССР. — 1972. — 199. — № 1. — С. 9—12.

6. Вайникко Г. М. Анализ дискретизационных методов. — Тарту: Изд-во Тартуского ун-та, 1976.

7. Красносельский М. А. Топологические методы в теории нелинейных интегральных уравнений. — М.: Гостехиздат, 1956.

8. Красносельский М. А., Крейн С. Г. Об итерационном процессе с минимальными невязками // Матем. сб. — 1952. — Т. 31, № 2.

9. Интегральным операторы в пространствах суммируемых функций // М. А. Красносельский, П. П. Забрейко, Е. И. Пустыльник, П. Е. Соболевский. — М.: Наука, 1966.

10. Красносельский М. А., Забрейко П. П. Геометрические методы нелинейного анализа. — М.: Наука, 1975.

в (095) 334-79-00

E-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.