В работах [1, 2] был обоснован метод вычисления первых собственных чисел дискретного оператора. Суть метода состоит в следующем. В сепарабельном гильбертовом пространстве для оператора Т, являющегося дискретным и полуограниченным, зададим – собственные числа, – ортонормированные собственные функции. Предположим, P – ограниченный оператор в пространстве H, – собственные числа , . Пусть для выполняется , а для оператор – ядерный. Тогда для нахождения имеет место система [3]
(1)
где ; – круг комплексной плоскости с радиусом ; – резольвента оператора T; – поправки теории возмущений. В статье [4] была получена оценка чисел
. (2)
Для изучения упомянутых поправок выведены формулы
. (3)
Здесь , а .
Используя основную теорему о вычетах в случае полюса [5], найдем
, (4)
где l – число совпадений .
Формула (3) позволяет вычислять поправки теории возмущений любого порядка. Производные, входящие в (4), можно вычислять с помощью универсального алгоритма численного дифференцирования.
Представим явно несколько поправок
, ,
,
.
Цель исследования: разработать алгоритм нахождения методом регуляризованных следов собственных чисел прямой спектральной задачи. Сравнить полученные результаты вычисления собственных чисел методом РС с опубликованными примерами вычислений собственных чисел в научной литературе.
Материалы и методы исследования
Применим описанный метод в приложении к поставленной задаче
, (7)
(8)
где u(x) – скорость течения, β – комплексный параметр, λ – длина волнового возмущения, – волновое число, R – число Рейнольдса,
Uo – относительная скорость верхней плоскости, Uc – скорость между неподвижными плоскостями в средней части промежутка между ними.
Рассмотрим оператор F
,
который является обратным для оператора и находится при решении краевой задачи
Умножим слева уравнение (7) на оператор F и рассмотрим вспомогательную спектральную задачу
(9)
. (10)
Здесь ,
. Собственные функции задачи (7), (8) преобразуются к собственным функциям задачи (9), (10) с помощью , собственные числа которых равны. Для оператора P выполняется следующая оценка
, (11)
Собственные функции самосопряженной спектральной задачи
, (12)
(13)
запишутся в виде
,
где . Константы выбираются из условия нормировки собственных функций. Числа qn являются корнями трансцендентного уравнения
, (14)
а собственные числа мнимые и определяются по формулам
. (15)
В этом случае
(16)
.
Отметим, что для задачи Орра – Зоммерфельда числа qn, собственные функции Ωn и Vkm не зависят от числа Рейнольдса любых .
Лемма. Поправки теории возмущений краевой задачи (9), (10) вычисляются по формуле
,
где
. (17)
Используя лемму и систему нелинейных уравнений (1) для приближенного нахождения первых собственных чисел задачи Орра – Зоммерфельда (9), (10) можно представить в виде
. (18)
Каждое уравнений (18) записано приближенно с абсолютными погрешностями [6] , вычисляемыми по формулам
. (19)
Здесь . Для любых величины и , входящие в систему нелинейных уравнений (18), не содержат [7] числа Рейнольдса R, следовательно, для различных R можно использовать их значения для вычисления собственных чисел. Нужно принимать во внимание, чтобы при нахождении собственных чисел зависящая от R абсолютная ошибка имела предусмотренные пределы.
Сведем определение решений означенной системы уравнений (18) к вычислению корней многочлена порядка n0
. (20)
Здесь , , , sk – правые части уравнений (18). Для этого используем формулы Ньютона и теорию симметрических многочленов [8]. При вычислении коэффициентов многочлена f(β) абсолютные погрешности находятся по формулам
.
Сложив условную погрешность δu и безусловную погрешность δb, получим полную погрешность δp вычисления собственного числа β0. Безусловная погрешность δb вычисляется по формуле
.
Она связана с точностью нахождения коэффициентов многочлена (20). Условная погрешность δu определяется формулой Ньютона
.
Она равна разности между полученным решением и точным решением, взятой по модулю.
Количество собственных чисел n0, подлежащих определению при решении системы (1), должно быть минимальным и устанавливается неравенством . Для задачи Орра – Зоммерфельда оно имеет вид
.
При из (15) получим . Поэтому , и тогда
.
Для рассматриваемой задачи , значит .
Результаты исследования и их обсуждение
Применение предлагаемого метода для изучения течений с большими αR предусматривает нахождение высокого порядка по формулам (3) и определение корней многочлена большой степени (20), что можно осуществить численно. При численной реализации описанного алгоритма необходимо производить операции с действительными числами с большой мантиссой, что позволяет сделать среда математического пакета Maple.
Результаты некоторых численных расчетов вычисления первых собственных чисел спектральной задачи (7), (8) приведены в табл. 1, 2.
Таблица 1
Первые собственные числа R = 45, R = 65
n |
α = 0,1; U0 = 1; Uc = 1 |
|||
R = 45 |
R = 65 |
|||
βn |
δp |
βn |
δp |
|
1 |
0,3555 – 8,7723 i |
0,00016 |
0,3554 – 6,0741 i |
0,00012 |
2 |
0,4884 – 17,9481 i |
0,000043 |
0,4884 – 12,4256 i |
0,000030 |
3 |
0,5264 – 35,0894 i |
0,000023 |
0,5264 – 24,2924 i |
0,000019 |
4 |
0,5512 – 53,0490 i |
0,0000084 |
0,5512 – 36,7261 i |
0,0000058 |
5 |
0,5580 – 78,9545 i |
0,00000088 |
0,5580 – 54,6607 i |
0,00000064 |
Таблица 2
Первые собственные числа R = 500, R = 1000
n |
α = 0,1; U0 = 1; Uc = 0 |
|||
R = 500 |
R = 1000 |
|||
βn |
δp |
βn |
δp |
|
1 |
0,4977 –0,8322 i |
0,000029 |
0,4471 – 0,4799 i |
0,000022 |
2 |
0,5048 – 1,6019 i |
0,0000066 |
0,5935 – 0,7748 i |
0,0000035 |
3 |
0,4959 – 3,1523 i |
0,0000043 |
0,4322 – 1,5743 i |
0,0000023 |
Выводы
Проведенные многочисленные вычисления показывают высокую вычислительную эффективность нахождения значений первых собственных чисел оператора Орра – Зоммерфельда.