МАТЕМАТИКА УРАВНЕНИЯ В КОНЕЧНЫХ РАЗНОСТЯХ В. А. КОНДРАТЬЕВ Московский государственный университет им. М.В. Ломоносова
O...
4 downloads
159 Views
108KB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
МАТЕМАТИКА УРАВНЕНИЯ В КОНЕЧНЫХ РАЗНОСТЯХ В. А. КОНДРАТЬЕВ Московский государственный университет им. М.В. Ломоносова
ON DIFFERENCE EQUATIONS V. A. KONDRATYEV
The theory of second order linear difference equations is examined. The problems of asymptotical behavior and oscillation are considered. The proof is based on elementary methods. Статья посвящена теории линейных разностных уравнений второго порядка. Рассмотрены проблемы асимптотического поведения решений и их колеблемости. Все доказательства элементарные.
Теория конечных разностей имеет большое значение для приближенного решения дифференциальных уравнений, численного интегрирования и конструктивной теории функций действительного и комплексного переменного. Соотношение F [x; f (x); ∆ f (x), …, ∆n f (x)] = 0, где функция F задана, функция f искомая, ∆ f (x) = f (x + 1) − f (x),
∆n f (x) = ∆n − 1f (x + 1) − ∆n − 1f (x),
называется разностным уравнением порядка n. Классической монографией, посвященной этой теме, является монография А.О. Гельфонда [1]. Этой проблематике посвящена также книга Р. Беллмана и К. Кука [2]. Свойства решений уравнений с конечными разностями (иногда говорят, “уравнения на сетках”) во многом напоминают свойства решений дифференциальных уравнений, и в то же время их исследование часто значительно проще. Доказательства многих теорем элементарны и доступны студентам младших курсов и школьникам. Начнем рассматривать уравнение y ( n + 1 ) + y ( n – 1 ) – 2y ( n ) ------------------------------------------------------------------- + q ( n )y ( n ) = 0, 2
(1)
© Кондратьев В.А., 2000
где n = 1, 2, …; q(n) – заданная последовательность вещественных чисел. Требуется найти последовательность y(n), удовлетворяющую (1). Уравнение (1) по свойствам его решений очень напоминает классическое уравнение Штурма–Лиувилля
122
y''(x) + Q(x)y = 0,
www.issep.rssi.ru
(2)
которое является предметом большого числа исследований, продолжающихся вплоть до настоящего времени [2]. Заметим, что, задав произвольно y(0) и y(1), из (1) можно однозначно найти y(2), y(3), … Пусть, в частности, y1(0) = 0, y1(1) = 1, а y2(0) = 1, y2(1) = 0. Обозначим
С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , ТО М 6 , № 1 0 , 2 0 0 0
МАТЕМАТИКА получившиеся решения Y1(n), Y2(n). Тогда всякое решение уравнения (1) можно представить в виде y(n) = y(1)Y1(n) + y(0)Y2(n). Заметим, что если последовательность q(n) не зависит от n, то есть q(n) = q = const для всех n, то уравнение (1) легко решается в явном виде. Легко видеть также, что если y(n) обращается в нуль в каких-либо двух последовательных точках, то есть y(k) = y(k + 1) = 0 при каком-нибудь k, то y(n) = 0 при всех n. Будем говорить, что решение y(n) уравнения (1) осцилляционное, если оно принимает неограниченно много раз как положительные, так и отрицательные значения. В противном случае решение называется неосцилляционным. В обоих случаях речь идет о нетривиальных решениях, то есть таких, что y(n) не обращается в нуль хотя бы в одной точке. Проблема осцилляции решений занимает достойное место в классической теории линейных дифференциальных уравнений [3]. Определение. Уравнение (1) называется неосцилляционным, если все его нетривиальные решения являются неосцилляционными, и называется осцилляционным, если все его нетривиальные решения осцилляционные. Важно заметить, что если одно решение уравнения (1) осцилляционное, то и все являются осцилляционными. То же верно и для неосцилляционных решений. В самом деле, пусть y(n) – осцилляционное решение (1), а y˜ ( n ) – некоторое другое его решение. Так как y(n) осцилляционное, найдутся целые числа m1 и m2 , 0 # m1 < m2 − 1, такие, что y(m1) < 0, y(m2) < 0, y(n) $ 0, если m1 < n < m2 , причем хотя бы для одного значения n = i1 (m1 < i1 < m2) имеет место строгое неравенство y(i1) > 0. Покажем, что среди чисел y˜ ( j ), m1 # j # m2 , есть как положительные, так и отрицательные. Не нарушая общности, можно считать, что y˜ положительно хотя бы в одной точке j, m1 # j # m2 . Если y˜ не принимает отрицательных значений между m1 и m2 , то y˜ ( j ) > 0 для всех j, m1 < j < m2 . В самом деле, если окажется y˜ ( j 1 ) = 0, то из (1) следует y(j1 − 1) = y(j1 + 1) = 0, но мы уже знаем, что решение, обращающееся в нуль в двух последовательных точках, тривиально. Итак, y˜ ( j ) > 0, m1 < j < m2 , y˜ (m1) $ 0, y˜ (m2) $ 0. Пусть C – наименьшая положительная константа, такая, что Cy˜ (j) $ y(j),
m1 < j < m2 .
Такая C, очевидно, найдется, ибо y˜ ( j ) – конечный набор положительных чисел, а среди y(j) есть положительные. Рассмотрим последовательность z(n) = Cy˜ (n) − y(n).
Эта последовательность является решением уравнения (1). Ясно, что z(i) $ 0, m1 # i # m2 , z(m1) > 0, z(m2) > 0 и в некоторой точке k, m1 < k < m2 , z обращается в нуль. Из (1) следует, что z(k − 1) = z(k + 1) = 0. Отсюда z(n) = 0 для всех n. Получено противоречие, ибо z(m1) > 0. Таким образом, y˜ ( n ) меняет знак, если m1 # n # m2 . Поскольку y(n) меняет знак бесконечно много раз, то же верно и для y˜ ( n ) . Классическая теорема Штурма [3] в теории линейных дифференциальных уравнений утверждает, что если в уравнении (2) Q(x) # 0, то его нетривиальное решение может менять знак не более одного раза. Такого типа утверждение справедливо и для разностного уравнения (1): если q(n) # 0 для всех n, то y(n) – решение уравнения (1) – не может менять знак два раза. Докажем это. Пусть y(n) – решение уравнения (1) – меняет знак более одного раза. Это означает, что найдутся m1 , m2 , такие, что y(m1) < 0,
y(m2) > 0,
y(m3) < 0,
m1 < m2 < m3 .
Среди чисел y(i), m1 < i < m3 , найдется максимальное. Пусть это число есть m (ясно, что y(m) $ y(m2) > 0) и y(j) = m при некотором j, m1 < j < m3 . Если таких j несколько, выберем самое маленькое из них. Положив в (1) j = m, получим y(j − 1) = y(j + 1) = m. Это противоречит выбору j. В классической теории уравнения Штурма–Лиувилля [2] можно отметить следующую теорему. 1 Теорема К нез ера. Если Q(x) # --------2 , x > 0, то 4x каждое решение уравнения (2) неосцилляционное на [0, ∞), а если 1+ε -, Q(x) > ----------2 4x
ε > 0,
x $ 1,
то каждое решение уравнения (2) является осцилляционным на [1, ∞). Аналогичная теорема имеет место и для решений уравнения (1). Теорема 1 . Если в уравнении (1) последовательность q(n) такова, что 1 q ( n ) # --------2 , 8n
n = 0, 1, …,
(3)
то уравнение (1) неосцилляционное. Если же при некотором ε > 0 1+ε q ( n ) $ ----------2 8n
(4)
начиная с некоторого n, то уравнение (1) осцилляционное. Доказательство. Пусть имеет место неравенство (3). Прямое вычисление показывает, что
К О Н Д РАТ Ь Е В В . А . У РА В Н Е Н И Я В К О Н Е Ч Н Ы Х РА З Н О С ТЯ Х
123
МАТЕМАТИКА случае υ(N + k) < 0, υ(N + i) $ 0 при 0 # i < k. Пусть m – максимальное из чисел υ(N + i), i = 0, 1, …, k, и υ(N + i1) = m, причем i1 – самое большое из всех i, таких, что υ(N + i) = m $ 0. Из (7), (8) следует
n n+1–2 n+ n–1 l ( n ) = ------------------------------------------------------- + --------2 # 0 2 8n при n $ 1. Более того,
υ ( n + 1 ) – 2υ ( n ) + υ ( n – 1 ) --------------------------------------------------------------------- + q ( n )υ ( n ) $ 0. 2
15 n l ( n ) # – --------------4 . 384n Предположим, что y(n) меняет знак более одного раза, это значит y(m1) < 0, y(m2) > 0, y(n) > 0 при m1 < n < m2 . Пусть C > 0 – наименьшая постоянная, такая, что z(n) = C n – y ( n ) $ 0,
m1 < n < m2 .
(5)
Из (1), (5) следует z ( n + 1 ) + z ( n – 1 ) – 2z ( n ) C n ------------------------------------------------------------------ + ----------2- z ( n ) # 2 8n y ( n + 1 ) + y ( n – 1 ) – 2y ( n ) y ( n ) -# # – ------------------------------------------------------------------- – ---------2 2 8n y ( n + 1 ) + y ( n – 1 ) – 2y ( n ) # – ------------------------------------------------------------------- – q ( n )y ( n ) = 0 2
Это противоречит выбору i1 . Теорема Кнезера об осцилляции решений как дифференциальных, так и разностных уравнений является по существу теоремой сравнения, в которой искомое уравнение сравнивается с конкретным. Несколько другого типа теоремы о колеблемости формулируются в терминах рядов, содержащих члены известной последовательности q(n). Перед тем как остановиться на такого рода критериях, приведем очень простую лемму. Лемма. Если y(n) $ 0, n $ N − 1, y(n) 0, (10)
то yn(x) $ k = const > 0, n $ N + 1. Доказательство. Из (10) следует 2
z(n + 1) + z(n − 1) # 2z(n),
m1 < n < m2 .
(6)
В силу выбора C в (5) найдется i1 , m1 < i1 < m2 , так что z(i1) = 0. Будем рассматривать самую левую из таких точек. Из (6) следует, что и z(i1 − 1) = 0. Противоречие. Доказательство осцилляционности решений при выполнении условия (5) значительно более сложное, оно основано на изложенных выше идеях и использует 1+ε - , ε > 0, уравнение (1) явтот факт, что при q ( n ) = ----------2 8n ляется осцилляционным. Следующая теорема является аналогом классической теоремы сравнения (теорема Чаплыгина) в теории обыкновенных дифференциальных уравнений. Эта теорема имеет самостоятельное значение и широко используется в качественной теории дифференциальных уравнений. Те ор е ма 2 . Если z(n) $ 0 при всех n $ N, z ( n + 1 ) – 2z ( n ) + z ( n – 1 ) ------------------------------------------------------------------ + q ( n )z ( n ) # 0, 2
(7)
y ( n + 1 ) – 2y ( n ) + y ( n – 1 ) ------------------------------------------------------------------- + q ( n )y ( n ) $ 0, 2
(8)
y(n + 1) − y(n) # y(n) − y(n − 1), то есть последовательность ∆y(n) = y(n + 1) − y(n) не возрастает. Значит, существует λ = lim ∆y ( n ). n → +∞
Ясно, что неравенство λ < 0 невозможно, ибо оно приводит к λ y ( n + 1 ) # y ( n ) + --- , 2
n $ 1,
откуда λ y ( n + 2 ) # y ( n + 1 ) + --- # y ( n ) + λ 2 и iλ y ( n + i ) # y ( n ) + ----- , 2 то есть
y ( N + 1 ) – y ( N ) $ z ( N + 1 ) – z ( N ), (9)
то y(n) $ z(n) при n $ N. Доказательство. Обозначим υ(n) = y(n) − z(n). Из (9) следует, что y(N + 1) $ z(N + 1). Пусть y(N + i) $ $ z(N + i) при i = 0, 1, …, k − 1. Покажем, что y(N + k) $ $ z(N + k). Пусть это неравенство неверно. В таком
124
υ(n + i1 + 1) $ 2m − υ(n + i1 − 1) $ m.
y(n + 1) + y(n − 1) − 2y(n) # 0, n $ N,
при m1 < n < m2 . Тем более
y ( N ) $ z ( N ),
Отсюда
lim y ( n ) = – ∞ ,
n→∞
что противоречит условию y(n) $ 0. Таким образом, λ $ 0 и y(n + 1) − y(n) $ 0, n > N. Поскольку y(n0) > 0 при некотором n0 , то y(n) $ y(n0) при n $ n0 . Заметим, что в качестве n0 можно взять N. Действительно, если y(N) = 0, то из (10) следует y(N − 1) = y(N + 1) = 0. Полагая в (10) n = N + 1, получим y(N + 2) = 0 и вообще y(n) ≡ 0. Теорема 3. Если q(n) $ 0, n $ 0
С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , ТО М 6 , № 1 0 , 2 0 0 0
МАТЕМАТИКА тельно, она имеет предел: λ = lim ∆ n ( y ). Легко видеть,
∞
∑ q ( n ) = ∞,
n→∞
что λ = 0. Если λ > 0, то окажется, что lim y ( n ) = +∞, а
1
n→∞
то уравнение (1) осцилляционное. Доказательство. Пусть имеет место противное, то есть существует решение y(n), такое, что y(n) > 0, n $ N. Из леммы 1 следует, что y(n) $ k 2 > 0,
n $ N + 1.
если λ < 0, то lim y ( n ) = – ∞. Так что ∆n(y) стремится к n→∞
нулю убывая и ∆n(y) $ 0. Это означает, что последовательность y(n) неубывающая. Просуммировав все равенства (13) по n от n = k до n = N, получим N
Отсюда и из (1)
∆ N ( y ) = ∆n – 1 ( y ) –
y(n + 1) − y(n) # −k 2q(n) + [y(n) − y(n − 1)],
i=k
y(n + 2) − y(n + 1) # −k 2q(n + 1) + [y(n + 1) − y(n)]. Суммируя последовательно эти неравенства, получим
В этом равенстве можно N устремить к бесконечности, ибо lim ∆ N ( y ) = 0.
y(n + k) − y(n) # −k 2[q(n) + q(n + 1) + …
N→∞
… + q(n + k − 1)] + y(n + k − 1) − y(n − 1).
После этого получим
Следовательно,
∞
lim [ y ( n + k ) – y ( n + k – 1 ) ] = – ∞,
∆k – 1 ( y ) =
k→∞
y(n + k) − y(n + k − 1) # −H,
Просуммируем теперь и эти равенства по k от k = m до k = m + s:
−∞ y(m + s) = y(m) +
∑ ∑ q ( i )y ( i ) =
k=mi=k
(11)
1
Тогда существует y(n) – решение уравнения (1), такое, что lim y ( n ) = 1.
∑ ∑
m+sm+k
$ y(m) +
∞
n→∞
∞
q ( i )y ( i ) $ k=m i=k m+s
при l +∞. Это противоречит гипотезе: y(n) $ 0. Перейдем к рассмотрению асимптотических свойств решений уравнения (1). Предположим при n ∞, что последовательность q(n) $ 0 такова, что
∑ q ( n )n < ∞.
∑ q ( i )y ( i ). i=k
H > 1.
Суммируя опять эти неравенства по k, получим y(n + l) − y(n) # −lH
∑ q ( i )y ( i ).
(12)
k
= y(m) +
∑ ( j + 1 )q ( m + j )y ( m + j ). j=0
Устремляя k к бесконечности, получим, что все частичные суммы ряда k
Более того, (11) – необходимое условие существования решения (1), удовлетворяющего (12). Доказательство достаточности условия (11) не очень элементарно, оно требует применения некоторых свойств числовых рядов и теории метрических пространств. Доказательство необходимости совершенно элементарно. Итак, пусть lim y ( n ) = 1.
n→∞
Обозначим по-прежнему ∆ny = y(n + 1) − y(n). Из (1) следует ∆n(y) = ∆n - 1(y) − q(n)y(n).
(13)
Таким образом, ∆n + 1(y) # ∆n(y) начиная с некоторых n. Последовательность ∆n(y) невозрастающая, следова-
∑ jq ( j )y ( j ) j=1
ограничены. В то же время
lim ( j ) = 1, j→∞
значит,
1 y ( j ) $ --- при больших j, то есть выполнено (11). 2 Конечно, вполне естественно рассматривать и уравнения более общего вида, чем уравнение (1). Такие обобщения могут возникать за счет увеличения числа точек в левой части уравнения (то есть увеличивается порядок уравнения) и за счет появления новых (возможно, нелинейных) членов. Рассмотрим, например, уравнение αny(n + 1) + βny(n − 1) + γny(n) = 0,
К О Н Д РАТ Ь Е В В . А . У РА В Н Е Н И Я В К О Н Е Ч Н Ы Х РА З Н О С ТЯ Х
(14)
125
МАТЕМАТИКА где αn , βn , γn – заданные последовательности. Если α 0 ни при каком n, то уравнение (14), как и уравнение (1), имеет общее решение вида y = c1Y1(n) + c2Y2(n),
где m, n – всевозможные целые числа (как положительные, так и отрицательные).
где Y1 , Y2 – решения уравнения (14) такие, что Y1(0) = Y2(1) = 0,
Y1(1) = Y2(0) = 1.
Если αn + βn > 0, то уравнение (14) обладает тем же свойством, что и (1): все решения осциллируют или не осциллируют одновременно. Сформулируем еще одну теорему об асимптотических свойствах решений разностных уравнений – классическую теорему Пуанкаре. Те ор е ма П уа н к а ре . Если линейное разностное уравнение y(n + k) + ak − 1 y(n + k − 1) + ak − 2 y(n + k − 2) + … … + ay(1) = 0, n = 1, 2, …, (15) таково, что существуют конечные пределы lim a i ( n ) = α k ,
n→∞
ЛИТЕРАТУРА 1. Гельфонд А.О. Исчисление конечных разностей. М.: Наука, 1967. 375 с.
3. Коддингтон Э.А., Левинсон Н. Теория обыкновенных дифференциальных уравнений. Новосибирск: Изд-во иностр. лит., 1958. 474 с.
и если корни уравнения (16)
все различны по модулю, то, каково бы ни было решение y(n + 1) y(n) уравнения (15), lim -------------------- существует и равен одn → ∞ y(n) ному из корней уравнения (16). Много интересных, хотя часто и элементарных задач возникает при рассмотрении многомерных разностных уравнений. Одним из уравнений такого вида является следующее:
126
Следующая задача может быть решена совершенно элементарно: доказать, что если все y(m, n) ограничены по модулю одной и той же постоянной, то y(m, n) принимает во всех точках одно и то же значение. Более трудно доказывается, что если все y(m, n) неотрицательные, то все они одинаковые. Эти теоремы суть разностные аналоги теоремы Лиувилля для гармонических функций.
2. Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967. 548 с.
i = 0, 1, …, k – 1,
λk + αk − 1λk − 1 + … + α0 = 0
y ( m, n ) = y ( m – 1, n ) + y ( m + 1, n ) + y ( m, n – 1 ) + y ( m, n + 1 ) = --------------------------------------------------------------------------------------------------------------------------------- , 4
Рецензент статьи С.А. Кащенко *** Владимир Александрович Кондратьев, доктор физикоматематических наук, профессор кафедры дифференциальных уравнений МГУ. Область научных интересов – дифференциальные уравнения. Автор и соавтор более 150 научных статей в отечественных и зарубежных журналах, соавтор одной монографии.
С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , ТО М 6 , № 1 0 , 2 0 0 0