Символы со сходным начертанием: L · Ⅼ · Լ · լ · ւ
Преобразова́ние Лапла́са (ℒ) — интегральное преобразование, связывающее функцию комплексного переменного (изображение) с функцией вещественного переменного (оригинал). С его помощью исследуются свойства динамических систем и решаются дифференциальные и интегральные уравнения.
Одной из особенностей преобразования Лапласа, которые предопределили его широкое распространение в научных и инженерных расчётах, является то, что многим соотношениям и операциям над оригиналами соответствуют более простые соотношения над их изображениями. Так, свёртка двух функций сводится в пространстве изображений к операции умножения, а линейные дифференциальные уравнения становятся алгебраическими.
Определение[править | править код]
Прямое преобразование Лапласа[править | править код]
Преобразованием Лапласа функции вещественной переменной называется функция комплексной переменной [1], такая что:
Правая часть этого выражения называется интегралом Лапласа.
Функцию называют оригиналом в преобразовании Лапласа, а функцию называют изображением функции .
В литературе связь между оригиналом и изображением часто обозначают так: и , причём изображение принято записывать с заглавной буквы.
Обратное преобразование Лапласа[править | править код]
Обратным преобразованием Лапласа функции комплексного переменного называется функция вещественной переменной, такая что:
где — некоторое вещественное число (см. условия существования). Правая часть этого выражения называется интегралом Бромвича[2].
Двустороннее преобразование Лапласа[править | править код]
Двустороннее преобразование Лапласа — обобщение на случай задач, в которых для функции участвуют значения .
Двустороннее преобразование Лапласа определяется следующим образом:
Дискретное преобразование Лапласа[править | править код]
Применяется в сфере систем компьютерного управления. Дискретное преобразование Лапласа может быть применено для решётчатых функций.
Различают -преобразование и -преобразование.
- -преобразование
Пусть — решётчатая функция, то есть значения этой функции определены только в дискретные моменты времени , где — целое число, а — период дискретизации.
Тогда, применяя преобразование Лапласа, получим:
- -преобразование
Если применить следующую замену переменных:
получим -преобразование:
Свойства и теоремы[править | править код]
- Абсолютная сходимость
Если интеграл Лапласа абсолютно сходится при , то есть существует предел
то он сходится абсолютно и равномерно для и — аналитическая функция при ( — вещественная часть комплексной переменной ). Точная нижняя грань множества чисел , при которых это условие выполняется, называется абсциссой абсолютной сходимости преобразования Лапласа для функции .
- Условия существования прямого преобразования Лапласа
Преобразование Лапласа существует в смысле абсолютной сходимости в следующих случаях:
- : преобразование Лапласа существует, если существует интеграл ;
- : преобразование Лапласа существует, если интеграл существует для каждого конечного и для ;
- или (какая из границ больше): преобразование Лапласа существует, если существует преобразование Лапласа для функции (производная от ) для .
Примечание: это достаточные условия существования.
- Условия существования обратного преобразования Лапласа
Для существования обратного преобразования Лапласа достаточно выполнение следующих условий:
- Если изображение — аналитическая функция для и имеет порядок меньше −1, то обратное преобразование для неё существует и непрерывно для всех значений аргумента, причём для .
- Пусть , так что аналитична относительно каждого и равна нулю для , и , тогда обратное преобразование существует и соответствующее прямое преобразование имеет абсциссу абсолютной сходимости.
Примечание: это достаточные условия существования.
- Теорема о свёртке
Преобразованием Лапласа свёртки двух оригиналов является произведение изображений этих оригиналов:
Доказательство
Для свёртки
Преобразование Лапласа:
Для новой переменной
■
- Умножение изображений
Левая часть этого выражения называется интегралом Дюамеля, играющим важную роль в теории динамических систем.
- Дифференцирование и интегрирование оригинала
Изображением по Лапласу первой производной от оригинала по аргументу является произведение изображения на аргумент последнего за вычетом оригинала в нуле справа:
В более общем случае (производная -го порядка):
Изображением по Лапласу интеграла от оригинала по аргументу является изображение оригинала, делённое на свой аргумент:
- Дифференцирование и интегрирование изображения
Обратное преобразование Лапласа от производной изображения по аргументу есть произведение оригинала на свой аргумент, взятое с обратным знаком:
Обратное преобразование Лапласа от интеграла изображения по аргументу есть оригинал этого изображения, делённый на свой аргумент:
- Запаздывание оригиналов и изображений. Предельные теоремы
Запаздывание изображения:
Запаздывание оригинала:
где — функция Хевисайда.
Теоремы о начальном и конечном значении (предельные теоремы):
- , если все полюсы функции находятся в левой полуплоскости.
Теорема о конечном значении очень полезна, так как описывает поведение оригинала на бесконечности с помощью простого соотношения. Это, например, используется для анализа устойчивости траектории динамической системы.
- Другие свойства
Линейность:
Умножение на число:
Прямое и обратное преобразование Лапласа некоторых функций[править | править код]
Ниже представлена таблица преобразования Лапласа для некоторых функций.
№ | Функция | Временная область |
Частотная область |
Область сходимости для причинных систем |
---|---|---|---|---|
1 | дельта-функция | |||
1a | запаздывающая дельта-функция | |||
2 | запаздывание -го порядка с частотным сдвигом | |||
2a | степенная -го порядка | |||
2a.1 | степенная -го порядка | |||
2a.2 | функция Хевисайда | |||
2b | функция Хевисайда с запаздыванием | |||
2c | «ступенька скорости» | |||
2d | -го порядка с частотным сдвигом | |||
2d.1 | экспоненциальное затухание | |||
3 | экспоненциальное приближение | |||
4 | синус | |||
5 | косинус | |||
6 | гиперболический синус | |||
7 | гиперболический косинус | |||
8 | экспоненциально затухающий синус |
|||
9 | экспоненциально затухающий косинус |
|||
10 | корень -го порядка | |||
11 | натуральный логарифм | |||
12 | функция Бесселя первого рода порядка |
|||
13 | модифицированная функция Бесселя первого рода порядка |
|||
14 | функция Бесселя второго рода нулевого порядка |
|||
15 | модифицированная функция Бесселя второго рода нулевого порядка |
|||
16 | функция ошибок | |||
Примечания к таблице:
|
Применения преобразования Лапласа[править | править код]
Преобразование Лапласа находит широкое применение во многих областях математики (операционное исчисление), физики и техники:
- Решение систем дифференциальных и интегральных уравнений — с помощью преобразования Лапласа легко переходить от сложных понятий математического анализа к простым алгебраическим соотношениям.[3]
- Расчёт передаточных функций динамических систем, таких, к примеру, как аналоговые фильтры.
- Расчёт выходных сигналов динамических систем в теории управления и обработке сигналов — так как выходной сигнал линейной стационарной системы равен свёртке её импульсной характеристики с входным сигналом, преобразование Лапласа позволяет заменить эту операцию на простое умножение.
- Расчёт электрических схем. Производится путём решения дифференциальных уравнений, описывающих схему операторным методом.
- Решение нестационарных задач математической физики.
Процедура решения дифференциального уравнения с использованием преобразования Лапласа состоит в следующем:
- По заданному входному воздействию с помощью таблиц соответствий находят изображение.
- По д.у. составляют передаточную функцию.
- Находят изображение величины пунктов 1 и 2.
- Определяют оригинал.[4]
Связь с другими преобразованиями[править | править код]
Фундаментальные связи[править | править код]
Практически все интегральные преобразования имеют схожую природу и могут получаться одно из другого через выражения соответствия. Многие из них являются частными случаями других преобразований. Далее даны формулы, связывающие преобразования Лапласа с некоторыми другими функциональными преобразованиями.
Преобразование Лапласа — Карсона[править | править код]
Преобразование Лапласа — Карсона (иногда называют просто преобразование Карсона, иногда, не совсем корректно, используют преобразование Карсона, называя его преобразованием Лапласа) получается из преобразования Лапласа путём домножения изображения на комплексную переменную:
Преобразование Карсона широко используется в теории электрических цепей, так как при таком преобразовании размерности изображения и оригинала совпадают, поэтому коэффициенты передаточных функций имеют физический смысл.
Двустороннее преобразование Лапласа[править | править код]
Двустороннее преобразование Лапласа связано с односторонним с помощью следующей формулы:
Преобразование Фурье[править | править код]
Непрерывное преобразование Фурье эквивалентно двустороннему преобразованию Лапласа с комплексным аргументом :
Примечание: в этих выражениях опущен масштабирующий множитель , который часто включается в определения преобразования Фурье.
Связь между преобразованиями Фурье и Лапласа часто используется для того, чтобы определить частотный спектр сигнала или динамической системы.
Преобразование Меллина[править | править код]
Преобразование Меллина и обратное преобразование Меллина связаны с двусторонним преобразованием Лапласа простой заменой переменных. Если в преобразовании Меллина
положим , то получим двустороннее преобразование Лапласа.
Z-преобразование[править | править код]
-преобразование — это преобразование Лапласа решётчатой функции, производимое с помощью замены переменных:
где — период дискретизации, а — частота дискретизации сигнала.
Связь выражается с помощью следующего соотношения:
Преобразование Бореля[править | править код]
Интегральная форма преобразования Бореля идентична преобразованию Лапласа, существует также обобщённое преобразование Бореля, с помощью которого использование преобразования Лапласа распространяется на более широкий класс функций.
См. также[править | править код]
- Первая теорема разложения
- Вторая теорема разложения
- Преобразование Фурье
- D с чертой-преобразование
- Дифференциальные уравнения
Примечания[править | править код]
- ↑ В отечественной литературе обозначается также через . См., например,
Диткин В. А., Кузнецов П. И. Справочник по операционному исчислению: Основы теории и таблицы формул. — М.: Государственное издательство технико-теоретической литературы, 1951. — 256 с. - ↑ Жевержеев В. Ф., Кальницкий Л. А., Сапогов Н. А. Специальный курс высшей математики для втузов. — М., Высшая школа, 1970. — с. 231
- ↑ Ващенко-Захарченко М. Е. Символическое исчисление и приложение его к интегрированию линейных дифференциальных уравнений. — Киев, 1862.
- ↑ Архитектура системы автоматического управления группой малых беспилотных летательных аппаратов // Информационные технологии и вычислительные системы. — 2018-03-20. — ISSN 2071-8632. — doi:10.14357/20718632180109.
Литература[править | править код]
- Ван дер Поль Б., Бремер Х. . Операционное исчисление на основе двустороннего преобразования Лапласа. — М.: Издательство иностранной литературы, 1952. — 507 с.
- Диткин В. А., Прудников А. П. . Интегральные преобразования и операционное исчисление. — М.: Главная редакция физико-математической литературы издательства «Наука», 1974. — 544 с.
- Диткин В. А., Кузнецов П. И. . Справочник по операционному исчислению: Основы теории и таблицы формул. — М.: Государственное издательство технико-теоретической литературы, 1951. — 256 с.
- Карслоу Х., Егер Д. . Операционные методы в прикладной математике. — М.: Издательство иностранной литературы, 1948. — 294 с.
- Кожевников Н. И., Краснощёкова Т. И., Шишкин Н. Е. . Ряды и интегралы Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа. — М.: Наука, 1964. — 184 с.
- Краснов М. Л., Макаренко Г. И. . Операционное исчисление. Устойчивость движения. — М.: Наука, 1964. — 103 с.
- Микусинский Я. . Операторное исчисление. — М.: Издательство иностранной литературы, 1956. — 367 с.
- Романовский П. И. . Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразования Лапласа. — М.: Наука, 1980. — 336 с.
Ссылки[править | править код]
- Преобразование Лапласа и его некоторые свойства (dsplib.org) Архивная копия от 12 августа 2018 на Wayback Machine
- Преобразование Лапласа на сайте exponenta.ru
Преобразование Лапласа и его свойства
Основные определения
1. Оригинал — это комплекснозначная функция действительного аргумента , которая удовлетворяет следующим условиям:
а) при ;
б) на любом конечном отрезке функция имеет не более чем конечное число точек разрыва первого рода;
в) имеет ограниченный рост, т.е. возрастает не быстрее показательной функции: существуют такие постоянные и , что при .
Замечания 5.1
1. Величина называется показателем роста функции . Для любой ограниченной функции, являющейся оригиналом, можно принять .
2. Обозначим , если пределы существуют и конечны.
3. Совокупность всех оригиналов называется пространством оригиналов.
4. В точке разрыва первого рода функция имеет конечные односторонние пределы: .
Пример 5.1
2. Изображение функции — функция комплексного переменного , определяемая равенством
(5.1)
Область существования этой функции определяется областью сходимости интеграла Лапласа, стоящего в правой части равенства (5.1). Исследование интeгpaлa позволяет определить эту область и установить свойства функции . Имеет место следующее утверждение.
Утверждение 5.1. Если функция , является оригиналом, то интеграл Лапласа сходится абсолютно в области (рис. 5.1) , где — показатель роста оригинала. Внутри этой области, т.е. на любом замкнутом подмножестве , интеграл сходится равномерно и определяет аналитическую функцию .
Замечания 5.2
1. Утверждение 5.1 аналогично свойствам степенных рядов, сходящихся в круге и равномерно сходящихся внутри этого круга, где сумма ряда является аналитической функцией.
2. Свойство аналитичности изображения имеет важное значение в теории и практике применения преобразования Лапласа, так как позволяет использовать в пространстве изображений методы теории аналитических функций, в частности разложения функций в ряды и теорию вычетов.
3. Совокупность всех изображений называется пространством изображений.
4. Переход, определяющий изображение по оригиналу , называется преобразованием Лапласа:
(5.2)
Запись означает, что оригиналу соответствует изображение .
5. Оригинал по изображению находится с помощью обратного преобразования Лапласа по формуле обращения
(5.3)
где путь интегрирования — любая прямая , параллельная мнимой оси и лежащая правее прямой (рис. 5.1).
Непосредственное применение формулы обращения часто затруднительно. Поэтому на практике пользуются методами, изложенными ранее.
Замечания 5.3
1. Для преобразования Лапласа используются различные обозначения, на пример и , что означает: оригиналу соответствует изображение и изображению соответствует оригинал . В некоторых учебниках вместо аргумента применяется , то есть и .
2. Для компактной записи оригиналов используется единичная ступенчатая функция
(5.4)
где — точка приложения (рис. 5.2). Так как во многих практических задачах аргумент имеет смысл текущего времени, то также называется моментом приложения единичной ступенчатой функции. В системах автоматического регулирования и управления функция рассматривается как типовой входной сигнал.
При функция является функцией Хевисайда:
(5.5)
Тогда, если функция удовлетворяет условиям “б”, “в” в определении оригинала (п. 1), но не удовлетворяет условию “а”, то функция будет оригиналом, так как
Далее под заданной с помощью аналитической формулы функцией , там, где это не вызывает недоразумений, будем понимать произведение этой функции на функцию Хевисайда, а множитель опускать.
3. Функции , являющиеся изображениями, удовлетворяют необходимому условию: если есть изображение, то при . Поэтому функции не являются изображениями. Однако в практических задачах функции типа и другие встречаются. Это требует расширения понятий оригинала и изображения.
Класс оригиналов можно расширить, включив в него функции, которые могут быть не ограничены в окрестности некоторых конечных точек, но такие, что интеграл Лапласа от них, тем не менее, сходится абсолютно в некоторой полуплоскости . К числу таких обобщенных оригиналов относятся степенная функция при и некоторые другие.
4. Во всякой точке , являющейся точкой разрыва функции , правая часть формулы (5.3) равна .
Примеры 5.2-5.3
Пример 5.2. Найти изображение единичной функции Хевисайда .
Решение. Так как функция ограничена, то в качестве показателя роста можно положить . По формуле (5.2) имеем
так как из равенства следует, что при .
Пример 5.3. Найти изображение функции , где — действительное число.
Решение. Показателем роста можно считать . По формуле (5.2)
так как из равенства следует, что при .
Свойства преобразования Лапласа
Будем предполагать, что рассматриваемые далее функции являются оригиналами. Соответствующие им изображения (при ) обозначим .
1. Линейность. Если — оригиналы, то для любых комплексных чисел , функция также является оригиналом и справедливо равенство
(5.6)
Заметим, что для функции существенно, что все слагаемыс являются оригиналами, так как, например, функция является оригиналом, а слагаемые и не являются.
Справедливо и обратное утверждение: если — изображения, то
Здесь также важно, что слагаемые функции являются изображениями, поскольку из того, что — изображение, не следует, что — изображения. Например, функция является изображением, а слагаемые и не являются.
Примеры 5.4-5.5
Пример 5.4. Найти изображение функции .
Решение. Из примера 5.2 имеем , а из примера 5.3 при имеем . Тогда согласно свойству линейности для оригинала получаем .
Пример 5.5. Найти изображение функции .
Решение. Используя формулу Эйлера (2.11), получаем .
Из примера 5.3 при и следует: . Тогда по свойству линейности
2. Подобие (теорема подобия). Для любого из следует
(5.7)
и обратно: .
Пример 5.6
Найти изображение функции .
Решение. Из примера 5.5 следует, что . Тогда по теореме подобия
3. Смещение (теорема смещения). При любом комплексном из следует
(5.8)
то есть умножению оригинала на соответствует смещение изображения на .
Пример 5.7
Найти изображение функции .
Решение. Из примера 5.6 следует . Тогда по теореме смещения .
Запаздывание оригинала
4. Запаздывание (теорема запаздывания). Для любого из следует
(5.9)
где (рис. 5.3), т.е. запаздыванию оригинала на соответствует умножение изображения на .
Примеры 5.8-5.10
Пример 5.8. Найти изображение функции .
Решение. В примере 5.5 получено . По теореме запаздывания при имеем .
Пример 5.9. Найти оригиналы по изображениям: a) ; б) .
а) Из примера 5.7 следует, что при изображению соответствует оригинал . Тогда по теореме запаздывания при имеем
б) По формуле 3 из табл. 5.1 .По теореме запаздывания при получаем . Заметим, что для похожего, но отличного от полученного, оригинала (его можно записать в виде ) изображение имеет вид .
Пример 5.10. Найти изображение функции , график которой представлен на рис. 5.4.
С учетом (5.4) представим функцию в виде .
Из примера 5.2 имеем . Применяя свойства линейности и запаздывания, получаем
Заметим, что, находя предел при в последнем выражении, можно получить изображение δ-функции
Замечание 5.4. Дельта-функция часто встречается в инженерных приложениях как идеализация импульса конечной длительности. В теории автоматического регулирования и управления δ-функция вместе с единичной ступенчатой являются типовыми входными воздействиями.
Очевидно, изображение дельта-функции не удовлетворяет необходимому условию (п.2 замечаний 5.3). Этот факт свидетельствует о практическом требовании расширения понятия оригинала. Дельта-функция относится к обобщенным функциям и задается соотношением
(5.10)
Дифференцирование оригинала
5. Если функции являются оригиналами и , то
(5.11)
где .
Примеры 5.11-5.12
Пример 5.11. Найти изображение , если .
Решение. Из примера 5.7 следует, что при имеем .
Найдем . Согласно (5.11) .
Пример 5.12. Найти изображение выражения с начальными условиями .
Решение. Пусть , тогда . В примере 5.2 получено . Используя свойство линейности, имеем
Интегрирование оригинала
Если функция является оригиналом и , то
(5.12)
т.е. интегрированию оригинала соответствует деление изображения на .
Пример 5.13
Найти изображение интеграла от функции .
Решение. Из примера 5.6 следует, что . Тогда
, то есть .
Дифференцирование изображения
Если функция является оригиналом и . то
(5.13)
Примеры 5.14-5.15
Интегрирование изображения
Если функция является оригиналом, то из следует
(5.14)
Пример 5.16
Найти изображение функции .
Решение. Функция является оригиналом, так как (условие “в”) и точка является точкой разрыва первого рода (условие “б”). Из примера 5.13 следует .
Отсюда .
Умножение изображений (теорема Бореля)
Из и следует
(5.15)
т.е. свертке оригиналов соответствует произведение изображений. Функция определяется формулой
(5.16)
и называется сверткой оригиналов и .
Пример 5.17
Найти оригинал, соответствующий изображению .
Решение. Представим в виде произведения изображений: .
Из примеров 5.6 и 5.13 следует .
Согласно (5.15),(5.16) получаем искомый оригинал:
Дифференцирование свертки (интеграл Дюамеля)
10. Согласно свойствам 9 и 5 найдем преобразование Лапласа от производной свертки двух функций:
С другой стороны,
или, применяя правило дифференцирования интеграла, зависящего от параметра, имеем
Здесь при дифференцировании интеграла, зависящего от параметра, применялась формула Лейбница, которая для общего случая имеет вид
Объединяя полученные результаты, можно записать:
(5.17)
Формула (5.17) называется интегралом Дюамеля. Интеграл Дюамеля применяется для решения дифференциальных уравнений.
Пример 5.18
Найти оригиналы, соответствующие изображениям: a) ; б) .
Решение. а) Заметим, что здесь нельзя непосредственно воспользоваться теоре мой Бореля, так как в произведении множитель не является изображением (не выполняется необходимое условие).
Представим изображение в виде произведения . Из примера 5.3 вытекает
Тогда по формуле (5.17) имеем
Можно решить этот пример с помощью теоремы Бореля, представив изображение в виде
Тогда, используя свойство линейности и теорему Бореля, получаем
б) Представим изображение в виде произведения:
Из примера 5.6 при и следует
Тогда по формуле (5.17) получаем
Теорема о связи “начальных” и “конечных” значений оригинала и изображения
Начальное значение оригинала находится по формуле
(5.18)
Если существует конечный предел , то
(5.19)
Из соотношений (5.18),(5.19) следует, что для нахождения начальных и конечных значений оригинала не требуется знания оригинала, а достаточно иметь соответствующее изображение. На практике соотношение (5.19) применяется, например, для нахождения установившегося значения выходного сигнала в системах автоматического регулирования.
Пример 5.19
Найти начальное и конечное значения оригинала, которому соответствует изображение .
Решение. Согласно (5.18) и (5.19) имеем
С другой стороны, из примера 5.7 следует, что
поэтому легко убедиться в правильности полученного результата.
Полученные решения примеров 5.2–5.17 позволяют сформировать таблицу преобразования Лапласа. Табл. 5.1 является фрагментом более полных таблиц, используемых далее при решении примеров и задач.
Нахождение изображения по оригиналу
Для нахождения изображения требуется применить свойства преобразования Лапласа Так, чтобы к функции или ее составляющим можно было применить результаты, содержащиеся в табл. 5.1.
Таблица 5.1. Таблица основных преобразований Лапласа
Посмотреть
Пример 5.21
Найти изображения функций:
a) ; б) ;
в) ; г) ;
д) ; е) ;
ж) ; з) .
Решение
а) Согласно формуле 12 из табл. 5.1 . По свойству дифференцирования изображения (формула (5.13) при ):
или .
Поэтому .
Можно решать иначе, используя формулу 10 из табл. 5.1 при а = 3 и свойство смещения при
и .
б) Применим свойства линейности и интегрирования изображения. Так как в силу формул 1 и 9 из табл. 5.1 , то согласно (5.14)
в) По формуле 9 из табл. 5.1 . Функцию fit) можно записать, используя единичную ступенчатую функцию: . Поэтому для нахождения изображения следует применить теорему запаздывания (5.9) к оригиналу при
г) Согласно теореме смещения (5.8) и с учетом результата п. “в” имеем
, так как .
д) По теореме запаздывания (5.9) при и по формуле 7 из табл. 5.1 при получаем
е) Используя свойства линейности, запаздывания и формулы 6,1,8 из табл. 5.1, получаем
ж) По формуле 19 из табл. 5.1 находим . По свойству интегрирования изображения (формула (5.14)):
По свойству интегрирования оригинала (5.12): .
з) Используем формулу косинуса разности и запишем оригинал в виде суммы:
По свойству линейности получаем:
Заметим, что здесь и результаты пп. “в” и “з” различны так как оригиналами являются разные функции.
Нахождение изображений функций, заданных графиком
При решении прикладных задач оригинал часто задан графиком. Это может быть, например, входной сигнал, действующий на систему автоматической регулирования. В этом случае рекомендуется сначала записать аналитическое выражение оригинала с помощью единичной ступенчатой функции (5.4), привести полученное выражение к виду, удобному для применения табл. 5.1 и свойстве преобразования Лапласа.
Пример 5.22
Найти изображения функций, заданных графиками на рис. 5.5.
Решение.
а) Представим функцию в виде .
По формуле 3 из табл.5.1 и теореме запаздывания (формула (5.9) при )
б) Запишем функцию в виде .
По формулам 1,3 из табл. 5.1 и (5.6), (5.9) имеем .
в) Запишем изображенную функцию в виде .
По формулам 1,3 из табл. 5.1 и (5.6), (5.9) имеем .
г) Представим функцию в виде
По формулам 3 из табл. 5.1 и (5.6), (5.9) имеем .
д) Запишем функцию в форме
По формулам З из табл. 5.1 и (5.6), (5.9) .
е) Представим изображенную функцию в виде
По формулам 1,3 из табл. 5.1 и (5.6), (5.9) .
ж) Запишем функцию в форме .
По формуле 8 из табл. 5.1 и по теореме запаздывания .
з) Представим функцию в виде .
По формуле 6 из табл. 5.1 при и (5.9) при имеем
и) Представим функцию в виде .
Используя формулы 2 из табл. 5.1 и (5.6), (5.9), получаем .
Нахождение изображений периодических функций
Во многих приложениях используются оригиналы, являющиеся периодическими функциями.
Пусть — оригинал с периодом (рис. 5.6,в), образованный повторением функции (рис. 5.6,б):
Для нахождения изображения периодической функции следует:
1. Найти изображение функции .
2. Найти изображение по формуле
(5.20)
Пример 5.23.
Найти изображения функций, представленных на рис. 5.7.
Решение
а) По графику (рис. 5.7,в) получаем
Поэтому .
Поскольку , по формуле (5.20) находим
б) По графику (рис. 5.7,б) имеем , тогда . По формуле (5.20) при имеем
в) Функция, изображенная на рис. 5.7,в , имеет период . Запишем аналитическое выражение для и соответствующее изображение
По формуле (5.20) получаем .
г) Для функции, изображенной на рис. 5.7,г, изображением для является (см. пример 5.22 п.”ж”). Тогда по формуле (5.20) при получаем .
Нахождение оригинала по изображению
Непосредственное применение формулы обращения (5.3) затруднительно, поэтому для нахождения оригинала применяются теоремы разложения и правила преобразования изображения к виду, представленному в табл. 5.1.
Применение теорем разложения
Теорема 5.1 (первая теорема разложения). Если функция аналитична в некоторой окрестности бесконечно удаленной точки и ее разложение в ряд по степеням имеет вид , то функция (5.21) является оригиналом, соответствующим изображению .
(5.21)
Теорема 5.2 (вторая теорема разложения). Если изображение является однозначной функцией и имеет лишь конечное число особых точек лежащих в конечной части плоскости, то
(5.22)
Замечания 5.5
1. Формула (5.21) может быть записана в виде . Задача нахождения оригинала при выполнении условий теоремы сводится к нахождению коэффициентов разложения функции в ряд Лорана в окрестности бесконечно удаленной точки.
2. Формула (5.22) принимает наиболее простой вид в случае — рационального изображения, т.е. , где — многочлены степеней /пил соответственно, не имеющие общих корней. Если все полюсы функции простые, то по формуле (4.24) получаем , а формула (5.22) принимает вид
(5.23)
3. Если при выполнении условий п.2 коэффициенты многочлена — лействительные числа, то его комплексные корни, как известно, являются по парно сопряженными. Нахождение суммы вычетов в таких точках можно заме нить нахождением действительной части вычета в одной из них. Действительио, вычет в точке , используя свойства сопряженных чисел, можно записать следующим образом:
Это означает, что вычет в точке есть число, сопряженное вычету в точке , а сумма таких чисел равна их удвоенной действительной части:
Пример 5.24
Найти оригиналы для функций:
a) ;
б) .
Решение. В случае “а” для решения задачи используем теорему 5.1, а в случае “б” — теорему 5.2.
а) Используем типовые разложения
Для заданных изображений получаем:
Согласно первой теореме разложения
б) Представим в виде
где — простые полюсы функции . По второй теореме разложения
Тот же результат можно получить, пользуясь пп. 2 и 3 замечаний 5.5:
Функция имеет четыре простых полюса: .
Так как вычет в простом полюсе находится по формуле , то по второй теореме разложения
Функция имеет два полюса: простой и полюс второго порядка .
По второй теореме разложения . Находим вычеты
получаем окончательный ответ .
Применение таблицы и свойств преобразования Лапласа
Приведем ряд известных приемов нахождения оригинала.
1. Если изображение отличается от табличного на постоянный множитель, то его следует умножить и одновременно поделить на этот множитель, а затем воспользоваться свойством линейности.
Пример 5.25
2. Изображение, заданное в виде дроби , разлагается на сумму дробей.
Пример 5.26
Найти оригинал для функций: а) ; б) ; в) .
Решение. Представим дроби в виде суммы двух слагаемых, а затем воспользуемся свойством линейности и формулами из табл. 5.1:
а) ;
б) .
в) представим в виде . По формулам 4,6 из табл. 5.1 находим .
3. Если знаменатель дроби содержит квадратный трехчлен, то в нем выде ляется полный квадрат: . При этом числитель дроби представляется в виде многочлена от .
Пример 5.27
Найти оригиналы для функций: a) ; б) .
Решение. а) Выделим полный квадрат в знаменателе дроби и воспользуемся табл. 5.1 (по формуле 12 из табл. 5.1 при ):
б) Используем представление
По формулам 19,20 из табл. 5.1 и по теореме смещения (формула (5.8))
Можно решить эту задачу иначе, используя вторую теорему разложения (см. п. “б” примера 5.24):
4. Если оригинал представляет собой правильную рациональную дробь, то следует разложить ее на простейшие дроби и для каждой из полученных дробей найти оригинал.
Примеры 5.28-5.29
Пример 5.28. Найти оригиналы для функций:
а) ; б) ; в) ; г) .
Решение. а) Представим в виде , где — неопределенные коэффициенты.
Отсюда следует равенство .
Приравнивая коэффициенты при одинаковых степенях , получаем систему уравнений для нахождения неопределенных коэффициентов:
Решая ее, получаем и
По формулам 1,12,13 из табл. 5.1 .
б) Представим в виде , где — неопределенные коэффициенты.
Отсюда .
Подставляя последовательно , получаем и поэтому
По формулам 6,7 из табл. 5.1 находим .
в) Представим изображение в виде . Отсюда
При получаем , поэтому
По свойству линейности и по формуле 6 из табл. 5.1 получаем
Можно решить эту задачу иначе, используя вторую теорему разложения (см. п. “б” примера 5.24):
г) Представим в виде , где — неопределенные коэффициенты.
Из равенства при получаем , поэтому .
По формуле 6 из табл. 5.1 имеем .
Можно также решить эту задачу иначе, используя вторую теорему разложения (см. п. “б” примера 5.24 и п. “в” данного примера):
Пример 5.29. Найти оригиналы для функций: a) ; б) .
Решение. а) Решим пример различными способами.
Первый способ. Воспользуемся разложением дроби на элементарные:
По формулам 2,3,6,7 из табл. 5.1 получаем .
Второй способ. Применим вторую теорему разложения, учитывая, что и — полюсы второго порядка функции
Третий способ. Обозначим . Тогда . Рассмотрим функцию . По свойству интегрирования оригинала (формула (5.12)) получаем
Заметим, что . Применяя еще раз свойство интегрирования оригинала, имеем
Четвертый способ. Представим изображение в виде произведения
, где .
По формулам 3 и 7 из табл. 5.1 . Далее по теореме Бореля (формула (5.15))
б) Решим пример также несколькими способами.
Первый способ. Воспользуемся разложением дроби на элементарные:
По формуле 9 из табл. 5.1 получаем .
Второй способ. Применим вторую теорему разложения с учетом пп. 2,3 замечаний 5.5:
Третий способ. Представим изображение в виде произведения:
Отсюда . По теореме Бореля
Четвертый способ. Используем формулу 37 из табл. 5.1. При получаем
Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
ОРИГИНАЛ И ЕГО ИЗОБРАЖЕНИЕ
ПО ЛАПЛАСУ.
Функцией-
оригиналом – называют функцию действительного
аргумента
удовлетворяющую
условиям:
1)
для всех отрицательных значений аргумента
функция тождественно равна нулю, т.е.
2)
функция при возрастает
не быстрее показательной
функции,
т.е. существ.уют такие постоянные что
3)
на любом конечном отрезке положительной
полуоси функция
и
ее производные достаточно высокого
порядка непрерывны или имеют конечное
число разрывов 1-го рода.
Простейшей
функцией – оригиналом является единичная
функция Хевисайда
(1)
Если
функция не
удовлетворяет условию то
произведение уже
ему удовлетворяет, т.е. будет оригиналом.
Для
простоты записи множитель опускается,
например, пишут вместо вместо и
т.д.
Изображением
функции по
Лапласу (преобразованием по Лапласу) называют
функцию комплексной переменной определяемую
соотношением
(2)
Интеграл
(1.2) называют интегралом Лапласа.
Функция определяется
в полуплоскости и
является в этой области аналитической
функцией.
То,
что функция комплексной переменной является
изображением по Лапласу функции
действительного аргумента обозначается или
Изображение
элементарных функций получается
непосредственно с помощью интеграла
(2).
Пример
1 Найти изображение по Лапласу функции
РЕШЕНИЕ
Таким
образом, получаем
Преобразование,
основанное на интеграле Лапласа (2),
обладает линейными свойсгыами.
1.
Преобразование суммы функций равно
сумме преобразований этих функций
2
Постоянный множитель можно выносить
за знак преобразования:
Из
этих двух свойств следует, что линейной
комбинации оригиналов соответствует
линейная комбинация их преобразований:
(3)
Пример
2. Найти изображение функции
РЕШЕНИЕ
Используем
формулу (2) для функции Тогда
СВОЙСТВА ПРЕОБРАЗОВАНИЯ
ЛАПЛАСА
1.
Теорема подобияЕсли то
для любого постоянногоа > 0
(4)
Пример
3. НайдемИз
примера2 .По
Формуле (4)
2.Дифференцирование
оригиналаЕсли то
(5)
Методом
индукции на основании формулы (5) получены
формулы изображения высших производных:
(6)
(7)
(8)
Пример
4. ОпределимТак
как
то
по формуле (5) получим:
3.
Дифференцирование изображения.Если то
т.е.
дифференцирование изображения сводится
к умножению на оригинала.
В общем случае,
(9)
Пример
5. Определить изображения функций
РЕШЕНИЕ
Так
как
В
общем случае
4.
Интегрирование оригинала.Интегрирование
оригинала сводится к делению изображения
на р:
(10)
Пример
6. Найти изображение функци
РЕШЕНИЕ
Так как то
по формуле (10)
5.
Интегрирование изображения.Интефирование
изображения равносильно делению
на tоригинала
(если существует конечный предел
(11)
Пример
7. Найдем изображение функции
Так
как то
по формуле (11) получаем
6.
Теорема смещенияПри
умножении оригинала на изображение
получается смещение аргумента на
(12)
Пример
8. В примерах 3, 4, 5 найдены изображения
функций По
формуле (12) находим:
7.
Теорема запаздывания.“Включение”
оригинала с запаздыванием на равносильно
умножению изображения на
(13)
В
данной формуле важно подчеркнуть, что
функция поэтому
она умножена на единичную функцию
Хевисайда с запаздыванием .График
единичной функции Хевисайда с запаздывающим
аргументом показан на рисунке 1.
Изображение
ТАБЛИЦА
ОРИГИНАЛОВ И ИЗОБРАЖЕНИЙ.
СВЁРТКА ОРИГИНАЛОВ И ЕЁ
ПРИМЕНЕНИЕ. ТЕОРЕМА БОРЕЛЯ.
Свертка
односторонних функций, ее свойства.
Теорема Бореля
Сверткой
функций и ,
заданных на ,
называется функция, равная интегралу , ;
она обозначается ,
т.е.
, .
(21)
Свойства
свертки
1.
Симметрия, т.е. .
В
самом деле, изменяя порядок интегрирования
и полагая ,
получаем равенство
.
2.
Если и –
оригиналы, то и их свертка также является
оригиналом с показателем роста, равным
наибольшему из показателей роста
функций
и .
Рекомендуем доказать самостоятельно
это утверждение или же посмотреть в
[3].
ПРИМЕР
32. Найти свертку функций и .
Решение. ,
здесь ко второму интегралу применено
интегрирование по частям.
Теорема
Бореля
Если
функции и –
оригиналы и , и , ,
то произведение изображений является
изображением свертки соответствующих
оригиналов для :
.
(22)
В
самом деле, по определению изображения
имеем
.
Замечаем,
что справа стоит двойной интеграл с
областью интегрирования ,
изображенной на рисунке. Изменяя в этом
интеграле порядок интегрирования,
получаем
.
Замена
переменной интегрирования позволяет
записать
.
Поскольку
внутренний интеграл не зависит от ,
а внешний от ,
то двойной интеграл равен произведению
двух интегралов, т.е.
.
Теорема
Бореля применяется для нахождения
оригинала в случае, когда изображение
представлено в виде двух множителей,
для каждого из которых оригинал
устанавливается.
ПРИМЕНЕНИЕ ОПЕРАЦИОННОГО
ИСЧИСЛЕНИЯ ДЛЯ РЕШЕНИЯ ЛИНЕЙНЫХ
ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ПОСТОЯННЫМИ
КОЭФФИЦИЕНТАМИ
Пусть
имеем линейное неоднородное уравнение
с постоянными коэффициентами:
где
функция удовлетворяет условиям,
налагаемым на оригиналы.
Уравнение
(38) надо решить при нулевых начальных
условиях
Применяя
к обеим частям уравнения (38) преобразование
Лапласа и учитывая начальные условия,
найдем согласно (12):
,
откуда
.
Из
равенства (40), пользуясь известными
приемами операционного исчисления,
рассмотренными выше, найдем по
изображению оригинал ,
который и будет являться искомым решением
уравнения (38) при .
Если
уравнение (40) требуется решить при
ненулевых начальных условиях
,
то
после применения к (40) преобразования
Лапласа найдем согласно (11):
или
где известная
целая рациональная функция от .
откуда
определим оригинал , являющийся искомым
решением уравнения (38).
Нетрудно
видеть, что в случае однородного уравнения
ПРИМЕНЕНИЕ ОПЕРАЦИОННОГО
ИСЧИСЛЕНИЯ ДЛЯ РЕШЕНИЯ СИСТЕМ
ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ.
оставим
систему уравнений:
Решив
ее, получаем
Итак X(p)= ,
откуда
x(t)=—
решение данного дифференциального
уравнения.
Системы
линейных дифференциальных
уравнений с постоянными
коэффициентами можно решать
операционными методами совершенно
так же, как и отдельные
уравнения; все отличие
заключается лишь в том,
что вместо одного изображающего
уравнения приходим к системе
таких уравнений, причем
система эта в отношении
изображений искомых функций
будет линейно алгебраической.
При этом никаких предварительных
преобразований исходной системы
дифференциальных уравнений
производить не требуется [3,
с. 134].
Операционное исчисление играет важную роль при решении прикладных задач, особенно в современной автоматике и телемеханике.
Операционное исчисление — один из методов математического анализа, позволяющий в ряде случаев сводить исследование дифференциальных и некоторых типов интегральных операторов и решение уравнений, содержащих эти операторы, к рассмотрению более простых алгебраических задач.
Методы операционного исчисления предполагают реализацию следующей условной схемы решения задачи.
- От искомых функций переходят к некоторым другим функциям — их изображениям.
- Над изображениями производят операции, соответствующие заданным операциям над самими функциями.
- Получив некоторый результат при действиях над изображениями, возвращаются к самим функциям.
В качестве преобразования, позволяющего перейти от функции к их изображениям, будем применять так называемое преобразование Лапласа.
Преобразование Лапласа
Оригиналы и их изображения:
Основными первоначальными понятиями операционного исчисления являются понятия функции-оригинала и функции-изображения.
Пусть f(t) — действительная функция действительного переменного t (под t будем понимать время или координату).
Функция f(t) называется оригиналом, если она удовлетворяет следующим условиям:
- f(t) — кусочно-непрерывная при т. е. она непрерывна или имеет точки разрыва I рода, причем на каждом конечном промежутке оси t таких точек лишь конечное число.
- Существуют такие числа что для всех t выполняется неравенство , т. е. при возрастании t функция f(t) может возрастать не быстрее некоторой показательной функции. Число называется показателем роста f(t).
Условия 1-3 выполняются для большинства функций, описывающих различные физические процессы.
Первое условие означает, что процесс начинается с некоторого момента времени; удобнее считать, что в момент t = 0. Третьему условию удовлетворяют ограниченные функции (для них можно положить ), степенные и другие (для функций вида ( условие 3 не выполняется). Не является оригиналом, например, функция (не удовлетворяет второму условию).
Замечание:
Функция f(t) может быть и комплексной функцией действительно переменного, т. е. иметь вид она считается оригиналом, если действительные функции являются оригиналами.
Изображением оригинала f(t) называется функция F(p) комплексного переменного , определяемая интегралом
Операцию перехода от оригинала f(t) к изображению F(p) называют преобразованием Лапласа. Соответствие между оригиналом f(t) и изображением F(p) записывается в виде или (принято оригиналы обозначать малыми буквами, а их изображения — соответствующими большими буквами).
Теорема:
Существование изображения. Для всякого оригинала f(t) изображение F(p) существует (определено) в полуплоскости — показатель роста функции f(t) , причем функция F(p) является аналитической в этой полуплоскости .
Докажем первую часть теоремы. Пусть произвольная точка полуплоскости (см. рис. 302).
Учитывая, что находим:
так как
Таким образом,
Отсюда вытекает абсолютная сходимость интеграла (78.1), т. е. изображение F(p) существует и однозначно в полуплоскости
Следствие:
Необходимый признак существования изображения. Если функция F(p) является изображением функции f(t) , то
Это утверждение непосредственно вытекает из неравенства (78.2), когда
Так как F(p) — аналитическая функция в полуплоскости
по любому направлению. Отсюда, в частности, следует, что функции не могут быть изображениями.
Отметим, что из аналитичности функции F(p) следует, что все ее особые точки должны лежать левее прямой или на самой этой прямой. Функция F(p) , не удовлетворяющая этому условию, не является изображением функции f(t). Не является изображением, например, функция (ее особые точки расположены на всей оси s).
Теорема:
О единственности оригинала. Если функция F(p) служит изображением двух оригиналов , то эти оригиналы совпадают друг с другом во всех точках, в которых они непрерывны.
(Примем без доказательства.)
Пример:
Найти изображение единичной функции Хевисайда
(см. рис. 303).
Решение:
По формуле (78.1) при находим:
т. e. , или, в символической записи,
Замечание:
В дальнейшем функцию-оригинал будем кратко записывать в виде f(t) , подразумевал, что
Пример:
Найти изображение функции — любое число.
Решение:
Данная функция является оригиналом. По формуле (78.1) имеем
если Re(p — a) > 0. Таким образом,
Пример:
Найти изображение функции f(t) = t.
Решение:
В этом случае преобразование Лапласа имеет вид
Замечание:
Функция является аналитической не только в полуплоскости Rep > Re а, где интеграл (78.1) сходится, а на всей комплексной плоскости р, кроме точки р = а. Такая особенность наблюдается и для многих других изображений. Далее для нас будет более важным, как правило, само изображение функции, а не область, в которой оно выражается интегралом (78.1).
Свойства преобразования Лапласа
Находить изображения, пользуясь только определением изображения, не всегда просто и удобно. Свойства преобразования Лапласа существенно облегчают задачу нахождения изображений для большого числа разнообразных функций, а также задачу отыскания оригиналов по их изображениям.
Линейность
Линейной комбинации оригиналов соответствует такая же линейная комбинация изображений, т. е. если
— постоянные числа, то
Используя свойства интеграла, находим
Пример:
Найти изображения функций — любое число), с (const),
Решение:
Пользуясь свойством линейности, формулой (78.3), находим:
т. е.
Аналогично получаем формулу
Далее, т. е.
Наконец,
Аналогично получаем формулу
Подобие
Если
т.е. умножение аргумента оригинала на положительное число приводит к делению изображения и его аргумента на это число.
По формуле (78.1) имеем
(так как безразлично, какой буквой обозначена переменная интегрирования).
Например, пусть . Тогда
Смещение (затухание)
Если
т. е. умножение оригинала на функцию влечет за собой смещение переменной р.
В силу формулы (78.1) имеем
Благодаря этому свойству можно расширить таблицу соответствия между оригиналами и их изображениями:
Пример:
Найти оригинал по его изображению
Решение:
Преобразуем данную дробь так, чтобы можно было воспользоваться свойством смещения:
(См. формулы (78.9), (78.10) и свойство линейности.)
Запаздывание
Если
т. е. запаздывание оригинала на положительную величину приводит к умножению изображения оригинала без запаздывания на .
Положив , получим
Поясним термин «запаздывание». Графики функции f(t) и имеют одинаковый вид, но график функции сдвинут на единиц
Рис. 304
Рис. 305
вправо (см. рис. 304). Следовательно, функции f(t) и описывают один и тот же процесс, но процесс, описываемый функцией , начинается с опозданием на время .
Свойство запаздывания удобно применять при отыскании изображения функций, которые на разных участках задаются различными аналитическими выражениями; функций, описывающих импульсные процессы.
Функция
называется обобщенной единично ной функцией (см. рис 305).
Так как
Запаздывающую функцию
можно записать так:
Пример:
Найти изображение f(t) = t — 1.
Решение:
Для того чтобы быть оригиналом, функция f(t) должна удовлетворять условиям 1-3 (см. п. 78.1). В этом смысле исходную задачу можно понимать двояко.
Если понимать функцию f(t) как
т. е. (см. рис. 306, а), то, зная, что (см. формулу (78.4)), и, используя свойство линейности, находим
Если же понимать функцию f(t) как
т. е. (см. рис. 306, б), то, используя свойство запаздывания, находим
Пример:
Найти изображение функции
Решение:
Данная функция описывает единичный импульс (см. рис. 307), который можно рассматривать как разность двух оригиналов: единичной функции и обобщенной единичной функции . Поэтому
Пример:
Найти изображение функции
Решение:
Функция-оригинал изображена на рис. 308. Запишем ее одним аналитическим выражением, используя функции Хевисайда :
Раскроем скобки и приведем подобные слагаемые:
Изображение функции f(t) будет равно
Замечания:
1.Изображение периодического оригинала с периодом, равным Т,
есть
2.Свойство опережения
применяется значительно реже.
Дифференцирование оригинала
Если и функции являются оригиналами, то
По определению изображения находим
Итак, Пользуясь полученным результатом, найдем изображение второй производной f»(t):
Аналогично найдем изображение третьей производной f»‘(t):
Применяя формулу (78.11) (п — 1) раз, получим формулу (78.14).
Замечание. Формулы (78.11)-(78.14) просто выглядят при нулевых начальных условиях: если
т. е. дифференцированию оригинала соответствует умножение его изображения на р.
Рассмотренное свойство дифференцирования оригинала вместе со свойством линейности широко используется при решении линейных дифференциальных уравнений.
Пример:
Найти изображение выражения
Решение:
Пусть Тогда, согласно формулам (78.11)—(78.13), имеем
Следовательно,
Дифференцирование изображения
Если то
т. е. дифференцированию изображения соответствует умножение его оригинала на (-t).
Согласно теореме 78.1 существования изображения, F(p) является аналитической функцией в полуплоскости Следовательно, у нее существует производная любого порядка. Дифференцируя интеграл (78.1) по параметру р (обоснование законности этой операции опустим), получим
Пример:
Найти изображения функций
Решение:
Так как , то, в силу свойства дифференцирования изображения, имеем т. е.
Далее находим
Продолжая дифференцирование, получим
С учетом свойства смещения получаем
Согласно формуле (78.5), Следовательно,
Аналогично, используя формулы (78.6), (78.7) и (78.8), находим
С учетом свойства смещения и формул (78.15) и (78.16), получаем
Интегрирование оригинала
Если
т. е. интегрированию оригинала от 0 до t соответствует деление его изображения на р.
Функция является оригиналом (можно проверить).
Пусть Тогда по свойству дифференцирования оригинала имеем
(так как ). А так как
Интегрирование изображения
Если и интеграл сходится, то т. е. интегрированию изображения от p до соответствует деление его оригинала на t.
Используя формулу (78.1) и изменяя порядок интегрирования (обоснование законности этой операции опускаем), получаем
Пример:
Найти изображение функции найти изображение интегрального синуса
Решение:
Так как
т. е. Применяя свойство интегрирования t оригинала, получаем
Умножение изображений
Если то
Можно показать, что функция является оригиналом.
Используя преобразование Лапласа (78.1), можно записать
Область D интегрирования полученного двукратного интеграла определяется условиями (см. рис. 309).
Изменяя порядок интегрирования и полагая , получим
Интеграл в правой части формулы (78.17) называется сверткой функции и обозначается символом , т. е.
Можно убедиться (положив ), что свертывание обладает свойством переместительности, т. е.
Умножение изображений соответствует свертыванию их оригиналов, т. е.
Пример:
Найти оригинал функций
Решение:
Так как
то
т. e.
Аналогично получаем
Следствие:
Если также является оригиналом, то
Запишем произведение в виде
или
Первое слагаемое в правой части есть произведение изображений, соответствующих оригиналам Поэтому на основании свойства умножения изображений и линейности можно записать или
Формула (78.18) называется формулой Дюамеля. На основании свойства переместительности свертки формулу Дюамеля можно записать в виде
Формулу Дюамеля можно применять для определения оригиналов по известным изображениям.
Пример:
Найти оригинал, соответствующий изображению
Решение:
Так как
то на основании формулы Дюамеля (78.18) имеем
Умножение оригиналов
где путь интегрирования — вертикальная прямая (см. рис. 310) (примем без доказательства).
Резюме
Рассмотренные свойства преобразования Лапласа представляют собой основные правила (аппарат) операционного исчисления. Для удобства пользования перечислим эти свойства.
6. Дифференцирование изображения
Таблица оригиналов и изображений
Составим краткую таблицу, устанавливающую соответствие между некоторыми оригиналами (часто встречающимися на практике) и их изображениями. Достаточно полная таблица оригиналов и изображений, позволяющая по заданному оригиналу находить изображение и наоборот, есть, в частности, в книге «Справочник по операционному исчислению» (авторы В. А. Диткин и П. И. Кузнецов).
Обратное преобразование Лапласа
Теоремы разложения:
Рассмотрим две теоремы, называемые теоремами разложения, позволяющие по заданному изображению F(p) находить соответствующий ему оригинал f(t).
Теорема:
Если функция F(p) в окрестности точки может быть представлена в виде ряда Лорана
то функция
является оригиналом, имеющим изображение F(p), т. е.
Примем эту теорему без доказательства.
Пример:
Найти оригинал f(t), если
Решение:
Имеем
Следовательно, на основании теоремы 79.1
Запишем лорановское разложение функции в окрестности точки:
где Следовательно,
Теорема:
Если правильная рациональная дробь, знаменатель которой В(р) имеет лишь простые корни (нули) то функция
является оригиналом, имеющим изображение F(p).
Отметим, что дробь должна быть правильной (степень многочлена А(р) ниже степени многочлена В(р)) в противном случае не выполняется необходимый признак существования изображения
не может быть изображением.
Разложим правильную рациональную дробь на простейшие:
где — неопределенные коэффициенты. Для определения коэффициента этого разложения умножим обе части этого равенства почленно на :
Переходя в этом равенстве к пределу при , получаем
Итак, Аналогичным путем (умножая обе части равенства (79.2) на найдем
Подставляя найденные значения в равенство (79.2), получим
Так как по формуле (78.3)
то на основании свойства линейности имеем
Замечание:
Легко заметить, что коэффициенты определяются как вычеты комплексной функции F(p) в простых полюсах (формула (77.4)):
Можно показать, что если правильная дробь, но корни (нули) знаменателя В(р) имеют кратности соответственно, то в этом случае оригинал изображения F(p) определяется формулой
Теорему 79.2 можно сформулировать следующим образом:
Теорема:
Если изображение является дробно-рациональной функцией от — простые или кратные полюсы этой функции, то оригинал f(t), соответствующий изображению F(p), определяется формулой
Формула Римана-Меллина
Общий способ определения оригинала по изображению дает обратное преобразование Лапласа (формула обращения Римана-Меллина), имеющее вид
где интеграл берется вдоль любой прямой .
При определенных условиях интеграл (79.5) вычисляется по формуле
Замечание:
На практике отыскание функции-оригинала обычно проводят по следующему плану: прежде всего следует по таблице оригиналов и изображений попытаться отыскать для заданного изображения F(p) соответствующий ему оригинал; второй путь состоит в том, что функцию F(p) стараются представить в виде суммы простейших рациональных дробей, а затем, пользуясь свойством линейности, найти оригинал; наконец, использовать теоремы разложения, свойство умножения изображений, формулу обращения и т.д.
Пример:
Найти оригинал по его изображению
Решение:
Проще всего поступить так:
(использовали свойство линейности и формулы (78.5) и (78.6)).
Если же использовать теорему 79.2 разложения, то будем иметь:
корни знаменателя и, согласно формуле (79.1),
Пример:
Найти функцию-оригинал, если ее изображение
задано как
Решение:
Здесь
— простой корень знаменателя, — 3-кратный корень (m = 3). Используя формулы (79.1) и (79.3), имеем:
Приведем другой способ нахождения f(t). Разобьем дробь
на сумму простейших дробей:
Следовательно,
Приведем третий способ нахождения f(t). Представим F(p) как
произведение и так как пользуясь свойством умножения изображений, имеем:
Операционный метод решения линейных дифференциальных уравнений и их систем
Пусть требуется найти частное решение линейного дифференциального уравнения с постоянными коэффициентами
удовлетворяющее начальным условиям
где — заданные числа.
Будем считать, что искомая функция y(t) вместе с ее рассматриваемыми производными и функция f(t) являются оригиналами.
Пусть Пользуясь свойствами дифференцирования оригинала и линейности, перейдем в уравнении(80.1) от оригиналов к изображениям:
Полученное уравнение называют операторным (или уравнением в изображениях). Разрешим его относительно Y:
— алгебраические многочлены от p степени п и п-1 соответственно. Из последнего уравнения находим
Полученное равенство называют операторным решением дифференциального уравнения (80.1). Оно имеет более простой вид, если все начальные условия равны нулю, т. е.
В этом случае
Находя оригинал y(t), соответствующий найденному изображению (80.2), получаем, в силу теоремы единственности, частное решение дифференциального уравнения (80.1).
Замечание:
Полученное решение y(t) во многих случаях оказывается справедливым при всех значениях t (а не только при ).
Пример:
Решить операционным методом дифференциальное уравнение при условиях
Решение:
Пусть Тогда
Подставляя эти выражения в дифференциальное уравнение, получаем операторное уравнение:
Отсюда Находим y(t). Можно разбить дробь на сумму простейших но так как корни знаменателя простые, то удобно воспользоваться второй теоремой разложения (формула (79.1)), в которой
Получаем:
Пример:
Найти решение уравнения
при условии
Решение:
График данной функции имеет вид, изображенный на рисунке 311.
С помощью единичной функции правую часть данного дифференциального уравнения можно записать одним аналитическим выражением:
Таким образом, имеем
Операторное уравнение, при нулевых начальных условиях имеет вид
Отсюда
Так как
то по теореме запаздывания находим:
Аналогично применяется операционный метод для решения систем линейных дифференциальных уравнений с постоянными коэффициентами.
Покажем это на конкретном примере.
Пример:
Решить систему дифференциальных уравнений
Решение:
Пусть
Находим, что
Система операторных уравнений принимает вид
Решая эту систему алгебраических уравнений, находим:
Переходя от изображений к оригиналам, получаем искомые решения:
С помощью операционного исчисления можно также находить решения линейных дифференциальных уравнений с переменными коэффициентами, уравнений в частных производных, уравнений в конечных разностях (разностных уравнений); производить суммирование рядов; вычислять интегралы. При этом решение этих и других задач значительно упрощается.
Решение заданий и задач по предметам:
- Математика
- Высшая математика
- Математический анализ
- Линейная алгебра
Дополнительные лекции по высшей математике:
- Тождественные преобразования алгебраических выражений
- Функции и графики
- Преобразования графиков функций
- Квадратная функция и её графики
- Алгебраические неравенства
- Неравенства
- Неравенства с переменными
- Прогрессии в математике
- Арифметическая прогрессия
- Геометрическая прогрессия
- Показатели в математике
- Логарифмы в математике
- Исследование уравнений
- Уравнения высших степеней
- Уравнения высших степеней с одним неизвестным
- Комплексные числа
- Непрерывная дробь (цепная дробь)
- Алгебраические уравнения
- Неопределенные уравнения
- Соединения
- Бином Ньютона
- Число е
- Непрерывные дроби
- Функция
- Исследование функций
- Предел
- Интеграл
- Двойной интеграл
- Тройной интеграл
- Интегрирование
- Неопределённый интеграл
- Определенный интеграл
- Криволинейные интегралы
- Поверхностные интегралы
- Несобственные интегралы
- Кратные интегралы
- Интегралы, зависящие от параметра
- Квадратный трехчлен
- Производная
- Применение производной к исследованию функций
- Приложения производной
- Дифференциал функции
- Дифференцирование в математике
- Формулы и правила дифференцирования
- Дифференциальное исчисление
- Дифференциальные уравнения
- Дифференциальные уравнения первого порядка
- Дифференциальные уравнения высших порядков
- Дифференциальные уравнения в частных производных
- Тригонометрические функции
- Тригонометрические уравнения и неравенства
- Показательная функция
- Показательные уравнения
- Обобщенная степень
- Взаимно обратные функции
- Логарифмическая функция
- Уравнения и неравенства
- Положительные и отрицательные числа
- Алгебраические выражения
- Иррациональные алгебраические выражения
- Преобразование алгебраических выражений
- Преобразование дробных алгебраических выражений
- Разложение многочленов на множители
- Многочлены от одного переменного
- Алгебраические дроби
- Пропорции
- Уравнения
- Системы уравнений
- Системы уравнений высших степеней
- Системы алгебраических уравнений
- Системы линейных уравнений
- Системы дифференциальных уравнений
- Арифметический квадратный корень
- Квадратные и кубические корни
- Извлечение квадратного корня
- Рациональные числа
- Иррациональные числа
- Арифметический корень
- Квадратные уравнения
- Иррациональные уравнения
- Последовательность
- Ряды сходящиеся и расходящиеся
- Тригонометрические функции произвольного угла
- Тригонометрические формулы
- Обратные тригонометрические функции
- Теорема Безу
- Математическая индукция
- Показатель степени
- Показательные функции и логарифмы
- Множество
- Множество действительных чисел
- Числовые множества
- Преобразование рациональных выражений
- Преобразование иррациональных выражений
- Геометрия
- Действительные числа
- Степени и корни
- Степень с рациональным показателем
- Тригонометрические функции угла
- Тригонометрические функции числового аргумента
- Тригонометрические выражения и их преобразования
- Преобразование тригонометрических выражений
- Комбинаторика
- Вычислительная математика
- Прямая линия на плоскости и ее уравнения
- Прямая и плоскость
- Линии и уравнения
- Прямая линия
- Уравнения прямой и плоскости в пространстве
- Кривые второго порядка
- Кривые и поверхности второго порядка
- Числовые ряды
- Степенные ряды
- Ряды Фурье
- Преобразование Фурье
- Функциональные ряды
- Функции многих переменных
- Метод координат
- Гармонический анализ
- Вещественные числа
- Предел последовательности
- Аналитическая геометрия
- Аналитическая геометрия на плоскости
- Аналитическая геометрия в пространстве
- Функции одной переменной
- Высшая алгебра
- Векторная алгебра
- Векторный анализ
- Векторы
- Скалярное произведение векторов
- Векторное произведение векторов
- Смешанное произведение векторов
- Операции над векторами
- Непрерывность функций
- Предел и непрерывность функций нескольких переменных
- Предел и непрерывность функции одной переменной
- Производные и дифференциалы функции одной переменной
- Частные производные и дифференцируемость функций нескольких переменных
- Дифференциальное исчисление функции одной переменной
- Матрицы
- Линейные и евклидовы пространства
- Линейные отображения
- Дифференциальные теоремы о среднем
- Теория устойчивости дифференциальных уравнений
- Функции комплексного переменного
- Преобразование Лапласа
- Теории поля
- Системы координат
- Рациональная функция
- Интегральное исчисление
- Интегральное исчисление функций одной переменной
- Дифференциальное исчисление функций нескольких переменных
- Отношение в математике
- Математическая логика
- Графы в математике
- Линейные пространства
- Первообразная и неопределенный интеграл
- Линейная функция
- Выпуклые множества точек
- Система координат
Содержание
Глава 7. Элементы операционного исчисления
Преобразование Лапласа. Оригинал и изображение
Рассмотрим функцию вещественного переменного $f(t)$ определенную на всей вещественной оси $tin R$ и интегрируемую на любом конечном промежутке. Пусть $f(t)$ удовлетворяет условиям:
1) $f(t)=0$ при $t<0$.
2) Существуют такие числа $M>0$, $sgeqslant0$, что функция $f(t)$ при любом $tin R$ удовлетворяет неравенству:
$$
|f(t)|leqslant Me^{st}.
$$
Функция $f(t)$, удовлетворяющая всем перечисленным выше условиям, называется функцией ограниченного роста, а число $s_0=mbox{inf},s$ называется показателем роста.
Первое условие можно обойти, введя функцию Хевисайда:
$$
eta(t)=left{
begin{aligned}
0,,,&t<0,\
1,,,&t geqslant0.
end{aligned}
right.
$$
В дальнейшем любую функцию $f(t)$ будем заменять на $f(t)cdoteta(t)$ и будем считать условие выполненным. Например, если мы указываем функцию $f(t)=mbox{sin}t$, то на самом деле имеем в виду функцию
$$
f(t)=mbox{sin}tcdoteta(t)=left{
begin{aligned}
0,,,&t<0,\
mbox{sin}t,,,&tgeqslant0.
end{aligned}
right.
$$
Функция комплексного переменного $pin C$, $p=s+isigma$
$$ F(p)=intlimits_0^{infty} f(t)e^{-pt}dt $$
называется изображением по Лапласу, если существует указанный несобственный интеграл. Исходная функция $f(t)$ называется оригиналом.
Обозначается: $ F(p) risingdotseq f(t), ,, mbox{или},, F(p)=L{f(t)} $.
Читается: $F(p)$ есть изображение для $f(t)$, $f(t)$ есть оригинал для $F(p)$.
П
Найти изображение для функции Хэвисайда $f(t)=eta(t)$.
Условие 1) выполнено.
Условие 2) выполнено при $M=1$, $s_0=0$.
begin{gather*}
F(p)=intlimits_0^{infty} eta(t)cdot e^{-pt}dt=intlimits_0^{infty} e^{-pt}dt=displaystylefrac{1}{p} ,,(mbox{Re}p>0).\
end{gather*}
Получили, что $eta(t)risingdotseq displaystylefrac{1}{p}$. В таблицах обычно записывают $1risingdotseq displaystylefrac{1}{p}$, имея в виду, что на самом деле мы работаем не с $f(t)=1$, а с $f(t)=eta(t)$.
Т
Теорема о существовании изображения.
Пусть функция $f(t)$ является функцией ограниченного роста с показателем роста $s_0$. Тогда в правой полуплоскости $mbox{Re},p>s_0$ существует изображение $F(p) = intlimits_0^{infty} f(t),e^{-pt}dt$, причем $F(p)$ — аналитическая функция.
Свойства преобразования Лапласа
Будем использовать следующие обозначения:
Функции действительного переменного $f(t)$, $g(t)$ являются оригиналами,
функции комплексного переменного $F(p)$, $G(p)$ являются изображениями:
$ f(t)risingdotseq F(p), ,, g(t)risingdotseq G(p).$
Свойство линейности
Пусть $alpha$, $beta in mathbb{C}$. Тогда изображение линейной комбинации функций $f(t)$ и $g(t)$ является линейной комбинацией их изображений $F(p)$ и $G(p)$:
begin{equation*}
alpha f(t)+beta g(t) risingdotseq alpha F(p)+beta G(p).
end{equation*}
П
Найти изображение для $f(t)=mbox{sin},alpha t$.
begin{equation*}
mbox{sin},alpha t=frac{e^{ialpha t}-e^{-ialpha t}}{2i} risingdotseq frac{1}{2i}left(frac{1}{p-ialpha}+frac{1}{p+ialpha}right)=frac{1}{2i}cdotfrac{2ialpha}{p^2+a^2}=frac{alpha}{p^2+alpha^2}.
end{equation*}
П
Найти изображение для $f(t)=mbox{sin}^2 t$.
begin{equation*}
begin{split}
&mbox{sin}^2 t=left(frac{e^{it}-e^{-it}}{2i}right)^2 = -frac{1}{4}e^{2it}+frac12-frac{1}{4}e^{-2it} risingdotseq \
&risingdotseq -frac14cdotfrac{1}{p-2i}+ frac{1}{2p}-frac14cdotfrac{1}{p+2i}=-frac{2p}{p^2+4}+frac{1}{2p}=frac{2}{p(p^2+4)}.
end{split}
end{equation*}
Теорема подобия
Пусть $ain R $, $a>0$.
begin{equation*}
f(at)risingdotseq displaystylefrac{1}{a}Fleft(displaystylefrac{p}{a}right).
end{equation*}
Теорема смещения
Пусть $alpha in mathbb{C}$.
begin{equation*}
e^{alpha t}cdot f(t)risingdotseq F(p-alpha).
end{equation*}
П
Найти изображение для $f_1(t)= e^{alpha t}mbox{sin},beta t, ,, f_2(t)=e^{alpha t}mbox{cos},beta t$.
begin{gather*}
mbox{sin},beta t=risingdotseq frac{beta}{p^2+beta^2},,Rightarrow e^{alpha t}mbox{sin},beta t risingdotseq frac{beta}{(p-alpha)^2+beta^2},\
mbox{cos},beta t=risingdotseq frac{p}{p^2+beta^2},,Rightarrow e^{alpha t}mbox{cos},beta t risingdotseq frac{p-alpha}{(p-alpha)^2+beta^2}.
end{gather*}
Теорема запаздывания
Пусть $tau in R$, $tau>0$.
begin{equation*}
f(t-tau) risingdotseq e^{-ptau}cdot F(p).
end{equation*}
В механике используют включение с запаздыванием для различных приборов. В математической модели таких включений удобно использовать функцию Хэвисайда, а изображения для таких функций удобно находить с помощью теоремы запаздывания.
П
Найти изображение для кусочно-непрерывной функции:
begin{equation*}
f(t)=begin{cases}
0,& t<0,\
displaystylefrac{t-a}{a},& 0leqslant t<a,\
0,& aleqslant t<2a,\
displaystylefrac{t-2a}{a},& tgeqslant2a.
end{cases}
end{equation*}
begin{equation*}
f(t)= left(frac{t}{a}-1right)eta(t)-frac{t-a}{a}eta(t-a)+frac{t-2a}{a}cdoteta(t-2a).
end{equation*}
begin{equation*}
F(p) = frac{1}{ap^2}-frac{1}{p}-frac{1}{ap^2}e^{-ap}-frac{1}{ap^2}e^{-2ap}.
end{equation*}
Дифференцирование оригинала
begin{equation*}
begin{aligned}
f'(t) & risingdotseq p,F(p)-f(0),\
f”(t)& risingdotseq p^2F(p)-p,f(0)-f'(0),\
&cdots\
f^{(n)}(t)& risingdotseq p^nF(p)-p^{n-1}f(0)-ldots -f^{(n-1)}(0).
end{aligned}
end{equation*}
П
Решить задачу Коши:
begin{equation*}
x”’+x’=1, quad x(0)=x'(0)=x”(0)=0.
end{equation*}
Запишем изображения для левой и правой частей дифференциального уравнения:
begin{equation*}
p^3,X(p)+p,X(p)=frac{1}{p}.
end{equation*}
Найдем из записанного алгебраического уравнения неизвестную функцию $X(p)$:
begin{equation*}
X(p)=frac{1}{p^2(p^2+1)}=frac{1}{p^2}-frac{1}{p^2+1}.
end{equation*}
И запишем оригинал для найденного изображения:
begin{equation*}
frac{1}{p^2}-frac{1}{p^2+1}risingdotseq t-mbox{sin},t.
end{equation*}
Получили ответ для поставленной задачи Коши:
begin{equation*}
x(t)=t-mbox{sin},t.
end{equation*}
Дифференцирование изображения
begin{equation*}
begin{aligned}
F'(p)& risingdotseq -t f(t),\
F”(p)& risingdotseq t^2 f(t),\
&cdots\
F^{(n)}(p)& risingdotseq (-1)^n t^n f(t).
end{aligned}
end{equation*}
П
Найти изображение для $f(t) = t^2e^t$.
Известно, что
$$ e^trisingdotseq frac{1}{p-1}.$$
Тогда по теореме о дифференцировании изображений
begin{equation*}
begin{aligned}
& left( frac{1}{p-1}right)’ = -frac{1}{(p-1)^2} risingdotseq t e^t,\
& left(-frac{1}{(p-1)^2}right)” = frac{2}{(p-1)^3}risingdotseq t^2 e^t.
end{aligned}
end{equation*}
Интегрирование оригинала
begin{equation*}
intlimits_0^t f(tau)dtaurisingdotseq frac{F(p)}{p}.
end{equation*}
П
Найти изображение для $f(t) = intlimits_0^t e^{tau}dtau$.
begin{equation*}
e^t risingdotseq frac{1}{p-1},, Rightarrow ,, intlimits_0^t e^{tau}dtau risingdotseq frac{1}{p(p-1)}.
end{equation*}
Интегрирование изображения
begin{equation*}
frac{f(t)}{t}risingdotseq intlimits_p^{+infty}F(p)dp.
end{equation*}
П
Найти изображение для $f(t)=frac{mbox{sin},t}{t}$.
begin{equation*}
begin{aligned}
& mbox{sin}, t risingdotseq frac{1}{p^2+1},, Rightarrow\
& frac{mbox{sin}, t}{t} risingdotseq intlimits_p^{+infty}left.frac {dp}{p^2+1} = mbox{arctg}, right|_p^{+infty}=frac{pi}{2}-mbox{arctg},p=mbox{arcctg},p.
end{aligned}
end{equation*}
Для многозначных функций берем их главные ветви.
Теоремы разложения
Первая теорема разложения
Пусть $F(p)$ — аналитическая в окрестности $z=infty$ функция и в этой окрестности раскладывается в ряд Лорана:
begin{equation*}
F(p)=sumlimits_{k=1}^{infty}displaystylefrac{c_k}{p^k}.
end{equation*}
Тогда
begin{equation*}
F(p)risingdotseq f(t)=sumlimits_{k=1}^{infty}displaystylefrac{c_k}{(k-1)!}t^{k-1}.
end{equation*}
Вторая теорема разложения
Пусть $F(p)$ — дробно-рациональная функция и $p_1, ldots p_n$ — ее полюсы (простые или кратные).
Тогда
begin{equation*}
F(p)risingdotseq f(t)=sumlimits_{k=1}^{n}mbox{res}left(F(p_k)e^{p_kt}right).
end{equation*}
Теоремы умножения. Интеграл Дюамеля
Теорема о свертке (умножение изображений)
Интеграл $intlimits_0^t,f(tau)g(t-tau),dtau$ называется свёрткой функций $f(t)$, $g(t)$ и обозначается $(fast g)(t)$:
begin{equation*}
(fast g)(t)=intlimits_0^t,f(tau)g(t-tau),dtau.
end{equation*}
Если $F(p)$ и $G(p)$ являются изображениями по Лапласу функций $f(t)$ и $g(t)$, то их произведение также является изображением, причем
begin{equation*}
F(p)cdot G(p)risingdotseq (fast g)(t)=intlimits_0^t,f(tau)g(t-tau),dtau.
end{equation*}
(произведение изображений является изображением свертки).
Свертка коммутативна:
begin{equation*}
(fast g)(t)=(gast f)(t)=intlimits_0^t,f(tau)g(t-tau),dtau=intlimits_0^t,g(tau)f(t-tau),dtau.
end{equation*}
Следствие теоремы о свёртке (интеграл Дюамеля)
begin{equation*}
pcdot F(p)cdot G(p) risingdotseq f(0)cdot g(t)+intlimits_0^t f'(tau),g(t-tau),dtau.
end{equation*}
begin{equation*}
pcdot F(p)cdot G(p) risingdotseq g(0)cdot f(t)+intlimits_0^t f(tau),g'(t-tau),dtau.
end{equation*}
Каждую из этих формул называют интеграл Дюамеля.
Теорема об умножении оригиналов
Пусть $f(t)$ и $g(t)$ удовлетворяют условиям:
1) Теорема о существовании изображения.
2) Их показатели роста равны $s_1$ и $s_2$.
3) $f(t)risingdotseq F(p)$, $ g(t) risingdotseq G(p)$.
4) Произведение $f(t)cdot g(t)$ также является оригиналом.
Тогда
begin{equation*}
f(t)cdot g(t) risingdotseq displaystylefrac{1}{2pi i}intlimits_{c-iinfty}^{c+iinfty} F(q)cdot G(p-q),dq,
end{equation*}
где $cgeqslant s_1$, $mbox{Re},p>s_2+c$, $pin mathbb{C}$, $qin mathbb{C}$.