Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Основы высшей математики для инженеров 2009

.pdf
Скачиваний:
248
Добавлен:
12.03.2016
Размер:
10.04 Mб
Скачать

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

 

 

 

 

 

8.6. Разложение некоторых функций в степенные ряды…

383

1

1 t

2 t

4 t6 ( 1)nt2n ,

1 t 1.

 

1 t2

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arctg x D(1 t2 t4 t6 ( 1)nt2n )dt

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

t3

 

x

 

 

t5

 

x

 

 

t7

 

x

 

 

n t2n 1

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t|0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

0

5

 

0

7

 

0

 

 

 

2n 1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

x5

 

x7

 

n

x2n 1

 

 

 

x

 

 

 

 

 

( 1)

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

3

 

5

 

 

 

7

 

 

 

 

 

 

2n 1

 

8.6.5.Применение степенных рядов в приближенных вычислениях

1.Приближенное вычисление значений функций. Пусть необходимо

вычислить значение e с точностью до 0,001.

 

 

M62

ec

 

 

1

 

1

1

e

1

1

 

 

 

 

 

,

 

 

!

3!

n!

(n 1)!

где 0 c x 1. При каком количестве членов ряда будет достигнута нужная точность? Это будет в том случае, когда остаточный член не

 

 

 

 

ec

 

 

превосходит 0,001, т. е.

 

 

 

0,001.

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

ec

3

0,001

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n 1)!

(n 1)!

при

n 6, так как

3

 

0,001.

 

 

 

 

 

 

(6 1)!

 

 

 

 

 

 

 

 

 

 

 

Таким образом, необходимо взять 6 членов ряда. При этом окажет ся, что e = 2,718.

2. Приближенное вычисление интегралов. Вычислим значение ин теграла

1/3

D e x2 dx

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@, при разложении в ряд Фурье будет продолжена за пределы этого участка как периодическая. А в практических приложениях это свойство, навязанное данной функ ции, не имеет существенного значения.

8.7. Ряды Фурье. Тригонометрические ряды Фурье с периодом 2'

387

Например, функция f (z) является правой частью дифференциаль ного уравнения второго порядка, решение которого нужно найти на отрезке ? l, l@при заданных условиях на концах отрезка. Если функция f (z) не имеет простого аналитического выражения, можно сделать за мену переменной z lx', представить f (z) в виде ряда (2) и в виде тако го же ряда искать решение задачи. При этом в условиях данной задачи не имеет никакого значения то обстоятельство, как будет продолжена функция f (z) за пределы данного отрезка.

Поставим задачу определения коэффициентов ряда (2) через функ цию f (x). Для этого выпишем следующую систему равенств:

'

 

 

 

 

 

 

 

 

'

 

'

 

Dcoskx sin nxdx 0;

Dsin nxdx Dcosnxdx 0;

'

 

 

 

 

 

 

 

 

'

 

'

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

Dcos kx sin nxdx 0;

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

Dsin kx M62sin nxdx 0

 

 

 

 

 

'

 

 

 

 

 

0

при

n k,

 

 

 

 

Dcos kx cos nxdx

при

n k;

 

 

 

 

'

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

при

n k,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

'

при

n k.

 

 

 

 

 

 

 

 

 

 

 

 

Докажем равенства (4):

 

 

 

 

 

'

 

 

 

 

 

 

 

'

cos(k n) x cos(k n) x

 

Dcos kx cos nxdx D

dx

 

'

 

 

 

 

 

 

 

'

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

& ' 1

 

cos2kx

 

 

 

при

n k,

& D

 

 

 

 

 

dx '

 

 

 

 

 

2

 

 

2

 

 

 

 

 

& '

 

 

 

 

 

 

 

 

 

 

 

 

&

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

& '

cos(k

n) x

cos(k n) x

 

 

& D

 

 

 

 

 

 

 

 

 

dx 0 при

n k.

 

2

 

 

 

2

&

 

 

 

 

 

 

 

 

& '

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

(3)

(4)

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 равны нулю.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

390

Глава 8. Числовые и функциональные ряды

Заданная функция f (x) определена на отрезке [', '], а представлен ная в виде ряда Фурье она продолжена за пределы этого отрезка. Свой ство периодичности этой функции теперь навязано свойствами триго нометрического ряда. Если это необходимо, то данное обстоятельство можно использовать. Если же нам нужна эта функция только на отрез ке [', '], то ее периодическое продолжение за пределы данного участ ка не имеют никакого значения, пусть будет и там такой же.

8.8.Ряды Фурье для четных и нечетных функций, для функций

спериодом 2l, для непериодических функций

Ряды Фурье для четных и нечетных функций. Разложение в ряд Фурье функции с периодом 2l. Ряд Фурье для непериодической функции.

8.8.1. Ряды Фурье для четных и нечетных функций

Функция f (x) — четная,M62если f ( x) f (x). Функция ((x) — нечетная, если (( x) ((x).

1. Произведение четной функции на четную и нечетной на нечет ную есть функция четная.

Пусть f (x) —четная, ((x) — четная, I(x) f (x) ((x).

I( x) f ( x) (( x) f (x) ((x) I(x).

Пусть f (x) — нечетная, ((x) — нечетная.

I( x) (( x) f ( x) [ ((x)] [ f (x)] f (x) ((x) I(x).

2.Произведение нечетной функции на четную есть функция не четная.

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

3.Пусть ((x) — четная функция, тогда

aa

D f (x)dx 2D f (x)dx.

 

a

0

 

Доказательство.

 

 

 

a

0

a

 

D f (x)dx D f (x)dx D f (x)dx;

x z, dz dx,

a

a

0