книги / Основы метода конечных элементов
..pdfГ л а в а V
РЕШЕНИЕ НЕКОТОРЫХ КЛАССОВ НЕЛИНЕЙНЫХ ЗАДАЧ МЕТОДОМ КОНЕЧНЫХ ЭЛЕМЕНТОВ
В данной главе рассматривается использование МКЭ при решении не линейных краевых задач для эллиптических уравнений второго поряд ка и некоторых нелинейных вариационных задач (без перехода к диф ференциальным уравнениям). Термин «нелинейные вариационные задачи» означает, что дифференциальное уравнение Эйлера, соответству ющее функционалу данной задачи, будет нелинейным; иными слова ми, рассматриваются вариационные задачи с функциональными, отлич ными от квадратичных. Как и в предыдущих главах, здесь
в основном изложение будет касаться функций одной переменной и (х),
х£ [а, Ь]. Однако представленные результаты аналогичны и для слу чая функций многих переменных.
У.1. Нелинейные краевые задачи
Будем рассматривать решение краевых задач для уравнений вида
L (u) = ~w ai[x>и>~ж) + ао{х<и< = |
a < x < b , (V.1) |
|
где |
даг (х , и, р) |
du |
v (| и |) = |
||
|
др |
Р = 1БГ> |
v (/) — положительная невозрастающая непрерывная функция, оп ределенная при t О, р (t) — положительная неубывающая непре рывная функция, определенная при t ^ 0.
Ограничимся задачей Дирихле, т. е. решением уравнения (V.1) при краевых условиях
и(а) = и (b) —0. |
(V.2) |
1.Обобщенное решение задачи. Определим понятие искомого ре-
о.
шения задачи (V.1), (V.2). Функцию и (х) £ (/) называют обобщен ным решением задачи (V.1), (V.2), если она удовлетворяет интеграль ному тождеству
В (и, т1) е |
J |
а, (дс. и, |
-jjjj- - а0 |
и, -ff-) л] dx = 0 (V.3) |
|
а |
|
|
|
при всех 11 (*) € |
0 |
(/), I = |
(а, Ь). |
|
* 2 |
|
Укажем для функций а, (л:, и, р)', i = 1,0, ограничения, гаранти рующие существование и единственность данного обобщенного реше ния и (х). При этом не будем стремиться к максимальному ослаблению
требований (соответствующие ограничения см. в работе [56]). |
|
||||
Пусть выполняются следующие условия: |
|
|
|||
1) функции а{ (х, и, р), |
i = |
1,0, непрерывны по х £ [а, Ь] и по {и, |
|||
р) при любых действительных значениях; |
|
|
|||
2) функции а( (х, и, р), i = |
1, 0, |
удовлетворяют неравенствам |
|||
К (*> «. Р) К |
На (“ Н М + |
<Pi(*))> |
<Pi€M 0. |
(V.4) |
|
|а0 (х, и, р) К |
р2 (и) (| р |2 + |
ф2 (х)), |
ср2 £ Lt (/), |
|
|
где р.; (и) — непрерывные функции и; |
|
е. для любых |
и (х) £ |
||
3) выполнено условие коэрцитивности, t. |
о,
£Wi (I) справедливо неравенство
В ( « . и ) > / а « М - С 1 , |
(V.5) |
где сх > 0, / (т) — непрерывная положительная функция, стремящая ся к бесконечности при т оо;
4) для любых не равных тождественно друг другу элементов и, v £
о
£ Wl (/) справедливо неравенство |
|
В (и, u — v) — B(v, и — о) > 0, |
(V.6) |
т. е. выполняется условие строгой монотонности по и квазибилинейной формы В (и, TI).
Отметим, что при выполнении условия (V.4) тождество (V.3) имеет смысл, т. е. образующие его интегралы конечны при любых функциях
о.
и(х) и Ti (х) из пространства Wч(/).
Из неравенства (V.5) следует (см. [56]), что для всех возможных ре шений задачи (V .l), (V.2) будет справедлива оценка |и ([2,1 ^ с2.
Если вместо условия 1) предположить, что функции at (х, и, р), i — = 1,0, дифференцируемы по и и р, то условие (V.6), которое в развер нутой записи имеет вид
Я Н * - “• |
|
у- -75-)] (-Ж— dx ) |
|
||||
~ [ а°(*- |
и’ Ч г ) ~ ао(х>у- -| г)] |
|
d x > 0, |
||||
|
|
|
|||||
будет следовать из выполнения для произвольных и, р, |
£0 неравен |
||||||
ства |
|
|
|
|
|
|
|
даг (х , и, |
р) t 2 ( |
dat _ |
да0 |
\* ► _ |
да0 |
> |
|
др |
51 ~г ^ |
QU |
dp |
I S1S0 |
QU |
|
|
|
|
> Vj (*, U, p) 61 + va (x, и, p) £0,
где vi (х, и, р) — непрерывные |
неотрицательные |
функции, |
причем |
||
Vj (*, и, |
р) > О при значениях х, |
принадлежащих некоторым «подот |
|||
резкам» |
отрезка / = [a, b], a v2 |
(х, и, р) > 0 при х £ I — 1г. |
|
||
Как показано в работе [56], |
условия 1) — 4) |
гарантируют |
суще- |
||
|
|
|
|
о . |
задачи |
ствование и единственность обобщенного решения и (х) £ W2 (I) |
(V.l), (V.2). Сделано это с использованием теории монотонных опера торов и метода Бубнова — Галеркина. Схема этого метода в данном случае следующая.
Пусть |
{% (л:)} — фундаментальная |
система линейно независимых |
|
функций |
в пространстве |
о . |
|
W> (/), PN — конечномерное подпростран- |
|||
|
0 I |
базисом {% |
N |
ство пространства W2(/) с |
(л:)}]. |
Приближением по методу Бубнова — Галеркина обобщенного ре
шения и (.х) называют функцию uN(A:) £ PN вида |
|
||
« " = |
£ Cktyk (х), |
|
|
|
k=\ |
|
|
если она удовлетворяет соотношению |
|
|
|
5 ( / , W = 0, |
k = 1 , 2 , |
N. |
(V.7) |
Соотношение (V.7) представляет собой систему |
N нелинейных |
урав |
|
нений относительно N неизвестных ск. |
о |
|
|
|
|
|
На основании определения подпространства PN <= W2(/) можно по казать, что из системы (V.7) следует справедливость тождества
В («", т]) = 0 при V т\dPN- |
(V.8) |
Выражение В (uN, т]) является ограниченным линейным функциона
лом в PN над т] при любом фиксированном элементе uN£ PN, так как для него из предположений 1), 2) следует оценка
Л)К*Н||2.1.
где k — константа, зависящая от uN.
Согласно теореме Рисса об общем виде ограниченного линейного
функционала в гильбертовом пространстве (см. п. |
1 параграфа |
1.2), |
|||
справедливо представление |
|
|
|
|
|
|
В (uN, т]) = (g, r\)pN, |
|
(V. 9) |
||
где (•, •)pN— скалярное произведение |
в гильбертовом пространстве |
||||
0 1 |
N |
|
|
|
|
PN cr W2, g = |
А (и ) — некоторый элемент пространства PN, однознач |
||||
но определяемый по uN |
|
|
|
|
|
Таким образом, соотношение |
(V.9) |
определяет |
некоторый |
опера |
|
тор А, действующий в пространстве PN- Доказано (см. [56]), что опе |
|||||
ратор А, определенный на всем пространстве PN, непрерывен и систе |
|||||
ма (V.7) эквивалентна (см. (V.8), (V.9)) тождеству |
|
|
|||
|
(AuN, т}) = |
0 при |
V т] £ PN |
(V.iO) |
или операторному уравнению AuN= 0 в гильбертовом пространстве
PN € W\ (/).
Предположения 3), 4), обеспечивающие ограниченность всех воз можных обобщенных решений (и их приближений) и строгую монотон ность оператора Л, позволяют доказать, что система (V.7), определя
ющая галеркинское приближение uN(,х), однозначно разрешима при |
|
любом значении N, а также, что существует единственный |
элемент |
о. |
|
и (х) £ W2(/), для которого справедливо тождество |
|
в (и, л) = о при v л е wi (i). |
(V. 11) |
Иными словами, в рамках предположений 1) — 4) для задачи Ди |
рихле (V. 1), (V.2) доказано существование и единственность обобщен- |
|||
|
о . |
Поскольку |
соотношение |
ного решения и (х) из пространства Wo (Г). |
|||
В (и, г]) = |
(Аи, riKi, V л € W\(l), |
(V.12) |
|
определяет оператор А на всем пространстве |
о. |
|
|
W2(/), тождество (V.11) |
|||
эквивалентно операторному |
уравнению |
|
|
0j |
Аи = 0 |
|
|
|
|
|
|
в пространстве W2 ([). |
|
|
|
Замечание. Как уже упоминалось, подробное исследование разре шимости п-мерных краевых задач в различных функциональных
пространствах (а не только в W2(Q)) для |
уравнений |
вида (V.1), где |
|||||
х = (*!, .... х„), |
(х) = |
.... |
и изучение |
дифференци |
|||
альных свойств этих решений даны в [56]. |
|
(V.2) |
можно |
||||
В частности, для одномерной |
задачи Дирихле (V. 1), |
||||||
|
|
|
|
о. |
1» |
как |
элемент |
определить обобщенное решение и (х) из Wr (/)> т> |
|||||||
пространства |
о . |
|
|
|
|
|
|
Wr (/)> удовлетворяющий интегральному тождеству (V.3) |
|||||||
В (и, л) = 0 |
при |
|
|
о. |
|
|
|
любой функции л (х) £ Wr (/)• |
|
|
|
||||
Если при ьтом функции at (х, и, р), i = |
1,0, удовлетворяют усло |
виям 1), 3), 4) (с соответствующей поправкой: функции и (х), v (х) при-
c. |
г > |
1), |
а условие 2) заменено условием 2'); |
|||||
надлежат Wr (/), |
||||||||
2') функции |
а( (х, |
и, |
р), i — 1, |
0 , |
удовлетворяют |
неравенствам |
||
(ср. с (V.4)) |
|
|
|
|
|
|
|
|
I ai {х, и, р) К |
(и) (| р I'"-1 |
+ |
(х)), |
ф! £ L |
г |
(/), |
||
|
|
|
|
|
|
|
Г— 1 |
|
I а0(х, и, р) К |
ц2 (и) (I р |г + |
фа (*)), |
ф2 6 |
(/), |
где (и) — непрерывные функции и, то утверждения об однозначной
о
разрешимости задачи Дирихле (V.l), (V.2) в Wr (0 и однозначной раз решимости систем для соответствующих галеркинских приближений
остаются в силе. (Доказательство основано на использовании свойств монотонных операторов в рефлексивных банаховых пространствах.)
2.Оценка погрешности метода Бубнова — Галеркина. Для оценки
близости приближенного по методу Бубнова — Галеркина решения
л/ |
решению и (х) |
0 |
|
|
и {х) к искомому обобщенному |
£ W2 (I) задачи (V.1), |
|||
(V.2) сформулируем представленные в |
работе [11] результаты |
в виде |
||
следующей теоремы. |
|
|
|
|
Теорема V.I. Если выполняются условия 1),2)и существует по |
||||
ложительная константа к такая, что |
|
|
||
В(и> u— v) — В (vt и — v) ^ |
k\u — v|^ti, |
V и, v£W\(l), |
(V.13) |
|
|
о . |
|
|
|
то для обобщенного решения и (х) £ W2 (I) задачи (VЛ), (V.2) и единст- |
||||
венного приближенного по Галеркину |
|
N |
°1 |
|
решения и (х) £ PN a |
W\ (I) |
|||
справедлива оценка |
|
|
|
|
\\и — uNi , \ |
inf |
||и — 0 (2.1, |
(V.14) |
|
|
v(LPN |
|
|
|
где с — некоторая положительная константа. |
|
удовле |
||
Если же оператор А, определяемый соотношением (V.12), |
творяет условию Липшица при ограниченныхаргументах, то справед ливо неравенство
\\и — ^||2.1 < с inf 1м — 0 (2,1. |
(V.15) |
v£PN |
|
Отметим, что в данной теореме условие (V. 13), гарантирующее сильную монотонность оператору Л, обеспечивает тем самым выпол
нение условий 3), 4).
0.
Замечание. В случае обобщенного решения и (х) £ Wr (/) аналогич ный результат вытекает из следующей теоремы [16].
Теорема V.2. Пусть оператор А, действующий из рефлексивного банахова пространства 33 в сопряженное пространство S3*, сильно монотонен и удовлетворяет условию Липшица, т. е.
|
|Аи — Av I* ^ М |и— v||$в, V и, v £ 33, |
|
М = const. |
Тогда имеет |
место оценка |uN— и |$Q ^ k inf |v — и |$, где |
|
V£P N |
k = у - > 0, |
у — постоянная монотонности. |
Неравенства (V.14), (V.15) позволяют оценить для некоторых не линейных краевых задач погрешность приближенного решения, по лученного методом конечных элементов (вариант метода Галеркина). В этом случае в качестве пространства PN выбираются описанные ранее конечномерные пространства Р* метода конечных элементов,
базисными функциями <pf (х) которых являются |
кусочные полиномы |
с конечными носителями. Искомое приближение |
и в данном случае |
однозначно представляется в виде разложения по базисным функ> дням фf (х), I = 1, 2........s, МКЭ
S
UN(х) = S “ гФ* (*).
1=1
где N — число элементов на отрезке I = [а> Ь]у со, — узловые пара метры функции uN(х), которые являются искомыми неизвестными
дискретной задачи |
(V.7), s — размерность пространства Рп. |
оцен |
|
Теперь для получения на основе неравенства (V.14), |
(V.15) |
||
ки погрешности приближенного обобщенного решения |
задачи |
(V.1), |
|
(V.2), построенного |
методом конечных элементов, достаточно исполь |
зовать аппроксимационную теорему II.4. Объединяя приведенные
выше результаты, легко увидеть справедливость следующей теоремы.
0 i
Теорема V.3. Пусть обобщенное решение и (х) £ W2 (I) задачи (V.l), (V.2) имеет суммируемую с квадратом обобщенную производ'
ную ы(п+1) (х) (п + 1)-го порядка, а определяемый соотношением (V.12) оператор А удовлетворяет условию Липшица для ограничен*
ных аргументов. Если степень пространства Рп метода конечных элементов равна п, то для соответствующего приближенного решения
N |
h |
0 1 |
(V.l), (V.2) справедлива оценка |
и |
£ Рп d |
W\ (I) задачи |
|
|
|
II u— uN|2f1 < |
e ft |uin+l) ||, h = max |x£— x{-\ |. |
Если же оператор А не удовлетворяет условию Липшица, но для квазибилинейной формы задачи (V.l), (V.2) выполняется условие (V.13), то имеет место оценка
и « - к % < с ж !/> (',+1)|.
Справедливость приведенных оценок непосредственно следует из
(V.14), (V.15), (11.111) с учетом неравенства |и — щ |2,i > inf^ |и — v€pn
— v ((2,1, где и/ — интерполянт и (х) из пространства Рп.
Из приведенных результатов видно, что для некоторых классов не линейных краевых задач применение МКЭ обеспечивает такую же точ ность приближенных решений, как и для линейных.
3. Численные примеры. Рассмотрим несколько примеров решения нелинейных краевых задач методом конечных элементов, основанным
на |
процессе |
Галеркина. |
|
|
|
|
|
Пример 1. Найти приближенное решение краевой задачи |
|
||||
d |
I du |
з«1 — г (и + Х)3 |
6 |
+ 7 = О, О < х < 1, |
(V.16) |
|
ЧГ г з г |
2 — х |
|||||
|
|
и(0) = |
ы(1) = |
|
О, |
(V. 17) |
точное решение которой и(х) = |
* ( * — О |
' |
|
|||
2 — х |
|
|
Рассмотрим подробно данную задачу в свете теоретических поло жений, изложенных в данном параграфе. Под обобщенным решением
задачи (V.16), (V .17) |
будем понимать |
|
о |
/ = |
(О, |
функцию и (*) £ W2(/), |
|||||
1), удовлетворяющую |
интегральному |
тождеству |
|
|
|
В(и, л > « j [ ( - £ - - 3“ ) - ж - + - г ( ( " |
+ *>* + 7 — |
d h r )t > ] |
- |
о |
|
0 |
О |
|
|
(V.18) |
|
|
|
|
|
|
|
при любой функции Г] (*) £ W2 (I). |
|
|
|
|
|
Очевидно, что условия 1), 2) п.1 параграфа V.1 |
здесь выполнены. |
Покажем, что выполняется и условие (V.13), гарантирующее сильную
монотонность |
оператора А, |
определяемого соотношением |
|
|
|||||||||
|
|
|
В (и, л) = |
(Аи, л)2.1, |
V л £ W'2(/). |
|
|
|
(V. 19) |
||||
Действительно, согласно (V. 18) имеем |
|
|
|
|
|
|
|
||||||
В (и, ч) |
В |
(V, Ч) = j |
[(-£ -■ --§ -)■ § ■ - |
з ( « ■ |
V)■§..+ |
|
|||||||
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
+ |
4 - |
— ®) ((“ + х? + |
(и + х) (v + |
х) + (V+ |
х)2) лj dx. |
(V.20) |
|||||||
Полагая г\= |
и — v, где и и v — произвольные |
функции |
из |
W2(/), |
|||||||||
и Ф v, находим |
|
|
|
|
|
|
|
|
|
|
|
||
|
В (и, и — у) — В (v, и— v) = |
j |
^ |
--------Z r ) 2fifA: + |
|
|
|||||||
|
1 |
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
4 - |
- |
&)2 [(« + а:)2 + (ы + |
х) (V+ х) + |
(v + |
х)2] dx, |
(V.21) |
||||||
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
так как |
(и — о) -—^х ^ |
dx — 0 |
при |
Vu,vdW 2(l). |
Поскольку |
||||||||
|
о |
|
выражение |
второго |
интеграла |
в |
соотношении |
||||||
подынтегральное |
|||||||||||||
|
|
|
|
|
|
|
|
of, |
имеем |
|
|
|
|
(V.21) неотрицательно при любых и, v £ W2(/), |
|
|
|
||||||||||
|
В(и, и — V)— B(v, и— у ) > |
|
--------w |
j dx> |
|
|
|||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
откуда по известному неравенству Фридрихса |
|
|
|
|
|
||||||||
|
|
|
^ ф ш < 4 - Д |
4 г ) 2^> |
|
v q > e f e ( 9 . |
|
|
|
||||
|
|
о |
о |
|
|
|
|
|
|
|
|
|
следует справедливость условия (V. 13): 1
B ( u , u - v ) - B ( v , u - v ) > ^ ^ - * L j d x =
|
1 |
|
|
|
1 |
|
- |
1 (7 - du |
do '\2d x + ± |
n du |
\*dx> |
||
|
3 J l |
dx |
dx tI d x + з |
dx |
dx ) a X ^ |
|
|
0 |
|
|
|
0 |
|
> з |
Я ( - |
du |
dv |
+ (u — |
v f j d x = |
|
dx |
dx |
|
||||
|
|
|
о
Таким образом, для рассматриваемой краевой задачи гарантируется существование и единственность определенного выше обобщенного ре шения, а также возможность построения приближенного решения по варианту МКЭ, основанному на методе Бубнова — Галеркина.
Докажем теперь, что оператор А, определяемый равенством (V.19), удовлетворяет условию Липшица для ограниченных аргументов, т. е.
для любого заданного с > 0 существует такая константа К = К (с ), о.
что |
|Аи — Av | > ,i < |
К |
(с) |
Ии — v |
|2,i |
при |
любых |
и, |
v £ W2 (I), |
|||||
удовлетворяющих условию |и Цг.1 ^ |
с, f v |2,i ^ |
с. |
|
|
|
|||||||||
Так |
как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\Аи — AV\2,I =ssup |
|(Аи |
Av, п)2 , | |
|
(V.22) |
|||||||
|
|
|
|
|
IIЛlb,1 |
|
|
|
||||||
|
|
|
|
|
|
я=£0 |
|
|
|
|
|
|
||
рассмотрим выражение (см. (V.19)) |
|
|
|
|
|
|
|
|
||||||
|
|
|
|(Аи — Av, 11)2.1 1= |В (и, л) — В (v, г]) |, |
|
|
|||||||||
которое обозначим через М. |
|
|
|
|
|
|
|
|
|
|||||
Согласно (V.20) имеем |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
с1и_____ do |
\ |
dr\ |
|
|
||
|
М = |
|В (и, г]) — В (V, |
л) К |
Яdx |
|
dx |
) |
dx |
d x |
+ |
||||
|
|
|
|
+ з j<— »-s-dx + |
|
|
|
|
|
|||||
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
+ 4 |
j |
(u — v) [(« - f |
x f |
+ (u + |
|
x )(v - \ - x ) - \ - (v - \ - |
Xf\r\dx |
||||||
Учитывая |
условие |и |2,i < |
с, f V |>,i < |
с, |
можно написать |
|
|||||||||
|
|
|
|
|
|
)J dx |
4, |
|
|
|
V, |
|
||
|
|
|
|
|
|
|
|
|
|
J |
+ |
|
||
|
|
|
L o |
|
|
|
|
■ |
|
|
|
|
|
|
|
|
|
|
|
|
|
Lo |
|
|
|
|
|||
|
|
|
+ 3 ( j |
с - , ) * |
«* )'■ ( j(- g -) |
d x\ |
+ |
|
|
v1/*
что |
определяет |
справедливость |
оценки |
|
|(Аи — Av, л)г,1 1s |
М < К (с) 1 и — vЦ2,1 1 г\|2,ь |
|
где |
К (с) — 1 + |
K 3 + J £ H _ ! ) 1 |
1 . |
|
Полученная оценка с учетом (V.22) обеспечивает выполнение не |
||
равенства |
|
|
|
|
|
I Аи — Av I2.1 < К (с) I и— v |2,ь |
следовательно, оператор А удовлетворяет условию Липшица для ог раниченных аргументов. А это гарантирует сходимость приближенно го МКЭ решения к искомому обобщенному решению со скоростью, оп ределенной теоремой V.3.
Для дискретизации исследуемой задачи и вычисления ее прибли женного решения разобьем отрезок [0, 1] на N отрезков [х,_ 1, xt], дли на которых ht — Х[ — Xi-1, i = 1,2, N, х0 — 0, XN = 1. Посколь ку искомое приближенное решение uN(х) должно принадлежать
пространству W\ (/), достаточно предположить, что uN {х) является непрерывной кусочно-линейной функцией, однозначно определяемой на каждом отрезке \xi-i, х(] своими значениями в двух узловых точ ках: Х{ - 1 и х(. Согласно теореме V.3 в этом случае гарантируется схо
димость решения МКЭ в норме |J2.i со скоростью порядка к. |
о , |
h |
|
В качестве базиса конечномерного подпространства Pi a |
W2 ([), |
содержащего все непрерывные кусочно-линейные полиномы, обраща
ющиеся в нуль на концах отрезка [0, |
1], выберем функции <pf (х), t = |
|
= 1, 2, |
N — 1, вида |
|
|
X i- |
1 ^ X Xt, |
|
ф" (х) = |
(V.23) |
I |
О, |
х£[0, Xi-1] |
U [xt+ ь |
1], |
|
т. е. используем элемент «/ 1 — 2». |
|
|
|
||
Искомое приближенное решение представим в виде |
|
||||
|
|
iV—1 |
|
|
|
|
uN(л:) = Е |
(х) |
|
|
|
|
|
^=l |
|
|
|
и для определения (N — |
1) неизвестных и{ = |
uN(хс) получим систему |
|||
(N — 1) нелинейных алгебраических |
уравнений (см. (V. 18)) |
||||
В (uN, ф?) = 0, |
* = 1 ,2 .......... N — 1. |
(V.24) |
Для рассматриваемой задачи (V.16), (V.17) в случае равномерной сет ки hi = h, i = 1, 2, ..., N — 1, система (V.24) имеет вид (интегралы вычислялись точно)
- j- (ы,_ 1 — 2и( + Щ+1) — 1,5 (ы*+1 — «,_ ]) — 0,2hut —
|
— 0,075hifi(U{—i - f Ш + i ) — 0,05hui (« L i + |
u?+1) — |
|
|||||
— 0,025ft («L i + |
ut+i) — OJbhHu? — 0,25ft*/ (a/-i + «i+i) ut— |
|||||||
|
— 0, lft2«,- («£+i — m-\) — 0,125ft*/ («L i + |
u?+0 — |
|
|||||
— 0,075ft2 («L i — “ L i) — (/* + 0,1) ft3«£ — (/* + |
0,075) ft® X |
|||||||
X |
(«£_, + Ui+i) - |
0,025ft3/ (u,+1 — «i-О |
— 0,25ft4 (2/* + |
i) — |
||||
- |
3,5ft + |
4 * (2 - |
*<-i) In (2 - |
* , - i ) ---- jj- (2 - x,) In (2 - |
*<) + |
|||
+ |
- L ( 2 |
- * £ +l) l n ( 2 - * £ +1) |
= 0, |
/ = |
1, 2, |
N — 1, (V.25) |
||
|
|
|
/l = "дГ , ^0 = |
— 0. |
|
|
||
Решение данной системы и = |
luu u2t |
w^-iF вычислялось ква- |
зиньютоновским методом, идею которого можно представить следую щим образом. Как известно, решение системы нелинейных уравнений
F (у) = 0 : F i |
( y lt у 2у • |
• • 9 Уп) = 0, i = I - г |
п , |
|
при достаточно хорошем начальном приближении у0 = |
[уи у\, |
уп\т |
||
эффективно вычисляется |
методом |
Ньютона: |
|
|
M T ' F { y k),
где Мк— матрица Якоби:
d F i
J £ i _
дУг
II |
О |
J L L
д у п
Mk^ M (y k) =
d F n |
d F n |
d F n |
_ <fyi |
д у 2 |
д у п y=yk |
Обращение Mk на каждом шаге итерационного процесса — весьма трудоемкая операция. Поэтому в квазиньютоновском методе предла
гается обращать (прямым методом) только М0— некоторое начальное
приближение к якобиану системы, а на последующих шагах МГ\ k =
= 1,2, ..., определяется лишь путем некоторой модификации MTh.
Матрица MJ1отличается от М7-\ только матрицей ранга 2; вид фор мул модификации зависит от того, является ли матрица Якоби поло
жительно определенной или нет. Заметим, что М0 не обязательно сов
падает с М0 (у0). Матрица М0 может быть матрицей Якоби, вычислен
ной для некоторого у, отличного от начального приближения у0. (Подробнее о квазиньютоновском методе см. в [148].)
Решение системы (V.25) для различных h вычислялось на ЭВМ ЕС 1060 с двойным машинным словом (64 бита). Критерием окончания итерационного процесса служило условие:
||ик— uk~l \е ^