Observer Design over Hypercomplex Quaternions

Título: Projeto de Observador sobre Quatérnios Hipercomplexos

Autor: Michael Sebek

1. Problema e Motivação

O artigo aborda o desafio de projetar observadores de estado (estimadores) diretamente sobre a álgebra de divisão dos quatérnios ($\mathbb{H}$), sem recorrer à conversão prévia para coordenadas reais (vetores de dimensão 4).

• Desafio Central: Diferente dos campos reais ($\mathbb{R}$) e complexos ($\mathbb{C}$), a multiplicação em $\mathbb{H}$ é não comutativa. Isso invalida ferramentas clássicas de teoria de controle e álgebra linear, como:
  • O determinante padrão.
  • O polinômio característico (definido de forma única).
  • O Teorema de Cayley-Hamilton na sua forma usual.
  • A equivalência entre zeros à esquerda e à direita de polinômios.
• Consequência: Em sistemas quatérnicos, os autovalores são definidos apenas até classes de similaridade ($\lambda \sim \alpha^{-1}\lambda\alpha$). Projetos tradicionais que dependem de polinômios característicos falham ou exigem formulações complexas e não nativas.
• Objetivo: Desenvolver uma estrutura de projeto de observador livre de determinantes e livre de polinômios característicos, operando nativamente na estrutura hipercomplexa para preservar a geometria e as propriedades espectrais dos quatérnios.

2. Metodologia

O autor propõe uma abordagem baseada na dualidade entre controlabilidade e observabilidade, utilizando uma forma canônica específica adaptada à não comutatividade.

• Convenção de Módulo: Adota-se a convenção de módulo à direita, onde os escalares quatérnicos multiplicam os sinais à direita. Isso define claramente os autovalores à direita ($Av = v\lambda$).
• Forma Canônica de Observador (Companion Form):
  • Em vez de calcular um polinômio característico, o autor constrói diretamente uma forma canônica de observador a partir da matriz de observabilidade ($O$).
  • Define-se um polinômio companheiro ($a(\lambda)$) cujos coeficientes são extraídos da última coluna da matriz do sistema na forma canônica.
  • Demonstra-se que este polinômio anula a matriz do observador sob substituição à esquerda (uma distinção crucial devido à não comutatividade).
• Distribuição de Polos:
  • O posicionamento de polos é interpretado como a atribuição de classes de similaridade de autovalores à direita.
  • Utiliza-se a dualidade via conjugação transposta ($A \leftrightarrow A^*$, $B \leftrightarrow C^*$) para mapear o problema de observador para um problema de realimentação de estado no sistema dual.
• Fórmula de Ackermann Quatérnica:
  • Deriva-se uma fórmula de Ackermann para o ganho do observador ($L$).
  • Restrição Crítica: A fórmula de Ackermann direta só é válida e correta quando o polinômio desejado possui coeficientes reais (que estão no centro de $\mathbb{H}$). Para coeficientes quatérnicos gerais, o método de atualização direta nas coordenadas da forma companheira é necessário.

3. Principais Contribuições

1. Estrutura Livre de Determinantes: Uma nova formulação para a forma canônica de observador que não depende de determinantes ou do Teorema de Cayley-Hamilton, evitando as armadilhas da não comutatividade.
2. Polinômio Companheiro e Espectro: Estabelecimento de que o espectro à direita de um sistema observável corresponde exatamente às classes de similaridade das raízes à direita do seu polinômio companheiro.
3. Fórmula de Ackermann Adaptada:
   • Uma fórmula de ganho de observador para polinômios desejados com coeficientes reais, que é computacionalmente eficiente ("one-shot").
   • A demonstração de que a fórmula de Ackermann falha para polinômios com coeficientes não centrais (quatérnicos), enquanto a atualização de coeficientes na forma canônica permanece válida.
4. Dualidade Explícita: Clarificação da dualidade controlador-observador sobre $\mathbb{H}$ usando a operação de conjugação transposta ($*$), preservando as classes de similaridade dos autovalores.

4. Resultados

• Teoremas Fundamentais:
  • Teorema 1: Prova a existência e unicidade da transformação para a forma canônica de observador baseada na matriz de observabilidade.
  • Teorema 2: Demonstra que o polinômio companheiro anula a matriz do observador via substituição à esquerda.
  • Teorema 3 & 4: Ligam as raízes do polinômio companheiro ao espectro do sistema original.
  • Teorema 5: Fornece o algoritmo de alocação de polos via atualização de coeficientes na forma canônica.
  • Teorema 6: Apresenta a fórmula de Ackermann para o ganho do observador ($L = a_d(A)O^{-1}e_n$), válida estritamente para polinômios com coeficientes reais.
• Exemplos Numéricos:
  • O artigo valida a teoria com exemplos de sistemas SISO (Single-Input Single-Output) de ordem 2.
  • Mostra a convergência do observador para estados reais, complexos e quatérnicos puros.
  • Ilustra que, ao usar coeficientes reais no polinômio desejado, a fórmula de Ackermann produz o mesmo ganho que o método de atualização de coordenadas.
  • Demonstra que tentar usar a fórmula de Ackermann com coeficientes quatérnicos (não reais) leva a resultados incorretos, reforçando a necessidade do método de forma canônica para casos gerais.
• Simulação: Uma simulação com condições iniciais e entradas quatérnicas confirma que o erro de estimação converge para zero em todas as componentes (escalar, $i, j, k$).

5. Significado e Impacto

Este trabalho é fundamental para a teoria de sistemas e controle em domínios onde a estrutura hipercomplexa é intrínseca, como:

• Dinâmica Quântica e Controle: Onde a evolução de estados é naturalmente descrita por quatérnios.
• Processamento de Sinais e Imagens: Tratamento de sinais de polarização e imagens coloridas (4 canais) sem perda de informação estrutural pela projeção em $\mathbb{R}^4$.
• Robótica e Aeronáutica: Embora muitas aplicações atuais convertam quatérnios para vetores reais, este método permite projetar filtros e observadores que respeitam a geometria de rotação e a estrutura algébrica nativa, potencialmente oferecendo maior eficiência computacional e precisão numérica em cenários específicos.

Em resumo, o artigo fornece as ferramentas matemáticas rigorosas para projetar observadores de estado em quatérnios de forma nativa, superando as limitações das ferramentas clássicas de $\mathbb{R}$ e $\mathbb{C}$ e abrindo caminho para aplicações avançadas em sistemas quânticos e de processamento de sinais multivariados.