# 线性系统

In systems theory, a linear system is a mathematical model of a system based on the use of a linear operator.

In systems theory, a linear system is a mathematical model of a system based on the use of a linear operator.

Linear systems typically exhibit features and properties that are much simpler than the nonlinear case.

Linear systems typically exhibit features and properties that are much simpler than the nonlinear case.

As a mathematical abstraction or idealization, linear systems find important applications in automatic control theory, signal processing, and telecommunications. For example, the propagation medium for wireless communication systems can often be

As a mathematical abstraction or idealization, linear systems find important applications in automatic control theory, signal processing, and telecommunications. For example, the propagation medium for wireless communication systems can often be

modeled by linear systems.

modeled by linear systems.

## Definition

A general deterministic system can be described by an operator, $\displaystyle{ H }$, that maps an input, $\displaystyle{ x(t) }$, as a function of $\displaystyle{ t }$ to an output, $\displaystyle{ y(t) }$, a type of black box description. Linear systems satisfy the property of superposition. Given two valid inputs

A general deterministic system can be described by an operator, $\displaystyle{ H }$, that maps an input, $\displaystyle{ x(t) }$, as a function of $\displaystyle{ t }$ to an output, $\displaystyle{ y(t) }$, a type of black box description. Linear systems satisfy the property of superposition. Given two valid inputs

$\displaystyle{ x_1(t) \, }$

$\displaystyle{ x_1(t) \, }$

X _ 1(t) ，</math >

$\displaystyle{ x_2(t) \, }$

$\displaystyle{ x_2(t) \, }$

[ math > x _ 2(t) ，[ math ]

as well as their respective outputs

as well as their respective outputs

$\displaystyle{ y_1(t) = H \left \{ x_1(t) \right \} }$

$\displaystyle{ y_1(t) = H \left \{ x_1(t) \right \} }$

< math > y _ 1(t) = h left { x _ 1(t) right } </math >

$\displaystyle{ y_2(t) = H \left \{ x_2(t) \right \} }$

$\displaystyle{ y_2(t) = H \left \{ x_2(t) \right \} }$

[ math > y _ 2(t) = h left { x _ 2(t) right }

then a linear system must satisfy

then a linear system must satisfy

$\displaystyle{ \alpha y_1(t) + \beta y_2(t) = H \left \{ \alpha x_1(t) + \beta x_2(t) \right \} }$

$\displaystyle{ \alpha y_1(t) + \beta y_2(t) = H \left \{ \alpha x_1(t) + \beta x_2(t) \right \} }$

< math > alpha y _ 1(t) + beta y _ 2(t) = h left { alpha x _ 1(t) + beta x _ 2(t) right } </math >

for any scalar values $\displaystyle{ \alpha \, }$ and $\displaystyle{ \beta \, }$.

for any scalar values $\displaystyle{ \alpha \, }$ and $\displaystyle{ \beta \, }$.

< ! -- 插入描述叠加和缩放属性的图片 -- >

The system is then defined by the equation $\displaystyle{ H(x(t)) = y(t) }$, where $\displaystyle{ y(t) }$ is some arbitrary function of time, and $\displaystyle{ x(t) }$ is the system state. Given $\displaystyle{ y(t) }$ and $\displaystyle{ H }$, the system can be solved for $\displaystyle{ x(t) }$. For example, a simple harmonic oscillator obeys the differential equation:

The system is then defined by the equation $\displaystyle{ H(x(t)) = y(t) }$, where $\displaystyle{ y(t) }$ is some arbitrary function of time, and $\displaystyle{ x(t) }$ is the system state. Given $\displaystyle{ y(t) }$ and $\displaystyle{ H }$, the system can be solved for $\displaystyle{ x(t) }$. For example, a simple harmonic oscillator obeys the differential equation:

$\displaystyle{ m \frac{d^2(x)}{dt^2} = -kx }$.

$\displaystyle{ m \frac{d^2(x)}{dt^2} = -kx }$.

[ math > m frac { d ^ 2(x)}{ dt ^ 2} =-kx.

If

If

$\displaystyle{ H(x(t)) = m \frac{d^2(x(t))}{dt^2} + kx(t) }$,

$\displaystyle{ H(x(t)) = m \frac{d^2(x(t))}{dt^2} + kx(t) }$,

< math > h (x (t)) = m frac { d ^ 2(x (t))}{ dt ^ 2} + kx (t) </math > ,

then $\displaystyle{ H }$ is a linear operator. Letting $\displaystyle{ y(t) = 0 }$, we can rewrite the differential equation as $\displaystyle{ H(x(t)) = y(t) }$, which shows that a simple harmonic oscillator is a linear system.

then $\displaystyle{ H }$ is a linear operator. Letting $\displaystyle{ y(t) = 0 }$, we can rewrite the differential equation as $\displaystyle{ H(x(t)) = y(t) }$, which shows that a simple harmonic oscillator is a linear system.

The behavior of the resulting system subjected to a complex input can be described as a sum of responses to simpler inputs. In nonlinear systems, there is no such relation.

The behavior of the resulting system subjected to a complex input can be described as a sum of responses to simpler inputs. In nonlinear systems, there is no such relation.

This mathematical property makes the solution of modelling equations simpler than many nonlinear systems.

This mathematical property makes the solution of modelling equations simpler than many nonlinear systems.

For time-invariant systems this is the basis of the impulse response or the frequency response methods (see LTI system theory), which describe a general input function $\displaystyle{ x(t) }$ in terms of unit impulses or frequency components.

For time-invariant systems this is the basis of the impulse response or the frequency response methods (see LTI system theory), which describe a general input function $\displaystyle{ x(t) }$ in terms of unit impulses or frequency components.

Typical differential equations of linear time-invariant systems are well adapted to analysis using the Laplace transform in the continuous case, and the Z-transform in the discrete case (especially in computer implementations).

Typical differential equations of linear time-invariant systems are well adapted to analysis using the Laplace transform in the continuous case, and the Z-transform in the discrete case (especially in computer implementations).

Another perspective is that solutions to linear systems comprise a system of functions which act like vectors in the geometric sense.

Another perspective is that solutions to linear systems comprise a system of functions which act like vectors in the geometric sense.

A common use of linear models is to describe a nonlinear system by linearization. This is usually done for mathematical convenience.

A common use of linear models is to describe a nonlinear system by linearization. This is usually done for mathematical convenience.

## Time-varying impulse response

The time-varying impulse response h(t2,t1) of a linear system is defined as the response of the system at time t = t2 to a single impulse applied at time t = t1. In other words, if the input x(t) to a linear system is

The time-varying impulse response h(t2,t1) of a linear system is defined as the response of the system at time t = t2 to a single impulse applied at time t = t1. In other words, if the input x(t) to a linear system is

$\displaystyle{ x(t) = \delta(t-t_1) \, }$

$\displaystyle{ x(t) = \delta(t-t_1) \, }$

X (t) = delta (t-t _ 1) ，</math >

where δ(t) represents the Dirac delta function, and the corresponding response y(t) of the system is

where δ(t) represents the Dirac delta function, and the corresponding response y(t) of the system is

$\displaystyle{ y(t) |_{t=t_2} = h(t_2,t_1) \, }$

$\displaystyle{ y(t) |_{t=t_2} = h(t_2,t_1) \, }$

[ math > y (t) | { t = t2} = h (t2，t1) ，</math >

then the function h(t2,t1) is the time-varying impulse response of the system. Since the system cannot respond before the input is applied the following causality condition must be satisfied:

then the function h(t2,t1) is the time-varying impulse response of the system. Since the system cannot respond before the input is applied the following causality condition must be satisfied:

$\displaystyle{ h(t_2,t_1)=0, t_2\lt t_1 }$

$\displaystyle{ h(t_2,t_1)=0, t_2\lt t_1 }$

(t _ 2，t _ 1) = 0，t _ 2 < t _ 1 </math >

## The convolution integral

The output of any general continuous-time linear system is related to the input by an integral which may be written over a doubly infinite range because of the causality condition:

The output of any general continuous-time linear system is related to the input by an integral which may be written over a doubly infinite range because of the causality condition:

$\displaystyle{ y(t) = \int_{-\infty}^{t} h(t,t') x(t')dt' = \int_{-\infty}^{\infty} h(t,t') x(t') dt' }$

$\displaystyle{ y(t) = \int_{-\infty}^{t} h(t,t') x(t')dt' = \int_{-\infty}^{\infty} h(t,t') x(t') dt' }$

< math > y (t) = int _ {-infty } ^ { h (t，t’) x (t’) dt’ = int _ {-infty } ^ { infty } h (t，t’) x (t’) dt’ </math >

If the properties of the system do not depend on the time at which it is operated then it is said to be time-invariant and h() is a function only of the time difference τ = t-t' which is zero for τ<0 (namely t<t'). By redefinition of h() it is then possible to write the input-output relation equivalently in any of the ways,

If the properties of the system do not depend on the time at which it is operated then it is said to be time-invariant and h() is a function only of the time difference τ = t-t' which is zero for τ<0 (namely t<t'). By redefinition of h() it is then possible to write the input-output relation equivalently in any of the ways,

$\displaystyle{ y(t) = \int_{-\infty}^{t} h(t-t') x(t') dt' = \int_{-\infty}^{\infty} h(t-t') x(t') dt' = \int_{-\infty}^{\infty} h(\tau) x(t-\tau) d \tau = \int_{0}^{\infty} h(\tau) x(t-\tau) d \tau }$

$\displaystyle{ y(t) = \int_{-\infty}^{t} h(t-t') x(t') dt' = \int_{-\infty}^{\infty} h(t-t') x(t') dt' = \int_{-\infty}^{\infty} h(\tau) x(t-\tau) d \tau = \int_{0}^{\infty} h(\tau) x(t-\tau) d \tau }$

< math > y (t) = int _ {-infty } h (t-t’) x (t’) dt’ = int _ {-infty } h (t-t’) x (t’) dt’ = int _ {-infty } h (t’) x (t’) dt’ = int _ {-infty } h (t) x (t-tau) d tau = _ {0}{ infty } h (tau) x (t-tau) d tau </math >

Linear time-invariant systems are most commonly characterized by the Laplace transform of the impulse response function called the transfer function which is:

Linear time-invariant systems are most commonly characterized by the Laplace transform of the impulse response function called the transfer function which is:

$\displaystyle{ H(s) =\int_0^\infty h(t) e^{-st}\, dt. }$

$\displaystyle{ H(s) =\int_0^\infty h(t) e^{-st}\, dt. }$

$\displaystyle{ H(s) =\int_0^\infty h(t) e^{-st}\, dt. }$

In applications this is usually a rational algebraic function of s. Because h(t) is zero for negative t, the integral may equally be written over the doubly infinite range and putting s = iω follows the formula for the frequency response function:

In applications this is usually a rational algebraic function of s. Because h(t) is zero for negative t, the integral may equally be written over the doubly infinite range and putting s = iω follows the formula for the frequency response function:

$\displaystyle{ H(i\omega) = \int_{-\infty}^{\infty} h(t) e^{-i\omega t} dt }$

$\displaystyle{ H(i\omega) = \int_{-\infty}^{\infty} h(t) e^{-i\omega t} dt }$

< math > h (i omega) = int _ {-infty } ^ { infty } h (t) e ^ {-i omega t } dt </math >

## Discrete time systems

The output of any discrete time linear system is related to the input by the time-varying convolution sum:

The output of any discrete time linear system is related to the input by the time-varying convolution sum:

$\displaystyle{ y[n] = \sum_{m =-\infty}^{n} { h[n,m] x[m] } = \sum_{m =-\infty}^{\infty} { h[n,m] x[m] } }$

$\displaystyle{ y[n] = \sum_{m =-\infty}^{n} { h[n,m] x[m] } = \sum_{m =-\infty}^{\infty} { h[n,m] x[m] } }$

< math > y [ n ] = sum _ { m =-infty } ^ { n }{ h [ n，m ] x [ m ]} = sum _ { m =-infty } ^ { infty }{ h [ n，m ] x [ m ]} </math >

or equivalently for a time-invariant system on redefining h(),

or equivalently for a time-invariant system on redefining h(),

$\displaystyle{ y[n] = \sum_{k =0}^{\infty} { h[k] x[n-k] } = \sum_{k =-\infty}^{\infty} { h[k] x[n-k] } }$

$\displaystyle{ y[n] = \sum_{k =0}^{\infty} { h[k] x[n-k] } = \sum_{k =-\infty}^{\infty} { h[k] x[n-k] } }$

< math > y [ n ] = sum _ { k = 0} ^ { infty }{ h [ k ] x [ n-k ]} = sum _ { k =-infty } ^ { infty }{ h [ k ] x [ n-k ]}} </math >

where

where

$\displaystyle{ k = n-m \, }$

$\displaystyle{ k = n-m \, }$

[ math ] k = n-m，[ math ]

represents the lag time between the stimulus at time m and the response at time n.

represents the lag time between the stimulus at time m and the response at time n.

## See also

Category:Systems theory

Category:Dynamical systems

Category:Mathematical modeling

Category:Concepts in physics

## References

This page was moved from wikipedia:en:Linear system. Its edit history can be viewed at 线性系统/edithistory