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

Галкин С.В. Теория функций комплексного переменного и операционное исчисление- учебное пособие для вузов (2011) (1)

.pdf
Скачиваний:
319
Добавлен:
23.03.2016
Размер:
1.65 Mб
Скачать

допустимы только разрывы первого рода, разрывы второго рода не допускаются.

2. Условие физической реализуемости: f t 0 при t 0.

3. Функция f t не может расти быстрее экспоненты: существуют константы M , s0 , такие, что выполняется неравенство f t Mes0t, где s0 – показатель роста.

Обсудим эти условия, чтобы функцию можно было разложить в тригонометрический ряд Фурье, она должна удовлетворять условиям Дирихле (см. приложение П3). В теории рядов Фурье можно перейти к преобразованию Фурье, которое тесно связано с преобразованием Лапласа. Если исследовать ограниченные функции, то вполне достаточно использовать преобразование Фурье. Преобразование Лапласа позволяет исследовать возрастающие функции, но возрастающие не быстрее экспоненты. Это важно, так как дифференциальные уравнения, описывающие реальные процессы, часто содержат возрастающие во времени решения, в основном экспоненты. Нужно только уметь правильно определить показатель роста. Например, для ограниченных функций его можно считать нулем.

В операционном исчислении для обеспечения физической реализуемости любая функция умножается на функцию Хевисайда

1 при t 0;

1 t t

0 при t 0,

т. е. на единичную функцию. Всегда считают f t f t 1 t . Поэтому условие 2 выполнено.

5.1.2. Теорема об области существования изображения

Теорема.

Изображение определено в

полуплоскости

Re p s s0 и

является в этой полуплоскости

аналитической

функцией.

 

 

120

 

 

Доказательство. Аналитичность изображения следует из возможности дифференцирования изображения как интеграла по параметру. Найдем область комплексной плоскости, в которой определено изображение (рис. 5.1).

Рис. 5.1

Вычислим модуль функции e pt:

 

 

 

 

 

 

 

 

e pt

 

 

 

e s i t

 

 

e st

 

 

 

e i t

 

e st

 

cos t isin t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e st

cos2 t sin2 t e st .

 

 

 

 

 

 

 

 

 

 

 

 

Из условия, которому должен удовлетворять оригинал, следует

 

f t

 

Mes0t.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оценим модуль изображения:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

f t e pt dt

 

 

 

f t

 

e pt

 

dt M es0t e st dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

 

 

s s t

 

 

 

M

 

 

 

s s

t

 

 

 

 

 

M

 

 

 

s s

t

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M e 0 dt

 

 

e 0

 

 

 

 

 

 

 

 

 

 

 

limt e 0

 

 

 

 

,

 

s s0

 

 

 

 

s s0

 

 

 

s s0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если Re p s s0.

Если

 

 

выполнено неравенство

Re p s s0 ,

то

интеграл расходится и изображение не существует, следовательно,

121

изображение существует в полуплоскости Re p s s0 , где s0 – показатель роста функции (см. подразд. 5.1.1). Теорема доказана.

Следствие. Если F p – изображение, то lims F p 0. Доказательство. Из оценки

F p M s s0

следует lims F p 0, если Re p s s0 .

Найдем изображения по Лапласу единичной функции и экспоненты:

L 1 t

 

1 t e pt dt

1

e pt

 

 

 

1

Re p s 0 ; 1 t ~

1

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

p

 

 

 

0

 

p

 

0

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

L e t e t e pt dt e p t dt

 

 

Re p Re ; e t ~

 

.

p

 

p

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.2. Теоремы линейности, подобия, смещения

Теоремы линейности, подобия и смещения являются свойствами преобразования Лапласа.

При доказательстве теорем используем свойства интеграла –

правой части преобразования Лапласа L f t f t e pt dt. По-

0

сле доказательства каждой теоремы (свойства), будем отыскивать по этим теоремам изображения для основных элементарных функ-

ций, составляя тем самым таблицу оргиналов и изображений.

Теорема линейности. Преобразование Лапласа линейно:

L f t g t F p G p ;

L f t F p .

Здесь и в остальных теоремах вводятся обозначения для изображений:

122

F p L f t , G p L g t .

Доказательство. Свойство линейности преобразования Лапласа является следствием линейности интеграла:

 

 

 

L f t g t

 

f t g t e pt dt f t e pt dt

0

 

0

 

 

 

g t e pt dt L f t L g t ,

L f t

0

 

 

 

 

 

f t e pt dt f t e pt dt L f t .

0

0

 

Следствие. Преобразование Лапласа от линейной комбинации функции равно линейной комбинации изображений функций:

 

n

 

n

L

k fk t

k Fk p .

k 1

 

k 1

Пример. Найти изображения по Лапласу тригонометрических и гиперболических синуса и косинуса.

В подразд. 5.1.2 выведена формула изображения экспоненты

e t ~

1

 

. Из нее следуют формулы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

et ~

1

 

 

, e t ~

1

 

 

, eit ~

 

1

,

 

e it ~

 

 

1

.

 

 

p 1

p 1

 

p i

 

p

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применяя теорему линейности, получаем формулы

 

 

 

 

ch t

1

et e t ~

1

 

1

 

 

1

 

 

 

 

 

 

p

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

p 1

p

2

1

 

 

 

 

 

 

 

 

p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

sh t

1

et e t ~

1

 

 

1

 

 

1

 

 

 

 

 

 

 

1

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

p 1

 

p

2

1

 

 

 

 

 

 

 

 

 

p 1

 

 

 

 

 

 

 

 

 

 

 

123

cost

1

eit e it ~

1

 

1

 

1

 

 

 

p

;

 

 

 

 

 

 

 

 

 

2

2

 

 

p

2

1

 

 

p i

 

p i

 

 

 

 

sin t

1

eit e it ~

 

1

1

 

1

 

 

 

 

 

 

 

1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

p

i

 

p

2

1

 

 

 

 

 

 

 

 

 

 

 

 

2i p i

 

 

 

 

 

 

 

 

 

 

 

Теорема подобия. Если

f (t) ~ F (p), то

f

t ~

 

 

 

1

F

 

 

p

 

 

 

 

 

 

 

.

 

 

 

 

Доказательство. Найдем L( f ( t)):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

t 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L f t

f t e pt dt f t e

 

 

 

 

 

d

t

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f e

d

 

 

F

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Найти изображения для заданных оригиналов:

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

p

 

 

 

 

 

p

 

sin t ~

 

 

 

 

 

 

 

 

 

 

;

cos t ~

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

p 2

1

 

p2 2

 

 

p 2

1

p2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

p

 

 

 

 

 

 

p

 

sh t ~

 

 

 

 

 

 

 

 

 

 

 

ch t ~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

.

 

 

p 2

 

 

p2 2

p

2

 

 

 

p2 2

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема смещения. Если

f (t) ~ F (p) , то

f t e t

~ F p .

Доказательство. Найдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L f t e t f

t

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

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

124

Здесь Re p Re s0 по теореме об области определения изо-

бражения.

Пример. Найти изображения для заданных оригиналов:

e tsin t ~

 

 

 

 

; e t cos t ~

p

; Re p s

0

;

 

p 2 2

p 2 2

 

 

 

 

 

 

 

 

 

 

 

 

 

e tsh t ~

 

 

;

e t ch t ~

 

p

;

Re p s .

 

 

 

 

 

p 2 2

 

 

 

p 2 2

0

 

 

 

 

 

 

 

 

 

Найденные в примерах изображения вместе с их оригиналами представляют собой таблицу оригиналов-изображений, которая бу-

дет пополняться послеизложения теорем операционного исчисления. Используя полученную в этом разделе таблицу, найдем для за-

данных изображений соответствующие иморигиналы

f t ~ F p .

Пусть задано изображение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

 

3 p 4

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2 10 p 29

 

 

 

 

 

 

 

 

 

 

преобразуем его и найдем оригинал:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

3 p 4

 

 

 

 

 

 

3 p 4

3

 

 

p 5

 

 

 

 

 

 

11

2

 

~

p2 10 p

 

 

 

 

p 5 2 22

p 5 2

22

 

 

22

 

29

 

 

 

 

 

 

 

2 p 5 2

 

3e

5t

cos 2t

 

11

 

5t

 

 

 

 

5t

3cos 2t

11

 

 

 

 

 

 

 

2

e

sin 2t e

 

 

2

 

sin 2t f t .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для изображения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

 

p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2 4 p 3

 

 

 

 

 

 

 

 

 

 

 

 

найдем оригинал:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

1

 

 

 

 

 

 

 

 

 

F p

 

p 1

 

 

 

 

 

 

p 1

 

 

 

 

2

 

 

2

 

 

~

3 e3t 1 et f t .

p2 4 p

3

 

p 1 p 3

 

p 3

p 1

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

125

5.3. Теоремы о дифференцировании и об интегрировании

5.3.1.Теорема о дифференцировании оригинала

Теорема. Пусть f t – оригинал. Тогда

f t ~ pF p

f 0 .

 

Доказательство. Найдем изображение производной f t :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L f t f t e pt dt f t e pt

 

p f t

e pt dt

 

 

0

 

 

 

 

 

0

0

 

=lim

 

f t e pt

lim

 

0

f t e pt

pF p pF p f 0 ,

t

 

 

t

 

 

 

 

так как lim

t

f t e pt 0

при Re p s s

(см. подразд. 5.1.1).

 

 

f n t

 

 

 

0

 

Следствие. Если

– оригинал, то

 

 

f n t ~ pn F p pn 1 f 0

 

 

pn 2 f 0 ... pf n 2 0 f n 1 0 .

Доказательство. По теореме о дифференцировании ори-

гинала

 

 

 

 

 

 

 

 

 

 

L f n t

 

 

 

 

pL f n 1 t f n 1 0

L f n 1 t

 

 

 

 

 

 

 

 

 

 

 

 

p pL f n 2 t f n 2 0 f n 1 0

 

p p pL f n 3 t f n 3 0 f n 2 0 f n 1 0

pnF p pn 1 f 0 pn 2 f 0 ... pf n 2 0 f n 1 0 .

Найдем, например, изображение второй производной:

f t ~ p2 F p pf 0 f 0 .

126

5.3.2. Теоремы о начальном и конечном значениях

Теорема о начальном значении. В условиях теоремы о диффе-

ренцировании оригинала справедливо соотношение limt 0 f t

lim p pF p .

Доказательство. По теореме о дифференцировании оригинала

L f t f t e pt dt pF p f 0 .

0

Производная f t является оригиналом, поэтому lim p L f t 0.

Следовательно,

lim p pF p f 0 limt 0 f t .

Теорема о конечном значении. В условиях теоремы о диффе-

ренцировании оригинала справедливо соотношение limt f t

= lim p 0 pF p .

Доказательство. По теореме о дифференцировании оригинала

 

 

 

 

L f t f t

e pt dt pF p f 0 .

 

0

 

Перейдем в левой и правой частях этого равенства к пределу

при p 0.

 

 

Предел левой части равен

 

 

 

 

lim p 0

f t e pt dt f t dt limt f t limt 0 f t .

0

0

 

Предел правой части равен

127

lim p 0 pF p limt 0 f t .

Приравнивая пределы правой и левой частей равенств, получаем

limt f t lim p 0 pF p .

5.3.3.Теоремы об интегрировании оригинала,

одифференцировании и об интегрировании изображения

Теорема об интегрировании оригинала. Пусть f (t) ~ F ( p),

t

f t dt ~

F p

 

тогда выполнено соотношение

.

 

0

 

p

 

 

 

t

Доказательство. Обозначим t f t dt. Эта функция

0

является оригиналом (проверьте условия, которым должен удовлетворять оригинал, см. подразд. 5.1.1). Вычислим 0 0 . Обозна-

чим L t Ф p . По теореме о дифференцировании оригинала получим

f t t ~ L t pФ p 0 F p .

Так как 0 0, то справедливо равенство

 

Ф p

F p

.

 

 

 

 

 

 

 

 

 

 

 

p

 

 

Следовательно,

 

 

 

 

 

 

 

t

f t dt ~

F p

 

 

 

 

.

 

 

 

 

 

0

 

 

p

 

 

 

 

 

 

 

 

 

Пример. Найти изображение степенной функции tn ~

n!

.

pn 1

 

 

 

 

 

 

 

128

 

 

 

 

 

 

 

Ищем изображения степенных функций последовательно при n = = 0, 1, 2,…:

 

 

 

1

 

 

t

 

 

1

 

 

 

t

2

 

1 t ~

; t

1 t dt ~

 

;

t2 2 tdt ~

;

p

 

2

3

 

 

 

 

 

0

 

p

0

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

t

 

2

 

3 2

 

n

 

 

 

n!

 

 

t

3 t

dt ~

, ..., t

~

 

 

 

 

 

 

p4

 

 

 

 

.

 

 

 

 

 

 

 

pn 1

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема о дифференцировании изображения. Пусть f (t) ~ F (p) ,

тогда tf t ~ F p .

Доказательство. Дифференцируем обе части соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p f t e pt dt по p:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

tf t

e pt dt.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, tf t ~ F p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

p

Пример. Найтиоригинал для изображения

 

 

.

 

p2 1 2

Используем изображение синуса и теорему о дифференциро-

вании изображения:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

2 p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin t ~

 

 

 

 

 

; t sin t ~

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

p

 

1

 

 

p

 

1

 

p

2

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поэтому

 

 

 

 

 

 

 

p

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

~

sin t.

 

 

 

 

 

 

 

 

 

 

 

 

p2

1 2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Найти изображение функции t2et двумя способами.

129