Файл: Митропольский Ю.А. Интегральные многообразия в нелинейной механике.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 10.04.2024

Просмотров: 219

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 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(т’ ß) +

(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Л

F(n?m(т, fl) =

J

j R (T, Ѳ, Ф, a, 0, 0) e~‘<'іѲ+т'Ш гіф.

 

0

0

Знаменатель в выражении (5.11) отличен от нуля, так как все -собственные значения матрицы Н (т, а) имеют от­ личные от нуля вещественные части.

После того как найдено выражение для (т, 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 (т, Ѳ, ф, а, е) имеет представление