Академический Документы
Профессиональный Документы
Культура Документы
Учебно-методическое пособие
САНКТ-ПЕТЕРБУРГ
2005
УДК 512 + 517.2 (075.80)
ББК 22.161.5
Г723
Господариков А.П.
Г723. Ряды Фурье. Интеграл Фурье. Операционное исчисление:
Учебно-методическое пособие / А.П. Господариков, Г.А. Колтон, С.А.
Хачатрян; Санкт-Петербургский государственный горный институт
(технический университет). СПб, 2005. 102 с.
ISBN 5-94211-104-9
УДК 512 + 517.2 (075.80)
ББК 22.161.5
2
Введение
3
Глава 1. Ряды Фурье
§ 1. Векторные пространства
3
⃗a =∑ λ i ⃗e i
i=1 . (1.1)
3 3
(⃗a , ⃗e k )=
(∑
i=1
)
λ i ⃗e i , ⃗e k =∑ λi (⃗e i , ⃗e k )
i=1 .
4
λ k=(⃗a , ⃗e k )/ν k , (1.2)
5
2
где ν k =(⃗e k , ⃗e k )=|⃗e k| .
Если векторы ⃗a и ⃗b заданы своими координатами {λ1 , λ2 , λ 3 } и
{μ1 , μ 2 , μ 3 } , то их скалярное произведение
3 3 3 3
(
(⃗a , ⃗b )= ∑ λi ⃗e i ,
i=1
)
∑ μk ⃗e k =∑ ∑ λ i μ k (⃗e i , ⃗e k )
k =1 i=1 k =1 .
3 3 3
(⃗a , ⃗b )=
(∑ k=1
λk μ k (⃗e k , ⃗e k )=
k =1
)
∑ λ k μk|⃗e k|2 =∑ λk μ k ν k
k =1 . (1.3)
k =1 . (1.4)
b
(f , g )=∫ f (x )g( x )dx
a .
6
Свойства скалярного произведения функций полностью совпадают со
свойствами скалярного произведения векторов:
1. (f , g )=( g , f ) .
2. (f , 0 )=(0 , f )=0 .
n n
3.
( k =1
)
∑ ck f k , g = ∑ ck ( f k , g )
k=1 .
n n
4.
( k=1
)∑
f , ∑ c k gk =
k=1
ck( f , gk )
; f , g , f k , gk ∈ Qab .
b
f , f f 2 x dx
2
f
a .
1. ‖0‖=0 .
7
t b
0≤∫ f (x )dx≤∫ f 2 ( x )dx=‖f ‖2 =0
2
a a ,
∫ f 2( x)dx=0 ∀ t ∈[ a, b]
откуда a . Дифференцируя последнее соотно- шение
2
по t и применяя теорему Барроу, получим f (t )=0 и, сле-довательно,
f (t )=0 ∀ t ∈[a, b ] .
3. теорема косинусов
2 f , g
2 2 2 2
f g f g f g
.
( f g , f g ) ( f , f g ) ( g , f g ) ( f , f ) ( f , g) ( g , f )
2 2
(g, g) f 2( f , g ) g
.
2 2 2
Следствие. Если f g , то f g f g
(теорема Пифагора).
n 2 n
ck f k ck2 f k
2
k 1 k 1 .
2
n n n n n
ck fk ck f k , cm f m ck cm f k , f m
k 1 k 1 m 1 k 1 m 1 .
скалярные произведения
fk fk , fm 0
В силу ортогональности функций
при mk , поэтому
8
9
n 2 n n
ck f k ck2 f k , f k ck2 f k
2
k 1 k 1 k 1 .
2
b b b
g 2 x dx
f x g x dx f 2
x dx
a a a .
2t f , g g
2 2 2
f tg f 0
.
D f , g f
2 2 2
g 0
дискриминант .
Упражнение 1. Доказать свойства скалярного произведения функций 1-
3.
Упражнение 2. Показать справедливость следующих утверждений:
k
f x cos x
h x const L
а) функция ортогональна функциям и
m
g x sin x
L на промежутке L, L при любых целых k и m;
k m
f x cos x g x sin x
б) при любых целых k и m функции L и L
ортогональны на промежутке L, L ;
10
k m k
f x cos x g x cos x f x sin x
в) функции L и L , а также L и
m
g x sin x
L при k m ортогональны на промежутках L, L и 0, L ;
k m
f ( x) cos x g x sin x
г) функции L и L не ортогональны на
промежутке 0, L .
Упражнение 3. Используя свойство нормы 5, доказать неравенство
треугольника
f g f g
.
1. Vk 0 , 2. Vk Vn при k n .
k f ,Vk / k
, (3.1)
2
где k Vk .
k f x
Числа называются коэффициентами Фурье функции
11
Ряд
12
kVk x
k 1 (3.2)
заданная функция f x , ни даже того, что ряд (3.2) вообще сходится. Тем не
менее, частичные суммы ряда (3.2), называемые полиномами Фурье, играют
f x
важную роль в задаче аппроксимации функции линейными
комбинациями функций Vk x .
Термином аппроксимация будем обозначать замену заданной функции
f x
другой, близкой к f x , функцией g x , более простой или более
удобной для исследования. При этом, естественно, возникает вопрос о
величине погрешности, связанной с такой заменой. Погрешность
аппроксимации обычно оценивается с помощью среднего квадратического
отклонения
b
1 2 1
f x g x dx
2
ba a ba
f g
,
2
(b a) 2 f g
.
аппроксимирует функцию f x .
13
Определим, при каком наборе коэффициентов ck линейная комбинация
n
n ( x ) ckVk ( x )
k 1
2 2
n n n
f ckVk 2 f , ckVk ckVk
2 2
n f n f
k 1 k 1 k 1
n n n
f
2
2 ck f , Vk ck2 Vk
2
f
2
k ck2 2ck k
k 1 k 1 k 1 .
n n
k ck k k k2 .
2 2
n f
k 1 k 1
n
k k2
2
0n f
k 1 , (3.3)
при ck k , k 1, 2, , n.
14
Таким образом, именно частичная сумма sn x ряда Фурье является
f x
наилучшей аппроксимацией функции по сравнению с другими
1 x x k x k x
, cos , sin , , cos , sin ,
2 L L L L ортогональна на промежутке L, L , и, во-
1 x k x x k x
, cos , , cos , sin , , sin ,
вторых, системы функций 2 L L и L L
ортогональны на промежутке 0, L .
Указание. Воспользоваться свойствами скалярного произведения
функций.
n
k 2k
2
f
k 1 . (4.1)
k k2
k 1 . (4.2)
15
16
k k2
2
f
k 1 . (4.3)
k 2k 0
2
0 f
k 1 . (4.4)
2
0 lim f sn 0 sn x
Если n , где – частичная сумма ряда Фурье (3.2), то
k k2
2
f .
k 1 (4.5)
f , g k k k ,
k 1 (4.6)
2
где, как и ранее, k Vk .
Соотношение (4.6) называется обобщенным равенством Парсеваля. Это
аналог формулы (1.3) для скалярного произведения векторов.
Так как для функций f g коэффициенты Фурье, очевидно, равны
k k , в силу замкнутости системы из (4.5) следует
k k k ;
2 2
f g
k 1
k k k .
2 2
f g
k 1
18
Вычитая почленно эти равенства и используя тождества
4 f , g ;
2 2
f g f g
k k 2 k k 2 4 k k ,
t t
f x dx k Vk x dx, t a, b
a k 1 a , (4.7)
f x
т.е. интеграл от функции можно получить почленным
интегрированием ее ряда Фурье. Для доказательства достаточно применить
1 при x a, t
g x
0 при x (t , b]
t
f , g f x dx
и учесть, что в этом случае a . Тогда
g ,Vk 1
t
Vk x dx.
k a
k
k
19
§ 5. Тригонометрический ряд Фурье на промежутке [–L, L]
Система функций
k k
V0 x 1/ 2, ,Vk x cos x,Wk x sin x ,
L L (5.1)
a0 k k
a0V0 akVk ( х) bkWk ( х ) ak cos x bk sin x
k 1 2 k 1 L L . (5.2)
f ,V0 2 L 1 1 L
f x dx f x dx ;
a0 2
L L 2 L L
V0
f ,Vk 1 L
f x cos
k
ak 2
L L L
x dx ;
Vk
f ,Wk 1 L
f x sin
k
bk 2
L L L
x dx .
Wk
(5.3)
20
сходится в среднем к этой функции. Равенство Парсеваля (4.5) в принятых
теперь обозначениях примет вид
1 a02 2
( ak bk2 )
2
f
L 2 k 1 . (5.4)
a0 n k k
sn ( х) ak cos x bk sin x
2 k 1 L L
1 1 a02 n 2
( ak bk2 )
2
1 2 f
n f sn 2 L 2 k 1
2L . (5.5)
Функция f x
называется кусочно-монотонной на промежутке a, b ,
если этот промежуток можно разделить на конечное число частей, на каждой
из которых функция монотонна.
21
Если функция кусочно-непрерывна и кусочно-монотонна на
a0 k k
f x ak cos x bk sin x при x L, L
2 k 1 L L , (6.1)
k k
k ( х) ak cos x bk sin x
L L (6.2)
ak bk ak Ak sin k
связанные с коэффициентами Фурье и соотношениями и
bk Ak cos k . k x Ak sin k x k
Тогда гармоника (6.2) запишется в виде , где
22
Ak ak2 bk2 k k / L k
– амплитуда гармоники; – ее частота; – начальная
k ( k 1, 2,)
фаза. Множество частот образует дискретный частотный спектр
a0
f x Ak sin k x k
2 k 1 , (6.3)
1
Ak2 L
2
f
k 0 , (6.4)
23
f x
Теорема Дирихле (другая формулировка). Если функция
удовлетворяет условиям Дирихле на промежутке –L, L, то
тригонометрический ряд Фурье (6.1) сходится всюду к ее периодическому
продолжению.
x ,
Замечание. Если функция f x , заданная для всех , является 2L-
периодической, то ее периодическое продолжение совпадает с самой
f x
функцией, и, следовательно, ряд Фурье (6.1) представляет функцию на
всей числовой оси. В этом случае можно
получить другие, иногда более удобные по сравнению с (5.3), формулы
для коэффициентов Фурье:
c2L
1 k
ak f x cos x dx;
L c
L
c2 L
1 k
bk f x sin x dx (k 0,1, 2,)
L L
c , (6.5)
a T
f x dx
интеграл a не зависит от а. Действительно,
a T a T a
f x dx f x dx f x dx
a 0 0
T a T a
f x dx f x dx f x dx .
0 T 0
f x dx f x dx f y T dy f x dx
a 0 0 0
T a a T
f x dx f y dy f x dx f x dx.
0 0 0 0
f x D( f )
Функция , область определения которой симметрична
относительно начала координат, называется четной (нечетной), если x D( f ) .
нечетны, а cos x и x 2n четны. Легко видеть, что произведение двух четных или
двух нечетных функций – четная функция, а произведение четной и нечетной
функций – нечетная функция.
Предлагаем доказать самостоятельно следующие свойства
определенного интеграла:
26
a a
f x dx 2 f x dx, a D f
a 0 ; (7.1)
f x dx 0
a . (7.2)
f x dx
Указание. Представить интеграл a в виде суммы интегралов:
a 0 a
f x dx f x dx f x dx
a a 0 и в первом из них выполнить замену y x .
f x
Пусть четная функция удовлетворяет условиям Дирихле на
k
f x sin x
промежутке –L, L. Произведение L будет нечетной функцией, и,
поэтому, в силу (7.2)
L
1 k
bk f x sin x dx 0
L L L
.
a0 k
f x ak cos x
2 k 1 L . (7.3)
k
f x cos x
Так как L – четная функция, то вследствие (7.1)
L L
1 k 2 k
f x cos x dx f x cos x dx
L L
ak
L L0 L k 0,1, 2, . (7.4)
27
Подобным же образом получим, что ряд Фурье нечетной функции
содержит только синусы:
k
f x bk sin x,
k 1 L (7.5)
где
L L
1 k 2 k
bk f x sin x dx f x sin x dx
L L L L0 L
. (7.6)
f x
Пусть функция удовлетворяет на промежутке 0, L условиям
Дирихле. Построим четное продолжение данной функции на промежуток –
f x f x x [ L, 0] .
L, 0, полагая для Полученную четную функцию
разложим в тригонометрический ряд Фурье (7.3), содержащий только
косинусы:
a0 k
f x ak cos x
2 k 1 L . (8.1)
L
2 k
ak f x cos x dx
L0 L
. (8.2)
f x
Аналогично, если функцию продолжить на промежуток –L, 0
x L, 0
нечетным образом, полагая f x f x для , и разложить полученную
28
функцию в ряд Фурье на промежутке –L, L, то в этом разложении будут
содержаться только синусы:
k
f x bk sin x,
k 1 L (8.3)
где
L
2 k
bk f x sin x dx
L0 L
. (8.4)
функцию f x , но вне этого промежутка эти ряды ведут себя по-разному. Так
на промежутке –L, 0 ряд (8.1) сходится к четному, а ряд (8.3) к нечетному
продолжению функции f x .
Функции
1 k
V0 , , Vk cos x,
2 L ; (8.5)
k
Wk sin x,
L , (8.6)
29
следовательно, ряды (8.1) и (8.3) являются рядами Фурье на промежутке 0,
L для этой функции.
f x
Замечание. Если функцию , заданную на 0, L, продолжить
произвольным образом на промежуток 0, L, например, просто положив
f x 0 x L, 0
для , то ее разложение в тригонометрический ряд будет
содержать и синусы, и косинусы:
a0 k k
f x ak cos x bk sin x
2 k 1 L L . (8.7)
k k
1/ 2, , cos x,sin x,
L L ,
30
Скалярным произведением функций ( f , g ) Cab назовем комплексное
число
b
f , g f x g x dx
a ,
1. g , f f , g .
2. билинейность
n n n n
ck f k , g ck f k , g f , ck g k ck f , g k
k 1 k 1 , k 1 k 1 .
b b
2
f , f f x f x dx f x dx
2
f
a a .
1. теорема косинусов.
f g
2
f
2 2
g f , g f ,g
или в более общем виде
31
af bg
2
a
2
f
2
b
2 2
g ab f , g ba f , g . (9.1)
32
fk fm , k m ,
2. Обобщенная теорема Пифагора. Если то
n 2 n
ck f k ck
2 2
fk
k 1 k 1 .
b f , g
2
a g
отрицательно. С другой стороны, по формуле (9.1), где и ,
имеем
2 2
f f , g g f ,g f ,g f ,g
2 4 2 2 2
g g f g g
g
2
f , g f , g g
4
f
2
f ,g
2
g
2
g
2
g 2
f
2
f ,g
2
.
Таким образом,
g
2
g 2
f
2
f ,g
2
0, а так как g 0
, то
2
f , g 0
2 2
g f
, что и требовалось доказать.
Пусть теперь система комплексных функций
Vk x , k 0, 1, 2,
(9.2)
[ a , b] . f x Cab
ортогональна на промежутке Сопоставим функции ее
ряд Фурье
33
kVk x ,
k 0 (9.3)
f ,Vk 1
b
k
Vk
2
Vk
2 f x Vk x dx
a .
n
sn x kVk x
Введем обозначения: k 0 – частичная сумма ряда Фурье;
n
n x kVk x
Vk x ,
k 0 – произвольная линейная комбинация функций где
k 0,1, 2, , n .
Тогда, так же, как для вещественных функций (см. § 3), выполняется
неравенство
n
k k ,
2 2 2 2
n f n 0n f sn f
k 0 (9.4)
2
k Vk
где , причем равенство имеет место тогда и только тогда, когда
k k k 0,1, 2, , n
, т.е. среди всех функций n x
функция sn x дает
k k
2 2
f
k 0 , (9.5)
34
lim f sn 0
то ряд (9.3) сходится в среднем к f x , т.е. n ;
б) ортогональная система функций (9.2) называется замкнутой на
промежутке [ a, b] , если равенство Парсеваля выполняется для каждой
функции из Cab .
Введем в рассмотрение систему комплексных функций
k
i x k k
Vk x e L cos x i sin x k 0, 1, 2,
L L . (9.6)
Vk x 1
1. .
L k n L k n L ( k n )
i x i x i x i x i x
Vk ,Vn e L e L dx e L e L dx e L dx
L L L
L
i k n
e e
i k n i k n 2L
k n
sin k n 0
.
2
Vk 2L
4. .
f C[ L, L ]
Ряд Фурье для функции по системе функций (9.6) имеет вид
35
k
i x
ck e L
k , (9.7)
f , Vk 1
L i x
f x e L dx
k
ck
Vk
2
2L L
. (9.8)
1
2 2
ck f
k 2L ,
в) среднеквадратическая погрешность, возникающая при замене
n k
i x
sn x ck e L
n
1
2 2
n f ck
2L k n .
f x
Теорема Дирихле. Если вещественная и мнимая части функции
f x
удовлетворяют на промежутке –L, L условиям Дирихле, то функция
является суммой своего ряда Фурье:
k
i x
f x ck e L , x L, L
k . (9.9)
36
При этом предполагается, что действуют прежние соглашения
относительно значений функции в точках разрыва и на концах промежутка
(см. § 3).
Упражнение 1. Доказать справедливость формулы (9.4). Доказать, что
2 2
k k f
из (9.4) следует неравенство Бесселя k 0 .
Упражнение 2. Доказать справедливость утверждений 1, 2 и 4.
f x
Пусть вещественная функция удовлетворяет условиям Дирихле на
промежутке –L, L. Запишем ее разложение в тригонометрический ряд
Фурье:
a0 k k
f x (ak cos x bk sin x ), x L, L
2 k 1 L L , (10.1)
где
L
1 k
ak f x cos x dx ;
L L L
L
1 k
bk f x sin x dx ( k 0,1, 2,)
L L
L
. (10.2)
k k
cos x sin x
Если в (10.1) выразить L и L через показательную функцию
от мнимого аргумента:
k k k k k k
i x i x i x i x i x i x
k e L e L k e L e L e L e L
cos x ; sin x i ,
L 2 L 2i 2
37
то получим ряд
k k k
i x i x i x
f x c0 ck e L c k e L ck e L
k 1 k 1 k , (10.3)
L
a 1
f x dx
2 2 L L
c0 0
;
L L k
a ibk 1 k k 1 i x
2 L L 2 L L
ck k f x cos x i sin x dx f x e L dx
2 L L
;
L
ak ibk 1 k k
c k f x cos x i sin x dx
2 2L L L L
L ( k )
1 i x
f x e L dx (k 1, 2,)
2L L
=
L k
1 i x
ck f x e L dx (k 0, 1, 2,)
2L L
. (10.4)
38
1 1 1 a ik x
ck e ax eikx dx e
2 2 a ik
e ik 1
k
Поскольку , то
ck
1 sh a
k
i
e a e a e e e e
i
a ik sh a
, 2 2
sh a 1 ikx
k
f x
a ik
e , x ,
, (10.5)
e a e a
f ch a
2 .
2
f
2
ck
k 2 , (10.6)
39
2 2 2 x 1
f eax dx e dx
sh 2
;
2
2 sh a 1 sh 2 sin 2 1
ck
2 i k
2
k
2 2
2
.
1 sh 2
k 2 sh 2 sin 2
2 2
k
.
1 k
1
a ik
sh a ;
cth a
k k a ik .
1 k 1 sh a a
1 a cth a 1
a2 k 2 2
2a sh a
a2 k 2 2a 2
k 1 ; k 1 .
40
Глава 2. Интеграл Фурье
f x
Пусть функция определена на всей числовой оси. Считая, что на
произвольном конечном промежутке –L, L заданная функция удовлетворяет
условиям Дирихле, представим ее тригонометрическим рядом Фурье в
комплексной форме:
f x ck ei x k
k , (11.1)
где
L L
1 k
ck f t eik t dt f t e dt
i t
k
2L L 2 L ; (11.2)
k k / L k k 1 k (k 1) / L k / L / L .
– частота k-й гармоники;
Введя в (11.1) выражения (11.2), получим
L L
1 1
f x
2 k
k eik x f t e ik t dt
2
k f t eik ( xt )dt
L k L . (11.3)
1 i x t
f t e
2
dt
аналогична интегральной сумме для функции по переменной
41
1 1
f x d f t e dt e d f t e dt
i x t ix it
2 2 . (11.4)
, , f x dx
промежутке т.е. интеграл сходится, и, во-вторых,
удовлетворяет условиям Дирихле на каждом конечном промежутке (–L, L).
f x
Тогда интеграл Фурье сходится (в смысле главного значения) всюду к ,
т.е. равенство (11.4) выполняется при всех х из промежутка , . Здесь, по-
прежнему, предполагается, что в точке разрыва значение функции равно
полусумме ее односторонних пределов в этой точке.
1
F f t e dt
i t
2
. (12.1)
42
Если функция f x непрерывна и абсолютно интегрируема на всей оси,
F
то функция непрерывна на промежутке , . Действительно, так как
e i t 1
, то
43
f t e i t dt f t dt
, (12.2)
1
f x F e d
i x
2 . (12.3)
44
1 dA 1
dA F d s F
2 . Функция d 2 называется спектральной
плотностью. Формулу (12.2), записанную в виде
45
1
f x F e d e dA eik x A k
ix ix
2 k ,
f x
можно трактовать, как разложение функции в сумму пакетов
гармоник, частоты которых образуют сплошной спектр, распределенный на
промежутке , .
F G
Равенства Парсеваля. Пусть и – Фурье-образы
f , g F , G ; (12.4)
2 2
f F
, (12.5)
f ,g f x g x dx f x
скалярного произведения имеем . Заменив функцию
F
ее выражением (12.3) через Фурье-образ , получим
1 1
f , g g x dx F eix d F d g x e dx
ix
2 2
.
В силу (12.1)
1 1
g x eix dx g x e dx G
ix
2 2
.
46
f , g F G d F , G
Поэтому , т.е. формула (12.4) доказана.
Формула (12.5) получается из (12.4) при g f .
Косинус- и синус-преобразования Фурье. Если вещественная
f x
функция четна, то ее Фурье-образ, который здесь будем обозначать
Fc
, также является вещественной четной функцией. Действительно,
1 1
Fc f x e dx f x cos x i sin x dx
ix
2 2
1 1
f x cos xdx i f x sin xdx
2 2
.
1 2
Fc f x cos xdx f x cos xdx
2 0 . (12.6)
1
f x Fc eix d
2
1 1
Fc cos xd i Fc sin xd
2 2
= .
47
Так как Fc cos x и Fc sin x
– соответственно четная и нечетная
функции переменной , то
2
f x Fc cos xd
0 . (12.7)
2
Fs f x sin xdx
0 ; (12.8)
2
f x Fc sin xd
0 . (12.9)
1 1 1 2 a
2 a i a i a 2
2
.
a x 1 2 a
e
2 a 2
2
eix d
получим
eix a x
2 2
d e
a
a
или
cos x sin x a x
a 2 2 d i a2 2 d a e
.
cos x 1 cos x a x
2
a 2
d 2
2 a 2
d
2a
e
0 .
50
Пример 2. Вычислить разрывной множитель Дирихле
sin at cos bt
D a, b dt
t a 0.
0 , если
Решение. Применив косинус-преобразование Фурье к четной функции
1 при x a ;
1
f x при x a ;
2
0 при x a ,
получим
a
2 2 2 sin a
Fc f x cos xdx cos xdx
0 0
;
2 2 2 sin a 2
f x Fc cos xd cos xd D a, x
0 0
.
Таким образом,
2 при b a;
D a, b f b при b a;
2 4
0 при b a.
sin a
D a, 0 d
2
0 .
51
x2
e dx
Пример 3. Вычислить интеграл Эйлера-Пуассона 0 .
t 2 / 2
I e dt
Решение. Сначала вычислим интеграл , применив к функции
f x e x x ,
2
/2
, где , преобразование Фурье и введя замену t x i
x2 1 2
x i
2
1 1
F e 2 e ix dx e 2 2 dx
2 2
2 1 2
1 2 t2 1 2
2
e e 2 dt
2
e I
= ;
x2 2
1 1
e 2 F e ix
d I e 2 eix d
2 2
1 x2 x2
ix
2
1 1 2 2
Ie 2 e 2 d I e
2 2
.
2
t
2 dt 1 I
1 t 1
x2
e dx e x dx x
2
e
2 2 2 2 2 2 2
0 .
d
sin 2
2 d
0 a 2
2 2
; 0 .
52
a x b
2
e dx
a
(a 0)
,
F f x
Тот факт, что функция является Фурье-образом функции ,
будем обозначать в дальнейшем одним из следующих способов:
F f , f x F , F f x
.
Свойства преобразования Фурье:
получим
a dt 1 f .
1 1 1 i t
f ax f ax e ix
dx f t e
2 a 2 a a
получим
1 1
f x b f x b e ix dx f t e dt
i t b
2
2
1
eib f t eit dt eib f
2
.
53
Следствие.
f cos a f [ x a f x a ]/ 2
, (13.1)
где a const . Действительно,
eia eia
f cos a f
2
f eia f eia f x a f x a
2 2 .
f g x f t g x t dt f x t g t dt
.
образов, умноженному на 2 : f g 2 f g
.
Так как по определению
1 1
f g f g x e dx
ix
e dx f t g x t dt
ix
2 2
1
f t dt g x t eix dx
2 ,
1
f t dt g s e ds
i s t
f g
2 =
1 1
2 f t e it dt g s e ds
i s
2 2 2 f g
= = ,
54
что и требовалось доказать.
f x
5. Теорема об образе производной. Пусть функция и ее
производная f x
абсолютно интегрируемы на промежутке , . По
формуле Ньютона – Лейбница
x
f x f 0 f t dt
0 .
f x
Так как производная интегрируема на всей оси, интеграл в правой
части последнего равенства имеет конечный предел при x .
f lim f x f 0 f x dx
Следовательно, существует конечный предел x 0 .
f 0 f x
При этом , ибо в противном случае функция была бы
f f x e dx
ix
.
f ' f x eix i f x e ix dx
.
f i f
.
55
f x
Таким образом, операции дифференцирования функции
соответствует операция умножения ее Фурье-образа на множитель i .
f x
Аналогично, если функция имеет абсолютно интегрируемые
производные до n-го порядка включительно, то
f i f i f ;
2
f i f
k k
, k 0,1, 2, , n .
x a
sin a 1
f f t dt
2 x a
, (13.2)
где a const .
Решение. Положим
1 при x a ;
h x
0 при x a .
Тогда
56
a
1 1
h h x eix dx eix dx
2 2 a
1 eia e ia 2 sin a
.
2 i
Таким образом,
sin a
h h x , f f x
2 2 ,
и по теореме о свертке
sin a 1 1
f f h x f x s h s ds
2 2 2
a xa
1 1
f x s ds t x s f t dt
2 a 2 xa
.
u 2u
t x 2 (13.3)
1 ix
e
этого, умножив обе части уравнения на 2 , проинтегрируем его по х от
до . Тогда
57
1 1
u x, t e ix dx u xx x, t e dx
ix
2 t 2
или
u , t
2 u , t
t , (13.5)
1
u , t u x, t e dx
ix
где 2
– Фурье-образ функции u x, t .
Здесь использовалась формула для Фурье-образа производной второго
порядка:
u xx i u 2 u
2
.
u , 0 q
. (13.6)
Решением задачи Коши (13.5), (13.6) является функция
1
u , t q e t 2 q e t
2 2
2 .
58
59
2
x 2 x
1 1 4t t i
h x, t e t eix d
2
d
2t
e e
2 2 . (13.7)
x2 x2
1 4t 1 4t
h x, t e e
2 t 2t .
По теореме о свертке
1 1
u x, t ( q h) x, t h s, t q x s ds
2 2
,
или
2
s
1
u x, t e 4t q x s ds
2 t . (13.8)
2u 2
2 u
a , a const, x , , t [0, )
t 2 x 2 , (13.9)
u x,0
u x,0 x ; x
t . (13.10)
60
Замечание. Задача Коши (13.9),(13.10) является математической
моделью одномерных волновых процессов в сплошных безграничных средах.
Поле возмущений в среде, выведенной из равновесного состояния,
u x, t
описывается функцией , физический смысл которой определяется
спецификой рассматриваемой задачи. В задаче о малых поперечных
u x, t
колебаниях струны – это отклонение струны от ее равновесного
положения, функции (х) и ( x) задают соответственно форму струны и
распределение скоростей ее точек в начальный момент времени. Константа
a T / , где Tи – натяжение и плотность струны в положении равновесия.
d2u du
2
a 22 u 0, u , 0 , , 0 ,
dt dt
где – параметр.
Решение задачи имеет вид
u , t cos at sin at.
a
x at x at 1 x at
u x, t s ds.
2a x at
2
(13.11)
61
Для выяснения физического смысла полученного решения преобразуем
формулу (13.11). Положим
1
x
1
W1,2 x x s ds
2 a0
.
Тогда
u x, t W1 x at W2 x at
. (13.12)
W1 0 u W2 x at W2 c
При возмущение сохраняет постоянное значение
, если переменные x и t связаны зависимостью: x at c const . Иными словами,
u W2 c
возмущенное состояние переносится в положительном направлении
dx
a
оси абсцисс со скоростью dt . Поэтому говорят, что функция W2 x at
определяет бегущую волну, перемещающуюся вправо со скоростью а.
W1 x at
Аналогично, функция задает волну, распространяющуюся влево с
той же скоростью а. Таким образом, выяснен физический смысл постоянной
величины а в уравнении (13.9): а – это скорость распространения
возмущений в среде.
Из формулы (13.12) следует, что возмущение в точке х в момент
62
приложений, это означает, что самые разнообразные физические
зависимости, скажем, давления, тока, напряжения и т.д. от времени можно
представить в виде линейной суперпозиции гармонических колебаний.
f x
2. В представлении формулы в виде ряда или интеграла Фурье
естественно возникает ее спектр, который однозначно определяется по
f x
функции и который, в свою очередь, однозначно определяет саму
функцию f x .
3. Результаты спектрального анализа, т.е. процесса нахождения спектра
той или иной зависимости, используются при исследовании линейных
систем, так как в этом случае достаточно изучить поведение системы при
воздействии на нее гармонических колебаний, а затем просуммировать
результаты этих воздействий с учетом спектра рассматриваемого (уже
произвольного) воздействия.
Упражнение. Доказать, что, если на всей оси функция (х)
дифференцируема, а (х) – дважды дифференцируема, то функция (13.11)
действительно удовлетворяет уравнению (13.9) и начальным условиям
(13.10).
63
Глава 3. Операционное исчисление
f (t ) Me ct
такие постоянные M > 0 и c > 0, что для всех t.
Число с называется показателем роста f (t ) . очевидно, что для
1 при t 0;
H (t )
0 при t 0.
64
Интеграл Лапласа. Интегралом Лапласа для оригинала f(t) называется
несобственный интеграл вида
f (t )e pt dt
0 , (14.1)
Me
( c )t
dt M /( c )
(14.1) мажорируется сходящимся интегралом 0 , и,
следовательно, сходится абсолютно в Пс.
Замечание. При доказательстве теоремы получено используемое в
дальнейшем неравенство:
M
f (t )e pt dt .
Re p c
0 (14.2)
f ( p) f (t )e pt dt
0 (14.3)
65
Соотношение (14.3), устанавливающее связь между оригиналом и его
Лаплас-образом, называется преобразованием Лапласа.
Свойства преобразования Лапласа следующие:
1. Теорема линейности. При любых постоянных a и b
af (t ) bg (t ) af ( p) bg ( p) .
1 p
f (at ) f
a a .
p
1 1 p
f (at ) f (at )e pt dt f ( )e a d f
a a a
0 0 .
e at f (t ) eat f (t )e pt dt f (t )e ( p a )t dt f ( p a )
0 0 .
p
5. теорема запаздывания. Для любого 0 e f ( p) H (t ) f (t ) .
66
H (t ) f (t ) H (t ) f (t )e pt dt f (t )e pt dt
0 .
H (t ) f (t ) f ( s )e p ( s ) ds e p f ( s )e ps ds e p f ( p )
0 0 .
1
f (t )e
i t
f (t )e pt dt f (t )e t e it dt (t )e
i t
f ( p) dt dt ,
2
где t 2 f t et ; σ c ; c
– показатель роста f (t ) .
Интеграл в правой части последней формулы есть интеграл Фурье для
t f (t )
. Таким образом, Лаплас-образ функции является Фурье-образом
1
2 f t e t f i e i t d
2
.
Отсюда
i
1 i t 1
f t f i e f p e pt dp, c.
2i i
d
2
(14.4)
67
Если в точке t функция f (t ) терпит разрыв, то значение интеграла в
(14.4) равно полусумме односторонних пределов f (t ) в этой точке.
Формула (14.4) определяет обратное преобразование Лапласа, с
помощью которого оригинал однозначно восстанавливается по своему
изображению с точностью до значений в точках разрыва.
1 pt 1
H (t )e pt dt e
pt
H (t ) dt e ( lim e pt 1) .
0 0
p 0 p t
Re p 0 lim e pt 0
Так как при t , то
1
H (t )
p.
1
H (t ) e p .
p
1
eat e at H (t ) H ( p a ) .
pa
68
ebt e bt 1 1 1 p
ch bt 2
2 2 p b p b p b2 ;
ebt e bt 1 1 1 b
sh bt 2
2 2 p b p b p b2 ;
eibt e ibt 1 1 1 b
sin bt 2 2
2i 2i p ib p ib p b ;
eibt e ibt 1 1 1 p
cos bt 2 2
2 2 p ib p ib p b .
e pt n n
t e t
n pt n 1 pt
f n ( p) dt t e dt
p 0
p
0 0 .
Re p 0 lim t n 1e pt 0
При t , поэтому
n n
fn p t
n 1 pt
e dt f n 1 ( p).
p 0
p
Отсюда
n n n 1 n n 1 n 2 1
fn p f n 1 p 2
fn2 p f0 p
p p pn .
f 0 p H p 1/ p
Так как , то
69
n!
t n fn p .
p n 1
f t e
pt
dt
f p 0
.
1 e pT (15.1)
k 1 T
f ( p) f t e pt dt f t e pt dt
0 k 0 kT .
T
f p f s kT e p s kT ds
k 0 0
T T
e kpT f s e ps ds f s e ps ds e kpT
k 0 0 0 k 0
.
Re p 0 q e pT 1 1/(1 e pT ) ,
, то ряд сходится, и его сумма равна откуда и
следует доказываемое утверждение.
f t t ( t [0;1]
Пример. Найти Лаплас-образ оригинала с периодом Т =
1).
70
Решение. Имеем
e p 1 e p
T 1
f t e pt dt te pt dt .
0 0 p p2
1 1 e p
f p
p 2 p 1 e p .
g t ak H t tk
k , k 1, 2, ,
где a0 A0 , ak Ak Ak 1
Тогда
1
g p ak e ptk .
p k
71
где t – функция, определенная для всех t 0.
q t H t a (t ) H t b (t )
.
c t t c c [a, b) . q t H t a
Введем функции , где Тогда
a (t a) H t b b t b
, и по теореме запаздывания
q p a p e ap b p e bp
.
a 1, b 2 ;
a t t 1 t 2 2t 1; b t t 2 t 2 4t 4
2 2
;
2 2 1 2 4 4
a p 3
2 ; b p 3 2
p p p p p p,
то
1 2 2 p 2 4 2 p
q p 2 1 e 2 4 e
p p p p p .
72
Дельта-функция Дирака. Рассмотрим семейство ступенчатых
импульсных функций
1
при t [0, h] 1
(t , h) h [ H (t ) H (t h)]
0 при t [0, h] h
(15.2)
1 e ph
p, h
ph . (15.3)
0 при t 0;
lim t , h
h 0
при t 0.
1 e ph
t p lim p, h lim 1
h 0 h 0 ph .
b b b b
t dt lim t , h dt
h 0 (t ) f t dt lim t , h f t dt
h 0
a a ; a a .
73
Можно доказать (и это следует сделать самостоятельно)
справедливость следующих утверждений:
b
0 при 0 [ a, b];
t dt 1 при
0 [a, b];
a (15.4)
b
0 при 0 [ a, b];
t f t dt f (0) при
0 [ a, b];
a (15.5)
b b
0 при [a, b]; 0 при [a, b];
a t dt 1 при [a, b]; t f t dt f (0) при
[a, b].
a (15.6)
t t e
pt
dt e p ,
0
t
0 при t 0
t dt 1 при t 0 H (t )
0 .
74
§ 16. Основные теоремы операционного исчисления
f t g t
Свертка оригиналов. Сверткой оригиналов и называется
функция
f g t f s g t s ds
0 .
f t
Найдем для примера свертку произвольного оригинала и
H t
f H t f s H t s ds H t s 1
единичной функции Имеем 0 . Так как при
s 0, t
то
f H t f s ds
0 . (16.1)
коммутативна, т.е. g f t f g t
, следует самостоятельно.
Теорема 1. Если f p f t и g p g t , то
f p g p f g t
.
75
f g t f g t e
pt
dt
0
t pt
0 0 f s g t s ds e dt D f s g t s e dsdt
pt
,
0 t ;
0 s t .
f g t f s ds g t s e pt dt
0 s .
Введем вместо t новую переменную u t s . Тогда
f g t f s ds g u e
p s u
du
0 0
f s e ps ds g u e pu du f p g p
0 0 ,
p 1
f ( р)
p 1 p 1 .
2 2
76
Так как
p 1
g t cos t , 2 h t sin t
p2 1 p 1 ,
то по теореме 1 имеем
t
f p g h t cos( s )sin t s ds
0
t
1 1
sin t sin t 2 s ds t sin t
20 2 .
где а и b – постоянные.
t
1
f s ds f H t f p H p f p p
0 .
Теорема 3. Если f t и f t
– оригиналы и f t f p , то
f t p f p f 0
. (16.2)
77
В самом деле, исходя из формулы Ньютона – Лейбница, в силу (16.1)
будем иметь
t
f t f 0 f s ds f 0 H t f H t
0 .
Тогда по теореме 1
1
f p f 0 H p f p H p f 0 f p
p
.
f p p f p f 0
Отсюда , что и требовалось доказать.
Применив формулу (16.2) дважды, получим
f t p f p f 0 p p f p f 0 f 0
p 2 f p pf 0 f 0
f 0 0 f t p f p
и т.д. В частности, если , то , т.е. в этом случае
дифференцирование оригинала сводится к умножению его изображения на p.
Дифференцирование и интегрирование изображений. Без
доказательства примем следующие свойства преобразования Лапласа:
f t
1. Если – оригинал с показателем роста c , то его изображение
f ( p ) имеет в области c : Re p c производные любых порядков.
78
df
p t f t
Теорема 4. Если f ( p) « f ( t ) , то dp , т.е.
дифференцирование изображения сводится к умножению оригинала на (−t )
. Действительно, дифференцируя (14.3) по параметру p, получим
df d
p f t e pt dt t f t e
pt
dt
dp dp 0 0 .
df
t f t p
dp ,
dn f
t f t p
n
dp n .
f t
f t и
Теорема 5. Если t – оригиналы и f p f t , то
f t
f q dq t
p
,
f q f t e
qt
dt
делению оригинала на t . Так как в силу (14.3) имеем 0 , то
79
f q dq dq f t e qt dt f t dt e qt dq
p p 0 0 p
lim e e qt pt
f t dt
q
t
0
.
Re q 0 lim e qt 0
Поскольку при t 0 и q
, то
f t f t
f q dq e pt dt
t t
p 0
.
Рассмотрим функции
p b
cos bt ; sin bt 2
p2 b2 p b2 .
По теореме 4 имеем
d p p 2 b2
t cos bt 2 2
;
dp p b p 2 b 2 2
d b 2 pb
t sin bt 2 2
dp p b p 2 b 2 2
.
1 1
ebt e at
Так как p b p a , то по теореме 5
ebt eat 1 1 pa
dq ln
t 0
q b q a pb .
80
Точно так же получим
sin t 1
2 dq arctg p arcctg p
t q 1 2
р
.
t
sin t arcctg p
si t dt
0 t p .
f t dt
0 , (16.3)
то
f t dt lim f p
p 0
0 . (16.4)
f t
dt f p dp
0
t 0 .
81
f t
f p dp
t
Так как p
, то в силу (14.4)
f t
dt lim f p dp f p dp
t p 0
0 p 0
.
sin t 1
t
dt
1 p 2
dp
2
0 0 .
f t , f t f 0 lim p f p
Следствие 3. Если – оригиналы, то p
.
Действительно, по теореме 3
f p p f p f 0
. (16.5)
lim f p 0
С другой стороны, p
(см. § 14). Переходя к пределу в (16.5)
при p, получим требуемый результат.
f t и f t
Следствие 4. Если – оригиналы и существует конечный
lim f t f
предел t , то
f lim p f ( p)
p0
. (16.6)
Исходим из равенства
f f 0 f t dt
0 . (16.7)
82
f t dt lim f p lim p f p f 0
p 0 p 0
0 . (16.8)
pk ( k 1, 2, ) f p
функции. Введем как полюсы функции , т.е. корни (нули) ее
R ' pk 0 k 1, 2 , получим формулу Хевисайда:
знаменателя. Тогда, если
Q pk pk t
f p f t e
R pk
k
. (17.1)
Q p R p
Доказательство проведем для случая, когда и – многочлены
f p
степеней т и п соответственно, при этом т п. Тогда – правильная
Ak
f p
k p pk . (17.2)
83
n
f t Ak e pk t .
Отсюда k 1 Коэффициенты A k найдем из тождества (17.2),
переписав его в виде
Q p Ak
q p
R p p pk
,
где
Ai
q p
ik p pi .
Q p R p R pk Q pk
Ak lim p pk plim Q p :
p pk R p p p pk R pk
,
k
Q pk pk t Q pk pk t
f t e 2 Re e
R pk R pk
, (17.3)
84
где первая сумма распространена на все вещественные корни
мнимым корням sk 0
– незатухающие гармонические колебания.
R p
Если знаменатель не имеет корней с положительными
Q i k
f t A0 2 Re e ik t
R ' i k
k 0
, (17.4)
где
pQ p Q 0
A0 lim
p 0 R p R ' 0
;
pk i k R p
– чисто мнимые корни многочлена с положительными
мнимыми частями.
Колебания, соответствующие корням с отрицательными
вещественными частями, экспоненциально затухают при t →+ ∞ и поэтому
не входят в установившийся режим.
Пример 1. Найти оригинал изображения
85
1
f p
p p4 4
.
Q p 1; R p p p 4 1 ; R ' p 5 p 4 1
Решение. Имеем . Выпишем корни
f p
1 1
1
Re e e 1 ch t cos t
4 8
1 i t 1 i t
4 .
ch ap
f p
p ch bp ,
где а 0; b 0.
R p p ch ap p 0,
Решение. Здесь функция , помимо очевидного корня
имеет бесконечно много корней, являющихся нулями функции ch p . Решая
уравнение ch p 0 , получим ebp e bp 0 , откуда
2k 1
2bp i ( k 0, 1, 2,)
e 2 bp
1 2 .
86
R p p0
Таким образом, корни знаменателя имеют вид и
2k 1
p pk i
2b , где k 0, 1, 2,
Далее запишем
R 0 p ch bp 0 ch 0 1
;
R pk p ch bp pk bpk sh bpk
2k 1 2k 1 k 1 2 k 1
i sh i 1
2 2 2 ;
2k 1 (2k 1) a
Q pk ch apk ch a i cos ; Q 0 1.
2b 2b
k +1
4 ∞ (−1 ) (2 k +1)aπ (2 k +1 )
f (t )=1+ ∑ cos cos t.
π k=0 2 k +1 2b 2b
a nk x f t
k
k 0 (18.1)
x
k
0 k , k 0, 1, n 1
. (18.2)
87
Переходя в (18.1) к изображениям, в силу линейности преобразования
Лапласа будем иметь
a nk x
k
p f p
k 0 . (18.3)
k 1
x k p p k x p p i k 1i
i o . (18.4)
A p x p f p B p
, (18.5)
n
A p an k p k
где k 0 (характеристический многочлен); B( p)
n
k 1
an k p i k 1i
k 0 i 0 .
f p B p
x p
A p
. (18.6)
f p B p
x t .
A p
88
x x et , x 0 1 и x 0 1
Для задачи Коши в принятых обозначениях
можно записать
1
f t et f p
p 1 ;
x t x p , x t px p 1, x t p 2 x p p 1
;
A p p 2 1, B p p 1
.
1
p 2
1 x p
p 1
p 1
.
1 1 1 1
x p
p 1 p 1 p 1 p 1 p 1 p 1
2 2
1 1 5 1 1 1
4 p 1 4 p 1 2 p 1 2
.
1 1 1
et , et , t et
p 1 p 1 p 1
2
.
89
1 5 1
x t et e t te t
4 4 2 .
1
p 2 p 2 1 x p
p.
1
x p
p 3
p 2 1
.
t
1 1 1
sh t ; sh tdt ch t 1;
p 1
2
p p2 1 0
t
1 1
ch t 1 dt sh t t ;
p2 p2 1 o
t
1 1 t2
0 (sh t t ) dt ch t 1 x t
p3 p 2 1 2 .
x a 2 x t , h
с нулевыми начальными условиями, где t , h A H t H t h –
ступенчатая импульсная функция.
Решение. Запишем операторное уравнение
90
1 e hp
p2 a2 x p A
h
и его решение
1 e hp
x p A
p p2 a2
.
Из теоремы 2 § 16 следует
t
1 1 1 2 at
sin at dt 2 1 cos at 2 sin 2
p p a
2 2
a0 a a 2
;
e hp 2 a (t h )
2 H t h sin 2
p p a
2 2
a 2
.
Окончательно,
2 A 2 at a t h
x t 2
sin H t h sin 2
a 2 2
.
91
mx F Q t S t
,
где F cx – упругая сила; t – функция Дирака. Решим операторное
уравнение
p e p
x p a b
( p 2 2 )( p 2 2 ) p 2 2 ,
p
p 2
2
p 2
2
1 p p 1
2
2 2
2 (cos t cos t )
p
2 2 2
p 2 .
p 1
t sin t
p 2
2 2
2
.
По теореме запаздывания
e p 1
H t sin t
p
2 2
.
Окончательно,
1
b 2 2 cos t cos t при ,
x t H t sin t a
1 t sin t при .
2
92
Интеграл (формула) Дюамеля. Рассмотрим задачу Коши для
1
x p f p
A p
.
t
x t w g t w t s f s ds
0 . (18.7)
x t y t q t ,
(18.8)
n 1
k k
q t t ; k x 0
k
93
Пример 4. С помощью интеграла Дюамеля найти решение задачи
Коши
et
x 2 x x t
t 1
с начальными условиями x 0 2; x 0 1 .
Решение. Начальные данные ненулевые. Полагаем, в соответствии с
A p p 2 2 p 1 p 1
, весовая функция w t te . По формуле Дюамеля
2 t
t
es
y t w f1 t t s et s ds
0
s 1
t
ts
= et ds et t 1 ln t 1 t
0
s 1 .
Окончательно,
x t 2 t et t 1 ln t 1 t
.
X AX F t , X 0 X 0
, (18.9)
94
X t x1 t , x2 t , , xn t
T
F t f1 t , f 2 t , , f n t A ai j
T
p X p X 0 AX p F p
, (18.10)
T T
X p x1 p , , xn p ; F p f1 p , , f n p
где – Лаплас-образы
векторов искомых функций и правых частей соответственно.
Из (18.10) находим операторное решение
X p B p F p BX 0
, (18.11)
B p pE A
1
где ; Е – единичная матрица.
X t
Оригинал операторного решения (18.11) является решением
исходной задачи Коши (18.9).
W t wi j t
Обозначим n n весовую матрицу, т.е. матрицу-оригинал для
B p bi j p wi j t bi j p .
n n , где Тогда из (18.11) в соответствии с теоремой
1 § 16 будем иметь
t
X t W F t W t X 0 W t s F s ds W t X 0
0 . (18.12)
t
X t W F t W t s F s ds
0 . (18.13)
95
Соотношение (18.13) представляет собой матричный аналог интеграла
Дюамеля.
Пример 5. Найти решение задачи Коши
x x y e ;
t
y x y e
t
с начальными условиями x 0 y 0 1 .
Решение. Запишем систему и начальные условия в матричной форме:
X ' AX F t ; X 0 X 0
,
1 1
X x, y , F t et , e t , A , X 1,1
T T 0 T
1
1 p 1
B p pE A
1
1 1 p
1 1 p 1 1 1 e 2t 1 e 2t
W t
p p 2 1 1 p 2 1 e 2t 1 e 2t
;
t
2 t s
1 1 e 1 e 2 t s e s
W F t s ds
2 1 e e
2 t s 2 t s
1 e
0
t
1 1
e s ds et 1 ;
1 1
0
96
Окончательно, по формуле (18.12) получим
1
X t et
1
или
x t et ;
y t e .
t
x ' 2 x y z;
y ' x z;
z ' 3x y 2 z
с начальными условиями x 0 y 0 1, z 0 0 .
Решение. Перейдем в данной системе к изображениям. С учетом
начальных условий будем иметь
97
p 2 x p y p z p 1;
x p p y p z p 1;
3x p y p p 2 z p 0.
p2 2
x p y p ; z p
p p 1 p p 1
.
Тогда
x t y t 2 e t ; z t 2 e t 1
.
§ 19. Приложения
u t Ri t
,
98
где R – сопротивление двухполюсника.
Для индуктивности справедливо соотношение
d
u t L i t
dt ,
1
t
u t i t dt q0
C0 ,
1
U RI , U LpI , U I
Cp .
U Z p I
,
Z p
где операторное сопротивление (импеданс) в случае активного
сопротивления, индуктивности и емкости принято в виде соответственно
99
Z R R, Z L Lp и ZC 1/(Cp) . Z p G p
Величину, обратную , называют
операторной проводимостью (адмитансом) двухполюсника.
При последовательном соединении двух двухполюсников с
U Z1 Z 2 I Z Z1 Z 2 .
откуда , и следовательно, импеданс цепи Аналогично,
I I1 I 2 , I1 G1U , I 2 G2U , I G1 G2 U
получим откуда , и следовательно,
адмитанс цепи G G1 G2 .
R1 , Z R Lp 1 / Cp 1/ R1
шунтированной сопротивлением то ее импеданс .
100
i t i t A0 2 Re Ak e pk t
k ,
101
Ak lim p pk G p E p ; A0 lim pG p E p
где p pk p 0
; pk j ω k – чисто мнимые
E p j
полюсы функции с положительными мнимыми частями; – мнимая
c0 cn
E p
p ωn 0 p j ω n
;
Ak lim p j ωk G p E p ck G j ωk
p j ωk
; A0 c0G 0 ,
следовательно,
i t c0G 0 2 Re ck G j ωk e j ωk t , ωk 0
k .
Положим
ak jβk
e , G j ω f ω e
jγ ω
ck
2 ,
ak ωk 0 ,
где – амплитуда гармоники с частотой k – ее начальная фаза;
f ω G j ω
; ω arg G j ω
. Тогда
102
f ω γ ω
Функции и называются амплитудно-частотной (АЧХ) и
фазочастотной характеристиками (ФЧХ) системы.
частоты с амплитудой b ω af ω
и с фазой, сдвинутой относительно фазы
jC ω
f ω G j ω
1 LC ω2 jRC ω
Cω 1
1 LC ω
2 2 2
R 2 C 2 ω2 1
L ω R2
Cω ;
1 LC ω2
γ ω arg G j ω arctg
RC ω . (19.2)
103
Из формулы (19.2) следует, что АЧХ достигает наибольшего значения,
1
Lω 0
если Cω .
Таким образом, колебательный контур резонирует на частоту
i
u x, t u x x, t Lx Rx
t ;
u
i x, t i x x, t C x G x u
t . (19.3)
u i
L Ri 0
x t ;
i u
C Gu 0
x t . (19.4)
104
i x, 0 u x, 0 0
. (19.5)
u 0, l e t , u 0, t 0
, (19.6)
U I
Lp R I 0, Cp G U 0
x x , (19.7)
U U x, p I I x, p
где и – изображения напряжения и тока
соответственно. Краевые условия (19.6) перейдут в
U 0, p E p , U l , p 0
, (19.8)
где E p e t .
Применяя снова преобразование Лапласа, на этот раз по переменной х,
вместо (19.7) запишем алгебраическую систему
qU Lp R I E p
; Cp G U qI I p , (19.9)
0
U U q, p U x, p I I q , p I x, p I 0 p I 0, p q
где ; ; ; – параметр
преобразования Лапласа по переменной х.
105
В дальнейшем, чтобы избежать громоздких выкладок, ограничимся
исследованием установившегося режима в линии без искажений, т.е. линии,
параметры которой удовлетворяют условию R/ L G /C .
qE p L p I 0 p qI 0 p C p E p
U ; I
q2 ν2 p q2 ν2 p
2 2
,
где ν LC .
Возвратимся к оригиналам:
L 0
U x, p E p ch ν p x I p sh ν p x
ν ;
C
I x, p I 0 p ch ν p x E p sh ν p x
ν . (19.10)
ν
I 0 p E p cth ν p l
L . (19.11)
sh ν p l x
U x, p E p
sh ν p l
;
ν ch ν p l x
I x, p E p
L sh ν p l
. (19.12)
u x, t
При отыскании функций и i x, t будем использовать теорему
разложения Хевисайда, для чего необходимо найти полюсы изображений
(19.12). Нули гиперболического синуса определяются из уравнения
106
sh z (e z e z ) / 2 0 e2 z 1 z k j , k 0, 1, 2,
, откуда и Следовательно, нули
k
sh ν p l pk j
функции – это числа νl , расположенные в левой
u x, t A0 2 Re An e j ωn t ;
n
A0 lim pU x, p ; An lim p j ωn U x, p ;
p 0 p j ωn
i x, t B0 2 Re Bn e j ωn t ;
n
B0 lim pI x, p ; Bn lim p j ωn I x , p ,
p 0 p j ωn
j ωn E p
где – чисто мнимые полюсы функции с положительными
мнимыми частями.
e t E0 const E p E0 / p
В частности, если , то , и следовательно, в
установившемся режиме
sh ν l x
u x, t A0 lim pU x, p E0
p 0 sh νl
;
ν ch ν l x
i x, t B0 E0
L sh νl
.
107
Примеры для самостоятельного решения
0, x 0; 0, x 0, a x ;
f x f x
1. 1, 0 x . 2. 1, 0 x a 0 a .
f x 5 x 2, x f x cos 2 x, x
3. . 4. .
2 x, x 0; x 2 x, x 0;
f x f x 2
5. x, 0 x .
6. x x, 0 x .
x
x , x ;
4 2 , x 0; 2 2
f x f x
x , 0 x . , x , x .
7. 4 2 8. 2 2 2
2 2
3 , x 3 , 3
x ;
2 2
f x 0, x , x ;
3 3 3 3
3, x .
9. 3 3
2
3 , x 3 , 0 x
3
;
2 2
f x 0, x , x ;
3 3 3 3
2
3 , x 0,
3 3
x .
10.
0, x / 2, / 2 x ; x, x 0;
f x f x
x, / 2 x / 2. 0, 0 x .
11. 12.
2 2 x
0, x , x ; , x 0;
3 3
f x f x 2 2
3
1 x , 2
x .
2 x , 0 x .
13. 2 3 3 14. 2 2
3 2 x
f x 1 x , x . f x , x .
15. 2 16. 2
, x 0; x, x 0;
f x f x
17. 2 x, 0 x . 18. x, 0 x .
108
1, x 0; / 2, x 0;
f x f x
19. x, 0 x . 20. x, 0 x .
2 x, x 0;
f x
21. 3 x, 0 x .
1, / 2 x / 2;
f x
22. 1/ 2, x / 2, / 2 x .
/ 4, x / 4, / 4 x ;
f x
0, / 4 x / 4.
23.
1, x 0;
f x
24. 2, 0 x .
cos 2 x, 0 x ; 1/ 4, x 0;
f x f x
25. cos 2 x, x 0. 26. (x 1) / 4, 0 x .
0, x 0; 0, x 0;
f x f x
27. x / 4, 0 x . 28. x, 0 x .
x, x / 2;
/ 2, / 2 x 0; / 2, / 2 x / 2;
f x
/ 2, 0 x / 2; f x x, / 2 x ;
x, / 2 x . x, x / 2.
29. 30.
1 x
2 1 , x 0;
f x
1 1 x , 0 x .
2
31.
0, 5 x 0; 0, 3 x 0;
f x f x
1. 2, 0 x 5. 2. x, 0 x 3.
f x 3 x, 2 x 2. f x x, 10 x 10.
5. 6.
f x x , 1 x 1. f x e5 x , 2 x 2.
7. 8.
109
0, 2 x 1, 1 x 2;
f x
x, 1 x 1.
9.
0,3, 0,5 x 0,5;
f x
10. 0,3, 1 x 0,5, 0,5 x 1.
x, 1 x 1;
f x
12. 1, 1,5 x 1, 1 x 1,5.
1, 2 x 0; 1 x, 1/ 2 x 0;
f x f x
23. 3, 0 x 2. 24. x, 0 x 1/ 2.
f x 1 x , 1 x 1. f x x cos x, / 2 x / 2.
25. 26.
x 1, 2 x 1; 1, 2 x 1;
0, 1 x 0; x, 1 x 0;
f x f x
x, 0 x 1; 0,0 x 1;
27. 1, 1 x 2.
28. x 1,1 x 2.
2 x, 2 x 1;
1, 1 x 0;
f x
1, 0 x 1; sin x, / 2 x 0;
sin x, 0 x / 2.
29 2 x, 1 x 2. 30. f ( x ) =
110
Указание. Для решения примера 15 воспользоваться формулами 6
c
1
e
ax
cos bxdx b sin bc e ac e ac a cos bc e ac e ac ;
c
a b2
2
c
1
e
ax
sin bxdx a sin bc e ac e ac b cos bc e ac e ac .
c
a 2 b2
2 x 1, x 2; 1 x, x 3;
f x f x
0, x 2. 0, x 3.
1. 2.
2 x 1, x 1; x 2 , x 1;
f x f x
0, x 1. 0, x 1.
3. 4.
1 x 2 , x 2; x , x 1;
f x f x
0, x 2. 0, x 1.
5. 6.
1 x , x 1; a, x b;
f x f x
0, x 1. 0, x b.
7. 8.
sin x, x a; sin x, x ;
f x f x
0, x a. 0, x .
9. 10.
x
sin , x 2 ;
cos x, x / 2; f x 2
f x
0, x / 2. 0, x 2 .
11. 12.
x
f x e
x
f x e
x
cos x f x e 2
13. . 14. . 15. .
1 x
f x e
x
sin x f x f x
16. . 17. 4 x2 . 18. 4 x2 .
c
sin c
ax b cos xdx 2b
c ;
111
112
c
2a sin c
ax b sin xdx
c cos c
c ;
cos ax abc
0 b2 c 2 x2 2bc e
dx
a 0 ;
ab
x sin ax
0 b 2 c 2 x 2 dx 2c2 e c a 0 ;
e ax
e sin bxdx
ax
a sin bx b cos bx C
a 2 b2 ;
e ax
e cos bxdx
ax
a cos bx b sin bx C
a 2 b2 .
Fc
Задание 4. Найти косинус-преобразование Фурье следующих
функций:
x 1, x 1;
f x f x
1
0, x 1. 4 x2 f x e 2 x
1. 2. . 3. .
f x e x sin x f x e x cos x
4. . 5. .
Fs
Задание 5. Найти синус-преобразование Фурье следующих
функций:
x 1, x 1; x 1, x 1;
f x f x
0, x 1. 0, x 1.
1. 2.
3x 2, x 1;
f x f x
x
0, x 1. 9 x2
3. 4. .
f x e 2 x f x e x sin x f x e x cos x
5. . 6. . 7. .
113
Ответы
Задание 1
1 2 sin 2k 1 x a 2 1 ak a
sin cos kx
1. 2 k 0 2k 1 . 2. 2 k 1 k 2 2 .
sin kx
2sin 2 1
1
k 1 2 cos kx
2 10 1
k 1
k 2 2 k 1 k 2 2
3. k 1 . 4. .
2 cos 2k 1 x k 1
8 sin 2k 1 x
3 1
sin kx
k 1 2k 1 3
5. 4 k 0 2k 1 k 1 k . 6. .
2 cos 2k 1 x
k 0 2k 1 2
7. .
3 1 1
2cos 2k 1 x cos 2 2k 1 x
8 k 1 2k 1 2
8. .
2 3 cos 6k 5 x cos 6k 1 x
6k 5 6 k 1
3 k 1
9. .
sin 2 3k 2 x sin 2 3k 1 x
3k 2
3k 1
10. k 1 .
2 k 1 sin 2 k 1 x
k 1 sin 2 kx
1 1
k 1 2k 1
2
2k
11. k 1
.
2 cos 2k 1 x k 1 sin kx
1
4 k 1 2k 1 2
k
12. .
2 1 sin k 3
2
cos kx sin kx
3 2 k 1 k 3
k
13. . 14. k 1 .
1 sin kx
k 1
6 k 1 cos kx
2
1
15. k 1 k2 . 16. 2 k 1 k .
4 cos 2k 1 x
2
sin 2kx
k 2 k 1 2k 1 2
17. k 1 . 18. .
1 2 sin 2k 1 x sin 2kx 2 cos 2k 1 x
4 2 k 1 2k 1 2k 2k 1 2
19. .
114
2 cos 2k 1 x sin 2kx
2 k 1 2k 1 2 2k
20. .
5 10 cos 2k 1 x k sin kx
1
4 k 1 2k 1 2
k
21. .
3 1
k 1
cos 2k 1 x
1
22. 4 k 1 2k 1 .
3 1 k 1 cos 4k 3 x cos 4k 1 x cos 2 2k 1 x
1 2
16 4 k 1 4k 3 4k 1 2k 1
23. .
3 2 sin 2k 1 x 4 2k 1
2 k 1 2k 1
k 1 2k 1 2k 3
sin 2k 1 x
24. . 25. .
2 cos 2k 1 x 1 sin 2k 1 x sin 2kx
16 k 1 2 2k 1 2 4 2k 1 8 k
26. .
2 1 cos 2k 1 x k sin kx
1
16 2 k 1 2k 1 2
2 k
27. .
2 cos 2k 1 x k sin kx
1
4 k 1 2k 1 2 k
28. .
1 2 sin 2kx
2k 1 1 1 sin 2k 1 x
k 1
k 1 2k 1 2k
29. .
3 1 1
8 k 1 2k 1 2
2cos 2k 1 x cos 2 2k 1 x
30. .
1 sin kx
k 1 k
31. .
Задание 2
4 1 x
1. 1
k 1 2k 1
sin 2k 1
5 .
2k 1 x 3 1 sin k x
k
3 6 1
2 cos
4 k 1 2k 1 2 3 k 1 k 3
2. .
3 1 sin k x 2 cos 2k 1 x
4 k 1 k 2k 1 2
3. .
115
15 6
2 2k 1 x 1 sin k x
cos
2 k 1 2k 1 2
2 k 2
4. .
4 1 k x
k
20 1
k 1
k x 1 4 cos 2k 1 x
3
k 1 k
sin
2
k 1 k
sin
10 2 2 k 1 2k 1 2
5. . 6. . 7. .
1 1
k
8. k 1
1 1 k x
k
k x k
2sh10 2 2 2
5cos sin
20 k 1 100 k 2 2 2
.
sin k x 4 2k 1 x
1
k 1
sin
k 2k 1
2 2
k 1 2
9. .
6 k 1 cos 2 k 1 x 6 sin 2 2k 1 x
5 k 1
1
2k 1
2k 1
5 k 1
10. . 11. .
2 9 1 2 3k 2 x 1 2 3k 1 x
2 cos cos
3 2 3k 2 3k 1
2 2
k 1 3 3
12. .
120 1 2k 1 x
k 1
2k 1
2
cos sin
k 1 2k 1 2
5 10
13. .
1 2 cos 2 2k 1 x
4 2 2k 1
2
14. k 1
.
3 2 1 2k 1
2 2cos 2 x cos 2k 1 x
4 k 1 2k 1 2
15. .
8 1 2k 1 x
k
k 1
cos k x
2
2 4
k 1 2k 1 2
sin
2
3 2
1 k2
16. . 17. k 1
12 1 1 4 1
k 1 k 1
k x k x
k 1 k
sin
2
3 2 k 1 k 2
cos
3
18. . 19. .
2 4 k 1 cos 2kx
1
20. k 1 4k 2 1 .
4 2k 1 x 1 k x
k
2
1
k 1 2k 1
2
cos
4
k
sin
4
21. .
1 4
cos 2k 1 x 2k 1 x
2
4 1
sin
2 2 2k 1
2
22. k 1
. 23. k 1 2k 1 2 .
116
1 1 sin 2 k x 1 4
cos 2k 1 x
2 2 2k 1
2
24. 2 k 1 k . 25. k 1
.
16 k
1
k 1
sin 2kx
k 1 4k 2 1
2
26. .
2k 1 x 1 2k 1 x
k 1
1 4 1 4
cos sin
2 2 2k 1 2 2k 1
2 2
2 2
27. k 1 k 1
.
2k 1 x 1 2k 1 x
k
1 4 1 4
cos sin
2 2 2k 1 2 2k 1
2 2
2 2
28. k 1 k 1
.
2 k x 4 2k 1
k sin 1
k 1
sin x
2k 1
2 2
k 1 2 2
29. .
2 4 cos 2kx
30. k 1 4k 2 1 .
Задание 3
2 sin 2 2 sin 2
0
cos x
2cos 2 sin x d
1. .
2 sin 3 1 sin 3
0
cos x
3cos3 sin x d
2. .
2 sin 2 sin
0
cos x cos sin x d
3. .
2 2cos 1 1
0 2
1 2 sin cos xd
4. .
2 1 2 4
2 3 sin 2 2 cos 2 cos xd
0
5. .
2 sin 1 2 1 cos
2 cos 1 cos xd
0 2
cos xd
6. 0 . 7. .
2a sin b 2 1 cos a 2 sin
0 0 0 1 2
cos xd sin xd sin xd
8. . 9. . 10. .
cos
2 2 cos xd 4 sin 2 2 cos x
0 1 2 0 1 4 2 0 1 2
sin xd d
11. . 12. . 13. .
117
2 2 2 4 cos x 4
0 4 4 0 1 4 2
cos xd d sin xd
14. . 15. . 16. 0 4 4 .
1 2
2 0 e
2
e cos xd sin xd
17. . 18. 0 .
Задание 4
2 1 1 1 2
2sin cos 1 e
1. . 2. 22 .
2 2 2 2 2 2 2 2
3. 4 2 . 4. 4 4 . 5. 4 4 .
Задание 5
2 1 sin 2 1 sin
1 2cos 1
1. . 2. .
2 1 3sin 3
cos 2 e
3. . 4. 2 .
2 2 2 2 3
5. 4 2 . 6. 4 4 . 7. 4 4 .
118
Рекомендательный библиографический список
Основной:
1. Демидович Б.П. Сборник задач и упражнений по математическому
анализу. М.: Наука, 1972.
2. Пискунов Н.С. Дифференциальное и интегральное исчисления. Часть II.
М.: Наука, 1985.
3. Шипачев В.С. Высшая математика. М.: Высшая школа, 1998.
Дополнительный:
4. Данко П.В. Высшая математика в упражнениях и задачах / П.В.Данко,
А.Г.Попов, Г.Н.Кожевникова. М.: Высшая школа, 1997. т.2.
5. Минорский В.П. Сборник задач по высшей математике. М.: Наука, 1987.
6. Прудников А.П. Интегралы и ряды / А.П. Прудников, Ю.А. Брычков, О.И.
Маричев. М.: Наука, 1981.
119
Оглавлени
Введение
Глава 1. Ряды Фурье
§ 1. Векторные пространства
§ 2. Скалярное произведение и норма функций
§ 3. Ортогональные системы функций. Коэффициенты Фурье. Ряд Фурье
§ 4. Сходимость в среднем. Равенства Парсеваля
§ 5. Тригонометрический ряд Фурье на промежутке –L, L
§ 6. Сходимость тригонометрического ряда Фурье. Теорема Дирихле
§ 7. Разложение в тригонометрические ряды четных и нечетных функций
§ 8. Ряд Фурье для функции, заданной на промежутке 0, L
§ 9. Ряды Фурье для комплексных функций
§ 10. Комплексная форма тригонометрического ряда Фурье
Глава 2. Интеграл Фурье
§ 11. Сходимость интеграла Фурье
§ 12. Преобразование Фурье
§ 13. Основные сведения из теории преобразования Фурье
Глава 3. Операционное исчисление
§ 14. Преобразование Лапласа
§ 15. Изображения простейших функций
§ 16. Основные теоремы операционного исчисления
§ 17. Формула разложения Хевисайда
§ 18. Операторный метод решения дифференциальных уравнений
§ 19. Приложения
Примеры для самостоятельного решения
Ответы
Рекомендательный библиографический список
120