CC BY
16
УДК 517.926 ББК 22.161.61 С 78
Сташ А.Х.
Кандидат физико-математических наук, доцент кафедры математического анализа и методики преподавания математики факультета математики и компьютерных наук Адыгейского государственного университета, Майкоп, тел. (8772) 593905, e-mail: aidamir.stash@gmail.com Ушхо А.Д.
Кандидат физико-математических наук, доцент кафедры теоретической физики инженерно-физического факультета Адыгейского государственного университета, Майкоп, тел. (8772) 593908, email: uschho76@mail.ru
Есин А.Д.
Студент инженерно-физического факультета Адыгейского государственного университета, Майкоп, тел. (8772) 593908
О разрывности младших частот нестрогих знаков и гиперкорней на множестве линейных однородных дифференциальных уравнений третьего порядка
(Рецензирована)
Аннотация. Изучается непрерывность в смысле равномерной топологии младших полных и векторных частот нестрогих знаков и гиперкорней на множестве линейных однородных дифференциальных уравнений третьего порядка с ограниченными коэффициентами. Установлено существование точек, в которых каждый из этих функционалов не является инвариантным относительно бесконечно малых возмущений.
Ключевые слова: линейное дифференциальное уравнение, колеблемость решения, число нулей функции, полная частота, векторная частота.
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 Ushkho A.D.
Candidate of Physics and Mathematics, Associate Professor of Theoretical Physics Department of Engineering-Physics Faculty, Adyghe State University, Maikop, ph. (8772) 593908, e-mail: uschho76@mail.ru Esin A.D.
Student of Engineering-Physics Faculty, Adyghe State University, Maikop, ph. (8772) 593908
On discontinuity of younger frequencies of weak signs and hyper roots on a set of the simple homogeneous third order differential equations
Abstract. The continuity is studied in terms of the uniform topology of younger complete and vector frequencies of weak signs and hyper roots on a set of the simple homogeneous differential equations of the third order with restricted coefficients. Existence of points in which each of these junctionals is not invariant respectively infinitesimal indignations is established.
Keywords: the simple differential equation, decision variability, number of zero function, the complete frequency, vector frequency.
Введение и формулировка результата
Настоящая работа логически продолжает и развивает результаты работы [1] на большее число разновидностей младших частот линейных дифференциальных уравнений третьего порядка.
Для заданного натурального n обозначим через En множество линейных однородных уравнений n -го порядка
y(n) + ax(t)y{n-X) +... + an_i(i)y + an(t)y = 0, t e R + = [0;ю), с ограниченной непрерывной строкой коэффициентов a = (a1,...,an): R + ^Rn (каждую такую строку будем отождествлять с соответствующим уравнением). Линейное пространство всех решений y: R+^ R уравнения a e En обозначим через S (a), а подмножество всех его ненулевых решений - через S*(a) . В дальнейшем - звездочкой, в качестве нижнего индекса у ли- 63 -
нейного пространства будем обозначать факт выкалывания в нем нуля.
Определение 1 [2-4]. Скажем, что скалярная функция y е Cn(R+ ) имеет строгую (нестрогую) смену знака в точке t > 0, если в любой окрестности этой точки она принимает как положительные (неотрицательные), так и отрицательные (неположительные) значения, а через v" (y, t) при а = -,+,0,+,* соответственно обозначим:
- число ее строгих смен знака на промежутке (0, t] ;
- число ее нестрогих смен знака на промежутке (0, t] ;
- число ее нулей на промежутке (0, t] ;
- число ее корней на промежутке (0, t], то есть нулей с учетом их кратности;
- число ее гиперкорней на промежутке (0, t], то есть при его подсчете каждый некратный корень берется ровно один раз, а кратный - сразу бесконечно много раз.
Определение 2 [4]. Каждому решению y е S*(a) произвольного уравнения a е En поставим в соответствие вектор ц/y = (y,y,...,y(n-1)) и для m е R* обозначим va(y, m, t) = v"(^y, m, t), где (y) - скалярное произведение, после чего зададим его нижние (верхние) полные и векторные частоты
а"(y) = inf lim — va(y,m,t) |a"(y) = inf lim—va(y,m,t) |,
meRU t—ш t V meRU t—ш t J
С (y) = lim inf — v" (y, m, t) \ С (y) = lim inf — v" (y, m, t) |
t—ш meR*n t V t—Ш meR*n t J
строгих или нестрогих знаков, нулей, корней или гиперкорней при « = -,±,0,+,* соответственно. В случае совпадения какой-либо нижней частоты решения y с верхней одноименной будем называть ее точной и обозначать соответственно С" (y) или а" ( y).
К определениям 1 и 2 добавим обозначение v" (y, m, t, 5) = v" (y, m, t) - v" (y, m, 5) .
Определение 3 [2, 4]. При любом co=Ç,ô,Ç,a и a = -,±,0,+,* определим младшую частоту со"1 (a) = inf с"(y) линейного уравнения a е En.
yeS*( a)
Каждую из младших частот линейного уравнения a е En рассмотрим как функционал на линейном топологическом пространстве En с естественными для функций линейными операциями и равномерной на R + топологией.
Определение 4 [5]. Для уравнения a е En обозначим через B(a) множество уравнений
b е En, удовлетворяющих условию limlb(t) - a(t)| = 0, при котором возмущение b - a назовем
t —1
бесконечно малым. Будем говорить, что функция с : En — R не инвариантна в точке a е En относительно бесконечно малых возмущений, если существует уравнение b е B(a) , удовлетворяющее условию c(a) Ф с(Ь).
В каждой точке пространства E2 все младшие частоты инвариантны относительно бесконечно малых возмущений [6]. В работах [1, 7] приводятся примеры точек пространства E , в которых младшие частоты строгих знаков, нулей и корней не являются инвариантными относительно бесконечно малых возмущений. Вопрос существования аналогичных примеров для младших частот нестрогих знаков и гиперкорней оставался открытым. Ответ на поставленный вопрос дает
Теорема. Каждый из функционалов
с ,с*,а± ас за ,а*: En—r (i)
хотя бы в одной точке пространства E3 не является инвариантным относительно бесконечно малых возмущений.
Определение 5 [5]. Для заданных множеств M и F = f : R+ ^ M} назовем функционал Я: F ^ R остаточным, если для любых функций f, g е F, удовлетворяющих хотя бы при одном t0 е R+ условию f (t) = g(t), t > t0, имеет место равенство Я^) = Я(g) .
Лемма 1 [8]. Для любого уравнения a е En функционалы (1) являются остаточными.
Лемма 2 [5]. Если остаточный функционал, определенный на En, полунепрерывен во всех точках в одном и том же смысле, то в любой точке a е En он инвариантен относительно бесконечно малых возмущений.
Из сформулированной теоремы, с учетом леммы 2, непременно вытекает
Следствие. Каждый из функционалов (1) хотя бы в одной точке пространства E3 не является ни непрерывным, ни полунепрерывным сверху, ни полунепрерывным снизу.
Вспомогательные утверждения
Лемма 3. Пусть последовательность положительных чисел t1 < t2 <... удовлетворяет условиям
lim t =<х>, lim -p-+1 = i.
p^ro Р^Ю t
p
Тогда для любого решения y е S* (a) любого уравнения a е En выполнены равенства
а * (y) = mf lim y, m tp ), a *( y) = mf lim ^ v\y, m tp X (2)
теЖ" pt теЖ" pt
F p p
C*(y) = iimmf ^v*(y,mtpк c*(y) = Hm infn^v(y,mtp), (3)
pmеRn t mеR t
r p p
а при дополнительном условии lim(t +1 -1 )=ад верно еще и следующее: если для некоторо-
p^w p p
го числа p > 0 в пределах (2), (3) каждое из чисел tp уменьшить на Tp < pT, а каждое из чисел Va (y, m, tp) - на vp < pT, то значение предела от этого не изменится.
Доказательство этой леммы сводится к повторению рассуждений, проведенных при доказательстве леммы 7 [2].
Теорема 3 [9] позволяет внести небольшие изменения в лемму 4 [1], а именно, имеет место следующая
Лемма 4. При любом ß0 > 0 найдется такое s > 0, что для множества M = \ju0 -s, ß0 + s] некоторого числа T > 0 и любой последовательности ki,k^,... е N существует семейство уравнений a- е E , зависящее от последовательности параметров
М = (, м2,...)е Mи обладающее свойствами:
1) для каждой последовательности ß е Mуравнение aß е E3 имеет набор решений y1, y2 , y3, удовлетворяющий при каждом p е N требованиям
(ßpe-, e- cos t, e- sin t) tp-1 + TQ < t < rp, (e- sin t, ßpe-, e^ cos t) rp + T < t < Sp, (e- cos t, e^ sin t, ßpe-t) Sp + T0 < t <zp, (e-(t+N)(cos t +1), cos3t, sin 3t) zp + T0 < t < qp, (sin 3t, e-(t+N) (cos t +1), cos 3t) qp + T0 < t < hp, (cos 3t, sin 3t, e-(t+N) (cos t +1)) hp + T0 < t < tp, где N - достаточно большое положительное число, t0 = 0 и при каждом p = 1,2,... последовательно обозначено
y2 , y3 )(t) =
rp - tp_i + T0 + Inkp, 5p - rp + T0 + 2лкр, rp - 5p + T0 + , qp-rp + To + 2лkp, hp-qp + To + 2лkp, tp-hp + To + i^ip;
< d;
2) для некоторой константы ё при любом ц е Мш выполнена оценка
3) функции а- дифференцируемы по ^ и непрерывны по каждому из параметров /ир е М равномерно по (р, I) е Я+ х N.
Доказательство теоремы
1. В доказательстве основного результата [1] нули всех решений построенного уравнения являются нестрогими сменами знака, поэтому доказательство настоящей теоремы для нестрогих знаков можно считать завершенным.
2. При /0 = 0,85 для последовательности к1 = 1, к2 = 2,... возьмем семейство уравнений а- е Е3, существование которого утверждается в лемме 4. Внесем в это уравнение следующие изменения. При любых фиксированных значениях р е N, це Мш для фундаментальной системы решений уравнения а- на каждом из промежутков
\tp-i, <р-1 + То\, [гр, Гр + То \, [^, ^ + То ], [тр ,Тр + То \, [Чр, Чр + То\, [Ир, Ир + То \ (2) построим интерполяционные многочлены Эрмита [1о, с. 36-41]. На концах отрезков (2) задаем значения этих первоначальных решений вместе с их производными до третьего порядка включительно. За счет корректного выбора узлов интерполяции [1о, с. 36-41] внутри каждого отрезка и дальнейшего неограниченного увеличения их числа последовательность интерполяционных многочленов Эрмита будет равномерно сходиться на заданном отрезке к соответствующей функции. Выбираем число узлов настолько большим, чтобы внутри отрезков (2) соответствующие определители Вронского систем многочленов Эрмита были положительны. Тогда в уравнении а- на каждом из рассматриваемых промежутков фундаментальную систему
решений можно заменить соответствующей построенной системой многочленов Эрмита. При этом новое уравнение Ъ- е Е3 будет обладать всеми условиями 1)-3) леммы 4.
3. Зафиксируем произвольное р е N и для заданного решения у е 5*,(Ъ-) вектора т е Я3 обозначим
у\у, Щ 1р ) = у, Щ Гр, 1р_ + То) + у\у, Щ 8р, Гр + То) + у\у, т,тр, 8р + То) +
+ у\ y, m, Чр ,тр + То) + у\ y, m, Ир, Чр + То) + у\ y, m, гр, Ир + То).
Пусть задано отображение р:Я»3 ^ 5*,(Ъ-), переводящее каждую ненулевую точку с = (с1, с2, с3) е Я*3 = Я3 \ {о} в решение р(с) = у = с1 у1 + с2у2 + с3у3 е £*(Ъц), для которого обозначено
* У*(у,т,I ) * +
к (с, т) =-—, к (с) = тГ к (с, т) .
12 р теЯ3
Найдем возможные значения величины к*(с) при каком-либо фиксированном значении р , для других значений р эти величины не будут меняться.
Для любых векторов g, И е Я*3 через С(g, И) обозначим любую содержащую их двумерную плоскость, а через I - объедение осей Ос1, Ос2, Ос3 (ниже в доказательстве теоремы начало координат всюду игнорируется). Для векторов е1 = (1,о,о), е2 = (о,1,о), е3 = (о,о,1) введем обозначение Ь = С(е1, е2) и С(е2, е3) и С(е1, е3).
3.1) Минимум в к*(с), с е I, реализуется на векторе т1 = (5,о,1), поскольку на Я+ функция (соб I +1)), т^ отделена от нуля. Следовательно, имеет место
* 4 к (с) = —, с е l.
3
3.2) Для заданных функции J[,f2,f3 введем обозначение
и((,/2,/з)){// + Уг/ + /3/3 \ У,У2,У3 е R\ {0».
Заметим, для любых ненулевого вектора m Ф m2 = (9,0,1) и решения y е U(cos3t, e-(t+N)(cost + 1))u U(sin 3t, e-(t+N)(cost +1)) на соответствующем промежутке
(г + 70, qpJ, (qp + 70, J, К + 20, tpJ (3)
нули функции (yy, m являются точками строгой смены знака. Для вектора m3 = (2 - /,2,1) при достаточно малом /> 0 функция (yy, m^j при любом
y е U(e-t, e-t cos t)u U (e-t, e-t sin t) не будет иметь нулей на R +, поэтому
* 5 к (с) = —, с е L \ l.
3
3.3) Минимум в определении величины
к (с), с е R3\ L (4)
реализуется на векторе m = m2 , поскольку для любого решения
y е U (cos3t ,sin3t, e-(t+N )(cos t +1)) на каждом из промежутков (3) функция (yy,m^j отделена от нуля, а при любом другом векторе m е R3 функция (yy, m} на промежутках (3) будет иметь 18p гиперкорней.
Теперь для вычисления значений величины (4) остается посчитать число гиперкорней функции (yy, m^j на каждом из промежутков
(tp-! + ^ rp [ (rp + ^ 5pJ, (,p + T(),TpJ. (5)
На том из трех промежутков (5), на котором yi (t) = /Jpe-t, функция (yy, m^¡ представи-ма в виде
(yy, = e 85(с2-! + с^ ) sin(t + 0) + 10с,,цve- ,
el
где в е Я - вспомогательный угол. Умножив эту функцию на ,— , будем иметь
-V 85
^+^+в)+^р?, рр=. Пусть для вектора с е Я*3 и номера г е {1, 2, 3} выполнено условие
с-р] > с2_1 + ^ (6)
(здесь и всюду ниже индекс 0 отождествлен с индексом 3, а индекс 4 - с индексом 1). Тогда имеет место оценка •^сг2_1 + сг2+1 < |сгрр|, гарантирующая отсутствие гиперкорней функции (уу, т^ на рассматриваемом промежутке.
Аналогично, при условии сг2р] < с^ + с2+1 на упомянутом промежутке функция (уу, т2} имеет 2р гиперкорней, а при условии с2рр = с2-1 + сг2+1 - бесконечно много гиперкорней. В данном случае минимум в определении гиперчастот реализуется на векторе т4 = (2,2,1), так как на каждом из промежутков (5) имеем представление
(уу, т4) = Л^ре-1, Л * 0,
а на каждом из промежутков (3) -
(y/y,m4) = B1e'(t+N) + B2 sin 3t + B3 cos3t, B1,B2,B3 e R \ {ü}. Следуя И.Н. Сергееву, обозначим через Vi подмножество пространства R3, состоящее из точек, удовлетворяющих неравенству (6), и представляющее собой в пространстве R3
круглый конус (точнее, его внутренность, каковую и будем подразумевать в дальнейшем под словом «конус»), ось которого совпадает с i -й осью координат.
Далее, через Ui j ^ R3 обозначим множество точек, принадлежащих ровно i из трех конусов V1, V2, V3 и при этом лежащих на границе ровно j из оставшихся.
Если л =y¡0,85 (которое равносильно р = 1) при любом p e N, то конусы V, V2 и V3 только касаются друг друга, причем только попарно (см. п. Б доказательства леммы 16 [2]). Поэтому пространство R*3 представляет собой объединение непустых множеств U0 0, U01, U10 и U0 2, а значит, при любом c e R*\ L справедливы равенства
к\о) =
3/2, 13, 12,
с gU0,! uиq,2,
с GUU
с gU
0,0
Если же выполняется неравенство цр > -у/о,85 (которое равносильно 1 < рр <42) при любом р е N, то конусы уже попарно пересекаются, но не имеют общих для них всех точек, даже граничных (см. п. В доказательства леммы 16 [2]). При этом также и граница любого конуса пересекается с любым другим конусом, как и с его границей.
Следовательно, для непустых множеств ио о, ио1, и1 о, ио2, и2о и и11 выполняется
равенство Я*3 = иоо и ио1 и и1о и ио2 и и2о и и11, из которого при любом с е Я* \ Ь справедливы равенства
' с еио,1 и ио,2 и U1,1,
К(с) =
3/2, V3, V6, 1/2,
с gU
1,0'
с g U2
с g и
0,0
4. Не умаляя общности, можно считать, что для любого решения у е £*(Ъ-) все нули функций Щщу,т^, (щу,т2^, Щщу,т^ являются строгими сменами знака, поскольку в противном случае этого можно добиться варьированием узлов интерполяции. В самом деле, для этого достаточно взять на участках «склейки» (2) интерполяционные многочлены Эрмита разных степеней, и тогда предположение о существовании кратного нуля любой из функций Щщу, т.^, (щу, т^щу, т^ приводит к тому, что у = о. Поэтому найдется такое число Т, что
перечисленные функции на любом промежутке вида (2) имеют не более чем Т гиперкорней.
Следовательно, используя лемму 3 и рассуждения, проведенные в доказательстве основного результата [1], получим
С*00 = а*(у) = С (у) = V\у) = к*(с), у е Б*(Ъц),
*
а значит, множества значений величины к в зависимости от последовательности параметров оказываются следующими:
Е(к*) = {1/3, 3/2, 12, 4/3, 5/3} / =Л/оВ5, реN,
Е(к*) = {1/6,13, 3/2, 12, 4/3, 5/3} / е(^о,81;<Д85 + еЦ р еN.
5. Для уравнения Ъ из построенного в настоящем доказательстве семейства, взятое
при постоянной последовательности Ч {ЬШ5)=1/3•
M
= /и2 = .... = 0,85 , выполняется равенство
Возьмем последовательность параметров л е (7085; д/0 ,85 + е\ , удовлетворяющую условию /ир ^у]0,85 при р ^ да . Тогда в силу непрерывности семейства уравнений по ( найдется возмущенное уравнение Ъ^ из того же семейства, обладающее свойствами: 0*(Ьр) = 1/6, Ъ( е В(Ъ^/08?). Откуда следует, что функционал а* не инвариантен в точке Ъ о— относительно бесконечно малых возмущений.
Теорема полностью доказана.
Авторы выражают глубокую благодарность профессору И.Н. Сергееву за постановку задачи и внимание к работе.
Примечания:
1. Сташ А.Х. О разрывности младших частот нулей и корней на множестве линейных однородных дифференциальных уравнений третьего порядка // Вестник Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2016. Вып. 1 (176). С. 17-24. URL: http://vestnik.adygnet.ru
2. Сергеев И.Н. Определения и свойства характеристических частот линейного уравнения // Труды Семинара им. И.Г. Петровского. 2006. Вып. 25. С. 249-294.
3. Сергеев И.Н. Замечательное совпадение характеристик колеблемости и блуждаемости решений дифференциальных систем // Математический сборник. 2013. Т. 204, № 1. С. 119-138.
4. Сергеев И.Н. Определение полных частот решений линейного уравнения // Дифференциальные уравнения. 2008. Т. 44, № 11. С. 1577.
5. Сергеев И.Н. К теории показателей Ляпунова линейных систем дифференциальных уравнений // Труды Семинара им. И.Г. Петровского. 1983. Вып. 9. С. 111-166.
6. Сергеев И.Н. Колеблемость и блуждаемость решений дифференциального уравнения второго порядка // Вестник Московского университета. Сер. 1. Математика и механика, 2011. № 6. С. 21-26.
7. Сташ А.Х. О разрывности некоторых крайних частот на множестве линейных однородных дифференциальных уравнений третьего порядка // Дифференциальные уравнения 2015. Т. 51, № 11. С. 1552-1553.
8. Сташ А.Х. О существовании линейного дифференциального уравнения третьего порядка с континуальными спектрами полной и векторной частот // Вестник Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2013. Вып. 3 (122). С. 9-17. URL: http://vestnik.adygnet.ru
9. Сергеев И.Н. Об управлении решениями линейного дифференциального уравнения // Вестник Московского университета. Сер. 1. Математика и механика. 2009. № 3. С. 25-33.
10. Калиткин Н.Н. Численные методы. М.: Наука, 1978. 512 с.
References:
1. Stash A.Kh. On discontinuity of lower zero and root frequencies on a set of third order linear homogeneous differential equations // The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2016. Iss. 1 (176). P. 17-24. URL: http://vestnik.adygnet.ru
2. 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.
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. Determination of full frequencies of solutions of the linear equation // Differential Equations. 2008. Vol. 44, No. 11. P. 1577.
5. 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.
6 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.
7. Stash A.Kh. On discontinuity of some extreme frequencies in the set of homogeneous linear differential equations of the third order // Differential Equations. 2015 Vol. 51, No. 11. P. 1552-1553.
8. Stash A.Kh. On existence of third-order linear differential equation with continuous ranges of complete and vector frequencies // The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2013. Iss. 3 (122). P. 9-17. URL: http://vestnik.adygnet.ru
9. 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.
10. Kalitkin N.N. Numerical methods. M.: Nauka, 1978.
512 pp.
X)
