Considérons un système avec l'entrée et la sortie y ( t ) . En empruntant la notation de la réponse de Lars1, nous désignons cette relation x ( t ) → y ( t ) . Le système serait un système linéaire invariable dans le temps (LTI) s'il satisfait aux propriétés suivantes:x(t)y(t)x(t)→y(t)
H. Si , alors α x ( t ) → α y ( t ) .x(t)→y(t)αx(t)→αy(t)
A. Si
et x 2 ( t ) → y 2 ( t ) , alors
x 1 ( t ) + x 2 ( t ) → y 1 ( t ) + y 2 ( t ) .x1(t)→y1(t)x2(t)→y2(t)x1(t)+x2(t)→y1(t)+y2(t).
T. Si
, alors x ( t - τ ) → y ( t - τ ) pour tout nombre réel τ .x(t)→y(t)x(t−τ)→y(t−τ)τ
Les propriétés H et A ensemble sont équivalentes à la propriété L
L. Si
et x 2 ( t ) → y 2 ( t ) , alors
α x 1 ( t ) + β x 2 ( t ) → α y 1 ( t ) + β y 2 ( t ) .x1(t)→y1(t)x2(t)→y2(t)αx1(t)+βx2(t)→αy1(t)+βy2(t)
L'entrée périodique dans un système invariant dans le temps produit une sortie périodique
Supposons que est un signal périodique de période T , c'est-à-dire x ( t - n T ) = x ( t ) pour tous les entiers n . Puis, de la propriété T , il suit immédiatement que y ( t ) est également un signal périodique de période T . Ainsi, nous pouvons exprimer
y ( t ) comme une série de Fourier:x(t)Tx(t−nT)=x(t)ny(t)Ty(t)
oùω=2π/Test la fréquence fondamentale.
y(t)=a02+∑n=1∞ancos(nωt)+bnsin(nωt)
ω=2π/T
Puisque et sin ( ω t ) sont des signaux périodiques, nous avons cela pour tout système invariant dans le temps, qu'il soit linéaire ou non,
cos ( ω t )cos(ωt)sin(ωt)
En fait, pourlinéairesystèmes invarianttemps (LTI),touslespn,qn,rn,etsnsont égauxzérosauf
pourp1,q1,r1,s
cos(ωt)sin(ωt)→p02+∑n=1∞pncos(nωt)+qnsin(nωt)→r02+∑n=1∞rncos(nωt)+snsin(nωt).
pn,qn,rn,sn . Pour voir pourquoi il en est ainsi, calculons la réponse du système LTI à
cos ( ω t - θ ) de deux manières différentes et comparons les résultats.
p1,q1,r1,s1cos(ωt−θ)
Puisque , nous obtenons de la propriété L et des équations ci-dessus que
cos ( ω t - θ )cos(ωt−θ)=cos(θ)cos(ωt)+sin(θ)sin(ωt)
D'autre part, puisquecos(ωt-θ)=cos(ω(t-θ/ω))
n'est qu'une version retardée decos(ωt), de Property
cos(ωt−θ)→p0cos(θ)+q0sin(θ)2+∑n=1∞(pncos(θ)+rnsin(θ))cos(nωt)+∑n=1∞(qncos(θ)+snsin(θ))sin(nωt).
cos(ωt−θ)=cos(ω(t−θ/ω))cos(ωt)T
on obtient que
Ces deux séries de Fourier doivent être les mêmes quelle que soit la valeur de
θ quenous choisissons. Coefficients comparant, on voit que
p0/2ne peut pas égaler
(p0cos(θ)+r0cos(θcos(ωt−θ)→p02+∑n=1∞pncos(nωt−nθ)+qnsin(nωt−nθ)=p02+∑n=1∞(pncos(nθ)−qnsin(nθ))cos(nωt)+∑n=1∞(qncos(nθ)+pnsin(nθ))sin(nωt).
θp0/2 pour tout
θ sauf si
p 0 = r 0 = 0 . De même, pour tout
n > 1 ,
p n cos ( n θ ) - q n sin ( n θ ) ne peut pas être égal à
p n cos ( θ ) + r n sin ( θ ) etc. pour tout
θ
sauf si
p n = q(p0cos(θ)+r0cos(θ))/2θp0=r0=0n>1pncos(nθ)−qnsin(nθ)pncos(θ)+rnsin(θ)θ . Cependant, pour
n = 1 ,
p 1 cos ( θ ) - q 1 sin ( θ ) = p 1 cos ( θ ) + r 1 sin ( θ )
implique que
r 1 = - q 1 , et de même,
s 1 = p 1 . En d'autres termes, pour un système LTI,
pn=qn=rn=sn=0n=1p1cos(θ)−q1sin(θ)=p1cos(θ)+r1sin(θ)r1=−q1s1=p1
Maintenant,
p1cos(ωt)+q1sin(ωt)=Bcos(ωt-ϕ)
où
B=√cos(ωt)sin(ωt)→p1cos(ωt)+q1sin(ωt)→−q1cos(ωt)+p1sin(ωt).
p1cos(ωt)+q1sin(ωt)=Bcos(ωt−ϕ) et
ϕ=arctan(q1/p1). Par conséquent, les propriétés
Tet
Hnous donnent
Acos(ωt-θ)→ABcos(ωt-ϕ-θ). Toutesinusoïde de fréquence
ωrad / s peut être exprimée en
Acos(ωtB=p21+q21−−−−−−√ϕ=arctan(q1/p1)Acos(ωt−θ)→ABcos(ωt−ϕ−θ).
ω pour un choix approprié de
A et
θ , et donc le résultat ci-dessus est ce dont nous avons besoin.
Acos(ωt−θ)Aθ
Propriété SISO des systèmes linéaires invariants dans le temps: si l'entrée d'un système LTI est une sinusoïde, la sortie est une sinusoïde de même fréquence mais d'amplitude et de phase éventuellement différentes.
Ce n'est pas tout à fait le résultat que l'OP voulait - il voulait une preuve qu'un système linéaire (dans lequel les propriétés H et
A (de manière équivalente, la propriété L ) détiennent mais pas nécessairement la propriété T ) a la propriété SISO, mais comme développement montre ci-dessus, la propriété T doit tenir afin de prouver même le résultat le plus faible qu'une entrée périodique entraîne une sortie périodique.
Enfin, notez qu'il n'est pas nécessaire d'utiliser des nombres complexes ou des théorèmes de convolution ou des transformées de Fourier ou LaPlace, des impulsions, des fonctions propres, etc. pour prouver la propriété SISO. Il découle des propriétés
L et * T et de l'identité trigonométrique
cos(α−β)=cos(α)cos(β)+sin(α)sin(β).