A transformada-Z está relacionada às transformadas de Fourier e Laplace. A Transformada-Z opera sobre sinais de tempo discreto ou amostragens de sinais analógicos, convertendo a sua representação no tempo em uma representação do sinal no domínio de frequência, e pode ser vista como a correspondente para sequências discretas da transformada de Laplace para sinais de tempo contínuo: a transformada-Z está para a transformada de Laplace como a transformada de Fourier discreta está para a transformada de Fourier (contínua).

Passo 1

Você me deu uma descrição da transformada-Z e pediu, implicitamente, para entender claramente como ela se relaciona com as transformadas de Laplace e Fourier para sinais amostrados/discretos.\n
Informações fornecidas pelo enunciado que vou usar explicitamente:
  • A transformada-Z opera sobre sinais de tempo discreto (sequências) ou amostragens de sinais analógicos.
  • A transformada-Z é, para sequências discretas, o análogo da transformada de Laplace para sinais contínuos.
  • A transformada-Z está relacionada à transformada de Fourier discreta (DTFT) quando se restringe à circunferência unitária no plano z.
    As perguntas implícitas que vou responder passo a passo:
  1. O que é a transformada-Z (definição matemática) e o que cada símbolo significa?
  2. Como a transformada-Z se relaciona com a transformada de Laplace (mapeamento s \leftrightarrow z)?
  3. Como a transformada-Z se relaciona com a transformada de Fourier discreta (DTFT)?
  4. O que é a Região de Convergência (ROC) e por que ela importa (causalidade e estabilidade)?
  5. Como aplicar na prática: exemplos e inversão (métodos para recuperar a sequência no tempo)?

Passo 2

Definição formal e significado das variáveis — a base de tudo.\n
  • Considere uma sequência discreta no tempo x[n], onde n é um índice inteiro ( n\in\mathbb{Z}). A transformada-Z bilateral de x[n] é definida por:
X(z)=\sum_{n=-\infty}^{\infty} x[n]\,z^{-n}.
Expliquei cada símbolo:\n
  • X(z) é a representação no domínio complexo (função de z).\n
  • z é uma variável complexa, geralmente escrita como z=re^{j\theta}, onde r=|z| e \theta=\arg(z).\n
  • O fator z^{-n} generaliza o termo exponencial. Note que z^{-n} = e^{-n\ln z}, por isso há ligação com exponenciais do Laplace quando z é relacionado a s.\n
    Por que usamos z e não só e^{j\omega}? Porque z permite considerar crescimento/decaimento (através do raio r) além da oscilação (através do ângulo \theta). Isso é essencial para tratarmos estabilidade e convergência.

Passo 3

Região de Convergência (ROC): conceito, como determinar e por que é crucial.\n
  • A soma da definição de X(z) só converte para um número para certos valores de z. O conjunto desses z é a Região de Convergência (ROC).\n
  • A ROC depende de como x[n] se comporta para n\to\pm\infty.\n
    Regras importantes (relevantes para provas):
  1. Para uma sequência causal (isto é, x[n]=0 para n<0), a ROC é do tipo |z|>r_{\text{pole}} (externa ao maior módulo de pólos).\n
  2. Para uma sequência anti-causal (não nula somente para n\le N com N finito para negativos), a ROC é do tipo |z|<r_{\text{pole}} (interna ao menor pólo).\n
  3. Para sequência de duração finita (apenas valores para um conjunto finito de n), a ROC é todo o plano complexo, exceto possivelmente z=0 ou z=\infty, dependendo da forma.\n
    Por que importa? Porque duas funções racionais X(z) idênticas como expressão algébrica podem representar sequências diferentes se a ROC for diferente. A ROC diz se a sequência é causal, estável, etc.

Passo 4

Transformada-Z unilateral (prática para sinais causais e equações diferenciais em diferença) e quando usar.\n
  • A transformada-Z unilateral é definida por:
X^+(z)=\sum_{n=0}^{\infty} x[n]\,z^{-n}.
  • Usamos unilateral quando trabalhamos com condições iniciais (problemas iniciais) e sinais causais — é útil para resolver equações em diferença, assim como a transformada unilateral de Laplace é usada em EDOs com condições iniciais.\n
    Em prova, se o enunciado fala de “sistema causal” ou pede resposta ao impulso partindo de n=0, prefira a transformada unilateral.

Passo 5

Relação direta entre a transformada de Laplace do sinal amostrado e a transformada-Z: o mapeamento z = e^{sT}.\n
  • Considere um sinal contínuo x_a(t) e suas amostras com período de amostragem T: x[n] = x_a(nT).\n
  • A transformada de Laplace do sinal amostrado (sinal composto por impulsos ponderados nas amostras) pode ser escrita como
X_s(s)=\sum_{n=-\infty}^{\infty} x[n]\,e^{-s n T}.
  • Observe que se definirmos z=e^{sT} então e^{-s n T} = z^{-n}. Assim,
X_s(s)=\sum_{n=-\infty}^{\infty} x[n]\,z^{-n} = X(z)
com a substituição z=e^{sT}.\n
Interpretação prática e geométrica:\n
  • O mapeamento z=e^{sT} transforma o plano s (plano complexo de Laplace) em círculos exponenciais no plano z: linhas verticalmente em s mapearão para círculos de raio constante em z, etc.\n
  • Assim, a transformada-Z é obtida “substituindo” a variável e^{-sT} pelas potências de z^{-1}. Isso é o que formaliza a frase “a transformada-Z é o análogo discreto da transformada de Laplace”.

Passo 6

Relação com a transformada de Fourier discreta (DTFT): restrição ao círculo unitário.\n
  • A DTFT de uma sequência x[n] é
X(e^{j\omega})=\sum_{n=-\infty}^{\infty} x[n]\,e^{-j\omega n}.
  • Compare com a transformada-Z \displaystyle X(z)=\sum_{n} x[n] z^{-n}. Se colocarmos z sobre a circunferência unitária, z=e^{j\omega}, então
X(e^{j\omega}) = X(z)\big|_{z=e^{j\omega}}.
  • Portanto, a DTFT é a transformada-Z avaliada na circunferência unitária ( |z|=1). Isso mostra que a transformada-Z contém informação de frequência (DTFT) mais informação de estabilidade/decrescimento (através de r=|z|\neq1).\n
    Consequência prática: o comportamento de frequência de um sistema linear e invariante no tempo (LTI) é dado por H(e^{j\omega}), que é H(z) restrita a |z|=1. Se a ROC não incluir a circunferência unitária, a DTFT não existe (diverge).

Passo 7

Polos, zeros, estabilidade e causalidade — como lê-los no plano z.\n
  • Para uma função racional X(z)=\dfrac{N(z)}{D(z)}, as raízes de N(z) são zeros, as raízes de D(z) são polos.\n
  • Regras úteis:
    1. Sistema causal LTI: ROC externa ao maior módulo de pólos (inclui |z|=\infty).\n
    2. Sistema estável (resposta ao impulso absolutamente somável): ROC inclui a circunferência unitária ( |z|=1).\n
    3. Se um polo está fora do círculo unitário ( |p|>1), isso implica crescimento exponencial no tempo e possivelmente instabilidade para causalidade.\n
  • Conclusão prática: para um sistema causal e estável, todos os pólos devem estar estritamente dentro do círculo unitário ( |p|<1), porque então a ROC |z|> \max|p| conterá |z|=1. Isso é um resultado que cai muito em prova (pega a atenção do professor).

Passo 8

Exemplo passo a passo (muito comum em prova): x[n]=a^{n}u[n].\n
  • Definição da sequência: u[n] é a função degrau unitário ( u[n]=1 para n\ge0 e 0 para n<0).\n
  • Compute a transformada-Z unilateral/bilateral (para esta sequência causal ambas coincidem):
X(z)=\sum_{n=0}^{\infty} a^{n} z^{-n} = \sum_{n=0}^{\infty} (a z^{-1})^{n}.
  • Isso é uma série geométrica com razão r = a z^{-1}. Soma de série geométrica (conceito que você deve lembrar para provas):
\sum_{n=0}^{\infty} r^{n} = \frac{1}{1-r},\quad \text{quando }|r|<1.
  • Aplicando aqui:
X(z)=\frac{1}{1 - a z^{-1}} = \frac{z}{z - a}.
  • Condição de convergência: precisamos de |a z^{-1}|<1, isto é |z|>|a|. Portanto a ROC é |z|>|a|.\n
  • Interpretando: se |a|<1, então a ROC inclui a circunferência unitária e a DTFT existe; se |a|\ge1, a sequência cresce ou não decai e a DTFT diverge.

Passo 9

Exemplo prático de sequências finitas e inversão por séries (método direto) — bom para prova porque é rápido.\n
  • Suponha x[0]=1, x[1]=2, x[2]=3, e x[n]=0 para outros n. Então
X(z)=\sum_{n=0}^{2} x[n] z^{-n} = 1 + 2 z^{-1} + 3 z^{-2}.
  • Para inverter: escrever como série de potências em z^{-1}. A série já é explícita; os coeficientes dos termos z^{-n} são exatamente x[n]. Esse método funciona sempre que X(z) puder ser expandido em série de potências válida na ROC desejada.\n
  • Quando X(z) é racional e queremos inverter para x[n] em tempo, usamos frequentemente decomposição em frações parciais para converter X(z) em soma de termos cujas inversas nós já conhecemos (ex.: termos do tipo \dfrac{A}{1 - a z^{-1}} invertendo para A a^{n} u[n]).

Passo 10

Métodos de inversão e dicas rápidas (para a hora da prova).\n
Métodos principais para achar x[n] a partir de X(z):\n
  1. Expansão em série de potências (quando x[n] é causal e ROC é |z|> algo): escreva X(z) como série em z^{-1} e leia coeficientes.\n
  2. Frações parciais (quando X(z) é racional): decompose em termos simples \dfrac{A}{1 - a z^{-1}} etc., e use resultados conhecidos.\n
  3. Cálculo por integral de contorno (menos comum em prova prática):
x[n]=\frac{1}{2\pi j}\oint_{C} X(z)\,z^{n-1}\,dz,
onde C é um caminho dentro da ROC. Normalmente, prefere-se frações parciais por ser mais direto.\n
Dica prática: aprenda de cor as inversas padrões: \dfrac{1}{1-a z^{-1}}\leftrightarrow a^{n}u[n], \dfrac{z}{z-a}\leftrightarrow a^{n}u[n], e como deslocamento no tempo corresponde a multiplicação por potências de z^{-1}.

Passo 11

Resumo operacional rápido (o que deve aparecer na sua folha de prova ou na cabeça quando chegar uma questão sobre transformada-Z).\n
  1. Escreva a definição \displaystyle X(z)=\sum_{n} x[n] z^{-n}.\n
  2. Identifique se a sequência é causal, anti-causal ou finita — isso ajuda a determinar a ROC.\n
  3. Se houver amostragem a partir de um sinal contínuo com período T, lembre: z=e^{sT} (mapa Laplace → Z).\n
  4. Para obter resposta em frequência, avalie em z=e^{j\omega} — isso dá a DTFT.\n
  5. Para inverter, tente série de potências (se for finito ou causal com expressão manipulável) ou decomposição em frações parciais (se racional).\n
  6. Lembre-se: estabilidade ↔ ROC inclui |z|=1; causalidade ↔ ROC externa ao maior polo.\n
    Você consegue — faz um checklist desses passos na prova e resolve com calma.

Resposta

Definição bilateral: X(z)=\sum_{n=-\infty}^{\infty} x[n]\,z^{-n}.
Mapeamento Laplace → Z (amostragem com período T): z=e^{sT}\quad\text{e}\quad X_s(s)=\sum_{n} x[n]e^{-s n T}=X(z)\big|_{z=e^{sT}}.
Relação com DTFT: X(e^{j\omega})=X(z)\big|_{z=e^{j\omega}}=\sum_{n} x[n]e^{-j\omega n}.
Exemplo clássico: para x[n]=a^{n}u[n],
X(z)=\sum_{n=0}^{\infty}a^{n}z^{-n}=\frac{1}{1-a z^{-1}}=\frac{z}{z-a},\quad\text{ROC: }|z|>|a|.
Regra prática: ROC determina causalidade/estabilidade — causal \Rightarrow ROC externa ao maior polo; estável \Leftrightarrow ROC inclui |z|=1.

Exercícios relacionados