О стабилизации по части переменных с оценкой качества управления

УДК 531.36+62-50

О СТАБИЛИЗАЦИИ ПО ЧАСТИ ПЕРЕМЕННЫХ С ОЦЕНКОЙ КАЧЕСТВА УПРАВЛЕНИЯ1

© 2008 С.П. Безгласный2

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

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

Введение

Почти одновременно с интенсивным развитием задачи об устойчивости движения по отношению к части переменных внимание ученых привлекла задача об оптимальной стабилизации управляемыми системами по контролируемым (части) координат. Необходимость и важность решения различных прикладных проблем стимулировали появление большого количества работ. В.В.Румянцевым [1,2] была сформулирована постановка задачи об оптимальной стабилизации по части переменных, получены теоремы, дающие достаточные условия для решения поставленной задачи. Эти результаты развил и обобщил на случай двух функций Ляпунова и для функций Ляпунова более общего вида А.С. Озиранер в работах [3,4]. В.И.Воротников [5,6] получил решение поставленной задачи для одного класса нелинейных систем при помощи нелинейных преобразований переменных и теории неявных функций. Задача об оптимальной стабилизации по части переменных исследовалась и другими авторами.

1 Представлена доктором физико-математических наук, профессором Ю.Н. Радаевым.

2Безгласный Сергей Павлович (bezglasnsp@rambler.ru), кафедра теоретической механики Самарского государственного аэрокосмического университета имени академика С.П. Королева, 443086, Россия, г. Самара, Московское шоссе, 34.

При исследовании свойств асимптотической устойчивости по части переменных прямым методом Ляпунова для неавтономных систем [7-10] и решении задач об оптимальной у-стабилизации нелинейных систем [1, 2, 4, 11] существующие теоремы об оптимальной стабилизации по части переменных нестационарных нелинейных систем используют знакоопределен-ную функцию Ляпунова со знакоопределенной производной. Однако существуют задачи, в которых построение таких функций оказывается крайне затруднительным. Но при этом, оказывается, проще решается задача об у-стабилизации с гарантированной оценкой качества переходного процесса.

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

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

1. Постановка задачи

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

X = Х

где х = (у\,...,ут, z\,...,zs) (т > 0, 5 ^ 0, п = т + s) — п-вектор действительного пространства Яп с нормой ||х||, у е Ят, г е К5, ||х||2 = ||у||2 + + ||г||2; и = (ы\,...,ыг) е К — вектор управления. Правая часть уравнений

(1.1) X(t, x, u) (X(t, 0,0) = 0) определена для некоторого класса U = {u(t, x) : u(t, 0) = 0} управляющих воздействий u(t, x) е C(G), G = R+ X Г (R+ = [0, + Г = {||y|| < H, H = const > 0, ||z|| < +м}), непрерывна и удовлетворяет в G условиям существования, единственности и z-продолжимости pешений.

Пусть [1] оценкой качества управления этой системы служит значение интеграла

I =

J W

<0

для переходного процесса при управлении и[г] на соответствующей траектории х[г] системы (1.1). Подынтегральная функция W(г,х,и) в (1.2) представляет собой в общем случае некоторую непрерывную неотрицательную функцию, определенную в области G пpи и е и.

Приведем постановки задач о стабилизации и оптимальной стабилизации по отношению к части переменных (хх,...,хт) = (у1,...,ут) (т < п) (у-ста-билизации), данные и исследованные в работах [1,2,4,14].

Задача об у-стабилизации. Требуется найти такое управляющее воздействие и = и(г, х) среди всех и(г, х) е и, которое обеспечивает асимптотическую у-устойчивость невозмущенного движения х = 0 в силу системы (1.1).

Задачу об у-стабилизации системы (1.1) при условии минимума критерия качества (1.2) принято называть задачей об оптимальной у-стабилиза-ции. Эта проблема формулируется так.

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

сю сю

I0 ^ W(t,х0[г], и0[г]) йг ^ W(t,х*[г], и*М) йг = I*

<0 <0

при <0 ^ 0, х%] = х*(<0) = х0, ||х0|| < Н0 < Н.

Задача об оптимальной у-стабилизации, как и задача об оптимальной стабилизации движения по всем переменным [1], представляет собой довольно трудную проблему. Она не решена в общем случае и требует больших усилий при исследовании многих прикладных задач.

В данной работе предлагается путем ослабления требования к ценовому функционалу поставить задачу о стабилизации системы (1.1) относительно части переменных с гарантированной оценкой качества управления. Она естественно следует из задачи о стабилизации с гарантированной оценкой качества управления [15] согласно следующему определению.

Определение 1: Управляющее воздействие и = и0(г, х) называется

у-стабилизирующим с гарантированной оценкой качества управления Р(г, х), если оно обеспечивает асимптотическую у-устойчивость невозмущенного движения х = 0 системы (1.1), при этом на каждом управляемом движении х°(0, х°(^о) = хо справедливо неравенство:

сю

I ^ W

<0

Задача об у-стабилизации с гарантированной оценкой качества управления. Требуется найти управляющее воздействие и = и°(г, х) среди всех и(г, х) е и, которое обеспечивает асимптотическую у-устойчивость невозмущенного движения х = 0 в силу системы (1.1), при котором на каждом управляемом движении х°(г), х0(^) = х0 справедливо неравенство (1.3).

Такая постановка задачи за счет ослабления требования минимизации функционала (1.2) позволяет расширить класс прикладных решаемых задач об у-стабилизации с указанием оценки качества переходного процесса.

2. Дополнительные предложения и построения

Пусть правая часть системы (1.1) X0(t, x) = X(t, x, u0(t, x)) для некоторого u0(t, x) e U ограничена на каждом компакте и удовлетворяет условию Липшица равномерно по x относительно t, то есть для любого компакта К с Г существуют две константы \к = МК и Vk = v(K), такие, что справедливы неравенства:

Тогда функция X0(t, x) удовлетворяет в области G условиям предкомпакт-ности в некотором функциональном пространстве Fф [16]; и системе уравнений (1.1) x = X0(t, x) сопоставляется [16] семейство предельных систем x = Ф(^ x), для которых функции Ф(^ x) вычисляются по формуле:

t

Ф(г, х) = —( lim I X°(tn + х, х) dx ).

dt\tn ^^ J !

0

Пусть подынтегральная функция в (1.2) W0(t, x) = W(t, x, u0(t, x)) для управления u0(t, x) e U удовлетворяет аналогичным условиям:

где Пк = П(К), Ик = И(К) — константы, существующие для любого компакта K с Г, при которых выполняются неравенства (2.2). Тогда функция W0(t,x) аналогичным образом удовлетворяет в области G условиям предкомпакт-ности в некотором функциональном пространстве F&, и ей сопоставляется семейство предельных функций H(t, x) по формуле:

t

Q.(t, х) = — ( lim Г W°(tn + х, х) dx ).

dt\tn ^^ J !

0

Следуя [17], введем

dV / dV\T B[V, t, x, u] = — + — X(t, x, u) + W(t, x, u).

dt \oxj

Через a(||x||) будем обозначать непрерывные строго возрастающие на отрезке [0,H] функции, а(0) = 0, то есть функции типа Хана [18].

Приведем необходимые определения из [19].

Определение 1.2: Пусть tk ^ есть некоторая последовательность, t е R и c е R — некоторые заданные значения. Множество V—11(t, c) есть множество точек х е Г, для каждой из которых существует последовательность Xk ^ х, такая что

lim V(tk + t, Xk) = c

k^m

Определение 1.3: Значения функции x = ф^) :]a, Г содержатся в множестве (H(t,x) = 0}, определяемом функцией П е Fn, П : G ^ R, если для любого отрезка [a, b] c]a, ß[

о f

П(т, ф(т)) dT = 0.

Определение 1.4: Множество У-Чг, с) называется соответствующим к предельной паре (Ф0, П0), если это множество и предельные к X0, W0 функции соответственно Ф0, П0 определены при помощи одной и той же последовательности г^ ^ +ю.

з. Основные результаты

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

Теорема 1: Пусть для системы (1.1) с оценкой качества управления (1.2) существуют функция Ляпунова У(г, х) е С1^) и управление и = и0(г, х) е

и, такие, что выполняются условия:

1) функция У (г, х) — определенно-положительная по у, допускает бесконечно малый высший предел по у,

2) функция W(г, х, и0(г, х)) — определенно-положительная по у,

W(г, х, и0(г, х)) ^ аз(|у|);

3) функция Б[У, г, х, и0(г, х)] ^ 0.

Тогда и°(г, х) — у-стабилизирующее управление для системы (1.1) с гарантированной оценкой качества управления P(tо, х0) = V(tо, х0). При этом движение х = 0 системы (1.1) равномерно асимптотически у-устойчиво.

Доказательство: Для производной функции V(t, х) в силу системы (1.1) из условия 3 имеем:

— < -Щг,х,и°(г,х)) < 0.

с

Учитывая условия 1 и 2 теоремы, имеем [1] асимптотическую у-устойчи-вость решения х = 0 системы (1.1), и

Нш V(t, х) = 0.

Проинтегрировав неравенство dV|dt ^ — W от <о до Т, получим: Т

^ W(t, х(<), и0(ф < V(<о, х(<о)) — V(T, х(Т)),

<0

а при Т

сю

^ W

<0

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

Эта теорема развивает результат из [1].

Теорема 2: Пусть для системы (1.1) с оценкой качества управления (1.2) существуют функция Ляпунова V(t, х) е С1(0), V(t, 0) = 0, и управление и = и0(^ х) е и, такие, что выполняются условия:

1) при и = и0(^ х) движение х = 0 асимптотически у-устойчиво.

2) функция Б[^ t, х, и0^, х)] ^ 0.

Тогда и0(^ х) — у-стабилизирующее управление для системы (1.1) с гарантированной оценкой качества управления Р(<о, хо) = V(tо, хо) — со в предположении, что существует Пш V = со при t ^ю.

Доказательство: Для производной функции V(t, х) в силу системы (1.1) из условия 2 теоремы имеем:

dV 0

— < -Щг,х,и°(г,х)) < 0.

Проинтегрировав это неравенство от <о до Т, получим: Т

^ W(t, х(<), u0(t)) < V(<о, х(<о)) — V(T, х(Т)),

<0

а при Т

сю

^ W(t, х(<), u0(t)) < V(tо, х(<о)) — со.

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

Эта теорема развивает результат из [4] и является более общей по сравнению с теоремой 1 в том смысле, что установка факта у-устойчивости и оценка качества движения может производиться с использованием двух, вообще говоря, разных функций Ляпунова.

Условия 1 и 2 теоремы 1 являются довольно жесткими и в прикладных задачах часто не выполняются. Поэтому могут оказаться полезными различные модификации этой теоремы с более слабыми условиями.

С помощью метода предельных функций и уравнений [20] можно ослабить требования к функциям V(t, x) и W(t, x, u(t, x)). А именно, подынтегральная функция W(t, x, u(t, x)) может быть знакопостоянной (т.е. удовлетворяющей неравенству), W(t,x,u(t,x)) ^ 0, а для функции V(t,x) можно отказаться от условия, что эта функция допускает бесконечно-малый высший предел.

Теорема 3: Пусть для системы (1.1) с оценкой качества управления (1.2) существуют функция Ляпунова V(t, x) е C1(G), V(t, 0) = 0 и управление u = u0(t, x) е U, такие, что выполняются условия:

1) решения системы (1.1) при u = u0(t,x) из области Г0 = {||x|| ^ H0 < H} ограничены по z;

2) функция V(t, x) — определенно-положительная по у,

3) существует число Hi (H0 < Hi < ^,такое, что sup(V(t, x) при t ^ 0, ||x|| < H0) < ai(Hi);

4) функция B[V, t, x, u0(t, x)] ^ 0;

5) правая часть системы (1.1) X0(t, x) = X(t, x, u0(t, x)) и функция W0(t, x) = = W(t,x,u0(t,x)) удовлетворяют условиям (2.1) и (2.2);

6) каждая предельная к (X0, W0) пара (Ф0, По) и соответствующее множество V-4t, c) будут таковы, что для любого c = c0 = const ^ 0 множество {V"i(t, c) : c = c0} n{H0(t, x) = 0} не содержит решений предельной системы x = Фо(^x), кроме решений x = x(t) = (y(t), z(t)) таких, что y(t) = 0.

Тогда u0(t, x) — у-стабилизирующее управление для системы (1.1) с гарантированной оценкой качества управления P(t0, x0) = V(t0, xo) - c0.

Доказательство: Для производной функции V(t, x) в силу системы (1.1) из условия 4 теоремы имеем:

^ < -W

Из этого и условий 2, 3 теоремы следует у-устойчивость решения x = 0 системы (1.1).

Пусть x = x(t, to, xo) — решение системы (1.1) из области Го. Согласно условию 2 теоремы и неравенству (3.1) функция V(t, x) = V(t, x(t, to, xo)) — co при t — Пусть tn — есть последовательность, определяющая

пару (Фо, По) и множество V"i(t, c), и для которой x(tn) — x* при tn — то. Составим последовательность функций xn = x(tn + t, to, xo). Согласно [16], учитывая условие 1 теоремы, существует подпоследовательность функций

{xnk = x(tnk + t, to, xo)}, определяемая для значений tnk ^ 0, которая будет сходиться к некоторому решению x = ф(/) : ] -то, +то [" Г системы X = = Фo(t, x) равномерно на каждом отрезке [-T, T]. Переходя к пределу при tnk " как и в [20], получаем, что

ф(0 е {Oo(t, х) = 0} P{-C(t, с) : с = со}.

Но по условию 6 теоремы это возможно, если только

ф(0 = (0,..., 0, фт+1(0,..., <fn(t)),

т.е. для каждого решения системы (1.1) x(t, t0, X0) : X0 е Г0, имеем

lim y(t, t0, x0) = 0.

Тем самым имеем для системы (1.1) асимптотическую у-устойчивость решения x = 0. Проинтегрировав неравенство (3.1) от t0 до T и перейдя к пределу при T " +то, получим:

ста /

W(t, x(t), u0(t)) dt < V(t0, x(t0)) - C0.

<0

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

Теорема 4: Пусть для системы (1.1) с оценкой качества управления (1.2) существуют функция Ляпунова У(<, х) е С1(С), У(<, 0) = 0 и управление и = и0(г, х) е и, такие, что выполняются условия:

1) решения системы (1.1) при и = и0(г,х) из области Г0 = {||х|| ^ Н0 < Н} ограничены по

2) функция V(г, х) — определенно-положительная по у,

V(г,х) ^ «1(ПуП);

3) существует число Н1 (Н0 < Н1 < Н),такое, что 8ир^(г, х) при г ^ 0, ||х|| < Н0) < а1(Н1);

4) функция В[У г, х, и0(г, х)] ^ 0;

5) правая часть системы (1.1) Х0(г, х) = Х(г, х, и0(г, х)) и функция "0(г, х) = = W(г,х,и0(г,х)) удовлетворяют условиям (2.1) и (2.2);

6) существует хотя бы одна последовательность, для которой каждая предельная к (X0, W0) пара (Ф0, П0) и соответствующее множество V—1(г, с) будут таковы, что для любого с = С0 = сош! > 0 множество {У—1^, с) : с = = С0} ПШг, х) = 0} не содержит решений предельной системы х = Ф0(г, х).

Тогда и0(г, х) — у-стабилизирующее управление для системы (1.1) с гарантированной оценкой качества управления Р(г0, х0) = V(гo, х0). При этом движение х = 0 системы (1.1) асимптотически у-устойчиво равномерно по х0.

Доказательство: Для производной функции V(г, х) в силу системы (1.1) из условия 4 теоремы имеем:

^ < -Щг, х, и°

Из этого и условий 2, 3 теоремы следует у-устойчивость решения x = 0 системы (1.1).

Пусть x = x(t, t0, Х0) — решение системы (1.1) из области Г0. Согласно условию 2 теоремы и неравенству (3.2) функция V(t, x) = V(t, x(t, t0, Х0)) — С0 при t — +то. Пусть tn — +то есть последовательность, определяющая пару (Ф0, П0) и множество V—1(t, с), и для которой x(tn) — x* при tn — то. Составим последовательность функций xn = x(tn + t, t0, x0). Согласно [16], учитывая условие 1 теоремы, существует подпоследовательность функций [xnk = x(tnk + t, t0, x0)}, определяемая для значений tnk ^ 0, которая будет сходиться к некоторому решению x = ф^) : ] - то, +то [— Г системы x = = Фo(t, x) равномерно на каждом отрезке [-T, T]. Переходя к пределу при tnk — +то, как и в [20], получаем, что

ф(0 е {00(t, x) = 0^{VTO1(t, с) : с = о}.

Но по условию 6 теоремы это возможно, если только С0 = 0. Итак, вдоль каждого решения системы (1.1) x(t, t0, x0) : x0 е Г0, функция

V

Тем самым имеем для системы (1.1) асимптотическую у-устойчивость решения x = 0, равномерную по x0 [9]. Проинтегрировав неравенство (3.2) от t0 до T и учитывая (3.3), получим:

то

J W(t, x(t), u0(t)) dt < V(t0, x(t0)).

t0

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

Эти две теоремы имеют общее условие 1 об ограниченности движений по неконтролируемой z-составляющей вектора координат. Данное условие часто выполняется в прикладных задачах в силу каких-либо механических соображений, если, например, эти координаты—угловые (mod 2П).

Теперь приведем формулировки еще двух теорем, решающих задачу об оптимальной у-стабилизации на основе прямого метода Ляпунова. Эти теоремы являются следствиями теорем 3 и 4. Они получены при усилении условий на ценовой функционал (условие 4 в теоремах 3 и 4). Имеют место следующие утверждения.

Теорема 5: Пусть для системы (1.1) с оценкой качества управления (1.2), minI по u е U, существуют функция Ляпунова

V(t, x) е C1(G), V(t, 0) = 0,

и управление u = u0(t,x) е U, такие, что выполняются условия 1, 2, 3, 5, 6 теоремы 3 и условия:

4.1) функция B[V, t, x, u0(t, x)] = 0;

4.2) B[V, t, x, u0(t, x)] ^ B[V, t, x, u*(t, x)] для любого другого управления u*(t, x) е U, решающего задачу об у-стабилизации для системы (1.1);

4.3) V0 = lim V(t, x0(t, t0, x0)) ^ V* = lim V(t, x*(t, t0, x0)) при t — +то.

Тогда и0(г, х) — стабилизирующее управление, решающее задачу об оптимальной у-стабилизации для системы (1.1). При этом выполняется соотношение

I0 = W(t, x, uQ(t, x)) dt = min W(t, x, u*(t, x)) dt = V(tQ, xq) - VQ,

J W(t, x, u0(t, x)) dt = min J1

to to

для любого u*(t, x) e U, решающего задачу об y-стабилизации невозмущенного движения x = 0 системы (1.1).

Доказательство этой теоремы аналогично доказательству теоремы 3. Фигурирующие в условии 4.3 пределы существуют в силу условий 1 и 2 теоремы. Утверждение достижения минимума ценового функционала при управлении u0(t, x) доказывается предельным переходом при t ^ю в выражении, полученном интегрированием неравенства из условия 4.2, при использовании условия 4.3.

Теорема 6: Пусть для системы (1.1) с оценкой качества управления (1.2), minI по u e U, существуют функция Ляпунова

V(t, x) e C1(G), V(t, 0) = 0,

и управление u = u0(t,x) e U, такие, что выполняются условия 1, 2, 3, 5, 6 теоремы 4 и условия:

4.1) функция B[V, t, x, u0(t, x)] = 0;

4.2) B[V, t, x, u0(t, x)] ^ B[V, t, x, u*(t, x)] для любого другого управления u*(t,x) e U, решающего задачу об y-стабилизации для системы (1.1).

Тогда u0(t, x) — стабилизирующее управление, решающее задачу об оптимальной y-стабилизации для системы (1.1). При этом движение x = 0 системы (1.1) асимптотически у-устойчиво равномерно по xq, и выполняется соотношение

то то

I0 = J W

tQ to

для любого u*(t, x) e U, решающего задачу об y-стабилизации невозмущенного движения x = 0 системы (1.1).

4. Примеры

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

Стабилизация по части переменных голономной лагранжевой системы. Задача об оптимальной у-стабилизации стационарной лагранжевой системы исследовалась в работах [1,4]. Полученные в данной работе теоремы позволяют решить задачу об у-стабилизации с гарантированной оценкой качества для нестационарной Лагранжевой системы специального вида.

Рассмотрим голономную механическую систему, описываемую уравнениями Лагранжа второго рода:

dt \dq) \dq)

где q е Rn, q = (qi, q2), qi е Rm, q2 е Rs, m + s = n, для которой функция

1 т

Лагранжа имеет структуру lit, q, q) = ¿2 + L\ + Lq , где ¿2 = — q A(q)q —

квадратичная форма скоростей q; Li = BT(q)q — линейная форма скоростей q; а Lq = Lo(t, q) (Lo(t, 0) = 0) удовлетворяет следующим условиям:

^=0приЧ = 0, -L0

dq dt

Такая система имеет положение равновесия q = q = 0, которое в силу (L2 - Lo)' = -dLo/dt ^ 0 будет устойчивым по qi, q.

Поставим задачу определения сил вида Q = M(t, q, q)u (M(t, q, q) — ограниченная матрица размерности n X г), при которых для управляемой системы

d (dL\ (dL\ , ,

1) положение равновесия q = q = 0 будет асимптотически у-устойчиво;

2) имеется гарантированная оценка качества управления интеграла (1.2) для системы (4.2) с подынтегральной функцией

W

где R(t, q, q) — симметричная ограниченная положительно-определенная матрица размерности г Хг. Используя в качестве функции Ляпунова V = L2 - Lo, выберем управление в виде

u0

где S(t, q, q) — ограниченная матрица размерности гXn, выбирается согласно условию

M

^отрицательная функция F(t, q, q) определяется условием

0 < F

Для производной по времени в силу системы (4.2) от функции V с учетом (4.4) и (4.5) имеем оценку:

dV i t

— < q, q)S(i, q, q)q < 0.

dt 2

Предположим также, что величины Л^), дA/дq, дB/дq, дLo/дq ограничены и удовлетворяют условиям Липшица по всем своим переменным. Тогда предельная к (4.2) система существует и при и = и0(г, q, имеет вид:

, I д. i , Л , = N4

dt\ dq / \ dq 1

где Ь* = ¿2 - ¿0' ¿0 и N —функция и матрица, предельные соответственно к ¿0 и N вычисляются по формулам:

Lo(.q)=-

t d

lim /.of/,, + т, q) dx

n ^^J 0

t

1 d Г

lim N(tn + x, q, q) dx

tn J

0

Предположим, что решения системы (4.2) ограничены по q2 и пусть множество (qTN*(t, q, q)q = 0} не содержит решений системы (4.7), кроме таких, что qi = q = 0. Тогда согласно теореме 3 управляющее воздействие (4.4) решает задачу (qi, ^)-стабилизации для системы (4.2) с Лагранжианом (4.1) с гарантированной оценкой качества управления

P

по функционалу (1.2) с подинтегральной функцией(4.3), удовлетворяющей условиям (4.6).

Условия y-стабилизации такой системы диссипативными силами были получены в работе [12]. Данный результат развивает результаты из публикаций [1, 2, 4, 12].

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

Пусть точка с платформой совершает вертикальное движение по закону Z = Z(t). На тело, угловая скорость собственного вращения которого равна ф, действуют две внешние силы (силами сопротивления принебрегаем): сила тяжести P, приложенная к центру масс C тела, и реакция Ro опоры O. Положение оси z симметрии тела относительно неподвижных осей ^nZ (ось Z вертикальна) будет определяться углами а и в [21]. Кинетическая энергия тела имеет вид T = T2 + Ti + To, где

Т2 = + |32 cos2 a) + ^С(ф - |3 sin a)2,

T1 = -MZZ(á sin а cos в + |3 cos а sin в),

1 12

То =

а потенциальная энергия — вид

V = MgZ + Mgl cos a cos в,

где M — масса тела, l — расстояние от центра масс до точки опоры O. Тогда движение тела можно описать уравнениями Лагранжа

d /дТ\ дТ dt\dd) да d

Ш da

+ Ua

£[дТ\ дТ_ _ Ш

dt\ dp/ dp dp

+

up,

d IdT

= иф.

dt Удсф;

Учитывая структуру кинетической энергии и явные выражения для Т\, То и П, уравнения (4.8) можно представить в виде:

d /дТ2\ дТ2 dt\ да / да

5ГГ da

+ Ua

dt \ д p / д p

dp

d tdT

dt \дф

= иф,

где

П* = (Mgl + MZ(t)) cos a cos p.

Определим стабилизирующие управления ua, иp, иф таким образом, чтобы обеспечить стабилизацию вертикальных вращений твердого тела. Управ-

ления возьмем в виде:

ua = -ki a, иp = -&2|, иф = 0,

ki = const > 0, k2 = const > 0.

Определим оценку качества управления для переходного процесса величиной интеграла

(

I = I (ci a2 + c2p2 + итРи) dt,

где Ci ^ 0 — const, матрица P — диагональная с элементами pi > 0 — const, и пусть справедливы соотношения

22 piki + Ci ^ ki, P2k2 + C2 ^ k2.

Пусть движения тела и платформы таковы, что в любой момент выполняется условие

d31

——(f) cos a cos р ^ 0 dt3

и условие

-Mgl - MZ

при котором выражение

П* - ПО =

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

V = T2 + П* - по.

Умножив почленно каждое из уравнений (4.9) соответственно на а, |3, ф и затем сложив их вместе, после преобразований получим оценку для производной от функции Ляпунова

d „ „ d „ -(Г2 + П-П0) = -(Г2 + П) = dt dt

d3 z

= -kxá2 -k2132 + ^(0 cos a cos |3 ^ -k(á2 + |32) ^ 0,

где к = min(ki, £2).

Из структуры уравнений нетрудно видеть, что множество (П = 0} = {а = = |3 = 0} не содержит решений предельной к (4.9) системы, имеющей вид

— (Аа) + АВ2 cos a sin а + СфВ cos а - СВ2 cos a sin а = dt

= (Mgl + M£*(t)) sin a cos в - к1<х, — (а|3 cos2 а - Сф sin а + С|3 sin2 а) = (Mgl + Mt,*(t)) cos a sin р - &2р,

— (Сф - CP sin а) = 0,

dt

d dt

кроме решений

а = | = 0, а = в = 0, ф = ф0 = const.

(Здесь Z*(t) является предельной функцией к функции £,(0).

Тогда согласно теореме 3 управляющее воздействие (4.10) решает задачу о стабилизации вертикальных вращений (4.15) симметричного твердого тела, закрепленного в одной точке на платформе, совершающей вертикальные движения согласно условиям (4.12), (4.13), (4.14), с гарантированной оценкой качества управления

1 1 . 1 ,2

P(t0, a0, á0, ро, Ро, Фо, Фо) = У {to, a0, á0, Ро, Ро, Фо, Фо) -

по функционалу (4.11).

Литература

[1] Румянцев, В.В. Об оптимальной стабилизации управляемых систем /

B.В.Румянцев // ПММ. - 1970. - Т. 34. - Вып.3. - С. 440-456.

[2] Румянцев, В.В. Устойчивость и стабилизация движения по отношению к части переменных / В.В.Румянцев, А.С. Озиранер - М.: Наука, 1987. - 235 с.

[3] Озиранер, А.С. Об одноосной стабилизации динамически симметричного спутника на круговой орбите / А.С. Озиранер // Изв. АН СССР. Механ. тв. тела. - 1974. - №3. - С. 11-18.

[4] Озиранер, А.С. Об оптимальной стабилизации движения относительно части переменных / А.С. Озиранер // ПММ. - 1978. - Т. 42. вып. 2. -

C. 272-276.

[5] Воротников, В.И. Об устойчивости и стабилизации движения относительно части переменных / В.И.Воротников // ПММ. - 1982. - Т. 46. -Вып. 6. - С. 914-923.

[6] Воротников, В.И. О полной управляемости и стабилизации движения относительно части переменных / В.И. Воротников // АиТ. - 1982. -№3. - С. 15-21.

[7] Румянцев, В.В. Об устойчивости движения по отношению к части переменных / В.В.Румянцев // Вестник МГУ. Сер. мат., механ. - 1957. -№4. - С. 9-16.

[8] Румянцев, В.В. Метод функций Ляпунова в задаче об устойчивости движения относительно части переменных / В.В. Румянцев, А.С. Озиранер // ПММ. - 1972. - Т. 36. - Вып. 2. - С. 364-384.

[9] Озиранер, А.С. Об асимптотической устойчивости и неустойчивости относительно части переменных / А.С. Озиранер // ПММ. - 1973. -Т. 37. - Вып.4. - С. 659-665.

[10] Румянцев, В.В. Об устойчивости установившихся движений систем с квазициклическими координатами / В.В. Румянцев // ПММ. - 1986. -Т. 50. - Вып. 6. - С. 918-927.

[11] Oziraner, A.S. Some theorems on the partial stability and stabilization / A.S. Oziraner // Coll. Math. Soc. Janos Bolyai, Qualitative Theory of Differential Equations, Szeged (Hungary). 1979. - P. 811-825.

[12] Андреев, А.С. Об исследовании частичной асимптотической устойчивости и неустойчивости на основе предельных уравнений / А.С.Андреев // ПММ. - 1987. - Т. 51. - Вып. 2. - С. 253-260.

[13] Андреев, А.С. Об исследовании частичной асимптотической устойчивости / А.С.Андреев // ПММ. - 1991. - Т. 55. - Вып. 4. - C. 539-547.

[14] Rumyantsev, V.V. On the stability with respect to a part of the variables / V.V. Rumyantsev // Symp.math. V.6, Meccanica non-linear e stabilita. 23-26 febrario, 1970. - L.; N.Y.: Acad. Press, 1971. - P. 243-265.

[15] Андреев, А.С. О стабилизации управляемых систем с гарантированной оценкой качества управления / А.С.Андреев, С.П. Безгласный // ПММ. - 1997. - Т. 61. - Вып. 1. - С. 44-51.

[16] Artstein, Z. Topological dynamics of an ordinary equations / Z.Artstein // J. Differ. Equat. 1977. - V.23. - №2. - P. 216-223.

[17] Красовский, Н.Н. Проблемы стабилизации управляемых движений / Н.Н. Красовский // И.Г. Малкин Теория устойчивости движения, 4-е изд., доп. - М.: Наука, 1966. - С. 475-514.

[18] Руш, Н. Прямой метод Ляпунова в теории устойчивости / Н. Руш, Р.Абетс, М.Лалуа. - М.: Мир, 1980. - 300 с.

[19] Андреев, А.С. Об асимптотической устойчивости и неустойчивости неавтономных систем / А.С.Андреев // ПММ. - 1979. - Т. 43. Вып. 5. - С. 796-805.

[20] Андреев, А.С. Об асимптотической устойчивости и неустойчивости нулевого решения неавтономной системы / А.С. Андреев // ПММ. 1984. -Т. 48. - Вып. 2. - С. 225-232.

[21] Меркин,Д.Р. Введение в теорию устойчивости движения / Д.Р. Мер-кин. - М.: Наука, 1987. - 304 с.

Поступила в редакцию 18/ VIII/2008;

в окончательном варианте — 18/VIII/2008.

ON THE STABILIZATION ON THE PART VARIABLES WITH AN ESTIMATION OF THE CONTROL QUALITY3

© 2008 S.P. Bezglasnyi4

A controlled nonlinear mechanical system described by the system of differential equations is considered. We state the problem on stabilization to part of the variables with a guaranteed estimation of the control quality is formulated. The solution of the problem is based on Lyapunov's direct method using Lyapunov functions with derivatives of constant sign. Some of the results are new even in the case of the optimal stabilization to part of the variables problem. Several examples are given.

Keywords and phrases: controlled mechanical system, stabilization of part

variables, Lyapunov's function, limiting functions, solid.

Paper received 18/VIII/2008.

Paper accepted 18/VIII/2008.

3Communicated by Dr. Sci. (Phys. & Math.) Prof. Yu.N. Radayev.

4Bezglasnyi Sergey Pavlovich (bezglasnsp@rambler.ru), Dept. of Theoretical Mechanic,

Samara State Aerospase University, Samara, 443086, Russia.