Перетворення Лапла́са — інтегральне перетворення , що пов'язує функцію
F
(
s
)
{\displaystyle \ F(s)}
комплексної змінної (зображення ) з функцією
f
(
x
)
{\displaystyle \ f(x)}
дійсної змінної (оригінал ). За його допомогою досліджують властивості динамічних систем і розв'язуються диференціальні і інтегральні рівняння .
Однією з особливостей перетворення Лапласа, які зумовили його широке поширення в наукових і інженерних розрахунках, є те, що багатьом співвідношенням і операціям над оригіналами відповідають простіші співвідношення між їхніми зображеннями. Так, згортка двох функцій зводиться в просторі зображень до операції множення, а лінійні диференціальні рівняння стають алгебраїчними.
Перетворенням Лапласа функції дійсної змінної
f
(
x
)
{\displaystyle \ f(x)}
, називається функція
F
(
s
)
{\displaystyle \ F(s)}
комплексної змінної
s
=
σ
+
i
ω
{\displaystyle s=\sigma +i\omega \,}
, така що:
F
(
s
)
=
L
{
f
(
t
)
}
=
∫
0
.
∞
e
−
s
t
f
(
t
)
d
t
.
{\displaystyle F(s)={\mathcal {L}}\left\{f(t)\right\}=\int \limits _{0^{.}}^{\infty }\limits \!e^{-st}f(t)\,dt.}
Права частина цього виразу називається інтегралом Лапласа .
Оберненим перетворенням Лапласа функції комплексної змінної
F
(
s
)
{\displaystyle \ F(s)}
, називається функція
f
(
x
)
{\displaystyle \ f(x)}
дійсної змінної, така що:
f
(
x
)
=
L
−
1
{
F
(
s
)
}
=
1
2
π
i
∫
σ
1
−
i
⋅
∞
σ
1
+
i
⋅
∞
e
s
x
F
(
s
)
d
s
,
{\displaystyle f(x)={\mathcal {L}}^{-1}\{F(s)\}={\frac {1}{2\pi i}}\int \limits _{\sigma _{1}-i\cdot \infty }^{\sigma _{1}+i\cdot \infty }\limits \!e^{sx}F(s)\,ds,}
де
σ
1
{\displaystyle \sigma _{1}\ }
— деяке дійсне число. Права частина цього виразу називається інтегралом Бромвіча.
Двостороннє перетворення Лапласа визначається таким чином:
F
(
s
)
=
L
{
f
(
x
)
}
=
∫
−
∞
+
∞
e
−
s
x
f
(
x
)
d
x
.
{\displaystyle F(s)={\mathcal {L}}\left\{f(x)\right\}=\int \limits _{-\infty }^{+\infty }\limits \!e^{-sx}f(x)\,dx.}
Розрізняють
D
{\displaystyle \ D}
-перетворення і
Z
{\displaystyle \ Z}
-перетворення.
D
{\displaystyle \ D}
-перетворення
Нехай
x
d
(
t
)
=
∑
n
=
0
∞
x
(
n
T
)
⋅
δ
(
t
−
n
T
)
{\displaystyle x_{d}\left({t}\right)=\sum \limits _{n=0}^{\infty }{x\left({nT}\right)\cdot \delta \left({t-nT}\right)}}
— дискретна функція, тобто значення цієї функції визначені тільки в дискретні моменти часу
n
T
{\displaystyle \ nT}
, де
n
{\displaystyle \ n}
— ціле число, а
T
{\displaystyle \ T}
— період дискретизації.
Тоді, застосовуючи перетворення Лапласа, одержуємо:
D
{
x
d
(
t
)
}
=
∑
n
=
0
∞
x
(
n
T
)
⋅
e
−
s
n
T
{\displaystyle {\mathcal {D}}\left\{{x_{d}\left(t\right)}\right\}=\sum \limits _{n=0}^{\infty }{x\left({nT}\right)\cdot e^{-snT}}}
Z
{\displaystyle \ Z}
-перетворення
Якщо використати наведену заміну змінних:
z
=
e
s
T
{\displaystyle \ z=e^{sT}}
,
одержимо Z-перетворення :
Z
{
x
d
(
t
)
}
=
∑
n
=
0
∞
x
(
n
T
)
⋅
z
−
n
{\displaystyle {\mathcal {Z}}\left\{{x_{d}\left({t}\right)}\right\}=\sum \limits _{n=0}^{\infty }{x\left({nT}\right)\cdot z^{-n}}}
Якщо інтеграл Лапласа є абсолютно збіжним при
σ
=
σ
0
{\displaystyle \sigma =\sigma _{0}}
, тобто існує границя
lim
b
→
∞
∫
0
b
|
f
(
x
)
|
e
−
σ
0
x
d
x
=
∫
0
∞
|
f
(
x
)
|
e
−
σ
0
x
d
x
{\displaystyle \lim _{b\to \infty }\int \limits _{0}^{b}\limits \!|f(x)|e^{-\sigma _{0}x}\,dx=\int \limits _{0}^{\infty }\limits \!|f(x)|e^{-\sigma _{0}x}\,dx}
,
то він є збіжним абсолютно і рівномірно для
σ
⩾
σ
0
{\displaystyle \sigma \geqslant \sigma _{0}}
і
F
(
s
)
{\displaystyle F(s)}
— аналітична функція при
σ
⩾
σ
0
{\displaystyle \sigma \geqslant \sigma _{0}}
(
σ
=
R
e
s
{\displaystyle \sigma =\operatorname {\mathrm {Re} } \,s}
— дійсна частина комплексної змінної
s
{\displaystyle s}
). Точна нижня грань
σ
a
{\displaystyle \sigma _{a}}
множини чисел
σ
{\displaystyle \sigma }
, при яких ця умова виконується, називається абсцисою абсолютної збіжності перетворення Лапласа для функції
f
(
x
)
{\displaystyle f(x)}
.
Достатні умови існування прямого перетворення Лапласа
Перетворення Лапласа
L
{
f
(
x
)
}
{\displaystyle {\mathcal {L}}\{f(x)\}}
існує в сенсі абсолютної збіжності в наступних випадках:
Випадок
σ
⩾
0
{\displaystyle \sigma \geqslant 0}
: перетворення Лапласа існує, якщо існує інтеграл
∫
0
∞
|
f
(
x
)
|
d
x
{\displaystyle \int \limits _{0}^{\infty }\limits \!|f(x)|\,dx}
Випадок
σ
>
σ
a
{\displaystyle \sigma >\sigma _{a}}
: перетворення Лапласа існує, якщо інтеграл
∫
0
x
1
|
f
(
x
)
|
d
x
{\displaystyle \int \limits _{0}^{x_{1}}\limits \!|f(x)|\,dx}
існує для кожного скінченного
x
1
>
0
{\displaystyle x_{1}>0}
и
|
f
(
x
)
|
⩽
K
e
σ
a
x
{\displaystyle |f(x)|\leqslant Ke^{\sigma _{a}x}}
для
x
>
x
2
⩾
0
{\displaystyle x>x_{2}\geqslant 0}
Випадок
σ
>
0
{\displaystyle \sigma >0}
або
σ
>
σ
a
{\displaystyle \sigma >\sigma _{a}}
(яка із границь більша): перетворення Лапласа існує,якщо існує перетворення Лапласа для функції
f
′
(
x
)
{\displaystyle f'(x)}
(похідна до
f
(
x
)
{\displaystyle f(x)}
) для
σ
>
σ
a
{\displaystyle \sigma >\sigma _{a}}
.
Достатані умови існування оберненого перетворення Лапласа
1. Якщо
F
(
s
)
{\displaystyle F(s)}
— аналітична функція для
σ
⩾
σ
a
{\displaystyle \sigma \geqslant \sigma _{a}}
і має порядок менше −1, то обернене перетворення для неї існує і є неперервним для всіх значень аргумента, причому
L
−
1
{
F
(
s
)
}
=
0
{\displaystyle {\mathcal {L}}^{-1}\{F(s)\}=0}
для
t
⩽
0
{\displaystyle t\leqslant 0}
2. Нехай
F
(
s
)
=
φ
[
F
1
(
s
)
,
F
2
(
s
)
,
…
,
F
n
(
s
)
]
{\displaystyle F(s)=\varphi [F_{1}(s),F_{2}(s),\dots ,F_{n}(s)]}
, так щоб
φ
(
z
1
,
z
2
,
…
,
z
n
)
{\displaystyle \varphi (z_{1},z_{2},\dots ,z_{n})}
аналітична відносно кожного
z
k
{\displaystyle z_{k}}
і рівна нулю для
z
1
=
z
2
=
⋯
=
z
n
=
0
{\displaystyle z_{1}=z_{2}=\dots =z_{n}=0}
, і
F
k
(
s
)
=
L
{
f
k
(
x
)
{
(
σ
>
σ
a
k
:
k
=
1
,
2
,
…
,
n
)
{\displaystyle F_{k}(s)={\mathcal {L}}\{f_{k}(x)\{(\sigma >\sigma _{ak}\colon k=1,2,\dots ,n)}
, тоді обернене перетворення існує і відповідне пряме перетворення має абсцису абсолютної збіжності.
Перетворенням Лапласа згортки двох оригіналів є добуток зображень цих оригіналів.
L
{
f
(
x
)
∗
g
(
x
)
}
=
L
{
f
(
x
)
}
⋅
L
{
g
(
x
)
}
{\displaystyle {\mathcal {L}}\{f(x)*g(x)\}={\mathcal {L}}\{f(x)\}\cdot {\mathcal {L}}\{g(x)\}}
f
(
x
)
g
(
0
)
+
∫
0
x
f
(
x
−
τ
)
g
′
(
τ
)
d
τ
=
L
−
1
{
s
F
(
s
)
G
(
s
)
}
{\displaystyle f(x)g(0)+\int \limits _{0}^{x}\limits \!f(x-\tau )g'(\tau )\,d\tau ={\mathcal {L}}^{-1}\{sF(s)G(s)\}}
Ліва частина цього виразу називається інтегралом Дюамеля .
Диференціювання і інтегрування оригіналу
Для перетворення Лапласа від похідної функції виконується рівність:
L
{
f
′
(
x
)
}
=
s
⋅
F
(
s
)
−
f
(
0
+
)
{\displaystyle {\mathcal {L}}\{f'(x)\}=s\cdot F(s)-f(0^{+})}
Для похідної
n
{\displaystyle n}
-го порядку:
L
{
f
(
n
)
(
x
)
}
=
s
n
⋅
F
(
s
)
−
s
n
−
1
f
(
0
+
)
−
⋯
−
f
(
n
−
1
)
(
0
+
)
{\displaystyle {\mathcal {L}}\left\{f^{(n)}(x)\right\}=s^{n}\cdot F(s)-s^{n-1}f(0^{+})-\dots -f^{(n-1)}(0^{+})}
Перетворення Лапласа від інтеграла функції дорівнює:
L
{
∫
0
x
f
(
t
)
d
t
}
=
F
(
s
)
s
{\displaystyle {\mathcal {L}}\left\{\int \limits _{0}^{x}\limits \!f(t)\,dt\right\}={\frac {F(s)}{s}}}
Дифренціювання та інтегрування зображення
Обернене перетворення Лапласа від похідної функції дорівнює:
L
−
1
{
F
′
(
s
)
}
=
−
x
f
(
x
)
{\displaystyle {\mathcal {L}}^{-1}\{F'(s)\}=-xf(x)}
Обернене перетворення Лапласа від інтеграла функції дорівнює:
L
−
1
{
∫
s
+
∞
F
(
s
)
d
s
}
=
f
(
x
)
x
{\displaystyle {\mathcal {L}}^{-1}\left\{\int \limits _{s}^{+\infty }\limits \!F(s)\,ds\right\}={\frac {f(x)}{x}}}
Запізнення оригіналів і зображень. Граничні теореми
Запізнення зображень:
L
{
e
a
x
f
(
x
)
}
=
F
(
s
−
a
)
{\displaystyle {\mathcal {L}}\left\{e^{ax}f(x)\right\}=F(s-a)}
L
−
1
{
F
(
s
−
a
)
}
=
e
a
x
f
(
x
)
{\displaystyle {\mathcal {L}}^{-1}\left\{F(s-a)\right\}=e^{ax}f(x)}
Запізнення оригіналів:
L
{
f
(
t
−
a
)
u
(
t
−
a
)
}
=
e
−
a
s
F
(
s
)
{\displaystyle {\mathcal {L}}\left\{f(t-a)u(t-a)\right\}=e^{-as}F(s)}
L
−
1
{
e
−
a
s
F
(
s
)
}
=
f
(
x
−
a
)
u
(
x
−
a
)
{\displaystyle {\mathcal {L}}^{-1}\left\{e^{-as}F(s)\right\}=f(x-a)u(x-a)}
де
u
(
x
)
{\displaystyle u(x)}
— Функція Гевісайда .
Лінійність
L
{
a
f
(
x
)
+
b
g
(
x
)
}
=
a
F
(
s
)
+
b
G
(
s
)
{\displaystyle {\mathcal {L}}\left\{af(x)+bg(x)\right\}=aF(s)+bG(s)}
Множення на число
L
{
f
(
a
x
)
}
=
1
a
F
(
s
a
)
{\displaystyle {\mathcal {L}}\left\{f(ax)\right\}={\frac {1}{a}}F\left({\frac {s}{a}}\right)}
Пряме і обернене перетворення Лапласа деяких функцій[ ред. | ред. код ]
№
Функція
Часова область
x
(
t
)
=
L
−
1
{
X
(
s
)
}
{\displaystyle x(t)={\mathcal {L}}^{-1}\left\{X(s)\right\}}
Частотна область
X
(
s
)
=
L
{
x
(
t
)
}
{\displaystyle X(s)={\mathcal {L}}\left\{x(t)\right\}}
Область збіжності
1
ідеальне запізнення
δ
(
t
−
τ
)
{\displaystyle \delta (t-\tau )\ }
e
−
τ
s
{\displaystyle e^{-\tau s}\ }
1a
одиничний імпульс
δ
(
t
)
{\displaystyle \delta (t)\ }
1
{\displaystyle 1\ }
∀
s
{\displaystyle \forall \ s\,}
2
запізнення n -го порядку з частотним зсувом
(
t
−
τ
)
n
n
!
e
−
α
(
t
−
τ
)
⋅
u
(
t
−
τ
)
{\displaystyle {\frac {(t-\tau )^{n}}{n!}}e^{-\alpha (t-\tau )}\cdot u(t-\tau )}
e
−
τ
s
(
s
+
α
)
n
+
1
{\displaystyle {\frac {e^{-\tau s}}{(s+\alpha )^{n+1}}}}
s
>
0
{\displaystyle s>0\,}
2a
степенева n -го порядку
t
n
n
!
⋅
u
(
t
)
{\displaystyle {t^{n} \over n!}\cdot u(t)}
1
s
n
+
1
{\displaystyle {1 \over s^{n+1}}}
s
>
0
{\displaystyle s>0\,}
2a.1
степенева q -го порядку
t
q
Γ
(
q
+
1
)
⋅
u
(
t
)
{\displaystyle {t^{q} \over \Gamma (q+1)}\cdot u(t)}
1
s
q
+
1
{\displaystyle {1 \over s^{q+1}}}
s
>
0
{\displaystyle s>0\,}
2a.2
одинична функція
u
(
t
)
{\displaystyle u(t)\ }
1
s
{\displaystyle {1 \over s}}
s
>
0
{\displaystyle s>0\,}
2b
одинична функція з запізненням
u
(
t
−
τ
)
{\displaystyle u(t-\tau )\ }
e
−
τ
s
s
{\displaystyle {e^{-\tau s} \over s}}
s
>
0
{\displaystyle s>0\,}
2c
«сходинка швидкості»
t
⋅
u
(
t
)
{\displaystyle t\cdot u(t)\ }
1
s
2
{\displaystyle {\frac {1}{s^{2}}}}
s
>
0
{\displaystyle s>0\,}
2d
n -го порядку з частотним зсувом
t
n
n
!
e
−
α
t
⋅
u
(
t
)
{\displaystyle {\frac {t^{n}}{n!}}e^{-\alpha t}\cdot u(t)}
1
(
s
+
α
)
n
+
1
{\displaystyle {\frac {1}{(s+\alpha )^{n+1}}}}
s
>
−
α
{\displaystyle s>-\alpha \,}
2d.1
експоненційне затухання
e
−
α
t
⋅
u
(
t
)
{\displaystyle e^{-\alpha t}\cdot u(t)\ }
1
s
+
α
{\displaystyle {1 \over s+\alpha }}
s
>
−
α
{\displaystyle s>-\alpha \ }
3
експоненційне наближення
(
1
−
e
−
α
t
)
⋅
u
(
t
)
{\displaystyle (1-e^{-\alpha t})\cdot u(t)\ }
α
s
(
s
+
α
)
{\displaystyle {\frac {\alpha }{s(s+\alpha )}}}
s
>
0
{\displaystyle s>0\ }
4
синус
sin
(
ω
t
)
⋅
u
(
t
)
{\displaystyle \sin(\omega t)\cdot u(t)\ }
ω
s
2
+
ω
2
{\displaystyle {\omega \over s^{2}+\omega ^{2}}}
s
>
0
{\displaystyle s>0\ }
5
косинус
cos
(
ω
t
)
⋅
u
(
t
)
{\displaystyle \cos(\omega t)\cdot u(t)\ }
s
s
2
+
ω
2
{\displaystyle {s \over s^{2}+\omega ^{2}}}
s
>
0
{\displaystyle s>0\ }
6
гіперболічний синус
sinh
(
α
t
)
⋅
u
(
t
)
{\displaystyle \sinh(\alpha t)\cdot u(t)\ }
α
s
2
−
α
2
{\displaystyle {\alpha \over s^{2}-\alpha ^{2}}}
s
>
|
α
|
{\displaystyle s>|\alpha |\ }
7
гіперболічний косинус
cosh
(
α
t
)
⋅
u
(
t
)
{\displaystyle \cosh(\alpha t)\cdot u(t)\ }
s
s
2
−
α
2
{\displaystyle {s \over s^{2}-\alpha ^{2}}}
s
>
|
α
|
{\displaystyle s>|\alpha |\ }
8
експоненційно затухаючий синус
e
−
α
t
sin
(
ω
t
)
⋅
u
(
t
)
{\displaystyle e^{-\alpha t}\sin(\omega t)\cdot u(t)\ }
ω
(
s
+
α
)
2
+
ω
2
{\displaystyle {\omega \over (s+\alpha )^{2}+\omega ^{2}}}
s
>
−
α
{\displaystyle s>-\alpha \ }
9
експоненційно затухаючий косинус
e
−
α
t
cos
(
ω
t
)
⋅
u
(
t
)
{\displaystyle e^{-\alpha t}\cos(\omega t)\cdot u(t)\ }
s
+
α
(
s
+
α
)
2
+
ω
2
{\displaystyle {s+\alpha \over (s+\alpha )^{2}+\omega ^{2}}}
s
>
−
α
{\displaystyle s>-\alpha \ }
10
корінь n -го порядку
t
n
⋅
u
(
t
)
{\displaystyle {\sqrt[{n}]{t}}\cdot u(t)}
s
−
(
n
+
1
)
/
n
⋅
Γ
(
1
+
1
n
)
{\displaystyle s^{-(n+1)/n}\cdot \Gamma \left(1+{\frac {1}{n}}\right)}
s
>
0
{\displaystyle s>0\,}
11
натуральний логарифм
ln
(
t
t
0
)
⋅
u
(
t
)
{\displaystyle \ln \left({t \over t_{0}}\right)\cdot u(t)}
−
t
0
s
[
ln
(
t
0
s
)
+
γ
]
{\displaystyle -{t_{0} \over s}\ [\ \ln(t_{0}s)+\gamma \ ]}
s
>
0
{\displaystyle s>0\,}
12
функція Бесселя першого роду порядку n
J
n
(
ω
t
)
⋅
u
(
t
)
{\displaystyle J_{n}(\omega t)\cdot u(t)}
ω
n
(
s
+
s
2
+
ω
2
)
−
n
s
2
+
ω
2
{\displaystyle {\frac {\omega ^{n}\left(s+{\sqrt {s^{2}+\omega ^{2}}}\right)^{-n}}{\sqrt {s^{2}+\omega ^{2}}}}}
s
>
0
{\displaystyle s>0\,}
(
n
>
−
1
)
{\displaystyle (n>-1)\,}
13
модифікована функція Бесселя першого роду порядку n
I
n
(
ω
t
)
⋅
u
(
t
)
{\displaystyle I_{n}(\omega t)\cdot u(t)}
ω
n
(
s
+
s
2
−
ω
2
)
−
n
s
2
−
ω
2
{\displaystyle {\frac {\omega ^{n}\left(s+{\sqrt {s^{2}-\omega ^{2}}}\right)^{-n}}{\sqrt {s^{2}-\omega ^{2}}}}}
s
>
|
ω
|
{\displaystyle s>|\omega |\,}
14
функція Бесселя другого роду нульового порядку
Y
0
(
α
t
)
⋅
u
(
t
)
{\displaystyle Y_{0}(\alpha t)\cdot u(t)}
15
модифікована функція Бесселя другого роду, нульового порядку
K
0
(
α
t
)
⋅
u
(
t
)
{\displaystyle K_{0}(\alpha t)\cdot u(t)}
16
функція помилок
e
r
f
(
t
)
⋅
u
(
t
)
{\displaystyle \mathrm {erf} (t)\cdot u(t)}
e
s
2
/
4
erfc
(
s
/
2
)
s
{\displaystyle {e^{s^{2}/4}\operatorname {erfc} \left(s/2\right) \over s}}
s
>
0
{\displaystyle s>0\,}
Примітки до таблиці:
u
(
t
)
{\displaystyle u(t)\,}
— Функція Гевісайда .
δ
(
t
)
{\displaystyle \delta (t)\,}
— дельта-функція .
Γ
(
z
)
{\displaystyle \Gamma (z)\,}
— гамма-функція .
γ
{\displaystyle \gamma \,}
— стала Ейлера — Маскероні .
t
{\displaystyle t\,}
, — дійсна змінна.
s
{\displaystyle s\,}
— комплексна змінна.
α
{\displaystyle \alpha \,}
,
β
{\displaystyle \beta \,}
,
τ
{\displaystyle \tau \,}
и
ω
{\displaystyle \omega \,}
— дійсні числа .
n
{\displaystyle n\,}
— ціле число .
Перетворення Лапласа широко використовується в математиці , фізиці і техніці .
Ляшко І.І. , Ємельянов В.Ф., Боярчук О.К. Математичний аналіз. Частина 2 . — К. : Вища школа , 1993. — 375 с. — ISBN 5-11-003758-2 .(укр.)
Грищенко О.Ю. , Нагнибіда М.І. , Настасієв П.П. Теорія функцій комплексної змінної. — К.: : Вища школа , 1994. — 375 с.(укр.)
Ван-дер Поль Б., Бремер Х. Операционное исчисление на основе двустороннего преобразования Лапласа.-М., ИЛ, 1952
Диткин В. А., Прудников А. П. Интегральные преобразования и операционное исчисление.- М, Физматгиз, 1961
Диткин В. А., Прудников А. П. Интегральные преобразования и операционное исчисление.- М, Физматгиз, 1974.-542 с.
Карслоу Х., Егер Д. Операционные методы в прикладной математике.-М., ИЛ, 1948
Кожевников Н. И., Краснощекова Т. И., Шишкин Н. Е. Ряды и интегралы Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа.-М., Наука, 1964
Краснов М. Л., Макаренко Г. И. Операционное исчисление. Устойчивость движения.-М., Наука, 1964.-103 с.
Микусинский Я. Операторное исчисление.-М., ИЛ, 1956
Романовский П. И. Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа.-М., Наука, 1980.-336 с.