CC BY
41
____________УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА
Том 155, кн. 3 Физико-математические науки
2013
УДК 519.63
ВЫЧИСЛЕНИЕ МИНИМАЛЬНОГО СОБСТВЕННОГО ЗНАЧЕНИЯ НЕЛИНЕЙНОЙ ЗАДАЧИ ШТУРМА-ЛИУВИЛЛЯ
В.С. Желтухин, С.И. Соловьёв, П.С. Соловьёв, В.Ю. Чебакова
Аннотация
Устанавливаются условия существования минимального собственного значения, отвечающего положительной собственной функции, нелинейной задачи на собственные значения для обыкновенного дифференциального уравнения. Задача аппроксимируется сеточной схемой метода конечных элементов. Исследуется сходимость приближенных решений к точным. Теоретические результаты иллюстрируются численными расчетами для модельной задачи.
Ключевые слова: собственное значение, положительная собственная функция, нелинейная задача на собственные значения, обыкновенное дифференциальное уравнение, задача Штурма-Лиувилля, метод конечных элементов.
1. Постановка задачи
В настоящей работе изучается вопрос нахождения минимального собственного значения А £ Л, Л = [0, ж), отвечающего положительной собственной функции u(x), x £ Q, Q = (0, п), Q = [0, п], задачи на собственные значения для обыкновенного дифференциального уравнения
— (p(Xs(x))u')' = r(As(x))u, x £ Q,
u(0) = u(n) = 0,
с коэффициентами, зависящими от спектрального параметра. Предполагается, что p(p), r(p), £ Л, s(x), x £ Q, являются непрерывными положительными функциями. Кроме того, функция p(p), м £ Л предполагается неубывающей ограниченной, а функция r(p), у« £ Л, - неубывающей неограниченной. Отметим, что дифференциальное уравнение задачи (1) понимается в обобщенном смысле [1].
Для фиксированного м £ Л обозначим через y(p) минимальное простое собственное значение, отвечающее положительной собственной функции u(x) = uM(x), x £ Q , параметрической линейной задачи на собственные значения для обыкновенного дифференциального уравнения
- (p(^s(x))u')' = y(p)r(p1s(x))u, x £ Q, u(0) = u(n) = 0.
Тогда минимальное собственное значение А задачи (1) является наименьшим корнем уравнения
Y(M) = 1, м £ Л. (3)
Исходя из условия р(0) > r(0), в разд. 2 доказывается существование наименьшего простого собственного значения задачи (1) как корня уравнения (3).
91
92
В.С. ЖЕЛТУХИН И ДР.
В разд. 3 формулируется сеточная схема метода конечных элементов для решения задачи (1). Доказано существование наименьшего простого приближенного собственного значения, отвечающего положительной собственной функции при условии p(0) > r(0), и установлена сходимость приближенных решений к точным.
В разд. 4 приведены результаты численных экспериментов для модельной задачи.
Задача вида (1) возникает при моделировании плазмы высокочастотного разряда пониженного давления. Высокочастотный индукционный (ВЧИ) разряд нашел широкое применение в разнообразных технологических плазменных процессах, таких, как обработка текстиля и кожевенно-меховых полуфабрикатов [2, 3], металлов [4, 5], аккумулирование водорода порошками кремния [6], синтез бескислородных керамических материалов [7], получение карбидных и боридных материалов для ядерной и обрабатывающей промышленности [7].
Режимы обработки материалов в этих процессах чрезвычайно чувствительны к основным характеристикам ВЧИ-разряда. Одним из важнейших параметров, определяющим свойства плазмы, является давление плазмообразующего газа. В технологических процессах наиболее широко применяются ВЧИ-разряды атмосферного (порядка 105 Па), низкого (порядка 10-3 Па) и пониженного (от 13.3 до 133 Па) давления [3-5].
Плазма высокочастотных разрядов пониженного давления, обладая всеми преимуществами высокочастотных разрядов, имеет ряд специфических свойств, присущих разрядам при низких давлениях: существенный отрыв электронной температуры от ионной, повышенная стерильность окружающей среды, возможность получения сверхзвуковых высокотемпературных потоков. В связи с этим разработано большое количество методик экспериментальных измерений индукционной плазмы [2, 8, 9].
Однако для более эффективного и качественного выбора конструктивных решений при создании ВЧИ-установок необходимо также создание математических моделей, так как не все технологические характеристики плазмы возможно измерить.
При усреднении уравнения баланса заряженных частиц по периоду колебания электрического поля [10] возникает необходимость определения минимального собственного значения нелинейной спектральной задачи [11-13]. Собственные значения дифференциальной задачи целиком и полностью определяются коэффициентами уравнения, граничными условиями и единственным свободным параметром, в качестве которого выступает значение электронной температуры в центре разряда, удовлетворяющее определенному соотношению между коэффициентом амбиполярной диффузии, частотой ионизации и радиусом плазмотрона. Это соотношение определяет условие, необходимое для поддержания стационарного ВЧИ-разряда пониженного давления.
Ранее (см., например, [14-16]) исследовалась задача на собственные значения для обыкновенного дифференциального уравнения
— (p(Л, x)u')' + q(Л, x)u = Ar(A, x)u, x £ (0, l), u(0) = u(l) = 0 (4)
с коэффициентами, зависящими от спектрального параметра. Здесь предполагается, что p(p,x), q(p,x), r(p,x), ц £ Л, x £ [0, l], являются непрерывными положительными функциями. Отметим, что дифференциальное уравнение задачи (4) также понимается в обобщенном смысле.
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
93
Для фиксированного р £ Л обозначим через у(р) минимальное простое собственное значение, отвечающее положительной собственной функции u(x) = = uM(x), x £ (0, l), параметрической линейной задачи на собственные значения для обыкновенного дифференциального уравнения
- (р(р,х)и')' + q(p,x)u = у(p)r(p,x)u, x £ (0, l), u(0) = u(l) = 0.
Тогда минимальное собственное значение Л задачи (4) является наименьшим корнем уравнения
уЫ = Р р £ Л• (6)
В работах [14, 15] изучался метод конечных разностей для задачи (4) при г(р, x) = r(x), р £ Л, x £ [0, l]. Предполагалось, что функции р(р, x), q(p, x), р £ £ Л, x £ [0, l], являются невозрастающими по первому аргументу р £ Л. Из этого условия вытекает свойство невозрастания функции у (р), р £ Л, определяющей наименьшее собственное значение задачи (5), и существование единственного корня уравнения (6). В монографии [16] исследовался метод конечных элементов для задачи (4) в предположении невозрастания отношения Рэлея по спектральному параметру. В этом случае функция у (р), р £ Л является также невозрастающей и уравнение (6) имеет единственный корень. В [14-16] проведены исследования также и для других собственных значений. В отличие от указанных работ, в настоящей статье функция у (р), р £ Л, определяющая наименьшее собственное значение задачи (2), может быть немонотонной, и, кроме того, здесь не предполагается выполнение условия дифференцируемости коэффициентов дифференциального уравнения (2) по спектральному параметру.
Нелинейные задачи на собственные значения возникают в различных областях науки и техники [16-23]. Приближенные методы решения задач на собственные значения с монотонным и немонотонным вхождением спектрального параметра исследовались в работах [24-34]. Теоретическим фундаментом для исследования нелинейных спектральных задач являются результаты, полученные для линейных задач на собственные значения [35-44].
2. Существование решений
Обозначим через H = ^(П) вещественное гильбертово пространство Лебега с нормой | • |о и со скалярным произведением (•, -)q при
Но
п
(v(x))2 dx
1/2
(u, v)o
п
/ u(x)v(x) dx
V u, v £ H.
о
о
Обозначим через V = {v : v,v' £ H, u(0) = u(n) = 0} вещественное гильбертово пространство Соболева с нормой | • |i и со скалярным произведением (•, -)i при
|v|i
1/2
(v' (x))2 dx
п
(u, v)i
п
j u'(x)v'(x) dx V u,v £ V.
о
Заметим, что функции из пространства V являются непрерывными на П. При фиксированном р £ Л определим билинейные формы
п п
a^^^) = I p(рs(x))ufvf dx, b(р,u,v)
r^s(x))uv dx,
о
о
94
В.С. ЖЕЛТУХИН И ДР.
для u,v £ V. Введем отношение Рэлея
R(p,v)
a(p, v, v) b(p,v,v)
V v £ V \ {0}.
Положим K = {v : v £ V, u(x) > 0, x £ Q}.
Дифференциальная задача (1) эквивалентна вариационной нелинейной задаче на собственные значения: найти минимальное число А £ Л и функцию u £ K, b(A, u,u) = 1, такие, что
а(А, u, v) = b(A, u, v) V v £ V. (7)
При фиксированном p £ Л введем вариационную линейную параметрическую задачу на собственные значения: найти минимальное число y(p) и функцию u = uM £ K, b(p, u, u) = 1, такие, что
a(p, u,v) = Y(p)b(p,u,v) Vv £ V. (8)
Для наименьшего простого собственного значения задачи (8) справедливо вариационное свойство (см., например, [45, с. 98])
Y(Р)= min R(p,v). vev\{0}
Введем вспомогательную линейную задачу на собственные значения: найти минимальное число к и функцию u £ K, (u, u)o = 1, такие, что
(u,v)i = k(u, v)0 V v £ V. (9)
x £ Q,
SИ = ^ vv £ v \{0}.
(v, v)0
Символом ^ обозначим слабую сходимость в гильбертовом пространстве V.
Теорема 1. Имеет место сходимость y(p) ^ Y(p) пРи П ^ Р, un ^ uM в V при п ^ Р, Р, П £ Л.
Доказательство. Обозначим
Хорошо известно (см., например, [45, с. 105]), что
к =1, u(x) = у — sin x,
и выполняется вариационное соотношение
к = min S(v) vev\{o}
с отношением Рэлея, определяемым по формуле
(p,n) = max |q(ps(x)) - q(ps(x))|,
xEfi
где q £ {p, r}, p, n £ Л. Имеем 5p(p, n) ^ 0, 5r (p, n) ^ 0 при n ^ p, p, n £ Л. Поэтому
|a(p, u, v) — a(n, u, v)| =
(p(ps(x)) — p(ps(x)))u/v/ dx
< Jp(p,n)|u|i|v|i ^ 0
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
95
при n ^ М, М, n £ Л, u,v £ V,
< 5т(М,n)|u|o|v|o ^ 0
при n ^ М, М, n £ Л, u,v £ H.
Положим
ro = r(0), pi = sup р(м).
Л
Тогда для v £ V \ {0} имеют место соотношения
|b(M,u,v) - b(n,u, v)|
(r(Ms(x)) — r(ns(x)))uv dx
П
|R(M,v) — R(n,v)| <
< |а(М; У v) — a(n,v,v) I + lb(n,v,v) — b(M,v,v) I a(n,v,v) <
ь(м^ v)
6(М, v, v) < 5P(M, n)
|v|1
ro|v|0
6(n, v,v) + 5r Ж n)
pi|v|1
r2|v|0
^ 0
при n ^ М, m, n £ Л.
Теперь с помощью вариационной характеризации минимального собственного значения задачи (8) получим
0 < Y(n) = min ^ R(n, v) < R(n, uM) ^ й(м, uM) = y(м)
vGV\{0}
при n ^ М • Следовательно, из любой последовательности n' ^ М можно выбрать подпоследовательность n'' ^ М такую, что Y(n) ^ С при n = n'' ^ М, где С £ [0, y(m)] • Учитывая нормировку b(n, un, un) = 1, выводим
Po|un|1 < a(n,un,un) = Y(n) ^ С
при n = n'' ^ М, Po = p(0) • Отсюда получим |un |i < c при n = n'' ^ М, где c -постоянная, не зависящая от n • Поэтому из последовательности n'' ^ М можно извлечь подпоследовательность n''' ^ М такую, что un ^ w в V при n = n''' ^ М, где w £ V.
Для любого элемента v £ V справедливы предельные соотношения a(n, un, v) ^ ^ а(м, w, v), b(n, un, v) ^ 6(м, w, v) при n = n''' ^ М • Действительно, из un ^ w в V при n = n''' ^ М вытекает u'n ^ w', un ^ w в H при n = n''' ^ М, кроме того, существует постоянная c такая, что |un |o < c, |un |i < c при n = n''' ^ М • Поэтому я(м, un, v) ^ я(м, w, v), 6(м, un, v) ^ 6(м, w, v) при n = n''' ^ М, а также
Kn,u^, v) — a(M,u^,v)| < c5p(M,n)|v|i ^ 0,
|b(n,u^, v) — b(M,un, v)| < c5r(м, n)|v|o ^ 0, при n = n''' ^ M • Следовательно, заключаем
a(n, un, v) = а(м, un, v) + (a(n, un, v) — а(м, un, v)) ^ а(м, w, v),
b(n, un, v) = Ь(м, un, v) + (b(n, un, v) — Ь(м, u^, v)) ^ Ь(м, w, v), при n = n''' ^ M •
Переходя в уравнении a(n, un, v) = y(пЖп, un, v) к пределу при n = n''' ^ ^ M, выводим равенство а(м, w, v) = £Ъ(м, w,v) для любого элемента v £ V. Имеем 1 = b(n, un, un) ^ b(M,w,w) при n = n''' ^ M, поэтому 6(м, w,w) = 1. Предположим, что w = —uM • Тогда получим b(n, un,uM) ^ —6(м, uM,uM) = —1, что
96
В.С. ЖЕЛТУХИН И ДР.
противоречит соотношению b(p, un, uM) > 0. Это означает, что £ = 7(р) и w = = uM есть минимальное собственное значение и отвечающая ему положительная собственная функция задачи (8).
Докажем сильную сходимость un ^ uM в V при р = р''' ^ р. Действительно, имеем
p0|un им11 ^ a(n un uM7 un UM) a(n un, un) 2a(n un, UM) + a(n u^i u^) ^ 0
при n = p''' ^ р. Здесь учтено, что при р = р''' ^ р справедливы соотношения
a(n, un, uv) = Y(n) ^ y(p), a(p, uv, uM) ^ a(p, uM, uM) = 7(р), a(n, uM, uM) ^ a(p, uM, uM) = 7(р).
Таким образом, установлено, что из каждой последовательности р' ^ р можно выбрать подпоследовательность р'' ^ р со свойством 7(7) ^ 7(р), un ^ uM в V при р = р'' ^ р.
Предположим, что существует последовательность р' ^ р такая, что р(р) ^ £ при р = р' ^ р, где £ = 7(р). Повторяя проведенные рассуждения, из последовательности р' ^ р выберем подпоследовательность р'' ^ р такую, что р(р) ^ 7(р) при р = р'' ^ р. В результате получим сходимость 7(р) ^ 7(р) при р ^ р.
Предположим, что для последовательности р' ^ р выполняется неравенство |un — uM|i ^ c при р = р' ^ р. Тогда, повторяя проведенные выше рассуждения, устанавливаем существование подпоследовательности р'' ^ р такой, что |un — uM|i ^ 0 при р = р'' ^ р. Но это противоречит предыдущему неравенству. Теорема доказана. □
Теорема 2. Пусть p(0) > r(0). Тогда существует наименьшее простое собственное значение задачи (7), отвечающее положительной собственной функции.
Доказательство. Согласно теореме 1 7(р), р £ Л, является непрерывной функцией. Применяя вариационные характеризации наименьших собственных значений задач (8) и (9), получаем
p(0)(v')2 dx
П
7(0) = min R(0,v) vev\{0}
min
v£V\{0}
П
/ r(0)v2 dx
p(0)
r(0)
к
p(0)
r(0)
> 1.
0
Обозначим
s1 = min s(x), p1 = sup р(р). xGO ^,£Л
Тогда, используя вариационную характеризацию наименьшего собственного значения параметрической задачи (8), получим
7(р) = min д(р,х)
v£V\{0}
р(рй(х))(^')2 dx
min
0
/ Pi
^ —----г К
vev\{0} 7 ' г(рв1)
/ г(рв(х))х2 dx
0
П
P1
г(рв1)
^ 0
при р ^ то, поскольку г(р) ^ то при р ^ то.
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
97
Таким образом, непрерывная функция 7(р), р £ Л, удовлетворяет свойствам: 7(0) > 1 и y(p) ^ 0 при р ^ ж. Отсюда следует существование наименьшего корня уравнения (3), который определяет минимальное собственное значение Л задачи (7). Собственное значение Л является простым и отвечает положительной собственной функции, так как 7 (р) при р £ Л есть простое собственное значение параметрической задачи (8), соответствующее положительной собственной функции. Теорема доказана. □
3. Сеточная схема метода конечных элементов
Приближенная схема метода конечных элементов для сформулированной задачи определяется заданием конечномерного подпространства Vh. Разобьем отрезок [0,п] равноотстоящими точками xi = ih, i = 0,1,...,N, на элементы ei = = (xj_i,Xi), i = 1, 2,..., N, h = п/N. Обозначим через Vh подпространство пространства V, состоящее из непрерывных функций vh, линейных на каждом элементе ei = (xi-1, xi), i = 1, 2,... ,N. Положим Kh = {vh : vh £ Vh, uh(x) > 0,x £ .
Сеточная схема метода конечных элементов для вариационной задачи (7) состоит в нахождении минимального числа ЛЛ' £ Л и функции uh £ Kh, Ь(Лh,uh,uh) = 1, таких, что
а(Л^\ uh, vh) = 6^h, uh, vh) V vh £ Vh. (10)
При фиксированном р £ Л введем вариационную линейную параметрическую задачу на собственные значения: найти минимальное число 7^р) и функцию uh = u£ £ Kh, Ь(р, uh, uh) = 1, такие, что
a(р,uh,vh) = Yh(р)Ь(р,uh,vh) Vvh £ Vh. (11)
Для наименьшего собственного значения задачи (11) справедливо вариационное свойство
7^"^) = min R(р,vh).
vh eVfc\{0}
Конечномерная задача (10) эквивалентна матричной задаче: найти минимальное число Л^- £ Л и положительный вектор y £ RN-1, (B^h)y,y) = 1, такие, что
A^h)y = B^h)y. (12)
Здесь
N-1
(y,z) = 53 yiZi,
i=1
y = (yi,y2,. .. ,yN-i)T , z = (zi,z2,. .. ,zn-i)T, yi = uh(xi), i = 1, 2,. .., N - 1;
трехдиагональные матрицы А(р) и В(р) имеют вид
^ ац(р) а12(р) \
А(р) = а21(р) а22(р) а2з(р)
V аN —1,N-2 (р) aN-1,N-1(р)/
/Ьц (р) Ь12(р) \
В(р) = Ь21 (р) Ь22(р) Ь2з(р)
V ЬN-1,N-2 (р) ЬN-1,N-1(р)/
98
В.С. ЖЕЛТУХИН И ДР.
ац(м) = h J p(ps(x)) dx, i = 1, 2 - 1,
Xi-1
Xi
ai,i-1 (m) = = - h J p(ps(x)) dx, i = 2, 3 ,...,N - 1
Xi-1
Xi xi+1
bii(M) = J2 f r(Ms(x))(x-xi-i)2 dx+J2 J r(^s(x))(xi+i-x)
r( ps(x))(xi+i -x)2 dx, i =1, 2, ..., N-1
Xi-1
bi,i-i(m) = h-i,i(p)
r(ps(x))(xi
x)(x - xi-i) dx, i
2, 3,... ,N - 1,
при m £ Л.
Аналогично представим конечномерную задачу (11) при фиксированном м £ Л в матричном виде: найти минимальное число Yh(M) и положительный вектор y £ RN-1, (B(м)у, y) = 1, такие, что
А(М)У = Yh(M)B(M)y.
(13)
Введем вспомогательную линейную задачу на собственные значения: найти минимальное число Kh и функцию uh £ Kh, (uh ,uh)o = 1, такие, что
(uh,vh)i
Kh(uh,vh)o Vvh £ Vh
(14)
Для этой задачи выполняется вариационное соотношение
Kh = min S(vh).
vheVh\{0}
Как и предыдущие задачи, конечномерную задачу (14) запишем в матричном виде: найти минимальное число Kh и положительный вектор y £ RN-i, (By, y) = 1, такие, что
Ay = KhBy. (15)
Трехдиагональные матрицы A и B этой задачи имеют вид
2 -1 (4 1 \
A = h -1 2-1 ■ B = h 1 4 1
V -12 V 14
Решения задачи (15) определяются (см., например, [46, с. 63]) формулами
к
h
6 1 - cos h
h2 2 + cos h, УУ
2
— sin xi, n
i = 1, 2,... ,N - 1.
Нетрудно убедиться, что 1 ^ Kh ^ 1 при h ^ 0.
Минимальное собственное значение Xh задачи (10) является наименьшим корнем уравнения
Yh(M) = 1, М £ Л. (16)
Теорема 3. Имеет место сходимость Yh(n) ^ Yh(M) п'Ри П ^ М, uh ^ и^ в Vh при п ^ м, М,П £ Л.
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
99
Доказательство. Утверждение теоремы доказывается аналогично теореме 1.
□
Теорема 4. Пусть p(0) > r(0). Тогда существует наименьшее простое собственное значение задачи (10), отвечающее положительной собственной функции.
Доказательство. Согласно теореме 3 Yh(р), р G Л, является непрерывной функцией. Применяя вариационные характеризации наименьших собственных значений задач (11) и (14), выводим
Y "(0)
min R(0, vh)
vheVh\{0}
p(0)((vh))2 dx
heVh\{Q}
f r(0)(vh)2 dx
min
V
P(0) Kh r(0) K
> 1.
Q
Теперь, используя вариационную характеризацию наименьшего собственного значения параметрической задачи (11), как при доказательстве теоремы 2, получим
p(ps(x))((vh)')2 dx
Yh(p) = min R(р,vh) = min
Q
Kh ^ 0
vheVh\{0}
vheVh\{Q}
r(ps 1)
r(ps(x))(vh)2 dx
при р ^ TO .
Таким образом, непрерывная функция yh(p), р G Л удовлетворяет свойствам: Yh(0) > 1 и yh(p) ^ 0 при р ^ то. Отсюда следует существование наименьшего корня уравнения (16), который определяет минимальное собственное значение Ah задачи (10). Собственное значение Ah является простым и отвечает положительной собственной функции, так как yh(p) при р G Л есть простое собственное значение параметрической задачи (11), соответствующее положительной собственной функции. Теорема доказана. □
Через c будем обозначать различные положительные постоянные, не зависящие от h. Для фиксированного р G Л введем оператор Р"(р) : V^Vh по правилу а(р,и — Р"(р)ч, vh) = 0 для любого vh G Vh, где u G V, РДр)и ^ и в V при h ^ 0. Положим Ph = Ph(A).
Теорема 5. Имеет место сходимость Ah ^ A, uh ^ и в V при h ^ 0. Доказательство. Из соотношений
Y(р)= min R(р,v) < h nun R(р,vh)
vGV\{0} vhGVh\{0}
Yh(р) <
< R^PhU^) ^ R(р,uм) = y(р)
при h ^ 0 вытекает, что y"(р) ^ Y (р) при h ^ 0. Следовательно, Ah ^ A при h ^ 0.
Учитывая нормировку b(Ah,uh,uh) = 1, получим pQ|uh|2 ^ a(Ah,uh,uh) = = Yh(Ah) = 1, то есть |uh|i ^ c, где c = 1/pQ/2. Поэтому из любой последовательности h' ^ 0 можно выбрать подпоследовательность h" ^ 0 такую, что uh ^ w в V при h = h'' ^ 0, где w G V.
100
В.С. ЖЕЛТУХИН И ДР.
Для любого элемента v G V выберем vh = Phv. Тогда выполняются предельные соотношения a(Ah, uh, vh) — a(A, w, v), b(Ah, uh, vh) — b(A, w, v) при h = h" — 0.
Переходя в уравнении a(Ah,uh,vh) = b(Ah, uh, vh) к пределу при h = h" — 0, получим равенство a(A,w,v) = b(A, w,v) для любого элемента v G V. Имеем 1 = b(Ah,uh,uh) — b(A, w, w) при h = h" — 0, то есть b(A, w,w) = 1 и w G K, поскольку предположив —w G K, получим w = —u, b(Ah,uh,u) — —b(A,u,u) = = —1 при h = h" — 0, u G K, но это противоречит b(Ah,uh,u) > 0. Значит, A и w = u есть минимальное собственное значение и отвечающий ему положительный собственный элемент задачи (7).
Докажем сильную сходимость uh — u в V при h = h" — 0. Действительно, имеем
po |uh — Phu|2 ^ a(Ah, uh — Phu, uh — Phu) =
= a(Ah, uh, uh) — 2a(Ah, uh, Phu) + a(Ah, Phu, Phu) —— 0 при h = h" — 0. Здесь учтено, что при h = h" — 0 справедливы соотношения a(Ah, uh, uh) = 1, a(Ah, uh, Phu) — a(A, u, u) = 1, a(Ah, Phu, Phu) — a(A, u, u) = 1.
Следовательно, |uh — u|i ^ |uh — Phu|i + |u — Phu|i — 0 при h = h" — 0.
Предположим, что для последовательности h' — 0 выполняется неравенство |uh — u11 ^ c при h = h' — 0. Тогда, как и выше, существует подпоследовательность h'' — 0 такая, что |uh — u|i — 0 при h = h'' — 0. Но это противоречит предыдущему неравенству.
Таким образом, для любой последовательности h' — 0 имеет место сходимость uh — u в V при h = h' — 0, то есть uh — u в V при h — 0. Теорема доказана. □ 4
4. Численные эксперименты
Проведены вычисления наименьшего собственного значения и отвечающей ему положительной собственной функции для дифференциальной задачи на собственные значения (1) с коэффициентами s(x) = x +1, x G Q, Q = (0, п), Q = [0, п],
рЫ
M + 2, M G [0,1],
3, M G (1, те),
r(M)
1 M G [0, l-L
M, M G (1, те).
В данном случае p(0) = 2, r(0) = 1, следовательно, справедлива теорема 2 о существовании наименьшего простого собственного значения задачи (1), отвечающего положительной собственной функции.
На рис. 1 показан график функции y(m) задачи (2) и отмечено наименьшее простое собственное значение A = 1.1487 задачи (1). По оси абсцисс откладываются значения параметра м, а по оси ординат у - значения функции y = y(m) , M G Л. Этот рисунок иллюстрирует теорему существования (теорема 2) решения задачи (1) в случае немонотонной функции y(m) , M G Л. Из рисунка видно, что y(0) = 2 > 1 и y(3) < 1. Поэтому искомое собственное значение A должно находиться на интервале (0, 3) и определяться как абсцисса точки пересечения прямой у =1 с графиком функции у = y(m) , M G Л.
На рис. 2 приведен график собственной функции u(x), x G Q, отвечающей собственному значению A. Функция u(x), x G Q, удовлетворяет однородным граничным условиям, то есть обращается в нуль в граничных точках x = 0, x = п, а во внутренних точках отрезка [0,1] эта функция принимает положительные значения. Решение задачи проводилось с помощью схемы метода конечных элементов (10) при N = 1000.
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
101
Рис. 1. Минимальное собственное значение
Рис. 2. Положительная собственная функция
Работа выполнена при финансовой поддержке фонда Гумбольдта (Alexander von Humboldt Foundation) и Российского фонда фундаментальных исследований (проекты № 11-01-00864, 12-01-97026, 13-01-00908).
Summary
V.S. Zheltukhin, S.I. Solov’ev, P.S. Solov’ev, V.Yu. Chebakova. Computation of the Minimal Eigenvalue for a Nonlinear Sturm-Liouville Problem.
We derive a condition for the existence of the minimal eigenvalue answering the positive eigenfunction of the nonlinear eigenvalue problem for an ordinary differential equation. This problem is approximated by a mesh scheme of the finite element method. The convergence of the approximate solutions to the exact ones is investigated. The theoretical results are illustrated by numerical experiments for a model problem.
Keywords: eigenvalue, positive eigenfunction, nonlinear eigenvalue problem, ordinary differential equation, Sturm-Liouville problem, finite element method.
Литература
1. Обэн Ж.-П. Приближенное решение эллиптических краевых задач. - М.: Мир, 1977. -384 с.
2. Абдуллин И.Ш., Желтухин В. С., Кашапов Н. Ф. Высокочастотная плазменно-струйная обработка материалов при пониженных давлениях. Теория и практика применения. - Казань: Изд-во Казан. ун-та, 2000. - 348 с.
3. Мекешкина-Абдуллина Е.И., Кулевцов Г.Н. Придание готовым изделиям из меха заданных декоративных и потребительских свойств с одновременным повышением стойкости к атмосферной биокоррозии за счет модификации ННТП // Вестн. Казан. технол. ун-та. - 2012. - Т. 15, № 21. - С. 244-248.
102
В.С. ЖЕЛТУХИН И ДР.
4. Хубатхузин А.А., Абдуллин И.Ш., Гатина Э.Б., Калашников Д.И. Изменение физико-механических свойств металлов и их сплавов с помощью ВЧ-плазмы пониженного давления // Вестн. Казан. технол. ун-та. - 2013. - Т. 16, № 4. - С. 268-271.
5. Хубатхузин А.А., Абдуллин И.Ш., Башкирцев А.А., Гатина Э.Б. Формирование нанодиффузионных алмазоподобных покрытий на поверхности твердых сплавов с помощью ВЧ-плазмы пониженного давления // Вестн. Казан. технол. ун-та. - 2013. -Т. 16, № 4. - С. 262-264.
6. Ковалевский А.А., Строгова А.С., Лабунов В.А., Шевченок А.А. Аккумулирование водорода порошками кремния в плазме ВЧ-индукционного разряда // Журн. техн. физики. - 2011. - Т. 81, Вып. 10. - С. 140-143.
7. Туманов Ю.Н. Плазменные, высокочастотные, микроволновые и лазерные технологии в химико-металлургических процессах. - М.: ФИЗМАТЛИТ, 2010. - 968 с.
8. Большаков А.А., Круден Б.А. Диагностика индуктивной плазмы методом диодной лазерной спектроскопии поглощения // Журн. техн. физики. - 2008. - Т. 78, Вып. 11. - С. 34-44.
9. Гайнуллин Р.Н., Кирпичников А.П. Новый метод исследования высокочастотной индукционной плазмы // Изв. вузов. Проблемы энергетики. - 2008. - № 1-2. - С. 87-100.
10. Райзер Ю.П. Физика газового разряда. - Долгопрудный: Изд. дом «Интеллект», 2009. - 736 с.
11. Желтухин В.С. О разрешимости одной нелинейной спектральной задачи теории высокочастотных разрядов пониженного давления // Изв. вузов. Матем. - 1999. -№ 5. - С. 26-31.
12. Желтухин В. С. Об условиях разрешимости системы краевых задач теории высокочастотной плазмы пониженного давления // Изв. вузов. Матем. - 2005. - № 1. -
С. 52-57.
13. Желтухин В.С., Ольков Е.В. О разрешимости одной нелинейной задачи Штурма-Лиувилля // Исслед. по прикл. матем. и информатике. - Казань: Изд-во Казан. ун-та, 2004. - Вып. 25. - С. 59-65.
14. Гулин А.В., Крегжде А.В. Разностные схемы для некоторых нелинейных спектральных задач. Препринт № 153. - М.: ИПМ АН СССР, 1981. - 28 с.
15. Крегжде А.В. О разностных схемах для нелинейной задачи Штурма-Лиувилля // Дифференц. уравнения. - 1981. - Т. 17, № 7. - С. 1280-1284.
16. Соловьёв С.И. Нелинейные задачи на собственные значения. Приближенные методы. - Saarbriicken: LAP Lambert Acad. Publ., 2011. - 256 с.
17. Соловьёв С.И. Приближенные методы решения нелинейных спектральных задач: Дис. . . . д-ра физ.-матем. наук. - Казань, 2010. - 262 с.
18. Goolin A.V., Kartyshov S.V. Numerical study of stability and nonlinear eigenvalue problems // Surv. Math. Ind. - 1993. - V. 3. - P. 29-48.
19. Apel Th., Sandig A.-M., Solov’ev S.I. Computation of 3D vertex singularities for linear elasticity: Error estimates for a finite element method on graded meshes // Math. Model. Numer. Anal. - 2002. - V. 36, No 6. - P. 1043-1070.
20. Lyashko A.D., Solov’yev S.I. Fourier method of solution of FE systems with Hermite elements for Poisson equation // Sov. J. Numer. Anal. Math. Model. - 1991. - V. 6, No 2. - P. 121-129.
21. Жигалко Ю.П., Соловьёв С.И. Собственные колебания балки с гармоническим осциллятором // Изв. вузов. Матем. - 2001. - № 10. - С. 36-38.
ВЫЧИСЛЕНИЕ СОБСТВЕННОГО ЗНАЧЕНИЯ...
103
22. Карчевский Е.М., Соловьёв С.И. Исследование спектральной задачи для оператора Гельмгольца на плоскости // Дифференц. уравнения. - 2000. - Т. 36, № 4. -
С. 563-565.
23. Карчевский Е.М., Соловьёв С.И. Существование собственных значений спектральной задачи теории диэлектрических волноводов // Изв. вузов. Матем. - 2003. - № 3. -С. 78-80.
24. Гулин А.В., Крегжде А.В. О применимости метода бисекции к решению нелинейных разностных задач на собственные значения. Препринт № 8. - М.: ИПМ АН СССР, 1982. - 22 с.
25. Гулин А.В., Яковлева С.А. О численном решении одной нелинейной задачи на собственные значения // Вычислительные процессы и системы. - М.: Наука, 1988. -Вып. 6. - С. 90-97.
26. 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. Model. -1994. - V. 9, No 5. - P. 417-427.
27. Solov’ev S.I. Preconditioned iterative methods for a class of nonlinear eigenvalue problems // Linear Algebra Appl. - 2006. - V. 415, No 1. - P. 210-229.
28. Вайникко Г.М., Карма О.О. О быстроте сходимости приближённых методов в проблеме собственных значений с нелинейным вхождением параметра // Журн. вычисл. матем. и матем. физики. - 1974. - Т. 14, № 6. - С. 1393-1408.
29. Карма О.О. Асимптотические оценки погрешности приближённых характеристических значений голоморфных фредгольмовых оператор-функций // Журн. вычисл. матем. и матем. физики. - 1971. - Т. 11, No 3. - С. 559-568.
30. Соловьёв С.И. Погрешность метода Бубнова-Галёркина с возмущениями для симметричных спектральных задач с нелинейным вхождением параметра // Журн. вы-числ. матем. и матем. физики. - 1992. - Т. 32, № 5. - С. 675-691.
31. Соловьёв С.И. Аппроксимация симметричных спектральных задач с нелинейным вхождением параметра // Изв. вузов. Матем. - 1993. - № 10. - С. 60-68.
32. Соловьёв С.И. Оценки погрешности метода конечных элементов для симметричных спектральных задач с нелинейным вхождением параметра // Изв. вузов. Матем. -1994. - № 9. - С. 70-77.
33. Соловьёв С.И. Метод конечных элементов для симметричных задач на собственные значения с нелинейным вхождением спектрального параметра // Журн. вычисл. матем. и матем. физики. - 1997. - Т. 37, № 11. - С. 1311-1318.
34. Даутов Р.З., Ляшко А.Д., Соловьёв С.И. Сходимость метода Бубнова-Галёркина с возмущениями для симметричных спектральных задач с нелинейным вхождением параметра // Дифференц. уравнения. - 1991. - Т. 27, № 7. - С. 1144-1153.
35. Вайникко Г.М. Асимптотические оценки погрешности проекционных методов в проблеме собственных значений // Журн. вычисл. матем. и матем. физики. - 1964. -Т. 4, № 3. - С. 405-425.
36. Вайникко Г.М. Оценки погрешности метода Бубнова-Галёркина в проблеме собственных значений // Журн. вычисл. математики и мат. физики. - 1965. - Т. 5, № 4. - С. 587-607.
37. Вайникко Г.М. О быстроте сходимости приближённых методов в проблеме собственных значений // Журн. вычисл. матем. и матем. физики. - 1967. - Т. 7, № 5. -С. 977-987.
104
В.С. ЖЕЛТУХИН И ДР.
38. Соловьёв С.И. Метод конечных элементов для несамосопряженных спектральных задач // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2006. - Т. 148, кн. 4. -С. 51-62.
39. Соловьёв С.И. Суперсходимость конечно-элементных аппроксимаций собственных функций // Дифференц. уравнения. - 1994. - Т. 30, № 7. - С. 1230-1238.
40. Соловьёв С.И. Суперсходимость конечно-элементных аппроксимаций собственных подпространств // Дифференц. уравнения. - 2002. - Т. 38, № 5. - С. 710-711.
41. Соловьёв С.И. Аппроксимация вариационных задач на собственные значения // Дифференц. уравнения. - 2010. - Т. 46, № 7. - С. 1022-1032.
42. Соловьёв С.И. Аппроксимация неотрицательно-определенных спектральных задач // Дифференц. уравнения. - 2011. - Т. 47, № 8. - С. 1075-1082.
43. Соловьёв С.И. Аппроксимация знаконеопределенных спектральных задач // Дифференц. уравнения. - 2012. - Т. 48, № 7. - С. 1042-1055.
44. Соловьёв С.И. Аппроксимация дифференциальных задач на собственные значения // Дифференц. уравнения. - 2013. - Т. 49, № 7. - С. 936-944.
45. Михлин С.Г. Линейные уравнения в частных производных. - М.: Высш. шк., 1977. -432 с.
46. Самарский А.А., Николаев Е.С. Методы решения сеточных уравнений. - М.: Наука, 1978. - 592 с.
Поступила в редакцию 22.05.13
^Келтухин Виктор Семёнович - доктор физико-математических наук, заведующий кафедрой математической статистики, Казанский (Приволжский) федеральный университет, г. Казань, Россия.
E-mail: [email protected]
Соловьёв Сергей Иванович - доктор физико-математических наук, доцент кафедры вычислительной математики, Казанский (Приволжский) федеральный университет, г. Казань, Россия.
E-mail: [email protected]
Соловьёв Павел Сергеевич - студент, Казанский (Приволжский) федеральный университет, г. Казань, Россия.
Чебакова Виолетта Юрьевна - ассистент кафедры математической статистики, Казанский (Приволжский) федеральный университет, г. Казань, Россия.
E-mail: [email protected]
