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

Les mathématiques ressemblent souvent à une recherche d'ordre dans un monde chaotique, une façon de prédire où les choses se stabiliseront lorsqu'elles sont poussées, tirées ou modifiées. Au cœur de cette recherche se trouve une idée puissante connue sous le nom de « point fixe ». Imaginez une carte d'une ville étalée sur le terrain réel qu'elle représente. Peu importe la façon dont vous froissez le papier ou si vous le déplacez légèrement, il y a toujours au moins un point sur la carte qui se situe directement au-dessus de l'emplacement exact qu'il décrit. Ce point est un point fixe. Dans le monde réel, ce concept aide les scientifiques à comprendre tout, de la stabilité des ponts au comportement des économies. Cependant, de nombreux problèmes du monde réel, particulièrement ceux impliquant un changement dans le temps qui n'est pas parfaitement fluide ou linéaire, sont trop complexes pour les outils mathématiques standards utilisés pour trouver ces points. Ces outils reposent souvent sur des règles rigides concernant la distance et la forme qui s'effondrent lorsque la situation devient désordonnée ou irrégulière.

Pour s'attaquer à ces problèmes difficiles, les chercheurs ont passé des décennies à inventer de nouveaux types d'espaces mathématiques — des environnements abstraits dotés de leurs propres règles uniques de mesure de distance et de connexion. L'une de ces innovations est l'« espace métrique », un cadre qui généralise la façon dont nous mesurons l'écart entre deux choses. Plus récemment, les mathématiciens ont développé des versions encore plus flexibles, telles que les « espaces m-métriques », qui permettent une plus grande marge de manœuvre dans le calcul de la distance, et les espaces « basés sur la relation », qui se concentrent sur le fait que deux choses sont connectées d'une manière spécifique plutôt que sur la distance qui les sépare. Ces cadres avancés sont essentiels pour modéliser des systèmes complexes où les règles habituelles de la géométrie ne s'appliquent pas, comme dans l'étude des équations différentielles fractionnaires. Ces équations décrivent des processus qui évoluent de manière « fractionnaire », ce qui signifie que leur changement n'est ni entièrement instantané ni entièrement graduel, mais quelque chose entre les deux, comme la façon dont la chaleur se propage à travers un matériau ou comment un virus pourrait se diffuser à travers une population.

Dans une étude récente, une équipe de mathématiciens d'universités du Pakistan, d'Afrique du Sud et d'Arabie Saoudite s'est donné pour mission d'élargir la boîte à outils disponible pour résoudre ces équations complexes. Leurs travaux se concentrent sur un type spécifique de mise en correspondance mathématique appelée « application contractive de type rationnel (Θ, ℜm) non linéaire ». Bien que le nom soit difficile à prononcer, le concept consiste à trouver un moyen de garantir qu'une solution existe et qu'elle est unique, même lorsque les règles de l'espace mathématique sont assouplies et que les relations entre les points sont définies par un ensemble spécifique de connexions plutôt que par la seule distance. Les chercheurs ont introduit une nouvelle façon de concevoir ces applications au sein d'« espaces m-métriques de théorie de la relation ». Dans ces espaces, l'environnement est suffisamment complet pour garantir qu'une solution puisse être trouvée, mais il n'est pas nécessairement complet au sens traditionnel et plus strict. Cette distinction est cruciale car elle permet aux mathématiques de gérer des scénarios qui étaient auparavant trop irréguliers pour être résolus.

L'équipe a prouvé que, sous ces nouvelles conditions plus flexibles, l'existence d'un point fixe est garantie. Ils ont montré que si vous partez d'un point spécifique et que vous suivez les règles de cette nouvelle application, la séquence de points que vous générez finira par se stabiliser en un emplacement unique et stable. Ce résultat est significatif car il unifie et étend plusieurs découvertes antérieures, regroupant différentes approches qui étaient auparavant traitées séparément. Les chercheurs ne se sont pas arrêtés à la théorie ; ils ont appliqué leurs nouveaux résultats à un problème pratique : trouver des solutions pour des équations différentielles fractionnaires non linéaires avec des conditions limites intégrales. Ce sont des équations qui décrivent des systèmes où l'état à un point donné dépend de la somme des états sur une plage donnée, une caractéristique commune en physique et en ingénierie. En utilisant leurs nouveaux résultats de point fixe, les auteurs ont démontré qu'une solution à ces équations difficiles existe non seulement, mais qu'elle est aussi unique, à condition que certaines conditions soient remplies.

Pour s'assurer que leurs résultats théoriques n'étaient pas seulement des exercices abstraits, les chercheurs ont testé leurs méthodes sur des équations différentielles fractionnaires linéaires en utilisant deux techniques numériques distinctes : la méthode de tir (shooting method) et la méthode de perturbation homotopique combinée à une approche matricielle. La méthode de tir est une stratégie où un problème avec des extrémités fixes est transformé en un problème de valeur initiale, et les conditions initiales sont ajustées jusqu'à ce que la solution atteigne la cible correcte. La méthode de perturbation homotopique, quant à elle, construit une solution en partant d'une approximation simple et en l'affinant progressivement. L'équipe a appliqué ces méthodes à une équation spécifique dont la solution exacte était déjà connue. Ils ont mené des expériences numériques avec un ordre fractionnaire spécifique de 2,9 et ont comparé leurs résultats calculés à la solution exacte connue. Les résultats étaient extrêmement proches. À divers points de l'intervalle, la différence entre leur approximation calculée et la vraie réponse était incroyablement petite, se situant souvent dans l'ordre du millionième ou du milliardième. Par exemple, à un point spécifique du calcul, l'erreur était inférieure à deux millionièmes.

Les données visuelles présentées dans l'étude confirment que les courbes générées par leurs méthodes numériques s'alignent presque parfaitement avec la courbe de la solution exacte. Les graphiques montrent que les deux lignes tracent le même chemin, l'erreur entre elles restant négligeable tout au long de la plage. Ce haut niveau de précision suggère que le nouveau cadre mathématique est non seulement théoriquement solide, mais aussi pratiquement efficace pour résoudre des problèmes du monde réel impliquant le calcul fractionnaire. Les chercheurs ont conclu que leur approche étend avec succès la portée de la théorie du point fixe, offrant une manière robuste de gérer des équations qui étaient auparavant difficiles à résoudre. En prouvant que des solutions existent et en fournissant des méthodes fiables pour les trouver, ce travail ouvre la voie à une modélisation plus précise des systèmes non linéaires complexes en science et en ingénierie. L'étude témoigne de la façon dont l'affinement des règles fondamentales des mathématiques peut conduire à de meilleurs outils pour comprendre la dynamique complexe du monde qui nous entoure.