Материал: Методичка 1

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам
4) используем 1) и непрерывность гамма-функции, тогда

Доказательство. 1) применяем интегрирование по частям:

+∞

 

0

+∞

(x + 1) = Z

txe−t dt = −txe−t

 

+ x Z

tx−1e−t dt = 0 + x (x) = x (x);

0

 

+

0

 

 

 

 

 

 

 

 

+∞

Z

2) (1) = e−t dt = −e−t +∞ = 1;

0

0

3) используем 1) и 2), тогда

(n + 1) = n (n) = n(n − 1) (n − 1) = · · · = n(n − 1) · · · 2 · 1 (1) = n!; lim (x+

 

 

 

 

 

 

(x + 1)

x→0+0

 

+1) = (1) = 1 и, следовательно,

lim (x) =

 

lim

= + .

 

x

0+0

x

0+0

x

 

 

 

 

9. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

В 9 используются комплекснозначные функции вещественной переменной. Дадим необходимые определения и приведем (необходимые в дальнейшем) свойства таких функций.

Определение 9.1. Функция f : < a, b > R → C называется комплекснозначной функцией вещественной переменной, если f(x) = ϕ(x)+ +iψ(x), где ϕ, ψ : < a, b >→ R, а i мнимая единица. Обычно функция ϕ называется вещественной частью f, а ψ мнимой частью f. При этом используются обозначения: ϕ = <e(f) и ψ = =m(f).

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

Определение 9.2. Пусть f : < a, b > R → C (допускается, что a = −∞, а b = +∞) тогда f = ϕ + iψ, где ϕ, ψ : < a, b >→ R. Пусть ϕ, ψ интегрируемы на < a, b >. Тогда f интегрируема на < a, b > и, по определению,

b

 

b

b

Za

f(x) dx = Za

ϕ(x) + i Za

ψ(x) dx.

Для интеграла от комплекснозначной функции вещественной переменной можно доказать следующее предложение см. [ 3 ].

80

b

Z

Предложение 9.1. 1. Для f(x) dx справедливы формулы Ньютона

a

Лейбница и интегрирования по частям. 2. Справедливо неравенство

b

b

ZZ

f(x) dx ≤ |f(x)| dx

a a

9.1. Функция оригинал

Определение 9.3. Функцией оригиналом называется комплекснозначная функция вещественного переменного f : R → C, удовлетворя-

ющая условиям:

1)f интегрируема на любом конечном промежутке;

2)для любых t < 0 f(t) = 0;

3)существуют вещественные постоянные M > 0 и σ ≤ 0 такие, что для любых t R |f(t)| ≤ Meσt.

Пример 9. 1. Все описанные ниже функции являются функциямиоригиналами. Первые два условия определения 9.3 очевидны, а для треть-

его укажем константы M > 0 и σ ≥ 0 1) функция Хевисайда δ1 : R → C

(

δ1(t) =

1, åñëè t ≥ 0,

0, åñëè t < 0,

σ= 0, M = 1;

2)f(t) = tnδ1(t) (в качестве σ можно взять любое положительное число, а существование M > 0 следует из ограниченности функции tne−σt);

3)f(t) = sin(kt + ω)δ1(t) σ > 0, M = 1;

4)f(t) = eatδ1(t) σ = <e(a), M = 1.

Теорема 9.1. Если f, g функции-оригиналы, то:

1)для любого λ C λf функция-оригинал;

2)f ± g функция-оригинал;

3)fg функция-оригинал;

t

Z

4) Φ(t) = f(τ) dτ функция-оригинал.

0

81

значит функция по теореме об абсолютной интегрируемости интеграл ся абсолютно при
f(t)e−st имеет интегрируемую мажоранту. Следовательно,
<e(s) > σ.
Z
0
+∞

Доказательство. Выполнение свойств 1, 2 определения 9.3 очевидно. Необходимо проверять выполнение свойства 3. Так как f, g функции-

оригиналы, то существуют M1, M2 > 0; σ1, σ2 ≥ 0 такие, что |f(t)| ≤

M1eσ1t è |g(t)| ≤ M2eσ2t. Тогда:

1)|λf(t)| ≤ |λ|M1eσ1t, следовательно λf функция-оригинал;

2)пусть, для определенности, σ1 ≥ σ2, тогда |f(t) ± g(t)| ≤ |f(t)|+ +|g(t)| ≤ M1eσ1t + M2eσ2t ≤ (M1 + M2)eσ1t. Следовательно f ±g функция-

оригинал;

3) |f(t)g(t)| ≤ |f(t)||g(t)| ≤ M1M2e12)t. Значит fg функция-ори- гинал;

t

|f(τ|) dτ ≤ M1

Z0

t

τ dτ = σ11

(eσ1t − 1) ≤

σ11 eσ1t, åñëè

4) |Φ(t)| ≤ Z0

eσ1

 

 

 

 

 

M

 

M

σ1 > 0. Åñëè, æå σ1 = 0, òî |Φ(t)| ≤ M1t ≤ M1et. Следовательно |Φ(t)| функция-оригинал.

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

+∞

Теорема 9.2 Если f функция-оригинал, то

Z0

f(t)e−st dt сходит-

ся абсолютно для всех s C удовлетворяющих условию <e(s) > σ (см. свойство 3 определения 9.3 ).

Доказательство. Из определения функции-оригинала получаем:

|f(t)e−st| = |f(t)||e−st| = |f(t)|e−t<e(s) ≤ Me−t(<e(s)−σ).

Функция Me−t(<e(s)−σ) ïðè <e(s) > σ интегрируема на [0, +∞) è

+∞

Me−t(<e(s)−σ) dt = M

<e(s) − σ

Z

f(t)e−st dt сходит-

0

Определение 9.4. Пусть f функция-оригинал и задана область D = {s C | <e(s) > σ} C, тогда функция комплексного переменного

F : D → C,

+∞

Z

F (s) = f(t)e−st dt

0

82

называется изображением по Лапласу оригинала f.

При этом применяются следующие обозначения: F = L(f) è f = = L−1(F ). Соответствие между оригиналами и изображениями называют преобразованием Лапласа.

+∞

Пример 9. 2. Для любых s C, <e(s) > 0 L(δ1) = Z0

e−st dt = 1s.

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

Пусть f g функции-оригиналы. Тогда по определению 9.3 сущест-

âóþò M1, M2 > 0 è σ1, σ2 ≥ 0 такие, что |f(t)| ≤ M1eσ1t |g(t)| ≤ M2eσ2t. Справедливы следующие теоремы.

Теорема 9.3. (Линейности.) Для любых c1, c2 C

L(c1f + c2g) = c1L(f) + c2L(g)

ïðè <e(s) > max(σ1, σ2).

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

Теорема 9.4. (Смещения.) L(f(t)eat) = L(f)(s − a) ïðè <e(s) > > <e(a) + σ1.

Доказательство. Из примера 9.1 и теоремы 9.1 f(t)eat функция- оригинал <e(s) > <e(a) + σ1. Следовательно, для таких s:

+∞

Z

L(f(t)eat) = f(t)e−(s−a)t dt = F (s − a) = L(f)(s − a).

0

Пример 9. 3.

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1) ïðè <e(s) > <e(a)

L(eatδ1(t)) =

 

 

;

 

 

 

 

 

s

a

 

 

 

 

 

2)

ïðè

<e(s) > <e(a)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L(eat cos(ωt)δ1(t)) = L eat

eiωt + e

iωt

δ1(t) =

1

 

 

 

 

 

 

 

 

 

 

 

L(e(a+iω)tδ1(t))+

 

 

2

 

 

 

 

 

2

 

+

1

 

(e(a−iω)tδ (t)) =

1

1

 

 

+

1

1

 

 

=

s − a

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(s − a)2 + ω2

 

 

1

2 s − (a + iω) 2 s − (a − iω)

 

 

в частности L(cos(ωt)δ1(t)) =

 

 

s

 

 

 

 

 

<e(s) > 0;

 

 

 

s2 + ω2

 

ïðè

 

 

 

83

3) аналогично при <e(s) > <e(a) L(eat sin(ωt)δ1(t)) =

ω

 

,

(s − a)2 + ω2

è ïðè <e(s) > 0 L(sin(ωt)δ1(t)) =

s

 

 

s2 + ω2

.

 

 

Теорема 9.5. (Запаздывания.) Для любых t0 > 0 L(f(t − t0)) = = e−st0 L(f(t)) ïðè <e(s) > σ1.

Доказательство. Очевидно, что f(t−t0) функция-оригинал и изображение по Лапласу существует для нее при <e(s) > σ1. Далее

+∞

 

+∞

 

L(f(t − t0)) = Z (f(t − t0))e−st dt = Z (f(t − t0))e−st dt =

 

0

 

t0

 

 

+∞

 

= < делаем замену t − t0 = τ > = e−st0

Z0

f(τ)e−sτ dτ = e−st0 L(f(t)).

 

 

 

9.4.Теоремы о дифференцировании и интегрировании оригинала. Теорема о свертке

Теорема 9.6. (О дифференцировании оригинала.) Предположим, что функция f и ее производные f(k), k = 0, . . . , n являются функ-

циями-оригиналами, и при этом выполнены оценки: |f(k)(t)| ≤ Mkeσkt, k = 0, . . . , n. Тогда при <e(s) > max(σ0, σ1, . . . , σn) :

L(f(n)) = snL(f) − sn−1f(0) − sn−2f0(0) − · · · − sf(n−2)(0) − f(n−1)(0). (9.1)

Доказательство. Проведем доказательство для f0. Для остальных

производных доказательство проводится по индукции. Применим формулу интегрирования по частям. Тогда

+∞

 

+∞

 

L(f 0 ) = Z

f0(t)e−st dt = (f(t)e−st)

 

0+∞ + s Z

f(t)e−st dt = sL(f) − f(0).

 

 

0

 

0

 

 

 

 

 

 

 

 

Теорема 9.7. (Об интегрировании оригинала.) Предположим, что функция f является функцией-оригиналом, и при этом выполнена

оценка: |f(t)| ≤ Meσt, Тогда при <e(s) > σ :

L

Zt

f(τ) dτ

 

=

L(f)

.

s

 

 

0

 

 

 

 

 

84