![](/user_photo/_userpic.png)
книги из ГПНТБ / Митропольский Ю.А. Интегральные многообразия в нелинейной механике
.pdf130 г л . III. М Н О Г О О Б Р А З И Я ВБ ЛИ ЗИ П Е Р И О Д И Ч Е С К И Х Р Е Ш Е Н И Й
1. Существование и свойства интегральногомногообра зия. Рассмотрим систему дифференциальных уравнений вида
|
J i . = |
со(0 + |
P(t, |
g, А, г), |
|
|
|
|||||
|
dh |
|
|
|
|
+ Q(t,g,h,e), |
|
|
(4-П |
|||
|
- % -~ H (t)h |
|
|
|
||||||||
где h — n — 1-вектор, |
H (t) — ограниченная |
[(я — I) X |
||||||||||
X (я ■— 1)]-матрица, |
со (/) — ограниченная |
функция |
для |
|||||||||
всех вещественных t. |
|
|
|
|
|
|
|
|
|
|
||
Полагаем, что функция Р (t, g, ft, е) и (я — 1)-мерная |
||||||||||||
вектор-функция Q |
(t, |
g, ft, е) определены в области |
|
|||||||||
|
|
R X ß |
|
|
|
X Uèo X Ее„ |
|
(4.2) |
||||
где □ — неограниченная |
область, |
и принадлежат в |
этой |
|||||||||
области классу (t2n-, М (е) |ft=0; Це, |
ö)<g>h)), |
где |
М (г) |
0, |
||||||||
к (е, б) ->- 0 |
при |
е -> 0, |
б ->■ 0 |
(б < |
б0). |
Матрица Н (/), |
||||||
определенная |
как функция |
t на |
всей |
вещественной |
оси, |
|||||||
удовлетворяет |
условиям |
|
|
|
|
|
|
|
|
|
||
]Я (/)|< М ; |
|
|
|
|
|
|
|
|
|
(4.3) |
||
причем корни р,- (t) (і |
= |
1, ..., я —■1) соответствующего ха |
||||||||||
рактеристического |
уравнения |
|
|
|
|
|
|
|||||
|
|
det I р/ — Н (t) I = 0 |
|
|
|
(4.4) |
||||||
удовлетворяют условию |
|
|
|
|
|
|
|
|
|
|||
|
Re (Pi (01 < |
— Yi> |
|
Y i> °- |
|
|
(4-5) |
Следовательно, для матрицы G (t, ^.удовлетворяющей урав нению
■dG(a tX}- =- Н (0 G (t, т), G(t, T)| <=T = /, |
(4.3) |
справедлива оценка
|0 ( ^ ,т ) |< Я с - ^ - г), |
/ > т, |
(4.7) |
где К и у = ух/4 — положительные постоянные, / — еди ничная [(я — 1) X (я — 1)1-матрица.
При этих предположениях с помощью метода Н. Н. Бо голюбова можно доказать существование и устойчивость одномерного интегрального многообразия для системы уравнений (4.1).
|
§ 4. |
СИСТЕМЫ |
С П Е Р Е М Е Н Н Ы М И КО Э ФФ ИЦ ИЕ Н ТА МИ |
131 |
|||||
Для |
этого вводим |
в |
рассмотрение |
класс С (D, |
Д) |
||||
(п — 1)-мерных вектор-функций |
F (t, g) |
и |
преобразование |
||||||
|
оо |
|
|
|
|
|
|
|
|
SF = |
J |
G(t,t + z)Q(t + г; Ti, (gr); F (t + |
2 |
; T*t (g); e); e) dz, |
|||||
|
|
|
|
|
|
|
|
(4.8) |
|
которое преобразует функции F из класса С (D , А) в функ |
|||||||||
ции |
SF. |
|
|
|
|
|
|
|
|
Мажорируя правую часть выражения (4.8), получаем |
|||||||||
неравенства |
|
|
|
|
|
|
|
||
|
\SF \< D (e), |
|
|
|
|
(4.9) |
|||
|
l S F * - S F \ < A(E)\g0- g |
0\ + ^r |
|
||||||
|
\\F*~F\\, |
|
|||||||
где |
D (г) -> О, |
Д (е) -> О |
при |
е -> 0. |
|
|
|||
Из неравенств |
(4.9) |
непосредственно следует, что урав |
|||||||
нение |
|
|
F = SF |
|
|
|
|||
|
|
|
|
|
|
|
в классе функций С (D, Д) имеет единственное решение F, которое обозначим через f (t, g, г).
Это решение определяет интегральное многообразие системы уравнений (4.1).
Найденное интегральное многообразие обладает свой ством устойчивости, заключающимся в том, что траектории любых решений уравнений (4.1), начальные значения кото рых принадлежат области определения многообразия, с течением времени приближаются к многообразию по экс поненциальному закону.
Чтобы показать это, вводим в рассмотрение интегродифференциальную систему, эквивалентную системе диф ференциальных уравнений (4.1):
X |
|
ht = \ G (t, т) Q(т, gx, /іх, e)dx + G (t, t0) А, |
(4.10) |
JjL..^co(t) + P(t,gt, h t,e), |
i > t0\ |
(4.11) |
ët = go ПРИ t = |
|
|
где А — произвольный фиксированный |
{п — 1)-мерный |
|
вектор. |
|
|
132 гл . III. М Н О Г О О Б Р А З И Я В Б Л И З И П Е Р И О Д И Ч Е С К И Х Р Е Ш Е Н И Й
Для построения решения системы (4.10) — (4.11) рас
сматривается вспомогательная система уравнений u-t
А = - J G(t,t + z)Q(t + z-g,h,e)dz + G(t,t0)A, (4.12)
о
- f - = ® ( 0 |
+ P (t,g ,h ,z) |
(4.13) |
St |
= ëo П Р tИ = h- |
|
Решение этой системы уравнений ищется методом по следовательных приближений. Затем показывается, что функции, к которым сходятся последовательные приближе ния, удовлетворяют системе (4.10) — (4.11). Эти функции определяются выражениями
ht "=f (t, Tit, (g0, Л); Л; е), |
gt = Tfu . (g0', A); |
(4.14) |
h = Л, g = g0 при t = t0.
Функции / (t, g, A, e) удовлетворяют неравенству
I f ( t ,g ',A ',z ) - f { t , g", A", 8)| < V(8, D ) \g '~ g "I +
+ К (e, D) e~w ~h) I A! — A" |. (4.15)
Кроме того, очевидно, что решения интегро-дифферен- циальной системы (4.10) — (4.11) являются также реше ниями системы дифференциальных уравнений (4.1).
С другой стороны, пусть Ат, gx — любые решения си стемы уравнений (4.1), для которых h = h0, g — g0 при т = ^0. Тогда, подставляя это решение в первое уравнение системы (4.1) и умножая слева на G (t, т), имеем тождест венно
G {t’ т>ДЙГ = G (*• г) Н (т>^ + |
G (t, х) Q (т, gx, hx, е). (4.16) |
||||
Интегрируя |
полученное тождество в пределах |
от t0 до t, |
|||
находим |
|
t |
|
t |
|
t |
|
|
|
||
I” G |
dx ^ |
\G |
T ) ^ ( т ) |
+ [ G (t, т ) |
X |
|
|
|
X Q(T, gx, hx, г)(іх. (4.17) |
||
Интегрируя |
левую |
часть |
(4.17) |
по частям, имеем |
|
/ |
|
|
|
t, |
|
j G (t, T) |
dx = |
G(t, t)ht — G {t, t0) A0 — j* |
At dt. |
||
|
|
|
|
to |
(4.18) |
|
|
|
|
|
§ 4. |
С ИС ТЕ МЫ С П Е Р Е М Е Н Н Ы М И |
К О Э Ф Ф И Ц И Е Н Т А М И |
133 |
Замечая, |
что |
|
|
|
|
|
(4.19) |
окончательно находим |
|
|
|
|
t |
|
|
|
ht = \ G(t, Т) Q(Т, gT, hx, e)dx + G(t, tQ) h0. |
(4.20) |
|
Итак, любое решение системы уравнений (4.1), удовлет |
|||
воряющее начальным условиям |
g — go, h = hQ£ UD, |
является решением интегро-дифференциальной системы (4.10) — (4.11) при А = ho.
Таким образом, любое решение дифференциальной си стемы уравнений (4.1), для которого h0< D , является ре шением интегро-дифференциальной системы при А — h0. С другой стороны, любое решение, лежащее на интеграль ном многообразии
h — f(t, g, 8), |
(4.21) |
удовлетворяет условию | / (/0, g0, е) | <! D и, следовательно, является решением интегро-дифференциальной системы при некотором А — А'.
Поэтому, согласно (4.15), можем написать |
|
|
I f (t, g, е)— / (t, g, A, e) I < |
К (e, D) e~w - U) \ А’ - |
A | (4.22) |
или, заменяя произвольное g |
на gt — Tftj0(g0; А), |
|
I / (t, gt, s )— ht \ < K (8, D) |
I / (/„, g0, e) - |
ft01. (4.23) |
Исходя из полученных результатов, можем сформули |
||
ровать следующую теорему [131]. |
|
|
Т е о р е м а 4.1. Пусть |
для системы дифференциаль |
ных уравнений (4.1) выполняются условия, сформулирован ные на стр. 130.
Тогда всегда можно указать такие положительные
постоянные рх, р2 и е |
(р2 С р1( |
<; е0), что для каждого |
положительного ес^ех |
система |
уравнений (4.1) имеет |
единственное одномерное интегральное многообразие, пред ставимое соотношением
h = f(t, g, e), |
(4.24) |
134 г л . III. М Н О Г О О Б Р А З И Я В Б Л И З И П Е Р И О Д И Ч Е С К И Х Р Е Ш Е Н И Й
в котором [ (t, g, е) как функция t u g |
определена для |
t £ R, |
|||
g £ G и удовлетворяет неравенствам |
|
|
|||
|/(^. g, |
е)| < |
£> (е) < |
pi, |
(4.25) |
|
(t, g", |
e) I < |
Д (в) I g' - g" 1, |
(4.26) |
||
где D (e) -->0, A (e) -> 0 при |
г |
0. |
обладает свойством |
||
Это интегральное |
многообразие |
устойчивости, заключающимся в том, что любое решение уравнений (4.1) h = ht, начальное значение которого при надлежит области UPt, с течением времени притягивается к нему по закону
\ h t - f |
(t, gu е)| < К (г, |
D) е ~ ^ \ |
(4.27) |
где у — некоторая |
положительная |
постоянная. |
|
§5. Уравнения с медленно меняющимися параметрами
1.Общие свойства рассматриваемых уравнений. Поста новка задачи. Рассмотрим нелинейное дифференциальное уравнение с медленно меняющимися параметрами
|
~ |
= Х{х, х )+ еУ |
х,г), |
(5.1) |
где X, X, У — п-векторы, s — малый |
положительный па |
|||
раметр, |
т = &t, |
t — время. |
рассмотрению |
урав |
Как |
указывалось во введении, к |
нений (5.1) приводят многие задачи, приведенные в [136], связанные с исследованием нестационарных колебатель ных процессов.
Для удобства исследования уравнение (5.1) целесооб разно преобразовать к специальному виду.
В § 1 было изложено приведение уравнения (5.1) к спе циальному виду в окрестности однопараметрического се мейства периодических решений невозмущенного уравнения
~ = Х(х,х), |
(5.2) |
а т жже в окрестности двупараметрического семейства ре шений уравнения (5.2), зависящего от двух произвольных постоянных а, ф и от т как от параметра. В последнем
§ 5. У Р А В Н Е Н И Я С М Е Д Л Е Н Н О МЕ Н ЯЮ Щ ИМ ИС Я П АР АМ ЕТ РАМИ 135
случае уравнение (5.1) приводилось |
к виду |
|
|
|
= со (т, а) + Р (т, |
Ѳ, -ф, а, |
/г, е), |
| |
|
~ = S(x, Ѳ, ф, a,h, |
г ), |
|
} |
(5.3) |
= Я (т, а)/г + Я (т, 0, ф, а, h, е).
Остановимся на рассмотрении этого случая. Предположим, что относительно уравнения (5.1) вы
полняются следующие условия.
1д. Функции X (л:), Y (т, Ѳ, X, г ) определены и непрерыв ны в области L X Q X D X Е8о, где D — открытая об
ласть пространства Rn, L — некоторое число (которое мо жет быть взято сколь угодно большим при сколь угодно малых значениях е).
2°. Уравнение невозмущенного движения (5.2) при лю
бых постоянных т £ [О, Ь\ допускает |
существование дву |
||
параметрического семейства |
решений |
|
|
X = х° (г, со |
(т, а) t + |
ф, а), |
(5.4) |
2я-периодического относительно ф = со (a)t + ф, йависящего от двух произвольных постоянных а, ср и от т как от параметра. При этом о в общем случае зависит от т, а и является ограниченной функцией т, удовлетворяющей условию Липшица по а.
3°. В области
|
|
/[ОД] X Й X DPo X Ее0, |
(5.5) |
где |
DPo— р0-окрестность решения (5.4), |
X (т, *)£'С*, |
|
Y (т, |
0, X, е) £ СІ, Y (т, 0, X, е) — 2л-периодическая функ |
||
ция |
0. |
|
|
4°. |
Уравнение в вариациях |
|
- ^ - = х;(т,х°)бх,
представляющее собой однородное линейное дифференци альное уравнение с матричным коэффициентом, имеет для любых т £ (0, L] (п — 2) характеристических показателя с отрицательными действительными частями (два характе ристических показателя равны нулю), которые являются непрерывными функциями т.
136 |
ГЛ. III. М Н О Г О О Б Р А З И Я В Б Л И З И П Е Р И О Д И Ч Е С К И Х Р Е Ш Е Н И Й |
||||
|
Тогда функции в правой части уравнений (5.3) будут |
||||
обладать следующими свойствами: |
S (т, |
Ѳ, ф, а, |
h, е), |
||
|
1) функции Р (т, Ѳ, ф, а, h, |
е), |
|||
R (т, Ѳ, ф, а, h, е) определены в области |
|
|
|||
|
/[ОДЛ X & X St X Яб„ х |
Еео) |
|
(5.6) |
|
где |
/[од] = [О, L], 2( = (а0, aR, |
U(,„ — 60-окрестность |
точ |
||
ки h = 0 (при этом X £ DPo при |
h £ Яв0), и |
принадлежат |
вэтой области классу (Ѳ2я; Фглі М (е)|л=о; к (е, ^,а,ю);
2)(о (т, а) — ограниченная функция т, удовлетворяю щая условию Липшица по а;
3)Я (т, а) — [п X (п — 2) 1-матрица, непрерывная от
носительно т, все |
собственные |
значения |
которой Z] (т, а) |
||
для любых т £ [О, L] и я ( Ж |
удовлетворяют |
условиям |
|||
Re {Zj(x, а)) < |
— а, |
сс> 0 |
( /= 1 , |
|
2). |
+ Сделаем следующее замечание. |
|
уравнения |
|||
Для функции |
G (t), |
являющейся решением |
|||
|
= Я (т, a) G, |
0(0) = |
/, |
|
на основании леммы Флато — Левинсона [1991 справедлива оценка
\G(l)\<Ke~m , |
(5.7) |
где К, у — положительные постоянные, |
t £ [0, L/e]. |
В этом параграфе мы рассмотрим следующие вопросы: укажем способ нахождения приближенного двупара метрического семейства частных решений уравнения (5.1); установим существование соответствующего точного дву
параметрического семейства решений; покажем, что разность между точным семейством ре
шений и его т-м приближением — величина порядка ет.
2. Построение приближенного двупараметрического се мейства решений исходного уравнения. Для построения приближенного семейства решений уравнения (5.1) не сколько усилим ограничение гладкости на правую часть ’•уравнения (5.1), а именно, предположим, что векторфункции X (т, х), Y (т, Ѳ, X, е) являются неограничен
но дифференцируемыми относительно т, х, е в области (5.5), раскладывающимися в сходящиеся ряды по степе ням X , е. Тогда соответствующим образом усилится свой ство гладкости функций в правой части уравнений (5,3).
§5. У Р А В Н Е Н И Я с М Е Д Л Е Н Н О М ЕН Я Ю Щ И М И С Я ПА Р АМ ЕТ Р АМИ |
137 |
||||
Итак, будем полагать, |
что функции |
Р (т, Ѳ, ф, а, h, |
г), |
||
S (т, 0, ф, а, h, г), |
R (т, |
0, ф, а, |
h, е) |
раскладываются |
в |
сходящиеся ряды по степеням ф, а, |
к, г в окрестности точки |
||||
ф, а, h = 0, е = 0 |
с коэффициентами, представимыми в ви |
||||
де двойных рядов |
Фурье. |
|
|
|
Определим из системы (5.3) h (т, Ѳ, ф, а, е) как частное решение, соответствующее внешним возмущающим силам
R (т, 0, ф, а, |
h, е). Ищем h (т, 0, ф, а, е) в виде ряда |
||||||||||||
h (т. Ѳ, ф, а, е) — е/г1(т, 0, ф, |
а) + е2/і2(т, 0, |
ф, |
а) + |
• • • (5.8) |
|||||||||
Подставляя выражение (5.8) в систему (5.3), имеем |
|
||||||||||||
e |
д к г |
dQ |
- + |
d h i |
di]) |
d h 1 |
da |
|
d h . |
|
+ |
|
|
д Ѳ |
d t |
chj) |
d t |
+ |
d a |
-3Г |
+ 8 |
â x |
|
|
|||
|
+ |
|
d h 2 |
dB |
+ |
f)h„ |
di|) |
, |
d h 2 |
d a |
|
d h * |
1 |
|
8 2 |
д Ѳ |
dt |
<3ф |
d t |
+ |
d a |
d t |
+ |
8 â x |
J + |
-1-.Р(т, 0, ф, а, h, е)] + - ^ - S ( т, 0, ф, а, h, е) +
+ |
82 |"Ж ~ Ѵ(Т) + |
'lPp' [со (т>ß) + |
P (T>Ѳ> |
a’ h>®)] + |
|
||||||||||||
|
+ |
|
5 (T>Ѳ. |
|
a>h>8) + e ^ r ) |
+ e3 • • |
• |
= |
|
|
|||||||
= |
8 {_Ж " ѵ^т) + |
' 5 ^ [С0(т’ ß) + |
8® (T>a) ßi + |
e2 |
• « • |
+ |
|||||||||||
4 - e P |
( T , 0 , |
ф , а , |
0 , |
0 ) |
- f |
e 2 |
- • |
. ] + |
|
|
[ e S (т, |
0 , |
ф , |
а , |
0 , |
0 ) + |
|
+ .e2 . . .] + |
8- ^ _ } + |
82{ |
^ |
ѵ(г) + і |
[ш(Ті a) + |
||||||||||||
-f eco (т, |
а) аг + |
e2 |
• |
. • |
+ |
eP (т, |
0, ф, а, 0, 0) -f e2 |
• |
• • ] + |
||||||||
|
+ |
|
|
(T. Ѳ, Ф, a, |
0, 0) + |
e2 |
• • |
.]} + |
e3 . . . |
= |
|
||||||
e |
8 { |
- |
l i t v ( T > + |
- І Ц |
“ |
( T ’ ö ) } |
+ |
e2 |
“ |
(T> a ) 01 + |
|
+ѳ> a>°- °) + “Ж " 5 (т>ѳ- ’P» a>°- °) +
I
+ âx ~8’
d h 2 ѵ(т) +
д Ѳ
138 г л . III. М Н О Г О О Б Р А З И Я |
В Б Л И З И П Е Р И О Д И Ч Е С К И Х |
Р Е Ш Е Н И Й |
||
Раскладывая вектор-функцию |
R |
(т, Ѳ, ф, а, h, |
е) в ряд |
|
в окрестности точки ф, |
а, А = |
0, |
е = 0 и приравнивая |
коэффициенты при одинаковых степенях е, получим следую
щую систему уравнений для |
определения hlt h2,...: |
|
- ^ - ѵ ( т ) + |
-^ -со (т, а) = |
Н (т, а) hi + R ( T , Ѳ, ф, а, О, 0), |
|
|
(5.9) |
- ^ - ѵ (т ) + |
-^|-со(т, а) = |
Я (т, a)h.2 + |
+ Rh (т, Ѳ, ф, а, 0, 0) hi + Rq (т, Ѳ, ф, а, О, 0) фх +
•f %а(т>Ѳ, ф, а, О, 0)ах -f Rs(т, Ѳ, ф, а, 0, 0) —
— - Щ г 0) (т’ а) 01 “ - ^ Г |
Р (т’ Ѳ’ а’ ° ’ 0) ~ |
|
т.ѳ.ф , п |
. 0 , 0 ) - ^ - . |
(5.10) |
Из системы (5.9) находим ht (т, Ѳ, ф, а) как частное ре шение, соответствующее возмущающей силе R (т, Ѳ, ф, а, 0, 0):
|
fO) |
(Т |
а) е1(пѲ+отф) |
....- |
|
, (5.11) |
|
|
S . |
|
..... |
|
|||
|
I /і [лѵ (т) + |
тсо (х, а)] — Н |
(т, а ) \ |
ѵ |
7 |
||
где через |
(т, а) обозначены |
коэффициенты |
в |
разло |
жении в ряд Фурье функции, стоящей в правой части урав нения (5.9),
|
2Л2я |
|
F(n?m(т, fl) = |
J |
j R (T, Ѳ, Ф, a, 0, 0) e~‘<'іѲ+т'Ш гіф. |
|
0 |
0 |
Знаменатель в выражении (5.11) отличен от нуля, так как все -собственные значения матрицы Н (т, а) имеют от личные от нуля вещественные части.
После того как найдено выражение для h± (т, 0, ф, а), становится известной правая часть уравнения (5.10), из
которого можно найти выражение для |
h2 (т, |
Ѳ, ф, а): |
|
|||
h2{т, Ѳ, ф, а) |
: V |
г у ' (т а) р ‘ |
V"J 1 |
|
/С j о\ |
|
а ) е ____________ |
||||||
|
4^ |
I І і [лѵ (т) 4 - лно (т, а ) ] — Н |
(т, а ) | |
’ ' |
1 |
§ 5. У Р А В Н Е Н И Я С М Е Д Л Е Н Н О М Е Н Я Ю Щ ИМ ИС Я ПАР АМЕТ РАМИ 139
где F^,„ (г, а) — коэффициенты в разложении в ряд Фурье функции, стоящей в правой части уравнения (5.10):
|
2л 2л |
Fnln (т, а) = |
j j (я А(т, 0, ф, а, 0, 0) hx+ |
О0
+R^ (т, 0, ф, а, 0, 0) фг + Ra (т, 0, ф, а, 0, 0) ах-f
+ R e (т, 0, ф, а, 0, 0) —-^ - со (т, а) ах----^ |
Р (т, 0, ф, а, 0, 0) — |
||
— |
5 (т, Ѳ, ф, а, 0, 0) — |
е-1<"ѳ+тФШ<*ф. (5.13) |
|
Здесь |
ф! (т, 0, ф, а), ах (т, |
0, ф, |
а) — совокупности |
членов, стоящих при е в решениях соответственно первого и второго уравнений системы (5.3) после подстановки в них hx (т, 0, ф, а). Приближенное решение этих уравнений мо жет быть найдено при помощи асимптотических методов
[17]. |
Аналогичным образом определяем h3 |
(т, 0, |
ф, |
а), |
М Г , |
ѳ, ф, а),.... |
для |
h (т, |
0, |
Найдя, таким образом, т-е приближение |
ф, а, е) и подставив его в первые два уравнения системы (5.3), получим
= со (т, а) + Р (т, 0, ф, а, hm(т, 0, ф, а), г),
(5.14)
-^ г = S (т, 0, ф, а, hm(т, 0, ф, а), е).
Определив из этой системы значения ф, а и подставив
их, а также выражение для hm — в преобразование (1.65), получим следующее частное решение уравнения (5.1) (т-е приближение), зависящее от двух произвольных постоян ных:
X = |
Х° (т, ф (т, t, е), |
а (т, /, е)) + |
+ - 2 |
{Ѳ (т, ф (т, t, е), а (т, (, е)) hm(т, 0, ф (т, /, е), а (т, t, е), е) + |
|
+ |
Ѳ(т, ф(т, t, е), |
а (т, t, е))Л'п (т, 0, ф(т, t, е), а (т, t, е), е)}, |
|
|
(5.15) |
причем hm (т, Ѳ, ф, а, е) имеет представление