Академический Документы
Профессиональный Документы
Культура Документы
Ru
Общероссийский математический портал
Параметры загрузки:
IP: 217.107.124.175
26 мая 2020 г., 20:18:06
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
1994 МАТЕМАТИКА №9(388)
УДК 519.63
СИ, СОЛОВЬЕВ
Исследование метода конечных элементов (МКЭ) для решения задач на собственные: зна
чения с. линейным вхождением параметра интенсивно проводилось в работах 60-х и 70-х го
дов. Обзор полученных результатов и ссылки на эти работы можно найти в [1]-[5].
Метод конечных элементов для нелинейных спектральных задач изучался в работах [ 6 ] -
[8]. В работе [6] исследовались схемы МКЭ для несамосопряженных спектральных задач с
аналитическим вхождением параметра. В [7] доказана сходимость МКЭ с численным интегри
рованием для симметричных задач на собственные значения с непрерывным вхождением пара
метра.' В [8] получены оценки погрешности МКЭ с численным интегрированием в случае про
стого собственного значения. В настоящей статье исследование погрешности МКЭ для нели
нейных спектральных задач проводится в случае кратных собственных значений.
Q=flUr, n * l , R - числовая прямая. Обозначим, как обычно, через LJSI) и WJSI) простран
ства Лебега и Соболева, наделенные соответственно нормами
|it|0 = (Jj*2dx)l/2, | u l , = (Д| й (Э { и) 2 <*х) 1 / 2 ,
где Э.-Э/Эх , i=l,2,...,n. Будем использовать также пространство Соболева W2(Q) с полу
нормой
через W^(Q) - пространство функций и из LJ&) таких, что d^eLJ.Q), i=l,2,...,n. Норма
в пространстве W^(Q) определяется по формуле
где
I и I, = max ess. sup I д.и(х) I.
70
* i=i * 0=1 *j * з i
i=i *
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,
указывая каждое число с учетом кратности. Этим собственным значениям соответствуют соб
ственные элементы ук, к=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,* = ».
.
*-»оо
при .А—» 0 . — •
Исходную задачу (1) будем аппроксимировать следующей конечномерной задачей: найти
А еЛ, uAeVA~{0} такие, что
А
72
o(/i,y\v*) - /(/OMyNv*) Vvfc6 7 v (5)
Задача (5) при фиксированном параметре /*еА является линейной задачей на собственные
значения. Эта задача имеет- Nh собственных значений 0< у*(/*)<у*(/*)<.•-*yN (/*), которым
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
* <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>-
Лемма' доказана.
75
flalHSbb^^^Mt^s^^i^^Cr*^^ ™
Jb + r
где Phk - ортопроектор на Ukk, Q*«A = j b(PA<Afc)«A, J^)j^> Прежде чем воспользоваться
I
леммой З, заметим, что при tph=PЛ(A
У )u, справедливы соотношения
"А""*
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 с.