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

ИНФОРМАТИКА

УДК 517.935.2

УСЛОВИЯ АНАЛИТИЧНОСТИ ХАРАКТЕРИСТИЧЕСКОГО И ВОЗМУЩАЮЩИХ КВАЗИМНОГОЧЛЕНОВ КОМБИНИРОВАННЫХ ДИНАМИЧЕСКИХ СИСТЕМ

М. С. Портенко1, Д. В. Мельничук2, Д. К. Андрейченко3

1 Портенко Марина Сергеевна, старший преподаватель кафедры информатики и программирования, Саратовский национальный исследовательский государственный университет им. Н. Г. Чернышевского, [email protected] 2Мельничук Дмитрий Вадимович, магистрант факультета компьютерных наук и информационных технологий, Саратовский национальный исследовательский государственный университет им. Н. Г. Чернышевского, [email protected] 3Андрейченко Дмитрий Констатинович, доктор физико-математических наук, профессор кафедры математического обеспечения вычислительных комплексов и информационных систем, Саратовский национальный исследовательский государственный университет им. Н. Г. Чернышевского, [email protected]

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

Ключевые слова: комбинированные динамические системы, устойчивость. DOI: 10.18500/1816-9791 -2016-16-2-208-217

ВВЕДЕНИЕ

Комбинированные динамические системы (КДС) — это математические модели в форме связанных посредством граничных условий и условий связи обыкновенных дифференциальных уравнений и уравнений в частных производных при соответствующих начальных условиях [1,2]. Основные теоремы об устойчивости КДС сформулированы и доказаны в [1,2], где приведен основанный на теореме об устойчивом квазимногочлене «быстрый» алгоритм проверки устойчивости КДС. Для его применения необходимо, чтобы характеристический и возмущающий квазимногочлены КДС были аналитическими функциями в правой комплексной полуплоскости и вблизи мнимой оси. В общем случае вопрос об условиях аналитичности характеристического и возмущающего квазимногочленов КДС остался открыт, а его решение является целью данной работы.

1. КОМБИНИРОВАННЫЕ ДИНАМИЧЕСКИЕ СИСТЕМЫ

Структурная схема КДС с входной вектор-функцией х : м ^ и характеризующей движение объектов управления с сосредоточенными по пространству параметрами выходной вектор-функцией у : м ^ приведена на рис. 1 (где Ь — время).

Здесь ОДУ — обыкновенные дифференциальные уравнения, УЧП — уравнения в частных производных, ГУ — граничные условия, УС — условия связи, НУ — начальные условия. Модельные уравнения движения КДС можно привести к виду [2, с. 8]

у =f (x y,h);

g(u, y)|s = 0;

u = f(u, x, у, у), h = i h(u)dS,

r G О с RN

s = d o,

(1)

y(0) = У0,

JS

u(r, 0) = uo(r).

КДС

Рис. 1. Структурная схема КДС

Здесь r — независимые пространственные координаты; О, S — область, занимаемая объектами управления с распределенными по пространству параметрами и ее граница соответственно; u : rnr х r ^ rnu характеризует движение объектов управления с распределенными по пространству

параметрами; h : r ^ rnh; f : rn х rn х rnh ^ rn; (•) = d(-)/dt либо (:) = d(-)/di; операторы f, g, h соответствуют уравнениям в частных производных, граничным условиям и условиям связи. Предполагается, что вектор-функция f и операторы f, g, h не зависят от времени t, т.е. система является стационарной с точки зрения теории управления. В равновесном состоянии x = x0 = const, ( • ) = 0, и характеризующие его величины у0, u0(r), h0 суть решение уравнений

f (x, у, h) = 0; f(u, x, у, 0) = 0, r G О

h = H(u)dS,

S

(2) (3)

с(и, у)^ = 0.

В предположении х(Ь) = х0 + дх*(Ь), у(Ь) = у0 + ду*(Ь), и(г, Ь) = и0(г) + ди*(г,Ь), Ь(Ь) = Ь0 + дЬ*(Ь), д ^ 0, при условии дифференцируемости функции f и операторов е, с, н из (1)—(3) следуют уравнения относительно величин (■)* , характеризующих возмущенное движение (символ * далее опущен), которые после выполнения интегрального преобразования Лапласа по времени /(Ь) ^ /(А) = /0° /(Ь)в-А^Ь принимают вид

(L<G) (u) + 4G) у)

= 0,

(4)

(5)

(6)

матрицы, которые могут зависеть

Ау = В х + Су + Ау,

АУ = } (и) + }х + (Ь^} + АЬ^})у, г е О;

у = / )(У)^. Js

Здесь А, В, С — постоянные матрицы; ^, ¿3^^, Ь^\

от г; линейные операторы ^, , ) соответствуют линеаризованным уравнениям в частных производных, граничным условиям и условиям связи. Из линейности по У, X, у краевой задачи (5) и линейности (6) по X следует

х(А) = Ви(А)У(А) + Си(А)У(А), Ви : с ^ >, Си : с ^ ), (7)

причем столбцы с номером ] матриц Ви(А) и Си(А) находятся при помощи решения линейных краевых задач относительно вспомогательной функции v(r, А), V : О х с ^ с^"

Av = L1F) (v)+ ;e

(F L(Nx)

r G О, LlG)(v)

= 0,

Bu(A)ejNx) = L(H) (v)dS, j = ,

(8)

S

S

Av = L1F>(v) + (4F) + ALfj\ r e fi; (4G)(v) + 4G)ejN))

= 0, (9)

S

Си (А)еУ^ = у^ 3 = 1,^, (10)

где ejN} е , 3 = ^ е^} = (1,0,...0)т, е2^} = (0,1,...0)т.., е^} = (0,0,...1)т. Подстановка (7) в (4) приводит к системе линейных уравнений, связывающей Х(А) и у (А), из которой находится матрица передаточных функций Ф(А) и выражения для характеристического квазимногочлена Е(А) и возмущающих квазимногочленов Qkj (А)

у(А) = Ф(А)х(А),

Ф(А) = [Qfcj(А)/Я(А)] = [АЕ - С - АСи(А)]-1 [В + АВи(А)], (11)

Е(А) = ёе^АЕ - С - АСи(А)], Е = 1,..., 1}, к = 3 = ТДХ.

Так как краевые задачи (8), (9) зависят лишь от одной комплексной величины А

Bu(A) = Bu (A), CU (А) = Cu (A),

d(a) = d(a), Qkj (A) = Qkj (a), к = iNy, j = тж .

Обобщенная степень n e r (как правило, n = Nu) характеристичекого квазимногочлена D(A) находится из условия [1,2]

lim A-nD(A) = ca, 0 < |ca| < ro, Re A > e (-ro, 0). (13)

При условии аналитичности функций D(A) и Qkj-(A) при ReA > , e (-ro, 0), наличия обобщенной степени (13) и некоторых других условий из теорем об устойчивости КДС [1,2] (об устойчивом квазимногочлене) следует критерий устойчивости КДС

Д arg D(iw) = nn/2. (14)

При оптимизации шага изменения ш условие (14) представляет собой «быстрый» алгоритм проверки устойчивости КДС.

2. ПРОЕКЦИОННЫЙ МЕТОД ГАЛЕРКИНА

Данный метод применяется для численного решения нелинейной краевой задачи (2), (3). Пусть Wk (r), Wk :fi — rn« k = T, 2,..

. — полная система функций в области fi; Гк(r|s), Гк : S —RNg, к = I, 2,... — полная система функций на S = dfi. Полагаем

к , «кWk (г) (15)

к=1

и для приближенного выполнения уравнений (3) требуем

[ е(и, х, у, 0) ■ Wk (г)^ = 0, к = 1^; /с(и, у) ■ Гк(г)^ = 0, к = (16)

где (•)•(•) — скалярное произведение векторов соответствeтствующей размерности. Из (3), (16) следует система нелинейных уравнений относительно компонент вектора V

Е(У) = 0 Е • т^т^ ^ т^т^

(17)

V = (У1, У2, . . . , УЫу , «1, «2, . . . , т^ )Т е тМз.

Далее система нелинейных уравнений (17) решается численно.

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

Е1 ' S L I 1 'о

k 1 vk (A)Wk (r). (18)

k=l

Дискретный аналог (9) принимает вид

Л / v ■ Wk (r)dO = i ) (v) + (Lf) + ALiF))ejN)] ■ Wk(r)dO, k = 1, N«,

Jn Jn

i l1G) (v) ■ Гк(r)dS = - / Lf]efy) ■ Гк(r)dS, k =

(19)

Подстановка (18) в (19) приводит к системе линейных уравнений размерности (^ + ^) х х (N0 + ^) относительно коэффициентов разложения (18), которая решается численно, и далее используются формулы (10) для вычисления текущего столбца матрицы Си(А). Матрица коэффициентов и правые части системы линейных уравнений (16) линейно зависят от параметра А. Пусть & (А) — определитель системы линейных уравнений (16), являющийся полиномом некоторой степени параметра А. Из (10) следует, что в области, где применяется проекционный метод Галеркина, особенности элементов вспомогательной матрицы Си(А) (а также Ви(А) и, в конечном счете, характеристического и возмущающего квазимногочленов ^(А) и (А)) будут исчерпываться особенностями решения системы линейных уравнений (19), т.е. нулями определителя &(А). Проверка отсутствия нулей & (А) в области,

ограниченной контуром

Ir = {Л = -сто - iw, -(R2 - ст2)1/2 ^ w ^ (R2 - ст2)1/2}и U{A = , -[п/2 + arcsin(o-0/R)] ^ § ^ п/2 + arcsin(CT0/R)},

R > 1, 0 < сто < 1,

(20)

на основании принципа аргумента сводится к проверке условия (рис. 2)

Д arg D(А) = 0. (21)

А£1д

3. УСЛОВИЯ АНАЛИТИЧНОСТИ

Рис. 2. Проверка аналитичности

При фиксированном А в линейном пространстве функций и : О ^ с^" введем норму ||и|| е к,

!/2

в

Г 2 11/2

например, ||и|| = fn |u| dO . Полагаем, что в (8), (9)

) e(Nx ) l2 ej

< œ, j = 1,

L(F ) e(Ny ) L3 ej

< œ,

L(F )e(Ny ) l4 ej

< œ, j = 1,Ny. (22)

Так как входящий в уравнения в частных производных неограниченный линейный оператор ^ содержит производные более высокого порядка, чем входящий в условия связи линейный оператор для достаточно гладких функций полагаем

V (и : О ^ CN ) :

L1F ) (и)

< œ,

L(G) (и)

=0

L(H ) (u)dS

< œ.

(23)

Далее полагаем: существуют достаточно гладкие функции v0:') : О ^ м^" такие, что

v

(j )

< œ, L1G)(v0j)) cUj) = i L(H)(v0j))dS,

= -L(G) e(Ny )

2

l1f >(v0j» )

< œ,

.(j)

(24)

< œ, j = 1,Ny

Лемма 1. Пусть выполнены условия (22)-(24) и в некоторой области комплексной плоскости при А е Од с с для функций (23) справедливо неравенство

Ли - L1F)(и) ^ m(A) ||и||, m(A) > 0.

(25)

Тогда при А е Од элементы матриц Ви (А) и Си (А) — комплекснозначные однозначные ограниченные функции параметра А.

0

S

S

и

S

Доказательство. Достаточно рассмотреть вспомогательную краевую задачу (9) и формулы (10), которые, используя (24) и полагая V = vo +преобразуем к виду

Aw = llF)(w)+ fo(r) + Afi(r), r e O; l1G)(w)

= 0,

S (26)

Го(г) = >(vo) + \ £1 (г) = Ь?)е^> -

Си(А)е^у} = си'} + / з = (27)

Js

Оператор А(.) - ^ (.) отображает линейное нормированное пространство достаточно гладких удовлетворяющих однородным граничным условиям функций (23) в линейное нормированное пространство ограниченных по норме функций. Как следует из (25), согласно [3, с. 119, теорема 1] оператор А(.) - при А е Од имеет ограниченный обратный оператор, т.е. с учетом (22)-(24)

существует единственное достаточно гладкое решение вспомогательной краевой задачи, для которого существует и ограничен интеграл в правой части равенства (27). □

Лемма 2. Пусть выполнены условия (22)-(24) и в некоторой замкнутой области комплексной плоскости при А е Од = Од и дОд с с для функций (23) спарведливо условие (25). Тогда при А е Од элементы матриц Ви (А) и Си(А) — аналитические функции А.

Доказательство. Достаточно рассмотреть вспомогательную краевую задачу (9) и формулы (10). Зафиксируем А0 е Од и некоторое А е Од. Используя линейность (26) и (27) и полагая w(r, А) = и0(г, Ао) + (А - Ао)и1 (г, Ао) + (А - Ао)2и2(г, Ао, А), находим

= 0,

S

Aouo = liF) (uo) + fo(r) + Aofi (r), r e O; 4G) (uo) Aoui = liF)(ui) + fi(r) - uo, r e O; liG)(ui) Au2 = liF)(u2) - ui, r e O; liG)(u2) Cu(A)ejN) = cj + goj)(Ao) + gj(Ao)(A - Ao) + gj(Ao, A)(A - Ao)2,

= 0,

S

= 0,

S

3

goj)(Ao) = / l(H)(uo)dS, gj(Ao) = / l(H)(ui)dS, g23)(Ao, A) = i l(h)(u2)dS, j =

S S S

Аналогично доказательству леммы 1 можно показать: при Ao e Од go3) (Ao), g(3) (Ao) — ограниченные комплекснозначные вектор-функции Ao; при Ao e Ол, A e Ол g23)(Ao, A) — ограниченная комплекснозначная вектор-функция своих аргументов. Так как в замкнутой области Од можно найти M(Ao) = max g23)(Ao, A) , это означает наличие производной элементов матрицы CU(A) в точке лен А

Ao e Ол, т.е. их аналитичность в области ОЛ. □

Теорема 1. Пусть выполнены условия (22)-(24) и в некоторой замкнутой области комплексной плоскости при A e Ол = Ол и дОл с c для функций (23) справедиво условие (25). Тогда при A e Ол характеристический квазимногочлен D(A) и возмущающие квазимногочлены (A), k = 1,Ny , j = 1,Nx, — аналитические функции A.

Доказательство. Непосредственно следует из (11) и леммы 2. □

4. АНАЛИТИЧНОСТЬ В ВЫСОКОЧАСТОТНОЙ ОБЛАСТИ

В «низкочастотной» области внутри контура (20) (см. рис. 2) проверка аналитичности характеристического и возмущающих квазимногочленов эффективно реализуется на основе условия (21). Аналитичность характеристического и возмущающих квазимногочленов в высокочастотной области A ^ го, Re A > -го устанавливается на основе теоремы 1. При фиксированном A для функций u, v : О ^ cnu введем операцию скалярного произведения, например (u, v) = u ■ vdO, u|| = д/(u, u). Пусть уравнения типа (1) моделируют процессы типа теплопровод-

(v, u) = (u, v ности или диффузии, тогда

l1f > = - <2. (28)

Линейный оператор может быть ограниченным либо неограниченным. Линейный опера-

тт (Д)

тор 2 содержит производные наивысшего порядка по независимым пространственным переменным, неограничен, положительно определен и самосопряжен

>N"4. .. ^п тг(С).

= 0

(u, L^ (u)} > 0,

V(u :O ^ ): u = 0, lp (u) V(u, v : O ^ ) : l^(u)|g = 0, l^v)^ = 0 ^ (v,l^(u)) = (u,l^v)

Поскольку операторы l^ и являются вещественными, из (29) следует

(29)

V(u : O ^ CNu) :

Так как оператор L^ содержит производные наивысшего порядка, полагаем

lull = 1,

L1G) (u)

=0

(u, L^ (u)) > 0. (30)

V(u : O ^ CN) :

ul = 1,

LÍG) (u)

= 0,

L$ (u)

> 1

(u, (u^|< (u, !.<>)) .

(31)

Теорема 2. Пусть выполнены условия (22)-(24), (28), (29) и (31). Тогда при |А| » 1,

Re А > — |А| sin а, 0 < а < п/2 характеристический квазимногочлен D(A) и возмущающие квазимногочлены (A), k = 1,Ny, j = 1,Nx, — аналитические функции А.

Доказательство. Достаточно рассмотреть вспомогательную краевую задачу (26) и формулы (27). Как следует из (26), для решения данной вспомогательной линейной краевой задачи при А ^ го,

lFv)

го. В таком

Re А > —го ||w|| < M < го ^ случае, как следует из (30), (31), при А ^ го, 0 < а < п/2, Re А > — |А| sin а (рис. 3)

V(u : O ^ CN) :

u || = 1, LlG)(u)

=0

Au — L1F) (u) ^ (u,Au — L1F) (u) 1

2 \->-v,¿ v--// - 2

А + (u, —l<f)(u)^| ^ 2 |А + (u,lVf2(u))| ^ 2 IА1 cosа,

\ |д| COS Oi

lAlcoso;

® д| = const 1

V(u : O ^ CN): LÍG) (u)

=0

(F) 1

Au — L1 (u) ^ ^ | А| ||u|| cos а

Рис. 3. К оценке нормы

условие (25) выполнено и при |А| » 1, 0 < а < п/2, Re А > — |А| sin а согласно теореме 1 характеристический квазимногочлен D(A) и возмущающие квазимногочлены (A),k = 1, 2, , j = 1,2, ...,Nx, будут аналитическими функциями А. □ После исключения некоторых вспомогательных величин (например, давления на граничных поверхностях в математических моделях поддерживающих слоев вязкой несжимаемой жидкости [4]) линейный оператор l1f) может быть преобразован к виду

) = АЬ1Д0) + - . Здесь — ограниченный положительно определенный самосопряженный оператор

У(и ^ е-"): ь«С)(и)|^ = 0 ^ 0 < (и. (и)) < С0 |и|2 , 0< С0 < 1, У(и, V : О ^ е-") : ь<°>(и)^ = 0, = 0 ^ (V,ь<Д>(и)) = (и,ь<Д>(V)} .

Поскольку операторы и вещественные, то

(32)

(33)

V(u : O ^ Cvu): L1G) (u) =0 ^ 0 u, L^(u) ) ^ C0 ||uf , 0< C0 < 1.

(34)

S

S

S

S

Теорема 3. Пусть выполнены условия (22)-(24), (29), (31)—(33). Тогда при |А| » 1, Re А >

> — |А| sin а, 0 < а < п/2, характеристический квазимногочлен D(A) и возмущающие квазимногочлены (A), k = 1,Ny, j = 1,Nx, — аналитические функции А.

Доказательство. Аналогично теореме 2 сводится к выводу неравенства V(u : О ^ CNu) :

llG)(u)

= 0 ^

Au — L1F}(u) ^ 1 (1 — Co) |A| ||u|| cosа.

□

Пусть теперь рассматривается движение упругой среды с учетом диссипации энергии. Достаточно рассмотреть вспомогательную краевую задачу (26), где

'(r, А) = {u(r, A), Au(r, A)}, L1F) = L^ — L^ + A(L¡F? — L^),

(35)

а и(г, А) — собственно упругие смещения частиц среды. Если полагать, что граничные условия накладываются лишь на смещения частиц среды, то (26) принимает вид

A2 u = LÍFV) — L^u) + A(LÍF1) (u) — L^ (u)) +

Ajfj (r), r G О;

L1G) (u)

= 0. (36)

Операторы удовлетворяют свойствам (29)-(31), а (г) вычисляются аналогично (26).

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

V(u :О ^ ): u = 0, L^ (u)

(G),

=0

(u, L¡2 (u)) > 0,

V(u, v : О ^ ) : l1G)(u)|g = 0, l.G)(v)|S = 0 ^ (v,l^(u)) = (u,l^(v) Поскольку операторы l(F2 и l1G) являются вещественными, то

(37)

V(u : О ^ CN) :

u| = 1,

l1G)(u)

=0

(u,L$(u)) > 0.

(38)

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

V(u : О ^ CN) :

u| = 1,

l1G)(u)

= 0,

l!2 (u)

> 1

u,lÍF1)(u^| << (u,lÍ3(u)) , (u,Lfl(u)) « a (u,l^(u)} , a > 0.

(39)

Теорема 4. Пусть выполнены условия (22)-(24), (29), (31), (35), (37), (39). Тогда при А ^ го,

Re А > - е, 0 < е ^ 1, характеристический квазимногочлен Р(А) и возмущающие квазимногочлены Qkj (А), к = у, 3 = — аналитические функции параметра А.

Доказательство. Достаточно рассмотреть линейную краевую задачу (36), для решения которой

при А ^ го, Re А > —го из ||u|| < M < го следует из (30), (31), при А ^ го, Re А > —е, 0 < е < 1

V(u : О ^ CN) :

>

^ u — [lUF1) (u) — l^ (u) + A(lV,1 (u) — l-(u))] (u, A2u — [lUF1)(u) — lUF2)(u) + A(lVF) (u) — l£F?(u))]) A2 + A(u,(u)} + (u,lUF2)(u))| ^ 1 |P(A)| > 0, P(A) = A2 + Aa(u, l¡3 (u)) + (u, l^ (u)} .

u| = 1,

(F)

l2 (u)

l1G) (u)

(F)(

^ го,

LF (u)

го. Как следует

=0

(F)

>

1

> -2

2

S

S

S

S

—>

S

поскольку при а > 0 корни полинома Р(Л) второй степени под знаком модуля имеют строго отрицательные вещественные части, т. е. при Л ^ го, Яе Л > —е, 0 < е ^ 1

V(u ^ CN): LP (u)

(G),

= 0

A2u - [L^u) - LU2 (u) + A(Lp (u) - LV- (u))]

(F)

(F)(

(F),

^ 4 |P(A)| ||u|

|P(A)| > 0

S

аналог условия (25) выполнен, и согласно теореме 1 D(A) и (A), k = , j = будут

аналитическими функциями A при |A| ^ 1, Re A > —е, 0 < е ^ 1. □

Замечание 1. Если учесть, что, как правило, при A ^ го ^u, ьЦ^ (u)^ ^ го, то оба корня полинома P(A) будут вещественные строго отрицательные, причем ближайший к точке A = 0 корень ^ 1/а. В этом случае при A ^ го, 0 < а < п/2, Re A > — |A| sin a |P (A)| ^ |A| cos2 а, и, следовательно, характеристический квазимногочлен D(A) и возмущающие квазимногочлены (A), k = 1, , j = 1, , будут аналитическими функциями A при |A| » 1, 0 < a < п/2, Re A > — |A| sin a.

5. ПРИМЕРЫ ПРИМЕНЕНИЯ

В качестве примера применения теоремы 3 можно привести нелинейную комбинированную динамическую модель цилиндрического гидродинамического подвеса

— У = — Y(g — а) + N, п^2 Jw = — ^G, g = (0, —1)T, 1 ^

t) = 1 — y ■ er — ^в(У ■ e^)2, p = p(0, p, t) + в J (vj +

n d Гп d

vr = -(1 - eC) d£, — v^dC = [(1 + eh)(y ■ er - y ■ e„)],

Jo dp dp Jo dp

^ + [1 + (1 - + vr^ + ^(2 + vV) = (40)

=-(i - «) g+1 +^+e2

v^(0, p, «) = -w, v^(h, p, «) = в(y ■ er - y ■ e^),

2n 2n

N = / P'V(».P.«) _ M^M) e^dp, G = 2пв. + / d^V

J dC dp у J dC

oo er = (cos p, sin p)T, e^ = (-sin p, cos p)T,

отличающуюся от [4] лишь малым слагаемым в2d2v^,/dp2 в укороченном уравнении Навье - Стокса. Здесь y е r2 — координаты центра масс внутреннего тела, r = (C, p)T — безразмерные радиальная координата и полярный угол (независимые пространственные координаты), vr, v^, p — безразмерные радиальная, тангенциальная компоненты скорости и давление в поддерживающем слое соответственно. Выбор безразмерных переменных и параметров обоснован в [4]. Теорема 3 гарантирует для математической модели (40) аналитичность в высокочастотной области характеристического и возмущающих квазимногочленов (вычисляются аналогично [4]). Если учесть, что в соответствии с [4] для линеаризованных уравнений возмущенного движения в изображениях Лапласа в силу периодичности решения по координате p при A ^ го, Re A > -го, в пределах пограничных слоев |dv^,/dC| » |dv^,/dp|, то становится обоснованным применение теоремы 3 к математической модели [4]. Детальное исследование устойчивости цилиндрического гидродинамического подвеса на основе критерия устойчивости (14) ранее было выполнено в [4]. Равновесное состояние моделировалось на основе проекционного метода Галеркина в форме (15)-(17), в низкочастотной области численное решение вспомогательных линейных краевых задач было реализовано на основе проекционного метода Галеркина (18), (19), а в высокочастотной области применялось асимптотическое интегрирование на основе метода сращиваемых разложений.

В качестве примера применения теоремы 4 можно привести статью [5], где исследована устойчивость и выполнен параметрический синтез системы угловой стабилизации подвижного объекта управления. После приведения к безразмерным переменным и параметрам линеаризованные модельные уравнения движения КДС принимают вид [5]

Jo во = -Р1 во - Р2 во + ОД + $2), miyi = (1 + mi + Ш2)во + Pi - Fe, Jo/3o + Ji/3i = Mi, m2[(1 + a)/3i + yi + /2] = P2 + a*m2 $2,

J2(A + /З2) = M2 - aP2, s(.)= psd(.)/dt + P4 ■ (.)+ P5 / (.)dt,

Jo

u + u'''' + yU'''' + ax[(m2 + (1 - x))u']' = -yi - , (.)' = d(.)/dx,

(41)

u(0, t) = 0, u'(0, t) = 0, u(1,t) = y2 (t), u' (1,t)= e2(t), Mi = u''(0, t) + yU''(0, t), Pi = -u'''(0, t) - yU'''(0, t), M2 = -u''(1, t) - yU''(1, t), P2 = u'''(1, t) + yU'''(1, t), во(0) = ei(0) = & (0) = /Зо (0) = /3i (0) = /З2 (0) = yi(0) = У2 (0) = yi (0) = /2 (0) = 0,

u(x, 0) = U(x, 0) = 0.

Здесь выходная вектор-функция y(t) = (^i(t),^2(t))T характеризует ошибки системы стабилизации, а параметры обратных связей p = (pi,p2,p3,p4,p5)T требуется выбрать так, чтобы наиболее эффективно подавлять ошибку системы стабилизации. Для математической модели (41) аналитичность в высокочастотной области характеристического и возмущающих квазимногочленов (см. [5]) гарантируется теоремой 4. Численное решение вспомогательных краевых задач в низкочастотной области выполнялось на основе проекционного метода Галеркина (18), (19), а в высокочастотной области применялось асимптотическое интегрирование на основе ВКБ-приближения. При этом проверка устойчивости на основе (14) выполнялась настолько быстро, что это не препятствовало распараллеливанию параметрического синтеза [5] на основе классических технологий параллельного программирования OpenMP и MPI.

Аналогичный подход ранее использован в [6], где аналитичность в высокочастотной области характеристического и возмущающих квазимногочленов также гарантируется теоремой 4, а дальнейшее распараллеливание параметрического синтеза семейства линеаризованных КДС в [7] выполнялось на основе стандартных средств технологии параллельного программирования Microsoft Concurrency Runtime.

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

1. Андрейченко Д. К., Андрейченко К. П. К теории комбинированных динамических систем // Изв. РАН. Теория и системы управления. 2000. № 3. С. 54-69.

2. Андрейченко Д. К., Андрейченко К. П. Моделирование, анализ и синтез комбинированных динамических систем : учеб. пособие. Саратов : Райт-Экспо, 2013. 144 с.

3. Люстерник Л. А., Соболев В. И. Краткий курс функционального анализа. М. : Высш. шк., 1982. 271 с.

4. Андрейченко Д. К., Андрейченко К. П. К теории устойчивости цилиндрического гидродинамического подвеса // Изв. РАН. Механика жидкости и газа. 2009. № 1. С. 13-26.

5. Андрейченко Д. К., Ерофтиев А. А., Мельни-чук Д. В. Распараллеливание параметрического

синтеза по схеме «Портфель задач» на основе технологии MPI // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 2. С. 222-228. DOI: 10.18500/18169791-2015-15-2-222-228.

6. Андрейченко Д. КАндрейченко К. П., Кононов В. В. К теории устойчивости автономной системы угловой стабилизации реактивного снаряда залпового огня // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2. С. 9-14.

7. Андрейченко Д. КАндрейченко К. П., Кононов В. В. Параллельный алгоритм вычисления оптимальных параметров одноканальной системы угловой стабилизации // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 1. С. 109-117.

Analyticity Conditions of Characteristic and Disturbing Quasipolynomials of Hybrid Dynamical Systems

M. S. Portenko1, D. V. Melnichuk2, D. K. Andreichenko3

1 Marina S. Portenko, Saratov State University, 83, Astrakhanskaya st., 410012, Saratov, Russia, [email protected] 2Dmitry V. Melnichuk, Saratov State University, 83, Astrakhanskaya st., 410012, Saratov, Russia, [email protected] 3Dmitry K. Andreichenko, Saratov State University, 83, Astrakhanskaya st., 410012, Saratov, Russia, [email protected]

Hybrid dynamical systems (HDS) are connected by means of the boundary conditions and the constraint's conditions systems of ordinary differential equations and partial differential equations with the corresponding initial conditions. Check the stability of HDS can be performed on the basis of the "fast"algorithm for the application which requires analytic characteristic and disturbing quasipolynomials of HDS in the right half-plane and near the imaginary axis. In this paper we formulate and prove the analyticity conditions of the characteristic and disturbing HDS quasipolynomials. Mathematical models of control objects with distributed parameters in space, matching the thermal conductivity and diffusion processes, the dynamics of support layers of viscous incompressible fluid, as well as the dynamics of the elastically deformable medium taking into account the internal friction.

Key words: hybrid dynamical systems, stability.

References

1. Andreichenko D. K., Andreichenko K. P. On the theory of hybrid dynamical systems. Journal of Computer and Systems Sciences International, 2000, vol. 39, no 3, pp. 383-398.

2. Andreichenko D. K., Andreichenko K. P. Mod-elirovanie, analiz i sintez kombinirovannykh di-namicheskikh sistem. Uchebnoe posobie [Modeling, analysis and synthesis of combined dynamical systems. Tutorial]. Saratov, Rait-Ekspo, 2013, 144 p. (in Russian).

3. Liusternik L. A., Sobolev V. I. Kratkii kurs funk-tsional'nogo analiza [A short course of functional analysis]. Moscow, Vysshaia shkola, 1982, 271 p. (in Russian).

4. Andreichenko D. K., Andreichenko K. P. On the theory of stability of a cylindrical hydrodynamic suspension. Fluid Dynamics, 2009, vol. 44, no 1, pp. 10-21.

5. Andreichenko D. K., Eroftiev A. A., Melni-

chuk D. V. Parallelization of parametric synthesis by "problems portfolio"scheme based on MPI technology. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2015, vol. 15, no. 2, pp. 222-228 (in Russian). DOI: 10.18500/1816-9791-2015-15-2222-228.

6. Andreichenko D. K., Andreichenko K. P., Kono-nov V. V. On stability theory of autonomous angular stabilization system for combined dynamical systems. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2013, vol. 13, iss. 2, pt. 2, pp. 9-14 (in Russian).

7. Andreichenko D. K., Andreichenko K. P., Kono-nov V. V. Parallel algorithm of optimal parameters calculation for the single channel angular stabilization system. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2013, vol. 13, iss. 4, pt. 1, pp. 109117 (in Russian).

УДК 519.72

О ПРИМЕНЕНИИ ВЕЙВЛЕТОВ К ЦИФРОВОЙ ОБРАБОТКЕ СИГНАЛОВ

Е. А. Родионов

Родионов Евгений Анатольевич, аспирант кафедры математики, Российский государственный геологоразведочный университет им. Серго Орджоникидзе, Москва, [email protected]

Дискретное вейвлет-преобразование, ассоциированное с функциями Уолша, определено Лэнгом (W. C. Lang) в 1998 г. В статье излагаются применения преобразования Лэнга и некоторых его модификаций для анализа финансовых временных рядов и для сжатия фрактальных данных. Показано, что для обработки некоторых сигналов изучаемые дискретные вейвлет-преобразования имеют преимущества по сравнению с дискретными преобразованиями Хаара, Добеши и методом зонного кодирования.

Ключевые слова: цифровая обработка сигналов, вейвлеты, функции Уолша, финансовые временные ряды. DOI: 10.18500/1816-9791 -2016-16-2-217-225