Fixed Point Results in Non-Linear (Θ, ℜm)-Rational type Contractive Mappings with Application in Fractional Differential Equations

A matemática muitas vezes parece uma busca por ordem em um mundo caótico, uma forma de prever onde as coisas se estabelecerão quando são empurradas, puxadas ou alteradas. No coração dessa busca reside uma ideia poderosa conhecida como "ponto fixo". Imagine um mapa de uma cidade disposto sobre o próprio terreno que ele representa. Não importa como você amasse o papel ou o desloque levemente, sempre há pelo menos um ponto no mapa que se situa diretamente acima do local exato que ele descreve. Esse ponto é um ponto fixo. No mundo real, esse conceito ajuda cientistas a compreenderem desde a estabilidade de pontes até o comportamento de economias. No entanto, muitos problemas do mundo real, particularmente aqueles que envolvem mudanças ao longo do tempo que não são perfeitamente suaves ou lineares, são complexos demais para as ferramentas matemáticas padrão usadas para encontrar esses pontos. Essas ferramentas frequentemente dependem de regras rígidas sobre distância e forma que falham quando a situação se torna desordenada ou irregular.

Para enfrentar esses problemas difíceis, pesquisadores dedicaram décadas inventando novos tipos de espaços matemáticos — ambientes abstratos com suas próprias regras únicas para medir distância e conexão. Uma dessas inovações é o "espaço métrico", uma estrutura que generaliza como medimos a lacuna entre duas coisas. Mais recentemente, matemáticos desenvolveram versões ainda mais flexíveis, como os "espaços m-métricos", que permitem uma margem maior de manobra na forma como a distância é calculada, e os espaços "baseados em relação", que focam em se duas coisas estão conectadas de uma forma específica, em vez de apenas quão distantes estão. Essas estruturas avançadas são essenciais para modelar sistemas complexos onde as regras usuais da geometria não se aplicam, como no estudo de equações diferenciais fracionárias. Essas equações descrevem processos que evoluem de uma maneira "fracionária", o que significa que sua mudança não é inteiramente instantânea nem inteiramente gradual, mas algo intermediário, como a maneira como o calor se espalha através de um material ou como um vírus pode se difundir através de uma população.

Em um estudo recente, uma equipe de matemáticos de universidades do Paquistão, África do Sul e Arábia Saudita estabeleceu o objetivo de expandir o conjunto de ferramentas disponíveis para resolver essas equações complexas. O trabalho deles foca em um tipo específico de mapeamento matemático chamado "mapeamento de contração racional do tipo (Θ, ℜm) não linear". Embora o nome seja difícil de pronunciar, o conceito trata de encontrar uma maneira de garantir que uma solução exista e seja única, mesmo quando as regras do espaço matemático são relaxadas e as relações entre pontos são definidas por um conjunto específico de conexões, em vez de apenas distância. Os pesquisadores introduziram uma nova forma de pensar sobre esses mapeamentos dentro de "espaços de m-métrica baseados em relação". Nesses espaços, o ambiente é completo o suficiente para garantir que uma solução possa ser encontrada, mas não é necessariamente completo no sentido tradicional e mais estrito. Essa distinção é crucial porque permite que a matemática lide com cenários que eram anteriormente muito irregulares para serem resolvidos.

A equipe provou que, sob essas novas e mais flexíveis condições, a existência de um ponto fixo é garantida. Eles mostraram que, se você partir de um ponto específico e seguir as regras deste novo mapeamento, a sequência de pontos gerada acabará se estabilizando em um único local estável. Este resultado é significativo porque unifica e estende vários achados anteriores, reunindo diferentes abordagens que antes eram tratadas como separadas. Os pesquisadores não pararam na teoria; eles aplicaram seus novos achados a um problema prático: encontrar soluções para equações diferenciais fracionárias não lineares com condições de contorno integrais. Estas são equações que descrevem sistemas onde o estado em um ponto depende da soma dos estados ao longo de um intervalo, uma característica comum na física e na engenharia. Ao usar seus novos resultados de ponto fixo, os autores demonstraram que uma solução para essas equações difíceis não apenas existe, mas também é única, desde que certas condições sejam atendidas.

Para garantir que seus resultados teóricos não fossem apenas exercícios abstratos, os pesquisadores testaram seus métodos em equações diferenciais fracionárias lineares usando duas técnicas numéricas distintas: o método de tiro (shooting method) e o método de perturbação de homotopia combinado com uma abordagem de matriz. O método de tiro é uma estratégia onde um problema com pontos finais fixos é transformado em um problema de valor inicial, e as condições iniciais são ajustadas até que a solução atinja o alvo correto. O método de perturbação de homotopia, por outro lado, constrói uma solução começando com uma aproximação simples e refinando-a gradualmente. A equipe aplicou esses métodos a uma equação específica onde a solução exata já era conhecida. Eles realizaram experimentos numéricos com uma ordem fracionária específica de 2,9 e compararam seus resultados calculados com a solução exata conhecida. Os resultados foram surpreendentemente próximos. Em vários pontos ao longo do intervalo, a diferença entre a aproximação calculada e a resposta verdadeira foi incrivelmente pequena, frequentemente na ordem de milionésimos ou bilionésimos. Por exemplo, em um ponto específico do cálculo, o erro foi inferior a dois milionésimos.

Os dados visuais apresentados no estudo confirmam que as curvas geradas por seus métodos numéricos alinham-se quase perfeitamente com a curva da solução exata. Os gráficos mostram as duas linhas traçando o mesmo caminho, com o erro entre elas permanecendo negligenciável em todo o intervalo. Este alto nível de precisão sugere que o novo arcabouço matemático não é apenas teoricamente sólido, mas também praticamente eficaz para resolver problemas do mundo real envolvendo cálculo fracionário. Os pesquisadores concluíram que sua abordagem expande com sucesso o escopo da teoria do ponto fixo, oferecendo uma maneira robusta de lidar com equações que eram anteriormente difíceis de resolver. Ao provar que as soluções existem e fornecer métodos confiáveis para encontrá-las, este trabalho abre as portas para uma modelagem mais precisa de sistemas não lineares complexos na ciência e na engenharia. O estudo é um testemunho de como o refinamento das regras fundamentais da matemática pode levar a melhores ferramentas para compreender a dinâmica intrincada do mundo ao nosso redor.