CC BY
34
УДК 517.21.3 ББК 22.161.1 С 78
Сташ А.Х.
Кандидат физико-.матаматических наук, старший преподаватель кафедры математического анализа и .методики преподавания .математики факультета .математики и компьютерных наук Адыгейского государственного университета, Майкоп, тел. (8772) 59-39-05, e-mail:
aidamir.stash@gmail.com
О счетных спектрах полной и векторной частот линейной двумерной дифференциальной системы
(Рецензирована)
Аннотация
Доказано существование линейной двумерной неавтономной дифференциальной системы со счетным множеством существенных (и метрически, и топологически) значений полной и векторной .
Ключевые слова: линейная дифференциальная система, колеблемость решений, число нулей, пол, .
Stash A.Kh.
Candidate of Physics and Mathematics, Senior Lecturer of Department of Mathematical Analysis and Methodology of Teaching Mathematics of Mathematics and Computer Science Faculty, Adyghe State University, Maikop, ph. (8772) 59-39-05, e-mail: aidamir.stash@gmail.com
About calculating ranges of full and vector frequencies of the linear two-dimensional differential system
Abstract
Existence of linear two-dimensional nonautonomous differential system with a calculating set of essential (both metric and topological) values offull and vector frequencies is proved.
Keywords: linear differential system, variability of solutions, number of zero, full frequency, vector frequency.
Введение
Рассмотрим множество Mn линейных однородных дифференциальных систем
x = A(t)x, x e Rn, t e R + = [0,+^),
каждая из которых отождествляется со своей ограниченной непрерывной оператор-функцией A : [0,+~)^ End Rn. Множество всех ненулевых решений системы A e Mn обозначим через S*( A).
Определение 1 [1]. Для каждой системы A e Mn, произвольного решения x e S*(A), вектора m e Rn и момента t > 0 обозначим через v(x, m, t) число нулей (возможно, бесконечное) скалярного произведения (x(t), m) на промежутке Te (0, t], а полной и векторной частотами решения x назовем величины
— п — П
<г(x) = inf lim — v(x, m, t), Z(x) = lim inf — v(x, m, t).
meR"t^+™ t meRn f
К определению 1 добавим обозначение v(x, m, t2, t1) = v(x, m, t2) — v(x, m, t1) числа нулей скалярного произведения (x(t),m) на промежутке Te (t1,t2].
С каждой из частот а, описанных в определении 1, и с каждой системой A e Mn можно связать функционал а>А : S*(A) ^ [0,+^).
Определение 2. Спектром частоты аА системы А є Мп назовем область ее значений, а значение частоты а, принадлежащее спектру системы А, назовем:
а) метрически существенным [2], если оно принимается на решениях х є £*(А), множество наборов х(0) є Яп начальных значений которых содержит множество положительной меры Лебега в Яп;
б) метрически существенным [3], если оно принимается на решениях х є £«(А),
множество наборов х(0) є Яп начальных значений которых, пресеченное с некоторым
открытым подмножеством и с Яп, служит дополнением в и к множеству первой категории Бэра.
Спектры полной и векторной частот автономных дифференциальных систем полностью исследованы [4, 5]. Основные результаты исследований спектров тех же частот неавтономных систем приведены в работах [6-9]. В частности, в [9] было установлено существование линейной однородной двумерной периодической системы, спектры полной и векторной частот которой содержат один и тот же конечный набор, состоящий из любого наперед заданного числа метрически и топологически существенных значений. В связи с этим возникает вопрос: существует ли линейная однородная двумерная система со счетным спектром метрически и топологически существенных значений полной или векторной частоты? Этому вопросу посвящена настоящая статья.
Основной результат
Теорема. Существует система А є М2, имеющая такую последовательность решений х1,х2,...,є £*(А), удовлетворяющая условиям
°(Хг ) = С(Хг ) = 1 - 2-і, г є ^,
причем все эти значения полной и векторной частот являются метрически и топологически существенными.
Данный результат был доложен на семинаре по качественной теории дифференциальных уравнений в МГУ им. М.В. Ломоносова и анонсирован в докладе [7].
При доказательстве этой теоремы нам понадобится следующая лемма, справедливость которой непосредственно следует из доказательства леммы 5 [10]:
Лемма. Пусть последовательность положительных чисел ї1 < і2 < ... удовлетворяет условиям
ііш Ї, = +ы, ІІШ — = 1.
к—+ы к к—+ы і
1к
Тогда для любого решения х є £«(А) любой системы А є Мп справедливы равенства:
-- П - П
1) ^(х) = тґ Іті — у(х т ікX С(х) = 1іш іпґ — У(Х т ік^ (1)
тєЯп к—+ы і к—+ы тєЯп і
кк
2) если последовательности {Тк}, {ук} неотрицательных чисел удовлетворяют условиям
Ііш — = Ііш — = 0 ,
к ——+ы і к ——+ы і
кк
то после уменьшения в правых частях формул (1) каждого из чисел ік в знаменателе дроби на Тк, а каждого из чисел у(х, т, їк) на Ук значения этих правых частей не изменятся. Доказательство теоремы.
1. При каждом к є N обозначим через Лк = 2к+1 п и возьмем любую строго убы-
вающую последовательность положительных чисел [ек}, стремящуюся к нулю.
Зададим последовательность
1о — о, 1 =\, ^ — гк +4, к е N.
Начиная с некоторого номера к1, всегда можно добиться, чтобы выполнялись неравенства
1к+1 = 1 + 4 < 1 + £,, к > к,.
1 1
к к
Меняем элементы этой последовательности, начиная с некоторого номера к2,
^+1 — 1к +4, к > к2 ,
так, чтобы
= 1 + 4 < 1 + е2, к > к2.
11 2
кк
Далее по индукции продолжаем менять полученную последовательность. Если для любого г е N построена последовательность, элементы которой, начиная с ki номера, удовлетворяют условиям
1к+1 — 1к +4, к > к,
1к+1 = 1 +4 < 1 + £., к > к ,
11
кк
то выбираем ki+1 так, чтобы при любом к > ki+1 были выполнены условия
1к+1 — 1к+4+^ =1+4+1 <1+ег+1.
1к 1к
В результате получим последовательность
1к+1 = 1к + 4 (к),
обладающую свойствами
Нш 1к = +~, Нш — = 1.
к^+~ к к^+~ 1
к
2. Разобьем промежуток [о, 11 ], образованный первыми двумя элементами построенной в пункте 1 последовательности, точками
11 — 2п, 11 — 11 + 2п
на части
[0,11.1 [411].
Остальные промежутки [к, 1к+1 ], образуемые соседними элементами этой последовательности с шагом 4, также разбиваем на части
\(к, 1к 1 \^к, 1к+1 ],
где 11 — 1к + 2п, 1к+1 —11 + 2п
Промежутки вида [к, 1к+1 ], образуемые соседними элементами построенной последовательности с шагом 42 , разбиваем точками
1к — 1к + 2 П, 1к — 1к + 2П, 1к+1 — 1к + 2П,
на промежутке
Ь, і1 -І [4, і* -і к2, ік+1].
Любые два соседних элемента (с номерами к > к3) построенной последовательности связаны соотношением
ік+1 = ік +Л, К ^ к < кг+1 .
Промежутки вида [ік, ік+1 ], образованные соседними элементами построенной последовательности с шагом Л, с помощью точек
4 = ік + 2гп, і* = 4 + 2г-1п, її = і* + 2г-2п, ...,
ік-1 = ік-2 + 22п, ік = ік-1 + 2п, ік+1 = ік + 2п
г -1 г - 2 2 г г -1
ік
разбиваем на г + 1 частей:
[1к, 41 [4,1к21 [1к2,1к 1-, [1к, 1к+1.1 (2)
3. Зададим 2п периодическую непрерывно-дифференцируемую функцию у(1), возрастающую на отрезке [0,п], убывающую на участке [п,2п] и принимающую на концах отрезков значения
у/(0) = у(2п) = 0, у(п) = п, (0) = (п) = у/ (2п) = 0.
Выберем е > 0 и положительную строго убывающую последовательность {дк} так, чтобы
1
6
>£>ёк, к є N
1 <е + дк <1, ке N.
4 к 3
Для каждого г е N определим двумерные матрицы
X (1Д) = (), г 2(гД))
где
Х1(1) = (С08((1 -е)У(1))^ Д (- 8*п((1+Д )у(1 ))Л
Х [ вШ((1 -е)У(1))
Так как при любом фиксированном г е N
ёй X(1, Д) = соБ((е + Д )у(1)) > 1/2,
то матрица
1
С08((1 + дг )у(і))
х-\іЛ)
Ґ С08((1+3 ¥(і)) БШ((1+3 ¥(і))Л
С0Б((£ + 3 )^(і)) І - 8ІП((1 - ££у(І)) С0й((1 - ££Щ(І))
непрерывна и ограничена на Я +.
Известно, что фундаментальная матрица удовлетворяет исходному матричному уравнению
X (і ,3) = А (і) х (і,з),
а значит, без труда восстанавливается система
д. (і) = X (і,3) х-'(і ,3)
из пространства М 2 .
4. Построим систему А є М2, фундаментальная система решений которой на каждом из промежутков (2) при любом фиксированном значении к будет совпадать с наперед выбранными вектор-функциями с положительными определителями Вронского,
подобно тому, как это делалось в пункте 3 настоящего доказательства:
- на участке [їк, 4 ] - найдем систему, фундаментальная матрица X(і, (к, 4) которой совпадает с X (I, 31);
- на участке [4, 4 ] - найдем систему, фундаментальная матрица X(і, 4, 4) которой совпадает с X (I, д2);
- и т.д.;
- на участке \(гк2, Ґк1 ] - найдем систему, фундаментальная матрица X(і, Ґк 2, Ґк1) которой совпадает с матрицей X (і, 8І_1);
- на участке \(гк1, 4 ] - найдем систему, фундаментальная матрица X(і, (і-1, Ґк) которой совпадает с матрицей X (і, 8І);
- на участке [4, і к+1 ] - найдем систему, фундаментальная матрица X(і, ((, Ік+1) которой совпадает с матрицей X (I, Зм).
Теперь на всем участке [їк, і к+1 ] найдем систему, фундаментальная матрица
X (їк, 4 } 1 є[|к, 41
X(4 4І 1 є[ 4 1
У(„ ( )_)X((к2,} 1 ^ 4]
л V, Ч, Ч+1 /
X ( (к-1, А) ї є[\ їк ]
( (к, (к+1 )■ 1 Є [к ’ 1к+1 ] которой в точках стыка удовлетворяет равенствам
X(,ґ;2,] )= X(,і]-1,і’)=), ] = 2,3,,і+1,
0 0
,0 0,
, ] = 2,3,к, І +1,
___ ^0 ___ > А+1 ___ >
где 1к = к, к =
к+1
Повторяя эту процедуру построения на каждом промежутке вида [, (к+1 ] при любом к є N, получим на Я + непрерывно-дифференцируемую фундаментальную матрицу
'X(і,0, І1), і є [0, І1 ],
X (, I1, (2), 1 є ^ (2 ]
X ()= X (і , ^ (з) 1 є [і2 , (3 1.
так как выполняются равенства
X (, 1 к-1, (к) = X (, (к, 1 к+1) = Е ^ є N,
(, (к-1, (к ) Х (, (к, (к+1 )
00 V0 0У
Укє N,
а значит, коэффициенты восстановленной двумерной системы А на Я + являются не-
прерывными и ограниченными.
5. При любом ] є N выберем из множества £*(А) решение
у1 = с]х1 + с2х2, с/,с] > 0,
обладающее свойством
у11 )=-™ • у1 к"1 + п) ™ > 0, (3)
где 1к - элемент построенной последовательности, с которого начинается шаг Л;., а 1]1
- левый конец ]-го промежутка в разбиении отрезка [їк , Iк +1 ] на составляющие (при ] = 1 имеем І = 0).
Для выбранных решений определим величины
г (.1)_ ,т,(1,(к)+УІу-’,т,£11)+ • • • + ^(У,т,(к+1,4(к)) =
лк V/ > 2і(к)+1
= :_ґ ^(У, т (к , т Ik2,11)+ -+^(У, т (к+^ 4(к))
тєЯ 2і(к)+1 ’
где ] < І(к), а І(к) совпадает с номером шага между 1к и 1к+1.
Каждое решение у є £*(А) на любом участке длины п не может совершить поворот более чем на (1+ 51 )-1800 < 2700, поэтому это решение может быть ортогональным любому ненулевому двумерному вектору т не более чем два раза. Следовательно, функция (у, т) на любом конечном участке (0, I] может иметь только конечное число нулей, т. е.
у(у, т, 1,0) <+~. (4)
Введем в рассмотрение функцию р, которая каждому ненулевому двумерному вектору ставит в соответствие угол между этим вектором и положительным направлением оси ох1, отсчитываемым против часовой стрелки.
Зафиксируем произвольные значения ], к є N. Решение у1 є £«(А) на участке (їк, Iк + 2п] за промежуток времени п совершает поворот на определенный угол
р0 (у1 ) = (1к + п))- (1к ))
против часовой стрелки и за такое же время успевает занять исходное направление
у1(г) = (c/, с2} (5)
где г = 2^ - 1)п, ^ є N.
На промежутках
(|к + 2п, (к + 4п1 (|к + 4п, (к + 6п]к, (4 - 2п, 11 ] (6)
решение у1 ведет себя точно так же.
На промежутке ((к, (к + 2п] за время п поворачивается на угол
р1)=(4+п))- ру(4 Л
а затем, возвращаясь по часовой стрелке, занимает исходное направление (5). На промежутках
у4+2п, 11+4п] (4+4п 11+6п1 ■• ■ •, (|к2 - 2п 4]
все полностью повторяется.
На следующих промежутках
fe 4J= («'к2, 4 + 2пЫ^ + 2п t2k + 4nJu...и(4 -2п t\J, fe 4 bfe 4+2пЫ4+2п 4+4nJ^ - - 2п к J
(tk, tk+1 J=(tk, tk + 2nJ^(tk + 2п, t^ + 4nJU . .. ^(tk+1 — 2п, tk+i J все повторяется, но с каждым разом, при переходе с одного промежутка на другой, угол поворота решения у1 за время п уменьшается, т.е. выполнены неравенства
(Poiy1) > (Pliy1) > — > (Рг-liy1) > (Pr-l^X (7)
где
P2 (y1)=p(yJ (tk + п)- р( ( (• ■ •, р ()=p(yJ (tk+п)-p(yJ ())
(г совпадает с номером шага между tk и tk+1), откуда следует справедливость неравенств р( (0)) < р(2(0)) < K < р(у1 (0)) < ... < р(2 (0))
Таким образом, при подсчете числа нулей функции {yJ, m) при любом m е R2 на промежутке (tk, tk+1J достаточно знать поведение решения у1 на участках
(tk, tk + П1 (tk , tk + П1 • • •, (tk, tk + П] (8)
6. В силу (3), (7) решение у1 е S*(A) при любом фиксированном значении kе N на участках (8) удовлетворяет соотношениям
р{у1(^к+п))-р(у1(^) )= 1800, р( ( + п))-р( fe ()< 18^ р( ( + п))-р( ( ()< 1800.
Поэтому если решение у1 на (4, tk J ни разу не было ортогональным некоторому вектору m1 , то подавно и на промежутках
(£ 41 fe tk 1-- (tk, tk+1J
это решение также ни разу не будет ортогонально этому вектору. Выбранному вектору m1 решение у1 на промежутке (tk, tk +nJ ровно один раз будет ортогональным, поэтому
inf v(y\mtk+l,tk) = у(у\^tk) = ^ kе N.
meR
Таким образом, справедливо равенство
t \ 2г (k)
Xk( h ^ = 2-1, Vk e N .
При любом фиксированном k > k2 на промежутках (8) решение у2 е S*(A) в силу (3), (7) удовлетворяет соотношениям
2700 >р(у2(tk + п))-р(у2(tk))> 1800,
р(у2(+п))-р(у2 ( ()= 1800, р(2 (tk2 + п)- р(2 (tk2 () < 18^ р(у2 (tk +п)-р(у2 ( (< 1800.
Поэтому для обеспечения минимального количества нулей функции (у2, т) на промежутках
4 1 к, 41-, к , ^ \
достаточно выбрать вектор т2 так, чтобы решение у2 на промежутке (^, 4 \ ни разу не было ортогональным этому вектору.
На каждом из промежутков (^, ^ +^\, (4, 4 + п\ решение у2 будет ортогональным вектору т2 один раз, а значит,
^У {у2,m,^гк) = у((m2,^гк) = 3 • 2г(к)-1, к > к^
теЯ
поэтому
( 2\ З• 2і(ї)-І З
Zk(у )^-^7сї)+^ = 4і Vkгk2.
Начиная с первого момента kq появления шага Aq при любом фиксированном k > kq на участках (8) решение уq е S*(A) в силу (3), (7) удовлетворяет соотношениям
2700 >р((tk + п))-р((tk))> 1800,
р( (( + п))-р( (4 (> 1800, р( (2+п)- pCyq (2)) > 1800,
р( (-1 + п)-р( ()= 1800, р( ( + п))-р( (()< 1800, р( ( +п)-р( ( (< 1800.
Поэтому, выбрав вектор mq таким, чтобы решение уq ни разу не было ортогональным этому вектору на промежутке (tkq , tkq+1 J, обеспечим на промежутках
tf. с2 J 2>г2. <;'+3 I-, (tk, tk+1 J
минимальное количество нулей функции (q, m) при m = mq. Выбранному вектору решение уq будет ортогональным один раз на каждом из промежутков
(tk, tk+4(tk, 4 +п\■■., (tf1, tV+nJ,
следовательно,
inf ,m,tk+1,t,,,mq,tk+Lt,)=( - 1))-q+1, k > i,
откуда следует
(2q - l) 2l (k ^ ^1 = ^ —q
2
Z (vq)-1 -=1 - 2-q 1 k г kq . (9)
7. При вычислении нижних векторных частот любого выбранного решения у9 будем пользоваться леммой, согласно которой (см. (4)) можно не учитывать полуинтервал (0, 1к ] (т.е. не учитывать его вклад ни в длину промежутка, на котором подсчитывается число нулей решения, ни в само это число). Следовательно, при любом 9 є N для решения у9, с учетом равенств (9), получим:
- З0 -
С(уч) = Пт тГ —у(уч,т,гр)= Ит — у(уч,тч,гр) =
р—+~ теЯ t Р Р—+~ t
Р Р
___п/(уч,тЧ,tklI)+пХ(ч,тЧ,^^й _________(ч,тЧ,^^У
= Ит---------------------------------^-= Пт ----------------:
р——+^ t Р——+^ t — t
1р+1 р 1р+1 1кч
= Ит-^
р—+~
(ч, тЧ, ^ ()+у(уЧ, тЧ, 4, 4)+ - •+^ (уч, тЧ, t.■+l, t/(г)))
п(( (кч)+1 + 2 ((кч+1)+1 + — + 21 (р)+1) =
= гг- п (( (Уч)+ 2Кк+1)+1 А+1 (уч)+ ^ + 21 (р)+1Хр (уч)) =
р—т п(2;(кч )+1 + 2;(к<г+1 + • • • + 21 (р)+1)
= — (1 — 2—ч )(2;(кч)+1 + 21 (кч+1)+1 + • • • + 21 (р)+1) = 1 2—ч = р1——т 21 к )+1 + 21 к+1)+1 + ... + 21 ( р )+1 = 1 2 ,
где 7'(.) совпадает с номером шага между ti и ti+1.
Для полной частоты решения уч имеем следующую оценку:
а(уч)= тГ Нт —у(уч,т,t )< Нт —у(уч,тч,tp) = 1 — 2—ч.
теЯ р—+~ t р—+~ t
РР
Из определений частот следует, что для любого решения у е £*(А) имеет место неравенство £ (у) < <7(у), на основании которого окончательно получаем
а(уч)= С(уч)= 1 — 2"ч, че N. (10)
8. Для каждого ч е N произвольное решение 2 е £«(А) с начальными условиями
рР2(0)) е руч (0)),р(уч+1 (0))) при любом фиксированном к > кч удовлетворяет соотношениям:
2700 >р( +п))-р())> 1800, р(( +П))-Pу(t1 ()> 18^
р((Г2 + Р(Г2 й > 1800,
<р(г( + Р( (tГ1 () > 1800,
рМ^ + п))- рМ^() < 1800,
Р( (к +П--PУГ ()< 1800.
Поэтому, на основании пункта 7 настоящего доказательства, для решения
2 е £«(А) выполняются равенства
<г(г) = ^(2) = 1 — 2—ч, ч е N.
Следовательно, значения, задаваемые равенствами (10), являются существенными и метрически, и топологически.
Теорема полностью доказана.
Замечание. Доказанная теорема остается в силе и после замены верхнего предела в определениях полной и векторной частот на нижний предел.
Автор выражает глубокую благодарность профессору И.Н. Сергееву за постановку задачи и внимание к работе.
Примечания:
1. Сергеев ИЛ. Определение полных частот решений линейной системы // Дифференциальные уравнения. 2009. Т. 45, № 6. С. 908.
2. Сергеев ИЛ. Метрически типичные и существенные значения показателей линейных систем // Дифференциальные уравнения. 2011. Т. 47, № 11. С. 1661-1662.
3. Сергеев ИЛ. Топологически типичные и существенные значения показателей линейных сис-
// . 2012.
Т. 48, № 11. С. 1567-1568.
4. Сергеев ИЛ. Сравнение полных частот и показателей блуждаемости решений линейной сис-
// . 2010.
Т. 46, № 11. С. 1667-1668.
5. Бурлаков Д.С., Цой СВ. Равенство полной и векторной частот решений линейной автоном-
//
2011. Т. 47, № 11. С. 1662-1663.
6. Сташ А.Х. Спектры полных и векторных частот двумерных линейных дифференциальных систем // Дифференциальные уравнения. 2013. Т. 49, № 6. С. 807-808.
7. Сташ А.Х. Свойства полных и векторных частот решений двумерных линейных дифферен-
// -нения. 2013. Т. 49, № 11. С. 1497-1498.
8. Сташ А.Х. О разрывности крайних частот на множестве линейных двумерных дифференци-
// -дарственного университета. Сер. Естественноматематические и технические науки. 2013. Вып. 4 (125). С. 25-31. иКЬ: http://vestrnk.adygnet.ru
9. Сташ А.Х. О конечных спектрах полной и векторной частот линейной двумерной дифферен-
//
Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2014. Вып. 1 (133). С. 30-36. иИЬ: http://vestnik.adygnet.ru
10. Сергеев ИЛ.Определение и свойства характе-
//
Труды Семинара им. ИТ. Петровского. 2006. Вып. 25. С. 249-294.
References:
1. Sergeev I.N. Determination of full frequencies of solutions of a linear system // Differential equations. 2009. Vol. 45, No. 6. P. 908.
2. Sergeev I.N. Metricaally typical and essential values of indices of linear systems // Differential equations. 2011. Vol. 47, No. 11. P. 1661-1662.
3. Sergeev I.N. Topologically typical and essential values of indices of linear systems // Differential equations. 2012. Vol. 48, No. 11. P. 1567-1568.
4. Sergeev I.N. Comparison of full frequencies and indices of roaming of solutions of a linear system // Differential equations. 2010. Vol. 46, No. 11. P. 1667-1668.
5. Burlakov D.S., Tsoy S.V. Equality of full and vector frequencies of solutions of linear autonomous system // Differential equations. 2011. Vol. 47, No. 11. P. 1662-1663.
6. Stash A.Kh. Spectra of full and vector frequencies of two-dimensional linear differential systems // Differential equations. 2013. Vol. 49, No. 6. P. 807-808.
7. Stash A.Kh. Properties of full and vector frequencies of solutions of two-dimensional linear differential systems // Differential equations. 2013. Vol. 49, No. 11. P. 1497-1498.
8. Stash A.Kh. On discontinuity of extreme frequencies on a set of the linear two-dimensional differential systems // The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2013. Iss. 4 (125). P. 25-31. URL: http://vestnik.adygnet.ru
9. Stash A.Kh. On finite spectra of full and vector frequencies of linear two-dimensional differential periodic system // The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2014. Iss. 1 (133). P. 30-36. URL: http://vestnik.adygnet.ru
10. Sergeev I.N. Definition and properties of characteristic frequencies of the linear equation // Works of Seminar of I.G. Petrovsky. 2006. Iss. 25. P. 249-294.
