Научная статья на тему 'Приближенное решение гиперсингулярных интегральных уравнений сплайнколлокационными методами нулевого порядка'

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

CC BY
106
51
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГИПЕРСИНГУЛЯРНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ / СПЛАЙН-КОЛЛОКАЦИОННЫЕ МЕТОДЫ / HYPERSINGULAR INTEGRAL EQUATIONS / SPLINE-COLLOCATION METHODS

Аннотация научной статьи по математике, автор научной работы — Бойков Илья Владимирович, Захарова Юлия Фридриховна, Алаткин Сергей Павлович

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

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

Похожие темы научных работ по математике , автор научной работы — Бойков Илья Владимирович, Захарова Юлия Фридриховна, Алаткин Сергей Павлович

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

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

УДК 517.392

И. В. Бойков, Ю. Ф. Захарова, С. П. Алаткин

ПРИБЛИЖЕННОЕ РЕШЕНИЕ ГИПЕРСИНГУЛЯРНЫХ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ СПЛАЙН-КОЛЛОКАЦИОННЫМИ МЕТОДАМИ НУЛЕВОГО ПОРЯДКА

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

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

Abstract. Offered spline-collocation methods of the zero order for solution of the one dimensional and multidimensional hypersingular integral equations. Received conditions of the unique solutions for wide classes of hypersingular integral equations. Estimates of error are given for one dimensional and multidimensional Prandle equations.

Keywords: hypersingular integral equations, spline-collocation methods.

Введение

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

1) наряду с традиционными областями применения (механика, аэродинамика, электродинамика) гиперсингулярные интегральные уравнения находят применение в новых областях физики и техники - ядерной физике, геофизике и др.;

2) более детальное исследование многих традиционных задач механики, аэродинамики, электродинамики требует перехода от сингулярных к ги-персингулярным интегральным уравнениям.

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

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

Подробное изложение численных методов решения сингулярных и гиперсингулярных интегральных уравнений содержится в работах [1-7], в которых также имеется обширная библиография.

В работе [8] предложен и обоснован сплайн-коллокационный метод нулевого порядка на равномерной сетке узлов, предназначенный для приближенного решения одномерных гиперсингулярных интегральных уравнений, полигиперсингулярных интегральных уравнений, многомерных гиперсингу-лярных интегральных уравнений.

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

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

Данная статья посвящена построению и обоснованию сплайн-коллока-ционных методов решения одномерных и многомерных гиперсингулярных

интегральных уравнений на классе функций 0Г у (й,М), Qr^ (й,М).

Дадим описание классов функций 0й у (й, М) и ^у (й, М).

Определение 1.1 [9, 10]. Пусть й = [-1,1]1, I = 1,2,..., и = 0,1,... Функция ф(Х1..., ) принадлежит классу ОТ- у (й,М), если выполнены условия

max

xeQ

Э^ф(x)^x^ "•Эx^l

< M, при 0 <| v |< r;

Э|1;|ф( x)/9xj;i...9x^

< M (1+ |ln ud (x, Г) |)/(d (x, r))|v|“r , x ей \ Эй, при r <| v |< s,

где s = r + [y] +1, Y = [Y] + Ц, 0< Ц <1, С = 1 "Ц при у нецелом, s = r + y при

Y целом, d(x, Г) - расстояние от точки x до границы Г области й,

вычисляемое по формуле d(x, Г) = min min(| 1 + xt |,|1 - xt |).

1<i<l

Определение 1.2 [9, 10]. Пусть й = [-1,1]1,l = 1,2,...,у - целое число, s = r + у. Функция ф( x1,., xi) принадлежит классу Q^y (й, M), если выполнены условия

max

xeQ

Э|v|ф(x)^x^ --^x^

< M , при 0 <| v |< r -1,

Э|v|ф(x)/ЭxVl --^xii1

< M (1+ |lnud (x, Г)|), x єй \ Эй, при | v |= r,

Э|1;|ф(x)^x^ --^і1

< M (1+ |lnu-1d(x, Г) |)/(d (x, H)v-r, x єй \ Эй, при r <| v |< s.

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

Здесь исследуется сплайн-коллокационный метод нулевого порядка на неравномерной сетке узлов, предназначенный для приближенного решения гиперсингулярных интегральных уравнений

1 ( ) 1

a(t)x(t) + b(t) Г x(T) dx + Гh(t, т)x(x)dx = f(t), (1)

—1 (x "t)p —1

где a(t), b(t), f(t) е Ha (1), h(t ,т) е H (1), 0<a<1, p = 2,4,6,...

Приближенное решение уравнения (1) будем искать в предположении, что функция Ь(ґ) Ф 0 на сегменте [-1, 1]. Кроме того, будем считать, что

уравнение (1) однозначно разрешимо при любой правой части /(ґ) є Иа,

* 0 0<“<1, и его решение х (ґ) принадлежит классу функций Qrу(й,М).

1 2

Разобъем сегмент [-1, 1] на 2N частей = [ґк ,ґ£+1], Д к =[т£+1,т£ ],

к = 0,1,..., N -1, точками Ґ£ = -1 + (к/Ы), =1 - (к/Ы), к = 0,1,..., N

V = s/(s -у).

Приближенное решение уравнения (1) будем искать в виде кусочнопостоянной функции

N-1 N-1

хМ (ґ) = 2 “к ^к (ґ) + 2 “к ¥к (Ґ ^ (2)

к=0 к=0

11, ґ єДк

где у1к (г) = \ . I = 1,2.

к0, г е [-1,1]\Ак,

Коэффициенты ак, / = 1,2, к = 0,1,., N -1, будем находить из системы линейных алгебраических уравнений:

а(ґк)ак + Ь(ґк) 2 ,а11-------- — + ь(ґк) 2“2 |

- +

/=0 Д1 (т - ґк )Р і=0 Д2 (т - ґк )Р

Д1 Д1

N-1 _ _ N-1 _ _ _

+ 2 ^с^Щґк, ґі) + 2 й/2“2 Щк, ті ) = / (ґк), к = 0,1,.., N -1; (3)

/=0 1=0

о(тк)“2 + Ь(тк) 2“1------------=—Р + Ь(тк) 2 I

і=0 Д1 (т- тк К і=0 Д2 (т- тк )Р

Ді Ді

N-1 _ _ N-1 _ _

+ 2й/«1^(тк,ґі) + 2йі2«2Мтк,ті) = /(тк), к = 0,1,...,N -1, (4)

і=0 і=0

где = ґк+1 - ґк, кк= тк-тk+1, к = 0,1,...,N -1 ґк =(ґк + ґк+1)/2,

- N-1, - т

тк =(тк+1 + т£ )/2, к = 0,1,..., N -1, 2 '“к I---------=---- означает суммирова-

і=0 д1 (т-ґк )Р

Ді

ние по і Ф к -1, к + 1, причем если к = N -1, то это означает суммирование по

N-1 , N-1 ,

ат 2 ат

- +

і Ф N - 2 в сумме 2 “) 177 --------- и по і Ф N -1 в сумме 2 “к I

і=0 д1 (т-ґк)Р і=0 Д2 (т - ґк)Р

Ді Ді

Аналогичный смысл символ 2 имеет и в системе уравнений (4).

Исследуем разрешимость системы уравнений (3)-(4). Исследование разрешимости этой системы проведем, опираясь на теорему Адамара об однозначной разрешимости систем линейных алгебраических уравнений.

Обозначим через А матрицу левой части системы уравнений (3)-(4): А = {ак1}, к, і = 1,..., 2Ы.

Диагональные элементы матрицы А имеют вид

акк = а(ґк) + Ь(ґк) I-----т-+ И1кИ(ґк, ґк), к = 0,1,..., N -1;

А1 (т-ґк )Р

akk = a^k) + Ь(т] ) Г

d т о “ ”

+ \^т], т]), k = 0,1,..., N -1.

2 (т-т])p

Оценим модули диагональных элементов. При этом достаточно ограничиться оценкой акк при 0 < к < N -1. Очевидно,

I акк 1=1 а(гк) + Ь(!к) [ ^— + ИкИбк,Ь )|>

А1 (т-гк)Р

>|b(t] )|

d т

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

*1 (т-1])p

-1 h]h(t], t])| -1 a(t]) I;

d т

j (т-1])p

> 2 . 11p t , Ia(tk)|<a*, hkh(t],t])|<hkH*

p - 44)p-1

где a = max I a(t)|, H = max | h(t,т) |.

-1<f<1 -1<t ,т<1

Таким образом,

I a]] I> 2p|b(t])I 11p1 -1 a(t]) I -hkk1 h(t], 4) I.

p -1 (h\)p-1

(5)

Оценим сумму внедиагональных элементов в к -й строке матрицы А. Нетрудно видеть, что

2n

2|akl |<| b(tk ) l=0

N -1

"| г d т + г ; *1 (т-tk)p + ; 2 (т-1])

N-1

d т

-<^p

N-1 * _ _ N -1 _ _

+; h/1h(t],tl)|+;hl2|h(t],tl)|, l=0 l=0

(6)

где означает суммирование по I Ф к — 1, к, к +1, I по I Ф к. В случае, I I

если к = N — 1, то относительно суммы I следует сделать такое же

I

замечание, какое было сделано относительно суммы I в уравнениях (3)-(4).

I

Приступая к оценке (6), предположим, что 0< к < N — 2, тогда

1

N-1

v 1 ^ г d х % 1 г

+ А (х - tk)p

N -1

d х

k-1

f—dx— + г

I (х-tk)p , (x-tk)p

1 к+2

d x

(-1)p 1 1 1 1 1 1

p-1 _ (tk - tk-1)p 1 (1 + tk )p 1 _ p-1 _(1 - tk ) p 1 (t£+i_tk ) p 1 _

<-

p-1

(hk-1 + hk /2)p-1 (hk+1 + hk /2)p-1

(7)

Пусть теперь k = 0, тогда

N-1

d x d x

» г u x p

;~0 A(x- -to)p + ;?o A (x -1o)p

d x

(x-1 o)p

<-

p -1(t2 - to)p-1 p -1 (h +ho/2)p-1'

(8)

Остальные случаи рассматриваются аналогично.

Из неравенств (6)-(9) следует, что при выполнении неравенств

2 ^ (1k )l /p 1 - I a(tk )| -hI | h(tk,h) |> p -1 (h\)p-1

>

\b(tk)

p 1

1

1

(hk-1 + hk /2)p -1 (hk+1 + hk /2)p -1

+ 2H , k = o, 1,..., N-2,

2p 1b(to)| 1 , 4I 7oi,r ~ 4i I b(to)|

----' У 1 1 p 1 -|a(t o)|-h^|h(t o, t o) |>

p-1 (h1)p-1 p-1

p -1 (h1 + /tq/2) p

-1

+ 2 H

и аналогичных неравенств, связанных с рассмотрением узлов %к, к = 0,1,.., N — 2, ^—1, ^—1, система уравнений (3) однозначно разрешима.

t

2

Замечание 1. Аналогичные результаты справедливы и для гиперсингу-лярных интегральных уравнений вида

а(1)х(1) + Ь(1) | Х ^ріх + |^’Т)х(х)ИТ = ?)’ р = 1’ 2’ -’ 0 < Т <1‘

_1І Х - 1 І _і

Рассмотрим уравнение первого рода

ГЩ; = А!), Р = 2,4,6,... (9)

:1(^_!)р

которое находит широкое применение в аэродинамике.

Приближенное решение уравнения (9) будем искать в виде кусочнопостоянной функции (2), коэффициенты которой находятся из системы линейных алгебраических уравнений

N-1 л N-1 ,

V „і Г ИХ + V а2 Г ИХ = /(гк), й дГі(х_ !к)р й д2(^_ *к)р ді д1

N-1 И N-1 И -

V а1 Г----+ V а2 Г-------------= /(%к), к = 0,1,..., N -1. (10)

/=о ді(х- Хк У і=о д2(т- Хк У

д1 ді

Повторяя рассуждения, приведенные при обосновании вычислительной

схемы (3)-(4), можно показать, что при N > 3 система уравнений (10)

однозначно разрешима.

Рассмотрим уравнение первого рода вида

1

І^мИ+т = (Ц)

-| | Х - і | Р+Т

где р = 1,2,..., 0< Т <1.

Приближенное решение уравнения (11) будем искать в виде кусочнопостоянной функции (2), коэффициенты которой находятся из системы

+й'“2/гх%=/ (*к )■

і=0 д11 Х 1к 1 і=0 д2 1 Х 1к 1

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

ді ді

N-1 И N-1 И _

Vа1Ітт-гр+т + Vа21 ттіЬт=/(Хк), к=0,1,...,N-1. (12)

і=0 д11 Х Хк 1 і=0 д2 1 Х Хк 1

ді ді

Повторяя рассуждения, приведенные при обосновании вычислительной схемы (3)-(4), можно показать, что при N > 3 система уравнений (10) однозначно разрешима. Кроме того, повторяя рассуждения, приведенные в работе [8], можно показать, что при р = 1, 0 < Т <1 норма разности в метрике

пространства С между решениями х (V) уравнения (11) и х N (?) системы

* * —(1 —Л)

уравнений (12) удовлетворяют неравенству || х (V) — хы(0||< АЫ у \

3. Приближенное решение многомерных гиперсингулярных интегральных уравнений сплайн-коллокационным методом нулевого порядка

В этом разделе исследуется сплайн-коллокационный метод нулевого порядка решения гиперсингулярного интегрального уравнения

а(Н, t2 ) х(^1, t2) + Ь(1 t2)j -х(тЬ т2) ё х\а Х2 +

О(( —11 )2 + ( —12 )2 )

+ Jh(tl, t2, Т1, Х2) х(Т1, Т2 = /(tl, t2), (13)

О

где О = [—1,1;—1,1];р = 3,4,...; а(1t2),Ь(^,12), /(^,t2), Н(^,12,Т1,Т2) - гладкие функции.

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

Будем искать приближенное решение уравнения (13) в предположении, что оно принадлежит классу функций Qry (О, М).

Обозначим через Дк множество точек х еО, удовлетворяющих неравенствам

к У _ „ ( к + ГУ

N) - й(х Г) -1.” і • * = 0'1'-' Н-'■

где й (х, Г) - расстояние от точки х до границы Г = Эй области

й,V = s/(s- у). Пусть к* = ((к + ^/Н)1 -(кlN)v, к = 0,1,...,Н- 2,

км-1=1- ((Н - 1)/Н ).

Каждую область А* покроем квадратами ■ с ребрами, имеющими

11'‘2

длину к* и параллельными координатным осям. То обстоятельство, что .к

среди квадратов А может встретиться четыре прямоугольника, у которых

г1,г2

длина одной стороны меньше к*, не влияет на общность рассуждений. Для

простоты все области А^ ■ будем называть квадратами.

гК2

Приближенное решение уравнения (13) будем искать в виде кусочно постоянной функции

ХН (М2)= 21“!, * [ '1.'2; а*а) (14)

*=0 гьг2 1 4 17

У('ъ'2;Аі1і2)- '

1 ('1, '2) eАi1,г2•

0, ('1, '2) е[-1,1]2\ А*

I г1,г;

..к

коэффициенты а. . которой находятся из системы линейных алгебраиче-

г1,г2

ских уравнений

ад*+^(1^,.2)71

1 0 >1 >2 А1

N-1

ХН (т1• т2) й х1й т2

>1,>2 ||*1 ^ I + [ ^2-12

ЛР'

■/2

к . ак.

1 ,г2 ’ >1,>2 і >1,>2 >1,>2

(15)

где ак . - площадь области Дк . , [ Vе , V. | - центр области Дк . . В фор-

Л,.2 Л. ^ г1 г2 ) г1,г2

Ы4 к

муле (15) Ш означает суммирование по всем квадратам Д. , осуще-

I=0 11 12 11,12

N—1

ствляющим покрытие области О, сумма Ш' означает суммирование

I=0 .1 .2

по всем квадратам Д. . , которые не соприкасаются с квадратом Дк. ,

причем сам квадрат А*. учитывается в сумме Ш'

1 _0 >1 >2

N-1

В формуле (15) правая и левая части приравниваются в центрах V.

.1 ='/

всех квадратов А* . , покрывающих область й.

Доказательство однозначной разрешимости систем уравнений (15) проведем, используя теорему Адамара об однозначной разрешимости систем линейных алгебраических уравнений. Для этого вначале оценим абсолютную величину диагональных элементов матрицы Ку, представляющей левую часть системы (15).

Диагональные элементы Ку имеют следующий вид:

а:

-к у [ -к

М, | !^1 -11 I + 1*2 -^

■/2

+

к , (~к -к

+ а. .к I V. . , V.

11,12

Ч,12 Ч,12

(16)

Оценим интеграл

ё х^ Т2

Т1 — V I +1 Т2 — V

■/2

\.к

Так как Д. . - или квадрат со стороной кк, или прямоугольник, у

которого длина одной стороны равна кк, а второй меньше кк, то достаточно оценить модуль интеграла

ё х^ Т2

н

/2 2 \

—а—а I + ^2 )

(17)

где а = кк /2.

Это следует из того, что модуль интеграла вида (17) по прямоугольнику со сторонами а и Ь, Ь < а, будет больше, чем модуль интеграла (17) по

квадрату [—а, а]2 .

Очевидно,

11

ё х^ Х2

-а—а л/2

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

(х2 +х2) р'2

л/2а/ оо8(ф—л/4)

I 1 :

ё р

л/4 0

л/4

(Р — 2)аР—2 л/4

1 (оо8(ф — л/4))р 2ёф:

(р — 2)ар 2 0

1 (008 ф)р 2 ёф

>

>-

— 2)2 ар—2

(р — 2) а

(■Л ^р—2

, 2 ,

V )

Отсюда следует, что

Ки —

ЬIV*. )

*1,г2 I

8(\/2)р—2 1

(р — 2)2 к,р—

—(кк/2)2

(18)

Приступим к оценке суммы модулей внедиагональных элементов матрицы М. Нетрудно видеть, что

<|Ь(-2, -2 )1 г1 г2

Л

й\А*

й %1<і <2

■/2

+ 4к

(19)

где Д* - область, состоящая из квадрата Д. ■ и всех остальных квадратов

г1,г2

Д. . , имеющих с Дк . непустое пересечение.

. ,г2 . ,г2

N—1

Здесь означает суммирование по квадратом Д. . , в число

.=0 .1 .2

которых не входит квадрат Дк . , и все квадраты с ним соприкасающиеся,

г1,г2

к = тах | k(tl,^,Хl,Х2)|.

—^ ^,Х1,Х2 <1 Оценим сверху модуль интеграла

И

й %1<і <2

й\А*| [ -к '2 , [ -к'2'Р

<1 --0 + I <2--.2, ,

/2

При этом необходимо рассмотреть два случая: к = 0 и к = 0. Вначале рассмотрим первый случай. Очевидно,

Я

й\А*

й <1<і <2

<1 )2 +(<2 ~-(1'

<

I I

й <1<і <2

<1 -V0 1 .

Л <2

)

/2

<

<

I I

й <1<і <2

й <1<і <2

<1 --° ) +(<2--°

V і

/2

II 2 2

5(0,2л/2)\5(0/0*) (<2 +<2)

2 л 2л/2

<

II Р^

йр < 2л 1

РР-1_ Р- 2 (г*)Р-2'

(20)

Здесь г0 =3к)/2, 51 (а, р) - круг радиуса р с центром в точке а. Из (19) и(20) следует, что

N-1

ш I 2 II ( . , г'2 ) I р - 2 1=0 >1 >2 Р 2

Р

3к0

+ 4к .

(21)

Рассмотрим теперь случай, когда к = 0. Очевидно,

г0

N-1

1 т*і|-

1=0 >1 >2

I I

й <1^ <2

<1 -V

1 і

+ | <2 - V

г2

/2

<

I I

й <1^ <2

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

5(0,2л/2)\5(0,Г*) (1 +<2

р/2

<

Р- 2(г*)Р-

(22)

где Г* =(кк—1 + кк/2).

Из (19) и (20) следует, что

2221Щ, |<| Ь(*к, (—

1~0тт 11 2 р—2V2кк—1+кк

Р

+ 4к

(23)

.1 .2

Из неравенств (18), (21) и (18), (23) следует, что если выполняются неравенства

2

’(V0 . )

\ 1Ъ12 )

8(Т2)р-2 1

(Р- 2)2 кр~

a\v

г0

-0 -0 V. . ,V. .

>

>

ЬIV0 .

г1,г2

2

при всех /'1, /'2 и неравенства

8^л/2) р-2 1

Ь| V*.

1.2

(Р- 2)2 кР-

Р-21 3к0

а [ V*.

+ 4к

>

Ь| V*.

Р-2

к| V* . ,V*.

г1•/

>

V 2кк-1 + кк

+ 4к

(24)

при всех к,/'1,/'2, то система уравнений (15) однозначно разрешима.

Замечание. Неравенства (21) и (23) можно ослабить и, следовательно, доказать однозначную разрешимость системы уравнений (15) при более общих условиях.

Рассмотрим гиперсингулярное уравнение первого рода

Ф(<1, <2)

1 1

Ц —

-1-1((<1 -'1) + (<2 -'2) )

= / ('l• '2)•

(25)

где 3,4,....

При р = 3 уравнение (25) - это уравнение Прандтля, являющееся ключевым в аэродинамике.

Приближенное решение многомерного уравнения Прандтля исследовалось в работах [6, 8, 11].

В книге [6] для приближенного решения уравнения Прандтля был применен метод дискретных вихрей.

В работе [11] предложен оригинальный метод, основанный на построении последовательности обратимых матриц.

В случае равномерной сетки узлов сплайн-коллокационный метод нулевого порядка исследован в [8], где доказана однозначная разрешимость вычислительной схемы и получена оценка погрешности.

В работе [11] отмечена в связи с большим прикладным значением уравнения Прандтля необходимость в разработке эффективных методов его решения.

Ниже описывается сплайн-коллокационный метод нулевого порядка решения уравнения (25) на неравномерной сетке узлов.

Приближенное решение уравнения (25) будем искать в виде кусочнопостоянных функций (14), коэффициенты (ак. } которых находятся из системы линейных алгебраических уравнений

ё Х1ё Х2

г1 ^2

N-1

20 Е&и I I

1 _0 >1 >2 а 1

' -к '2 [ -к '2 'Р/2 <1 --т) + V<2 ^

(26)

~ —к

в которой левые и правые части приравниваются во всех узлах V. . ,

расположенных в области й.

Вначале докажем однозначную разрешимость системы уравнений (26).

При этом для простоты будем считать, что все области Дк . - квадра-

1 2

ты. Оценим снизу модули диагональных элементов матрицы левой части системы уравнений (26).

Выше было показано, что

Л

к

ё х.ё Т2

г1

^2 1 I Т1 “V, I +1 Т2 -V

ЛР/2

(Р“ 2)

— | | (оо8 ф)Р 2 ёф.

Оценим теперь сверху сумму модулей внедиагональных элементов. Очевидно,

N -1

ё х.ё

й\Дк г г1, г2

х р/2 ’

N -1

где Ш' означает суммирование по всем наборам верхних и нижних 1=0 71 72

индексов (1,71,72) таких, что (1,71,72) ф (к, г1, г2).

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

ё ^ё Т2

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

-к Х2 г -к '2

Т Л ] + 1 "2 “ \

/2

У

ё ^ё Х2

г1,г2

Т1

тгк

V. I + I То - V.

г1 ^ .

тгк

/2

Интеграл /2 был оценен выше и он равен

(Р“ 2)

— | | (оо8 ф)р 2 ёф.

Интеграл /1, будучи гиперсингулярным интегралом, принимает отрицательные значения. Нетрудно видеть, что | /1 |< I /2 |.

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

\J\=\JX-J2MJ2|-|Jll<|J21-

Таким образом, выполнены условия теоремы Адамара, и система

уравнений (26) однозначно разрешима.

При p = 3, повторяя рассуждения, приведенные в [8], можно показать,

что

II ** -4 lb(П)^ BN-1/2,

* *

где x и Xn - решения уравнений (25), (26) соответственно.

Список литературы

1. Иванов, В. В. Теория приближенных методов и ее применение к численному решению сингулярных интегральных уравнений / В. В. Иванов. - Киев : Наукова думка, 1968. - 287 с.

2. Гохберг И. Ц. Уравнения в свертках и проекционные методы их решения / И. Ц. Гохберг, И. А. Фельдман. - М. : Наука, 1971. - 352 с.

3. Michlin S. G. Singulare Integraloperatoren / S. G. Michlin, S. Prossdorf. - Berlin : Acad. Verl., 1980. - 514 p.

4. Prossdorf, S. Numerical Analysis for Integral and Related Operator Equations / S. Prossdorf, B. Silbermann. - Berlin. : Acad. Verl., 1991. - 544 p.

5. Лифанов, И. К. К решению составных особых интегральных уравнений / И. К. Лифанов // Успехи современной радиоэлектроники. - 2006. - № 8.-С. 62-67.

6. Вайникко, Г. М. Численные методы в гиперсингулярных интегральных уравнениях и их приложения / Г. М. Вайникко, И. К. Лифанов, Л. Н. Полтавский. -М. : Янус-К, 2001. - 508 с.

7. Бойков, И. В. Приближенные методы решения сингулярных интегральных уравнений. - Пенза : Изд-во ПензГУ, 2004. - 316 с.

8. Boykov, I. V. An approximate solution of hypersingular integral equations / I. V. Boykov, E. S. Ventsel, A. I. Boykova // Applied Numerical Mathematics. - 2010. -№ 60. - P. 607-628.

9. Бойков, И. В. Аппроксимация некоторых классов функций локальными сплайнами / И. В. Бойков // Журнал вычислительной математики и математической физики. - 1998. - Т. 38. - № 1. - С. 25-33.

10. Бойков, И. В. Оптимальные методы приближения функций и вычисления интегралов / И. В. Бойков. - Пенза : Изд-во ПензГУ, 2007. - 236 с.

11. Оселедец, И. В. Приближенное обращение матриц при решении гиперсингулярного интегрального уравнения / И. В. Оселедец, Е. Е. Тырты-шников // ЖВМ и МФ. - 2005. - Т. 45. - № 2. - C. 315-326.

Бойков Илья Владимирович

доктор физико-математических наук, профессор, заведующий кафедрой высшей и прикладной математики, Пензенский государственный университет

Boykov Ilya Vladimirovich Doctor of physical and mathematical sciences, professor, head of sub-department of higher and applied mathematics,

Penza State University

E-mail: math@pnzgu.ru

Захарова Юлия Фридриховна

кандидат физико-математических наук, доцент, кафедра высшей и прикладной математики, Пензенский государственный университет

E-mail: math@pnzgu.ru

Алаткин Сергей Павлович аспирант, Пензенский государственный университет

E-mail: math@pnzgu.ru

Zakharova Yuliya Fridrikhovna Candidate of physical and mathematical sciences, associate professor, sub-department of higher and applied mathematics, Penza State University

Alatkin Sergey Pavlovich Postgraduate student, Penza State University

УДК 517.392 Бойков, И. В.

Приближенное решение гиперсингулярных интегральных уравнений сплайн-коллокационными методами нулевого порядка / И. В. Бойков, Ю. Ф. Захарова, С. П. Алаткин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2010. - № 3 (15). -С.28-42.

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