Линейные системы

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

Основные свойства и определения

Линейная система характеризуется двумя ключевыми аксиомами:

• Аддитивность: Если на вход системы подаётся сигнал \( x_1(t) \), вызывающий выход \( y_1(t) \), а сигнал \( x_2(t) \) вызывает \( y_2(t) \), то сигнал \( x_1(t) + x_2(t) \) вызовет выход \( y_1(t) + y_2(t) \).
• Однородность (гомогенность): Если входной сигнал \( x(t) \) вызывает выход \( y(t) \), то сигнал \( a \cdot x(t) \) (где \( a \) — константа) вызовет выход \( a \cdot y(t) \).

Математически это записывается как: для любых входных сигналов \( x_1, x_2 \) и любых констант \( \alpha, \beta \) выполняется равенство:

\[ T\{\alpha x_1 + \beta x_2\} = \alpha T\{x_1\} + \beta T\{x_2\} \]

где \( T \) — оператор, описывающий преобразование входа в выход.

Важным следствием является то, что для линейной системы реакция на нулевой входной сигнал всегда равна нулю (при нулевых начальных условиях). Нарушение хотя бы одного из свойств делает систему нелинейной.

Классификация линейных систем

Линейные системы классифицируются по нескольким признакам.

По типу математического описания

• Линейные стационарные системы (LTI — Linear Time-Invariant): Параметры системы не меняются во времени. Если входной сигнал сдвинуть во времени, выходной сигнал сдвинется на ту же величину без изменения формы. Описываются обыкновенными дифференциальными уравнениями с постоянными коэффициентами. Являются наиболее изученным классом.
• Линейные нестационарные системы: Параметры системы зависят от времени. Описываются дифференциальными уравнениями с переменными коэффициентами. Пример — ракета, масса которой уменьшается по мере выгорания топлива.

По размерности

• Системы с сосредоточенными параметрами: Описываются обыкновенными дифференциальными уравнениями (ОДУ). Переменные зависят только от времени. Пример — электрический колебательный контур.
• Системы с распределёнными параметрами: Описываются уравнениями в частных производных. Переменные зависят от времени и пространственных координат. Пример — распространение тепла в стержне или колебания струны.

По характеру сигналов

• Непрерывные (аналоговые): Входные и выходные сигналы являются непрерывными функциями времени. Описываются дифференциальными уравнениями.
• Дискретные (цифровые): Сигналы определены только в дискретные моменты времени. Описываются разностными уравнениями. Широко используются в цифровой обработке сигналов и компьютерных системах управления.

Математическое описание

Существует несколько эквивалентных способов описания линейных систем, каждый из которых удобен для решения определённого круга задач.

Дифференциальные и разностные уравнения

Для непрерывных LTI-систем общего вида:

\[ a_n \frac{d^n y}{dt^n} + a_{n-1} \frac{d^{n-1} y}{dt^{n-1}} + \dots + a_0 y = b_m \frac{d^m u}{dt^m} + b_{m-1} \frac{d^{m-1} u}{dt^{m-1}} + \dots + b_0 u \]

где \( y \) — выход, \( u \) — вход, \( a_i, b_j \) — постоянные коэффициенты.

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

Передаточная функция

Передаточная функция \( H(s) \) определяется как отношение преобразования Лапласа выходного сигнала к преобразованию Лапласа входного сигнала при нулевых начальных условиях:

\[ H(s) = \frac{Y(s)}{U(s)} \]

Для дискретных систем используется Z-преобразование. Передаточная функция является рациональной функцией комплексной переменной и полностью определяет динамику системы.

Импульсная характеристика

Импульсная характеристика \( h(t) \) — это реакция системы на входной сигнал в виде дельта-функции Дирака \( \delta(t) \). Для LTI-систем выходной сигнал \( y(t) \) является свёрткой входного сигнала \( u(t) \) и импульсной характеристики:

\[ y(t) = \int_{-\infty}^{\infty} u(\tau) h(t - \tau) d\tau = (u * h)(t) \]

Пространство состояний

Описание в пространстве состояний представляет систему в виде системы дифференциальных уравнений первого порядка:

\[ \dot{x}(t) = A x(t) + B u(t) \] \[ y(t) = C x(t) + D u(t) \]

где \( x \) — вектор состояния, \( A \) — матрица динамики, \( B \) — матрица входа, \( C \) — матрица выхода, \( D \) — матрица прямой передачи. Этот метод удобен для анализа многомерных систем и систем с переменными параметрами.

Анализ и свойства

Устойчивость

Линейная система называется устойчивой, если её реакция на ограниченное входное воздействие остаётся ограниченной (устойчивость по БИБО — bounded-input bounded-output). Для LTI-систем условие устойчивости формулируется как расположение всех полюсов передаточной функции (корней характеристического уравнения) в левой полуплоскости комплексной плоскости (для непрерывных систем) или внутри единичной окружности (для дискретных систем).

Управляемость и наблюдаемость

• Управляемость: Система управляема, если существует такое управляющее воздействие \( u(t) \), которое может перевести систему из любого начального состояния в любое конечное состояние за конечное время.
• Наблюдаемость: Система наблюдаема, если по измерениям выходного сигнала \( y(t) \) на конечном интервале времени можно однозначно восстановить начальное состояние системы \( x(0) \).

Эти понятия являются центральными в современной теории управления.

Применение

Линейные системы находят применение в огромном числе инженерных и научных дисциплин.

• Электротехника и электроника: Анализ электрических цепей (RLC-цепи, фильтры, усилители). Линейные приближения используются для описания работы транзисторов в режиме малого сигнала.
• Теория автоматического управления: Проектирование регуляторов (ПИД-регуляторы, компенсаторы) для стабилизации и управления технологическими процессами, роботами, летательными аппаратами.
• Обработка сигналов: Разработка цифровых и аналоговых фильтров (нижних, верхних частот, полосовых), сжатие данных, анализ спектра.
• Механика: Моделирование колебаний механических систем (пружина-масса-демпфер), вибраций зданий и машин.
• Экономика: Анализ взаимосвязей в экономических моделях (например, модель Леонтьева «затраты-выпуск»), прогнозирование временных рядов с помощью линейных регрессионных моделей.
• Биология: Моделирование динамики популяций (линеаризованные модели Лотки-Вольтерры), анализ электрической активности нейронов.

Ограничения и критика

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

Источники

1. Калман Р. Е., Фалб П. Л., Арбиб М. А. Очерки по математической теории систем. — М.: Мир, 1971.
2. Оппенгейм А. В., Шафер Р. В. Цифровая обработка сигналов. — М.: Техносфера, 2006.
3. Дорф Р. К., Бишоп Р. Х. Современные системы управления. — М.: Лаборатория базовых знаний, 2002.
4. Льюнг Л. Идентификация систем. Теория для пользователя. — М.: Наука, 1991.
5. Андронов А. А., Витт А. А., Хайкин С. Э. Теория колебаний. — М.: Физматгиз, 1959.