Symbolic-numerical implementation of the model of adiabatic guided modes for two-dimensional irregular waveguides

Cover Page

Cite item

Full Text

Abstract

In this work, a symbolic-numerical solution of Maxwell’s equations is constructed, describing the guided modes of a two-dimensional smoothly irregular waveguide in the zeroth approximation of the model of adiabatic waveguide modes. The system of linear algebraic equations obtained in this approximation is solved symbolically. The dispersion relation is solved numerically using the parameter continuation method.

Full Text

1. Введение

В работе строятся символьно-численные решения уравнений Максвелла, описывающие волноводные моды двумерного плавно-нерегулярного волновода в рамках модели адиабатических волноводных мод (АВМ) [1, 2, 3]. В основе модели АВМ лежит приближение коротких волн [4], адаптированное для волноводного распространения, которое представляет собой асимптотический ряд по малой величине, представляющей собой обратную частоту. Асимптотические методы удобны тем, что нулевое приближение отыскивается, как правило, в символьном виде. Учитывая асимптотический характер решения, в модели АВМ удается получить ряд промежуточных результатов в символьном виде – поэтому компьютерная алгебра используется в качестве основного инструмента исследования.

В нулевом приближении асимптотического разложения модели АВМ уравнения Максвелла символьно редуцируются к системе четырех обыкновенных дифференциальных уравнений первого порядка и двум дополнительным соотношениям. Систему дифференциальных уравнений удается решить символьно [5] в каждом слое многослойного волновода. Используя символьные представления решений формулируется система граничных уравнений в виде однородной системы линейных алгебраических уравнений (СЛАУ) с символьной матрицей коэффициентов. Однородная СЛАУ с символьной матрицей коэффициентов решается символьно в настоящей работе. Условие разрешимости однородной СЛАУ формулируется в виде нелинейного уравнения, которое решается в работе численно методом продолжения по параметру.

2. Методы

2.1. Модель адиабатических волноводных мод в нулевом приближении

В работе [5] получен нулевой вклад в адиабатическое приближение волноводного решения уравнений Максвелла вида:

Ex,z,tHx,z,t=E0x;zH0x;z=expiωtik0φz, (1)

причем

εE0yx=ik0εμH0z,εE0zx=ik0εμφ'z2H0y,μH0yx=ik0εμE0z,μH0zx=ik0εμφ'z2E0y, (2)

E0x=1εφ'zH0y,  H0x=1μφ'zE0y.  (3)

Систему уравнений (2)–(3) следует дополнить условиями сопряжения электромагнитного поля на границах раздела сред [6] для рассматриваемого многослойного волновода: на границах раздела диэлектрических сред выполняются граничные условия сопряжения полей

n×Ex=0,hz=0,n×Hx=0,hz=0, (4)

где через [ f ]x = 0,h(z) обозначен скачок векторной величины f на границах x = 0,h(z). Кроме того, выполняются асимптотические граничные условия на бесконечности [6]:

Ex±0,Hx±0. (5)

2.2. Геометрия рассматриваемой структуры

Рассматривается трехслойный плавно-нерегулярный волновод, геометрия которого представлена на рис. 1.

 

Рис. 1. Геометрия двумерного плавно-нерегулярного волноводного перехода между двумя регулярными волноводами.

 

Параметры волновода следующие: μc = μf = μs = 1, εc = 1, εf = 1.5652, εs = 1.472, толщины определены как h1 = 2λ, h2 = 3λ, а L = 100λ, где λ – длина волны, λ = 0.55 [мкм]. Переменная толщина h(z) определена следующим образом:

hz=2h1h2zL33h1h2zL2+h1, (6)

причем для h′(z) выполняется |h′(z)| << 1, то есть h′(z) является малым параметром при каждом фиксированном z.

В работе вычисляются адиабатические волноводные моды для описанной выше структуры в символьно-численном виде.

2.3. Символьный метод решения задачи

В работе система (2) решается в символьном виде. Коэффициенты системы (2) заданы в символьном виде, причем ε, μ для рассматриваемого многослойного волновода есть кусочно-постоянные функции – известные константы для каждого из слоев. В каждом слое систему (2) решаем символьно в системе компьютерной алгебры Maple с помощью функции dsolve [7] и получаем разложение решения по фундаментальной системе решений (ФСР) с неопределенными коэффициентами. Решения в полубесконечных слоях удовлетворяют условиям (5), поэтому константы, стоящие перед нарастающими на бесконечности функциями ФСР, будут определены и равны нулю.

Условия непрерывности (4) записываем символьно в системе компьютерной алгебры Maple [7] и получаем систему граничных уравнений вида

Mz,γzCz=0, (7)

где γ(z) = j′(z), вектор C(z) определяет константы разложения решения по ФСР в каждом слое при фиксированном z. Условие разрешимости системы (7) есть равенство нулю определителя системы

det Mz,γz=0. (8)

Система линейных алгебраических уравнений (7) с символьной матрицей коэффициентов решается в работе символьно методом из раздела 3.3 работы [8].

Cимвольное выражение детерминанта определяется с помощью функции Determinant пакета LinearAlgebra. Уравнение (8) характеризуется вещественными корнями при z ≤ 0 и при z ≥ L, поэтому корни для z = 0 отыскиваются с помощью встроенной в Maple функции RootOf [7]. В интервале 0 < z < L корни уравнения (8) могут быть комплексными, поэтому для их отыскания в системе компьютерной алгебры использован метод продолжения по параметру, описанный ниже.

Описанный метод решения нелинейного уравнения (8), а также символьное решение системы (7) реализованы в системе компьютерной алгебры Maple [7].

2.4. Метод продолжения по параметру

Рассмотрим уравнение F(x,y) = 0 относительно искомой величины y, которое содержит параметр x. Пусть это уравнение имеет при axb решение y(x) и при x = a такое решение y(a) = ya известно, то есть F(a,y)a = 0. Тогда в пространстве (x, y) точка y, соответствующая решениям рассматриваемого уравнения, описывает непрерывную кривую k, проходящую через точки (a, ya) и (b, yb), где F(b, yb) = 0.

Идея метода продолжения по параметру [9] состоит в построении решения отталкиваясь от (a, ya) и двигаясь вдоль кривой k.

Дифференцирование рассматриваемого уравнения по параметру приводит к дифференциальному уравнению

dydx=F/xF/y, (9)

которое вместе с условием

ya=ya (10)

образует задачу Коши.

В работе дифференциальное уравнение (9) формулируется в системе компьютерной алгебры с помощью встроенной в Maple функции diff. Начальное условие (10) формулируется численно в системе компьютерной алгебры с помощью непостредственного решения уравнения встроенной функцией RootOf.

Сформулированная таким образом задача Коши решается численно в системе компьютерной алгебры Maple с помощью функции dsolve методом rkf45 с разными abserr, relerr.

3. Результаты

3.1. Символьное исследование системы

Система линейных алгебраических уравнений (7) с символьной матрицей коэффициентов исследуется символьно в системе компьютерной алгебры. После перестановки уравнений и искомых величин матрица системы (7) и вектор ее правых частей преобразуются к блочному виду

M=M100M2,  C=C1C2. (11)

и в результате система (7) разбиваеся на две независимых системы M1 C1 = 0 и M2 C2 = 0.

Матрица M1 имеет следующую структуру

M1=m1,11m1,21m1,3100m2,21m2,31m2,410m3,21m3,31m3,41m4,11m4,21m4,310,  (12)

элементы матрицы определены следующим образом

m1,11=ih'ηcφ'ηc2, (13)

m1,21=ih'ηfφ'eηfk0hηf2eηfk0h, (14)

m1,31=ih'ηfφ'eηfk0h+ηf2eηfk0h, (15)

m2,21=iηfεf, (16)

m2,31=iηfεf, (17)

m2,41=iηsεs, (18)

m3,21=ηf2, (19)

m3,31=ηf2, (20)

m3,41=ηs2, (21)

m4,11=iηcεc, (22)

m4,21=iηfεfeηfk0h, (23)

m4,31=iηfεfeηfk0h. (24)

Матрица M2 определена ниже

M2=0m1,22m1,32m1,420m2,22m2,32m2,42m3,12m3,22m3,320m4,12m4,22m4,320,  (25)

элементы матрицы определены следующим образом

m1,22=ηf2, (26)

m1,32=ηf2, (27)

m1,42=ηs2, (28)

m2,22=iηfμf, (29)

m2,32=iηfμf, (30)

m2,42=iηsμs, (31)

m3,12=ih'ηcφ'ηc2, (32)

m3,22=ih'ηfφ'eηfk0h+ηf2eηfk0h, (33)

m3,32=ih'ηfφ'eηfk0h+ηf2eηfk0h, (34)

m4,12=iηcμc, (35)

m4,22=iηfμfeηfk0h, (36)

m4,32=iηfμfeηfk0h, (37)

где ηα=φ'2εαμα, a = c, f, s. Решение подсистемы M1 C1 = 0 получаем символьно, используя метод из раздела 3.3 работы [8]:

C1,1=ηf2ηsηsεfηfεsiηf+h'φ'eηfk0hηcih'φ'ηc++ηf2ηsηsεf+ηfεsiηfh'φ'eηfk0hηcih'φ'ηc, (38)

C1,2=iηfηsηsεf+ηfεs, (39)

C1,3=iηfηsηsεfηfεs, (40)

C1,4=2iηf3εf. (41)

Решение подсистемы M2 C2 = 0 получаем аналогичным образом:

C2,1=iηf2ηsμfηfμsηsμfeηfk0hηcμciηf2ηsμfηfμs+ηsμfeηfk0hηcμc, (42)

C2,2=iηfηsηsμfηfμs, (43)

C2,3=iηfηsηsμf+ηfμs, (44)

C2,4=2iηf3μf. (45)

На основе полученных символьных решений (38)–(45) определяем символьное представление компонент электромагнитного поля в каждом из трех слоев рассматриваемого волновода.

Амплитудная часть электромагнитного поля в покровном слое (x > h(z)) определяется следующим образом:

E0c=iηcφ'C1,1iηcμcC2,1ηc2C1,1eηck0xh, (46)

H0c=iηcφ'C2,1iηcεcC1,1ηc2C2,1eηck0xh. (47)

Амплитудная часть электромагнитного поля в волноводном слое (0 < x < h(z)) определяется следующим образом:

E0f=iηfφ'C1,2iηfμfC2,3ηf2C1,2eηfk0x+iηfφ'C1,3iηfμfC2,2ηf2C1,3eηfk0x, (48)

H0f=iηfφ'C2,3iηfεfC1,2ηf2C2,3eηfk0x+iηfφ'C2,2iηfεfC1,3ηf2C2,2eηfk0x. (49)

Амплитудная часть электромагнитного поля в подложке (x < 0) определяется следующим образом:

E0s=iηsφ'C1,4iηsμsC2,4ηs2C1,4eηsk0x, (50)

H0s=iηsφ'C2,4iηsεsC1,4ηs2C2,4eηsk0x. (51)

В приведенных символьных выражениях (46)–(51) только для величины φ′ неизвестно символьное представление, так как она является решением нелинейного уравнения (8) и определяется численно.

3.2. Численное решение нелинейного уравнения

Используем для решения нелинейного уравнения (8) метод продолжения по параметру, описанный в разделе 1 настоящей работы. Вычисленные величины ϒj(z), j = 1..4 приведены на рис. 2, 3. Приведем также невязки решений, полученных методом продолжения по параметру. Величины δj(z)=detM(z,γj(z)), j = 1..4 (невязки) приведены на рис. 4, 5.

 

Рис. 2. Величины ℜj(z)), j = 1..4 для z [0,L].

 

Рис. 3. Величины ℑj(z)), j = 1..4 для z [0,L].

 

Рис. 4. Невязки δj(z), j = 1..4 для z [0,L] при значениях abserr и relerr, равных 10–10.

 

Рис. 5. Невязки δj(z), j = 1..4 для z [0,L] при значениях abserr и relerr, равных 10–12.

 

4. Обсуждение

В работе получены символьные представления направляемых мод плавно-нерегулярного волноводного перехода (рис. 1) между двумя регулярными волноводами в рамках модели адиабатических волноводных мод. Символьные представления направляемых мод во всех слоях волновода достаточно компактны (46)–(51) и позволяют построить волноводные моды в символьно-численном виде, где численно отыскивается только ϒ(z) = φ′(z). Кроме того, символьный вид направляемых мод модели АВМ в нулевом приближении асимптотического разложения (46)–(51) будет использован при построении первого приближения асимптотического метода.

Важно отметить, что полученные символьные выражения (46)–(51) не единственны. Каждая подсистема M1 C1 = 0 и M2 C2 = 0 имеет по 4 различных символьных представлений решения, как в работе [8]. Вектор решения C, определенный в (11), будет иметь 16 различных символьных представлений. Кроме того, любая линейная комбинация этих 16 символьных представлений также будет решением однородной системы (7). Вопрос выбора наиболее удобного символьного представления решения остается открытым.

В рамках приближенного вычисления корней нелинейного уравнения вычислены функции γj(z), описывающие переменные коэффициенты фазового замедления для j-й волноводной моды. В работе [10] приближенно вычислялись функции γj(z) методом разложения по малому параметру h′(z), отвечающему малому наклону криволинейной границы раздела. В работе [10] построены численно нулевое, первое и второе приближения по малому параметру и вычислены невязки. В обеих работах рассматривается одинаковая структура.

В настоящей работе вместо разложения по малому параметру использован метод продолжения по параметру, который дает невязку, не превышающую 4.5 × 10–11, согласно рис. 4, и невязку, не превышающую 4.5 × 10–13 согласно рис. 5. В работе [10] получена меньшая точность порядка 10–8. Другими словами, точность метода продолжения по параметру на несколько порядков выше, чем у метода малого параметра из [10], и меняется в зависимости от значений параметров abserr, relerr метода rkf45. В методе малого параметра из [10] решение представляется в виде разложения, коэффициенты которого известны в виде довольно громоздких символьных выражений. Обобщая вышесказанное, метод малого параметра менее удобен для решения нелинейного уравнения (8), чем использованный в настоящей работе метод продолжения по параметру.

5. Заключение

Модель адиабатических волноводных мод позволяет сформулировать задачу расчета направляемых мод в символьном виде и решить ее в символьно-численном виде.

Использование компьютерной алгебры позволило получить символьные выражения для адиабатических волноводных мод в нулевом приближении для волноводного перехода.

Описан метод продолжения по параметру и реализован в системе компьютерной алгебры для решения дисперсионных уравнений c комплексными корнями. Продемонстрированы эффективность и высокая точность метода.

Источник финансирования

Публикация выполнена при поддержке Программы стратегического академического лидерства РУДН, проект № 021934-0-000.

×

About the authors

D. V. Divakov

RUDN University

Author for correspondence.
Email: divakov_dv@pfur.ru
Russian Federation, 6 Miklukho-Maklaya St, Moscow, 117198

А. А. Tyutyunnik

RUDN University

Email: tyutyunnik_aa@pfur.ru
Russian Federation, 6 Miklukho-Maklaya St, Moscow, 117198

D. А. Starikov

RUDN University

Email: starikov_da@pfur.ru
Russian Federation, 6 Miklukho-Maklaya St, Moscow, 117198

References

  1. Sevastianov L.A., Egorov A.A. Theoretical analysis of the waveguide propagation of electromagnetic waves in dielectric smoothlyirregular integrated structures // Optics and Spectroscopy. 2008. V. 105. № 4. P. 576–584.
  2. Egorov A.A., Sevastianov L.A. Structure of modes of a smoothly irregular integrated optical four-layer three-dimensional waveguide // Quantum Electronics. 2009. V. 39. № 6. P. 566–574.
  3. Egorov A.A., Lovetskiy K.P., Sevastianov A.L., Sevastianov L.A. Simulation of guided modes (eigenmodes) and synthesis of a thin-film generalised waveguide Luneburg lens in the zero-order vector approximation // Quantum Electronics. 2010. V. 40. № 9. P. 830–836.
  4. Babich V.M., Buldyrev V.S. Asimptotic Methods in Short-Wave Diffraction Problems. Method of Reference Problems, Moscow: Nauka, 1972.
  5. Divakov D.V., Sevastianov A.L. The Implementation of the Symbolic-Numerical Method for Finding the Adiabatic Waveguide Modes of Integrated Optical Waveguides in CAS Maple // Lecture Notes in Computer Science. 2019. V. 11661. P. 107–121.
  6. Adams M.J. An Introduction to Optical Waveguides. Wiley, New York (1981).
  7. Mathematics-based software and services for education, engineering, and research https://www.maplesoft.com/
  8. Divakov D.V., Tyutyunnik A.A. Symbolic investigation of the spectral characteristics of guided modes in smoothly irregular waveguides // Program. Comput. Software. 2022. V. 48. № 2. P. 80–89.
  9. Kuznetsov E.B., Shalashilin V.I. Solution of differential-algebraic equations using the parameter continuation method // Differ. Uravn. 1999. V. 35. № 3. P. 379–387.
  10. Divakov D.V., Tyutyunnik A.A. Symbolic-numerical modeling of adiabatic waveguide mode in a smooth waveguide transition // Comput. Math. Math. Phys. 2023. V. 63. № 1. P. 95–105.

Supplementary files

Supplementary Files
Action
1. JATS XML
2. Fig. 1. Geometry of a two-dimensional smoothly irregular waveguide transition between two regular waveguides.

Download (37KB)
3. Рис. 2. The values of ohoj (ohoj j (z)), j = 1..4 for Z áho [0, L].

Download (103KB)
4. Fig 3. Values J (Yj (z)), j = 1..4 for z E [0, L].

Download (108KB)
5. Fig. 4. Residuals dj(z), j = 1..4 for z e [0,L] with abserr and relerr values equal to 10-10.

Download (191KB)
6. Fig. 5. Residuals dj(z), j = 1..4 for z e [0,L] with abserr and relerr values equal to 10-12.

Download (211KB)

Copyright (c) 2024 Russian Academy of Sciences

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».