Transformation en Z

Latransformation en Zest un outil mathématique de l'automatiqueet dutraitement du signal,qui est l'équivalentdiscretde latransformation de Laplace.Elle transforme un signal réel du domaine temporel en un signal représenté par une série complexe et appelétransforméeen Z.

Elle est utilisée entre autres pour le calcul defiltres numériquesà réponse impulsionnelle infinie et enautomatiquepour modéliser dessystèmes dynamiquesde manière discrète.

Définition

Sa définition mathématique est la suivante: la transformation en Z est une application qui transforme unesuites(définie sur les entiers) en unefonctionSd'une variablecomplexenomméez,telle que:

$S(z)={\mathcal {Z}}\{s(n)\}=\sum _{n=-\infty }^{+\infty }s(n)z^{-n},\quad z\in \left\lbrace z\in \mathbb {C} {\Big |}\sum _{n=-\infty }^{+\infty }s(n)z^{-n}\quad \mathrm {converge} \right\rbrace$

La variablenreprésente en général letempsdiscrétisé, la variable complexezn'est qu'un être mathématique. Lorsqu'on travaille surs(n) on dit que l'on est dans ledomaine temporel,lorsqu'on travaille surS(z) le domaine est appeléfréquentielpar analogie avec la transformée de Fourier.

Si$\forall n<0,\ s(n)=0$,on parle de signal causal. Inversement, si$\forall n>0,\ s(n)=0$,on parle de signal anti-causal.

Pour les signaux causaux, on peut aussi utiliser la transformée en Zmonolatérale:

${\mathcal {Z}}_{+}\left\{s\left(n\right)\right\}=\sum _{n=0}^{+\infty }s\left(n\right)z^{-n}$

Existence de la transformée en Z

Le domaine deconvergenceest le sous-ensemble de$\mathbb {C}$dans lequel lasérieconverge.
Autrement dit, le domaine de convergence de la transformée en$z$de la suite$(x(n))_{n\in \mathbb {Z} }$est l'ensemble:

$\left\{z\in \mathbb {C} {\Big |}\sum _{n=-\infty }^{\infty }x(n)z^{-n}\quad \mathrm {existe} \right\}$

Le sous-ensemble de$\mathbb {C}$dans lequel cette série convergeabsolumentest appelé lacouronne de convergence.En posant$z=\rho e^{i\theta }~$,il vient:

$|S(z)|=\left|\sum _{n=-\infty }^{\infty }x(n)z^{-n}\right|\leqslant \sum _{n=-\infty }^{\infty }\left|x(n)\right|\rho ^{-n}=\lim _{N,M\rightarrow \infty }S_{N,M}\left(\rho \right),$avec$S_{N,M}\left(\rho \right)=\sum _{n=-N}^{M}\left\vert x(n)\right\vert \rho ^{-n}.$

Le domaine de convergence absolue de$S(z)$est donc une couronne

${\mathcal {C}}_{c}=\left\{z\in \mathbb {C}:\rho _{1}\prec \left\vert z\right\vert \prec \rho _{2}\right\}$

où$\prec$signifie à chaque fois$<$ou$\leq$et où l'inégalité (large ou stricte)$\left\vert z\right\vert \succ \rho _{1}$(resp.$\left\vert z\right\vert \prec \rho _{2}$) est la condition nécessaire et suffisante pour que$S_{N,M}\left(\rho \right)$ait une limite finie lorsque$M$(resp.$N$) tend vers$+\infty$.Explicitement,

$\rho _{1}=\limsup _{n\rightarrow +\infty }{\sqrt[{n}]{\left\vert x(n)\right\vert }},\quad \rho _{2}=\liminf _{n\rightarrow +\infty }{\frac {1}{\sqrt[{n}]{\left\vert x(-n)\right\vert }}}.$

Dans toute la suite de l'article, la couronne de convergence${\mathcal {C}}_{c}$est supposée non vide et les transformées en Z sont valides pour$z\in {\mathcal {C}}_{c}$seulement.

Propriétés de la transformation en Z

On montre les propriétés énoncées ci-dessous:

Linéarité

La transformée en Z d'une combinaison linéaire de deux signaux est la combinaison linéaire des transformées en Z de chaque signal.

${\mathcal {Z}}\{a_{1}x_{1}(n)+a_{2}x_{2}(n)\}=a_{1}{\mathcal {Z}}\{x_{1}(n)\}+a_{2}{\mathcal {Z}}\{x_{2}(n)\}\$

Décalage temporel

Le décalage temporel dekéchantillons d'un signal se traduit par la multiplication de la transformée en Z du signal parz^−k.

${\mathcal {Z}}\{x(n-k)\}=z^{-k}{\mathcal {Z}}\{x(n)\}.~$

Avance

Lorsqu'on utilise la transformée en Z monolatérale (voir ci-dessus), on obtient

${\mathcal {Z}}_{+}\left\{x\left(n+k\right)\right\}=z^{k}\left[{\mathcal {Z}}_{+}\left\{x\left(n\right)\right\}-\sum _{j=0}^{k-1}x\left(j\right)z^{-j}\right]$

Convolution

La transformée en Z d'unproduit de convolutionest le produit des transformées en Z

${\mathcal {Z}}\{x*y\}={\mathcal {Z}}\{x\}{\mathcal {Z}}\{y\}\$

où$\left(x*y\right)\left(n\right)=\sum _{k=-\infty }^{+\infty }x\left(n-k\right)y\left(k\right)$.

En effet,

${\begin{array}{rcl}Z\left(\left\{x*y\right\}\right)\left(z\right)&=&\sum \limits _{n=-\infty }^{+\infty }\left\{x\star y\right\}\left(n\right)z^{-n}\\&=&\sum \limits _{n=-\infty }^{+\infty }\sum \limits _{k=-\infty }^{+\infty }x\left(n-k\right)y\left(k\right)z^{-(n-k)}z^{-k}\\&=&\sum \limits _{m=-\infty }^{+\infty }\sum \limits _{k=-\infty }^{+\infty }x\left(m\right)y\left(k\right)z^{-m}z^{-k}\\&=&\left(\sum \limits _{m=-\infty }^{+\infty }x\left(m\right)z^{-m}\right)\left(\sum \limits _{k=-\infty }^{+\infty }y\left(k\right)z^{-k}\right)\end{array}}$

Multiplication par uneexponentielle

${\mathcal {Z}}\{a^{n}x(n)\}=X\left({\frac {z}{a}}\right)$avec$X(z)$transformée en Z de la suite$x(n)$

Multiplication par la variable d'évolution

De façon générale:

${\mathcal {Z}}\{n^{k}x(n)\}=\left(-z{\frac {\mathrm {d} }{\mathrm {d} z}}\right)^{k}{\mathcal {Z}}\{x(n)\}\$

où$\textstyle \left(-z{\frac {\mathrm {d} }{\mathrm {d} z}}\right)^{k}{\mathcal {Z}}\{x(n)\}$signifie que l'on applique k fois à${\mathcal {Z}}\{x(n)\}$l'opérateur$\textstyle -z{\frac {\mathrm {d} }{\mathrm {d} z}}$

Si l'on écrit cette formule au rang k=1, on obtient la formule dedérivation:

${\mathcal {Z}}\{nx(n)\}=-z{\frac {\mathrm {d} }{\mathrm {d} z}}X(z)\$

Théorème de la valeur initiale

Soit$x(n)\,$un signalcausalet$X(z)\,$sa transformée en Z. Alors:

$x(0)=\lim _{n\to 0}x(n)=\lim _{z\to +\infty }X(z)$

Théorème de la valeur finale

Soit$x(n)\,$un signalcausalet$X(z)\,$sa transformée en Z. Alors lorsque la limite de gauche existe, on peut écrire:

$\lim _{n\to +\infty }x(n)=\lim _{z\rightarrow 1,\left\vert z\right\vert >1}(z-1)X(z)$

Démonstration

Le théorème de la valeur initiale a une démonstration évidente: il suffit de poser$y=z^{-1}$et de remplacerypar0dans l'expression de$X(y^{-1})$.

Pour le théorème de la valeur finale, on notera que le fait que$\lim \nolimits _{n\rightarrow +\infty }x(n)$existe implique la suite$(x(n))$est bornée et donc que le rayon de convergence$\rho _{1}$de$X(z)$est inférieur ou égal à 1. On a

$(z-1)X\left(z\right)=\lim \limits _{n\rightarrow \infty }S_{n}\left(z\right)$

avec

$S_{n}\left(z\right)=x(0)z+\sum \limits _{i=1}^{n}\left(x(i)-x(i-1)\right)z^{-i}$

et cette suite de fonctions est uniformément convergente dans l'ouvert$U=\left\{z\in \mathbb {C}:\left\vert z\right\vert >1\right\}$.Le point1appartient à l'adhérence deUet pour$z\rightarrow 1$,$S_{n}\left(z\right)$converge vers$x(n)$.D'après le « théorème de la double limite », on a donc

$\lim \limits _{z\rightarrow 1,\left\vert z\right\vert >1}\lim \limits _{n\rightarrow \infty }S_{n}\left(z\right)=\lim \limits _{n\rightarrow \infty }\left(\lim \limits _{z\rightarrow 1,\left\vert z\right\vert >1}S_{n}\left(z\right)\right)=\lim \limits _{n\rightarrow \infty }x\left(n\right).$

Transformation en Z inverse

La transformée en Z inverse est donnée par:

$x(n)={\mathcal {Z}}^{-1}\{X(z)\}={\frac {1}{2\pi i}}\oint _{C}X(z)z^{n-1}\mathrm {d} z\$

où$C$est un chemin fermé parcouru dans le sens inverse des aiguilles d'une montre et appartenant entièrement au domaine de convergence.

En pratique, ce calcul s'effectue souvent à l'aide duthéorème des résiduset la formule devient dans le cas d'un signal causal:

$x(n)=\sum _{z_{k}={\rm {p{\hat {o}}les\;de\;}}z^{n-1}X(z)}\operatorname {Res} \{z^{n-1}X(z)\}_{z=z_{k}}\,$

Autres méthodes d'inversion

D'autres méthodes d'inversion pour passer de$X(z)$à$x(n)$sont: la lecture à l'envers de la table des transformées usuelles; l'application des règles de décalage, de combinaisons linéaires, de produit de convolution. En désespoir de cause, on peut toujours essayer de procéder par identification en donnant àzk+1 valeurs numériques et en recherchant les coefficients x(0) à x(k) qui sont solutions d'un système de k+1 équations linéaires à k+1 inconnues. Ou bien essayer de trouver un développement de Taylor ou Maclaurin de la fonction à inverser. Un cas particulier favorable se présente lorsque la fonction$X(z)$est unefraction rationnelle.En effet lorsque:$X(z)={\frac {P(z)}{Q(z)}}$,P et Q étant deux polynômes en 1/z, on peut effectuer la division jusqu'au degré de précision souhaité, et l'on obtient directement les valeurs numériques des coefficients$x(n)$,n variant de 0 à m. En l'occurrence on adopte plutôt dans ce cas la notation$H(z)={NUM(z)}/{DENOM(z)}\$.La raison en est que, pour les systèmes discrets ou échantillonnés, lafonction de transferts'écrit h(n) et sa transformée en Z se présente souvent sous cette forme de quotient entre une sortie (en z) et une entrée (en z):$H(z)={NUM(z)}/{DENOM(z)}\$.Un exemple concret pour illustrer cette démarche:

Quotient de polynômes en z, approximation numérique.

Attention, cette méthode est purement numérique, elle ne fournit pas l'expression analytique de la série inverse. Dans cet exemple, H(z) est le rapport de deux polynômes en 1/z. Le numérateur ressemble à la multiplication par 2 du dénominateur décalé de 1 période, mais on choisit des valeurs numériques un peu inexactes pour éviter un parfait quotient égal à 2/z.

• Le numérateur, de puissance 11, est une expression de la forme:$\textstyle \scriptstyle NUM(z)=num_{0}+num_{1}(1/z)^{1}+num_{2}(1/z)^{2}+\cdots +num_{11}(1/z)^{11}$$NUM(z)=0+0(1/z)^{1}+2,3\cdot (1/z)^{2}+4,22\cdot (1/z)^{3}+6,2\cdot (1/z)^{4}+8,21\cdot (1/z)^{5}+10,2\cdot (1/z)^{6}+12,2\cdot (1/z)^{7}+12,22\cdot (1/z)^{8}+12,4\cdot (1/z)^{9}+12,4\cdot (1/z)^{10}+12,4\cdot (1/z)^{11}.$
• Le dénominateur, de puissance 10, est:$DENOM(z)=0+1,1\cdot (1/z)^{1}+2,1\cdot (1/z)^{2}+3,1\cdot (1/z)^{3}+4,1\cdot (1/z)^{4}+5,1\cdot (1/z)^{5}+6,1\cdot (1/z)^{6}+6,1\cdot (1/z)^{7}+6,2\cdot (1/z)^{8}+6,2\cdot (1/z)^{9}+6,2\cdot (1/z)^{10}.$
• Ici la division des polynômes ne « tombe pas juste », nous nous contentons d'une approximation du quotient Q(z), de la forme
  $\sum _{n\geq 0}q_{n}(1/z)^{n}$
  jusqu'à la puissance 10:

${\begin{matrix}Q(z)&=0+2,090909\cdot (1/z)^{1}-0,155372\cdot (1/z)^{2}+0,040421\cdot (1/z)^{3}+0,0309047\cdot (1/z)^{4}-0,015368\cdot (1/z)^{5}\\&+0,007694\cdot (1/z)^{6}+0,101526\cdot (1/z)^{7}-0,176646\cdot (1/z)^{8}+0,061258\cdot (1/z)^{9}+0,015904\cdot (1/z)^{10}.\end{matrix}}$

• Le reste R(z) de cette division incomplète est:

${\begin{matrix}R(z)&=0+0\cdot (1/z)^{1}+0\cdot (1/z)^{2}+0\cdot (1/z)^{3}+0\cdot (1/z)^{4}+0\cdot (1/z)^{5}+0\cdot (1/z)^{6}\\&+0\cdot (1/z)^{7}+0\cdot (1/z)^{8}+0\cdot (1/z)^{9}+0\cdot (1/z)^{10}+0\cdot (1/z)^{11}+0,550806\cdot (1/z)^{12}\\&-0,413006\cdot (1/z)^{13}-0,063683\cdot (1/z)^{14}+0,040876\cdot (1/z)^{15}-0,052647\cdot (1/z)^{16}\\&-0,011071\cdot (1/z)^{17}+0,616793\cdot (1/z)^{18}-0,478404\cdot (1/z)^{19}-0,098602(1/z)^{20}.\end{matrix}}$

On peut vérifier sur un tableur ou à la main que ces polynômes répondent bien à la définition de ladivision euclidienne:H(z) = NUM(z)/DENOM(z)= Q(z)+ R(z)/DENOM(z). On suppose que le reste est négligeable par rapport aux coefficients du quotient. Les schémas de ces divers polynômes peuvent être visualisés sur un tableur comme suit.

Par curiosité on peut afficher laréponse impulsionnellede l'approximation Q(z) de H(z). De même on peut afficher laréponse indiciellede Q(z) à un échelon de Heaviside.

Si nous nous contentions d'une approximation moins précise de H(z) par le quotient Q(z), de la forme

$\sum _{n\geq 0}q_{n}(1/z)^{n}$

jusqu'à la puissance 5 par exemple:$\textstyle \scriptstyle Q(z)=0+2,090909\cdot (1/z)^{1}-0,155372\cdot (1/z)^{2}+0,040421\cdot (1/z)^{3}+0,0309047\cdot (1/z)^{4}-0,015368\cdot (1/z)^{5}+0,$nous obtiendrions des courbes de réponse légèrement différentes, beaucoup moins précises (imprécision 6 fois plus forte environ). Le choix du degré d'approximation, autrement dit du meilleur compromis entre la précision et la lourdeur des calculs, est dicté par l'examen concret du problème spécifique que l'on traite.

Procédé par identification approximative des coefficients de X(z).

Pour passer de$X(z)$à$x(n)$,si aucune méthode ne semble déboucher, en désespoir de cause on peut toujours essayer de procéder par identification en donnant à z k+1 valeurs numériques et en recherchant les coefficients x(0) à x(k) qui sont solutions d'un système de k+1 équations linéaires à k+1 inconnues. Exemple:

Utilisation des fractions rationnelles, exemple de la fonction de transfert de la suite de Fibonacci.

Lasérie génératrice de la suite de Fibonacciest $\sum _{n\in \mathbb {N} }{\mathcal {F}}_{n}X^{n}={\frac {X}{1-X-X^{2}}}$donc sa transformée en Z est

$F(z)={\frac {z}{z^{2}-z-1}}$

Pour retrouver laformule de Binet,procédons à la transformation inverse. La méthode des fractions rationnelles peut être tentée. Le dénominateur possède deux pôles,$z_{0}$et$z_{1}$qui sont lenombre d'or:$z_{0}=\varphi ={1+{\sqrt {5}} \over 2}$et l'opposé de son inverse:$z_{1}=1-\varphi ={1-{\sqrt {5}} \over 2}$.Pour les calculs rencontrés ci-dessous on se servira des propriétés suivantes de$z_{0}$et$z_{1}$:$z_{0}-z_{1}=(2\cdot z_{0}-1)={\sqrt {5}}$,et

$(z-z_{0})\cdot (z-z_{1})=z^{2}-z-1$.

La fonction se décompose en fractions rationnelles élémentaires que l'on réécrit un peu:

$F(z)={\frac {z}{z^{2}-z-1}}={\frac {1}{\sqrt {5}}}\cdot \left({\frac {z_{0}}{z-z_{0}}}-{\frac {z_{1}}{z-z_{1}}}\right)={\frac {1}{\sqrt {5}}}\cdot \left(z_{0}\cdot {\frac {1}{z-z_{0}}}-z_{1}\cdot {\frac {1}{z-z_{1}}}\right)$.

Une fraction du type$1/(z-z_{0})$peut se travailler ainsi:

${\frac {1}{(z-z_{0})}}={\frac {z}{(z-z_{0})}}\cdot {\frac {1}{z}}$

La première partie étant la transformée de la formule usuelle exponentielle,$z_{0}^{n}$,la seconde partie 1/z étant le retard pur d'un cran. Si bien que la transformée inverse de cette fraction élémentaire est$z_{0}^{n-1}$,en appliquant les règles de combinaisons linéaire nous calculons la suite cherchée:

${\mathcal {F}}_{n}={\frac {1}{\sqrt {5}}}\left(z_{0}\cdot z_{0}^{n-1}-z_{1}\cdot z_{1}^{n-1}\right)={\frac {1}{\sqrt {5}}}\left(z_{0}^{n}-z_{1}^{n}\right).$

Relation avec les autres transformées

Transformée de Laplace

Théorème—Soitxun signal, supposé être une fonction indéfiniment dérivable, et (avec un abus d'écriture, en notant une distribution comme une fonction)

$\Delta \left(t\right)=\sum \limits _{n=-\infty }^{\infty }\delta \left(t-nT\right)$

le peigne de Dirac (qui appartient à l'espace desdistributions tempérées${\mathcal {S}}^{\prime }$). Lesignal échantillonné,défini par$x_{e}=x\Delta$,est une distribution qu'on peut écrire sous la forme

$x_{e}\left(t\right)=\sum \limits _{n=-\infty }^{\infty }x\left(nT\right)\delta \left(t-nT\right)=\sum \limits _{n=-\infty }^{\infty }x\left[n\right]\delta \left(t-nT\right)$.

La correspondance$p\mapsto z=e^{pT}$est une surjection de la bande de convergence de latransformée de Laplace$X_{e}(p)$du signal échantillonné$x_{e}$(en supposant cette bande de convergence non vide) sur la couronne de convergence de la transformée en Z$X(z)$de la suite de terme général$x[n]$,et l'on a

$X_{e}\left(p\right)=X\left(z\right)\left\vert _{z=e^{pT}}\right.$.

Démonstration

Soit$p=\alpha +i\omega$appartenant à la bande de convergence de$X_{e}(p)$.Alors$e^{-\alpha t}x_{e}(t)$(avec un nouvel abus d'écriture) appartient à${\mathcal {S}}^{\prime }$et par définition$X_{e}\left(p\right)={\mathcal {F}}\left(e^{-\alpha t}x_{e}\left(t\right)\right)\left(\omega \right)$où${\mathcal {F}}$désigne latransformée de Fourier.Soit$\phi \in {\mathcal {S}}$où${\mathcal {S}}$est l'espace de Schwartzdes fonctions déclinantes (dont${\mathcal {S}}^{\prime }$est le dual). On a (toujours en écriture abusive)

${\begin{aligned}\left\langle X_{e}\left(\alpha +i\omega \right),\varphi \left(\omega \right)\right\rangle &=\left\langle x_{e}\left(t\right)e^{-\alpha t},({\mathcal {F}}\varphi )\left(t\right)\right\rangle \\&=\left\langle \sum \limits _{n=-\infty }^{\infty }\delta \left(t-nT\right)x\left(t\right)e^{-\alpha t},({\mathcal {F}}\varphi )\left(t\right)\right\rangle \\&=\left\langle \sum \limits _{n=-\infty }^{\infty }x\left(nT\right)e^{-n\alpha T}\delta \left(t-nT\right),({\mathcal {F}}\varphi )\left(t\right)\right\rangle \\&=\left\langle \sum \limits _{n=-\infty }^{\infty }x\left(nT\right)e^{-n\alpha T}({\mathcal {F}}\delta \left(t-nT\right)),\varphi \left(\omega \right)\right\rangle \\&=\left\langle \sum \limits _{n=-\infty }^{\infty }x\left(nT\right)e^{-n\alpha T}e^{-i\omega nT},\varphi \left(\omega \right)\right\rangle \\&=\left\langle \sum \limits _{n=-\infty }^{\infty }x\left(nT\right)e^{-n(\alpha +i\omega )T},\varphi \left(\omega \right)\right\rangle \end{aligned}}$

et par conséquent

$X_{e}(p)=X\left(z\right)\left\vert _{z=e^{pT}}\right.$.

Les égalités ci-dessus sont valides car dans chaque crochet de dualité, on a à gauche une distribution tempérée et à droite une fonction déclinante; par suite, la substitution$p\mapsto z=e^{pT}$envoie la bande de convergence${\mathcal {B}}_{c}$de$X_{e}(p)$du signal échantillonné$x_{e}$dans la couronne de convergence${\mathcal {C}}_{c}$de$X(z)$.

Réciproquement, soit la suite de terme général$x\left[n\right]$;posons$x_{\alpha }\left[n\right]=x\left[n\right]e^{-\alpha nT}$et$p=\alpha +i\omega$.Le nombre complexe$z=e^{pT}$appartient à${\mathcal {C}}_{c}$si, et seulement si la suite de terme général$x_{\alpha }\left[n\right]$appartient à l'espace$\mathbf {s} ^{\prime }$des « suites à croissance lente » (i.e. des suitesapour lesquelles il existe un entier$k>0$tel que$a\left[n\right]=O(n^{k})$pour$n\rightarrow \infty$.La transformée de Fourier d'une telle suite est la distribution$2\pi /T$-périodique

$({\mathcal {F}}a)\left(\omega \right)=\sum \limits _{n=-\infty }^{\infty }a\left[n\right]e^{-in\omega T}$.

Associons à la suiteala distribution${\underline {a}}$définie (en notation abusive) par

${\underline {a}}\left(t\right)=\sum \limits _{n=-\infty }^{\infty }a\left[n\right]\delta \left(t-nT\right)$.

L'application$a\mapsto {\underline {a}}$est un monomorphisme de$\mathbf {s} ^{\prime }$dans l'espace des distributions tempérées${\mathcal {S}}^{\prime }$et la transformation de Fourier est un automorphisme de${\mathcal {S}}^{\prime }$.On obtient alors (toujours en notation abusive)

$({\mathcal {F}}a)\left(\omega \right)={\underline {a}}\left(t\right)e^{-i\omega t}$.

Ce qui précède montre que

$\left\langle X_{e}\left(\alpha +i\omega \right),\varphi \left(\omega \right)\right\rangle =\left\langle ({\mathcal {F}}{\underline {x_{\alpha }}})\left(\omega \right),\varphi \left(\omega \right)\right\rangle.$

Récapitulons: si$z\in {\mathcal {C}}_{c}$,alors$\left(x_{\alpha }\left[n\right]\right)\in \mathbf {s} ^{\prime }$,donc${\underline {x_{\alpha }}}\in {\mathcal {S}}^{\prime }$,donc ${\mathcal {F}}{\underline {x_{\alpha }}}\in {\mathcal {S}}^{\prime }$,donc (notation abusive)$X_{e}\left(\alpha +i\omega \right)\in {\mathcal {S}}^{\prime }$,donc$p\in {\mathcal {B}}_{c}$.On a donc montré que la correspondance$p\mapsto z=e^{pT}$est unesurjectionde${\mathcal {B}}_{c}$sur${\mathcal {C}}_{c}$.

Transformée de Fourier et transformée de Fourier discrète

Si le cercle unité appartient à la couronne de convergence${\mathcal {C}}_{c}$,latransformée de Fourierde la suite$(x[n])\$s'obtient en prenant la restriction de la transformée en Z de cette suite au cercle unité, c'est-à-dire en posant$z=e^{i\theta }$.Latransformée de Fourierest en effet la fonction$2\pi$-périodique$\theta \mapsto X\left(e^{i\theta }\right)$(elle est$2\pi /T$-périodique si l'on pose$\theta =\omega T$et qu'on prend comme variable la pulsation$\omega$). Si$(x[n])\$est une suite de nombres réels, on a$X\left(e^{-i\theta }\right)={\overline {X\left(e^{i\theta }\right)}}$,par conséquent$\theta$peut être supposé varier dans l'intervalle$\left[0,\pi \right[$.

Latransformée de Fourierpeut se définir pour des suites à croissance lente (elle est alors unedistribution$2\pi$-périodique) et la transformée en Z à partir de cette transformée de Fourier plus générale (voir la démonstration ci-dessus).

Il existe également une relation entre la transformée en Z et latransformée de Fourier discrète(TFD). La TFD d'un signal$\left\{x_{n}\right\}$de support$\left\{0,1,...,N-1\right\}$est obtenue en évaluant$X(z)$en$z=e^{i{\frac {2\pi k}{N}}}$(avec$\qquad k=0,1,...,N-1$).

Transformées en Z usuelles

Ci-dessous,$\delta [n]\,$représente l'impulsion unitaire ou « suite deKronecker» (égale à 1 pour$n=0$et à 0 sinon; elle peut également s'écrire$\delta _{0}^{n}$,où$\delta _{i}^{j}$est lesymbole de Kronecker); d'autre part,$u[n]\,$désigne l'échelon unitaire (égal à 1 pour$n\geq 0$et à 0 sinon).

Transformées en Z

	Signal$x(n)$	Transformée en Z$X(z)$	Domaine de convergence
1	$\delta [n]\,$	$1\,$	$\mathbb {C} \$
2	$u[n]\,$	${\frac {1}{1-z^{-1}}}$	$|z|>1\,$
3	$nu[n]\,$	${\frac {z^{-1}}{(1-z^{-1})^{2}}}$	$|z|>1\,$
4	$a^{n}u[n]\,$	${\frac {1}{1-az^{-1}}}$	$|z|>|a|\,$
5	$na^{n}u[n]\,$	${\frac {az^{-1}}{(1-az^{-1})^{2}}}$	$|z|>|a|\,$
6	$-a^{n}u[-n-1]\,$	${\frac {1}{1-az^{-1}}}$	$|z|<|a|\,$
7	$-na^{n}u[-n-1]\,$	${\frac {az^{-1}}{(1-az^{-1})^{2}}}$	$|z|<|a|\,$
8	$\cos(\omega _{0}n)u[n]\,$	${\frac {1-z^{-1}\cos(\omega _{0})}{1-2z^{-1}\cos(\omega _{0})+z^{-2}}}$	$|z|>1\,$
9	$\sin(\omega _{0}n)u[n]\,$	${\frac {z^{-1}\sin(\omega _{0})}{1-2z^{-1}\cos(\omega _{0})+z^{-2}}}$	$|z|>1\,$
10	$a^{n}\cos(\omega _{0}n)u[n]\,$	${\frac {1-az^{-1}\cos(\omega _{0})}{1-2az^{-1}\cos(\omega _{0})+a^{2}z^{-2}}}$	$|z|>|a|\,$
11	$a^{n}\sin(\omega _{0}n)u[n]\,$	${\frac {az^{-1}\sin(\omega _{0})}{1-2az^{-1}\cos(\omega _{0})+a^{2}z^{-2}}}$	$|z|>|a|\,$

Notes et références

Références

• HenriBourlès,Linear Systems,John Wiley & Sons,2010,544p.(ISBN978-1-84821-162-9et1-84821-162-7)
• (en)SergeLang,Complex Analysis (3rd ed.),New York/Berlin/Paris etc., Springer,1993,458p.(ISBN0-387-97886-0)
• RobertPallu de la Barrière,Cours d'automatique théorique,Dunod,1966
• LaurentSchwartz,Méthodes mathématiques pour les sciences physiques,Hermann,1965

Voir aussi

• Filtre numérique
• Transformation de Laplace#Valeur finale
• Fonction de transfert