Determine whether each system
given below is invertible.
Passo 1
O enunciado dá o operador (sistema) linear discreto
A pergunta é: determinar se
é invertível.
Informações relevantes fornecidas:
- A definição do sistema é explícita para todo
. - Não foi especificado o espaço de sinais (por exemplo, todas as sequências bilaterais, sequências causais, ou com alguma condição no passado).
- O que é pedido: afirmar se existe uma transformação inversa única
tal que, para todo sinal de saída obtido por , exista exatamente um tal que .
Passo 2
Vamos recordar o que significa “invertível” de forma prática e simples.
Definição prática de invertibilidade (explicada devagar):
- Um sistema
é invertível se, para todo sinal de saída que aparece como , existe UM E SOMENTE UM sinal de entrada que gera esse . - Em termos algébricos, isso significa que o núcleo (kernel) do operador contém só o vetor zero: se
então necessariamente . Porque se existir um tal que , então e (para qualquer solução do homogêneo) gerariam a mesma saída, quebrando a unicidade.
Vou usar essa definição para testar se
é injetivo (um-para-um). Se não for injetivo, não é invertível.
Passo 3
Resolver o caso homogêneo
para ver o núcleo.
Escrevemos a equação homogênea:
Essa recorrência diz que
para todo
. Iterando essa igualdade para frente e para trás, conclui-se que
é constante em
. Ou seja, toda sequência constante é solução da homogênea. Em notação:
satisfaz
.
Portanto o núcleo não é só o zero: contém todas as sequências constantes (por exemplo
dá
). Logo
não é injetivo.
Passo 4
Concluir sobre invertibilidade a partir do núcleo.
Como existe
tal que
, o operador não é um-para-um. Logo não existe uma inversa única definida em todo o espaço de entrada considerado (por exemplo, no espaço de todas as sequências bilaterais). Em termos práticos: duas entradas que diferem por uma constante produzem a mesma saída. Exemplo explícito e simples:
- Tome
para todo . Então . - Tome
para todo . Então também.
Assim, a mesma saídavem de duas entradas distintas, portanto não há inversa única.
Passo 5
Observação útil: quando a gente restringe o domínio, pode recuperar uma inversa.
Embora
não seja invertível no espaço de todas as sequências (porque constantes somadas são ambiguidade), se impuser uma condição adicional que elimine essa ambiguidade, então existe uma inversa única sobre esse subconjunto. Dois exemplos comuns:
- Impondo um valor inicial conhecido. Se fixar um índice
e exigir conhecido, então para qualquer a solução da equação
é única e pode ser construída por soma telescópica:
Com essa condição inicial fixa,
é invertível no subconjunto de sequências com esse valor inicial.
- Condição de “zero no passado infinito”. Se restringir ao conjunto de sequências tais que
(ou, em sinais causais, exigir para ), então a inversa causal pode ser escrita como uma soma acumulada:
- Para
:
- Para sinais causais (isto é,
para ) assume-se e então
para
.
Essas fórmulas vêm do somar a relação
entre limites apropriados e usar o telescopamento.
Passo 6
Resumo didático e incentivo: o operador diferença
“apaga” componentes constantes das sequências. Isso gera ambiguidade (não unicidade da entrada a partir da saída) a menos que se fixe uma condição inicial ou uma condição no passado. É um típico caso em que o operador não é globalmente invertível, mas torna-se invertível se o domínio for bem restringido.
Resposta
Se o domínio for restringido, por exemplo impondo