4сем / Лекции_3_сем
.pdfФункциональные ряды |
121 |
ОПусть z1 - некоторое комплексное число. Ряд (1) сходится в точке z1 , если при подстановке в него вместо z числа z1 , получается сходящийся ряд с комплексными членами. В противном случае ряд
(1) расходится.
ТТеорема Абеля. Если степенной ряд (1) сходится в точке z1 , то он сходится, и притом абсолютно, в любой точке z , которая лежит внутри окружности с центром z0 , проходящей через z1 , т.е. для
всех z таких, что z − z0 < z1 − z0 .
ОМножество точек z, в которых ряд сходится, называется областью сходимости ряда.
Для степенных рядов (1) возможны случаи:
1)ряд сходится только при z = z0 (R = 0);
2)ряд сходится при всех z (R = ∞);
3)существует такое число R > 0, что ряд сходится при любом значении
z, для которого z − z0 < R и расходится при любом z, для которого z − z0 > R . Число R называется радиусом сходимости степенного ряда (1), а круг z − z0 < R называется кругом сходимости ряда.
На границе области сходимости z − z0 = R ряд
может как сходиться, так и расходиться.
Для ряда (2) областью сходимости ряда является круг z < R радиуса R с центром в начале коорди-
нат.
Радиус сходимости: по признаку Даламбера:
R = |
|
1 |
|
= lim |
|
an |
|
, |
|||
|
|
a |
|
an+1 |
|||||||
|
lim |
|
n+1 |
|
n→∞ |
|
|
||||
|
|
|
|
|
|
|
|
|
|
||
|
n→∞ |
|
an |
|
|
|
|
|
|
|
|
по признаку Коши: |
|
|
|
|
1 |
|
|
|
|
||
|
|
|
|
R = |
|
. |
|||||
|
|
|
|
|
|
|
lim n an
n→∞
122 |
Лекции 12 - 14 |
•Пример: •
•• Найдите области сходимости рядов
|
|
∞ |
(z − z0 )n |
|
|
=1 + (z − z0 )+ (z − z0 )2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
• |
1) |
∑ |
|
|
+... R=1 Ряд сходится внутри |
|||||||||||||||||||||||||||||||||||||||
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
круга |
|
|
z − z0 |
|
|
<1 |
|
и расходится вне этого круга. В точках окруж- |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
ности |
|
|
|
z − z0 |
|
|
=1 ряд расходится, |
т.к. его общий член не стре- |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
мится к нулю. |
|
|
|
|
|
|
|
|
|
|
|
|
|
n +1 |
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
∞ |
zn |
|
|
|
|
|
|
|
|
|
|
|
|
|
z2 |
|
|
|
|
z |
3 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
• |
2) |
∑ |
|
|
|
|
|
|
= z + |
|
|
|
|
|
|
+ |
|
|
|
+ ... |
R = lim |
|
|
|
=1. Ряд сходится внут- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|||||||||||||||||||||||||||||
|
|
|
n |
|
|
2 |
|
|
3 |
|
n→∞ |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
n=1 |
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
ри круга |
|
|
<1 |
|
и расходится вне этого круга. На граничной ок- |
||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
ружности |
|
|
z |
|
|
=1 в некоторых точках (z = −1) сходится, а в неко- |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
торых (z = |
1) |
|
расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
∞ |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
2 |
|
|
|
z |
3 |
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
||||||
• |
3) |
∑ |
|
|
= z + |
|
|
+ |
|
+... R = lim |
|
|
|
= ∞ Ряд сходится, притом |
||||||||||||||||||||||||||||||
n! |
|
|
|
|
|
|
−1)! |
|||||||||||||||||||||||||||||||||||||
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
2! 3! |
|
|
n→∞ (n |
|
|
|
|
|
|
|
||||||||||||||||||||
|
абсолютно, при любом z. |
|
|
|
|
n! |
|
|
|
1 |
|
|
||||||||||||||||||||||||||||||||
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
• |
∑n!zn |
=1!z + 2!z2 +3!z3 +... |
R = lim |
|
|
|
= lim |
|
= 0 |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|||||||||||||||||||||||||||||||||||||
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ (n +1)! |
n→∞ n + |
|
•Ряд сходится только в точке z0 = 0 .
Врезультате изучения материала, изложенного в этих лекциях, студент должен знать:
определение функционального ряда, точки сходимости ряда, области сходимости ряда;
понятие равномерной сходимости, признак Вейерштрасса;
степенные ряды, их область сходимости, вычисление радиуса сходимости;
разложение функций в степенные ряды Тейлора и Маклорена;
ряды Тейлора и Маклорена основных элементарных функций;
применение степенных рядов (вычисление значений функций, вычисление интегралов, не берущихся в элементарных функциях, решение дифференциальных уравнений).
Лекции 15 - 16 РЯДЫ ФУРЬЕ
При описании периодически повторяющихся явлений более естественными являются разложения изучаемых функций не в степенные ряды, а в ряды по функциям, также обладающим свойством периодичности. В лекциях 15 – 16 рассмотрены тригонометрические ряды Фурье, широко использующиеся при исследовании периодических функций.
15.1.Гармонический анализ. Ряды Фурье
15.2.Ортогональные системы функций
15.3.Тригонометрические ряды
15.4.Коэффициенты Фурье и ряд Фурье для периодической функции с периодом 2π
15.5.Разложение функций в тригонометрические ряды
16.1.Разложение в ряд четных и нечетных функций с периодом 2π
16.2.Ряд Фурье для функции с произвольным периодом Т=2L
16.3.Разложение в ряд Фурье непериодических функций
16.4.Комплексная форма ряда Фурье
16.5.Интеграл Фурье
15.1.Гармонический анализ. Ряды Фурье
Гармоническим колебанием называется периодическое измене-
Оние во времени физической величины, происходящее по закону косинуса или синуса.
О |
Основной гармоникой называется простейшая периодическая функция |
|||||||||
вида |
y = |
f (x ) = a s i n (ω x + ϕ 0 ) = a c o s (ω x − ϕ 0 ), где a – |
||||||||
|
амплитуда, ω - круговая частота, ϕ0 - начальная фаза колебания. |
|||||||||
|
Если независимая переменная - время t, то величина у=f(t) совер- |
|||||||||
|
шает |
гармоническое колебание с периодом T = |
2π |
и |
частотой |
|||||
|
ω |
|||||||||
|
|
1 |
|
|
ω |
|
|
|
|
|
|
υ= |
|
= |
. |
|
|
|
|
||
|
T |
|
|
|
|
|
||||
|
|
|
2π |
|
|
|
|
|||
|
Функции |
a2 (sin 2ωx +ϕ0 ), a3 sin (3ωx +ϕ0 ), ... называются |
второй, |
|||||||
|
третьей, … высшими гармониками относительно основной. |
Ряды Фурье |
123 |
Основная гармоника может быть представлена в виде суммы двух тригонометрических функций одного и того же аргумента:
a sin (ωx +ϕ0 ) = a sin ωx cosϕ0 + a cosωx sinϕ0 = Asin ωx + B cosωx .
Функции sin x и cos x являются периодическими с периодом T = 2π .
Функции sin 2x и cos 2x , sin 3x и cos3x ,… так же имеют период 2π .
Любая линейная комбинация вида
a0 + a1 cos x + b1 sin x + a2 cos 2x + b2 sin 2x +... |
(1) |
так же является периодической с периодом T = 2π .
Гармонический анализ используется для изучения периодических процессов. Любая величина f (t ), связанная с периодическим процес-
сом, по истечении периода T возвращается к своему первоначальному значению, т.е. является периодической функцией с периодом T .
Сущность гармонического анализа заключается в представлении функций, описывающих периодические процессы, в виде конечной или бесконечной суммы гармонических колебаний вида (1); гармонический анализ состоит в разложении периодических функций в сходящийся ряд Фурье.
15.2. Ортогональные системы функций
Предварительно докажем следующие утверждения, которые следует знать для дальнейшего изложения.
1). Интеграл от нечетной функции в симметричных пределах равен нулю. Если f(x)=-f(-x), то
∫a f (x)= ∫0 f (x) dx + ∫a f (x)dx =
−a |
−a |
0 |
замена х на (-х) в первом интеграле дает
0 |
a |
a |
a |
= ∫ f (−x)dx + ∫ f (x)dx = −∫ f (x)dx + ∫ f (x)dx = 0 . |
|||
a |
0 |
0 |
0 |
Ряды Фурье |
|
|
|
|
|
125 |
|||
|
π |
|
cos nx |
|
π |
|
|||
|
|
|
|
||||||
1) |
∫ |
sin nx dx = − |
|
|
= 0 в силу нечетности подынтегральной |
||||
|
|
|
|
||||||
|
−π |
|
n |
|
|
|
|
−π |
|
|
|
|
|
|
|
||||
|
функции; |
|
|
|
|
|
|
||
2) |
π∫ |
cos nx dx = sin nx |
|
π |
= |
1 (sinπn −sin (−πn))= 0 , так как sinπn = 0 . |
|||
|
|||||||||
|
−π |
|
n |
|
|
−π |
|
n |
|
|
|
|
|
|
|||||
3) |
π∫sin nx cos nx dx = |
1 π∫sin 2nx dx = 0 в силу нечетности подынтеграль- |
|||||||
|
−π |
|
|
2 −π |
|
ной функции.
С использованием формул:
cos nx cos mx = 12 cos(n + m)x + cos(n − m)x ; sin nxsin mx = 12 cos(n − m)x − cos(n + m)x ;
sin nx cos mx = 12 sin (n − m)x +sin (n + m)x .
Вычислим следующие интегралы:
4) |
π |
sin nx sin mx dx = |
1 |
|
π |
|
( |
cos (n − m )x − cos (n + m )x dx = |
||||||||||||||||||||||||
∫ |
|
|
|
∫ |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
||||
|
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 −π |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
= |
1 |
sin |
( |
n −m |
) |
x |
|
− |
sin |
( |
n + m |
) |
x |
|
π |
= 0 , так как sin (n ± m)π = 0. |
|||||||||||||||
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
2 |
|
n −m |
|
|
|
|
|
|
|
|
|
n + m |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−π |
|
|||||||||||||
|
π |
|
|
|
|
|
|
|
1 |
π |
|
|
|
|
|
|
|
|
|
|||||||||||||
5) |
cos nx cos mx dx = |
|
|
|
cos (n −m)x +cos (n + m)x dx = |
|||||||||||||||||||||||||||
∫ |
|
|
|
|
|
∫ ( |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
) |
||||||||||
|
−π |
|
|
|
|
|
|
|
|
|
|
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
= |
1 |
sin |
(n − m)x |
|
+ |
|
sin (n + m)x |
|
|
|
π |
= 0 . |
|||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
2 |
|
n − m |
|
|
|
|
|
|
|
|
|
|
n + m |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−π |
|
||||||||||||
|
π |
|
|
|
|
|
|
|
1 |
|
π |
|
( |
|
|
|
|
|
|
|
|
|||||||||||
6) |
sin nx cos mx dx = |
|
|
sin (n |
− m)x |
+sin (n + m)x dx = 0 |
||||||||||||||||||||||||||
∫ |
|
|
|
|
|
∫ |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|||||
|
−π |
|
|
|
|
|
|
|
|
|
|
2−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в силу нечетности подынтегральной функции системы.
Итак, ортогональность тригонометрических функций доказана.
Вычислим значения интегралов при m=n:
7) |
π |
2 |
nx dx = |
1 |
π |
(1−cos 2nx)dx = |
1 |
|
|
sin 2nx |
|
π |
= |
1 |
(π +π )=π ; |
|||||||||
|
|
|||||||||||||||||||||||
∫sin |
|
|
|
|
∫ |
|
|
x − |
|
2n |
|
|
|
|
|
|||||||||
|
−π |
|
|
|
2−π |
|
|
|
2 |
|
|
|
|
|
−π |
2 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
π |
|
2 |
|
1 |
π |
|
(1 +cos 2nx)dx = |
1 |
|
|
sin 2nx |
|
|
π |
|
1 |
(π +π )=π . |
||||||
|
|
|
|
|
|
|
||||||||||||||||||
8) |
∫ cos |
|
nx dx = |
|
|
∫ |
2 |
x + |
2n |
|
|
|
= |
2 |
||||||||||
|
2 |
|
||||||||||||||||||||||
|
−π |
|
|
|
−π |
|
|
|
|
|
|
|
−π |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
Ряды Фурье |
127 |
Так как все интегралы кроме того, для которого n = k , равны нулю, (см. п. 15.2.), получаем:
an π∫ cos2 nx dx = an π, |
откуда |
an = |
1 |
π∫ f (x)cos nx dx. |
(4) |
||
π |
|||||||
−π |
|
|
|
−π |
|
||
Умножение (1) на sin kx |
и интегрирование в пределах от – π до π |
||||||
дает |
|
|
|
|
|
||
bn = |
1 |
π∫ f (x)sin nx dx. |
|
|
|
(5) |
|
π |
|
|
|
||||
|
|
−π |
|
|
|
|
|
Заметим, что ряды, полученные умножением равномерно сходящегося исходного ряда (1) на ограниченные функции sin kx и cos kx , сходятся равномерно и их также можно почленно интегрировать.
ОЕсли функция f(x) определена на отрезке [−π, π], то числа an , bn , определенные формулами (3), (4) и (5), называются коэффициентами Фурье функции f(x), а тригонометрический ряд (1), коэффициентами которого служат эти числа, – рядом Фурье функции f(x).
ТЕсли функция f(x) разлагается в равномерно сходящийся тригонометрический ряд, то этот ряд является ее рядом Фурье.
15.5. Разложение функций в тригонометрические ряды
Вопрос о возможности разложения функции f(x) в тригонометрический ряд сводится к ответу на вопрос о том, какими свойствами должна обладать функция f(x), чтобы построенный для нее ряд Фурье сходился и его сумма совпала с f(x).
В отличие от степенных рядов, в которые разлагаются только функции, имеющие производные всех порядков, в тригонометрические ряды разлагаются почти любые функции.
ОФункция f(x) называется кусочно-
монотонной на отрезке [a,b], если этот от-
резок с помощью конечного числа точек x1,
x2, …, xn-1 можно разбить на отрезки, внутри каждого из которых функция f(x) непрерывна и монотонна.
Кусочно-монотонная функция f(x) может иметь на [a,b] только конечное число точек разрыва I рода.
128 |
Лекции 15 - 16 |
Если в точке x=c имеет место разрыв, то в силу монотонности
функции f(x) слева от точки с существует предел lim f (x)= f (c −0), а в
x→c−0
силу монотонности справа существует lim f (x) = f (c + 0).
x→c+0
Достаточные условия разложимости функции в ряд Фурье дает следующая теорема, которую мы приведем без доказательства.
ТТеорема Дирихле. Если функция f(x) с периодом 2π ограничена и кусочно-монотонна на отрезке [−π,π], то ряд Фурье, построенный для f(x), сходится во всех точках этого отрезка.
При этом:
1)сумма S(x) этого ряда равна f(x) в точках непрерывности функции f(x);
2)если точка х=с является точкой разрыва f(x), то сумма ряда Фу-
рье S (x)= |
f (c + 0)+ f (c −0) |
. |
|
2 |
|||
|
|
Пример:
Разложите в ряд Фурье периодическую функцию с периодом 2π на [0, 2π),
если f (x) = 1, x [0, π ] |
. |
|
||
|
−1, x (π, 2 |
π] |
|
|
|
|
|
|
|
Решение: |
|
|
|
|
Вычислим коэффициенты Фурье. |
|
|||
Учитывая |
доказанное |
|
в п.15.2 утверждение |
о том, что |
a+2π |
2π |
|
|
|
∫ f (x)dx = ∫ f (x)dx для периодической функции f(x) |
с периодом 2π, |
|||
a |
0 |
|
|
|
интегралы по [0, 2π] можно заменить соответствующими интеграла-
ми по [−π,π |
]: |
|
1 |
π |
f (x) dx = |
|
|
|
|
|
|
|
|
|
|
|||||||||||
an = |
∫ |
0, |
так как подынтегральная функция |
|||||||||||||||||||||||
π |
||||||||||||||||||||||||||
|
|
|
|
|
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
является нечетной; |
an |
= |
1 |
π∫ |
f (x)cos nx dx = 0 |
из нечетности подынте- |
||||||||||||||||||||
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
π |
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
гральной функции f(x)·cos nx; |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
1 |
|
π |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
0 |
|
|
|
|
π |
|
||
bn = |
|
|
∫ |
f (x)sin nx dx = |
|
|
|
|
|
∫ (−1)sin nx dx + ∫sin nx dx = |
||||||||||||||||
π |
|
π |
|
|
||||||||||||||||||||||
|
|
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
−π |
|
|
|
|
0 |
|
||||
|
|
|
|
|
|
|
= |
1 |
cos nx |
|
0 |
−cos |
nx |
|
|
π |
= |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
π |
|
n |
|
|
|
|
|
n |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
−π |
|
|
|
0 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|