CC BY
10
УДК 517.926 ББК 22.161.1 С 78
Сташ А.Х.
Кандидат физико-математических наук, доцент кафедры математического анализа и методики преподавания математики факультета математики и компьютерных наук Адыгейского государственного университета, Майкоп, тел. (8772) 593905, e-mail: [email protected]
О некоторых свойствах полных и векторных гиперчастот решений двумерной дифференциальной системы
(Рецензирована)
Аннотация. Установлено, что полные гиперчастоты, рассматриваемые как функционалы на множестве решений линейных однородных двумерных дифференциальных систем с непрерывными ограниченными на полуоси коэффициентами, не являются остаточными (то есть могут меняться при изменении решения на конечном отрезке). Кроме того, приводится пример двумерной дифференциальной системы, для некоторого решения которой полная и векторная гиперчастоты не совпадают.
Ключевые слова: линейная дифференциальная система, колеблемость решений, число нулей функции, полная частота, векторная частота.
Stash A.Kh.
Candidate of Physics and Mathematics, Associate Professor of Department of Mathematical Analysis and Methodology of Teaching Mathematics of Mathematics and Computer Science Faculty, Adyghe State University, Maikop, ph. (8772) 593905, e-mail: [email protected]
On some properties of total and vector hyper frequencies of two-dimensional differential system solutions
Abstract. The paper shows that total hyper frequencies considered as functionals on a set of ssolutions to linear homogeneous two-dimensional differential systems with continuous coefficients limited on a semiaxis are not residual (i.e. they can change with changing solution on a final interval). Besides, an example is given of two-dimensional differential system for some solution of which total and vector hyper frequencies do not coincide.
Keywords: linear differential system, variability of ssolutions, number of function zeroes, total frequency, vector frequency.
Введение
Ляпуновские характеристики колеблемости дифференциальных уравнений и систем впервые были введены И.Н. Сергеевым в работах [1-3]. Важным свойством этих характеристик, призванным облегчить их исследование, является остаточность [4], то есть инвариантность относительно изменения решения на любом конечном отрезке. Векторные гиперчастоты любых решений, как оказалось [3], всегда совпадают с их показателями блуждаемости, которые являются остаточными. Для решений линейных однородных уравнений первого порядка все характеристики колеблемости равны нулю, так как эти решения не имеют нулей, а для всех решений любого уравнения второго порядка все верхние (как и все нижние) частоты равны между собой [5]. Следовательно, на множестве решений уравнений первого и второго порядков наблюдается остаточность всех характеристик колеблемости. В [6] доказано отсутствие свойства остаточности у полных гиперчастот решений дифференциальных уравнений третьего порядка, а в [7] приводится пример линейного уравнения третьего порядка, для некоторого решения которого полная и векторная гиперчастоты не совпадают. О существовании аналогичного примера для двумерных систем, а также об остаточности полных частот гиперкорней для множества решений линейной однородной двумерной системы не было ничего известно. Этим вопросам и посвящена настоящая работа.
Рассмотрим множество Mn линейных однородных дифференциальных систем
x = A(t)x, x e Rn, t e R+ = [0,+да),
каждая из которых отождествляется со своей ограниченной непрерывной оператор-функцией A : [0,+го)^ End Rn. Множество всех ненулевых решений системы A е Mn обозначим через S*(A) и положим Sn = U S*(A).
AeMn
Определение 1 [2, 3]. Для решения х е S*(A) какой-либо системы A е Mn, чисел t > ^ > 0 и вектора да е Rn обозначим через v*(х, m, t, 5) количество гиперкорней скалярного произведения (х(г),rn на промежутке (5,t], где в процессе подсчета этого количества:
a) каждый некратный корень берется ровно один раз;
b) любой кратный корень берется бесконечно много раз независимо от его фактической кратности (другими словами, как только хотя бы в одной точке г0 е (5, t] выполнены одновременно оба равенства (х(г0), m) = ( х (r0), m) = 0, так сразу величина v*( х, m, t, 5) считается равной бесконечности, а в противном случае она равна числу нулей функции (х, m} на промежутке (5,t]).
Определение 2 [2, 3]. Каждому решению х е S*(A) системы A е Mn поставим в соответствие верхнюю (нижнюю) полную и векторную гиперчастоты или частоты гиперкорней:
а*(х) = inf lim —v*(х,m,t,0) I а*(х) = inf lim —v*(х,m,t,0) I,
mеRn tt ^ mеRn tt J
£*(х) = lim inf —v*(х,m,t,0) I £*(х) = lim inf —v*(х,m,t,0) I.
tше^" t ^ tшеЖ- t J
В случае совпадения полной или векторной верхней частоты гиперкорней решения х с одноименной нижней будем называть ее точной и обозначать а( х) или £( х) соответственно.
Определение 3 [4]. Для заданных множеств M и F = {f: R+ ^ M } назовем функционал Я: F ^ R остаточным, если для любых функций f, g е F, удовлетворяющих хотя бы при одном t0 е R+ условию f (t) = g(t), t > t0, имеет место равенство Я( f) = Я(g).
Формулировка и доказательство результатов
Теорема 1. Существует система A еM2, некоторое решение z е S*(A) которой удовлетворяет неравенству £(z) < а(z) .
Теорема 2. Каждый из функционалов а*, а*: S2 ^ R+ не является остаточным.
Доказательство теоремы 1.
1. Зададим 2— периодическую непрерывно-дифференцируемую функцию <(t), возрастающую на отрезке [0,—], убывающую на участке [—,2—] и принимающую на концах отрезков значения
ф(0) = ф(2—) = 0, <(—) = — ф(0) = ф(—) = ф(2—) = 0.
Далее определим последовательность 0,1 >s1 > s2 >... > положительных чисел, стремящуюся к нулю, и составим матрицы второго порядка
X(t, s_1) = (х1 (t, s_1), х2 (t, s_1)) t е [(2i - 2)—, 2—] i е N, s0 = 0,
где
) f cos((1 -s^Mt))] 2(t ) f-sin((1 -s^Mt))] x (t,si-1) = , x (t,si-1) = .
l sin((1 - si-1 )M(t)) J l cos((1 - s-1M(t)) J
Из определения функции <p(t) следует непрерывная дифференцируемость элементов матрицы X(t,si-1) по t на R+, а значит, эта матрица является фундаментальной для системы
A(t) = X (t,s-1) X-1(t,Si-1) =
f 0 - (1 -s-1< (t )1
e M
2
(1 -5. ( ) 0
2. Для вектора т1 = (0,1) скалярное произведение (х1^,5.-1),т^ удовлетворяет равенствам
(х1 (ж, 5._1), т1) = (х1 (ж, 5_1), т1) = (х1 (2ж, _1), т1) = (х1 (2ж, _), т1) = 0,
поэтому у*( х1, т1,2ж,0) = .
Для любого вектора т2 = (а, Р), неколлинеарного вектору т1 при г е(2ж, + ю), имеем
' -1), т2) =
(х1(Г, 5.-1), т2) = А б1п((1 - 5. ) + О,
где А = у]а2 + 01 , ¿0 - вспомогательный угол. Поэтому, начиная с некоторого достаточно
2
большого t1(m2), на любом промежутке длины ж ровно один раз решение x1(t,si-1) будет ортогонально вектору m2, то есть скалярное произведение (x1(t,si-1),m2^ будет иметь
один нуль. Кроме того, согласно теореме 2 из [2], найдется вектор m3, неколлинеарный вектору m1, для которого при любом t > 0 выполнено неравенство v*(x1,m2, t,0) . Следовательно, для верхней полной частоты гиперкорней имеем
а*(x1) = infl lim — v*(x1, m, t1(m2),0) + lim — v*(x1, m, t, t1(m2)) 1 =
meRnl tt tt J
■ lim Ж
t t
(1 -st-1)<(t) +10 - t1(m2)
ж
= 1,
где [5] - целая часть числа s . Для нижней полной гиперчастоты рассматриваемого решения x1 имеют место аналогичные равенства. Следовательно, установлено равенство
а*( x1) = 1. (1)
3. Далее, если а ^ 0, ß ^ 1, то при любом t > 0 найдется такой вектор m2(t) , что v*( x1, m2(t), t,0) = 0, а значит, выполнены равенства
TV) = С*(x1) = lim inf-v*(x1,m,t,0) = 0. (2)
tmeRn t
Таким образом, равенства (1) и (2) дают необходимое неравенство а*( x1) > T*( x1).
Теорема 1 полностью доказана.
Доказательство теоремы 2.
1. Рассмотрим решение x1(t,si-1), i e N, s0 = 0, построенной в п. 1 доказательства теоремы 1 системы A e M2. Далее выберем решение
системы
B(t ) =
z(t ,е _!) =
0
f cos((l )) ^
sin((l -^-i)ç(t ))
i g N, е0 = 0,1.
- (1 -е-1)ф (t ) ^
G M 2
i G N, е0 = 0,1,
ч(1 -е, _1)ф () 0
совпадающее с х1^, е, -1) на луче \2ж, + . Вектор т1 и решение 2 (^ е,-1) при любом
t > 0 ни разу не будут ортогональными, поэтому справедливо равенство у*(2, т1, t,0) = 0. Откуда находим
а •( 2) = а •( 2) = 0. (3)
Несовпадение друг с другом величин (1) и (3) означает, что полные гиперчастоты а , а : о ^ К не являются остаточными. Теорема 2 доказана полностью.
Автор выражает глубокую благодарность профессору И.Н. Сергееву за постановку задачи и внимание к работе.
Примечания:
1. Сергеев И.Н. Определение и свойства характеристических частот линейного уравнения // Труды Семинара им. И.Г. Петровского. 2006. Вып. 25. С. 249-294.
2. Сергеев И.Н. Определение полных частот решений линейной системы // Дифференциальные уравнения. 2009. Т. 45, № 6. С. 908.
3. Сергеев И.Н. Замечательное совпадение характеристик колеблемости и блуждаемости решений дифференциальных систем // Математический сборник. 2013. Т. 204, № 1. С. 119-138.
4. Сергеев И.Н. К теории показателей Ляпунова линейных систем дифференциальных уравнений // Труды Семинара им. И.Г. Петровского. 1983. Вып. 9. С. 111-166.
5. Сергеев И.Н. Колеблемость и блуждаемость решений дифференциального уравнения второго порядка // Вестник Московского университета. Сер. 1. Математика. Механика. 2011. № 6. С. 21-26.
6. Сташ А.Х. Об отсутствии свойства остаточности у полных гиперчастот решений дифференциальных уравнений третьего порядка // Вестник Московского университета. Сер. 1. Математика. Механика. 2017. № 2. С. 65-68.
7. Сташ А.Х. Пример несовпадения полной и векторной частот гиперкорней решения дифференциального уравнения третьего порядка // Вестник Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2016. Вып. 4 (191). С. 49-52. URL: http://vestnik.adygnet.ru
References:
1. 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.
2. Sergeev I.N. Determination of full frequencies of solutions of a linear system // Differential Equations. 2009. Vol. 45, No. 6. P. 908.
3. Sergeev I.N. The remarkable agreement between the oscillation and wandering characteristics of solutions of differential systems // Mathematical Collection. 2013. Vol. 204, No. 1. P. 119-138.
4. Sergeev I.N. On the theory of Lyapunov indices of linear systems of differential equations // Works of the Seminar of I.G. Petrovsky. 1983. Iss. 9. P. 111-166.
5. Sergeev I.N. Unsteadiness and roaming of solutions of the second order differential equation // Bulletin of Moscow University. Ser. 1. Mathematics. Mechanics. 2011. No. 6. P. 21-26.
6. Stash A.Kh. The absence of residual property for total hyper-frequencies of solutions to third order differential equations // Bulletin of Moscow University. Ser. 1. Mathematics. Mechanics. 2017. No. 2. P. 65-68.
7. Stash A.Kh. Example of discrepancy of the complete and vector frequencies of hyper roots of solutions of the third order differential equation // The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2016. Iss. 4 (191). P. 49-52. URL: http://vestnik.adygnet.ru
