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

Вычислительные технологии

Том 6, № 6, 2001

О НОВОМ МЕТОДЕ ПРИБЛИЖЕННЫХ РЕШЕНИЙ НЕЛИНЕЙНЫХ УРАВНЕНИЙ В ПРОИЗВОЛЬНОЙ ОБЛАСТИ

Ш. С. СМАГУЛОВ, М.О. ОТЕЛБАЕВ Казахский государственный национальный университет им. аль-Фараби, Алматы e-mail: abdramanova@yahoo.com, ak_asel@yahoo.com

The new method of approximate solutions of nonlinear boundary value problems of elliptic type in complicated domains is suggested. The variational principle is formulated, where the minimum of functional gives the approximate solution of original problem. The algorithm for determination of functional minimum is developed. The convergence theorem for solutions of the suggested algorithm is proved.

Введение

Одной из проблем вычислительной математики является создание эффективного вычислительного алгоритма краевой задачи математической физики в произвольной области с криволинейными границами. В настоящее время существует несколько методов решения краевых задач в сложных областях:

а) метод конечных элементов;

б) метод граничных интегральных уравнений;

в) метод криволинейных сеток;

г) метод фиктивных областей.

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

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

© Ш. С. Смагулов, М.О. Отелбаев, 2001.

исходная задача заменяется на некоторую вариационную задачу с ограниченным оператором. Доказывается, что минимум вариационной задачи является решением исходной задачи. Заметим, что классический вариант численного решения задач математической физики методом конечных разностей связан с неограниченным оператором. Настоящая работа является продолжением работы [7].

1. Вариационный принцип для численного решения задачи

Для простоты будем предполагать область П € Я2, через дП обозначим ее границу. Предположим, что дП задается уравнением д П = (ж, Г (ж) = 0}, где Г (ж) — достаточно гладкая функция, определенная в Я2, и такая, что

Г (ж) > 0 в П,

Г

В области П рассмотрим задачу

-Дм + м + м3 = f

где f (ж) — также достаточно гладкая на П функция, которая может быть продолжена и за пределы области с сохранением гладкости.

Приведем хорошо известные результаты о задаче (1.2) [6] при выполнении вышеприведенных ограничений. Для определенности будем считать, что Г (ж) € Ск+2 (П), f (ж) € (П), где к > 0 — целое, Ж2к(П) — класс функций Соболева. Из теории вложений хорошо известно, что если Г (ж) € Ск+2(Я2), то любая функция м(ж) € Жк+2(П) может быть продолжена из П на Я2 так, чтобы

м(ж) € Жк+2(Я2) и |М|^+2(Л?) < С|М|^+2(П), к = -2,-1,0,1,--. и f(ж) € Ж(П).

Тогда существует решение задачи (1.2), и для него имеется оценка

1|м|| (П) < С Н/"11 (П).

Здесь для исходной функции и ее продолжения использованы одинаковые обозначения. Далее мы излагаем новый метод приближенного решения краевой задачи (1.2) в области сложной геометрии. Все выкладки преследуют цель максимально упростить изложение, чтобы идея нового метода стала доступна. Для этого, например, мы избегаем использования пространств Соболева с дробными показателями, которые, безусловно, появляются в точных теоремах о следах в теории вложений. Читатель, желающий уточнить наши результаты, сможет это сделать, использовав точные теоремы вложения, точные теоремы о следах и продолжениях, а также точные оценки решения краевых задач эллиптического типа. Однако это не даст существенного приемущества для численного решения задачи.

Метод 1. В квадрате Q = (а, Ь) х (а, Ь), строго содержащем область П, рассмотрим задачу

-Да + V + V3 = Л

У\ = V 1Х1 =а х1=ь у\ 1Х2 = а х2=ь

ду ду ду ду

дх\ Х1=а дх\ х1=ь дх2 х2 =а дх2

Х2=Ь

где — некоторое продолжение f (х).

Обозначим

—Ау + V = Б, V = J С(х,у)Б(у)¿у. Я

Тогда для Б получим уравнение

3

Б +

С(х,у)Б (у)(у

1Я

— Ь(х) = 0.

Здесь С(х, у) — функция Грина для оператора —А + Е на Q с периодически краевыми условиями. С(х, у) выписывается явно в виде ряда

С

Е

ег<т,х—у>2п/

тьт2=-те М2 + К|2 +

2 •

Здесь С(а, Ь) — постоянное число.

Теперь, учитывая выполнение равенства (1.5), напишем интегральное тождество

2

в

Я

Б(х) + | J 0(х,у)Б(у)(у\ — Л(х) Я

(х = 0,

где 0(Е(х)) — функция, равная 1 при Е(х) > 0 (т. е. при х Е П) и нулю при Е(х) < 0 (т. е. при х Е П).

Кроме (1.6) должно выполняться условие

у

хедп

0(х,у)Б (у)(у\дП =

Я

Это условие эквивалентно (почти всюду) условию

К

дП

0(х, у)Б(у)(у

1_Я

(1х = 0,

где Я(х) — любая непрерывная строго положительная функция; (1х — элемент поверхности дП. Перепишем правую часть последнего равенства

У Д(х) I I С(х,у)Б(у)¿у • I О(х,0Б(£№ I ¿к

дП \Я Я

Б (у)Б(О

Я Я

К(х)С(х, у)С(х, С)(1х

дП

Я Я

2

где

Яп (у,£) = / Я(£)С(ж,у)С(ж,£)^.

дП

По определению ядро Яп(у,£) задает неотрицательный оператор. Поэтому (1.7) и (1.7') можно записать в виде одного равенства

^)=У©№))1 Б

я V \я / / я я

В (1.9) оба слагаемых неотрицательны. Поэтому, если 3(Б) = 0, то из (1.5), (1.9) получаем, что и(х) в П есть решение уравнения

-Д^ + V + V3 = f

и обращается в нуль на 5П. Следовательно, и(х) является решением задачи (1.2) в области П. Обратно, если и(х) — решение задачи (1.2), то приведенные построения показывают, что функция Б(ж), определенная равенством (1.5), обращает функционал 3(5) в нуль. Из этих заключений вытекает, что задача (1.2) эквивалентна задаче на минимум функционала 3(Б). Найдя Б, реализующий минимум 3(Б), по формуле (1.5) найдем решение задачи (1.2). Таким образом, мы задачу (1.2) свели к вариационной задаче отыскания равного нулю минимума неотрицательного функционала 3(Б). При этом мы пользуемся только ограниченными интегральными операторами и ограниченными функционалами.

Обобщение метода 1. Пусть ф1(ж),ф2(х),... — произвольная ортонормированная система собственных функций оператора — Д + Е, которым соответствуют действительные собственные числа Л1, Л2,..., Л«,... Обозначим через С(ж,у) ядро

«=1

положив

—Д^ + V = Б, г>(х) = J С(ж,у)Б = СБ.

я

Точно так же, как это мы делали в п. 1, получим вариационную задачу для функционала

3 (Б ) = У©(Е (ж)) (Б +(СБ )3 + f )2 ^ж + у J Б (у)Б (ж) ^ Я(£)С(£, ж)С(£, я я я дп

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

Определение. Будем говорить, что ядро К (ж, у), (ж, у) € О, принадлежит классу К1е'т(О), если оно I раз непрерывно дифференцуемо по всем переменным, и любую функцию и(ж) из Ж2(О) можно приблизить функцией вида

д(ж) = КБ (ж) = I К (ж, у)Б Б (ж) € ¿2(0),

я

так чтобы

д к1+к2

где С(•) зависит только от нормы и(х) в пространстве W2(Q); Ок = ——к2 _ опера-

дх1 дх2

тор дифференцирования (к1 + к2 = к); е — малое положительное число. Приближенное решение задачи (1.2) ищем в виде

и

Я

где ядро К(х,у) из класса К^'22.

Подставив (1.10) в уравнение (1.2), получаем

У

ЯЯ

Вместо условий и|дп = 0 имеем

У К

Я

При выписывании (1.12) мы воспользовались тем, что след функций из W2;(П) принадлежит классу непрерывных функций. Введем функционал

3(Б) = у в(Е(х)) Я

¿х+

у (—АхК (х, у) + К (х, у)) Б (у) ¿у + у К (х, у) Б (у) ¿у | — f (х) -Я \Я

+ 11Б

Я Я дП

Здесь 0(Е(х)) — функция, которая участвует в формуле (1.9).

Теперь легко видеть, что проблема приближенного решения задачи (1.2) свелась к задаче минимизации функционала (1.13), минимум которого имеет порядок О(е). Задачей приближенной численной минимизации функционалов мы займемся в другом месте. Ниже покажем, что ядер из класса К1£'т достаточно много. Для простоты будем считать, что I и т равны нулю.

Лемма 1. Пусть К(х,у) = К(у,х) и К(х,у) — действительная непрерывная в Q х Q функция. Тогда оператор

КБ = ! К(х, у)Б(у)3у

Я

— самосопряженный и вполне непрерывный в Ь2^). Предположим, что система собственных функций оператора К, соответствующих ненулевым собственным значениям, полна. Тогда при любом е > 0 ядро К(х,у) принадлежит классу

Доказательство. Пусть ф1, ф2, ..., фп, ... — нормированные собственные функции оператора К. Из условий леммы следует, что эта система есть полная ортонормированная система. Поэтому для любой функции из Ь2^) справедливо равенство

1(х) = ^2 СпФп

и

п=1

2

3

— разложение в ряд Фурье. Пусть е — произвольное положительное число. Обозначим

N

Пм (ж) = X «Ф«

п=1

и выберем N таким большим, чтобы выполнялось неравенство

Положим

Тогда

Отсюда следует

N

Б (ж) = X с'пЛга1фга. «=1

N

КБ

я

«=1

11 и (ж) — КБ (ж)||ь2(я) < е.

Итак, лемма 1 доказана.

Из леммы 1 вытекает, что симметричных ядер из класса Кг(0'0) достаточно много. Примером такого ядра может служить ядро

Ш1,т2=м

К (ж,у) = X ^тег<х~у'т>ь

т 1 ,т2 = — ^ т =

Здесь = ^тьт2 — любая последовательность чисел, стремящихся к нулю при |т| ^ то

и

Очевидно, можно взять таким, чтобы легко просуммировать (1.14) и выписать аналитический вид К (ж, у). Если взять убывающим достаточно быстро, но |^т| = 0 при всех т = (т1,т2), то нетрудно убедиться, что К (ж, у) будет принадлежать при любом /,

если

0 < Ы < С

т1 + т2

— 21

В (1.11) ядро К (ж, у), как мы убедились, можно взять достаточно простым. Приведем еще пример ядра. При |£|, |п| < 1 положим

К (ж, у) = ф(ж1 — у1, ж2 — у2),

где

Ф(ж1,ж2)= X П|п2|е

гп1Ж1+гга2Х2

|«21 ег«2Х2

П1,П2 = — О

£

£ Г' е

Ч«2=0

+ X пп2е—Ы2Х2

«2 = 1

а

1

ОО

ОО

ОО

ОО

ОО

О

е

гп!х!

П1 =—те

1

¿п

+ Г"

1 — егх2 п 1 — е-гх2 п

1

+

е гх2 п

1+

1 — егх2 п 1 — е-гх2 п

11

+

1

^-гх1

+

£

1 + егх2 п 1 — е-гх2 п

1 — егх1 £ 1 — е-гх1 £ 11

1+

+

2

(1 — п сое х2)2 + п2 зт х2

1

1 — егх1 £ 1 — е-гх1 £ 2

(1 — £ сое х1)2 + £2 вт х1

1

Удачный выбор К(х,у), очевидно, зависит от искусства пользователя. Но в (1.13) присутствует поверхностный интеграл по дП, вычисление которого, если граница дП сложно устроена, может вызвать некоторые затруднения. Поэтому ниже мы предлагаем прием, использование которого приводит к отсутствию поверхностного интеграла в вариационном принципе.

2. Другой вариационный принцип для численного решения задачи

Пусть П,Е(х) — те же, что и в п. 1, f (х) Е W2¡(П). Решение задачи (1.2) принадлежит классу W^+2(П) и может быть продолжено на все К2 так, чтобы [6]

\\и(х) ||^2=+2(Д2) < С \\щк(П).

Так как и|дп = 0, то решение задачи (1.2) может быть представлено в виде

ф

где ф(х) Е ф(х) = 1 на П, а у(х) Е W!¡+l(Q). Для получения такого представления

положим

ф(х)и(х) У(х) = .

Эта функция имеет особенности в точках дП.

Разложив и(х) в ряд Тейлора в окрестности точек дП и пользуясь тем, что и(х) Е W^+2(Q) и и|дП = 0, легко получаем У(х) Е W!k+l(Q). Теперь в качестве у(х) в (2.1) берем У(х). Пусть е > 0, ядро К(х,у) из класса и к 1 . Положим

уе

Я

где Б(•) Е W^+l(Q) и выполняется условие

\\у

Отсюда вытекает, что функция

^ = Е (ХыХ) = е (т)кб = Е(х)1 к (х,у)3 т

Я

является приближенным решением задачи (1.2). Построим функционал

J(S) = y (~A[F(x)KS(ж)] + F(x)KS(ж)+ Q

+

Q

где 8 — малая положительная постоянная. Из (2.3), (2.4) вытекает, что, минимизируя (2.5), получаем приближенное решение задачи (1.2). Если 8 = 0, то наличие множителя F(ж) при KS(ж) может привести к неправильному результату (ибо будет иметь место "вырождение") и к тому, что минимизирующая последовательность функционала (2.5), последовательность KSm(x), стремится по норме к бесконечности. Добавление слагаемого "регуляризует" процесс минимизации. Таким образом, мы свели проблему приближенного решения задачи (1.2) к проблеме минимизации функционала (2.5).

3. Проблема выбора ядра

Пусть ф(£) — г раз (г > 0 — целое число) непрерывно дифференцируемая функция ф(£) ф 0 на отрезке [-1,1]. Предположим, что

ф1

Пусть 0 < 5 < п. Положим фг(£) = ф при |£| < 5 и фг(£) = 0 при 5 < £ < п и

—п < £ < —5. Функцию фг(£), заданную на отрезке [—п,п], продолжим периодической. В результате получим периодическую функцию из С1 [—п,п]. Коэффициенты Фурье для

этой функции по системе егк^ определяются так:

п й 1

1 ( £ \ Л/ _ I 1 / £ \ _ £ I 1

С

—п — й -1

Лемма 2. Пусть Т есть множество тех 5 из (0,п), для которых существует такое к, что Ск(5) = 0. Тогда множество таких 5 € (0, п), что Ск(5) = 0 при всех к = 0, ±1,... имеет меру Лебега п (т. е. полную меру).

Доказательство. Из (3.2) вытекает, что при каждом фиксированном к множество 5 € (0,п), для которых С к (5) = 0, конечно. Действительно, из (3.2) следует, что С к (5) — аналитическая функция от 5 в любой конечной области, а аналитическая функция в любой строго внутренней к области аналитичности подобласти имеет конечное число корней.

Так как множество целых чисел счетно, а объединение счетного множества счетных множеств тоже счетно, то мера множества Т равна нулю. Лемма 2 доказана.

Лемма 3. Пусть фг(£) — функция из леммы 2. Положим (ж) = фг(ж1)фг(ж2), ж = (ж1,ж2). Коэффициенты Фурье функции фг (ж) в пространстве Ь2(0) по системе

1 N к-1 ,к2=+те

—еМ , к =

2п j

ki ,к2 = -ж

обозначим через Ск1к2 (5). Тогда множество тех 5 Е (0,п), для которых найдутся к1 и к2 такие, что Ск1к2 (5) = 0, не более чем счетно.

Следствие. Множество тех 5 Е (0,п), для которых Ск1к2 (5) = 0, для любых целых к1 и к2 имеет меру, равную п (т. е. полную меру Лебега). Доказательство леммы следует из равенства

Ск1к2 = Ск1 Ск2 ,

если учесть, что объединение счетного множества счетно.

Теорема 1. Пусть рз(х) = рз(х1,х2) — функция из леммы 3. Тогда для почти любого 5 Е (0,п) ядро Кз(х,у) = рз(х — у) есть ядро из класса Ке'11^). Q = (—п,п) х (—п,п) при любом е > 0.

Доказательство. Возьмем 5 Е

Ск1к2

Согласно лемме 3, множество 5 из (0,п), для которых справедливо (3.3), имеет полную меру.

Теперь покажем, что при выполнении условия (3.3) любую функцию и(х) из класса W2ж — периодических функций Соболева — можно приблизить с точностью е > 0 функцией вида

и£

ЯЯ

Пусть и Е W\П(О). Тогда

и(х1,х2)= £ ик1к2 е

гк1х1+гх2к2

ик1к2 е

к1 ,к2 = -те

\\и\\щп(Я) = С £ (к2 + к2 + 1) 1 ^2 ?.

к1,к2=-<х

Пусть е > 0 — заданное малое число. Возьмем N > 0 настолько большим, что

\\и — им\\2№1

к2+к2>М 2

где

_ \ Л гк1х1+гк2х2

иМ = ик1к2е .

к2+к|<М 2

Найдем в (3.4) Б(х) = Б(х1,х2) в виде

Б (х)= £ ик1к2 Бк1к2 егк1 х1+гк2х2,

к2+к2<М 2

тогда имеем

(Кззт = / Рз(х — — у^ВЬМ^ = Е ^«к,к,Ск,к,е™,

Я к2+к2<м2

зо

Возьмем

Бк1к2 = 0 при к2 + к2 > N2 и Бк1к2 = Ск-11к2 при к2 + к2 < N2. Тогда получаем (КгБ)(ж) = (ж). Отсюда из (3.5) вытекает утверждение теоремы 1.

Из этой теоремы следует, что при сведении задачи (1.2) к вариационной задаче можно пользоваться ядром вида (ж — у) и это должно привести к успеху почти при всех 5 € (0, п). Поэтому проблема выбора ядра не является слишком затруднительной. Кроме того, по ходу счета можно варьировать также 5. Отметим, что если ядро из класса К^'™^, то К (ж, у) € К^1'™1 ) при /1 > /, т > т1, т.е.

К^'т1) С К<г'т).

4. Минимизация функционала

Далее будем заниматься минимизацией функционала (2.5), введенного в п. 2, который для удобства перепишем при 5 = 0:

3(Б) = У [(—Д + 1)Е(ж)(КБ)(ж) + (Е(ж)(КБ)(ж))3 — /(ж)]2 0(Е(ж))йж =

Я

= ||(МЕКБ + (ЕКБ)3 — / )0(Е)||!2(Я) = 3о(Б),

М = —Д + Е.

Будем искать Б в виде Б = Б(£,ж) = Б(£) как функцию от параметра £ > 0. Пусть при £ = 0 функция Б равна начальному приближению

Б (£)к=о = Бо.

Продифференцируем (4.1) по £:

— 3 = 2<0(Е)(МЕКБ + (ЕКБ)3 — /), (МЕ(ж)КБ? + 3(Е(ж)КБ)2ЕКБ?) > =

= 2«МЕ(ж)К)* + 3(ЕК)*  (ЕКБ)2, (0(Е)(МЕКБ + (ЕКБ)2) — /), Б?). (4.2) Выберем Б из уравнения

Б? = — 2

Б |?=о = Бо.

Для Б получаем задачу Коши (4.3), (4.4). Из (4.2)-(4.4) вытекает

2

— 3 = —||Б? ^(д^ 3 к=о = 3 (Бо). Интегрируя это равенство, получим

«

3

о

Отсюда из определения 3(Б) и (4.5) вытекает

—Ад + д + д3 = \\!\\Ыя) < 30) + \\1 \\Ыд),

з\ао, = 0,

где д = ЕКБ.

Умножая это уравнение скалярно на д, интегрируя по области П и применяя неравенство Коши и Юнга, имеем

[ Ш2 + \д\4) лX < с(у/Щ) + \\1 \\ыя)у.

о

Это неравенство и теорема вложения (П) £ Ьд(П) дают

\\FKS\\Ьч

где д любое число из (1, то). С помощью уравнения для д = FKБ и последнего неравенства, привлекая обычную технику "сглаживания решения" [6], получим

о / \

FKБ £ Ж22

Возьмем в качестве ядра интегрального оператора функцию K(х — у), где K(•) — периодическая на Q, трижды непрерывно дифференцируемая так, что все коэффициенты Фурье отличны от нуля.

Ku = K * и = J K

Я

K(х) = £ Vкег<к,х>, = рк1к2 = 0 для всех к = (Ь,к2).

к=-<х

Умножим уравнение (4.3) скалярно на некоторую периодическую функцию и(х) и проинтегрируем

< Б

где д = MFKБ + (FKБ)3 — f. Рассмотрим задачу

Му + 3

у\ап = 0,

где д взято из (4.8), а А есть оператор, обратный оператору

Ьи = —Аи + и, и\д0 = 0. Из 3(Б) < 3(Б0) вытекает, что \\д\\ь2(п) ограничен. Поэтому

\\Ад\\ш2(о) < С1 < ж.

<х

Но тогда из (4.6), (4.9) получаем, что

V € Ж24

и

Это возможно в силу ограничений, наложенных на дП, и на основании теории о продолжении функции из классов Соболева. Отсюда вытекает, что функцию V можно представить в виде

V = Е(ж)м, м € Ж3(0),

Обозначим через Мк коэффициенты Фурье функций М и положим

Мк = < п |, 12 ^ ЛГ2

где — коэффициенты Фурье К (ж). Обозначим

X Мкег<к'ж>.

Тогда, учитывая (4.12), имеем

м — Км = м — К * м = X е'<к'ж>мк = фм

< С4

Для фN в силу (4.11) справедлива оценка

1

Преобразуя (4.8) с использованием (4.10), (4.13), (4.14), получим

< Б*, м >= —2 < 0(Е)#, (М + 3(ЕКБ)2Е(м — фм) >=

= —2 < 0(Е)#, (М + 3(ЕКБ)2V — (М + 3(ЕКБ)2)ф* > Теперь, учитывая уравнение (4.9) и неравенство (4.15), запишем

УЖ -у/Ж

Оценим ||м||^2(д), учитывая (4.12) и (4.11):

где C не зависит от N и и, а Rn = sup | \ • Это и предыдущее неравенство дают

\\St\\l2(Q) >

\k\2<N 2

1

\\VAW)g\il,ia> -

С1Ям

где постоянная С1 не зависит от Б, N и д из (4.8). Покажем, что при £ ^ то имеет место

\ \ л/Ав^)д\ \ьт ^ 0.

Допустим, что (4.17) не выполнено. Тогда существуют числа £2,..., £т,... ^ то такие,

что

\ \ в^)д\ \Ыо) > С-1 \\у/Ав^)д\ \Ып) > 5, > 0

пРи £ = ...,£m, ...

В (4.16) возьмем N достаточно большим и так, чтобы

\ \ в^)д\ \Ыр) ^ 1 _

7N < 4 Ьо

для всех £ > 0. Это возможно в силу определения 3(в) и неравенства (4.5). Следовательно, из (4.16) и (4.18) получаем

г

\ \ Б\ \ 12

при £ = £1, £2, ...,£m, ...

Из оценок (4.6) для FKБ вытекает, что правая часть уравнения (4.3) в норме по £ равномерно ограничена, но тогда ограничена равномерно по £ £ (0, то) и сама Б^. Отсюда и следует что, Б — равностепенно непрерывна по норме. Поэтому равностепенно непрерывна и правая часть (4.3). Но тогда в силу (4.3) равностепенно непрерывна и равномерно ограничена по норме Б^. Из сказанного следует что, у каждой точки £т из (4.19) существуют окрестности (отрезки) ит постоянной, не зависящей от т длины, на которых при £ £ ит, т =1, 2,...

1 ( Ьо, 2

™ > нС^) .

Очевидно, что в (4.20) отрезки ит можно считать попарно не пересекающимися. Так как общая длина этих отрезков равна +то, то из (4.20) следует

ЫЯ)Л£ = то. о

Это равенство противоречит (4.5), поэтому (4.17) доказано. Имеет место следующая

Теорема 2. Пусть при £ > 0 функция Б(£) = Б(£,х) определяется из задачи Коши (4-3), (4.4). Тогда для FKБ(£) при £ ^ то имеет место

—AFKБ + FKБ + (FKБ)3 — f ^ 0 слабо в Ь2(П).

Доказательство. Из определения 3(Б) и равенства (4.5) вытекает, что

| — AFKБ + FKБ + (FKБ)3 — f (^(п) < С < то.

оо

Из (4.17) и определения оператора А получаем

ЕКБ + А(ЕКБ)3 — А/ ^ 0.

При £ ^ то функция КБ(£) = ЕКБ(£,ж) стремится к решению задачи (1.2). При численной минимизации функционала (4.1) решение задачи Коши (4.3), (4.4) сводится к итерационному процессу

Шаг тп можно выбрать постоянным (и малым), но проще выбрать переменным, подвергая оптимизации.

Замечание 4.1. В функционале (2.5) присутствует слагаемое 5 / |КБ|2^ж (можно вме-

сто него добавить 5 / |Б|2^ж), где 5 > 0 — малое число. Такое слагаемое следует добавлять

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

Замечание 4.2. Для задачи (1.2) в пп. 1 и 2 выводимы и другие функционалы (в которых отсутствует член, содержащий 5). Для них доказательства, аналогичные теореме 2, проводятся проще. Предложенные методы вычисления устойчивы и просто реализуются.

Замечание 4.3. В предлагаемых нами методах ядро К (ж, у), как мы видим, можно выбрать из очень широкого класса функций (не ограничиваясь функциями Грина тех же задач для главной части оператора). Это весьма важно. Можно при фиксированном е > 0 ядро из класса К взять конечномерным и прийти к различным вариантам метода Галеркина. Выбирая ядро в виде конечной суммы 5-образных функций, можно получить легко реализуемые разностные схемы.

Замечание 4.4. Приближенное решение задачи (1.2) мы представили как

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

Бп+1 = Б„ — 2т„{((МЕК )* + 3(ЕК )*(ЕКБ„)2)0(Е)[МЕКБ„ + (ЕКБ„)3 — / (ж)]}.

п

м = Е (жМж) = Е (ж)КБ (ж),

м = Е (ж)ф* (КБ),

где (') — гладкая срезающая функция, которая удовлетворяет условию

Замечание 4.5. Рассмотрим неоднородную задачу Дирихле

—Дм + м + м3 = /,

м|„п = ф, дП = {ж, Е(ж) = 0}.

В этом случае функцию м представляем в виде

м = Е (ж^ + ф.

Здесь ф — любое продолжение ф(ж) из дП на

Замечание 4.6. Теперь рассмотрим для уравнения (4.21) задачу Неймана

0

дм дп

дП

(п — внешняя нормаль к границе дП). В этом случае функцию м представляем в виде

м = У — ПУ^Т

Заметим, что

дм

= 0.

дП

дп

Далее для приближенного решения задач (4.21), (4.22) можно применить методику данной работы. Но этому посвящается специальная работа.

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

[1] ВАБИЩЕВИЧ П. Н. Методы фиктивных областей в краевых задачах математической физики. М.: МГУ, 1991.

[2] Смагулов Ш. С. Метод фиктивных областей для уравнений Навье — Стокса // Новосибирск, 1979. (Препр. АН СССР. Сиб. отд-ние. ВЦ).

[3] Смагулов Ш.С., Темирбеков Н. М., Камаубаев К. Моделирование методом фиктивных областей граничного условия для давления в задачах течения вязкой жидкости // Сиб. журн. вычисл. мат. 2000. Т. 3, №1.

[4] Коробицина Ж. А. Метод фиктивных областей для задач фильтрации двухфазной несжимаемой жидкости // Численные методы механики сплошной среды: Сб. науч. тр. / АН СССР. Сиб. отд-ние. ВЦ; ИТПМ. 1976. Т. 7, №3. С. 103-111.

[5] Коновалов А.Н. Задачи фильтрации многофазной несжимаемой жидкости. Новосибирск: Наука. Сиб. отд-ние, 1988. 166 с.

[6] Ладыженская О. А., Уральцева Н. Н. Линейные и квазилинейные уравнения эллиптического типа. М.: Наука, 1973. 576 с.

[7] Мухаметжанов А. Т., Отельбаев М. О., Смагулов Ш. С. Об одном методе фиктивных областей для нелинейных краевых задач // Вычисл. технологии. 1998. Т. 3, №4. С. 41-64.

Поступила в редакцию 22 февраля 2001 г., в переработанном виде — 27 июня 2001 г.