Известия высших учебных заведений. Поволжский регион
УДК 517.927, 517.958, 517.968
Е. А. Маренникова
ЗАДАЧА НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ, ОПИСЫВАЮЩАЯ РАСПРОСТРАНЕНИЕ ЭЛЕКТРОМАГНИТНЫХ ТЕ-ВОЛН В ПЛОСКОМ ДИЭЛЕКТРИЧЕСКОМ ВОЛНОВОДЕ, ЗАПОЛНЕННОМ НЕЛИНЕЙНОЙ НЕОДНОРОДНОЙ СРЕДОЙ1
Аннотация.
Актуальность и цели. Целью работы является исследование задачи распространения электромагнитных ТЕ-волн в плоском нелинейном неоднородном диэлектрическом волноводе.
Материалы и методы. Применены общие методы теории краевых задач, метод полуобращения (сведение дифференциального уравнения к интегральному с использованием функции Грина), принцип сжимающих отображений, метод малого параметра.
Результаты. Получено дисперсионное уравнение. Доказано существование собственных значений - корней дисперсионного уравнения (постоянных распространения) и указаны области их локализации. Представлены численные результаты (графики дисперсионных кривых и собственных функций исследуемой задачи).
Выводы. Полученные результаты могут быть использованы при изучении задачи распространения связанных поляризованных волн.
Ключевые слова: неоднородный нелинейный плоский волновод, задача на собственные значения, функция Грина, постоянная распространения, дисперсионное уравнение.
E. A. Marennikova
EIGENVALUE PROBLEM THAT DESCRIBES ELECTROMAGNETIC TE-WAVE PROPAGATION IN A PLANE DIELECTRIC WAVEGUIDE WITH NONLINEAR INHOMOGENEOUS MEDIA
Abstract.
Background. The aim of this work is to study the problem of electromagnetic TE- waves propagation in a plane nonlinear inhomogeneous dielectric waveguide.
Materials and methods. The author used general methods of the theory of boundary value problems, the semi-conversion method (reduction of the differential equation to the integral equation using the Green's function), the contracting mapping method.
Results. The researcher has obtained a dispersion equation and proved existence of dispersion equation’s roots (propagation constants). The regions of localization of the propagation constants have been found. Numerical results (graphics of dispersion curves and eigenfunctions of the problem) have been presented.
Conclusions. The obtained results can be used in the study of the problem of coupled electromagnetic waves propagation.
1 Работа выполнена при поддержке Министерства образования и науки РФ (проект № 2.1102.2014К) и Российского фонда фундаментальных исследований (грант № 15-01-00206).
72
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
Key words: inhomogeneous nonlinear plane waveguide, eigenvalue problem, Green’s function, propagation constant, dispersion equation.
Введение
Задачи распространения поверхностных электромагнитных волн в нелинейных средах активно исследуются в течение последних десятилетий. При этом рассматриваются задачи с разными геометриями, типами нелинейностей, типами электромагнитных волн (ТЕ- и ТМ-волны) и т.д.
Задачи распространения плоских монохроматических поляризованных волн в слоистых средах (см., например, [1, 2]) представляют собой задачи сопряжения на собственные значения. Такие задачи сводятся к отысканию значений спектрального параметра, при которых волна может распространяться.
Распространение поверхностных ТЕ-волн в нелинейных средах изучается в [1-7]; ТМ-волн в [1, 2, 4, 8-10]. В упомянутых работах представлены различные методы как аналитические, так и численные, позволяющие исследовать указанные задачи электродинамики. К методам изучения задач распространения электромагнитных волн в нелинейных средах можно отнести, например, метод интегральных дисперсионных уравнений [2, 5-9] и метод задачи Коши [3, 10]. Метод задачи Коши является эффективным численным методом, который позволяет проводить расчеты для весьма широкого класса нелинейностей.
1. Электродинамическая постановка задачи
Изучим задачу о распространении монохроматической ТЕ-поляри-зованной электромагнитной волны вдоль поверхности плоского диэлектрического волновода
£ = {(x,y,z): 0 < x < И,-ж < y,z < +«>},
расположенного между двумя полупространствами x < 0 и x > h в декартовой системе координат Oxyz. Полупространства заполнены изотропной немагнитной средой без источников и имеют постоянные диэлектрические проницаемости £0£ > £0 и ^£3 > £0 соответственно (£0 - диэлектрическая проницаемость вакуума). Без потери общности можно считать, что £1 > £3 > 0 . Считаем, что всюду р = рр - магнитная проницаемость вакуума. Монохроматическая ТЕ-поляризованная волна имеет вид
Ее-Ш = в-ш (0, Ey ,0)T, He-ш = в-ш (Hx ,0, Hz )T, (1)
где E, H - комплексные амплитуды, а компоненты определяются следующим образом:
Ey = E y (x УYz, Hx = H x (x)ei Yz, Hz = H z (x)eiYz, (2)
где y - неизвестный действительный спектральный параметр (постоянная распространения электромагнитной волны).
Волновод заполнен неоднородной средой, диэлектрическая прони-
2
цаемость £ которой выражается формулой £ = £)(£2(x) + a|E| ), где
Physical and mathematical sciences. Mathematics
73
Известия высших учебных заведений. Поволжский регион
(x) е C[0,h], а - вещественная положительная постоянная (коэффициент нелинейности).
Комплексные амплитуды (1) удовлетворяют системе уравнений Максвелла в гармоническом режиме
rot H = -/roeE, rot E = /'0)|j,qH, (3)
условию непрерывности касательных компонент поля на границе раздела сред x = 0, x = h и условию излучения на бесконечности: электромагнитное поле экспоненциально убывает при | x в областях x < 0, x > h .
Требуется определить вещественные положительные значения спектрального параметра у, для которых существуют нетривиальные векторфункции E , H с компонентами вида (2), удовлетворяющие уравнениям (3) и указанным выше условиям.
2. Нелинейная задача типа Штурма - Лиувилля
Сформулированная в предыдущем пункте проблема о распространении волн сводится к задаче типа Штурма - Лиувилля для уравнения
u"(x) = -(e2(x)-у2 + au2(x))u(x), xе [0,h], (4)
с краевыми условиями третьего рода
kju(0) - u'(0) = 0, k3u(h) + u (h) = 0, (5)
где ki =yjy2 - ej , k3 = yjy2 -e3 , e2 е C[0, h], а >0 - постоянный множитель,
uе Cj[0,h)nC2(0,h), (6)
величина u(0) Ф 0 считается фиксированной (без потери общности u(0) > 0).
Определение. Число у = у такое, что для фиксированного значения u(0) >0 существует не равная тождественно нулю функция u = u(x;у), которая удовлетворяет задаче (4)-(6), будем называть собственным значением рассматриваемой задачи о распространении волн, а
соответствующую ему функцию u( x; у) - собственной функцией.
Задача Ра : исследовать разрешимость задачи (4)-(6).
Кроме того, будем рассматривать и задачу Pq , которая соответствует задаче (4)-(6) при а = 0.
Замечание 1. Собственное значение у зависит от значения собственной функции на одной из границ волновода, в рассматриваемом случае от u(0). Это является важным отличием рассматриваемой задачи от классической задачи Штурма - Лиувилля.
Покажем, что исходная задача о распространении волн сводится к задаче Ра. Действительно, подставляя компоненты (2) в систему (3), получим уравнение
E y + (ko2e-y 2)E y =0,
74
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
2 2 Y i ,
где k0 := ю |1о£о, а Hx =----Ev, Hz =------Ev . Выполним нормировку
юц0 ^ юц0
этого уравнения в соответствии с формулами X = коx, — = ко —, у = —,
dx dX ко
обозначив u(X) := Ey (-X) и опуская значок тильды, получаем [2]:
u" (X) = (Y2 -e)u(X), (7)
где £ определяется в зависимости от области (см. предыдущий пункт).
В полупространствах X < о и X > h имеем £ = £ и £ = £3 соотвест-венно, тогда, принимая во внимание условие затухания поля на бесконечности, получаем решение уравнения (7) в форме
u( X) = <
. k2 X
Ae 1 ,
Be
-к2(X-h)
X < о X > h.
(8)
Из формул (8) легко видеть, что для J справедливо неравенство
Y >шах(£1,£з). Постоянная A в (8) определяется начальным условием: u(0) = A . Для определения постоянной B используются условия непрерывности касательных компонент электромагнитного поля, которые в рассматриваемом случае имеют вид
[u] |X=0= [u] |X=h = [u'] |X=0= [u,] |X=h = 0, (9)
где [ f ]|X=X0= lim f(X) - lim f(x) .
0 x ^ X0-0 x ^ X0+0
Принимая во внимание решения системы (8) и используя условия (9), получаем условия (5). Очевидно, что внутри слоя X уравнение (7) принимает вид (4).
3. Нелинейное интегральное уравнение
Для изучения задачи Ра используем метод полуобращения (с помощью функции Грина) линейной части дифференциального оператора в уравнении (4). Обозначим X := у2 . Рассмотрим линейное уравнение
Lu = 0, (10)
где L действует из С2[0,h] в С[0,h] по формуле u ^ u"+ (£2(x)-X)u ; тогда уравнение (4) принимает вид
3
Lu = -au .
В дальнейшем нам понадобится функция Грина следующей краевой задачи [11]:
LG( x, 5) = -5( x - 5) (11)
Physical and mathematical sciences. Mathematics
75
Известия высших учебных заведений. Поволжский регион
с условиями дxG(x,s)|x=0=0, дxG(x,s) |x=h =0. В силу классических результатов теории обыкновенных дифференциальных уравнений такая функция Грина существует.
Для дальнейших рассмотрений удобно ввести следующие обозначения:
G(0,0) := lim G(0,s), G(h,0) := lim G(h,s),
s —0 s —0
G(0,h) := lim G(0,s), G(h,h) := lim G(h,s). (12)
s —h s—h
Используя вторую формулу Грина и (11), получаем h
j(GLu - uLG )dx = u(h)G (h, s) - u(0)G (0, s). (13)
0
Теперь, используя условия (5), преобразуем (13):
h
j"(GLu - uLG )dx = -k3u(h )G (h, s) - kiu(0)G (0, s). (14)
0
3
Имея в виду, что Lu = -au (см. (4) и (10)), и используя (11) и (14), получаем соотношение
h
u( s) = aj G (x, s )u3( x )dx - k3u(h )G (h, s) - ^u(0)G (0, s). (15)
0
Используя (15), получаем h
u(h) = aj G (x, h)u 3( x )dx - k3u( h)G (h, h) - ^u (0)G (0, h), (16)
0
откуда находим
u(h)
k1“(0)G (0-h > + a f G(xh) ,3( x )dx
1 + k3G (h, h) 01 + k3G (h, h)
Подставляя полученное значение u(h) в уравнение (15), получаем интегральное представление решения u(s) уравнения (4) в операторной форме
u (s ) = aF(u) + f (s), (17)
где оператор F действует из С[0,h] в С[0,h], а его действие определено формулой
h
u —^
0 L
G (x, s) - k3
G(h, s)G (x, h) 1
1 + k3G(h, h)
u3(x)dx,
76
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
а
f (s ):= -1 -3
k3[G(h, s)G(0, h) - G(h, h)G (0, s)] - G(0, s) 1 + -3G (h, h)
u (0).
Поскольку функция Грина (11) зависит от параметра X, то и представление (17) также зависит от этого параметра. Обозначим Л* - объединение множества собственных значений задачи (11) и множества тех точек X, в которых выражение 1 + -3G (h, h; X) обращается в нуль. Представление (17) корректно определено для всех значений параметра ХйЛ*. В дальнейшем всегда считаем, что ХйЛ* .
Если u(0) = A >0 известно и и удовлетворяет условиям (6), то формула (17) при х е [0,h] представляет собой нелинейное интегральное уравнение, эквивалентное задаче (4)-(6).
Подставляя s = 0 в (15), получаем дисперсионное уравнение в форме
g (X) = 1 + -1G (0,0) + -3G (h, h) - -1-3[G (h, 0)G (0, h) - G (h, h )G (0,0)], (19)
0
4. Исследование нелинейного интегрального уравнения
Пусть Л есть некоторый отрезок вещественной числовой оси. Из предыдущего ясно, что ядро, обозначим его G* = G*(х, s;X), оператора F в уравнении (17) является непрерывной при (х,s,X) е [0,h] X [0,h] X(Л \ Л*) функцией.
Как известно [12], линейный интегральный оператор
h
G*u = JG*(х, s)u(х)dx,
0
действующий из С[0,h] в С[0,h], является непрерывным и ограниченным
в С[0,h]. Так как нелинейный оператор B : u ^ u ограничен и непрерывен в пространстве С[0, h], то нелинейный оператор F (= G* • B) является вполне непрерывным на каждом ограниченном в С[0, h] множестве.
В последующих рассуждениях понадобится вспомогательное кубическое уравнение
Ag (X) = аФ^),
(18)
где
h
Ф (X ) = J [(1 + -3G(h,h))G (х,0) - -Gh^G^h)] u3(х ]х. (20)
(21)
где норма оператора ||G*|| (> 0) определяется формулой
Physical and mathematical sciences. Mathematics
77
Известия высших учебных заведений. Поволжский регион
G* = max
se[0,h]
Г | G* (х, s)| dx, а 11/|| = max | f (s )|.
J se[0,h ]
0
Как известно [12], если
0 < Л <
3^/ЗаЦ G*
(22)
то уравнение (21) имеет два неотрицательных корня r , r* таких, что
2
0 < г* <
*
< r
<
1
при этом если
= 0, то г* = 0 .
*
r =
-\Ja\|G*||
если
3^3a||G*|| ’
то
1
2
*1
r = r = — --
V30H
Простым следствием указанного результата является следующее утверждение.
Утверждение 1. Если выполняется условие (22), то уравнение (17)
*
имеет по крайней мере одно решение и, причем u < r .
Доказательство. Рассмотрим уравнение (17). Правая часть W этого уравнения определяет вполне непрерывный в пространстве С[0,h] оператор. Легко видеть, что указанный оператор переводит шар
* 11 и * *
S ={u е C[0,h]: u < r } в себя. Действительно, пусть и е S , тогда, используя формулы (17), (21), (22), получим оценку
iw(u)i <а g*
+
(23)
Полученная оценка и означает, что WS с S . Кроме того, справедливы следующие теоремы.
Теорема 1. Если a < а2 , где а0 = ■
3 G*
то уравнение
2
(17)
имеет единственное решение и е C[0,h] и верна оценка ||и|| < r*.
Доказательство. Пусть и е S* ={и е C[0,h]: ||и|| < r*}, тогда верна оценка
||W(u)|| < a||G*
+
= r*, (24)
где W есть правая часть уравнения (17).
Если u1, u2 е S*, то, используя принцип сжимающих отображений, получаем
78
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
||W(«i) - W(«2)|| = а||F(mj) - F(u2)| =
= а
h
Г 3 3
I G*(x,s)(mj (x)-U2(x))dx
0
< 3a||G*||r* ||ui — u^|.
(25)
Так как a < a2 , то f (s) удовлетворяет условию (22), следовательно,
1
выполняется условие r*<-^==^=. Учитывая принцип сжимающих
отображений, получаем, что =a||G*|| r*2 < 1, следовательно W отображает шар S* в себя и является сжимающим оператором в S*, и, значит, уравнение (17) имеет единственное решение в S*.
Теорема 2. Пусть для уравнения (17) выполняется условие (22) и пусть также G*( x, s; X) е C ([0, h] X [0, h] хЛ о), где Л о - некоторый отрезок вещественной числовой оси. Тогда существует и единственно решение u(x;X)е C([0,h]хЛо) уравнения (17).
Доказательство. При выполнении условия (22) теорема 1 гарантирует существование единственного решения u = u(s;X) уравнения (17). Докажем непрерывную зависимость этого решения от параметра X .
Ясно, что r* = r*(X) непрерывно зависит от ХеЛо (как корень алгебраического уравнения, коэффициенты которого непрерывно зависят от
ХеЛо). Пусть Го = max r*(X) и максимум достигается в точке Хо :
ХеЛ о
г*(Хо) = Г).
Далее пусть Q = max (3r*2 (X )|| G*(X )|) и максисмум достигается в точке
XеЛ0
X1 е Ло. Тогда Q = 3r*2(X1)||G* (X1) и Q < 1.
Предположим сначала, что ||u(X)|| >||u(X + AX)||. Тогда имеют место следующие оценки:
||u( s; X + AX) — u( s; X)|| <
h
< ||G*(x,s;X + AX) -G*(x,s;X)|• | u(x;X + AX) |= dx +
о
h
+| |G*( x, s; X)| • | u=( x; X + AX) -u=( x; X) | dx +1 f (s; X + AX) - f (s; X) |<
о
< r=|| G*(X +AX) -G* (X)|| +
+=r*2 (X)|| u(X + AX) - u(X)|| •! G*(X)|| + f (s; X + AX) - f (s; X)||. (26)
Physical and mathematical sciences. Mathematics
79
Известия высших учебных заведений. Поволжский регион
Отсюда получаем, что
||u( 5; А + ЛА) -u( s; А)|| <
< Г01G*(А + ЛА) - G*(А)|| +1| f (s;А + ЛА) -f (s;А)|| (2?)
где Q, r° не зависят от параметра А .
Пусть теперь ||u(s; А + ЛА)|| >||u(s; А)||. Тогда все предыдущие оценки
остаются в силе, если заменить аргументы А на А + ЛА, а А + ЛА на А . При этом оценка (27) также остается в силе.
5. Исследование дисперсионного уравнения
Рассмотрим дисперсионное уравнение (18). Нули функции Л(А) = Ag (А) — аФ(А) - это значения А, для которых существует
нетривиальное решение задачи Р .
Для доказательства существования решений (нелинейной) задачи P будет использоваться метод малого параметра, и поэтому сначала необходимо рассмотреть вопрос о существовании решений линейной задачи, т.е. задачи P при а = 0. Поскольку из физических соображений известно, что для керровской среды коэффициент нелинейности а мал, то применение метода малого параметра в рассматриваемой задаче полностью обосновано (не исключено, однако, что могут возникать решения, которые не могут быть описаны с помощью теории возмущений, см., например, [7]).
В недавней работе [1] получены результаты о разрешимости некоторых линейных задач электродинамики плоских волноведущих структур, и, в частности, доказана разрешимость рассматриваемой нами линейной задачи. Приведем здесь для удобства читателя необходимые формулировки и результаты.
Рассмотрим вспомогательную краевую задачу
фи+^2(х)фи = Аифи, Фи lx=0=0, Фи lx=h = °. (28)
Пусть (А,, ф, (x)) - полная система ортонормированных собственных чисел и собственных функций задачи (28). Известно, что все собственные значения вещественные и простые (кратности 1). При этом существует лишь конечное число (или не существует вовсе) положительных собственных значений, и бесконечное число отрицательных, и А, ^ —^ при
и . Упорядочим собственные значения в порядке убывания ... < Аи < Аи—1 < ••• < А2< А1 . Доказано [1], что между каждыми двумя собственными значениями А,+1 и А,, i > 1, лежит по крайней мере одно
собственное значение А* задачи Р°. Причем из результатов работы [1] следует, что по крайней мере одно собственное значение, будем обозначать его А,, задачи Р°, лежащее между каждыми двумя собственными значениями А,+1 и А,, i > 1, имеет нечетную кратность.
80
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
Принимая во внимание предыдущий параграф, можно сформулировать следующее утверждение.
Утверждение 2. Пусть задача (28) имеет k +1 (k > 1) собственных значений Xj таких, что max(£i,£3) < Xi < X2 < ... < Xk < Xk+1, тогда задача Pq имеет по крайней мере k собственных значений Xj таких, что max(£i,£3) <Xi <Xi< X2 < X2 < ...<Xk <Xk <Xk+1, причем Xj имеет
нечетную кратность для всякого i = 1,k .
Теперь можно показать, что существуют решения уравнения A(X) = 0 . Разрешимость задачи Р устанавливает следующая теорема.
Теорема 3. Пусть существует k > 1 собственных значений задачи Pq ,
имеющих нечетные кратности. Тогда существует число О) >0 такое, что для всякого а<0) существует по крайней мере k значений yj, i = 1,k, таких, что задача Р имеет нетривиальное решение, причем у2 е (j - 5г-, Xj + 5г-), где 5г- - достаточно малые фиксированные числа.
Доказательство. Пусть существует k > 1 собственных значений Xj (j = 1, k) задачи Pq , имеющих нечетные кратности и таких, что max(£i,£3) < X1 < X2 < ... < Xk-1 <Xk .
Ясно, что указанные собственные значения Xj являются корнями уравнения g(X) = 0, где g задана формулой (19). Заметим, что X = Xj не являются нулями выражения 1 + k3G(h,h;X). Также ясно, что Xj не являются собственными значениями оператора L (см. (11)), а следовательно, не являются и полюсами функции Грина задачи (11).
Поскольку всякое Xj имеет нечетную кратность, то функция g(X) меняет знак при переходе через Xj. Теперь выберем достаточно малые числа 5г- >0 (j = 1,k) так, чтобы выполнялись два условия:
1) на объединении Л = uk=iЛг- отрезков Аг- := [Xj — 5г-,Xj + 5г-] функция Грина G(х, s;X) существует и непрерывна, а выражение 1 + k3G(h,h;X) не обращается в нуль. Другими словами, мы выбираем 5г- таким образом, чтобы ядро G* оператора F в уравнении (17) было непрерывно на замкнутом множестве А . Такие 5г- всегда существут в силу вышеизложенного;
2) g (X j-5j) • g (X j + 5j) < 0.
Рассмотрим дисперсионное уравнение A(X) = 0. Ясно, что функция g(X) непрерывна и меняет знак при изменении X от Xj — 5j до Xj + 5j. Поскольку величина Ф(X) ограничена при XeAj, то отсюда ясно, что за счет выбора а всегда можно добиться того, что уравнение A(X) = 0 будет иметь по крайней мере k корней Xj, причем Xj е (Xj — 5г-, Xj + 5г-), где j = 1,k.
Physical and mathematical sciences. Mathematics
81
Известия высших учебных заведений. Поволжский регион
Проведем соответствующие оценки. Ядро G*(x, s;Х) оператора F в уравнении (17) существует и непрерывно для всех ХеЛ . Также ясно, что функция
а*(Х)
______2_____
31 f (Х )Ш\Gk (Х)||
(29)
является непрерывной функцией при ХеЛ . Пусть ai =mina*(X) и пусть
ХеЛ
a < a2.
В соответствии с теоремой 1 существует единственное решение u = u( х; Х) уравнения (17) для всякого ХеЛ. Это решение является
непрерывной функцией и ||u|| < r* = г*(Х). Пусть rmax =тахг*(Х). Оценивая
ХеЛ
Ф(Х), получим ||Ф(Х)|| < С^, где C есть некоторая постоянная, не зависящая от Х.
Функция g(Х) непрерывна и уравнение g(Х) = 0 внутри отрезка Лг-имеет по крайней мере один корень Хг-. Обозначим
Mi = min |u(0)g(Хi — 5i)|, M2 = min |u(0)g(Хг- +5,)| .
0<i < k' 1 0<i <k' 1
Тогда величина M = min(Mi,M2) положительна и не зависит от a .
т, < M Если a < —3—, тогда
Crmax
(u(0)g(Хj -5г-) — aФ(Хj -5г-)j-(u(0)g( + 5;) — aФ(Хi +5j))< 0 . (30)
Поскольку u(0) g (Х) — aФ (Х) является непрерывной функцией,
следовательно, уравнение u(0)g(Х) — aФ(Х) = 0 имеет корень Хг- внутри Лг-. Мы можем выбрать
• I 2 Ml
a0 = minlai,—3— 1.
[ Crmax \
Собственные значения уг- задачи P определяются из уравнения
у2 =Х, i = 1k .
Из теоремы 3 следует, что при условиях, сформулированных выше, существуют осесимметричные распространяющиеся ТЕ-поляризованные волны без затухания в цилиндрических диэлектрических волноводах кругового сечения, заполненных немагнитной, изотропной неоднородной средой с нелинейностью, выраженной законом Керра.
6. Численные результаты
Дисперсионные кривые (рис. 1-4) рассчитаны с помощью метода задачи Коши [3, 10].
82
University proceedings. Volga region
Рис. 1. Дисперсионные кривые. Диэлектрическая проницаемость в слое имеет вид е = £2 + а | и | , где £2=4. Закрашенные кружки соответствуют линейному случаю (а = 0), незакрашенные - нелинейному случаю (а = 0,001). Вертикальный отрезок h = 8,5 соответствует выбранной толщине слоя; точки пересечения этого отрезка с дисперсионными кривыми являются собственными значениями. В рассматриваемом случае в линейной задаче существует пять собственных значений (у4 = 1,231, У2 =1,540 , Y3 =1,751,
Y4 = 1,893, у 5 = 1,973); в нелинейной задаче на рисунке видны семь собственных значений (у4 = 1,227 , Y2 = 1,543, Y3 = 1,753 , у4 =1,889, у5 = 2,006, у6 = 2,088, у7 = 3,114)
Рис. 2. Собственные функции линейной (сплошная кривая) и нелинейной задач для некоторых из собственных значений, указанных на рис. 1. Сплошная кривая соответствует Y5 = 1,973 , ближайшая к сплошной кривая соответствует Y5 = 2,006, оставшаяся кривая соответствует Уб = 2,088
Physical and mathematical sciences. Mathematics
83
Рис. 3. Собственная функция нелинейной задачи для Y7 = 3,114 (см. рис. 1)
Рис. 4. Дисперсионные кривые. Диэлектрическая проницаемость в слое имеет вид е = £2 + х +а|и | , где £2=4. Закрашенные кружки соответствуют линейному случаю (а = 0), незакрашенные - нелинейному случаю (а = 0,001). Вертикальный отрезок h = 5 соответствует выбранной толщине слоя; точки пересечения этого отрезка с дисперсионными кривыми являются собственными значениями.
В рассматриваемом случае в линейной задаче существует четыре собственных значения (yj = 1,442 , Y2 = 1,941, уз = 2,299, Y4 = 2,651); в нелинейной задаче на рисунке видны четыре собственных значения (У! = 1,414, у2 =1,945, у3 = 2,345, у4 = 2,800)
84
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
В качестве начального условия было выбрано значение постоянной A = 2, см. формулу (8). Диэлектрические проницаемости при x <0 и x > h равны = £3 = 1, коэффициент нелинейности равен а = 0,001.
Горизонтальная ось на рис. 1 и 4 соответствует толщине слоя h;
вертикальная ось соответствует параметру у.
Для некоторых собственных значений, указанных на рис. 1 и 4, построены собственные функции (рис. 2, 3, 5 и 6).
Рис. 5. Собственные функции линейной (сплошная кривая) и нелинейной задач для некоторых из собственных значений, указанных на рис. 4. Сплошная кривая соответствует уз = 2,299, оставшаяся кривая соответствует уз = 2,345
Рис. 6. Собственная функция нелинейной задачи для Y4 = 2,800 (см. рис. 4)
Physical and mathematical sciences. Mathematics
85
Известия высших учебных заведений. Поволжский регион
Список литературы
1. Смирнов, Ю. Г. Задачи сопряжения на собственные значения, описывающие распространение ТЕ- и ТМ- волн в двухслойных неоднородных анизотропных цилиндрических и плоских волноводах / Ю. Г. Смирнов // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 3. -С. 460-468.
2. Валовик, Д. В. Распространение электромагнитных волн в нелинейных слоистых средах / Д. В. Валовик, Ю. Г. Смирнов. - Пенза : Изд-во ПензГУ, 2010. - 264 с.
3. Валовик, Д. В. Численный метод в задаче о распространении электромагнитных ТЕ-волн в двухслойной нелинейной волноведущей структуре / Д. В. Валовик, Ю. Г. Смирнов, Е. А. Широкова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2012. - № 1 (21). - С. 66-74.
4. Third Order Nonlinear Electromagnetic TE and TM Guided Waves / A. D. Boardman, P. Egan, F. Lederer, U. Langbein, D. Mihalache ; ed. by H.-E. Ponath and G. I. Stegeman. - Elsevier Science Publishers, 1991.
5. Валовик, Д. В. Распространение электромагнитных ТЕ-волн в нелинейной среде с насыщением / Д. В. Валовик // Радиотехника и электроника. - 2011. -Т. 56, № 11. - C. 1329-1335.
6. Valovik, D. V. Integral dispersion equation method to solve a nonlinear boundary eigen- value problem / D. V. Valovik // Nonlinear Analysis: Real World Applications. -2014. - Vol. 20. - P. 52-58.
7. Smirnov, Yu. G. Guided electromagnetic waves propagating in a plane dielectric waveguide with nonlinear permittivity / Yu. G. Smirnov and D. V. Valovik // Physical Review A. - 2015. - Vol. 91, № 1.
8. Валовик, Д. В. О распространении ТМ-поляризованных электромагнитных волн в нелинейном слое с нелинейностью, выраженной законом Керра / Д. В. Валовик, Ю. Г. Смирнов // Журнал вычислительной математики и математической физики. - 2008.- Т. 48, № 12. - С. 2186-2194.
9. Валовик, Д. В. Задача о распространении электромагнитных ТМ-волн в слое с произвольной нелинейностью / Д. В. Валовик // Журнал вычислительной математики и математической физики. - 2011. - Т. 51, № 9. - С. 1729-1739.
10. Валовик, Д. В. Метод задачи Коши для решения нелинейной задачи сопряжения на собственные значения для ТМ-волн, распространяющихся в слое с произвольной нелинейностью / Д. В. Валовик, Е. В. Зарембо // Журнал вычислительной математики и математической физики. - 2013. - Т. 53, № 1. -С. 74-89.
11. Владимиров, В. С. Уравнения математической физики / В. С. Владимиров. -М. : Наука, 1981. - 512 с.
12. Треногин, В. А. Функциональный анализ / В. А. Треногин. - M. : Наука, 1993. - 496 с.
References
1. Smirnov Yu. G. Zhurnal vychislitel’noy matematiki i matematicheskoy fiziki [Journal of calculus mathematics and mathematical physics]. 2015, vol. 55, no. 3, pp. 460-468.
2. Valovik D. V., Smirnov Yu. G. Rasprostranenie elektromagnitnykh voln v nelineynykh sloistykh sredakh. [Electromagnetic wave propagation in nonlinear stratified media]. Penza: Izd-vo PenzGU, 2010, 264 p.
3. Valovik D. V., Smirnov Yu. G., Shirokova E. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2012, № 1 (21), pp. 66-74.
86
University proceedings. Volga region
№ 3 (35), 2015
Физико-математические науки. Математика
4. Boardman A. D., Egan P., Lederer F., Langbein U., Mihalache D. Third Order Nonlinear Electromagnetic TE and TM Guided Waves. Elsevier Science Publishers, 1991.
5. Valovik D. V. Radiotekhnika i elektronika [Radio engineering and electronics]. 2011, vol. 56, no. 11, pp. 1329-1335.
6. Valovik D. V. Nonlinear Analysis: Real World Applications. 2014, vol. 20, pp. 52-58.
7. Smirnov Yu. G., Valovik D. V. Physical Review A. 2015, vol. 91, no. 1.
8. Valovik D. V., Smirnov Yu. G. Zhurnal vychislitel’noy matematiki i matematicheskoy fiziki [Journal of calculus mathematics and mathematical physics]. 2008, vol. 48, no. 12, pp. 2186-2194.
9. Valovik D. V. Zhurnal vychislitel’noy matematiki i matematicheskoy fiziki [Journal of calculus mathematics and mathematical physics]. 2011, vol. 51, no. 9, pp. 1729-1739.
10. Valovik D. V., Zarembo E. V. Zhurnal vychislitel’noy matematiki i matematicheskoy fiziki [Journal of calculus mathematics and mathematical physics]. 2013, vol. 53, no. 1, pp. 74-89.
11. Vladimirov V. S. Uravneniya matematicheskoy fiziki [Mathematical physics equations]. Moscow: Nauka, 1981, 512 p.
12. Trenogin V. A. Funktsional’nyy analiz [Functional analysis]. Moscow: Nauka, 1993, 496 p.
Маренникова Екатерина Алексеевна аспирант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)
E-mail: [email protected]
Marennikova Ekaterina Alekseevna Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia)
УДК 517.927, 517.958, 517.968 Маренникова, Е. А.
Задача на собственные значения, описывающая распространение электромагнитных ТЕ-волн в плоском диэлектрическом волноводе, заполненном нелинейной неоднородной средой / Е. А. Маренникова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 3 (35). - С. 72-87.
Physical and mathematical sciences. Mathematics
87