Научная статья на тему 'Свойства главных полных и векторных частот строгих знаков линейных однородных дифференциальных уравнений третьего порядка'

Свойства главных полных и векторных частот строгих знаков линейных однородных дифференциальных уравнений третьего порядка Текст научной статьи по специальности «Математика»

CC BY
54
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЛИНЕЙНОЕ ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ / КОЛЕБЛЕМОСТЬ РЕШЕНИЯ / ЧИСЛО НУЛЕЙ ФУНКЦИИ / ПОЛНАЯ ЧАСТОТА / ВЕКТОРНАЯ ЧАСТОТА / THE SIMPLE DIFFERENTIAL EQUATION / DECISION VARIABILITY / NUMBER OF ZERO FUNCTION / COMPLETE FREQUENCY / VECTOR FREQUENCY

Аннотация научной статьи по математике, автор научной работы — Сташ Айдамир Хазретович

Изучается непрерывность в смысле равномерной топологии главных полных (векторных) частот строгих смен знаков на множестве линейных однородных дифференциальных уравнений третьего порядка с ограниченными коэффициентами. Установлено существование точек, в которых каждый из этих функционалов не является инвариантным относительно бесконечно малых возмущений.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Сташ Айдамир Хазретович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Properties of the main complete and vector frequencies of rigorous signs of the linear homogeneous third order differential equations

The paper examines the continuity in terms of the uniform topology of the main complete (vector) frequencies of rigorous changes of signs on a set of the simple homogeneous differential equations of the third order with restricted coefficients. Existence of points in which each of these functionals is not invariant respectively infinitesimal indignations is established.

Текст научной работы на тему «Свойства главных полных и векторных частот строгих знаков линейных однородных дифференциальных уравнений третьего порядка»

УДК 517.926 ББК 22.161.61 С 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]

Properties of the main complete and vector frequencies of rigorous signs of the linear homogeneous third order differential equations

Abstract. The paper examines the continuity in terms of the uniform topology of the main complete (vector) frequencies of rigorous changes of signs on a set of the simple homogeneous differential equations of the third order with restricted coefficients. Existence of points in which each of these functionals is not invariant respectively infinitesimal indignations is established.

Keywords: the simple differential equation, decision variability, number of zero function, complete frequency, vector frequency.

Введение и формулировка результата

Для заданного натурального n обозначим через En множество линейных однородных уравнений n -го порядка

y(n) + a, (t)y(n-1} +... + an_! (t)y + an (t)y = 0, t e R + = [0; ю),

с ограниченными непрерывными коэффициентами a,,...,an: R R, образующими строку a = (,...,an) (каждую такую строку будем отождествлять с соответствующим уравнением).

Через Сn обозначим подмножество множества En, состоящее из уравнений с постоянными коэффициентами. Пространство всех решений y : R + ^ R уравнения a e En обозначим через S(a), а подмножество всех его ненулевых решений - через S* (a). В дальнейшем вообще звездочкой в качестве нижнего индекса у линейного пространства будем обозначать факт выкалывания в нем нуля.

Определение 1 [1]. Скажем, что в точке t > 0 происходит строгая смена знака функции y: R + ^ R, если в любой окрестности этой точки функция y принимает как положительные, так и отрицательные значения.

Для заданных векторов ц/y = (y,y,...,y(n_1)), m e R*n и момента времени t > 0 под величиной v~ (y, m, t) будем понимать число строгих смен знака при z e (0, t] скалярного произведения i^y(r), m.

Определение 2 [2, 3]. Каждому решению y е S*(a) уравнения а е En поставим в соответствие его нижнюю (верхнюю) полную и векторную частоты строгих знаков

ж ( — Ж \

® (y) = inf lim-v~(y,m, t) \ (y) = inf lim—v~(y,m, t) I,

meRÜ t—ш t ^ meRn t—ш t J

w_ Ж _ ( — Ж _ \

С (y) = lim inf— v (y, m, t) \С (y) = lim inf— v (y, m, t) I.

t—ш meRÜ t ^ t—ш meR* t J

В случае совпадения какой-либо нижней частоты решения y е S* (а) с верхней одноименной будем называть ее точной и обозначать соответственно С (y), ® (y) .

К определениям 1 и 2 добавим обозначение v~ (y, m, t, 5) = v~ (y, m, t) _ V (y, m, 5).

Определение 3 [2, 3]. При любом со=С~,ö ,С определим главные (характеристические) частоты строгих знаков линейного уравнения а е En формулами

с-(а) = inf supc(y), ci (а) = sup inf с(y),

LeG*(a) yeL - LeG*n_i+l (a) yeL

где i = 1,...,n, а через G*(a) обозначено множество i-мерных подпространств пространства S (a) , в которых выколота нулевая точка (нулевое решение).

В доказательстве теоремы VI [1] нигде не используются никакие свойства функционала v, кроме равенства

v(cy) = v(y), с * 0. (1)

Поэтому в этой теореме могли бы фигурировать любые другие функционалы, обладающие свойством (1), в частности, для всех функционалов С ,С выполнены равенства (1). Следовательно, для любого уравнения а е En при любом с=С ,С справедливы соотношения:

0 <щ (а) < - <с„(а), 0 <ст(а) < - <с*(а), (2)

С (а) <с-(а), i = 1,., n, (3)

С(а) = с-(а) = inf c(y), с*(а) = с-(а) = sup c(y). (4)

" У^-*(а) yeS* (а)

Величины (4) будем соответственно обозначать с(а), юп(а).

При п = 2 любое из неравенств (2), (3) обращается в равенство (4), но уже для уравнения третьего порядка каждое из этих неравенств может оказаться строгим, причем практически независимо друг от друга.

Теорема 1. Существуют уравнения , d, 2, 3, d 4 е E , удовлетворяющие при каждом С=С ,С соотношениям

С1 (d1 ) = C2(d1) <C2(d1) = С3 (d1 ), C1(d 2 ) < C2(d 2 ) = C2(d 2 ) < C3(d 2),

cl(d3) = c2(d3) < c2(d3) < c3(d3), C(d4) < c2(d4) < c2(d4) = c3(d4).

Каждую из главных частот линейного уравнения а е En рассмотрим как функционал на линейном топологическом пространстве En с естественными для функций линейными операциями и равномерной на R+ топологией.

Определение 4 [5]. Для уравнения а е En обозначим через В(а) множество уравнений

Ь е En, удовлетворяющих условию limlb(t) _a(t)| = 0, при котором возмущение Ь_а назовем

t —1

бесконечно малым. Будем говорить, что функция с : En — R не инвариантна в точке а е En

относительно бесконечно малых возмущений, если существует уравнение b е В(а), удовлетворяющее условию a>(a) Ф а>(Ь).

Главные частоты строгих знаков в пространстве E2 непрерывны [4] и, будучи остаточными [5], инвариантны относительно бесконечно малых возмущений в каждой точке a е E2. Однако указанные их свойства не распространяются на пространство E3.

Теорема 2. При любом а=£~ ,д~ каждый из функционалов

01,02,©2,®3 :E3 ^R хотя бы в одной точке пространства E3 не является ни непрерывной,

ни полунепрерывной сверху, ни полунепрерывной снизу, ни даже инвариантной относительно бесконечно малых возмущений.

Вспомогательные утверждения

Лемма 1. Пусть последовательность положительных чисел t1 < t2 <... удовлетворяет условиям

lim tp =<Х), lim t— = 1.

Р^Ю р^Ю t

р

Тогда для любого решения y е S*(a) любого уравнения a е En выполнены равенства

ж -ж

(y) = inf lim у_(y,m,tp), (y) = inf lim— V(y,m,tp), (5)

meR* р^ю tp meR* tp

~ _ ж _ ~ _ - ж _

С (y) = lim inf— у_ (y, m, tp), (y) = lim inf — у_ (y, m, tp), (6)

Р^ю meR* t meR* t

F p p

а при дополнительном условии Нти^ - г ) = ю верно еще и следующее: если для некоторого числа р > 0 в пределах (5), (6) каждое из чисел гр уменьшить на Тр < рТ, а каждое из чисел V-(у, т, гр ) - на ур < рТ, то значение предела от этого не изменится.

Доказательство этой леммы сводится к повторению рассуждений, проведенных при доказательстве леммы 7 [1].

Определение 5 [5]. Для заданных множеств М и

Е = {/ : Я+ ^ М } назовем функционал Я: Е ^ Я остаточным, если для любых функций /, g е Е, удовлетворяющих хотя бы при одном г0 е Я+ условию /(г) = g(г), г > г0, имеет место равенство Я(/) = Я(g).

Лемма 2 [5]. Если остаточный функционал, определенный на Е", полунепрерывен во всех точках в одном и том же смысле, то в любой точке а е Е" он инвариантен относительно бесконечно малых возмущений.

Лемма 3 [6]. Для любого уравнения а е Е" функционалы

С - ,<Г - ,с - ,ст - : £*(а) ^ Я

являются остаточными.

Лемма 4. При любом —0 > 0 найдется такое е> 0, что для множества М = \—0-е, —0 + е\ некоторого числа Т0 > 0 и любой последовательности к1,к2,...е N существует семейство уравнений а- е Е , зависящее от последовательности параметров — = (—1, —2,...) е Мш и обладающее свойствами:

1) для каждой последовательности — е Мш уравнение а- е Е3 имеет набор решений у1, у2, у3, удовлетворяющий при каждом р е N требованиям

(к, У 2 , Уз )(t) =

г(ире-<, el cos t, e~f sin t) tp_1 + T0 < t < Tp, ( sin t, ^e^, e_t cos t) Tp + T0 < t < Sp, ( cos t, e~f sin t, ^e^) Sp + T < t <tp, (cos3t, sin3t, e^ ), zp + T0 < t < tp, где t0 = 0, и при каждом p = 1,2,... последовательно обозначено

Tp = tp-i + T0 + 2^p, sp = Tp + T0 + 2^p, tp = sp + T0 + 2nkp, tp =Tp + T0 + 6nkp;

2) для некоторой константы d при любом де Mш выполнена оценка ||йд||< d;

3) функции йд дифференцируемы по t и непрерывны по каждому из параметров д е M равномерно по (p, t) е R + х N.

Доказательство леммы 4 сводится к повторению рассуждений, проведенных при доказательстве леммы 4 [7].

Доказательство основных результатов

Доказательство теоремы 1.

1. При каждом

85(1Vü ¡

д, еЩ?,

для последовательности к1 = 1, к2 = 2,... построим семейство уравнений ад еЕ3, существование которого утверждается в лемме 4. Внесем в это уравнение следующие изменения. При любых фиксированных значениях р е N, де Мш для фундаментальной системы решений уравнения ад на каждом из промежутков

Ь-1, 'р-1 + Т \, |Тр, Гр + Т\, к, ^ + Т\, [тр ,Тр + Т0 \ (7)

построим интерполяционные многочлены Эрмита [8, с. 36-41]. Для этого на концах отрезков (7) задаем значения этих первоначальных решений вместе с их производными до третьего порядка включительно.

За счет корректного выбора дополнительных узлов интерполяции [8, с. 36-41] внутри каждого отрезка и дальнейшего неограниченного увеличения их числа последовательности интерполяционных многочленов Эрмита будут равномерно сходиться на заданном отрезке к соответствующим функциям (первоначальным решениям).

Выбираем число узлов настолько большим, чтобы внутри отрезков (7) соответствующие определители Вронского систем многочленов Эрмита были положительны. Тогда в уравнении ад на каждом из рассматриваемых промежутков фундаментальную систему решений можно заменить соответствующей построенной системой многочленов Эрмита. При этом новое уравнение Ъд е Е3 будет обладать всеми условиями 1)-3) леммы 4.

2. Зафиксируем произвольное р е N и для заданного решения у е £*(Ъд) вектора т е Я*3 обозначим

V т 1р ) = у~ т Гр, tp_l + Т0) + у- ^ m, ^, Гр + Т0) +

+ (y, т,Тр, 8р + Т0) + у- (y, m, tp, Тр + Т0).

Пусть задано отображение (р . Я* ^ £*(ЪД), переводящее каждую ненулевую точку

с = (с1, с2, с3) е R* в решение

<(с) = y = cy1 + С2y2 + c3Уз e s*(b-), (8)

для которого обозначено

У° ( y, m, Ip )

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

к (с, m) =-—, к (с) = inf к (с, m).

12 p meR,3

Заметим, что величина к~ (с, m) вообще не зависит от p , а зависит от векторов m и с (это видно из вида фундаментальной системы решений уравнения b^ ). Покажем, что любое решение (8) удовлетворяет равенствам

С (у) = S (у) = Г (y) = S- (у) = к- (с). (9)

3. Последовательность

t0 = 0, tp = tp_1 + 6T0 + 12np, p e N, удовлетворяет условиям lim t = œ, lim(tp _t = œ, а значит, обладает свойством

p^œ P p^œ P P

t . 6T0 +12л ,. p _1 1 lim—^- = 1 + lim—0-+ 12л-hm—— = 1.

p^œ tp_1 p^œ tp_1 p^œ tp_1

4. Известно, что число корней алгебраического многочлена не превосходит его степени. Поэтому найдется такое число T, что для любого решения y e S,(bß) функция (y/y,m} (при

любом m e R*3 ) имеет на любом промежутке вида (7) не более чем T строгих смен знака. Следовательно, при использовании формул для частот (см. лемму 1) можно не брать в расчет как полуинтервал (0;T0], так и при любом p e N полуинтервалы

(tp_1, tp _1 + T0 ], (rp, rp + T0 ], (sp, Sp + T0 ], (rp ,Tp + T0 ],

на каждом из которых оно имеет не более чем T строгих смен знака.

Таким образом, для ненулевых решений построенного уравнения имеют место следующие соотношения:

p

( ^ ^ Ii )

w 7Г

С" (у) = lim inf— V (y, m, tp ) = lim inf —^-=

p^œ meR, t p^œ meR*

Y12m

.. . ,,12ж(1-к (c,m) + 2-к (c,m) +... + p-к (c,m)) . _ _

= lim inf---------------— = inf к (c, m) = к (c),

p—meR,3 12ж(1 + 2 + . . . + p) meR,3

ж ж

(y) = inf3 lim у (y, m, tp ) < lim — у_ (y, mc, tp ) = К (c).

meR, p — ю tp p—ю tp

Аналогичные равенства и неравенства справедливы соответственно для верхних частот, поэтому выполняются равенства (9), на основании которых с учетом изоморфизма cp:Rl — S,(b~) главные частоты строгих знаков семейства уравнений b- e E3 можно вычислять по формулам

^Ф-) = infк (cX ®3(bi) = suPK (c), ®=C , (10)

ceR,3 - ceR,3

®2(Ъ—) = Ш^ир*" (СХ ®2(Ъ—) = SUplnf К (C), , (11)

^ и ЬеО* Сеь - И ¿ее* сеЬ

где е*2 - множество двумерных подпространств пространства Я3, в которых выколот нулевой вектор.

5. Найдем возможные значения величины К (с) при каком-либо фиксированном значении р , для других значений р эти величины не будут меняться. Для этого в зависимости

i=1

от вектора c е R*3 укажем такой вектор m е R*3, при котором функция (yy, m} имеет наименьшее общее число строгих смен знака на промежутках

(<P-i + TO, Гр J, (rp + T0, Sp J, (sp + T0,rp J, (тр + T0, tp J.

Минимум в определении величины к~ (с) реализуется на векторе m1 = (9,0,1). В самом деле, на промежутке (г + T0, tp J функция (yy, m} при m = m1 тождественно равна нулю или отделена от нуля, так как выполняются

(y(cos 3t), m1) = (y (sin 3t), m1) = 0, (y(e~t), m^j = 10e^t > 0, t е R,

а значит, v(y,m,t ,г + T0) = 0.

Теперь для вычисления К (с) остается посчитать число строгих смен знака функции (yy, m^ на каждом из промежутков

(tp-1 + T0, rp J, (rp + T0, Sp J, (Sp + T0,rp J. (12)

На том из трех промежутков (12), на котором yi (t) = /л e~l , функция (yy, m^j предста-вима в виде

(yy, m^j = 85(с(2 , + с2+1 jsin(t + 0) + 10cißpe t,

el

где в е Я - вспомогательный угол. Умножив эту функцию на .— , будем иметь

л/85

etym) = 1 2 ,2 • (t, 0), 1QVp

= V ch + cf+1 sin(t + 0) + C(

л/85 ^ г1 '+1 4 ' ' л/85 Обозначив рр = ^—р , из неравенства л/0,425 < д < -Д7 получим л/2/2 <рр <л/2.

Пусть для вектора с е Я*3 и номера г е {1, 2, 3} выполнено условие

с1Рр > с]_1 + сг2+1 (13)

(здесь и всюду ниже индекс 0 отождествлен с индексом 3, а индекс 4 - с индексом 1). Тогда

V2 , 2 I I

сг_1 + сг+1 < \сгрр\, гарантирующая отсутствие строгих смен знака у функции (уу, т^ на рассматриваемом промежутке.

Аналогично, при условии с]р2р < с^ + сг2+1 на упомянутом промежутке функция (уу, т^

2 2 2 2

имеет 2р строгих смен знака, а при условии сг рр = сг_ + сг+1 - ни одной.

Следуя И.Н. Сергееву, обозначим через подмножество пространства Я*3, состоящее из точек, удовлетворяющих неравенству (13) и представляющее собой в пространстве Я*3 круглый конус (точнее, его внутренность, каковую и будем подразумевать в дальнейшем под словом конус), ось которого совпадает с г -й осью координат.

Через иг ^ ^ Я*3 обозначим множество точек, принадлежащих ровно г из трех конусов

V, У2, У3 и при этом лежащих на границе ровно ] из оставшихся. Тогда для величины к_ справедливы равенства

0, с е и30 и и21 и и12 и и, 3, 16, с еии и и2,0 и и0,2 ,

К (c) =

V3, c е U0,1 ^U1,0, (14)

12, c eU0,0,

причем здесь перечислены все возможные значения этой величины.

6. Проследим за изменением множества значений К при изменении последовательности — е М ш .

6.1) Если 42 /2 <рр < 1 при любом р е N, то никакие два из конусов У1, У2 и У3 не имеют общих точек, даже граничных (см. п. 4. А доказательства леммы 16 [1]). Поэтому непустыми являются только множества и00, и01, и10, а значит, учитывая равенства (14), искомое множество значений оказывается следующим: Е (К ) = {1/3, 1/2}

6.2) Если рр = 1 при любом р е N, то конусы У1, У2 и У3 только касаются друг друга,

причем только попарно, и все точки касания лежат на шести конкретных прямых (см. п. 4.Б доказательства леммы 16 [1]). Следовательно, к предыдущему списку непустых множеств добавляется лишь одно множество и0 2, а значит имеем Е(К) = {1/6,1/3, 1/2}

6.3) Если 1 < рр <42 при любом р е N, то конусы уже попарно пересекаются, но не

имеют общих для них всех точек, даже граничных (см. п. 4.В доказательства леммы 16 [1]). При этом также и граница любого конуса пересекается с любым другим конусом, как и с его границей.

В этом случае к предыдущему списку непустых множеств добавляются еще два множества и2 0 и и11, поэтому Е(К ) = {{6,1/3, 1/2}

6.4) Если р = 42 при любом р е N, то пересечение всех трех конусов пусто, но имеются общие граничные точки всех трех конусов (см. п. 4.Г доказательства леммы 16 [1]). Аналогично, дополнение к объединению все трех конусов состоит лишь из точек, удовлетворяющих условию

Ы=Ы=14 (15)

Более того, любая граничная точка любого конуса, отличная от точек, удовлетворяющих условию (15), обязательно принадлежит другому конусу, но не принадлежит даже замыканию третьего.

Таким образом, к предыдущему списку непустых множеств добавляются еще множество и3 0, но из списка выпадают множества и0 0, и01 и и0 2, поэтому Е(К) = {0, 1/6,1/3}

7. Проследим за наименьшим значением К(С) = зирК (с), где С е О*2, при изменении

сеС

последовательности — е Мш .

Понятно, что при любом рр е (л/2/2,42\ любая плоскость из множества О* выходит за пределы любого из конусов У1 , У2 и У3 , даже его замыкания.

7.1) Поэтому если рр < 1 при любом р е N, то любая плоскость С е О* содержит точки с множества и00, в которых к(с) = 1/2, следовательно, К(С) = 1/2 - это и есть наименьшее значение (см. п. 4.Д доказательства леммы 16 [1]).

7.2) Если рр = 1 при любом р е N, то сохраняется тот же вывод для всех плоскостей,

кроме трех конкретных, которые проходят через пары осей координат и на которых реализуется искомый минимум обеих исследуемых величин. Такие плоскости - назовем их координатными - состоят из точек двух множеств и10 и и0 2, поэтому для любой такой плоскости,

скажем С1, справедливы равенства К(С1) = 1/3 (см. п. 4.Е доказательства леммы 16 [1]).

7.3) Те же равенства сохраняются и при 1 < рр <42, р е N, когда все точки плоскости С1 состоят из точек трех множеств и1,0 , и0,2 и и1,1 . Сохраняются и прежние наименьшие значения обеих величин, так как для любой плоскости С е О*2 , как и для трех координатных,

имеем к(С1) > 1/3, поскольку при л/2/2 <рр < л/2, р е N, она обязательно проходит через точки множества и10 (см. п. 4.Е доказательства леммы 16 [1]).

8. Проследим за наибольшими значениями к(С) = К (с), где С е О*2 , при изменении

сеС

последовательности — е Мш .

5.1) Если V2/2 <р <- =

1

1 + при любом p e N, то для конкретной плоскости

2

С2, проходящей через точки (1,0,0), (1,1,1) и состоящей из точек множеств и00, и01 и и10, выполняется к(С2) = 1/3 (см. п. 4.З доказательства леммы 16 [1]).

Любая из остальных плоскостей С, как было доказано в п. 7.2) настоящего доказательства, обязательно проходит и через точки множества и10, поэтому к(С) < 1/3 и значение 1/3

- наибольшее.

8.2) Если рр = — при любом р е N, то плоскость С2 будет касаться конуса У3 и проходить через граничную точку обоих конусов У1 и У2 сразу. Эта плоскость состоит из точек множеств и10, и11 и и0 2, поэтому к(С2 ) = 1/6. Последнее значение является наибольшим,

так как любая другая плоскость С е О*2 удовлетворяет неравенствам к(С) < 1/ 6, поскольку проходит, в частности, через точки множества и2 0 (см. п. 4.И доказательства леммы 16 [1]).

8.3) Описанным только что свойством при — < рр <42 обладает уже любая плоскость

С е О*2 вообще, поэтому наибольшее значение равно 16 и реализуется оно, например, на плоскости С2 , содержащей точки множества и2,0 и не содержащей точек множеств и2,1 и и3 0 (см. п. 4.К доказательства леммы 16 [1]).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

9. Собирая полученные в пп. 6-8 настоящего доказательства и воспользовавшись формулами (10), (11), при каждом а> = С получим:

3 = ®1(^1) = аЛ^ < = с°3(а1) = ^

1 = ®№2) <1 = а2(ё2) = ®2(^2) <а3(ё2) = 1, 6 3 " 2

1 =^1^ = ®2(^3) < 1 =®2№3) <а3(ё3) = 1,

6 " 3 2

0 = ©1(^4) < — = со2(ё4) < со2(ё4) = а>3^4) = —, 6 " 3

где в качестве уравнения d1 берется уравнение из семейства Ъ— е Е3 при

-у/0,425 <—р <40$5 Ур е N; в качестве уравнения d2 - уравнение из семейства Ъ— е Е3 при — = д/0,85 Ур е N;

1

85(1 + V5) VpeN;

в качестве уравнения d3 - уравнение из семейства Ъ— е Е при —р = —^

в качестве уравнения d4 - уравнение из семейства Ъ— е Е3 при —р =417 Ур е N. Теорема 1 полностью доказана. Доказательство теоремы 2.

Теперь укажем точки разрыва младших частот на множестве Е3. Примером точки разрыва для функции а1 и а>3 служит уравнение d4 из построенного в теореме 1 семейства,

взятое при постоянной последовательности д = д2 =.... = д/1,7, в котором а>1 (с14)= 0, а>3 (с14) = 1/3.

В самом деле, в любой окрестности этого уравнения (в силу непрерывности семейства уравнений по д) найдется возмущенное уравнение Ъд из того же семейства, но попадающее

под пункт 6.3) доказательства теоремы 1, а значит, удовлетворяющее равенству ©1(Ъд) = 1/6, оъ(Ъд) = 1/2.

Кроме того, если возмущенное уравнение Ъд подчинить дополнительному условию др ^ д/1,7 при р , то для него помимо указанных равенств будет выполнено условие Ъд е В(ё4) , из которого следует, что функционалы со1, а>3 не инвариантны в точке ё4 относительно бесконечно малых возмущений, а значит, в силу лемм 2 и 3 они не являются полунепрерывными функциями ни сверху, ни снизу.

Аналогично примером точки разрыва и неинвариантности относительно бесконечно малых возмущений для функции ^ служит уравнение ё 2 (из доказательства теоремы 1), а

для функции ф2 - уравнение ё3 (из доказательства теоремы 1). Теорема 2 полностью доказана.

Автор выражает глубокую благодарность профессору И.Н. Сергееву за постановку задачи и внимание к работе.

Примечания:

1. Сергеев И.Н. Определения и свойства характеристических частот линейного уравнения // Труды Семинара им. И.Г. Петровского. 2006. Вып. 25. С. 249-294.

2. Сергеев И.Н. Определение полных частот решений линейного уравнения // Дифференциальные уравнения. 2008. Т. 44, № 11. С. 1577.

3. Сергеев И.Н. Замечательное совпадение характеристик колеблемости и блуждаемости решений дифференциальных систем // Математический сборник. 2013. Т. 204, № 1. С. 119-138.

4. Сергеев И.Н. Колеблемость и блуждаемость решений дифференциального уравнения второго порядка // Вестник Московского университета. Сер. 1. Математика и механика. 2011. № 6. С. 21-26.

5. Сергеев И.Н. К теории показателей Ляпунова линейных систем дифференциальных уравнений // Труды Семинара им. И.Г. Петровского. 1983. Вып. 9. С. 111-166.

6. Сташ А.Х. О существовании линейного дифференциального уравнения третьего порядка с континуальными спектрами полной и векторной частот // Вестник Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2013. Вып. 3 (122). С. 9-17. URL: http://vestnik.adygnet.ru

7. Сташ А.Х. О разрывности младших частот нулей и корней на множестве линейных однородных дифференциальных уравнений третьего порядка // Вестник Адыгейского государственного университета. Сер. Естественно-математические и технические науки. 2016. Вып. 1 (176). С. 17-24. URL: http://vestnik.adygnet.ru

8. Калиткин Н.Н. Численные методы. М.: Наука, 1978. 512 с.

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. 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. 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

7. 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

8. Kalitkin N.N. Numerical methods. M.: Nauka, 1978. 512 pp.

i Надоели баннеры? Вы всегда можете отключить рекламу.