CC BY
38
УДК 519.624.3
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НАХОЖДЕНИЯ ЗНАЧЕНИЙ СОБСТВЕННЫХ ФУНКЦИЙ ЗАДАЧИ ГИДРОДИНАМИЧЕСКОЙ ТЕОРИИ УСТОЙЧИВОСТИ ОРРА - ЗОММЕРФЕЛЬДА МЕТОДОМ РЕГУЛЯРИЗОВАННЫХ СЛЕДОВ
С.Н. Какушкин, С.И. Кадченко
Рассматривается математическая модель вычисления значений собственных функций оператора Орра - Зоммерфельда. Используя метод регуляризованных следов, получены простые формулы, позволяющие находить значения первых собственных функций возмущенных самосопряженных операторов. Разработанные алгоритмы позволяют, вычислять значения собственной функции возмущенного оператора независимо от того, известны предыдущие значения собственной функции или нет. Получены оценки остатков сумм функциональных рядов «взвешенных» поправок теории возмущений дискретных операторов, и доказана их сходимость. Для вычислительной реализации метода, найдены эффективные алгоритмы нахождения «взвешенных» поправок теории возмущений, используя которые можно приближать суммы функциональных рядов Рэлея - Шредингера нужным количеством членов. Проведенные численные эксперименты вычисления значений собственных функций задачи гидродинамической теории устойчивости показывают, что метод хорошо согласуется с другими известными методами (А.Н. Крылова и А.М. Данилевского). Метод регуляризованных следов показал свою надежность и высокую эффективность.
Ключевые слова: задача Орра - Зоммерфельда, собственные числа, собственные функции, теория возмущений, метод регуляризованных следов.
Введение
В последнее время приобретают большое значение вопросы математического моделирования нахождения собственных чисел и собственных функций возмущенных самосопряженных операторов [1-3]. В работе В.А. Садовничего и В.В. Дубровского [4] впервые были высказаны идеи нового метода регуляризованных следов (РС) вычисления собственных чисел возмущенных дискретных операторов. Метод РС активно развивался в работах С.И. Кадченко (например, [5]), где были получены вычислительно эффективные формулы нахождения собственных чисел дискретных полуограниченных снизу операторов. В дальнейшем в работах [6, 7] был разработан новый метод РС для вычисления значений собственных функций возмущенных самосопряженных операторов.
Сложности, связанные с течением вязкой жидкости в линейной теории устойчивости, возникают в связи с математической проблемой вычисления собственных чисел и значений собственных функций несамосопряженных операторов. Спектральная задача Орра - Зоммерфельда является трудной задачей вычислительной математики, поэтому новый метод регуляризованных следов вычисления значений первых собственных функций возмущенных самосопряженных операторов применим к этой задаче.
1. Математическая модель плоскопараллельного течении вязкой несжимаемой жидкости
Рассмотрим плоскопараллельное течение вязкой несжимаемой жидкости между двумя бесконечными параллельными плоскостями, которые могут быть неподвижными, а могут двигаться с постоянными скоростями, параллельно друг другу. Линеаризованное уравнение малых возмущений имеет вид:
d2
2
-а
Ф = iaR
(U - с)
d2
Л
-а
d2U
Ф
или
2
2
2
(г02 + ио-рт )ф = 0, (1)
I2 ( і2т-тЛ
2
; р = iaRc - комплексный спектральный параметр;
где Т0 = --^ + а2 ; ио = iaR dy 2
2^
а =-----волновое число; X - длина волны возмущения [8]. Скорость основного течения вязкой
X
жидкости в безразмерной форме запишем в виде [9]: — (у) = 4—у(у -1) + —у, 0 < у < 1. Здесь
и* и*
—5 - скорость движения верхней плоскости относительно нижней, ис - скорость в середине расстояния между плоскостями (у = 1), в случае, когда плоскости неподвижны; —* = 1 — + —с, -
характерная скорость основного течения, Я - число Рейнольдса [8].
При у = 0 и у = 1 выполняются условия прилипания вязкой жидкости на твердой поверхно-
8у (х, у, г) 8у (х, у, г)
сти [10]: ----------=-----------= 0, из которых для функции ф(у) получаем граничные условия:
8х 8у
/ а | Лф(у)
ф( у)| у=0,1 = ^Т
= 0. (2)
7=0,1
Введем оператор G0 = ТО + ио - рТ0, заданный в сепарабельном гильбертовом пространстве [0,1]. К области определения DG оператора 00 отнесем все функции ф класса
d 4
с4(0,1)П с1[0,1], —ф є L2[0,1], удовлетворяющие граничным условиям (2):
dy
DGo = ^ ф | фє С4(0,1)П^[0,1], ^ є ^[0,1], ф(у)|у=01 = dфd(y)
= 0^.
у=0,1
Таким образом, при исследовании на устойчивость плоскопараллельного течения вязкой несжимаемой жидкости между двумя параллельными бесконечными плоскостями, приходим к спектральной задаче Орра - Зоммерфельда (1), (2) о нахождении значений собственных функций ф(у).
2. Метод регуляризованных следов
Рассмотрим дискретный полуограниченный снизу оператор Т и ограниченный оператор Р, заданные в сепарабельном гильбертовом пространстве Н с областью определения в D. Предположим, что известны собственные числа (Я п }”=1 оператора Т, занумерованные в порядке возрастания их действительных величин, и ортонормированные собственные функции (уп (х)}”=1, отвечающие этим собственным числам. Пусть собственные функции \п (х) образуют базис в Н. Обозначим через п0 количество всех собственных чисел Хп, которые лежат внутри окружности Тп
Гп0 +1 +Яп0 „ гг г
радиуса рПо =J---- -----с центром в начале координат комплексной плоскости. Пусть (|о,п }п=1 -
собственные числа оператора Т+Р, пронумерованные в порядке возрастания их действительных частей, а (мп (х)}*= - соответствующие им собственные функции. Если для всех п > п0 выпол-
21 р||
няются неравенства qn =-.- —-—г < 1, тогда п0 собственных функций оператора Т+Р будут яв-
|Яп+1 -Яп|
ляться решениями системы уравнений [4]:
п0 _ п0 _ t
2 Ц р]и] (х)и] (у) =2 X Р^;- (x)vy ( у) + 21а к’ (По, X, У) + є< р) (п0, х, у).
(3)
]=1
]=1
Здесь акр)(п0,х,у) = ( 1) І" XР[КТ(х,zk,X) оРг ]к оКт(zk,у,Х)^X; - к-
2га -1 к
к=1
е поправки теории возму-
щений к «взвешенной» спектральной функции оператора Т+Р целого порядка р; Кт (х, у, X) -ядро резольвенты RX (Т) оператора Т; (К о Р о Q)(х,у, X) = | К(х, г, X)PzQ(г, у, X)dz. Через
в(р)(«0,х,у) = ^ а2’)(п0,х,у), V?еN обозначены остатки сумм функциональных рядов Рэлея -
Ш=?+1
Шредингера.
Правые части системы уравнений (3) явно выражаются через характеристики невозмущенного оператора Т и возмущающего оператора Р, а «взвешенные» поправки теории возмущений
акР)(«0, х, у) вычисляются с помощью теории вычетов. Система уравнений (3) лежит в основе
численного метода РС, позволяющего находить собственные функции возмущенных самосопряженных операторов. В следующей теореме получены формулы, удобные для нахождения «взвешенных» поправок теории возмущений акр) (п0, х, у). Доказательство теорем, приведенных в данном пункте, можно найти, к примеру, в работах [6, 7].
Теорема 1. Если Т - дискретный полуограниченный снизу оператор, а Р - ограниченный оператор, действующие в сепарабельном гильбертовом пространстве Н и для всех п > «0 выполняются неравенства qn < 1, тогда «взвешенные» поправки теории возмущений акр)(«0, х,у) для любых натуральных к, р, и «0 находятся по формулам:
«0 да _ к
а
(р)
(по,ху) = —2 2 v]l(x)v]k+l(y)гкр)(пл—]к+1)П^
п=1 ]к+1=1
]т]т+1
(4)
т=1
гДе гкР)(П,Л —]к+1) = <
0, У]т Ф п, т = 1, к +1;
1 dk
— Ііт —-
к! x^Xn d Xк
1
Xі’, і = к +1;
d
і-1
11т
(і — 1)! X^Xn d X'
і—1
X р
к-і+1
т=1
0 < і < к;
V). ] = р., V]) - скалярное произведение; і - число совпадений ]т = п, т = 1,к +1.
В случае, если норма возмущающего оператора невелика, суммы функциональных рядов Рэлея - Шредингера достаточно приближать первыми «взвешенными» поправками теории возмущений. Оценим остатки сумм функциональных рядов Рэлея - Шредингера.
Теорема 2. Пусть Т - дискретный полуограниченный снизу оператор, а Р - ограниченный оператор, действующие в сепарабельном гильбертовом пространстве Н. Если для всех п > п выполняются неравенства qП < 1, то для остатков сумм функциональных рядов Рэлея - Шредингера в(р)(п0, х,у) оператора Т+Р справедливы оценки:
(П0,х,У) <С04рР0%|Р
1 — Я
П0
Т
Здесь Sno = sup
1
§14,-х,1
V '*по
С0 = sup IV, (х)|, V, = 1, да .
хєD
Для нахождения собственных чисел цп удобно применять простые формулы, полученные методом регуляризованных следов (РС) в работе С.И. Кадченко [5]. Следующая теорема позволяет найти значения произведений собственной функции ип (х) возмущенного оператора Т+Р на
ее сопряженную ип (у) без непосредственного решения системы нелинейных уравнений (3), что значительно упрощает вычислительный процесс.
Теорема 3. Пусть Т - дискретный полуограниченный снизу оператор, а Р - ограниченный оператор, действующие в сепарабельном гильбертовом пространстве Н, с областью определения в D, и для любого п > п0 выполняются неравенства qn < 1, то значение произведения собственной функции ип (х) на ее сопряженную ип (у) можно найти по формулам:
( _ t Л
XnVn (х^п (у) + 2 [а(1) (п, х, у) - а!13 (п -1, х, у)
ип (х)ип (у) = —
^ п
к=1
+ 8(1)(п, X, у),
(5)
где для 8(1) (п, х, у) справедливы оценки:
8( )(п, X, у)
<-
2 р
с4п2 „ Ч С0Р nSn
1 - Ч
Vt є N, п = 1, п0.
(
Здесь Sn = sup
X,
1
§
/=11 Хп -Х,1
, С0 = sup (х)| V, = 1, да , ч = тах чп .
хєD п^1
В работе [7] приведен алгоритм нахождения значений собственных функций возмущенного оператора Т+Р из произведений вида ип (х)ип (у).
Применять разработанный метод РС для нахождения значений первых собственных функций
(
спектральной задачи (1), (2) нельзя, так как оператор ио = iaR
ит +
входящий в (1), не
является ограниченным на !^[0,1]. В работе [11] построена вспомогательная задача, в которой множества собственных чисел и собственных функций совпадают с множествами собственных чисел и собственных функций спектральной задачи (1), (2), и к которой применим метод РС. Опишем эту задачу. Для этого рассмотрим неоднородную краевую задачу То1 ф = /(у), 0 < у < 1, ф(0) = ф(1) = 0,
где То1 Ф =
( й2
- + а
Ф - дифференциальный оператор с областью определения
DTol =|Ф|Фе С4(0,1)П ^[0,1], ^ е 12[0,1], ф(у)|у=0Д = 0|.
Сделаем замену ф = Т— f, тогда Соф = (То2 + ио -РТо ^)Т— f . Справедливо равенство:
с0ф=(То2 + ио - РТо )т-/ = (То + иоТ— - р) f.
Следовательно, уравнение (1) можно записать в виде (То + Ро) / = Р/, где / = То^ ф,
(
ио = iаR
ит +
Р = iаRc . Граничные условия ф(у)| =01 = 0 остаются неизменными, а
2
X
2
№п
2
2
2
граничные условия
й ф( у)
= 0 примут вид
йт-1/ (у)
У=0,1
йу
= 0.
у=0,1
Очевидно, что множества собственных чисел спектральной задачи
Т + Р0 ) / = р/, / є ВТо ,
где БТ =
(6)
/|/є С 2(0,1), й2/ є ^[0,1], йТо1/(у)
= 0
у=0,1
, и задачи (1), (2) совпадают, а их
собственные функции связаны соотношениями ф = Т 1 f и / = Т0 ф. При этом оператор Т 1 име-
ет вид:
Т11/ = “1 }8Ь[“(1 ■ ^/(^)й^ -18Ь Nу - ^/(^^ [.
а I 8й(а) 0 0 I
(7)
3. Вычислительный эксперимент
Был проведен численный эксперимент по нахождению значений собственных функций f спектральной задачи (6) методом РС и методом А.Н. Крылова. При этом в методе РС суммы функциональных рядов Рэлея - Шредингера приближались четырьмя «взвешенными» поправками по формулам (4), а значения произведений /п (х)/п (у), п = 1,п0 были найдены по формулам (5). Проинтерполировав полученные значения и воздействовав слева на полученные функции оператором Т"1 по формулам (7), найдены значения собственных функций ф(у) исходной задачи (1), (2). Результаты вычисления пятнадцатой собственной функции ф^( у) приведены в таблице. При этом через Ф15 (у) обозначены значения, полученные новым методом РС, а через ф^(у) - значения, полученные методом А.Н. Крылова.
Значения пятнадцатой собственной функции задачи (1), (2), вычисленные при их = 0 , ис = 1, R = 5 и а = 1
і Уі ^5( Уі ) ф 5 (Уі ) |ф15( Уі )-ф 5 (Уі )| |ф15( Уі ) -ф 15 (Уі )|% 1 ф15 (Уі )|
1 0,095 311,511 - 0,343/ 309,383 + 0,589/ 2,323 0,751
2 0,142 -549,396 + 0,321/ -549,936 + 0,127/ 0,574 0,104
3 0,190 564,863 + 0,281/ 565,384 - 0,781/ 1,183 0,209
4 0,238 -275,652 - 0,534/ -275,756 + 2,037/ 2,573 0,933
5 0,285 -96,783 + 0,491/ -96,488 - 2,091/ 2,599 2,693
6 0,333 314,817 - 0,339/ 315,916 + 0,623/ 1,461 0,462
7 0,381 -288,613 + 0,432/ -288,645 + 0,373/ 0,331 0,114
8 0,428 114,837 - 0,013/ 114,238 - 0,993/ 1,149 1,006
9 0,476 22,748 - 0,007/ 22,923 + 0,693/ 0,721 3,147
10 0,524 -24,500 + 0,791/ -24,371 + 0,018/ 0,129 0,530
11 0,571 -75,419 - 0,001/ -75,427 - 0,168/ 0,167 0,222
12 0,619 141,439 - 0,137/ 141,935 - 0,664/ 0,723 0,509
13 0,667 -58,678 + 0,259/ -58,499 + 1,600/ 1,352 2,310
Заключение
В статье на основе метода регуляризованных следов построена математическая модель вычисления значений собственных функций спектральной задачи Орра - Зоммерфельда. Проведенный численный эксперимент показал, что значения собственных функций, найденные методом РС, хорошо согласуются со значениями, найденными известным методом (А.Н. Крылова). При этом метод РС показал свою надежность и вычислительную эффективность.
Литература
1. Свиридюк, Г.А. Задача Коши для линейного сингулярного уравнения типа Соболева / Г.А. Свиридюк //Дифференциальные уравнения. - 1987. - Т. 23, № 12. - С. 2169.
2. Свиридюк, Г.А. Разрешимость задачи термоконвекции вязкоупругой несжимаемой жидкости / Г.А. Свиридюк // Известия высших учебных заведений. Математика. - 1990. - № 12. -С. 65.
3. Свиридюк, Г.А. Численное решение систем уравнений леонтьевского типа / Г.А. Свиридюк, С.В. Брычев // Известия высших учебных заведений. Математика. - 2003. - № 8. - С. 46-52.
4. Садовничий, В.А. Замечание об одном новом методе вычислений собственных значений и собственных функций дискретных операторов / В.А. Садовничий, В.В. Дубровский // Тр. семинара им. И.Г. Петровского. - М. : МГУ, 1994. - Вып. 17. - С. 244-248.
5. Кадченко, С.И. Численный метод нахождения собственных значений дискретных полуог-раниченных снизу операторов / С.И. Кадченко, Л.С. Рязанова //Вестник ЮУрГУ. Серия «Математическое моделирование и программирование». - 2011. - Вып. 8, № 17 (234). - С. 46-51.
6. Кадченко, С.И. Численные методы нахождения собственных чисел и собственных функций возмущенных самосопряженных операторов / С.И. Кадченко, С.Н. Какушкин // Вестник ЮУрГУ. Серия «Математическое моделирование и программирование». - 2012. - Вып. 13, № 27 (286). - С. 45-57.
7. Кадченко, С.И. Вычисление значений собственных функций дискретных полуограниченных снизу операторов методом регуляризованных следов / С.И. Кадченко, С.Н. Какушкин // Вестник СамГУ. Естественнонаучная серия. - 2012. - № 6 (97). - С. 13-21.
8. Линь, Ц.Ц. Теория гидродинамической устойчивости /Ц.Ц. Линь. - М. : ИЛ, 1958. - 195 с.
9. Лойцянский, Л.Г. Механика жидкости и газа /Л.Г. Лойцянский. - М. : Наука, 1973. - 840 с.
10. Розе, Н. Г. Теоретическая гидромеханика / Н.Г. Розе, И.А. Кибель, Н.Е. Кочин. - М. : ТТЛ, 1937. - 584 с.
11. Кадченко, С.И. Новый метод вычисления собственных чисел возмущенных самосопряженных операторов: дис. ... д-ра физ.-мат. наук / С.И. Кадченко. - М., 2003.
Какушкин Сергей Николаевич, аспирант кафедры прикладной математики и вычислительной техники, Магнитогорский государственный университет (г. Магнитогорск); kakushkin-sergei @тай.ги.
Кадченко Сергей Иванович, д-р физ.-мат. наук, профессор, заведующий кафедрой прикладной математики и вычислительной техники, Магнитогорский государственный университет (г. Магнитогорск); [email protected].
Bulletin of the South Ural State University Series “Computer Technologies, Automatic Control, Radio Electronics”
2013, vol. 13, no. 3, pp. 30-36
MATHEMATICAL MODELING THE VALUES OF EIGENFUNCTIONS FINDING FOR ORR-SOMMERFELD’S PROBLEM OF HYDRODYNAMICAL STABILITY THEORY VIA THE METHOD OF REGULARIZED TRACES
S.N. Kakushkin, Magnitogorsk State University, Magnitogorsk, Russian Federation, kakushkin-sergei@mail. ru,
S.I. Kadchenko, Magnitogorsk State University, Magnitogorsk, Russian Federation, kadchenko@masu. ru
In this paper the mathematical model of computing the values of the eigenfunctions of the Orr-Sommerfeld’s operator. Using the method of regularized traces, we obtain simple formulas to find the values of the first eigenfunctions of the perturbed self-adjoint operators. The algorithms make it possible to calculate the values of the eigenfunction of the
perturbed operators matter known to the previous values of their eigenfunctions or not. We obtain estimates of residual sums of functional series “weighted” perturbation theory corrections discrete operators, and prove their convergence. For the numerical implementation of the method found effective algorithms for finding “weighted” perturbation theory corrections, which can be approximated using the sum of series of functions of Rayleigh-Schrodinger right amount of members. The numerical experiments computing the values of eigenfunctions of hydrodynamic stability theory show that the method is consistent with other known methods (A.N. Krylov and A.M. Danilevsky). The method of regularized traces showed its reliability and high efficiency.
Keywords: Orr-Sommerfeld’s problem, eigenvalues, eigenfunctions, perturbation theory, the method of regularized traces.
References
1. Sviridyuk G.A. The Cauchy Problem for a Singular Linear Equations of Sobolev Type [Zadacha Koshi dlya lineynogo singulyarnogo uravneniya tipa Soboleva]. Differentsial'nye uravneniya [Differential equation], 1987, vol. 23, no. 12, pp. 2169.
2. Sviridyuk G.A. Solubility of the Thermal Convection of Viscoelastic Incompressible Fluid [Ra-zreshimost' zadachi termokonvektsii vyazkouprugoy neszhimaemoy zhidkosti]. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [Proceedings of the higher education institutions. Mathematics], 1990, no. 12, p. 65.
3. Sviridyuk G.A., Brychev S.V.The Numerical Solution of Leontief Type Equation Systems [Chislennoe reshenie sistem uravneniy leont'evskogo tipa ]. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [Proceedings of the higher education institutions. Mathematics], 2003, no. 8, pp. 46-52.
4. Sadovnichiy V.A., Dubrovskiy V.V. Note on a New Method of Computing Eigenvalues and Eigenfunctions of the Discrete Operators [Zamechanie ob odnom novom metode vychisleniy sobstven-nykh znacheniy i sobstvennykh funktsiy diskretnykh operatorov]. Trudy seminara I.G. Petrovskogo [Proceedings of the Seminar I.G. Petrovsky], 1994, no. 17, pp. 244-248.
5. Kadchenko S.I., Ryazanova L.S. A Numerical Method for Finding the Eigenvalues of the Discrete Semi-bounded From Below Operators [Chislennyy metod nakhozhdeniya sobstvennykh znacheniy diskretnykh poluogranichennykh snizu operatorov] Bulletin of the South Ural State University. Series «Mathematical Modeling, Programming & Computer Software», 2011, vol. 8, no 17 (234), pp. 46-51. (in Rissian)
6. Kadchenko S.I., Kakushkin S.N. Numerical Methods for Finding the Eigenvalues and Eigenfunctions of the Perturbed Self-adjoint Operators [Chislennye metody nakhozhdeniya sobstvennykh chisel i sobstvennykh funktsiy vozmushchennykh samosopryazhennykh operatorov ]. Bulletin of the South Ural State University. Series «Mathematical Modeling, Programming & Computer Software», 2012, vol. 13, no. 27 (286), pp. 45-57. (in Russian)
7. Kadchenko S.I., Kakushkin S.N. The Calculation of the Natural Functions Values of Discrete Semi-bounded from below by the Regularized Traces Operators [Vychislenie znacheniy sobstvennykh funktsiy diskretnykh poluogranichennykh snizu operatorov metodom regulyarizovannykh sledov]. Vest-nik SamGU - Estestvennonauchnaya seriya [SSU Herald-Natural Science series], 2012, no. 6 (97), pp.13-21.
8. Lin' Ts.Ts. Teoriya gidrodinamicheskoy ustoychivosti [The Theory of Hydrodynamic Stability]. Moscow, 1958. 195 p.
9. Loytsyanskiy L.G. Mekhanika zhidkosti i gaza [Fluid Mechanics]. Moscow, 1973. 840 p.
10. Roze N.G. Teoreticheskaya gidromekhanika [Theoretical Fluid Mechanics ]. Moscow, 1937. 584 p.
11. Kadchenko S. I. Novyy metod vychisleniya sobstvennykh chisel vozmushchennykh samoso-pryazhennykh operatorov [A New Method for Calculating Eigenvalues of the Perturbed Self-adjoint Operators]. Moscow, 2003.
Поступила в редакцию 9 июня 2013 г.
