Научная статья на тему 'Граничные интегральные уравнения Мюллера в спектральной теории диэлектрических волноводов'

Граничные интегральные уравнения Мюллера в спектральной теории диэлектрических волноводов Текст научной статьи по специальности «Математика»

CC BY
209
51
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
РАСПРОСТРАНЕНИЕ ЭЛЕКТРОМАГНИТНЫХ ВОЛН В ВОЛНОВОДЕ / ЗАДАЧА НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ / ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ / PROPAGATION OF ELECTROMAGNETIC WAVES IN WAVEGUIDES / EIGENVALUE PROBLEM / INTEGRAL EQUATIONS

Аннотация научной статьи по математике, автор научной работы — Спиридонов Александр Олегович, Карчевский Евгений Михайлович, Носич Александр Иосифович

Актуальность и цели. Граничные интегральные уравнения Мюллера широко используются для теоретического и численного анализа самых разных спектральных задач математической теории дифракции. Они применялись и для вычисления поверхностных собственных волн однородных слабонаправляющих диэлектрических волноводов без потерь. Цель настоящей работы разработать методику их применения для поиска не только поверхностных, но и вытекающих волн таких волноводов, а также исследовать с их помощью качественные свойства спектра. Материалы и методы. Исследование качественных свойств спектра проведено методами теории регуляризации задач о собственных волнах открытых волноводов. Сведение исходной задачи к спектральной задаче для системы интегральных уравнений проведено методами теории потенциала. Дальнейший анализ основан на известных результатах об изолированности характеристических значений фредгольмовой голоморфной оператор-функции при наличии в области ее голоморфности хотя бы одной регулярной точки, и о поведении характеристических значений такой оператор-функции, как функций неспектральных параметров. Результаты. Доказано, что исходная задача для уравнения Гельмгольца на плоскости эквивалентна нелинейной спектральной задаче для граничных интегральных уравнений Мюллера с вполне непрерывным оператором. Доказано, что характеристическое множество построенной операторзначной функции может состоять лишь из изолированных точек на соответствующей поверхности Римана. Каждое характеристическое значение непрерывно зависит от неспектральных параметров и может появляться и исчезать лишь на границе этой поверхности. Выводы. Разработанная методика применения граничных интегральных уравнений Мюллера может успешно применяться для решения спектральных задач теории диэлектрических волноводов, а именно для поиска поверхностных вытекающих собственных волн, а также для исследования качественных свойства спектра.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Спиридонов Александр Олегович, Карчевский Евгений Михайлович, Носич Александр Иосифович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

MULLER BOUNDARY INTEGRAL EQUATIONS IN THE SPECTRAL THEORY OF DIELECTRIC WAVEGUIDES

Background. Muller boundary integral equations are widely used for theoretical and numerical analysis of various spectral problems of the mathematical theory of diffraction. They are also used for calculation of superficial own waves of homogeneous weakly guiding dielectric waveguides without losses. The aim of the work is to develop a method of using the latter for searching of both superficial and leaky waves of such waveguides, and also to research qualitative spectral proprties. Materials and methods. The research of qualitative spectral properties was carried out using the methods of the theory of regularization of problems of open waveguides’ own waves. Reduction of the initial problem to a spectral problem for the system of integral equations was carried out by the potential theory methods. The further analysis is based on the known results on isolation of characteristic values of the Fredholm holomorphic operator-function with the presence of at least one regular point in the area of its holomorphy, and on behavior of characteristic values of such operator-function as a function of non-spectral parameters. Results. It is proved that the initial problem for the surface Helmholtz equation is equivalent to a nonlinear spectral problem for Muller boundary integral equations with a quite continuous operator. It is proved that the characteristic set of the built operator-value function may consist of only isolated points on the corresponding Riemann surface. Each characteristic value continuously depends on nonspectral parameters and may occur and disappear on the boundary of this surface. Cocnlusions. The developed technique of Muller boundary integral equations application may be successfully implemented for solving spectral problems of the theory of dielectric waveguides, namely for searching superficial leaky own waves, as well as for researching qualitative spectral properties.

Текст научной работы на тему «Граничные интегральные уравнения Мюллера в спектральной теории диэлектрических волноводов»

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

УДК 517.9

А. О. Спиридонов, Е. М. Карчевский, А. И. Носич

ГРАНИЧНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ МЮЛЛЕРА В СПЕКТРАЛЬНОЙ ТЕОРИИ ДИЭЛЕКТРИЧЕСКИХ ВОЛНОВОДОВ1

Аннотация.

Актуальность и цели. Граничные интегральные уравнения Мюллера широко используются для теоретического и численного анализа самых разных спектральных задач математической теории дифракции. Они применялись и для вычисления поверхностных собственных волн однородных слабонаправляющих диэлектрических волноводов без потерь. Цель настоящей работы -разработать методику их применения для поиска не только поверхностных, но и вытекающих волн таких волноводов, а также исследовать с их помощью качественные свойства спектра.

Материалы и методы. Исследование качественных свойств спектра проведено методами теории регуляризации задач о собственных волнах открытых волноводов. Сведение исходной задачи к спектральной задаче для системы интегральных уравнений проведено методами теории потенциала. Дальнейший анализ основан на известных результатах об изолированности характеристических значений фредгольмовой голоморфной оператор-функции при наличии в области ее голоморфности хотя бы одной регулярной точки, и о поведении характеристических значений такой оператор-функции, как функций неспектральных параметров.

Результаты. Доказано, что исходная задача для уравнения Гельмгольца на плоскости эквивалентна нелинейной спектральной задаче для граничных интегральных уравнений Мюллера с вполне непрерывным оператором. Доказано, что характеристическое множество построенной операторзначной функции может состоять лишь из изолированных точек на соответствующей поверхности Римана. Каждое характеристическое значение непрерывно зависит от неспектральных параметров и может появляться и исчезать лишь на границе этой поверхности.

Выводы. Разработанная методика применения граничных интегральных уравнений Мюллера может успешно применяться для решения спектральных задач теории диэлектрических волноводов, а именно для поиска поверхностных вытекающих собственных волн, а также для исследования качественных свойства спектра.

Ключевые слова: распространение электромагнитных волн в волноводе, задача на собственные значения, интегральные уравнения.

A. O. Spiridonov, E. M. Karchevskiy, A. I. Nosich

MULLER BOUNDARY INTEGRAL EQUATIONS IN THE SPECTRAL THEORY OF DIELECTRIC WAVEGUIDES

1 Работа выполнена за счет средств субсидии, выделенной Казанскому федеральному университету для выполнения проектной части государственного задания в сфере научной деятельности.

24

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

Abstract.

Background. Muller boundary integral equations are widely used for theoretical and numerical analysis of various spectral problems of the mathematical theory of diffraction. They are also used for calculation of superficial own waves of homogeneous weakly guiding dielectric waveguides without losses. The aim of the work is to develop a method of using the latter for searching of both superficial and leaky waves of such waveguides, and also to research qualitative spectral proprties.

Materials and methods. The research of qualitative spectral properties was carried out using the methods of the theory of regularization of problems of open waveguides’ own waves. Reduction of the initial problem to a spectral problem for the system of integral equations was carried out by the potential theory methods. The further analysis is based on the known results on isolation of characteristic values of the Fredholm holomorphic operator-function with the presence of at least one regular point in the area of its holomorphy, and on behavior of characteristic values of such operator-function as a function of non-spectral parameters.

Results. It is proved that the initial problem for the surface Helmholtz equation is equivalent to a nonlinear spectral problem for Muller boundary integral equations with a quite continuous operator. It is proved that the characteristic set of the built operator-value function may consist of only isolated points on the corresponding Riemann surface. Each characteristic value continuously depends on nonspectral parameters and may occur and disappear on the boundary of this surface.

Cocnlusions. The developed technique of Muller boundary integral equations application may be successfully implemented for solving spectral problems of the theory of dielectric waveguides, namely for searching superficial leaky own waves, as well as for researching qualitative spectral properties.

Key words: propagation of electromagnetic waves in waveguides, eigenvalue problem, integral equations.

Введение

Граничные интегральные уравнения Мюллера [1] являются надежным инструментом теоретического и численного анализа самых разных спектральных задач математической теории дифракции (см., напр., статью [2] и обзор литературы в этой работе). Они применялись и для вычисления поверхностных собственных волн однородных слабонаправляющих диэлектрических волноводов без потерь [3, 4]. В настоящей работе мы используем их для поиска не только поверхностных, но и вытекающих волн [5] таких волноводов, а также исследуем качественные свойства спектра методами теории регуляризации задач о собственных волнах открытых волноводов [6, 7]. Доказывается, что исходная задача для уравнения Гельмгольца на плоскости эквивалентна нелинейной спектральной задаче для граничных интегральных уравнений Мюллера с вполне непрерывным оператором. Доказывается, что характеристическое множество построенной операторзначной функции может состоять лишь из изолированных точек на соответствующей поверхности Римана. Каждое характеристическое значение непрерывно зависит от неспектральных параметров и может появляться и исчезать лишь на границе этой поверхности.

1. Постановка задачи и локализация спектра

Сформулируем, следуя [8, с. 38], задачу о собственных волнах цилиндрического диэлектрического волновода с произвольным контуром попереч-

Physical and mathematical sciences. Mathematics

25

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

ного сечения и постоянной диэлектрической проницаемостью, близкой к ди-электричской проницаемости окружающей среды. Пусть область поперечного сечения волновода Q- на плоскости R ограничена дважды непрерывно дифференцируемым контуром Г (рис. 1). Диэлектрическая проницаемость е является кусочно-постоянной функцией, а именно равна константе е- в области Qi, а в области Qe = R2 \ Q- - константе ее . Пусть 0 <ее <е-. Будем считать, что постоянная распространения в - неизвестный комплексный параметр, к > 0 - заданное продольное волновое число. В скалярном приближении слабонаправляющего волновода задача сводится [8] к отысканию таких значений параметра в, при которых существуют нетривиальные решения уравнения Гельмгольца

2

Аи + х-и = 0, хе Ц-, (1)

2

Аы + хеи = 0, х е Qe, (2)

удовлетворяющие условиям сопряжения

и

= и

ди_

dv

ди

"э7,

х е Г,

(3)

где

Xi =>/кЧ -Р2 , Хе =>/к\ -в2 ,

ди / dv - производная по нормали к контуру Г, внешней относительно области Q-; и + (и-) - предельное значение функции и извне (изнутри) контура Г .

Рис. 1. Поперечное сечение волновода

Будем предполагать, что функция и удовлетворяет на бесконечности парциальным условиям излучения, т.е. при | х | ^R0 представима в виде абсолютно и равномерно сходящегося ряда

26

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

и(X) = ^ alHll) (Xer)ell(?, l = —<Ж

где Xj = r cos ф , X2 = r sin ф ; H(1) - функции Ханкеля первого рода порядка l.

Обозначим буквой U множество функций, непрерывных и непрерывно дифференцируемых в Ц и Qe , дважды непрерывно дифференцируемых в Ц и Qe , удовлетворяющих условию (4). Будем предполагать, что постоянные распространения в принадлежат множеству Л - пересечению римановых поверхностей Л- и Лe функций lnх+ (в) и lnxe(в), соответственно

Л = Л- пЛe. (4)

Строение поверхности Лe подробно рассмотрено в [7] . Строение поверхности Л- абсолютно аналогично. Обозначим

Л (1) = Л (1) пЛ (1)

Л0 =Л-0 ПЛe0

пересечение главных («физических») листов этих поверхностей, определяемых условиями:

-П/2< argXi(в)< 3п/2, Ьп((в)) 0, ве Л(0),

-п/2 < argXe(в)< 3п/2, Im(%e(в)) 0, веЛel0).

Обозначим вещественную ось листа Л01) символом R0^, пусть

G = {ве R01): k \ <в2 < к 2е-}.

Ненулевую функцию u е U будем называть собственной функцией задачи о собственных волнах слабонаправляющего волновода, отвечающей собственному значению веЛ , если выполнены условия (1)-(3).

Сформулируем известный результат о локализации собственных значений этой задачи.

Теорема 1. На листе л01) собственные значения задачи (1)-(3) могут лежать лишь в области G.

Доказательство этого утверждения приведено в монографии [7, с. 40]. Вещественным ве G соответствуют поверхностные волны (и экспоненциально убывает при r ^^). Комплексным в е Л|(2) отвечают вытекающие волны (тогда Im %е(в) < 0 и функция и экспоненциально возрастает при r ^га). Теорема 1 обобщает результаты [5] о локализации спектра собственных волн слабонаправляющего диэлектрического волновода кругового сечения, полученные на основе анализа характеристического уравнения метода разделения переменных.

Physical and mathematical sciences. Mathematics

27

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

2. Граничные интегральные уравнения Мюллера

Сведем задачу (1)-(3) методами теории потенциалов к спектральной задаче для интегральной оператор-функции. Большинство результатов теории потенциалов, которые мы будем использовать, являются классическими и хорошо известны. Их можно найти, например, в книгах [9, 10]. Менее традиционно изучение поведения потенциалов на бесконечности как функций, удовлетворяющих парциальным условиям излучения. Аналогичные построения содержатся в монографиях [8, 11].

Введем в рассмотрение функции

Gi (;х,у) = ^ ( (Р)|х - у|), (5)

Ge ( х, у ) = ^ ((Р)|х - у|), (6)

здесь

I х - у |=V(X! - У!)2 + (х2 - у2)2, (7)

параметр в предполагается комплексным, принадлежащим множеству Л, определенному формулой (4).

Функции (5), (6) удовлетворяют уравнениям

AGi (; х, у ) + X2(P)Gi (; х, у ) = 0, (8)

AGe (Р; х, у ) + %2(P)Ge (Р; х, у ) = 0, (9)

как функции переменной х при любой фиксированном у Ф х . Они имеют логарифмическую особенность при у = х . С помощью теоремы сложения Графа [12, с. 201] легко показать, что функция Ge (;х,у) при любых РеЛ и у е R удовлетворяет условию (4), поскольку

. ^

Ge (Р; х, у )= 4 2 Jl (еГ(у) )е-г7ф(уЧ(1) (Хе^(х) )ег/ф(х). (10)

l=-<^

Аналогичному условию удовлетворяет функция Gi (; х, у), определенная формулой (5):

Gi (Р;х,у ) = 4 ^ Jl (г(у))е-г'1ф(уЧ(1) (г(х))еПф(х\ (11)

l=-<^

Поэтому функции (5), (6) можно называть функциями Грина для уравнений Гельмгольца (8), (9), удовлетворяющими на бесконечности парциальным условиям излучения. Отметим, что, в отличие от функций (5), (6), другая пара фундаментальных решений уравнений Гельмгольца (8), (9), а именно функции

28

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

iH02) ( (в)|х - у\) и (e (в)|х - у\)

где H02) - функция Ханкеля второго рода нулевого порядка, парциальным

условиям излучения (10), (11) не удовлетворяют.

Лемма 1. Если и - собственная функция задачи (1)-(3), отвечающая собственному значению в еЛ , то

КX) = -\\и (у)

dGi(в;Х,у2 -G(в;х,у)ди-(у2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

dv( у)

dv( у)

dl (у), х еЦ, (12)

<(х) = \[U+ (у) у2 -Ge(в;X,у)Jdl(у), XеЦ. (13)

ГV dv(у) dv(у) J

Доказательство. Для доказательства равенства (12) надо применить в области Ц вторую формулу Грина к функции Грина Gj и собственной функции и, отвечающей собственному значению веЛ . В справедливости формулы (13) легко убедиться аналогичным методом. При этом надо использовать известное равенство [13, с. 35]:

I

Гд

ди( у) дг( у)

Ge (в; х, у)

dGe (в; х, у) dr (у)

и( у)

dl (у) = 0,

R ^ %

Оно верно для любого в еЛ и функции и е U, удовлетворяющей условию (4). Здесь Гr - окружность радиуса R с центром в начале координат. Лемма доказана.

Устремим в интегральных представлениях (12), (13) точку х к контуру Г с двух разных сторон. Используем предельные свойства потенциалов простого и двойного слоя. Здесь и далее под производной по нормали будем понимать правильную нормальную производную. Получим следующие равенства при х еГ:

и (х) = -| и (у)(х’у - dl (у) + 1 и (х) + I Gj (х, у) ^ (у) dl (у), (14)

Г dv( у) 2 Г dv( у)

и+(х) = I и+(у) Э(де(Х,у - dl (у) +1 и+(х) -1 Ge (х, у) ^ dl (у). (15)

Г dv( у) 2 Г dv( у)

Обозначим

, ч + , ч -, ч , ч ди+(х) ди-(х)

и(х) = и (х) = и (х), v(х) = = , хеГ. (16)

dv( х) dv( х)

Сложим почленно равенства (14), (15) и используем (16), получим

и( х) +1 и( у) Г

' dGj (х, у) V dv(у)

dGe (х, у)л

dv(у) ,

dl (у) -

Physical and mathematical sciences. Mathematics

29

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

-j v( у) ((■(x, у) - Ge (x, y) )dl (у) = 0, x еГ. (17)

Г

Вычислим производную по нормали от левой и правой частей интегральных представлений (12), (13):

du( x) dv( x)

j u (у)

Г

d2Gj-(x, у) dl( ) + г Gi(x, у) du (у) dv(x)dv(у) Г dv(x) dv(у)

dl (у),

x еЦ, (18)

Эи (x) dv( x)

Г и + (у) Г

d2Ge (x, у) dv(x)dv( у)

dl (у) - j

Г

Ge (x, у) du+(у) dv(x) dv^)

dl (у),

x е Ц.

(19)

Устремим в формулах (18), (19) точку x к контуру Г с двух разных сторон. Используем предельные свойства нормальных производных потенциалов простого и двойного слоя. Получим следующие равенства:

du (x) dv( x)

j u (у)

Г

d2G- (x, у) dv( x)dv( у)

dl (у) +

+jGtT '-frrdl(у) + 24- (x)■ x е г,

Г dv(x) dv(у) 2 dv

(20)

dv( x)

■ = j u + (у)

du + (x) г + d 2Ge (x, у)

dv( x)dv( у)

dl (у )■

G (x,у) du+(у) dl (у) +1 Si/ (x), x еГ.

dv(x) dv(у)

2 dv

(21)

Сложим почленно равенства (20) и (21), используем (16), получим

'(x) + j u( у)

( д2Gj (x, у) d2Ge (x, у) ^

Эv(x)Эv(y) dv(x)dv(у)

dl (у) -

- J v( у)

Gi (x, у) - Ge (x, у) dv(x) dv(x)

dl (у) = 0, x е Г.

(22)

Система граничных интегральных уравнений (17), (22) называется системой Мюллера. Запишем ее в следующем виде:

u( x) + j ^1д(Р, x, уМу^1 (у) - j ^1,2(Р; x, уМу^1 (у) = 0, x еГ, (23) Г Г

v(x) + jК2д(р;x,у)u(у)dl(у) - j^(Р;x,у)у(у^(у) = 0, xе Г, (24)

здесь

30

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

К1Д(р; x, у)

dGj (в; х, у) dGe (в; х, у); dv(у) dv(у) ;

Ki,2 (в; х, у) = Gi (в; х, у) - Ge (в; х, у);

к2,1(в; х, у)

д2Gj (в; х, у) д2Ge (в; х, у). dv(x)дv(у) dv(х)dv(у)

к2,2(в; х, у)

Gj (в; х, у) - Ge (в; х, у) dv(х) dv(х)

(25)

(26)

(27)

(28)

Изучим особенности ядер (25)-(28) при совпадении аргументов х и у. Вычислим нормальные производные функций Грина:

dGi / e(в;x, у) = j dv( у)

Xi/e-^11)(Xi/e I х - у l)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

((х - у) v(у)) .

1 х - у 1

(29)

dGi / e (в;x, у ) dv( х )

Xi/eH1 (Xi/ e \ х "

■ у I)

((х - у) v(х));

I х - у I

(30)

д 2Gi / e (в;x, у) = iX2/e H(1)(X \ х \ч((х - у) ^(у))((х - у) •v(x))

ч =-----— H2 (Xi/e 1 х-у |)-----------;-----2----------

dv( х)dv(у) 4 | х - у I2

+^яу^^х - ув^у). (31)

4 I х - у I

Здесь (а • b) - стандартное скалярное произведение векторов а и b

2

в пространстве R . Хорошо известно [14], что если кривая имеет непрерывную кривизну, то

((х - уМх)) £ (32)

lim ------^ = -, (32)

х-у И0 I х - у I2 2

где ^ - кривизна кривой в точке х. Используя равенства (29)-(31), предел (32), а также известные асимптотические свойства функций Ханкеля [12], легко доказать следующую лемму.

Лемма 2. При любом в^Л ядра (25), (26), (28) не имеют особенности при совпадении аргументов х и у, а именно

lim Кц(в; х, у) = lim ^(в; х, у) = 0,

х- у И0 х- уИ0

lim K12( х, у)

|x - уИ0

ln Xe - ln Xi 2п

При любом в^Л ядро (27) имеет логарифмическую особенность при совпадении аргументов х и у, точнее, при I х - у И 0 справедливо следующее асимптотическое представление:

Physical and mathematical sciences. Mathematics

31

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

K2,1 (х, У )■

Kli

-xl) + %21п Xe

4п

-x2 In Xl+x2

-x2

4п

ln| x - У | - ln2-y(1) - -

где у - пси-функция.

3. Дискретность характеристического множества и зависимость характеристических значений от параметров

Пусть C - пространство функций, непрерывных на контуре Г, с нормой

|| u ||c = max | u(х) |. хеГ

Для каждого в еЛ определим интегральные операторы

в, j (в): C ^ C, i, j = 1,2,

с помощью следующих равенств:

(,j (в)и)(х) = J Kij (в; х, y )u( y )dl (У), х еГ. Г

Здесь, как и прежде, через K j , j = 1, 2, обозначены ядра (25)-(28) системы интегральных уравнений Мюллера (23), (24). В предыдущем пункте мы доказали, что лишь ядро K2 1 имеет логарифмическую особенность при

совпадении аргументов, все остальные ядра непрерывны. Хорошо известно [15], что интегральные операторы с такими ядрами являются вполне непрерывными в пространстве C.

Запишем теперь систему (23), (24) в виде операторного уравнения

А(в) w = (I + В(в))^ = 0, (33)

T

где w = (и,v) , u,v е C; вполне непрерывный оператор B : W ^ W, W = C X C, определен при помощи равенства

Bw =

' B1,1 1 <N 1 u

_ B2,1 - B2,2 _ v

символом I обозначен единичный оператор.

Теорема 2. Положим R+ = {х е R : х > 0} . При каждом фиксирован-

3

ном (в; к, ег-, £e) еЛх R+ оператор А(в; к, £, £e): W ^ W фредгольмов. При каждом фиксированном (к, £, £е) е R+ оператор-функция А(в; к, £, £е) голоморфна по веЛ . Оператор-функция А(в;к,£,£е) непрерывна по переменным (в; к, £■, £e) е Лх R+ .

Доказательство. При любом (в; к, £, £е) еЛх R+ оператор А(в; к, £■, £e) фредгольмов в силу полной непрерывности оператора B(в;к,£■,£e). Рассуждая аналогично [16, с. 459], можно показать, что опера-

32

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

тор-функция Лф; к, ег-, ее) голоморфна по РеЛ и непрерывна по

(в; к, £,-, £е) еЛ х R+ . Теорема доказана.

Ненулевой элемент w eW будем называть собственной функцией оператор-функции Л(в), отвечающей характеристическому значению веЛ, если выполнено уравнение (33). Характеристическим множеством операторфункции Л(в) будем называть множество чисел в еЛ, для которых оператор Л(в) не имеет ограниченного обратного в W (это множество называют также сингулярным). Будем обозначать его символом с(Л). Обозначим множество регулярных точек оператора Л(в) через р(Л) = Л \ с(Л).

Изучим качественные свойства характеристического и регулярного множеств оператор-функции Л(в). С этой целью прежде всего докажем полную спектральную эквивалентность задач (1)-(3) и (33).

Теорема 3. Если функция w = (wq, vq)T eW является собственной функцией оператор-функции Л(в), отвечающей характеристическому значению во еЛ, то функция и, определяемая равенствами (12), (13), где

в = ^, и + =и uQ,

ди+ dv

(34)

является собственной функцией задачи (1)-(3), отвечающей собственному значению во . Любая собственная функция и е U задачи (1)-(3), отвечающая собственному значению во еЛ, может быть представлена в виде (12), (13). При этом функция

w =

ди+

’ "д7

( д -- ди

dv

(35)

является собственной функцией оператор-функции Л(в), отвечающей характеристическому значению во.

Доказательство. Предположим, что w = (wq,vq) eW является собственной функцией оператор-функции Л(в), отвечающей характеристическому значению во еЛ . Построим функцию и по формулам (12), (13) и (34). Хорошо известно [10], что такая функция не равна тождественно нулю, удовлетворяет требуемым свойствам гладкости, а также уравнениям Гельмгольца

(1) и (2). Ясно, что условия сопряжения (3) выполнены. С помощью теоремы сложения Графа [12, с. 2о1] легко показать, что функция u удовлетворяет условию (4). Итак, функция и является собственной функцией задачи (1)-(3), отвечающей собственному значению во. Обратное утверждение теоремы сразу вытекает из леммы 1 и построения оператор-функции Л(в) . Следует заметить лишь, что любая функция w вида (35), где и е U, принадлежит W. Теорема доказана.

Теоема 4. Регулярное множество оператор-функции Л(в), определенной в (33), не пусто, а именно Л q \ G ср( Л). Характеристическое множе-

Physical and mathematical sciences. Mathematics

33

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

ство с(Л) оператор-функции Л(в) может состоять лишь из изолированных точек, являющихся характеристическими значениями оператор-функции Л(р). Каждое ее характеристическое значение в непрерывно зависит от

3 3

параметров (k, е+, ) е R+ . Кроме того, с изменением (k, е+, £те) е R+ характеристические значения оператор-функции Л(в) могут появляться и исчезать только на границе множества Л , т.е. в точках ±kn+,±knи на бесконечности.

Доказательство. В силу фредгольмовости оператора Л(в) при каждом

3

фиксированном (в;k,£+,£те)е AxR+ ( установленной в теореме 2), теоремы 1 о локализации собственных значений задачи (1)-(3) и теоремы 3 о связи решений задач (1)—(3) и (33) оператор Л(в;k,£+,£те) обратим для любых значений (в; k, £+, £те) е (Aо \ G) x R+. Таким образом, справедливость настоящей теоремы следует из свойств оператор-функции Л(в; k, £+, £те), установленных в теореме 2, теоремы И. Ц. Гохберга, М. Г. Крейна [17] об изолированности характеристических значений фредгольмовой голоморфной операторфункции Л(в) при наличии в области ее голоморфности хотя бы одной регулярной точки, теоремы S. Steinberg [18] о поведении характеристических значений такой оператор-функции в зависимости от изменения вещественного параметра k в случае, если оператор-функция является совместно непрерывной функцией в и k. Отметим, что теорема S. Steinberg справедлива для частного случая (который как раз и рассматривается нами), когда операторфункция Л(в, k) имеет вид Л(в, k) = I + 5(в, k), где оператор 5(в, k) вполне непрерывен. Теорема доказана.

Список литературы

1. Muller, C. Grundproblems der Mathematischen Theorie Elektromagnetis-cher Schwingungen / C. Muller. - Berlin : Springer, 1957. - 345 p.

2. Spectra, thresholds, and modal fields of a kite-shaped microcavity laser / E. I. Smo-trova, V. Tsvirkun, I. Gozhyk, C. Lafargue, C. Ulysse, M. Lebental, A. I. Nosich // J. Opt. Soc. Am. B. - 2013. - Vol. 30, № 6. - P. 1732-1742.

3. Eyges, L. Modes of dielectric waveguides of arbitrary cross sectional shape / L. Ey-ges, P. Gianino, P. Wintersteiner // J. Opt. Soc. Am. - 1979. - Vol. 69, № 9. - P. 12261235.

4. Wang, L. Modal analysis of homogeneous optical waveguides by the boundary integral formulation and the Nystroem method / L. Wang, J. A. Cox, A. Friedman // J. Opt. Soc. Am. A. - 1998. - Vol. 15, № 1. - P. 92-100.

5. Снайдер, А. Теория оптических волноводов / А. Снайдер, Дж. Лав. - М. : Радио и связь, 1987. - 656 с.

6. Karchevskii, E. Methods of analytical regularization in the spectral theory of open waveguides (invited paper) / E. Karchevskii, A. Nosich // Proceedings of International Conference on Mathematical Methods in Electromagnetic Theory. Dnipropetrovsk, Ukraine, 2014. - P. 39-45.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

7. Kartchevski, E. M. Mathematical analysis of the generalized natural modes of an inhomogeneous optical fiber / E. M. Kartchevski, A. I. Nosich, G. W. Hanson // SIAM J. Appl. Math. - 2005. - Vol. 65, № 6. - P. 2033-2048.

34

University proceedings. Volga region

№ 1 (33), 2015

Физико-математические науки. Математика

8. Даутов, Р. З. Метод интегральных уравнений и точные нелокальные граничные условия в теории диэлектрических волноводов / Р. З. Даутов, Е. М. Карчев-ский. - Казань : Казан. гос. ун-т, 2009. - 271 с.

9. Бицадзе, А. В. Некоторые классы уравнений в частных производных /

A. В. Бицадзе. - М. : Наука, 1981. - 448 с.

10. Колтон, Д. Методы интегральных уравнений в теории рассеяния / Д. Колтон, Р. Кресс. - М. : Мир, 1987. - 312 с.

11. Shestopalov, Yu. V. Logarithmic integral equations in electromagnetics. / Yu. V. Shestopalov, Yu. G. Smirnov, E. V. Chernokozhin. - VSP, 2000. - 117 p.

12. Никифоров, А. Ф. Основы теории специальных функций / А. Ф. Никифоров,

B. Б. Уваров. - М. : Наука, 1974. - 303 с.

13. Ильинский, А. С. Применение методов спектральной теории в задачах распространения волн / А. С. Ильинский, Ю. В. Шестопалов. - М. : Изд-во МГУ, 1989. - 184 с.

14. Тихонов, А. Н. Уравнения математической физики / А. Н. Тихонов, А. А. Самарский. - М. : Изд-во МГУ, 1999. - 799 с.

15. Kress, R. Linear integral equations / R. Kress. - New York : Springer-Verlag, 1999. -365 p.

16. Като, Т. Теория возмущений линейных операторов. / Т. Като. - М. : Мир, 1972. - 740 с.

17. Гохберг, И. Ц. Основные положения о дефектных числах, корневых числах и индексах линейных операторов. / И. Ц. Гохберг, М. Г. Крейн // Успехи математических наук. - 1957. - Т. 12, № 2. - С. 44-118.

18. Steinberg, S. Meromorphic families of compact operators / S. Steinberg // Arch. Rat. Mech. Anal. - 1968. - Vol. 31, № 5. - P. 372-379.

References

1. Muller C. Grundproblems der Mathematischen Theorie Elektromagnetis-cher Schwin-gungen [Grundproblems the Mathematical theory Elektromagnetis-cher vibrations]. Berlin: Springer, 1957, 345 p.

2. Smotrova E. I., Tsvirkun V., Gozhyk I., Lafargue C., Ulysse C., Lebental M., Nosich A. I. J. Opt. Soc. Am. B. 2013, vol. 30, no. 6, pp. 1732-1742.

3. Eyges L., Gianino P., Wintersteiner P. J. Opt. Soc. Am. 1979, vol. 69, no. 9, pp. 12261235.

4. Wang L., Cox J. A., Friedman A. J. Opt. Soc. Am. A. 1998, vol. 15, no. 1, pp. 92-100.

5. Snayder A., Lav Dzh. Teoriya opticheskikh volnovodov [Theory of optical waveguides]. Moscow: Radio i svyaz', 1987, 656 p.

6. Karchevskii E., Nosich A. Proceedings of International Conference on Mathematical Methods in Electromagnetic Theory. Dnipropetrovsk, Ukraine, 2014, pp. 39-45.

7. Kartchevski E. M., Nosich A. I., Hanson G. W. SIAM J. Appl. Math. 2005, vol. 65, no. 6, pp. 2033-2048.

8. Dautov R. Z., Karchevskiy E. M. Metod integral’nykh uravneniy i tochnye nelokal’nye granichnye usloviya v teorii dielektricheskikh volnovodov [Method of integral equations and precise nonlocal boundary conditions in the theory of dielectric waveguides]. Kazan: Kazan. gos. un-t, 2009, 271 p.

9. Bitsadze A. V. Nekotorye klassy uravneniy v chastnykh proizvodnykh [Some equation classes in partial derivatives]. Moscow: Nauka, 1981, 448 p.

10. Kolton D., Kress R. Metody integral’nykh uravneniy v teorii rasseyaniya [Methods of integral equations in the scattering theory]. Moscow: Mir, 1987, 312 p.

11. Shestopalov Yu. V., Smirnov Yu. G., Chernokozhin E. V. Logarithmic integral equations in electromagnetics. VSP, 2000, 117 p.

Physical and mathematical sciences. Mathematics

35

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

12. Nikiforov A. F., Uvarov V. B. Osnovy teorii spetsial'nykh funktsiy [Basic theory of special functions]. Moscow: Nauka, 1974, 303 p.

13. Il'inskiy A. S., Shestopalov Yu. V. Primenenie metodov spektral'noy teorii v zadachakh rasprostraneniya voln [Application of spectral theory methods in the wave propagation problems]. Moscow: Izd-vo MGU, 1989, 184 p.

14. Tikhonov A. N., Samarskiy A. A. Uravneniya matematicheskoy fiziki [Equations of mathematical physics]. Moscow: Izd-vo MGU, 1999, 799 p.

15. Kress R. Linear integral equations. New York: Springer-Verlag, 1999, 365 p.

16. Kato T. Teoriya vozmushcheniy lineynykh operatorov [Theory of linear operators‘ disturbance]. Moscow: Mir, 1972, 740 p.

17. Gokhberg I. Ts., Kreyn M. G. Uspekhi matematicheskikh nauk [Progress of mathematical sciences]. 1957, vol. 12, no. 2, pp. 44-118.

18. Steinberg S. Arch. Rat. Mech. Anal. 1968, vol. 31, no. 5, pp. 372-379.

Спиридонов Александр Олегович аспирант, Казанский (Приволжский) федеральный университет (Россия, г. Казань, ул. Кремлевская, 18)

E-mail: sasha_ens@mail.ru

Карчевский Евгений Михайлович доктор физико-математических наук, профессор, кафедра прикладной математики, Казанский (Приволжский) федеральный университет (Россия, г. Казань, ул. Кремлевская, 18)

E-mail: sasha_ens@mail.ru

Носич Александр Иосифович доктор физико-математических наук, профессор, лаборатория микро- и нанооптики, Институт радиофизики и электроники Национальной академии наук Украины (Украина, г. Харьков, ул. Академика Проскуры, 12)

E-mail: sasha_ens@mail.ru

Spiridonov Aleksandr Olegovich Postgraduate student, Kazan (Volga region) Federal University (18 Kremlevskaya street, Kazan, Russia)

Karchevskiy Evgeniy Mikhaylovich Doctor of physical and mathematical sciences, professor, sub-department of applied mathematics, Kazan (Volga region) Federal University (18 Kremlevskaya street, Kazan, Russia)

Nosich Aleksandr Iosifovich Doctor of physical and mathematical sciences, professor, laboratory of micro and nanooptics, Institute of Radio Physics and Electronics of the National Academy of Sciences of Ukraine (12 Akademika Proskury street, Kharkov, Ukraine)

УДК 517.9 Спиридонов, А. О.

Граничные интегральные уравнения мюллера в спектральной теории диэлектрических волноводов / А. О. Спиридонов, Е. М. Карчевский,

А. И. Носич // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 1 (33). - С. 24-36.

36

University proceedings. Volga region

i Надоели баннеры? Вы всегда можете отключить рекламу.