Вычислительные технологии
Том 13, Специальный выпуск 4, 2008
Метод вейвлет-Галеркина численного моделирования
тонкопроволочных антенн
Н. В. Бубнова
Поволжская государственная академия 'телекоммуникаций и информатики,
Самара, Россия e-mail: [email protected]
Problem of finding of the current distribution function and the directional diagram for a system of slender conductors is reduced to solution of an integral Fredholm equation of the first type. The Galerkin method based on spline wavelets is applied to solve the derived integral equation. Algorithms relying on properties of thesparse matrices and the results of numerical experiments are presented.
Введение
Вычислительные трудности решения интегральных уравнений в задачах электродинамики во многом обусловлены заполненностью матриц, возникающих при их дискретизации. Это приводит к огромному объему вычислений (особенно в многомерных задачах). Однако, как было показано в [1], в базисе из вейвлет-функций [2] большинство элементов матрицы системы линейных алгебраических уравнений (СЛАУ) оказываются очень малыми по абсолютной величине, т.е. она будет псевдоразреженной [3]. Использование этого факта позволяет существенно уменьшить объем вычислений и требования к оперативной памяти компьютера и открывает путь к созданию эффективных алгоритмов решения существенно многомерных задач.
В настоящей работе рассматривается применение метода вейвлет-Галеркина к системе электрически тонких проводников.
1. Сплайновые вейвлеты
Пусть [a, b] = [0,1], m — натуральное число ип^^^^^^^^е число, что 2no < 2m — 1 < 2«.o+i_ Рассмотрим семейство А = {An, п = п0, п0 + 1,...} разбиений отрезка [0,1] An : 0 = хП < x™ < ... < хП = 1 с постоянным шагом h = hn = 1/2n, На каждом из разбиений Дп рассмотрим пространство сплайнов Ln = S(An,m — 1,1). Тогда для каждого k > п0 пространство S (Ak ,m — 1,1) можно представить в виде прямой суммы Lk = Lno ф Wno+1 ф Wno+2 Ф ... Ф Wfc, где через Wk обозначено ортогональное дополнение пространства Lk-1 до пространетва Lk, Искомый вейвлет-базие будем строить как объединение базиса в Lno и всех базисов в проетранетвах Wn, n0 <п < k.
Вначале построим базис в ортогональном дополнении Wn простране тва Ln-1 до пространства Ln, Зафиксируем п > п0 + 1. В случае необходимости будем считать, что
© Институт вычислительных технологий Сибирского отделения Российской академии наук, 2008.
каждое из разбиений Дга продолжено с тем же шагом на всю числовую ось узлами ж™, —то < г < Нормализован ные В-сплайны та разб иении Дп будем обозначать
Зафиксируем некоторое целое г > 0, такое, что г + 2т — 1 < 2П—1, т.е. отрезок [ж™-1,ж™-21т—1] целиком содержится в [0,1], Будем искать функцию ^^(ж) € в виде
2г+3т—2
= ^ а.^т—(1) .=2г
Для того чтобы € достаточно потребовать выполнения условий
1,к,п—1)=0, к = г — т + 1, г — т + 2,..., г + 2т — 2, (2)
поскольку остальные условия ортогональности выполняются автоматически в силу дизъ-юнктности носителей.
Подставляя представление (1) в (2), получим однородную систему 3т — 2 уравнений с 3т — 1 неизвестными
2г+3т—2
у^ а.(Лт—№т—1,^,™—1) = 0, к = г — т + 1, г — т + 2,..., г + 2т — 2,
.=2г
которая всегда имеет нетривиальное решение. Находя это нетривиальное решение, получаем искомый набор коэффициентов и функцию "0г,га(ж) в виде (1), Из представления (1) и свойств В-сплайнов вытекает, что носитель вирр^,п) С [ж^,2], т.е. содержит 4т — 2 смежных частичных отрезка.
Таким образом, мы построили совокупность полуортогональных линейно независимых вейвлет {^г,™}, г = 0,1,..., 2П—1 — 2т + 1, Однако размерность ортогонального дополнения равна 2га— \ т. е. до базиеа в нам те хватает ровно 2(т — 1) функций. Построим недостающие вейвлет-функции. Для этого рассмотрим функции "0г,га(ж) при —2т + 2 < г < 2га—1 — 1 на расширенном разбиении Дга,
т — 1
—т
^(ж) = — ^ а.^(ж), —т +1 < г < — 1, (3)
.=—2т+2
из условий
(^г^Лт- 1,к,™—1) = 0, к = —т +1, —т + 2,..., —1, (4)
где скалярное произведение понимается в смысле Ь2[0,1],
Подставляя (3) в (4), получим систему линейных алгебраических уравнений
—т
У^ а. С0.7>, Лт— 1) = Лт—1,к,™—1), к = — т + 1, — т + 2,..., —1 (5)
.=—2т+2
для определения а. Решая данную систему, находим граничные вейвлеты. Тем самым
т — 1
т— 1
в виде
^,™(ж) = ^^„0+1,2"-!—2т—г+1(2га—гао—1(1 — ж)), 2га—1 — 2т + 2 < г < 2га—1 — т. (6)
Тем самым мы построили совокупность т—1 вейвлет-функций (6), Вместе с функциями (1) и (3) они образуют искомый базис в Шп, если 2п—1 > 2т — 1,
В качестве базиса в Ьпо выберем совокупность "усеченных" В-сплайнов
к,по
^т-1,л,пс, — т +1 < к < 2п0-1}.
(7)
Итак, совокупность функций (7) и (1), (3), (6) при п0 + 1 < п < к образует искомый вейвлет-базие в пространстве Ьк.
Замечание 1. Построение вейвлет-функций проводилось в случае [а, Ь] = [0,1]. Однако, очевидно, что на произвольном отрезке [а, Ь] соответствующую вейвлет-еиетему
х — а
можно получить из построенной с помощью линеинои замены х
рассмат-
Ь — а
ривая вейвлет-функции переменной х'. Поэтому в дальнейшем мы будем считать, что
[а, Ь]
2. Метод Бубнова—Галеркина для сингулярных интегральных уравнений
Рассмотрим интегральное уравнение Фредгольма второго рода
и(х) + К ^^^^¿у = / (х)
(8)
с заданной функцией / и неизвестной функцией и. Предположим, что уравнение (8)
/(х)
стапты С > 0 удовлетворяет оценкам
д1К (х,у)
дх^ду1
< С]—"—17) 0 < / < 4. |х — УГ
(9)
Рассмотрим для (8) метод Бубнова—Галеркина на базе построенных вейвлет-функ-ций степени т — 1, Зафиксируем некоторое натуральное число к > п0 а будем искать решение (8) в виде
2по -1
и
X ¿03 ф3,по + ^ X] ^
3,по+г
(10)
3=—т+1
г=1 3=-т+1
из условии ь ь
К (х,У)
2по -1
к—п0 2по+1-1-г
X ¿0 3 ф3,по (У) + X X С3 ^3,по+г(У)
3= —т+1 г=1 3=—т+1
Ф1,по (х)^у^х
/(х)фг,по(х)^х, —т +1 < I < 2по — 1,
к—по 2по+г-1—т
а а
ь
а
К (ж, у)
2по -1
к—по 2по+®-1 —т
X] ф>0 X ^.о+гЫ
.= —т+1
г=1 .=—т+1
/(ж)^1;П(ж)^ж, —т +1 < I < 2п 1 - т, п° + 1 < п < к.
(Н)
Совокупность условий (11) представляет собой систему линейных алгебраических уравнений с квадратной матрицей порядка 2к + т — 1, элементы которой имеют вид
ь ь ь
/ (ж)Фг,по+ / / К(ж,у)ф.;„о(у)Фг,по(ж)^Ыу,
ь ь
а а
ь ь
Для классических систем функций в методе Галеркина эти числа оказываются в основном ненулевыми и недостаточно малыми, чтобы ими можно было пренебречь и рассматривать СЛАУ (11) как разреженную, В [4] показано, что в случае вейвлет большинство элементов матрицы СЛАУ малы по абсолютной величине, В настоящей работе мы получим асимптотически точные оценки этих элементов в случае рассматриваемых сплайновых вейвлет.
Замечание 2. Здесь и далее мы будем рассматривать базисные вейвлет-функции, умноженные на нормирующие сомножители, т, е, сделаем для построенных ранее функций замены ^ чтобы эти базисные функции имели в Ь2[а, Ь] нормы порядка 0*(1).
Теорема. Найдется такая константа С > 0, не зависящая от к, что при — т+1 < I < 2п—1 — т, —т +1 < ] < 2п—1 — т, п° + 1 < п < к справедливы, оценки
ь ь
К (ж,
< О2—п(1 + — ^|)"
(12)
о при —т +1 < ] < 2п+5 \ 1 < 5 < к — п — оценки ь ь
К (ж,
< о2—(га+«(т+1/2))(1 + — ^/2в|)"
Точно такие же оценки справедливы при замене на, ф.,по или на фг,по-
а
а а
аа
аа
Доказательство. В дальнейшем константы, не зависящие от к (возможно различные!), будем обозначать одним символом С, Рассмотрим функцию
^>(х) = у К^^УФзМ^.
а
Пусть х € [хП,хП+1]. В силу аппроксимационных свойств пространств сплайнов [5], финитноети и оценок (9) найдется такая функция V(у) € Б(Дп-1,т — 1,1), что тах |К(х,у) — V(у)| < С(1 + Ц — г|)-т, Но ортогональна Б(Дп-1,ш — 1,1).
хШр рф]
Поэтому
ь ь
Кп(х)|</ IК(х,у) — V(y)||^i,n(y)|dy < С(1 + Ц — г|)-ту |^i>n(y)|dy <
аа
< С2-п/2(1 + Ц — г|)-т, х € [хП,хП+1]. (14)
Отсюда
K(x, y)^jtn(y)^i,n(x)dxdy
< lß3,n(xmi,n(x)ldx < C2-n(1 + |l - j|)-
и оценка (12) установлена. Оценка (13) устанавливается аналогично.
Теорема доказана, □
Из теоремы следует, что матрица системы (11) является псевдоразреженной, т.е. в ней очень много малых по модулю элементов.
3. Моделирование тонкопроволочных антенн
Рассматривается система вертикальных электрически тонких круглоцилиндричееких проводников (рис, 1), Задача состоит в отыскании функции распределения тока по проводникам при заданном возбуждении системы. Необходимо решить следующее уравнение Поклингтона:
Е{1) = [ i[uß0G{l, О - —d2^;Pl(l')]dl', (15)
J W60 dldl'
L
где
-ißR{l,V) ,-
G(l,l') = W) = yJ\r(l)-T(l')\2 + a?(l).
В уравнении (15) L — контур, образованный совокупностью осей проводников; l,l' —
координата, отсчитываемая вдоль L; E — заданная функция распределения стороннего
поля (z-еоетавляющая), возбуждающего систему; I — искомая функция распределения
осевого тока; G — функция Грина; r(l) — радиус-вектор точки на L; a(l) — радиус
\ п 2п ' 6п108
проводника в сечении /; ß = —— — волновое число; ш = —-— — круговая частота;
А А
Рис. 1. Система проводников
Л - длина волны; = 4п ■ 10-7 - магнитная постоянная; ее = 8.854 ■ 10-7 - электрическая постоянная. Один из проводников рассматривается в качестве активного вибратора. В среднем его сечении на контуре Ь выделяется короткий отрезок, на котором задается сторонний куеочпо-еипуеоидальпый ток (физически такой локальный источник соответствует зазору вибратора, к которому подключается фидер). Функция Е определяется по формуле
ЕЦ) = —30г
С(/, Ь) - 2сое + /2)
С целью удобства физической интерпретации при тестировании в качестве окончательной характеристики предлагается использовать диаграмму направленности (ДН) — функцию угловых сферических координат, описывающую распределение ноля излучения па сфере весьма большого радиуса (много большего размеров исследуемой системы) .
В данном случае ненормированная комн.иекспозпачпая ДН определяется но формуле
/(0,р) = вт 6 [ I(1)ехр{г0т(1)и(в,ф)}<1, (16)
где V — орт направления излучения.
Нормировка ДН выполняется к своему максимуму:
В конечном итоге практический интерес представляет амплитудная ДН Ат(^). Вычислительный эксперимент проводился па системе Уда—Яги с пятью проводниками одинакового радиуса (рис. 2). Длина волны 4 м. Вертикальные размеры проводников (слева направо): 2, 2, 1.8, 1.72 и 1.64 м. Абсциссы проводников: 0.4, 1, 1.8, 2.8 и 3.7 м.
Радиусы проводников 0.01 м. Второй проводник слева — активный вибратор с зазором 0.04 м. Вся система обладает зеркальной симметрией относительно плоскости г = 0.
Проведено несколько экспериментов на РЕХТШМ-4-1700, нацеленных на изучение точности решения уравнения (15) при различных значениях к. Точность решения определялась на основе сравнений различий в диаграммах направленности при различ-к
Выяснено, что для обеспечения приемлемого вида решения и диаграммы направленности необходимо, чтобы интегрирование производилось по разбиению из более чем 3000 точек. Меньшее число точек не обеспечивает достаточную точность интегриро-
к
(к < 9) добавляются дополнительные точки разбиения.
Рис. 2. Антенна Уда—Яги
а б
п
Рис. 3. Диаграммы направленности: при к = 6: а — 9 = —, б — </? = О
Таблица 1. Заполненность матрицы, %
к = 6 к = 7 к = 8 к = 9 к = 10 к = 11
85.4 57.9 32.2 16.8 8.8 5.1
Таблица 2. Время выполнения численного эксперимента, с
£ к = 6 к = 7 к = 8 к = 9 к = 10 к = 11
0.001 7 16 39 95 232 395
0 7 21 73 340 1080 4800
Похожая на правильную диаграмма направленности получается при минимальном значении k = 6, число отрезков 29 = 512, число точек в формуле Гаусса (p) 6, Время счета 4 с, размер матрицы 64 кбайт. Барьер (т, е, число, для которого любое число, меньшее его по модулю, считается равным 0) выбран 0,001, число ненулевых элементов 4107 (из 4761 элементов, т.е. 86%), При 7 < k < 11 диаграмма направленности существенным образом не меняется. Графики ДН приведены на рис, 3, Заполненность матрицы можно видеть в табл. 1,
Система линейных алгебраических уравнений решалась методом сопряженных градиентов (после симметризации). Время выполнения при различных барьерах представлено в табл. 2,
Список литературы
[1] Blatov I.A. On estimates of the inverse matrices elements for the Galerkin method for singular integral equation based oh the spline wavelets // Proc. Intern. Conf. on Comp. Math. P. II. Novosibirsk, 2002. P. 356-361.
[2] Добеши И. Десять лекций по вейвлетам. Ижевск: НИЦ "Регулярная и хаотическая динамика", 2001. 464 с.
[3] Блатов И.А. Об алгебрах операторов с псевдоразреженными матрицами и их приложениях // Сиб. мат. журн. 1996. Т. 37, № 1. С. 36-59.
[4] Beylkin G., Coifman R., Rochlin V. Fast wavelet transforms and numerical algorithms // Comm. Pure. Appl. Math. 1991. Vol. 44. P. 141-183.
[5] Завьялов Ю.С., Квасов Б.Н., Мирошниченко В.Л. Методы сплайн-функций. М.: Наука, 1981.
Поступим в редакцию 20 февраля 2008 г.