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

2017 Математика и механика № 50

УДК 519.642.4

Б01 10.17223/19988621/50/2

Д.Ю. Иванов

О РЕШЕНИИ ПЛОСКИХ ЗАДАЧ НЕСТАЦИОНАРНОЙ ТЕПЛОПРОВОДНОСТИ КОЛЛОКАЦИОННЫМ МЕТОДОМ ГРАНИЧНЫХ ЭЛЕМЕНТОВ

Предлагается разновидность коллокационного метода граничных элементов с кубической скоростью сходимости, позволяющего получить решения начально-краевых задач с граничными условиями первого, второго и третьего рода для уравнения д1и = а2Д2ы - ри с постоянными а,р > 0 в плоской

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

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

В настоящей работе предлагается полностью обоснованный коллокационный метод граничных элементов (КМГЭ) [1, с. 21], позволяющий получить численные решения внутренних и внешних начально-краевых задач (НКЗ) с граничными условиями первого, второго и третьего рода для уравнения д(и = а2Д2ы - ри с постоянными а, р > 0 в плоской пространственной области при нулевом начальном условии. Решения ищутся в виде потенциала двойного слоя для задачи Дирихле и в виде потенциала простого слоя для задач Неймана и Робина с неизвестными функциями плотности, определяемыми из граничных интегральных уравнений (ГИУ) второго рода. Ранее обоснование коллокационных схем для решения ГИУ второго рода, возникающих в задачах нестационарной теплопроводности, выполнялось в работах [2-4]. В этих работах исследовалась задача Неймана и решение находилось в виде потенциала простого слоя. В работах [2, 4] доказательство сходимости метода было сделано на границах класса гладкости Сш, а в работе [3] -на негладких поверхностях, удовлетворяющих условию типа Липшица. В работе [4] разработана методика численного решения ГИУ с сингулярной правой частью на основе соответствующей замены переменной. Обоснование КМГЭ для плоской задачи Дирихле дано в работе [5], при этом используется ГИУ первого рода и решение ищется в виде потенциала простого слоя.

Во всех перечисленных работах, а также других работах, посвященных обоснованию КМГЭ, вопрос аппроксимации интегралов на пространственно-временных граничных элементах (ГЭ), которые образуются в результате кусочно-полиномиальной интерполяции функции плотности, считается чисто вычисли-

тельным и выносится за рамки доказательства сходимости методов, которое предполагает точное вычисление таких интегралов. При этом, как правило, в первую очередь осуществляется аналитическое интегрирование по временной переменной т (при р = 0 это возможно). Затем выполняется интегрирование по длине дуги 5 (в плоском случае), причем в случае интегрального оператора двойного слоя интегралы вычисляются с помощью простых квадратурных формул Гаусса (ПКФГ) [1, с. 79; 4]. В случае интегрального оператора простого слоя на сингулярных ГЭ выделяется логарифмическая особенность, которая для простых геометрий интегрируется аналитически, а все остальные интегралы по 5 также вычисляются с помощью ПКФГ [5; 1, с. 172] (сингулярными называются ГЭ, содержащие точку с парой значений т = 0, г = 0; г - расстояние от граничной точки, в которой вычисляется интеграл как функция от параметра, до текущей граничной точки интегрирования). При таком подходе не учитывается неограниченное возрастание производных подынтегральной функции на определенной части околосингулярных ГЭ при измельчении сетки, а также неограниченность таких производных на сингулярных ГЭ в случае интегрального оператора двойного слоя, что не позволяет в принципе применять ПКФГ без снижения порядка аппроксимации схемы в целом. Вместе с тем применение ПКФГ дает хорошие результаты, если точки, в которых вычисляются интегралы на ГЭ как функции от параметра, расположены на границе между ГЭ.

Не имея возможности ни обосновать применение ПКФГ теоретически, ни опровергнуть практически, автор предлагает для вычисления интегралов по длине дуги 5 на сингулярных и околосингулярных ГЭ аппроксимацию третьего порядка относительно шага по длине дуги, использующую осуществимое для любого аналитически заданного контура точное интегрирование по расстоянию г между точками границы. При таком интегрировании роль весовых функций играют функции переменной г, порожденные фундаментальным решением уравнения теплопроводности, а остальная часть подынтегральной функции аппроксимируется с помощью квадратичной интерполяции по г. Так вычисляются интегралы на сингулярных ГЭ, а также на околосингулярных ГЭ в некоторой фиксированной по длине дуги области, прилегающей к сингулярному ГЭ, а на остальных ГЭ интегралы по 5 вычисляются с помощью ПКФГ. Первоначальное интегрирование по т

проводится аналогично: множитель р т аппроксимируется с помощью кусочно-квадратичной интерполяции, и тогда интегралы вычисляются точно. Стоит отметить, что здесь при решении ГИУ не осуществляется кусочно-полиномиальная интерполяция функции плотности по времени, как это делается обычно в КМГЭ, а выполняется кусочно-квадратичная интерполяция временной С0-полугруппы, через которую выражаются ядра интегральных операторов. В целом получена схема с кубической скоростью сходимости относительно шагов по времени и длине дуги. Доказана сходимость в равномерной операторной топологии как сеточных операторов, аппроксимирующих разрешающие операторы ГИУ, так и сеточных функционалов, определяющих приближенное решение НКЗ в любой точке пространственно-временной области. Доказана устойчивость приближенных решений ГИУ и НКЗ к возмущениям граничных функций. Полученные результаты справедливы для границы с гладкостью С5. Приведены результаты вычислительных экспериментов, подтверждающие кубическую сходимость приближенных решений всех трех НКЗ в круговой пространственной области.

В заключение отметим, что в данном КМГЭ используется равномерная временная сетка. Благодаря этому разрешающие ГИУ сеточные операторы экономно вычисляются, так как имеют вид полиномов, образованных степенями оператора правого сдвига на временной сетке. Матричные коэффициенты таких полиномов реккурентно находятся с помощью матричных коэффициентов прямого сеточного оператора ГИУ, имеющего аналогичный вид.

Предварительные замечания

Пусть О+ - плоская открытая ограниченная односвязная область, и О- = Я2 \ О+ (Я = (-да, ). Кроме того, пусть дО, граница области О+ , является кривой класса гладкости С2, если не оговорено особо. Рассмотрим четыре краевые задачи (внутренние и внешние при I = 1,2):

а2 А2и± - ри± = В и± (х = (х1, х2) еП± ), и± = (х е дО ), дпи± - пи± = (х е дО ), (1)

где и± (х) и (х) - векторные функции со значениями в пространстве Ь2 = Ь2 (1Т) (1Т = [0, Т]), заданные на множествах О± и дО соответственно (все вводимые здесь пространства функций считаем комплексными); п - нормаль к кривой дО в точке х е дО, направленная внутрь области О+; р > 0, А2 = дХ1Х +д22Х2 (непрерывность и дифференцируемость векторных функций предполагается здесь в норме пространства их значений, в данном случае - Ь2 ), а > 0 - коэффициент температуропроводности, п^ 0 - коэффициент теплообмена на боковой поверхности цилиндра (р, а, п - постоянные); В - замкнутый оператор в Ь2: (В/) Ц) = /' ((), заданный на множестве -О(В) абсолютно непрерывных на промежутке 1Т функций /(/) е Ь2, таких, что /(0) = 0 . Заметим, что в настоящей работе рассматриваются только линейные пространства и операторы.

Пусть С (О ') и Ск (О ') - пространства непрерывных и к раз непрерывно дифференцируемых на некотором множестве О ' с Я2 векторных функций со значениями в Ь2. Авторами [6, 7] доказана однозначная разрешимость задач (1) в классе С (О±) п С2 (О±) при любых е С (дО). Решения имеют вид векторных потенциалов - криволинейных интегралов первого рода:

и± (х) = О1 (х) у± , и± (х) = О0 (х) у± (х еО± ), (2а)

где функции у± е С (дО) находятся из соответствующих ГИУ: (о± у±) (х) = (х) (х едО , I = 1,2); О± = ±2-1 + О1, О± = +2-1 + О2-п О0; (2Ь) О, (х) / = (О, /) (х) К, (х, х ') / (х ') ds' (/ е С (дО), I = 0,2),

дО

КI (х, х') (х Ф х') - ограниченные операторы в пространстве Ь2, определяемые равенствами:

K, (x,x')f g, (x,x',t)e p%U(t)f dт (f e Z2 ), g0(x,x',т) = a0(r,т), It

g, (x, x', t) = a, (r, т) b, (x, x ') (i = 1,2), a0(r, т) = a(r, т), aj(r,t) = a2(r,t) = -r dra(r,т), bi (x,x') = dn lnr-1.

Здесь a(r,т) = (4лт) 1 expr^/(4a2T^J, r = |x -x'|; n1 и n2 = n - нормали к кривой dQ, проходящие через точки x ' и x соответственно и направленные внутрь области Q+; дифференцирования д и д осуществляются соответственно по точкам x ' и x. Операторы U(т) образуют С0 -полугруппу правых сдвигов, порождаемую оператором B: (U(т) f )(t) = f (t -т) при т< t, (U(т) f)(t) = 0 при т> t, Bf = lim T-1(f - U(т)f) (f e D(B)). Заметим, что

т^+0

||U(т)|| = 1 при t<T , U(т) = O при t>T (O- нулевой оператор).

Введем в рассмотрение параметрические уравнения кривой dQ: xl = Х1 (s), x2 = Х2 (s). Параметр s по модулю равен длине дуги, откладываемой от некоторой фиксированной точки и заканчивающейся в точке x(s) = (X(s), Х2(s)), причем s > 0, если дуга откладывается по часовой стрелке, и s < 0, если против. Функции Х (s), Х2 (s), периодические с периодом 2 S (S - половина длины dQ), осуществляют взаимнооднозначное отображение множества IS =[-S, S) на множество dQ. Условимся далее писать dQ e Ck, если функции Х, (s) (i = 1,2) имеют непрерывные производные на замкнутом множестве IS до порядка к включительно, причем Х( )(-S + 0) = Х()(S - 0) (I = TJ).

Введем в пространстве C(dQ) норму: ||f|C(dQ) = max||f (x)||L . Обозначим

( ) Хедй 2

через Ck (dQ) (к e N = {1,2, ...}, C0(dQ) = C(dQ)) банаховы пространства, состоящие из функций f e C(dQ), имеющих непрерывные на множестве dQ производные f(1): f(1)(s) = dlf (x(s))/ds' (s e IS , l = 1,к), с нормой

llfl C (dQ) = maxll f W|| .

iiC (dQ) i=0kH IIc (dQ)

Обозначим через Hn (n e N) гильбертово пространство функций f e L2 :

1/2

(H0 = L2). Введем в

Bm f e L2 (m = 1, n), с нормой

llHn

Уn IIb

m=0

m=0 ii j ||l,

рассмотрение банаховы пространства Скп (дО) (к е Z+ -{0,1,...}, п е N, С0 (дО) - Ск (дО)), состоящие из элементов / е Ск (дО), таких, что /(х) е Нп

при х едО и Вт/ е Ск(дО) (т = Щ), с нормой ||/|| к^ - тах_||/(1 Ч^Ц .

п 1—0, к

Будем рассматривать также банаховы пространства Скпт (дО) - С¡к (дО) пСп+т (дО) с нормой Щс1т(дО)-\\A\ai(дО) +1 /IСп+т(дО) (кпе2+ , те^ ^(¿Ю)-Спк(дО)).

Условимся оператор А, отображающий банахово пространство B в банахово пространство С, обозначать как А [ B ^ С ], а если С = B, то А [ B ]. В силу теорем 2 и 3 [8] имеет место утверждение:

Теорема 1. Пусть дО е Ск+2. Тогда операторы О± [ Скп т (дО) ] всюду определены, ограничены и ограниченно обратимы (к,т, п е Z+).

Введем в рассмотрение банахово пространство С (Н) непрерывных на множестве Н = дОх 1Т скалярных функций /(х, t) с нормой ||/|С(Н) = тах|/(х, t)|.

(н) (хД)еН

Введем также в рассмотрение банаховы пространства Ск(Н) и Сп(Н) (к е Z+, п е Z+, С0 (Н) = С0 (Н) = С(Н)) функций / е С(Н), имеющих непрерывные на

множестве

IS х IT скалярные производные (dlsf) (s, t) - dlsf (.(s), t) (l = 0, к) и

dm f (.,t) (m = 0,n) соответственно с нормами ||/||ck(Е) - max||3s/||c(„) и ||/||c („) - max dmf\ Е . Наконец, будем рассматривать банаховы пространства

n m=0,n" "с(е)

Ск(Е) -Ск(Е)nCn(Е) с нормой \\/\\с,(е) =\\/\\ск^ +\\/\\Сп(Е) (к,n е Z+). С учетом соотношений

t Г t lV2

If (t )| =

2

|(В/)(x,Г)Л' < t¡\(B/)(x,0|2 М < л/тЦ/\С1(дО) 0 I 0 J

((х, t) едОх 1Т , / е С1 (дО)), (3а)

имеем следующее:

С,п (дО) с СП (Н), 11/|Скп (Н) /\\с*п(дО) (/ е С^ (дО) ; к, п е Z+). (3Ь)

Пусть у, у ' - значения параметра, соответствующие точкам х, х ' е дО. Введем обозначение: ст = 5 ' - 5. На множестве дО зададим функцию р(у,5 '): р = г , если ст > 0; р = -г , если ст< 0 . Введем в рассмотрение функции у, (у,5 ') (I = 0,3), заданные на множестве Iв х при 5 ' Ф у равенствами у, = фг/' (I = 0,2) и у3 = Ф3/ст, где

Ф0 (5, 5 ') = Г 2 = [ (5 ') - Х (у)] + [Х2 (5 ') - Х2 (5)]2 ,

Ф1 (5, 5 ') = Г дп1 Г = Х2 (5') [Х1 (5 ') - Х (5)] - Х (5 ') [Х2 (5 ') - Х2 (5)] , Ф2 (5, 5 ') = Г дп2 Г = Х2 (5) [Х1 (5) - Х (5 ')] - Х (у) [Х2 (у) - Х2 (5 ')] ,

ф3(5, 5 ') = Г д5 Г = Х1(5 ') [Х1(5') - Х1(5)]+ х2(5') [Х2 (5 ') - Х2(5)] ,

а при 5 ' = 5 равенствами

У0 (5, 5) = У3(5, 5) = 1 , у1 (5, 5) = у2 (5, 5) = 2-1 [(5) х2 (5) - х2'(у) х{(^)] . Кроме того, введем в рассмотрение функции

5(5, у') = (ду'р)-1 =7У0/у3 , Ьг (5, 5 ') = Ьг (у), ')) = -У^Уй ( I = *,2).

Лемма [8]. Пусть I - замкнутый интервал на вещественной оси. Предположим, что некоторая вещественная функция /(г, имеет на множестве I х I непрерывные производные дггд;£/ (г — 0, т , у — 0,т'), причем т < т ' и д^/г — 0 при г е I, у — 0, q -1, где q — т' - т. Тогда функция к(г, , заданная при ^ ^ г равенством к(г,О - //(С-г)? , а при ^ — г равенством к(г,г)-д?/!, имеет на множестве I х I непрерывные производные д'г д^к при г — 0, т - у , у — 0, т .

Теорема 2. Пусть дОе Сп+2 (п е Z+). Тогда существуют непрерывные на множестве х ^ производные д5 ,Ьг (у — 0, п , г — 1,2 ). Кроме того, для любого М > 1 существует Е > 0, такое, что при (5, ст) е ^ х !Е (^ - [-Е, Е]) функция 5

ограничена: 1 <5< М, и существуют непрерывные производные д5 5 (у — 0, п).

Доказательство. Можно убедиться, что условия леммы выполняются, если / — ф3, т — п +1, ? — 1, г — 5 ', ^ — 5 . Тогда согласно лемме существуют непрерывные на множестве ^ х ^ производные д5 ,у3 (у — 0, п +1). Аналогично в теореме 1 [8] доказано, что существуют непрерывные на множестве ^ х ^ производные д5 >(у — 0, п , г — 0,2). Поскольку 5(5,5) — 1 и |р(5,5{) - р(5,4)| < - ^ |, то отсюда следует, что для любого М > 1 существует Е > 0 , такое, что 1 <5< М при (5, ст) е ^ х ^ . Контур дО не имеет точек самопересечения, поэтому существует положительная константа сг - Ш1п _ (5,5' ). Учитывая последние два обстоятельства, имеем оценку

у3 >4сТ/м при (5, ст) е ^ х ^ и получаем утверждения теоремы на основе представлений

д5'5 — Н+Ч-V2 ) ((5, ст) е Т5 х ^ ),

— ег,;/у0+1 ((5,5') ехТ5 , г —1,2), где функции ^ и Ог у суть линейные комбинации произведений некоторых степеней производных дк у3, д15-у0 (к, 1 — 0, у ) и дк , д5-у0 (к, 1 — 0, у ) соответственно. Теорема доказана.

Следствие 1. Пусть дО е Сп+2 (п е Z+). Тогда функция р5 (ст) - р(5,5 + ст) при

любых фиксированных 5 е ^ и М > 1 диффеоморфно с гладкостью Сп+2 отображает множество ^ на множество р5 (IЕ) - [р5 (-Е), р5 (Е)]. Функции ¿0(5, Р)-5(5, 5 +ст^ (р)), Ь (5, р)-5(5, 5 + ст^ (р)) (5, 5 + ст^ (р)) ( 5 е ^ , I — 1,2), где ст5 (р) - функция, обратная к функции р5 (ст), имеют непрерывные на множестве ^ х р5 (^) производные д]рЬг (у — 0, п , г — 0,2).

Обозначим через Лт (¿) и Лт (х) (г е [а, Ь], т = 0,2) квадратичные функции - интерполяционные многочлены Лагранжа, определенные на промежутке [а,Ь]:

2

z - z

Лm (z) - П -- ' zm - z + qmhz

j=0(j* m) Zm Zj

2

Z - z

Л m (Z) - П , Zm - Z + qA ( m = 0Д).

j=0(j*m) Zm Zj

Здесь hz - 2-1(b - а), z - 2-1(a + b); q0 - -1, q1 - 0, q2 - 1; q0 - -л/3/2 , q1 - 0, q2 -л/3/2 [9, с. 92]. Пусть f (z) - трижды непрерывно дифференцируемая на промежутке [a, b] функция со значениями в произвольном банаховом пространстве B . Тогда для функций

fj(z)-Е m=0 f (z m )ЛЯ (z) и Uz)-£ m=0 f(zm )K (z) (z £ [a, b])

имеют место оценки:

llf - f Ilc[a,b] < С, |f (3)||C[a,b]h3, С, - 6-1 max |z(z2 - = 2W9; (4a)

lf2 - f llc[a,b] < (31L[a,b] h3 , ^ - 6-1 J^l z (z2 - V4 )\ = 4-1 , (4b)

где ||f||c[ b] - max ||f (z)||B . При z e [a,b] имеют место неравенства: |Лm (z)| < 1

[a, ] ze[a,b]

(m = 0,2), |Лm (z)| < 3-1 (2 + 43) (m = 0,2), |Л 1 (z)| < 1, вследствие которых имеем оценки

f (z)B < Сл max|| f (zm )||B (z e [a,b]), ^ - 3 ; (5a)

m=0,2

||/2(z)|B < СЛ mias || f (zm )| B (z e [a, b]), cA - 3-1 (7 + 2^3) . (5b)

Справедливы следующие формулы для первых и вторых производных функции f (z), полученные с использованием формулы Тейлора с дополнительным членом в виде определенного интеграла [10, с. 146]:

f1(1)(z) = (2z-()2+ z1 ) J f(1)(Zж +(2z-()? + z1 ) J f(1)(OdC, (z0 - z2 ) (z0 - z1 ) z (z2 - z0 ) (z2 - z1 ) z1

z) = (z - z 1(z - z ) J f (2)(Z)(z0 -Z)dZ+(z - z Vz - z ) J f (2)(Z)(z2-C)dC .

v 0 ^ 0 z1) z v 2 ^ 2 ZV z1

Аналогичные формулы имеют место и для функции f2 (z). Вследствие этих формул имеют место оценки

II^MIb <cA||f(')||C[a,b], f>(zlB <CA||f")t[a,,] (ze[a,b]),

cA - 3, cA-(4 + V3)/ V3 ; (6a)

ЯМ </(2^С[Л6], |Й-Ч </(22)|С[в,ь] (ге 1а,ЧЬ

с" — с"

СЛ~ СЛ

сЛ— с'Л - 2-1. (6Ь)

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

При (5,5 ')е^ х^ и т>0 имеем оценки для скалярных функций (5,5 ', Т) - Я, (X(5), X(5'), т) (г — 0,2):

кс(5,5 ',Т)| < (4п)-1 с0 т-1 ехр[-сгу2/(4а2 )], (5,5 ', т)| < (па2 )-1 с т-1у2 ехр[-сгу2/(а2 )] (г — 1,2 ), (7)

где с0 -1, сг - шах _(5,5')| (г — 1,2), у - ст/л/т .

С учетом оценок (7) операторы Ц [ С (дО) ] могут быть представлены в виде а, / — | 4 (т) е-рт и (т) / й т (/ е С (дО), г — 0,2).

I?

Значения функций Аг (т) (т>0) - ограниченные операторы в пространстве С (дО): (А (т) /)()- | я, (5,5', т) / (х(5') (5 е ^ , / е С(дО), г — 0,2).

При т> 0 функции Аг (т) [ С (дО) ] непрерывны в равномерной операторной топологии, причем справедливы оценки

\\А (т)|| < сгсгт-1'2 (г — 0,2), с0 - (4п)-1 | ехр [-сГу2/(4а2 )] йу ,

-ОТ

с — с2 - (па2 )-1 | у2 ехр[-сгу2/(4а2 )] йу . (8)

-от

Пусть Ы/ 2 е N , N¡¡2 е N . Введем в рассмотрение операторы Ц [ С (дО) ]:

аг / - | А (т) и (т) / йт (/ е с (дО), г — 0,2), А (т) - А- (т) Ф);

I? 2

Щт) -X и (т2п+! + ?,А)Л т (т) ( те[т2п, т2п+ 2 ] , п — 0, N/2 - 1),

т—0 2

е(т) - X ехР [-Р(т пЫ+2п+1 + ?ткт)]Л т (т) ( те[т ^ + 2п, т пЫ+2п + 2 ] ,

т—0

а — 0, N/2 -1, п — 0, N -1).

Здесь тп - пкт (п е Z+), кт - ; тп - пкт (п е Z+), кт - кт/NN. Учитывая, что ||и(т)|| — 1 и рт|< 1 (т>0), вследствие оценок (5) имеем оценки ||и(т)||<сЛ и

|е(т)| < сл . Поэтому в силу оценок (8) операторы Ц [ С(дЦ) ] всюду определены и ограничены равномерно по N .

Используя оценки (4) и равенства В"V(т)/ = V(т)Вп/, имеющие место при / е Б(В") (п е N), получаем оценки

IIй(т)/ - и(т)АС(дЦ) < I\В'АС"(дЦ) ^ (/ е с"+3 (дЦ), п е ^),

|е(т) - е" рт|<( р V N3) си Л?. (9)

В силу оценок (5а), (8) и (9) при / е Сп+3 (дЦ) (п е Z+) имеем оценку

а а - а Л < 2с, с, у/т сп I|в3 Л + сЛ сп (рЧи- ..., ||С (дЦ)

^ ^ 1С„ (дЦ) 11 ®|1 |1сп (дЦ) У11"7 |1Сп(дЦ)

л3,

из которой вытекает следующее утверждение:

Теорема 3. Пусть дЦ е С2. Тогда операторы [ Сп+3 (дЦ) ^ Сп (дЦ) ] (N е N , п е Z+, 1 = 0,2) сходятся при N ^да по операторной норме к соответствующим операторам а, [ Сп+3 (дЦ) ^ Сп (дЦ) ] с порядком аппроксимации

° (Лт3).

На основании теоремы 3 осуществляется дискретизация ГИУ (2Ь) по параметру полугруппы т, позволяющая, как будет показано далее, получить в явном виде приближенный обратный оператор ГИУ.

Пусть Ь/2 е N. Введем в рассмотрение пространства ИЬ векторных сеточных функций / е ИЬ со значениями / е Ип (п е Z+, ИЬ = И(° ), заданными в узлах х1 = х(^) (= , I = -Ь, Ь -1, Л = ^Ь). Условимся считать, когда это будет

необходимо, что х{+2Ь = х{. Определим в ИЬ норму: ||/||Ип = тах \\л\\Ип

Ь - Ь<1 <Ь-1

Зададим проекционные операторы РЬ [ С (дЦ) ^ ИЬ ]: (РЬ / ) = / (х1). Очевидно, ||РЬ || = 1. Кроме того, введем в рассмотрение операторы РЬ [ Иь ^ С (дЦ)]:

(Рь/))/21+т Лт(*) (/ е Иь , ^ е [s2l,s2l+2], I = -Ь/2,Ь/2-1).

т=0

В силу оценки (5а) имеем ||РЬ || < сЛ. В силу оценки (4а) и замкнутости оператора В имеют место оценки

\\РЬ РЬ А - А\сп (дЦ) < А II Сп (дЦ) (А е Сп3(дЦЬ п е ). (10)

Определение. Будем говорить, что ограниченные операторы Ап [ С ^ Б ] (п е N) сходятся при п ^да по операторной норме к соответствующим ограниченным операторам Вп [ С ^ Б ], если ||Ап / - Вп/\\Б ^ 0 при п ^да равномерно в шаре 11/||С < 1.

С помощью равенств: О, / - | РЬ А (т) и(т) РЬ /dт (/ е ИЬ, I = 0,2), зада* 1т

дим операторы GI [ИЬ ]. В силу оценок (8), (10), ||и(т)|| < сЛ , |е(т)| < сЛ и

ч

\\РЬ || < 1 и замкнутости оператора В имеем оценки

||О Рь / - Рь О/\И1 < 2сЛ СЛ С1с1с^уТ\\/(3)||С(дО) И'3 (/ е С^(дП), п е Z+),

позволяющие сделать следующее утверждение, в соответствии с которым осуществляется дискретизация ГИУ (2Ь) по длине дуги.

Теорема 4. Пусть дОе С2. Тогда операторы Ог Рь [С3(дО) ^ ИЬ ] (Ь е N, N е N , п е Z+, I = 0,2) сходятся при Ь ^да по операторной норме к соответствующим операторам РЬ0{ [ С;](дО) ^ ИЬ ] равномерно по N с порядком аппрок-

симации

° ( и5 ).

Операторы GI (I = 0,2) могут быть представлены в виде конечных сумм:

„ N- „

0 = Е О,п и (тп), (11)

п=0

т2 т2п+ 2 _

О,0 - | А (т) Ф)Л0 (т) dт , О,2п+1 - | А (т) е(т)Л1 (т) dт (п = 0, ^2 -1),

т0 т2п

т2 п т2п+ 2 _

0,2п - | А (т) е(т)Л2(т) dт+ | А (т) е(т)Л0(т) dт (п = 1, ^2 -1).

т2п-2 т2п

Операторы А (т) - Рь А (т) Рь [ Иь ] при любом фиксированном т> 0 имеют вид скалярных квадратных матриц порядка 2Ь :

Ь-1

(((т)/)к = Е к*1 (т)/1 (к = -Ь, ь -1, / е Иь);

1 =-Ь

321 + 2-П 321 -к 321 + 2-к

£г,к,21+1(т) - | йа,к т) d , &,к,21 (т) - I &и2,к т) d ст+ | &,0,к т) ё ст

321 -к 321 - 2-к 321 - к

(к = -Ь,Ь -1, 1 = -Ь/2,Ь/2 -1). Здесь й т к (ст,т) - й{ (зк, зк + ст,т)Лт (зк +ст), где Лт (з) - кусочно-квадратичная функция, определенная на множестве 15 : Лт (з) = Лт (з) (з е[з21, з21+2 ],

1 = - Ь/ 2, Ь/ 2 -1).

Все интегралы JimЛ,1 (т) - |^+1 й^,* (ст, т) dст (1 = -Ь/2, Ь/2 -1) при произ-

Л з1

вольном М > 1 можно представить в виде суммы интегралов J'imkl(т)+J'¡mк1 (т):

Ji,m,k,1 (т) - 131+1 йгтк (ст,т)dст , Г1ш,к,1 (т) - 131+1 ^,т,к (ст,т) dст , где 3' - {31, ,

^ 31 ^ 31

- тах {¿I, Е}, если ¿1 > 0; - тах {¿1, -Е}, ¿'I - тт{¿1, -Е}, если ¿1 < 0, а число Е > 0 выбрано в соответствии с теоремой 2.

В интегралах J¡mkl (т) на основании следствия 1 сделаем замену переменной

ст = СТ (р):

р(4+1) ^ _ _

(т) = I аг (Р, т) Ь,т,к (Р) ¿Р ( ¡, т = 0,2, к, I = -Ь, Ь -1),

Рк (¿1)

Ьг,т,к (Р) = Ьг (4к , Р)Лт (к + СТк (Р)) ,

рк (ст) - р(4к, ¿к + ст), стк (р) - функция, обратная к функции рк (ст). Введем в рассмотрение соответствующие интегралы, аппроксимирующие J'i тк1 (т):

Рк(¿1+1) ___

(т)- | а(р,т)ь1тЛ(Р)ф (/,т = 0,2, к,I = -Ь,Ь-1),

Рк (¿1) 2 _

ь,т,к (Р) - X Ьг,т,к (рк,1 + Чт\,1 )Лт' (Р) ( Р 6 [Рк (41 ), Рк (4'+1)] x

т '=0

К,1 - 2-1 [Рк (4'+1) - Рк)], Рк,1 - 2-1 [Рк (4') + Рк (4'+1)]. Интегралы J^mk^(т) аппроксимируем с помощью ПКФГ с у узлами:

Кт*,1 (т) - 2-1 К X И 1 &,т,к (41 + 2-1 К , т) , ¿1 - 2-1 (¿1 + ¿1+1 ) ( т = 0, 2,

1 =1

к, I = - Ь, Ь -1),

при этом - корни многочлена Ру(г) -[у!/(2у)!](у/ё.у)(2 -1) на промежутке [-1;1] [9, с. 258]; для весовых коэффициентов выполняется равенство

и1 = 2 (и > 0) [9, с. 255]. Операторы <, <г п (п = 0, N -1), в которых интегралы Jimкl (т) заменены выражениями т к,1 (т) и J"m,k,1 (т), обозначим через С?/, <<г',п и <</, <3''п соответственно. В силу следствия 1, теоремы 2 и неравенства г > сг Е , имеющего место при |ст|>Е, при указанной гладкости границы могут быть определены константы

е'1} - шах 1дРй>,р)| (5^6 Сп+2), еГ - _8ир 1 (¿,s + ст,т)|

(^Р^ хр^ (7е)1

¿б15 ,ст>Е,т> 0

(5^6 Сп) (1 = 0,п, /= 0,2).

Учитывая неравенства (4Ь), (6) и Нк1 < 2-1 , при условиях дО 6 С5 и

/ 6С2(д0) при любых г = 0,2, к =-Ь,Ь-1, I = -Ь/2,Ь/2-1 и т>0 имеем оценку

!.,т,к,21+1'-к

(т) -

,т,к ,21+1 '-к (т)))

21 + т

< 8-1 А,3 Си

=0 i '=0

тах

РеРк ([4; - к ^2/ + 2-к])

р ( 41 + 2-к )

№ (,к, р) / ( (р) )]|ь | а (р, т) ёр<

Рк (¿21 -к )

Р(4; + 2-к)

| аг (р, т) ё р,

Рк (4;-к)

С _ 8-1Сш [<зСл + (с0,о + Зс',1 с0,1 + <0с0,2) + 3(с,1 с02о + с;,0с0,1 с0,о)<] , (Ш)

где / = /(), / _ Р РЬ /. Если дО е С2у, то при любых I = 0,2, к, I = -Ь, Ь -1 и т> 0 имеем оценку

2 1

',т,к ,21+1'-к (т) - ,т,к ,21+1 '-к (т))/

т=01 '=0

2;+п

Ь.

< с.'АГИ/IС 2(вП),

_ (У !)4 [С-2У С; +2у Сг-2У-1СЛ +у(2у- 1)С!"2У-2СЛ]

(12Ь)

[(2У)!]3 (2у +1)

[9, с. 259]. В силу оценок (12) и замкнутости оператора В имеем при условии дО е С5 п С2у оценку аппроксимирущих свойств операторов ( _ ( + (7" [ НЬ ]

(I = 0,2)

( Рь / - ( Рь

'■■ 2 С; Сл(^Сг С^3 + яг С;

||Н" л л у 11.) ' * )

(/ е С„2(бП), и е Z+), из которой вытекает следующее утверждение:

Теорема 5. Пусть дОеС5 пС2у и у >2. Тогда операторы ((РЬ

[ С2 (дО) ^ НЬ ] (Ь е N, Ж е N , п е Z+, I = 0,2) сходятся при Ь ^да по операторной норме к соответствующим операторам (РЬ [ С2(Ш) ^ НЬ ] равномерно по Ж с порядком аппроксимации О (А3).

Заметим, что при вычислении операторов (, соответствующих сингулярным и околосингулярным ГЭ, интегрирование по межточечному расстоянию г и параметру полугруппы т осуществляется аналитически с помощью формулы Ньютона - Лейбница, при этом первообразная выражается через интегральную показательную функцию Б1(х) и функцию Лапласа Ф(х). Значения стк (Рк; + дтАк;)

(I = - Ь, Ь -1, т = 0,2) в общем случае могут быть получены как численные решения уравнений рк (ст) =Рк; + <1тАк{. Производные х' ((1= 1,2) вычисляются аналитически, если известны аналитические выражения функций х' (,). На основании теорем 3-5 делаем следующий вывод:

Ь

2

С2(3О)

Следствие 2. Пусть 5Q е Со С2у и у >2. Тогда операторы GiPL [3(9Q) ^ HL] (L е N, Ж е N , n е Z+, i = 0,2) сходятся при L,Ж ^да по операторной норме к соответствующим операторам PL Gi [ С3п 3 (5Q) ^ Hi ] с порядком аппроксимации O (h3 + h3).

Введем в рассмотрение операторы в пространстве HL : G± - ±2-1 + (G1,

G± - +2 1 + G2 G0' <(i70 -±2 1 + G1,0, g±,0 - +2 1 + g2,0' g1,n - G1, n ,

G2n - G2 n - n G0 n (n = 0, Ж -1). Используя неравенство 4b -4a <4b-a , справедливое при 0 < a < b , и оценки |Am (т)| < 1, получаем оценки

n "

£ ||G,n|| < El ((n" +1 - n' )hT) (0< n' < n" < Ж -1; i = 1,2); (13)

n=n '

E,(t) - 4

сл сл (^ c1 сл ci,0^ + 2 0T) , E2(T) - 4 сл Ch[4l сл (c2 c2,0 + nc0 c0,0

)л/Г + 2S(c2,0 + nc0,0)T] . Существует Жт1П е N, такое, что при Ж е Nmin -{Жт1П, Жтт +1, ...} выполняются условия

E (hT)< 2-1 (i = 1,2). (14)

С учетом (13) при Ж е Nmin получаем оценки ||( 0|| < 2-1 (i = 1,2 ), вследствие которых в силу теоремы Банаха операторы G±0 (i = 1,2) ограниченно обратимы. Тогда операторы G± (i = 1,2) также ограниченно обратимы. А именно, учитывая, что U(т) = O при т> T , на основании равенств (11) имеем формулы

Ж-1

(G± )-1 = £G±n-1} U(Tn);

n=0

G±0-1)-(G±0)-1, G^ --f£G±£!Ghn+l-m 1GG±0-1) (n = ). (15)

V m=1 J

Теорема 6. Пусть 5Q е С2. Тогда операторы (G± )-1 [ HL ] (L е N, Ж е Nmin ,

i = 1,2 ) ограничены в совокупности.

Доказательство. Имеем Ж = КЖтт + Ж 'K + Ж", где K е N , Ж', Ж" е Z+ :

Ж' K + Ж" < Жт1П , Ж" < K . Пусть h' - KhT. Тогда оператор G± может быть представлен в виде

2Жт1п-1 K-1

G± = G;,± + £ Gin U(nhT); (,± - + (-1)г 2-1 + G,0 , (,n = X GUnK+k U(Tk)

n=1 k=0

(n = 0, Жтш + Ж ' -1);

Ж''-1

G^+Ж ' - £ G^ + Ж')K+k U(Tk), если Ж" > 0; (7;,жш^+ж ' - O , если Ж " = 0;

k=0

G,n - O ( n = Жтш + Ж ' + 1,2Жтт - 1 ).

При Ат = Ат _ Т/Жт1п выполняются неравенства (14). Поэтому с учетом оценок (13) получаем

||(,и|| < Е (А'т) < Е' (Ат') < 2-1 (п = 0, 2Жт1п -1). (16)

В силу (16) (при п = 0) существуют операторы (( ±) , и операторы ((Зг±) могут быть представлены в виде

1 2 -1 1 (¿±)-1 = I ¿'т1 и(пАт), (¿Р _((± )-1,

п=0

I (7г,±т(-11) А',п+1-т ] (7/,±5(-1) ( п = 1,2Жт1п -1). (17)

т=1 ]

г,п

V т=1

С учетом оценок (16) и равенств (17) получаем оценки

|(о(-1)|| < (2-1 - Ег (Ат) )-1, (¿^Ц < 2-п+: Ег (Ат) (2-1 - Ег А))

п = 1, 2Жт,п -1),

следствием которых является равномерная по Ь и Ж ограниченность операторов

('Г:

, « ч 1 и « ■■ 2Жт1п-'1.. „ .. , ,2 Ж

(±) <(?,±0(-11 + I ИГЧ < 2-2Жт» +1 ( - Ег (Ат ))- < С п=1

(здесь Сг- _ 2-2Жт1п+1 (2-1 - Е^^ (Ат)) тт - константы, не зависящие от Ь и Ж). Теорема доказана.

В силу равенств В пи (т) / = и (т) Вп / (/ е Б (Вп), п е Z+) и (15) имеем равенства Вп ) / = (<7г±) Вп/ (/ е НЬ). На основании теорем 1, 6 и следствия 2 делаем следующий вывод:

Следствие 3. Пусть дО е С5 п С2у и у > 2 . Тогда операторы ((±) РЬ

[ С3,3(дО) ^ Н1 ] (Ь е N, Ж е , п е Z+ ; г= 1,2) сходятся при Ь, Ж ^да по операторной норме к соответствующим операторам РЬ ( (±) [ Съп3 (дО) ^ НЩ ] с

порядком аппроксимации О (А3 + А,).

Введем в рассмотрение 2Ь х Ж -мерные пространства СЬ Ж сеточных функций / е СЬЖ со скалярными значениями , заданными в узлах (х;, ) (I = -Ь, Ь -1, _ ]АХ, у = 0, Ж). Определим в СЬЖ норму

С = тах _

СЬ,Ж ;=-Ь,Ь-1,у=0,Ж

П М I '■'I

Зададим проекционные операторы РЖ [ Н1Ь ^ СЬЖ ]: (РЖ/ )1 . = / )

(I = -Ь, Ь -1, у = 0, Ж). В силу соотношений (3а) имеем ||РЖ || < . Зададим операторы правого сдвига ип [Сь ж ] (п = 0,Ж -1): /,у _ /.-п , если у > п ; (ип /. = 0, если у < п . Зададим операторы ё±(-1) [ СЬЖ ]:

^±(-1) _у Ж-1(7±н) и

г А^п=0 г,п п •

Заметим, что имеют место равенства ипРЖ / = РЖ и(тп) / (/ е Н1Ь , п = 0, Ж -1). Следовательно, имеют место равенства (7±(-1)РЖ / = РЖ ((±) / (/ е Н1Ь), позволяющие осуществить дискретизацию решения ГИУ (2Ь) по временной переменной t е 1Т . В силу следствия 3 и оценки Ц^Ж II справедливо следующее утверждение:

Следствие 4. Пусть дО е С п С2у и у > 2 . Тогда операторы С 1 )РЖ РЬ [ С1333 (дО) ^ СЬЖ ] (Ь е N, Ж е Nmln ; г = 1,2 ) сходятся при Ь, Ж ^да по операторной норме к соответствующим операторам РЖРЬ ) [С133(дО) ^ СЬЖ ] с

порядком аппроксимации О (А3 + А.).

Следствие 4 позволяет получить сеточные решения ГИУ (2Ь). Благодаря огра-

., ж ]:

такие решения устойчивы к возмущениям граничной

ниченности совокупности операторов ("7±( 1)1РЖРЬ [ С1(дО) ^ СЬ1

Цё," "" Pn Pill

функции м>± в норме С1 (дО).

Следствие 5. Пусть дО е С5 п С2у и у > 2 . Тогда, если м>± е С33 (дО), то функции у± : \>± _ ё±(-1)РЖРЬ(Ь е N, Ж е ^1п ; г = 1,2), сходятся в норме

СЬЖ при Ь, Ж ^да к сеточным проекциям РЖ РЬ у± решений ГИУ:

у± = (±) , с порядком аппроксимации О (А3 + А3). Кроме того,

||у±[5] -РЖРЬу±| ^0 при Ь,Ж ^да, 5^0, где у±[5] _ ё±(-1)РЖРЬм>±[5], II "сь,ж

™±[5] е С1 (дО): |и±[5] - II <5 .

г 1 II г г 1С1(дО)

Пусть С(1Т) - банахово пространство непрерывных на промежутке 1Т скалярных функций /^) с нормой ||/|С, ) = тах|/^)|. Введем в рассмотрение про-

( т) tеIТ

странства СЬ векторных сеточных функций / е СЬ со значениями /1 е С(1Т),

заданными в узлах xl (/ = - L, L -1). Определим в CL норму:

тах 11-Х/ ||С(г ).

- L<1 < L-l" '"С (IT )

1С, = таХ ,1 ШпС(IT). Зададим операторы PN [ CL,N ^ Cl ]:

(Рж f) (t) -£ fl,2j+ m Am (t) ( t е [¿2j , ^2;+2 ] , j = 0, Ж/2 - 1, I =-L, L - 1,

m=0

f е CL,Ж ).

Операторы Pl [ С(E) ^ Cl ], PN [ Cl ^C^ ], PN [ Q,n ^ Cl ], Pl [ CL ^ С(E) ] ограничены: ||P || = 1, ||PN || = 1, ||PN || < сл , ||P || < сл, и имеют место оценки

P PN PNPL f

f - flU) < c„js3,f|C(H)h3 + Сл|И4(Е) hT3) (f е c33(e)). (18)

Введем в рассмотрение функционалы G, (x,t) [ С(E) ^ C ] и G, (x,t) [ CLN ^ C ] (x eQ± , t е IT , i = 0,1; C - множество комплексных чисел):

t

Gt (x,t)f - (G (x) f )(t) = j Jg, (x,S ',t -т)p(t-T)f (s',т) dxds ' (f е С(E)),

Is 0

L-1 у

t

(X, /)/ - 2-1 К X X ЛИ 11 Я/ (-, ¿1,1, t-т)-т) /ь, N (¿1,1, т) а т , /ь, N - Р /

I=-Ь 1=1 0

( / 6 СЬ, N ), ёг (т)- ёг (X х (¿X т) , ¿1, ] - ¿1 + 2-1 К21 .

На основании оценок (18) при условии д"6 С2у получаем следующие оценки при (х,t) еП'х 1Т :

\Ог (х,0^^р / - 3 (х,t)/| < 2БТ ($с/з^ К3 + $ сЛси||/Ц^ Л3 + +ег£,0еи ()сЛ ||/|С(Н) Кз + ¿г"'¿л¿л /с2(Н) Л?) (/ 6 С|(Н)),

сО'-

' - (Y!)4[сП2усл +2усЙУ-!сл +У(2у-1)^-2^]

[(2у)!]3 (2у +1)

с- - sup |sjgt (x, s,т)| (j = 0,2у ). (19)

хеО ', sеIs ,т> 0

Здесь О ' - произвольное конечное замкнутое подмножество области О± . В силу оценок (19) справедливо утверждение:

Теорема 7. Пусть дО е С2у и у >2 . Тогда функционалы Gi(x,t)PNPL [ C| (E) ^ C ] сходятся при L, Ж ^да по операторной норме к соответствующим функционалам Gi (x, t) [ C33(E) ^ C ] с порядком аппроксимации O (h3 + h3) равномерно по (x,t) еО'xIT .

Заметим, что при вычислении функционалов G, (x, t) интегрирование по параметру полугруппы т осуществляется аналитически с помощью формулы Ньютона - Лейбница, при этом первообразная выражается через интегральную показательную функцию Ei(х).

Используя следствие 4, теоремы 7, 1, соотношения (3b) и равномерную ограниченность на множестве Q 'х IT совокупности функционалов Gi (х, t)

[ CLN ^ C ]: |G (х, t)| < 2 STcQ0 сЛ сЛ, приходим к утверждению:

Следствие 6. Пусть dQ е C п C2Y и у > 2. Тогда функционалы

G (х, t) ¿f(-1)PNPL [ C33(dQ) ^ C ] (L е N , N е Nmin , i = 1,2) сходятся при

L, N ^да по операторной норме к соответствующим функционалам

G (х, t) (Gf) [ Cj33 (dQ) ^ C ] с порядком аппроксимации O (h3 + h3) равномерно по (х, t) eQ' х IT .

Следствие 6 позволяет получить приближенные решения задач (1). Благодаря равномерной ограниченности на множестве Q ' х IT совокупности функционалов

Gi (х, t) [ CLN ^ C ], а также ограниченности совокупности операторов Gf (-1) PNPL [Cj(5Q) ^ CLN ], такие решения устойчивы к возмущениям граничной функции wf в норме Cj(5Q). Сформулируем заключительное утверждение:

Следствие 7. Пусть dQ е C п C2y и у > 2 . Тогда, если w± е C33(5Q), то функции üf (х, t): u± (х, t) = (х, t) v± (L е N, N е Nmin ; i = 1,2), сходятся при L, N ^да к решениям соответствующих задач (1) uf (х, t) с порядком аппроксимации O (h3 + h3) равномерно по (х, t) еП' х IT . Кроме того, |üf[5]( х, t) - üf (х, t)| ^ 0 равномерно по (х, t) ей' xIT при L, N ^да, 5^0, где üf[5] (х, t) = G, (х, t) v±[5], wf[5] е C (dQ): ||wf[5] - wf II <5 .

г v > / гУ г ' i iv / || г г ||c1(SQ)

Вычислительные эксперименты

Рассмотрим численное решение внутренних задач (1) в случае, когда граница dQ представляет собой окружность радиуса R = 1. Решения U+ (х, t) (i = 1,3) получаем согласно следствию 7. Далее через u2 обозначим решения u2 при п = 0, через u3 - решения u2 при п = 1. Вычисления проводим при T = 1, a = 1, N = 2, Y = 4, M = 2, w+ (ф, t) = 16t2 (1 -1 )2 sin ф (i = 1,3, ф - полярный угол). «Точные» решения находим с помощью функций Грина, при этом интегрирование по временной переменной на промежутке [0;9 х10-7] осуществляется численно с помощью ПКФГ с 12 узлами, а все остальные интегралы вычисляются аналитически с помощью формулы Ньютона - Лейбница. Оба решения й+ , u+ вычисляются на окружностях dQ ' с радиусами R' < 1, концентрических с окружностью dQ, в узлах (х\, tj) (l = -L, L -1, tj = jhT, j = 0, N), причем точки х' получаются из граничных точек х1 в результате сжимающего отображения dQ на dQ '. Вычисления проводятся с обычной точностью (7 десятичных разрядов).

В следующей таблице представлены относительные среднеквадратичные отклонения 8ui (кт, к!1): 8ui ||й+| (Д^ = - , ||-|| - среднеквадратичная

норма), и степени скорости сходимости vi, вычисляемые по формуле vi = 1п[дui (кт,к)/8и; (кт/2,к!,/2)]/1п2 . В каждой основной ячейке представлены три значения 5ui или vi при Я' = 0.9, Я' = 0.5, Я' = 0.1 в соответствующем порядке сверху вниз.

Относительные среднеквадратичные отклонения 5иг и степени скорости сходимости уг-

р = 0 р я

1 = 1 1 = 2 1 = 3 1 = 1 1 = 2 1 = 3

кт= 1/8 К =п/4 8и,. 3.17 х 10-2 2.24 х 10-2 1.65 х10-2 2.39 х 10-2 2.54 х 10-2 2.28 х 10-2 1.77 х 10-2 2.01 х 10-2 1.79 х 10-2 4.39 х 10-2 2.63 х 10-2 2.34 х 10-2 2.04 х 10-2 2.89 х 10-2 2.42 х 10-2 1.76 х 10-2 2.67 х 10-2 2.27 х 10-2

кт= 116 К =п/ 8 Ъм1 2.26 х 10-3 8.82 х 10-4 1.05 х 10-3 1.05 х 10-3 9.06 х 10-4 1.06 х 10-3 1.05 х 10-3 9.19 х 10-4 9.95 х 10-4 3.40 х 10-3 1.28 х 10-3 1.19 х 10-3 1.48 х 10-3 1.07 х 10-3 1.24 х 10-3 1.50 х 10-3 1.11 х 10-3 1.29 х 10-3

V 3.81 4.67 3.97 4.51 4.81 4.43 4.08 4.45 4.17 3.69 4.36 4.30 3.78 4.76 4.29 3.55 4.59 4.14

К К = = 6 Ъм1 3.60 х 10-4 1.06 х 10-4 1.03 х 10-4 7.05 х 10-5 6.28 х 10-5 6.00 х 10-5 1.02 х 10-4 8.98 х 10-5 8.60 х 10-5 3.63 х 10-4 1.23 х 10-4 1.38 х 10-4 1.34 х 10-4 9.57 х 10-5 8.67 х 10-5 1.52 х 10-4 1.15 х 10-4 1.04 х 10-4

V 2.65 3.06 3.35 3.90 3.85 4.14 3.36 3.36 3.53 3.23 3.38 3.11 3.47 3.48 3.84 3.30 3.27 3.63

кт= 164 к "п/32 Ъм1 4.16 х 10-5 1.53 х 10-5 1.32 х 10-5 9.20 х 10-6 6.88 х 10-6 6.55 х 10-6 2.23 х 10-5 1.48 х 10-5 1.42 х 10-5 4.39 х 10-5 1.65 х 10-5 1.79 х 10-5 1.30 х 10-5 1.13 х 10-5 1.13 х 10-5 1.63 х 10-5 1.19 х 10-5 1.20 х 10-5

3.11 2.79 2.96 2.94 3.19 3.20 2.19 2.60 2.60 3.05 2.90 2.95 3.37 3.08 2.94 3.22 3.27 3.12

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

^¡тк1 (т) (i = 1,2) с помощью ПКФГ с у = 4-И2 узлами, всегда получаем практически ту же точность 5ui, что и с помощью аппроксимации 3\ты (т).

Описанная аппроксимация интегральных операторов простого и двойного слоев с помощью аналитического интегрирования по межточечному расстоянию была использована здесь для непрямого КМГЭ [1, с. 67] на основе ГИУ второго рода. Но также она может быть использована для решения плоских задач нестацио-

нарной теплопроводности с помощью прямого КМГЭ [1, с. 70, 167], в том числе на основе ГИУ первого рода [5]. Кроме того, такая аппроксимация может быть использована для решения двумерных ГИУ (2b) с операторными ядрами, выраженными через произвольную экспоненциально убывающую С0 -полугруппу U (т) [11].

ЛИТЕРАТУРА

1. Бреббия К., ТеллесЖ., Вроубел Л. Методы граничных элементов. М.: Мир, 1987. 524 с.

2. Onishi K. Convergence in the boundary element method for heat equation // Teaching for Robust Understanding of Mathematics. 1981. V. 17. P. 213-225.

3. Costabel M., Onishi K., Wendland W.L. A boundary element collocation method for the Neumann problem of the heat equation // Inverse and Ill-Posed Problems (H.W. Engl and C.W. Groetsch, ed.). Boston: Academic Press, 1987. P. 369-384.

4. Hongtao Y. On the convergence of boundary element methods for initial-Neumann problems for the heat equation // Mathematics of Computation. 1999. V. 68. No. 226. P. 547-557.

5. Hamina M., Saranen J. On the spline collocation method for the single layer heat operator equation // Mathematics of Computation. 1994. V. 62. No. 205. P. 41-64.

6. Иванов Д.Ю. Решение двумерных краевых задач, соответствующих начально-краевым задачам диффузии на прямом цилиндре // Дифференц. уравнения. 2010. Т. 46. № 8. С. 1094-1103.

7. Иванов Д.Ю., Дзержинский Р.И. Решение задач Робена для двумерных дифференциально-операторных уравнений, описывающих теплопроводность в прямом цилиндре // Научно-технический вестник Поволжья. 2016. № 1. С. 15-17.

8. Иванов Д.Ю. Устойчивая разрешимость в пространствах дифференцируемых функций некоторых двумерных интегральных уравнений теплопроводности с операторно-полугрупповым ядром // Вестник Томского государственного университета. Математика и механика. 2015. № 6 (38). С. 33-45.

9. Березин И.С.,ЖидковН.П. Методы вычислений. Т. 1. М.: ГИФМЛ, 1962. 464 с.

10. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. 2. М.: ФИЗМАТЛИТ, 2001. 810 с.

11. Иванов Д.Ю. Вычисление операторов, разрешающих задачи теплопроводности в прямых цилиндрах, с использованием полугрупповой симметрии // Известия Московского государственного технического университета МАМИ. 2014. Т. 4. № 4(22). С. 26-38.

Статья поступила 07.09.2017 г.

Ivanov D.Yu. (2017) ON SOLVING PLANE PROBLEMS OF NON-STATIONARY HEAT CONDUCTION BY THE COLLOCATION BOUNDARY ELEMENT METHOD. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 50. pp. 9-29

DOI 10.17223/19988621/50/2

In this paper, we propose a fully justified collocation boundary element method allowing one to obtain numerical solutions of internal and external initial-boundary value problems (IBVPs) with boundary conditions of the first, second, and third kind for the equation dtu = a 2A2u - pu

with constants a, p > 0 in a plane spatial domain Q (in a bounded one Q+ or in its exterior Q- ) on a finite time interval IT = [0,T] at a zero initial condition. The solutions are found in the

form of the double-layer potential for the Dirichlet IBVP and in the form of the simple layer potential for the Neumann-Robin IBVP with unknown density functions determined from the boundary integral equations (BIEs) of the second kind.

In this paper, instead of the usual piecewise-polynomial interpolation of the density function on time variable t, the BIEs are approximated by the piecewise-quadratic interpolation (PQI) of the C0 -semigroup of right shifts on time. Also, on the basis of the PQI, the approximation of the

multiplier e-pT in kernels of the integral operators is carried out. In addition, the PQI of density functions is performed: for the BIE, only on arc-length s; for the potentials, on both variables s and t. Then, the integration with respect to the variable t on the boundary elements (BEs) is performed exactly. The integration with respect to the variable s on the BE for the potentials is performed approximately by using the Gaussian quadrature with y > 2 points. For the BIE, the integration with respect to the arc-length s is carried out in two ways. On singular BEs and on nearby singular BEs, adjacent to a singular BE in some fixed arc-length region, an exact integration with respect to the variable r is carried out (r is the distance from the boundary point at which the integral is calculated as a function of parameter to the current boundary point of the integration). In this integration, functions of the variable r are taken as the weighting functions. The functions of r are generated by the fundamental solution of the heat equation and the rest of the integrand is approximated by quadratic interpolation on r. The integrals with respect to s on the remaining BEs are calculated using the Gaussian quadrature with y points.

The cubic convergence of approximate solutions of the IBVP at any point of the set Qx/r is proved under conditions 5Qe C5 n C2Y and w e Cj33(3Q) . It is also proved that such solutions are resistant to perturbations of the boundary function w in the norm of the space Cj°(dQ). Here, Ckmn (3Q) = Ckm (3Q) n C°m+n (3Q) and Ckm (5Q) is the Banach space of k times continuously differentiable on 3Q vector functions with values in Sobolev's space which is the domain of definition of the operator Bm ((Bf )(t) = f'(t), f (t = 0) = 0 ).

In conclusion, results of the numerical experiments are presented. They confirm the cubic convergence of approximate solutions for all three IBVPs in a circular domain.

Keywords: boundary integral equation, boundary element method, singular boundary elements, non-stationary heat conduction, collocation, operator, approximation, stability.

IVANOVDmitrii Yurievich (Candidate of Physics and Mathematics, Moscow State University of Railway Engeneering (MIIT), Moscow, Russian Federation) E-mail: ivanovdyu@yandex.ru

REFERENCES

1. Brebbia C.A., Telles J.C.F., WrobelL.C. (1984) Boundary element techniques. New York: Springer-Verlag. 464 p.

2. Onishi K. (1981) Convergence in the boundary element method for heat equation. Teaching for Robust Understanding of Mathematics. 17. pp. 213-225.

3. Costabel M., Onishi K., Wendland W.L. (1987) A boundary element collocation method for the Neumann problem of the heat equation. Inverse and Ill-Posed Problems (H.W. Engl and C.W.Groetsch, ed.). Boston: Academic Press. pp. 369-384.

4. Hongtao Y. (1999) On the convergence of boundary element methods for initial-Neumann problems for the heat equation. Mathematics of Computation. 68 (226). pp. 547-557.

5. Hamina M., Saranen J. (1994) On the spline collocation method for the single layer heat operator equation. Mathematics of Computation. 62 (205). pp. 41-64.

6. Ivanov D.Y. (2010) Solution of two-dimensional boundary-value problems corresponding to initial-boundary value problems of diffusion on a right cylinder. Differential Equations. 46 (8). pp. 1104-1113. https://doi.org/10.1134/S0012266110080045.

7. Ivanov D.Yu., Dzerzhinskiy R.I. (2016) Reshenie zadach Robena dlya dvumernykh different-sial'no-operatornykh uravneniy, opisyvayushchikh teploprovodnost' v pryamom tsilindre [Solution of the Robin problems for two-dimensional differential-operator equations describ-

ing the thermal conductivity in a straight cylinder], Nauchno-tekhnicheskiy vestnikPovolzh'ya - Scientific and Technical Journal of the Volga Region. 1, pp, 15-17,

8, Ivanov D.Yu. (2015) Ustoychivaya razreshimost' v prostranstvakh differentsiruemykh funktsiy nekotorykh dvumernykh integralnykh uravneniy teploprovodnosti s operatorno-polugruppovym yadrom [Stable solvability in spaces of differentiable functions of some two-dimensional integral equations of heat conduction with an operator-semigroup kernel], Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 6. pp. 33-45, DOI 10,17223/19988621/38/4,

9, Berezin I,S,, Zhidkov N,P, (1962) Metody vychisleniy [Methods of computations], Vol, 2, MOSTOW: GIFML,

10, Fihktengol'ts G,M, (2001) Kurs differencial'nogo i integral'nogo ischisleniya [A course of differential and integral calculus], Vol, 2, Mostow: FIZMATLIT,

11, Ivanov D,Yu, (2014) Vychislenie operatorov, razreshayushchikh zadachi teploprovodnosti v pryamykh tsilindrakh, s ispol'zovaniem polugruppovoy simmetrii [Calculation of operators solving problems of heat conduction in straight cylinders using semigroup symmetry], Izves-tiya Moskovskogo gosudarstvennogo tekhnicheskogo universiteta MAMI - Proceedings of Moscow State Technical University MAMI, 4(4), pp, 26-38,