CC BY
28
УДК 517.9
Е. М. Карчевский, А. Г. Фролов
СОБСТВЕННЫЕ ВОЛНЫ СЛАБОНАПРАВЛЯЮЩЕГО ВОЛНОВОДА В ПОЛУПРОСТРАНСТВЕ1
Аннотация. Задача о собственных волнах слабонаправляющего диэлектрического волновода в полупространстве сведена к нелинейной спектральной задаче для фредгольмовой голоморфной оператор-функции. Поверхностные волны определяются как решение линейной задачи на собственные значения для интегрального оператора с симметричным, положительным, слабо полярным ядром. Изучаются качественные свойства спектра: локализация, существование, зависимость от параметров.
Ключевые слова: распространение электромагнитных волн в волноводе, задача на собственные значения, интегральные уравнения.
Abstract. The problem for eigenwaves of weakly guiding dielectric waveguide in the half-space is reduced to nonlinear eigenvalue problem for holomorphic Fredholm operator-valued function. The problem for surface waves is reduced to the linear eigenvalue problem for integral operator with symmetric, positive, weakly polar kernel. The existence, localization, and dependence on parameters of the spectrum are investigated.
Key words: propagation of electromagnetic waves in waveguides, eigenvalue problem, integral equations.
Введение
Задача о собственных волнах слабонаправляющего диэлектрического волновода в полупространстве возникает при математическом моделировании одного из базовых элементов оптических интегральных схем, которые в последнее время широко используются в радиоэлектронной промышленности вместо классических электрических [1]. Поэтому изучение качественных свойств спектра таких волноводов весьма актуально. Эффективным и универсальным методом теоретического исследования задач дифракции в неограниченных областях является метод интегральных уравнений (см., например, [2, 3]). В данной статье этим методом задача о собственных волнах слабонаправляющего волновода в полупространстве сводится к нелинейной спектральной задаче для фредгольмовой голоморфной оператор-функции. Изучаются качественные свойства спектра: локализация постоянных распространения на соответствующей поверхности Римана и их зависимость от частоты электромагнитных колебаний. Для поверхностных волн задача сводится к линейной спектральной задаче для интегрального оператора с симметричным, положительным, слабо полярным ядром. Доказывается теорема о существовании характеристических чисел и собственных функций.
1. Постановка задачи и локализация спектра
Задача о собственных волнах слабонаправляющего диэлектрического волновода в полупространстве заключается [4] в определении таких значений частоты электромагнитных колебаний ю> 0 и комплексных постоянных рас-
1 Работа выполнена при поддержке гранта РФФИ № 09-01-97009.
пространений в, при которых существуют ненулевые функции u, удовлетворяющие уравнениям (рис. 1):
2 2
Au + х u = -Xp u, xefl; (1)
An + х2н = 0, x еАю =R+\ Q; (2)
+ - Эн+ Эн-
u = u , -------=-----, xel; (3)
dv dv
u = 0, x e L, (4)
где Q - область поперечного сечения волновода - ограниченная область в верхней полуплоскости R+ = {—=о < x1 < ^, x2 > 0}, целиком лежащая
в полукруге радиуса R с центром в начале координат. Через u + (u ) обозначено предельное значение функции u извне (изнутри) контура Г (границы области Q); du / 3v - производная по внешней нормали;
L ={-го < x1 < ^, x2 = 0} . Предполагается, что Г - липшицева кривая, показа-
тель преломления n непрерывен и непрерывно дифференцируем в области Q, а также, что n( x) > пте при x eQ, где пте > 0 - постоянный показатель преломления окружающей среды. Использованы также следующие обо-2 2
2 П (x) П 2/2 2 \
значения: p (x) = —------^>0, где n+= maxn(x); X = k (n+ -nTO )>0;
n+ - ni xeQ V >
X = ^jк2n£ - в2 - поперечное волновое число; к = (0^£0Д0 - продольное волновое число; £0 (М-0) - электрическая (магнитная) постоянная.
Будем разыскивать нетривиальные решения и уравнений (1), (2), удовлетворяющие условиям (3), (4) в классе комплекснозначных функций, непрерывных и непрерывно дифференцируемых в О и , дважды непрерыв-
но дифференцируемых в О и . Обозначим это множество функций через и. Дополнительно будем предполагать, что функция и, являющаяся решением уравнения Гельмгольца (2), удовлетворяет парциальным условиям излучения (см., например, [5]), т.е. что эта функция для всех хеО„, |х| > Я,
разлагается в абсолютно и равномерно сходящийся, допускающий почленное дифференцирование ряд следующего вида:
оо
и = 2 а1Н\1) (х(в)г^ш(7'/ф). (5)
I=—<^
Здесь Н® - функции Ханкеля первого рода порядка I [6], через (г,ф)
обозначены полярные координаты точки х.
Значения комплексного параметра в будем разыскивать на римановой поверхности Л функции 1п х(в). Поверхность Л состоит из бесконечного числа листов и имеет две точки ветвления в = ±кп. Всюду далее будем предполагать, что точки ветвления не принадлежат поверхности Л . Обозначим символом Л01) главный («физический») лист римановой поверхности Л , который определяется следующими условиями:
Л01) = {в е Л: - П2 < агех(в) < 3я/2, 1т (%(в)) > 0}.
С листом Л01) соединяется лист Л02), который называется «нефизическим» и определяется следующим образом:
Л02) = {веЛ: -П 2 < аге х(в) < 3 л/ 2, 1т (х(в) )< 0}.
Ненулевую функцию и е и будем называть собственной функцией задачи (1)-(5), отвечающей собственным значениям ю>0, ве Л, если выполнены условия (1)-(5).
Теорема 1. При любом фиксированном ю>0 на Л0^ собственные значения в задачи (1)-(5) могут принадлежать лишь множеству
О = {ве Л01): П <|в|< кп+ ,1тв = 0} .
Эта теорема доказывается аналогично теореме 3.9 в [3].
Отметим, что вещественным собственным значениям ве О отвечают
поверхностные собственные волны, а комплексным ве л[)2) - вытекающие.
С уменьшением частоты электромагнитных колебаний ю постоянные распространения в могут перемещаться с физического листа поверхности Л на нефизический. Другими словами, поверхностные собственные волны могут трансформироваться в вытекающие. Поэтому для приложений важно изучить зависимость функций в = в(ю).
Сведем задачу (1)-(5) к нелинейной спектральной задаче для интегрального уравнения по области поперечного сечения волновода. Рассуждая аналогично доказательству леммы 3.6 в [3], нетрудно показать, что если и е и - собственная функция задачи (1)-(5), отвечающая некоторым собственным значениям ю> 0, в еЛ, то
и(х) = А,(ю)|Ф(ю,в;X,у)Р2(у)и(у)йу, хе Я+, (6)
О
где
Ф(ю, в; X, у) = 4 (Н 01) (х(ю, в)| X - у |) - Н01)(х(ю, в)| X - у* |)), у* = (уь -У2).
Заметим, что равенство (6) при хеО представляет собой интегральное уравнение, которое, обозначив
К(ю, в; х,у) = Ф(ю,в; х, у)р(х)р(у), у(х) = р(х)и(х), запишем в виде
v(х) = А,(ю) | К(ю, в; х, уМу)йу, х е О . (7)
О
2. Дискретность характеристического множества и зависимость характеристических значений в от ю
Пусть ю> 0, в еЛ. Введем в рассмотрение интегральный оператор правой части уравнения (7):
(Т(ю,в))(х) = | К(ю, в; х,уму)йу, х е О.
О
Будем рассматривать оператор Т(ю, в) как оператор, действующий в пространстве комплекснозначных интегрируемых с квадратом функций /^(О) со стандартным скалярным произведением. Запишем уравнение (7) в операторном виде:
V=ад ((ю, в)). (8)
Будем искать такие ю> 0, в еЛ, при которых существуют ненулевые функции Vе /^(О), удовлетворяющие уравнению (8). Для всех ю>0, веЛ ядро К слабо полярно. Опираясь на известные свойства интегральных операторов со слабо полярными ядрами [7], аналогично доказательству теоремы 3.10 в [3] доказывается следующая теорема (отметим, что в ходе доказательства существенным образом используются требования гладкости контура Г и функции п ).
Теорема 2. Если и е и является собственной функцией задачи (1)-(5), отвечающей некоторым собственным значениям ю>0, веЛ, то V = ри принадлежит пространству /2 (О) и дает нетривиальное решение уравнения (8)
при тех же самых значениях параметров ю> 0, в еЛ. Если при некоторых значениях ю> 0, веЛ уравнение (8) имеет нетривиальное решение
V е ¿2 (П), то и = V / р удовлетворяет уравнению (6), принадлежит множеству и и является собственной функцией задачи (1)-(5), отвечающей собственным значениям ю> 0, в е Л.
Фиксируем некоторое значение ю> 0 . Положим,
А(в) = I -ХТ (в), (9)
где I - единичный оператор в ¿2 (П). Для всех в еЛ ядро К слабо полярно, следовательно, оператор Т(в) вполне непрерывен, а оператор А(в) - фред-гольмов [7].
Ненулевую функцию V е ¿2 (П) будем называть собственной функцией оператор-функции А(в), отвечающей характеристическому значению веЛ, если выполнено уравнение
А(в> = 0. (10)
Характеристическим множеством оператор-функции А(в) будем называть множество чисел веЛ, для которых оператор А(в) не имеет ограниченного обратного в ¿2(П). Это множество будем обозначать символом с(А). Обозначим множество регулярных точек оператора А(в) через
р( А) ={веЛ: ЗА-1(в): ^(П) ^ ¿2(П)}.
Теорема 3. Регулярное множество определенной в (9) оператор-функции А(в) не пусто, а именно л01) \ О с р(А). Характеристическое множество оператор-функции А(в) может состоять лишь из изолированных точек, являющихся характеристическими значениями оператор-функции А(в). Каждое характеристическое значение в оператор-функции А(в) непрерывно зависит от параметра ю> 0. Кроме того, с изменением ю> 0 характеристические значения оператор-функции А(в) могут появляться и исчезать только на границе поверхности Л , т.е. в точках ±кпи на бесконечности.
Доказательство. Рассуждая аналогично [8, с. 459], нетрудно показать, что оператор-функция А(в) голоморфна по веЛ и непрерывна как функция двух переменных веЛ и ю> 0. В силу фредгольмовости оператора А(в), теоремы 1 о локализации собственных значений задачи (1)-(5) и теоремы 2 о спектральной эквивалентности задач (1)-(5) и (8) оператор А(в) обратим для
любых ю> 0 и Л01) \О . Таким образом, справедливость теоремы вытекает
из теоремы [9] об изолированности характеристических значений фредголь-мовой голоморфной оператор-функции А(в) при наличии в области ее голоморфности хотя бы одной регулярной точки и теоремы [10] о поведении характеристических значений такой оператор-функции в зависимости от изменения вещественного параметра ю в случае, если оператор-функция является совместно непрерывной функцией в и ю. Теорема доказана.
3. Существование поверхностных волн
Поверхностные волны отвечают ю> 0 и Ре О. В этом случае вещественная часть поперечного волнового числа X равна нулю, а мнимая часть положительна: X = /о, где о> 0. Тогда ядро интегрального уравнения (7) становится не только слабо полярным, но и симметричным:
К (ю, в; х, у) = Ф(о(ю, в); х, у) р( х) р( у),
Ф(о(ю, в); х, у) = 2п(к0 (о(ю, в) | X - у |) - К0 (о(ю, в) | х - у* |)).
Здесь К0 - функция Макдональда (см., например, [6]). Действительно, для любых х, у е^ в силу очевидных равенств |х — у| = |у — х|,
имеем К(х, у) = К(у, х). Потребуем дополнительно, чтобы
* *
к 1 у — у - к
область О не касалась прямой Ь. Тогда ядро становится положительным: К(х, у) > 0. Действительно, функция Макдональда монотонно убывает на по*
ложительной полуоси, а для любых х, у еО имеем | х — у |<| х — у |.
В этом случае интегральный оператор правой части уравнения (7)
удобно рассматривать как оператор
К (о) )у(х) = | К (о; х, у)у(у)йу, х еО, (11)
О
действующий в пространстве вещественных функций Ь (О) со стандартным скалярным произведением, а задачу (7) - как линейную спектральную задачу определения характеристических чисел X и собственных функций V оператора Т (о):
V = ХТ (о)^ (12)
Если ю> 0 и в е О, то параметры о и X должны удовлетворять следующим условиям: Х> 0, 0 <о< ^¡Х. Итак, требуется найти такие (X, о) е ¥, где ¥ = {(Х,о):0<о<\/Х,Х>0}, и ненулевые функции Vе ¿2(О), удовлетворяющие равенству (12).
При х = /о, где о>0, решения задачи (1)-(5) следует разыскивать в классе вещественных функций и. Задачи (12) и (1)-(5) спектрально эквивалентны, а именно справедлива
Теорема 4. Если ненулевая функция ие и и параметры ю> 0 и ве О удовлетворяют условиям (1)-(5), то
V = ри е Ь2(О), Х = ю2£0|10(и+ - Щ),
; —д/р2
-Ю2Єо|1о и2
удовлетворяют равенству (12). С другой стороны, если для ненулевой функции V е ¿2(О) и (X, о) е ¥ выполняется равенство (12), то
(
2 У/2 г V72
и — V / р, в— а2 + Х
и
V
Поо у у ЄоЦо(«+ П°о) у
удовлетворяют уравнению (6), функция и принадлежит множеству и и является собственной функцией задачи (1)-(5), отвечающей собственным значениям в и ю.
Доказательство этой теоремы аналогично доказательству теоремы 1 [11] и основано на свойствах интегральных операторов со слабо полярными ядрами [7].
Относительно существования решений задачи (12) справедлива
Теорема 5. Для любого о> 0 справедливы следующие утверждения:
1. Существует счетное множество положительных характеристических чисел X/, / = 1, 2,..., с единственной точкой накопления на бесконечности.
2. Система собственных функций {V/} может быть выбрана орто-нормированной.
3. Наименьшее по модулю характеристическое число X! положительное и простое, соответствующая собственная функция V положительна в О .
4. Xl — с > 0 при о —— 0 .
Доказательство. Первые три утверждения теоремы непосредственно следуют из результатов спектральной теории интегральных операторов с симметричными, положительными, слабо полярными ядрами [7]. Отметим, что предположение о том, что область О не касается прямой Ь, требуется лишь для доказательства утверждения 3 (оно основано на теореме Ентча, справедливой для интегральных операторов с положительными ядрами). Утверждения 1, 2 и 4 имеют место и без этого предположения, так как оператор Т (о) остается положительным. Докажем четвертое утверждение, т.е. что
Xl — с > 0 при о — 0 . Используем вариационный принцип для первого характеристического числа [7]:
В силу непрерывной зависимости ядра оператора Т от о функция
Xl = Xl (о) непрерывна на положительной полуоси. Нетрудно видеть, что для любой функции / е ¿2(О) имеем (Т(о)/, /) — М <^ при о —0. Действительно, справедливы равенства
где функции / и / не имеют особенности при а^0 . Следовательно (рассуждая аналогично [3, с. 141]), заключаем, что Хі ^ с > 0 при а^ 0 . Теорема доказана.
Хі — іпГ ------------------
/єіг(П) (Т (а) /, /)
Ко (а | к - у |) — 1п- + /(а | к - у |), а Ко (а | к - у* |) — 1п— + /*(а | к - у |), а
Утверждение 4 этой теоремы устанавливает, что у слабонаправляющего волновода в полупространстве не существует фундаментальной собственной волны (поверхностной волны, распространяющейся при любой положительной частоте). В этом заключается принципиальное отличие спектральных характеристик волновода в полупространстве от волновода в однородной окружающей среде, у которого фундаментальная собственная волна существует [11].
Список литературы
1. Lifante, G. Integrated photonics: fundamentals / G. Lifante. - John Wiley and Sons, 2003. - 184 p.
2. Смирнов, Ю. Г. Математические методы исследования задач электродинамики / Ю. Г. Смирнов. - Пенза : Инф.-изд. центр ПензГУ, 2009. - 268 с.
3. Даутов, Р. З. Метод интегральных уравнений и точные нелокальные граничные условия в теории диэлектрических волноводов / Р. З. Даутов, Е. М. Карчевский. - Казань : Изд-во Казан. гос. ун-та, 2009. - 271 с.
4. Войтович, Н. Н. Собственные волны диэлектрических волноводов сложного сечения / Н. Н. Войтович, Б. З. Каценеленбаум, А. Н. Сивов, А. Д. Шатров // Радиотехника и электроника. - 1979. - Т. 24, № 7. - С. 1245-1263.
5. Shestopalov, Yu. V. Logarithmic integral equations in electromagnetics / Yu. V. Shestopalov, Yu. G. Smirnov, E. V. Chernokozhin. - VSP, 2000. - 117 p.
6. Янке, Е. Специальные функции / Е. Янке, Ф. Эмде., Ф. Леш. - М. : Наука, 1968. - 344 с.
7. Владимиров, В. С. Уравнения математической физики / В. С. Владимиров. -М. : Наука, 1976. - 527 c.
8. Като, Т. Теория возмущений линейных операторов / Т. Като. - М. : Мир, 1972. - 740 с.
9. Гохберг, И. Ц. Основные положения о дефектных числах, корневых числах и индексах линейных операторов / И. Ц. Гохберг, М. Г. Крейн // Успехи матем. наук. - 1957. - Т. 12, № 2. - С. 44-118.
10. Steinberg, S. Meromorphic families of compact operators / S. Steinberg // Arch. Rat. Mech. Anal. - 1968. - V. 31, № 5. - P. 372-379.
11. Карчевский, Е. М. Численное решение задачи о распространении электромагнитных волн в слабонаправляющих волноводах / Е. М. Карчевский, А. Г. Фролов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2011. - № 1 (17). - С. 47-57.
Карчевский Евгений Михайлович
доктор физико-математических наук, профессор, кафедра прикладной математики, Казанский (Приволжский) федеральный университет
E-mail: [email protected]
Фролов Александр Геннадьевич
аспирант, Казанский (Приволжский) федеральный университет
E-mail: [email protected]
Karchevsky Evgeny Mikhaylovich Doctor of physical and mathematical sciences, professor, sub-department of applied mathematics, Kazan (Volga region) Federal University
Frolov Alexander Gennadyevich Postgraduate student,
Kazan (Volga region) Federal University
УДК 517.9 Карчевский, Е. М.
Собственные волны слабонаправляющего волновода в полупространстве / Е. М. Карчевский, А. Г. Фролов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2012. -№ 1 (21). - С. 22-30.
