Научная статья на тему 'Гипермультистабильность в моделях лазеров с большим запаздыванием'

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

CC BY
124
29
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МЕТОД НОРМАЛЬНЫХ ФОРМ / БОЛЬШОЕ ЗАПАЗДЫВАНИЕ / МАЛЫЙ ПАРАМЕТР / ЛОКАЛЬНЫЙ АНАЛИЗ / METHOD OF NORMAL FORMS / LARGE DELAY / SMALL PARAMETER / LOCAL ANALYSIS

Аннотация научной статьи по математике, автор научной работы — Григорьева Елена Викторовна, Кащенко Илья Сергеевич, Кащенко Сергей Александрович

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

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

Похожие темы научных работ по математике , автор научной работы — Григорьева Елена Викторовна, Кащенко Илья Сергеевич, Кащенко Сергей Александрович

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

Hypermultistability \\in laser's models with large delay

We study model of monomode semiconductor laser with optoelectronic feedback, based on balanced equations with delay. We built sets of quasinormal forms in neighboorghood of bifurcation values. The possibility of coexistence of large amount of stable oscillating solutions is shown.

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

Изв. вузов «ПНД», т. 19, № 3, 2011

УДК 517.9

ГИПЕРМУЛЬТИСТАБИЛЬНОСТЬ В МОДЕЛЯХ ЛАЗЕРОВ С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ

Е.В. Григорьева, И.С. Кащенко, С.А. Кащенко

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

Ключевые слова: Метод нормальных форм, большое запаздывание, малый параметр, локальный анализ.

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

3

Рассматривается система уравнений

и = vu(y — 1),

У = q — У — yu + au(t — T),

(1)

где переменная и пропорциональна плотности фотонов, переменная у пропорциональна инверсии населённостей, q > 1 - скорость накачки, v - отношение скорости затухания фотонов в резонаторе и скорости релаксации населённостей, потери резонатора нормированы к единице. Выражение au(t — T) описывает дополнительную накачку, которую вводят с помощью оптоэлектронной цепи обратной связи (ОС), где T - время распространения и преобразования оптического сигнала в электрический в цепи ОС, а - коэффициент обратной связи. В лазерных системах имеют смысл значения —1 < а < 1. Впервые схема воздействия на ток накачки использовалась для стабилизации частоты пичков полупроводниковых лазеров [6, 7], применялась для управления динамикой газового лазера [8], и может быть применена в современных твердотельных микрочип-лазерах. Математическая модель (1) справедлива при рассмотрении режимов с временами изменения характеристик излучения, значительно превышающими время прохода излучения по резонатору лазерного диода.

Динамика системы (1) изучалась многими авторами. В работах [4,5] на основе специально разработанного [10,11] асимптотического метода исследования нелокальной динамики уравнений с запаздыванием было показано, что при условии, когда параметр v достаточно велик (в реальных системах он имеет порядок 103-104), в системе (1) наблюдаются разнообразные пичковые колебания достаточно большой амплитуды. При этом существенно использовались фундаментальные результаты работы [12]. В работах [9,10] тоже при условии достаточно большого v исследовалась локальная динамика системы (1), то есть динамика в малой окрестности состояния равновесия (uo,vo)

Uo

q — 1

1 — а ’

Уо = 1.

(2)

Показано, что в задаче об устойчивости (uo, vo) критический случай имеет бесконечную размерность. На основе предложенного в [15-18] метода построены квазинормальные формы - специальные универсальные нелинейные эволюционные уравнения, нелокальная динамика которых определяет поведение решений исходной задачи (1) в малой окрестности состояний равновесия (2). В зависимости от величины запаздывания T эти уравнения могут быть как уравнениями с запаздыванием, так и уравнениями параболического типа.

Основное предположение настоящей работы - достаточно большое время запаздывания T:

T ^ 1 или е = T-1 ^ 1. (3)

При этом условии рассмотрим вопрос о поведении всех решений системы (1) с начальными условиями из некоторой достаточно малой (но не зависящей от е) окрестности состояния равновесия (2). На основе метода квазинормальных форм [17,19]

4

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

В (1) произведем замену, чтобы свести задачу к исследованию динамики в окрестности нулевого состояния равновесия. Положим

и = U0 + Ui, y = yo + yi.

В результате, опуская индекс «1», приходим к системе

{U = vu0y + vuy,

(4)

y = -и - (1 + uo)y + au(t - T) - uy.

В дальнейшем предполагаем, что выполнено условие локальности, то есть в (4) значения u и y достаточно малы.

2. Анализ линеаризованной системы. Важную роль для определения локальной (теперь уже в окрестности нулевого состояния равновесия) динамики (4) играет поведение решений линеаризованной в нуле системы

где w =

b = vu0

T

u y

v(q -1)

1 — a

A

W = Aw + aBw(t

0 b —1 —a

B=

T),

00

10

(5)

_ , . _ q - a

a = 1 + uo = --,

1a

В свою очередь, поведение решений (5) определяется корнями его характеристического уравнения

X2 + aX + b = ab exp(- XT).

(6)

В том случае, когда все корни (6) имеют отрицательные вещественные части и отделены от мнимой оси, при е ^ 0 все решения (4) из малой (и не зависящей от е) окрестности нулевого состояния равновесия стремятся к нулю при t ^ <х. Тем самым локальная динамика демонстрирует устойчивость состояния равновесия. Если же у (6) при каждом достаточно малом е найдется корень с положительной (и отделенной от нуля при е ^ 0) вещественной частью, поставленная задача становится нелокальной. Здесь рассмотрены критические в задаче об устойчивости u = y = 0 случаи, когда у (6) нет корней с положительной (и отделенной от нуля при е ^ 0) вещественной частью, и есть корни, находящиеся в малой (при е ^ 0) окрестности мнимой оси на комплексной плоскости. Для определения условия существования таких корней положим в (6) X = iv. Получим, что

-v2 + iva + b = ab exp(-ivT)

(7)

5

Отсюда, в частности,

(b — z)2 + a2z = a2b2, (8)

где z = v2 > 0. Уравнение (8) разрешимо относительно z > 0 при некоторых а, в частности, z = v2 = 0 при а = ±1. В то же время, при а = 0 это уравнение не имеет решений.

Отметим, далее, что при а = 0 система (4) представляет собой систему обыкновенных дифференциальных уравнений, и все решения из окрестности нуля (u = у = 0) стремятся к нулю при t ^ ж и, соответственно, все корни (6) имеют отрицательные вещественные части. Нас интересует «первое» положительное значение а = а+ < 1 и первое отрицательное значение а = а- > —1 такие, что при а = а± уравнение (8) разрешимо, а при а е (а-, а+) уравнение (8) не имеет неотрицательных решений.

Займемся определением а+ и а-. Уравнение (8) перепишем в виде

z2 — (2b — a2)z + b2(1 — а2) = 0. (9)

При а2 < 1 свободный член квадратного трехчлена (9) положителен, значит, если действительные корни существуют, то они одного знака. В случае 2 b — a2 < 0 они получаются отрицательными, а в случае 2b — a2 > 0 - положительными. Значит, если 2b — a2 < 0, то а- = —1, а+ = 1. Если 2b — a2 > 0, то значения а± определяют-

ся как наименьший положительный и наибольший отрицательный корни уравнения ё(а) = 0, где ё(а) - дискриминант квадратного трехчлена (9) - имеет вид

й(а) = P (а)(1 — а)-4,

P (а) = (q — а)4 — 4v(q — 1)(q — а)2(1 — а) + 4v2(q — 1)2а2(1 — а)2. Интересно отметить, что при достаточно больших v имеем 2b — a2 > 0 и

а± = ±v-1/2 + O(v-1). (10)

q—1

Через z± = v\ обозначим решение уравнения (9) соответственно при а = а+ и а = а-. В дальнейшем через ао будем обозначать либо а+, либо а- (в зависимости от знака параметра а), а через v0, соответственно, либо v+, либо v-. Легко видеть, что, если |а01 = 1, то v0 = 0, а если |а0| < 1, то

zo = v0 = v(q — 1)(1 — а0)-1 — 2-1(q — а0)2(1 — а0)2. (11)

Введем затем ещё несколько обозначений. Пусть 0 = 0(e) - такое значение из промежутка [0, 2п), которое дополняет величину v0T до кратного 2п числа. Число к е [0, 2п) определим из равенства

аobo exp(—гк) = b0 — v0 + iv0a0, (12)

где a0 = (q — а0)(1 — а0)-1, b0 = v(q — 1)(1 — а0)-1. Эти обозначения позво-

ляют в удобной форме выписать некоторую совокупность таких корней характеристического уравнения (6), которые при малых e находятся в малой окрестности мнимой оси.

6

Утверждение 1. При условии

а = a0 + s2a1 (13)

характеристическое уравнение (6) имеет такое множество корней Ak (е) (k = 0, ±1, ±2для каждого из которых верно асимптотическое представление

Ak (е) = ivo + ге(0 + 2kn + и) + е2Хк1 + е3Ак2 + O(e4), (14)

где

Ak1 = — iA[0 + 2kn + и], (15)

А = —i(ia0 — 2v0)(a0b0) 1 ехр(ги), (Im А = 0),

Ak2 = о(0 + 2kn + и)2 + iA2(0 + 2kn + и) + с, (16)

о = — 2 А2 + A(ao — 2voi)[4v0 + а2]-1,

ivoai + (1 — ao)b1 + a1bo ехр(—ги) A(ao — 2ivo)[4v0 + aft]

21

с

a1 = a1(q — 1)(1 — ao) 2, b1 = arv(q — 1)(1 — ao) 2.

При условии Re о < 0 задача о динамике решений (4) из малой окрестности нулевого состояния равновесия является нелокальной: существуют корни (6), вещественные части которых положительны и отделены от нуля при е ^ 0. Ниже дополнительно предполагаем, что

Re о > 0. (17)

Обратим внимание, что при больших значениях параметра v неравенство (17) выполнено.

Отметим, что Ak (е) разрывны по е (в силу разрывной зависимости от е функции 0(е)), а главное - асимптотические равенства (14) неравномерны по номеру k

(k = °, i1, ±2, . . .).

Как оказывается, некоторые совокупности корней (14) можно представить и по-иному. Для того чтобы показать это, введем ещё несколько обозначений. Фиксируем произвольно параметр у е (0,1) и натуральное п. Выберем произвольно п положительных чисел V1,...,vn. Обозначим через 0j = 0j(е) такое число из полуинтервала [0, 2п), что выражение VjеY-1 + 0j(е) является целым кратным 2п. Положим Q = (V1,..., Vn), 0 = (01,..., 0n), K = (k1,..., kn), где kj е Z (Z -

множество всех целых чисел на числовой оси, j = 1,..., п).

Положим затем

a = a0 + е2Ya1. (18)

7

Непосредственно проверяется, что характеристическое уравнение (6) имеет совокупность корней (вещественные части которых стремятся к нулю при е ^ 0) вида

Хк(Q, е) —i ^Vo + (Q, K)eY + е^0о + (0, K) + —

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

-Ae1+Y(Q, K) + ofc1^ + e1+2Y (o(Q, K)2 + c) + o(s1+2'i).

(19)

В заключение этого пункта отметим, что собственным значениям — корням Хк(е) и Хк(Q,e) характеристического уравнения (6) отвечают собственные решения линейной системы (5) при а — ао + o(1) вида

w(t, е)

[wo + o(1)] exp

ivoe 1(1 + o(1))t ,

где вектор wo

bo

iVo

является собственным для матрицы C — Ао+ао exp(—ivX)Bo

iv0w0 — Cwo.

3. Построение квазинормальной формы при условии (13)

2

а — ao + е2а1.

Напомним, что при этом условии вещественные части бесконечного множества корней характеристического квазиполинома (6) стремятся к нулю при е ^ 0. Это, в частности, означает, что в задаче об устойчивости нулевого состояния равновесия системы (4) реализуется критический случай бесконечной размерности. Стандартные методы исследования, базирующиеся на использовании методов локальных инвариантных интегральных многообразий и нормальных форм непосредственно не применимы, однако формализм этих методов существенно используется. Соответствующие построения детально разработаны в [9,17,19]. Согласно результатам этих работ, сначала введем в рассмотрение формальный ряд

U (t, е)

w(t, т1) exp(ivot)wo + w(t, т1) exp(—ivost)wo

+

е

+ е2^(^ т, Т1) + е3из^, т, Т1) + ...,

(20)

в котором т — е3t, т1 — е(1 — еA)t; константа vo и вектор wo были определены в

предыдущем пункте;

w(t, Т1)

Ж

Y Ik (т) exp

к=—ж

i(0 + 2кп + х)т1 ;

а U2(t, т, т1) и U3(t, т, т1) являются 2л/vo-периодическими функциями по первому аргументу.

8

Систему (4) удобно записать в векторной форме относительно U = (u1;u2), (ui = u, U2 = y)

U = AU + aBU(t - T) + U1U2V, V

v

-1

(21)

Подставим (20) в (21) и будем, учитывая (13), собирать коэффициенты при одинаковых степенях е. При первой степени е соответствующее тождество выполнено. Собирая коэффициенты при е2, приходим к системе уравнений для определения

U2 = U21 exp(ivot) + U21 exp(-ivot) + U22 exp(2ivot) + U22 exp(—2ivot):

CU21 = —i I ^ (t)(0 + 2kn + x)exp[i(0 + 2kn + х)х1П wo+

\k=—oo

+ ia0A exp(—ix)

УУ (t)(0 + 2kn + x) exp [i(0 + 2kn + х)т1]

.k=—ro

(22)

Bowo,

C0U22 = ivobow2(x, T1) V, (23)

где Co = 2ivoI — Ao — ao exp(—2ix)Bo.

Система (23) всегда разрешима и

U22 = ivobow2(x, T1)C-1V = ivobow2(x, T1)

Для разрешимости системы (22) относительно U21 необходимо и достаточно, чтобы вектор, стоящий в правой части, был ортогонален вектору

w1 = (ao — ivo,bo)T.

(24)

В силу определения фигурирующих в (22) параметров, это условие выполнено, поэтому U21 из (22) определяется следующим выражением:

U21

ГО

УУ (т)(0 + 2kn + x) exp [i(0 + 2kn + х)т1]

k=—ro

woo.

(25)

Здесь woo - решение системы

Cwoo = i[aoA exp(—ix)Bo — I ]wo. (26)

Соберем коэффициенты при е3. В результате приходим к линейной неоднородной системе уравнений относительно U3(t, т, т1), причем неоднородность содержит гармоники по первому аргументу exp(invot) с номерами n = 0, ±1, ±2, ±3. Тем самым, решение U3(t, т, Т1) тоже содержит эти же гармоники. Соответствующие коэффициенты обозначим через U3n(T, т1). Для n = 0, ±1, ±2, ±3 вектор-функции U3n(T, т1) легко определяются, а для U31(t, т1) (и U3 -1(т, т1) = U31(т, т1)) получаем систему уравнений

CU31 = Г, (27)

9

где

dw

Г =w[A1 + ai exp(—ix)Bo]wo + ao — exp(-ix)Bowo —

dx

— ^ ^k(® + 2kn + x)2 exp [i(0 + 2kn + x)e1H woo-

\k = -X /

^ / x \

2a| ^ "%k(0 + 2kn + x)2 exp [i(0 + 2kn + x)t1 И x

\k=-X /

x aoexp(—ix)BoWo + vobo[voV1 + iboV2]\w\2wV.,

A1 = (q— 1)(1 — ao)-V f 0 1 ] •

(28)

Условие разрешимости системы (27) состоит в выполнении равенства (Г, zo) = 0. Учитывая здесь соотношения (24)-(26), (28), получаем систему уравнений относительно w(t, ti). Обратим внимание, что

dw д т1

X

i "%k(t)(0 + 2kn + x)exp[i(0 + 2kn + x)t1] ,

k=-X

д 2w ~дх(

X

r%k(t)(0 + 2kn + x)2 exp [i(0 + 2kn + x)t1] •

k=-X

Имея это в виду, уравнение для w(t, х) можно записать в форме параболического уравнения

IT = ° d~w + д2(0 + x) + [°(0 + x)2 + c]w + 8\w\2w (29)

дт дх2 дх

с периодическими краевыми условиями

w(t, х + 1) = w(t, х)

(30)

В (29) через 8 обозначена величина

8 = vo[vov1 + iboV2](v(ao + ivo) + bo)(aob-1) exp(ix)

Коэффициенты (29) зависят от 0, а значит, от малого параметра е. При е ^ 0 функция 0(е) бесконечно много раз принимает каждое значение из полуинтервала [0, 2п). Отсюда, в частности, вытекает, что динамика (4) весьма чувствительна к изменению малого параметра е: при е ^ 0 может наблюдаться неограниченное число раз процесс рождения и гибели тех или иных установившихся режимов. Ниже через ега(0о) обозначим такую последовательность, что ега(0о) ^ 0 и 0(ега(0o)) = 0o.

Сформулируем основной результат.

Утверждение 2. Пусть при некотором 0 = 0o £ [0,2п) краевая задача (29), (30) имеет ограниченное решение и*(т,х). Тогда система (4) при е = ега(0о) имеет асимптотическое по невязке при n ^ о решение x(t, е) такое, что

x(t, е)

I —Н*

+ и

= еи* (е3, е (1 + еА + 0(е2)) t) exp i \ (е3^е (1 + еА + 0(е2)) t) exp — i ^

, ^vo

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

е

----+ 0o + x + 0(е)

+ 0o + x + 0(е) j t

) Ц +

+ о(е)-

(31)

10

В простейших ситуациях, когда, например, п*(т,х) - в определенном смысле - грубое периодическое решение, можно показать, что формула (31) доставляет в качестве решения (4) тор той же, что u*(x, х) устойчивости.

В заключение этого пункта заметим, что краевая задача (30), (31) является уравнением типа Гинзбурга-Ландау. Известно (см. например [20]), что она может обладать достаточно богатой динамикой. Из приведенных выше постро-

ений следует, что тот же вывод справедлив и для локальной динамики системы (4). В частности, бегущим волнам в уравнении Гинзбурга-Ландау будут соответствовать периодические ре-

Рис. 1. Фурье-спектры четырех сосуществующих периодических аттракторов, полученных численно при различных начальных условиях. Параметры системы (1): v = 20, q = 3.5, а = 0.66, Т = 16, критическое значение а+ = 0.633. Частоты аттракторов va нормированы на частоту цепи обратной связи vt = 2п/Т

шения разной частоты в исходной системе. На рис. 1 приведены фурье-спектры четырех сосуществующих периодических

аттракторов, полученных численно при различных начальных условиях.

Количество таких аттракторов может расти с увеличением запаздывания, как обсуждается в [6].

4. Построение систем квазинормальных форм при условии

а = а0 + е2уа1, у е (0,1). (32)

Это условие означает, что параметр а сильнее отличается от ао, чем в предыдущем пункте (формула (13)). Используем построения, предложенные в [21,22].

Положим в (21)

U

-€У

exp [i (vo + е(0 + х)) t\ ^ ?к (т) exp(i(K, Ti))wo+

к

+ exp [-i (vo + e(& + х)) t\ ^ %к (т) exp(-i(K, Ti))wo

к

+ e2yU2 + e3yU3 + ....

(33)

Здесь использованы обозначения из п. 2, т = e2y+1t, T1 = (t1,...,tn), tj = {vjе1-у + e&j + £'l+lVjA) t. Суммирование в (33) происходит по всевозможным целочисленным наборам K = (k1,..., kn), а вектор-функции Uj = Uj(t, T,t1,..., tn) (j = 2, 3) периодичны с периодом 2п по каждому из последних n аргументов. Подставляя формальный ряд (33) в (21) и последовательно приравнивая коэффициенты при одинаковых степенях е, получаем, что квазинормальные формы в рассматриваемом случае имеют вид

dw ( д д \2 2

Т— = о т-----+ ... + ^— w + cw + ojwj w

дт \дх1 дхп)

(34)

11

с периодическими краевыми условиями по каждой пространственной переменной

w{x,xi,...,Xj +---,Xj+!,...,Xn) = w(x,xi,...,Xn) (j = (35)

vj

Утверждение 3. Пусть при некоторых n и v1,..., vn краевая задача (34), (35) имеет ограниченное решение w*(x,x1,... ,xn). Тогда система уравнений (21) имеет асимптотическое по невязке решение

U(t, е)

£1

exp (i [vq + e(0Q + x)j t) w*(el+2'it,ti, ...,tn) +

+ exp (-i [vq + e(0Q + к)] t) w*(el+2yt,ti,... ,tn)

+ O(e2Y).

Краевая задача (34), (35) является вырожденной параболической краевой задачей. Известно, что её динамика может быть весьма сложной. Кроме этого, уравнение (34) и краевые условия (35) содержат произвольный числовой параметр n (n = 1, 2, 3, 4,...) и n континуальных параметров v1,..., vn. Для каждого набора параметров решению (34), (35) соответствует асимптотическое по невязке решение (21). Поэтому можно говорить о явлении гипермультистабильности. На рис. 2 и 3 показаны некоторые аттракторы, полученные численно, и их фурье-спектры, где частоты нормированы на частоту цепи обратной связи 2п/Т. Отметим, что существование подобных квазипериодических решений подтверждают и численные результаты [23].

Отметим ещё, что, несмотря на кажущуюся сложность краевых задач (34), (35), они позволяют существенно упростить изучение локальной динамики (21). Как показано выше, решения (21) включают в себя как решения (34), (35), так и относительно быстро осциллирующие функции.

Рис. 2. Динамика трех сосуществующих периодических аттракторов, полученных численно при различных начальных условиях. Параметры системы (1) v = 20, q = 3.5, а = 0.7, T = 16 соответствуют достаточно большой надкритичности при критическом значении а+ = 0.633

Рис. 3. Фурье-спектры четырех сосуществующих аттракторов, полученных численно при различных начальных условиях. Нижний спектр соответствует простому периодическому решению, другие спектры соответствуют аттракторам, показанным на рис. 2. Параметры системы (1) те же, что и на рис. 2, и соответствуют достаточно большой надкритичности при критическом значении а+ = 0.633

12

Ещё один важный вывод, подтверждающий возможность гипермультистабильности, связан c численным определением параметров в (1). Суть вопроса состоит в том, что параметры у и ai, фигурирующие в (32), определяются при каждом фиксированном а неоднозначно и в довольно широком диапазоне. В силу того, что ai существенно влияет на динамику краевой задачи (34), (35), а значит, и на локальную динамику системы (1), заключаем, что в конкретных задачах необходимо рассматривать этот параметр во всем его диапазоне изменения. Поскольку при различных ai динамика, вообще говоря, различна, то получаем и здесь явное указание на возможность явления гипермультистабильности.

Рассмотрим это подробнее на примере. Фиксируем параметры v, q, а и T в исходном уравнении (1). При этом будем считать, что q > 1 произвольно, v такое, что выполняются все сформулированные выше условия. Величина T, в соответствии со всеми предположениями, должна быть большой, а значение е = T-1 - маленькое. Например, е = 10-3. Полагаем, что это значение «достаточно мало». Параметр a пусть «не сильно» отличается от критического значения ao, то есть a = ao + ц и ц «не велико». Пусть этот параметр принимает одно из двух значений: ц = 10-1 и ц = 10-2. Положим ц = e2ya1. Параметр у может принимать любое значение от 0 до 1, ai пусть будет «не мало» и «не велико». Дополнительно ограничив область значений у £ [1/4,1/2], получим

a1 £ [\/10,102] при ц = 10-1;

a1 £ [1Д/10,10 при ц = 10-2.

Каждому значению a1 из полученного диапазона может, вообще говоря, соответствовать свой установившийся режим исходного уравнения (1) при одних и тех же значениях параметров v, q, a и T.

Работа выполнена при финансовой поддержке целевой программы «Научные и научно-педагогические кадры инновационной России» (государственные контракты № 02.740.11.0197 и № П2223).

Библиографический список

1. Yanchuk S., Perlikowski P Delay and periodicity // Phys. Rev. E. 2009. Vol. 79. 046221.

2. Loose A., Goswami B.K., Wunsche H.-J., Henneberger F. Tristability of a semiconductor laser due to time-delayed optical feedback // Phys. Rev. E. 2009. Vol. 79. 036211.

3. Erneux T, Grasman J. Limit-cycle oscillators subject to a delayed feedback // Phys. Rev. E. 2008. Vol. 78. 026209.

4. Grigorieva E.V., Kaschenko S.A., Loiko N.A., Samson A.MNonlinear dynamics in a laser with a negative delayed feedback // Physica D. 1992. Vol. 59. P. 297.

5. Grigorieva E.V., Kaschenko S.A. Regular and chaotic pulsations in lazer diode with delayed feedback // Bifurcations and chaos. 1993. Vol. 6. P. 1515.

6. Wolfrum M., Yanchuk S. Eckhaus instability in systems with large delay // Phys. Rev. Letters. 2006. Vol. 96. 220201.

13

7. Paoli T.L., Ripper L.E. Frequency stabilization and narrowing of optical pulses from CW GaAs injection lasers // IEEE J. Quan. Electron. 1970. Vol. QE-6. P. 335.

8. Giacomelli G., Calzavara M., Arecchi F.T. Instabilities in a semiconductor laser with delayed optoelectronic feedback // Opt. Commun. 1989. Vol. 74. P. 97.

9. Arecchi F.T., Giacomelli G., Lapucci A., Meucci R. Dynamics of a CO2 laser with delayed feedback: The short-delayed regime // Phys. Rev. A. 1991. Vol. 43. P. 4997.

10. Кащенко С.А. Исследование методами большого параметра системы нелинейных дифференциально-разностных уравнений, моделирующих задачу хищник-жертва // Докл. АН СССР 1982. Т. 266, № 4. С. 792.

11. Кащенко С.А. Об установившихся режимах уравнения Хатчинсона с диффузией // ДАН СССР. 1987. Т. 292, № 2. С. 327.

12. Бутузов В.Ф., Васильева А.Б. Асимптотические разложения решений сингулярно возмущенных уравнений. М.: Наука, 1973.

13. Grigorieva E.V., Haken H., Kaschenko S.A. Theory of quasiperiodicity in model of lasers with delayed optoelectronic feedback // Optics Commun. 1999. Vol. 165. P. 279.

14. Bestehorn M., Grigorieva E.V., Haken H. and Kaschenko S.A. Order parameters for class-B lasers with a long time delayed feedback // Physica D. 2000. Vol. 145. P. 111.

15. Кащенко С.А. О квазинормальных формах для параболических уравнений с малой диффузией // ДАН СССР. 1988. Т. 299, № 5. С. 1049.

16. Кащенко С.А. О коротковолновых бифуркациях в системах с малой диффузией // Докл. АН СССР. 1989. Т. 307, № 2. С. 269.

17. Кащенко С.А. Применение метода нормализации к изучению динамики дифференциально-разностных уравнений с малым множителем при производной // Дифференциальные уравнения. 1989. Т. 25, № 8.

18. Kaschenko S.A. Normalization in the systems with small diffusion // International Journal of Bifurcations and chaos. 1996. Vol. 6, № 7. P. 1093.

19. Кащенко С.А. Уравнения Гинзбурга-Ландау - нормальная форма для дифференциально-разностного уравнения второго порядка с большим запаздыванием // Журнал вычисл.матем. и матем. физ. 1998. Т. 38, № 3. С. 457.

20. Новое в синергетике: взгляд в третье тысячелетие. М.: Российская академия наук и издательство «Наука», 2002. 478 с.

21. Кащенко И.С. Асимптотический анализ поведения решений уравнения с большим запаздыванием // Доклады Академии Наук. 2008. Т. 421, № 5. С. 586.

22. Кащенко И.С. Локальная динамика уравнений с большим запаздыванием // Журнал вычислительной математики и математической физики. 2008. Т. 48, № 12. С. 2141.

23. Кащенко И.С. Буферность в уравнениях второго порядка с большим запаздыванием // Моделирование и анализ информационных систем. Ярославль, 2008. Т. 15, №2. С. 31.

Белорусский государственный Поступила в редакцию 15.02.2011

экономический университет

Ярославский государственный

университет им. П.Г. Демидова

14

HYPERMULTISTABILITY IN LASER’S MODELS WITH LARGE DELAY

E.V. Grigorieva, I.S. Kashchenko, S.A. Kaschenko

We study model of monomode semiconductor laser with optoelectronic feedback, based on balanced equations with delay. We built sets of quasinormal forms in neigh-boorghood of bifurcation values. The possibility of coexistence of large amount of stable oscillating solutions is shown.

Keywords: Method of normal forms, large delay, small parameter, local analysis.

Григорьева Елена Викторовна - родилась в 1957, окончила Белорусский государственный университет (1974). Работала в институте физики АН БССР, БГУ, в настоящий момент работает в БГЭУ Защитила диссертацию на соискание ученой степени доктора физико-математических наук в БГУ (2004) в области нелинейной динамики лазерных систем. Опубликовала 100 научных и научно-методических трудов.

Республика Беларусь 220070 Минск, пр. Партизанский, д. 26 Белорусский государственный экономический университет E-mail: grigorieva@tut.by

Кащенко Илья Сергеевич - родился в Ярославле (1982), окончил Ярославский государственный университет (2004). После окончания ЯрГУ работает там же. Защитил диссертацию на соискание ученой степени кандидата физикоматематических наук в ЯрГУ (2006) в области нелинейной динамики уравнений с запаздыванием. Является автором 30 научных и научно-методических трудов.

150000 Ярославль, ул. Советская, д. 14

Ярославский государственный университет им. П.Г. Демидова E-mail: iliyask@uniyar.ac.ru

Кащенко Сергей Александрович - родился в Ярославле (1953), окончил Ярославский государственный университет (1975). После окончания ЯрГУ работает там же. Защитил диссертацию на соискание ученой степени кандидата физико-математических наук в ННГУ (1976) и доктора физико-математических наук в МГУ (1990) в области теории нелинейных колебаний. Автор пяти монографий. Опубликовал 220 научных статей по направлению, указанному выше.

150000 Ярославль, ул. Советская, д. 14

Ярославский государственный университет им. П.Г. Демидова E-mail: kasch@uniyar.ac.ru

15

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