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

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

CC BY
300
53
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИЭЛЕКТРИЧЕСКИЙ ВОЛНОВОД / ЗАДАЧА НА СОБСТВЕННЫЕ ЗНАЧЕНИЯ / ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ / МЕТОД КОЛЛОКАЦИИ / DIELECTRIC WAVEGUIDE / EIGENVALUE PROBLEM / INTEGRAL EQUATIONS / COLLOCATION METHOD

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

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

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

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

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

COLLOCATION METHOD FOR NUMERICAL SOLUTION OF NONLINEAR SPECTRAL PROBLEMS FOR MULLER BOUNDARY INTEGRAL EQUATIONS

Background. A number of spectral problems of the theory of optical waveguides and resonators is reduced to nonlinear problem of searching eigenvalues of Muller boundary integral equations. One of effective numerical methods of solution of such problems is the collocation method. The present work has the following aims: to realize the collocation method for searching surface and leaky own waves of a weakly guiding waveguide with piecewise constant dielectric permittivity; to theoretically prove the convergence of the given method. Numerical solution of the problem under investigation was previously carried out by the collocation method on the basis of integral equations, built by the method of simple fiber potential. Therefore, one of the aims of the work is to find out which method of integral equations construction is the most efficient from the practical point of view at numerical solution of the set problem: the method of Muller boundary integral equations or the method of simple fiber potential. Materials and methods. The proving of the collocation method convergence relies on general results of the theory of discrete convergence of projection methods of nonlinear spectral problem solution and the theory of approximation of weakly singular integral equations. The comparative analysis of practical efficiency of the mehtod of Muller boundary integral equations and the method of simple fiber potential was carried out on the basis of numerical experiments of model problems solution. Results. It is proved that if there exists a solution to the set problems, there exists a sequence of eigenvalues of the collocation method matrix, coverging as a number of points of collocation to the exact solution increases. On the other hand, if there exists a converging sequence of the above mentioned eigenvalues, it converges to the exact problem solution. Numerical experiments displayed the collocation method convergence and stability. Conclusions. The collocation method is a theoretically substantiated method of the set problem solution with guaranteed convergence. However, discretization of integral equations with logarithmic peculiarity of kernels by the suggested variant of the collocation method (method of spline-collocations of zeroth order) is unefficient minor grid pitches. Besides, the method of simple fiber offers no advantage in counting time in comparison with the Muller boundary integral equations. Therefore, due to absolute equivalence of the system of Muller boundary integral equations to the initial differential problem it is more preferable to use the given equations for numerical solution of the latter.

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

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

УДК 517.9

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

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

Аннотация.

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

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

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

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

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

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

32

University proceedings. Volga region

№ 2 (34), 2015

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

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

COLLOCATION METHOD FOR NUMERICAL SOLUTION OF NONLINEAR SPECTRAL PROBLEMS FOR MULLER BOUNDARY INTEGRAL EQUATIONS

Abstract.

Background. A number of spectral problems of the theory of optical waveguides and resonators is reduced to nonlinear problem of searching eigenvalues of Muller boundary integral equations. One of effective numerical methods of solution of such problems is the collocation method. The present work has the following aims: to realize the collocation method for searching surface and leaky own waves of a weakly guiding waveguide with piecewise constant dielectric permittivity; to theoretically prove the convergence of the given method. Numerical solution of the problem under investigation was previously carried out by the collocation method on the basis of integral equations, built by the method of simple fiber potential. Therefore, one of the aims of the work is to find out which method of integral equations construction is the most efficient from the practical point of view at numerical solution of the set problem: the method of Muller boundary integral equations or the method of simple fiber potential.

Materials and methods. The proving of the collocation method convergence relies on general results of the theory of discrete convergence of projection methods of nonlinear spectral problem solution and the theory of approximation of weakly singular integral equations. The comparative analysis of practical efficiency of the mehtod of Muller boundary integral equations and the method of simple fiber potential was carried out on the basis of numerical experiments of model problems solution.

Results. It is proved that if there exists a solution to the set problems, there exists a sequence of eigenvalues of the collocation method matrix, coverging as a number of points of collocation to the exact solution increases. On the other hand, if there exists a converging sequence of the above mentioned eigenvalues, it converges to the exact problem solution. Numerical experiments displayed the collocation method convergence and stability.

Conclusions. The collocation method is a theoretically substantiated method of the set problem solution with guaranteed convergence. However, discretization of integral equations with logarithmic peculiarity of kernels by the suggested variant of the collocation method (method of spline-collocations of zeroth order) is unefficient minor grid pitches. Besides, the method of simple fiber offers no advantage in counting time in comparison with the Muller boundary integral equations. Therefore, due to absolute equivalence of the system of Muller boundary integral equations to the initial differential problem it is more preferable to use the given equations for numerical solution of the latter.

Key words: dielectric waveguide, eigenvalue problem, integral equations, collocation method.

Введение

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

Physical and mathematical sciences. Mathematics

33

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

поверхностных и вытекающих собственных волн слабонаправляющего волновода с кусочно-постоянной диэлектрической проницаемостью. Доказывается теорема сходимости, приводятся результаты численных экспериментов. Численное решение исследуемой в работе задачи ранее проводилось методом коллокации на основе интегральных уравнений, построенных методом потенциала простого слоя [6, 7]. Поэтому одна из целей данной работы - выяснить, какой из методов построения интегральных уравнений является более эффективным с практической точки зрения при численном решении поставленной задачи: метод граничных интегральных уравнений Мюллера или метод потенциала простого слоя.

1. Сходимость метода коллокации

Пусть диэлектрические проницаемости £*■ > £e > 0 волновода и окружающей среды, а также волновое число к > 0 фиксированы. Тогда задача о собственных волнах слабонаправляющего волновода спектрально эквивалентна задаче [3]

А(в) w = (I + В(в)) w = 0, (1)

T

где w = (u,v) , u,ve C , А(в) - фредгольмовая, голоморфная по веЛ оператор-функция, вполне непрерывный оператор В : W ^ W, W = C X C при каждом в еЛ определен равенством

Bw =

' B1,1 _ В1,2 u

_ B2,1 _ В2,2 _ v

(2)

символом I обозначен единичный оператор. Здесь C - пространство функций непрерывных на дважды непрерывно дифференцируемом замкнутом контуре Г (ограничивающем область поперечного сечения волновода) с нормой

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

Интегральные операторы в (2) определены равенствами

(,j(P)u)(х) = JKi j(в;х,у)u(у)dl(у), хе Г, Г

Кц(в; х, у)

dGj (в; х, у)

dv( у)

dGe (в; х, у)

dv( у)

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

к2,1(в; х, у)

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

К2,2(в; х, у)

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

Gi (;ху) = 7^01) (х* (в)х_у|), Ge (в;ху)=iH01) ( (в)|х_у|),

34

University proceedings. Volga region

№ 2 (34), 2015

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

где Xi = у k2&i - в2 , Xe =yjk2£e -p2 , du / dv - производная по внешней нормали к контуру Г. Мы предполагаем, что постоянные распространения Р принадлежат множеству Л - пересечению римановых поверхностей Лг- и Лe функций lnX+ (Р) и lnXe(Р) соответственно.

Построим приближение к решению задачи (1) с помощью метода кол-локации. Обозначим через N множество натуральных чисел. Разобьем контур Г на N = Nh е N непересекающихся дуг Гу h ,

N

Г = IIГ у h, h = max hy.

lyN J

Здесь hy - длина дуги Г у h . Обозначим символом Е h = {sy h )у=1 сетку на контуре Г, образованную серединами syh дуг Гyh , у = 1,...,N.

T

Собственную функцию w = (u,v) оператор-функции A(p) будем

разыскивать в виде кусочно-постоянной функции w(h) = (u(h),v(h))T , где

N N

u( h)(x) = Z uh (sy,h )Ф y ,h, v(h)( x) = Z Vh (sj,h )Ф y,h, (3)

У=1 j=1

Фj,h (x) = {1, x е Tjh; 0, x g Tjh}.

Значения uy h = uh (sу h), Vyh = Vh (sу h) искомой сеточной функции (определенной на сетке Eh) будем определять из уравнений

N

uih + Z uy,h j K1,1(p si,h, У)dl(У) -

y =1 Г y,h

N

-Zvy,h j K1,2(p;si,h,у)dl(у) = ° * = 1,...,N, (4)

y=1 ^h

N

vi,h + Z uy,h j K2,1(p; si,h, у)dl(у) -

y=1 у

N

-Zvy,h j K2,2(p;si,h,у)dl(у) =0, i = 1,...,N. (5)

y=1 ГМ

Приближением по методу коллокации к решению задачи (1) будем называть решение нелинейной алгебраической спектральной задачи

Ah (p)wh = (1 + Bh (p))wh = 0,

Physical and mathematical sciences. Mathematics

35

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

где Ah (в) - матрица системы уравнений (4), (5) с элементами, нелинейно зависящими от в, а Wh = (щ,Vh) - вектор неизвестных этой системы. Характеристическое множество оператор-функции А(в) обозначим с(A). Обозначим через с(Ah) множество характеристических чисел eh еЛ матрицы Ah (в) . Метод коллокации приближенного решения задачи (1) обосновывает следующая теорема.

Теорема 1. Справедливы следующие утверждения.

1. Если во е о(A), то существует такое семейство чисел eh е °(Ah), что вh ^ во при h ^ 0 .

2. Если семейство чисел вh е °(Ah) такое, что вh ^ во еЛ при h ^ 0, то во е о( A).

3. Пусть семейство чисел вh еЛ и семейство нормированных векторов

Wh такие, что вh еа(Ah), Ah (вh )wh = 0 и вh ^во, Wh ^ Wo при h ^ 0.

Тогда во е о(A) и A(вo)W0 = 0, W\W = 1.

Здесь Wh ^ W0 при h ^ 0 означает дискретную сходимость. Смысл этого термина мы сейчас поясним. При доказательстве этой теоремы будем опираться на общие результаты теории дискретной сходимости проекционных методов решения нелинейных спектральных задач [8] и теории аппроксимации слабосингулярных интегральных уравнений [4]. Поэтому предварим доказательство некоторыми определениями [4, 8] и известными результатами.

Введем пространство Ch функций, заданных на сетке Eh , с нормой

II uh \\ch = max I uh(sj,h) L uh е Ch.

h 1jN J

При каждом фиксированном в еЛ матрица Ah (в) определяет оператор, действующий в пространстве Wh = Ch XCh. Следуя [4, с. 52], введем в рассмотрение оператор ph : W ^ Wh как оператор, определяющий сужение функции w е W на сетку Eh : PhW е W - сеточная функция со значениями

(PhW)(sj,h) = w(sj,h X j =1 • -,N.

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

В работе [4, с. 52] доказано, что оператор Ph принадлежит пространству линейных ограниченных операторов L(W, Wh),

||ph||w ^Wh = X (6)

кроме того, оператор Ph удовлетворяет условию

\\PhW \\wh ^\\W \\w , h ^ 0, Vw eW. (7)

Семейство (Wh)he(0h) элементов Wh eWh (где h - некоторое положительное число) называется дискретно сходящимся к элементу w е W , если

36

University proceedings. Volga region

№ 2 (34), 2015

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

II wh - Phw \\wh ^ 0 h ^ 0

Дискретную сходимость обозначаем так: Wh ^ w. Последовательность элементов (Whk), где Whk е Whk и hk ^ 0, называется дискретно сходящейся к элементу w eW, если

\\ whk -phkw \\whk ^ 0 k ^х.

Семейство (wh)he(0h) элементов wh eWh называется дискретно компактным, если любая последовательность w^k , для которой hk ^ 0, содержит дискретно сходящуюся подпоследовательность. Аналогично определяется дискретно компактная последовательность.

Семейство (Ah)he(0h) операторов Ah eL(Wh,Wh) называется дискретно сходящимся к оператору A е L(W, W), если из дискретной сходимости векторов wh ^ w следует, что Ahwh ^ Aw . Дискретную сходимость семейства операторов будем обозначать следующим образом: Ah ^ A.

Доказательство теоремы заключается в проверке условий 1-6 теорем 1 и 2 статьи [8] в рассматриваемом случае.

1. Оператор Ph : W ^ Wh линеен и обладает свойством (7).

2. Оператор-функции A(P) и Ah (в) голоморфны по в на Л . Первое утверждение содержится в [3], второе можно доказать, рассуждая аналогично [9, с. 459].

3. При любом веЛ операторы A(e) и Ah (в) фредгольмовы. Первое утверждение доказано в [3], а второе - следствие конечномерности оператора Ah(в).

4. Для любого веЛ семейство операторов (Ah(в))he(0h) собственно сходится к оператору A^) . Согласно определению [8] семейство операторов (Ah)he(0 h) называется собственно сходящимся к оператору A, если выполнены следующие два условия:

а) из wh ^ w следует, что Ahwh ^ Aw ;

б) для любой равномерно ограниченной последовательности (whk)

элементов семейства (wh )he(0h) (т.е.

Whk

< const, hk e (0,h)), из того,

что последовательность векторов (A^k w^k) дискретно компактна, следует, что последовательность векторов (w^k) дискретно компактна.

Покажем сначала, что выполняется условие а. Зависимость операторов от параметра в не всегда будем указывать для сокращения обозначений. Очевидно, что

||Ahwh - PhAw\Wh < ||Ahwh - AhPhw\Wh +|AhPhw - PhAw\Wh ■ (8)

Physical and mathematical sciences. Mathematics

37

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

Ясно, что тогда

w(h) _ w (9)

Для вектора p^w е Wh по формуле (3) определим кусочно-постоянную функцию w(h) = (u(h),v(h))е Lra = Lra(Г)XLra(Г).

Ahphw = phAw(h), где A: Lra — W, следовательно,

\\Ahphw _ phAw\\wh <11 ph ||W—Wh IIAIIl„—W Объединяя неравенства (8) и (9), получаем оценку

\Ahwh _ phAw\Wh <|| Ah|Wh ——Wh IIWh — phw^Wh +

+1 p

h\\E—Wh II IIl^— w

w(h) - w

Напомним, что норма оператора ph равна единице (6). Ясно, что

w

(h) _

w

— 0, h — 0.

Кроме того, имеет место оценка

||A(P)L— W < с(в), веЛ,

где с(в) - непрерывная в области Л функция

с(в) = 1 + 4 max sup f | K j (в, x, y) | dy.

i, j=1,2 хеГ1

(10)

(11)

(12)

Из определения оператора Ah (в) вытекает, что

IK (в)||,

«■% —Wh

<

1И(Р)1

\L„—W

веЛ.

(13)

Итак, условие а выполняется в силу оценок (10)-(13).

Проверим теперь условие б. Дискретная компактность последовательности векторов (AhkWhk )keN означает, что для любого подмножества N'

множества натуральных чисел N существует такое N" с N, что последовательность элементов (A^w^ = w^k + B^w^ )keN" дискретно сходится к некоторому f е W . Для вектора wh е Wh определим функцию w(hk) е L(Щ)

по формуле (3). В силу

whk

Wh

lk nk

< const имеем

hk

w

(hk)

< const при k е N.

Интегральный оператор B: Lra — W вполне непрерывен. Следовательно, множество (Bu('hk относительно компактно. Значит, из любой последовательности векторов (Bu( hk можно извлечь сходящуюся подпоследовательность (Bu( hk , те.

Bw(hk) _ g

W

— 0, k — га, k е N , g е W.

L

38

University proceedings. Volga region

№ 2 (34), 2015

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

Отсюда в силу неравенства

Bhkwhk —Phkg

<

W,

hk

Phk

W —w,

Bw{hk) —

g

hk

W

и (6) следует, что последовательность (B^ w, )keN" дискретно сходится к вектору g eW . Значит, последовательность (w,k )keN'”" дискретно сходится к вектору w = f — g eW, и условие б выполнено.

5. Нормы ||^h (в)|W —w ограничены равномерно по h и в на каждом

компакте Лд с Л. Справедливость этого утверждения непосредственно следует из оценок (12), (13).

6. Регулярное множество р(A) не пусто, т.е. с(A) Ф Л . Справедливость этого утверждения доказана в [3].

Теорема доказана.

2. Результаты численных экспериментов

При теоретическом обосновании метода коллокации предполагалось,

что интегралы вида

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

°(jP) = j Kt,p(si,У)dl(У), t,P = 1,2, i, j = 1,...,N, Г;

(14)

в (4), (5) вычисляются точно. Напомним, что Sj - точки коллокации, а длину дуги Г j мы обозначили hj . Интегралы (14) будем вычислять численно методом центральных прямоугольников. Если i Ф j , положим

) = hjK, p (Sj, Sj), t, p = 1,2, i, j = 1,..., N.

В статье [3] изучены особенности ядер Kt p (в; x, y) при совпадении аргументов x и у. Доказано, что при любом веЛ ядра Кц, K12 и K2 2 не имеют особенности, а именно,

lim K11(в; х, у) = lim K2 2(e; x, у) = 0,

|х — у |—>0 |х — у |——0

lim K12( х, у)

|х — у|——0

ln Xe — ln Xi 2п

При любом веЛ ядро K2 1 имеет логарифмическую особенность при совпадении аргументов х и у, точнее, при | х — у |— 0 справедливо следующее асимптотическое представление:

K21(х,у) . i(x2 ~X2) + x2 lnXe-x2lnXi +

8

4n

+

2 2 г Xe —Xi

4n

ln|х — у | — ln2 — y(1) — -

Physical and mathematical sciences. Mathematics

39

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

Здесь у - пси-функция. Тогда при i = j имеем

f(U) = д(2,2) = 0 a(1,2) = h Inге - InXi

j,j = aj,j = °’ aj,j = hJ 2n ,

j = 1,..., N.

Легко видеть, что если точка коллокации Sj находится в середине дуги Г j при естественной параметризации контура Г, то

J ln | sj - y | dl(y) = hj(lnhj - ln2 -1).

Г j

Следовательно, положим

a j = rJ i'te -Xe) , Xe lnXe -X

J,J J 1 8 4 n

^. L j

2 2 Xe ~Xi 4 n ln sj - y 1 -ln2-у(1) -1 2

ln Xi +

dl (y) =

= h Ji(X2 -X2) , X2 lnXe -X2 lnXi hj I 8 + 4n

,

,

2 2 Xe -Xi

4n

ln hj - ln4 -у(1)-

j = 1,..., N.

Построенную таким образом нелинейную алгебраическую спектральную задачу мы решали методом обратных итераций с невязкой [10].

Опишем теперь результаты численного исследования поверхностных и вытекающих собственных волн диэлектрических волноводов кругового и квадратного поперечного сечения. Решение задачи было основано на параметрическом задании контура Г функцией r = ((t), ^(t)), где

n(t) = f (t)cos t, t e [0,2n],

n(t) = f (t)sint, te [0,2n],

1

2m

При m кривая стремится к прямоугольнику со сторонами 2а и 2b . В нашем случае а = b, при m = 1 это окружность радиуса а.

Сравнение метода граничных интегральных уравнений Мюллера c методом потенциала простого слоя мы проводили, решая задачу для волновода кругового сечения, и сопоставляя полученные решения с известным точным решением метода разделения переменных (рис. 1).

f (t) =

(/ ,\2m / • „ \2m Л

cos t ) I Sin t )

----- I +

a

40

University proceedings. Volga region

Рис. 1. Дисперсионные кривые для поверхностных и вытекающих собственных волн

I 2 2 2

волновода кругового поперечного сечения. Здесь Х = у к ее - в , Х = к (е, -ее).

Сплошные и пунктирные линии - решения, полученные методом разделения

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

Рисунок 2,а показывает, что метод коллокации имеет скорость сходимости первого порядка. Если шаг сетки выбрать достаточно малым (в наших экспериментах - меньше пяти сотых), скорость сходимости падает. Этот эффект для уравнений с логарифмической особенностью ядер хорошо известен. Мы его наблюдали как для уравнений Мюллера, так и для уравнений метода потенциала простого слоя. Из рис. 2,б видно, что с уменьшением шага сетки время счета обоими методами увеличивается экспоненциально, при этом ни один из методов не имеет преимуществ перед другим. Однако для достижения относительной точности вычислений в полпроцента достаточно выбирать шаг сетки, равный одной десятой. При этом время счета составляет несколько секунд.

Результаты счета для волновода квадратного сечения показаны на рис. 3 и 4 в сравнении с данными из работы [9].

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

Physical and mathematical sciences. Mathematics

41

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

Рис. 2. Сравнение точности вычислений методом граничных интегральных уравнений Мюллера и методом потенциала простого слоя (а): e = е / h , е=|х — X|/|X |, X - приближенное значение поперечного волнового числа в окружающей среде, вычисленное одним из указанных методов,

X - его точное значение, вычисленное для волновода кругового сечения методом разделения переменных, h - шаг сетки; сравнение времени счета (б): t - время счета в секундах

42

University proceedings. Volga region

Рис. 3. Дисперсионные кривые для поверхностных и вытекающих собственных волн слабонаправляющего однородного волновода квадратного поперечного сечения:

I 2 2 2

X = \]к £е - в , Х = к (£; —ее). Сплошные и пунктирные линии - решения,

полученные А. Г. Фроловым [9]. Кружочками обозначены результаты наших вычислений, полученные на основе системы интегральных уравнений Мюллера

а)

б)

А3 = 24.0163 Хз = -0.0073 + 1.7772г

А3 = 16.0000 Хз = 1-4391 - 0.2308г

-2-10 1 2

Рис. 4. Диаграммы функции | и | для поверхностной (а) и вытекающей (б) собственных волн волновода квадратного поперечного сечения

Physical and mathematical sciences. Mathematics

43

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

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

1. Spectra, thresholds, and modal fields of a kite-shaped microcavity laser / E. I. Smotrova, 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.

2. 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.

3. Спиридонов, А. О. Граничные интегральные уравнения Мюллера в спектральной теории диэлектрических волноводов / А. О. Спиридонов, Е. М. Карчев-ский, А. И. Носич // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 1 (33). - С. 24-36.

4. Vainikko, G. Multidimensional weakly singular integral equations / G. Vainikko. -Springer, 1993. - 159 p.

5. Смирнов, Ю. Г. Математические методы исследования задач электродинамики. / Ю. Г. Смирнов. - Пенза : Инф.-изд. центр ПГУ, 2009. - 268 с.

6. Spiridonov, A. O. Projection methods for computation of spectral characteristics of weakly guiding optical waveguides / A. O. Spiridonov, E. M. Karchevskiy // Proceedings of International Conference Days on Diffraction (St. Petersburg, Russia, May 27-31, 2013). - St. Petersburg, Russia, 2013. - P. 131-135.

7. Spiridonov, A. O. Parallel computing for numerical calculations of step-index optical fibers eigenmodes by collocation method / A. O. Spiridonov, E. M. Karchevskii // Proceedings of International Conference Days on Diffraction (St. Petersburg, Russia, May 26-30, 2014). - St. Petersburg, Russia, 2014. - P. 209-214.

8. Вайникко, Г. М. О быстроте сходимости приближенных методов в проблеме собственных значений с нелинейным вхождением параметра / Г. М. Вайникко,

О. О. Карма // Журнал вычислительной математики и математической физики. -1974. - Т. 14, № 6. - С. 1393-1408.

9. Карчевский, Е. М. Численное решение задачи о распространении электромагнитных волн в слабонаправляющих волноводах / Е. М. Карчевский, А. Г. Фролов // Известия высших учебных заведений. Поволжский регион. Физикоматематические науки. - 2011. - № 1 (17). - С. 47-57.

10. Neumaier, A. Residual inverse iteration for the nonlinear eigenvalue problem / A. Neumaier // SIAM J. Numer. Anal. - 1985. - Vol. 22, № 5. - P. 914-923.

References

1. 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.

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

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

3. Spiridonov A. O., Karchevskiy E. M., Nosich A. I. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2015, no. 1 (33), pp. 24-36.

4. Vainikko G. Multidimensional weakly singular integral equations. Springer, 1993, 159 p.

5. Smirnov Yu. G. Matematicheskie metody issledovaniya zadach elektrodinamiki [Mathematical methods of electrodynamic problems research]. Penza: Inf.-izd. tsentr PGU, 2009, 268 p.

6. Spiridonov A. O., Karchevskiy E. M. Proceedings of International Conference Days on Diffraction (St. Petersburg, Russia, May 27-31, 2013). Saint-Petersburg, Russia, 2013, pp. 131-135.

7. Spiridonov A. O., Karchevskii E. M. Proceedings of International Conference Days on Diffraction (St. Petersburg, Russia, May 26-30, 2014). Saint-Petersburg, Russia, 2014, pp. 209-214.

44

University proceedings. Volga region

№ 2 (34), 2015

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

8. Vaynikko G. M., Karma O. O. Zhurnal vychislitel’noy matematiki i matematicheskoy fiziki [Journal of calculus mathematics and mathematical physics]. 1974, vol. 14, no. 6, pp. 1393-1408.

9. Karchevskiy E. M., Frolov A. G. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2011, no. 1 (17), pp. 47-57.

10. Neumaier A. SIAM J. Numer. Anal. 1985, vol. 22, no. 5, pp. 914-923.

Спиридонов Александр Олегович аспирант, Казанский (Приволжский) федеральный университет (Россия, г. Казань, ул. Кремлевская, 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. - № 2 (34). -С.32-45.

Physical and mathematical sciences. Mathematics

45

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