close

Вход

Забыли?

вход по аккаунту

?

Структурная устойчивость инвариантных множеств виброударных систем.

код для вставкиСкачать
УДК 517.938.5
Вестник СПбГУ. Сер. 1, 2007, вып. 1
С. Г. Крыжевич
СТРУКТУРНАЯ УСТОЙЧИВОСТЬ ИНВАРИАНТНЫХ
МНОЖЕСТВ ВИБРОУДАРНЫХ СИСТЕМ
Введение. Виброударные системы являются одним из наиболее широко встречающихся на практике классов механических задач. К устройствам, движение которых
сопровождается ударами, можно отнести часовые механизмы, демпферы ударного действия, машины для погружения и выдергивания строительных конструкций и т. п. Различные аспекты динамики систем с ударами исследовались в работах [2–5, 8–20]. В
частности, изучалась структура инвариантных множеств систем с ударами. В работах
[2, 3, 8–15, 17–20] на различные виброударные системы приводился ряд условий, достаточных для хаотического поведения решений. Имеются также результаты о наличии
у виброударной системы единственного периодического решения, устойчивого в целом
[4, 5, 8].
Чаще всего, удар рассматривается как мгновенное изменение вектора скорости. Однако, как отмечено в книге [5], более точным является представление об ударе, как о
кратковременном взаимодействии с ограничителем большой жесткости. В ряде работ
(см. [5, 13, 14, 17]) первая модель рассматривается как предельный случай второй, когда жесткость ограничителя стремится к бесконечности. В настоящей статье изучается
вопрос о корректности такого подхода, а именно вопрос о том, какие инвариантные
множества сохраняются при такого рода предельном переходе. Кроме того, исследуется вопрос о сохранении инвариантных множеств при малых изменениях коэффициента
восстановления.
1. Постановка задачи. Рассматриваются одномерные колебания точечной массы
под действием вынуждающей силы. Предполагается, что рассматриваемая точка имеет
соударения с неподвижным ограничителем. В промежутках между ударами движение
описывается уравнением
ẍ = f (t, x, ẋ).
(1)
Считаем, что f — функция, непрерывная на множестве
[
Λ = {(t, x, y) : t ∈ R, x > 0} {(t, 0, y) : t ∈ R, y > 0},
C 1 — гладкая по x и ẋ, периодичная по t с периодом T > 0, аналитическая по своим
аргументам в окрестности каждой из точек (t, 0, 0), t ∈ R. Обозначим f0 (t) = f (t, 0, 0).
Поскольку функция f0 аналитическая, она либо является тождественным нулем, либо
имеет конечное число корней на периоде [0, T ).
Условие удара выражается следующим образом.
1. Если x(t0 ) = 0, а ẋ(t0 − 0) 6 0, то
ẋ(t0 + 0) = −rẋ(t0 − 0)
(2)
для некоторой постоянной r ∈ (0, 1].
Работа выполнена при частичной финансовой поддержке РФФИ (грант № 05-01-01079), гранта для
молодых кандидатов наук Комитета по науке и высшей школе Администрации г. Санкт-Петербурга
(№ 150/06) и Совета по грантам Президента РФ для государственной поддержки молодых российских
ученых и ведущих научных школ (грант № НШ-4609.2006.1).
c С. Г. Крыжевич, 2007
55
2. Если x(t0 ) = ẋ(t0 − 0) = 0 и при этом f0 (t0 ) 6 0, а I — максимальный промежуток,
содержащий точку t0 , на котором f0 (t) 6 0, то x(t)|I ≡ 0.
Условимся обозначать систему, заданную уравнением (1) и условиями удара (2),
символом (∗r ). Отметим, что любая задача Коши для системы (∗r ) с любыми начальными данными x(t0 ) = x0 , ẋ(t0 ) = y0 , t0 ∈ R, (x0 , y0 ) ∈ Λ имеет решение. Это решение
единственно, если x20 + y02 6= 0, так как найдется такое число ε > 0, что на промежутках (t0 − ε, t0 ) и (t0 , t0 + ε) решение рассматриваемой задачи Коши не имеет ударов и,
следовательно, совпадает с некоторыми решениями уравнения (1).
Введем в рассмотрение функцию
0 если x > 0;
χ− (x) =
1 если x < 0.
Для фиксированного значения r ∈ (0, 1] положим α = − ln r/π. Рассмотрим уравнение
вида
ẍ = f (t, x, ẋ) − 2αµχ− (x)ẋ − µ2 χ− (x)x(1 + α2 ),
(x, ẋ) ∈ R2 .
Функцию f (t, x, y) доопределим на множестве R3 \ Λ так, чтобы полученная функция
оставалась кусочно-гладкой по второму и третьему аргументам. Величина µ > 0 считается большим параметром.
В настоящей работе будут изучены следующие вопросы.
1. При каких условиях инвариантные множества системы (∗r ) сохраняются при малых изменениях коэффициентов уравнения (1) и/или коэффициента восстановления r?
2. Когда инвариантные множества системы (∗r ) сохраняются при малых изменениях
коэффициентов уравнения (1) и замене условий удара на добавление возмущения
−2αµχ− (x)ẋµ2 χ− (x) − x(1 + α2 ), где µ — большой параметр?
2. Основной результат. Рассмотрим отображение g(t, x, y), периодичное с периодом T по первому аргументу, непрерывное и C 1 -гладкое по второму и третьему аргументам и малое по норме в C 0 вместе со своими производными по x и по y. Введем в
рассмотрение уравнения
ẍ = f (t, x, ẋ) + g(t, x, ẋ)
(3)
и
ẍ = f (t, x, ẋ) + g(t, x, ẋ) + −2αµχ− (x)ẋ − µ2 χ− (x)x(1 + α2 ).
(4)
Уравнения (1), (3) и (4) заменой переменной y = ẋ приводятся к виду
ẋ = y,
ẋ = y,
ẋ = y,
ẏ = f (t, x, y);
(5)
ẏ = f (t, x, y) + g(t, x, y);
(6)
2
2
ẏ = f (t, x, y) + g(t, x, y) − 2αµχ− (x)ẋ − µ χ− (x)x(1 + α );
(7)
Условия удара сохранят свой вид с заменой ẋ на y.
Будем обозначать виброударные системы, описываемые системой (5) и указанными
выше условиями удара, тем же символом (∗r ), а системы, заданные соотношениями
(6), символом (∗g,r ). Положим z = (x, y) и рассмотрим zr (t, t0 , z0 ) — решение задачи
Коши для системы (∗r ) с начальными данными z(t0 ) = z0 . Рассмотрим zg,µ,r (t, t0 , z0 ) и
56
zg,r (t, t0 , z0 ) — решения соответствующих задач для систем (7) и (∗g,r ) на тех участках
времени, на которых они определены однозначно. Рассмотрим отображения Пуанкаре
для систем (∗r ), (∗g,r ) и (7), заданные формулами
Gr (z0 ) = z(T, 0, z0),
Gg,r (z0 ) = zg,r (T, 0, z0 ),
Gg,µ,r (z0 ) = zg,µ,r (T, 0, z0 ).
Обозначим символом | · | евклидову норму и соответствующую матричную норму. Основным результатом настоящей работы является следующий.
Теорема. Пусть r0 ∈ (0, 1] и отображение G = Gr0 имеет гиперболическое компактное инвариантное множество K ⊂ (0, +∞) × R такое, что zr0 (t, 0, z0 ) 6= 0 для
любого z0 ∈ K, t ∈ [0, T ]. Пусть U — окрестность множества K, замыкание которой
U и его образ G(U ) не пересекаются с осью Oy. Положим W = {t, z : t ∈ [0, T ], z =
z(t, 0, z0 ), z0 ∈ U }. Справедливы следующие утверждения.
1. Для любого ε > 0 найдется такое δ > 0, что если
T
r ∈ (r0 − δ, r0 + δ) (0,
1],
∂g
max |g(t, z)| < δ,
max (t, z) < δ,
(t,z)∈W
(t,z)∈W ∂z
(8)
то отображение Gg,r определено в некоторой окрестности U0 компакта K в Λ
и найдется такой гомеоморфизм hg,r : K → Kg,r ⊂ U0 , что max |hg,r (x) − x| < ε,
x∈K
а Kg,r является гиперболическим инвариантным множеством гомеоморфизма
Gg,r , причем
hg,r (G(x)) = Gg,r (hg,r (x))
(9)
для любого x ∈ K.
2. Пусть r0 ∈ (0, 1]. Для любого ε > 0 найдутся такие µ0 > 0, δ > 0, что если
µ > µ0 и выполнены условия (8), то найдется такой гомеоморфизм ηg,µ,r0 : K →
Kg,µ,r0 ⊂ R2 , что max |ηg,µ,r0 (x) − x| < ε, а Kg,µ,r0 — гиперболическое инвариантx∈K
ное множество гомеоморфизма Gg,µ,r0 , причем ηg,µ,r0 (G(x)) = Gg,µ,r0 (ηg,µ,r0 (x))
для любого x ∈ K.
Замечание 1. При r0 = 1 утверждение пункта 2 доказываемой теоремы можно
обобщить, взяв в уравнении (4) вместо µ2 χ− (x)x добавку µ2 F (x), где кусочно-гладкая
функция F обладает следующими свойствами.
1. F (x) = 0 для любого x > 0, F (x) < 0 при x < 0.
2. F ′ (x) > 0 при x < 0.
3. Пусть Fe (x) — нечетная функция, совпадающая с F (x) при x < 0. Пусть
x
e(t, x0 , y0 ) — решение уравнения ẍ + Fe (x) = 0 с начальными данными x
e(0) = x0 ,
x(0)
ė
= y0 . Легко видеть, что это решение периодическое. Обозначим его период через T (x0 , y0 ). Предполагаем, что найдутся такие значения T0 , σ > 0, что
T (x0 , y0 ) 6 T0 , если x20 + y02 6 σ 2 .
Замечание 2. Условие того, что zr0 (t, 0, z0 ) 6= 0 для любого z0 ∈ K, t ∈ [0, T ],
существенно. Для виброударных систем могут иметь место так называемые бесконечноударные режимы (chattering), при которых решения, начинающиеся в некоторый момент времени в малой окрестности начала координат, имеют на конечном временном
57
отрезке бесконечное число ударов, после чего обращаются в тождественный ноль. Это
приводит к неединственности решений [2, 11, 20].
Доказательство теоремы. Установим сначала справедливость пункта 1. Окрестность U можно сузить таким образом, что любое решение системы (∗r0 ), начинающееся в момент времени t = 0 в области U , будет иметь на промежутке [0, T ] не более
некоторого фиксированного числа N ударов. Пусть это не так. Тогда найдется последовательность начальных данных zk ∈ U , k ∈ N, которым соответствуют решения,
имеющие не менее k ударов на промежутке [0, T ]. Не умаляя общности, можем считать, что zk → z0 ∈ U . Если такая точка найдется при любом выборе U , то можем
считать, что z0 ∈ K. Решение z(t, 0, z0) имеет бесконечное число ударов на отрезке
[0, T ], следовательно, моменты этих ударов имеют точку сгущения t∗ ∈ [0, T ]. Тогда
z(t∗ , 0, z0 ) = 0, что противоречит предположениям теоремы.
S
S
Множество U можно представить в виде U = Q0 . . . QN , где каждое из Qm —
компактное множество (возможно, пустое) начальных данных, которым соответствуют
решения системы (∗r0 ), имеющие ровно m ударов на промежутке [0, T ], причем значение
ẋ в момент каждого из этих ударов отлично от нуля. Соответствующие моменты удара
гладко зависят от начальных данных решения. На каждом из множеств Qm , кроме Q0 ,
отображение G представим в виде композиции G = J0 ◦ G1 ◦ . . . ◦ Gm−1 ◦ J1 . Здесь J0
представляет собой отображение, ставящее в соответствие точке z0 ∈ Λ момент и скорость первого удара, отображения Gk , k = 1, . . . , m− 1, ставят в соответствие моментам
и скоростям k-го удара соответствующие значения для удара с номером k + 1, отображение J1 моменту и скорости последнего удара ставит в соответствие координаты соответствующего решения в момент времени t = T . Как легко видеть, все отображения
Gk равномерно непрерывны вместе со своими производными. Следовательно, найдется
такое σ > 0, что отображение G равномерно непрерывно вместе с производными на
множестве U × [r0 − σ, r0 + σ].
Лемма 1. Пусть M — конечномерное многообразие, U ⊂ M — открытое множество. Пусть φ : U → M — C 1 — гладкое вложение, имеющее компактное инвариантное множество K ⊂ U , на котором отображение φ гиперболично. Тогда для
любого ε > 0 найдется такое δ > 0, что если отображение ψ : U → M таково, что kψ − φkC 1 (U→M) < δ, то найдется такое вложение h : K → M , что
kh − idkC 0 (K→M) < ε и h(φ(x)) = ψ(h(x)) для любого x ∈ K. В частности, множество K1 = h(K) будет гиперболическим инвариантным для отображения ψ, если
ε достаточно мало. Эта лемма является аналогом теоремы о сохранении гиперболических инвариантных множеств диффеоморфизмов при малых возмущениях (см. [1,
7]). В книге [6] утверждение леммы 1 доказывается для случая, когда отображение φ
может быть продолжено до диффеоморфизма замкнутого многообразия M (теорема
12.8, с. 126). Однако, доказательство этой теоремы дословно подходит и для сформулированного нами случая.
Применяя лемму 1 к отображению Gr0 и его малым возмущениям Gg,r , получаем,
что найдутся T
такое δ > 0 и такая окрестность V ⊂ U множества K, что для любого r ∈
(r0 − δ, r0 + δ) (0, 1] и любого возмущения g, удовлетворяющего условиям (8), найдется
гомеоморфизм hg,r , топологически сопрягающий G и Gg,r в смысле соотношения (9).
При этом hg,r ⇉ id при δ → 0 и r → r0 .
В силу сказанного выше, отображение Gg,r — диффеоморфизм и множество Kg,r =
hg,r (K) является гиперболическим инвариантным, что и доказывает первую часть теоремы. Приступим к доказательству второй части.
Лемма 2. Для любых y0+ > y0− > 0, любого t0 ∈ R и любых функций f и g, удо58
влетворяющих условиям теоремы, существует такое µ1 > 0, что если µ > µ1 , то
решение системы (7) с начальными данными
x(t0 ) = 0,
y(t0 ) = y0 ∈ (−y0+ , −y0− )
(10)
пересекает ось Ox в некоторый момент времени t1 ∈ (t0 , t0 + 2π/µ). При этом найдется такое ∆ > 0, не зависящее от y0 , что для любого µ > µ1
|y(t1 ) + r0 y0 | < ∆/µ.
(11)
Доказательство. Замена независимой переменной s = µt приводит уравнение (4)
при x 6 0 к виду
x′′ + 2αx′ + (1 + α2 )x −
f (s/µ, x, µx′ ) + g(s/µ, x, µx′ )
= 0.
µ2
(12)
Здесь и далее мы обозначаем штрихом производную по s, в отличие от производной по
t. Начальным данным (10) соответствуют следующие:
s0 = µt0 ,
x(s0 ) = 0,
x′ (s0 ) = y0 /µ ∈ (−y0+ /µ, −y0− /µ).
(13)
Уравнение (12) на любом множестве, на котором функции f и g ограничены вместе
со своими производными по второму и третьему аргументу, является при больших
значениях µ малым возмущением уравнения
x′′ + 2αẋ + (1 + α2 )x = 0.
(14)
Общее решение уравнения (14) имеет вид x = A exp(−αs) sin(s + ϕ). Расстояние между
соседними корнями нетривиальных решений этого уравнения равно π, следовательно,
если µ достаточно велико, то для любого решения уравнения (12) с начальными данными вида (13) расстояние между соседними корнями лежит в промежутке от π/2 до
2π. Возвращаясь к уравнению (4), получаем, что независимо от выбора t0 и y0 при
достаточно больших µ выполнено соотношение t1 − t0 < 2π/µ. Значения производных
решений уравнения (14) в точках соседних корней отличаются в −r0 раз. По теореме
об интегральной непрерывности найдется такое µ2 > 0, что если µ > µ2 , то для любого
решения x(t) уравнения (12) с начальными данными (13) существует такое ∆ > 0, что
|x′ (µt1 ) + r0 x′ (s0 )| 6 ∆/µ2 . Это означает справедливость (11). Лемма 2 доказана.
Пусть число m ∈ {0, . . . , N } таково, что z0 ∈ Qm . Если m = 0, вектор-функция
zg,µ,r (t, 0, z0 ) есть решение системы (6). В противном случае, в силу сказанного выше, для достаточно больших µ и достаточно малых δ > 0 таких, что |z0 | < δ, первая
компонента xg,µ,r (t, 0, z0 ) решения zg,µ,r (t, 0, z0 ) имеет на отрезке [0, T ] ровно 2m нулей,
удовлетворяющих неравенству t1 < θ1 < t2 < θ2 < . . . < tm < θm . При этом вторая компонента yg,µ,r (t, 0, z0 ) решения zg,µ,r (t, 0, z0 ) положительна в точках tk и отрицательна
в точках θk , а величины µ и δ могут быть выбраны независимо от z0 и m. Отображение
Gg,µ,r имеет вид
′
Gg,µ,r = S0 ◦ H1 ◦ H1′ ◦ H2 ◦ H2′ . . . ◦ Hm−1 ◦ Hm−1
◦ S1 .
Отображение S0 ставит в соответствие начальным данным z0 ∈ Λ, взятым в момент
времени t = 0, первый корень t1 решения xg,µ,r (t, 0, z0 ) и соответствующее значение
59
y1 = yg,µ,r (t1 , 0, z0 ), отображения Hk , k = 1, . . . , m − 1, ставят в соответствие моментам
tk и значениям yk , отвечающим корню с номером 2k − 1, соответствующие значения θk
и yk′ для корня с номером 2k, отображения Hk′ , k = 1, . . . , m − 1, ставят в соответствие
моментам θk и значениям yk′ , отвечающим корню с номером 2k, соответствующие значения tk+1 и yk+1 для корня с номером 2k + 1, отображение S1 моменту и значению
y2m = yg,µ,r (t2m , 0, z0 ) последнего корня ставит в соответствие положение соответствующего решения в момент времени t = T .
Устремляя µ к бесконечности, а δ к нулю, получаем, что моменты tk стремятся к
моментам ударов соответствующего решения уравнения (1) равномерно по z0 , S0,1 ⇉
J0,1 в метрике C 1 . В силу результата леммы 2 и формулы (11), Hk ⇉ Gk , Hk′ ⇉ id. Для
завершения доказательства теоремы остается воспользоваться утверждением леммы 1.
Summary
S. G. Kryzhevich. Structural stability of invariant sets of vibro-impact systems.
The problem of persistence of invariant sets of vibro-impact systems when one slightly changes
parameters of the system or passes from one model of impact to another, is studied. It is theoretically
checked, that the impact may be considered as a limit case of the interaction with a delimiter of a
big stiffness.
Литература
1. Аносов Д. В. Геодезические потоки на замкнутых римановых многообразиях отрицательной кривизны. М.: Наука, 1967. 210 с.
2. Горбиков С. П., Меньшенина А. В. Бифуркация, приводящая к хаотическим движениям в динамических системах с ударными взаимодействиями // Дифференц. уравнения, 2005.
Т. 41, № 8. С. 1046–1052.
3. Крыжевич С. Г., Плисс В. А. Хаотические режимы колебаний виброударной системы //
Прикладная математика и механика. 2005. Т. 69. Вып. 1. С. 15–29.
4. Крыжевич С. Г., Плисс В. А. Пример хаоса в системе с ударами // Международная конференция «Четвертые Окуневские чтения», 22–25 июня 2004 г., Санкт-Петербург, Россия. Материалы докладов. Том III. Симпозиум «Пуанкаре и проблемы нелинейной механики». СПб.,
2005, C. 65–75.
5. Пановко Я. Г. Основы прикладной теории колебаний и удара. Л.: Изд-во «Политехника»,
1990. 272 с.
6. Пилюгин С. Ю. Введение в грубые системы дифференциальных уравнений. Л.: Изд-во
Ленингр. ун-та, 1988. (Pilyugin S. Yu. Introduction to Structurally Stable Systems of the Differential Equations. Birkhauser-Verlag: 1992. 184 pp.)
7. Смейл С. Дифференцируемые динамические системы // Успехи мат. наук, 1970. Т. 25,
№ 1. C. 113–185.
8. Фейгин М. И. Вынужденные колебания систем с разрывными нелинейностями. М.: Наука, 1994. 288 c.
9. Banerjee S., Yorke J. A., Grebogi C. Robust chaos // Physical Review Letters. 1998. Vol. 80.
N 14. P. 3049–3052.
10. Budd C. Grazing in impact oscillators // Branner B., Hjorth P. Real and Complex Dynamical Systems. Kluwer Academic Publishers, 1995. P. 47–64.
11. Budd C., Dux F. Chattering and related behavior in impacting oscillators // Phil. Trans.
Roy. Soc. 1994. Vol. 347. P. 365–389.
12. Chin W., Ott E., Nusse H. E., Grebogi C. Universal behavior of impact oscillators near
grazing incidence // Physics Letters A. 1995. Vol. 201. P. 197–204.
60
13. Holmes P. J. The dynamics of repeated impacts with a sinusoidally vibrating table // J.
Sound. Vib. Vol. 84, N 2. P. 173–189.
14. Nguyen D. T., Noah S. T., Kettleborough C. F. Impact behavior of an oscillator with limiting
stops. Part I: A Parametric Study // J. Sound Vib. 1986. Vol. 109. N 2. P. 293–307.
15. Nordmark A. B. Non-periodic motion caused by grazing incidence in an impact oscillator //
J. Sound Vib. 1991. Vol. 145. N 2. P. 279–297.
16. Schatzman M. Uniqueness and continuous dependence on data for one-dimensional impact
problem // Math. Comput. Modelling. 1998. Vol. 28. N 4–8. P. 1–18.
17. Shaw S. W., Holmes P. J. A periodically forced piecewise linear oscillator // J. Sound Vib.
1983. Vol. 90. N 1. P. 129–155.
18. Thomson J. M. T., Ghaffari R. Chaos after period-doubling bifurcations in the resonance of
an impact oscillator // Physics Letters. V. 91A, N 1. 1982. P. 5–8.
19. Thomson J. M. T., Ghaffari R. Chaotic dynamics of an impact oscillator // Phys. Rew. A.
Vol. 27, N 3.
20. Whiston G. S. Global dynamics of a vibro-impacting linear oscillator // J. Sound Vib. 1987.
Vol. 118. P. 395–429.
Статья поступила в редакцию 12 октября 2006 г.
61
Документ
Категория
Без категории
Просмотров
3
Размер файла
221 Кб
Теги
инвариантная, виброударных, множества, система, устойчивость, структурная
1/--страниц
Пожаловаться на содержимое документа