Основы высшей математики для инженеров 2009
.pdf
8.6. Разложение некоторых функций в степенные ряды… |
381 |
Пусть f (x) cos x. Так как cos x (sin x) , а ряд (1) можно почленно дифференцировать в его области сходимости, то
cos x 1 |
3x2 |
|
5x4 |
|
( 1)n 1 |
x2n 2 |
||||||||
|
|
|
|
|
(2n 1)! |
|||||||||
|
3! |
5! |
|
|
|
|||||||||
|
|
x2 |
x4 |
|
|
n 1 |
x2n 2 |
|||||||
1 |
|
|
|
|
( 1) |
|
|
|
. |
|||||
|
|
|
|
|
||||||||||
|
2! |
|
4! |
|
|
|
|
(2n 2)! |
||||||
8.6.2. Биномиальный ряд
Пусть f (x) (1 x)m, где m — любое действительное число.
f (x) m(1 x)m 1, |
f (x) m(m 1)(1 x)m 2, , |
|||||||||||||||
f (n)(x) m(m 1) (m n 1)(1 x)m n, |
||||||||||||||||
f (0) 1, f (0) m, |
f (0) m(m 1), , f |
(n)(0) m(m 1) (m n 1), . |
||||||||||||||
(1 x)m 1 m x m(m M621) x m(m 1) (m n 1) xn . (2) |
||||||||||||||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1! |
|
2! |
|
|
|
|
|
|
|
|
|
|
n! |
|||
Радиус сходимости определим по признаку Даламбера: |
||||||||||||||||
|
|
|
R lim |
|
|
an |
|
lim |
|
n 1 |
|
1. |
||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
m n |
|
||||||||
|
|
|
|
n |
an 1 |
n |
|
|
|
|||||||
|
|
|
|
|
|
|||||||||||
Таким образом, ряд (2) сходится абсолютно при 1 x 1.
8.6.3. Разложение в ряд Маклорена функции f (x) ln(1 x)
Пусть |
f (x) ln (1 x). Имеем |
|
|
|
|
|
|
|
|
|
||||
f (x) |
1 |
, |
f (x) |
|
1 |
|
, |
f (x) |
2 |
, |
||||
|
(x 1)2 |
(x 1)3 |
||||||||||||
|
1 x |
|
|
|
|
|
|
|
|
|||||
|
f IV (x) |
2 3 |
, |
, |
|
( 1)n 1(n 1)! |
, . |
|
||||||
|
(x 1)4 |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
(x 1)n |
|
||||
f (0) 0, |
f (0) 1, |
f (0) 1!, |
f (0) 2!, |
f (n)(0) ( 1)n 1(n 1)! |
||||||||||
382 |
Глава 8. Числовые и функциональные ряды |
|
||||||||
В данном случае |
|
|
|
( 1)n 1xn |
|
|
||||
|
ln (1 x) x |
|
x2 |
|
x3 |
|
. |
(3) |
||
|
|
|
|
|
||||||
|
2 |
3 |
|
n |
|
|||||
|
Применяя признак Даламбера, нетрудно установить, область схо |
|||||||||
димости: 1 x 1. |
|
|
|
|
|
|
||||
|
Приведем еще одно разложение, справедливое при | x | 1: |
|
||||||||
|
f (x) |
1 |
1 x x2 xn . |
(4) |
||||||
|
|
|||||||||
|
1 x |
|
|
|
|
|
|
|||
8.6.4. Методы, применяемые для разложения функций в степенные ряды
Метод подстановки. Этот метод использует пять основных разложе ний элементарных функций. При этом не нужно определять область
сходимости. |
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
2 |
||||
П р и м е р 1. Разложить в ряд функцию |
|
e |
. Положим |
||||||||||||||||
|
|
|
x |
u. |
|||||||||||||||
Тогда |
|
|
|
|
|
|
un |
|
|
|
|
||||||||
|
|
|
|
|
eu 1 u |
u |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
! |
|
n! |
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
M64 |
2 2n |
|
|
|
|
||||||||||
|
|
|
x2 |
|
|
|
|
|
|||||||||||
|
|
|
2 |
x |
|
n |
x |
|
|
|
|
|
|
||||||
|
|
e |
|
|
1 x |
( 1) |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
2! |
|
|
|
|
n! |
|
|
|
|
|||
— сходится при любом x. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
П р и м е р 2. Разложить в ряд функцию |
|
|
1 |
|
. |
|
|
||||||||||||
|
|
|
|
|
|||||||||||||||
1 |
2 |
|
|
||||||||||||||||
Положим x2 t: |
|
|
|
|
|
x |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
1 |
1 t t2 t3 tn , |
|
|
|||||||||||
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
1 t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1 |
1 x2 x4 x6 ( 1)n x2n , |
|
1 x 1. |
|
|||||||||||||||
|
|
|
|
||||||||||||||||
|
2 |
|
|
||||||||||||||||
1 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Метод почленного интегрирования и дифференцирования. Метод дифференцирования уже был нами использован выше при разложении в ряд cos x. Разложим в ряд функцию arctg x.
x |
dt |
|
|
arctg x D |
|
; |
|
1 t |
2 |
||
0 |
|
|
|
|
|
|
384 |
Глава 8. Числовые и функциональные ряды |
с точностью 0,001. Формула Ньютона – Лейбница неприменима, так как первообразная не выражается через элементарные функции.
|
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
x4 |
|
|
x6 |
|
|
|
x8 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
e |
|
|
1 x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! 3! 4! |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
1/3 |
x |
2 |
|
|
|
|
1/3 |
|
|
x3 |
|
|
1/3 |
|
|
|
|
x5 |
|
1/3 |
|
|
|
x |
7 |
|
|
1/3 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
D e |
|
|
|
dx |
x |0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
3 |
|
|
2! 5 |
|
|
|
|
7 3! |
|||||||||||||||||||||||||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
; |
||||||||||||||
|
|
|
|
|
|
|
|
|
5 2!35 |
|
7 3!37 |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
3 3 33 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
1 |
|
|
1 |
|
0,001, |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
0,001. |
||||||||||||||||
34 |
|
|
|
|
|
|
|
|
|
5 2 35 |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
81 |
|
|
|
|
|
|
|
|
|
|
|
|
2430 |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
M62e x2 dx = 1 1 26 . |
|
|
|
|
|
|
|||||||||||||||||||||||||
В знакочередующемся ряде остаток не превышает первого из отбро |
||||||||||||||||||||||||||||||||||||||||||
шенных членов, |
|
поэтому здесь достаточно взять два члена ряда и |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1/3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
81 |
|
|
81 |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
3. Интегрирование дифференциальных уравнений с помощью рядов.
Если интегрирование дифференциального уравнения не сводится к квадратурам, то прибегают к приближенным методам интегрирования. Одним из таких методов является представление решения уравнения в виде ряда Тейлора; сумма конечного числа членов этого ряда будет приближенно равна искомому частному решению.
Пусть требуется найти частное решение дифференциального урав нения второго порядка
y f (x, y, y ) |
(2) |
с начальными условиями y(x0) y0, y (x0) y0.
Допустим, что его решение y y(x) можно представить в виде ряда Тейлора:
y(x) y(x ) y (x ) |
(x x0) |
y (x |
) |
(x x0)2 |
y (x ) |
(x x0)3 |
. (3) |
|
|
|
|
||||||
0 |
0 |
1! |
0 |
2! |
0 |
3! |
|
|
|
|
|
|
|
||||
8.6. Разложение некоторых функций в степенные ряды… |
385 |
Для определения коэффициентов ряда поступим следующим образом. Значения y(x0) y0 и y (x0) y0 нам известны из начальных условий. Для нахождения y (x0) подставим в правую часть уравнения (2) вме сто y и y их значения при x x0:
y (x ) y |
f (x , y , y ). |
(4) |
|||
0 |
0 |
0 |
0 |
0 |
|
Для определения y (x0) дифференцируем обе части равенства (2) по x и подставляем значения y, y и y при x x0. Последовательно по лучаем
y (x) |
Hf |
|
Hf |
y |
Hf |
y E(x, y, y , y ), |
|||
Hx |
Hy |
Hy |
|||||||
|
|
|
|
|
(5) |
||||
|
y (x ) E(x , y , y , y ). |
||||||||
|
|
0 |
0 |
0 |
0 |
0 |
|||
Дифференцируя равенство (5) еще раз и подставляя значения x0, y0,
y , |
y , |
y , найдем значение |
yIV (x |
) и т. д. Полученные значения про |
0 |
0 |
0 |
0 |
|
изводных подставляем в ряд (3), который дает решение уравнения.
П р и м е р. Найти приближенноеM6решение2уравнения y y cos x x, удовлетворяющего начальным условиям: y(0) 1, y (0) 0.
Ищем решение уравнения в виде ряда Маклорена:
y y(0) y (0)x y (0) x2 y (0) x3 . 2! 3!
Принимая во внимание, что y 1 при x 0, из данного дифференци ального уравнения находим y (0) 1cos0 0 1. Для нахождения y
дифференцируем обе части данного уравнения:
y y cos x y sin x 1.
При x 0 получим
y (0) y (0) cos0 y(0) sin0 1 0 1 1 0 1 1.
Подставляя найденные значения производных в ряд, для решения по лучим приближенное выражение в виде частичной суммы ряда
y(x) = 1 x2 x3 . 2! 3!
386 |
Глава 8. Числовые и функциональные ряды |
8.7. Ряды Фурье. Тригонометрические ряды Фурье с периодом 2'
Постановка задачи. Некоторые вспомогательные утверждения. Определе ние коэффициентов ряда Фурье. Условия сходимости. Теорема Дирихле.
8.7.1. Постановка задачи. Некоторые вспомогательные утверждения
В общем случае тригонометрический ряд имеет вид
a0 a1 cos x b1 sin x a2 cos2 x b2 sin2 x
2
|
a0 |
|
|
|
|
|
|
|
|
(a |
|
cosnx b |
sin nx). |
(1) |
|
|
|
||||||
2 |
|
F |
n |
n |
|
|
|
|
|
|
n 1 |
|
|
|
|
Если коэффициенты тригонометрического ряда определить так,
чтобы его сумма равнялась функции f (x) на отрезке ? ', '@: aM620
f (x) F(an cosnx bn sin nx), (2)
n 1
то тригонометрический ряд называется рядом Фурье для функции f (x). В инженерной практике необходимость представления функции, заданной на отрезке ? ', '@, в виде ряда Фурье возникает во многих случаях. Например, если она задана таблично, или она имеет точки разрыва первого рода и определена несколькими аналитическими выражениями на отдельных участках данного отрезка. В этих и мно гих других случаях при разложении функции в ряд Фурье значитель но упрощаются все процедуры, связанные с использованием таких
функций.
При этом если функция задана на некотором отрезке ?a, b@, то пу тем замены независимой переменной можно перейти к отрезку ? ', '@ или ?0, '@. Таким образом, разложить в ряд Фурье можно любую функцию, заданную и кусочно непрерывную на любом отрез ке ?a, b@. При этом лишь следует иметь в виду, что непериодическая функция, заданная на отрезке ?a, b@, при разложении в ряд Фурье будет продолжена за пределы этого участка как периодическая. А в практических приложениях это свойство, навязанное данной функ ции, не имеет существенного значения.
388 |
Глава 8. Числовые и функциональные ряды |
8.7.2. Определение коэффициентов ряда Фурье
Предположим, что ряд (2) можно почленно интегрировать (это бу дет, например, выполнено, если ряд абсолютно сходится, т. е. если сходится числовой ряд
|
|
|
|
|
a0 |
|
| a |
|
| |b | | |
a |
| |b | . |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
2 |
|
1 |
|
|
|
|
1 |
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|||||
Тогда получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
' |
|
|
|
|
' |
|
|
a0 |
|
|
|
|
a0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
D f (x)dx D |
|
dx 2' |
'a0, |
|
|
|
|
||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|||||
т. е. |
|
|
|
' |
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
a0 |
1 |
D f (x)dx. |
|
|
|
|
|
|
(5) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Умножим обе части равенства (2) на coskx и проинтегрируем: |
|
||||||||||||||||||||||||||||
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
' |
a0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D f (x) cos kxdx |
D |
cos kxdx |
|
|
|
|
|||||||||||||||||||
|
F n |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
M62n |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
' |
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
cos2 kxdx a |
|
|
||
|
a |
D |
cos nx cos kxdx b |
|
D |
sin nx cos kxdx |
a |
k |
D |
k |
'; |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
n 1 ' |
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
' |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
ak |
|
|
|
D f (x) cos kxdx. |
|
|
|
|
|
(6) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
' |
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
''
D f (x) sin kx bk Dsin2 kxdx bk ',
' |
|
|
' |
|
|
|
|
1 |
' |
|
|
bk |
|
D f (x) sin kxdx. |
(7) |
||
|
|||||
|
' |
' |
|
||
|
|
|
|
||
Коэффициенты (5), (6), (7) — коэффициенты ряда Фурье функции f (x).
8.7.3. Условия сходимости. Теорема Дирихле
Пусть для 2' — периодической функции f (x) по формулам (5)–(7) вычислены коэффициенты и формально построен ряд Фурье. Рассмот рим, в каком случае он будет иметь своей суммой f (x).
|
8.7. Ряды Фурье. Тригонометрические ряды Фурье с периодом 2' |
389 |
|||||||||||||||||
|
ОПРЕДЕЛЕНИЕ 1. Функция f (x) называется кусочно монотонной |
||||||||||||||||||
на отрезке [a, b], если отрезок можно разбить на конечное число час |
|||||||||||||||||||
тей так, что на каждой из них |
f (x) либо монотонно возрастает, либо |
||||||||||||||||||
монотонно убывает, либо остается постоянной. |
|
|
|
|
|
|
|||||||||||||
|
ОПРЕДЕЛЕНИЕ 2. Функция |
f (x) удовлетворяет условиям Ди |
|||||||||||||||||
рихле на ?a, b@, если она кусочно монотонна и ограничена на от |
|||||||||||||||||||
резке ?a, b@. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема Дирихле. Пусть функция f (x) удовлетворяет на отрез2 |
||||||||||||||||||
ке [', '] условиям Дирихле. Тогда ряд Фурье, формально построенный |
|||||||||||||||||||
по этой функции, сходится и его сумма S (x) совпадает с |
f (x) во всех |
||||||||||||||||||
точках непрерывности f (x), |
а в точках разрыва xi |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
S (xi) |
1 |
lim |
f (x) |
lim |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
f (x) , |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
2 x xi 0 |
x xi 0 |
|
|
|
|
|
|
|
|||||
т. е. равна среднему арифметическому предельных значений функции при |
|||||||||||||||||||
x xi слева и справа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
П р и м е р. Разложить в ряд Фурье функцию f (x) x при ' x '. |
|
|||||||||||||||||
|
|
a |
|
1 ' xdx |
0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
' 'D |
M62 |
|
|
|
|
|
|
|
|
|||||
|
|
1 |
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
ak |
D x cos kxdx 0; |
|
|
|
|
|
Рис. 8.2 |
|
|
|
||||||||
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bk |
|
|
1 |
' |
|
1 7 |
x cos kx |
' |
|
1 |
' |
|
: |
|
|
|
||
|
|
|
D x sin kxdx |
|
9 |
k |
|
|
k |
Dcos kxdx< |
|
|
|||||||
|
|
|
|
' |
' |
|
' 9 |
' |
' |
|
< |
|
|
|
|||||
|
|
|
|
|
|
|
8 |
|
|
|
|
|
; |
|
|
|
|||
|
1 7 |
|
|
|
|
1 |
sin kx |
' : |
2 |
cos k' |
2 |
( 1) |
k |
( 1) |
k 1 2 |
. |
|||
9 ' cos k' ' cos k' |
< |
|
|
|
|
||||||||||||||
|
k' 9 |
|
|
|
|
k2 |
|
|
' < |
k |
|
|
|
k |
|
|
|
k |
|
|
8 |
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
x 2 7sin x 1 sin |
2 x 1 sin 3x ( 1)n 1 sin nx : . |
|
|
|||||||||||||||
|
|
9 |
|
2 |
|
3 |
|
|
|
|
|
|
n |
|
< |
|
|
||
|
|
8 |
|
|
|
|
|
|
|
|
|
; |
|
|
|||||
|
Следует обратить внимание, что при вычислении коэффициентов |
||||||||||||||||||
ak подынтегральные функции нечетные, а пределы интегрирования |
|||||||||||||||||||
симметричные. Поэтому все интегралы и соответственно коэффици |
|||||||||||||||||||
енты ak равны нулю. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||

', представить