Приближенное решение одного класса нелинейных сингулярных интегральных уравнений

Л.Е. Шувалова, Л.А. Апайчева

ПРИБЛИЖЕННОЕ РЕШЕНИЕ ОДНОГО КЛАССА НЕЛИНЕЙНЫХ СИНГУЛЯРНЫХ

ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ

Ключевые слова: нелинейные сингулярные интегральные уравнения, метод механических квадратур.

Исследованы условия существования и единственности решения одного класса нелинейных сингулярных интегральных уравнений. Рассмотрен метод решения - метод механических квадратур. Приведены различные вычислительные схемы. Дано обоснование одной из схем.

Keywords: nonlinear singular integral equations, the method of mechanical quadratures.

Conditions of existence and uniqueness of a solution for one class of nonlinear singular integral equations were investigated. The method of mechanical quadratures was considered. Various computing schemes were adduced and one of them was substantiated.

Введение

Значительное число теоретических и

прикладных задач приводит к необходимости решения различных классов нелинейных сингулярных интегральных уравнений (НСИУ). Многочисленные примеры прикладных задач аэродинамики, теории упругости, электродинамики и дифракции волн приводятся в монографиях Б.Г. Габдулхаева [1], И.К.Лифанова [2, 9]. Из теории таких уравнений следует, что найти точное решение удается лишь в отдельных случаях. Поэтому разработка и теоретическое обоснование аппроксимативных методов их решения является актуальной задачей. Применительно к различным типам НСИУ имеется большое количество теорем о разрешимости и свойствах решений, которые трудно объединить в единую теорию подобную теории линейных уравнений (см., напр., [3]). В настоящее время теория НСИУ представляет собой интенсивно развивающуюся область математики, интерес к которой, как и число работ, посвященных этой теме, постоянно растет. В данной статье, являющейся продолжением работы [4], исследуются вычислительные схемы квадратурного метода решения НСИУ. Основное внимание уделяется теоретическому обоснованию одной из схем метода механических квадратур (м.м.к.).

1.Постановка задачи. Существование и единственность решения

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

КхМт^-г* + Х1|1=%т,х

где И(1, т, и), у(1) - данные функции, X-

вещественный параметр, а х(1) - искомая функция, причем сингулярный интеграл понимается в смысле главного значения по Коши-Лебегу.

Поскольку задача (1.1), как правило, точно не решается, то для ее решения разработаны и применяются различные приближенные методы (обзор таких методов можно найти, напр., в [1]

,[5],[6]).

Цустъ x = L2p[—1,1], Y = L2q[—1,1] - лебеговы пространства квадратично-суммируемых на [—1,1] функций с весами

p(t) =

1 — t fi+t, и нормами

1+Г \1—t

Их = 1^lx(t)| J , xe X

U-

— 1 v

1_L_L

Ч — t

соответственно.

Тогда уравнение (1.1) можно записать как эквивалентное операторное уравнение вида К(х) = Бх + ХТИ(х) = у (х е X, у е У),

где

Бх = 1^/1 -т /(т\<Ст, ТИ(х)= 1[ Д-^,т,х(т))с1т . п-,У1 + т(т- 1) л-|1\1 + т ^

Рассмотрим соответствующее уравнению (1.1) характеристическое уравнение

БхУ

л -1V1 + т т -1

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

- коэффициенты Фурье функций х(1) е Х,у(1) е У по системам полиномов {ок(1}}" и (1)}^^.

Теорема 1.1. Оператор б : х ^ У непрерывно обратим, и обратный оператор Б-1: У ^ X определяется по формуле

S—1

где

Qk

Tk+,(t) — Tk(t) t — 1

. Tk+1(t) + Tk(t) 1 +1

V2sin( k +11 arccost

vrr

42cos( k + — | arccos t

,/171

а Tk(t) = coskarccost - многочлен Чебышева I

k=0

рода. При этом для операторов верны оценки

II Нх^ у II Ну ^х

Доказательство. Умножим обе части характеристического уравнения на функцию 1

— q(t)Rk(t), проинтегрируем по переменной I и %

поменяем порядок интегрирования в левой части. В результате получим

х(х)с1х

сК

п -^1-1

Воспользовавшись известным соотношением (см., напр., [2], [7]), имеем

Л = -ОкЮ ,

' -1 » ' ' ^ “ -1 '

следовательно,

с°(х) = -о|к (у).

Поэтому решение характеристического уравнения

(1.2) можно представить в виде

х

к=0 к=0

Оценим норму обратного оператора. Для этого

сначала найдем норму функции х

и с помощью свойств полиномов Чебышева

5+ЇОк (, )0,(, )й = п

имеем

МІХ = 1

Ё с° (х)Ок (‘

к=0

-Л, =

Ё ЁсО(х)сОЦ^Ок(,)О,

к=0 і=0 -| V 1 + 1

= %Е |с? (х) .

к = 0

Из полученных соотношений (1.6)-(1.7) и равенства Парсеваля для любой функции х(1) е X находим

НУ="Ё К

к=0 к=0

Для любой функции у(1 )е У в силу (1.8) и равенства Парсеваля находим

к=0

Отсюда получаем равенства

М

Мх =

їх Н-'ИУ

а из них - утверждение теоремы.

В силу теоремы 1.1 доказывается теорема существования и единственности решения

уравнения (1.1), а именно, справедлива

Теорема 1.2. Пусть функция И

удовлетворяет условиям

тогда при X таких, что х\ 1, уравнение

1 \< М

имеет единственное решение при любой правой части у

Доказательство проводится аналогично доказательству теоремы 1 (см.[4]). Поэтому

остановимся лишь на некоторых отличительных моментах. Уравнение (1.1) эквивалентно операторному уравнению

х = в

(х є Х,В( х): X ^ X).

Для любых х,г е X, учитывая соотношение (1.4), а также неравенство Коши-Буняковского, последовательно находим

где

|ї[И(х) - И(2)]| <

і; І&>- 2(х)йх

{Шх<х> -7=

= 7=11х(х) - ч(х)1 х. V п

Таким образом, из (1.12)-(1.13) следует оценка

Чх  4х - ЧІХ,

т.е. нелинейный оператор В: х ^ х является сжимающим оператором в пространстве Х с коэффициентом сжатия q, определенным в (1.10). Отсюда и из принципа сжимающих отображений (см., напр., [6]) следует, что уравнение (1.11), а, следовательно, эквивалентное ему НСИУ (1.1) имеет единственное решение х" є х при любой функции у є у. Для него справедлива оценка

1 Я

Из (1.14), в силу (1.9), находим

|хЦх <(1- Я)-1|Б-1Ух <(1 - Я)-1|у||у

Тем самым утверждение теоремы доказано.

2. Метод механических квадратур

Приведем вычислительную схему метода механических квадратур для уравнения (1.1).

Схема 1. Приближенное решение ищем в виде многочлена

хп№ = Ё Рк'кС) = Ё Рктг-Щт-Г,

к=1 к=1

где

2к

Хк = сов-------------п

к 2п +1

к = 1, п

корни многочлена Qn(t), определенного в (1.3).

п

Неизвестные коэффициенты р1,р2,...рп

определяются из системы нелинейных

алгебраических уравнений

У Рк^^ +^-^ У (1-Тк )п(1:, Тк,Рк )= у(1:) , 2п + 1£Г тк -^ 2п + 1£Т к'^’к,Рк'

где

1 = 1,П ;

* 21 -1

= СОБ —----------- Л

1 2п +1

- корни многочлена Яп(і) из (1.3).

Отметим, что для получения СНАУ (2.3) обе части НСИУ (1.1) приравниваем в узлах (2.4), вместо х(х) подставляем Хп(х) из (2.1), после чего интегралы Б(хп; ) їи(хп; ) вычисляем

приближенно по квадратурной формуле с узлами

11^Х* ^ Ё

п Ц1 + х 2п + 1 к=1

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

Схема 2. Приближенное решение задачи (1.1) будем искать в виде многочлена

хп () = Ё «к°к-1()Є хп ,

к = 1, п, будем

-1 < 1 < 1, п е N.

Неизвестные коэффициенты а к, определять из СНАУ

п , . X п ( п Л , . _

УлД)+2--1Еп1],тг,ЕакО<-1(тг)|=) \=1п

к=1 2п+1г=1 V к=1 )

Для получения СНАУ

подставляем хп(т) из (2.6), после чего интегралы

Б(хп;1,) ТИ(хп; ) вычисляем приближенно по

квадратурной формуле (2.5) с узлами (2.2).

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

Теорема 2.1. Пусть непрерывные функции у(?) и к(/, т, и) таковы, что в условиях теоремы 1.2 решение х*(1) е С[-11] и функция б(х*;1) е С[-1,1]. Тогда справедливы утверждения:

а) СНАУ (2.3) имеет единственное решение р*,р*,...р* при любых п е N а приближенное решение

хп

к=1

удовлетворяет неравенству

М 4 ,

хп <-

I п1к 1 - q

где q определено в (1.1°).

б) приближенные решения (2.1 ) сходятся

при п^-ос к точному решению х (?) в среднем со скоростью, определяемой неравенством

IIх”-Х"Их < (2л/%Еп-1(Бх')с + 2(Е2П_1(И(х-))с + \ |МБп_1(х* )с ) ,

где Еп ( )с -наилучшее равномерное приближение функции f(1)е с[- 1,1] алгебраическими полиномами

степени п, еп (и)с - частное наилучшее равномерное

приближение функции К1, т,х-(т)) по

переменной т, а М определено в (1.9).

Доказательство. Обозначим через Нп множество всех алгебраических многочленов степени не выше П, где п е N. Введем конечномерные подпространства хп = Нп-1 п X,

7п = Нп-1 п 7 . Обозначим через £П : С ^ Уп, Р- : С ^ X- -операторы проектирования, где рпТф(1, т) -

интерполяционный многочлен Лагранжа функции ф (?, т) по переменной т, построенный по узлам (2.2), а £ ^(1) - интерполяционный многочлен Лагранжа функции ^1), построенный по узлам (2.4).

Для любых п е N справедливы следующие аппроксимативные свойства введенных выше операторов Лагранжа:

£п < II п11о—у

Легко показать, что СНАУ

КПхп  £Ж + И{хп) = £Іпу,

(х"п є Хп , £пу ЄУП ).

Поскольку £ )2 = £П и 8Хп є уп для любого Хп є Хn,

то £1 БХп = БХп Отсюда и в силу (1.4) получаем Вп (Хп)  5-14у --1£пТРпТИ(Хп) = Хп,

Покажем, что оператор В " X — X является

1 1 п ' п п

оператором сжатия.

Для любых хп, гп є Хп последовательно находим, что

п II IIУп —^Хи И IIС——Уп” НС

1 2п

п 2п + '.

Т Ё( - хк хк, хп (хк )) - хк , (хк ))]|

1 к=1

С

2 п 2 л/п п

< \1\4пМ --------- Ё

2п +1 к=1 2п + М к=1

Ё(1 -хк )|Хй (хк) - гп (хк )2 =\А:МГЛ к=1 ^ \

— Ё

2п +1 к=і к>

-хк ^ Хп (хк ) - гп (хк )2 - 2п\х„

^ + 1 к =1

= ИМ|К, - г„\\Хп < ^|хп - г„\\Хп

Поэтому оператор Бп: хп ^ хп является сжимающим в пространстве Хп с коэффициентом сжатия д < 1. Отсюда следует, что уравнение

имеет единственное решение хп е хп при любом у

к=1

e Y. Для него справедлива оценка

Отсюда имеем iix* ц

II nllx 1 — q

Утверждение а) доказано.

оценки скорости

Для

сходимости

приближенного решения хП к точному xn ,

исполъзуя(1.4) и неравенство треугольника, последователъно находим

llx'—x'-lx < llS1UISx'—Sx,|Iy < llSx'—£>И+II£,Sx'—Sx'"IL <

< |Sx'—£,sx'||y +M|£;||c^YnllT[h(x')—pnh(x* )Jc+WI Hnllc^Yn

Оценим каждое слагаемое по отдельности. Учитывая (2.11), имеем

||Sx* — £'nSx*||Y < 2ViE„—1 (Sxn)c.

Для второго слагаемого из

|R„ (ф)= jp(t)[(t) — P„ (Ф; t)]tdt ^ 0 ,

|Rn (ф)< 2E^1WJp(t)dt .

a

С помощью (2.15) находим оценку

И £ ILy, I|t[*) — Pn’h(x*)|C < NV^2E2n_, (h(xn ))c

Так как

llTPn’ [h(x *) - h(xn )]1 = IУ- £ ( — T. )[h(t, (, x * (Tk))-2n + I k=1

2^ t(1

2" 't(1 Xipn' X n(Xk )— Xn(Xk)2 < |pn'*' -*n,IX

2n +

1 k=1

то из неравенства

Отсюда, окончательно получаем

||х* -х„|х < -1-(^л/%Е--1(Бх*)с + 2\7%Е2п-1(И(х*))с +|Х|МЕ--1(х*)с) . * ч

Теорема доказана.

В качестве темы НИРС рассматривался пример приближенного решения НСИУ с использованием пакета МайаЪ. Основным преимуществом предлагаемого подхода является значительное снижение трудоемкости решения поставленной задачи.

Литература

1. Б.Г.Габдулхаев, Прямые методы решения сингулярных интегральных уравнений 1-го рода. - Казань:

Изд-во КГУ, 1995. - 288 с.

2. И.К.Лифанов, Метод сингулярных интегральных уравнениях и численный эксперимент. - М.: ТОО ” Янус“,

1995 - 519 с.

3. А.И.Гусейнов, Х.Ш.Мухтаров, Введение в теорию нелинейных сингулярных интегральных уравнений. - М.:

Наука,1980. - 414с.

4. Л.Е. Шувалова, Квадратурный метод решения нелинейного сингулярного интегрального уравнения. //

Изв. вузов. Математика. - 2007 - № 6. - с. 77-81.

5. В.В.Иванов, Методы вычислений на ЭВМ.

Справочное пособие. - Киев: Наук. думка. 1986. - 584 с.

6. М.А.Красносельский, Г.М.Вайнико, П.П.Забрейко и др. Приближенное решение операторных уравнений. -М.:Наука,1969.- 456 с.

7. И.П.Натансон, Конструктивная теория функций. -М. - Л.: Гостехиздат, 1949. - 688 с.

8. Б.Г.Габдулхаев, Численный анализ сингулярных интегральных уравнений. Избранные главы. - Казань:

Изд-во КГУ, 1995. - 23° с.

9. Р.Г. Мухарлямов, О.В. Матухина, Вестн. Казан. гос. технолог. ун-та, 15, 12, 220-224 (2012).

Р;>

© Л. Е. Шувалова - старший преподаватель кафедры математики НХТИ ФГБОУ ВПО «КНИТУ»; Л. А. Апайчева - доцент кафедры математики НХТИ ФГБОУ ВПО «КНИТУ», shyvalovaLE@yandex.ru.

+

X