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

Материал из свободной русской энциклопедии «Традиция»
Перейти к навигации Перейти к поиску
Преобразование Лапласа
L \mathcal{L}
L { f ( t ) } = F ( u ) = \mathcal{L} \left\{ f \left( t \right) \right\} = F \left( u \right) = = 0 e u t f ( t ) d t = \int\limits_{ 0 }^{ \infty } e^{-ut} f \left( t \right) dt
L A T E X \mathrm{L\!\!^{{}_{\scriptstyle A}} \!\!\!\!\!\;\; T\!_{\displaystyle E} \! X} :
\mathcal{L}
Обращение:
f ( t ) = L 1 { F ( u ) } = f \left( t \right) = \mathcal{L}^{-1} \left\{ F \left( u \right) \right\} = = c i c + i e u t 2 π i F ( u ) d u = \int\limits_{ c - i \infty }^{ c + i \infty } \frac{ e^{ut} }{2 \pi i} F \left( u \right) du
Введение:
Ввёл:
Пьер-Симон Лаплас
Названо в честь:
Пьер-Симон Лаплас

Преобразова́ние Лапла́са — интегральное преобразование, связывающее функцию   F ( s ) \ F(s) комплексного переменного (изображение) с функцией   f ( x ) \ f(x) действительного переменного (оригинал). С его помощью исследуются свойства динамических систем, и решаются дифференциальные и интегральные уравнения.

Одной из особенностей преобразования Лапласа, которые предопределили его широкое распространение в научных и инженерных расчётах, является то, что многим соотношениям и операциям над оригиналами соотвествуют более простые соотношения над их изображениями.

Определение[править | править код]

Прямое преобразование Лапласа[править | править код]

Преобразование Лапласа функции действительного переменного   f ( x ) \ f(x) , называется функция   F ( s ) \ F(s) комплексного переменного s = σ + i ω s = \sigma + i \omega \, , такая что: F ( s ) = L { f ( x ) } = 0 . e s t f ( t ) d t . F(s) = \mathcal{L} \left\{f(x)\right\} =\int_{0^.}^\infty e^{-st} f(t)\,dt.

Левая часть этого выражения называется интегралом Лапласа.

Обратное преобразование Лапласа[править | править код]

Обратным преобразованием Лапласа функции комплексного переменного   F ( s ) \ F(s) , называется функция   f ( x ) \ f(x) действительного переменного, такая что: f ( x ) = L 1 { F ( s ) } = 1 2 π i σ 1 i σ 1 + i e s x F ( s ) d s , f(x) = \mathcal{L}^{-1} \{F(s)\} = \frac{1}{2 \pi i} \int_{ \sigma_1 - i \cdot \infty}^{ \sigma_1 + i \cdot \infty} e^{sx} F(s)\,ds,

где σ 1   \sigma_1 \  — некоторое вещественное число (см. условия существования).

Двустороннее преобразование Лапласа[править | править код]

Двустороннее преобразование Лапласа — обобщение на случай задач, в которых для функции   f ( x ) \ f(x) участвуют значения   x < 0 \ x < 0

Двусторонее преобразование Лапласа определяется следующим образом: F ( s ) = L { f ( x ) } = + e s x f ( x ) d x . F(s) = \mathcal{L}\left\{f(x)\right\} =\int_{-\infty}^{+\infty} e^{-sx} f(x)\,dx.

Дискретное преобразование Лапласа[править | править код]

Применяется в сфере систем компьютерного управления. Таким образом, дискретное преобразование Лапласа может быть применено для решётчатых функций.
Различают   D \ D -преобразование и   Z \ Z -преобразование.

  •   D \ D -преобразование

Пусть x d ( n T ) = n = 0 x ( n T ) δ ( t n T ) x_d \left( {nT} \right) = \sum\limits_{n = 0}^\infty {x\left( {nT} \right) \cdot \delta \left( {t - nT} \right)}  — решётчатая функция, то есть значения этой функции определены только в дискретные моменты времени   n T \ nT , где   n \ n  — целое число, а   T \ T  — период дискретизации.
Тогда применяя преобразование Лапласа получим:
L { x d ( t ) } = n = 0 x ( n T ) e s n T = D { x ( n T ) } \mathcal{L}\left\{ {x_d \left( t \right)} \right\} = \sum\limits_{n = 0}^\infty {x\left( {nT} \right) \cdot e^{ - snT} } = \mathcal{D}\left\{ {x(nT)} \right\}

  •   Z \ Z -преобразование
Icons-mini-icon 2main.png Основная статья: Z-преобразование

Если применить следующую замену переменных:
  z = e s T \ z = e^{ sT } ,
получим Z-преобразование:
Z { x ( n T ) } = n = 0 x ( n T ) z n \mathcal{Z}\left\{ {x \left( {nT} \right)} \right\} = \sum\limits_{n = 0}^\infty {x\left( {nT} \right) \cdot z^{ - n} }

Свойства и теоремы[править | править код]

  • Абсолютная сходимость

Если интеграл Лапласа абсолютно сходится при σ = σ 0 \sigma = \sigma_0 \! , то есть существует предел lim b 0 b f ( x ) e σ 0 x d x = 0 f ( x ) e σ 0 x d x , \lim_{b \to \infty} \int_{0}^{b} \mid f(x) \mid e^{-\sigma_0 x} dx = \int_{0}^{\infty} \mid f(x) \mid e^{-\sigma_0 x} dx,

то он сходится абсолютно и равномерно для σ σ 0 \sigma \ge \sigma_0 \! и F ( s ) F(s) \!  — аналитичная функция при σ σ 0 \sigma \ge \sigma_0 \! ( σ = R e ( s ) \sigma = Re(s) \!  — действительная часть комплексной переменной s s \! ). Точная нижняя грань σ a \sigma_a \! множества чисел σ \sigma \! , при которых это условие выполняется, называется абсциссой абсолютной сходимости преобразования Лапласа для функции f ( x ) f(x) \! .


  • Условия существования прямого преобразования Лапласа

Преобразование Лапласа L { f ( x ) } \mathcal{L} \{f(x) \} \! существует в смысле абсолютной сходимости в следующих случаях:

  1. Случай σ 0 \sigma \ge 0 \! : преобразование Лапласа существует, если существует интеграл 0 | f ( x ) | d x \int_{0}^{\infty}|f(x)| dx
  2. Случай σ > σ a \sigma > \sigma_a \! : преобразование Лапласа существует, если интеграл 0 x 1 | f ( x ) | d x \int_{0}^{x_1}|f(x)| dx существует для каждого конечного x 1 > 0 x_1 > 0 \! и | f ( t ) | K e σ a x |f(t)| \le Ke^{\sigma_ax} \! для x > x 2 0 x > x_2 \ge 0 \!
  3. Случай σ > 0 \sigma > 0 \! или σ > σ a \sigma > \sigma_a \! (какая из границ больше): преобразование Лапласа существует, если существует преобразование Лапласа для функции f ( x ) f(x)' \! (производная к f ( x ) f(x) \! ) для σ > σ a \sigma > \sigma_a \! .

Примечание: это достаточные условия существования.


  • Условия существования обратного преобразования Лапласа

Для существования обратного преобразования Лапласа достаточно выполнение следующих условий:

1. Если изображение F ( s ) F(s) \!  — аналитичная функция для σ σ a \sigma \ge \sigma_a \! и имеет порядок меньше −1, то обратное преобразование для неё существует и непрерывно для всех значений аргумента, причём L 1 { F ( s ) } = 0 \mathcal{L}^{-1} \{F(s) \} = 0 \! для t 0 t \le 0 \!

2. Пусть F ( s ) = ϕ [ F 1 ( s ) , F 2 ( s ) , , F n ( s ) ] F(s) = \phi[F_1(s), F_2(s), \dots, F_n(s)] \! , так что ϕ ( z 1 , z 2 , , z n ) \phi(z_1, z_2, \dots, z_n) \! аналитична относительно каждого z k z_k \! и равна нулю для z 1 = z 2 = = z n = 0 z_1 = z_2 = \dots = z_n = 0 \! , и F k ( s ) = L { f k ( x ) { ( σ > σ a k : k = 1 , 2 , , n ) ; F_k(s) = \mathcal{L} \{f_k(x) \{ (\sigma > \sigma_{ak} : k = 1, 2, \dots, n); , тогда обратное преобразование существует и соответствующее прямое преобразование имеет абсциссу абсолютной сходимости.

Примечание: это достаточные условия существования.


  • Теорема о свёртке
Icons-mini-icon 2main.png Основная статья: Теорема о свёртке

Преобразованием Лапласа свёртки двух оригиналов является произведение изображений этих оригиналов. L { f ( x ) g ( x ) } = L { f ( x ) } L { g ( x ) } \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 τ = s F ( s ) G ( s ) f(x)g(0) + \int_{0}^{x} f(x-\tau)g'(\tau) d\tau = sF(s)G(s)

Левая часть этого выражения называется интегралом Дюамеля, играющим важную роль в теории динамических систем.


  • Дифференцирование и интегрирование оригинала

Изображением по Лапласу первой производной от оригинала по аргументу является произведение изображения на аргумент последнего за вычетом оригинала в нуле справа. L { f ( x ) } = s F ( s ) f ( 0 + ) \mathcal{L} \{f'(x)\} = s \cdot F(s) - f(0^+)

В более общем случае (производная n n \! -го порядка): L { f ( n ) ( x ) } = s n F ( s ) s n 1 f ( 0 + ) f ( n 1 ) ( 0 + ) \mathcal{L}\left\{ f^{(n)} (x) \right\} = s^n \cdot F(s) - s^{n - 1} f(0^+) - \cdots - f^{(n - 1)}(0^+)

Изображением по Лапласу интеграла от оригинала по аргументу является изображение оригинала деленное на свой аргумент. L { 0 x f ( t ) d t } = F ( s ) s \mathcal{L} \left\{ \int_{0}^{x} f(t) dt \right\} = \frac{F(s)}{s}


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

Обратное преобразование Лапласа от производной изображения по аргументу есть произведение оригинала на свой аргумент, взятое с обратным знаком. L 1 { F ( s ) } = x f ( x ) \mathcal{L}^{-1} \{F'(s)\} = -x \cdot f(x)

Обратное преобразование Лапласа от интеграла изображения по аргументу есть оригинал этого изображения, деленный на свой аргумент. L 1 { s + F ( s ) d s } = f ( x ) x \mathcal{L}^{-1} \left\{ \int_{s}^{+\infty} F(s) ds \right\} = \frac{f(x)}{x}


  • Запаздывание оригиналов и изображений. Предельные теоремы

Запаздывание изображения: L { e a x f ( x ) } = F ( s a ) \mathcal{L}\left\{ e^{ax} f(x) \right\} = F(s - a) \! L 1 { F ( s a ) } = e a x f ( x ) \mathcal{L}^{-1} \left\{ F(s - a) \right\} = e^{ax} f(x) \!

Запаздывание оригинала: L { f ( t a ) u ( t a ) } = e a s F ( s ) \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 ) \mathcal{L}^{-1} \left\{ e^{-as} F(s) \right\} = f(x - a) u(x - a) \! Примечание: u ( x ) u(x) \!  — Функция Хевисайда.

Теоремы о начальном и конечном значении (предельные теоремы): f ( ) = lim s 0 s F ( s ) , f(\infty)=\lim_{s\to 0}{sF(s)} \!, все полюсы в левой полуплоскости Теорема о конечном значении очень полезна, так как описывает поведение оригинала на бесконечности с помощью простого соотношения. Это, к примеру, используется для анализа устойчивости траектории динамической системы. lim s s F ( s ) = f ( 0 + 0 ) = \lim_{s\to \infty}{sF(s)} = f(0 + 0)= \!

  • Другие свойства

Линейность L { a f ( x ) + b g ( x ) } = a F ( s ) + b G ( s ) \mathcal{L}\left\{a f(x) + b g(x) \right\} = a F(s) + b G(s)

Умножение на число L { f ( a x ) } = 1 a F ( s a ) \mathcal{L} \left\{ f(ax) \right\} = {1 \over a} F \left ( {s \over a} \right )

Прямое и обратное преобразование Лапласа некоторых функций[править | править код]

Ниже представлена таблица преобразования Лапласа для некоторых функций.

Функция Временная область
x ( t ) = L 1 { X ( s ) } x(t) = \mathcal{L}^{-1} \left\{ X(s) \right\}
Частотная область
X ( s ) = L { x ( t ) } X(s) = \mathcal{L}\left\{ x(t) \right\}
Область сходимости
для причинных систем
1 идеальное запаздывание δ ( t τ )   \delta(t-\tau) \ e τ s   e^{-\tau s} \
1a единичный импульс δ ( t )   \delta(t) \ 1   1 \ all   s \mathrm{all} \ s \,
2 запаздывание n-го порядка с частотным сдвигом ( t τ ) n n ! e α ( t τ ) u ( t τ ) \frac{(t-\tau)^n}{n!} e^{-\alpha (t-\tau)} \cdot u(t-\tau) e τ s ( s + α ) n + 1 \frac{e^{-\tau s}}{(s+\alpha)^{n+1}} s > 0 s > 0 \,
2a степенная n-го порядка t n n ! u ( t ) { t^n \over n! } \cdot u(t) 1 s n + 1 { 1 \over s^{n+1} } s > 0 s > 0 \,
2a.1 степенная q-го порядка t q Γ ( q + 1 ) u ( t ) { t^q \over \Gamma(q+1) } \cdot u(t) 1 s q + 1 { 1 \over s^{q+1} } s > 0 s > 0 \,
2a.2 единичная функция u ( t )   u(t) \ 1 s { 1 \over s } s > 0 s > 0 \,
2b единичная функция с запаздыванием u ( t τ )   u(t-\tau) \ e τ s s { e^{-\tau s} \over s } s > 0 s > 0 \,
2c «ступенька скорости» t u ( t )   t \cdot u(t)\ 1 s 2 \frac{1}{s^2} s > 0 s > 0 \,
2d n-го порядка с частотным сдвигом t n n ! e α t u ( t ) \frac{t^{n}}{n!}e^{-\alpha t} \cdot u(t) 1 ( s + α ) n + 1 \frac{1}{(s+\alpha)^{n+1}} s > α s > - \alpha \,
2d.1 экспоненциальное затухание e α t u ( t )   e^{-\alpha t} \cdot u(t) \ 1 s + α { 1 \over s+\alpha } s > α   s > - \alpha \
3 экспоненциальное приближение ( 1 e α t ) u ( t )   ( 1-e^{-\alpha t}) \cdot u(t) \ α s ( s + α ) \frac{\alpha}{s(s+\alpha)} s > 0   s > 0\
4 синус sin  Синус  ( ω t ) u ( t )   \sin(\omega t) \cdot u(t) \ ω s 2 + ω 2 { \omega \over s^2 + \omega^2 } s > 0   s > 0 \
5 косинус cos  Косинус  ( ω t ) u ( t )   \cos(\omega t) \cdot u(t) \ s s 2 + ω 2 { s \over s^2 + \omega^2 } s > 0   s > 0 \
6 гиперболический синус sh  Гиперболический синус  ( α t ) u ( t )   \sinh(\alpha t) \cdot u(t) \ α s 2 α 2 { \alpha \over s^2 - \alpha^2 } s > | α |   s > | \alpha | \
7 гиперболический косинус ch  Гиперболический косинус  ( α t ) u ( t )   \cosh(\alpha t) \cdot u(t) \ s s 2 α 2 { s \over s^2 - \alpha^2 } s > | α |   s > | \alpha | \
8 экспоненциально затухающий
синус
e α t sin  Синус  ( ω t ) u ( t )   e^{-\alpha t} \sin(\omega t) \cdot u(t) \ ω ( s + α ) 2 + ω 2 { \omega \over (s+\alpha )^2 + \omega^2 } s > α   s > -\alpha \
9 экспоненциально затухающий
косинус
e α t cos  Косинус  ( ω t ) u ( t )   e^{-\alpha t} \cos(\omega t) \cdot u(t) \ s + α ( s + α ) 2 + ω 2 { s+\alpha \over (s+\alpha )^2 + \omega^2 } s > α   s > -\alpha \
10 корень n-го порядка t n u ( t ) \sqrt[n]{t} \cdot u(t) s ( n + 1 ) / n Γ ( 1 + 1 n ) s^{-(n+1)/n} \cdot \Gamma\left(1+\frac{1}{n}\right) s > 0 s > 0 \,
11 натуральный логарифм ln  Натуральный логарифм  ( t t 0 ) u ( t ) \ln \left ( { t \over t_0 } \right ) \cdot u(t) t 0 s   [   ln  Натуральный логарифм  ( t 0 s ) + γ   ] - { t_0 \over s} \ [ \ \ln(t_0 s)+\gamma \ ] s > 0 s > 0 \,
12 функция Бесселя
первого рода
порядка n
J n ( ω t ) u ( t ) J_n( \omega t) \cdot u(t) ω n ( s + s 2 + ω 2 ) n s 2 + ω 2 \frac{ \omega^n \left(s+\sqrt{s^2+ \omega^2}\right)^{-n}}{\sqrt{s^2 + \omega^2}} s > 0 s > 0 \,
( n > 1 ) (n > -1) \,
13 модифицированная функция Бесселя
первого рода
порядка n
I n ( ω t ) u ( t ) I_n(\omega t) \cdot u(t) ω n ( s + s 2 ω 2 ) n s 2 ω 2 \frac{ \omega^n \left(s+\sqrt{s^2-\omega^2}\right)^{-n}}{\sqrt{s^2-\omega^2}} s > | ω | s > | \omega | \,
14 функция Бесселя
второго рода
нулевого порядка
Y 0 ( α t ) u ( t ) Y_0(\alpha t) \cdot u(t)    
15 модифицированная функция Бесселя
второго рода,
нулевого порядка
K 0 ( α t ) u ( t ) K_0(\alpha t) \cdot u(t)    
16 функция ошибок erf ( t ) u ( t ) \mathrm{erf}(t) \cdot u(t) e s 2 / 4 erfc ( s / 2 ) s {e^{s^2/4} \operatorname{erfc} \left(s/2\right) \over s} s > 0 s > 0 \,
Примечания к таблице:

Применения преобразования Лапласа[править | править код]

Преобразование Лапласа находит широкое применение во многих областях математики (операционное исчисление), физики и техники.

  • Расчёт электрических схем. Производится путём решения дифференциальных уравнений, описывающих схему операторным методом.

Связь с другими преобразованиями[править | править код]

Фундаментальные связи[править | править код]

Практически все интегральные преобразования имеют схожую природу и могут получаться одно из другого через выражения соответствия. Многие из них являются частными случаями других преобразований. Далее даны формулы, связывающие преобразования Лапласа с некоторыми другими функциональными преобразованиями.

Преобразование Лапласа-Карсона[править | править код]

Преобразование Лапласа-Карсона получается из преобразования Лапласа путём домножения его на комплексную переменную. L k { f ( x ) } = s F ( s ) \mathcal{L_k}\left\{f(x)\right\} = sF(s)


Двустороннее преобразование Лапласа[править | править код]

Двустороннее преобразование Лапласа = L B = \mathcal{L_B} связано с односторонним с помощью следующей формулы: L B { f ( x ) ; s } = L { f ( x ) ; s } + L { f ( x ) ; s } \mathcal{L_B}\left\{f(x); s\right\} = \mathcal{L}\left\{f(x); s\right\} + \mathcal{L}\left\{f(-x); -s\right\}



Преобразование Фурье[править | править код]

Непрерывное преобразование Фурье эквивалентно двустороннему преобразованию Лапласа с комплексным аргументом s = i ω s = i\omega \! : F ( ω ) = F { f ( x ) } F(\omega) = \mathcal{F}\left\{f(x)\right\} = L { f ( x ) } | s = i ω = F ( s ) | s = i ω = \mathcal{L}\left\{f(x)\right\}|_{s = i \omega} = F(s)|_{s = i \omega} = + e ı ω x f ( x ) d x . = \int_{-\infty}^{+\infty} e^{-\imath \omega x} f(x)\,\mathrm{d}x.

Примечание: в этих выражениях опущен масштабирующий множитель 1 2 π \frac{1}{\sqrt{2 \pi}} , который часто включается в определения преобразования Фурье.

Связь между преобразованиями Фурье и Лапласа часто используется для того, чтобы определить частотный спектр сигнала или динамической системы.

Преобразование Меллина[править | править код]

Преобразование Меллина и обратное преобразование Меллина связаны с двусторонним преобразованием Лапласа простой заменой переменных. Если в преобразовании Меллина G ( s ) = M { g ( θ ) } = 0 θ s g ( θ ) d θ θ G(s) = \mathcal{M}\left\{g(\theta)\right\} = \int_0^\infty \theta^s g(\theta) \frac{d\theta}{\theta} положим θ = exp ( x ) \theta = \exp(-x) \! , то получим двустороннее преобразование Лапласа.

Z-преобразование[править | править код]

Z-преобразование — это преобразование Лапласа решётчатой функции, производимое с помощью замены переменных: z e s T   z \equiv e^{s T} \

где T = 1 / f s T = 1/f_s \!  — период дискретизации, а f s f_s \!  — частота дискретизации сигнала. Связь выражается с помощью следующего соотношения: X q ( s ) = X ( z ) | z = e s T . X_q(s) = X(z) \Big|_{z=e^{sT}}.

Преобразование Бореля[править | править код]

Интегральная форма преобразования Бореля идентична преобразованию Лапласа, существует также обобщённое преобразование Бореля, с помощью которого использование преобразования Лапласа распространяется на более широкий класс функций.

Библиография[править | править код]

  • Ван-дер Поль Б., Бремер Х. Операционное исчисление на основе двустороннего преобразования Лапласа.-М., ИЛ, 1952
  • Диткин В. А., Прудников А. П. Интегральные преобразования и операционное исчисление.- М, Физматгиз, 1961
  • Диткин В. А., Прудников А. П. Интегральные преобразования и операционное исчисление.- М, Физматгиз, 1974.-542 с.
  • Карслоу Х., Егер Д. Операционные методы в прикладной математике.-М., ИЛ, 1948
  • Кожевников Н. И., Краснощекова Т. И., Шишкин Н. Е. Ряды и интегралы Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа.-М., Наука, 1964
  • Краснов М. Л., Макаренко Г. И. Операционное исчисление. Устойчивость движения.-М., Наука, 1964.-103 с.
  • Микусинский Я. Операторное исчисление.-М., ИЛ, 1956
  • Романовский П. И. Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа.-М., Наука, 1980.-336 с.


См. также[править | править код]

Внешние ссылки[править | править код]

eo:Vikipedio:Projekto matematiko/Laplaca konverto ia:Transformation de Laplace