Научная статья на тему 'Исследование погрешности конечно-элементной аппроксимации нелинейной задачи штурма - Лиувилля'

Исследование погрешности конечно-элементной аппроксимации нелинейной задачи штурма - Лиувилля Текст научной статьи по специальности «Математика»

CC BY
120
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОБСТВЕННОЕ ЗНАЧЕНИЕ / СОБСТВЕННАЯ ФУНКЦИЯ / ЗАДАЧА НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ / СЕТОЧНАЯ АППРОКСИМАЦИЯ / МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ / EIGENVALUE / EIGENFUNCTION / EIGENVALUE PROBLEM / MESH APPROXIMATION / FINITE ELEMENT METHOD

Аннотация научной статьи по математике, автор научной работы — Самсонов Антон Андреевич, Соловьёв Павел Сергеевич, Соловьёв Сергей Иванович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Самсонов Антон Андреевич, Соловьёв Павел Сергеевич, Соловьёв Сергей Иванович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

A positive definite differential eigenvalue problem with coefficients depending nonlinearly on the spectral parameter has been studied. The differential eigenvalue problem is formulated as a variational eigenvalue problem in a Hilbert space with bilinear forms nonlinearly depending on the spectral parameter. The variational problem has an increasing sequence of positive simple eigenvalues, which correspond to a normalized system of eigenfunctions. The variational problem has been approximated by a mesh scheme of the finite element method on the uniform grid with Lagrangian finite elements of arbitrary order. Error estimates for approximate eigenvalues and eigenfunctions in dependence on mesh size and eigenvalue size have been established. The obtained results are generalizations of the well-known results for differential eigenvalue problems with linear dependence on the spectral parameter.

Текст научной работы на тему «Исследование погрешности конечно-элементной аппроксимации нелинейной задачи штурма - Лиувилля»

2017, Т. 159, кн. 3 С. 354-363

УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ

ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)

УДК 519.62

ИССЛЕДОВАНИЕ ПОГРЕШНОСТИ КОНЕЧНО-ЭЛЕМЕНТНОЙ АППРОКСИМАЦИИ НЕЛИНЕЙНОЙ ЗАДАЧИ ШТУРМА-ЛИУВИЛЛЯ

А.А. Самсонов, П.С. Соловьёв, С.И. Соловьёв

Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия

Аннотация

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

Ключевые слова: собственное значение, собственная функция, задача на собственные значения, сеточная аппроксимация, метод конечных элементов

Введение

В настоящей работе исследуется положительно определенная дифференциальная задача на собственные значения — (p(A,x)u'(x))' + q(A, x)u(x) = Ar(A, x)u(x), A € (0, ж), x € (0,1), u(0) = u(1) = 0, с заданными коэффициентами p(p,x), q(p,x), r(p,x), ¡л € (0, ж), x € [0, 1]. При фиксированном x € [0, 1] функции p(p,x), q(p,x), ¡1 € (0, ж), являются невозрастающими, а функция r(p,x), Л € (0, ж), - неубывающей. Дифференциальная задача эквивалентна вариационной задаче на собственные значения: A € (0, ж), u € V \ {0}, a(A, u, v) = Ab(A, u, v) для любой функции v € V. Здесь V = {v : v € W2 (0, 1), v(0) = v(1) =0} - гильбертово пространство с нормой | • |i. Эта задача, согласно работе [1], имеет возрастающую последовательность положительных простых собственных значений Ak, к =1, 2,..., с предельной точкой на бесконечности, 0 < Ai < A2 < • • • < Ak < • • • , Ak ^ ж при к ^ ж. Последовательности собственных значений соответствует система нормированных собственных функций uk , к = 1, 2, . . .

Вариационная задача на собственные значения аппроксимируется сеточной схемой метода конечных элементов: Ah € (0, ж), uh € Vh \ {0}, a(Ah,uh ,vh) = = Ahb(Ah,uh,vh) для любой функции vh € Vh. Здесь Vh - пространство лагран-жевых конечных элементов порядка n. При достаточно малых h сеточная задача на собственные значения имеет Nh = dim Vh положительных простых собственных значений Ah, к = 1, 2,..., Nh, 0 < Ah < Ah < • • • < AhNh. Собственным значениям

Nh, соответствует система нормированных собственных функций Nh. Для достаточно малых h установлены оценки погрешности

0 < \hk - < ch2nXn+1, \uhk - uk\i < chnX(n+1)/2,

где c - постоянная, не зависящая от h и Xk, знаки нормированных собственных функций Uh и uk выбраны согласно условию b(Xk,uh,uk) > 0, b(Xh,uh,uh) = 1,

b(Xk ,uk ,uk ) = 1.

Нелинейные задачи на собственные значения возникают в различных областях науки и техники, например в физике плазмы, в механике конструкций, в численных алгоритмах решения сеточных уравнений, в теории диэлектрических волноводов [1-5]. Вычислительные методы решения нелинейных матричных задач на собственные значения исследовались в работе [5]. Для нелинейных дифференциальных спектральных задач метод конечных элементов исследовался в [6], а влияние численного интегрирования в схемах метода конечных элементов изучалось в [1, 7, 8] с помощью работ [9-12]. Исследование погрешности приближенных методов решения нелинейных спектральных задач в гильбертовом пространстве проведено в работах [13] и основано на использовании общих результатов в линейном случае [14-16]. В работах [17-23] исследовались приближенные методы решения прикладных нелинейных краевых задач и вариационных неравенств.

Xh, к = 1, 2,..., uh, к =1, 2,...,

1. Вариационная постановка задачи

Пусть О = (0,1), О = [0,1], С - интервал числовой оси М, Л = (0, ж). Обозначим, как обычно, через Ъ^(С) и Шт(С) соответственно вещественное пространство Лебега и вещественное пространство Соболева с нормами

/г \ 1/2 / m х 1/2

\u\o,G =( (u(x))2 dxj , ||u||miG =[^2 \u\ii

,u\.

0

о

и полунормами \u\io = \и(г)\оо, г = 0,1,...,то, где и(г) = йги(х)/й,хг, г = = 1,2,...,то, и(0) = и, то - целое положительное число. При этом положим ^2°(С) = ¿2(С). Если С = О, то для краткости при записи норм и полунорм индекс области будем опускать.

Зададим бесконечное число раз непрерывно дифференцируемые функции р(р,х), д(р,х), т(р,х), ¡л € Л, х € О. Предположим, что функции р(р,х), т(р,х), ¡л € Л, х € О, положительные, функция д(р,х), ¡л € Л, х € О, неотрицательная. При фиксированном х € О функции р(р,х), д(р,х), ¡л € Л, являются невозраста-ющими, а функция т(р,х), ¡л € Л, - неубывающей. Предположим, что существуют положительные постоянные р\, р2, рз, Р4, 42, Чз, г\, Г2, гз такие, что

Р1 < p(^,x) < Р2, 0 < q(p,x) < q2, ri < r(p,x) < Г2,

др(р, x)

д^ дlp{v, x

dxl

< Р3,

< Р4,

dq(p, x)

д^ dlq(p, x

dxl

< q3, < q4,

дг(р, x)

д^

дгг(р, x)

dxl

< гз,

< Г4,

для любых ¡л € Л, х € О, г = 1, 2,. ..

Рассмотрим дифференциальную задачу на собственные значения: найти числа А € Л и ненулевые функции и(х), х € О, такие, что

— (р(X, х)и'(х))' + ч(А, х)и(х) = Аг(А, х)и(х), х € О,

((0) = u(1) = 0.

Введем гильбертово пространство V = {V : V € W2(Q), «(0) = «(1) =0} с нормой | • |1. Нетрудно убедиться, что выполняется неравенство Фридрихса |V|о < |V11 для любой функции V € V. Для р € Л, и€ V определим билинейные формы

1 1 ^и, ^ = !ш фV + ^ <ь, ы и^ = ! ф х)и <ь.

о

Сформулируем обобщенную постановку дифференциальной задачи на собственные значения: найти Л € Л, и € V \ {0}, такие, что

а(\,и,ю) = ЛЪ(Л,и,ю) У V € V. (1)

Введем вспомогательную линейную задачу на собственные значения при фиксированном ц € Л: найти функции 7 = ^(р) € Л, у = у(р) € V \ {0} такие, что

а(р, у, V) = ^Ъ(р,у^) У V € V. (2)

Согласно [24], задача (2) имеет последовательность положительных простых собственных значений 7к = 7к (р), к = 1,2,..., занумерованных по возрастанию: 0 < 71 < 72 < • • • < 7к < • • • , 7к ^ ж при к ^ ж. Этим собственным значениям соответствует ортонормированная система собственных функций ук = Ук(р), к = 1, 2,..., такая, что а(р,уиуу) = ~{%5ц, Ъ(р,уиуу) = , г, ] = 1, 2,... Функции у к, к = 1, 2,..., образуют полную систему в пространстве V. Имеют место неравенства 7к(р) > 7к(ц) при р < ц, р, п € Л.

Лемма 1. Для любых функций V € V и любых чисел р, п € Л справедливы следующее соотношения:

«1М1 < а(р, v,v) < аМ!, ^(р, V, V) — а(п, v,v)| < азр — П М2,

вм0 < Ъ(р^^) < в2М0, Нр^^) — вз|р — пМ,

где а1 = рь «2 = Р2 + 42, в1 = П, в2 = Г2, аз = Рз + 4з, вз = Г3.

Доказательство. Требуемые неравенства вытекают из определений билинейных форм и свойств коэффициентов задачи. Лемма доказана. □

Теорема 1. Задача (1) имеет последовательность положительных простых собственных .значений Лк, к = 1, 2,..., .занумерованных по возрастанию: 0 < Л1 < Л2 < • • • < Лк < • • • , Лк ^ ж при к ^ ж. Каждое собственное .значение Лг, г > 1, является единственным корнем уравнения р — ^г(р) =0, р € Л, г > 1. Последовательности собственных .значений Лк, к = 1, 2,.. ., соответствует последовательность собственных функций ик, к = 1, 2,... Собственная функция ик совпадает с собственной функцией у к, соответствующей собственному значению 7к (р), линейной параметрической задачи на собственные .значения (2) при р = Лк. Собственные функции ик, к = 1,2,..., являются бесконечное число раз непрерывно дифференцируемыми и выполняются оценки \и,к ^ < ¡Л^2, к = = 1, 2, ..., г = 0, 1, 2,.. ., где постоянные г = 0,1, 2, .. ., не зависят от Лк, к =1, 2,...

Доказательство. Доказательство теоремы проводится с помощью результатов из [1, 13, 24]. Теорема доказана. □

2. Сеточная аппроксимация задачи

Разобьем отрезок О равноотстоящими точками хц = гН, г = 0,1,... ,то, на элементы в^ = [х^-1,х^], г = 1,2,...,то, Н = 1/то. Обозначим через V' пространство лагранжевых конечных элементов, состоящее из непрерывных на О функций , являющихся полиномами степени не выше п на каждом элементе в г =1, 2,...,то, Vй (0) = ^(1)=0, Ын = ё1ш Vh = топ — 1.

Вариационная задача (1) аппроксимируется сеточной схемой метода конечных элементов: найти А1'1 € Л, и' € Vh \ {0} такие, что

а(А', и', V') = АнЬ(Аи', V') V V' € Vн. (3)

Введем вспомогательную линейную задачу на собственные значения при фиксированном ц € Л: найти функции = 7'(¡) € Л, у' = у'О) € Vн\{0} такие, что

а(^, у', V1) = 7нЬ(р,унУ) VVн € Ун. (4)

Задача (4) имеет Ы' положительных простых собственных значений = к = 1, 2,..., Мн, занумерованных по возрастанию: 0 < ^ <12 < • • • < . Этим собственным значениям соответствует ортонормированная система собственных функций ун = у'(ц), к = 1, 2,...,Мн, такая, что а(ц, у', у') = ^¿ц, Ь(ц, у', у') = = ¿^, г,] = 1, 2,..., М'. Функции у', к = 1, 2,..., Ы', образуют полную систему в пространстве У'. Выполняются неравенства (¡) — 1к (п) при ¡л < п, п € Л.

Теорема 2. Задача (3) имеет Ы' положительных простых собственных .значений А', к = 1,2, .. . занумерованных по возрастанию: 0 < А' < А' < < ••• < . Каждое собственное значение А', г — 1, является единственным корнем уравнения ц — ^'О) = 0, ц € Л, г — 1. Собственным .значениям А к =1, 2,. .., Ын, соответствуют собственные функции и', к =1, 2, ..., Ы'. Собственная функция и' совпадает с собственной функцией у', соответствующей собственному значению 7 ' (¡), линейной параметрической .задачи на собственные значения (4) при ц = А

Доказательство. Доказательство проводится аналогично доказательству теоремы 1 с учетом конечномерности задач (3) и (4). Теорема доказана. □

3. Исследование погрешности сеточной схемы

Пусть и - собственная функция задачи (1), соответствующая собственному значению А к, и' - собственная функция задачи (3), соответствующая собственному значению А'. Через с будем обозначать различные положительные постоянные, не зависящие от Н и А .

Для ¡л € Л введем оператор ортогонального проектирования Р' (¡) : У ^ У' по формуле а(р,и — Ph(¡)u,vh) = 0 для любых V' € У', где и € У. Обозначим

Р' = Р'(А к).

Лемма 2. Справедливы следующее оценки погрешности ортогонального проектирования:

\ик — Р'ик\г < сНп+1-'А{П+1)/2, г = 0,1.

Доказательство. Оценки погрешности леммы устанавливаются с помощью результатов [25]. Лемма доказана. □

Теорема 3. Для достаточно малых Н имеет место оценка погрешности

0 < А' — А к < сЪ2пАП+1.

Доказательство. Требуемая оценка вытекает из соотношений 0 < Х% - Хк = - Ъ(Хк) < !%(Хк) - ъ(Хк),

оценки погрешности приближенных собственных значений для линейной задачи на собственные значения [12], лемм 1 и 2. Теорема доказана. □

Теорема 4. Для достаточно .малых Н выполняется оценка погрешности

\и% - ик \1 < сНпХ(П+1)/2,

где Ь(Хн,и%,ин) > 0, Ь(Х%,п%,п%) = 1, Ь(Хк,Пк,ин) = 1.

Доказательство. Положим [3% = ик,у%), г = 1, 2,..., М%, где

г = 1, 2,... ,М%, - собственные функции задачи (4) при л = Х%, Ь(Хк,ин,ин) = 1. Заметим, что у% = и%. Поскольку функции уг = 1, 2,..., М%, образуют ортонор-мированный базис в пространстве У%, то элемент Р%ик € У% можно представить в виде разложения Р%ик = в\и\ + V% + т%, где

к-1 ^

Т.вНуН, т% = 53 вНуН.

i=1 г=к+1

Положим

= 8Пр

\а(Х%,Р%и) - ХкЬ(Х%, Р%ик, Vй

ън£Ун\{0}

И1

Имеет место оценка А < сНп+1Х^^+3^/2.

(п+

» к < сН Х к Для к > 1 и Хо = 0 обозначим

= Х к-1 + Х к + 1

Х к - Хк-1 Хк+1 - Хк

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Из теоремы 3 получаем сходимость Х% ^ Хi при Н ^ 0, г = 1, 2,..., к +1. Следовательно, для достаточно малых Н выполняются неравенства Х к - 1 > 0, Х%+1 - Х к > 0, где к > 1, Х% = 0, и для некоторой положительной постоянной с справедливы соотношения

\К \К

Х к-1 , Х к + 1

Х-Х% < срк, Х%-X" < срк.

Хк - Хк-1 Хк+1 - Хк

Для к > 1 докажем оценку \V% \ 1 < срк£%. Эта оценка при к = 1 выполняется тривиально. Пусть к > 2. Тогда справедливы следующие соотношения:

а(Х%, Р%ик, V%) = а(Х%, V%, V%), Ь(Х%, Р%и^%) = Ь(Х%, V%, V%),

а(Х%, V%, V%) < Х%-1Ь(Х%, V%, V%).

Таким образом, получаем цепочку неравенств

V% \ 1 & > -а(Х%, Р%ик^%) + ХкЬ(Х%, Р%ик, V%) = -а(Х%, V%, V%) + ХкЬ(Х%, V%, V%) >

Х _х% 1

> (Х к - Х-Ж^ ^ IV %) > к к-1 а(Х%, V ^ %) > — ^ пЦ, к > 2,

Хк-1 срк

откуда вытекает требуемая оценка.

к

Для к > 1 докажем оценку \wrh\i < cpkНетрудно проверить, что a(\hk, Phuк,wt) = a(\$, wh, whk), b(Xh, Phuk,wh) = b(\hk, wwhk),

Обозначим \\v\\2 = b(Xk,v,v), \\vh\\2h = b(Xh,vh,vh) для любых v e V, vh G Vh.

a(\tw h,w h) > xh+1b(xh,w h,w h). Тогда выполняются соотношения

\wh\i $ > a(\h,PhU k,w h) - X kb(Xh,PhU k,w h) =

дh _ x 1

= a(Xh, wh, wh) + Xkb(Xh, wh, wh) -ka(Xh, wh, wh) > — \wh\1, к > 1

X k+1 cpk

которые приводят к требуемой оценке.

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

\PhUk - eUh\i < \vh\i + \wh\i < cpk & < cpk hn+1xki+3)/2

при достаточно малых h.

Обозначим \\v\\2 = Тогда из соотношений

eh = W^AK < 1 + \\uk - PhUk\\b + \\PhUk - ftuhK + \ \\PhUkK - \\PhUk\\b \, eh = \\fk4Abh > 1 - \\uk - PhUk\\b - \\PhUk - fk4Abh - \ \\PhUk\\bh - \\PhUk\\b \, получим

eh - 1\ < \\uk - PhUk\\b + \\PhUk - ehuhlbh + c\ \\PhUk\\2h - \\PhUk\\2\, \ehuh - uh\i = \eh -1\ \uh\i < c^xTk \eh -1\ < cpk hn+ixki+4)/2

для достаточно малых h. В итоге заключаем, что

\uk - uh\i < \uk - PhUk\i + \PhUk - eMh + ekU - uh\i < chnXkn+i)/2. Теорема доказана. □

Благодарности. Работа выполнена при финансовой поддержке Российского научного фонда (проект № 16-11-10299).

Литература

1. Solov'ev S.I. Approximation of differential eigenvalue problems with a nonlinear dependence on the parameter // Differ. Equations. - 2014. - V. 50, No 7. - P. 947-954. - doi: 10.1134/S0012266114070106.

2. Lyashko A.D., Solov'ev S.I. Fourier method of solution of FE systems with Hermite elements for Poisson equation // Sov. J. Numer. Anal. Math. Modell. - 1991. - V. 6, No 2. - P. 121-129.

3. Solov'ev S.I. Fast direct methods of solving finite-element grid schemes with bicubic elements for the Poisson equation //J. Math. Sci. - 1994. - V. 71, No 6. - P. 27992804.

4. Solov'ev S.I. A fast direct method of solving Hermitian fourth-order finite-element schemes for the Poisson equation // J. Math. Sci. - 1995. - V. 74, No 6. - P. 1371-1376.

5. Dautov R.Z., Lyashko A.D., Solov'ev S.I. The bisection method for symmetric eigenvalue problems with a parameter entering nonlinearly // Russ. J. Numer. Anal. Math. Modell. -1994. - V. 9, No 5. - P. 417-427.

6. Solov'ev S.I. The finite element method for symmetric nonlinear eigenvalue problems // Comput. Math. Math. Phys. - 1997. - V. 37, No 11. - P. 1269-1276.

7. Dautov R.Z., Lyashko A.D., Solov'ev S.I. Convergence of the Bubnov-Galerkin method with perturbations for symmetric spectral problems with parameter entering nonlinearly // Differ. Equations. - 1991. - V. 27, No 7. - P. 799-806.

8. Solov'ev S.I. The error of the Bubnov-Galerkin method with perturbations for symmetric spectral problems with a non-linearly occurring parameter // Comput. Math. Math. Phys. - 1992. - V. 32, No 5. - P. 579-593.

9. Solov'ev S.I. Superconvergence of finite element approximations of eigenfunctions // Differ. Equations. - 1994. - V. 30, No 7. - P. 1138-1146.

10. Solov'ev S.I. Superconvergence of finite element approximations to eigenspaces // Differ. Equations. - 2002. - V. 38, No 5. - P. 752-753.

11. Solov'ev S.I. Approximation of differential eigenvalue problems // Differ. Equations. -2013. - V. 49, No 7. - P. 908-916.

12. Solov'ev S.I. Finite element approximation with numerical integration for differential eigenvalue problems // Appl. Numer. Math. - 2015. - V. 93. - P. 206-214.

13. Solov'ev S.I. Approximation of nonlinear spectral problems in a Hilbert space // Differ. Equations. - 2015. - V. 51, No 7. - P. 934-947.

14. Solov'ev S.I. Approximation of variational eigenvalue problems // Differ. Equations. -2010. - V. 46, No 7. - P. 1030-1041.

15. Solov'ev S.I. Approximation of positive semidefinite spectral problems // Differ. Equations. - 2011. - V. 47, No 8. - P. 1188-1196. - doi: 10.1134/S001226611108012X.

16. Solov'ev S.I. Approximation of sign-indefinite spectral problems // Differ. Equations. -2012. - V. 48, No 7. - P. 1028-1041.

17. Badriev I.B., Banderov V.V., Gnedenkova V.L., Kalacheva N.V., Korablev A.I., Tagirov R.R. On the finite dimensional approximations of some mixed variational inequalities // Appl. Math. Sci. - 2015. - V. 9, No 113-116. - P. 5697-5705.

18. Badriev I.B., Garipova G.Z., Makarov M.V., Paymushin V.N. Numerical solution of the issue about geometrically nonlinear behavior of sandwich plate with transversal soft filler // Res. J. Appl. Sci. - 2015. - V. 10, No 8. - P. 428-435.

19. Bадриев И.Б., Гарипова Г.З., Макаров М.В., Паймушин В.Н., Хабибуллин Р.Ф. О решении физически нелинейных задач о равновесии трехслойных пластин с трансвер-сально-мягким заполнителем // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. -2015. - Т. 157, кн. 1. - С. 15-24.

20. Badriev I.B., Makarov M.V., Paimushin V.N. Solvability of physically and geometrically nonlinear problem of the theory of sandwich plates with transversally-soft core // Russ. Math. - 2015. - V. 59, No 10. - P. 57-60. - doi: 10.3103/S1066369X15100072.

21. Badriev I.B., Makarov M.V., Paimushin V.N. Numerical investigation of physically nonlinear problem of sandwich plate bending // Proc. Eng. - 2016. - V. 150. - P. 10501055. - doi: 10.1016/j.proeng.2016.07.213.

22. Badriev I.B., Makarov M.V., Paimushin V.N. Mathematical simulation of nonlinear problem of three-point composite sample bending test // Proc. Eng. - 2016. - V. 150. -P. 1056-1062. - doi: 10.1016/j.proeng.2016.07.214.

23. Бадриев И.Б., Нечаева Л.А. Математическое моделирование установившейся фильтрации с многозначным законом // Вестн. Перм. нац. исслед. политехн. ун-та. Механика. - 2013. - № 3. - P. 35-62.

24. Михайлов В.П. Дифференциальные уравнения в частных производных. - М.: Наука, 1983. - 424 с.

25. Ciarlet P.G. The Finite Element Method for Elliptic Problems. - Philadelphia: Am. Math. Soc., 2002. - xxiii, 529 p.

Поступила в редакцию 05.06.17

Самсонов Антон Андреевич, аспирант кафедры вычислительной математики Казанский (Приволжский) федеральный университет

ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]

Соловьёв Павел Сергеевич, магистрант вычислительной математики Казанский (Приволжский) федеральный университет

ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]

Соловьёв Сергей Иванович, доктор физико-математических наук, доцент кафедры вычислительной математики

Казанский (Приволжский) федеральный университет

ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]

ISSN 2541-7746 (Print)

ISSN 2500-2198 (Online)

UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI

(Proceedings of Kazan University. Physics and Mathematics Series)

2017, vol. 159, no. 3, pp. 354-363

Error Investigation of Finite Element Approximation for a Nonlinear Sturm—Liouville Problem

A.A. Samsonov*, P.S. Solov'ev** , S.I. Solov'ev***

Kazan Federal University, Kazan, 420008 Russia E-mail: *[email protected], ** [email protected], ***[email protected]

Received June 5, 2017 Abstract

A positive definite differential eigenvalue problem with coefficients depending nonlinearly on the spectral parameter has been studied. The differential eigenvalue problem is formulated as a variational eigenvalue problem in a Hilbert space with bilinear forms nonlinearly depending on the spectral parameter. The variational problem has an increasing sequence of positive simple eigenvalues, which correspond to a normalized system of eigenfunctions. The variational

problem has been approximated by a mesh scheme of the finite element method on the uniform grid with Lagrangian finite elements of arbitrary order. Error estimates for approximate eigenvalues and eigenfunctions in dependence on mesh size and eigenvalue size have been established. The obtained results are generalizations of the well-known results for differential eigenvalue problems with linear dependence on the spectral parameter.

Keywords: eigenvalue, eigenfunction, eigenvalue problem, mesh approximation, finite element method

Acknowledgments. The study was supported by the Russian Science Foundation (project no. 16-11-10299).

References

1. Solov'ev S.I. Approximation of differential eigenvalue problems with a nonlinear dependence on the parameter. Differ. Equations, 2014, vol. 50, no. 7, pp. 947-954. doi: 10.1134/S0012266114070106.

2. Lyashko A.D., Solov'ev S.I. Fourier method of solution of FE systems with Hermite elements for Poisson equation. Sov. J. Numer. Anal. Math. Modell., 1991, vol. 6, no. 2, pp. 121-129.

3. Solov'ev S.I. Fast direct methods of solving finite-element grid schemes with bicubic elements for the Poisson equation. J. Math. Sci., 1994, vol. 71, no. 6, pp. 2799-2804.

4. Solov'ev S.I. A fast direct method of solving Hermitian fourth-order finite-element schemes for the Poisson equation. J. Math. Sci., 1995, vol. 74, no. 6, pp. 1371-1376.

5. Dautov R.Z., Lyashko A.D., Solov'ev S.I. The bisection method for symmetric eigenvalue problems with a parameter entering nonlinearly. Russ. J. Numer. Anal. Math. Modell., 1994, vol. 9, no. 5, pp. 417-427.

6. Solov'ev S.I. The finite element method for symmetric nonlinear eigenvalue problems. Comput. Math. Math. Phys., 1997, vol. 37, no. 11, pp. 1269-1276.

7. Dautov R.Z., Lyashko A.D., Solov'ev S.I. Convergence of the Bubnov-Galerkin method with perturbations for symmetric spectral problems with parameter entering nonlinearly. Differ. Equations, 1991, vol. 27, no. 7, pp. 799-806.

8. Solov'ev S.I. The error of the Bubnov-Galerkin method with perturbations for symmetric spectral problems with a non-linearly occurring parameter. Comput. Math. Math. Phys., 1992, vol. 32, no. 5, pp. 579-593.

9. Solov'ev S.I. Superconvergence of finite element approximations of eigenfunctions. Differ. Equations, 1994, vol. 30, no. 7, pp. 1138-1146.

10. Solov'ev S.I. Superconvergence of finite element approximations to eigenspaces. Differ. Equations, 2002, vol. 38, no. 5, pp. 752-753.

11. Solov'ev S.I. Approximation of differential eigenvalue problems. Differ. Equations, 2013, vol. 49, no. 7, pp. 908-916.

12. Solov'ev S.I. Finite element approximation with numerical integration for differential eigenvalue problems. Appl. Numer. Math., 2015, vol. 93, pp. 206-214.

13. Solov'ev S.I. Approximation of nonlinear spectral problems in a Hilbert space. Differ. Equations, 2015, vol. 51, no. 7, pp. 934-947.

14. Solov'ev S.I. Approximation of variational eigenvalue problems. Differ. Equations, 2010, vol. 46, no. 7, pp. 1030-1041.

15. Solov'ev S.I. Approximation of positive semidefinite spectral problems. Differ. Equations, 2011, vol. 47, no. 8, pp. 1188-1196. doi: 10.1134/S001226611108012X.

16. Solov'ev S.I. Approximation of sign-indefinite spectral problems. Differ. Equations, 2012, vol. 48, no. 7, pp. 1028-1041.

17. Badriev I.B., Banderov V.V., Gnedenkova V.L., Kalacheva N.V., Korablev A.I., Tagirov R.R. On the finite dimensional approximations of some mixed variational inequalities. Appl. Math. Sci., 2015, vol. 9, no. 113-116, pp. 5697-5705.

18. Badriev I.B., Garipova G.Z., Makarov M.V., Paymushin V.N. Numerical solution of the issue about geometrically nonlinear behavior of sandwich plate with transversal soft filler. Res. J. Appl. Sci., 2015, vol. 10, no. 8, pp. 428-435.

19. Badriev I.B., Garipova G.Z., Makarov M.V., Paimushin V.N., Khabibullin R.F. On solving physically nonlinear equilibrium problems for sandwich plates with a transversely soft filler. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2015, vol. 157, no. 1, pp. 15-24.

20. Badriev I.B., Makarov M.V., Paimushin V.N. Solvability of physically and geometrically nonlinear problem of the theory of sandwich plates with transversally-soft core. Russ. Math., 2015, vol. 59, no. 10, pp. 57-60. doi: 10.3103/S1066369X15100072.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

21. Badriev I.B., Makarov M.V., Paimushin V.N. Numerical investigation of physically nonlinear problem of sandwich plate bending. Proc. Eng., 2016, vol. 150, pp. 1050-1055. doi: 10.1016/j.proeng.2016.07.213.

22. Badriev I.B., Makarov M.V., Paimushin V.N. Mathematical simulation of nonlinear problem of three-point composite sample bending test. Proc. Eng., 2016, vol. 150, pp. 10561062. doi: 10.1016/j.proeng.2016.07.214.

23. Badriev I.B., Nechaeva L.A. Mathematical simulation of steady filtration with multivalued law. Vestn. Permsk. Nats. Issled. Politekh. Univ., Mekh., 2013, no. 3, pp. 35-62. (In Russian)

24. Mikhailov V.P. Differential Equations in Partial Derivatives. Moscow, Nauka, 1983. 424 p. (In Russian)

25. Ciarlet P.G. The Finite Element Method for Elliptic Problems. Philadelphia, Am. Math. Soc., 2002. xxiii, 529 p.

Для цитирования: Самсонов А.А., Соловьёв П.С., Соловьёв С.И. Исследова-/ ние погрешности конечно-элементной аппроксимации нелинейной задачи Штурма-\ Лиувилля // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2017. - Т. 159, кн. 3. -С. 354-363.

For citation: Samsonov A.A., Solov'ev P.S., Solov'ev S.I. Error investigation of

/ finite element approximation for a nonlinear Sturm-Liouville problem. Uchenye Zapiski

\ Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2017, vol. 159, no. 3, pp. 354-363. (In Russian)

i Надоели баннеры? Вы всегда можете отключить рекламу.