Академический Документы
Профессиональный Документы
Культура Документы
Е.А.Широкова
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Учебное пособие
Казань
2013
УДК 517
Широкова Е.А.
Математический анализ. Учебное пособие / Е.А.Широкова.– Казань:
Казанский (Приволжский) федеральный университет, 2013 – 154 с.
© Казанский
федеральный
университет, 2013
© Широкова Е.А., 2013
Математическим анализом называют раздел математики, в котором функции
изучаются методом пределов. Данное пособие знакомит студентов со
следующими разделами: теория пределов, дифференциальное исчисление,
интегральное исчисление, ряды, дифференциальные уравнения. Для решения
ряда задач используется пакет компьютерных программ «MAXIMA».
Для описания математических фраз используются два символа, позволяющих
сокращать запись: (любой, произвольный, все) и (существует, найдется).
Они называются кванторами общности и существования. При построении
противоположного высказывания квантор общности заменяют на квантор
существования и, наоборот, квантор существования – на квантор
общности, а последнюю (основную) фразу заменяют на противоположную.
1. Аксиомы сложения.
1) x, y R справедливо x y y x .
2) x, y, z R справедливо ( x y) z x ( y z) .
3) 0 R (нейтральный элемент сложения) такой, что x R
справедливо x 0 x .
4) x R ( x) R такой, что x ( x) 0 .
2. Аксиомы умножения.
1) x, y R справедливо x y y x .
2) x, y, z R справедливо ( x y) z x ( y z) .
3) 1 R (нейтральный элемент умножения) такой, что x R
справедливо x 1 x .
1 1
4) x R\{0} R такой, что x 1.
x x
4. Аксиомы порядка.
1) x R справедливо x x .
2) x, y R таких, что x y , справедливо одно из двух соотношений:
x y или y x .
3) Если выполняются одновременно соотношения x y и y z , то
справедливо соотношение x z .
4) Если выполняются одновременно соотношения x y и y x , то
x y.
Мощность множества
q\p 0 1 -1 2 -2 3 -3 4 …….
1 0 1 -1 2 -2 3 -3 4 ……
2 0 1/2 -1/2 1 -1 3/2 -3/2 2 ……
3 0 1/3 -1/3 2/3 -2/3 1 -1 4/3 ……
4 0 1/4 -1/4 1/2 -1/2 3/4 -3/4 1 ……
5 0 1/5 -1/5 2/5 -2/5 3/5 -3/5 4/5 ……
……. … …. … … … …. … ……
….
1) 0, a1,1a1,2a1,3...........
2) 0, a2,1a2,2a2,3.........
3) 0, a3,1a3,2a3,3..........
………………………
n) 0, an,1an,2an,3..........
……………………..
1
Следствие 1. 0 n N тчо .
n
Доказательство. Применим принцип Архимеда для h и x 1. k Z тчо
(k 1) 1 k . Из правой части двойного неравенства следует: 1 k и
k 0 . Таким образом, целое число k является натуральным числом, k n . И
1
мы получили требуемое неравенство .
n
Теорема Вейерштрасса
30
25
20
15
10
1 2 3 4 5 6
x t
Кроме того, возможно параметрическое задание функции ,
y t
когда вводится дополнительный параметр t [t0 ,T ] . Примером является
параметрическое уравнение той же, что и выше окружности
x 3cos t
, t [0,2 ) , в неявном виде записанное как x2 y 2 9 .
y 3sin t
Числовые последовательности.
( 1)n ( 1)n
Пример. Покажем, что lim 1 1 . Здесь xn 1 , a 1 . Так как
n
n2 n2
1 1
| xn a | 2 , найдем такое значение N ( ) , что при n N ( ) ( 2 ). Так
n n
1
как последнее неравенство эквивалентно неравенству n , за N ( )
1
можно принять наибольшее целое число, меньшее или равное . Такое
1
число обозначается как [ ].
1. Предел единственен.
Доказательство . Пусть a lim xn и b nlim xn . Для
n
0 найдем N1 ( )
такое, что | xn a | при n N1 ( ) и найдем N2 ( ) такое, что | xn b |
2 2
при n N2 ( ) . Тогда при n max{N1 ( ), N2 ( )} получим
| b a | | b xn xn a | | b xn | | xn a | . Из произвольности получаем:
расстояние между числами a и b может быть сделано сколь угодно малым.
Это означает, что a b .
1 1
Пример применения. Покажем, что nlim n n 1 . Обозначим yn n n 1. Имеем
yn 0, n N . В соответствии с формулой бинома
n(n 1) 2
n (1 yn )n 1 nyn yn ... ynn .
2!
n(n 1) 2 2 2
Следовательно, n 1 yn или yn. Из соотношения 0 y ,
2 n n n
применяя теорему о двух полицейских, получим nlim yn 0 , откуда следует
1
lim n n 1 .
n
4. Если lim xn a , то
n
lim | xn | | a | .
n
Доказательство. Сначала получим вспомогательное неравенство
|| xn | | a || | xn
a | . Имеем
| a | | a xn xn | | a xn | | xn || a | | xn | | a xn |
|| xn | | a || | xn a | .
| xn | | xn a a | | xn a | | a || xn | | a | | xn a |
Согласно определению предела для 0 N N ( ) N такое, что при
n N ( ) справедливо неравенство: | xn a | . Согласно доказанному
неравенству при тех же n N ( ) справедливо неравенство: || xn | | a || .
Следовательно, nlim | xn | | a | .
Для рассмотрения следующих свойств пределов последовательностей введем
два определения.
Определение 1. Последовательность xn , n N , называется ограниченной,
если M 0 тчо | xn | M , n N .
Определение 2. Последовательность xn , n N , называется бесконечно малой
величиной (б.м.в.), если nlim xn 0 .
1 1
3. Если nlim xn a и a 0 , то lim .
n xn a
1 1 | xn |
Доказательство. Так как xn a xn , то . Чтобы показать,
xn a | a || xn a|
| xn |
что выражение – б.м.в., согласно шестому элементарному свойству
| a || xn a|
1
достаточно показать, что – ограниченная величина при достаточно
| xn a|
1 1 1
больших значениях n N . Имеем . Пусть
| xn a| | ( xn ) a | || a | | xn ||
| a | при 1 2
число N0 N таково, что | xn | n N0 . Следовательно,
2 | xn a | | a |
| xn |
при n N0 и – б.м.в. Теперь остается применить шестое
| a || xn a |
элементарное свойство и новое определение предела.
lim(bn an ) 0 .
n
Тогда [ak , bk ] {a} . (То есть, пересечением
k 1
последовательно вложенных друг в друга отрезков с длинами, стремящимися
к нулю, является точка).
Доказательство. Очевидно, что последовательности an , n N, и bn , n N,
монотонны, причем первая неубывающая, а вторая невозрастающая. Первая
ограничена сверху (например, числом b1 ), вторая – снизу (например, числом
a1 ). Согласно второму основному свойству nlim an a и nlim bn b . Имеем
b nlim bn lim(bn an an ) nlim(bn an ) nlim an a .
n
Таким образом,
предельный отрезок, лежащий во всех отрезках, вырождается в точку a . Из
n
условия последовательной вложимости отрезков [ak , bk ] [an , bn ] . Поэтому
k 1
n
[ak , bk ] nlim [ak , bk ] nlim[an , bn ] a .
k 1 k 1
Неперово число
1 n.
Утверждение. lim(1 )
n n
Рассмотрим последовательность xn (1
1 n
) , n N . Пользуясь формулой
n
бинома Ньютона, представим общий член последовательности в виде
n n(n 1) n(n 1)(n 2) n!
xn 1 ...
n 2 n2 2 3 n3 n! n n
1 1 1 1 2 1 1 2 n 1
2 (1 ) (1 )(1 ) ... (1 )(1 ) ... (1 ).
2 n 3! n n n! n n n
Доказательство.
1. Необходимость. Пусть lim xn a , то есть, последовательность сходится.
n
Докажем ее фундаментальность. В соответствии с определением предела для
0 N( ) N тчо для n N ( ) ( | xn a | ). Возьмем любые
2
m, n N ( ) . Тогда | xn xm | | xn a a xm | | xn a | | xm a | . То
2 2
есть из сходимости следует фундаментальность.
2. Достаточность. Пусть последовательность xn , n N, фундаментальна.
Покажем сначала, что из фундаментальности следует ограниченность. В
условии фундаментальности примем 1 и найдем N N такое, что
m, n N (| xn xm | 1) . Следовательно, при m N 1 имеем:
(| xN 1 xn | ) при n N . Из неравенства || xn | | xN 1 || | xN 1 xn | 1 при
n N получим неравенство: | xn | 1 | xN 1 | при n N . Следовательно,
для всех членов последовательности справедлива оценка
| xn | max{| x1 |,| x2 |,...,| xN |,1 | xN 1 |} для n N . Итак, ограниченность
доказана. Воспользуемся теперь первым основным свойством пределов
последовательности и выберем из ограниченной последовательности
xn , n N, сходящуюся подпоследовательность xnk , k N, где lim k
xnk a .
Взяв теперь в условии фундаментальности m nk при достаточно больших
значениях k K ( ) N , получим k K ( ), n N ( ) (| xn xnk | ) .
Переходя к пределу при k в последнем неравенстве, получим
n N ( ) (| xn a | ) . В силу произвольности выполнение последнего
неравенства обеспечивает то, что lim xn a .
n
1) если b lim
x a
f ( x) и c lim
x a
g ( x) , то b c lim ( f ( x) g ( x)) ;
x a
2) если b lim
x a
f ( x) и k R , то kb lim(kf ( x)) ;
x a
3) если b lim
x a
f ( x) и c lim g ( x) , то b c lim ( f ( x) g ( x)) ;
x a x a
b f ( x)
4) если b lim f ( x) и c lim g ( x) , причем c 0 , то lim( );
x a x a c x a g ( x)
sin x
Докажем, что справедлива формула: lim 1 . Прежде всего,
x 0 x
sin x
заметим, что вследствие нечетности функции sin x отношение при
x
x , близком к 0, положительно при любом знаке x . Достаточно
предположить, что x приближается к 0, оставаясь положительным. В
противном случае мы сменим знак x , что не повлияет на результат.
1 x
Докажем, что справедлива формула xlim(1 ) e . Но прежде изменим
x
определение Коши с учетом того, что переменная x стремится не к
конечному значению a , когда для попадания x в окрестность a следует
выполнить неравенство | x a | при достаточно малом 0, а к
бесконечности. Переменная x окажется в окрестности бесконечности,
если окажется по модулю больше достаточно большой величины. Таким
образом, определение Коши в случае x будет выглядеть так:
b xlim f ( x) , если для любого 0 существует число M M ( ) 0
такое, что для любого числа x X , удовлетворяющего условию | x | M ,
выполняется неравенство | f ( x) b | .
Пусть x 0 , то есть x . Рассмотрим неравенство
1 [ x] 1 1 1 1 [ x] 1 1 [ x] 1
(1 ) (1 ) (1 ) (1 ) x (1 )
[ x] 1 [ x] 1 [ x] 1 x [ x]
. (*)
1 [ x] 1
(1 ) (1 )
[ x] [ x]
1 [ x]
Очевидно, что lim (1 ) e , так как при x 1 величина [ x] –
x [ x]
натуральное число – и мы имеем последовательность, участвующую в
1 [ x] 1
определении числа e . Аналогично, xlim (1 ) e . Теперь остается
[ x] 1
применить неравенство (*) и теорему о двух милиционерах.
Для случая x 0 сделаем замену x y. Тогда
1 x 1 y 1 y 1 1
(1 ) (1 ) y
)( y
( )y (1 ) y 1(1 ).
x y y y 1 y 1 y 1
При x имеем: y . Поэтому можно применить уже доказанную
формулу для положительной переменной y 1. Доказательство
завершено.
Прологарифмируем обе части второго замечательного предела –
1 1
получим xlim( x ln(1 )) 1 . Если теперь заменить переменной t ,
x x
которая стремится к нулю при стремлении x к бесконечности, получим
следствие из второго замечательного предела
ln(1 t )
1) lim 1.
t 0 t
Другим следствие второго замечательного предела является предел,
получаемый из предыдущего заменой z ln(1 t ) :
ez 1
2) lim 1.
z 0 z
(1 x) 1
Рассмотрим теперь предел lim . Сделаем замену (1 x) ez .
x 0 x
При такой замене x 0 тогда и только тогда, когда z 0 . Получим
(1 x) 1 e 1
z
ez 1 z/
lim lim z/
lim lim z/
. (Во втором
x 0 x z 0 e 1 z 0 z z 0 e 1
выражении равенства числитель и знаменатель умножены на z и сделан
переход к пределу в соответствии со вторым следствием. )
Таким образом, третьим следствием второго замечательного предела
является
(1 x) 1
3) lim .
x 0 x
Односторонние пределы
f ( xM ) M , f ( xm ) m .
Доказательство. Из свойств супремума для n N xn [a, b] такое, что
1
M f ( xn ) M . Из ограниченной последовательности xn , n N , выберем
n
сходящуюся подпоследовательность xnk , k N такую, что lim xnk xM . В
k
силу замкнутости отрезка [a,b] имеем: xM [a, b] . В силу непрерывности
lim f ( xnk ) f ( xM ) . 1
функции А так как M f ( xnk ) M , то
k nk
f ( xM ) M .
Для инфимума доказательство аналогично.
3. Если f (a) f (b) 0 (значения на концах отрезка имеют разные знаки),
то x0 [a, b] такое, что f ( x0 ) 0 .
Доказательство. Для доказательства мы воспользуемся леммой о вложенных
a b
отрезках. Разделим отрезок [a,b] пополам и проверим значение f ( ).
2
a b a b
Если f ( ) 0 , то x0 и теорема доказана. В противном случае
2 2
выберем ту половину отрезка, на границах которой функция имеет разные
знаки. Разделим этот новый отрезок пополам и проверим значение функции в
этой середине…. Продолжая указанный процесс, мы либо получим значение
0 у функции в одной из середин получаемых отрезков, либо получим
последовательность вложенных отрезков [an , bn ], n N , обладающих
свойствами: [an , bn ] [an 1, bn 1] , bn an 0 при n и f (an ) f (bn ) 0 . В
соответствии с леммой о вложенных отрезках nlim an nlim bn c [a, b] . В
силу непрерывности функции на отрезке nlim f (an ) lim f (bn )
n
f (c) . В
силу того, что знаки f (an ) и f (bn ) разные, f (c) 0 . Следовательно, x0 c.
Дифференциал
Следовательно,
1
g ( y0 ) .
f ( g ( y0 ))
Пример. (arcsin x) 1 1 .
cos(sin x) 1 x2
1
(arccos x) ;
2
1 x
1
(arc tgx) ;
1 x2
1
(arcctgx) .
1 x2
Производная параметрически заданной функции
x t
Пусть , t [t1, t2 ] , причем функции обе функции (t ) и (t )
y t
дифференцируемы в точке t0 (t1, t2 ), (t0 ) 0, (t0 ) x0 , t0 y0 . Считая,
dy
что y y( x) , вычислим в точке x0 .
dx
y lim y y '(t0 )
y '( x0 ) lim y lim t t 0 t .
x 0 x x 0 x lim x x '(t0 )
t t 0 t
0 a c x b X
Формула Тейлора
1.5
1.5
1
1
0.5
0.5
0 0
-0.5 -0.5
-1 -1
-1 0 1 2 3 4 5 -1 0 1 2 3 4 5
2 2
1.5 1.5
1 1
0.5 0.5
0 0
-0.5 -0.5
-1 -1
-1 0 1 2 3 4 5 -1 0 1 2 3 4 5
Формулу Тейлора можно записать через дифференциалы:
df (a) d 2 f (a) d 3 f (a)
f x f a
1! 2! 3!
d4 f a dn f a
rn x .
4! n!
Для приложений к вычислению пределов используют локальную формулу
Тейлора, имеющую вид
f a f a 2 f a 3
f x f a x a x a x a
1! 2! 3!
IV n
f a 4 f a n n
x a .
x a o x a
4! n!
Такое представление остаточного члена показывает, что остаточный
член есть бесконечно малая более высокого порядка малости, чем x a n .
Локальная формула Тейлора является обобщением формулы связи
приращения функции и дифференциала функции в точке.
В частности, при a 0 формула Тейлора называется формулой
Маклорена:
n
f 0 f 0 2 f 0 3 f 0
f x f 0 x x x xn rn ( x).
1! 2! 3! n!
( 1) ( 1)( 2)...( n 1)
(1 x) 1 x x2 ... xn rn ( x) .
2! n!
Для оценки остаточного члена при n , больших или равных целой части ,
x4 o( x4 )
1
lim 12 4 .
x 0 x 12
0
Доказательство (для неопределенности ). Поскольку f a g a 0 ,
0
(иначе не будет указанной неопределенности), из теоремы Коши имеем
f x f x f a f c f c f x
lim lim lim lim lim .
x a g x x a g x ga x a g c c a g c x a g x
Здесь использовалось, что c находится между a и x , следовательно, при
x a и c a.
Примеры.
x2 3x 2 0 2x 3 1
1) lim 2
lim .
x 2 x 4 0 x 2 2x 4
Раньше это пример решался с помощью тождественного преобразования
x 2 3x 2 x 2 x 1 x 1 1
lim lim lim .
x 2 x2 4 x 2 x 2 x 2 x 2 x 2 4
2) lim
sin x 0 cos x
lim 1 (доказан первый замечательный предел).
x 0 x 0 x 0 1
0 X
выполняется неравенство f x f ( x2 ) при x x2 .
Определение 3. Точки максимума и минимума функции называются
точками экстремума.
+ max - - min +
Теорема 2 о достаточном условии существования максимума и
минимума функции. Пусть f x0 0 , тогда при x x0 функция имеет
максимум, если f " x0 0 и минимум, если f " x0 0 .
Доказательство.
Из формулы Тейлора в окрестности точки экстремума x0 , в которой
удержано три первых члена, имеем
1 2 2
y f x f x0 f x0 x x0 f x0 x x0 o x x0 .
2
Поскольку f x0 0 , что следует из условия теоремы, а остаточный член r
по определению меньше предыдущего члена формулы, знак приращения
функции независимо от того, точка x находится левее, или правее x0 ,
определяется знаком второй производной. Когда f x0 0 , получаем
f x f x0 0 , следовательно, x0 точка минимума функции, если
f x0 0 , значит f x f x0 0 , тогда x0 - точка максимума функции.
1 4
П р и м е р 1. y x x 3 . Найдем критические точки этой функции. Так
4
как y x 3x x2 ( x 3) , то критическими точками являются
3 2
Многомерные пространства.
Мы будем рассматривать n -мерные пространства R n , элементами которых
являются точки x , каждая из которых задается n координатами ( x1, x2 ,..., xn ) .
В случае малой размерности пространства, чтобы не вводить верхние
индексы, мы будем использовать традиционные координаты: x, y, z, u, v, w .
Расстоянием между точками x и y n -мерного пространства является
величина ( x, y) ( x1 y1)2 ( x2 y 2 )2 ... ( xn y n )2 .
Частные производные.
Предположим, что функция z f ( x) f ( x1, x2,...., xn ) дифференцируема в
точке x0 ( x10 , x02,..., x0n ) . Как выразить элементы производной матрицы-
строки (a1, a2 ,..., an ) через заданную функцию? Выберем вектор
приращений так, что приращения происходят только по k -му аргументу x k .
Вектор приращений аргумента в этом случае имеет вид
x (0,0,...,0, xk ,0,...,0) , следовательно, ( x0 x, x0 ) | xk | .
Приращение функции примет вид
f ( x0 x) f ( x0 ) f ( x ,..., x0k
1
0 xk ,..., x0n ) f ( x ,..., x ) ak
1
0
n
0 x k
, где
lim 0. Последние соотношения являются условием
xk xk
0
( x0
( x0 x, x0 )
x, x0 ) 0
Якобиан.
Пусть z f ( x), x D, – n -мерная вектор-функция n переменных,
дифференцируемая в точке x0 . В данном случае производная матрица
является квадратной, размера n n . Для такой матрицы может быть вычислен
f1 x1 ( x0 ) f1 x2 ( x0 ) ... f1 xn ( x0 )
f 2 x1 ( x0 ) f 2 x2 ( x0 ) ... f 2 xn ( x0 )
определитель. Этот определитель называется
... ... ... ...
f n x1 ( x0 ) f n x2 ( x0 ) ... f n xn ( x0 )
f ( f1, f 2 ,..., f n ) D( f1, f 2 ,..., f n )
якобианом и обозначается |x x0 | | .
x ( x1, x2 ,..., xn ) 0 D( x1, x2 ,..., x n ) x x0
x x
Производная по направлению.
1. Случай функции двух переменных f ( x, y) . Направление задается
вектором. Выберем единичный вектор, задающий направление на
плоскости: l (cos ,sin ) . Этот вектор образует угол с
положительным направлением оси OX. Производной функции двух
переменных по направлению l называется выражение
f f f
cos sin .
l x y
2. Случай функции трех переменных f ( x, y, z) . Пусть задан единичный
вектор l , образующий углы , и с осями OX, OY и OZ,
соответственно. Если обозначить координаты вектора l через a, b и с ,
то по формуле косинуса угла между двумя векторами l и i получим
a cos . Аналогично, b cos , c cos . Таким образом, единичный
вектор, образующий углы , и с осями OX, OY и OZ, имеет
координаты (cos ,cos ,cos ) . Производной функции трех
переменных по направлению l называется выражение
f f f f
cos cos cos .
l x y z
x^2-y^2
z 0
-1
-2
-3
6
5
4
3
2
1
0
-1
2 1.5
1 0.5
0 -0.5 2
-1 -1.5 1 1.5
-2 0 0.5
Заметим, что пакет программ MAXIMA содержит этот метод. Для того,
чтобы решить ту же задачу при помощи компьютера, следует сначала ввести
координаты точек на плоскости: записать load (lsquares);
M : matrix ( [1,1], [2,1], [3,2], [4,5], [5,6]) и нажать Shift+Enter.
Компьютер выведет на экран и запомнит 5 заданных точек в виде матрицы из
двух столбцов. Затем введем команды
lsquares_estimates (M, [x,y], y = A*x+B, [A,B]) и нажмем Shift+Enter.
7 6
Компьютер выведет на экран ответ A ,B , который мы уже получили
5 5
выше.
Условный экстремум
Метод Лагранжа.
Неопределенный интеграл
n xn 1 xn 1
'
x dx C C xn .
1. n 1 n 1
(n 1).
dx 1
2. ln x C . ln x C ' .
x x
'
ax ax
3. a dxx
C. C ax.
ln a ln a
4. sin x dx cos x C. cos x C ' sin x.
5. cos x dx sin x C . sin x ' cos x.
dx 1
6. tg x C. tg x C ' .
cos 2 x 2
cos x
dx 1
7. ctgx C . ctg x C ' .
sin 2 x sin 2 x
8. arcsin x C '
1
.
dx 1 x 2
arcsin x C
1 x2
arccos x C.
dx 1
arctg x C arctg x C ' .
9. 1 x 2 1 x2
arcctg x C.
10. 1 1 x
'
1
dx 1 1 x ln C 2
.
ln C. 2 1 x 1 x
1 x2 2 1 x
11. ln x x 2
k C
'
dx
ln x x2 k
x 2
k 1
.
2
C. x k
Приемы интегрирования
Из свойства производной
k f ( x) l g ( x) ' k f '( x) l g '( x)
следует аналогичное свойство для неопределенных интегралов
k f ( x) l g ( x) dx k f ( x) dx l g ( x) dx .
x 2
Пример 1. Вычислить dx . Деля почленно числитель на
x3
знаменатель, представляя интеграл от разности в виде разности
интегралов и вынося постоянный сомножитель за знак интеграла, получим
в соответствии с таблицей
1 2
x 2 2 x x
dx (x 2 x 3 )dx x 2dx 2 x 3dx 2 C
x3 1 2 .
x2 x 1
C.
dx
Пример 2. Вычислить . Воспользуемся тождеством
sin x cos2 x 2
2 2
1 cos x sin x . Тогда получим
2 2
dx 1 cos x sin x dx dx
dx dx
sin 2 x cos2 x sin 2 x cos2 x sin 2 x cos2 x sin 2 x cos2 x
ctgx tgx C.
f ( (t )) '(t ) dt F ( (t )) C .
x2
Пример 3. Найти e xdx . Сделаем замену x2 t . Тогда 2xdx dt и
x2 1 t 1 t 1 x2
e xdx e dt e C e C.
2 2 2
3. Интегрирование по частям
b
f ( x) dx
Доказательство. В соответствии со свойством 3-б m M. a
(b a)
В силу свойства непрерывной функции существует такая точка
b
f ( x) dx
x0 [a, b] , что f ( x0 ) a
.
(b a)
Формула Ньютона-Лейбница
кривой.
/2
П р и м е р. Вычислить sin3 t cos tdt . Сделаем замену sint z .
0
Монотонная на отрезке [0, / 2] функция sint отображает этот отрезок в
/2 1 1
3 z4 3 1
отрезок [0,1] . Поэтому sin t cos tdt z dz .
0 0
40 4
b
1. Формула прямоугольников. Для вычисления интеграла f ( x)dx
a
b a
отрезок [a, b] разбивается на n равных частей узлами xi a i .
n
Криволинейная трапеция с основанием [ xi , xi 1] заменяется прямоугольником
с высотой –либо f ( xi ) , либо f ( xi 1) . Суммируя площади этих
b a
прямоугольников с одинаковыми основаниями длины , получим либо
n
b b
b an 1 b a n
f ( x)dx f ( xi ) , либо f ( x)dx f ( xi ) .
a
n i0 a
n i1
4
Сосчитаем приведенный выше интеграл
sin x двумя способами по
dx
1
x
формулам прямоугольников с помощью пакета программ MAXIMA.
Выберем шаг, равный 3/200.
Формула прямоугольников с высотами, равными значениям функции в
правых концах отрезков разбиения считается в MAXIMе по формуле
3/200*sum(sin(1+i*3/200)/(1+i*3/200),i,1,200),numer; с высотами,
равными значениям функции в левых концах отрезков разбиения
считается в MAXIMе по формуле
3/200*sum(sin(1+i*3/200)/(1+i*3/200),i,0,199),numer.
Если использовать готовые формулы приближенного вычисления
интегралов в MAXIMе, можно использовать команду quad_qag :
first(quad_qag(sin(x)/x,x,1,4,2)).
Числовые ряды
( ak bk ) s .
k 1
причем ak N ak sN .
k 1 k 1
расходимость ряда bk .
k 1
n n
Доказательство. Обозначая ak sn , bk n, имеем: sn n. Остальное
k 1 k 1
следует из доказанной леммы.
K
Доказательство. Из определения предела при найдем N такое, что
2
an K 3 2
| K| при любом n N . Следовательно, an K bn , bn a при
bn 2 2 K n
n N . Согласно теореме сравнения 1 ряды ak N и bk N сходятся или
k 1 k 1
расходятся одновременно. Согласно свойству 2 сходящихся рядов теорема
доказана.
3k 7 8
П р и м е р. Числовой ряд 9 3
сходится, так как его можно
k 1 10k 6k 4
сравнить со сходящимся рядом
1 , рассмотренным выше.
k 1 k (k 1)
(3n7 8)n(n 1) 3
Действительно, существует nlim , и можно применить
(10n9 6n3 4) 10
теорему сравнения 2.
| n an p| при n N . Следовательно, na
n p p2 1 и an p2n
n2
П р и м е р. Исследуем сходимость ряда . Так как
n 1 (2 1 ) n
n
n n2 1
lim n an lim , данный ряд сходится.
2 1 2
n n
n
ck сходится абсолютно.
k 1
( 1)k
П р и м е р. Ряд сходится абсолютно при 1.
k 1 k
Признак Лейбница сходимости знакочередующегося ряда. Пусть члены
частными суммами?
( 1)k
П р и м е р. Ряд сходится по признаку Лейбница при любом 0.
k 1 k
В предыдущем примере, опираясь на интегральный признак, мы показали,
сходящимся.
Функциональные ряды
П р и м е р. Функциональный ряд
sin kx сходится при любом значении
2
k 1 k
переменной x , так как мажорирующим рядом для него является сходящийся
ряд
1 .
2
k 1k
Степенные ряды
Пусть | x | | x1 | тогда | ck x | M k x
. Так как ряд M
x сходится, то по
x1 k 1 x1
теореме сравнения абсолютно сходится ряд ck x1k .
k 0
f ( n ) ( x) n
рассматривали в форме Лагранжа: rn ( x) x ,0 1. Таким
n!
образом, если внутри интервала сходимости остаточный член формулы
f ( k ) (0) k
f ( x) x .
k 0 k!
n . Следовательно, e x
xk при всех x R .
k 0 k!
Тейлора
n 1
1 1 3 1 5 1
sin x x x x x 2n 1
rn x ,
1! 3! 5! 2n 1 !
| x |2n 1 . То есть, R lim (2n 1)! и rn ( x)
где | rn ( x) | 0 при n .
(2n 1)! n (2n 1)!
n 1
1
Следовательно, sin x x2n 1
при всех x R .
n 1 2n 1 !
Тейлора
n
1 2 1 4 1 6 1
cos x 1 x x x x2n rn x ,
2! 4! 6! 2n !
2(n 1)
где | rn ( x)| | x | . То есть, R lim
(2n 2)!
и rn ( x) 0 при
(2n 2)! n (2n)!
n
1
n . Следовательно, cos x x2n при всех x R .
n 0 2n !
формулой Тейлора
x2 x3 ( 1)n 1 xn
ln(1 x) x ... rn ( x),
2 3 n
где | rn ( x)| | x |(n 1)
, 0 1. Сосчитаем радиус сходимости
(n 1) |1 x |(n 1)
n 1
этого ряда: R nlim 1. Форма Лагранжа остаточного члена здесь
n
(n 1)
годится только для x 0 . В этом случае | rn ( x)| | x | , и для 0 x 1
(n 1)
имеем rn ( x) 0 при n . Другая форма остаточного члена для
( 1)n 1 xn
ln(1 x) .
справедливо представление n 1 n
формулой Тейлора
( 1) ( 1)( 2)...( n 1)
(1 x) 1 x x2 ... xn rn ( x) .
2! n!
n 1
Найдем радиус сходимости этого степенного ряда: R lim 1.
n n
Для оценки остаточного члена при n , больших или равных целой части ,
бинома Ньютона.
Примеры приложений рядов Тейлора
Представленные в предыдущем пункте канонические разложения могут
служить основой для получения новых разложений. Так, положив 1и
в последнем разложении, мы получим формулы суммы бесконечной
1
( t 2 )n , | t | 1 . Последний ряд имеет радиус сходимости, равный 1.
1 t2 n 0
Вспомним, что внутри интервала сходимости ряды можно интегрировать
почленно и проинтегрируем обе части последнего равенства по t от 0 до
x2n 1
x, | x | 1, тогда получим разложение: arctg x ( 1)
n
.
n 0 2n 1
Теперь для того, чтобы, например, найти am умножим обе части равенства
a0 2 kx 2 kx на cos 2 mx и проинтегрируем на
f ( x) ak cos bk sin
2 k1 T T T
отрезке [ T / 2,T / 2] . С учетом свойств гармоник в правой части равенства
2
останется только слагаемое am , а в левой части – выражение
T
T /2
2 mx . Отсюда мы получим a .
f ( x)cos dx m
T /2
T
2 mx
Умножая на sin и интегрируя, получим bm .
T
А для того, чтобы получить a0 , нужно просто проинтегрировать обе части
равенства f ( x)
a0 2 kx 2 kx на отрезке
ak cos bk sin [ T / 2,T / 2] .
2 k1 T T
T T
Заметим, что в случае, когда f ( x) четная на отрезке [ , ],
2 2
коэффициенты при синусах обратятся в ноль. Если f ( x) нечетная на
T T
отрезке [ , ] , исчезнут коэффициенты при косинусах и свободный член.
2 2
В случае, когда периодическая функция имеет точки разрыва, ее также
можно раскладывать в ряд Фурье, но равенство функции и суммы ряда будет
только в точках непрерывности функции. В точках разрыва ряд Фурье будет
сходиться к полусумме значений функции слева и справа от точки разрыва:
a0 2 kx0 2 kx0 1
ak cos bk sin ( f ( x0 0) f ( x0 0)) .
2 k 1 T T 2
e (e 1)(e 1)
.
2
T T
Мы видим, что если задать функцию на симметричном интервале ( , ),
2 2
то ряд Фурье, построенный для этой функции, автоматически продолжает
исходную функцию T периодически на всю вещественную ось.
T
Оказывается, можно задать функцию на полуинтервале [0, ) , продолжить ее
2
T
четным или нечетным образом на симметричный полуинтервал ( ,0] и
2
T T
уже затем продолжить полученную на интервале ( , ) четную или
2 2
нечетную функцию T периодически на всю вещественную ось. Для этого
следует применить разложение в ряд Фурье по косинусам или по синусам,
соответственно.
П р и м е р. Зададим на интервале [0, ) функцию y x .
Разложим функцию в ряд по косинусам с помощью MAXIM-ы. Для этого
применим команду load(fourie); fourcos (x, x, %pi). Мы получим
2(cos( n)-1)
коэффициенты a0 и an = . График частной суммы ряда на
2 n2
интервале ( , ) до 10-го члена получим по команде plot2d(%pi/2+
sum((2*(cos(%pi*n)/n^2-1/n^2))/%pi*cos(n*x),n,1,10),[x,-%pi,%pi]).
4
fun1
x
3
-1
-2
-3
-4
-3 -2 -1 0 1 2 3
4
fun1
x
3
-1
-2
-3
-4
-3 -2 -1 0 1 2 3
Дифференциальные уравнения
y
Так называют уравнение вида y F . Для решения такого уравнения
x
y ( x)
целесообразно ввести новую функцию p( x) . Тогда y( x) xp( x) и
x
y p( x) xp ( x) . Подставляя в исходное уравнение, получим
F ( p) p
p( x) xp ( x) F ( p( x)) или p ( x) . Последнее уравнение – это
x
уравнение с разделяющимися переменными. Решив его и найдя p( x) , мы
найдем и y( x) xp( x) .
y 2 y
Решение. В соответствии с геометрическим условием ( x ) ( )2 y 2 .
y y
2xy
Упрощая, получим y . Это однородное дифференциальное
x y2
2
M ( x, y)
Уравнение первого порядка y , очевидно, может быть
N ( x, y)
записано в виде M ( x, y)dx N ( x, y)dy 0 . Представим теперь, что M y N x
и эти функции непрерывны. Это означает, что существует такая функция
U ( x, y) , что U x ( x, y) M ( x, y), U y ( x, y) N ( x, y) . Действительно, ведь
U xy ( x, y) U yx ( x, y) M y ( x, y) N x ( x, y) . Итак, уравнение теперь имеет вид
U x dx U y dy 0 или dU ( x, y) 0 . Следовательно, решение исходного
уравнения – множество неявно заданных функций U ( x, y) C .
П р и м е р. Решить уравнение 2xydx ( x2 y 2 )dy 0 . Мы видим, что
условие M y N x выполняется. Перегруппировывая слагаемые в виде
(2xydx x2dy) y 2dy 0 , можно заметить, что первая скобка – это d ( x2 y) .
Следовательно, уравнение можно переписать в виде d ( x2 y y3 / 3) 0 .
Следовательно, решением является неявно заданная функция x2 y y3 / 3 C .
| x x0 | M max yn (t ) yn 1(t ) .
|t x0 | |x x0 |
y1( x),
y2 ( x),
Если ввести вектор-функцию Y ( x) , систему легко записать в виде
...
yn ( x)
y1( x),
y2 ( x),
уравнения первого порядка: Y A Y F ( x) , где Y ( x) ,
...
yn ( x)
0 1 0... 0 0
0 0 1... 0 0
A , F ( x) .
... ... ... ... ...
an an 1 ... a1 f ( x)
y10
y20
Если для вектор-функции Y ( x) задать начальное условие: Y ( x0 ) Y0 ,
...
yn0
для полученного векторного дифференциального уравнения первого порядка
с заданным начальным условием нетрудно доказать теорему существования
и единственности решения соответствующей задачи Коши. Это решение так
же, как в случае обыкновенного дифференциального уравнения первого
порядка, может быть построено с помощью итераций интегрального
x
уравнения Y ( x) Y0 [ A Y (t ) F (t )]dt в окрестности точки x0 . Здесь
x0
интеграл от вектор-функции представляет собой новый вектор, каждая
координата которого является интегралом соответствующей координаты
исходной вектор-функции:
x
y10 y2 (t )dt
x0
y1( x) x
y2 ( x) y20 y3 (t )dt
x0 .
...
yn ( x) ...
x
yn0 [ a1 y1(t ) a2 y2 (t ) ... an yn (t ) f (t )]dt
x0
следовательно,
x
( y2k (t ) y2k 1(t ))dt
x0
y1k 1( x) y1k ( x) x
y2k 1( x) y2k ( x) ( y3k (t ) y3k 1(t ))dt
x0 .
...
...
ynk 1( x) ynk ( x) x
[ a1( y1k (t ) y1k 1(t )) ... an ( ynk (t ) ynk 1(t ))]dt
x0
y1( x) y2 ( x) ... yn ( x)
y1( x) y2 ( x) ... yn ( x)
Рассмотрим определитель W ( x) ,
... ... ... ...
y1(n 1) ( x) y2(n 1) ( x)
yn(n 1) ( x) ...
называемый определителем Вронского. Именно условие W ( x0 ) 0
позволяет удовлетворить заданным начальным условиям в точке x0 .
П р и м е
Решитьр.дифференциальное уравнение
(4)
y 4 y 14 y 20 y 25 y 0 . Характеристическое уравнение можно
представить в виде (k 2 2k 5)2 0 , следовательно, корнями
характеристического уравнения являются 1 2i (кратности 2) и 1 2i
(кратности 2). Поэтому общим решение заданного однородного
дифференциального уравнения будет функция
y( x) e (C1 cos2x C2 x cos2x C3 sin 2x C4 x sin 2x) .
x
y1 y1 3 y2 ,
П р и м е р. Решить систему Характеристическим уравнением
y2 3 y1 y2.
1 k 3
системы является уравнение 0 . Корни характеристического
3 1 k
уравнения: 1 3i . Поэтому y1 ( x) C1ex cos3x C2e x sin3x . Теперь из первого
уравнения системы найдем
1
y2 ( x) ( y ( x) y1( x)) C2e x cos3x C1e x sin3x .
3 1
y1 2 y1 y2 ,
П р и м е р. Решить систему
y2 y1 4 y2.
2 k 1
Характеристическим уравнением этой системы будет 0.
1 4 k
Корнем этого уравнения кратности два является число 3. Поэтому мы
решение запишем в виде y1 ( x) C1e3x C2 xe3x Используем первое уравнение
системы для получения y2 ( x) y1( x) 2 y1( x) (C1 C2 )e3x C2 xe3x .
y1 3 y1 4 y2 2 y3 ,
П р и м е р. Решить систему y2 y1 y3 ,
y3 6 y1 6 y2 5 y3.
П р и м е р. Решить систему
y1 5 y1( x) 3 y2 ( x) 2e3x ,
y2 y1( x) y2 ( x) 5e x .
Решим характеристическое уравнение для однородной системы:
5 k 3
0 . Корнями этого уравнения являются числа k1 2, k2 4 .
1 1 k
Поэтому за общее решение однородной системы можно взять функции
y1( x) C1e2 x 3C2e4 x , y2 ( x) C1e2 x C2e4 x
Теперь общее решение неоднородной системы возьмем в виде
y1( x) C1( x)e2 x 3C2 ( x)e4 x , y2 ( x) C1( x)e2 x C2 ( x)e4 x . Для определения
функций C j ( x) , j 1,2 , решим систему
C1 ( x)e2 x 3C2 ( x)e4 x 2e3x ,
C1 ( x)e2 x C2 ( x)e4 x 5e x .
15 3x 5 5x
Получим C1 ( x) ex e , C2 ( x) e x
e . В итоге получим общее
2 2
решение неоднородной системы:
y1( x) 4e 3x
e x
C1e 2x 4x
3C2e , y2 ( x) 2e
3x
2e x
C1e 2x 4x
C2e .
Применение пакета программ MAXIMA для решения задач Коши для
систем линейных дифференциальных уравнений
load(dynamics); rk(y^2+x,y,0.3,[x,0,1,0.05]);
После того, как мы нажмем клавиши Shift+Enter, получим данные
[[0,0.3],[0.05,0.30583128660202],[0.1,0.31438277172198],[0.15,
0.32574776902574],[0.2,0.34003114365951],[0.25,0.35735268712942],[0.3,
0.37785103897622],[0.35,0.40168830090343],[0.4,0.42905553899765],[0.45,
0.46017943684494],[0.5,0.49533045405802],[0.55,0.53483297195895],[0.6,
0.57907808748734],[0.65,0.62853997325452],[0.7,0.6837970957275],[0.75,
0.74556013793749],[0.8,0.81470931041585],[0.85,0.89234502470182],[0.9,
0.97985793824278],[0.95,1.079027666994073],[1.0,1.192164923146931]].
-5
-10
-10 -5 0 5 10
10
-5
-10
-10 -5 0 5 10
-5
-10
-10 -5 0 5 10
a a
y(t ) e t ( C1 C2 )cos t ( C2 C )sin t .
b b b b 2
-5
-10
-10 -5 0 5 10
-5
-10
-10 -5 0 5 10
-5
-10
-10 -5 0 5 10
-5
-10
-10 -5 0 5 10
-5
-10
-10 -5 0 5 10
x a x b y,
Для изображения траекторий динамической системы с
y c x d y,
помощью MAXIMы можно применять оператор drawdf.
Чтобы исследовать, например, траектории, проходящие в квадрате со
стороной 20 и центром (0,0) через точки (3,3), (-3,3), (-3,-3), (3,-3), вводим
следующие команды: load(drawdf); drawdf([a*x+b*y,c*x+d*y],
field_degree=2, duration=20, soln_arrows=true, solns_at([3,3], [-3,3],
[-3,-3], [3,-3])) и нажимаем Shift+Enter.
x f ( x, y, t ),
Теперь представим, что система общего вида имеет
y g ( x, y, t ),
x0 f ( x0 (t ), y0 (t ), t ),
частное решение x x0 (t ), y y0 (t ) , то есть
y0 g ( x0 (t ), y0 (t ), t ).
Введем новые функции u(t ) x(t ) x0 (t ) и v(t ) y(t ) y0 (t ) . Тогда новые
функции удовлетворяют системе
u f (u x0 (t ), v y0 (t ), t ) f ( x0 (t ), y0 (t ), t ),
y g (u x0 (t ), v y0 (t ), t ) g ( x0 (t ), y0 (t ), t ).
Для новой системы точка (0,0) станет положением равновесия. Хотя новая
система не является линейной системой с постоянными коэффициентами,
достаточно рассмотреть линейные по u и v части выражений в правых
частях системы в окрестности точки (0,0). В соответствии с поведением
траекторий для новой системы можно сделать вывод о том, будет ли
решение x x0 (t ), y y0 (t ) исходной системы устойчивым,
асимптотически устойчивым или неустойчивым.
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1