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

Свойства преобразования Лапласа - это набор готовых правил, которые превращают сложные операции над функцией времени (дифференцирование, интегрирование, сдвиг, свёртку) в простую алгебру над образом $F(s)$. Именно ради них операционное исчисление и придумано: не нужно каждый раз считать несобственный интеграл, достаточно знать, как оператор преобразует производную в умножение на $s$, а свёртку - в обычное произведение. Ниже разберём все ключевые свойства, посмотрим, откуда они берутся, и соберём их в одну таблицу.

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

Что вообще преобразуют

Преобразование Лапласа функции $f(t)$, заданной при $t \ge 0$, - это несобственный интеграл

$$F(s) = \mathcal{L}\{f(t)\} = \int_0^\infty f(t)\,e^{-st}\,dt,$$

где $s = \sigma + i\omega$ - комплексный параметр. Ядро $e^{-st}$ при $\operatorname{Re}\,s > \sigma_0$ гасит рост функции, поэтому интеграл сходится в правой полуплоскости. На практике вы почти никогда не считаете этот интеграл руками - вместо этого берёте табличный образ простой функции и «достраиваете» нужный ответ свойствами оператора. Поэтому свойства важнее самого определения: они и есть рабочий инструмент.

Рассчитать для своей задачи

Линейность

Самое простое и самое используемое свойство. Из линейности интеграла сразу следует

$$\mathcal{L}\{\alpha f(t) + \beta g(t)\} = \alpha F(s) + \beta G(s).$$

Это позволяет раскладывать функцию на табличные слагаемые: например, $f(t) = 3 + 2\cos\omega t - e^{-t}$ преобразуется почленно, каждый кусок берётся из таблицы. Линейность работает и в обратную сторону - при обратном преобразовании разложение $F(s)$ на простые дроби тоже опирается именно на неё.

Теорема о производной

Свойство, ради которого метод применяют к дифференциальным уравнениям. Интегрирование по частям даёт

$$\mathcal{L}\{f'(t)\} = sF(s) - f(0).$$

Дифференцирование по $t$ превращается в умножение образа на $s$ с поправкой на начальное значение. Для второй производной:

$$\mathcal{L}\{f''(t)\} = s^2 F(s) - s\,f(0) - f'(0),$$

а в общем виде $\mathcal{L}\{f^{(n)}\} = s^n F(s) - s^{n-1} f(0) - \ldots - f^{(n-1)}(0)$. Начальные условия зашиваются прямо в алгебраическое уравнение для образа - отдельной процедуры подбора констант не нужно. Как именно это свойство решает ОДУ и системы, подробно разобрано в статье про преобразование Лапласа для дифференциальных уравнений.

Теорема об интегрировании

Зеркальное к предыдущему. Интегрирование оригинала делит образ на $s$:

$$\mathcal{L}\left\{\int_0^t f(\tau)\,d\tau\right\} = \frac{F(s)}{s}.$$

Поскольку деление на $s$ соответствует накоплению, это свойство удобно для систем с интеграторами (заряд конденсатора, путь по скорости) - там, где в правой части уравнения стоит интеграл от входного сигнала.

Сдвиг по образу (теорема смещения)

Умножение оригинала на экспоненту сдвигает образ по аргументу:

$$\mathcal{L}\{e^{at} f(t)\} = F(s - a).$$

Это объясняет, почему в таблице у затухающих функций всюду появляется $(s - a)$ вместо $s$. Например, $\mathcal{L}\{e^{-2t}\cos 3t\}$ получается из образа косинуса заменой $s \to s + 2$. Свойство экономит массу вычислений: любую табличную функцию, домноженную на $e^{at}$, преобразуете без интеграла.

Рассчитать для своей задачи

Сдвиг по аргументу (теорема запаздывания)

Сдвиг оригинала во времени с функцией Хевисайда $u(t-a)$ даёт множитель-экспоненту в образе:

$$\mathcal{L}\{u(t-a)\,f(t-a)\} = e^{-as} F(s), \qquad a > 0.$$

Здесь $u(t-a)$ - единичная ступенька, включающаяся в момент $a$. Это свойство - основной инструмент для разрывных и кусочно-заданных сигналов: импульсов, ступенек, прямоугольных пачек. Любой сигнал, «включающийся» с задержкой, в образе несёт множитель $e^{-as}$, и его легко собрать из сдвинутых ступенек.

Масштабирование (теорема подобия)

Сжатие или растяжение по времени масштабирует и образ:

$$\mathcal{L}\{f(at)\} = \frac{1}{a}\,F\!\left(\frac{s}{a}\right), \qquad a > 0.$$

Свойство редко нужно в чистом виде, но важно концептуально: оно показывает, что частотный масштаб образа обратно пропорционален временному масштабу оригинала - растянули сигнал во времени, сжали его «спектр».

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

Симметрично теоремам про оригинал, но теперь операции применяются к $F(s)$. Умножение оригинала на $t$ - это дифференцирование образа со знаком:

$$\mathcal{L}\{t\,f(t)\} = -F'(s), \qquad \mathcal{L}\{t^n f(t)\} = (-1)^n F^{(n)}(s).$$

А деление оригинала на $t$ - интегрирование образа:

$$\mathcal{L}\left\{\frac{f(t)}{t}\right\} = \int_s^\infty F(p)\,dp.$$

Первое из них - быстрый способ получить образы вида $\mathcal{L}\{t\sin\omega t\}$ без интеграла: берёте образ синуса и дифференцируете по $s$.

Теорема о свёртке

Возможно, самое мощное свойство. Образ свёртки двух функций равен произведению их образов:

$$\mathcal{L}\{(f * g)(t)\} = F(s)\,G(s), \qquad (f * g)(t) = \int_0^t f(\tau)\,g(t-\tau)\,d\tau.$$

Свёртка во времени - это произведение в образе. Для теории линейных систем это центральный факт: реакция системы на произвольный вход есть свёртка входа с импульсной характеристикой, а в образе достаточно перемножить передаточную функцию на образ входного сигнала. Обратное преобразование произведения $F(s)G(s)$ при этом всегда можно записать как свёртку - это спасает, когда дробь не раскладывается в таблицу.

Рассчитать для своей задачи

Предельные теоремы

Два свойства, позволяющие узнать поведение оригинала на краях, не вычисляя обратное преобразование. Теорема о начальном значении:

$$f(0^+) = \lim_{s\to\infty} sF(s),$$

и теорема о конечном значении (при условии, что предел существует и полюсы $sF(s)$ лежат в левой полуплоскости):

$$\lim_{t\to\infty} f(t) = \lim_{s\to 0} sF(s).$$

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

Таблица свойств

Собрав всё вместе, получаем рабочую сводку операторов:

Этих восьми строк хватает на подавляющее большинство учебных задач - остальное собирается из них комбинацией.

Частые ошибки

• Забывают начальное значение в теореме о производной. $\mathcal{L}\{f'\} = sF(s)$ без $-f(0)$ - типичная ошибка, из-за которой при ненулевых начальных условиях ответ съезжает.
• Путают два сдвига. Сдвиг по образу $F(s-a)$ соответствует множителю $e^{at}$ во времени, а запаздывание $e^{-as}F(s)$ - сдвигу оригинала. Это разные свойства, и направление экспоненты у них противоположное.
• Применяют теорему запаздывания без множителя Хевисайда. Формула $e^{-as}F(s)$ верна именно для $u(t-a)f(t-a)$, а не просто для $f(t-a)$ - без ступеньки сигнал «существовал бы» при отрицательном времени.
• Используют конечную теорему, не проверив условие. Для синуса или растущей экспоненты предела на бесконечности нет, и $\lim_{s\to 0} sF(s)$ даёт бессмысленный результат.
• Теряют знак при дифференцировании образа. $\mathcal{L}\{t f(t)\} = -F'(s)$ - минус обязателен.

FAQ

Чем отличается сдвиг по образу от сдвига по аргументу? Сдвиг по образу ($e^{at}f(t) \to F(s-a)$) описывает домножение функции на экспоненту - образ смещается по комплексной оси $s$. Сдвиг по аргументу, или запаздывание ($u(t-a)f(t-a) \to e^{-as}F(s)$), описывает задержку сигнала во времени - в образе появляется экспоненциальный множитель. Это два независимых свойства.

Зачем нужна теорема о свёртке, если есть таблица? Когда образ $F(s)G(s)$ не раскладывается на табличные дроби (например, при произвольной импульсной характеристике), обратное преобразование произведения всё равно записывается как свёртка оригиналов. Это даёт ответ там, где разложение на простые дроби невозможно.

Можно ли по свойствам найти оригинал, не зная таблицу обратного преобразования? Частично. Линейность, сдвиги и теорема смещения позволяют свести незнакомый образ к табличному и применить обратное преобразование к каждому слагаемому. Но базовую таблицу пар $f(t) \leftrightarrow F(s)$ всё равно нужно знать - свойства лишь расширяют её, а не заменяют.

Коротко

Свойства преобразования Лапласа - это словарь, который переводит операции анализа в алгебру: производная становится умножением на $s$, интеграл - делением, сдвиг во времени - экспоненциальным множителем, а свёртка - обычным произведением образов. Зная восемь основных свойств и короткую таблицу пар, вы решаете большинство задач операционного исчисления, не вычисляя ни одного несобственного интеграла.