Вы находитесь на странице: 1из 9

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 2013 год, том 25, номер 4, стр.

65-73


УДК 519.632.4

ВЫЧИСЛИТЕЛЬНЫЕ ЭКСПЕРИМЕНТЫ
В ЗАДАЧЕ НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ
ДЛЯ ОПЕРАТОРА ЛАПЛАСА В МНОГОУГОЛЬНОЙ ОБЛАСТИ

© 2013 г. С.Д. Алгазин

Федеральное государственное бюджетное учреждение науки


Институт проблем механики им. А.Ю. Ишлинского РАН; algazinsd@mail.ru

Описывается методика численного вычисления собственных значений оператора Лапласа


в многоугольнике. В качестве примера рассмотрена L–образная область. Строится кон-
формное отображение круга на эту область при помощи интеграла Кристоффеля-Шварца.
В круге задача решается по ранее разработанной автором (совместно с К.И. Бабенко) ме-
тодике без насыщения. Вопрос состоит в том, применима ли эта методика к кусочно-глад-
ким границам (конформное отображение имеет на границе особенности). Проделанные
вычисления показывают, что можно вычислить около 5 собственных значений (для задачи
Неймана около 100 собственных значений) оператора Лапласа в этой области с двумя 
пятью знаками после запятой.

Ключевые слова: собственные значения оператора Лапласа, интеграл Кристоффеля-Швар-


ца, численный алгоритм насыщения.

COMPUTING EXPERIMENTS IN THE PROBLEM ON EIGENVALUES


FOR THE OPERATOR OF LAPLACE IN THE POLYGONAL DOMAIN

S.D. Algazin

Establishment of the Russian Academy of Sciences


Ishlinsky Institute of Problems of the Mechanics the Russian Academy of Sciences
algazinsd@mail.ru

The technique of a numerical evaluation of eigenvalues of an operator of Laplace in a polygon is


described. As an example it is considered Lfigurative area. The circle conformal mapping on
this area by means of an integral of Christoffel-Schwarz is under construction. In a circle the
problem dares on earlier developed by the author (together with K.I. Babenko) a technique with-
out saturation. The problem consists in, whether this technique to piecewise smooth boundaries
(the conformal mapping has on singularity boundary) is applicable. The done evaluations show
that it is possible to calculate about 5 eigenvalues (for a problem of Neumann about 100 eigen-
values) an operator of Laplace in this area with two-five signs after a comma.

Key words: eingenvalues of an operator of Laplace, an integral of Christoffer-Schwarz, numeri-


cal algorithm without saturation.

3 Математическое моделирование, №4
66 С.Д. Алгазин

1. Введение
В этой работе разработаны практические алгоритмы для трёх классических спек-
тральных и краевых задач: Дирихле, Неймана и смешанной для оператора Лапласа в об-
ласти с кусочно-гладкой границей. Для дискретизации названных выше задач использу-
ется глобальная интерполяционная формула для функции двух переменных в круге. За-
дачи для уравнения Лапласа, рассматриваемые в одноcвязной области Г с кусочно-глад-
кой границей Г, конформным отображением задачи сводятся к кругу. Причём в опи-
санных ниже алгоритмах конформное отображение круга на многоугольник вычисляется
по методике [1]. Отметим, что для численного построения конформного отображения
круга на многоугольник интегралом Кристоффеля-Шварца имеются надёжные алгорит-
мы1. Классические методы  разностный и метод конечных элементов  приводят к раз-
реженной матрице дискретной задачи, что является большим достоинством этих мето-
дов. Рассматриваемые ниже двумерные алгоритмы приводят к полностью заполненным
матрицам. Однако внимательный анализ структуры матрицы конечномерной задачи по-
зволяет довести эти алгоритмы до высокого совершенства. Оказывается, что можно за-
табулировать громоздкие вычисления в таблицах небольшого размера. В таком случае
описанные алгоритмы можно трактовать как расшифровывающие алгоритмы, которые,
используя начальные данные в виде таблиц небольшого объёма, строят матрицу дис-
кретной задачи. Далее, если рассматривается задача на собственные значения, то остаёт-
ся вычислить у построенной матрицы собственные значения. Если же требуется при-
ближённо решить уравнение Пуассона, то оказывается, что это можно экономно сделать
в двумерной и некоторых трёхмерных областях [2].
2. Интерполяционная формула для функции двух переменных в круге и её свойства
Для того чтобы построить дискретизацию, обладающую нужными свойствами (не
имеющую насыщения), применяется интерполяционная формула К.И. Бабенко для
функции двух переменных в круге [3, с.211-212]. Свойства этой интерполяционной
формулы таковы, что скорость убывания её погрешности с ростом числа узлов интерпо-
ляции тем выше, чем большим условиям гладкости удовлетворяет интерполируемая
функция. Другими словами, построенная дискретизация не имеет насыщения.
Выберем в круге || сетку, состоящую из узлов l=rexp(il), r=cos((21)/
/4/m), =1,2,…,m,  l=2 l/N, N=2n+1, l=0,1,…,2n, т.е. в круге выбирается m окружностей
с радиусами r , =1,2,…,m, а на каждой окружности через равные углы  выбирает-
ся N точек. Здесь r , =1,2,…,m – положительные нули многочлена Чебышева T2m чёт-
ной степени 2m. Всего в круге выбирается M=mN узлов. По этим узлам построим интер-
поляционную формулу вида
2n m
( PM f )( r, )    f l L l ( r, ), (1)
l  0 1

2T2 m ( r )  Dn (   l ) Dn (   l  ) 
Lvl ( r, )    ,
NT2' m ( r )  r  r r  r 
1
Последняя версия Комплекта инструментов SC доступна по Сети в http://www.math.udel.edu/
driscoll/SC
Вычислительные эксперименты в задаче на собственные значения … 67

n
Dn ( )  0.5   cos k , Tm ( r )  cos(m arccos r ).
k 1

Здесь Dn()  ядро Дирихле, Tm(r)  многочлен Чебышева степени m. Суть этой интерпо-
ляции состоит в том, что на диаметре круга для рассматриваемой функции применяется
интерполяционный многочлен Лагранжа с узлами в нулях полинома Чебышева степени
2m, а по  применяется интерполяция тригонометрическим многочленом степени n. Ни-
же часто вместо двух индексов, нумерующих узлы интерполяции, будет применяться
один. В этом случае узлы интерполяции нумеруются, начиная с первой окружности
(=1) против часовой стрелки (l=0,1,…,2n).
Интерполяционная формула (1) обладает нужными свойствами. Действительно,
формула (1) точна на многочленах от двух переменных степени =min(n,m1). Обозна-
чим множество этих многочленов P, а E наилучшее приближение функции fC[D] (D
– единичный круг) многочленом из P . Тогда определён проектор PM: C[D]LM,
LM=L(L1,…, LM)2 и справедливо классическое неравенство:

| f ( r, )  ( PM f )( r , ) | (1 | PM |  ) E  ( f ), (2)

в котором |PM|  норма проектора PM. Так же, как в одномерном случае, неравенство (2)
показывает, что соответствующая интерполяционная формула не имеет насыщения.
Норма проектора PM удовлетворяет соотношению |PM|=O(ln2M), причём не составляет
труда уточнить эту оценку; медленный рост нормы |PM| особенно важен для бигармо-
нического уравнения.
Делая некоторые предположения о гладкости класса интерполируемых функций,
можно оценить скорость убывания наилучшего приближения E при M и получить
конкретные оценки погрешности интерполяционной формулы (1).
Пусть f(r,)=(PM f)(r,) +M(r,;f), где M(r,;f)  погрешность интерполяционной
формулы (1) (остаток). Тогда справедлива следующая теорема К.И. Бабенко [3, с.212]3.
Теорема 1. Рассмотрим класс функций H M ( K ; D )  C ( D ), удовлетворяющих в
 k l f
круге D условиям  K , k  l  , тогда, если f H M ( K ; D) , то
x k y l

|  M  . ; f  |  c K M  /2 log 2 M , (3)

где c  константа, зависящая от .


Таким образом, из рассмотрения формулы (3) видно, что при одинаковом числе уз-
лов интерполяции M скорость убывания погрешности интерполяционной формулы (1)
возрастает с ростом , т.е. с ростом гладкости интерполируемой функции f. Это означа-
ет, что полученная интерполяционная формула не имеет насыщения.

2
L(L1,…, LM)  линейная оболочка над фундаментальными функциями интерполяции: L1,…, LM.
3
Это утверждение сформулировано К.И. Бабенко в виде задачи (без доказательства) в первом
издании книги [3]. В настоящей работе утверждение сформулировано в виде теоремы К.И. Ба-
бенко.

3*
68 С.Д. Алгазин

3. Дискретизация оператора Лапласа


В произвольной области ГR2 с достаточно гладкой границей Г рассмотрим зада-
чи: (4), (5); (4), (6); (4), (7):

 u  z   f  z   0, zГ , (4)

u |Г  0 , (5)

u
 0, (6)
n 

u
au   0. (7)
n 

Здесь функция f(z) либо задана, либо f(z)=[q(z)+p(z)]u(z), где q(z) и p(z) – заданные
функции, и в этом случае имеем задачу на собственные значения для оператора Лапласа;
а – заданная на границе Г функция; n – единичный вектор внешней нормали к Г.
Пусть z= ||  конформное отображение единичного круга на область Г, тогда в
плоскости  формально получаем те же соотношения (4)  (7), где, однако, вместо u(z) и
f(z) следует писать u()=u(z()) и ||2f(z()), а вместо а ()  a ( z (ei )) | (ei ) | .
1 
Обозначим через K (, )   ln | (1   ) / (  ) | функцию Грина оператора Лап-
2
ласа в круге с краевым условием Дирихле. Из (4) имеем
2
u ( )    K (, ) | () | 2 [q()  p()]u()d    K 0 (, )()d ,
||1 0
(8)
2
1 
K 0 (, )  2
,    e i .
2(1    2 cos(  ))

Здесь ψ(θ)  значение u на границе. Для задачи Дирихле ψ(θ)=0, а для остальных задач
должна быть выбрана с учётом краевого условия. [2].
Подставим соотношение (4) для функции F()=||2f(), =rexp(i) в (8) и, прове-
дя аналитические вычисления интегралов, получим

2n m
u (  )    H  l (  ) z  l f  l  RM (  , F ) , (9)
l  0 1

RM (; F )    K (, ) M ( ; F ) d  , (10)


||1

H l (  )    K (, ) Ll ( )d ,   r exp(i ). (11)


||1
Вычислительные эксперименты в задаче на собственные значения … 69

Если  в (9) пробегает узлы интерполяции, то получаем конечномерную задачу вида

u  HZf  R . (12)

Здесь u – вектор–столбец, компоненты которого содержат значения искомого решения


(собственной функции) в узлах сетки; H – матрица размера M×M, получаемая из соот-
ношения (11), когда  пробегает узлы сетки; Z  диагональная матрица с числами z l ,
=1,2,…,m; l=0,1,…,2n на диагонали (см. выше); f  либо заданный вектор-столбец, ком-
поненты которого содержат значения соответствующей функции в узлах сетки, либо
f=(Q+P)u, где Q и P – диагональные матрицы, содержащие на диагонали значения со-
ответствующих функций в узлах сетки; в последнем случае имеем задачу на собствен-
ные значения; R  вектор погрешности дискретизации, содержащий значения функции
R M (;F ) (см. (10)) в узлах сетки. Отбрасывая в (12) погрешность дискретизации R, по-
лучаем приближённую конечномерную задачу. Возмущение, вносимое в собственное
значение отбрасыванием погрешности дискретизации, можно оценить по методике, опи-
санной в [2]. Оценка точности решения уравнения Пуассона только абсолютной кон-
стантой отличается от (3).
4. Вычислительные эксперименты
Рассматривается L–образная область (рис.1).

Рис.1.

Результаты вычислений прообразов вершин в круге по методике [1] приведены в табл.1.

Таблица 1.
vertex alpha prevertex arg/pi
0.00000 + 1.00000i 0.50000 0.83684 + 0.54744i 0.184399349354
-1.00000 + 1.00000i 0.50000 0.78821 + 0.61540i 0.211005533366
-1.00000 - 1.00000i 0.50000 -1.00000 + 0.00000i 0.999999999908
1.00000 - 1.00000i 0.50000 0.78821 - 0.61540i 1.788994466509
1.00000 + 0.00000i 0.50000 0.83684 - 0.54744i 1.815600650489
0.00000 + 0.00000i 1.50000 1.00000 + 0.00000i 2.000000000000

Conformal center at -0.5000 - 0.5000i;


c = 0.46215045 + 0.46215045i Apparent accuracy = 3.07e-008
70 С.Д. Алгазин

Пояснения к табл.1 см. ниже, пункт 4.2.


Ортогональная сетка приведена на рис.2.

Рис.2.

4.1. Отображение Шварца-Кристоффеля. Основная формула Шварца-Кристоф-


феля позволяет построить конформное отображение f комплексной верхней полуплоско-
сти (каноническая область) на внутренность многоугольника (физическая область). У
"многоугольника" могут быть трещины или вершины в бесконечности. Его вершины
обозначены w1,…, wn и числа α1π,…,αnπ  внутренние углы в вершинах. Прообразы вер-
шин, или предварительные вершины, действительны и обозначены z1,…,zn. Они удовле-
творяют неравенству:

z1  z2  ...  zn   .

Если вершина wj конечна, 0   j  2 . Если wj бесконечно, 2   j  0 . Необходимое ог-


раничение это

n
j  n  2.
j 1

По существу это означает, что полный поворот 2π.


Формула Шварца-Кристоффеля для отображения f

z n 1
 j 1
f ( z )  f ( z0 )  c   (   z j ) d .
z0 j 1

Главная практическая трудность с этой формулой состоит в том, что только в част-
ных случаях предварительные вершины zj могут быть вычислены аналитически. По-
скольку у преобразований Мебиуса есть три степени свободы, три из предварительных
вершин, включая уже фиксированную zn, могут быть выбранными произвольно. Остаю-
щиеся (n–3) предварительных вершины тогда определены единственным образом и мо-
гут быть получены решением системы нелинейных уравнений. Это известно как задача
о параметре Шварца-Кристоффеля, и ее решение  первый шаг в любом отображении
Вычислительные эксперименты в задаче на собственные значения … 71

Шварца-Кристоффеля. Как только задача параметра решена, может быть найдена муль-
типликативная постоянная c и могут быть вычислены f и его инверсия (обратное ото-
бражение).
Возможно много модификаций основной формулы Шварца-Кристоффеля. Напри-
мер, если фундаментальная область  единичный круг, а не верхняя полуплоскость,
предварительные вершины zj расположены на единичном круге против часовой стрелки,
и получающаяся формула идентична за исключением того, что у произведения есть n
членов, а не n1. Другие изменения формулы отображают полосу 0 ≤ Im z ≤ 1 или пря-
моугольник. Эти два изменения особенно важны, когда целевая область очень удлинена
в одном направлении.
Есть еще другая разновидность  внешнее отображение, в котором фундаменталь-
ная область  единичный круг, и целевая область  множество внешних точек много-
угольника. В этом случае у подынтегрального выражения есть дополнительная особен-
ность во внутренности круга. Тогда только одна предварительная вершина может быть
выбрана произвольно.
4.2. Результаты расчётов. Для рассматриваемого случая конформного отображе-
ния круга на L-образную область:

2
2 c r 2  2 Re z  1
f ( z )  , r | z | , c и zj , j=1,2, …,5
5
r 2 2
 2 Re( z j z )  | z j |
j 1

приведены в табл.1 (prevertex). Расчёты проводились на сетках 9×21; 13×29 и 15×31,


20×41, 30×41. Результаты расчётов спектра задачи Дирихле, смешанной задачи и задачи
Неймана представлены в табл.2,3 и 4,5.

Таблица 2. Задача Дирихле u   0, i , i  1,2,...,5.


i 9×21 13×29 15×31
1 3.010995 3.06949 3.07455
2 3.516978 3.68429 3.72453
3 4.039762 4.16252 4.20417
4 5.182166 5.20029 5.21127
5 5.563178 5.50612 5.56601

u
Таблица 3. Смешанная задача u   0, i , i  1,2,...,5.
n 

i 9×21 13×29 15×31


1 1.370138 1.403374 1.369984
2 1.848781 1.916161 1.931273
3 2.398094 2.439161 2.473559
4 3.617647 3.532214 3.593342
5 3.725788 3.635840 3.678646
72 С.Д. Алгазин

u
Таблица 4. Задача Неймана  0,  i , i  2,3,...,6.
n 

i 9×21 13×29 15×31


2 1.029578 1.069067 1.186206
3 1.774020 1.795943 1.862299
4 3.218832 3.101490 3.186751
5 3.352666 3.253050 3.278788
6 4.315531 4.169957 4.059289

u
Таблица 5. Задача Неймана  0, i , i  2,3,...,100.
n 

i 9×21 13×29 15×31 20×41 30×41


2 1.029697 1.069063 1.186191 1.274581 1.274571
3 1.774435 1.795940 1.862266 1.930056 1.930048
4 3.220267 3.101155 3.186634 3.211864 3.211860
5 3.354595 3.253143 3.278650 3.275811 3.275806
6 4.315501 4.169972 4.059282 3.924559 3.924460
10 6.203102 6.040525 6.245763 5.999534 5.999541
20 9.859042 9.610762 9.602040 9.222581 9.222641
40 15.942992 14.915758 14.697708 14.150585 14.150657
60 22.299347 19.529531 19.152386 18.292192 18.276143
100 35.780509 27.643100 27.321338 25.204997 25.144150

Результаты расчётов по методике, основанной на вариационном принципе и той же ин-


терполяционной формуле К.И. Бабенко (1), см. в [4,5]. В [4] приводится текст программы.
Примечание. Матрица дискретной задачи для расчётов в табл.2–4 полностью за-
полненная, но содержит h-матрицу H, которая содержит много повторяющихся элемен-
тов [2]. Кроме того, эта матрица близка к симметризуемой [2, с.42]. Матрица дискретной
задачи для расчётов в табл.5 сводится к симметричной. Для вычисления собственных
значений этих матриц использовались подпрограммы пакета EISPACK, которые доступ-
ны по ссылке htpp://www.netlib.org/eispack/.
4.3. Сравнение с методом конечных элементов. Проводилось сравнение вычис-
ления собственных значений задачи Неймана с методом конечных элементов. Расчёты
методом конечных элементов выполнены И.М. Ловитом, за что автор выражает ему ис-
крению благодарность. Выбирались прямоугольные конечные элементы (N=40 конеч-
ных элементов, это примерно 1200 узловых переменных). Результаты расчётов приведе-
ны в табл.6.
Таблица 6. Численное решение задачи Неймана методом конечных элементов (значения k )
N k 1 k 2 k 3 k 4 k 5 k 6
10 1.164962·10-6 1.226517 1.888532 3.193492 3.193492 3.423972
20 2.185142·10-6 1.218848 1.882078 3.154527 3.154527 3.387091
30 3.096145·10-6 1.217007 1.880872 3.147338 3.147338 3.380278
40 4.762057·10-6 1.216239 1.880449 3.144823 3.144823 3.377895
Вычислительные эксперименты в задаче на собственные значения … 73

5. Выводы
Как видно из рассмотрения табл.2-6, надёжно с двумя-тремя знаками после запятой
могут быть вычислены первые 6 собственных значений (для задачи Неймана первые 100
собственных значений с 2-5 знаками после запятой). Таким образом, описанная в [2] ме-
тодика вычисления собственных чисел оператора Лапласа применима к областям с ку-
сочно-гладкой границей. Сравнение с методом конечных элементов показывает, что при
вычислении первых шести собственных значений точность предложенной методики
выше, чем у метода конечных элементов (сравни последнюю колонку табл.5 и послед-
нею строку табл.6). Преимущество предлагаемого подхода также в его универсальности.
В предлагаемом подходе для рассмотрения другой области достаточно заменить подпро-
грамму, вычисляющую | f ( z ) |2 (в [6] это подпрограмма MOD2_L). Для метода конеч-
ных элементов нужно строить для каждой области своё разбиение на конечные элемен-
ты, т.е. писать новую программу. Итак, численные алгоритмы без насыщения [2], идеи
которых заложены К.И. Бабенко [3], применимы для названной выше задачи о вычисле-
нии собственных значений оператора Лапласа в многоугольной области и дают доста-
точную для потребности практики точность.

СПИСОК ЛИТЕРАТУРЫ

1. T.A. Driscoll and L.N. Trefethen. Schwarz-Christoffel Mapping. Cambridge University Press, Cam-
bridge, UK, 2002.
2. С.Д. Алгазин. Численные алгоритмы классической математической физики. – М.: Диалог-
МИФИ, 2010, 240 с.
3. К.И. Бабенко. Основы численного анализа. – М.: Наука, 1986, 744 с.; 2-е изд., испр. и доп. /
Под ред. А.Д. Брюно.  М.; Ижевск: РХД, 2002, 847 с.
4. С.Д. Алгазин. Численные алгоритмы классической математической физики. XI. О вычисле-
нии собственных значений уравнения переноса. – М.: 2006, 16 с. (препр. ИПМех; № 801).
5. С.Д. Алгазин. О вычислении собственных значений уравнения переноса // ПМТФ, 2004, т.45,
№4, с.107-113.
6. С.Д. Алгазин. Численные алгоритмы классической матфизики. XXX. Вычисление собствен-
ных значений оператора Лапласа в многоугольной области. – М.: 2011, 16 с. (препр. ИПМех;
№970).

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