q-Mittag–Leffler Resolvents for Nonlinear Caputo q-Fractional Equations: Well-Posedness, Stability, and the q → 1− Classical Limit

Résumé Technique : Résolvantes de Mittag–Leffler $q$ pour les équations de Caputo $q$-fractionnaires non linéaires

Énoncé du Problème
Cette recherche traite de l'analyse des problèmes de valeur initiale $q$-fractionnaires de Caputo semi-linéaires sur un horizon temporel $q$-fini. L'équation spécifique étudiée est :
$${}^{C}D_{q,0}^{\alpha}x(t) = \lambda x(t) + F(t, x(t)), \quad x(0) = x_0, \quad 0 < \alpha < 1$$
où ${}^{C}D_{q,0}^{\alpha}$ désigne la dérivée $q$-fractionnaire de Caputo. L'article cherche à aller au-delà de la simple définition des analogues $q$ de fonctions spéciales (telles que les fonctions $q$-Gamma et $q$-Mittag–Leffler) et se concentre plutôt sur trois questions structurelles :

1. Interpréter la fonction $q$-Mittag–Leffler comme la résolvante de l'équation d'évolution plutôt que comme une simple définition en série.
2. Établir des conditions explicites pour la bijectivité (existence et unicité) du problème non linéaire via des arguments de contraction.
3. Prouver que le problème $q$-fractionnaire non linéaire converge vers le problème fractionnaire de Caputo classique lorsque le paramètre de déformation $q \to 1^{-}$, spécifiquement au niveau des solutions, et non seulement des coefficients.

Méthodologie
L'analyse repose sur un cadre de point fixe dans l'espace de Banach $X_q = C([0, T]_q, \mathbb{R})$ muni de la norme sup.

• Formulation de la Résolvante : Les auteurs reformulent l'équation différentielle en une équation intégrale de type Volterra utilisant l'intégrale $q$-fractionnaire $I_{q,0}^{\alpha}$. Ils définissent un opérateur résolvant $R_{q,\alpha,\lambda} = (I - \lambda I_{q,0}^{\alpha})^{-1}$. En développant ce dernier via une série de Neumann, ils démontrent que l'action de cette résolvante sur la donnée initiale $x_0$ produit $x_0 qE_{\alpha}(\lambda, t)$, identifiant ainsi la fonction $q$-Mittag–Leffler comme la réponse homogène naturelle du système.
• Bijectivité (Bien-poséité) : L'existence et l'unicité sont établies en utilisant le théorème du point fixe de Banach. Les auteurs dérivent une condition suffisante pour que le principe de la application de contraction soit vérifié :
  $$\kappa_q := (|\lambda| + L) \frac{T^{\alpha}}{\Gamma_q(\alpha + 1)} < 1$$
  où $L$ est la constante de Lipschitz du terme non linéaire $F$.
• Stabilité et Dépendance : La dépendance continue vis-à-vis des données initiales est dérivée en utilisant une inégalité de Gronwall $q$-fractionnaire, résultant en une estimation bornée par une fonction $q$-Mittag–Leffler. La stabilité est discutée via la théorie de Lyapunov établie pour les systèmes $q$-fractionnaires, reliant la décroissance des solutions aux propriétés de la fonction $q$-Mittag–Leffler.
• Analyse de Convergence : La contribution théorique centrale est une preuve de convergence uniforme lorsque $q \to 1^{-}$. Les auteurs s'appuient sur la convergence connue de l'intégrale de Jackson vers l'intégrale de Riemann et de la fonction $q$-Gamma vers la fonction Gamma classique. Ils construisent une estimation de perturbation pour les applications de point fixe, montrant que si le problème classique possède une solution et que les problèmes $q$ restent uniformément contractifs, les solutions $q$ convergent uniformément vers la solution classique.

Résultats Clés

1. Interprétation de la Résolvante : L'article établit rigoureusement que la fonction $q$-Mittag–Leffler $qE_{\alpha}(\lambda, t)$ est la réponse de la résolvante de l'opérateur linéaire de Caputo $q$-fractionnaire, séparant le mécanisme de mémoire linéaire du forçage non linéaire.
2. Bijectivité Explicite : Une condition transparente et explicite (Équation 25) est fournie pour l'existence et l'unicité des solutions sur un horizon fini. Cette condition est notée comme suffisante plutôt que tranchante, mais elle est cruciale pour les preuves de convergence ultérieures.
3. Convergence au Niveau de la Solution : Le Théorème 6.1 prouve que sous une contractivité uniforme et une cohérence des opérateurs intégraux, la solution $q$ unique $x_q$ converge uniformément vers la solution de Caputo classique $x$ lorsque $q \to 1^{-}$. La borne d'erreur est explicitement liée à la différence entre les intégrales fractionnaires $q$ et classiques.
4. Vérification Numérique :
   • Cas Linéaire : Des expériences numériques sur un modèle de relaxation linéaire ($CD_{q,0}^{0.75}x = -0.8x$) confirment la convergence théorique. L'erreur $\|x_q - x\|_\infty$ diminue lorsque $q \to 1$, un tracé log-log suggérant une dépendance approximative de premier ordre sur $1-q$ pour le benchmark testé.
   • Cas Non Linéaire : Un modèle de relaxation cubique non linéaire ($CD_{q,0}^{0.75}x = -0.7x - 0.6x^3$) a été résolu à l'aide d'une grille de Jackson géométrique. Les résultats confirment que les solutions $q$ non linéaires convergent vers la solution de référence classique, validant le cadre théorique au-delà du régime linéaire.

Signification et Revendications
Les auteurs déclarent explicitement que les définitions des fonctions $q$-Gamma, $q$-Beta et $q$-Mittag–Leffler ne sont pas des contributions nouvelles, ni l'existence des problèmes de Caputo $q$ ou leurs propriétés de stabilité. Au lieu de cela, la signification de l'article réside dans sa synthèse structurelle :

• Il recadre la fonction $q$-Mittag–Leffler comme une partie intrinsèque de l'opérateur résolvant pour les problèmes semi-linéaires.
• Il fournit une preuve unifiée que l'ensemble du système dynamique non linéaire, et non seulement ses composantes de fonctions spéciales, retrouve la dynamique fractionnaire classique dans la limite $q \to 1^{-}$.
• Il distingue le rôle de l'ordre fractionnaire $\alpha$ (contrôlant la mémoire non locale) de celui du paramètre de déformation $q$ (contrôlant la structure géométrique/quantique de la différenciation), arguant que $q$ ne doit pas être confondu avec l'ordre fractionnaire.

L'article conclut que ces résultats remplacent une séquence de définitions non originales par une question mathématique précise et une réponse reproductible concernant la continuité de la dynamique fractionnaire déformée en $q$ vers leurs limites classiques.