Вы находитесь на странице: 1из 32

Математический анализ

3 семестр
1. 1. .Числовые ряды. Критерий Коши сходимости. Свойства сходящихся
рядов.
2. 2. .Ряды с неотрицательными членами. Теоремы сравнения. Признаки
Даламбера, Коши, Гаусса.
3. 3. .Интегральный признак сходимости. Сходимость ряда ∞ 1
n=1 np .
P

4. 4. .Абсолютная сходимость. Свойства абсолютно сходящихся рядов.


5. 5. .Условная сходимость. Теорема Лейбница.
6. 6. .Равномерная сходимость функциональной последовательности, ря-
да. Признак Вейерштрасса.
7. 7. .Непрерывность суммы равномерно сходящегося ряда из непрерыв-
ных функций. Почленное интегрирование и дифференцирование ряда.
8. 8. .Степенные ряды. Радиус сходимости. Непрерывность суммы. Почлен-
ное интегрирование и дифференцирование.
9. 9. .Разложение элементарных функций в степенные ряды.
10. 10. .Ортонормированные системы функций. Обобщенные ряды Фурье.
Тригонометрические ряды Фурье. Теорема сходимости.
11. 11. .Дифференциальные уравнения 1-го порядка. Уравнение y ′ = f (x, y).
Теорема существования и единственности решения задачи Коши. Урав-
нения с разделяющимися
 переменными,
 однородные уравнения. Урав-
ax+by+c
нения вида y ′ = f kx+ly+m .
12. 12. .Линейное дифференциальное уравнение 1-го порядка.
13. 13. .Дифференциальное
 уравнение n-ного
 порядка. Задача Коши для
(n) ′
уравнения y = f x, y, y , ..., y (n−1) . Понижение порядка дифферен-
циального уравнения.
14. 14. .Линейное дифференциальное уравнение n-ного порядка. Свойства
линейного однородного дифференциального уравнения.
15. 15. .Линейная зависимость функций. Определитель Вронского.
16. 16. .Фундаментальная система решений линейного однородного урав-
нения.
17. 17. .Линейное неоднородное уравнение. Принцип суперпозиции.
18. 18. .Метод вариации постоянных.
19. 19. .Линейное однородное дифференциальное уравнение с постоянны-
ми коэффициентами. Характеристическое уравнение. Общее решение.
20. 20. .Метод неопределенных коэффициентов для нахождения частного
решения линейного неоднородного дифференциального уравнения с
постоянными коэффициентами.
Пусть {an } - последовательность чисел. Рассмотрим величины SN =
a1 + ... + an (??).
Определение. Если существует lim SN = S, то говорят, что сходится
N →∞ P∞
бесконечный ряд a1 + a2 + ... + aN + ... (другое обозначение n=1 an ) (??)
и его сумма равна S.
Если же lim SN не существует, либо бесконечен, то говорят, что ряд
N →∞
(??) расходится. Величины SN называются частичными суммами ряда.
Можно кратко переформулировать данное выше определение: Ряд схо-
дится ⇔ существует предел его частичных сумм.
Пример. a + aq + aq 2 + ... + aq n , a 6= 0 (геометрическая
 прогрессия).Из
элементарной алгебры: SN = a + aq + ... + aq = a 1 + q + ... + q N =
N

1−q N−1 aq N+1 aq N+1


 
a
a 1−q = 1−q − 1−q . Если |q| < 1, то 1−q

→ 0 при N → ∞ и
N+1
lim SN a
= 1−q , т.е. ряд сходится. Если |q| > 1, то aq1−q → ∞ при N →
N →∞
∞ и ряд расходится. Если q = 1, то ряд имеет
( вид a + a + a + .... SN = N a
a, 5A; 8 N − = 5G5B => 5
и lim SN = ∞. Если q = −1, то SN = .
N →∞ 0, 5A; 8 N − G5B => 5
Такая последовательность не имеет предела, так как у нее есть два раз-
личных предела (a и 0), а значит общий предел не существует.
Определение. С бесконечным рядом (??) связаны ряды вида an+1 +an+2 +
..., называемые остатками ряда Rn .
Утверждение. Ряд (??) сходится ⇔ ∀n остаток Rn - сходится.
Доказательство.
(⇐) . ∀n Rn сходится ⇒ сходится R1 . Но R1 - это и есть исходный ряд.
(⇒). Ряд сходится ⇒ существует lim SN = S. Но ∀n частичная сумма
N →∞
S̃N ряда Rn имеет вид S̃N = an+1 + ... + an+N = Sn+N − a1 − ... − an .
Величина a1 + ... + an не зависит от N . Кроме того, Sn+N → S при
N → ∞. Поэтому существует lim S̃N = S − a1 − ... − an . Утверждение
N →∞
доказано.
Итак, исследование сходимости ряда и исследование сходимости любо-
го его остатка – эквивалентные задачи. Это означает, что при изучении
сходимости достаточно рассматривать лишь члены ряда, начиная с неко-
торого номера. Это не влияет на сходимость. Изменится лишь сумма
ряда.
Теорема. ∃ lim SN ⇔ ∀ε > 0 ∃N (ε) ∀n > N, ∀p ∈ N |Sn+p − Sn | < ε
N →∞
(??).
Примечание. Поскольку Sn+p − Sn = a1 + ... + an + an+1 + ... + an+p −
(a1 + ... + an ) = = an+1 + ...+ an+p (??), неравенство (??) можно заменить
на неравенство |an+1 + ... + an+p | < ε.
Следствие. (Необходимый признак сходимости ряда).
∃ lim SN ⇒ lim an = 0. Действительно, при p = 1 получаем неравен-
N →∞ n→∞
ство |an+1 | < ε, выполняющееся ∀n > N (ε). Это значит, что lim an = 0.
n→∞
Согласно этому следствию, мы получаем новое доказательство того, что
ряд a − a + a − a + ...расходится при a 6= 0.
Важный пример, показывающий, что необходимый признак сходимости
отнюдь не является достаточным.
Пример. Гармонический ряд ∞ 1 1
n=1 n . lim n = 0, т.е. общий член стре-
P
n→∞
мится к 0. Покажем, что этот ряд расходится. Используем критерий Ко-
1 1
ши. Следует доказать, что ∃ε > 0 ∀N ∃n ≥ N, ∃p ∈ N n+1 + ... + n+p ≥
ε.
В качестве ε выберем число 12 . Берем любое N и любое n > N . Пусть
1 1 1 1
p = n. Тогда n+1 + ... + n+p = n+1 + ... + 2n > 1 + ... + 2n1
= 12 = ε .
P∞ P∞ 2n
Теорема. Пусть сходятся ряды n=1 an , n=1 bn и c - постоянная вели-
чина. Тогда сходятся ряды ∞
P∞ P∞
n=1 (an + bn ) , n=1 (an − bn ) , n=1 can .
P
(a)
Доказательство. Обозначая частичные суммы a1 +...+aN = SN , b1 +...+
(b)
bN = SN получим, что частичные суммы рядов ∞
P∞ P∞
n=1 (an + bn ) , n=1 (an − bn ) ,
P
n=1 can
(a) (b) (a) (b) (a)
равны соответственно SN +SN , SN −SN и cSN . Эти величины имеют
(a) (b) (a) (b) (a)
пределы lim SN + SN , lim SN − SN , lim cSN . Теорема доказана.
N →∞ N →∞ N →∞
Если известно, что все члены ряда ∞ n=1 an имеют, начиная с некоторого
P

номера, постоянный знак, то исследовать его сходимость проще, чем в


общем случае. Это связано с простым критерием сходимости для таких
рядов. Для простоты предположим, что все an ≥ 0.
Теорема. (Критерий сходимости рядов с неотрицательными членами).
Ряд ∞ n=1 an , an ≥ 0 сходится ⇔ ∃C ∀N SN = a1 + ... + aN ≤ C.
P

Доказательство.
(⇒). Пусть SN → S, N → ∞. Тогда SN ≤ S при всех N .
(⇐). Пусть ∀N SN < C. Поскольку SN +1 = SN + aN +1 ≥ SN , последова-
тельность SN возрастает и, по условию, ограничена. Следовательно, по
теореме Вейерштрасса (см. 1-ый семестр), она имеет предел, то есть ряд
сходится.
Простые следствия из этого критерия – очень полезные теоремы сравне-
ния.
Теорема 1. Пусть для всех n 0 ≤ an ≤ bn и пусть ряд ∞ n=1 bn - сходится.
P

Тогда сходится ряд ∞ .


P
a
n=1 n
(a) (b)
Доказательство. Очевидны неравенства 0 ≤ SN ≤ SN . По условию
P∞ (b)
n=1 bn - сходится. Значит, по приведенному выше критерию, ∃C : ∀N SN ≤
(a)
C. Но тогда и SN ≤ C и, значит, ряд ∞ n=1 an - сходится.
P

Примечание 1. Эта теорема может быть сформулирована и так: Пусть


для всех n 0 ≤ an ≤ bn и ряд ∞
P
P∞ n=1 an - расходится, тогда расходится
и ряд n=1 bn . Действительно, если бы этот ряд сходился, то первой
теореме должен был бы сходиться и ряд ∞ n=1 an .
P

Примечание 2. Теорема 1 справедлива и в случае, когда неравенство 0 ≤


an ≤ bn выполняется начиная с некоторого номера n0 .
Теорема 2. Пусть an ≥ 0, bn > 0 для всех n и lim abnn = k > 0. Тогда либо
n→∞
оба ряда ∞
P∞
n=1 an и n=1 bn сходятся, либо они оба расходятся. (Т.е. не
P

может быть так, что один из них сходится, а другой расходится).



Доказательство. lim abnn = k ⇔ ∀ε > 0 ∃n0 ∀n ≥ n0 abnn − k < ε. Выбе-

n→∞
рем ε = k2 . Тогда ∃n0 : ∀n ≥ n0 − k2 < an
bn −k < k
2 ⇔ k
2 < an
bn < 32 k ⇔
(т.к. bn > 0) k2 bn < an < 32 kbn при n ≥ n0 .
Если ряд ∞
P P∞ k
n=1 an – сходится, то сходится и ряд n=1 2 bn (по примеча-
нию 2 к теореме 1). Тогда, взяв c = k2 , получим, что и ряд c · ∞ k
n=1 2 bn ,
P
P∞
т.е. ряд n=1 bn – сходится.
Если ряд ∞ n=1 bn – сходится, то сходится и ряд ∞ 3
n=1 2 kbn и, следова-
P P
P∞
тельно, сходится ряд n=1 an .
Теорема доказана.  
Пример применения теоремы 2. Ряд ∞ 1
n=1 ln 1 + sin 2n сходится, т.к.
P
 
ln 1 + sin 21n ≈ sin 21n ≈ 21n при n → ∞ и ряд ∞ 1
n=1 2n – сходится.
P

Теорема. (Признак сходимости Коши). Пусть an ≥ 0 и при достаточно



больших n n an ≤ q < 1. Тогда ряд ∞ n=1 an сходится. Если же при
P

n ≥ n0 an ≥ 1, то он расходится.
n

Доказательство. Неравенство n an ≤ q при n ≥ n0 равносильно неравен-
ству an ≤ q n . Так как 0 ≤ q < 1, ряд ∞ n
n=1 q – сходится. По теореме 1
P
P∞
из предыдущего параграфа ряд n=1 an также сходится.

Если же n an ≥ 1, то и an ≥ 1 и равенство lim an = 0 невозможно. Т.о.
n→∞
необходимый признак сходимости не выполняется и ряд расходится.
В предельной форме эта теорема выглядит так:

Теорема. Пусть существует lim n an = q. Тогда если q < 1 – ряд сходит-
n→∞
ся, q > 1 – ряд расходится, q = 1 – признак неприменим.
Доказательство. Пусть q < 1. Выберем ε так, чтобы q + ε < 1 (т.е. ε <
√ √
1−q). Тогда при n ≥ n0 (ε) n an − q < ε, т.е. n an < q +ε < 1. Применяя
предыдущую теорему получаем, что ряд сходится.
Если
√ же q > 1, то выберем ε так, что q − ε > 1 (т.е. ε < q − 1). Тогда
n an − q < ε ⇒ 1 < q − ε < √ n a . Вновь по предыдущей теореме ряд
n
расходится.
Теорема. (Признак сходимости Даламбера). Пусть при всех n ≥ n0 0 <
an+1 < qan , где q < 1. Тогда ряд сходится. Если же при n ≥ n0 an+1 ≥ an ,
то ряд расходится.
Доказательство. Из условий теоремы следует 0 < an ≤ qan−1 ≤ q 2 an−2 ≤
a
... ≤ ≤ q n−n0 an0 . Иными словами, an ≤ qnn00 · q n и по первой теореме
сравнения ряд сходится.
Если an+1 ≥ an , то an 6→ 0 при n → ∞ и ряд расходится.
В предельной форме этот признак выглядит так:
Теорема. Если существует lim an+1 = q, то при q < 1 ряд сходится, при
n→∞ an
q > 1 - расходится, а при q = 1 признак неприменим.
Доказательство. При q < 1 выбираем ε так, чтобы q + ε < 1. Пусть
n0 выбрано так, чтобы при n ≥ n0 an−1 an − q < ε, т.е. an
an+1
< q+ε

и an+1 < (q + ε) an , q + ε < 1. По предыдущей теореме ряд сходится.


Если же q > 1, то выберем ε так, что q − ε < 1. Тогда при n ≥ n0
an+1 > (q − ε) an и ряд расходится.
Признаки Коши и Даламбера удобны, но слабоваты. Например, для ря-
q 1 1
q
дов ∞ 1
n=1 n и
∞ 1
n=1 n(n+1) :
n 1
n = e
ln n 1
→ 1 при n → ∞, n n(n+1) =
P P
n

1 1 1
e n (ln n +ln n+1 ) → 1 при n → ∞, т.е. признак Коши не применим. Признак
n n(n+1)
Даламбера тем более неприменим, т.к. lim n+1 = 1, lim (n+1)(n+2) = 1.
n→∞ n→∞
Однако мы знаем, что гармонический ряд расходится, а для второго ряда
1 1 1 1 1
легко подсчитать частичную сумму: N n=1 n(n+1) = 1− 2 + 2 − 3 +...+ N −
P
1 1
N +1 = 1 − N +1 и SN → 1 при N → ∞. (Здесь использовано тождество
1 1 1
n(n+1) = n − n+1 ), т.е. ряд сходится.  
Теорема. (признак Гаусса). Пусть δ > 0 и an+1an
= λ + nµ + O n−(1+δ) ,
n → ∞.
Тогда: Если λ > 1 - ряд сходится,
Если λ < 1 - ряд расходится,
Если λ = 1 и µ > 1 - ряд сходится,
Если λ = 1 и µ ≤ 1 - ряд расходится.
Эту теорему оставим без доказательства.
В применении к ряду ∞ 1 an n+1 1
n=1 n она дает: an+1 = n = 1 + n , λ = 1, µ = 1 -
P

(n+1)(n+2)
ряд расходится. Для ряда ∞ 1
n=1 n(n+1) имеем:
an
= = n+2
=
P
an+1 n(n+1) n
1 + n2 , λ = 1, µ = 2 > 1 - ряд сходится.

Теорема. Пусть f (x) - непрерывная, неотрицательная, монотонно убы-


вающаяR функция, определенная при x ≥ 1. Тогда ряд ∞
P
n=1 f (n) и ин-

теграл 1 f (x) dx либо оба сходятся, либо оба расходятся.
Доказательство. Ввиду монотонности при всех n выполняются неравен-
ства an+1 = f (n + 1) ≤ fR (x) ≤ f (n) = an , n ≤ x ≤ n + 1. Инте-
грируя, получаем an+1 ≤ nn+1 f (x) dx ≤ an . Тогда a2 + ... + an+1 ≤
R n+1
f (x) dx ≤ a1 + ... + an , или Sn+1 − a1 ≤ 1n+1 f (x) dx ≤ Sn . Поэто-
R
1
му если 1∞ f (x) dx сходится, то ∃c : ∀X 1X f (x) dx ≤ C. Тогда ∀n
R R

Sn+1 − a1 ≤ 1n+1 f (x) dx ≤ C и Sn+1 ≤ C + a1 , ⇒ ряд сходится.


R

Пусть теперь наоборот, известно, что ряд сходится. Тогда ∃C :R ∀n Sn ≤


C. Взяв произвольное X выберем n так, чтобы X ≤ n+1. Тогда 1X f (x) dx ≤
f (x) dx ≤ Sn ≤ C. Значит, 1∞ f (x) dx сходится.
R n+1 R
1
Геометрическая
R n+1
иллюстрация теоремы.
1 f (x) dx - площадь под графиком f (x) на отрезке от 1 до n + 1.
a1 + ... + an - площадь “верхней лестницы”, расположенной над графиком
и a2 + ... + an+1 - площадь “нижней лестницы”, под графиком.
ПустьR ряд и интеграл сходятся. Тогда остаток ряда Rn = an+1 + an+2 +
... ≤ nn+1 f (x) dx + n+1 f (x) dx + ... = n∞ f (x) dx.
R n+2 R

Теорема. Сходимость ряда ∞ 1


n=1 np .
P

Ряду n=1 np соответствует функция f (x) = x1p . 1∞ xdxp сходится при


P∞ 1 R

p > 1 и расходится при p ≤ 1. По доказанной теореме, ряд сходится при


p > 1 и расходится при p ≤ 1.
Определение. Абсолютно сходящимся рядом называется сходящийся ряд
P∞
для которого сходится и ряд ∞
n=1 an , |an |.
P
n=1
Легко доказать, что из сходимости ряда ∞ n=1 |an | вытекает сходимость
P
P∞ P∞
ряда n=1 an . По критерию Коши, примененному к n=1 |an |, получаем:
∀ε > 0 ∃N ∀n > N ∀p ∈ N |an+1 | + ... + |an+p | < ε. Из полученного
неравенства следует, что |an+1 + ... + an+p | ≤ |an+1 | + ... + |an+p | < ε и
для исходного ряда также выполнен критерий Коши, следовательно он
сходится. (
+ − + an , an ≥ 0
Обозначим an = max {an , 0} , an = min {an , 0}, т.е. an = ,
0, an < 0
(
an , an < 0
a−
n = . Очевидны равенства: an = a+ − + −
n + an , |an | = an − an .
0, an ≥ 0
Рассмотрим ряды ∞ a+ и ∞ a− . Если они сходятся, то сходится и
P P
P∞ P∞n=1+ n P∞n=1 − n
ряд n=1 |an | = n=1 an − n=1 an , т.е. ряд абсолютно сходится. Если
же сходятся ряды ∞
P P∞ + 1 −
n=1 an , n=1 |an |, то, т.к. an = 2 (an + |an |) , an =
1 ∞ + ∞ −
2 (an − |an |), ряды
P
n=1 an и
P
n=1 an тоже сходятся. Таким образом,
для абсолютной сходимости необходима и достаточна сходимость рядов
P∞ + P∞ −
n=1 an и n=1 an .
Существуют также условно сходящиеся ряды. Простейшим примером
(−1)n+1
служит знакочередующийся ряд ∞ . Он не является абсолют-
P
P∞ 1 n=1 n
но сходящимся, т.к. ряд n=1 n расходится.
n+1
Теорема. (Лейбниц). Пусть для ряда ∞ n=1 (−1) cn выполнены усло-
P

вия:
1. 1. .∀n cn ≥ cn+1 ≥ 0;
2. 2. . lim cn = 0.
n→∞
Тогда этот ряд сходится и его сумма удовлетворяет неравенству: 0 ≤ S ≤
c1 .
Доказательство. Рассмотрим частичную сумму ряда с номером 2N : S2N =
c1 −c2 +...+c2N −1 −c2N и заметим, что S2N +2 = c1 −c2 +...+c2N −1 −c2N +
+c2N +1 − c2N +2 = S2N + c2N +1 − c2N +2 ≥ S2N ≥ 0, т.к. по условию 1 име-
ем неравенство: c2N +1 − c2N +2 ≥ 0. Кроме того, S2N = c1 − (c2 − c3 ) −
(c4 − c5 ) − ... − (c2N −2 − c2N −1 ) − c2N . Все слагаемые в круглых скобках,
а также c2N , по условию 1 неотрицательны и, значит, 0 ≤ S2N ≤ c1 .
Таким образом, последовательность S2N не убывает и ограничена сверху.
Значит, существует предел S = lim S2N . Кроме того, 0 ≤ S ≤ c1 .
N →∞
Осталось доказать, что lim S2N +1 = S. S2N +1 = S2N + c2N +1 и так как
N →∞
по условию 2 lim c2N +1 = 0, lim S2N +1 = lim S2N + lim c2N +1 =
N →∞ N →∞ N →∞ N →∞
S + 0 = S.
(−1)n
Вернемся к ∞ 1 1
n . Очевидно, что n > n+1 > 0 и n→∞ lim n1 = 0. По
P
n=1
теореме Лейбница этот ряд сходится.
Теорема. (Признак Абеля). Если ряд ∞ n=1 bn сходится, а числа a обра-
P
P n
зуют монотонную и ограниченную последовательность, то ряд ∞ n=1 an bn
- сходится.
Без доказательства.
Теорема. (Признак Дирихле). Если частичные суммы ряда ∞ n=1 bn , т.е.
P
PN PN
суммы n=1 bn ограниченны в совокупности (т.е. ∃C ∀N n=1 bn ≤

P∞
C), а последовательность an монотонно стремится к 0, то ряд n=1 an bn
сходится.
Без доказательства.
Пусть задана последовательность функций fn (x), определенных на мно-
жестве X ⊂ R.
Определение. fn (x) поточечно сходится к f (x) на X, если ∀x ∈ X
lim fn (x) = f (x), т.е. ∀x ∈ X ∀ε > 0 ∃N ∀n > N |fn (x) − f (x)| < ε.
n→∞
Пример. Пусть fn (x) = xn , X = [0; 1]. Тогда при 0 ≤ x < 1 имеем:
lim xn = 0. При x = 1 xn ≡ 1 и lim xn = 1. Таким образом, последо-
n→∞ n→∞ (
0, 0 ≤ x < 1
вательность fn (x) поточечно сходится к функции f (x) = .
1, x = 1
Если рассматривать функциональный ряд ∞ n=1 an (x), составленный из
P

определенных на множестве X функций, то под его поточечной сходи-


мостью понимается поточечная сходимость последовательности его ча-
стичных сумм.
Выше мы видим, что поточечный предел последовательности непрерыв-
ных функций может оказаться разрывной функцией.
Чтобы избежать подобных неприятностей, рассмотрим более сильное по-
нятие равномерной сходимости.
Определение. Последовательность fn (x) равномерно сходится к f (x)
при n → ∞ на множестве X, если ∀ε > 0 ∃N (ε) ∀n > N ∀x ∈ X |fn (x) − f (x)| <

ε. Это обозначается так: fn (x) f (x) на X при n → ∞.

Равномерная сходимость функционального ряда – это равномерная схо-
димость последовательности его частичных сумм SN (x) к сумме ря-

да S (x) на X. Это равносильно тому, что S (x) − SN (x) 0 на X при


N → ∞, т.е. тому, что RN (x) 0 на X.

Теорема. (Критерий Коши равномерной сходимости последовательности

fn (x)). fn (x) f (x) на множестве X ⇔ ∀ε > 0 ∃N (ε) > 0 ∀n >

N ∀p ∈ N ∀x ∈ X |fn+p (x) − fn (x)| < ε.
Без доказательства.
Из этой теоремы сразу следует критерий Коши равномерной сходимости функционального ряда:
P∞
n=0 an (x) равномерно сходится на X ⇔ ∀ε > 0 ∃N > 0 ∀n > N ∀p ∈
N ∀x ∈ X |an+1 (x) + ... + an+p (x)| < ε.
Следствие. (Необходимый признак сходимости ряда). Положим в крите-
рий Коши p = 1. Тогда получаем: ∀ε > 0 ∃N ∀n > N ∀x ∈ X |an+1 (x)| <
ε, т.е. lim an (x) = 0.
n→∞
Теорема. (Признак Вейерштрасса). Пусть ∀x ∈ X выполняется неравен-
ство |an (x)| ≤ bn , n = 1, 2, .... Пусть, кроме того, ряд ∞ n=1 bn сходится.
P
P∞
Тогда ряд n=1 an сходится на множестве X абсолютно и равномерно.
Доказательство. Достаточно проверить справедливость критерия Коши,
т.е. доказать, что ∀ε > 0 ∃N > 0 ∀n > N ∀p ∈ N ∀x ∈ X |an+1 (x) + ... + an+p (x)| <
ε. Но последнее неравенство следует из того, что |an+1 (x) + ... + an+p (x)| ≤
|an+1 (x)| + ... + |an+p (x)| ≤ bn+1 + ... + bn+p , а для ряда ∞ n=1 bn выпол-
P

няется критерий Коши, т.е. ∀ε > 0 ∃N > 0 ∀n > N ∀p ∈ N bn+1 + ... +


bn+p < ε.
Примеры использования теоремы.
xn
Пример 1. Ряд ∞ n=1 n2 равномерно (и абсолютно) сходится на [−1; 1].
P
n
Действительно, при |x| ≤ 1 выполнена оценка xn2 ≤ n12 , а ряд ∞ 1
P
n=1 n2
сходится.
Пример 2. ∞ cos nx
равномерно и абсолютно сходится на всей число-
P
n=0 2n
вой прямой, т.к. для всех x cos2nnx ≤ 21n , а ∞ 1

n=0 2n - сходится.
P


Теорема. Пусть fn (x) f (x) на X. Пусть ∀n fn ∈ C (X). Тогда f ∈

C (X).
Доказательство. Требуется доказать, что ∀x0 ∈ X функция f (x) непре-
рывна в точке x0 , т.е. ∀ε > 0 ∃δ > 0 ∀x : |x − x0 | < δ |f (x) − f (x0 )| < ε.
Зафиксируем произвольное ε > 0. Ввиду равномерной сходимости ∃N :
∀n > N ∀x ∈ X |fn (x) − f (x)| < 3ε . В частности, |fn (x0 ) − f (x0 )| <
ε
3 . По условию, при любом n функция fn (x) - непрерывная. Значит,
∃δ > 0 ∀x : |x − x0 | < δ |fn (x) − fn (x0 )| < ε. При выбранных n 8 δ име-
ем: |f (x) − f (x0 )| = |f (x) − fn (x) + fn (x) − fn (x0 ) + fn (x0 ) − f (x0 )| ≤
|f (x) − fn (x)| + + |fn (x) − fn (x0 )| + |fn (x0 ) − f (x0 )| < 3ε + 3ε + 3ε = ε,
что и требовалось доказать.
Следствие. Сумма равномерно сходящегося ряда, члены которого явля-
ются непрерывными функциями, есть непрерывная функция.
Доказательство. Применим предыдущую теорему к последовательности
частичных сумм ряда.
Теорема. (почленное интегрирование ряда). Пусть ряд ∞ n=1 an (x) рав-
P

номерно сходится к своей сумме


R x P∞
S (x) на отрезке [a; b] и все an (x) ∈
P∞ R x
C [a; b]. Тогда ∀x ∈ [a; b] a n=1 an (t) dt = n=1 a an (t) dt.
Доказательство. Обозначим при произвольном N SN (x) = N n=1 an (x),
P

rN (x) = S (x) − SN (x). Тогда SN (x) - непрерывная функция и, т.к. по


предыдущей теореме S (x) - непрерывная функция,
R x P∞ Rx
rN (x)
Rx
- также непре-
рывная
Rx
функция.
Rx
Тогда aR P a
n=1 n (t) dt = S
a R (t) dt = a (S N (t) + rN (t)) dt =
x N x N Rx
(t) (t) = (t) + (t) = n=1 Ra an (t) dt+
P
S
Rax N
dt+ r
a N dt a a
n=1 n dt+ r
a N dt
a rN (t) dt. Для доказательства теоремы достаточно доказать, что Rax rN (t) dt →
PN R x P∞ x
0 при N → ∞, т.к., по определению, lim n=1 a an (t) d = = n=1 a an (t) dt.
N →∞
ε
Но
Rx
∀ε > 0 ∃N0 R ∀N > N0 ∀t ∈ [a; b] |rN (t)| < b−a . Поэтому при N > N0
x ε
| a rN (t) dt| < a |rN (t)| dt < b−a · (x − a) ≤ ε и требуемое утверждение
доказано.
Замечание. Для функциональных последовательностей эта теорема фор-

мулируется следующим образом: Пусть fn (x) f (x) на [a; b]. Пусть fn (x) ∈

C [a; b]. Тогда ∀x ∈ [a; b] lim ax fn (t) dt = ax f (t) dt.
R R
n→∞
Теорема. (о почленном дифференцировании ряда).
Пусть:
1. 1. .∀n an (x) ∈ C ([a; b]) , a′n (x) ∈ C ([a; b]);
2. 2. .Ряд ∞ n=1 an (x) сходится на [a; b] (и пусть его сумма обозначена
P

S (x));
3. 3. .Ряд ∞ a′n (x) равномерно сходится на [a; b].
P
P∞ n=1 ′
Тогда n=1 a′n (x) = S ′ (x) или, иными словами, ∞ ′ P∞
n=1 an (x) = ( n=1 an (x)) .
P

Доказательство. Обозначим φ (x) - сумму ряда ∞ ′


n=1 an (x). Тогда φ (x)
P

- непрерывная на [a; b] функция. Поэтому ∀x ∈ [a; b]R существует ее инте-


грал от a 4 > x и он, по предыдущей теореме, равен ax φ (t) dt = ∞
Rx ′
a an (t) dt =
P
P∞ P∞ P∞ n=1
n=1 (an (x) − a n (a)) = a
n=1 n (x)− an (a) = S (x)− S (a). Значит,
′ P∞ n=1
S ′ (x) = φ (x) или ( ∞ (x)) = ′ (x).
P
a
n=1 n a
n=1 n
Замечание. Соответствующая теорема для последовательностей может
быть сформулирована так: Пусть f (x) , fn (x) ∈ C ([a; b]). Пусть fn (x) →
′ →
f (x) , x ∈ [a; b], n → ∞ и пусть fn (x) φ (x), x ∈ [a; b] , n → ∞. Тогда

 ′
φ (x) = f ′ (x), или lim fn′ (x) = lim fn (x) .
n→∞ n→∞
Важный частный случай функциональных рядов представляют собой
степенные ряды, т.е. ряды вида ∞ n
P
n=0 an x или, в более общем случае,
P∞ n P∞ n
n=0 na (z − z0 ) . Поскольку при замене z −z 0 = x ряд n=0 an (z − z0 )
P∞
переходит в ряд n=0 an xn , достаточно рассмотреть эти последние ряды.
Теорема 1. Если степенной ряд ∞ n
n=0 an x сходится в точке x = X, то
P

он сходится абсолютно для любого значения x такого, что |x| < |X|.
Доказательство. Поскольку ∞ n
n=0 an X - сходится, n→∞ lim an X n = 0. Сле-
P

довательно, ∃C ∀n |an X n | ≤ C. (Действительно, взяв ε = 1, получим,


что при n > N |an X n | ≤ 1. Тогда в качестве C 2можно взять наиболь-
чисел |a0 | , |a1 X| , a2 X , ..., |an X n | , 1). Тогда

шее из конечного nнабора


x
|an xn | = |an X n | X x n . Так как x < 1, прогрессия C ∞ x n

n ≤ C X
P
X n=0 X
сходится. Значит, по первой теореме о сравнении, сходится ряд ∞ n
n=0 |an X |,
P

т.е. исходный ряд абсолютно сходится.


Эта теорема позволяет выяснить структуру множества, на котором схо-
дится степенной ряд.
Во-первых, очевидно, что любой степенной ряд сходится в точке x = 0.
Кроме того, есть ряды, которые сходятся только в этой точке, например,
ряд ∞ n
n=0 n!x .
P

Если же ряд сходится в точках, отличных от x = 0, то возможны два


случая.
В первом из них множество чисел |x| таких, что ряд сходится в точке
x, неограничено сверху. Тогда ряд абсолютно сходится на всей числовой
прямой, т.к. ∀x ∈ R выберем z так, чтобы, во-первых, |z| > |x| и, во-
вторых, ряд ∞
P n P∞ n
n=0 an z сходился. Тогда, по теореме 1, ряд n=0 an x
абсолютно сходится.
Во втором случае множество чисел |x| таких, что ряд ∞ n
n=0 an x сходит-
P

ся, ограничено сверху. Обозначим через R точную верхнюю грань этого


множества. Число R называется радиусом сходимости ряда. Из опреде-
ления R следует, что:
1. 1. .Если |x| < R, то ряд ∞ an xn абсолютно сходится;
P
Pn=0
2. 2. .Если |x| > R, то ряд ∞ n
n=0 an x расходится.
В случае, когда ряд сходится на всей числовой прямой R, полагают R =
∞.
В точках x = ±R общего утверждения о сходимости сделать нельзя (т.е.
бывают ряды, сходящиеся в обеих этих точках, бывают – сходящиеся
лишь в одной из них, бывают – расходящиеся в обеих точках. Примеры
будут приведены ниже).
Найдем формулы, с помощью которых можно вычислить R - радиус
сходимости степенного ряда. Рассмотрим ряд ∞ n
n=0 |an x |. Применим к
P
|an+1 x |
n+1
an+1
его исследованию признак Даламбера. |an xn | = |x| an . Если су-

ществует lim an+1 = k, и если |x| k < 1, то ряд сходится. Если же

n→∞ an
|an+1 xn+1 |
|x| k > 1, то, начиная с некоторого места, |an xn | > 1 и общий член
|an xn | ряда ∞ n
n=0 |an x | не стремится к 0, но тогда и общий член an x
n
P
P∞
ряда n=0 an xn не стремится к 0 и ряд расходится.
Иными словами, ряд сходится при |x| < k1 и расходится при |x| > k1 .
Таким образом, число R = k1 = lim an+1an
представляет собой радиус

n→∞
сходимости степенного ряда. (Если k = 0, то |x| · 0 = 0 < 1 при всех x
и ряд сходится на всей числовой прямой, что обозначается равенством
R = ∞).
Дадим другую формулу для радиуса сходимости. Применим к рассмат-
P∞ n
p
n
p
риваемому ряду pn=0 |an x | признак Коши. |an x | = |x| |an |. Пусть
n n

существует lim n |an | = k. Тогда, как и выше, при |x| · k < 1 ряд схо-
n→∞
дится, а при |x| · k > 1 - расходится. Поэтому R = k1 = 1√
n
(при
lim |an |
n→∞
k = 0, разумеется, R = ∞).
Рассмотрим примеры.
Пример 1. ∞ xn
lim (n+1)!
n=0 n! ; R = n→∞ = lim (n + 1) = ∞. Ряд абсолютно
P
n! n→∞
сходится на всей числовой прямой.
Пример 2. ∞ n
n=0 x . R = n→∞lim 11 = 1. В точках x = ±1 ряд, очевидно,
P

расходится.
xn P∞ (−1)n
Пример 3. ∞ n
n=1 n . R = lim n+1 = 1. В точке x = −1 @O4
P
n→∞ n=1 n
сходится по теореме Лейбница. В точке x = 1 гармонический ряд ∞ 1 P
n=1 n
расходится.
n x2n−1
Пример 4. ∞ n=1 (−1) 2n−1 . R = 1. В точках x = ±1 получается услов-
P
P∞ (−1)n
но сходящийся ряд n=1 2n−1 .
P∞ xn (n+1)2
Пример 5. n=1 n2 . R = lim 2 = 1. В точках x = ±1 имеем ряд
P∞ n→∞ n
1
n=1 n2 , который абсолютно сходится.
Теорема. Степенной ряд ∞ n
P
n=0 an x представляет собой функцию, непре-
рывную на (−R; R), где R - радиус сходимости ряда.
Доказательство.
Лемма. Пусть r < R. Тогда ∞ n
n=0 an x сходится на множестве |x| ≤ r
P

абсолютно и равномерно.
P∞ n
Доказательство. Так как r < R, ряд n=0 |an | r сходится. Так как
|an xn | ≤ |an | r n , можно применить теорему Вейерштрасса, из которой
и следует утверждение леммы.
Замечание. Лемма отнюдь не утверждает равномерной сходимости сте-
пенного ряда на (−R; R). Да это, вообще говоря, и неверно. Например,
прогрессия ∞ n
P
n=0 x сходится на (−1; 1) неравномерно. Однако этот ряд
сходится равномерно на любом [a; b] , [a; b] ⊂ (−1; 1).
Пусть теперь x ∈ (−R; R), т.е. |x| < R. Выберем r так, чтобы |x| <
r < R. Тогда, по доказанной лемме, ряд сходится на [−r; r] абсолютно
и равномерно. Поскольку все функции an xn - непрерывные, сумма ряда
есть непрерывная на [−r; r] функция. Значит, эта функция непрерывна
и в выбранной, произвольной точке x интервала (−R; R).
Следствие. (Единственность степенного ряда). Пусть f1 (x) = ∞ n
n=0 an x ,
P
P∞ n
f2 (x) = n=0 bn x и в некоторой окрестности x = 0 f1 (x) ≡ f2 (x).
Тогда an ≡ bn .
Доказательство. При x = 0 получаем: a0 + 0 = b0 + 0, a0 = b0 . Поэтому
a1 x + a2 x2 + ... = b1 x + b2 x2 + .... При x 6= 0 a1 + a2 x + ... = b1 + b2 x + ....
В правой и левой частях стоят степенные ряды, а они, по-доказанному,
есть непрерывные функции, поэтому равенство сохраняется при x = 0,
откуда a1 = b1 и т.д. (Отметим, что здесь существенно использована
непрерывность ряда в точке x = 0).
Сформулируем без доказательства еще одну важную теорему.
Теорема. (Абель). Если ряд ∞ n
n=0 an x , имеющий сумму f (x), сходится
P

(хотя бы неабсолютно) при x = R, то lim f (x) = ∞ n


n=0 an R = f (R)
P
x→R−0
(т.е. сумма ряда непрерывна слева).
P∞ an xn+1
Теорема. Для любого x ∈ (−R; R) 0x ( ∞ n
R P
n=0 an t ) dt = n=0 n+1 .
Доказательство. Пусть r удовлетворяет неравенствам |x| < r < R. То-
гда степенной ряд сходится равномерно на [−r; r] и его можно почленно
n+1
проинтегрировать. Кроме того, 0x an tn dt = an xn+1 . Теорема доказана.
R

Теорема. Для любого x ∈ (−R; R) ( ∞ n
n=0 an x ) =
∞ n−1 .
P P
n=1 nan x
Доказательство. Выберем r0 , r1 так, чтобы |x| < r0 < r1 < R. По опре-
∞ n
делению R, ряд n=0 |an r1 | сходится. Поэтому ∃C > 0 (см. доказа-
P

тельство теоремы 1): |an r1 | ≤ C. Рассмотрим величину nan xn−1 =


n

 n−1  n−1  n−1
n |an | r0n−1 x
r0 ≤ n |an | r0n−1 = n |an | r1n−1 r0
r1 ≤ ≤ nC
r1 · r0
r1 .
 n
r0
P∞  n−1 (n+1)C· r1
·r1
nC r0
По признаку Даламбера, ряд n=1 r1 r1 сходится, т.к. lim  n−1 =
n→∞ r0
r1 ·n·C· r1
r0 P∞ n−1 при |x| ≤ r

r1 < 1. Значит, мы оценили члены ряда n=1 nan x 0
 n−1
членами сходящегося ряда ∞ nC r0
. Применяя теорему Вейер-
P
n=1 r1 r1
штрасса на [−r0 ; r0 ], получаем, что этот ряд равномерно сходится. Следо-
вательно, почленное дифференцирование обосновано на отрезке [−r0 ; r0 ],
а значит, и в точке x. Ввиду произвольности точки x ∈ (−R; R), теорема
доказана.
Важное замечание. Из доказанных теорем вытекает, что при интегри-
ровании и дифференцировании радиус сходимости не уменьшается. Но
увеличиться он также не может. Если бы, например, он увеличился и
стал равен R1 , R1 > R при интегрировании, мы продифференцировали
бы этот полученный при интегрировании ряд и получили бы с одной
стороны, ряд, совпадающий с исходным, а с другой стороны, имеющий
радиус сходимости не меньший, чем R1 > R (по доказанному).
Итак, радиус сходимости степенного ряда не меняется при почленном
интегрировании и дифференцировании.
Однако поведение в концевых точках ±R может меняться. Например,
xn P∞ xn−1
ряд ∞ n=1 n2 сходится на [−1; 1]. При этом ряд n=1 n , получающий-
P

ся из исходного дифференцированием, сходится только на [−1; 1), а про-


P∞ xn
грессия ∞ n
n=0 x , получающаяся при дифференцировании ряда
P
n=1 n
(сходящегося на [−1; 1)), сходится на (−1; 1).
Рассмотрим теперь функцию f (x) = ∞ n
P
n=0 an x , представляемую сте-
пенным рядом в области его сходимости. Очевидно, a0 = f (0). Далее, по-
следовательно применяем теорему о почленном дифференцировании ря-
да. f ′ (x) = a1 +2a2 x+3a3 x2 +...+nan xn−1 +..., откуда f ′ (0) = a1 . f ′′ (x) =
′′
2a2 + 3 · 2 · a3 x + ... + n (n − 1) xn−2 + ..., откуда f ′′ (0) = 2a2 , a2 = f 2(0) .
f ′′′ (x) = 3·2·a3 +4·3·2·a4 x+...+n (n − 1) (n − 2) xn−3 +..., f ′′′ (0) = 6a3 и
...
т.д. (n) .
f (x) = n (n − 1) (n − 2) · ... · 2 · 1 + (n + 1) · n · (n − 1) · ...2 · x + ..., f (n) (0) = n!an
f (n) (0)
Следовательно, при всех n an = n! . Таким образом, f (x) = f (0) +
f ′′ (0) 2 f (n) (0) n
f ′ (0) x + + ... +
2 x + .... Это можно сформулировать так:
n! x
степенной ряд, сходящийся к f (x), представляет собой ряд Тейлора для
своей суммы f (x).
Если f (x) имеет производные произвольного порядка в точке x = 0,
то можно образовать соответствующий ей ряд Тейлора: f (0) + f ′ (0) x +
f ′′ (0) 2 f (n) (0) n
2 x + ... + n! x + ....
Важное замечание. Не всегда этот ряд сходится к самой функции f (x).
1
(
− 2
x , x 6= 0
Например, нетрудно доказать, что функция f (x) = e имеет
0, x = 0
производные произвольного порядка в точке x = 0 и все они равны 0,
т.е. 0 = f (0) = f ′ (0) = ... = f (n) (0) = .... Ряд Тейлора этой функции
тождественно равен 0 и не совпадает с f (x).
Необходимое и достаточное условие для того, чтобы ряд Тейлора функ-
ции f (x) сходился к самой функции f (x), можно сформулировать так:
′′ (n)
остаток rn (x) = f (x) − f (0) − f ′ (0) x − f 2(0) x2 − ... − f n!(0) xn должен
стремиться к 0 при n → ∞.
Разложение ex , sin x, cos x.
Лемма. Если для любого отрезка [−H; H] при любом n max f (n+1) (x) ≤

x∈[−H;H]
C (H), то ∀x ∈ R rn (x) → 0.
Доказательство. Для произвольного x ∈ R выберем H так, чтобы x ∈
[−H; H]. Применим к f (x) формулу Тейлора с остаточным членом в
(n)
форме Лагранжа: f (x) = f (0)+f ′ (0) x+...+ f n!(0) xn +rn (x), где rn (x) =
f (n+1) (Θx) n+1

(n+1)! x , 0 < Θ < 1. По условию, f (n+1) (Θx) ≤ C (H) и |rn (x)| ≤

C(H) n+1
n+1 . По признаку Даламбера ряд с членами P∞ C(H)H схо-
(n+1)! H n=0 (n+1)!
C(H)H n+2 (n+1)! H
дится ( lim (n+2)!C(H)H n+1 = lim n+2 = 0). Поэтому его общий член
n→∞ n→∞
C(H) n+1 стремится к 0, значит и r (x) → 0 при n → ∞. Ввиду про-
(n+1)! H n
извольности x ∈ R получаем, что ∀x ∈ R f (x) = f (0) + f ′ (0) x + ... +
f (n) (0) n
n! x + ....
Для получения разложения ex заметим, что (ex )(n) = ex , и для любо-
го отрезка [−H; H] max (ex )(n) = eH . Поэтому лемма применима с
x∈[−H;H]
x2 xn
C (H) = eH , и мы получаем: ex = 1 + x + 2 + ... + n! + ....
Для нахождения разложения sin x и cos x учтем, что ∀n, ∀x ∈ R cos(n) (x) ≤


1, sin(n) (x) ≤ 1 и в лемме можно положить C (H) = 1. Поэтому ∀x ∈ R

x3 x5 n x2n+1
sin x = x − 6 +
120 + ... + (−1) (2n+1)! + ...
x2 4 x2n
cos x = 1 − 2+ x24 + ... + (−1)n (2n)! + ...
Разложения x
для e , sin x, cos x позволяет нам
вывести очень важные для
дальнейшего формулы Эйлера. Сначала дадим необходимые определе-
ния.
Если члены ряда cn = an +ibn - комплексные числа (an , bn ∈ R), то сходи-
мость ряда ∞ cn означает, что одновременно сходятся ряды ∞
P P
P∞ n=0 P∞ n=0 an
и n=0 bn . Абсолютная сходимость ряда pn=0 cn , по определению, есть
сходимость ряда ∞
P∞ 2 2
n=0 |cn |, т.е. ряда n=0p an + bn .
P

Очевидные неравенства max (|an | , |bn |) ≤ a2n + b2n ≤ |an | + |bn | показы-
вают, что абсолютная сходимость ряда ∞ cn равносильна одновремен-
P
P∞ n=0 P
ной абсолютной сходимости рядов n=0 an , ∞ n=0 bn и абсолютно сходя-
щиеся ряды с комплексными членами обладают всеми свойствами абсо-
лютно сходящихся рядов с действительными членами.
Подставим в разложение для ex вместо x величину ix. Тогда (пока фор-
2 3 4
мально) получим: eix = 1 + ix − x2 − i x6 + x24 + .... Группируя дей-
2 4
ствительные

и мнимые слагаемые, получаем: eix = 1 − x2 + x24 + ... +

3
i x − x6 + ... = cos x + i sin x.
Для обоснования законности наших действий заметим, что ряд ez =
P∞ z n
n=0 n! , как доказано выше, абсолютно сходится, поэтому в нем можно
переставить слагаемые (в частности так, как это сделано выше), и сумма
его сохранится. Упомянем, что и для z1 , z2 ∈ C ez1 +z2 = ez1 · ez2 .
Если в разложение для ex подставить вместо x число −ix, то получим:
e−ix = cos (−x) + i sin (−x) = cos x − i sin x. Поэтому из двух получен-
ix −ix ix −ix
ных формул следует, что cos x = e +e 2 , sin x = e −e2i . Кроме того,
для любого комплексного числа α = a + bi e = e αx (a+bi)x = eax · eibx =
ax
e (cos bx + i sin bx).
Разложение ln (1 + x).

1 1
Используем равенство: (ln (1 + x)) = 1+x . Разложим 1+x в ряд как про-
грессию при |x| < 1. 1+x = 1−(−x) = 1 − x + x − x + ... + (−1)n xn + ....
1 1 2 3
2
Тогда, интегрируя это разложение, получим: ln (1 + x) = x − x2 + ... +
n+1
(−1)n xn+1 + .... Это равенство справедливо при |x| < 1. Кроме того, т.к.
n
ряд 1 − 12 + ... + (−1)
n+1 + ... сходится по теореме Лейбница, равенство
сохранится и при x = 1.
Разложение arctan x.

1
Используем равенство: (arctan x) = 1+x 2 . Далее, как и выше, при |x| < 1
1 2 4 6 n 2n
1+x2 = 1 − x + x − x + ... + (−1) x + .... Поэтому, при |x| < 1
x3 x5 x2n+1
arctan x = x − 3 + 5 + ... + (−1)n 2n+1 + .... Кроме того, ряд 1 − 1
3 +
n
1 (−1)
5+ ... + + ... сходится. Значит, написанное выше разложение имеет
2n+1
место и при x = ±1.
Разложение (1 + x)m .
Если обозначить f (x) = (1 + x)m , то f (n) (0) = m·(m − 1)·...·(m − n + 1).
Поэтому (1 + x)m = 1 + mx + m(m−1)
2 x2 + ... + m(m−1)...(m−n+1)
n! xn + .... Это
разложение верно для всех x ∈ (−R; R), где R - радиус
сходимости.
Для
an m(m−1)...(m−n+1)·(n+1)!
нахождения R используем формулу R = lim an+1 = lim n!m(m−1)...(m−n+1)(m−n) =
n→∞ n→∞
lim n+1 = 1. Кроме того, без доказательства, отметим, что при m > 0

n→∞ m−n
разложение справедливо и при x = −1, а при m > −1 - для x = 1.
В заключение приведем несколько полезных следствий из разложения
ln (1 + x).
2 n
Следствие 1. Легко видеть, ln (1 − x) = −x− x2 − ... − (−1)n xn − .... По-
x2 x4 x2m

этому ln 1+x
1−x = ln (1 + x) − ln (1 − x) = 2x 1 + 3 + 5 + ... + 2m+1 + ...
1
1 1+x 1+ 2n+1
при |x| < 1. Полагая x = 2n+1 , n ∈ Z, получаем, что 1−x = 1
1− 2n+1
=
 
(2n+2)(2n+1) 2 1 1 1 1
(2n+1)2n = n+1 n+1
n и ln n = 2n+1 1 + 3 · (2n+1)2 + 5 · (2n+1)4 + ... . Этим
разложением можно воспользоваться при вычислении логарифмов и при
доказательстве формулы Стирлинга.
Следствие 2. Формула Стирлинга.
√ n Θ
Приведем эту формулу без доказательства. n! = 2πn ne e 12n , 0 <
Θ < 1.
Понятие об ортогональных системах функций. Начнем с определения ор-
тогональных функций. Функции φ (x) 8 ψ (x) называются ортогональ-
ными на [a; b], если ab φ (x) ψ (x) dx = 0.
R

Термин “ортогональность” требует некоторых пояснений. Функции на от-


резке [a; b] образуют (бесконечномерное) векторное пространство (сумма
функций и произведение функции на число – это Rснова функция). Рас-
b
смотрим для интегрируемых p функций величину a φ (x) ψ (x) dx (??) и
назовем нормой φ, kφk = (φ, φ). Разумеется, это билинейная симмет-
ричная функция:
1. 1. .(φ, ψ) = ab φ (x) ψ (x) dx = ab ψ (x) φ (x) dx = (ψ, φ);
R R

2. 2. .(φ1 + φ2 , ψ) = a (φ1 (x) + φ2 (x)) ψ (x) dx = ab φ1 (x) ψ (x) dx+ ab φ2 (x) ψ (x) dx ==
Rb R R

(φ1 , ψ) + (φ2 , Rψ);


3. 3. .(λφ, ψ) = ab λφ (x) ψ (x) dx = λ ab φ (x) ψ (x) dx = λ (φ, ψ).
R

4. 4. .Кроме того, если рассматривать только непрерывные функции, из


равенства (φ, φ) = 0 следует, что φ (x) = 0 на [a; b].
Действительно, если бы существовала точка x0 ∈ [a; b] такая, что φ (x0 ) =
c 6= 0, то, ввиду непрерывности φ (x) = 0 [a; b] существовало бы δ та-
кое, что при x ∈ [x0 − δ; x0 + δ] для функции φ2 (x) было бы справед-
2
ливо неравенство φ2 (x) > c2 . Но тогда ab φ2 (x) dx = ax0 −δ φ2 (x) dx +
R R
R x0 +δ 2 Rb 2 c2 2
x0 −δ φ (x) dx + x0 +δ φ (x) dx ≥ 0 + 2δ 2 + 0 = δc > 0.
Поэтому для непрерывных функций φ, ψ величина (??) представляет со-
бой скалярное произведение.
Если рассмотреть более широкий класс, чем непрерывные функции, то
свойство 4 уже не имеет места. ( Например, для отличной от тождествен-
1, x = 0
ного нуля функции φ (x) = на [a; b] = [−1; 1] выполняется ра-
0, x 6= 0
1
φ2 (x) dx = 0.
R
венство −1
Однако, если φ (x) - кусочная непрерывная функция, то можно доказать,
что из равенства kφk2 = ab φ2 (x) dx = 0 следует, что φ (x) равна 0 всюду,
R

кроме конечного числа точек, где она имеет устранимый разрыв.


Таким образом, величина (??) по своим свойствам близка к скалярному
произведению.
Система
Rb
функций {φn (x)} - ортогональная на [a; b], если (φn , φm ) =
φ
a n (x) φm (x) dx = 0 при n 6= m. Система ( функций называется ор-
0, ?@8 n 6= m
тонормированной на [a; b], если (φn , φm ) = .
1, ?@8 n = m
Если
( рассмотреть символ Кронекера δm,n , определяемый так: δm,n =
0, ?@8 n 6= m
, то условие ортонормированности можно записать так:
1, ?@8 n = m
(φn , φm ) = δn,m .
Если ортогональная система функций n{φn (x)}o = 0 [a; b] не содержит
функций с нулевой нормой, то система kφφnn (x)(x)k - ортонормированная.
(

φn φm

1
0, n 6= m
Действительно, kφn k , kφm k = kφn kkφm k (φn , φm ) = (φn ,φn ) .
kφ k2
= 1, n = m
n
Обобщенные ряды Фурье. Пусть φn (x) , n = 1, 2, ..., kφn k = 6 0 - ортого-
нальная на [a; b] система функций. Пусть f (x) представляет собой равно-
мерно сходящийся на [a; b] ряд f (x) = ∞
P
k=1 ck φk . Найдем коэффициенты
ck . Для этого вычислим (f, φn ) = a f (x) φn (x) dx = = ab ( ∞
Rb R P
R b P∞ k=1 ck φk (x)) φ (x) dx =
Rbn
P∞
a R k=1 ck φk (x) φn (x) dx = (ввиду равномерной сходимости) = k=1 ck a φk (x) φn (x) dx =
b 2
cn a φn (x) φn (x) dx = (ввиду ортогональности) = cn kφn k . Поэтому cn =
(f,φn )
kφn k2
.
Однако коэффициент cn некоторой функции f (x) можно вычислять по
этой формуле и без предположения о сходимости ряда ∞ n=1 cn φn (x).
P

Этот коэффициент называется коэффициентом Фурье относительно си-


стемы {φn (x)}, а ряд ∞ n=1 cn φn (x) называется рядом Фурье функции
P

f (x). Мы пока не говорим о сходимости этого ряда к f (x), а говорим


лишь о том, что функции f (x) можно поставить в соответствие ее ряд
Фурье, и записываем это так: f ∝ ∞ n=1 cn φn (x).
P

Мы вернемся к этому важнейшему вопросу о сходимости немного позд-


нее.
Тригонометрические ряды Фурье. Пусть отрезок имеет длину 2l. Для
определенности, пусть это отрезок [−l; l]. Рассмотрим следующую систе-
му функций: 1, cos πx πx nπx nπx
l , sin l , ..., cos l , sin l , ... .
Теорема. Рассматриваемая система функций является ортогональной.
Доказательство.
R l cos nπx cos mπx
ТребуетсяR доказать, что при n 6= m, n, m = 0, 1, ...
l sin nπx sin mπx
−l l · l dx = 0, −l · = 0 и что при всех n, m :
R l cos nπx l sin mπx l
n = 0, 1, ...; m = 1, 2, ... −l l · l dx = 0
Проверим первое из этих равенств.
R l cos nπx cos mπx
Остальные
Rl 1
получаются совершенно 
аналогично. −l l · l dx = −l 2 cos l (m + n) + cos πx πx

l (m
!
− n) dx =
  l   l
= 12 l πx l
sin πx
 
π(m+n) sin l (m + n) + π(m−n) l (m − n) = 0

−l −l

(т.к. sin πk = 0 ?@8 k ∈ Z. 2 nπx 2


Замечание. Легко вычислить, что на (−l; l) k1k2 = 2l, sin nπx

l  = l, cos l  =

2 Rl 1 Rl
l, n = 1, 2, .... Например, sin nπx sin2 nπx
1 − cos 2nπx

= dx = dx =
! l −l l 2 −l l
l
1
2l − l
sin 2nπx = l.

2 2nπ l −l

Предположим теперь, что f (x) определена на (−l; l) и периодически про-


должена на всю числовую ось. Сопоставим ей ряд Фурье по тригономет-
рической системе: f (x) ∝ a20 + ∞ nπx
n=1 an cos l + bn sin l
nπx 
, где an =
P
1 Rl nπx 1 Rl nπx
l −l f (x) cos l , n = 0, 1, 2, ...; bn = l −l f (x) sin l dx, n = 1, 2, ....
(Важнейший частный случай: l = π, тогда тригонометрическая система
имеет вид 1, cos x, sin x, ..., cos

nx, sin nx. Коэффициенты Rπ
Фурье вычисля-
ются по формулам an = π1 −π f (x) cos nxdx, bn = π1 −π f (x) sin nxdx и
a0 P∞
ряд Фурье, соответствующий f (x), есть 2 + n=1 (an cos nx + bn sin nx)).
Вернемся к вопросу о сходимости ряда Фурье.
Теорема. Пусть f (x) - периодическая функция (с периодом 2l), f (x) , f ′ (x)
- кусочно непрерывны на (−l; l) (т.е. ограничены на этом промежутке и
имеют не более чем конечное число точек разрыва, причем только перво-
го рода). Тогда ее ряд Фурье: S (x) = a20 + ∞ nπx nπx

n=1 an cos l + bn sin l
P

сходится при любом x, причем S (x) = f (x), если x - точка, где f (x)
непрерывна. S (x) = f (x+0)+f 2
(x−0)
в точке разрыва (символы f (x + 0) , f (x − 0)
означают lim f (t) 8 lim f (t), соответственно).
t→x+0 t→x−0
Эта теорема приводится без доказательства ввиду его технической слож-
ности (хотя это и одна из самых простых теорем о сходимости).
Рассмотрим особенности разложений в ряд Фурье, присущие четным и
нечетным функциям. Rl
Лемма. Если f (x) - четная интегрируемая функция, то −l f (x) dx =
Rl Rl
2 0 f (x) dx, а если φ (x) - нечетная интегрируемая функция, то −l φ (x) dx =
0. Rl R0
f (x) dx = 0l f (x) dx + −l f (x) dx = 0l f (x) dx +
R R
Доказательство. −l
R0
= (замена x = −t) = 0l f (x) dx + 0l f (−t) dt = (ввиду чет-
R R
l f (−t) dx
Rl Rl Rl Rl
ности) = 0 f (x) dx + 0 f (t) dt = 2 0 f (x) dx. Аналогично, −l φ (x) dx =
Rl R0 Rl Rl
0 φ (x) dx − l φ (−t) dt = 0 φ (x) dx − 0 φ (t) dt = 0 (ввиду нечетности).
Теорема. Разложение в ряд Фурье четной функции f (x) содержит толь-
ко косинусы кратных дуг (т.е. все коэффициенты bn = 0). Разложение
в ряд Фурье нечетной функции φ (x) содержит только синусы кратных
дуг (т.е. все an = 0).
Доказательство. Следует только заметить, что если f (x) - четная, то
∀n f (x) cos nx - четная, а f (x) sin nx - нечетная функция и если φ (x)
нечетная, то ∀n φ (x) sin nx - четная, а φ (x) cos nx - нечетная функция.
Применение леммы доказывает теорему.
Приведем примеры разложения функций в ряды Фурье.
Пример. Разложим в ряд Фурье y = x на интервале (−π; π). Эта функ-
ция – нечетная, поэтому в разложении все an = 0, n = 1, 2, .... Интегри- !
π
π π
руя по частям, находим bn = π2 0 x sin nxdx = π2 − n1 cos nx + n1 0 cos nxdx =
R R
0
!
π
(−1)n+1 ·2

2
− n1 π cos nπ+ + n12 sin nx = (здесь использовано то, что

π 0 n

cos nπ = (−1)n ).
Итак, получаем ряд
(−1)n+1 sin nx, который сходит-
P∞ 2
n=1 n
ся к функции x = 0 (−π; π) ( и к 0 в
точках x = −π, x = π).
Обратим внимание на еще один часто встречающийся тип задач.
Пример. Разложить функцию f (x) на интервале (0; π) по косинусам
кратных дуг. В качестве f (x) рассмотрим x. Эту задачу не следует пу-
тать с разложением в ряд Фурье функции x на интервале (0; π). При та-
ком разложении тригонометрическая система имела бы вид 1, cos 2nx, sin 2nx, n =
1, 2, ..., и разложение содержало бы как функции cos 2nx, так и функции
sin 2nx. Не следует также видеть в этой задаче противоречие с разобран-
ным выше примером. Там ведь функция была задана на (−π; π), и была
нечетной на этом интервале. В рассматриваемом случае мы должны сна-
чала доопределить f (x) на интервале (−π; 0) (в нашем случае это будет
−x) так, чтобы получилась четная функция f ∗ (x).

Разложение f ∗ (x) содержит только косинусы. Рассматривая это раз-


ложение только при x > 0, получаем решение исходной задачи. При
f (x) = x f ∗ (x) = |x|.

Разложим |x| на (−π; π). Это – четная функция.!a0 = π2 0π xdx = π2 , a n =


R
!
π π
2 π 2 1 1 π 2 1
R R
π 0 x cos nxdx = π n x sin nx 0 − n 0 sin nxdx = π 0 + n2 cos nx 0 =

(
0, n = 2k cos(2k+1)x
2
= πn2 (cos nπ − 1) = − . |x| = π2 − π4 ∞
k=0 (2k+1)2 .
P
4
π(2k+1) 2 , n = 2k + 1
Поэтому при x > 0 получаем искомое разложение x по косинусам крат-
cos(2k+1)x
ных дуг. x = π2 − π4 ∞ k=0 (2k+1)2 , x > 0.
P
 
Дифференциальным уравнением называется уравнение вида F x, y, y ′ , ..., y (n) =
0, где F (t0 , t1 , ..., tn+1 ) - функция, определенная в некоторой области
D пространства Rn+2 , x - независимая переменная, y - функция от x,
y ′ , ..., y (n) - ее производные.
Порядком уравнения называется наивысший из порядков производных
y, входящих в уравнение.
Функция f (x) называется решением уравнения на промежутке (a; b), ес- 
ли для всех x из (a; b) выполняется равенство: F x, f (x) , f ′ (x) , ..., f (n) (x) =
0.
Интегральная кривая – это график решения.
Пример 1. Решить уравнение y ′ = 0. Его решение: f (x) = const определе-
но на (−∞; ∞). Отметим, что эта постоянная – произвольная и решение
– не единственное, а имеется бесконечное множество решений.

Пример 2. Решить уравнение y ′ = φ (x) , x ∈ (a; b), где φ (x) - непре-


рывная на (a; b) функция. Пусть F (x) - первообразная для φ (x). Тогда
уравнение имеет бесконечное множество решений на (a; b) и все они име-
ют вид y = f (x) = F (x) + C, где C - произвольная постоянная.
Есть прямой способ выбрать какое-то одно из этих решений, потребо-
вав, например, чтобы для некоторой точки x0 ∈ (a; b) выполнялось усло-
вие y (x0 ) = y0 . Тогда, подставив x0 в решение, получаем условие y0 =
F (x0 ) + C, определяющее C = y0 − F (x0 ) и, тем самым, единственное
решение y = f (x) с указанным условием.
Рассмотрим значительно более общую ситуацию, чем была в примерах.
Пусть исследуемое уравнение имеет вид: y ′ = f (x, y). Это – уравнение
первого порядка, разрешенное относительно y ′ . (Термин «разрешенное»
означает, что y ′ выражается через остальные величины, в отличие от
уравнения общего вида F (x, y, y ′ ) = 0, из которого выразить y ′ может
быть и не удастся).
Сформулируем важнейшую теорему.
Теорема. (О существовании и единственности решения задачи Коши).
∂f
Пусть f (t1 , t2 ) - непрерывная функция в области D ⊂ R2 , причем ∂t 2
(t1 , t2 )
- также( непрерывен в D. Тогда для любой точки (x ,
0 0y ) ∈ D задача Ко-

y = f (x, y)
ши: имеет решение, причем единственное в том смысле,
y (x0 ) = y0
что если есть 2 ее решения y1 и y2 , определенные на интервалах (a1 ; b1 )
и (a2 ; b2 ), содержащих точку x0 , то они совпадают на пересечении (a; b)
этих интервалов.
Теорему оставим без доказательства.
Замечание. Говорят, что решение y1 (x) дифференциального уравнения
на интервале (a1 ; b1 ) есть продолжение решения y2 (x) на (a2 ; b2 ), если
(a2 ; b2 ) ⊂ (a1 ; b1 ) и y1 (x) ≡ y2 (x) на (a2 ; b2 ). Также говорят, что решение
y (x) - максимальное или непродолжаемое относительно D, если y (x) не
обладает продолжениями, целиком лежащими в D.
На основании этого замечания можно сказать, что при условиях теоре-
мы существует единственное максимальное (непродолжаемое) решение
задачи Коши.
Геометрический смысл сформулированной теоремы состоит в следую-
щем. Левая часть уравнения y ′ = f (x, y) представляет собой y ′ - тангенс
угла наклона касательной к графику искомой функции в точке (x, y), а
правая часть f (x, y) задает его численное значение f (x, y) в этой точ-
ке. Поэтому можно считать, что уравнение задает поле направлений на
области D, т.е. к каждой точке (x, y) ∈ D прикреплен вектор, указыва-
ющий направление касательной к искомой интергальной кривой.
Поэтому сформулированная выше теорема означает, что при выполне-
нии ее условий через каждую точку (x, y) ∈ D проходит единственная
непродолжаемая интегральная кривая.
Перейдем к простейшим типам дифференциальных уравнений, для ко-
торых можно в явном виде получить их решения.
Уравнения с разделяющимися переменными. Уравнениями с разделяю-
щимися переменными называются уравнения вида y ′ = f (x) · g (y), где
f (x) - непрерывна на некотором (a; b), а g (y) непрерывна на (c; d), при-
dy dy
чем g (y) 6= 0 на (c; d). dx = f (x) g (y) ⇔ g(y) = f (x) dx. Интегрируя обе
R dy R
части, получаем g(y) = f (x) dx. Обозначая G (y) любую первообраз-
1
ную для g(y) , а F (x) - любую первообразную для f (x), перепишем это
уравнение в виде G (y) = F (x) + C. Это – искомая интегральная кривая.
Рассмотрим некоторые примеры таких уравнений.
Пример 1. y ′ = ay, a 6= 0. ОчевидноR решение y ≡ 0. Если же y 6= 0, то
dy R
уравнение можно заменить таким: y = adx, откуда ln |y| = ax + C.
Если считать, что y > 0, то ln y = x + C, откуда y = eC eax или y =
keax , k = eC > 0. p
Аналогично, при y < 0 получаем y = k1 eax , k1 < 0.

Пример 2. y = 2 |y|. Ry (x) ≡ 0R - решение уравнения. При y > 0 имеем:
√ √
dy dy
dx = 2 y, 2 y = dx,
√ dy
2 y = dx,
√ y = x−C ⇒ x ≥ C, и y = (x − C)2 .
Аналогично, при y < 0 y = − (x − C)2 , x ≤ C.
В точках (C, 0) единственность решения нарушается.pОтметим, что это
не противоречит теореме единственности: f (x, y) = 2 |y|, ∂f ∂y - не непре-
рывен в 0.
Однородные уравнения. Под однородными уравнениями понимаются урав-
нения вида y ′ = f xy . Для их решения требуется сделать замену y = tx,


после чего получится уравнение с разделяющимися переменными.


Пример. xdy = (x + y) dx. Оно имеет решение x ≡ 0. Пусть теперь x 6= 0.
Преобразуем уравнение так: y ′ = x+y x (правая часть имеет вид 1 + x -
y

это однородное уравнение). Полагаем y = tx. При этом y ′ = t′ · x + t и


получаем уравнение t′ x+t = 1+t, t′ x = 1, t′ = x1 , t = ln |x|+C. Значит,
y = x ln |x| + Cx.  
Уравнения вида y ′ = f a1ax+by+cx+b1 y+c1
. Такие уравнения сводятся к одно-
родным заменой переменных. В случае, если прямые a1 x + b1 y + c1 = 0 и
ax + by + c = 0 пересекаются в точке (x0 , y0 ), то замена X = x − x0 , Y =
y − y0 приведет уравнение к однородному. Если же эти прямые не пе-
ресекаются, то a1 x + b1 y = k (ax + by) и замена z = ax + by приведет к
уравнению с разделяющимися переменными.
Пример. Разберем пример: y ′ = x + y.
Решим сначала вспомогательное уравнение y ′ = y. Это – уже знакомое
уравнение с разделяющимися переменными, имеющее решение y = Cex .
Для нахождения решения исходного уравнения используем метод вариа-
ции постоянной. Он состоит в следующем. Ищем решение нашего уравне-
ния в виде: y = C (x) ex , где C (x) - некоторая дифференцируемая функ-
ция. Тогда y ′ = C ′ (x) · ex + C (x) ex и, подставляя в уравнение, получаем:
C ′ (x) · ex + C (x) ex = x + RC (x) ex или C ′ (x) exR = x, C ′ (x) = xe−x . Инте-
грируя, находим: C (x) = xe−x dx = −xe−x + e−x dx = −xe−x −e−x +C1 .
Тогда y = (−xe−x − e−x + C1 ) ex = −x − 1 + C1ex . Итак, мы нашли реше-
ние исходного уравнения. Других решений у него нет, поскольку выпол-
нены все условия теоремы о существовании и единственности решения
задачи Коши (x + y - непрерывная функция от x, y, а ее производная по
y, равная 1, тоже).
В общем случае уравнения y ′ + p (x) y = q (x), где p (x) , q (x) - непрерыв-
ные на (a; b) функции мы поступаем вполне аналогично. Сначала реша-
ем вспомогательное однородное уравнение: y ′ + p (x) y = 0, y ′ = −p (x) y,
dy
y = −p (x) dx (мы не рассматриваем решение y = 0), откуда, обозначая
P (x) любую первообразную для функции −p (x), находим, ограничива-
ясь случаем y > 0, для определенности, ln y = P (x) + ln C, C > 0, или
y = CeP (x) . Далее используем метод вариации постоянных: ищем ре-
шение неоднородного уравнения в виде y = C (x) eP (x) . При этом y ′ =
C ′ (x) eP (x) +C (x) eP (x) ·P ′ (x) = C ′ (x) eP (x) −C (x) p (x) eP (x) . Подстанов-
ка в уравнение дает C ′ (x) eP (x) − C (x) p (x) eP (x) + C (x) p (x) eP (x) = q (x)
или C ′ (x) = q (x) e−P (x) . Интегрируем и, обозначая Q (x) первообразную
для q (x) e−P (x) , получаем C (x) = Q (x)+C1 .Тогда y = P (x)
R (Q (x) + C1 )e R.
q (x) e p(x)dx dx + C1 e− p(x)dx ,
R
Эту формулу иногда записывают в виде y =
понимая под знаком интеграла не все множество первообразных, а одну
произвольно выбранную первообразную.
Уравнения, не разрешенные относительно производной. Общее уравне-
ние первого порядка F (x, y, y ′ ) = 0 можно пытаться решать разными
методами.
Во-первых, можно попытаться все-таки его решить и свести исходное
уравнение к одному или нескольким уравнениям вида y ′ = f (x, y).
Например, (y ′ )2 −y 2 = 0. Уравнение, после ′ ′
" преобразования "к виду (y − y) (y + y) =
y′ = y y = Cex
0 даст равносильную ему совокупность ′ , откуда .
y = −y y = Ce−x
Другой способ – введение параметра.
Например, уравнение y = x + y ′ − ln y ′ можно решить так: введем па-
раметр p = y ′ . Тогда y = x + p − ln p, откуда dy = dx + dp − dp p . Но
dp
dy = y ′ dx = pdx и мы приходим к уравнению pdx = dx + dp − p или
p−1 dp
(p − 1) dx = p dp. При p 6= 1 из этого уравнения получаем dx = p ,x=
ln p + C. Тогда y = x + p − ln p = ln
( p + C+ +p − ln p = p + C и мы получа-
x = ln p + C
ем параметрические уравнения: . В этом случае параметр
y =p+C
p удается исключить: ln p = x − C, p = ex−C и y = ex−C + C - явное
решение. В случае p = 1 из y = x + p − ln p получаем y = x + 1.
Указанный прием применим к уравнениям Лагранжа и Клеро.
Уравнение Лагранжа имеет вид y = φ (y ′ ) x+ψ (y ′ ), где φ (p) , ψ (p) - диф-
ференцируемые функции. Полагая y ′ = p, получаем y = φ (p) x + ψ (p).
Дифференцируя, получаем: dy = xφ′ (p) dp+φ (p) dx+ψ ′ (p) dp или pdx =
xφ′ (p) dp+φ (p) dx+ψ ′ (p) dp, откуда (φ (p) − p) dx+xφ′ (p) dp = −ψ ′ (p) dp.
φ′ (p) ψ′ (p)
Предполагая, что φ (p) 6= p, получаем уравнение dx+x φ(p)−p dp = − φ(p)−p dp,

φ (p) ′
ψ (p)
линейное относительно x : dx dp + φ(p)−p · x = − φ(p)−p . Решаем его указан-
ным выше методом и получаем выражение для x через p и произвольную
постоянную C, x = x (p, C). Тогда y = φ (p) x (p, C) + ψ (p).
Уравнение Клеро – это частный случай уравнения Лагранжа: y = xy ′ +
ψ (y ′ ). Вводя параметр y ′ = p, получаем y = xp + ψ (p) (т.е. φ (p) =
p, как раз оставшийся случай), dy = pdx = xdp + pdx + ψ ′ (p) dp или
(ψ ′ (p) + x) dp = 0. Тогда, если dp = 0, то p = C и y = Cx + ψ (C) - это
общее решение уравнения Клеро. Если же ψ ′ (p) + x = 0, то p = ω (x).
Тогда y = xω (x) + ψ (ω (x)).
Теорема. Пусть функция f (x, t0 , t1 , ..., tn−1 ) определена и непрерывна в
∂f
области D ⊂ Rn+1 . Пусть ∂t 0
, ..., ∂t∂f
n−1
непрерывны в D. Тогда задача Ко-
 
ши, состоящая в нахождении решения уравнения y (n) = f x, y, y ′ , ..., y (n−1)
′ (1) (n−1) (x ) = y (n−1)
с начальными
 условиями y (x0 )= y0 , y (x0 ) = y0 , ..., y 0 0
(1) (n−1)
(где точки x0 , y0 , y0 , ..., y0 принадлежат области D) имеет, притом
единственное, непродолжаемое (максимальное) решение.
Теорема сформулирована без доказательства.
Методы понижения порядка уравнения. Существуют разные методы сни-
жения порядка (и, тем самым, некоторого упрощения) уравнения. Мы
изложим здесь самые простые.  
Если уравнение имеет вид F x, y (k) , ..., y (n) = 0 (т.е. не содержит y, y ′ , ..., y (k−1) ,
то введение новой переменной
 z = y(k) уменьшит порядок уравнения, ко-
торое примет вид F x, z, ..., z (n−k) = 0. Если удастся решить это урав-
нение, то y затем можно получить последовательным интегрированием
z k раз.  
Если уравнение не содержит x, т.е. имеет вид F y, y ′ , ..., y (n) = 0, то его
порядок можно понизить, взяв y за независимую переменную и считая
производную y ′ функцией от y. Поясним это на примере.
Пример. Решить уравнение 2yy ′′ = (y ′ )2 + 1. Пусть y ′ = p (y). Тогда
′)
y ′′ = d(y
dx =
d(p(y))
dx = dy · dx = p′ (y) · p (y), откуда 2ypp′ = p2 + 1; p2pdp
dp dy
2 +1 =
dy
6 0 (пусть y > 0); ln p2 + 1 = ln y + ln C, C > 0; p2 + 1 = Cy; p2 =

y ,y =
√ √
Cy − 1; p = ± Cy − 1. Таким образом, y ′ = ± Cy − 1. Далее находим:

√dy = dx; ±√dy = x + C1 ; ±d(Cy−1)
R R
± Cy−1 C−1

Cy−1
= C (x + C1 ) ; ±2 Cy − 1 =
C (x + C1 ); y (Cy − 1) = (C (x + C1 ))2 .
Рассмотрим дифференциальное уравнение y (n) + pn−1 (x) y (n−1) + ... +
p1 (x) y ′ + p0 (x) y = q (x) (??), где p0 (x) , ..., pn−1 (x) , q (x) - функции,
непрерывные на некотором интервале (a; b).
Это уравнение называется линейным, поскольку все величины y, y ′ , ..., y (n−1) , y (n)
входят в него в первой степени, т.е. линейным образом. Если q (x) ≡ 0, то
это уравнение называется линейным однородным y (n) + pn−1 (x) y (n−1) +
... + p1 (x) y ′ + p0 (x) y = 0 (??).
Если же q (x) 6= 0, то (??) – линейное неоднородное уравнение.
Удобно записывать уравнения (??) и (??) в операторной форме: L (y) =
q (x) и L (y) = 0, соответственно, где величину L (y) = y (n) +pn−1 (x) y (n−1) +
... + p1 (x) y ′ + p0 (x) y можно рассматривать как результат действия ли-
нейного дифференциального оператора L на функцию y = y (x).
(1) (n−1)
Теорема 1. Для любого x0 ∈ (a; b) и любых y0 , y0 , ..., y0 задача Коши
L (y) = q (x)
y (x0 ) = y0
(1)
y ′ (x0 ) = y0 имеет единственное решение y (x), определенное на
..
.
(n−1)
y (n−1) (x0 ) = y0
(a; b).
Доказательство. Применим общую теорему существования и единствен-
ности. Уравнение L (y) = q (x) перепишем в виде y (n) = −pn−1 (x) y (n−1) −
...−p1 (x) y ′ −p0 (x) y+q (x). Соответствующая функция f (x, t0 , t1 , ..., tn−1 )
имеет вид f = q (x) − p0 (x) t0 − p1 (x) t1 − ... − pn−1 (x) tn−1 . Ее частные
∂f ∂f
производные по t0 , ..., tn−1 равны, соответственно ∂t 0
= −p0 (x) , ∂t1
=
∂f
−p1 (x) , ..., ∂tn−1 = −pn−1 (x). Поскольку q (x) , p0 (x) , ..., pn−1 (x), по усло-
вию, непрерывны на (a; b), все условия общей теоремы выполнены. При-
меняя ее, получаем требуемое.
Свойства линейных однородных дифференциальных уравнений.
Лемма 1. Для любых y1 , y2 , имеющиъ производные до порядка n вклю-
чительно, и любых постоянных c1 , c2 L (c1 y1 + c2 y2 ) = c1 L (y1 ) + c2 L (y2 ).
Замечание 1. Иными словами, L - линейный оператор.
Замечание 2. Утверждение леммы равносильно тому, что L (y1 + y2 ) =
L (y1 ) + L (y2 ) и L (cy) = cL (y).
(k) (k)
Доказательство. Для любого 0 ≤ k ≤ n (c1 y1 + c2 y2 )(k) = c1 y1 + c2 y2 в
силу известных свойств производной (при k = 0 под y (k) = y (0) понима-
ется сама функция y).
Следовательно, L (c1 y1 + c2 y2 ) = (c1 y1 + c2 y2 )(n) +pn−1 (x) (c1 y1 + c2 y2 )(n−1)
+
(n) (n) (n−1) (n−1)


...+ +p1 (x) (c1 y1 + c2 y2 ) +p0 (x) (c1 y1 + c2 y2 ) = c1 y1 +c2 y2 +pn−1 (x) c1 y1 + c2 y2 +
(n) (n−1)
 ′ ′
  ′
+p1 (x) c1 y1 + c2 y2 +p0 (x) (c1 y1 + c2 y2 ) = c1 y1 + pn−1 (x) y1 + ... + p1 (x) y1 +
(n) (n−1)
 ′

+p0 (x) y1 )+c2 y2 + pn−1 (x) y2 + ... + p1 (x) y2 + p0 (x) y2 = c1 L (y1 )+
c2 L (y2 ).
Следствие. Если y1 , ..., ym имеют производные до n-го порядка включи-
тельно, а c1 , ..., cm - постоянные, то L (c1 y1 + ... + cm ym ) = c1 L (y1 ) + ... +
cm L (ym ).
Доказательство. Воспользуемся индукцием по m. При m = 1 L (c1 y1 ) =
c1 L (y1 ) по лемме 1 (при c2 = 0). Если утверждение доказано при m − 1,
то, по лемме 1, L (c1 y1 + ... + cm−1 ym−1 + cm ym ) = L (c1 y1 + ... + cm−1 ym−1 )+
cm L (ym ) = (по индуктивному предположению) = c1 L (y1 )+...+cm−1 L (ym−1 )+
cm L (ym ).
Теорема 2. Множество решений линейного однородного дифференциаль-
ного уравнения (??) представляет собой векторное пространство.
Доказательство. Следует доказать, что если y1 , y2 - решения уравнения,
то y1 + y2 - тоже решение, и если y - решение, а c - постоянная, то cy -
тоже решение, т.е. L (y1 ) = 0, L (y2 = 0) ⇒ L (y1 + y2 ) = 0; L (y) = 0 ⇒
L (cy) = 0.
По замечанию 2 к лемме 1, L (y1 + y2 ) = L (y1 ) + L (y2 ) = 0 + 0 =
0; L (cy) = cL (y) = c · 0 = 0.
Перейдем к более глубокому изучению свойств векторного пространства
решений уравнения L (y) = 0 (??). Мы установим ниже, что оно имеет
размерность n.
Определение. Пусть y1 , ..., yn - функции, имеющие все производные до
(n − 1) −3 > порядка включительно. Определителем

Вронского W = W (x)
y1 . . .yn

y . . .y ′
1 n
функций y1 , ..., yn называется величина W = ..
(??).
.


(n−1) (n−1)
y ... yn
1
Определение. Пусть y1 , ..., ym определены ны интервале (a; b). Мы назо-
вем их линейно зависимыми, если существуют постоянные c1 , ..., cm , не
все равные 0, такие, что для всех x ∈ (a; b) c1 y1 + ... + cm ym = 0 (??).
Функции, которые не являются линейно зависимыми, называются линей-
но независимыми. Линейная независимость означает, что из равенства
(??) следует, что c1 = c2 = ... = cm = 0.
Теорема 5. Если y1 , ..., yn - линейно зависимы и имеют производные до
(n − 1) −3 > порядка включительно, то W (x) ≡ 0, x ∈ (a; b).
Доказательство. По условию, существуют не все равные 0 числа c1 , ..., cn
такие, что на (a; b) выполняется тождество c1 y1 + ... + cn yn ≡ 0 (??).
′ ′
Взяв производную от обеих частей, получим: c1 y1 + ... + cn yn ≡ 0 (??).
′′ ′′ ...
Аналогично, c1 y1 + ... + cn yn ≡ 0, (??) (n−1) (n−1) (??).
c1 y1 + ... + cn yn ≡0
Рассмотрим произвольное x ∈ (a; b). Равенства (??) – (??) можно рас-
сматривать как систему линейных однородных уравнений относительно
неизвестных c1 , ..., cn . Поскольку эта система имеет нетривиальное реше-
ние c1 , ..., cn (это означает, что не все c1 , ..., cn равны 0), ее определитель
W (x) должен быть равен 0, т.е. W (x) ≡ 0, x ∈ (a; b).
Обратная(теорема в общем случае ( неверна. Рассмотрим, например,
( функ-
x2 , x ≥ 0 0, x ≥ 0 ′ 2x, x ≥ 0 ′
ции y1 = , y2 = , для которых y1 = , y2 =
0, x < 0 x2 , x < 0 0, x < 0
( (
0, x ≥ 0 y y
1 2 ′ ′ x2 · 0 − 0 · 2x, x ≥ 0
и их определитель Вронского ′ ′ = y1 y2 −y2 y1 =
2x, x < 0 y1 y2 0 · 2x − x2 · 0, x < 0
тождественно равен 0.
Однако если c1 y1 + c2 y2 ≡ 0, то при любом x > 0 получаем c1 x2 = 0,
откуда c1 = 0, а при любом x < 0 получаем c2 x2 = 0, откуда c2 = 0.
Поэтому функции y1 и y2 линейно независимы.
Тем не менее, верна следующая важная теорема.
Теорема 6. Если y1 , ..., yn являются решением уравнения (??) и в некото-
рой точке x0 ∈ (a; b) W (x0 ) = 0, то y1 , ..., yn линейно зависимы на (a; b)
(и, следовательно, W (x) ≡ 0, x ∈ (a; b)).
Доказательство. Рассмотрим  систему линейных уравнений относитель-

 c1 y1 (x0 ) + ... + cn yn (x0 ) = 0
c y ′ (x ) + ... + c y ′ (x ) = 0

1 1 0 n n 0
но неизвестных c1 , ..., cn : (??). Ее

 ...
 (n−1) (n−1)
c1 y1 (x0 ) + ... + cn yn (x0 ) = 0

определитель равен W (x0 ). По условию, W (x0 ) = 0. Значит, систе-
ма (??) имеет нетривиальное решение c1 , ..., cn . Рассмотрим функцию
y = c1 y1 + ... + cn yn . По теореме 1, y является решением уравнения
(??).
 Равенства (??) можно рассматривать как условия задачи Коши,

 y (x0) = 0
y ′ (x ) = 0

0
, которая, по теореме 1, имеет единственное решение.

 ...
 (n−1)

y (x0 ) = 0
Вместе с тем, функция Y ≡ 0 также удовлетворяет уравнению (??) и
условиям (??). Ввиду единственности, y = Y = 0. Таким образом, суще-
ствуют не все равные 0 постоянные c1 , ..., cn такие, что c1 y1 +...+cn yn ≡ 0.
Поэтому y1 , ..., yn - линейно зависимы на (a; b). Следовательно, по теоре-
ме 5, W (x) ≡ 0 на (a; b).
Определение. Любые n линейно независимых решений линейного одно-
родного дифференциального уравнения n-ного порядка называется фун-
даментальной системой решений этого уравнения.
Из предыдущих теорем сразу следует еще одна важная теорема.
Теорема 7. Решения y1 , ..., yn уравнения (??) образуют фундаментальную
систему решений этого уравнения тогда и только тогда, когда их опреде-
литель Вронского W (x) отличен от 0 хотя бы в одной точке x0 ∈ (a; b).
Доказательство. Равносильная переформулировка утверждения теоре-
мы – решения y1 , ..., yn линейно зависимы тогда и только тогда, когда
W (x) ≡ 0 на (a; b). Но это утверждение сразу следует из теорем 5 и 6.
Теорема 8. Для любого линейного однородного дифференциального урав-
нения (??) существует фундаментальная система его решений.
Доказательство. Построим такую фундаментальную систему решений.
Для этого возьмем произвольную точку x0 ∈ (a; b) и поставим n различ-
L (y) = 0
L (y) = 0 L (y) = 0
y (x0 ) = 0
y (x0 ) = 1 y (x0 ) = 0
′ y ′ (x0 ) = 0
ных задач Коши: (x0 ) = 0
y y ′ (x0 ) = 1 · · ·.. .
.. .. .
. .
y (n−2) (x0 ) = 0
y (n−1) (x0 ) = 0y (n−1) (x0 ) = 0
y (n−1) (x0 ) = 1
По теореме 1 о существовании и единственности у каждой из этих задач
имеется решение, и мы обозначим y1 - решение 1-й задачи, y2 - реше-
ние 2-й задачи, . . . , yn - решение n-ной задачи. Мы получили y1 , ..., yn
- решения уравнения (??). Найдем W (x0 ) для этих функций: W (x0 ) =
10· · ·0

01· · ·0

00· · ·0 = 1. Следовательно, по теореме 7, функции y1 , ..., yn образуют

.. .. .

. . · · ·..

00· · ·1
искомую фундаментальную систему решений уравнения (??).
Теорема 9. Пусть y1 , ..., yn - фундаментальная система решений урав-
нения (??). Тогда для любого решения y этого уравнения существуют
постоянные c1 , ..., cn такие, что y = c1 y1 + ... + cn yn .
Доказательство. Возьмем произвольную точку x0 ∈ (a;b) и рассмотрим

 c1 y1 (x0 ) + ... + cn yn (x0 ) = y (x0 )
c y ′ (x ) + ... + c y ′ (x ) = y ′ (x )

1 1 0 n n 0 0
систему уравнений относительно неизвестных c1 , ..., cn :

 ...
(n−1) (n−1)
(x0 ) = y (n−1)

c1 y1 (x0 ) + ... + cn yn

(??). Определитель этой системы W (x0 ) не равен 0, т.к. y1 , ..., yn - фунда-
ментальная система решений. Поэтому у нее существует (и притом един-
ственное) решение c1 , ..., cn . Рассмотрим теперь функцию c1 y1 + ...+ cn yn .
По теореме 2 она является решением уравнения (??). Ввиду равенств
(??) значения этой функции и ее производных до порядка (n − 1) вклю-
чительно в точке x0 совпадают со значениями y и ее последовательных
производных в точке x0 . По теореме 1 о единственности решения задачи
Коши y = c1 y1 + ... + cn yn , x ∈ (a; b).
Замечание. Теоремы 8 и 9 означают, что размерность векторного про-
странства решений уравнения (??) равна n, а любая фундаментальная
система решений представляет собой базис этого пространства.
Теорема 3. Пусть y0 (x) - решение уравнения L (y) = q (x) (??). Тогда
любое другое решение этого уравнения y (x) имеет вид y (x) = y (x0 ) +
Y (x), где Y (x) - решение уравнения L (y) = 0 (??), т.е. L (Y ) = 0.
Доказательство. Пусть L (y) = q (x) , L (y0 ) = q (x). Тогда, по лемме 1
(Билет 14), L (y − y0 ) = L (y) − L (y0 ) = q (x) − q (x) = 0. Таким образом,
y − y0 есть некоторое решение Y однородного уравнения (??).
Обратно, если L (y0 ) = q (x) и L (Y ) = 0, то L (y0 + Y ) = q (x) и, следова-
тельно, y = y0 + Y удовлетворяет уравнению (??).
Теорема 3 доказана.
Теорема 4. (Принцип суперпозиции решений). Пусть yi = yi (x) , i =
1, ..., m являются решениями уравнений L (yi ) = qi (x) , i = 1, ..., m. Тогда
функция y = y1 + ... + ym удовлетворяет уравнению L (y) = q1 (x) + ... +
qm (x).
Доказательство. По следствию леммы 1, L (y1 + ... + ym ) = L (y1 ) + ... +
L (ym ) = = q1 (x) + ... + qm (x).
Теорема 4 доказана.
Замечание. Эта теорема служит для нахождения решения уравнения
L (y) = q (x) в случае, когда функцию q (x) удается представить в виде
q (x) = q1 (x) + ... + qm (x), где qi (x) , i = 1, ..., m - такие функции, что
нам известны решения уравнений L (yi ) = qi (x) , i = 1, ..., m.
Вернемся к неоднородному уравнению L (y) = q (x) (??). Предположим,
что мы можем найти фундаментальную систему решений y1 , ..., yn урав-
нения L (y) = 0 (??). Тогда, по теореме 9 (Билет 16), любое решение Y
этого уравнения имеет вид: Y = c1 y1 +...+cn yn (??). Предположим также,
что нам удалось найти некоторое решение y0 уравнения (??). По теореме
3, любое решение y этого уравнения имеет вид: y = y0 + Y = y0 + c1 y1 +
... + cn yn , согласно (??). Итак, для нахождения всех решений уравнения
(??) требуется найти какое-то одно его решение y0 . Для этого можно
использовать метод вариации постоянных, который состоит в том, что
решение уравнения (??) ищется в виде c1 (x) y1 (x) + ... + cn (x) yn (x) (??),
где y1 , ..., yn - фундаментальная система решений уравнения (??). Отме-
тим, что (??) напоминает (??), но имеет существенное отличие от этого
равенства состоящее в том, что в (??) все ci - постоянные, а в (??) это –
неизвестные функции от x.  Потребуем, чтобы кроме равенства (??) вы-
′ ′
c1′ y1′ + ... + cn

 ′
yn ≡ 0

c y + ... + cn yn ≡ 0

. 1 1



полнялись такие равенства: .. (??). Из (??)
′ (n−2) (n−2)
 ′
+ ... + cn yn ≡0




 c1 y1
 ′ (n−1)
 ′ (n−1)
c1 y1 + ... + cn yn ≡ q (x)
′ ′ ′ ′ ′
и (??) следует, что
  (c
1 ′y1 + ... + cn′yn ) = c1 y1′ + c1 y1 + ... + cn yn + cn yn = =
′ ′ ′ ′′
c1 y1 + ... + cn yn + c1 y1 + ... + cn yn = c1 y1 +...+cn yn ; (c1 y1 + ... + cn yn ) =
 ′ ′
′ ′′ ′′
 ′ ′ ′ ′
 ′′
c1 y1 + ... + cn yn = c1 y1 + ... + cn yn + c1 y1 + ... + cn yn = = c1 y1 +
′
(n−2) (n−2)

... + cn yn и т.д., (c1 y1 + ... + cn yn )(n−1) =
′′
c1 y1 + ... + cn yn =
(n−1) (n−1) (n−2) (n−2) (n−1)
 ′ ′

= c1 y1 + ... + cn yn + c1 y1 + ... + cn yn = c1 y1 + ... +
 ′
(n−1) (n−1) (n−1)
cn yn и, наконец, (c1 y1 + ... + cn yn )(n) = c1 y1 + ... + cn yn =
 
(n) (n) ′ (n−1) ′ (n−1) (n) (n)
c1 y1 +...+cn yn ++ c1 y1 + ... + cn yn = c1 y1 +...+cn yn +q (x).
Поэтому подстановка c1 y1 + ... + cn yn в левую часть уравнения (??) дает
(n) (n) (n−1) (n−1)
   
c1 y1 + ... + cn yn + q (x) + +pn−1 (x) c1 y1 + ... + cn yn + ... +
(n) (n−1)
 ′ ′
  ′
p1 (x) c1 y1 + ... + cn yn +p0 (x) (c1 y1 + ... + cn yn ) = = c1 y1 + pn−1 (x) y1 + ... + p1 (x) y1 + p0
(n) (n−1)
 ′

... + cn yn + pn−1 (x) yn + ...+ +p1 (x) yn + p0 (x) yn + q (x) = q (x),
т.е. обращает уравнение в верное равенство. Поэтому y, определяемое
равенством (??) и системой условий (??) является решением уравнения
(??). По теореме 1 это решение – единственное.
Для того, чтобы отыскать c1 , ..., cn следует воспользоваться системой
(??), рассматривая ее как систему линейных уравнений относительно
′ ′
неизвестных c1 , ..., cn с определителем W (x) 6= 0. Решая систему, на-
′ ′
ходим c1 , ..., cn а затем, интегрированием, находим c1 , ..., cn .
Для уравнений L (y) = 0 (??), у которых L (y) = y (n) + an−1 y (n−1) + ... +
a1 y ′ + a0 y (??), где an−1 , ..., a0 - постоянные величины, существует спо-
соб, с помощью которого задачу нахождения фундаментальной системы
решений можно свести к задаче нахождения корней некоторого вспомо-
гательного алгебраического уравнения.
Для этого будем искать решения уравнения L (y) = 0 в виде y = eλx .
При этом y ′ = λeλx , y ′′ = λ2 eλx , ..., y (n−1) = λn−1 eλx , y (n) = λn eλx (??).
Подставим полученные величины в уравнение (??): λn eλx +an−1 λn−1 eλx +
λx λx λx n n−1

...+ +a1 λe + a0 e = 0, или e λ + an−1 λ + ... + a1 λ + a0 = 0.
Поскольку eλx 6= 0 при всех x, из этого уравнения следует, что λn +
an−1 λn−1 + ... + a1 λ + a0 = 0 (??).
Таким образом, функция y = eλx удовлетворяет уравнению (??) тогда
и только тогда, когда λ удовлетворяет уравнению (??). Уравнение (??)
называется характеристическим уравнением уравнения (??).
Далее мы установим вид фундаментальной системы решений уравнения
(??) в зависимости от свойств корней уравнения (??).
Случай 1. Пусть все корни уравнения (??) действительные и различные.
Обозначим их λ1 , ..., λn и рассмотрим функции y1 = eλ1 x , ..., yn = eλn x ,
являющиеся решениями уравнения (??) по доказанному выше. Докажем
линейную независимость. Это будет означать, что y1 , ..., yn - фундамен-
тальная система решений (??). Определитель Вронского этой системы
λ x
. . .eλn x

y1 . . .yn e 1

y . . .y ′ λ eλ1 x . . .λ eλn x
1

1 n n
функций равен, с учетом (??) W (x) = =

... ...


(n−1) (n−1) n−1
λ x (n−1) λnx

y
1 . . . yn λ1 e 1 . . . λn e
или, после вынесения из столбцов множителей eλ1 x , ..., e λn x W (x) = eλ1 x ·
1 . . . 1 1 . . .1

λ . . . λ λ . . .λ
λnx 1 n 1 n
... · e . Определитель представляет со-

... · · ·


n−1 n−1
n−1 n−1

λ . . . λn λ1 . . . λn
1

бой известный определитель Вандермонда. Он равен 1≤k<i≤n (λi − λk ).
Q

Поэтому если все числа λi , λk попарно различны, этот определитель не


равен 0. Следовательно, как доказано выше (теорема 7 предыдущего
параграфа), функции y1 = eλ1 x , ..., yn = eλn x линейно независимы и со-
ставляют искомую фундаментальную систему решений.
2 случай. Все корни λ1 , ..., λn - различные, но среди них есть комплекс-
ные числа. Формально eλ1 x , ..., eλn x - это снова фундаментальная система
решений уравнения, т.к. эти функции линейно независимы (их опреде-
литель Вронского, как и в случае 1, отличен от 0). Однако мы рассмат-
риваем уравнение с действительными коэффициентами и нам было бы
желательно построить фундаментальную систему решений, состоящую
из действительных функций. Для этого мы сначала установим следую-
щую важную лемму.
Лемма. Пусть L (y) = 0 - линейное однородное дифференциальное урав-
нение (??) такое, что все постоянные a0 , ..., an−1 - действительные числа.
Пусть комплексная функция u (x) + iv (x) удовлетворяет этому уравне-
нию. Тогда ему удовлетворяют и функции u (x) , v (x).  
Доказательство. Равенство L (u + iv) = 0 означает: u(n) +iv (n) +an−1 u(n−1) + iv (n−1) +
′ ′ (n) (n−1) + ... + a u′ +
... + a1 (u  + iv ) + a0 (u + iv) = 0, откуда u  + an−1 u 1
a0 u + i v (n) + an−1 v (n−1) + ... + a1 v ′ + a0 v = 0, или L (u) + iL (v) = 0.
Комплексная величина L (u) + iL (v) равна 0 тогда и только тогда, когда
ее действительная часть L (u) и мнимая часть iL (v) равны 0, откуда
L (u) = 0, L (v) = 0, т.е. u 8 v - решения уравнения (??), что и требова-
лость доказать.
Пусть теперь λ = α + βi - любой комплексный корень уравнения (??).
Поскольку (??) имеет действительные коэффициенты, число λ̄ = α − βi
также является его корнем. Значит, eλ̄x - тоже решение уравнения (??).
Далее, eλx = e(α+βi)x = eαx+iβx = eαx · eiβx = eαx (cos βx + i sin βx) =
eαx cos βx+ +ieαx sin βx. По лемме, eαx cos βx 8 eαx sin βx также являют-
ся решениями уравнения (??). Легко видеть, eλ̄x = eαx cos βx−ieαx sin βx,
т.е. eλx , eλ̄x являются линейными комбинациями eαx cos βx 8 eαx sin βx.
Разумеется, eαx cos βx 8 eαx sin βx также можно линейно выразить через
eλx 8 eλ̄x . Поэтому линейная независимость решений eλx 8 eλ̄x с осталь-
ными решениями уравнения (??) равносильна линейной независимости
eαx cos βx 8 eαx sin βx с остальными решениями.
Подведем итоги. В случае, когда все λ1 , ..., λn - различные, причем λ1 , ..., λr
- действительные, а λr+1 , λ̄r+1 , λr+2 , λ̄r+2 , ..., λr+s , λ̄r+s - пара комплекс-
но сопряженных чисел (r + 2s = n), причем λr+k = αk + iβk , k =
1, ..., s, то фундаментальная система решений уравнения (??) имеет вид:
eλ1 x , ..., eλr x , eα1 x cos β1 x, eα1 x sin β1 x, ..., eαs x cos βs x, eαs x sin βs x.
Случай 3. Корни характеристического уравнения действительные, но
среди них есть кратные. Напомним, что число λ называется корнем
многочлена P (x) кратности k, если P (x) = (x − λ)k P1 (x), где P1 (x)
- многочлен, причем P1 (λ) 6= 0.
Пусть корни λ1 , ..., λt имеют, соответственно, кратности k1 , ..., kt . Тогда
можно доказать (но мы оставим это без доказательства), что функции
eλ1 x , xeλ1 x , ..., xk1 −1 eλ1 x ,
eλ2 x , xeλ2 x , ..., xk2 −1 eλ2 x ,
составляют фундаментальную систему решений
...
eλt x , xeλt x , ..., xkt −1 eλt x
уравнения (??).
Пример. Приведем пример, подтверждающий это утверждение. Урав-
нению y ′′ − 2y ′ + y = 0 соответствует характеристическое уравнение
λ2 − 2λ + 1 = 0, (λ − 1)2 = 0. Оно имеет корень λ = 1 с кратностью
′ ′′
2. Рассмотрим функции ex 8 xex . (ex ) = ex , (ex ) = ex и подставляя ex
в исходное уравнение, получаем ex − 2ex + ex = 0, т.е. верное равенство.
′ ′′
Далее, (xex ) = ex + xex , (xex ) = 2ex + xex и подстановка функции xex
в уравнение дает верное равенство: 2ex + xex − 2ex − 2xex + xex = 0.
Итак, ex 8 xex - действительно решения уравнения y ′′ − 2y ′ + y = 0. Эти
функции линейно независимы, т.к. из равенства c1 ex + c2 xex ≡ 0 при
x = 0 следует c1 e0 = 0, c1 = 0. Значит, c2 xex ≡ 0. Тогда при x = 1
c2 e = 0, c2 = 0.
В случае 4, когда действительные корни λ1 , ..., λr уравнения (??) имеют
кратности k1 , ..., kr , а комплексные корни λr+1 , λ̄r+1 , λr+2 , λ̄r+2 , ..., λr+s , λ̄r+s
eλ1 x , xeλ1 x , ..., xk1 −1 eλ1 x ,
...
eλr x , xeλr x , ..., xkr −1 eλr x ,
eα1 x cos β1 x, xeα1 x cos β1 x, ..., xl1 −1 eα1 x cos
имеют кратности l1 , ..., ls можно доказать, что функции α1 x
e sin β1 x, xeα1 x sin β1 x, ..., xl1 −1 eα1 x sin β
...
eαs x cos βs x, xeαs x cos βs x, ..., xls −1 eαs x cos β
eαs x sin βs x, xeαs x sin βs x, ..., xls −1 eαs x sin β
образуют фундаментальную систему решений уравнения (??).
Осталось напомнить, что согласно теореме 9 предыдущего параграфа,
произвольное решение уравнения (??) имеет вид: y = c1 f1 + ... + cn fn , где
в качестве f1 , ..., fn можно в каждом из рассмотренных случаев выбрать
построенные элементы фундаментальной системы решений.
Согласно общей теории линейных дифференциальных уравнений, для
решения уравнения L (y) = q (x) (??) достаточно знать фундаменталь-
ную систему решений y1 , ..., yn однородного уравнения L (y) = 0 (??) и
найти хотя бы одно решение y0 (x) неоднородного уравнения. Тогда лю-
бое решение y неоднородного уравнения имеет вид: y = y0 + c1 y1 + ... +
cn yn , где c1 , ..., cn - произвольные постоянные.
В случае уравнения с постоянными коэффициентами мы указали спо-
собы нахождения его фундаментальной системы решений. Используя
метод вариации постоянных, можно теперь найти решение и неоднород-
ного уравнения. Однако есть важные частные случаи, когда решение
неоднородного уравнения можно отыскать значительно проще.
Пусть L (y) = kr=1 Pr (x) eγr x (??), где Pr (x) - многочлены, γr - дей-
P
ствительные числа. Согласно принципу суперпозиции, достаточно уметь
решать уравнение вида L (y) = P (x) eγx (??). Тогда, решив каждое из
уравнений L (y) = Pr (x) eγr x и просуммировав полученные решения, мы
получим решение исходного уравнения (??).
Решения уравнения (??) имеют различный вид в зависимости от того,
является или нет число γ корнем характеристического уравнения для
однородного уравнения (??).
В первом случае γ не является корнем характеристического уравнения.
Тогда решение уравнения (??) можно искать в виде Q (x) eγx , где Q (x) -
многочлен той же степени, что и многочлен P (x).
Во втором случае, если γ является корнем характеристического урав-
нения (??) кратности r, решение уравнения (??) следует искать в виде
xr Q (x) eγx , где Q (x) - многочлен той же степени, что и P (x).
Эти два случая можно объединить в один, если считать, что γ, не являю-
щееся корнем характеристического уравнения, имеет нулевую кратность.
Тогда решение уравнения (??) следует искать в виде xr Q (x) eγx , r ≥ 0,
где r - кратность γ в характеристическом уравнении.
Если в правую часть q (x) уравнения (??) входят слагаемые вида P1 (x) eαx cos βx+
P2 (x) eαx sin βx (??), где P1 (x) , P2 (x) - многочлены, то можно искать
решение уравнений L (y) = P1 (x) eαa cos βx + P2 (x) eαx sin βx (??) в виде
xr (Q1 (x) eαx cos βx + Q2 (x) eαx sin βx), где r - кратность корня α + βi
в характеристическом многочлене однородного уравнения (r = 0, если
α+βi - не корень характеристического уравнения), а степень каждого из
многочленов Q1 (x) , Q2 (x) равна наивысшей из степеней многочленов
P1 (x) , P2 (x).
Когда слагаемых вида (??) несколько, то мы решаем соответствующие
им уравнения (??) и применяем затем принцип суперпозиции.
Рассмотрим важный пример.
Пример. Уравнение упругих колебаний без сопротивления при наличии
2
возмущающей периодической силы: ddt2x + a2 x = p sin ωt, a, p, ω - постоян-
ные.
Корни характеристичского уравнения λ2 + a2 = 0 равны ±ai. Поэтому
2
фундаментальная система решений однородного уравнения ddt2x +a2 x = 0
состоит из функций cos at 8 sin at.
Если ω 6= ±a, то решение исходного уравнения ищем в виде x = α cos ωt+
d2 x
β sin ωt. Подставляем его в уравнение: dx dt = −αω sin ωt + βω cos ωt, dt2 =
−αω 2 cos ωt−βω 2 sin ωt, откуда −αω 2 cos ωt−βω 2 sin ωt+a2 α cos ωt+ +a2 β sin ωt =
2 2 2 2
 
p sin ωt, или a − ω α cos ωt + a − ω β sin ωt = p sin ωt, откуда α =
p
0, β = a2 −ω 2 . Тем самым, общее решение уравнения имеет вид c1 cos at +
p p
c2 sin at + a2 −ω 2 sin ωt = A sin (at + δ) + a2 −ω 2 sin ωt. Здесь A - амплитуда
p
свободных колебаний, a - частота свободных колебаний, a2 −ω 2 - ампли-

туда вынужденных колебаний с частотой ω. Чем ближе величина ω 2 : a2 ,


тем больше амплитуда вынужденных колебаний.
Если же ω = ±a, то решение, согласно указанным выше правилам, следу-
2
ет искать в виде x = t (α cos at + β sin at). Тогда ddt2x = −a2 t (α cos at + β sin at) −
−2αa sin at+2βa cos at. Подставим в уравнение: −a2 t (α cos at + β sin at) −
−2αa sin at + 2βa cos at + a2 t (α cos at + β sin at) = p sin at, или β = 0, α =
p
− 2a . Итак, общее решение уравнения имеет вид: x = A sin (at + δ) −
p
2a t cos at. При t → ∞ амплитуда колебаний возрастает неограниченно.
Это – явление резонанса.