Вы находитесь на странице: 1из 9

Math-Net.

Ru
Общероссийский математический портал

С. И. Соловьев, Оценки погрешности метода конечных элементов для


симметричных спектральных задач с нелинейным вхождением парамет-
ра, Изв. вузов. Матем., 1994, номер 9, 70–77

Использование Общероссийского математического портала Math-Net.Ru подразумевает, что вы про-


читали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 217.107.124.175
26 мая 2020 г., 20:18:06
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
1994 МАТЕМАТИКА №9(388)

УДК 519.63
СИ, СОЛОВЬЕВ

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


ДЛЯ СИММЕТРИЧНЫХ СПЕКТРАЛЬНЫХ ЗАДАЧ
С НЕЛИНЕЙНЫМ ВХОЖДЕНИЕМ ПАРАМЕТРА

Исследование метода конечных элементов (МКЭ) для решения задач на собственные: зна­
чения с. линейным вхождением параметра интенсивно проводилось в работах 60-х и 70-х го­
дов. Обзор полученных результатов и ссылки на эти работы можно найти в [1]-[5].
Метод конечных элементов для нелинейных спектральных задач изучался в работах [ 6 ] -
[8]. В работе [6] исследовались схемы МКЭ для несамосопряженных спектральных задач с
аналитическим вхождением параметра. В [7] доказана сходимость МКЭ с численным интегри­
рованием для симметричных задач на собственные значения с непрерывным вхождением пара­
метра.' В [8] получены оценки погрешности МКЭ с численным интегрированием в случае про­
стого собственного значения. В настоящей статье исследование погрешности МКЭ для нели­
нейных спектральных задач проводится в случае кратных собственных значений.

1. Постановка задачи. Пусть й - область в Rn с непрерывной по Липшицу границей Г,


о .

Q=flUr, n * l , R - числовая прямая. Обозначим, как обычно, через LJSI) и WJSI) простран­
ства Лебега и Соболева, наделенные соответственно нормами
|it|0 = (Jj*2dx)l/2, | u l , = (Д| й (Э { и) 2 <*х) 1 / 2 ,

где Э.-Э/Эх , i=l,2,...,n. Будем использовать также пространство Соболева W2(Q) с полу­
нормой

|«|» = Ш й <э < э '"Н 1/г -


Через L (Я) будем обозначать пространство измеримых ограниченных почти всюду функ­
ций с нормой
\и\.
1 l0
= ess. sup I u(x) I,
'°° xea ' '•

через W^(Q) - пространство функций и из LJ&) таких, что d^eLJ.Q), i=l,2,...,n. Норма
в пространстве W^(Q) определяется по формуле

где
I и I, = max ess. sup I д.и(х) I.

Для Л=(0,«) введем непрерывные по первому аргументу функции аЛ/л,х) = а (/л,х),


^еЛ, хеЯ, t,j'=l,2,.,.,n, которые при фиксированном ^еЛ принадлежат пространству LJ.Q).
Предположим, что существуют положительные непрерывные функции а2(/л), а3(/л,ф, /л, щеА
и положительное число а. такие, что

70
* i=i * 0=1 *j * з i
i=i *

I | a (/*, i ) - a {t,, x) | $ $ < a3(fi, ф\/1-ч\1%


J J
ij = l i=l
для почти всех seft при /л,т}еА и любых |.еЛ, t=1,2,...,п. Кроме того, будем считать вы­
полненными условия

tj = 1 ij = 1

для почти всех zefi при ;I<J/, /л,г]вА, и любых | { еД, г=1,2,...,п.
Положим V=Wt.(Q), H=L(Q) и определим отображения a: AxVxV—>R и Ь: HxH—>R при
помощи соотношений
a((i,u,v) = Т Г а (/г, г)Э.иЭ,г;йа:, Ь(«, v) = Г uvdx.
Нетрудно видеть, что билинейные формы a(/i,•,•), ,иеА и &(•,•) являются симметричными,
т.е. a(^,u,v)-b(/(,v,u) \/u,veV, b(u,v)=b(v,u) Vu,ve#, положительно определенными, т.е.
а(ц, V, v) > a | vj j VveF,

fe(v, v) = | « | J Wvetf,
ограниченными, т.е.
| a(^, «, v) | * a2(/i) j и | j | v | j \/u,veV,

|ft(u,t>)| < M o M o Vu,ueff,


липшиц-непрерывными по числовому аргументу, т.е.
|a(fi, и, v) - a(r/, u, v)| < a3(fi, J ? ) | ^ - J / | | « | J v\l Vu.veV,
невозрастающими по числовому параметру, т.е.
a(fi, v, v) * a(rf,v,v), fi<rj, veV.
Рассматриваемая задача на собственные значения заключается в нахождении АеЛ, ueV-{0}
таких, что
а(А, и, v) = ХЪ(и, v) VveV. (1)
Число А, удовлетворяющее (1), называется собственным значением, а элемент и - отвечаю­
щим А собственным элементом задачи (1). Множество 17(A), состоящее из собственных эле­
ментов, отвечающих собственному значению А, и нулевого элемента, образует замкнутое
подпространство в V, которое называется собственным подпространством, соответствующим
собственному значению А. Размерность этого подпространства называется кратностью собст­
венного значения А.

2. Существование дискретного спектра. Существование дискретного спектра задачи (1)


доказано в работе [7]. Ниже излагается этот результат и указываются свойства спектра,
установленные в работе [9].
Запишем задачу (1) в эквивалентной форме: найти //еЛ, ц=у{ц), уе7-{0} такие, что
a(/i,y,v) = у(ц)Ь(у, v) VueV. (2)
Задача (2) при фиксированном параметре /леА является линейной задачей на собственные
значения. При фиксированном ^меЛ задача (2) имеет счетное множество положительных собст­
венных значений конечной кратности, которые занумеруем в порядке неубывания
71
О < ух(ц) «s у2(р) < ... < ук(и) «..., l\myk(fi) =<»,

указывая каждое число с учетом кратности. Этим собственным значениям соответствуют соб­
ственные элементы ук, к=1,2,..., образующие полную систему в пространстве V такую, что
а(М,УгУ^ - У4(/*)<5у, Ь(у{,у.) = <5у, i,j=l,2,.„
Очевидно, что все корни А, уравнений
№ > - 0, / 4 (А») = А1-удС/|), /*еЛ (3)
и отвечающие им собственные элементы. \-ук задачи (2) при /*=АА, А=1,2,..., дают решения
исходной задачи (1).
ЛЕММА 1. Функция Ук(р), <иеЛ, является непрерывной невозрастающей функцией, при­
нимающей положительные значения.
ТЕОРЕМА 1. Задача (1) имеет счетное множество вещественных конечнократных соб­
ственных значений Хк, кш1,2,..., занумерованных с учетом кратности:
О < А,1 <2 А, < ... « А,* «г ...,' limA,* = ».
.
*-»оо

Собственное значение А, является единственным корнем уравнения (3). Собственное под­


пространство U(,Xk) задачи (1) является собственным подпространством линейной спект­
ральной задачи (2) при фиксированном fi-Xk.
3. Схема метода конечных элементов. Для простоты предположим, что область й допус­
кает разбиение на симплициальные элементы. Зададим разбиения 3~h множества Я на конечное
число замкнутых симплициальных элементов К с максимальным диаметром А так, чтобы
Я •= U К.
кег.
Будем предполагать, что семейство триангуляции {-^Л удовлетворяет обычным условиям
(см., напр., [1], с.48,95, 127) и, в частности, условию регулярности, т.е. существует
постоянная о, не зависящая от Л, такая, что Л <сг/э для всех Ke\}S~h, AJt=diam(iiC)! pK =

= sup{diam(S), S - шар из К}. В дальнейшем будем считать, что параметр дискретизации А


пробегает последовательность положительных значений, стремящуюся к нулю.
Обозначим через V. пространство линейных лагранжевых конечных элементов, соответ­
ствующее разбиению £Г' , т.е.
Vh = {vh: vheV, vh\keP^K)},
Т
где Pt(K) - множество линейных полиномов на К. Положим Nh=dimVh. Очевидно, что А—>°°

при .А—» 0 . — •
Исходную задачу (1) будем аппроксимировать следующей конечномерной задачей: найти
А еЛ, uAeVA~{0} такие, что
А

а ( А \ и \ и А ) = XhHuh,vh) \/vheVh. (4)


Изложим теперь результаты, касающиеся существования и сходимости решений схемы! МКЭ
(4) (см. [7], [9]). Для этого, как и бесконечномерном случае, приведем эквивалентную
формулировку задачи (4): найти реА, ju=yh(fi), 2/AeV'A-{0} такие, что

72
o(/i,y\v*) - /(/OMyNv*) Vvfc6 7 v (5)
Задача (5) при фиксированном параметре /*еА является линейной задачей на собственные
значения. Эта задача имеет- Nh собственных значений 0< у*(/*)<у*(/*)<.•-*yN (/*), которым

соответствуют собственные элементы у£, Jb=l,2,...,JV., образующие полную систему в про­


странстве V, такую, что
" < * ! < , $ « yJWy, Ь (»},»}) = 6ijt i,i=l,2,...,Nh. .
Нетрудно видеть, что все корни А* уравнений

/£(/*) = О, /J(/i) = /*-yJ>), ;ieA (6)


и отвечающие им собственные элементы «£=у£ задачи (5) при Р=&к, k=l,2,...,Nh, дают ре­
шения исходной задачи (4). —^
ЛЕММА 2. Функция Уь(^)> /*еЛ, является непрерывной невозрастающей функцией, при­
нимающей положительные значения, y*(/*)*yfc(;0, /*еЛ. Имеет место сходимость Yk(ffi —* Yk(f*>
при h—»0, /*еЛ.
ТЕОРЕМА 2. Задача (4) имеет Nh вещественных конечнократных собственных значений
h
X k, k=l,2,...,Nh, (ХА^А^.-.^А* , A£*At, fc-=l,2,...,Nfc. Собственное значение А* являет-
h

ся единственным корнем уравнения (6). Собственное подпространство U (А.) задачи (4) я в ­


ляется собственным подпространством линейной спектральной задачи (5) при фиксированном
/*=А,. Имеет место сходимость А,—» А, при Л—• ().
4. Предварительные результаты. Пусть А, - собственное значение задачи (1) кратности
г+1 такое, что ^ _ 1 < ^ = ^ + 1 = - - - = ^+г<^+г+1. г
Де fc*l, A0=0. Выберем параметр h столь
малым, чтобы имели место неравенства l<k<Nh~r-l.
Введем обозначения

eh(<ph) = sup -! ЬЛ _ _ * —L
h
v evh-{o) \v \\

/ v r 2 (/Q , , (y2W1/2

где ^AeVfc, /геЛ. Положим ft\=b(<ph, j ^ ) , гА1,2,...,АГд, где у*, i = l , 2 , . . .,JVfc, ...-* собственные
элементы линейной задачи (5) при /<=А*. Какобычно, одной и той же буквой с будем обо­
значать различные постоянные, не зависящие от Л и Л.

73 'ч
ЛЕММА 3. Существует AQ>0 такое, что для h<h0 и .А.<рeVfc справедливы оценки

i=* i=*
ДОКАЗАТЕЛЬСТВО. Как отмечалось ранее, собственные элементы гЛ t=l,2,...,iV., ли-
нейной задачи на собственные значения (5) при ц = А* I* образуют базис в пространстве V,.
Ук
A
Поэтому произвольный элемент ?> eV, можно представить в виде
"k
<Ph =t=i I №
Следовательно, для номера к такого, что l*k<N.-r~l, имеет-место разложение
N

i=* * * * * * i=l * * * l=* + r+l * *


n
Заметим, что используется следующее соглашение о знаке суммирования £ : если п<т, то
i-m
сумма полагается равной нулю. Поскольку для фиксированного t*l имеет место сходимость
At—>А,, уЛц)—>У4(^) при- А—>0, fieA, то существует А->0 такое, что для А*А0 выполняются
неравенства l<k<Nh-r-l, VrJ-i<*!>. yJ + r + i< A *>4> />Й<А*>«^» е ^ Х Ц ,
Докажем, что для А<А0 имеют место оценки
IvJlj « с р / ( / ) , |VJ|0*c^V).
Так как v"=0, то для Jfc=l оценки выполнены. Обратимся далее к случаю к>2. Нетрудно убе­
диться в справедливости соотношений
a(Aj,vJ,vJ) = o U j y . v J ) , b(trj,vj) - ft'(^,vj), a(Aj,v>J) * /^(A^bCvJ.vJ).
Эти соотношения приводят к неравенствам
-а(А£,/,|ф+А А *(^1>5) = -a(Aj,t£vJ) + AAb(t;J,vJ) *

* <v/*-rf>>><»>;> * A *~I*-;^pa(AX*»
влекущим согласно свойству положительной определенности форм а и 1 требуемые оценки.
Докажем, что для h*hQ выполняются оценки
1 ^ 1 , < срквнф, |«5|в < с а / ( А
Очевидно, что
a(Aj,WJ,«;J) = a(Aj,/,«;J), Ь(«£,«*) = Ь ( / , » * ) , а(А*,ю*,*1> * yJ+r+1(Aj)M«;*.w>f)-
Отсюда получаем соотношения
a(Aj,/,«;J) - A4b(*\wJ) = a(A*,«;J,i«J) - A^wJ.wJ) »

которые с учетом свойства положительной определенности форм о и Ь приводят к требуемым


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

74
+
<ph- f / Э Д 1 Ч**1 1 К1 1 *с Р /(/),
i =k ' *

i=k 0* Kl.4^l.«*b«V>-
Лемма' доказана.

5. Исследование погрешности схемы МКЭ, Будем предполагать, что й - выпуклый п-мер-


ный многогранник. Кроме того, допустим существование непрерывной функции а(п), пеА та­
кой, что a2(/i)*a(i]), a3(fi, fi)<a{rj) при ^e[j/,<») для фиксированного пеА.
ЛЕММА 4. Пусть аг(/л,')ё\уНо.) при /леА, jo r (^,.)| l K ) *a(?/) при fie[n,a>) для фикси­
рованного JjeA, i,j»l,2,...,n. Тогда для собственной функции ик задачи (1) и соответст­
вующего собственного значения А, имеет место оценка \ и, | ,< сА,.
ДОКАЗАТЕЛЬСТВО. Сформулируем задачу (2) в операторном виде: найти реА, ц=у(ц),
yeV-{0} такие, что
К/м)у = у(/*)у, '
п
где Ь(ц)и=- £ Э (о (,и, z)3.u), /*еЛ. Поскольку функция /=у(^)у из 2/,(й), то элемент у

принадлежит W^Q)!"!^ как решение задачи Ь(ц)у - f, и выполняется неравенство |у|2 *


<c|L(/*)yL при fie[Xvoa). Постоянная с в последнем неравенстве не зависит от /lefAj,»),
т.к. в силу сделанных предположений
aj/i)'* аЦ) (7)
и |a f .(/*,•) Ij^aCAj) для ^е[А г as) (см., напр., [10], с.222, и [11]). В результате при
/*~Afc приходим к соотношению |tifcj2«c |Ь(АА)и^|0=сА^. Лемма доказана.
ЛЕММА 5. Собственные значения A,, fc»l,2,..., задачи (1) удовлетворяют неравенствам
с / / т а * Хк* с2к2/п,
в которых с. и с» - положительные постоянные, не зависящие от к.
ДОКАЗАТЕЛЬСТВО. Согласно ([12], с.336) и (7) для./*е[А ,«) имеем, что

где сх=а,, c2=a(Aj), A; = 1 , 2 , . . . Отсюда пщ fi~Xk=yk(Xh) получим требуемые неравенства.


Лемма доказана.
Для фиксированного ^еЛ определим проектор Pfe(/*): V—»Vfc так, чтобы a(fi,u-Ph([i)u,
V ) =0 для любого veV,. Заметим, что в соответствии с теоремой Рисса для элемента и е V
существует линейный непрерывный функционал /: V—>i? такой, что a(fi,u,v)=f(v) для любого
ve¥. Тогда элемент ц ' = ? . ( ^ ) « е V,, очевидно, является аппроксимацией по МКЭ элемента и,
удовлетворяющей уравнению a(fi,uh,vh)-f(vh) для любого yh
^h-
ЛЕММА б. Пусть ueW^(Q) fi V. Тогда при Ц<Е[Х , га) имеют место оценки
\u-Pk(/u)u\i *s cft 2 - i ju| 2 , i-0,1.
ДОКАЗАТЕЛЬСТВО этих оценок вытекает из ([1], с.136) и (7).

75
flalHSbb^^^Mt^s^^i^^Cr*^^ ™

Расстояние между подпространствами будем вычислять с помощью раствора. Пусть V. и


U2 - два замкнутых подпространства гильбертова пространства V или Я, dimJ71=dmill72<<»,
Pt - ортопроектор на Ut, . t = l , 2 . Раствор между подпространствами Ut и U2 в V или Я
определяется (см., напр., [13], с.251) по правилу
9
m(JJvUi) " max
\u-piu\m я max
l"--P,«L
* m 1 то
при тп=0 в Я, при m=l в У.
ТЕОРЕМА 3. Пусть а^р, • )еИ^(Я) при /*еЛ, | о у (^, •) | л w«a(>;) при /ie[tj, со) для фмж-
сированного r/eA, t,j'-l,2,...,n, Afc - собственное значение задачи (1) кратности г+1 т а ­
кое, что
V i < К " **+1 " - - h+r < **+г+г
АА - приближение, полученное по схеме метода конечных элементов (4), Uk"U(Xk) - собст­
венное подпространство (dimt/^-r+1), отвечающее Хк, U* - подпространство, натянутое на
собственные элементы щ, i=k,k+l,...,k+r линейной задачи на собственные значения (5)
при р=Хк. Тогда для достаточно малых h имеют место оценки
О < X\-Xk < ch2ki/n,

^(ик,икк) * chkl/n, d0(Uk,Uhk) « cokh2k5/n.


ДОКАЗАТЕЛЬСТВО. Оценка погрешности приближенного собственного значения вытекает
из соотношений

полученных с учетом (7) и ([2], с.267).


Докажем оценки погрешности собственных подпространств. Имеем

*Wt,икЛ = max ,' *, * , * 1 т « max ' *. • * * l w *


*keuk-{o) \uk\m • ukmuk-m \ukin

max ^-= " " " "—=—" " l m

Jb + r
где Phk - ортопроектор на Ukk, Q*«A = j b(PA<Afc)«A, J^)j^> Прежде чем воспользоваться
I
леммой З, заметим, что при tph=PЛ(A
У )u, справедливы соотношения
"А""*

ЛА, Ач ^ |a(Aj,/,vft)-a(At,/,vfc)| , | *</-«*.«*>• Г


V ) sup +л sup
л ГЙГ^ A 1И1
A A

< c\Xhk-Xk\ | / | 1 + c A j / - « J 0 < сЛ 2 А 2 /А; + cA2A2 * скЧ1/^.


Теперь согласно лемме 3 получим

Следовательно, учитывая лемму б, приходим к оценкам

76
tyl^.tfj) < ch2Xk + cokh2XyTk < co^Xyi^,
из которых ввиду леммы 5 вытекают требуемые результаты. Теорема доказана.
ЗАМЕЧАНИЕ 1. Нетрудно убедиться, что в линейном случае, т.е. если коэффициенты
о..(уц, ж)=а (х), t,j=l,2,...,n, задачи (1) не зависят от //еЛ, последняя оценка теоремы
3 принимает вид
Q0(Vk,ul) « cokh2ki/n.
ЗАМЕЧАНИЕ 2. Из теоремы 3 вытекает, что в качестве приближения к собственному
подпространству 17., d i m l / = r + l , исходной задачи (1), отвечающему собственным значениям
А =1, =...=А,+ , следует взять подпространство U*, натянутое на собственные элементы с
номерами к,к+1,...,к+г линейной задачи на собственные значения (5) при /*=А*.

ЛИТЕРАТУРА

1. Сьярле Ф. Метод конечных элементов для эллиптических задач. - М.: Мир, 1980. -
512 с.
2. Стренг Г., Фикс Дж. Теория метода конечных элементов. - М.: Мир, 1977. - 349 с.
3. BabuSka I., Osborn J. Eigenvalue problems // Handbook of numerical analysis,
vol. 2. Finite element methods / Ed. by Ciarlet P.G., Lions J.L. •*- Amsterdam: North-
Holland, 1991. - P.642-787.
4. Weinberger H.F. Variational methods for eigenvalue approximation,- Philadelphia:
Society for Industrial and Applied Mathematics, 1974. - 157 p.
5. Chatelin F. Spectral approximation of linear operators. - New York: Academic
Press, 1983. - 458 p.
6. BabuSka I., Aziz A.K. Survey lectures on the mathematical foundations of the
finite element method // The mathematical foundations of the finite element method with
applications to partial differential equations / Ed. by Aziz A.K. - New York: Academic
Press, 1972. - P.3-359.
7. Даутов Р.З., Ляшко А.Д., Соловьев С И . Сходимость метода Бубнова-Галеркина с
возмущениями для симметричных спектральных задач с нелинейным вхождением параметра //
Дифференц. уравнения. - 1991. - Т.27. - №7. - С.1144-1153.
8. Соловьев С И . Погрешность метода Бубнова-Галеркина с возмущениями для симмет­
ричных спектральных задач с нелинейным вхождением параметра // Журн. вычисл. матем. и
матем. физ. - 1992. - Т.32. -. №5. - С.675-691.
9. Соловьев С И . Аппроксимация симметричных спектральных задач с нелинейным вхож­
дением параметра // Изв. вузов. Математика. - 1993. - № 10. - С.60-68.
10. Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптичес­
кого типа - 2-е изд. - М.: Наука, 1973. - 576 с.
11. Кондратьев В.А. Краевые задачи для эллиптических уравнений в областях с кони­
ческими или угловыми точками // Тр. Моск. матем. о-ва. - 1967. - Т.16. - С.209-292.
12. Михлин С.Г. Линейные уравнения в частных производных. Учеб. пособие. - М.: Высш.
школа, 1977. - 432 с.
13. Като Т. Теория возмущений линейных операторов. - М.: Мир, 1972. - 740 с.

Казанский государственный университет Поступила


03.06.1994
77