удк 519.217.4
О.И. Заяц, С.В. Березин
ПРИМЕНЕНИЕ УРАВНЕНИЯ ПУГАЧЁВА-СВЕШНИКОВА К ИССЛЕДОВАНИЮ КУСОЧНО-ЛИНЕЙНЫХ СТОХАСТИЧЕСКИХ СИСТЕМ, ЛИНЕЙНЫХ В ЧЕТВЕРТЯХ ПРОСТРАНСТВА
O.I. Zayats, S.V. Berezin
ANALYSIS OF PIECEWISE LINEAR STOCHASTIC SYSTEMS IN QUARTER-SPACES BY MEANS OF THE PUGACHEV-SVESHNIKOV EQUATION
Предложен аналитический метод получения распределения фазовых координат кусочно-линейных стохастических систем, линейных в четвертях пространства. Метод основан на решении уравнения Пугачёва-Свешникова для характеристической функции. Решение последнего сводится к решению параметрической краевой задачи Римана для биполуплоскостей. В качестве примера решена задача Кренделла о вычислении вероятностных характеристик перемещения незакрепленного тела, помещенного на подвижное основание, совершающее случайные колебания. Рассмотрен случай управляемого демпфера сухого трения, который включается, если скорость тела по модулю выше критической. Исследованы асимптотики моментов перемещения и вероятностные характеристики времени, в течение которого демпфер сухого трения выключен (задача Феллера о времени пребывания системы в штатном режиме).
НЕПРЕРЫВНЫЙ МАРКОВСКИЙ ПРОЦЕСС; УРАВНЕНИЕ ПУГАЧЁВА-СВЕШНИКОВА; КРАЕВАЯ ЗАДАЧА РИМАНА ДЛЯ БИПОЛУПЛОСКОСТЕЙ; СТОХАСТИЧЕСКАЯ МЕХАНИКА; ЗАДАЧА КРЕНДЕЛЛА; ЗАДАЧА ФЕЛЛЕРА; СУХОЕ ТРЕНИЕ.
An analytic approach is presented to obtain a probability distribution function of the state-vector of piecewise linear systems which have four domains (quarter spaces) of linearity. The approach is based on the use of the Pugachev-Sveshnikov equation for the characteristic function and its reduction to the parametric Riemann Boundary Value Problem for bi-half planes. The Crandall's problem for the controlled dry friction, which is switched off when body's velocity is over a critical level, is solved as an instance of application of the derived theory. The asymptotic behavior of the displacement of a body, placed on a randomly oscillating foundation, and occupation time, while velocity is under the critical level, are explored.
CONTINUOUS MARKOV PROCESS; PUGACHEV-SVESHNIKOV EQUATION; RIEMANN BOUNDARY VALUE PROBLEM FOR BI-HALF PLANES; STOCHASTIC MECHANICS; CRANDALL'S PROBLEM; FELLER'S PROBLEM; DRY FRICTION.
Необходимость исследования стохастических динамических систем в нелинейной постановке возникает во многих важных прикладных задачах. Встречающиеся на практике нелинейности чрезвычайно разнообразны, но большинство из них допускает кусочно-линейную аппроксимацию. Такие приближения являются одними из наиболее употребительных и повсеместно применяются в самых разнообразных приложениях: физических, механических, электротехнических, радиотехнических, финан-
сово-экономических и многих др.
Систематическое изучение стохастических динамических систем с кусочно-линейными характеристиками началось в середине XX века. Данному кругу проблем посвящено большое количество специальных исследований. Более подробно об этом шла речь в [1]. В настоящее время сколько-нибудь общие методы, предназначенные для решения именно кусочно-линейных задач и учитывающие их специфику, практически отсутствуют. За исключением систем
первого порядка инженеры и практики вынуждены довольствоваться сугубо численными алгоритмами, либо приближенными подходами типа метода статистической линеаризации (МСЛ).
Один из перспективных современных методов статистической динамики кусочно-линейных систем основан на использовании уравнения Пугачёва—Свешникова (ПС). Первоначально оно предназначалось для исследования систем, включающих нелинейности релейного типа. К этому типу относят нелинейные функции ср(х), которые при |x| > а, где а > (3, совпадают со стандартной релейной нелинейностью sign x, а в остальном произвольны. Предложившие этот метод В.С. Пугачёв (при произвольном типе нелинейностей) и А.А. Свешников (при релейном их типе) имели в виду приближенное решение соответствующего уравнения и рассматривали его в качестве альтернативы МСЛ.
Между тем удалось доказать аналитическую разрешимость уравнения ПС в некотором классе систем, включающих нелинейность типа sign x. Первые результаты в этом направлении появились еще при жизни А.А. Свешникова, в конце 70-х гг. В более или менее законченном виде теория представлена в статье [2], где даны три примера аналитического решения. Первый задает распределение скорости вынужденных случайных колебаний при наличии сухого трения, а также при одновременном действии сухого и вязкого трения. Во втором примере найдено распределение абсолютной скорости незакрепленного тела, скользящего с сухим трением вдоль подвижного основания, совершающего случайные колебания. Третий пример посвящен осциллятору с вязким трением и кусочно-постоянной восстанавливающей силой.
Построено аналитическое решение задачи механики твердого тела, поставленной С. Кренделлом. В ней требуется найти распределение перемещений незакрепленного тела на подвижном, стохастически колеблющемся основании при наличии трения между телом и основанием. В работе [3] эта задача решена при сухом трении, а в [4] —
при комбинации сухого и вязкого трения.
Метод уравнения ПС позволяет аналитически находить распределение длительности выбросов. С его помощью для ряда типовых процессов решена задача В. Фел-лера о распределении времени пребывания процесса на положительной полуоси. Общая теория изложена в статье [5], где указанная задача решена для процессов Н. Винера, Т. Кохи—Дж. Динза, Г. Уленбека— Л. Орнштейна. Аналитическое решение для винеровского процесса с постоянным сносом приведено в [6].
Выше речь шла о системах, включающих нелинейность sign х. Без существенных изменений метод распространяется и на случай нелинейности | х |. Это позволило, например, в работах [3, 4] найти распределение пути, проходимого при случайных колебаниях. Для двух этих типов нелинейностей (sign х и | х |) получено не только распределение фазовых координат динамической системы, но и более детальные ее характеристики, такие, как вероятность невыхода фазовых координат за заданные пределы [7] и спектральная плотность в установившемся режиме [8].
Как показано в последней работе [1], вся разработанная ранее для нелинейно-стей вида sign х и | х | теория полностью сохраняет свою силу и для произвольных кусочно-линейных систем, линейных в полупространствах. Так называют динамические системы произвольного порядка п, фазовое пространство которых Жп делится заданной гиперплоскостью Г на два полупространства, причем в каждом из них процесс эволюции системы описывается линейными уравнениями.
В настоящей статье рассматривается более сложная модель кусочно-линейной динамической системы. Ее порядок п > 2 по-прежнему считается произвольным, но фазовое пространство Жп разбивается заданной парой пересекающих друг друга гиперплоскостей Г1 и Г2 теперь уже на четыре части (четверти Жп), представляющие собой области линейности этой кусочно-линейной системы. Опишем исследуемую модель подробнее.
Преобразование уравнений движения
Рассмотрим динамическую систему произвольного порядка п с фазовым вектором
U = (U1, ..., Un)T
Допустим, что за-
даны две пересекающиеся гиперплоскости Г(. с Жп (I =1,2). Без ущерба для общности можно считать, что эти гиперплоскости совпадают с координатными гиперплоскостями и и и2. Действительно, если в исходной постановке это условие не выполняется, то следует перейти к новой системе координат, взяв в качестве первых двух базисных векторов нормали к Г и Г2, а также сдвинуть начало координат в точку, принадлежащую одновременно обеим гиперплоскостям Г и Г2. После указанных преобразований уравнения гиперплоскостей будут иметь вид
г = {у е Жп|у,. =0}, (. = 1,2). (1) Уравнение движения системы примем в
виде
-и = <p(t ,U) + T(t ,U (2)
dt
и (0) = и 0, (3)
где и обозначает фазовый вектор; и о — его начальное значение; | — стандартный (центрированный, с единичной интенсивностью) гауссовский белый шум. Вектор-функция ф является линейной, а матрица интенсивно-стей шумов Т — постоянной в каждой из координатных четвертей пространства
Ои = {у е Жп |у >0, У2 >0},
Оп ={у е Жп |у >0, У2 <0},
П^={у е Жп|^1<0, У2>0}, (4)
022 ={У е Мп | У1 <0, у2 < 0}, причем по определению
ф(т, у) = -С('',) (т)у - —)(т), у е05., (5)
Т(т, у) = л/2Н'.)(т), у е О, (6)
для всех I =1,2, , = 1,2. Для определенности, на особых гиперплоскостях функции ф и Т доопределяются как полусумма предельных значений, соответствующих функций на верхнем и нижнем берегах Г..
Далее преобразуем выражения (4) и (5) с помощью приема, описанного в [1]: выразим функции, линейные в четвертях про-
странства Q,-, j, через произведение функций, линейных во всем пространстве Жп, на функции знака числа sign х. Для этого вначале введем индикаторные функции квадрантов декартовой системы координат на плоскости:
_ 1 ± sign y1 1 ± sign y2
Х„(у^у2) 2 2 , (7)
(. =1,2, , = 1,2), где знак в первой скобке определяется индексом /, а знак во второй скобке — индексом,, причем для индексов, равных единице, выбирается знак плюс, а для равных двойке — минус.
Глобальные представления функций ф и Т с помощью индикаторов (7) выражаются через локальные представления (4) и (5) по формулам:
2 2
ФС, у ) = -!1(С; )(т)ур +
•=1,=1
+ —)(т))х, (у1, у2), (8)
Т(*, у) = л/2 £ ¿Н'. )(т)х, (у1, у2). (9)
•=1,=1 (9)
Теперь уравнения движения можно переписать в стандартном виде:
— и + (С0 + С^пи + С^пЦ, +
+С12$\%пи1$\%пи2)и + —0 + —1щ,пи1 + (10) +—2щ,пи2 + —1281§пи181§пи2 = %/2(Н0 + +Н1з1§пи1 + Н2ъщпи2 + Н1281§пи181£пи2)|, где введены обозначения
С С(1Д) + С (1'2) + С(2Д) + С (2'2)
Ci =
C2 =
di
C(1Д) + C (1'2) 4 - C(2Д) - C(2'2)
C(1Д) - C(1'2) 4 + C(2Д) - C(2'2)
C(1Д) - C(1'2) 4 - C(2Д) + C (2'2)
dw) + d(1'2) 4 + d(V) + d(2'2)
d(11 + d(1'2) 4 - d(2'1) , - d(2'2)
d(M) - d(1'2) 4 + d(21 , - d(2'2)
(11)
0
2
H0 =
H =
H
H
_ d(11 - d (1'2) - d(2Д) + d (2'2)
H(11 + H (1'2) 4 + H(2Д) ) + H (2'2)
H(11 + H (1'2) 4 - H(2'1) - H(2'2)
H(11 - H(1'2) 4 + H(2Д) - H(2'2)
H(11 - H(1'2) 4 - H (2'1) + H (2'2)
(Ii)
4
Таким образом, в уравнениях движения присутствуют четыре группы слагаемых: первая аналогична линейному уравнению, вторая содержит разрывные множители sign U1 и sign U2, а третья — произведение этих множителей. Все эти выражения войдут в вектор сноса и матрицу диффузии непрерывного марковского процесса, определяемого (10). При записи уравнения Пугачёва первые две группы слагаемых обрабатываются аналогично [1], а последнее, третье слагаемое требует более детального рассмотрения.
Уравнение Пугачёва—Свешникова
По аналогии со статьей [1] вначале запишем уравнение Пугачёва для характеристической функции процесса U, связанной с плотностью f (y; т) формулой преобразования Фурье:
Ф(| | у, Т) = Ита(т, у) - 21тВ(т, у)*, (15)
причем коэффициенты линейной формы являются компонентами вектора сноса а, а квадратичной — элементами матрицы диффузии В. Решение уравнения (13) ищется при начальном условии
^ 1т=о= E0(z). (16)
Подставив (15) в (13), принимая во внимание выражение (11) и проведя интегрирование, получим в правой части (13) три типа слагаемых. Первый выражается через характеристическую функцию, второй — через одномерные сингулярные интегралы с ядром Коши, третий — через двумерный сингулярный интеграл с ядром Коши. Двумерные интегралы типа Коши возникают в связи с формулой (см. [9])
JeiZT*signyj signy, f (y)dVy
1 ff E lzj si,z' s2 П2 V P.Jl
(i7)
ds1ds2.
n -i (si - Zj )(s2 - Z,) В итоге получим уравнение Пугачёва-
Свешникова: dE дт
dE + ZTC0V?E + (iz4 + ZTBoz)E -
-i
Z TCiVz
i +i - v.p. J
it *
E | =s ^
E(Z; т) = И*[eiZT^(T)] =i jTgTyf(y;T)dfV- (i2) + (iZTd- + ZTB-Z) v.p. J
R"
s - Z-E
Zds
s - Zi
— = И[Ф(Z | U(т), T)eiZTu(т)] = дт (13)
= J eiZTy Ф(^ | y, т)f (y; T)dVy,
где dVy — элемент объема Ж", а Ф обозн а-чает функцию Пугачёва
ФЦ | У, т) = = lim1M[eiz4U -11 U(т) = у]. (14)
дт^о Дт
Последняя выражается в виде суммы линейной и квадратичной форм относительно компонент вектора z
-i
Z TC^
d - +» E |Z = s ^
— v.p. У-2— ds
п - s - Zo
-да ^2
(1 8)
+ (iZ 4 + zt B2Z) d
d - +» E \Z = s ^
— v.p. У —Z-^^
n -i s - Z2
Z^Vj
1
v. p.JJ
Z1 si ,Z2 s2 (s- - Z-)(s2 - Z2)
+(iZTd12 + ZTB12Z)>
1 ff E |Zi=s-,Z2=s2
^ v.p.Jh 1122
(s- - Z1)(s2 - Z2)
ds1ds2
ds1ds2
= 0,
где
12
к
R
Бп
А
В2 =
В
Для большей краткости и наглядности введем обозначения:
р12(Т; т) = -1 2,
п а (з - тЖ^ -
(20)
Н (1,1) н (1,1)т + Н (1,2>Н(1'2)т + Н (2'1)Н (2'1)т + Н <2'2)Н <2'2)т
Н (1,1) н (1,1)т + Н (1'2)Н (1'2)т 4 - Н<2Д)Н<2Д)т - Н<2'2)Н<2'2)т
Н (1,1) н (1,1)т - Н(1'2)Н(1'2)т 4 + Н (2'1)Н (2'1)т - Н<2'2)Н<2'2)т
Н (1,1) н (м)т - Н(1'2)Н(1,2)т 4 - Н(2'1)Н(2,1)т + Н (2'2) Н (2,2)т
(19)
ру (Т; т) = - V.р. ("
тг *
1 7 Е
3 - Т.,
¿3,
для у = 1, 2, тогда уравнение (18) примет вид
дЕ -
дЕ- + т тСо V Е + (/тт ¿0 + Тт Во Т )Е -
дт
- /(ТтС^р 1 + (/-Ч + ТЧт)р 1) - (21)
- / (Т 2 + (/Т Ч + Тт В2 Т )р 2) -
- (Т тС^р12 + (/Т т4 + Тт В12 Т )р12) = 0.
Основная идея метода решения, как и в работе [1], основывается на сведении уравнения (21) к краевой задаче Римана теории функций комплексного переменного, однако в отличии от указанной работы, теперь эта задача будет двумерной, а ставиться будет для биполуплоскостей.
Сведение к краевой задаче Римана
Метод сведения сингулярного уравнения к краевой задаче Римана достаточно подробно описан в [1], поэтому мы сконцентрируем внимание только на специфических чертах, присущих сингулярным уравнениям, содержащим двумерные сингулярные интегралы с ядром Коши.
Введем в рассмотрение двукратный интеграл типа Коши с плотностью Е:
Р(С1, ^Т, т) = 1 гг Е (Т; т)
(2п/)2 а (Т1 -С2)
¿тхйт2, (22)
4
где Т' = (т3, ..., Тп)т. Этот интеграл представляет собой кусочно-аналитическую функцию, которая аналитична по Т1 и Т2 в каждой из биполуплоскостей:
Б±± = {Т е <Сп 11т т ^ 0,1т т2 ^ 0}. (23)
Ее предельные значения на остове Ь = {(г2) е С2|1ш 2Х = 0,1т г2 = 0} би-полуплоскостей Б±±, определяемые равенством
р±±(*1, z2; Т, т) = 11т Р(?1, ^ Т, т), (24)
±/0
±' 0
удовлетворяют двумерному варианту формул Ю.В. Сохоцкого [9]:
р++ - р+- - р-+ + р-
Е,
/(р++ - р+- + р-+ - р--) = р 1,
(25)
/(р++ + Р+- - Р"+ - р-) = Р2,
-(р++ + р+- + р-+ + р -) = р 12.
В формуле (23) первый и второй знаки в Б±± естественным образом синхронизированы с ограничениями на знак мнимой части чисел т1 и т2, аналогично берутся знаки в (24).
Учитывая формулы Сохоцкого (25), после технически несложных, но громоздких вычислений, уравнение (21) преобразуется к виду
— + + Т тс(1Д)^р++ +
дт
+ (/Т т3 (1'1) + Т т Н (М)Н (1'1)т Т )р++ -
(1т С1 * 0, 1т С2 * 0),
— + Т тС (1'2)V?Р+
дт Т
+ (/Т(1>2) + т т Н (1'2)Н (1'2)т Т))
(26)
— + + гTC(2Д) V С+
Эх г
+ (цт d(2Д) +гт H(2Д) H (2Д)т г )С - + (26) +дс + г тс (2'2)v с - +
Эх г
+ тd (2'2) + гт н (2'2)н (2'2)т г )с - = о.
Начальные условия для (26) будут выражаться через распределение /0 начального фазового вектора и о по формулам, аналогичным [1]:
_ (• Б^пу ± 1
=0= /
81§П у2 ± 1
(27)
7о( У КУу.
Полученная краевая задача схожа со стандартной задачей Римана для биполуплоско-стей [9], поэтому за ней далее будет сохранено это традиционное наименование. Однако отличием, существенно усложняющим ее решение, является наличие градиента по г и производной по т. Такого рода краевые задачи Римана, насколько нам известно, в литературе еще не рассматривались.
Наиболее близким из известных авторам аналогов задачи (26) является одномерная краевая задача Римана, возникающая в теории кусочно-линейных стохастических систем, линейных в полупространствах [1]. Напомним, что в указанной задаче в роли контура, на котором ставится краевое условие, выступала вещественная ось 1т г1 = 0. Коэффициенты при самих неизвестных краевых значениях F± были квадратичны по г1, а при их производных по — линейны относительно г1.
В задаче (26) остов Ь, на котором ставится краевое условие, представляет собой прямое (декартово) произведение двух вещественных осей 1т г1 = 0 и 1т г2 = 0, причем сохраняется квадратичность коэффициентов при С±±, но теперь уже относительно пары аргументов г1 и г2, а коэффици-
ЭС ±±
енты при производных - по-прежнему
линейны по тем же аргументам. Таким образом, если не принимать во внимание размерность задачи, то новая задача вполне аналогична краевым задачам [1]. Это позволяет применить описанный в [1] метод решения.
Он заключается в переходе от краевого условия к т. н. основному уравнению. В краевое условие [1] входила разность двух функций, аналитических, соответственно, при 1т г1 > 0 и 1т г1 < 0. Путем несложных рассуждений, заимствованных из [9] и основанных на применении теоремы Лиу-вилля, показано, что каждая из указанных двух функций есть линейная функция г1, причем ее коэффициенты для обоих слагаемых одинаковы. Задача сводилась к их определению и допускала аналитическое решение методом [2]. В настоящей статье краевое условие (26) содержит уже четыре функции, аналитические в биполуплоско-стях Б±±, определяемых (24). Все эти четыре функции, как будет показано далее, можно выразить в виде суммы двух линейных функций, каждая от одного из аргументов г1 либо г2 с коэффициентами, зависящими от другого из указанных аргументов, причем эти коэффициенты являются аналитическими в соответствующих полуплоскостях. Метод основного уравнения сохраняет свою силу и в этом случае, хотя теперь приходится определять неизвестные коэффициенты, при дополнительном условии их аналитичности в соответствующих полуплоскостях. Все это вносит существенное усложнение по сравнению с задачей [1].
Здесь уместно вспомнить замечание Ф.Д. Гахова о различии двумерных и одномерных задач Римана. Он считал это различие примерно таким же, как различие между дифференциальными уравнениями в частных производных и обыкновенными дифференциальными уравнениями [9]. Подчеркнем важное отличие рассматриваемой здесь задачи от задачи [1]. Нестандартность задачи [1] обусловлена только наличием производных по параметрам в краевом условии. Решение одномерной задачи Римана без этих производных хорошо известно и было найдено в общем виде Га-
к
ховым еще в середине XX века. Решение же классической задачи Римана для биполу-плоскостей в общем виде в настоящее время еще не получено: оно построено лишь для некоторых частных случаев задания коэффициентов [11].
Метод основного уравнения, разумеется, также не дает самого общего вида решения, однако он эффективен для тех краевых задач, которые возникают в теории кусочно-линейных стохастических систем. Далее изложим вывод основного уравнения применительно к задаче (26).
Вначале проведем сепарацию левой части уравнения (26) по одному из аргументов . или а1, скажем, по z1. Под сепарацией здесь понимается представление функции комплексного аргумента . в виде разности двух функций Т+ и Т-, аналитических по а1, соответственно, в верхней и нижней полуплоскостях, т. е. преобразование уравнения (26) к виду
Т+- Т- = 0, (¿1, ¿2) е Ь, (28) где, очевидно, следует принять
Т + = —++ +.ТС (1Д)У '++ +
Эт *
+ (ц Тз(1Д) + г Тн (м)н(1Д)Т г )/■++ -
—+ + г ТС (1'2)У'+- +
дт *
+ (. Тз (1'2) + г Т н (1'2)Н (1'2)Т-'
(29)
Т-
£'. + + г ТС(2'1) +
Эт *
+ (*Т з <2'1) + .Т н(2Д) н (2Д)Тг)' -
—~ + .ТС(2'2)У *' -
Эт *
+ (а Т3 (2'2) + аТн (2'2)н (2'2)Т*)' -
Далее рассмотрим на расширенной комплексной плоскости, соответствующей аргументу *1, кусочно-аналитическую функцию Т, которая в верхней полуплоскости совпадает с Т +, в нижней с Т-, а на веще-
Т =
(30)
ственной оси равняется общему значению этих двух функций:
\т+ , 1т а >0, [Т-, 1т а < 0.
Так построенная функция Т аналитична во всей плоскости комплексного переменного *1. Используя известные асимптотики интеграла типа Коши при . ^ да [9], а также тот факт, что функции (29) получаются путем умножения этого интеграла и его производных по параметрам на полиномы не выше чем второго порядка относительно 1, заключаем, что порядок Т ± по *1, а значит и порядок «склеенной» из них функции (30) на бесконечности не выше первого. Отсюда по обобщенной теореме Лиувилля [9] выводим, что Т линейна по 1:
Т = б0(*2, а , т) + .ОД^, а, т), (31)
где г имеет тот же смысл, что и в (22).
Приравнивая каждую из функций (29) порознь к правой части (31), получаем два уравнения:
—±+ + I Тс<кД) у^'±+ + Эт г
+ (аТ з(* .ч + аТ Н(*д) н(кД)Т г ))
— + . Тс(к '2)У?'±
Эт г
+ (а Тз(к '2) + г Т Н(к 1)н(к '2)Т г ))
(352)
= в'-, т) + ф^Л', т),
причем значение к определяется здесьпер-вым индексом при '±±: в случае индекса плюс берется к = 1, иначе к = 2.
Далее используем прием, предложенный в [9]. Вначале сепарируем функции О по аргументу
в- (.2, т) = в) (.2,т) - в) (.2 2', т), (- = 0,1).
Затем подставляем (33) в (32), при этом слагаемые, включающие в), добавляем к первой квадратной скобке (32), а члены с в) — ко второй. В результате получаем разность двух слагаемых, просепарированную
(33)
по т,, напоминающую (28). Повторяя рассуждения, последовавшие за получением (28) и приведшие затем к выводу (32), приходим в итоге к упомянутым выше основным уравнениям:
+ Т тС(у )VгР±± + (/Т т3(у 1) + дт (34)
+Т т Н(у )Н(у )т Т )р±± = ^0±(Т2, Т, т) +
+Т1^1± (Т2, Т, т) + Н± (Т1, Т', т) + Н± (Т1, Т', т)т2.
Формула (34) представляет сокращенную форму записи четырех уравнений для различных краевых значений р±±, в которых первый и второй верхний индекс при символе краевого значения интеграла типа Коши может выбираться произвольно, причем первый индекс совпадает с индексом при С,, а второй — при Нг Числовые индексы у и I естественным образом синхронизированы с первым и вторым индексами р±± по правилу, аналогичному правилу выбора индекса к в (32). Относительно компонент правая часть (34) является целой функцией по соображениям, аналогичным [2].
Отметим, что индексы, которыми снабжены бу± и Н±, точно так же, как и индексы р±±, указывают на аналитичность в соответствующей полуплоскости т1 и Тг Правая часть каждого из четырех основных уравнений (34) содержит по четыре слагаемых, которые выбираются для каждого р±± так, чтобы не противоречить требованию аналитичности р±± в соответствующей би-полуплоскости Б±±.
Уравнения (34) напоминают основные уравнения, возникающие при рассмотрении кусочно-линейных систем, линейных в полупространствах [1], однако по сравнению с этими последними уравнениями они оказываются более сложными, причем усложнение весьма существенно. Во-первых, число неизвестных функций увеличилось с двух до восьми. Во-вторых, правая часть уже не является линейной функцией всего лишь одного аргумента Т1, а представляет сумму двух линейных функций от каждого из аргументов т1 и т2 с коэффициентами, зависящими от другого аргумента. Наконец, в-третьих, и это самое главное, на коэффи-
циенты указанных линейных функций накладываются дополнительные требования аналитичности в соответствующих полуплоскостях т1 и т>.
Таким образом, решение уравнения Пугачёва—Свешникова (21) свелось к решению некоторой обратной задачи для уравнения (34). Она заключается в нахождении таких восьми функций бу±, Н1 в правых частях этих уравнений, которые бы обеспечивали аналитичность четырех краевых значений р±± в соответствующих биполуплоскостях Б±±. В отличие от случая [2], когда поиск неизвестных в основных уравнениях удалось свести к решению сравнительно простой системы линейных алгебраических уравнений (для систем нулевого и первого типа), рассматриваемая сейчас задача, вообще говоря, приводит к необходимости решения некоторой системы функциональных уравнений специального вида.
Далее рассмотрим пример. Для простоты ограничимся пока случаем кусочно-линейной системы, которая в каждой из четвертей пространства Жп принадлежит к нулевому типу [2].
Пример. Фрикционное торможение незакрепленного тела при наличии управляемого демпфера сухого трения
Плоское горизонтальное основание совершает случайные продольные колебания. Ускорение основания моделируется процессом белого шума заданной интенсивности к. Сверху на основании помещено незакрепленное тело массы т. Трение между ним и основанием пренебрежимо мало. Допустим, что нормальный (штатный) режим работы системы реализуется, когда скорость тела V относительно основания по модулю не превосходит заданного значения ут. При VI > утях возникает
тал А | | 111аХ
аварийный (нештатный) режим, в котором система частично утрачивает свою работоспособность.
Чтобы избежать таких нештатных ситуаций, тело притормаживается с помощью демпфера сухого трения, который включается при V > утах и выдает постоянную силу сопротивления Р, направленную на-
встречу движению. Наиболее важной характеристикой такой системы является время, в течение которого система работает в штатном режиме. Задача определения вероятностных характеристик этого времени является типовой задачей теории марковских процессов и известна под названием «задачи о времени пребывания». Соответственно, время работы в нештатном режиме можно трактовать как длительность выбросов V за пределы дозволенной области. Метод расчета длительности выбросов марковского процесса, основанный на применении уравнения Пугачёва—Свешникова, изложен в работе [5]. В рассматриваемом примере требуется изучить влияние параметров управления движением тела утах и Р на закон распределения времени Т работы системы в штатном режиме, а также на моментные характеристики этого времени.
Уравнение движения такой системы имеет вид
тV = -Р Ф(7) + шк^, V (0) = V,, (35)
где V, — начальная скорость тела, а ф — релейная нелинейность с зоной нечувствительности
ф(у)
(36)
J signv, если \v\ > vmax
[0, если \v\ < Vmax ' Тогда время, в течение которого систе ма находится в штатном режиме, подчиня ется уравнению
T = 2 (sign(F + Vmax) - Sign(F - Vmax)),
T(0) = 0. В безразмерных переменных
(37)
U
0 =
mk2 P2
2mk
V, т
2m2 k
t,
T a = ' mk2 m
(38)
уравнения (35) и (37) преобразуются к форме
U = -sign(U + a) - sign(U - a) + 0 = (sign(U + a) - sign(U - a)) / 2.
(39)
Далее будем считать, что движение начинается из состояния покоя, так что и(0) = 0 и 0(0) = 0.
Если бы фрикционный демпфер не выключался при V < Утах, а действовал бы постоянно, что эквивалентно утах = 0, то тогда процесс изменения скорости (35) совпал бы с процессом Кохи—Динза [12]. При этом закон распределения скорости имел бы острый максимум вблизи начала координат. За счет выбора управляющих параметров утах и Р можно изменить качественный вид этого закона, а также форму закона распределения Т.
Кусочно-линейная система, описываемая уравнениями (39), вообще говоря, непосредственно не относится ни к системам, линейным в полупространствах, разобранным в [1], ни к системам, линейным в четвертях пространства, изучаемым в настоящей статье, однако она может быть легко приведена к последним с помощью стандартного приема, заключающегося в расширении фазового пространства. Введем трехмерный процесс и = (Цг1,и2,из)т с компонентами
и1 = и + а, и2 = и - а, из= 0. (40)
Последний описывается системой уравнений
Й1 = -signU1 - signU2 + >/2Е,, и2 = н^^ - signU2 + >/24, (41) из = ^п^ - signU2) / 2,
и^0) = а, и2(0) = -а, ^(0) = 0, (42)
которая, очевидно, уже является частным случаем системы (10).
Для начала будем интересоваться только первыми двумя компонентами процесса и, что соответствует системе из двух первых уравнений Д41), определяющих усеченный процесс и = (и1,и2)т. Для такой системы матричные коэффициенты
(0 0),—(!0) (43)
одинаковы для всех четвертей пространства (4), а векторные коэффициенты таковы:
й(1Д) = -й (2'2) = (2,2)т, й (1'2)= й (2':) =(0,0)т. (44)
Уравнение Пугачёва—Свешникова (21)
при таком задании коэффициентов примет вид:
дЕ — —
дЕ- + (.1 + *2 )2 Е + (.1 + ^(Е 1 + Е 2) = 0, (45) дт
где Е1 и Е 2 обозначают одномерные преобразования Гильберта от Е вида (20), и должно решаться при начальном условии
Е и= е''^1 -Ч (46)
В соответствии с общей теорией приходим к параметрической краевой задаче Римана:
д- ++
д- + ((.1 + .2)2 + 2/(.1 + .2))Е++-дт
— + (.1 + .2 )2 -дт
(47)
д-
++ ((.1 + .2)2 - 2'(.1 + .2))-" = 0 дт
1т=0
= е'а(.1 -.2) л с; .
(48)
'+ Эт
(47)
+ (.1 + . 2 )2-+
_ О2 (.2; р) + .1Ст+ (.2; р) + Н0+ (.1; р) + .2Н+ (.1; р)
при начальных условиях по параметру т -++ I = -
1 1т=0 1
= --- | = 0 -+- , -1 1т=0 1 1т=0
Экспонента (46) целиком вошла в начальное условие для -, т. к. при а > 0 она аналитична в расширенной биполупло-скости Б+-.
Переходя в краевом условии (47) к изображениям по Лапласу и осуществляя сепарацию изображений краевых значений по биполуплоскостям Б±± так, как это было описано выше, получаем следующую систему основных уравнений в изображениях:
-++ =
- +- =
(.1 + .2 )2 + 2/(г1 + .2) + Р
_ (?-(.+ ;р) + .Д-(.2;р) + Н0+ (.1;р) + .2Н+(^р) - е'^1 ^
(.1 + .2 )2 + р Ор+ (.2; р) + .Д (.2; р) + Н- (.1; р) + .2 Н- (.1; р) (.1 + .2 )2 + р ' ДН0- (.2; р) + .Д- (.2; р) + Н- (.1; р) + .2 НН1- (.1; р)
(.1 + .2)2 - 2'(.1 + .2) + р '
(49)
где, напомним, Ке р > 0 , а верхние индексы при б) и Н;± указывают на аналитичность этих функций по первому аргументу в соответствующей полуплоскости.
Насколько известно нам, метод решения краевых задач Римана для биполуплоско-стей, использующий основное уравнение, в литературе ранее не рассматривался. Соответственно, малоизучены и те математические задачи, которые возникают в ходе его реализации. Поэтому поиск неизвестных функций в (49) необходимо описать подробнее.
Обратимся к первому уравнению (49). Для аналитичности -++ в Б++ необходимо, чтобы числитель -++ обращался в нуль на той части комплексной гиперповерхности определяемой уравнением
(.1 + . 2)2 + 2/(.1 + . 2) + р = 0, (50)
которая содержится в Б++.
Изучим подробнее поверхность ^11. Разрешив ее уравнение относительно одной из переменных, скажем, .1, получим два варианта решения:
.1 =-.2 - /(1 + л/ГТ7), (51)
из которых нужно сохранить только вариант со знаком минус перед радикалом, т. к. только для него (.1, .2) е Б++. Таким образом,
Z\=-Zг + ™+, (52)
где V/+ = / (^1 + р -1), причем 1т ^+ > 0 при всех Ке р > 0.
Вернемся к изучению аналитичности 17++ . Для того чтобы числитель -++ обратился в нуль на ^11, необходимо и достаточно выполнения функционального уравнения
+
(+ (г2; р) + (-¿2 + ю+)(+ (^; р) + (53)
+#0+ (-^ + ю+; р) + ^ Н+ (-^ + ю+; р) = о
для всех г2, при которых (гх, г2) е Б++. Учитывая линейную связь (52) между г2 и ^ на £п, получим, что уравнение (53) выполняется всюду в полосе 0 < 1т г2 < 1т ю +.
Весьма существенно, что указанное уравнение сохраняет силу при 1т г2 = О, т. е. на всей вещественной оси плоскости комплексного переменного г2. При 1т г2 = 0 первые два слагаемых в (53) представляют предельные значения на вещественной оси функций, аналитических в верхней полуплоскости, а последние два (благодаря появлению знака минус перед г2 под аргументом Н+) — предельные значения функций, аналитических в нижней полуплоскости. Следовательно, уравнение (53) задает некоторую краевую задачу Ри-мана для полуплоскостей.
Подобного рода задачи подробно разобраны в [1]. Если учтем асимптотику на бесконечности двумерного интеграла типа Коши и проследим вытекающую из нее асимптотику функций 0± и Н±, после чего применим к решению (53) метод сепарации, то получим следующий аналог основного уравнения, отвечающий задаче (53):
С+ (¿2; р) + (-¿2 + ю + )(+ (г2; р) =
= £о( р) + р^ (54)
Н+ (-^ + ю +; р) + г2Щ (-^ + ю +; р) = = - Яо( р) - &( р)^2,
причем уравнения (54) сохраняют силу для любых г1 из верхней и нижней полуплоскостей соответственно.
Каждое из уравнений (54) задает линейную связь между парой функций 0+, либо Н+ (при ] = 0,1; I = 0,1), позволяющую выразить одну функцию каждой из пар че-
рез другую. Условимся исключить из выражений Р±± функции (+ и Н0+, сохранив (+ и Н+. Коэффициенты я0 и я1 в результирующее выражение для Р±± не войдут, и их вычисление оставим в стороне. Отметим, что второе уравнение (54) удобно заменить на эквивалентное ему уравнение:
Н+ р) + (-*! + ю+ )Н+ (^ р) = = -Я)(р) - &(р)(-^1 + ю+ ),
(55)
получаемое из (54) заменой г2 через г1 согласно (52).
Далее займемся последним уравнением (49), дающим выражение Р". Знаменатель Р обращается в нуль на гиперповерхности Б22, уравнение которой отличается от (50) только знаком минус перед второй скобкой. Анализ вида части поверхности £22, лежащей в Б--, приводит к равенству
*1 =-¿2 - ю+, (56)
заменяющему аналогичную связь (52) для поверхности £п. Внося очевидные изменения в последующие рассуждения, приходим к следующим уравнениям, обеспечивающим аналитичность Р" в Б":
С- (¿2; р) - (ъ + ю + )(- р) =
= Ь,( р) + М р)^2, Н- (г{; р) - (^1 + ю + Н- (^1; р) = = -к(р)- ^(р)(^1 + X
(57)
причем второе уравнение дается уже в преобразованном виде, аналогичном (55). С помощью (57) исключаем из выражений Р±± функции (¡0 и Н0.
Приведем промежуточный вид уравнений, в которых сохранены только функции (¡1 и Н±:
*++ _ (¡1+ (г2; р) + Н+ (г^ р) р--1 ,
г1 + г2 + /(1 + V1 + р) Р+- = (г + г2 + ((г2; р) + (г + г2 - )Н+ (^ р) - е'^1 -г2)
(г + ^)2 + р
Р-+ = (г + ¿2 - ю+ )(+ (г2;р) + (г + ^ + ™+ )Н-р)
Р--7--,
(¿1 + ¿2) + р
(58)
- - = °г (.2; р) + нг (.1; р) (58) . + .2 - /(1 + V1 + р)
Функции Р++ и --- здесь уже приведены к надлежащему виду, обеспечивающему их аналитичность, соответственно, в Б++ и Б .
Аналогичному преобразованию надо подвергнуть и две оставшиеся функции. Их знаменатели совпадают, так что особые гиперповерхности Бп и Б21 будут задаваться одним уравнением:
(.1 + .2 )2 + р = 0, (59)
решение которого относительно .1 таково:
.1 = -.2 ± '4р. (60)
Здесь, в отличие от предыдущей ситуации, знак перед радикалом в (60) может быть как плюс, так и минус, и оба этих варианта нужно учесть при изучении аналитичности как -+-, так и --+.
Рассуждая аналогично предыдущему, получаем условия аналитичности --+ в виде:
(±'43 - *+Д (.2;р) +
(±'4р + *+)Н- (-.2 ± /у[р; р) = 0,
(61)
записи двух уравнений, соответствующих разному знаку при /у[р. Если из этих двух уравнений исключить <<+, получим однородное конечно-разностное уравнение относительно Н-:
(/у[р + *+ )2 Н" (-.2 + Ф; р) - _
/— ~ - г- (62)
- (-/д/р + *+ )2 н-(-.2 - Цр; р) = 0.
Решением последнего является Н- = 0, тогда из (61) следует, что и <01+ = 0.
Аналогичные рассуждения применительно к функции -+- приводят уже к неоднородному разностному уравнению для Н1+:
(^^л/р - *+)2 Н+ (-.2 + /4~р; р) -
- (/^р + *+)2 Н+ (-.2 - '4р; р) = (63)
= (/д/р - *+ )е-2а/.2-а4р + (/у[р + *+,
решение которого будем искать в виде
Н+ (.1; р) = А( р)е^ (64)
Подстановка (64) в (63) превращает последнее в тождество, если принять
1
А( р)
(/^/р - *+ )е- (/^р + * + ')еа^р
.(65)
причем, легко видеть, что (.1, .2) е Б, если 1т .2 > Ке у[р > 0. Уравнение (61) представляет собой сокращенную форму
Н+ (.1; р) =
В результате для последних двух остававшихся неизвестными в (58) функций получим окончательно:
и2^
(/у[р - *+ )е-а^р - (/^/р + *+ )еа^р '
0- (.2; р) = -
(66)
С^р - *+ )е^ - (/^р + *+ )еа^ '
Далее находим изображение характеристической функции Е *(. *; р) вспомогательного двумерного процесса и по первой формуле Сохоцкого (25), после чего изображение характеристической функции Еи (.; р) исходного процесса и = (и + и2) / 2 находится подстановкой в Е векторного аргумента . = (. /2,. / 2)Т, что дает
1 2/А( р).
(.; р)
Г + р Г + р
(
Л
(67)
. + / (л/1 + р +1) . - / (л/1 + р +1)
Обращение изображения (67) требует громоздких и трудоемких вычислений и для экономии места здесь не приводится. По нашему мнению, основной интерес представляет приведенный выше метод получения ЁЁи , демонстрирующий технологию решения двумерной краевой задачи Римана.
Вместе с тем на основе (67) нетрудно получить ряд ценных в прикладном отношении результатов асимптотического характера при больших т.
Рассмотрим асимптотику изображения (67) при р ^ 0. Вспоминая определение и А(р), имеем
е
Е7и (.; р) = 1 (Е„ (.) + О (р)),
Еда(.) =
2
(2а +1).
( еа е-™ -+-
. + 2/ . - 2/
(68)
Используя известные теоремы об асимптотическом разложении оригиналов для изображения по Лапласу [13], находим
2 ( „/а. „-а. \
ИтЕи (.; т) =
(2а +1).
( еа е
-+-
. + 2/ . - 2/
,(69)
что дает стационарное распределение в виде комбинации равномерного и двустороннего усеченного показательного законов распределения
ва для систем первого порядка [14].
Вернемся теперь к задаче определения времени пребывания системы в штатном режиме (41), т. е. к исследованию процесса и, полученного добавлением третьей компоненты и 3 к вспомогательному двумерному процессу и . Легко понять, что добавка третьей компоненты в (41) повлияет только на второе и третье слагаемое в (47) и, как следствие, только на знаменатели второй и третьей формул в (49), в которых появятся добавки к р, равные -/.3 и /.3 соответственно. Поэтому решение задачи (41) после упрощения будет иметь следующий вид:
1
/да (и)
1 [1,
2а + 1 I е
-2(|и|-а)
если и < а, если |и| > а,
(70)
Е(
/В (р, .3)
(иД.)^, .3;р) 2 •
. + р - .
согласующееся с хорошо известным стационарным решением уравнения КолмогороВ (р, .3)
2. + .3 е/а. + 2. .3 е-а.
(71)
. + р - о, ^ . + V . - V )
где введено обозначение V+ = »Хл^тр +1) и
1 (72)
(/^/р^!- *+ )е - (/^р - /.3 + )е
а^р-К3
Полагая . = 0, получим выражение для изображения по Лапласу характеристической функции времени пребывания системы в штатном режиме:
Еи(.3; Р) = —---2/В^-,(73)
3 р - /(1 + у11 + р)(р - /.3)
которое используется для получения начальных моментов процесса и3, определяемых в виде тк (т) = М [и3к (т)]. Их изображения тк (р) даются достаточно сложными и громоздкими выражениями, получаемыми путем дифференцирования (73) по .3 и имеющими следующую асимптотику при р ^ 0
М[Д2(т)] = О4^т2(1 + О(т-1)), (76) (2а +1)
так что дисперсия и коэффициент вариации времени пребывания системы в штатном режиме будут иметь вид:
Б (и3(т))=„ ^ т2(1 + О(т-1)),
У(т) =
(2а +1)2 _ ^Б(иэ(т)) _ 1
,(1 + О(т-1)),
(77)
т7^ (р) = ^2(т1да + О( р)), р
2
т2( р) = ~(т2да + О( р)), р
(74)
где
Щда
2а
т,.
а(4а +1)
2а + Г 2да (2а + 1)2 В результате при больших т 2а
(75)
М [и3 (т)]
2а +1
т(1 + О(т-1)), (76)
М [и3 (т)] 24а
причем дисперсия и 3 имеет максимум по а при а = 1/2.
В заключение заметим, что исходная система первого порядка (35) попадает в класс систем, которые могут быть исследованы методом Кохи—Аткинсона [15], однако изложенный в настоящей статье метод, во-первых, дает альтернативный и притом более простой способ получения характеристик процесса и , описывающего поведение этой системы, и, во-вторых, позволяет легко получить вероятностные характеристики трехмерного процесса и, что принципиально невозможно в методе [15], действие которого ограничивается лишь системами первого порядка.
СПИСОК ЛИТЕРАТУРЫ
1. Заяц О.И. Применение уравнения Пугачёва—Свешникова к исследованию кусочно-линейных стохастических систем, линейных в полупространствах // Научно-технические ведомости СПбГПУ. Физико-математические науки. — СПб.: Изд-во Политехн. ун-та, 2013.
- № 4-1(182). - С. 128-142.
2. Заяц О.И. Статистическая динамика систем релейного типа и уравнение Пугачёва-Свешникова // Изв. вузов. Приборостроение.
- 1992. - № 1/2. - С. 8-16.
3. Заяц О.И. Решение задачи Кренделла о фрикционном торможении // Научно-технические ведомости СПбГПУ. - СПб.: Изд-во Политехн. ун-та,- 2007. - № 1 (49).- C. 244-252.
4. Заяц О.И., Ильин И.Ю. Об одной нелинейной стохастической задаче механики твердого тела // Труды СПбГТУ. Прикладная математика. - 1999. - № 477. - C. 72-74.
5. Заяц О.И. Об аналитическом решении задачи Феллера о длительности выбросов // Труды СПбГТУ. Прикладная математика. - 1996.
- № 461. - C. 92-100.
6. Заяц О.И. Решение задачи Феллера для винеровского процесса с постоянным сносом // Труды СПбГТУ. Прикладная математика.
- 1999. - № 477. - C. 67-72.
7. Zayats O.I, Belavin I.V. Application of Pugachev-Sveshnikov equation in reliability theory
// III Internat. Conf. Tools for mathematical modelling. Proceedings. — St.-Petersburg: SPbGTU, 2001. - P. 193-200.
8. Заяц О.И., шилова Е.В. Спектральный анализ случайных процессов в кусочно-линейных системах и уравнение Пугачёва-Свешникова // Труды СПбГТУ. Прикладная математика. - 2002. - № 485. - C. 55-69.
9. Гахов Ф.Д. Краевые задачи. - М.: Наука, 1977.
10. Титчмарш Э. Введение в теорию интегралов Фурье. - М.: КомКнига: УРСС, 2005
11. Какичев В.А. Методы решения некоторых краевых задач для аналитических функций двух комплексных переменных. - Тюмень: Изд-во ТГУ, 1978.
12. Caughey T.K., Dienes J.K. Analysis of nonlinear first order system with a white noise input // J. of applied physics. - 1961. - Vol. 32. - № 11.
- P. 2476-2479.
13. Дёч Г. Руководство к практическому применению преобразования Лапласа и Z-преобразования. - М.: Наука, 1971.
14. Свешников А.А. Прикладные методы теории марковских процессов. - СПб.: Лань, 2007.
15. Atkinson J.D., Caughey T.K. Spectral density of piecewise linear first order systems excited by white noise // Internat. journal of non-linear mechanics.
- 1968. - Vol. 3. - № 2. - P. 137-156.
REFERENCES
1. Zaiats O.I. Primenenie uravneniia Pugache-va-Sveshnikova k issledovaniiu kusochno-lineinykh stokhasticheskikh sistem, lineinykh v polupros-transtvakh / Nauchno-tekhnicheskie vedomosti SPbGPU. Fiziko-matematicheskie nauki. — St.-Pe-tersburg: Izd-vo Politekhn. un-ta, 2013. - № 4-1(182).
- S. 128-142. (rus)
2. Zaiats O.I. Statisticheskaia dinamika sistem releinogo tipa i uravnenie Pugacheva-Sveshnikova / Izv. vuzov. Priborostroenie. — 1992. — № 1/2.
- S. 8-16. (rus)
3. Zaiats O.I. Reshenie zadachi Krendella o friktsionnom tormozhenii / Nauchno-tekhnicheskie vedomosti SPbGPU. -St.-Petersburg: Izd-vo Politekhn. un-ta, 2007. - № 1(49). - S. 244-252. (rus)
4. Zaiats O.I., Il'in I.Iu. Ob odnoi nelineinoi stokhasticheskoi zadache mekhaniki tverdogo tela / Trudy SPbGTU. Prikladnaia matematika. - 1999.
- № 477. - S. 72-74. (rus)
5. Zaiats O.I. Ob analiticheskom reshenii zadachi Fellera o dlitel'nosti vybrosov / Trudy SPbGTU. Prikladnaia matematika. - 1996 - № 461.
- S. 92-100. (rus)
6. Zaiats O.I. Reshenie zadachi Fellera dlia vinerovskogo protsessa s postoiannym snosom / Trudy SPbGTU. Prikladnaia matematika. - 1999.
- № 477. - S. 67-72. (rus)
7. Zayats O.I, Belavin I.V. Application of Pu-gachev-Sveshnikov equation in reliability theory / III Internat. Conf. Tools for mathematical modelling. Proceedings. - St.-Petersburg: SPbGTU, 2001.
- P. 193-200.
8. Zaiats O.I., Shilova E.V. Spektral'nyi analiz sluchainykh protsessov v kusochno-lineinykh siste-makh i uravnenie Pugacheva-Sveshnikova / Trudy SPbGTU. Prikladnaia matematika. - 2002. - № 485.
- S. 55-69. (rus)
9. Gakhov F.D. Kraevye zadachi. - Moscow: Nauka, 1977. (rus)
10. Titchmarsh E. Vvedenie v teoriiu integralov Fur'e. - Moscow: KomKniga: URSS, 2005. (rus)
11. Kakichev V.A. Metody resheniia nekotorykh kraevykh zadach dlia analiticheskikh funktsii dvukh kompleksnykh peremennykh. - Tiumen': Izd-vo TGU, 1978. (rus)
12. Caughey T.K., Dienes J.K. Analysis of nonlinear first order system with a white noise input / Journal ofapplied physics. — 1961. — Vol. 32. — № 11. - P. 2476-2479.
13. Dech G. Rukovodstvo k prakticheskomu primeneniiu preobrazovaniia Laplasa i Z-preobra-zovaniia. — Moscow: Nauka, 1971. (rus)
14. Sveshnikov A.A. Prikladnye metody teorii markovskikh protsessov. — St.-Petersburg: Lan', 2007. (rus)
15. Atkinson J.D., Caughey T.K. Spectral density of piecewise linear first order systems excited by white noise / Internat. journal of non-linear mechanics. - 1968. - Vol. 3. - № 2. - P. 137-156.
ЗАяЦ Олег Иванович — доцент кафедры прикладной математики Санкт-Петербургского государственного политехнического университета, кандидат физико-математических наук. 195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29. E-mail: [email protected]
ZAYATS, Oleg I. St. Petersburg State Polytechnical University. 195251, Politekhnicheskaya Str. 29, St.-Petersburg, Russia. E-mail: [email protected]
БЕРЕЗИН Сергей Васильевич — аспирант кафедры прикладной математики Санкт-Петербургского государственного политехнического университета.
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29. E-mail: [email protected]
BEREZIN, Sergey V. St. Petersburg State Polytechnical University. 195251, Politekhnicheskaya Str. 29, St.-Petersburg, Russia. E-mail: [email protected]
© Санкт-Петербургский государственный политехнический университет, 2013