CC BY
10
УДК 517.926 ББК 22.161.6 С 78
Сташ А.Х.
Кандидат физико-математических наук, доцент кафедры математического анализа и методики преподавания математики факультета математики и компьютерных наук Адыгейского государственного университета, Майкоп, тел. (8772) 593905, e-mail: aidamir.stash@gmail.com
Пример несовпадения полной и векторной частот гиперкорней решения дифференциального уравнения третьего порядка
(Рецензирована)
Аннотация. Приводится пример линейного однородного дифференциального уравнения третьего порядка с непрерывными ограниченными на положительной полуоси коэффициентами, для некоторого решения которого полная и векторная частоты гиперкорней не совпадают.
Ключевые слова: линейное дифференциальное уравнение, колеблемость решений, число нулей функции, полная частота, векторная частота.
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: aidamir.stash@gmail.com
Example of discrepancy of the complete and vector frequencies of hyper roots of solutions of the third order differential equation
Abstract. An example is given of the simple homogeneous differential equation of the third order with the continuous coefficients limited on a positive semiaxis, for some solution of which the complete and vector frequencies of hyper roots do not coincide.
Keywords: linear differential equation, variability of ssolutions, number of zero function, full frequency, vector frequency.
Введение
Для решений линейных однородных дифференциальных уравнений первого порядка все характеристики колеблемости, введенные И.Н. Сергеевым в работах [1-3], равны нулю, так как эти решения не имеют нулей, а для всех решений любого уравнения второго порядка все верхние (равно как и все нижние) частоты равны между собой [4]. Следовательно, на множестве решений уравнений первого и второго порядков полные и векторные частоты знаков, нулей, корней и гиперкорней идентичны.
Про несовпадение полной и векторной частот гиперкорней хотя бы одного решения линейного однородного дифференциального уравнения порядка, не ниже третьего, не было ничего известно. Этому вопросу и посвящена настоящая работа.
Для заданного натурального n обозначим через En множество линейных однородных уравнений n -го порядка
y(n) + ai (t)y(n-V) +... + an_i (t)y + an (t)y = 0, t e R + = [0; ю), с ограниченной непрерывной строкой коэффициентов
a = (ai,...,an): R Rn
(каждую такую строку будем отождествлять с соответствующим уравнением). Множество всех ненулевых решений уравнения a e En обозначим через S*(a).
Определение 1 [2, 3]. Для каждого решения y е S*(a) уравнения a е En, чисел t > s > 0 и вектора m = (m1,m2,...,mn)е Rn обозначим v*(y,m,t,s) количество гиперкорней скалярного произведения
(((r), m) = mly(T) + m2y(T) + •■■ + mny((y Ш (y, y,..., y(n-1)))
на промежутке (s, t ], где в процессе подсчета этого количества:
- каждый некратный корень берется ровно один раз;
- любой кратный корень берется бесконечно много раз независимо от его фактической кратности (другими словами, как только хотя бы в одной точке г0 е (s, t] выполнены одновременно оба равенства
(О0Х m) = (( (XX m) = 0, так, сразу величина v*( y, m, t, s) считается равной бесконечности, а в противном случае она равна числу нулей функции (y,m} на промежутке (s, t]).
Определение 2 [2, 3]. Каждому решению y е S*(a) уравнения a е En поставим в соответствие верхние (нижние) полную и векторную частоты гиперкорней
á*(y) = inf lim—v*(y,m, t,0) I á*(y) = inf lim—v*(y,m,t,0) I,
mеRn t ^ t^ t J
c\y) = lim inf —v*(y,m, t,0) I C*(y) = lim inf — v*(y,m, t,0) I.
tmеRn t ^ t^® msR" t J
В случае совпадения полной или векторной верхней частоты гиперкорней решения y с одноименной нижней будем называть ее точной и обозначать С*(у) или á*(y).
Замечание. Из определений 1 и 2 следует, что для любого решения y е S*(a) произвольного уравнения a е En справедливы цепочки соотношений
СЪ) < á4y), СЧу) < á\y), С*00 < <fCy), á\y) < a\y).
Формулировка и доказательство результата
Имеет место следующая
Теорема. Существует уравнение c е E3, некоторое решение z е S*(c) которого удовлетворяет неравенству С (У) < á* (y).
Доказательство теоремы. Выберем уравнение a е E3 вида y + y = 0 с фундаментальной системой решений
sin t, 1, cos t, (1)
определитель Вронского которой удовлетворяет неравенству
sin t 1 cos t
cos t 0 - sin t = sin21 + cos21 = 1 > 0, t е R+ - sin t 0 - cos t
По выбранной системе из трех функций
yj= sin3t, y 2 = e-t (cos t +1), y 3= cos3t с положительным определителем Вронского
A(t) =
sin 3t e -t (cos t +1) cos3t
3cos3t - e-t (cos t + sin t +1) - 3sin3t - 9sin3t e-t (2 sin t +1) - 9cos3t
= e-t (27cost + 6sin t + 30) > 0, t e R+
восстановим линейное однородное уравнение b e E3 вида
A(t)
У1 У 2 У3
yi y 2 y3
У1 y2 y3
y y2 y3
= 0,
решениями которого они являются (см. [5]). Раскладывая определитель по элементам последнего столбца, убеждаемся, что коэффициенты построенного уравнения являются ограниченными функциями на R+.
Выберем такие числа t1 и t2, что ж < t1 < t2. В соответствии с теоремой 3 из работы [6] построим на участке [[,t2] уравнение c е E3 (с гладкими коэффициентами), переводящее набор (1) решений, заданных на отрезке [0, t1 ], в набор (2) решений, заданных на луче [t2,+ro) : слева от отрезка [[,t2] уравнение c е E3 совпадает с уравнением a е E3, а справа
- с уравнением b е E3. Здесь первое решение начального набора переходит в первое решение конечного решения, второе - во второе, а третье - в третье. Обозначим полученные кусочно составленные решения этого уравнения через z1,z2,z3 е S*(c) соответственно.
Для вектора m1 = (9,0,1) и решения z = z1--— z2 + z3 е S*(c) имеем представление
(yz(t),m^ = sin t + 8cos t - 842, t е [0, t1 ].
Отсюда, в силу равенств (^(ж/4),mJ = (^(ж/4),m^ = 0, имеем v*(z,m1,t1,0) = .
Для любого вектора m = (a,fi,y) неколлинеарного вектору m1 при t е [t2,+ro) имеем
i^z(t), m) = A1 sin(3t + 3t1) + A2e-t cos(t +12) + A3e-t,
где A1, A2, A3 е R, A12 = 2(a - 9y)2 +18^2 Ф 0, 3t1, 12 - вспомогательные углы. Поэтому, начиная с некоторого достаточно большого значения t3(m), на любом промежутке длины ж будет иметь ровно 3 нуля. Кроме того, согласно теореме 2 из [3], найдется вектор m2 не-коллинеарный вектору m1, для которого при любом t е R + выполнено неравенство v*(z,m2, t,0) < да . Следовательно, для верхней полной частоты гиперкорней имеем
' " "3(t +11 - t3(m))
e*(z) = infl lim—v*(z,m,t3(m),0) + lim—v*(z,m,t,t3(m))| = lim—
meRn l t^x t t^x, t I t^x t
—
= 3,
где [я] - целая часть числа я . Для нижней полной частоты гиперкорней решения г е £*(с) имеют место аналогичные равенства, поэтому а*(г) = 3 .
Далее, при а^ 9, 0, 1 имеем А1 ^ 0, А2 А3 ^ 10, откуда при любом
^ > 0 найдется такое ш(Х), что у*(г, ш(Х), ^,0) = 0, а значит, выполнены равенства
ж
С (z) = lim inf — v (z, m, t,0) = 0.
t^x meRn t
Теорема полностью доказана.
1
Автор выражает глубокую благодарность профессору И.Н. Сергееву за постановку задачи и внимание к работе.
Примечания:
1. Сергеев И.Н. Определения и свойства характеристических частот линейного уравнения // Труды Семинара им. И.Г. Петровского. 2006. Вып. 25. С. 249-294.
2. Сергеев И.Н. Определение полных частот решений линейного уравнения // Дифференциальные уравнения. 2008. Т. 44, № 11. С. 1577.
3. Сергеев И.Н. Замечательное совпадение характеристик колеблемости и блуждаемости решений дифференциальных систем // Математический сборник. 2013. Т. 204, № 1. С. 119-138.
4. Сергеев И.Н. Колеблемость и блуждаемость решений дифференциального уравнения второго порядка // Вестник Московского университета. Сер. 1. Математика. Механика. 2011. № 6. С. 21-26.
5. Филиппов А.Ф. Введение в теорию дифференциальных уравнений. М.: Едиториал УРСС, 2004. 240 с.
6. Сергеев И.Н. Об управлении решениями линейного дифференциального уравнения // Вестник Московского университета. Сер. 1. Математика. Механика. 2009. № 3. С. 25-33.
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 the linear equation // Differential Equations. 2008. Vol. 44, No. 11. P. 1577.
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. 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.
5. Filippov A.F. Introduction in the theory of differential equations. M.: Editorial URSS, 2004. 240 pp.
6. Sergeev I.N. On control of solutions of the linear differential equation // Bulletin of the Moscow University. Ser. 1. Mathematics. Mechanics. 2009. No. 3. P. 25-33.
