CC BY
6
2021, Т. 163, кн. 1 С. 5-20
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
ОРИГИНАЛЬНАЯ СТАТЬЯ
УДК 517.958 (М: 10.26907/2541-7746.2021.1.5-20
СХОДИМОСТЬ МЕТОДА ГАЛЕРКИНА РЕШЕНИЯ НЕЛИНЕЙНОЙ ЗАДАЧИ О СОБСТВЕННЫХ МОДАХ МИКРОДИСКОВЫХ ЛАЗЕРОВ
А.И. Репина
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация
В работе рассмотрен метод численного решения задачи на собственные значения для уравнения Гельмгольца на плоскости, моделирующей лазерное излучение двумерных микродисковых резонаторов. Метод Галеркина применен к нелинейной задаче на собственные значения для голоморфной фредгольмовой оператор-функции, к которой сводится исходная краевая задача. Доказательство сходимости метода и оценки точности аппроксимации собственных значений основаны на общих результатах теории голоморфных оператор-функций и теории приближенных методов в проблеме собственных значений с нелинейным вхождением параметра.
Ключевые слова: микродисковый лазер, нелинейная задача на собственные значения, система граничных интегральные уравнений Мюллера, метод Галеркина
Введение
Микрорезонаторные лазеры изучаются уже на протяжении более двадцати лет [1, 2]. Большинство авторов традиционно использовали физическую модель, основанную на поиске комплексных собственных частот пассивных открытых микрорезонаторов. Обычно ее называют задачей на собственные значения относительно комплексной частоты (Complex Frequency Eigenvalue Problem, CFEP, [3]). Для анализа пороговых мод микрорезонаторных лазеров с активными зонами и вычисления вместе с вещественными частотами пороговых значений генерации излучения сейчас широко применяется так называемая лазерная задача на собственные значения (Lasing Eigenvalue Problem, LEP, [4-8]). Существенный прогресс в развитии численных методов для моделирования двумерных микродисковых лазеров был достигнут в работе [9]. В ней LEP была сведена к нелинейной задаче на собственные значения для системы граничных интегральных уравнений Мюллера [10], которая была решена приближенно методом Нистрема. Аналогичный подход применялся и для анализа собственных мод пассивных открытых резонаторов в рамках CFEP [3]. Авторы этих статей сосредоточили основное внимание на обсуждении алгоритмических особенностей предложенных ими методов и физической интерпретации результатов вычислений.
Вместе с тем в работе [11] было проведено математическое исследование качественных свойств спектра как задачи на собственные значения с комплексной частотой, так и лазерной задачи на собственные значения, а также представлено доказательство сходимости метода Нистрема. Рассуждения в [11] опираются на фундаментальные результаты теории голоморфных оператор-функций (см., например, [12]). Концепция нелинейных задач на собственные значения для голоморфных фредгольмовых оператор-функций лежит и в основе теории дискретной сходимости, разработанной для численного анализа приближенных методов
решения таких задач [13, 14]. Ее общие результаты использовались для доказательства сходимости самых разнообразных численных алгоритмов решения конкретных нелинейных задач на собственные значения во многих приложениях (см., например, обзор в [11]). В статье [11] эти результаты были использованы для доказательства сходимости метода Нистрема в рамках моделей CFEP и LEP. С этой целью в [11] была предложена более общая задача на собственные значения для уравнения Гельмгольца на плоскости, чем CFEP и LEP. Она содержит обе из них как частные случаи и была названа обобщенной задачей на собственные значения относительно комплексной частоты (Generalized CFEP, GCFEP).
Для численного решения исследованной в [11] задачи было предложено использовать метод Галеркина с тригонометрическим базисом [15]. Для микродисковых лазеров круглой формы с круглыми отверстиями этот метод оказался существенно более эффективным, чем метод Нистрема, что позволило рассчитать спектральные характеристики таких (микрокольцевых) резонаторов различных конфигураций [16-19]. За счет того, что в этом частном случае в [15] были получены явные выражения для матричных элементов метода Галеркина, скорость вычислений удалось увеличить на порядок по сравнению с методом Нистрема, реализованным для расчета двумерных микрокольцевых лазеров в [20], однако до сих пор теоретического обоснования применения метода Галеркина для решения задачи GCFEP проведено не было.
Основная идея настоящей работы - доказательство сходимости метода Галер-кина для GCFEP. Обоснованный в работе [11] метод Нистрема является специальным вариантом метода квадратур, разработанным изначально в [28] для численного решения интегральных уравнений с логарифмическими ядрами. Исследование сходимости метода Нистрема в [11] проводится в банаховом пространстве непрерывных функций и опирается на теорию коллективной компактности и поточечной сходимости последовательности операторов [28]. В настоящей работе метод Галер-кина с тригонометрическим базисом обосновывается в гильбертовом пространстве интегрируемых с квадратом функций. Это позволяет использовать классические свойства проекционных операторов, что делает доказательство теорем проще и короче. Формулировка краевой задачи и ее операторная постановка описываются в первом разделе статьи. Во втором разделе с помощью метода Галеркина строится последовательность конечномерных голоморфных оператор-функций, которая регулярно сходится к исходной фредгольмовой голоморфной оператор-функции. Это позволяет применить общие методы теории дискретной сходимости [13] к численному анализу метода Галеркина (теорема 1). Затем на основе фундаментальных результатов статьи [14] даются оценки скорости сходимости приближенных собственных значений к точным (теорема 2).
1. Операторная формулировка GCFEP
Прежде всего, следуя [11], сформулируем обобщенную задачу на собственные значения с комплексной частотой для двумерного оптического микрорезонатора произвольной формы (см. рис. 1). Постановка задачи основана на двух физических моделях излучения двумерных микродисковых лазеров: CFEP и LEP (см., например, [3] и [9] соответственно). Предполагаем, что векторы напряженности электрического E = (E\, E2, E3) и магнитного H = (Hi,H2, H3) полей изменяются со временем t по гармоническому закону ~ exp (-ikct), где к - комплексное волновое число, c - скорость света в вакууме. Считаем также, что вектор-функции E и H не меняются вдоль оси Х3 и могут быть охарактеризованы с помощью одной скалярной функции u, которая является компонентой E3 или H3 в зависимости от
Рис. 1. Геометрия двумерного микродискового лазера
Е- или Н-поляризации соответственно. Предположим, что все рассматриваемые материалы немагнитны и их свойства описываются показателем преломления V. Обозначим показатель преломления в ограниченной области 01 через V = а — г^. Здесь а > 0 - известная действительная часть комплексного числа V, 7 € К - коэффициент потерь или усиления (вещественный параметр задачи). Показатель преломления в неограниченной области О2 = К \ О известен и положителен, vo > 0.
Обозначим через До минимальный радиус окружности 0д0 с центром в начале координат такой, что область О целиком лежит в 0д0. Мы предполагаем, что граница Г микрорезонатора является дважды непрерывно дифференцируемой замкнутой кривой. Обозначим единичный вектор внешней нормали к этой границе через п, через и - пространство всех комплекснозначных функций, непрерывных на О1 и О2 и дважды непрерывно дифференцируемых в открытых областях О и О2, через Ъ - риманову поверхность функции 1п к.
Определение 1. Пусть значение параметра 7 € К фиксировано. Ненулевая функция и € и называется собственной функцией ССЕЕР, соответствующей собственному значению к € Ъ, если выполняются следующие соотношения:
уравнения Гельмгольца
Ди + кЦи = 0, х € Ди + к20и = 0, х € 02,
условия сопряжения
и = и+,
ди
ди+
дп П0 дп
х Г,
и парциальные условия излучения [21, 22]
((г,^)= ^ аН\ (к0г) г > Д0
(1) (2)
(3)
(4)
Здесь к- = kvj - волновое число в соответствующей области, Пз = V- в случае Н-поляризации и п- = 1 для Е-поляризованного поля, ] = г или о. Как обычно, Н(1) - функция Ханкеля первого рода порядка I; (г,ф) - полярные координаты точки х; и-(и+) - предельные значения функции и изнутри (извне) контура Г. Следуя [23, с. 68], предполагаем, что предельные значения (правильной) нормальной производной
ди±
дп
(х)
Иш (п(х), gradи(х ± Нп(х)), н^+о
х Г,
существуют равномерно по х на Г. Для любого решения и уравнения (2) в неограниченной области ряд (4) сходится равномерно и абсолютно в любой замкнутой области а < г < Ь, где а и Ь - произвольные числа такие, что До < а < Ь < ж; и этот ряд бесконечное число раз почленно дифференцируем (см., например, [22]).
Необходимо найти собственные значения к на проколотой в точке ветвления к = 0 бесконечно-листной римановой поверхности Ь логарифма, поскольку функции Ханкеля Н(1\к^ог) являются многозначными функциями переменной к, при этом мы хотим их рассматривать как аналитические (см. например, [22]). Обозначим через Ьо главный лист римановой поверхности Ь с разрезом вдоль отрицательной мнимой полуоси. Если к € Ьо и одновременно 1т к > 0 (< 0), то собственная функция и экспоненциально убывает (растет) при г ^ ж [22]. Если 1т к = 0,
то условие излучения (4) эквивалентно [22] условию излучения Зоммерфельда
д к \ ( 1
---гка и = о —=
дг г
Собственные значения к зависят от параметра 7 € К [11]. Если он неположителен, то резонатор является пассивным (без потерь или с поглощением соответственно). При 7 < 0 формулировка задачи ССЕЕР в точности совпадает с постановкой СЕЕР [3]. В этом случае, как известно из теоремы Пойнтинга (см., например, [3]), все собственные значения к расположены строго в нижней половине листа Ьо, то есть 1т к < 0. При положительном 7, соответствующем коэффициенту усиления активного вещества микродискового лазера, некоторые собственные значения к могут принадлежать действительной оси и верхней половине Ьо. Если для некоторого ^ > 0 существует собственное значение к > 0, то пара (к, 7) и соответствующая собственная функция и удовлетворяют всем условиям задачи ЬЕР [9]. Важно отметить, что эти значения 7 различны для разных к [11].
В работе [11] получен важный результат относительно локализации собственных значений к на главном листе Ьо римановой поверхности Ь. А именно, для каждого 7 € К положительная мнимая полуось 1+ листа Ьо не содержит собственных значений к задачи (1)-(4). Аналогичные результаты в теории диэлектрических волноводов были получены в [24-26].
Опишем, как в [11] задача (1)-(4) сводится к нелинейной задаче на собственные значения для системы граничных интегральных уравнений. Пусть фиксировано некоторое значение параметра 7 € К. Если и - собственная функция задачи (1)-(4), соответствующая собственному значению к € Ь, то, как доказано в [11], справедливы следующие интегральные представления:
и = _1{и-(у) ^^^ — а>(к,г, х,у) М(у), х € (5)
г
г
г
+ /„. \дСа(к; х,у) ^ лди+(у)
и =' 1 (у)—дПу)— Со(к] х,у) дп(у) ' а1(У), х € ^2> (6)
где О^ (х,у) = 4 Н(1)(к^ \х — у\), ] = г или о. Используя (3), определим функции
+ По + Пг ди+ По + Пг ди-
и = и+ = и , V = —---— = —---—, х € Г.
¿Пг дп ¿по дп
Складывая почленно предельные значения интегралов (5), (6) и их нормальных производных с обеих сторон контура Г и используя хорошо известные свойства
потенциалов простого и двойного слоя (см., например, [23, с. 47]), получаем следующую однородную систему интегральных уравнений относительно функций u и v:
u + J Ki,i(k, y; x,y)u(y) dl(y) + J Klfi(k,Y; x,y)v(y) dl(y)=0, x e Г, (7)
г г
v + j K2,i(k, y; x,y)u(y) dl(y) + j K2,2(k,Y; x, y)v(y) dl(y) = 0, x e Г. (8) гг Здесь ядра определяются выражениями
K^ikY; xy) = dGi(k; x ,y) - dG°(k>Y; x,y) xye Г (9)
Kl'l(k,Y; x,y) dn(y) dn(y) , x,y e Г (9)
Ki,2(k, Y; x, y) = 2Пг Go(k,Y; x,y)--Gi(k; x,y), x,y e Г, (10)
Vo + Vi Vo + Vi
32Gi(k; x,y) 32Go(k,Y; x,y)
K2 i(k,Y;x,y) ^-—-, x, y e Г, (11)
' ' ' ' dn(x)dn(y) dn(x)dn(y) ' ' '
v ,, ) 2Vi dGo(k,Y; x,y) 2no dGi(k; x,y)
K2,2{k, Y; x, y) = -:---к-г-s---,--rr^-, x,y e Г■ (12)
По + Vi on(x) По + Vi on(x)
Система уравнений (7), (8) называется системой граничных интегральных уравнений Мюллера (см., например, [9]).
Следующее утверждение доказано в [27]. Для всех k e L, y e К и x e Г справедливы предельные выражения
vv n ) 0 v Ki,2(k,Y; x,y) (Vo — Vi) По\
lim Kii(k,Y; x,y) = 0, lim—-.— = —----, (13)
y^x y^x ln \x — y\ n(no + V-i)
K2,i(k,Y; x,y) k1 — k1 r^ П ) £(x) f Vo — Vi\ ПлЛ
.hm_ Li. ..i = , lim K2,2(k,Y;x,y) = ^\ -—-), (14)
y^x ln \x — y\ 4п ' y^x ' ' ' ' 2п \По + Vi J '
где £ — кривизна кривой Г в точке x.
Как обычно, через С(Г) обозначим банахово пространство непрерывных на Г функций с максимум нормой (см., например, [28, с. 3]),
IMIro = max \u(x)\.
Введем в рассмотрение следующие интегральные операторы с ядрами (9)—(12):
(Bi'j (k,Y)wj )(x) = J Kij (k, y; x,y)wj (y) dl(y), x e Г, (15)
г
где k e L и y e К. Из равенств (13), (14) вытекает (см., например, теорему 2.8 и задачу 2.3, [28, с. 17, 27]), что для каждого k e L и y e К операторы Bi, j : С(Г) ^ C(Г) ограничены по норме:
IIBi'j(k,Y)|TO =maax f \Ki'j(k,Y; x,y)\dl(y), = 1 2
г
Более того, эти интегральные операторы компактны (см., например, теорему 2.23 [28, с. 26]). Отсюда следует [11], что для всех k e L и y e К компактен оператор B, действующий в пространстве W = С (Г) х С (Г) и определенный равенством
B(k, y)W =
bi л(кл) bi 2 2(k,y)
b2 ,i(k, y) b2 , 2(k,y)
u
v
w = (u,v)T, u, v € C(Г). (16)
Теперь перепишем систему (7), (8) в виде однородного операторного уравнения
w + B(k, y)w = 0. (17)
В [11] доказано следующее утверждение. Пусть фиксировано некоторое значение параметра y g R. Если u G U — собственная функция задачи (1)—(4), отвечающая собственному значению k G L, то вектор
( + По + Vi du+\ T f _ По + Vi du~\ T
w = u ,---— = [u ,---—
V 2r/i дп ) V 2Vo dn )
принадлежит пространству W и является нетривиальным решением однородного уравнения (17) с теми же самыми значениями k и y .
Зафиксируем некоторое значение y G R и положим A(k) = I + B(k), где, как обычно, I : W ^ W — тождественный оператор, а B(k) : W ^ W определен равенством (16). Этот оператор компактен, следовательно, A(k) фредгольмов по определению. Обозначим через L(W, W) пространство всех ограниченных линейных операторов, действующих из W в W .
Оператор-функция A(k) G W) называется голоморфной по k G L, если ее можно представить в виде степенного ряда
A(k) = Y, Ap(k - ko)p, Ap gC(W,W),
p=0
сходящегося на L(W,W) в окрестности каждой точки ko G L. В [11] доказано, что оператор-функция A(k) = I + B(k) G L(W, W), определенная равенством (16), голоморфна по k G L для каждого фиксированного y G R.
Определение 2. Ненулевой вектор w G W называется собственным вектором оператор-функции A(k), отвечающим характеристическому значению k G L, если выполняется равенство
A(k)w = (I + B(k))w = 0. (18)
Множество a(A) всех k G L, для которых оператор A(k) не имеет ограниченного обратного оператора на W , называется характеристическим множеством A(k), а множество p(A) = {k G L : A(k) 1 G L(W, W)} — регулярным множеством оператор-функции A(k).
Следующие утверждения доказаны в статье [11].
1. Для каждого y G R регулярное множество оператор-функции A(k) непусто, а именно I+ С p(A).
2. Для каждого y G R характеристическое множество a(A) оператор-функции A(k) может быть только набором изолированных точек на L, которые являются характеристическими значениями оператор-функции A(k) конечной алгебраической кратности.
3. Каждое характеристическое значение k оператор-функции A(k) непрерывно зависит от y G R и может появляться и исчезать только на границе ее области аналитичности, то есть в нуле и на бесконечности на римановой поверхности L.
Первые два утверждения для y < 0 соответствуют CFEP, а предложение 3 описывает спектр LEP [11]. Если для некоторого y > 0 пересечение характеристического множества о~(Л) и положительной вещественной полуоси листа Lo непусто, то это пересечение может состоять лишь из изолированных точек k > 0, которые являются характеристическими значениями оператор-функции A(k) конечной алгебраической кратности.
2. Метод Галеркина
Опишем метод Галеркина численного решения задачи (18). Предположим, что контур Г задан параметрически функцией д(Ь] = (д^), §2(1)), где £ € [0, 2п\. Тогда для любого фиксированного значения 7 € К имеем
(Bt,m(k)wm) (x) = (B(lm)(k)w(m)) (t)
2п
= — i K(lm)(k; t,r)w(m)(r) dT, t G [0, 2п]. (19) 2n J
0
Здесь Bi m — интегральные операторы вида (15), где x = x(t), у = у(т) G Г,
K (lm)(k; t,T )=2nKitm(k; x,y), w(m)(T ) = wm(y) \д'(т )|, l, m = 1, 2.
При построении и исследовании метода Галеркина операторное уравнение (18) удобно трактовать как уравнение в гильбертовом пространстве H = L2 х L2, где L2 = L2(0, 2п) — пространство функций, интегрируемых с квадратом, скалярное произведение в котором, как обычно, имеет вид
2п
1
1 Г -
(u,v) = — u(t)v(t) dT, u, v G L2. 2n J
Тогда норма операторов (19) оценивается сверху с помощью неравенства Коши-Буняковского:
2п 2п
\\В(1 т)(к)\\12 < -^Л |к(1 т)(к; г,т )|2 Айт, I, т = 1, 2. (20)
о о
Через Тп обозначим подпространство пространства Ь2 - множество всех тригонометрических полиномов с комплексными коэффициентами степени не выше п. Тогда Нп = Тп х Тп - подпространство пространства Н, состоящее из элементов вида
ып = ^(2) , ^ € Тп.
\ып /
Пусть рп : Н ^ Нп - оператор проектирования, определенный равенством
{$riw(1)\ (1) (2) ^ г
Pnw = U„w(2)J , w ,w G L2,
где Фп : L2 ^ Tn — оператор Фурье,
(®nw(m))(t) = Y, Cq(w(m))pq(t), m = 1, 2.
q= — n
Векторы (£) = ехр(^ф), q = -п,...,п, образуют ортонормированный базис в пространстве Тп. Ясно, что, как и для любого другого оператора проектирования,
\\Рп\\ип = 1. (21)
Запишем теперь операторное уравнение (18) подробнее в виде следующей системы уравнений:
2
ш(1) В(1,т)(к)ш(т) =0, I =1, 2. (22)
т= 1
Приближенное решение шп = , Шг}1 € Тп системы (22) будем
искать в виде
п
™Пг)(!)=^2 т = 1,2-
д=-п
Тогда
2
шЩ) В{1'т)(к)шПп) =0, I = 1, 2, п € N.
т=1
Вычислим неизвестные коэффициенты а(т) по методу Галеркина из условий
2
(4° + Е (в(1т)(к)шПт),ъР) =0, р = -п,...,п, (23)
т=1
где I = 1, 2. Поскольку тригонометрические функции ортонормированы, мы можем переписать уравнения (23) в виде следующей системы линейных алгебраических уравнений:
2п
а<р) + ^ Е к<Рят)(к)а{сГ) =0, Р = -п,...,п, (24)
т=1 д=-п
где I = 1, 2,
2п 2п
ЬрГ)(к) = -П2/I К(1'т)(к; ^т) ехр(—р^ exp(iqт) <Ив,т.
о о
Система линейных алгебраических уравнений (24) эквивалентна конечномерному линейному операторному уравнению
Ап(к)шп = РпА(к)шп = (I + РпВ(к))шп = (I + Вп(к))шп = 0. (25)
Здесь к € Ь, Ап : Нп ^ Нп, I - единичный оператор в пространстве Нп. Как и прежде, обозначим через р(Ап) и а(Ап) регулярное и характеристическое множества оператор-функции Ап(к) соответственно. Кроме того, N''',... -бесконечные последовательности множества всех натуральных чисел N.
Определение 3. Приближением по методу Галеркина к решению задачи (18) будем называть характеристические значения и собственные векторы оператор-функции Ап(к), определенной равенством (25).
Теорема 1. Для каждого фиксированного .значения параметра 7 € К последовательность оператор-функций Ап(к) на Ь регулярно сходится к оператор-функции А(к). Кроме того, справедливы следующие утверждения.
1. Для любого характеристического .значения ко оператор-функции А(к) существует некоторая последовательность характеристических значений {кп}пеы оператор-функций Ап(к), сходящаяся к ко при п ^ ж, п € N.
2. Пусть {kn}neN - некоторая последовательность характеристических значений kn оператор-функций An(k), а {wn}neN - последовательность соответствующих нормированных собственных векторов оператор-функций An (k) таких, что kn ^ ko € L при n ^ ж, n € N. Тогда
a) ko - характеристическое значение оператор-функции A(k),
b) {wn}neN - дискретно компактная последовательность и ее предельные точки - нормированные собственные векторы оператор-функции A(ko).
3. На каждом компакте Lo С p(A) последовательность {An(k)}neN стабильна, иными словами, существуют такие числа n(Lo) и c(Lo), зависящие от этого компакта, что Lo С p(An), ||An(k) 1У„ < c(Lo) для всех k € Lo
II I I H n
и n > n(Lo).
Доказательство теоремы основано на общих результатах теории дискретной сходимости [13], потому предварим его некоторыми определениями из этой статьи.
Говорят, что последовательность {wn}neN> векторов из пространства Hn дискретно сходится к пределу w € H, если \\wn — pnw\\Hn ^ 0 при n ^ ж, n € N'. Дискретную сходимость векторов будем обозначать как обычно: wn ^ w (n € N').
Последовательность элементов {wn}neN> называется дискретно компактной, если для каждой подпоследовательности {wn}neN>>, N" С N', существуют такое подмножество NС N" и такой вектор w € H, что wn ^ w (n € N"').
Пусть дан оператор A € L(H,H) и последовательность операторов {An}neN, где An € L(Hn, Hn). Говорят, что последовательность операторов {An}neN аппроксимирует оператор A, если для любого вектора w € H имеем
\\AnPnw — PnAw\\Hn ^ 0 (n ^ ж).
Если из дискретной сходимости векторов wn ^ w (n € N) следует дискретная сходимость их образов Anwn ^ Aw (n € N), то говорят что последовательность операторов {An}neN дискретно сходится к A.
Последовательность операторов {An}n N регулярна, если из ограниченности последовательности векторов {wn}neN, то есть из оценки ||wn ||нп < const (n € N) , и из дискретной компактности последовательности их образов {Anwn}n N следует дискретная компактность исходной последовательности векторов {wn}n N . Если последовательность операторов {An}n N регулярна и при этом аппроксимирует оператор A, то говорят, что она регулярно аппроксимирует A. Аналогично определяется регулярная сходимость последовательности операторов.
Говорят, что последовательность оператор-функций {An(k)}n^N регулярно сходится на L к оператор-функции A(k), если для каждой сходящейся числовой последовательности kn ^ ko € L (n ^ ж) последовательность операторов {An(kn)}n^N регулярно сходится к оператору A(ko).
Доказательство. Проверим, что в рассматриваемом нами случае выполняются все условия bl) -b5) [13, теоремы 2].
bl) Оператор-функция A(k) : H ^ H голоморфна и фредгольмова на L, а ее регулярное множество непусто. Голоморфность и фредгольмовость A(k) : W ^ W доказаны в теоремах 4.3 и 4.1 [11] соответственно. Для A(k) : H ^ H эти свойства устанавливаются аналогично с заменой оценок всех норм в пространстве непрерывных функций W на соответствующие оценки в пространстве функций, интегрируемых с квадратом H.
В теореме 5 работы [29] установлено, что при любом k € I+ уравнение (18) имеет лишь нулевое решение в пространстве W. Оператор B(k) слабо сингулярен,
следовательно, любое решение уравнения (18) из Н обязательно принадлежит пространству Ш и может быть только тривиальным при к € 1+. Оператор-функция А(к) : Н ^ Н фредгольмова, значит, для нее 1+ С р(А).
Ь2) При любом п € N оператор-функция Ап(к) : Нп ^ Нп голоморфна и фредгольмова на Ь. Действительно, оператор-функция А(к) : Н ^ Н голоморфна на Ь .В силу линейности и ограниченности оператора рп таким же свойством обладает и Ап(к) = рпА(к) : Нп ^ Нп. Фредгольмовость оператор-функции Ап(к) очевидна в силу ее конечномерности.
Ь3) На каждом компакте Ьо С Ь нормы ||Ап(к)||ип ограничены равномерно по п € N и к € Ьо. Действительно, из определения оператора Ап(к) и равенства (21) вытекает оценка
ЦАп(к)11нп <ЦА(к)Ци, п € N к € Ь,
а в силу (20) верна оценка
ЦА(к)Ци < с(к), к € Ь, (26)
где с(к) - непрерывная на Ь функция:
2 / 2п 2п \ 112
с(к) = 1+2П £[[[\к(1'т)(к; ^т )|2 вАвгг ) .
П к>1=Ло о )
Нетрудно видеть, что для завершения проверки требуемого свойства достаточно вычислить максимум функции с(к) на каждом компакте Ьо С Ь.
Ь4) Для каждого фиксированного значения к € Ь последовательность операторов {Ап(к)}пен аппроксимирует оператор А(к). Действительно, по определению операторов А(к) : Н ^ Н и рп : Н ^ Нп, для любого вектора ш € Н имеем
ЦАп(к)рпШ - рпА(к)шЦип = ЦрпА(к)рпш - рпА(к)шЦип <
< ЦрпЦи—ипЦА(к)ЦиЦрп-ш - ш11н ^ 0(п € Ю .
Стремление к нулю - следствие стремления к нулю нормы остаточного члена отрезка ряда Фурье для любой функции из Ь2, оценки (26) и равенства (21).
Ь5) Для каждого фиксированного значения к € Ь последовательность операторов {Ап(к)}пеН регулярна. Действительно, дискретная компактность последовательности векторов {Ап(к)шп}позначает, что для любого N' С N существует такое N'' С N', что последовательность {Ап(к)шп = шп + Вп(к)шп}п'' дискретно сходится к некоторому г € Н. Если последовательность {шп} '' ограничена, то существует слабо сходящаяся подпоследовательность {шп}пе^''', N''' С N''. Вполне непрерывный оператор В (к), как известно, переводит ее в сильно сходящуюся к некоторому вектору и € Н:
ЦВ(к)и,п - иЦИ ^ 0, п € N'''.
Отсюда в силу неравенства
ЦВп(к)шп - рпиЦип < Цр п Н И —► Ип НВ(к)шп - и^И
и равенства (21) следует, что последовательность {Впшп}п''' дискретно сходится к и € Н. Таким образом, {шп}пеN''' дискретно сходится к вектору ш = г - и € Н,
и определение регулярности последовательности {Ап(к)}пеН выполнено.
^ □
Оператор проектирования рп : Н ^ Нп линейный, поэтому следующая теорема непосредственно вытекает из теоремы 2 и замечания 1 работы [14, с. 394, 395].
Теорема 2. Пусть .значение параметра 7 € К фиксировано, а Ьо С Ь - такой компакт с границей Г С р(Л), что Ьо П а(Л) = {ко} • Обозначим символом еп максимальную ошибку аппроксимации при к € Г и т € 0(Л,ко),
£п = вир{\\Лп(к)рпт — рпЛ(к)т\\Нп : к € Г, т € С(Л, ко), |И|н = 1}.
Здесь 0(Л,ко) - обобщенное собственное подпространство, соответствующее характеристическому .значению ко, то есть .замкнутая линейная оболочка всех обобщенных собственных векторов оператор-функции Л(к), отвечающих ко • Тогда £п ^ 0 (п ^ ж), и .за исключением конечного числа таких п € N справедливы следующее оценки:
a) \кп — ко | < се\/к, для всех кп € а(Лп)[^\ Ьо, где к = к(ко,Л) порядок полюса оператор-функции Л- 1(к);
b) \кп — ко \ < сеп, где кп - среднее всех характеристических .значений оператор-функции Лп(к), лежащих в компакте Ьо, взвешенное пропорционально их алгебраическим кратностям и(Лп, кп),
к = к У(Лп, кп)
= ^ V(Л, ко) ,
где и(Л, ко) - алгебраическая кратность характеристического .значения ко оператор-функции Л(к) •
c) т'лх{\кп — ко\ : кп € а(Лп) П Ьо} < сеП/1п, где 1п - общее число попарно разных характеристических .значений оператор-функции Лп(к), лежащих в компакте Ьо •
Благодарности. Работа выполнена за счет средств Программы стратегического академического лидерства Казанского (Приволжского) федерального университета.
Литература
1. Du W, Li C, Sun J., Xu H., Yu P., Ren A., Wu J., Wang Z. Nanolasers based on 2D materials // Laser Photonics Rev. - 2020. - V. 14, No 12. - Art. 2000271, P. 1-16. - doi: 10.1002/lpor.202070066.
2. Nosich A.I., Smotrova E.I., Boriskina S.V., Benson T.M., Sewell P. Trends in microdisk laser research and linear optical modelling // Opt. Quantum Electron. - 2007. - V. 39, No 15. - P. 1253-1272. - doi: 10.1007/s11082-008-9203-z.
3. Boriskina S.V., Sewell P., Benson T.M., Nosich A.I. Accurate simulation of two-dimensional optical microcavities with uniquely solvable boundary integral equations and trigonometric Galerkin discretization //J. Opt. Soc. Am. A. - 2004. - V. 21, No 3. -P. 393-402. - doi: 10.1364/josaa.21.000393.
4. Smotrova E.I., Nosich A.I. Mathematical study of the two-dimensional lasing problem for the whispering-gallery modes in a circular dielectric microcavity // Opt. Quantum Electron. - 2004. - V. 36, No 3. - P. 213-221. - doi: 10.1023/B:0QEL.0000015641.19947.9c.
5. Spiridonov A.O., Karchevskii E.M., Benson T.M., Nosich A.I. Why elliptic microcavity lasers emit light on bow-tie-like modes instead of whispering-gallery-like modes // Opt. Commun. - 2019. - V. 439. - P. 112-117. - doi: 10.1016/j.optcom.2019.01.056.
6. Zolotukhina A.S., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Lasing modes of a microdisk with a ring gain area and of an active microring // Opt. Quantum Electron. -2015. - V. 47, No 12. - P. 3883-3891. - doi: 10.1007/s11082-015-0240-0.
7. Zolotukhina A.S., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Electromagnetic analysis of optimal pumping of a microdisk laser with a ring electrode // Appl. Phys. B: Lasers Opt. - 2017. - V. 123, No 1. - Art. 32, P. 1-6. - doi: 10.1007/s00340-016-6625-3.
8. Spiridonov A.O., Karchevskii E.M. Mathematical and numerical analysis of the spectral characteristics of dielectric microcavities with active regions // Proc. Int. Conf. Days in Diffraction (DD-2016). - IEEE, 2016. - P. 390-395. - doi: 10.1109/DD.2016.7756880.
9. Smotrova E.I., Tsvirkun V., Gozhyk I., Lafargue C., Ulysse C., Lebental M., Nosich A.I. Spectra, thresholds, and modal fields of a kite-shaped microcavity laser //J. Opt. Soc. Am. B. - 2013. - V. 30, No 6. - P. 1732-1742. - doi: 10.1364/J0SAB.30.001732.
10. Muller C. Foundations of the Mathematical Theory of Electromagnetic Waves. - Berlin; Heidelberg: Springer, 1969. - 356 p.
11. Spiridonov A.O., Oktyabrskaya A.O., Karchevskii E.M., Nosich A.I. Mathematical and numerical analysis of the generalized complex-frequency eigenvalue problem for two-dimensional optical microcavities // SIAM J. Appl. Math. - 2020. - V. 80, No 4. - P. 19771998. - doi: 10.1137/19M1261882.
12. Kozlov V., Maz'ya V. Differential Equations with Operator Coefficients with Applications to Boundary Value Problems for Partial Differential Equations. - Heidelberg: Springer, 1999. - 444 p.
13. Karma O. Approximation in eigenvalue problems for holomorphic Fredholm operator functions I // Numer. Funct. Anal. Optim. - 1996. - V. 17, No 3-4. - P. 365-387. - doi: 10.1080/01630569608816699.
14. Karma O. Approximation in eigenvalue problems for holomorphic Fredholm operator functions II (convergence rate) // Numer. Funct. Anal. Optim. - 1996. - V. 17, No 3-4. -P. 389-408. - doi: 10.1080/01630569608816700.
15. Oktyabrskaya A.O., Repina A.I., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Numerical modeling of on-threshold modes of eccentric-ring microcavity lasers using the Muller integral equations and the trigonometric Galerkin method // Opt. Commun. -2020. - V. 476. - Art. 126311, P. 1-9. - doi: 10.1016/j.optcom.2020.126311.
16. Repina A.I., Oktyabrskaya A.O., Ketov I.V., Karchevskii E.M. Laser modes of active eccentric microring cavities // Proc. Int. Conf. on Transparent Optical Networks (ICTON-2020). - IEEE, 2020. - P. 1-4. - doi: 10.1109/ICTON51198.2020.9203752.
17. Repina A.I., Oktyabrskaya A.O. Mathematical modeling of photonic crystal resonators based on the Lasing Eigenvalue Problem // Proc. Int. Conf. on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA-2019). - 2019. -P. 472-477. - doi: 10.1109/SUMMA48161.2019.8947540.
18. Repina A.I., Oktyabrskaya A.O., Karchevskii E.M. Unidirectional emission of active eccentric microring cavities // Proc. 2020 IEEE East-West Design & Test Symp. (EWDTS-2020). - 2020. - P. 274-278. - doi: 10.1109/EWDTS50664.2020.9225153.
19. Oktyabrskaya A.O., Repina A.I., Karchevskii E.M. Laser modes of active circular microcavity with circular piercing hole // Proc. Int. Conf. on Electronics and Nanotechno-logy (ELNANO-2020). - 2020. - P. 207-210. - doi: 10.1109/ELNANO50318.2020.9088894.
20. Spiridonov A.O., Karchevskii E.M., Nosich A.I. Mathematical and numerical modeling of on-threshold modes of 2-D microcavity lasers with piercing holes // Axioms. - 2019. -V. 8, No 3. - Art. 101, P. 1-16. - doi: 10.3390/axioms8030101.
21. Reichardt H. Ausstrahlungsbedingungen fur die Wellengleihung // Abh. Math. Semin. Hamburg. - 1960. - V. 24. - P. 41-53.
22. Kartchevski E.M., Nosich A.I., Hanson G.W. Mathematical analysis of the generalized natural modes of an inhomogeneous optical fiber // SIAM J. Appl. Math. - 2005. - V. 65, No 6. - P. 2033-2048.
23. Colton D, Kress R. Integral Equation Methods in Scattering Theory. - Philadelphia, SIAM, 2013. - xvi, 271 p.
24. Frolov A., Kartchevskiy E. Integral equation methods in optical waveguide theory // Springer Proc. Math. Stat. - 2013. - V. 52. - P. 119-133.
25. Karchevskii E.M. The fundamental wave problem for cylindrical dielectric waveguides // Diff. Equat. - 2000. - V. 36, No 7. - P. 1109-1111. - doi: 10.1007/BF02754515.
26. Spiridonov A.O., Karchevskii E.M. Projection methods for computation of spectral characteristics of weakly guiding optical waveguides // Proc. Int. Conf. Days in Diffraction (DD-2013). - 2013. - P. 131-135. - doi: 10.1109/DD.2013.6712817.
27. Spiridonov A.O., Karchevskii E.M., Nosich A.I. Rigorous formulation of the lasing eigenvalue problem as a spectral problem for a Fredholm operator function // Lobachevskii J. Math. - 2018. - V. 39, No 8. - P. 1148-1157. - doi: 10.1134/S1995080218080127.
28. Kress R. Linear integral equations // Springer Monographs in Mathematics. V. 82. -N. Y.: Springer, 1999. - XVI, 412 p. - doi: 10.1007/978-1-4614-9593-2.
29. Oktyabrskaya A.O., Spiridonov A.O., Karchevskii E.M. Muller boundary integral equations for solving generalized complex-frequency eigenvalue problem // Lobachevskii J. Math. - 2020. - V. 41, No 7. - P. 1377-1384. - doi: 10.1134/S1995080220070343.
Поступила в редакцию 15.01.21
Репина Анна Игоревна, аспирант кафедры прикладной математики, ассистент кафедры системного анализа и информационных технологий Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: airepinas@gmail.com
ISSN 2541-7746 (Print)
ISSN 2500-2198 (Online)
UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI
(Proceedings of Kazan University. Physics and Mathematics Series)
2021, vol. 163, no. 1, pp. 5-20
ORIGINAL ARTICLE doi: 10.26907/2541-7746.2021.1.5-20
Convergence of the Galerkin Method for Solving a Nonlinear Problem of the Eigenmodes of Microdisk Lasers
A.I. Repina
Kazan Federal University, Kazan, 420008 Russia E-mail: airepinas@gmail.com
Received January 15, 2021 Abstract
This paper investigates an eigenvalue problem for the Helmholtz equation on the plane modeling the laser radiation of two-dimensional microdisk resonators. It was reduced to an eigenvalue problem for a holomorphic Fredholm operator-valued function A(k). For its numerical solution, the Galerkin method was proposed, and its convergence was proved. Namely, a sequence of the finite-dimensional holomorphic operator functions An(k) that converges regularly to A(k) was constructed. Further, it was established that there is a sequence of eigenvalues kn of the operator-valued functions An(k) converging to k0 for each eigenvalue k0 of the operator-valued function A(k). If {k„}„^N is a sequence of eigenvalues of the operator-valued functions An (k) converging to a number of k0 , then k0 is an eigenvalue of A(k). The estimates for the rate of convergence of {k„}„^N to k0 depend either on the order of the pole k0 of the operator-valued function A_1(k), or on the algebraic multiplicities of all eigenvalues of An (k) in a neighborhood of k0, or on the number of different eigenvalues of An(k) in this neighborhood. The reasoning is based on the fundamental results of the theory of holomorphic operator-valued functions and is important for the theory of microdisk lasers, because it significantly expands the class of devices interesting for applications that allow mathematical modeling based on numerical methods that are strictly justified.
Keywords: microdisk laser, nonlinear eigenvalue problem, system of Muller boundary integral equations, Galerkin method
Acknowledgments. The study was supported by the Kazan Federal University Strategic Academic Leadership Program.
Figure Captions
Fig. 1. Geometry of a two-dimensional microdisk resonator.
References
1. Du W., Li C., Sun J., Xu H., Yu P., Ren A., Wu J., Wang Z. Nanolasers based on 2D materials. Laser Photonics Rev., 2020, vol. 14, no. 12, art. 2000271, pp. 1-16. doi: 10.1002/lpor.202070066.
2. Nosich A.I., Smotrova E.I., Boriskina S.V., Benson T.M., Sewell P. Trends in microdisk laser research and linear optical modelling. Opt. Quantum Electron., 2007, vol. 39, no. 15, pp. 1253-1272. doi: 10.1007/s11082-008-9203-z.
3. Boriskina S.V., Sewell P., Benson T.M., Nosich A.I. Accurate simulation of two-dimensional optical microcavities with uniquely solvable boundary integral equations and trigonometric Galerkin discretization. J. Opt. Soc. Am. A, 2004, vol. 21, no. 3, pp. 393-402. doi: 10.1364/josaa.21.000393.
4. Smotrova E.I., Nosich A.I. Mathematical study of the two-dimensional lasing problem for the whispering-gallery modes in a circular dielectric microcavity. Opt. Quantum Electron., 2004, vol. 36, no. 3, pp. 213-221. doi: 10.1023/B:0QEL.0000015641.19947.9c.
5. Spiridonov A.O., Karchevskii E.M., Benson T.M., Nosich A.I. Why elliptic microcavity lasers emit light on bow-tie-like modes instead of whispering-gallery-like modes. Opt. Commun., 2019, vol. 439, pp. 112-117. doi: 10.1016/j.optcom.2019.01.056.
6. Zolotukhina A.S., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Lasing modes of a microdisk with a ring gain area and of an active microring. Opt. Quantum Electron., 2015, vol. 47, no. 12, pp. 3883-3891. doi: 10.1007/s11082-015-0240-0.
7. Zolotukhina A.S., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Electromagnetic analysis of optimal pumping of a microdisk laser with a ring electrode. Appl. Phys. B: Lasers Opt., 2017, vol. 123, no. 1, art. 32, pp. 1-6. doi: 10.1007/s00340-016-6625-3.
8. Spiridonov A.O., Karchevskii E.M. Mathematical and numerical analysis of the spectral characteristics of dielectric microcavities with active regions. Proc. Int. Conf. Days in Diffraction (DD-2016). IEEE, 2016, pp. 390-395. doi: 10.1109/DD.2016.7756880.
9. Smotrova E.I., Tsvirkun V., Gozhyk I., Lafargue C., Ulysse C., Lebental M., Nosich A.I. Spectra, thresholds, and modal fields of a kite-shaped microcavity laser. J. Opt. Soc. Am. B, 2013, vol. 30, no. 6, pp. 1732-1742. doi: 10.1364/JOSAB.30.001732.
10. Muller C. Foundations of the Mathematical Theory of Electromagnetic Waves. Berlin, Heidelberg, Springer, 1969. 356 p.
11. Spiridonov A.O., Oktyabrskaya A.O., Karchevskii E.M., Nosich A.I. Mathematical and numerical analysis of the generalized complex-frequency eigenvalue problem for two-dimensional optical microcavities. SIAM J. Appl. Math., 2020, vol. 80, no. 4, pp. 1977-1998. doi: 10.1137/19M1261882.
12. Kozlov V., Maz'ya V. Differential Equations with Operator Coefficients with Applications to Boundary Value Problems for Partial Differential Equations. Heidelberg, Springer, 1999. 444 p.
13. Karma O. Approximation in eigenvalue problems for holomorphic Fredholm operator functions I. Numer. Funct. Anal. Optim., 1996, vol. 17, nos. 3-4, pp. 365-387. doi: 10.1080/01630569608816699.
14. Karma O. Approximation in eigenvalue problems for holomorphic Fredholm operator functions II (convergence rate). Numer. Funct. Anal. Optim., 1996, vol. 17, nos. 3-4, pp. 389-408. doi: 10.1080/01630569608816700.
15. Oktyabrskaya A.O., Repina A.I., Spiridonov A.O., Karchevskii E.M., Nosich A.I. Numerical modeling of on-threshold modes of eccentric-ring microcavity lasers using the Muller integral equations and the trigonometric Galerkin method. Opt. Commun., 2020, vol. 476, art. 126311, pp. 1-9. doi: 10.1016/j.optcom.2020.126311.
16. Repina A.I., Oktyabrskaya A.O., Ketov I.V., Karchevskii E.M. Laser modes of active eccentric microring cavities. Proc. Int. Conf. on Transparent Optical Networks (ICTON-2020). IEEE, 2020, pp. 1-4. doi: 10.1109/ICTON51198.2020.9203752.
17. Repina A.I., Oktyabrskaya A.O. Mathematical modeling of photonic crystal resonators based on the Lasing Eigenvalue Problem. Proc. Int. Conf. on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA-2019), 2019, pp. 472-477. doi: 10.1109/SUMMA48161.2019.8947540.
18. Repina A.I., Oktyabrskaya A.O., Karchevskii E.M. Unidirectional emission of active eccentric microring cavities. Proc. 2020 IEEE East-West Design & Test Symp. (EWDTS-2020), 2020, pp. 274-278. doi: 10.1109/EWDTS50664.2020.9225153.
19. Oktyabrskaya A.O., Repina A.I., Karchevskii E.M. Laser modes of active circular micro-cavity with circular piercing hole. Proc. Int. Conf. on Electronics and Nanotechnology (ELNANO-2020), 2020, pp. 207-210. doi: 10.1109/ELNANO50318.2020.9088894.
20. Spiridonov A.O., Karchevskii E.M., Nosich A.I. Mathematical and numerical modeling of on-threshold modes of 2-D microcavity lasers with piercing holes. Axioms, 2019, vol. 8, no. 3, art. 101, pp. 1-16. doi: 10.3390/axioms8030101.
21. Reichardt H. Ausstrahlungsbedingungen fur die Wellengleihung. Abh. Math. Semin. Hamburg, 1960, vol. 24, pp. 41-53. (In German)
22. Kartchevski E.M., Nosich A.I., Hanson G.W. Mathematical analysis of the generalized natural modes of an inhomogeneous optical fiber. SIAM J. Appl. Math., 2005, vol. 65, no. 6, pp. 2033-2048.
23. Colton D., Kress R. Integral Equation Methods in Scattering Theory. Philadelphia, SIAM, 2013. xvi, 271 p.
24. Frolov A., Kartchevskiy E. Integral equation methods in optical waveguide theory. Springer Proc. Math. Stat., 2013, vol. 52, pp. 119-133.
25. Karchevskii E.M. The fundamental wave problem for cylindrical dielectric waveguides. Diff. Equat., 2000, vol. 36, no. 7, pp. 1109-1111. doi: 10.1007/BF02754515.
26. Spiridonov A.O., Karchevskii E.M. Projection methods for computation of spectral characteristics of weakly guiding optical waveguides. Proc. Int. Conf. Days in Diffraction (DD-2013), 2013, pp. 131-135. doi: 10.1109/DD.2013.6712817.
27. Spiridonov A.O., Karchevskii E.M., Nosich A.I. Rigorous formulation of the lasing eigenvalue problem as a spectral problem for a Fredholm operator function. Lobachevskii J. Math., 2018, vol. 39, no. 8, pp. 1148-1157. doi: 10.1134/S1995080218080127.
28. Kress R. Linear integral equations. In: Springer Monographs in Mathematics. Vol. 82. New York, Springer, 1999. xvi, 412 p. doi: 10.1007/978-1-4614-9593-2.
29. Oktyabrskaya A.O., Spiridonov A.O., Karchevskii E.M. Muller boundary integral equations for solving generalized complex-frequency eigenvalue problem. Lobachevskii J. Math., 2020, vol. 41, no. 7, pp. 1377-1384. doi: 10.1134/S1995080220070343.
Для цитирования: Репина А.И. Сходимость метода Галеркина решения нели-/ нейной задачи о собственных модах микродисковых лазеров // Учен. зап. Казан. \ ун-та. Сер. Физ.-матем. науки. - 2021. - Т. 163, кн. 1. - С. 5-20. - doi: 10.26907/25417746.2021.1.5-20.
For citation: Repina A.I. Convergence of the Galerkin method for solving a nonlinear / problem of the eigenmodes of microdisk lasers. Uchenye Zapiski Kazanskogo Universiteta. \ Seriya Fiziko-Matematicheskie Nauki, 2021, vol. 163, no. 1, pp. 5-20. doi: 10.26907/25417746.2021.1.5-20. (In Russian)
