Stability and Bifurcation Routes in a Delayed Quadratic Map with Recursive Filtered Memory

Resumo Técnico: Estabilidade e Rotas de Bifurcação em um Mapa Quadrático Atrasado com Memória Filtrada Recursiva

Enunciado do Problema
Este estudo aborda a lacuna na caracterização sistemática de modelos discretos suaves que incorporam simultaneamente não linearidade quadrática, atraso de um passo no tempo e feedback de memória filtrada recursiva. Embora mapas quadráticos atrasados e mapas logísticos modificados por memória tenham sido estudados separadamente, o acoplamento específico de atraso explícito ($k$) e memória filtrada recursiva ($\eta, \mu$) dentro de um único mapa polinomial permanece subdesenvolvido. O desafio principal reside em distinguir como esses distintos mecanismos de feedback influenciam a estabilidade do ponto fixo, a estrutura dos multiplicadores e as rotas específicas pelas quais a estabilidade é perdida (por exemplo, bifurcações de dobra, inversão ou Neimark–Sacker).

Metodologia
Os autores formulam uma recorrência quadrática atrasada com feedback de memória filtrada de primeira ordem:
$$x_{n+1} = c - x_n^2 + kx_{n-1} + \eta z_n$$
$$z_{n+1} = (1-\mu)z_n + \mu x_n$$
onde $k$ é a força do atraso, $\eta$ é a força da memória filtrada e $\mu$ é a taxa de atualização da memória.

Para analisar o sistema, os autores:

1. Incorporam o Sistema: Eles incorporam a recorrência escalar em um mapa polinomial tridimensional suave $F(x, y, z)$ definindo $y_n = x_{n-1}$, permitindo a derivação explícita do ramo do ponto fixo, do determinante Jacobiano e do polinômio característico.
2. Normalização: Aplicam uma escala linear invertível para normalizar o coeficiente quadrático para unidade, garantindo que a estrutura de estabilidade qualitativa seja preservada.
3. Análise de Estabilidade: Aplicam o critério de Schur–Jury ao polinômio característico da matriz Jacobiana no ponto fixo. Isso reduz as condições de estabilidade a desigualdades explícitas em termos da coordenada do ponto fixo $x^*$.
4. Verificação de Bifurcação: Derivam condições algébricas para genericidade (não degenerescência, transversalidade e não ressonância) para classificar os cruzamentos do círculo unitário como bifurcações de dobra (fold), inversão (flip) ou Neimark–Sãcker.
5. Validação Numérica: Empregam continuações numéricas, espectros de Lyapunov, dimensões de Kaplan–Yorke e varreduras de plano de parâmetros para validar os limiares analíticos e observar as transições de atratores pós-críticos.

Principais Contribuições

• Limiares de Estabilidade Explícitos: O estudo deriva desigualdades de estabilidade de forma fechada no ponto fixo $x^*$. Demonstra que a força do atraso $k$ e a força da memória $\eta$ entram no ramo do ponto fixo apenas através do termo combinado $(k + \eta)$, enquanto a taxa de atualização da memória $\mu$ influencia a estrutura do multiplicador via Jacobiano, mas não afeta a localização dos pontos fixos.
• Separação de Rotas de Bifurcação: Os autores separam explicitamente os limites de estabilidade em:
  • Limites de Multiplicador Real: Identificados como limiares de dobra ($\lambda=1$) e inversão ($\lambda=-1$).
  • Limite de Par Complexo: Mostra-se que o terceiro limite de Schur–Jury é um candidato a uma bifurcação de Neimark–Sãcker apenas sob condições específicas de dependência de sinal do feedback de memória filtrada.
• Condições de Admissibilidade: Uma contribuição crítica é a derivação das condições de admissibilidade para o limite do par complexo. O artigo prova que uma bifurcação de Neimark–Sãcker só é possível se o feedback de memória filtrada $\eta$ satisfizer desigualdades específicas em relação a $k$ e $\mu$. No regime de atraso positivo e feedback filtrado positivo, a rota do par complexo é matematicamente excluída, restando a bifurcação de inversão como a única rota para a instabilidade.
• Degenerescência Dobra–Inversão: O estudo identifica o lócus $\eta = (2-\mu)(1-k)$ onde os limiares de dobra e inversão coincidem, definindo uma degenerescência de dobra–inversão.

Resultos

• Regime de Feedback Positivo: Para $k > 0$ e $\eta \geq 0$, o sistema perde estabilidade exclusivamente através de uma bifurcação de inversão (dobramento de período). O ramo superior do ponto fixo torna-se instável no limiar de inversão, levando a uma cascata de dobramentos de período, bandas caóticas e janelas periódicas. A rota do par complexo é inadmissível neste regime.
• Regime de Feedback Competitivo: Quando os sinais de $k$ e $\eta$ permitem um feedback competitivo (especificamente um $\eta$ suficientemente negativo), o limite do par complexo torna-se admissível. Neste cenário, a perda de estabilidade é governada por um par conjugado complexo cruzando o círculo unitário, levando a uma dinâmica do tipo curva invariante (movimento rotacional) em vez de dobramento de período.
• Papel de $\mu$: A taxa de atualização da memória $\mu$ não desloca o ramo do ponto fixo, mas altera significativamente os limites de estabilidade e a admissibilidade da rota do par complexo ao modificar os autovalores do Jacobiano.
• Dinâmica Global: Simulações numéricas confirmam que os limiares analíticos predizem com precisão a transição de pontos fixos estáveis para órbitas periódicas, caos ou curvas invariantes. As projeções no espaço de fase ilustram como a coordenada de atraso e a variável de memória filtrada moldam a geometria dos atratores.

Significância e Alegações
O artigo alega que o estado da memória filtrada recursiva não é meramente uma coordenada adicional, mas um mecanismo fundamental que altera a geometria dos multiplicadores do mapa quadrático incorporado. O estudo estabelece que o atraso e a memória filtrada não apenas deslocam a janela de estabilidade; eles determinam qual mecanismo do círculo unitário (multiplicador real vs. par complexo) é dinamicamente acessível. Ao separar explicitamente as rotas de multiplicador real e de par complexo e fornecer condições de admissibilidade rigorosas, o trabalho esclarece a estrutura de bifurcação local desta classe de mapas. Os autores notam modestamente que seus resultados são locais e focados em continuações de um parâmetro, deixando o desdobramento de bifurcação global, as línguas de ressonância e a quebra de curvas invariantes para investigações futuras.