Академический Документы
Профессиональный Документы
Культура Документы
Ru
Общероссийский математический портал
Параметры загрузки:
IP: 77.111.246.18
9 февраля 2024 г., 03:42:50
1962 г. март—апрель т. XVII, вып. 2(104)
УСПЕХИ МАТЕМАТИЧЕСКИХ НАУК
2
) Е0 также называется начальным множеством.
80 А М. З В Е Р К И Н , Г. А. К А М Е Н С К И Й , С. Б . Н О Р К И Н и Л . Э. Э Л Ь С Г О Л Ь Ц
V и
dx = /v (х, У! ( « ! (X), ...,уА т (Ж))> • • • . У» ( и 1 (Х)\ •••>Уп(ит (Х))) С1-5)
(v=l, ...,п).
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 81
ка для А < # < В19 соответствующая начальным условиям qjk (х) и Y^ (в пред
положении, что при продолжении любого решения, удовлетворяющего этим
начальным условиям, на отрезок А < ^ < ^ х точка Т (х) не выходит из неко
торого компактного множества), представляет собой компактное связное
множество. Пересечение этого множества с любой плоскостью х=с (А < с < Вг)
связно. Затем Мышкис рассматривает линейную систему
У(™°(*)= 2 «&(a)#(s-Aj f t (*)) + M * ) (i = l , 2 , . . . , n ) , (1.10)
J, k ,1
6*
84 А. М. З В Е Р К И Н , Г. А. К А М Е Н С К И Й , С. Б . Н 0 Р К И Н и Л . Э. ЭЛЬСГОЛЬЦ
Kn(t,T)=^K1(t,Q)Kn_1(B,T)dQ.
X
F(t,M,T)==
jj K{t,x,M,T)dx
о
является непрерывной функцией t, стремящейся к нулю при t—>0,
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 85
и итерированные ядра
t
*Ч (*) = U (Х1 (* - Т
П (*))» • • • » *1 (* - T
l m (*))> • • • > Sn (t—*nl (0)> • • • , Я я (t -Xnm (*))),
tl;.(0>0 (* = 1> 2, ...,#z) (1.18)
изучались Эльсгольцем [379], [381], гл. V, § 9, [386]. Точкой покоя систе-
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 87
мы (1.18) называется решение x=xi0(i = l, 2, ..., п) как при г > t0, так и на
начальном множестве, где xi0 — постоянные.
Для линейных однородных динамических систем с постоянными запаз
дываниями
т п
МО = 2 2 aijsXj(t-xjs) (1.19)
s—1 У—1
а) Л и н е й н ы е однородные уравнения:
71—1 7)1
^(^USSiW^'C-tiW): (2.1')
р==0 3=1
1°. линейность и однородность сохраняется при линейном однородном
преобразовании искомой функции;
h
2°. линейная комбинация 2 cixi (t) решений уравнения (2.1') (xi(t) —
г=1 ф, Ф .
2 с 4 ^)(^о + 0) (5 = 0 , 1 , . . . , / z - l ) ;
i=l ф.
б) Л и н е й н ы е неоднородные уравнения:
1°. линейность уравнения (2.1) сохраняется при линейном преобразова
нии искомой функции;
2°. сумма решения х (t) соответствующего однородного уравнения (2.1')
Ф
s(0 = 2 W ) , (2-3)
Ф г=1 Ф^
где xi(t) ( i = l , 2, . . .) —фундаментальная система решений уравнения (2.1')
х (t) = x(t) + 2 а ^ ( 0 ,
Ф "Ф г=1 cpi
(rn(s) имеет разрыв в точке х=0) формула (2.11) выводится в работе Питта
[223]. Если все корни характеристического уравнения D(p)~0 удовлетворя
ют условию R e p < — а < 0, то для уравнений запаздывающего типа вместо
формулы (2.10) можно использовать формулу
х
у(х)= \ f(t)K(x-t)dt. (2.14)
Эта формула для частного случая получена Куком [137] и для системы урав
нений с запаздыванием Шимановым [356] (в последнем случае К (х) нужно
считать матрицей, аг/(ж)и / (я) векторами). Ван Жоу-хуай [57] для нахожде
ния частного решения системы уравнений (в векторно-матричной записи)
У' (х) = АоУ (х) + АУ (Ж - Т^Н Ь КУ (Х - r
J + / (х)
приводит формулу
оо
/И-2 l^i4x-s)drl(s)
i=0 О
z(t + hm)=^Y(s,t)W(s)ds,
to
а) Р е ш е н и я у р а в н е н и я н е у с т о й ч и в о г о типа
Из уравнения (2.19) следует, что если ф 0 > 0 , то у (х) монотонно не убы
вает при А<1х<В; если ф0 > 0 и т0 > 0 — монотонно возрастает. Перенос
начальной точки дает возможность получить классификацию всех решений.
Пусть В=оэ. Тогда решение будет обязательно одного из следующих
видов:
1) у(х) Ф 0 при А < х < В.
Для таких решений получена теорема сравнения. Пусть все величины,
обозначенные знаком ~ , относятся к уравнению сравнения
у' (х)-Й(х) у {х - А (х)) = 0 (А < х < В). (2.19')
Тогда, если 0<Л/(ж)< i f (ж), 0<ф(х)<ф(ж), А(х)=Ъ(х), то у (х)>у(х);
или, если 0<Л/(ж)<Л/(ж), Д(ж)<Д(ж), а <р(ж) (или <р(ж)) задана и на
ЁА(ЕА), причем там 0<ф(ж)<<р(ж), и ф(ж)(ф(ж)) монотонно не убывает на
ЕА + ЕА, то'у(х)>у(х).
Эта теорема сравнения дает возможность получить ряд асимптотических
оценок для решений. Наиболее точная оценка имеет вид: пусть
НтД(ж) = а, НтД(#) ч =р, limM(x) = r, limil/(#)==$;
Х->СО Х->00 ЛГ~*СЮ Х->00
тогда если г < оо, то при я—» оо для любого 8 > 0 будет
е[вмав)-в]* = 0 (?/ (ж))> у (х) = 0 (е™^]х)? (2.21)
2) г/(#) меняет знак на каждом отрезке [а, а + Д0] (А < а < оо). Если
дополнительно
Ж0А0<1, (2.22)
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 97
ТО
°Л < —.
то
Пту(х)-ет»ито6о)х
х->оо
3
3°. Если В — оо, т0 > 0 и Д 0 М 0 < -у- , то у (х) —> 0 при х—> со. Если
3
же Д 0 М 0 = - 2 - , то решение у (х) ограничено при х—>оо.
Изучено поведение решений на участке их колебания.
Д л я дальнейшего понадобятся следующие введенные Мышкисом опреде
ления. На участке (—оо, В) определяется функция у (х) — в е р х н я я грань
чисел t(A < t<B), для которых t— A(t)<.x. Если таких t нет, то полагают
Y (х) = А (свойства функции Y (Я) СМ. [192], §6). Отрезок [а, Ъ] ( Л < а < 6 < 1 ? )
называют полуциклом решения у{х), если у(х)фО на (а, Ъ) и у (а) = у (Ь) = 0.
Полуцикл называется большим, если Ь>у (а); в противном случае — мальци.
В работе [191] показано: еслиф(,г)>0, А 0 > 0 и выполнено одно из усло
вий:
а) 0 < М 0 < оо, М 0 Д 0 < 1 ;
б) с ростом х функция х — А(х) монотонно не убывает, то любой полу-
цикл решения у (х) большой и имеет длину больше — .
Отсюда следует, в частности, что при выполнении одного из условий а)
или б) всякий полуцикл, следующий за большим, будет также большим.
Важный результат о затухании колеблющихся решений при малых
отставаниях содержит теорема:
Пусть В = оо, Д 0 М 0 < 2 и у (х) имеет нули на любом отрезке [С, С 4- Д 0 ]
(С6 U , оо)). Тогда
х—А
| у (X) | < l / 2 . т а х \у{х)\ГА^Л-2К-* (А<Х<со).
У А0М0 ЕА+[А, А4-д0] \ * У
Будем говорить, что решение у (х) уравнения (2.20) медленно затухает, если
для некоторого С > 0 и всех достаточно больших х
нения (2.20) могут быть трех типов: отличные от нуля при всех достаточно
больших х (неколеблющиеся), меняющие знак на каждом отрезке [D — Д 0 , D]
(А < / ) < о о ) (колеблющиеся) и равные нулю для всех достаточно больших х~
Для неколеблющихся решений получены уточненные оценки для разбиения
на быстро и медленно затухающие.
Решения неоднородного уравнения
у' (х) — М (х) у (х — А (х)) = / (х)
изучал X. Г. Цванг. Его результаты были затем дополнены и обобщены
А. Я . Лениным и опубликованы в § 7 монографии Мышкиса [192]. Указаны
достаточные условия ограниченности и неограниченности решений и наличия
у интегральных кривых наклонных асимптот.
4. Линейные уравнения второго порядка. Мышкис в работе [190] изучает
решения уравнения
у" (х) +М(х)у(х-А (х)) = 0 (2.26)
( М ( х ) > 0 , А ( х ) > 0 ; А^х <С В; — оо < А < В < оо), названного им уравне
нием периодического типа. В монографии [192]] полученные результаты
обобщены на уравнение аналогичного типа с распределенным запаздыванием.
Для уравнения (2.26) ставится основная начальная задача. Величины
б0, Д0, т0, М0, ф0 и Ф 0 определяются так же, как и в п. 3.
Из уравнения (2.26) следует, что если В = оо, А0 < со и т0 > 0, то для
любого решения у (х) уравнения (2.26) у(х) = 0 при достаточно больших х,
или при сколь угодно больших х у(х) имеет значения обоих знаков — во всех
случаях множество нулей функции у(х) не ограничено справа.
В работе изучаются колеблющиеся решения уравнения (2.26). Изучение
решений дифференциального неравенства
У" (х) + У (х) > 0
дает возможность получить ряд предложений, из которых следуют оценки
длины полуциклов решения у (х) (определение и классификацию полуциклов
см. стр. 98). При В= оо, если т0 > 0,
a
ft+i-«fe> r— (к = 2, 3, . . . ) •
\ •*•'•*• 0
С ( ^ М ) ^ (2.28)
где С — некоторая постоянная. При фиксированном М0 и достаточно малом А0
выражение (2.28) стремится к нулю при х—> оо как экспонента с произ
вольно большим по абсолютной величине коэффициентом в показателе.
Асимптотическое поведение неколеблющихся решений однородного
уравнения
у" (х) = М (х) у {х-А (х)), (2.29)
где А (х) > 0 и М (х) > 0 ( < 0) — непрерывные на полуоси А < х < оо функции,
изучалось в работе Соболя [281]. В работе получена полная классификация
возможных типов неколеблющихся решений уравнения (2.29).
При определении асимптотики решений уравнения (2.29) существенную
роль играет интеграл
оо
К=. \ t\M(t)\dt.
А
Априори уравнение (2.29) может иметь следующие пять типов неотри-
дательных решений:
(в)у'{х)-^0, у(х)~>0;
(б) у'(х)-±0, у(х)~->с>0;
(в) у'(х)->с>0, у(х)->со;
(г) у'(х)->со, у(х)->со;
(д) у ' ( ж ) - » 0 , у(х)~>со.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 101
X ^
(б) (в) (д)
А(х) - 0 (б) (в) (д)
2 S « m „ 2 / ( m ) ( ^ + u n ) = /(x), (3.1)
m—0 п = 0
г
Д е атп~~комплексные постоянные, а ^ — действительные и положитель
ные числа (0 = h0 < hx < . . . < hq) и f(x) — некоторая заданная функция,
и аналогичную этому уравнению систему
— оо<а<й<-|-оо,
и подобные им системы
R Ь
< В Д = * di2amn(pedi)m =e d
i R(pedi), (3.9)
где R (Z) — многочлен (6;. определяется из уравнения прямой L-\ m — dfi + bj).
Каждому корню Zjs уравнения i?(Z) = 0 будет соответствовать цепочка
нулей функции Ф ; (р), определяемая из дополнительного уравнения
/?ехр ( -J- j =ZjS- Если корень Zjs кратный, то все нули функции Ф^ (р)
в соответствующей цепочке будут иметь ту же кратность. Нули каждой такой
цепочки приближенно выражаются асимптотической формулой 1 )
г
) Методику вывода подобных формул можно найти в монографии М. А. Е в г р а-
ф о в а, Асимптотические оценки и целые функции, М., Гостехиздат, 1957.
2
) См. Б. Я. Л е в и н , Распределение корней целых функций, М., Гостехиздат,
1956.
106 А. М. ЗВЕРКИН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
^ = *Я + Р + ф Я - 1 - ( р + | р » ^ •••, (3-14)
D D г= 1
оо со
^п+ъ^х^р-у-ь+ъ*-. 1 Г Нп (и)
г=1
И*)~2Л(*К1Ж. (3-15)
где р{ — нули характеристического квазиполинома D (р), а Рг(х), в случае
однородного уравнения, многочлены степени не выше vi— 1 (vt — кратность
соответствующего корня). Для неоднородных уравнений непосредственное
р
разложение интеграла обращения от ( привело бы к появлению в ряде
108 А. М. ЗВЕРКИН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
г
) В. А. Д и т к и н , П. И. К у з н е ц о в , Справочник по операционному исчисле
нию, М., Гостехиздат, 1951.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ Ш
где Ац-v (х) —»«JLIV при х —> + °° • Если обозначить М множество взятых с обрат-
т п
ным знаком действительных частей нулей квазиполинома 2 2 aiivPVePbil
JLI=0 |JL=0
г=0
—простые. Тогда при некоторых дополнительных предположениях имеет ме
сто симптотическое разложение решений этой системы
Ясно, что функция у (z) может иметь особенности только в нулях 0(z). В ок
рестности га-кратного нуля ak функции 0 (z) имеет место представление
/ « И = 5 <?hi(z)e**dz, (3.24)
и отрезка
I Rez-Y, h \_h <Imz< — ), Л = 0, ± 1, ± 2, . . .,
/fc
V m ' fc s JLm" n
s У
где а — некоторое постоянное число и у больше действительных частей всех
нулей 6 (t). Эти контуры интегрирования не охватывают ни одного нуля Q(t).
Построенные так решения второго рода — целые функции. После добавления
решений второго рода любое решение, аналитическое внутри полосы, будет
представимо рядом, как и при случае апт Ф 0. Аналогично можно рассмотреть
и случай ап0 — 0.
В другой работе Миролюбова [176] эти же результаты переносятся на
уравнения с полиномиальными коэффициентами вида
п т
2 2 ^ i f t ( * ) / ( i ) ( ^ + uh) = 0, (3.27)
г=0 k=0
V
Pik И = 2 a\hxJ, 0 = Л0 < Ai < . ... < hm,
в предположении, что многочлены Рп0 (х) и Рпт (х) имеют степень р и простые
нули, hm, не является корнем уравнения
aim ~ aimX + . . . + ( - l)PaSm^p = 0
и квазиполином Э0 (z) (см. ниже) имеет только простые нули. Все результаты
аналогичны приведенным выше с той разницей, что уравнение (3.22) заме
няется на
р п т
rfn4t) = f(trtt),x(t-r1{t)),...,x(t-Tm(t)),..^
(4.2)
т 4 (*)>(> (* = 1, 2, . . . , т),
118 А. М. ЗВЕРКИН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
системой уравнений
x'0{t)=Xl{t), |
x'1(t) = x2{t),
не требуя, чтобы
• ф л ( 0 = Ф*.1(0, (4-4)
то возникает очевидная неэквивалентность постановок задач об устойчиво
сти для (4.2) и (4.3), если для уравнения тг-го порядка (4.2) иметь в виду пер
вую постановку начальной задачи, а для системы (4.3) не требовать выпол
нения условий (4.4).
Этот вопрос рассматривался в [381], [384], [94] и [95]. Оказалось, что
случаи неэквивалентности понятия устойчивости для уравнения п-то поряд
ка (4.2) и соответствующей системы (4.3) являются исключительными.
В статьях [384] и [95] указаны примеры таких исключительных уравнений.
Д л я уравнений с запаздывающим аргументом, так же как и для уравне
ний без отклонений аргумента, целесообразно ввести понятия: асимптотиче
ской устойчивости в целом, равномерной асимптотической устойчивости,
устойчивости по показательному закону, устойчивости при постоянно дей
ствующих возмущениях (см. [380]), которые являются естественным обоб
щением соответствующих понятий для уравнений без отклонений аргумента.
Следует отметить еще один своеобразный вид устойчивости: устойчи
вость по отношению к возмущениям отклонений аргумента (см. [380] и [133]).
Решение x(t) уравнения х' (t) =f(t, х (t), x(t—r1(t))J ..., x{t — tm(t)))
Ф
называется устойчивым по отношению к возмущениям отклонений аргумен
та, если для любого е > 0 можно указать такие бх и 62, что из неравенств
\x(t) — \p(t)\<c61 на Е- при любом t0 > t0 и | т^- (£) — х- (t) | < б2
Ф
( / = 1 , 2, ..., тп) следует \x(t) — x(t)\<e, где x(t) — решение уравнения
(4.5)
Если / (z) не имеет нулей на мнимой оси и при R —> со образ при отображе
нии f{z) контура yR не зацеплен с началом координат, то согласно принципу
аргумента в правой полуокружности нет нулей квазиполинома f(z).
Удобнее вместо отображения f (z) рассматривать отображение ^ \ =
Р (z)
= l + p - 7 j j 6 - 2 , или даже отображение, осуществляемое функцией
W <?(*)
r(z)=^^e-^=W 0(z)e-
P(z)
Если квазиполином f (z) соответствует уравнению с запаздывающим
аргументом, то степень многочлена Р (z) выше степени многочлена Q (z)
и образ при отображении Wx (z) или W0(z) полуокружности, входящей в со
став контура yR, стягивается при R —> оо в точку z = 0. Поэтому при ото
бражении Wx (z) приходится исследовать лишь образ мнимой оси. Этот
образ называется амплитудно-фазовой характеристикой.
Еще удобнее вначале построить предельную характеристику — образ
мнимой оси при отображении JV0 (z), а затем учесть влияние множителя
е~ху, так как W (iy) = W0 (iy) e~x{y.
Согласно принципу аргумента коэффициент зацепления амплитудно-
фазовой характеристики с точкой z = 1 равен N — М, где N — сумма
кратностей нулей функции ~~ , расположенных в полуплоскости Re z > 0 ,
Г \z)
а Ж" — сумма кратностей полюсов, расположенных в той же полуплос
кости. Если многочлены Р (z) и Q (z) не имеют общих нулей, то из условия
Лг — 0 находим область устойчивости.
2) Метод i^-разбиений. При этом пространство коэффициентов квази
полинома разбивается на области поверхностями, точкам которых соответ
ствуют квазиполиномы, имеющие хотя бы один нуль на мнимой оси.
Среди областей такого разбиения находится и область устойчивости, если
она существует (см. [199], [200], [221]).
Применим метод 2) к нахождению области асимптотической устойчи
вости решений уравнения
х' (t) + ах (t) + bx (t — т).= 0,
где а, Ъ и т — действительные постоянные. Характеристический квазипо
лином имеет вид z~\-a-^- be~xz — 0.
Корень z = 0 имеют квазиполиномы, удовлетворяющие условию
а+Ь = 0. (А)
Чисто мнимые корни iy имеют квазиполиномы, удовлетворяющие условию
iy -\- a -j- Ъ (cos ту — i sin xy) — 0
или
а + b cos ху = 0 и у — b sin xy = 0,
откуда
а= — г/ctgty, Ь = -т^-—. (В)
и 6
^' sin ту
Прямая (А) и кривые (В) и дают ^-разбиение плоскости (а, Ъ) (рис. 4).
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 121
ч /
0<М(ж)< д2 — — ( = 0,9028...)
ДИФФЕРЕНЦИАЛЬНЫЕ У Р А В Н Е Н И Я С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 125
ИЛИ
М(х)<0:
Д л я собственных функций краевой задачи (5.1), (5.2), получены осцил-
ляционные теоремы типа Штурма. В частности, доказана теорема: располо
женные на участке ?t> Л 0 собственные значения краевой задачи (5.1), (5.2)
образуют неограниченно возрастающую последовательность
^лг, ^лг+i, • • •, ^ N + P , • • •;
при этом собственная функция, соответствующая собственному значению
^лг+р» имеет точно N + р нулей в интервале (0, я). Здесь Л7" —число нулей
в интервале (0, я) собственной функции, соответствующей собственному
значению ^ п е р в о м у Н а рассматриваемом участке; А0 = К2М1л, где
М 0 = тах'|Л/" (ж)|, а
[О, я ]
2
К = 1 Н—_ — - 3,415 . . .
У 9 + 4 / 2 —3
Получены также достаточные условия, при которых утверждение теоремы
распространяется на все собственные значения краевой задачи (TV = 0).
Рассмотренная краевая задача используется в работах [208] и [212]
для изучения периодических решений одного линейного дифференциального
уравнения второго порядка с переменным запаздыванием (см. § 6, п. 1).
В работе [209] рассмотрена краевая задача для уравнения (5.1) с крае
выми условиями
2/(0) cos а 4-г/' (0) s i n a = 0, ^
у (я) cos р + у' (я) sin (5 = 0, (5.3)
у (х — А (х)) = у (0) ф (х — А (х)), если х — А (х) < 0.
Здесь а, р — произвольные действительные числа, ф (х) — непрерывная при
я < 0 начальная функция, причем ф (0) = 1. Краевые условия (5.2) являются,
очевидно, частным случаем (sin a — sin p = 0) краевых условий (5.3).
В работе доказана теорема существования и изучена асимптотика для соб
ственных значений и собственных функций. Результаты работы без труда
могут быть обобщены на дифференциальное уравнение с распределенным
запаздыванием
l i m { 2 yk(*)\f{t)zk(t)dt-± \f(t)dt-
l
n -»oo I „ «J X
71 t
cos
"" Т 2 ^Т~ \ / (0 cos ^т~ ^ ^ } = °
х
и К2(х), что \ [Кг (х) + К2(х)] dx сходится и меньше единицы и что суще-'
оо
ствуют такие у и z, для которых \ | f(t, y,z)\dt < оо, Досс и Наср методом
x{{t)>0 (i = l , 2 , . . . , w ) , (5.10)
где Yi (0 = sup {z, z > £, z—- t (2) < t), являющегося обобщением уравне-
2
ния Эйлера.
Указываются некоторые простейшие случаи, когда уравнение (5.11)
либо сводится к уравнениям без запаздывания, либо к чисто разностным
уравнениям.
Необходимым условием того, чтобы функционал вида (5.10) достигал
минимума на экстремали х (t) (аналогичным необходимому условию Лежандра),
является неотрицательность определителей
F- • ... F- xk = x{t-xk{t)),
>0,
FL • ... F- (А = 1,2, ...,п).
V= F(t, . . . , * ( * - T ^ * ) ) . . . . , * ( * - * * ( * ) ) . ..лхМу-хЛЪ),...)^
§ 6. Периодические решения
1. Линейные уравнения. Проще всего устанавливается существование
периодических решений для уравнений с постоянными коэффициентами и за
паздываниями (см., например, Браунелл [37], Роббинс [257], Оландер [215]).
А именно, для существования периодических решений таких уравнений необ
ходимо и достаточно наличие чисто мнимых корней у характеристического
квазиполинома D (р). Пусть pxi, p%i, . . ., pri такие корни. Тогда любое перио
дическое решение может быть представлено в виде
п
У И = 2 ( A cos pkx ~г Bk sin ркх). (6.1)
k=\
При этом если среди корней рх, . . . рп имеются несоизмеримые, то будут суще
ствовать также почти-периодические решения. Они тоже выражаются фор
мулой (6.1). В статье Эльсгольца [385] указаны некоторые свойства периоди
ческих решений. В частности, оценивается число собственных частот стацио
нарных линейных уравнений п-то порядка с одним запаздыванием. Показано,
что для наличия у уравнения Р (z) -\-Q (z) e~2X = 0 бесконечного множества
чисто мнимых корней, необходимо и достаточно выполнение условия
Р (iy) I = \Q ity) I» ~~~ °° < */ < + ° ° - Бесконечное множество чисто мнимых
корней возможно только у уравнений нейтрального типа.
Оландер [215] изучает целые функции с комплексными периодами,
являющиеся решениями уравнения у' (х) = у (х + а) (а действительно). Такое
решение, действительное на действительной оси, может иметь только дей
ствительные или чисто мнимые периоды. Для того чтобы решения имели
действительные периоды, необходимо наличие чисто мнимых корней у квази
полинома, а для существования решений с чисто мнимыми периодами — дей
ствительных корней. При некоторых значениях а могут быть два действитель
ных корня или одна пара мнимых сопряженных. Приведены условия для суще
ствования двух рациональных действительных корней.
Рассмотрим теперь систему неоднородных линейных уравнений с посто
янными коэффициентами и запаздываниями и периодической вектор-функ
цией f(t) периода 2я:
г
^ 1 = %aax(t-x0) + f{t). (6.2)
^ p . = _ 2 a ^ ( f + ta), (6.4)
<Х=1
ДИФФЕРЕНЦИАЛЬНЫЕ У Р А В Н Е Н И Я С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 131
где Т (х) и А (х) > 0 периодические с периодом я функции, причем х — А (х) > 0.
Указаны условия применимости к рассматриваемому уравнению известной
теории Флоке и получены необходимые и достаточные условия существо
вания периодического решения.
Специально изучено периодическое решение у0(х), определяемое началь
ными значениями у0 (0) = 0, у'0(0) = 1. Для этой начальной задачи методом
неподвижной точки доказана теорема существования периодического реше
ния, изучено поведение этого решения на фазовой плоскости, получены об
щие условия устойчивости и неустойчивости по Ляпунову, теоремы об устой
чивости и неустойчивости при «кратковременных импульсах», теорема об
устойчивости решения по отношению к возмущениям отклонений аргумента.
2. Нелинейные уравнения. Рассмотрим теперь систему уравнений с малы
ми нелинейными членами
п
^ = %Яч(*)У,«-8иШ (6.7)
9*
132 А. М. ЗВЕРКЙН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
х (t, р) = х{0) (t) + \ix{{) (t)+...+ \xnx{n) {t) + Rn (t, ц), (6.8)
и
где aG и т а постоянны, f(t) = {f1(t), . ..,/п(*)} % имеют период 2я
по t. Пусть система (6.2), получающаяся из (6.10) при [х = 0, имеет
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 133
периодическое решение
З»=^Ф;(0+..-+^Ф*(*)+Ф(0. (б.и)
где ф | ( 0 — решения однородной системы, а ф(£) — решение неоднородной
системы, и условия (6.3) выполнены.
Тогда для того, чтобы система (6.10) допускала периодическое решение
x(t, \х), которое при \х = 0 обращается в порождающее решение (6.11), необ
ходимо, чтобы числа M°v . . ., М% удовлетворяли системе
2я п
Р,{М\, ...,М%)=^\ 2 X s (*,.*» ( г - - О , ...,x°(t-xr),0)ysj(t)dt = 0 (6.12)
0 s=J
(/=1, ...к).
Если при этом якобиан ^ Д. 1 ' ' " ' *\ ^ 0 в точке (М4?, . . ., М%), то система
1
JJ{M1, . . ., Mk)
(6.10) имеет при | \i | < и единственное периодическое решение x(t, \i), кото
рое при (л = 0 обращается в порождающее решение (6.11).
Браунелл [37] рассматривает уравнение
п— 1 оо
х{п) х(к)
(*) + 2 \ С - h) dFh (h> л) + [р (xi л)] (О - о, (6.13)
&=о о
где и — параметр и [Р (х, ц)] (t) — нелинейный член, зависящий от
x(t — h), . . ., х^п~1) (t — h), 0 < h < оо. Рассматриваются три основных типа
[Р (х, т])] (£). Во всех этих типах [Р (х, т])] (t) имеет порядок не ниже второго
относительно x(t — h), . . ., яК71-1) (t — h). Ищется периодическое решение
(6.13) с частотой со.
Идея метода Браунелла, обобщающего теорию Шмидта *), состоит в сле
дующем. Замена переменных Uj(t)=xU~i)(—J приводит к системе
duj (t) \ M W
;+i(*)v / < '
n—1 оо
n—1 oo (6.14)
^ n (0
dt = - i 2 J K*-i С - ( 0 / г ) ^ <л' n) - 4- ^ (tt- ю- Ti)] (0;
h=0 6
искомое решение должно удовлетворять условию
u(t + 2n) = u{t). (6.15)
Это уравнение разрешимо при малых || у >\ и его решение имеет вид
u = f(y,z1, . . . , zm, у). (6.18)
Для того чтобы найденное и удовлетворяло уравнению (6.17), необходимо,
чтобы z1? . . ., zm были решениями системы скалярных уравнений, полученных
умножением (6.18) на ф1? . . . , ф ш :
S = ( / ( ° ' z i ' •••'**»* Y)> ФР) (/>=1, . . . , /w) (6.19)
(г/ = 0, так как уравнение (6.13) однородное). Если и (t) —решение (6.13),
то и u(t-\- а) также будет решением. Выбирая а, можно одно из чисел zp
сделать равным нулю. После этого из системы (6.19) найдем остальные zp
и со, как функции и. Такое решение (не считая тривиального zx = . . . = zm = 0)
существует, если якобиан системы, полученной из (6.19) исключением три
виального решения, отличен от нуля. Подстановка найденных значений
zv . . . -, zm и со в (6.18) дает искомое решение.
Метод неприменим, если при и — 0 уравнение (6.13) вырождается в ли
нейное, так как при этом якобиан всегда равен нулю. Строгое осуществление
описанной идеи очень громоздко.
Для нелинейной системы (в векторной записи)
d
-^± = f(t,x(t), x{t-%), u.) (6.20)
Халанай [315] доказывает, что если при и. = 0 система (6.20) имеет периоди
ческое решение х0 (t) такое, что линейная система
У И = А о ( ^ о ( 0 > хо(*-х)> 0)y(t).+ fkt-T){t, x0(t), x0(t — x), 0)y(t-x)
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 135
где функции М (х) и А (х) > 0 заданы и непрерывны при А < х< оо, X —
положительный параметр. Д л я уравнения (6.24) ставится однородная началь
ная задача (2.4), (2.5) с начальной функцией ф (х) (<р(А) — 1).
Уравнение (6.24) называется ф-осцилляторным, если все его нетривиаль
ные решения, определяемые начальной функцией ф (х), меняют знак на любом
интервале (а, оо), где а— произвольное число. Д л я ф-осцилляторности
достаточно выполнения следующих условий: множество точек, где определи-
дель Вронского, составленный для произвольной фундаментальной системы
решений уравнения (6.24), отличен от нуля, не ограничено справа, М(х)^>0
для достаточно больших х и Km (х— А (х)) = оо.
х->-эо
А
с тем же начальным условием метод последовательных приближений заклю
чается в том, что, исходя из произвольной непрерывной удовлетворяющей
начальному условию функции у (х) — у0 (х), строят последовательность при
ближений
х
х
Уп ( ) = <f(A)+\f (я, Уп-1 ( А Уп-i (х - А
(ж))) dx (л = 1, 2, . : .)•
А
ЕСЛИ / и ф непрерывны и / удовлетворяет условию Липшица по второму
и третьему аргументам, то последовательность приближений {уп(х)} равно
мерно сходится к единственному в этих условиях решению уравнения (7.1).
Как и для уравнений без отклонений, метод последовательных прибли
жений редко применяется как самостоятельный вычислительный метод. Чаще
он комбинируется с некоторыми интерполяционными методами.
В работе Клямко [122] изучаются условия применимости для прибли
женного решения уравнений с запаздывающим аргументом метода Чаплы
гина. В основной части работы рассматривается уравнение
у' {х) — F(x, у(х), у{х — А (х))) = 0 (0<ж<#).
Начальное множество Е0 CZ [а, 0] (а < 0). Правая часть имеет непрерывные
первые и вторые частные производные; частная производная по третьему
аргументу неотрицательна.
Существенно, что в построенной Клямко модификации метода Чаплыги
на, так же как и в случае уравнений без запаздывания, для вычисления после
довательных верхних границ решения приходится решать некоторое-
138 А. М. ЗВЕРКИН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
квазиполинома, например
ниях \у\, даже если решения остаются при этом ограниченными. Пинни раз
бирает большое число примеров и особенно подробно изучает уравнение типа
х" (t) + EDX' (t) + х (t - e) - p (x (t - e)) 3 = 0. (7.5)
]
) Н. Н. Б о г о л ю б о в , Ю. А. М и т р о п о л ь с к и и, Асимптотические методы
в теории нелинейных колебаний, М., Физматгиз, 1958.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 143
(8.1)
где R — многочлен, не содержащий членов первой степени и, следовательно,
имеющий высший порядок малости при малых \у{{)\. Предполагается, что все
г—1 q
нули характеристического квазиполинома D\(p) = рТ + 2 ^ a
mnPmehnP
rn=0 n=0
имеют отрицательные действительные части.
Обозначим S конечное множество нулей D (р), лежащих в интервале
C<Re/?<c<0. (8.2)
Образуем из них всевозможные линейные комбинации с целыми положитель
ными коэффициентами q = 2р 1? q = p1Jr р2, q = 4 р 2 + 2 / ? 3 и т - Д- Те из
этих комбинаций, которые лежат в интервале (8.2), обозначим S'. Тогда
имеет место разложение
ния на уравнение (8.8), при которых любое его монотонное решение будет
удовлетворять (8.13) для всех £ > Т.
Д л я сравнения с полученными оценками Кук приводит результат
Бореля: все решения алгебраического дифференциального уравнения
Р (t, и (t), и (t)) = 0 при некотором /судовлетворяют оценке \и (t)\ < ехр( -=- ) ,
а также некоторые оценки решений чисто разностных алгебраических урав
нений. Сравнение показывает резкое различие между уравнением (8.6)
и чисто разностными и чисто дифференциальными алгебраическими урав
нениями.
Метод исследования Кука допускает обобщение на уравнения с перемен
ным запаздыванием. Это сделано в его более поздней работе, посвященной
изучению роста решений алгебраического разностного уравнения P(t, u(t)>
и (* + а (*))) = о*).
Мак-Кирнан [154] рассматривает уравнение
Г{х) =
7йШ' <8Л4)
Ищется аналитическое решение fk (x) уравнения (8.14), обладающее тем свой
ством, что fk (к) = к. Оно представляется в виде ряда
со
и
Ряд (8.15) сходится для комплексных к таких, что | к | > ~у , Для
1 ! l/"5
\х— к\<—^-—. Для 0<&<1ряд (8.15) расходится.
Пусть Н — функция, имеющая обратную, a fh (x) определено выше. Тогда
gh(h)= H~xfkH будет решением уравнения
8 [Х)
If(g(*))u(g(g(x)))'
причем gh(k) (h(k)) = h(k).
Барба [5] рассматривает уравнение
у' (х)у(х) = у(у(х))
и показывает, как это уравнение можно свести к уравнению
у'{х) = у{х — т).
Бекэ [15] изучает уравнение
у(2х) = 2у(х)у'(х). (8.16)
г
) The rate of increase of real continuous solutions of certain algebraic functional equa
tions, Trans. Amer. Math. Soc. 92, № 1 (1959), 106—124.
10*
148 А. М. ЗВЕРКЙН, Г. А. КАМЕНСКИЙ, С. Б. НОРКИН и Л. Э. ЭЛЬСГОЛЬЦ
ЦИТИРОВАННАЯ ЛИТЕРАТУРА
11] М. С. А г р а н о в и ч , Общие решения дифференциально-разностных уравнений
с постоянными коэффициентами, ДАН 123 (1958), 9—12.
12] А. А. А н д р о н о в и А. Г. М а й е р, Простейшие линейные системы с запаздыва
нием. Авт. и телемех. 7 : 2—3 (1946), 95—106.
13] Н. I. A n s о f f, Stability of linear oscillating systems with constant time lag, Journ.
appl. Mech. 16 (1949), 158—164.
14] H. I . A n s o f f , J . A . К r u m h a n s l , A general stability criterion for linear oscilla
ting systems with constant time lag, Quart, appl. Math. 6 (1948), 337—341.
15] G. В a r b a, Sopra l'equazione funzionale f(x)f'(x)=f[f(x)] collegata ad un problema
geometrico I, II, Atti Accademia Lincei (6) 11 (1930), 655—658, 735—740.
[6] E. А. Б а р б а ш и н и Н . Н. К р а с о в с к и й , О существовании функций Ляпу
нова в случае асимптотической устойчивости в целом, ПММ 18 (1954) 345—350.
;[7] R. W. В a s s, A generalization of the functional relation Y(£+s)=Y(£)-Y(s) to piece-
wice-linear difference differential equations, Quart. Appl. Math. 14, 4 (1957),
415-417.
18] R. W. В a s s, Improved on-off missile stabilization, Jet propulsion 26 : 8 (1956),
644—648.
|9] M. И. Б а т ь, Вынужденные колебания в системе с гистерезисом, ПММ 4 (1940),
13-30.
[10] Н. B a t e m a n , Some equations of mixed differences occurring in the theory of pro
bability and the related expansions in series of Bessel's functions, Proc. fifth Internat.
Congr. Math. 1 (1912), 291—294.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 149
(1930), 9 1 - 9 7 .
[44] L. В r u w i e r, Sur une equation aux derivees et aux differences melees, Mathesis
47 : 3 - 4 (1933), 9 6 - 1 0 5 .
[45] L. В r u w i e r, Sur les solutions periodiques d'une equation differentielle fonctionelle,
I, II, Bull. Soc. Rend. Sci. Liege 4 : 12 (1935), 336-342; 5 : 1 (1936), 14—17.
[ 4 6 ] L . B r u w i e r, Sur I'integration, par une methode symbolique, d'une equation aux
derivees et aux differences melees, Mathesis 49 (1935), 54—58.
[47] L. В r u w i e r, Sur les equations integro-differentielles normales dont les termes
integraux contiennent la derivee de la fonction inconnue, I, II, III, Bull. Soc. Roy.
Sci. Liege 4 : 3 (1935), 119—124; 4 : 4—5 (1935), 162 — 166; 4 (1935), 217—219.
[48] L. B r u w i e r , Sur l'application du calcul symbolique a la resolution d'equations
fonctionneles, Bull. Soc. Roy. Sci. Liege 17 : 7—10 (1948), 230—245.
[49] L. B r u w i e r , Sur l'application du calcul symbolique a la integration d'une equa
tion differentielle fonctionnele, Bull. Soc. Roy. Sci. Liege 18 : 2 (1949), 72—82.
[50] H. J. В h a b h a and S. K. C h a k r a b a r t y , The cascade theory with collision
loss, Proc. Roy. Soc. London, Ser. A 181 (1943), 267—303.
[51] Б. М. Б у д а к и А. Д. Г о р б у н о в, О сходимости некоторых конечно-разностных
процессов для уравнений y' = f(x, у) и y'(x) = f(x, у(х), у(х—х(х))), Вестн. МГУ 1
(1958), 23—32.
[52] Б. В. Б у л г а к о в , Колебания, М., Гостехиздат, 1954.
[53] G. V а 1 i r о n, Sur les solutions d'une equation differentielle fonctionnelle, Bull.
Soc. Math. France 54 (1926), 53—68.
[54] Г. В а л и р о н , Аналитические функции, М., Гостехиздат, 1957.
[55] J. Т. V a n d e r W e r f f , Die mathematische Theorie der biologischen Reaktions-
erscheinungen, besonders nach Rontgenbestrahlung, Acta radiologica 23 (1942),
603—621.
[56] J . T . V a n d e r W e r f f , On some functional equations arising in the theory of the
biological phenomena of reaction to X-rays, Nieuw. Arch. Wiskunde (2) 21 (1943),
197—211.
[57] W a n g R о u H w a i, On the existence of bounded solutions of non-linear diffe
rence-differential equations, Sci. Record N.S. 2 : 1 (1958), 23—26.
[58] W a n g L i a n, On the equivalence problem of differential equations and difference-
differential equations in the theory of stability of the first critical case, Sci. Record
N.S. 2 : 7 (1958), 207—210.
[59] В а н Л я н ь, Об устойчивости решений уравнений с запаздывающим аргументом,
Sci. Record N.S. 3 : 7 (1959), 280—288.
[60] S. V e r b l u n s k y , On a class of differential-difference equations, Proc. Lond. Math.
Soc. Third series 4 : 23 (1956), 355—365.
[61] Д. А. В и к к е р, Эффект запаздывания в процессах автоматического регулирова
ния, Авт. и телемех. 6 (1937), 59—76.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 151
[86] А. С. D i x o n , On the solving nuclei of certain integral equations whose nuclei are
homogeneaus and of degree-1 and the solution of a class of linear functional equations,
Proc. London. Math. Soc. (2) 27 (1928), 233—272.
[87] Ю. В. Д о л г о л е н к о, Периодические режимы в релейной системе регулирова
ния, содержащей звено чистого запаздывания, Научно-техн. информ. бюлл.
Ленингр. политехи, ин-та им. М. И. Калинина 12 (1957), 3 — 13.
[88] Ю. В. Д о л г о л е н к о, Устойчивость и автоколебания релейной системы регули
рования с запаздыванием, Авт. и телемех. 13 : 2 (1952).
[89] S h. D о s s and S. К. N a s r, On the functional equation у' — f(x, y(x), у {x~\-h))r
/ г > 0 , Amer. Journ. Math. 75 (1953), 713—716.
[90] E. M. E с и и о в и ч, Об устойчивости решений одного класса дифференциальных
уравнений с запаздывающим аргументом, ПММ 15 (1951), 601—608.
[91] S. К. Z a r e m b a, Sur une extension de la notion d'equation differentielle, Compt.
Rend. Acad. Sci. (Paris) 199 (1934), 545—548.
[92] A. M. 3 в е р к и н, К теории линейных дифференциальных уравнений с запазды
вающим аргументом и периодическими коэффициентами, ДАН 128 (1959), 882 — 885.
[93] А. М. 3 в е р к и н, Общее решение линейного дифференциального уравнения
с отклоняющимся аргументом, Научн. докл. высш. школы, физ.-хматем. науки 1
(1959), 3 0 - 3 7 .
[94] А. М. 3 в е р к и н, Зависимость устойчивости решений линейных дифференциаль
ных уравнений с запаздывающим аргументом от выбора начального момента,
Вестн. МГУ, сер. матем., мех., астроном., физ., хим. 5 (1959), 15—20.
[95] А. М. 3 в е р к и н, Г. А. К а м е н с к и й, С. Б . Н о р к и н, О постановке началь
ной задачи для дифференциального уравнения с опережающим аргументом, УМН
15 : 6 (96) (1960), 133 — 136.
[96] Т. С. 3 в е р к и н а, Приближенное решение дифференциальных уравнений с
отклоняющимся аргументом и дифференциальных уравнений с разрывными пра
выми частями, Труды семинара по теор. диф. ур-ий с откл. арг., Ун-т дружбы
народов 1 (1962), 76—93.
[97] R. M. S i e w е г t, Zur theoretisch-mathematischen Behandlung des Problem der
biologischen Strahlenwirkung, Acta radiologica 22 (1941), 237—251.
[98] L. S i 1 b e r s t e i n, On a hystero-differential equation arising in a probability
problem, Phil. Mag. London (7) 29 (1940), 7 5 - 8 4 .
[99] L. S i 1 b e r s t e i n, Solution of the equation f'(x) = f (— ") , Philos. Mag (7) 30
x
\ у
(1940), 185 — 186.
[100] В. И. З у б о в, Один метод интегрирования дифференциальных уравнений, описы
вающих колебания механических систем с распределенными параметрами, Вестн.
ЛГУ 2 (1954), 69—75.
[101] В. И. 3 у б о в, К теории линейных стационарных систем с запаздывающим аргу
ментом, Изв. высш. уч. зав., Матем. 6 (7) (1958), 86—95.
[102] В. И. З у б о в , Математические методы исследования систем автоматического
регулирования, Л., Судпромгиз, 1959.
[103] S. I z u m i , On the theory of linear functional differential equations, Tohoku math.
Journ. 30 (1929), 10—18.
[104] The damping effect of time lag, The Engineer 163(1937), 439.
[105] B. G. Y a t e s , The linear difference-differential equation with linear coefficients,
Trans. Amer. Math. Soc. 80 : 2 (1955), 281—298.
[106] Я. Б . К а д ы м о в, К методам исследования устойчивости систем с распределен
ными параметрами, ДАН АзССР 12 (1956), 543—545.
[107] S. K a k u t a n i and L. М а г k u s, On the non-linear difference-differential equa
tions y'(t) = [A— By{t—x)\ у (t), Ann. Math. Studies 41 (1958) (Contributions to the
theory of non-linear oscillations, v. 4).
[108] M. К a 1 e с k i, On macrodynamic theory of business cycle, Econometrica 3 (1935)»
327—344.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ 153