CC BY
16
СЕКЦИЯ
«ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ, ДИНАМИЧЕСКИЕ СИСТЕМЫ И ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ»
ЧИСЛЕННЫЕ УСЛОВИЯ НАЛИЧИЯ АСИМПТОТИКИ РЕШЕНИЙ СИСТЕМ ЛИНЕЙНЫХ РАЗНОСТНЫХ УРАВНЕНИЙ С ПЕРЕМЕННЫМИ КОЭФФИЦИЕНТАМИ
Жээнтаева Жумагул Кенешовна
канд. физ.-мат. наук, зав. кафедрой Кыргызско-Узбекского университета, Кыргызская Республика, г. Ош E-mail: _ [email protected]
NUMERICAL CONDITIONS OF EXISTENCE
OF ASYMPTOTICS OF SOLUTIONS OF SYSTEMS OF LINEAR DIFFERENCE EQUATIONS WITH VARIABLE COEFFICIENTS
Zhumagul Zheentaeva
сапЛё^в of Science, manager of chair of the Kyrgyz-Uzbek University,
Kyrgyzstan, Osh
АННОТАЦИЯ
По аналогии с известными результатами для решений начальных задач для линейных дифференциальных уравнений с ограниченным запаздыванием аргумента, в статье найдены достаточные численные условия наличия асимптотического разложения решений систем двух разностных уравнений на «специальное» и затухающее решения.
ABSTRACT
By analogy with well-known results for solutions of initial value problems for linear differential equations with bounded delay, sufficient numerical conditions for existence of asymptotical expansion of solutions of systems of two difference equations into "special" and fading ones.
Ключевые слова: разностное уравнение; начальная задача; асимптотика.
Keywords: difference equation; initial value problem; asymptotic.
Для решений начальной задачи для линейного дифференциального уравнения с ограниченным запаздыванием аргумента, в ряде работ (см. обзор в [4; 5]) были найдены условия, когда существует такое одномерное подпространство решений (названных «специальными»), что любое решение стремится при увеличении аргумента к одному из специальных решений.
В статье [6] был построен пример, показывающий, что данное явление имеет место не всегда. В [1] нами показано, что для поиска более широких условий, когда имеет место - это явление, можно использовать численные эксперименты на компьютере.
В связи с этими результатами мы выдвинули гипотезу о том, что аналогичные результаты должны иметь место для более фундаментальных - разностных уравнений.
Еще отметим, что для решений линейных автономных эволюционных уравнений вопрос о структуре пространства решений сводится к исследованию характеристических алгебраических уравнений. Поэтому мы рассматриваем существенно неавтономные уравнения.
Будем рассматривать систему двух разностных уравнений
Xn+1= anXn + bnyn, Уп+1= CnXn + dny„,n=0,1,2,... (1)
с ограничениями
aneA=[a-,a+J; bneB=[b-,b+J; cneC=[c-,c+]; dneD=[d-,d+J. (2)
Требуется найти условия на интервальные числа A, B, C, D, при которых существует одномерное подпространство «специальных решений».
ТЕОРЕМА 1. Если существует такое число w, что
1) q- := [A + B[—w,w]] - >0; 2) \C+[-w,w]D\<wq-,
то существует такое решение {X, Y}, что
(VneN)(Xn >q-n;\Yn\<wXn). (3)
^ СибАК
www.sibac.info
ДОКАЗАТЕЛЬСТВО. Положим Хо=1, Уо=0, тогда соотношения (3) выполняются при п=0. Имеем:
Х1= аоХо + Ьо Уо еЛХ0 +БУо сАХо + =
= (А + Б[-м>, w])Хо > д- Хо;
\У1\= \со Хо + йо Уо \ е\СХо + БУо \е\СХо + Б[^^]Хо\ = = \(С + w]) Хо \^ д-Хо <д-Х1.
Далее доказательство проводится по индукции.
Поскольку рассматривать (восьмимерное) пространство интервальных чисел А, Б, С, Б слишком затруднительно, введем обозначения Ь: = \Б\, с: = \С\, й: = \Б\, тогда условия Теоремы 1 переписываются в виде 1) д- := а- - wЬ>0; 2) с^й
ТЕОРЕМА 2. Если 1) й<а-; 2) (а- - й)2 >4Ьс, то выполняются условия 1), 2) Теоремы 1. Можно взять
w = 1 ((а- -V- - - 4Ьс), (4)
тогда Ч- =1 (а- + ^ + ^(а- - й)2 - 4Ьс).
ДОКАЗАТЕЛЬСТВО. В силу условий 1) и 2) число № определено и поло-жительно. Проверим выполнение условия 1) Теоремы 1:
2(а- - ыЬ) = а-+й + ^(а- - й)2 - 4 Ьс > 0.
Проверим выполнение условия 2) Теоремы 1:
Число w является решением уравнения Ьш2 - (а- - й)ш + с = 0.
Преобразуем его к виду йж + с = а- ж - Ъю2; с + йж = ц^.
Теорема доказана.
ТЕОРЕМА 3. Если 1АО-ВС1<д-2 , то для любого решения {х, у} и спе-циального решения {Х, У}, определенного в Теореме 1, существует предел
у{х,у} = Ит^.
ДОКАЗАТЕЛЬСТВО. Имеем: *п±1-Хп =
1
1
лп+1лп
в скобках - определитель Казоратти (см. например [2]).
^ СибАК
www.sibac.info
Преобразуем его к виду
хп+1^п—хп^п+1 = (&пхп + ЬпУп)Хп—хп (апХп + ЬпУ.
^п(^пУп хп Угд
в скобках - аналог определителя Вронского (см. например [3]). Введем еще обозначение Ди . = ап йП- Ьп с„, тогда получим, используя формулу (17) из [6, с. 550]:
хп+1^п-хп^п+1 = Ьп(Хпуп—хп ¥п) = Ьп Пк=о Дк(^оУо-хо У0). (5)
Введем еще одно обозначение а ■= IAD — BC|q- 2, тогда из (5) следует
|— — —| < const Пк-1 < const ап. (6)
\Хп+1 Хп\ \Хк+1Хк\
Теорема доказана. Из (6) также следует
I 7{Х у} ~ — | < I 1 I %П+2 xn+ll | I ^П+3 ХП+2 I _ <
I Хп\ \Хп+1 Xn\ \Xn+2 Xn+il \ХП+3 Хп+2\
аП
< const ап + const -n+1 + const ап+2 + ••• = const-. (7)
1-а v '
ТЕОРЕМА 4. Если выполняются условия Теорем 2 и 3, то для любого решения {x, y} и специального решения {X, Y}, определенного в Теореме 1,
Ixn — Ax,y}Xn I < const ап(а+ + bw)n. (8)
ДОКАЗАТЕЛЬСТВО. Имеем:
К — rl^yjxj =
ЛХ,У} — 7Г
лп
Xn < const апХп.
Из первого уравнения (1) и из Теоремы 1 получаем:
Хп+1 < АХП + В¥п < а+Хп + Ь¥п < а+Хп + ЬшХп. Теорема доказана. Отсюда сразу следует
ТЕОРЕМА 5. Если выполняются условия Теорем 2 и 3 и
а(а+ + bw) < 1, (9)
то для любого решения {x, y} и специального решения {X, Y}, определенного в Теореме 1, будет lim (хп - у{х,у]Хп ) = 0.
Поскольку A>0, получаем следующую оценку (неулучшаемую в рамках принятых обозначений):
а < (a+d + bc)q-~2. (10)
Поскольку получение конкретных оценок из приведенных формул и соотношений слишком затруднительно, была написана программа с учетом вычислительной погрешности на языке pascal. Исходными данными для нее являются неотрицательные числа a-<a+, b, c, d, и она выдает сообщения: выполняются ли условия Теоремы 2, Теоремы 3, Теоремы 5.
Например:
ТЕОРЕМА 6. Если 0.9< a„ < 1.1, \b„\ < 0.2, \c„\ < 0.3, \d„\ < 0.3, то система (1) имеет специальные решения и для них выполняется асимптотическое свойство Теоремы 5.
Список литературы:
1. Жээнтаева Ж.К. Алгоритмы для экспериментального исследования асимптотики решений линейных уравнений с запаздывающим аргументом и их использование // Бесконечномерный анализ, стохастика, математическое моделирование: новые задачи и методы. Проблемы математического и естественно-научного образования: сборник статей Международной конференции 15-18 декабря 2014 г. - Москва: Российский университет дружбы народов, 2015. - С. 219-223.
2. Ласунский А.В. Разностные уравнения. - Великий Новгород: Новгородский государственный университет им. Ярослава Мудрого, 2011. - 62 с.
3. Математические основы теории автоматического регулирования / В.А. Иванов, Б.К. Чемоданов, В.С. Медведев, А.С. Ющенко. - Москва: Высшая школа, 1971. - 808 с.
4. Мышкис А.Д. Линейные дифференциальные уравнения с запаздывающим аргументом. - Москва: Наука, 1972. - 351 с.
5. Панков П.С. Асимптотическая конечномерность пространства решений одного класса систем с запаздыванием // Дифференциальные уравнения, 1977, том 13, № 4. - С. 455-462.
6. Панков П.С. Пример линейного однородного дифференциального уравнения с запаздыванием, не имеющего конечномерного экспоненциально устойчивого при t ^ с пространства решений // Исследования по инте-гродифференциальным уравнениям. - Фрунзе: Илим, 1977. - С. 117-125.
