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

Математика.-5

.pdf
Скачиваний:
3
Добавлен:
05.02.2023
Размер:
3.03 Mб
Скачать

Теорема. Если f x абсолютно интегрируемая на ( , ) , кусочно-непрерывная и ограниченная или кусочногладкая на каждом конечном отрезке функция, то

 

f x 0 f x 0

 

1

 

is( x t )

 

(x)

 

 

 

 

 

f t e

 

 

 

 

 

 

2

 

2

 

 

dt ds .

 

 

 

 

 

 

 

Заметим, что в точках непрерывности

f x 0 f x 0 f x .

2

Свойства преобразования Фурье.

1. Линейность. Если ( f )(s) (s) , ( g)(s) ( p) , то

( ( f g))(s) ( f )(s) ( g)(s) (s) (s) , ( ( f ))(s) ( f )(s) (s)

или, что то же самое,

( ( f g))(s) ( f )(s) ( g)(s) (s) (s) .

Доказательство. В общем случае было доказано ранее. Непосредственно следует из определения преобразования Фурье и свойств интеграла. Действительно,

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

( ( f g))(s)

 

 

 

 

f (x) g(x) e isxdx

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

f (x)e isxdx

 

g(x)e isxdx

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( f )(s) ( g)(s) (s) (s) ,

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

( ( f ))(s)

 

f (x)e isxdx

 

 

f (x)e isxdx

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( f )(s) (s) .

2.Подобие. Если ( f )(s) (s) , то

f ( x) (s)

 

1

 

 

s

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

Доказательство. Действительно, если 0 , то

181

 

 

 

 

 

 

 

 

f ( x) (s)

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( x)e isxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1

 

 

 

 

 

 

 

 

 

 

 

i

s

x

 

 

 

 

 

1

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( x)e

 

 

 

 

 

 

d x

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если 0 ,

 

 

 

то

 

 

 

сделав

 

замену

 

 

t x

 

 

имеем

dt dx ,

lim t ,

 

lim

t и тогда

dx

dt

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

f (t)e i

 

s

 

 

 

 

 

 

 

 

 

 

f ( x) (s)

 

 

 

 

 

 

 

 

 

t dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1

 

 

 

 

 

 

 

 

 

i

s

t

 

 

 

 

 

 

 

 

1

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

f (t)e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

3.

Запаздывание. Если ( f )(s) (s) , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x s e is (s) .

 

 

 

Доказательство. Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x s

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x )e isxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x )e is( x )dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x )e is( x )e is d (x ) e is (s) .

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.

Дифференцирование

функции.

 

Если

 

 

 

 

( f )(s) (s) ,

f (x) дифференцируема на всей числовой оси и

 

f (x)

бесконеч-

но малая при x , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x s is f x s .

 

 

 

Доказательство. Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x s

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)e isxdx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

182

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

Преобразуем интеграл

 

 

f (x)e isxdx с помощью фор-

 

 

 

2

 

 

 

 

 

 

 

 

мулы интегрирования по частям с u e isx ,

dv f (x)dx . Тогда

du ise isxdx , v f (x) и

 

 

 

 

 

 

 

1

 

 

 

 

is

 

1

 

 

 

 

 

f (x)e isxdx

f (x)e isx

 

 

 

f (x)e isxdx

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

is f x s ,

 

 

 

 

так как lim

f (x)e isx 0

как произведение бесконечно малой

 

 

x

 

 

 

 

 

 

 

f(x) на ограниченную e isx .

5.Дифференцирование образа. Если ( f )(s) (s) , то

f x s ixf x s .

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

Действительно, дифференцируя выраже-

ние (s) f (x) s

 

1

 

 

 

 

 

 

 

 

 

 

f (x)e isxdx по параметру под зна-

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ком интеграла, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

f x s

 

 

 

 

 

( ix) f (x)e isxdx ixf x s .

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6. Если ( f )(s) (s) , то

 

 

а) f x cos x (s)

 

1

 

(s ) (s ;

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) f x sin x (s)

1

 

(s ) (s .

2i

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Действительно,

f x cos x (s)

 

1

 

 

 

 

f (x) cos xe isxdx

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

183

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

f (x)

ei x e i x

e isxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

f (x)ei xe isxdx

 

 

 

 

f (x)e i xe isxdx

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

f (x)e i(s ) xdx

 

 

 

f (x)e i(s ) xdx

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12 (s ) (s .

Аналогично, записывая sin x через формулу Эйлера, получаем справедливость б).

Часто рассматривают синус и косинус преобразования Фурье.

Для синус и косинус преобразований Фурье множество G также есть числовая прямая, то есть G R ( , ) , U (G) - совокупность абсолютно интегрируемых на ( , ) функций.

Ядро

синус

преобразования

Фурье

равно

K (x, s)

 

 

1

 

 

 

sin sx . Синус преобразование Фурье имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

2

s (s) s f (x) s

1

 

 

 

 

 

 

 

 

 

 

 

f (x)sin sxdx .

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для нечётных функций синус преобразование Фурье имеет

вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s (s) s f (x) s

2

 

 

 

 

 

 

 

 

f (x)sin sxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

Ядро

косинус

 

преобразования

Фурье

равно

K (x, s)

 

 

 

1

 

 

cos sx .

Косинус

преобразование Фурье

имеет

 

 

 

 

 

 

 

 

 

2

вид

184

 

 

f (x) s

 

1

 

 

 

c

(s) c

 

 

 

f (x) cos sxdx .

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для чётных функций косинус преобразование Фурье имеет

вид

 

 

 

 

 

c (s) c f (x) s

2

 

 

f (x) cos sxdx

 

 

 

0

7.2. Преобразование Лапласа

Пусть f (t) - комплекснозначная, кусочно непрерывная (то

есть на каждом ограниченном отрезке числовой прямой имеет не более чем конечное число точек разрыва 1-го рода) на полу-

 

 

интервале [0, ) , функция. Рассмотрим интеграл

f (t)e rt dt .

 

0

Если при некотором r0 этот интеграл абсолютно сходится, то он

абсолютно сходится и при любом r таком,

что

Re r Re r0 .

Наименьшее действительное r0

такое, что

для

всякого

r с

 

 

 

 

 

 

Re r r0 ,

интеграл f (t)e rt dt

абсолютно

сходится, а

при

 

0

 

 

 

 

Re r r0

абсолютно расходится, называется показателем роста

функции

f (t) . Если показатель роста r0 , то говорят,

что

функция имеет ограниченный рост. Примером функции ограниченного роста служит функция такая, что f (t) Mer0t .

Комплекснозначную функцию f (t) заданную на интервале ( , ) назовём оригиналом, если она обладает свойствами

1)f (t) 0 для всех t ( ,0) ;

2)f (t) кусочно непрерывна, то есть на каждом ограничен-

ном отрезке числовой прямой имеет не более чем конечное число точек разрыва 1-го рода;

3)f (t) ограниченного роста.

185

Заметим, что любую кусочно непрерывную функцию ограниченного роста можно сделать оригиналом, если умножить её

0,если t 0,

 

 

на функцию h(t)

. Функцию

h(t)

называют еди-

 

1,если t 0

 

 

ничной или функцией Хэвисайда. С учётом сделанного замечания кусочно непрерывные функции ограниченного роста будем считать оригиналами.

Ядро преобразования Лапласа равно e px . Преобразование Лапласа определяется для оригиналов и имеет вид

F p L f t p f t e pt dt .

0

Функцию F ( p) комплексного переменного p называют изображением функции f (t) .

Свойства преобразования Лапласа.

1. Линейность. Если (Lf )( p) F ( p) , (Lg)( p) G( p) , то

(L( f g))( p) (Lf )( p) (Lg)( p) F ( p) G( p) , (L( f ))( p) (Lf )( p) F ( p) .

Доказательство. В общем случае было доказано ранее. Непосредственно следует из определения преобразования Лапласа и свойств интеграла. Действительно,

 

 

 

 

 

 

 

(L( f g))( p) f t g t e pt dt

 

0

 

 

 

 

 

 

 

 

 

 

 

 

f t e pt dt g t e pt dt (Lf )( p) (Lg)( p) F ( p) G( p) .

0

0

 

 

 

 

 

 

 

 

 

 

 

 

(L( f ))( p)

f t e pt dt f t e pt dt (Lf )( p) F ( p) .

0

0

 

 

 

 

 

2. Подобие. Если (Lf )( p) F ( p) , то

 

 

 

 

L f t p

1

 

 

p

 

 

F

 

 

.

 

 

 

 

 

 

 

 

 

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

186

 

1

 

p

 

L f t p f t e pt dt

f t e

 

( t )d ( t)

 

 

0

0

 

 

3. Запаздывания. Если (Lf )( p) F ( p) , то

L f t p e p L( f (t))( p) e p F(

1

 

p

 

F

 

.

 

 

 

 

p)

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

 

 

 

 

 

 

 

 

 

 

 

 

 

L f t p f

t e pt dt f t e p(t )dt

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t e p(t )e p dt e p L( f (t))( p) e p F ( p) .

 

0

 

 

 

 

 

 

 

 

 

 

4.

Смещения. Если (Lf )( p) F ( p) , то

 

 

 

L e p0t f

t p F ( p p )

 

 

 

 

 

 

 

 

 

 

 

0

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

 

 

 

 

 

 

 

 

 

 

 

 

 

L e p0t f t p e p0t f t e pt dt f t e ( p p0 )t dt F ( p p0 ) .

 

 

 

0

 

 

 

 

 

 

0

 

5.

Дифференцирования оригинала.

Если (Lf )( p) F ( p) ,

 

и f

 

 

 

f

(n)

(t) оригиналы, то

 

(t) ,

f (t) , …,

 

 

 

 

 

L f

t p pF( p) f ( 0) ,

 

 

L f

 

 

 

 

 

 

 

 

 

 

 

t p p F( p) pf ( 0) f ( 0) ,

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L f (n) t p pn F( p) pn 1 f ( 0) ... f (n 1) ( 0) .

 

 

 

 

 

 

 

 

 

 

 

 

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

Действительно L f t p f t e pt dt .

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

Преобразуем интеграл f t e pt dt с помощью формулы интег-

 

 

 

 

0

 

 

 

 

 

 

 

рирования

по

частям

 

 

с

 

u e pt ,

dv f (t)dt . Тогда

du pe pt dt , v f (t) и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t e pt dt f (t)e pt

 

p f t e pt dt pF( p) f ( 0) ,.

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

187

 

так как lim f (t)e pt 0. Далее,

 

 

 

 

 

 

 

 

 

t

L f t p pL f t p f ( 0)

 

 

 

 

 

p L f t p f ( 0) f ( 0) p2 F( p) pf ( 0) f ( 0) .

По аналогии

 

pL f (n 1) t p f (n 1) ( 0)

 

 

L f (n) t p

 

 

p L f (n 2) t p f (n 2) ( 0) f (n 1) ( 0) ...

 

 

 

pn F( p) pn 1 f ( 0) ... f (n 1) ( 0)

 

6.

Дифференцирование

 

 

изображения.

Если

 

(Lf )( p) F ( p) , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F ( p) L( tf (t))( p) ,

 

 

 

 

 

 

F(n) ( p) L(( 1)n tn f (t))( p) .

 

 

В частности,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L tn ( p)

n!

 

.

 

 

 

 

 

 

pn 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Действительно, дифференцируя по пара-

метру под знаком интеграла, получаем

 

 

 

 

 

 

 

d

 

 

 

 

 

d

 

 

 

 

 

F ( p)

f t e pt dt f

t

e pt dt

f t ( t)e pt dt

 

 

 

 

dp

0

0

 

dp

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( t) f t e pt dt L( tf (t))( p) .

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

Далее по индукции.

 

 

 

 

 

 

 

 

 

 

 

7.

Интегрирование оригинала. Если (Lf )( p) F ( p) , то

 

 

 

 

 

 

t

 

 

 

 

 

F ( p)

 

 

 

 

 

 

 

 

L f ( )d ( p)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

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

f t оригинал, то g(t) f ( )d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

d

t

 

 

 

 

 

 

 

тоже оригинал и g (t)

 

f ( )d f t ,

g(0) 0 . Поэтому

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

188

 

 

 

 

 

 

F ( p) L f (t) ( p) L g (t) pL g(t) ( p) g(0)

t

 

pt

 

 

f ( )d

 

 

p

e

 

dt .

0

0

 

 

 

Разделив крайние части равенства на p , получаем требуемое.

8.Интегрирование изображения Если (Lf )( p) F ( p) , и

 

 

 

 

 

 

f (t)

 

 

интеграл F ( p)dp абсолютно сходится, то

оригинал и

 

 

p

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (t)

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

( p) F ( p)dp .

 

 

 

 

 

 

 

 

t

p

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Примем эту теорему без доказательства.

 

 

t

 

 

 

 

 

 

 

Функция ( f g)(t) f ( )g(t )d называется свёрткой

 

 

0

 

 

 

 

 

 

 

функций f (t) и g (t) .

 

 

 

 

 

 

 

 

Свойства свёртки.

 

 

 

 

 

 

 

 

1.

Свёртка симметрична, то есть ( f g)(t) (g f )(t) .

Доказательство. Действительно, сделав

в

интеграле

t

 

 

 

 

 

 

 

 

 

f ( )g(t )d замену

s t , получаем

t s , ds d ,

0

 

 

 

 

 

 

 

 

 

t

0

 

 

 

t

 

 

 

f ( )g(t )d f (t s)g(s)ds f (t s)g(s)ds .

Крайние

0

t

 

 

 

0

 

 

 

 

части отличаются только обозначениями.

2.Если (Lf )( p) F ( p) , (Lg)( p) G( p) , то

L ( f g)(t) ( p) F( p)G( p) .

Доказательство. Примем эту теорему без доказательства. 3. Формула Дюамеля

 

t

 

 

 

 

 

L f (0)g(t) f

( )g(t )d ( p) pF ( p)G( p) .

 

0

 

 

Доказательство. Примем эту теорему без доказательства.

189

Таблица оригиналов и изображений

оригинал

изображение

h(t)

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e t

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos t

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

2

sin t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

2

t n

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

pn 1

ch t

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

2

sh t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2

2

e t cos t

 

 

 

 

p

 

 

 

p 2

2

e t sin t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p 2

2

Первая теорема обращения. Если F ( p) является изобра-

жением функции f (t) , то в каждой точке непрерывности f (t)

 

1

a i

f t L 1 F p t

F p e pxdp ,

2 i

 

a i

 

 

где интеграл берётся вдоль любой прямой с Re p a r0 , а r0 -показатель роста функции f (t) .

Доказательство. Примем эту теорему без доказательства.

Вторая теорема обращения. Если

190