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

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

Том 3, № 4, 1998

ОБ ОДНОМ МЕТОДЕ ФИКТИВНОЙ ОБЛАСТИ ДЛЯ НЕЛИНЕЙНЫХ КРАЕВЫХ ЗАДАЧ

А. Т. МУХАМБЕТЖАНОВ, М. О. ОТЕЛБАЕВ, Ш. С. СМАГУЛОВ Казахский государственный национальный университет им. Аль-Фараби, Алматы, Казахстан e-mail: [email protected]

A new version of the iterational method is suggested for the solution of non-linear boundary problems with the natural limitation (restriction) on the non-linearity, as well as a new modernization of the fictitious domain method.

Одной из актуальных проблем вычислительной математики является построение сходящегося итерационного метода для нелинейных краевых задач (см., например, [1, 2]). В работе [1] предложены сходящиеся итерационные методы для монотонных операторов, в [2] исследовались итерационные методы для нелинейных краевых задач (схемы типа простой итерации). При этом требуются дифференцируемость оператора и оценки разных типов. Сходимость доказывается отысканием неподвижной точки некоторого вспомогательного оператора. Простота и универсальность характерны и для разностных методов решения краевых задач в регулярных расчетных областях. Важным направлением теории разностных схем представляются исследования разностным методом решений краевых задач в сложных нерегулярных областях. Один из возможных способов решения таких задач — применение нерегулярных сеток (см., например, [3]). Другая возможность связана с применением обычных разностных схем на регулярных сетках со специальной аппроксимацией вблизи границы [4, 5]. Заманчивой является перспектива применения однородных разностных методов на основе метода фиктивных областей. Такой подход позволяет, в частности, существенно повысить степень автоматизации программирования [6]. Обоснованию метода фиктивных областей для нелинейных краевых задач посвящены работы [7, 9]. При численной реализации разностных схем и метода фиктивных областей появляется трудность построения оптимального итерационного метода, в котором скорость сходимости не зависит от малого параметра. Еще большие сложности возникают для нелинейных операторов.

1. О приближенном решении одного класса нелинейных краевых задач

Пусть П область Rn. В П рассмотрим краевую задачу

Lu = F, x £ П, © А. Т. Мухамбетжанов, М.О. Отелбаев, Ш. С. Смагулов, 1998.

B3 п\дй = 0, j = 1 (1.1)

дП — часть границы дП области П. Здесь L — нелинейный дифференциальный оператор, Bj — линейные операторы, дП — границы области П.

Задачу (1.1) будем изучать в L2(n). Граничные условия понимаются в смысле L2(dП). Будем предполагать, что

(П1). Найдутся операторы B и A, такие, что преобразование Mv = BL(Av) таково, что M непрерывен и при любом v £ L2(n) элемент Av удовлетворяет условиям

BjAvU = 0, j = 1, 2, ..., k,

A — интегральный ограниченный оператор, а B — замкнутый и имеет плотную область определения.

Конечно, возникает вопрос, как выбрать операторы A и B. Если хорошо описана область определения оператора L, то такая задача, как правило, легко решается. Рассмотрим два примера.

Пример 1. Пусть задача (1.1) имеет вид

Lu = -Au + g(x, u) = f в П, u\dn = 0,

где П — квадрат, дП — граница П. Тогда возьмем в качестве оператора A интегральный оператор

Av = J G(x,y)v(y)dy, п

где G(,) — функция Грина задачи

-An = f, x £ П, u|dn = 0.

В качестве оператора B берем единичные преобразования. Тогда (П1) будет выполнен при некоторых ограничениях на g(x,u).

Пример 2. Пусть задача (1.1) имеет вид

дu

— -A u + g(t, x, u) = f (x,t), x £ П, t £ (0,1), u\t=o = 0, u\d п = 0,

где П — квадрат.

При выполнении некоторых условий (здесь мы их не обсуждаем) на g(t, x, u) в качестве B можно взять единичное преобразование, а в качестве A — оператор, определенный равенством

1

Av = J J G(t,x,y)v(y)dydt, o п

где G(t, x, y) есть выписываемая явно функция Грина для задачи

дu Л ч

—--Au = f (x, t),

дt JK J

«к=0 = 0, и|ап = 0.

В уравнении (1.1) положим и = Ау и подействуем оператором В. Тогда, если f Е В(В), обозначая В/ через f, для у получаем уравнения

М (у) = f в Ь2(П), (1.1')

где М(•) — непрерывное преобразование, В() — область определения. Решив (1.1'), положив и = Ау, получим решение (1.1).

Ниже предложим один способ приближенного решения (1.1'). Обозначим

3(у) = у |М(у) - f |2^г. п

Заметим, что на решении (1.1') функционал 3 обращается в нуль и 3 > 0, если М(у) = f. Поэтому будем искать решение (1.1') как элемент, доставляющий минимум 3. Предположим, что (П2).

М(у) - М(уо) = В(уо)(у - уо) + я(уо, у - уо), где В(у0) — линейный, а •) — остаточный операторы, которые удовлетворяют условиям

11В(уо)||< с1(|уо|), 1№о,у - уо)| < с2(|уо|, ||у - уо||)||у - уо|1+7.

Здесь || • || — норма оператора или элемента, с1(^) и с2(, •) (и появляющиеся в дальнейшем с3(•), С4(), ..., С8()) — непрерывные неубывающие функции своих аргументов из [0, то), а число 7 из (0,1].

В этом предположении оператор В(у0) — производная по Гато преобразования М(у) в точке у-у0. Он играет важную роль в дальнейшем. На него и на М(у) наложим следующие ограничения.

(П3). Оператор В (у0) из (П2) имеет ограниченный обратный В-1(у0) и

1|В*-1Ы|| < Сз(||уо||). (П4). Для любого у имеет место оценка

||у|| < С4(|Му|).

Пусть е — малое число из (0,1). Для у = у0 + е^, пользуясь предположением (П2), получим

3(у) = 3(уо + ей) = ||М(у) - f ||2 = ||М(у) - М(уо) + М(уо) - f ||2 =

= ||М(у) - М(уо)||2 + 2(М(у) - М(уо), М(уо) - f) + 3(уо) = = 3(уо) + ||В(уо)е^ + Д(уо,е^)|2 + 2(В(уо)е^ + Я(уо,е^),М(уо) - f) = = 3(уо) + 2е(В(уо)^, М(уо) - f) + В = 3(уо) + 2е(и, В*ы(М(уо) - f)) + В. где В = ||В(уо)е^ + я(уо, е^)||2 + 2(я(уо, е^), М(уо) - f).

Оценим О с помощью (П2):

2|(Я(«о,еи),Мы - /Я < ■ ||М(«о) - /II < с2(М,

||В(«оЫ| < ||ВЫ||е|М| < ес1(|М|)|М|,

|№о,е^)||2 < с2

V - «о||)||е^

||2(1+т)

Объединяя полученные оценки, для |О| получим

|О| < с2(Ы|, ЦеиЦУ^МГ+Г>/3Ы + е2с?

Ы| )е2(1+7) || 2(1+А

Н12+

+с2(Ы|, |Ы|)е2(1+у) -|М|2(1+у),

Выберем

и = —В*(^о)(М(«о) - /). Тогда соотношения (1.2) и (1.3) дают

3(V) < 3(«о) - 2е|М|2 + |О|.

Из (1.3) и (П3) вытекает

л/ЗЫ = ||М(«о) - /1| = ||В*-1(^о)В*(^о)(М(«о) -Это неравенство, (П2) и (1.3) влекут оценку

с-чк н^л/зс^оу < м < 01 аьюл/зы.

< 0э(К||)|М

Оказывается,

В самом деле,

л/|МЫ|| < л/зЫ +

||МЫ|| <

\

||МЫ||2^ <

\

||М(«о) - / + /1|2^ <

<

\

Из (П4) и (1.5') имеем

||М(«о) - /1|2^ +

\

||/||2^ = л/зЫ +

< С5^л/3(«т + ||/1|).

Отсюда и из (1.5) получаем

с-Чл/3(«о) + ||/||) л/з(«о) < М < с^л/зЫ + ||/0 3о),

(напомним, что с5(-), с6(■) — непрерывные неубывающие на [0, то) функции). Используя (1.6), |О| оцениваем следующим образом:

(1.2)

(1.3)

(1.4)

(1.5)

(1.5')

(1.6)

|О| < с2(Ы|, 11е^|)е1+^л/3(«о) + ||/||) (+

2

с

2

п

п

п

п

+е2с?(||уо||)3Ыс§(3) + ||f ||) + с2(|уо||, |Ы1)е2(1+7)(3Ы)1+7,

Сб (30) + ||f ||) < 3(уо) (^(30) + ||f ||) е1+7. Эти неравенства и (1.4), (1.6) дают

3(у) < 3(уо) [1 - 2ес-2 (30) + ||f ||) + С7 (30) + ||f ||) е1^] . (1.7)

Справедлива

Теорема 1.1. Пусть выполнены (П2), (П3) и (Щ). Определим последовательность К}^ рекуррентными формулами

и„+1 = ип + = -В*(и„)(М (и„) - f), п = 0,1, 2,... (ио п).

Тогда существуют постоянные е > 0 и 5 Е (0,1), зависящие только от и0, такие, что ип при п ^ то стремятся к решению уравнения М(и) = f. Причем

3п = ||М(ип) - f ||2 < 3(ио)52п, п = 0,1, 2, ...,

||ип - и|| < с85п, п = 0,1, 2, ...,

где постоянная с8 зависит от и0 и f.

Доказательство. Заметим, что выражение в квадратных скобках из (1.7) достигает минимума в точке

е =[2-1(1 + 7 )с-2С7]-1/7, (1.8)

где с7, сб — постоянные из уравнения (1.7), в котором берем у0 = и0. Вычислим

и = ио + е^о, ^о = -В*(ио)(М(ио) - f). Из (1.7) вытекает неравенство

3Ы < 3(ио)52, (1.9)

где 52 = 1 - 2ес-1() + С7()3е1+7.

Заметим, что 5 в силу (1.8) строго меньше единицы при достаточно малом е. Вычислим теперь

и2 = и1 + е^1, = -В*(и1)(М(и1) - f). Так как Сб() и С7() монотонно не убывают, в силу (1.9) имеем

52 = 1 - 2ес-2() + С7(-)е1+7 < 52.

Продолжая этот процесс, получаем

3(ип+1) < 3(ип)52, п = 0,1, 2, ...

Поэтому

1|М(ип) - f ||2 = 3(ип) < 3(ип-1) < 3(ио)52п. (1.10)

Оценим ип - и0:

п

ип = ип-1 + еШп = ип-2 + е(^п-1 + ^п) = ио + е ^ ^.

3=0

Поэтому при т > п

т

У ит ип У ^ ^ ^3 •

3=п+1

Так как в (1.6) с6(^) не убывает, неравенство вместе с (1.10) и (1.6) дает

т _

«*(+ У/У) Е - е<*(vJ(U) + У/у)

1ит ипУ — ес6 (V3(ио) + у/у) V 3(3 -

3=п+1

п+1

Зио) £57 - есб (л/3(и0) + У/у) 5п+1

1 - 5

3 = 1

Это неравенство и (1.10) доказывают теорему.

Замечание 1.1. Из доказательства теоремы вытекает, что в рекуррентных формулах для К) постоянное е определяется равенством е = е0, а число 5 = 50 из равенства (1.9). Нетрудно заметить, что для справедливости теоремы годится любое е € (0,ео). Поэтому, чтобы не вычислять с6(-) и с7(-), счет по рекуррентным формулам теоремы 1.1 начинаем с любым достаточно малым е = е1. После каждого шага проверяем неравенство 3(ип+1) < 3(ип). Если это неравенство выполнено, то продолжаем вычисления с этим же е. Если же данное неравенство нарушено, то перевычисляем последний шаг, уменьшив е в два раза. Очевидно, что если выполняются условия теоремы, то начиная с некоторого момента менять число е не придется. Отметим, что такая "модернизация"рекуррентной формулы теоремы 1.1 позволяет построить последовательность {ип}, для которой 3(ип) ^ 0, при существенно менее жестких условиях, чем (П2), (П3) и (П4).

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

1

2. Линейная задача в области (метод фиктивных областей)

В этом разделе построим приближенный метод решения линейной краевой задачи в области.

Пусть Ь — линейный дифференциальный оператор с гладкими коэффициентами, определенный на функциях (вектор-функциях), заданных на области П С Дт. В П С Кт рассмотрим краевую задачу

Ьи = /, В «и = 0, з = 1, 2,..., к, (2.1)

где дП — часть границы дП области П, В3 — дифференциальные операторы. Коэффициенты оператора Ь гладко продолжим на некоторую область ф, содержащую П, так, чтобы они вместе со своими производными любого порядка были ограниченными функциями на ф. Будем предполагать, что задача (2.1) однозначно разрешима в пространстве Ь2(П) и ее решение допускает продолжение на область ф, причем имеет представление

и(х) = Ад = I А(ж,у)д(у)^, д(у) € Ь2(ф). (2.2)

Я

Как правило, за ядро А(х, у) можно взять функцию Грина краевой задачи для дифференциального оператора с постоянными коэффициентами. Относительно А предполагаем, что А-1 существует (неограниченный) и замкнут, а операторы В,А (з = 1, 2, ... , к) также интегральные, ЬА в Ь2(ф) ограничен. Задачу (2.1) в силу (2.2) можно переписать в виде

Мд = ЬАд = f, х Е ф,

В, Ад|дп = 0, з = 1, 2,..., к. (2.1')

Так как ядро А явно пишется, то ядра В, (х, у) операторов В,А также пишутся явно. Введем функционал

3(и)= / х|Ми - f |2^х + ^ / |(В,А)и|2^,

П ,=1,

(2.3)

дП

где X — характеристическая функция П, (х) — элемент дП, а М = ЬА. Преобразуем второй член в (2.3):

^ / |В,А(и)|2^(х) = £ / | / В,-(х,п)и(п)^п|2^5(х)

х) =

,=1

дП

к

Е

,=1

дП

,=1дП д [ В, (х,у)и(у)^^У В, (х,п)и(п)^п

(х)

Е

,=1

В, (х, у) В, (х, (х)

1-дП

и(у)и(п)^п^у = (Жи,и),

где (,) — скалярное произведение в Ь2(ф), а N — интегральный оператор с ядром

NI В,(х,у)В(х,П)^х ,=1,

(2.4)

дП

Сложность вычисления ядра N(•, •) зависит от степени сложности дП. Используя вышеприведенные выкладки, из (2.3) получаем

3(и)= / х|Ми - f |2^х + (Nu, и) = ||х(Ми - f )||2^х + (Nu,u).

(2.3')

Отметим, что оператор N с ядром (2.4) будет неотрицательным и самосопряженным. Если 3(и), то в силу (2.3) нетрудно видеть, что и есть решение задачи (2.1'), и наоборот. Поэтому для решения мы будем минимизировать функционал 3(•). Пусть и и ш элементы Ь2(ф). Имеем

3(и + ш) = 3(и) + 2(х(Ми - f), Мш) + 2^и,ш) + ||хМш||2 + ^ш,ш).

к

к

к

к

к

П

Здесь мы воспользовались тем, что гильбертово пространство действительно. Пусть е > 0, а

и = -е[М*х(Мм - /) + Жм] = -ей. (2.5)

Тогда

3(м - еи) = 3(м) - 2е||и||2 + е2 [||хМи||2 + ||Жи||2] < 3(м) - 2е||и||2 + е2с2||и||2,

где с2 = ||М||2 + ||2.

Выбрав е из равенства е = с-2 = (||М||2 + ||л/Ж||2)-1, приходим к равенству

3(м - еи) < 3(и) - с-2||и||2. (2.6)

Используя выбор (2.5) и соотношения (2.6), составим функционал (2.3), минимизирующий последовательность

мп+1 = - еип, п = 0,1, 2, ...

и„ = М*х(Мм„ - /) + (2.7)

где е — произвольное положительное число, удовлетворяющее соотношению 0 < е <

(||М ||2 + ||2)-1.

Мы должны доказать, что последовательность вычисленная по рекуррентным формулам (2.6), минимизирует 3(•) и, кроме того, сходится в некоторой метрике. Для этого перечислим условия, которые будем налагать на задачу (2.1'):

(П2.1). Операторы М и N ограничены в ¿2(ф), а операторы А-1, А-а(а > 0) существуют (вообще говоря, неограниченные).

(П2.2). Для любого / € ¿2(П) задача (2.1) имеет единственное решение в ¿2(П), причем существует его продолжение м на ф, допускающее представление м = Ау, V € ¿2(ф). Для V справедлива оценка

И- ¿2 (ф) < с||/||£2(П),

где с не зависит от / € ¿2(П).

(П2.3). Существует 1 > в > 0, такое что, если

|Мк(п) < Ь°, ^ [(В,-м)2^5<б1, ■?=° ш

то м допускает продолжение м из П на ф, удовлетворяющее оценке ||А-0м||2 < с(Ь° + Ь1), в которой не зависит Ь°, Ь1 и от м. Для мт из (2.7) имеем

||«п+1||2 = ||«п||2 - 2е(м„,ига) + е2||и„||2 = -2е(м„, М*х(Мм„ - /)) - 2е(м„,

+е2||и„||2 + ||мга||2 = ||мп||2 - 2е(Мм„, х(Мм„ - /)) + (м„, + +е2||и„||2 = ||мга||2 - 2е(/,х(Мм„ - /)) + е2||и„||2 - 2е3(м„).

Отсюда

|К+1||2 + 2е3(м„) = |К||2 - 2е(/, х(Мм„ - /)) + е2||ига||2. (2.8)

Имеет место

Лемма 2.1. Существует постоянная с > 0, не зависящая от п, такая, что

Ух(Мип - /)У- сУ^пУ2, п =1,2,...

(нормы берутся в Ь2(ф)).

Доказательство. Рассмотрим задачу

Му = Мип - /, х € П,

Вз А^ |дй = 0. (2.9)

Обозначая А- = и, получаем

Ьи = Мип — /, х € П, В3 и|ап =

Согласно предположению (П2.2), эта задача имеет единственное решение и, для которого существует продолжение и на ф, представимое в виде и = Ау, причем У-У — с||Мип — / у. Очевидно, у есть решение (2.9). Умножим на у скалярно, тогда непосредственно вычислениями, используя (2.9), получаем

= 0, = (x(Mu„ - f), Mv) + (Nu^v) = ||x(Mun - f )||2.

Отсюда и из оценки

||v|| < CyX(Mu„ - f)У

в силу неравенства Коши вытекает

||x(Mu„ - f)У < c|KI|.

Лемма доказана.

Из (2.8) и леммы (2.1) получаем

IK+1II2 + 2eJ(u„) < ||uj2 + Ciey^ray + e2||wj2. (2.10)

Просуммируем эти неравенства:

n n n

IK+iII2 + 2e^ J (un) < ci^Y^ KII + e2Y^ k=0 k=0 k=0

Из (2.6) следует, что

J(un+l) < J(un) - c-2y^n|2,

поэтому

те

У^ II^nI2 < Co < TO.

n=0

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

nn

||un+i|2 + J(un) < Ci^^ y^fcy + Coe2 < Ci^v/n + e2co.

k=0 k=0

В силу монотонного невозрастания 3(ига) при возрастании ига, это неравенство дает

3Ы < С2—=. (2.11)

'и

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

Теорема 2.1. Пусть выполнены предположения (П2.1), (П2.2) и (П2.3). Пост/роим последовательность (мга} по рекуррентным формулам (2.7). Тогда последовательность

гп = Аига, и = 1, 2, ...

сходится к решению задачи (2.1), причем

- /)Н!2«) + Е / 1Вгга|2^ < с—==, (2.12)

||А-0к - ^))|||2Ю) < с—, (2.13)

к ' уи + 1

где не зависит от / и и.

Доказательство. Достаточно доказать второе неравенство теоремы. Первое неравенство сразу вытекает из (2.11) и определения 3(•). Для гп в силу уже доказанного неравенства (2.12) теоремы имеем

Ьгга = /га, В,гга|дл = , и = 0,1, 2, ..., 3 = 1, ..., к,

где /п и удовлетворяют неравенству

11х(/п - /)|И2(П) + Е / ^ = ||х(/п - /)|||2(П) + Е / 1Вгга|2^ < с—=.

|2

,=1¿л ,=1да

Отсюда из предположения (П2.3) и (П2.2) легко вытекает фундаментальность последовательности А-0гп и ее сходимость к А-0г. Теперь снова, используя последнее неравенство (П2.3), получаем второе неравенство теоремы. Теорема доказана.

Замечание 2.1. Если в (П2.3) число 9 равно 1, то оператор N с ядром (2.4) не может быть интегральным; ядро N (у, п) должно будет иметь ^-образную особенность на д П. Тем не менее, дифференцируя граничные условия в (2.1) по касательным переменным, многие (классические) краевые задачи можно эквивалентным образом записать так, чтобы (П2.3) выполнялось при 9 =1. При 9 = 1 вместо неравенства леммы 2.1 легко получить неравенство

V3(и™) < с||^га||.

В самом деле, рассмотрим задачу

Мг = Мига - /, х € П, Аг|ал = , 3 = 1 2 ...,к

Обозначив Аг = и, получаем

Ьи = Ми„ - /,

Вм|дП = Жм™|дП, 3 = 1 ^ ...,к

согласно предположениям (П2.2), (П2.3) м продолжаемо в ф, и это продолжение допускает представление

( / к \ 1/2\

и = Ау; < с

\2,

||Mu„ - f ||L2(n) + X) /(Nun)2dS \ V=1sn / /

Умножив на v, скалярно имеем

(u„,v) = (x(Mu„ - f),Mv) + (Nu„,v) = = ||x(Mu„ - f )||2 + (u„, Nv) = ||x(Mu„ - f )||2 + (u„, Nura)

(2.14)

Отсюда

Следовательно, в силу (2.14) Но тогда из (2.6) имеем

||Wn|||M| > J(Un). (Un) < c||u„||. J(Un+l) < J(Un)(1 - £l), £l > 0

и, суммируя по п, получаем

3Ы < 3(м°)(1 - е1)п = 3(м°)е-гп.

Это неравенство приводит к результату теоремы 1, в котором вместо (2.12) и (2.13) нужно воспользоваться неравенством

||х(^„ - /)||2 + ||В< се-гп,

дП

|А-1(у„ - ^И^ < се-йп

Для эллиптических задач (2.13) означает, что решение сходится в классе Соболева ^2 (П), где I — порядок уравнения со скоростью геометрической прогрессии.

Замечание 2.2. При расчете по рекуррентным формулам не обязательно знать ||М||2+ ||\/Ж||2. Можно пользоваться рекомендацией из замечания 1.1.

Замечание 2.3. Вычисление N (у, п) по формуле (2.4) — не простая задача, хотя формула и явная. Поэтому при приближенном решении можно пользоваться другим ядром. В зависимости от необходимой точности можно взять число 8 > 0 и положить

Ж(У,П) = I хг(х)В(х,П)В,

j=1 Q

Здесь хг (х) — характеристическая функция 8-окрестности множества дП.

Замечание 2.4. Если решать задачу (2.1), следуя результату теоремы 2.1, то за А можно взять резольвенту дифференциального оператора с постоянными коэффициентами.

В случае, когда Q — куб, Q D П, собственными функциями оператора L0 с периодическими краевыми условиями является тригонометрическая система {^¿(ж)}. В качестве A можно взять любой интегральный оператор с ядром

A(x,y) = (У)>

где Лг — собственное число в операторе L0, соответствующее ^ (ж), числа aj удовлетворяют неравенству c-1 < |aj | < с, где с > 9 — любая фиксированная постоянная. Так как Лг трудно вычислимы, а ^(ж) известны, это замечание поможет эффективно выбрать A.

Кроме того, если в качестве Q рассматривать все Rn, то за действие A на u можно взять свертку фундаментального решения, соответствующего оператору L0, с элементом u. Для широкого класса дифференциальных операторов с постоянными коэффициентами фундаментальные решения вычислены.

Замечание 2.5. Рекуррентные формулы (2.7) можно заменить на следующие:

Un+1 un

= M*x(Mu„ - f) + Nun £n = |kn||2 [||Mw„||2 + (Nw„,w„)]

При этом сходимость J(un) к нулю ускорится, так как £n выбрано из условия достижения минимума по £ величины J(un - £wn). Действительно,

n

1 -1

3(м„ - еи„) = 3(м„) - 2е||и„|| + е |_||Ми„|| + Здесь минимум правой части достигается при е = еп.

3. О приближенном решений нелинейных краевых задач

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

В пространстве Ь2(П) (П — ограниченная область в Дга) рассмотрим краевую задачу

Ьм = / в П,

В м|дп = 0, 3 = 1, 2,..., к. (3.1)

Здесь дП — часть границы дП области П, Ь — необязательно линейный, а В, (3 = 1, 2, 3, . . . , п) линейные дифференциальные операторы. Если в этом есть необходимость, пользуясь продолжениями из П на Дга, будем считать, что операторы Ь(-) и В,(•) (3 = 0,1, 2, ... , п) определены для всех м из С°ю(Дга).

Пусть ф — область, содержащая П. Предположим, что:

(П3.1). Задача (3.1) для любого / € Ь2(П) однозначно разрешима. Существуют область ф, содержащая П, и ограниченный интегральный оператор А, такие, что решение м задачи допускает продолжение из П на ф, представимое в виде

м = Ау, V € ¿2(ф),

причем

||г|к2(з) < со(||Ь(и)||) + с1|и|).

(П3.2). Операторы В,А (3 = 1, 2,... , к) — ограниченные интегральные операторы в Ь2(ф), а преобразование Ь(Аг) непрерывно.

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

В, и|ап = , 3 = 1 2,...,к. Для функции и = Аг определим

= В, и|ап = В, Аг|ап. Продолжив эти (3 = 1, 2, ... , и) оператором £, получим

и = £($2 ..., $п) = £и = £А • г. (3.2)

Для разности

Сг = Аг - £Аг (3.3)

в смысле обобщенных функций имеем

В,Сг|дп = 0, 3 = 1, 2,...,к

Будем еще предполагать, что выполнено условие (П.3) решения и задачи (3.1) представимы в виде

и = Сг,

при этом

|г|Ь2(д) < с||/¡¿2(д).

Если выполнены предположения (П3.1), (П3.2) и (П3.3), то в п. 1 в качестве В можно взять единичный оператор, а в качестве А — оператор С из равенства (3.2). Тогда при некоторых условиях на С мы сможем воспользоваться результатами п. 1. Оператор продолжения эффективно построить удается не всегда. Этот вопрос следует рассматривать отдельно в каждом конкретном случае.

4. О приближенном решении нелинейных эллиптических краевых задач

Если оператор А удается выбрать удачно, то итерационная схема, составленная по алгоритму из п. 1, будет сходиться со скоростью геометрической прогрессии. Сложность выбора оператора А вызвана тем, что он связан граничными условиями. Построение оператора продолжения из п. 3 является сложной технической задачей. Ниже мы предлагаем "грубый метод", который, на наш взгляд, более удобен в реализации. Рассмотрим в области П € Дга краевую задачу

Ьои + В (и) = /,

^и|дп = 0. (4.1)

Здесь Ь0 — строго эллиптический оператор второго порядка, В(-) — нелинейный оператор, N — линейный дифференциальный граничный оператор, не выше первого порядка.

(П4.1). Предположим, что при любом / € Ь2(П) задача (4.1) имеет единственное решение и, которое продолжается на все Дга, так, что и € Ж22(Дга) и кроме того, если / € С(П), то grad и € С(П).

Линейные операторы Ь0 и N (являющиеся, вообще говоря, операторами с переменными коэффициентами) также будем считать определенными на всех функциях из С0ю(Лга). Будем предполагать, что В (и) = ^ (и, ж), где ^ (•, •) — дважды непрерывно дифференцируемая функция своих аргументов и € (-то, то), ж € Дга.

Нас интересует приближенное решение (4.1) при / € С(П). Согласно (П4.1), решение задачи (4.1) ограничено. Ограничены также его первые производные. Поэтому решение (4.1) совпадает с решением следующей задачи:

Ьи + 7 (||и||)В (и) = /,

^и = 0. (4.1')

Здесь 7(ж) — дважды гладкая функция, такая, что

7(ж)= { 1 при Ь € 1!МоЬ (4.2)

[0 при Ь > ¿1,

где Ь0 и зависят от /0 и 0 < Ь0 < Ь1. Возьмем область строго содержащую П. Тогда в силу (4.1) решение можно представить в виде и = Аг, где А — самосопряженный интегральный оператор, действующий из Ь2(^) в ^22(^):

и = Аг = J А(ж,у)г(у)^у, (4.3)

Я

где ж € П С

За ядро А(ж, у) оператора А из (4.3) можно взять, например, функцию Грина для -Д+Е с периодическими краевыми условиями в кубе содержащем П. За А(ж, у) можно также взять функцию Грина задачи Дирихле (или Неймана) для - Д+Е.

Еще один вариант выбора А(ж,у) следующий. Пусть С(ж - у) функция Грина оператора -Д+Е на всем Дга. Эта функция может быть выписана явно (ядро Бесселя — Макдонольда). Положим А(ж,у) = Хя(ж)С(ж - у)хя(у), где ХяО — характеристическая функция области а Q — произвольная область, содержащая П (в частности, Q может совпадать со всем Дга). Подставим и = Аг в уравнение (4.1) и получим

М (г) = Ь0Аг + В(Аг) = / в П,

^г|дп = 0. (4.4)

Здесь В(-) = 7[-]В(•). Введем функционал

3 = ||х(Ь0Аг + В(Аг) - /1|2 + ^ |^Аг||2Ж£

дП

где — элемент поверхности д П. Оператор ЖА будет интегральным, с ядром N (ж, у). Поэтому, как и в п. 2, 3 можно записать в виде

3(V) = У [£о(Ли) - /+ V) =

Я

= + вВ(А^) - /1|2 + (Ж^), (4.5)

где X — характеристическая функция П, N — самосопряженный интегральный оператор с ядром

Ж(п,у) = У (ж).

да

Если V — решение задачи (4.4), то 3 обращается в нуль, и наоборот, если 3(V) = 0, то V есть по крайней мере или слабое, или обобщенное решение задачи (4.4). Следовательно, приближенное решение (4.4) можно искать как последовательность, реализующую минимум 3.

Для минимизации 3(V) нужны некоторые предположения.

(П4.2). Существует в € [0,1], такое, что, если 3(г^), 3(у2) < с < то, то хА^ь хА^2 имеют продолжения и и и2 из П на для которых

||A-y(ui - u2)|Q < ci

I ||Nvi - Nv2|2dS(x) + ||M(vi) - m(v2)|&

[дП

где c1 не зависит от v1 и v2. Это предположение для корректных эллиптических задач, как правило, выполняется, при этом в < 1.

Норма левой части тем сильнее, чем больше в. Увеличению в мешает в основном граничное условие.

(П4.3). Если J(v) < то, то ||v|| < c(J(v)) < то, а задача

Lou + B(Av)u = R G L2(П), Nu|dn = 0

однозначно разрешима. Причем решение u допускает продолжение U из П на Q, удовлетворяющее оценке

||A-1U||q| < С||Я||Мп),

где c не зависит от R, но может зависеть от J(v).

Сначала рассмотрим "дифференциальный"вариант приближенного решения задачи (4.1). Допустим, что v в выражении для J зависит от параметра Продифференцируем J по £:

J? = 2(х (M(v) - f), M(v)v?) + 2<Nv, v?) = = 2(M*(v) (х (M(v) - f)) + NVv,v?).

Здесь

M (v) = L0Av + B(Av), M(v) = B(Av)A + L0A.

Выберем г^ из уравнения

г? = -[МТ(г) (х (М(г) - /)) + Жг], г|?=0 = г0. Нетрудно доказать, что эта задача Коши разрешима. Таким образом,

Отсюда вытекает

3 = -2||гс ||2, 3 ||с=0 = 3 (г0).

3 = 3Ы - 2 ||гс||2^е, / К< то.

В предположении (П4.3) за Я примем х (М(г) - /). Пусть и Умножим г^ скалярно на $ = А-1и. Тогда

(4.6) (4.6')

(4.7)

функция из (П4.3).

<г?, $> = (х (М(г) - /), ¿0 + В(Аг) А$> = (х (М(г) - /)

¿0 + В(А)) и) = ||х (М(г) - /) ||2.

(Здесь мы учитывали, что <^Уг, $> обращается в нуль в силу равенств NAg|дп = ^й|дп = 0). Из (П4.3) и полученного для (г^ ,$) равенства имеем

||х (М(г) - /) ||2 < ||$||г?|| < с|х (М(г) - /) Отсюда и из (4.7) вытекает, что

||х (М(г) - /) ||2^е < С1 < то.

(4.8)

Умножим теперь г^ на г скалярно и проинтегрируем от 0 до £:

2 г( 2

= - <х (М(г) - /) , М(г)г> + (Жг, г) ^ =

0

« «

'-3(г) - <х (М(г) - /), М(г)г - М(г) + />) ^ = - / 3(г)й£-00

-<х (М(г) - /), / + В(Аг)Аг - В(Аг)>.

Это равенство и (4.8) дают оценку

2 К,. ||г(0)||2

-+ < + С1

\

||х / + В(Аг)Аг - В(Аг) ||2^

эо

0

0

эо

0

2

2

2

0

0

В силу построения £>(•) подынтегральное выражение в правой части ограничено постоянным числом. Поэтому

?

К£)И

2 + ^ ^ 2

+ с2Л/ё

(4.8')

Далее из (4.7) получаем, что 3 по £ монотонно не возрастает. Следовательно, из (4.8') вытекает

И£)И2 , „ ^ И0)И2

+ <

+ С2л/ё

А это неравенство дает

22

3 < сз£-1/2, 1К£)Цсз£-1/4

(4.8'')

Теперь воспользуемся предположением (П3.2). Тогда получаем, что имеет место Теорема 4.1. Пусть выполнены предположения (Щ.1), (Щ.2) и (Щ.3). Тогда, если V решение (4.6), то при £ ^ +то V стремится к решению задачи (4.4). Причем

и^ау - /и2 + и^ауц2^(х) <

дП

V?'

Кроме того, если V — решение (4.4), и — продолжение хАУ, а и — продолжение хАу, то

И А-*(и - и)Ид

Если положить в этой теореме Ау = и, получим следующее утверждение.

Теорема 4.1'. Пусть выполнены (П4.1), (П4.2) и (П4.3). Определяем V из уравнения (4.6). Положим и = Ау, тогда имеет место оценка

ИЬи - /ИП + / И^и||2^(х)

дП

Доказательство. Первое неравенство непосредственно следует из (4.8''). Достаточно доказать второе неравенство. Из предположения (П4.2) имеем

ЦА-*(и - и)И2 < с

ЦжауЦ2^(х) + Их(му) - м(а(а-1и))иь2(д)

дП

ЦжауЦ2^(х) + Их((му) - /)и2

дП

= с3.

Отсюда вытекает второе неравенство теоремы.

Замечание 4.1. В условиях теоремы 4.1 при £ ^ то функционал 3 стремится к нулю, а V стремится к решению.

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

возьмем

V? = - 3]

и

и

у|?=0 = Уо,

о

с

2

и = AT(v)x(M(v) - f) + Nv. (4.6')

Подставляя v^ в выражение для J^, получаем J^ = — 2J. Поэтому при таком выборе v^

J = e-2i J (vo) = coe-2i, Co = J (vo).

Видно, что J стремится к нулю экспоненциально. Но отметим, что задачу Коши (4.6') теперь труднее решать (а также доказывать существование ее решения), чем задачу (4.6).

Выкладки этого замечания верны для очень обширного класса задач, по крайней мере формально. Поэтому, базируясь на выборе (4.6'), можно составить для задачи (4.4) (а следовательно, и для (4.1)) итерационный процесс

vn+1 vn

Un = M *(v„)x[M (vra) — f ] + Nv«, n = 1, 2,... (4.9)

В этом процессе e1, e2, ..., выбирается следующим образом. Пусть уже выбран en-1. Вычислим vn+1 по формуле (4.9). Выбрав en = 2jen-1 (j = —1, 0,1) и обозначив вычисленное значение vn+1 через vn+1j-, найдем J(vn+1j-) (j = —1, 0,1). Обозначим J = min J(vn+1j-) (j = —1, 0,1). Если J = J(vn+1)1), то берем en = 2en-1, если же J(vn+1>1) > J и J = J(vn+1>0), то берем en = en-1.

Наконец, если J(vn+1;1), J(vn+1;0) > J, то берем en = 0.5en-1. Мы можем оказаться в ситуации, когда вычисленное значение J(vn+1) (с уже выбранным en) не меньше, чем J(vn). В таком случае нужно делать пересчет vn+1, взяв en = 0.5en. Для достаточно общих краевых задач (в частности, для задач, которые удовлетворяют (П4.1), (П4.2) и (П4.3)) можно доказать, что такой расчет приведет к построению последовательности vn, для которой имеет место соотношение J(vn) ^ 0. В предположениях (П4.2), (П4.3) из стремления J(vn) к нулю вытекает сходимость vn (в слабой метрике) к решению задачи (4.4).

5. О приближенном решении нелинейных эллиптических задач итерацией

Основным недостатком метода, описанного в предыдущем разделе, является тот факт, что уравнение (4.6), позволяющее строить приближенное решение (4.4), само есть дифференциальное уравнение. Мы признаем возможную неудовлетворенность читателя. Более удобным для численной реализации был бы дискретный вариант (4.6).

Этот раздел — непосредственное продолжение п. 4. Поэтому, если не оговорено иное, используются принятые ранее обозначения. Считаем также, что выполнены предположения (П4.1), (П4.2) и (П4.3). Кроме того, предположим также, что выполнено следующее условие.

(П5.1). Если 3(г) < с0, ||^|| = 1, 0 < е < е0 < 1, то выполнено неравенство ||В(Аг + е^) - В (Аг) - еВ (Аг)^|| < с1е2, где с1 < то непрерывно зависит от с0 и не убывает при возрастании с0.

Пусть ||^|| = 1, е < е0, где е0 — число, фигурирующее в (П5.1). Тогда

3(г) < 3(г0) < С0, 3(г + ей) = ||х(М(г + ей) - /)||2 + <(N(г + ей),г + е^)> =

= Их(М(V + еи) - (М(V)) + х(М(V) - /)Ц2+ + ((Жу,у) + 2е((Жу,и) + е2(Жи,и) = 3(у) + 2(хМ(у) - /), М(у + еи) - М(у)) + 2е(Жу, и) + (ЛТи, и)е2+ + Их(М(у + еи) - (М(у)) И2 = 3(у) + 2е(х(М(у) - /), ¿оАи) + 2е(Жу,и) + +2е(х(М(у) - /), В(Ау)Аи) + 2(х(М(у) - /), В(Ау + еи) - В(Ау)--В(Ау)еАи) + е2(Жи, и) + Цх(^оАие) + х(^(Ау + еи)--В(Ау) - еВ(Ау)Аи + еВ(Ау)АиЦ2. Отсюда и из предположения (П5.1) вытекает, что

3(у + еи) < 3(у) + 2е((ЬоА)*х(М(у) - /) + Nу + (в(Ау)а)*х(М(у) - /),и) + С2е где с2 зависит от 3(у0) = со. Выберем и = - -—-, где

и

2

v = (NVv +

Откуда

(LqA)* + (B(Av)A)*] x(M(v) - f)) .

J(v + ev) < J(v) - 2e||v|| + e2C2. (5.1)

Оценим v. Пусть g — решение задачи

Log + B(Av)g = x(M(v) - f) в П,

NgU = 0.

Продолжим g с П на Q согласно (П4.3). Это продолжение обозначим также через g. Положим g = A-1g. Умножим v скалярно на g. Тогда с учетом граничного условия на g, определения N и выбора g, имеем

(v,g) = ||x(M(v) - f)||2.

Теперь, учитывая 4.3, получаем

||x(M(v) - f)||2 <||v||NVN < V||v|||x(M(v) - f)||.

Поэтому

||v|| > x(M(v) - f)||V-1. (5.2)

Отсюда вытекает, что v = 0, если J(v) = 0. Действительно, если v = 0, то из (5.2) следует, что M(v) - f = 0 в П. Поэтому в силу определения v имеем 0 = v = Nv, (Nv,v) = 0. Но тогда J(v) = 0. В случае J(v) = 0 получаем, что v — решение (4.4) и цель достигнута. Следовательно, можно считать, что v = 0. Выберем теперь e положительным и таким, что e||v|| = 2e2c2. Отсюда и из (5.1) вытекает

J(v + eW) < J(v) - e||W||q = J(v) -

Q

2C2

2

е = , еЖ = --1- Ж. (5.3)

2с2 2с2

Определим последовательность гп по рекуррентным формулам

1

гга+1 = г„ - — п = 0,1, 2, ..., 22

= +

(¿0А)* + (В(Аг„)А)*] х(М(гга) - /) (5.4)

(напомним, что х — характеристическая функция П).

Теорема 5.1. Пусть выполнены предположения (Щ-1), (Щ.2),(Щ.3), (П5.1) и пусть гп(п = 0,1, 2, ...) — последовательность, построенная по рекуррентным формулам (5.4). Тогда

с

3(г„) <

Vп + 1'

где с не зависит от /.

Функции хАгп имеют продолжения ип из П на Q, такие, что

||А-в(и„ - ит)||2 (1 < п < т).

уп +1

Последовательность Агп сходится к решению задачи 4.1. Доказательство. Из (5.3) вытекает, что

< Сз < то. (5.5)

п=0

Умножим на гп скалярно:

<^„,гга> = -^г„,г„> - <х(М(г) - /),^0Аг„ + В(Аг„)Аг„> =

= -3(гга) - <х(М(гга) - /)), / - В(Аг„) + В(Аг„)Аг„> < < -3(гга) + ||х(М(гга) - /)|| • ||/ - В(А(гга)) + В(Аг„)Аг„||

или

2с2<г„+1 - г„,г„> + 3(гга) < ||хМ(г) - /1| • ||/ - В(Агга) + В(Аг„)Аг„||. Просуммируем эти неравенства по всем п от 0 до

3(гга) + 2с^<г„+1 - г„,г„> < ^ ||х(М(гга) - /) • ||/ - В(Аг„) + В(Аг„)Аг„||.

п=0 п=0 п=0

Теперь воспользуемся (5.2), (5.5) и построением В(-) по В(^). Получим неравенство

й й к

3(г„) + 2С2 У^<гга+1 - г„,г„> < с4 ||^„|| < с^\/к

/ " | / Лп+1 ^га/ < 4 /

п=0 п=0 п=0

\

^||^га||2 < (5.6)

п=0

Преобразуем второе слагаемое левой части последнего неравенства (5.6):

к к ^У] - = ^ (|К+1||2 - - ||^га+1 - -Уга||2) :

ит ^п/ / V || ^n+i N II ^п || II ^n+i ^п I n=0 п=0

к

2 V^ ||„, „, ||2

= ||vk+i||2 - Hf - Y1 Nv"+i - V

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

Vn+1 - Vra = (2C2)-iU

из (5.6), имеем оценку

к

Nvk+iN2 + J] J(vn) < V^ce +

n I

n=0

^n

n=i

Поскольку функционал J (vn) не возрастает по n, из этого неравенства следует оценка

J(vn) < c7 ^^.

Vn +1

Это неравенство и предположение (П4.2) доказывают теорему.

6. О приближенном решении нелинейной параболической задачи

Рассмотрим задачу

du

— - (Lou + Bm) = /, x G П, t G (0,1),

u|t=0 = 0, Nu|dn = 0. (6.1)

Здесь L0 — строго эллиптический линейный оператор второго порядка, Bu = B(u,x,t) — дважды непрерывно-дифференцируемая функция своих аргументов u,x,t,u G (-то, то), x G П, t G [0,1]. Если для задачи

du=/•

u|t=0 = 0, Nu|dn = 0 (6.2)

можно явно написать функцию Грина, то использование результатов из п. 1 дает эффективный метод решения.

Как правило, для задачи (6.2) явно выписать функцию Грина невозможно. Поэтому мы будем действовать методом, описанным в пп. 4, 5, т.е. методом фиктивных областей. Пусть Q — куб, содержащий П. Помимо (6.1) рассмотрим задачу

du

— — Am = /, x G Q, t G (0,1),

2

u|t=0 = 0.

(6.3)

По пространственным переменным присоединим к (6.3) периодические краевые условия.

Пусть А(х, ¿,у, п) — функция Грина задачи (6.3). Она может быть выписана явно. Обозначим

(Ау)(х, ¿) = ^ I J А(х, ¿, у, пЖу, п)^у I ^п- (6.4)

о \<з /

Приближенное решение задачи (6.1) будем искать в виде и = Ау. Тогда V очевидно удовлетворяет уравнению

/Ау - В(Ау) - / = 0, (6.5)

где / = — - Ьо.

Для Ау начальное условие (Ау)|г=0 = 0 выполняется автоматически. Поэтому к (6.5) остается присоединить условие

(ЖАНш = 0. (6.6)

Так же, как и в пп. 4, 5, имеются другие варианты выбора А, например,

= У У Х^^'^У'П^УМУ'П^Л

о д

где •, •, •) — функция Грина для уравнения теплопроводности мг — Дм = /, м|г=0 = 0, £ € [0, то), х € Дга. Явный вид С(-, •) можно найти в любой книге по уравнениям математической физики.

Для приближенного решения задачи (6.1) будем пользоваться следующими предположениями (П6.1), (П6.2), (П6.3):

(П6.1). Задача (6.1) однозначно разрешима для любого / € Ь2(П0д), где П0д = {(¿,х) : £ € [0,1], х € П}. Причем, если / € С(П0д), то решение м(£,х) также непрерывно на П01.

В силу этого предположения при / € С[П0д] решение (6.1) совпадает с решением

£ - Ь0м - В (м) = Л

и|4=0 = 0, = 0, (6.1')

где В (и) = 7 [||м||2]В (и). Здесь 7 должна быть непрерывно дифференцируемой функцией, которая равна 1 при ||м||2 < ¿1 и нулю при ||м||2 > ¿2 (0 < ¿1 < ¿2). Числа ¿1 и ¿2 зависят от /. Будем решать задачу при / € С(^0д). Теперь вместо (6.5)-(6.6) имеем

/Ау - В(Ау) = /, = 0.

Введем, как обычно, функционал 3(у):

3М = ^ I J ||/АуВ(Ау) - /||2х^х^ + I I J ||ЖАу||2^(х) | | ^

0 0 хдо

г

(ж) — элемент поверхности дП, х — характеристическая функция П). Как и в пп. 4, 5, этот функционал можно переписать в виде

1

3 (V)

X (/ау - В(ау) - /) ^ ^ + у

о

2

^ ||Х (/аув(ау) - /) Н^л + <^и>и)в011.

^0,1

Здесь || • ||д01 и <•, ^)д01 норма и скалярное произведение в Ь2(^0;1),

^0,1 = {(г, ж): г е [0,1),ж е д}.

Теперь можем перечислить остальные предположения, которые нужны в дальнейшем. (П6.2). Если 3(у1), 3(у2) < с0 < то и и1 = хАу1, м2 = хАу2, то

|м1 - м2|| < с1

(^1 - - У2) + / ||М(хА^1) - М

П0 ,1

М(м) = /Ам - В(Ам).

(П6.3). Если 3(у) < с0 < то, то задача

дм

— - ¿0м - В(Ау)м = д, г е (0,1),ж е П,

и|4=0 = 0, = 0

однозначно разрешима, причем решение м(г,ж) из П0>1 продолжается на $0,1, так, что

Ж-Лм

< ^0,1, м|*=0 = 0;

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

(П6.4). Если 3(у) < с0 < то, е е [0,е0], (е0 > 0), |Н| = 1, то ||В(Ау + ей) - В(Ау) - еВ(АмН < с1е2,

где с1 < то непрерывно зависит от с0 и монотонно не возрастает при возрастании с0. Построим последовательность щ по рекуррентным формулам

Уп+1 = -

(1А)* + (в(ам„)а)* х 1Амга + В(ам„) - /

+

Так же, как аналогичная теорема из п. 5 доказывается

Теорема 6.1. Пусть / непрерывна П01 и выполнены предположения (П6.1) - (П6.4). Существует число 50 > 0, такое, что при 5 е (0, 50) последовательность, построенная по формулам (6.6), удовлетворяет условиям:

1

0

1) J(vn) монотонно убывает и стремится к нулю, причем J(vn) < c(n + 1) 1/2 (n = 0,1, ...);

2) xAvn стремится в L2(Q01) к решению и задачи (6.1), причем ||xAvn — и||п01 < c(n +1)-1/2.

Замечание 6.1. Так как точное значение S из теоремы найти трудно, целесообразно поступить следующим образом: нужно взять S не постоянным, а зависящим от n. Пусть Sn на n-м шаге уже принята. Подсчитаем vn+1 и J(vn+1) с Sn+1, равной Sn, а затем подсчитаем г>га+1 и I(vn+1), положив Sn+1 = 0.5Sn. Если I(vn+1) < I(vn+1), то окончательно примем Sn+1 = Sn , если I(vn+1) < I(vn+1), то за Sn+1 возьмем 0.5Sn. Основные результаты этой работы содержатся в [10].

7. Заключение

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

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

[1] Самарский А. А., Николаев Е. С. Методы 'решения сеточных уравнений. Наука, М., 1978.

[2] Дьяконов Е. Г. Минимизация вычислительной работы. Наука, М., 1989.

[3] Самарский А. А., Фрязиков И. В. О разностных методах аппроксимации задач математической физики. Усп. матем. наук, 5, №5, 1976, 167-197.

[4] Самарский А. А. Теория разностных схем. Наука, М., 1983.

[5] Волков Е. Л. Численные методы. Наука, М., 1982.

[6] Вабищевич П. Н. Методы фиктивных областей в задачах математической физики. МГУ, М., 1993.

[7] Бугров А. Н., СмАгулов Ш. Метод фиктивных областей в краевых задачах для уравнений Навье—Стокса. В: "Матем. модели течений жидкости". Новосибирск, 1978, 79-90.

[8] СмАгулов Ш. Метод фиктивных областей для уравнения Навье—Стокса. Препринт ВЦ СО АН СССР, №26, Новосибирск, 1980.

[9] Коробицына Ж. Л. Применение метода фиктивных областей к некоторым задачам фильтрации двухфазной несжимаемой жидкости. Препринт ВЦ СО АН СССР, №5, 1976.

[10] Мухамбетжанов А. Т., Отелбаев М. О., СмАгулов Ш. С. Об одном новом приближенном методе решение нелинейных краевых задач. Препринт ИА РК, №21, 1997.

Поступила в редакцию 3 марта 1998 г.