Dynamics of four families of methods with the same weight function to solve nonlinear equations

Resumo Técnico: Dinâmica de Quatro Famílias de Métodos Iterativos para Equações Não Lineares

1. Problema e Contexto

O artigo aborda o estudo da dinâmica complexa de quatro famílias distintas de métodos iterativos utilizados para resolver equações não lineares da forma $f(x) = 0$. Embora essas famílias sejam derivadas de combinações convexas entre o Método de Newton e métodos do tipo Newton-Halley (incluindo casos para raízes múltiplas), o foco central é analisar o seu comportamento dinâmico quando aplicados a polinômios quadráticos com duas raízes distintas.

O problema fundamental reside na necessidade de identificar quais parâmetros dentro dessas famílias garantem estabilidade e convergência eficiente, evitando comportamentos caóticos ou a convergência para pontos fixos estranhos (que não são raízes da equação).

2. Metodologia

Os autores empregam uma abordagem baseada na Teoria do Caos e Dinâmica Complexa, seguindo os seguintes passos metodológicos:

• Definição das Famílias: São analisadas quatro famílias de métodos (equações 1, 3, 5 e 7 no texto), todas utilizando a mesma função de peso $H(t)$:
  $$H(t) = A + \frac{2(A - 1)^2}{2(1 - A) - t}$$
  onde $A$ é um parâmetro livre e $t$ envolve a função $L_f(x) = \frac{f(x)f''(x)}{(f'(x))^2}$.
• Teorema de Escalonamento (Scaling Theorem): Utiliza-se o teorema de conjugação analítica para demonstrar que, ao aplicar esses métodos a um polinômio quadrático genérico $p(z) = (z-a)(z-b)$, a dinâmica pode ser reduzida ao estudo de um único operador racional $S(z)$, independente das raízes originais $a$ e $b$.
  O operador conjugado obtido é:
  $$S(z) = \frac{z^3((A - 1)z + 2A - 1)}{(2A - 1)z + A - 1}$$
• Análise de Pontos Fixos e Críticos:
  • Derivam-se expressões analíticas para os pontos fixos (soluções de $S(z)=z$) e pontos críticos (soluções de $S'(z)=0$).
  • Classificam-se os pontos fixos quanto à estabilidade (atratores, repulsores, parabólicos ou superatratores) calculando o módulo da derivada $|S'(z)|$.
• Espaço de Parâmetros e Planos Dinâmicos:
  • Constroem-se planos de parâmetros iterando o ponto crítico livre para identificar regiões de $A$ onde o método converge para as raízes (comportamento desejado) ou para pontos estranhos.
  • Geram-se planos dinâmicos (bacias de atração) para valores específicos de $A$ selecionados, visualizando a convergência no plano complexo.

3. Principais Contribuições

• Unificação Dinâmica: Demonstra-se que quatro famílias de métodos aparentemente diferentes (Newton, Newton-Halley, métodos de dois pontos) compartilham a mesma dinâmica quando aplicados a polinômios quadráticos, reduzindo o problema ao estudo do operador racional $S(z)$.
• Caracterização Analítica Completa: Fornecem-se expressões exatas para os pontos fixos estranhos e críticos em função do parâmetro $A$.
• Critérios de Estabilidade: Estabelecem-se condições precisas (desigualdades envolvendo $A$) para que os pontos fixos estranhos sejam atratores, repulsores ou superatratores.
  • Para o ponto fixo estranho $z=1$, a estabilidade ocorre quando $|A - \frac{42}{55}| \le \frac{2}{55}$.
  • Para os pontos fixos estranhos $z_{2,3}$, a estabilidade ocorre quando $|A - \frac{29}{35}| \le \frac{1}{35}$.
• Identificação de Órbitas Periódicas: A descoberta e análise de órbitas periódicas de período dois para certos valores de $A$, o que indica comportamentos cíclicos indesejados em métodos iterativos.

4. Resultados Chave

• Casos Especiais Conhecidos:
  • $A=1$: Recupera-se o Método de Newton ($S(z)=z^2$).
  • $A=0$: Recupera-se o Método de Halley ($S(z)=z^3$).
  • $A=1/2$: Método Super-Halley ($S(z)=z^4$).
  • Nestes casos, os pontos fixos estranhos são repulsores, garantindo boa convergência.
• Comportamento dos Pontos Fixos Estranhos:
  • A maioria dos valores de $A$ torna os pontos fixos estranhos repulsores, o que é desejável.
  • No entanto, existem regiões específicas no plano complexo de $A$ onde esses pontos tornam-se atratores, o que pode levar o método a convergir para valores que não são raízes da equação.
• Planos de Parâmetros: As figuras geradas mostram que existem "ilhas" de estabilidade e regiões de comportamento caótico. A cor vermelha nos planos de parâmetros indica que o ponto crítico é atraído pelas raízes (0 ou $\infty$ no sistema conjugado), enquanto o azul indica não-convergência ou convergência para pontos estranhos.
• Órbitas de Período Dois: O artigo identifica e lista coordenadas de seis órbitas de período dois para um método selecionado, ilustrando a complexidade do sistema dinâmico em certas regiões do parâmetro.

5. Significância

Este trabalho é significativo porque:

1. Guia a Seleção de Parâmetros: Fornece aos pesquisadores e praticantes critérios matemáticos rigorosos para escolher o valor do parâmetro $A$ que garante a estabilidade do método, evitando regiões onde o método falha ou converge para pontos errados.
2. Validação Visual: A combinação de análise teórica (derivadas, limites) com visualização computacional (planos dinâmicos e espaços de parâmetros) oferece uma compreensão robusta do comportamento global dos métodos.
3. Unificação Teórica: Ao provar que diferentes formulações de métodos de alta ordem compartilham a mesma dinâmica subjacente para polinômios quadráticos, simplifica o estudo futuro de famílias de métodos iterativos, permitindo que resultados obtidos para uma família sejam generalizados para as outras.

Em suma, o artigo transforma a escolha de métodos iterativos de uma tentativa empírica em um processo guiado pela dinâmica complexa, permitindo a identificação de métodos ótimos dentro das famílias estudadas.