Метод квазипотенциала в анализе стохастической чувствительности 2-тора Текст научной статьи по специальности «Математика»

Прикладные задачи

'нелинейной теории колебаний и вслн

Изв. вузов «ПНД», т. 14, № 1, 2006

УДК 531.36

МЕТОД КВАЗИПОТЕНЦИАЛА В АНАЛИЗЕ СТОХАСТИЧЕСКОЙ ЧУВСТВИТЕЛЬНОСТИ 2-ТОРА

Л.Б. Ряшко

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

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

Введение

динамических систем на случайные возмущения. Если циклы и, тем более, точки покоя являются достаточно подробно исследованными объектами современной теории стохастической нелинейной динамики, то стохастически возмущенные тороидальные инвариантные многообразия еще только начинают рассматриваться. Тор, ставший после работ Пуанкаре, Данжуа и Арнольда [1] классическим объектом качественной теории дифференциальных уравнений, достаточно подробно исследовался с точки зрения его структурной устойчивости (КАМ-теория). Анализу устойчивости тороидальных многообразий к возмущению начальных данных даже в рамках детерминированной теории посвящено лишь небольшое число работ (см., например, [2-7]). Экспоненциальная среднеквадратическая устойчивость стохастически возмущенных тороидальных движений исследовалась в [8].

Рассмотрим систему

X = / (х) (1)

где х — п-мерный вектор, / - достаточно гладкая вектор-функция. Предполагается, что система (1) имеет инвариантное двумерное тороидальное многообразие Г.

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

В формальных построениях будем исходить из возможности следующей параметризации 2-тора Г (рис. 1). Пусть на Г лежит некоторая замкнутая достаточно гладкая кривая а (экватор), задаваемая функцией а(в) на интервале 0 < в < 1 с условием а(0) = а(1). Из каждой точки а(в) кривой а, как начальной, выходит решение х(Ь, в) системы (1) с условием х(0,в) = а(в). Предполагается, что траектория х(Ь,в), совершив оборот вокруг тора Г, через некоторое время вновь пересечет кривую а. Пусть Т(в) = шш{ Ь > 0 | х(Ь, в) € а } - момент первого возвращения траектории х(Ь, в) на кривую а, при этом х(Т(в), в) есть точка возвращения. Пусть т(в) такова, что а(т(в)) = х(Т(в), в). Здесь т(в) есть функция последования сечений Пуанкаре кривой а фазовыми траекториями системы (1). Естественная область изменения переменной в - окружность. При рассмотрении функции т(в) на полуинтервале [0,1) неизбежно возникают разрывы. Для того чтобы обеспечить непрерывность т(в), принято считать областью изменения в всю числовую ось. При этом функции а(в) и т(в) являются периодическими а(в) = а(в + 1), т(в) = т(в + 1). Равенства х(Ь, в) = х(Ь, в + 1), х(Т(в) + Ь,в) = х(Ь, т(в)) позволяют распространить функцию х(Ь,в) на всю плоскость П = {(¿,в)| — ж < Ь < +ж, —ж < в < +ж}.

Рис. 1. а - замкнутая кривая (экватор), а = = х(0, в) = а(в) - начальная точка решения х(Ь, в), Ь = х(Т(в), в) = а(т(в)) - точка первого возвращения решения х(Ь,в) на кривую а

Функция х(Ь, в) устанавливает взаимно-однозначное соответствие между точками 2-тора Г и точками множества {(Ь,в) | 0 < Ь < Т(в), 0 < в < 1}. Вектор, дх(Ь, в) дх(Ь, в)

функции —-- , —---линейно независимы. При этом для каждой точки у на

дЬ дв

торе Г можно указать Ь = Ь(у), в = в(у) такие, что х(Ь,в) = у.

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

Определение 1. Тор Г называется экспоненциально устойчивым (Э-устойчивым) в В, если при некоторых К > 0, I > 0 выполняется условие

||л(х(Ь))|| < Ке-и\Пхо)\\,

где х(Ь) - решение системы (1) с начальным условием х(0) = хо € В, || • || -евклидова норма.

Э-устойчивость тороидальных многообразий для детерминированных систем исследовалась в работах [2-7].

Исследование аттракторов нелинейных стохастических систем было начато в [9] и продолжено в большом числе работ (см., например, [10-15]). Для систем со случайными возмущениями стандартной моделью является стохастическая система Ито

х = / (х) + ео(х)и), (2)

где w(t) - п-мерный винеровский процесс; о(х) - достаточно гладкая (п х п)-функция, определяющая зависимость помех от состояния системы; е - параметр интенсивности возмущений. Предполагается, что det о(х)|г = 0 - шумы на торе Г являются невырожденными. В результате действия возмущений случайные траектории системы (2) покидают тороидальную поверхность и формируют вокруг нее некоторое случайное распределение.

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

Соответствующая асимптотика стационарной плотности распределения р(х, е) в случае малых шумов задается функцией у(х) = — Иш£^0 е21п р(х, е) - квазипотенциалом. При этом р(х,е) ~ К • е- е2 . Квазипотенциал был введен в работах А.Д. Вентцеля и М.И. Фрейдлина в связи с решением известной задачи Колмогорова о выходе случайной траектории из области, содержащей устойчивую точку покоя, и рассматривался в [16-18].

Квазипотенциал связан с некоторой вариационной задачей минимизации функционала действия и удовлетворяет уравнению Гамильтона - Якоби. Уравнение Гамильтона - Якоби выглядит проще, нежели исходное уравнение ФПК, однако и его точное решение является по-прежнему весьма сложной задачей. Здесь возможен конструктивный подход, связанный с введением еще одной асимптотики - малой окрестности исследуемого аттрактора. Для случая предельного цикла аппроксимация квазипотенциала исследовалась в [19].

В разделе 1 настоящей работы дается локальное описание квазипотенциала вблизи тора Г. Аппроксимацией квазипотенциала у(х) = ф(х) + 0(||л(х)||3) служит

квадратичная форма ф(х) = -(л(х), Ф+(у(х))л(х)), задаваемая определенной на Г

■ д2у 1 +

симметрической (пхп)-матрицей Ф(у)

дх2 (у)

(+ означает псевдообращение).

В результате асимптотика стационарной плотности распределения для рассматриваемого в работе случая, когда малы как шумы, так и отклонения от тора, может быть записана в форме нормального распределения с ковариационной матрицей е2Ф(у), дающей простое описание отклика рассматриваемой нелинейной системы на малые случайные возмущения. Функция Ф(у) - стохастическая функция чувствительности тороидальной поверхности - позволяет сравнивать реакцию различных ее участков (разброс случайных траеторий) на вносимые помехи, предсказывая достаточно тонкие эффекты случайных воздействий. Возможности такого анализа для случая стохастически возмущенного цикла рассмотрены в [20-21]. В [22] с помощью функции чувствительности удалось провести конструктивный анализ стохастической модели Лоренца в цепи бифуркаций удвоения периода при переходе к хаосу.

Данная работа посвящена разработке теории построения функции стохастической чувствительности для тороидальных многообразий. В разделе 1 для случая 2-тора получено параметрическое описание стохастической функции чувствительности Ф(у) при помощи матрицы Ш(¿, 8) = Ф(х(£, 8)) на решениях х(Ь, 8), лежащих на тороидальной поверхности. Отыскание этой матрицы сводится к решению линейного дифференциального матричного уравнения.

В разделе 2 детально исследуется случай 2-тора в трехмерном пространстве. Здесь построение стохастической функции чувствительности - скалярной функции -сводится к решению некоторого функционального уравнения.

Эффективность полученных результатов демонстрируется в разделе 3, где дается пример конструктивного построения стохастической функции чувствительности и ее исследования в зависимости от параметров системы.

1. Аппроксимация квазипотенциала.

Функция чувствительности для тора

Квазипотенциалом системы (2) в окрестности В тороидальной поверхности Г является функция

1 {

у(х) = т£ ■] (х,и), 7 (х,и) = - иТ (т)Б-1(у(х))и(х)йх, Б (у) = а(у)ат(у).

иеи 2 70

Здесь множество допустимых управлений и составляют п-мерные вектор-функции и,

переводящие систему

У = -f (у) + u (1-1)

из начального положения y(0) = x на тороидальную поверхность Г : lim д(у(т)) = 0. Функция v(x) удовлетворяет уравнению Гамильтона - Якоби

f(x)-fv)+2 Ш-^)=0 (1.2)

с условиями

vir = 0, v\D\r > 0 . (1.3)

Квазипотенциал v(x) в окрестности D является функцией Ляпунова для системы (1) и позволяет показать асимптотическую устойчивость тора Г. Действительно, функция v(x) в точках тора Г обращается в нуль, а вне тора - положительна; производная v(x) в силу системы (1), благодаря (1.2), имеет вид

v = (f <x).|) = - К Ix-5 (x) I) * 0

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

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

1 3 q>(x) = 2^(x) ^(y(x)Hx)), v(x) = q>(x) + 0(|Kx)||3),

д 2v

задаваемая определенной на Г функцией Ф(у) = д~2(у)- В каждой точке у тора Г значение функции Ф(у) - симметрическая неотрицательно определенная (n х n)-матрица.

Проведем через точку у поверхности Г произвольную гладкую кривую ß, задаваемую параметрически функцией ß(T). Дифференцируя очевидное тождество dv d2v dß(T)

— (ß(T)) = 0 по т, получим тождество (ß(t))—;— = 0, означающее, что

dx dx2 ат

Ф(у)г(у) = 0, (1.4)

где г(у) - произвольный вектор, касательный к тору Г в точке у. Условие (1.4) означает, что матрица Ф(у) является вырожденной и имеет ранг гапк(Ф(у)) = n — 2.

Значения функции Ф(у) в точках тора удобно искать в параметрической форме. Воспользовавшись параметризацией 2-тора, связанной с семейством решений x(t,s) детерминированной системы (1), перейдем от функции Ф(у), заданной на Г, к функции

V (t,s) = Ф(x(t,s)), (1.5)

заданной на П. При этом, благодаря равенствам x(t, s + 1) = x(t, s), x(T(s) +1, s) = = x(t, t(s)), должны выполняться условия

V(t,s + 1) = V(t,s), V(T(s)+ t,s) = V(t,t(s)). (1.6)

Равенство Ф(у) = V(г(у),8(у)) позволяет по функции V(¿,8) однозначно восстановить Ф(у). При этом равенство (1.4), определяющее характер вырождения матриц Ф(у), эквивалентно системе

V(г, 8) ЩЛ = о, Vц, 8) = о, дг д8

которую, в свою очередь, можно записать в форме

V(г,8)у(г,8) = о, V(г,8)г(г,8) = о. (1.7)

Здесь

у(г,8) = !(х(г,8)), (1.8)

а г(г, 8) - решение системы

д^ = р(г, 8)г , где Р(г, 8) = X(х(г, 8)) (1.9)

, . ¿а(8) с начальным условием г (0,8) = —:— .

а.8

Установленное таким образом соответствие функций Ф(у) и V(г, 8) позволяет конструировать квазипотенциал ь(х) с помощью функций V(г, 8) - элементов пространства 2. Пространство 2 составляют функции V(г, 8), определенные и достаточно гладкие на плоскости П со значениями - симметрическими (п х п) -матрицами, для которых справедливы условия (1.6), (1.7).

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

Рассмотрим матрицу Ру,^, задающую оператор проектирования на подпространство, ортогональное плоскости, натянутой на векторы у и г. Введем матрицу Р(г, 8) = Ру(1,3),^,3), где у(г, 8) и г(г, 8) определены в (1.8), (1.9) и задают плоскость касательную к 2-тору Г в точке х(г, 8).

Р ггТ Р ууТ

Отметим, что Ру 2 = Ру--% „ у , Ру = I — , гапк(Ру г) = п — 2 .

г1 Ру г уТ у

Определение 2. Матрицу V(г, 8) из 2 будем называть Р(г, 8)-положительно

определенной в точке (г, 8), если для любого вектора и, такого, что Р(г,8)и = 0

справедливо неравенство (и, V(г,8)и) > 0. Матрицу V(г, 8), являющуюся Р(г, 8)-

положительно определенной при любых (г, 8) € П, будем называть Р-положительно

определенной.

В пространстве 2 рассмотрим конус матриц К = {V € 2^(г, 8)-неотрицательно определенная при любых (г, 8) € П} и множество Кр = {V € 2^ — Р-положительно определенная}.

Дифференцируя уравнение Гамильтона - Якоби (1.2) в предположении достаточной гладкости квазипотенциала ь(х) и подставляя х = х(г,8), получим для V(г, 8) матричное дифференциальное уравнение Бернулли

^^8) + р Т(г,8Ж (г, 8) + V (г,8)р (г, 8) + V (г,8)в(г,8^ (г, 8) = о, V € 2, (1.10)

где

р(г, 8) = д1 (х(,8)), ^(г, 8) = б(х(г, 8)) = а(х(г, 8))аТ(х(г, 8)).

Рассмотрим наряду с (1.7) линейное матричное уравнение

в) = р (г, в^ (г, в) + w (г, в)Рт(г, в) + Р (г, в) в (г, в)Р (г, в)^ е 2. (1.11)

Лемма 1. Пусть тор Г системы (1) является Э-устойчивым. Тогда уравнение (1.11) имеет единственное решение W е К.

Доказательство. Э-устойчивость тора означает [7], что для любого элемента С е К существует единственное решение V е К матричного уравнения Ляпунова Ь[У] = -С, где оператор Ляпунова Ь имеет вид

т = ^^^ + рт (г, в) V (г, в) + V (г, в)Р (г, в).

Поскольку конус К - воспроизводящий в 2 [23], то оператор Ь обратим на всем пространстве 2. Для пространства 2 со скалярным произведением

1 (Т

^^) = 11т - (t,в)W(г,в))м

1 Уо

оператор Ь*, сопряженный к Ь, имеет следующее представление

Ь*т = - Щ-- + р (г, в) w (г, в) + w (г, в)Рт (г, в).

При этом уравнение (1.11) можно записать в виде Ь*[W] + РвР = 0. Единственным решением этого уравнения будет W = — (Ь_1)*[РвР] е К. Лемма 1 доказана. Лемма 2. Пусть W - решение (1.11). Тогда V = W + - решение (1.10). Доказательство. Умножая (1.11) слева и справа на V, получим

^ V = VFP + РР тV + VSV. (1.12)

• дW • • •

Здесь W = -—-. Дифференцируя равенство V = VWV, получим V = VР+VWV +

дг

+РУ, откуда следует ^^^V = V — VР — РХ1. Умножая последнее равенство слева и справа на Р, получим VWV = —РУР, откуда, с учетом (1.12), следует

Р [У + VF + FтV + VSV]P = 0. (1.13)

Для произвольного вектора г = г(г,в) из плоскости, натянутой на векторы у(г,в), г(г, в), с учетом Vг = 0, выполняется

[V + VF + FтV + VSV]г = [1/ + VF]г = ^г] = 0. (1.14)

Из (1.13), (1.14) следует, что V = W + - решение (1.10). Лемма 2 доказана.

Полученные результаты дают возможность записать аппроксимацию квазипотенциала

у(х) и ф(х) = 1(д(ж),Ф+(у(ж))а(ж)), Ф(у) = WШ,в(у)), используя решение W(г, в) линейного матричного уравнения (1.11).

Теорема 1. Для квазипотенциала ь(х) в окрестности В тора Г справедлива аппроксимация

ф)= ф(х) + 0(||л(х)||3). (1.15)

Доказательство. При выводе уравнений (1.10), (1.11) предполагалось, что квазипотенциал ь(х) - достаточно гладкая функция. Приведем независимое доказательство, не использующее предположений гладкости.

Разность Е(х, и) = ,1 (х, и) — ф(х) представим в интегральном виде

гж 1 /дф

К(х, и) = У0 в(у(8),и(8))й8, С(у, и) = -иТБ-1(у)и + ( — (у), —/(у) + и

Здесь у(г),и(г) - состояние и управление системы (1.1).

ф

Управление и0(у) = —Б(у)^—(у) минимизирует по и функцию С(у,и)

х

ом > С(у, щ) = 1 (дф(у),Б(у)дф(у)) + (дф(у),Л(у)

и формирует замкнутую систему

у = /о (у), /о(у) = —/ (у) + ио(у). (1.16)

Функции п(г,8) = х(—г,8) являются решениями системы (1.16) и задают параметрическое описание тороидальной поверхности Г.

ф

Используя [7], запишем аппроксимацию оператора Ляпунова Сф = (—,/0) системы (1.16) вблизи тора в форме

1

Сф = 2(л(у), ©(у(у))л(у)) + 0(||л(у)||3), (1.17)

где

Я(г, 8) = ©(п(г, 8)) = + р0Т(г, 8)ц.(г, 8) + Vо(г, 8Щ(г, 8), (1.18)

Vо(г,8) = ддхФ(п(г,8)), Р0(г,8) = /(п(г,8)) = — /(п(г,8)) — Бо(г,8)^(г,8),

в0(г,8)= Б (п(г,8)).

Подставляя в (1.18) п(г, 8) = х(—г, 8) и учитывая (1.10), получим

Я(г, 8) = — ^ (—гг,8) — р Т(—г, 8) V (—г, 8)—

—V (—г, 8)Р (—г, 8) — 2V (—г, 8)5 (—г, 8) V (—г, 8) = (1Л9)

= —V (—г,8)Б(—г,8^ (—г,8) = ^о(г,8)во(г,8Щ(г,8).

Полученное соотношение, в частности, означает [7], что для замкнутой системы (1.16) тор является Э-устойчивым.

Из аппроксимации

(£ (у), ^ (у) дф (у))=(А(у), о(у(у))А(у)) + о(|Ку)||3),

где

м (г, в) = а(ц(г, в)) = Vо(t, в)во(г, вШг, в), и соотношений (1.17)-(1.19) следует

С(у,щ(у)) = 0(1|А(у)||3), Я(х,по) = 0(||а(х)||3), О(у,по(у)) > —|0(|А(у)|3)|, Е(х,по) > —|0(|А(х)|3)|.

(1.20)

В результате для у(х) получаем оценку снизу

у(х) = М 1 (х, и) > ф(х) — |0(||а(х)||3)|.

(1.21)

Из соотношений у(х) < 1 (х,ио) = ф(х) + К(х,ио) и (1.20) следует оценка сверху

которое и доказывает теорему.

Полученная аппроксимация ф(х) квазипотенциала у(х) позволяет представить асимптотику стационарной плотности в форме нормального распределения

с ковариационной матрицей е2Ф(у). Эта матрица характеризует разброс случайных траекторий системы (2) в точке у тороидальной поверхности. Пусть А,1(у) > Х2(у) > ... > Х^у) - собственные числа, а ^1(у), Н2(у),... , Нп (у) - орто-нормированный базис собственных векторов матрицы Ф(у). Поскольку при каждом у е Г матрица Ф(у) вырождена (гапкФ(у) = п — 2), то Хп-1(у) = Хп(у) = 0. Соответствующие собственные векторы Ьп_1(у) и Ьп(у) лежат в касательной плоскости к тору. Остальные собственные числа Х1,..., Хп_2 при невырождающихся на Г шумах системы (2) строго положительны и задают при каждом у разброс случайных траекторий в направлении векторов Ь1,..., Ьп-2 (базиса нормальной гиперплоскости).

Матрица Ф(у) характеризует реакцию системы (2) вблизи тора Г на случайные входные воздействия. Если систему (2) рассматривать как некоторый преобразователь стохастического входа (стационарный винеровский процесс ,ш(г)) в стохастический выход (стационарное распределение случайных траекторий вокруг Г), то ее собственные значения задают коэффициенты усиления (Хг > 1) и ослабления (Хг < 1) этого преобразователя. Функция Ф(у) - стохастическая функция чувствительности тора - позволяет описать неравномерность разброса случайных траекторий около тора по всем направлениям, указать участки тороидальной поверхности, наиболее и наименее чувствительные к помехам.

у(х) < ф(х) + |0(||А(х)||3)|.

(1.22)

Из (1.21) и (1.22) вытекает неравенство

|у(х) — ф(х)|<|0(||А(х)||3)|,

2. Стохастическая чувствительность 2-тора в трехмерном пространстве

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

Лемма 3. Матрица Ш(г, 8) = ц(г, 8)Р(г, 8) является решением уравнения (1.11) тогда и только тогда, когда скалярная функция ц(г, 8) является решением системы

дц (г, 8) = а(г,8)ц(г,8) + ь(г,8) (2.1)

с условиями

ц(г,8 + 1) = ц(г,8), (2.2)

Ц(Г (8) + г,8) = ц(г, т(8)). (2.3)

Здесь

а(г, 8) = рТ(г, 8)[р Т(г, 8) + р (г, 8)]р(г, 8), ь(г, 8) = рТ(г, 8) в (г, 8)р(г, 8).

Доказательство. Действительно, подставляя решение Ш(г, 8) = ц(г, 8)р(г, 8) х хрТ(г, 8) в уравнение (1.11), получим

цррТ + ц(ррТ + р(р)Т) = ц(РррТ + ррТРТ) + ррТ вррТ.

Умножая слева на рТ и справа на р, учитывая тождества рТр = 1, (рТр) = рТр + +рТр = 0, получим уравнение для ц

ц = рТ(Р + Р Т)рц + рТвр.

Доказательство обратного утверждения легко следует из приведенных выше выкладок. Лемма 3 доказана.

В итоге при п = 3 отыскание стохастической функции чувствительности сводится к решению скалярного уравнения (2.1) с условиями (2.2), (2.3). Общее решение уравнения (2.1) имеет вид

ц(г,8) = я(г,8)[с(8) + ь(г,8)], (2.4)

где д(г, 8) и Н(г, 8) - известные функции

г \ г

д(г, 8) = ехр [ ! а(т, 8)йт | , Н(г, 8) = J ^(т 8) йт, (2.5)

а c(s) - неизвестная функция, играющая для s) роль начальной: ц(0,s) = c(s). Условие (2.2) приводит к уравнению c(s + 1) = c(s). Условие (2.3) ведет к соотношению

g(T (s),s)[c(s) + h(T (s),s)] = c(x(s)).

Обозначим

a(s) = g(T(s), s), ß(s) = a(s)h(T(s),s). (2.6)

В итоге для функции c(s) получаем функциональное уравнение

c(x(s)) = a(s)c(s) + ß(s) (2.7)

с условием

c(s + 1) = c(s). (2.8)

Таким образом, построение стохастической функции чувствительности fx(t, s) для 2-тора в трехмерном пространстве по формулам (2.4),(2.5) сводится к решению функционального уравнения (2.7) с условием (2.8). Существование и единственность решения (2.7)-(2.8) в случае Э-устойчивости тора Г системы (1) непосредственно следует из леммы 1 и леммы 3.

Решение c(s) системы (2.7)-(2.8) может быть найдено методом установления. Рассмотрим последовательности so = s, si,..., sk,..., где sk+i = T(sk), и c0, ci,..., Ck,..., где Ck = c(sk). Значения Ck , благодаря (2.7), связаны уравнением

Ck+i = akCk + ßk, ak = a(sk) , ßk = ß(sk). (2.9)

Для элементов Ck рассмотрим приближения ck, задаваемые рекуррентной формулой

ck+i = ak ck + ßk,

где c0 - некоторое приближение для c0.

Теорема 2. Пусть тор Г является Э-устойчивым. Тогда lim (ck — Ck) = 0

независимо от выбора начального приближения co.

Доказательство. Погрешность rk = ck — Ck удовлетворяет уравнению

k-i

rk+i = ak rk и связана с погрешностью r0 соотношением rk = qk r0, где qk = П ai.

i=0

Для величины qk справедливо [7] представление

( гTk (s) \

qk = exp I J a(t, s)dt j ,

где Tk(s) - время, необходимое для прохождения траектории x(t,s) по спирали, состоящей из к витков.

Необходимым и достаточным условием Э-устойчивости тора в системе (1) является [7] неравенство

1 Г

lim — a(t,s)dt< 0. (2.10)

T ^^ 1 J 0

Условие (2.10) означает, что lim qk = 0 и, следовательно, lim rk = 0 независимо от выбора c0.

3. Пример

Рассмотрим в трехмерном пространстве переменных (x, y, z) 2-тор Г, задаваемый уравнением

(у/X2 + y2 - 1)2 + z2 = r¡2, 0 <r0 < 1.

В канонических переменных r, ф, ф, связанных с исходными переменными x,y,z соотношениями x = (2+r cos ф) cos ф, y = (2+r cos ф) sin ф, z = r sin ф, тороидальная поверхность задается следующим образом:

r = r0, 0 < ф < 2п, 0 < ф < 2п.

Рассмотрим в новых переменных стохастическую систему

r = f (r) + ед/ о(ф,

ф = ю (3.1)

ф = V,

A r

где f (r) = — r[(—)2 — 1] и о(ф, ф) = 1 + B cos^) + D cos(ф), w(t) - стандартный 4 ro

винеровский процесс. Поскольку f (ro) = 0, то для системы (3.1) при е = 0 тор Г является инвариантным многообразием и может быть параметрически задан семейством ее решений r(t) = r0, ф(^ s) = rnt + 2ns, ф^) = vt. Здесь роль одного из

параметров играет время t, а параметр s задает начальное состояние ф(0, s) = 2ns.

2п ю При этом T(s) = —, t(s) =--+ s.

V V

Необходимым и достаточным условием Э-устойчивости детерминированного тора Г будет неравенство A < 0.

Найдем функции g(t,s), h(t,s) и c(s), задающие стохастическую функцию чувствительности (2.4) тора Г для системы (3.1). В нашем примере коэффициенты уравнения (2.1) имеют вид a(t,s) = A, b(t,s) = o(mt + 2ns, vt) = = 1 + B cos(mt + 2ns) + D cos(vt). Из (2.5) следует

g(t,s) = eAt, 1

h(t,s) = A (1 — e"At) +

B

+——2 \e At(—A cos(rnt + 2ns) + ю sin(rnt + 2ns)) + A cos 2ns — ю sin 2ns! + A2 + ю2

+ .2D 2 \e-At(—Acos(vt) + vsin(vt)) + A] . A2 + v2

Коэффициенты (2.6) имеют вид

2nA v

a(s) = a = e

|3(s) = a j e-Ax(1+B cos^x+2rcs)+D cos(vx))dx = K0+K cos(2ns)+K2 sin(2ns),

2n

v

где

1 AD \ „ B

Ко = (а - A + A2 + v2 j ,K1 = A2 + ю2 (—Acosn + ю sinn + A«)

B . . . . 2пю

K2 = —2-2 (A sin n + ю cos n — ма) , n =-•

A2 + ю2 v

В рассматриваемом примере функциональное уравнение (2.6)-(2.7) имеет аналитическое решение

c(s) = со + ci cos(2ns) + c2 sin(2ns),

где

K0 K1(cos n — а) — K2 sin n K2(cos n — а) + K1 sinn

C0 = 1-' c1 = -i-о-1-2-' c2 _ 1 о I 2 •

1 — а 1 — 2а cos n + а2 1 — 2а cos n + а2

В итоге получаем стохастическую функцию чувствительности

ц(^ s) = eAt ( ci cos(2ns) + c2 sin(2ns) + 2 B—2 (A cos(2ns) — w sin(2ns)) ) + \ A2 + w2 J

B В 1 +—-2-2(—A cos(wt+2ns)+w sin(wt+2ns)) + —2-2 (—A cos(vt) +v sin(vt)) —- .

A2 + w2 A2 + v2 A

Данная формула задает связь значений стохастической функции чувствительности с параметрами системы. Рассмотрим зависимость функции чувствительности ц от параметров A, B, В, w и v. При уменьшении параметра A функция ц убывает. Параметр A характеризует степень устойчивости детерминированного тора. Как видим, увеличение степени устойчивости детерминированного тора ведет к уменьшению стохастической чувствительности. Параметры B и В характеризуют перепад интенсивности случайных возмущений при движении вблизи тора. Увеличение B и В приводит к соответствующему увеличению перепада значений стохастической чувствительности ц.

Зависимость ц от частот вращений w и v удобно изобразить графически.

На рис. 2 представлены графики стохастической функции чувствительности при A = —1, B = 0.5, В = 0.4 для различных значений параметров w и v. Слева в плоскости переменных (s, ц) приведены графики ^tk, s) для некоторого набора tk. Справа - графики функции ц(^ s) в трехмерном пространстве. Как видно из рис. 2, значения ц при движении вдоль тороидальной поверхности существенно изменяются: а) при w = 1, v = 1 значения ц лежат в интервале (0.4, 1.6); б) при w = 1, v = 3 значения ц лежат в интервале (0.5, 1.5); в) при w = 3, v =1 значения ц лежат в интервале (0.6, 1.4); г) при w = 3, v = 3 значения ц лежат в интервале (0.7, 1.3).

Соответствующим образом будет меняться и разброс случайных траекторий около тороидальной поверхности.

Увеличение частот вращения w и v, приводящее к увеличению скорости движения вдоль тороидальной поверхности, ведет к уменьшению перепада значений стохастической функции чувствительности ц. Увеличение w и v улучшает стохастическое перемешивание случайных траекторий, делая их разброс около тора более однородным.

Рис. 2. Стохастическая функция чувствительности: а - м = 1, V = 1; б - м = 1, V = 3; в - м = 3, V =1; г - м = 3, V = 3

На рис. 3 для А = -1, В = 0.5, В = 0.4, ю = 1, V = 1 представлен график (сплошная линия) теоретической функции чувствительности ^.(Ь, в) при

фиксированном значении 8 = 0. Соот-

Рис. 3. Теоретическая (сплошная линия) и эмпирическая (звездочки) стохастическая чувствительность

ветствующие значения

эмпирической

Вг

функции чувствительности р,* = —^ , где В - эмпирическая дисперсия, получен-ны прямым численным моделированием случайных траекторий (изображены звездочками).

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

Заключение

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

Работа выполнена при поддержке грантов РФФИ № 06-01-00625 и № 04-01-9698 Урал.

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

1. Арнольд В.И. Дополнительные главы теории обыкновенных дифференциальных уравнений. М.: Наука, 1978. 304 с.

2. Неймарк Ю.И. Интегральные многообразия дифференциальных уравнений // Изв. вузов. Радиофизика. 1967. Т. 10, №3. С. 321.

3. Гуртовник А.С., Неймарк Ю.И. К вопросу об устойчивости квазипериодических движений // Дифференциальные уравнения. 1969. Т. 5, №5. С. 824.

4. Самойленко А.М. Элементы математической теории многочастотных колебаний. Инвариантные торы. М.: Наука, 1987. 304 с.

5. Колесов А.Ю., Мищенко Е.Ф. Существование и устойчивость релаксационного тора. // Успехи математических наук. 1989. Т. 44, вып. 3(365). С. 161.

6. Колесов А.Ю. О существовании и устойчивости двумерного релаксационного тора // Математические заметки. 1994. Т. 56, вып. 6. С. 40.

7. Ряшко Л.Б. Метод функций Ляпунова в исследовании устойчивости и стабилизации двумерного инвариантного тора // Изв. вузов. Прикладная нелинейная динамика. 2001. Т. 9, № 4-5. С. 140.

8. Ryashko L.B. Exponential mean square stability of stochastically forced 2-torus // Nonlinearity. 2004. Vol. 17. P. 729.

9. ПонтрягинЛ.С., Андронов А.А.,Витт А.А. О статистическом рассмотрении динамических систем // ЖЭТФ. 1933. Т. 3, вып. 3. С.165.

10. Стратонович Р.Л.Избранные вопросы теории флуктуаций в радиотехнике. М.: Сов. радио, 1961.

11. Рытов С.М. Введение в стохастическую радиофизику. М.: Наука, 1976.

12. Болотин В.В. Случайные колебания упругих систем. М.: Наука, 1979.

13. Диментберг М.Ф. Нелинейные стохастические задачи механических колебаний. М.: Наука, 1980.

14. Неймарк Ю.И., Ланда П.С. Стохастические и хаотические колебания. М.: Наука, 1987. 424 с.

15. Soong T.T., Grigoriu M. Random vibration of mechanical and structural systems. RTR Prentice-Hall, Englewood Cliffs, New Jersey. 1993.

16. Вентцель А.Д., Фрейдлин М.И. Флуктуации в динамических системах под действием малых случайных возмущений. М.: Наука, 1979. 424 с.

17. Day M.V. Regularity of boundary quasi-potentials for planar systems // Applied Mathematics and Optimization. 1994. Vol. 30. P. 79.

18. Naeh T., Klosek M.M., Matkowsky B.J., Schuss Z. A direct approach to the exit problem // SIAM Journal Appl.Math. 1990. Vol. 50, №2. P. 595.

19. Мильштейн Г.Н., Ряшко Л.Б. Первое приближение квазипотенциала в задачах об устойчивости систем со случайными невырожденными возмущениями // Прикл. математика и механика. 1995. Т. 59, вып. 1. С. 53.

20. Башкирцева И.А., Исакова М.Г., Ряшко Л.Б. Асимптотическое разложение квазипотенциала для стохастически возмущенного нелинейного осциллятора // Дифференциальные уравнения. 1999. Т. 35, №10. С. 1319.

21. Башкирцева И.А., Ряшко Л.Б. Метод квазипотенциала в анализе чувствительности автоколебаний к стохастическим возмущениям // Изв. вузов. Прикладная нелинейная динамика. 1998. Т. 6, №5. С. 19.

22. Bashkirtseva I.A., Ryashko L.B. Sensitivity analysis of stochastically forced Lorenz model cycles under period-doubling bifurcations // Dynamic Systems and Applications.

2002. Vol. 11, №2. P. 293. 23. Красносельский М.А., Лифшиц Е.А., Соболев А.В. Позитивные линейные системы. М.: Наука, 1985. 255 с.

Уральский государственный университет, Екатеринбург

Поступила в редакцию 25.04.2005 После доработки 29.11.2005

QUASI-POTENTIAL METHOD FOR 2-TORUS STOCHASTIC SENSITIVITY ANALYSIS

L.B.Ryashko

On the basis of quasi-potential method the stationary distribution of random trajectories in a vicinity of toroidal manifolds of stochastically forced nonlinear systems is investigated. For the quasi-potential approximation the quadratic form defined by some matrix function is used. This function named stochastic sensitivity function characterizes the response of considered system on random disturbances. Construction of this function is reduced to the decision of a boundary problem for linear differential matrix equation. For 2-torus in three-dimensional space a constructive decision of this problem is given. Construction of stochastic sensitivity function is reduced to the decision of some functional equation. Efficiency of the presented results is shown on the example.

Ряшко Лев Борисович - окончил Уральский госуниверситет (1975), кандидат физико-математических наук, доцент кафедры математической физики Уральского госуниверситета, Соросовский доцент (1996, 1998). Область научных интересов - устойчивость, стабилизация и управление стохастическими системами, автор ряда статей по данной тематике.

E-mail: lev.ryashko@usu.ru