книги из ГПНТБ / Амитей Н. Теория и анализ фазированных антенных решеток
.pdfМетоды, решения |
111 |
Вкачестве примера рассмотрим использование этого подхода
крешению задачи о решетке, изображенной на рис. 3.4. Предполо жим, что волноводы возбуждаются ТЕМ волнами и решетка скани рует в плоскости Е. Задача ставится так, что неизвестной функци
ей является поле Е х, которое имеет особенности вида (х + а!2)-1/3
12
Рпс. 3.4. Решетка пз волноводов с острыми кромками.
при + а /2. Для выделения сингулярной части запишем поле в апер туре в виде
Ех ( х ) = А 1[ х - ± ) _1/з + А 2(* + ± ) “1/з+ §х (х), |
(52) |
где А ± к А 2— неизвестные коэффициенты, а %х (х) — гладкая функция, которую можно аппроксимировать конечной суммой волноводных мод Фп (х). Таким образом,
Ех (х) ~ Ai |
+ 2 |
(52а) |
|
9 = 1 |
|
Это выражение подставляем в интегральное уравнение и вы числяем моменты для получения системы линейных алгебраичес ких уравнений. При этом интегрирование первых двух слагаемых в выражении (52а) вместе с ядром интегрального уравнения чаще всего проводится численно. Поскольку третье слагаемое является разложением гладкой функции, может потребоваться немного чле нов этого разложения. В результате можно получить хорошие результаты при значительно меньшем числе учитываемых гармо ник, чем при решении без выделения сингулярной части. Однако вычисление элементов матрицы может вызвать больше трудно стей, так как при использовании выражения (52а) необходимо выполнять численное интегрирование. Это обстоятельство необ ходимо взвесить по отношению к сокращению размера матрицы для сравнения двух изложенных нами возможностей.
112 Глава 3
5. ПРОВЕРКА ПРАВИЛЬНОСТИ РЕШЕНИЯ
Численное решение фпзпческпх задач часто связано с рядом математических приближений. Перевод математических формул в вычислительные алгоритмы иногда оказывается весьма слож ным. Кроме того, вычислительные машины являются пассивными устройствами, следующими лишь указаниям программиста. Все это приводит к необходимости иметь методы коптроля вычислений, чтобы иметь уверенность в корректности и точности пайдепных решений. Для этой цели рекомендуется применять следующие методы [S, 19]: принцип взаимности [6], закон сохранения энергии [21], проверку сходимости, использование различных базисов [19], сравнение с результатами других методов [14], выполнение гра
ничных |
условий [11, 17], экспериментальное подтверждение |
|
[14, |
19, |
20]. |
Ниже мы обсудим достоинства и недостатки каждого метода контроля. Следует отметить, что очень часто вычислительные про граммы составляются для широкого диапазона исходных пара метров. В этом одно из главных преимуществ использования вычис лительных машпн. Методы же контроля применимы лишь в огра ниченной области исходных параметров, поэтому никакой метод контроля не может дать полной уверенности в правильности реше ния и следует использовать несколько методов проверки, чтобы удостовериться в истинности результатов.
5.1. Принцип взаимности
Как было показано, решение системы линейных уравнений, полученной из интегрального уравнения, точно удовлетворяет принципу взаимности независимо оттого, пасколько приближен ным является это решение. Следовательно, взаимность является необходимым, но не достаточным условпем, которому должно удов летворять найденное решение. Тем не менее соотношение взаимно сти оказывается полезным средством контроля на ранних стадиях вычислений как грубый критерий адекватности алгоритма и до пустимости ошибок округления. Такой контроль выполняется сравнительно легко и поэтому является желательным.
5.2. Закон сохранения энергии
По закону сохранения энергия, падающая на пассивное рассеи вающее устройство, должна равняться полной энергии, переноси мой отраженными волнами. В ФАР мощность возбуждающего типа волны превращается в мощность различных распростра няющихся волн, существующих внутри и вне элементов решетки. На первый взгляд может показаться, что численное решение,
Методы решения |
113 |
удовлетворяющее закону сохранения энергии, является верным. Однако, из-за того что при расчете мощности принимаются во вни мание только амплитуды модальных коэффициентов (без учета фазовых соотношений), это требование оказывается недостаточно строгим. Существует много путей распределения мощности падаю щей волны по рассеянным волнам, в то время как полная мощность будет сохраняться неизменной. Это означает, что мощности отдель ных типов волн могут быть рассчитаны неверно, а сумма этих мощ ностей все же будет равна мощности падающей волны.
Достоинство метода Рнтца — Галеркина состоит в том, что в решениях автоматически выполняется закон сохранения энергии. Доказательство этого положения приведено в приложении 1 к дан ной главе. Как и принцип взаимности, закон сохранения энергии может служить лишь в качестве необходимого контроля грубых ошибок в программе. Его нельзя использовать как меру коррект ности и точности решения.
5.3. Проверка сходимости
При построении приближенного решения интегрального урав нения с помощью конечного числа членов в разложении неизвест ной функции первый шаг проверки решения состоит в определении числа членов, которое необходимо для удовлетворительной точно сти. Для этого систематически и постепенно увеличивается число гармоник и при этом проверяется сходимость решения. Решение интегрального уравнения обычно дает распределение поля (или токов) в апертуре. Хотя распределение поля представляет большой интерес, для инженерных целей важнее другие связанные с рас пределением поля в апертуре величины, такие, как входное сопро тивление и поперечное сечение рассеяния. Эти величины можно найти как скалярное произведение или результат усреднения реше ний. Таким образом, сходимость этих средних величин часто пред ставляет основной интерес.
Характер сходимости решений или средних величин от реше ний зависит от свойств оператора и базиса приближенного реше ния. В задачах, где фигурируют волны только одного типа (ТЕ или ТМ), сходимость обычно оказывается монотонной. Это связано с тем, что модальные сопротивления (или проводимости) высших
типов волн |
являются монотонными функциями индекса моды. |
|
В более общих случаях, когда имеются ТЕ- и |
ТМ-волны, |
|
сходимость |
обычно представляется осциллирующей |
функцией |
(ио с уменьшающейся амплитудой). Напомним, что с увеличением числа учитываемых гармоник растет порядок матрицы. В результа те сильно увеличиваются объем используемой памяти ЭВМ и за траты машинного времени. Число операций, необходимое для обра щения матрицы размером п X п пропорционально 7г3. Таким обра-
8 - 0 1 6 8
114 |
Глава 3 |
зом, увеличение порядка |
обращаемой матрицы может привести |
к большим ошибкам округления.
Для проверки рекомендуется брать диапазон параметров зада чи как можно шире. Число гармоник базиса должно увеличиваться до тех пор, пока рост этого числа будет вызывать малые изменения интересующих величин. Степень допустимых изменений опреде ляется желаемой точностью (это могут быть доли процента или несколько процентов). На практике часто требуется включить в рассмотрение большое число параметров задачи. Тогда время вычислений становится важным фактором. Для инженерных задач достаточна точность в несколько процентов. Поэтому целесообраз но выбирать порядок матрицы исходя из инженерной точности. Однако для уверенности в том, что эта точность достигается рав номерно в диапазоне параметров задачи, следует провести выбо рочный контроль вычислений. Если это возможно, то надо уде лить особое внимание тем значениям параметров, при которых наблюдаются резкие изменения расчетных результатов.
5.4. Использование различных базисов
Как говорилось выше, скорость сходимости решения зависит от выбранной системы базисных функций. Если эта система вклю чает как можно больше независимых свойств решения, можно надеяться, что для получения хорошего результата потребуется небольшое число функций. С точки зрения выяснения правильно сти решения надо взять два существенно разных базиса и, если ре зультаты будут близки, можно считать, что оба приближения удов летворительны. Чем сильнее различаются базисы, тем больше вероятность правильности решения при совпадении результатов. Единственным недостатком этого способа контроля является необходимость дважды решить задачу при выборе алгоритма и со ставлении программы, что увеличивает время, затрачиваемое на решение задачи.
5.5. Сравнение с результатами других методов
В ряде случаев рассматриваемая задача для определенного набора параметров может быть эквивалентна задаче, для которой известны точные решения [15, 24, 25]. В качестве примера рассмот рим решетку из параллельных пластин, сканирующую в плоско сти Е. Если угол сканирования равен нулю, задачу методом зер кальных изображений можно, очевидно, свести к задаче о стыке двух волноводов из параллельных пластин, которая решается раз ными методами [28]. Следовательно, имеется много результатов для сравнения. Аналогично при сканировании той же решетки в плоскости Н при значении управляющей фазыф = л задача сво
Методы решения |
115 |
дится к задаче о скачкообразном расширении плоскопараллельыого волновода в плоскости Н. Такая задача также решена разными методами [28] и пригодна для сравнения. Другие случаи, допус кающие сравнительный контроль, относятся к решеткам из волно водов с диэлектриком. При диэлектрической проницаемости, рав ной 1, должны вновь получаться результаты для решетки без диэлектрика.
Задачу рассеяния электромагнитных волн во внешней области можно решать так, что рассеивающие тела произвольной формы будут рассматриваться в единой формулировке задачи. Форма рас сеивающего тела будет вводиться в программу как исходный пара метр. Для ряда тел (таких, как цилиндр, сфера, сфероид) известны точные аналитические решения. Эти решения могут играть роль тестов для численных решений. Итак, специальный подбор началь ных данных позволяет иногда сравнивать решения, полученные разными методами. В таких случаях можно сделать независимую проверку результатов для этих особых начальных данных.
5.6.Выполнение граничных условий
Взадачах анализа ФАР и в задачах о неоднородностях в волно водах можно вывести интегральные уравнения для тангенциаль ных составляющих электрического и магнитного поля. Решение одного из уравнений позволяет найти одну неизвестную функцию. Другая неизвестная функция определяется с помощью уравнений Максвелла. Решения для двух областей пространства должны удовлетворять условию непрерывности на границе раздела. Степень точности, с которой удовлетворяется условие непрерыв ности, может служить критерием правильности решения [11, 17]. В общем случае трудно найти прямую связь между степенью удовлетворения граничного условия и точностью вычисления какой-нибудь характеристики решетки, например коэффициента отражения. Поэтому ценность этого способа проверки правиль ности решения обычно невысока.
5.7.Экспериментальное подтверждение
Прямым методом проверки является сравнение расчетных и эк спериментальных результатов. Для задач рассеяния можно изго товить отражающие объекты требуемой формы. В случае анализа бесконечных ФАР можно использовать волноводные модели, одна ко для ограниченного числа значений углов сканирования. Это дает возможность лишь для выборочной проверки.
Другой путь состоит в том, чтобы изготовить решетку больших размеров и измерить взаимную связь между элементами и диаграм му направленности элемента в решетке. Затем по измеренным зна-
8*
116 |
Глава 3 |
ченпям коэффициентов взаимной связи на основе линейной супер позиции можно рассчитать на ЭВМ зависимость коэффициентов отражения от угла сканирования. При таком моделировании диапазон углов сканирования не ограничен. В результате получа ем смешанный расчетно-экспериментальный способ проверки реше ния, который обходится гораздо дешевле чем экспериментальное исследование большой ФАР.
5.8. Другие способы контроля
При некоторых условиях одну и ту же ФАР можно рассматри вать как решетку с прямоугольной сеткой расположения эле ментов п как решетку с треугольной сеткой расположения элемен тов. Примеры таких ситуаций приведены в гл. 5 и 7. В этих усло виях решения для двух математических моделей одной решетки должны давать одинаковые результаты. Это факт можно использо вать для контроля вычислительных алгоритмов.
Для целей контроля можно использовать симметрию геомет рии решетки. Допустим, в определенных плоскостях сканирования, например в Е- пЛ-плоскостях, геометрия решетки такова, что опре деленный тип волны не возбуждается. Подтверждение этого факта при численном решении может служить некоторым указанием на правильность алгоритма и программы.
6. КАНОНИЧЕСКОЕ ФУНКЦИОНАЛЬНО-ТЕОРЕТИЧЕСКОЕ РЕШЕНИЕ
До сих пор мы рассматривали приближенные решения инте гральных уравнений, основанные на методе моментов. Это связано с тем, что задачи анализа ФАР слишком сложны, чтобы можно было применять чисто аналитические методы. Однако существует такая модель решетки, для которой при определенной идеализации возможно точное решение либо функционально-теоретическим методом [23, 24], либо методом Винера — Хопфа [25, 26]. Ниже мы кратко опишем оба метода.
Этот особый вид решетки представляет собой решетку из тон ких параллельных идеально проводящих пластин (рис. 3.4). Интегральные уравнения для такой решетки выводятся способом, описанным в гл. 2 и 4. Переход от интегральных уравнений к сис теме линейных алгебраических уравнений осуществляется обыч ным путем, за исключением выбора базиса. Обычно, если рассмат ривается уравнение для электрического поля, использование типов волн в волноводе в качестве базисных и весовых функций оказы вается весьма эффективным. В уравнении для магнитного поля целесообразно использовать в качестве базисных и весовых функ ций пространственные периодические гармоники внешней обла
Методы решения |
117 |
сти (гармоники Флоке). При выборе одного вида функций в каче стве базисных, а другого — в качестве весовых элементы матрицы получаются более сложными, чем при использовании только одно го вида функций. Однако, если стенки волноводов бесконечно тон кие, выбор смешанного базиса может привести к значительному упрощению элементов матрицы, так как апертура волновода теперь занимает почти всю площадь единичной ячейки. Более того, функ циональная форма элементов матрицы такова, что можно получить точное аналитическое решение бесконечной системы линейных уравнений.
Для иллюстрации возьмем решетку, возбуждаемую низшим типом волн ТМ (можно также взять волну ТЕМ) и сканирующую в плоскости Е (случай возбуждения волной ТЕ анализируется аналогично). Интегральное уравнение для электрического поля имеет вид
d/2 °о
j{ 2 i # W ) (W ) +
-c l/2 5=0
oo
+ 2 |
(53) |
Неизвестное электрическое поле можно представить в виде следую щего разложения:
оо |
|
Еу(у) = 2 УпФпЫ- |
(54) |
п=0 |
|
Подставляя выражение (54) в уравнение (53) и вычисляя моменты с функциями {XF| (у), q = 0, + 1, ± 2, . . .}, после ряда алгебраи ческих преобразований получим (см. гл. 4).
00
sin (ф/2) |
2 |
~Тг^ Р ~ Вп для 9= 0>± !> ± 2> • • ■. |
(55) |
|||
V 2 т а - ж |
||||||
Yi (Г'+Vi) |
7 1 = 0 |
1 а |
гп |
|
|
|
|
|
|
|
|
|
|
где неизвестные |
{В п} |
связаны с {v'n) соотношением |
|
|||
|
|
|
sin |
Ф |
для четных значении п, |
|
|
|
|
-д- |
(55а) |
||
Еп— ( — 4)п/2 У (2 — &on)/d |
|
i |
|
|||
cos |
Ф |
для нечетных значении п , |
|
|||
|
|
|
|
|||
где и' = 1 -{- у" и v'n = v'n при п > |
0. Система уравнений |
(55) |
||||
имеет особую форму. |
Коэффициент |
1/(Гд — у'п) при Вп весьма |
||||
прост и зависит только от разности (Г^ — уй). Уравнения такого типа решаются с помощью функционально-теоретического метода, известного под названием метод вычетов. В этом методе вводится интеграл от специальной аналитической функции и затем вычеты
118 Глава 3
подынтегральной функции связываются с неизвестными коэффи
циентами |
Вп. |
|
|
|
|
Рассмотрим контурный интеграл |
|
||
|
|
|
8 И |
|
|
|
CsIш —Г—д dw, |
(56) |
|
где g (w) — аналитическая |
функция, |
обладающая следующими |
||
свойствами: |
|
—у„ и у'т, т — 0, 1, 2, . . |
||
1) g (w) имеет простые полюсы при w = |
||||
2) |
g (w) имеет простые нули при w = |
T'q, д = 0, ± 1, ± 2, . . . ; |
||
3) |
I g (w) I |
0 при | w| |
оо; |
|
4)lim (w + у'0) g (w) = — Y2UI --1П„У/2-.
u’^-v0' |
'о |
В выражении (56) Cs обозначает простой замкнутый контур, окру жающий первые s полюсов. По теореме Коши о вычетах контурный интеграл равен произведению 2nj на сумму вычетов в полюсах. Когда Cs уходит в бесконечность, согласно условиям (3) н (4) кон турный интеграл равен
2 |
|
'•(Yn) |
| |
Y~2jd' sina|)/2 |
— = 0, |
(57) |
|
|
Уп~Га |
Уо |
Уо+ |
Г |
|
||
п —О |
|
|
|
|
|
|
|
где |
|
г (у’п) = |
lim (w —y'n)g(w). |
|
|
||
|
|
|
|
||||
|
|
|
|
w-*y' |
|
|
|
Из сравнения выражений (55) и (57) формально получаем |
(58) |
||||||
|
В п = г |
(у'п) = l i m ( w — |
У п ) g ( w ) . |
||||
|
|
|
|
W-+V |
|
|
|
Таким образом, определение неизвестных коэффициентов Вп свелось к нахождению соответствующей функции g (w). Детали построения такой функции обсуждаются в приложении II.
Пределы применения метода вычетов, очевидно, очень ограни ченны. В работе [30] область его приложения была расширена на за дачи для решеток из параллельных пластин конечной толщины. Это развитие метода называется модифицированным методом вычетов.
Решетка из тонких пластин может быть проанализирована также методом Винера — Хопфа. Применение этого метода
взадачах для сканирующих решеток рассмотрено в гл. 4.
7.ИТЕРАЦИОННЫЙ метод
Наша основная задача состоит в том, чтобы решить оператор ное уравнение (1), т. е. для заданного у надо найти оператор К -1, обратный оператору К. Если обратный оператор найден, решение
Методы решения |
119 |
уравнения (1) можно записать в виде
х = К~1у. |
(59) |
Вопрос о существовании обратного оператора выходит за рамки данной книги. Нахождение обратного оператора является трудной задачей и поэтому для ее решения приходится использовать при ближенные методы (например, метод моментов). Кроме приближе ния, связанного с усечением бесконечной матрицы в методе мо ментов, причиной погрешности могут быть ошибки округления при обращении матрицы на ЭВМ. Однако в настоящее время ошиб ки округления можно свести к минимальным. Из-за ошибок, свя занных с усечением бесконечной матрицы и больших затрат време ни на вычисление обратной матрицы, иногда желательно исполь зовать итерационные методы решения линейных уравнений. Пере пишем уравнение (1) в виде
Кх = (1-\-М)х = у или х — у — Мх, |
(60) |
где I — единичный оператор. Предположим, что мы нашли приб лиженное решение х0. Подставив это решение в правую часть урав нения (60), получим новое приближенное решение хг. Мы надеемся, что новое решение дает лучшее приближение к точному решению, чем предыдущее, и что, повторяя процесс, в конце концов придем к точному решению. Такой процесс называется итерационным. Сходимость процесса зависит от свойств оператора М. Достаточ ные условия сходимости будут рассмотрены ниже. Предположим что Мх в некотором смысле мало. Тогда этим слагаемым можно пренебречь и рассматривать у как приближение нулевого поряд ка, т. е.
— У> |
(61) |
Заметим, что нижний индекс обозначает число выполненных ите раций. Подставляя выражение (61) в урвнение (60), получим
х^ |
у |
— Мх0 = у — Му. |
(62) |
Продолжая процесс п раз, |
найдем |
|
|
*п = {/ _ |
М + М*+ .. . + ( - 1Г М) у . |
(63) |
|
Таким образом, итерационный процесс порождает решение в виде ряда. Если процесс продолжается бесконечно, получаем беско нечный ряд, называемый рядом Неймана. Сразу же возникает вопрос, сходится ли ряд, а если сходится, то действительно ли к точ ному решению? В работах [1, 2, 4] показано, что если || М || < 1, || М || — норма оператора М, то итерационный процесс сходится абсолютно. Необходимо подчеркнуть, что это условие является достаточным, но не необходимым. При выполнении этого условия ряд не только сходится к точному решению, но его сходимость
120 |
Глава 3 |
ие зависит от начального приближения. Конечно, чем ближе пуле вое приближение к точному решению, тем быстрее сходится про цесс. При использовании итерационных методов выбор начального приближения оказывается важным с точки зрения более быстрого нахождения приемлемого по точности решения. Заметим, что выра жение (63) можно вывести, если переписать уравнение (60) в виде х = (I + М)~1у и затем формально разложить (I + М)~г в бино миальный ряд.
Ряд Неймана можно также использовать для улучшения при ближенного решения. Предположим, что приближенное решение уравнения (1) x N получено решением уравнения
У = K Nx N, |
(64) |
где К Лг обозначает А-мерное вырожденное приближение оператора К[ 1 ]. Здесь предполагается, что приближение для уравнения нахо дится в подпространстве, в котором у содержится полностью, так что у = у N. Это выполняется во многих задачах для ФАР и неод нородностей в волноводах.
Если же у ие полностью содержится в подпространстве, исполь зуемом в уравнении (64), ряд необходимо представить в виде
оо
Х = Z ( — i ) q L N q { K N - i y ) при XN->-KN-llJ.
9= 0
Переписав уравнение (1) в виде *)
y= [KN-\-(K — KN)] (х — л;Л-)-]-Аа;,у
ииспользуя уравнение (64), найдем
Хх — £ = |
(7-f-Ljv) 1 LjsrXx, |
(65) |
где L n = Kjl (К — K N). Разлагая множитель (I + |
L jy)-1 в би |
|
номиальный ряд, запишем ряд Неймана в виде |
|
|
* = 2 |
( ~ i ) qb y N. |
(66) |
9= 0 |
|
|
Для сходимости этого ряда необходимо, чтобы || LjV ||< 1 . Это условие также является достаточным, но не необходимым. Из вы ражения (66) следует, что, начав с приближенного решения, можно получить решение первоначальной задачи. Этот метод особенно полезен для повышения точности уже известного приближенного решения. Заменим уравнение (1) выражением
у = КрХр |
(67) |
!) Операторы К и K N должны иметь одинаковую размерность (в данном случае предполагается, что это условие выполнено). Способ расширения размерности K N и x N будет рассмотрен ниже.
