Novel Stability Criteria for Discrete and Hybrid Systems via Ramanujan Inner Products

Resumo Técnico: Novos Critérios de Estabilidade para Sistemas Discretos e Híbridos via Produtos Internos de Ramanujan

1. Problema e Motivação

A análise de estabilidade é um pilar da teoria de controle, tradicionalmente baseada em métricas euclidianas (normas e produtos internos padrão) e métodos como o de Lyapunov e estabilidade entrada-estado (ISS). Embora poderosas, essas métricas medem a energia e a convergência puramente em um sentido geométrico, ignorando frequentemente propriedades estruturais dos sinais e dinâmicas que surgem em sistemas modernos.

O problema central abordado é a inadequação das normas euclidianas para capturar características aritméticas e combinatórias presentes em:

• Sistemas de comutação híbrida.
• Controle com dados amostrados.
• Mecanismos de agendamento discreto.
• Perturbações que exibem padrões periódicos, quase-periódicos ou baseados em classes de resíduo (ex.: perda de pacotes periódica, ruído cicloestacionário).

Nesses cenários, a evolução do estado pode possuir características dependentes de classes de resíduo ou sequências de comutação periódicas que não são otimizamente capturadas por normas euclidianas, levando a análises de estabilidade excessivamente conservadoras ou incapazes de garantir convergência assintótica na presença de certas perturbações estruturadas.

2. Metodologia Proposta

Os autores propõem um novo framework de análise de estabilidade fundamentado na Teoria dos Números, especificamente utilizando as Somas de Ramanujan.

• Produto Interno de Ramanujan: Define-se um novo produto interno $\langle a, b \rangle_R$ para sequências em $\ell^2(\mathbb{Z})$. Diferente do produto interno de Fourier (que correlaciona frequências trigonométricas), o produto de Ramanujan correlaciona termos com base em suas classes de resíduo módulo $q$, ponderados pelas somas de Ramanujan $c_q(r)$.
  $$\langle a, b \rangle_R = \lim_{Q\to\infty} \frac{1}{Q} \sum_{q=1}^Q \frac{1}{q} \sum_{r=0}^{q-1} c_q(r) \sum_{n \equiv r \pmod q} a_n b_n$$
• Norma de Ramanujan: Derivada do produto interno, $\|a\|_R = \sqrt{\langle a, a \rangle_R}$, fornece uma medida de "energia" sensível à estrutura aritmética da sequência.
• Teoremas de Estabilidade:
  • Critério de Estabilidade para Sistemas Discretos: Estabelece condições $\epsilon-\delta$ onde a estabilidade é garantida se um ganho generalizado $G$ (baseado na soma das somas de Ramanujan ponderadas) for menor que 1.
  • Robustez a Perturbações Aritméticas: Demonstra-se que sistemas estáveis na métrica de Ramanujan mantêm trajetórias limitadas e convergem a zero mesmo sob perturbações persistentes que possuem padrões aritméticos (ex.: perturbações ativas apenas em índices primos), desde que essas perturbações sejam "ortogonais" ou atenuadas pela estrutura da soma de Ramanujan escolhida.
  • Sistemas Híbridos: Estende-se o conceito para sistemas híbridos (fluxo contínuo + saltos discretos), definindo funções de Lyapunov baseadas na norma de Ramanujan que garantem estabilidade assintótica considerando a estrutura temporal dos saltos.

3. Principais Contribuições

O artigo apresenta três contribuições fundamentais:

1. Introdução do Conceito: Adaptação do produto interno e da norma de Ramanujan para o contexto da teoria de controle, criando um espaço de trajetórias de sistema sensível à estrutura aritmética.
2. Novas Condições de Estabilidade: Desenvolvimento de condições de estabilidade baseadas em Lyapunov e de tipo ISS (Estabilidade Entrada-Estado) utilizando a norma de Ramanujan.
3. Garantia de Robustez Aprimorada: Demonstração teórica de que sistemas estáveis na métrica de Ramanujan possuem robustez superior contra perturbações estruturadas (padrões periódicos, modulares ou baseados em progressões aritméticas), superando as limitações das métricas euclidianas tradicionais.

4. Resultados e Validação

Os resultados teóricos foram validados através de exemplos numéricos e simulações:

• Exemplo 1 (Sistema Discreto com Perturbação em Números Primos):

  • Um sistema linear estável foi submetido a uma perturbação ativa apenas quando o índice de tempo $k$ era um número primo.
  • Análise Euclidiana: A norma euclidiana $\|x_k\|_2$ apresentou picos recorrentes e não convergiu para zero, indicando apenas estabilidade limitada (boundedness), falhando em garantir convergência assintótica devido à densidade dos primos.
  • Análise de Ramanujan: A norma $\|x_k\|_R$ decayu suavemente e monotonicamente para zero. O critério de Ramanujan conseguiu "filtrar" a estrutura aritmética da perturbação, provando a estabilidade assintótica onde a análise clássica falhou.

• Exemplo 2 (Sistema Híbrido com Saltos em Números Primos):

  • Um oscilador com amortecimento leve sofreu saltos dissipativos apenas em tempos $t$ que são números primos.
  • Análise Euclidiana: Os intervalos entre primos crescem logaritmicamente, tornando o amortecimento contínuo insuficiente para garantir convergência rápida ou clara na norma euclidiana (análise conservadora).
  • Análise de Ramanujan: Ao correlacionar a energia do sistema com a progressão aritmética dos saltos, a norma de Ramanuiu mostrou uma convergência assintótica clara, validando que a estrutura temporal dos saltos é suficiente para a estabilidade quando vista sob a lente aritmética correta.

• Discussão sobre Filtro Estrutural: O artigo destaca que, ao ajustar o módulo $q$ da soma de Ramanujan, é possível filtrar seletivamente perturbações. Se o módulo $q$ compartilhar fatores com o período da perturbação de forma específica (envolvendo a função de Möbius), a perturbação pode se tornar ortogonal à base de Ramanujan, resultando em norma zero e estabilidade garantida.

5. Significado e Impacto

Este trabalho representa uma mudança de paradigma na análise de estabilidade, integrando conceitos profundos da teoria dos números à teoria de controle.

• Menor Conservadorismo: O método oferece uma avaliação de estabilidade menos conservadora para sistemas com dinâmicas estruturadas, permitindo a certificação de estabilidade em cenários onde métodos tradicionais falham.
• Novas Ferramentas para Sistemas Híbridos: Fornece um framework rigoroso para analisar sistemas onde a dinâmica de comutação ou amostragem não é aleatória, mas segue padrões matemáticos definidos.
• Aplicações Futuras: O framework abre caminho para o projeto de controladores em sistemas de controle de rede (NCS) com perda de pacotes periódica, sistemas de potência com cargas cíclicas e qualquer sistema onde a "aritmética" do tempo discreto seja um fator crítico de desempenho.

Em suma, o artigo demonstra que a estabilidade de um sistema não é apenas uma questão de magnitude geométrica (energia), mas também de estrutura aritmética, e que a métrica de Ramanujan é a ferramenta adequada para explorar essa dimensão.