Green's Function and Solution Representation for a Boundary Value Problem Involving the Prabhakar Fractional Derivative

Ce papier étudie un problème de valeur limite du premier ordre pour une équation aux dérivées partielles du second ordre impliquant la dérivée fractionnaire de Prabhakar en construisant une fonction de Green explicite par réduction à une équation intégrale de type Volterra, permettant ainsi d'obtenir une représentation de solution sous forme fermée et d'en prouver l'existence et l'unicité.

L'essentiel

La Vue d'Ensemble : Un Nouveau Type de « Mémoire » en Mathématiques

Imaginez que vous essayez de prédire comment la chaleur se propage dans une tige de métal, ou comment une goutte de colorant se disperse dans l'eau. Autrefois, les mathématiciens utilisaient des équations standard (comme l'équation classique de la diffusion) pour modéliser cela. Ces équations supposent que le matériau se comporte de la même manière partout et que sa « mémoire » du passé s'estompe rapidement, comme une mémoire à court terme.

Cependant, les matériaux réels — comme les gels complexes, les tissus biologiques ou les roches hétérogènes — sont plus compliqués. Ils possèdent une « mémoire à long terme ». Ils se souviennent de ce qui leur est arrivé il y a longtemps, et cette mémoire ne s'estompe pas de manière simple et prévisible. C'est comme une personne qui se souvient d'un événement d'enfance avec la même vivacité que quelque chose qui s'est produit hier.

Cet article aborde un problème mathématique spécifique impliquant ces matériaux « lourds en mémoire ». Les auteurs travaillent avec un type de calcul très avancé appelé Calcul Fractionnaire, qui permet des pas non entiers (comme faire un demi-pas). Plus précisément, ils utilisent un outil appelé la dérivée de Prabhakar. Imaginez cela comme un outil de mémoire « surpuissant » capable de modéliser des histoires complexes et multicouches mieux que les outils anciens et plus simples.

Le Problème : Le Mystère de la « Chambre Close »

Les auteurs ont mis en place un scénario spécifique :

1. La Chambre : Imaginez une boîte rectangulaire (un domaine) où le temps s'écoule de gauche à droite, et l'espace s'étend du bas vers le haut.
2. Les Règles : À l'intérieur de cette boîte, un processus physique (comme la diffusion) se produit. Il est régi par une équation complexe impliquant la dérivée de Prabhakar.
3. Les Frontières : Les murs de la boîte ont des règles spécifiques (conditions aux limites), et le processus commence avec un état particulier (condition initiale).
4. L'Objectif : Ils veulent trouver la solution exacte : « Quel est l'état du système à n'importe quel point dans le temps et l'espace ? »

En mathématiques standard, résoudre cela revient à trouver une clé pour une chambre close. Habituellement, les mathématiciens utilisent une « clé maître » appelée Fonction de Green. Si vous avez la bonne Fonction de Green, vous pouvez déverrouiller la solution pour presque n'importe quelle condition de départ ou force externe.

Le Défi : La Clé Maître Manquait

Pour les équations simples, nous connaissons les Fonctions de Green depuis longtemps. Mais pour cette équation « Prabhakar » spécifique et complexe, personne n'avait encore trouvé la clé maître. Les mathématiques sont si denses avec des fonctions spéciales (comme la fonction de Mittag-Leffler généralisée, qui est une cousine sophistiquée à plusieurs paramètres de la fonction exponentielle standard) que la construction de cette clé semblait impossible.

La Solution : Construire la Clé Pièce par Pièce

Les auteurs, Erkinjon Karimov, Doniyor Usmonov et Maftuna Mirzaeva, ont réussi à construire cette clé maître. Voici comment ils l'ont fait, étape par étape :

1. Décomposition : Ils ont réalisé que l'équation complexe était trop difficile à résoudre d'un seul bond géant. Alors, ils l'ont divisée en deux équations plus simples et liées (un système). C'est comme prendre un nœud compliqué et réaliser qu'il s'agit en fait de deux petits nœuds attachés ensemble.
2. L'Aide « Fantôme » : Pour résoudre ces petites équations, ils ont introduit une fonction auxiliaire (appelons-la $\omega$). Cette fonction agit comme une ondulation dans un étang. Si vous laissez tomber une pierre (une perturbation) à un point, cette fonction vous dit comment cette ondulation se propage dans le temps et l'espace.
3. L'Effet de Miroir Infini : Comme le problème se déroule dans une boîte avec des murs, les ondulations rebondissent sur les murs. Les auteurs ont dû tenir compte de ces rebonds infinis. Ils ont utilisé un tour de passe-passe mathématique (une série infinie) pour sommer toutes les réflexions, similaire à la façon dont vous voyez des réflexions infinies lorsque vous vous tenez entre deux miroirs.
4. Construction de la Fonction de Green : En combinant ces ondulations et réflexions, ils ont construit la Fonction de Green (notée $G$ dans l'article). Cette fonction est la « clé maître ». Elle est écrite explicitement en utilisant ces fonctions spéciales de Mittag-Leffler.

Le Résultat : Une Recette Complète

Une fois qu'ils ont eu la Fonction de Green, ils ont pu écrire la Représentation de la Solution.

Imaginez la Fonction de Green comme une recette universelle.

• Si vous connaissez la température aux murs ($\phi_0, \phi_1$), vous l'insérez dans la recette.
• Si vous connaissez la température de départ à l'intérieur ($\tau$), vous l'insérez.
• S'il y a une source de chaleur ajoutant de l'énergie ($f$), vous l'insérez.

L'article prouve que si vous mélangez ces ingrédients ensemble en utilisant leur nouvelle Fonction de Green, vous obtenez la solution exacte et unique du problème. Ils n'ont pas seulement deviné ; ils ont prouvé mathématiquement que :

1. Une solution existe.
2. Il n'y a qu'une seule solution correcte (unicité).
3. La solution se comporte bien (elle n'explose pas et ne devient pas infinie).

Le Travail de l'« Annexe » : Prouver que la Recette Fonctionne

La majeure partie de l'article (les Annexes) consiste en les auteurs effectuant le travail lourd pour prouver que leur recette est valide. Ils ont dû montrer :

• Que leurs fonctions auxiliaires ($\omega$) se comportent correctement au tout début (temps = 0).
• Que la série infinie qu'ils ont utilisée converge réellement (ne s'additionne pas à l'infini).
• Que la solution satisfait l'équation originale et toutes les règles aux limites.

Ils ont utilisé des outils avancés comme les transformées de Laplace (une façon de transformer des problèmes de calcul difficiles en problèmes d'algèbre plus faciles) et les propriétés des fonctions de Wright pour vérifier chaque étape.

Résumé en Bref

Imaginez que vous avez une machine complexe avec une mémoire très étrange et à long terme. Vous voulez savoir exactement comment elle bougera étant donné une poussée au départ et certaines règles sur les murs.

• Les Vieux Mathématiques : Ne pouvaient gérer que des machines simples avec des mémoires courtes.
• Cet Article : A inventé un nouveau « manuel d'instructions » (la Fonction de Green) spécifiquement pour cette machine complexe.
• La Méthode : Ils ont décomposé la machine, modélisé les ondulations du mouvement, tenu compte des rebonds infinis sur les murs, et assemblé le tout en une seule formule précise.
• Le Résultat : Ils ont prouvé que cette formule fonctionne parfaitement et qu'elle est la seule réponse correcte.

Ce travail fournit un nouvel outil puissant pour les scientifiques et les ingénieurs qui doivent modéliser des systèmes complexes avec une mémoire profonde, leur donnant un moyen précis de calculer des résultats qui étaient auparavant trop difficiles à résoudre.

Résumé technique

Résumé technique : Fonction de Green et représentation de la solution pour un problème aux limites impliquant la dérivée fractionnaire de Prabhakar

Formulation du problème
L'article étudie un problème aux limites et initial du premier ordre pour une équation aux dérivées partielles du second ordre (équation de sous-diffusion) définie sur un domaine rectangulaire $D = \{(t, x) : 0 < t < T, 0 < x < a\}$. L'équation gouvernante fait intervenir la dérivée fractionnaire de Prabhakar de type Riemann-Liouville par rapport au temps :
$$PRLD^{\alpha, \beta, \gamma, \delta}_{0t} u(t, x) - u_{xx}(t, x) = f(t, x)$$
Le problème est soumis à des conditions aux limites de Dirichlet $u(t, 0) = \phi_0(t)$ et $u(t, a) = \phi_1(t)$, ainsi qu'à une condition initiale généralisée impliquant l'intégrale de Prabhakar : $\lim_{t \to 0} PI^{\alpha, 1-\beta, -\gamma, \delta}_{0t} u(t, x) = \tau(x)$. La dérivée de Prabhakar est définie via la fonction de Mittag-Leffler à trois paramètres (fonction de Prabhakar), qui généralise les dérivées classiques de Riemann-Liouville et de Caputo, permettant la modélisation d'effets de mémoire complexes et de phénomènes de relaxation multi-échelles.

Méthodologie
Les auteurs adoptent une approche analytique constructive pour résoudre le problème aux limites. La méthodologie procède par les étapes suivantes :

1. Réduction à un système : L'équation du second ordre est décomposée en un système de deux équations du premier ordre par l'introduction d'une fonction auxiliaire $v(t, x)$. Cette factorisation exploite les propriétés structurelles de la dérivée de Prabhakar, notamment la propriété de semi-groupe permettant de décomposer la dérivée en deux opérateurs d'ordre $\beta/2$.
2. Formulation d'une équation intégrale : Le système est résolu séquentiellement. La première équation est résolue pour $u(t, x)$ en fonction de $v(t, x)$, et la seconde est résolue pour $v(t, x)$ en fonction du terme source $f(t, x)$ et d'une fonction aux limites inconnue $\psi(t)$. La substitution de ces solutions conduit à une équation intégrale de type Volterra pour la fonction inconnue $\psi(t)$.
3. Construction de la fonction de Green : L'équation de Volterra est résolue en utilisant la méthode de la série de Neumann. En analysant le noyau de l'équation intégrale et en exploitant les propriétés de la fonction de Mittag-Leffler généralisée $E_{12}$ (une représentation par série double), les auteurs construisent explicitement la fonction de Green $G(t, x, \eta, s)$.
4. Vérification de la régularité : L'article vérifie rigoureusement que la solution construite satisfait les conditions de régularité requises. Cela inclut la preuve que $t^{1-\beta}u(t, x)$, $u_{xx}(t, x)$ et la dérivée de Prabhakar $PRLD^{\alpha, \beta, \gamma, \delta}_{0t} u(t, x)$ sont continues dans le domaine $D$. Les démonstrations reposent fortement sur le comportement asymptotique de la fonction de Wright et sur les propriétés de convergence des séries impliquées.

Résultats clés
Le résultat principal de l'article est la dérivation d'une représentation intégrale sous forme close pour la solution régulière unique du problème. La solution s'exprime comme suit :
$$u(t, x) = \int_0^t \phi_0(\eta) G_s(t, x, \eta, 0) d\eta - \int_0^t \phi_1(\eta) G_s(t, x, \eta, a) d\eta + \int_0^a \tau(s) G(t, x, 0, s) ds + \int_0^t \int_0^a f(\eta, s) G(t, x, \eta, s) ds d\eta$$
où $G(t, x, \eta, s)$ est la fonction de Green construite explicitement, impliquant une série infinie de fonctions de Mittag-Leffler généralisées. L'article établit également l'existence et l'unicité de cette solution sous des hypothèses spécifiques de régularité sur les données d'entrée ($\phi_0, \phi_1, \tau, f$).

Portée et affirmations
L'article affirme étendre les techniques classiques de fonction de Green à une classe plus large d'opérateurs fractionnaires, spécifiquement ceux impliquant la dérivée de Prabhakar. Les auteurs indiquent que, bien que les fonctions de Green soient bien établies pour les équations classiques et fractionnaires standards (Riemann-Liouville/Caputo), leur construction explicite pour les équations de type Prabhakar est restée sous-développée.

La portée de ce travail réside dans :

• Construction explicite : Fournir la première forme explicite de la fonction de Green pour cette classe spécifique d'équations de sous-diffusion avec dérivées de Prabhakar.
• Outils analytiques : Offrir une représentation intégrale sous forme close servant de fondement à une analyse qualitative et numérique ultérieure des problèmes aux limites et inverses.
• Généralisation : Démontrer comment les paramètres supplémentaires de la dérivée de Prabhakar ($\gamma, \delta$) sont traités analytiquement, fournissant ainsi un cadre pour modéliser des systèmes avec des motifs de mémoire plus complexes et non exponentiels que ceux capturés par les modèles fractionnaires à échelle unique.

Les auteurs notent que si les paramètres $\delta$ ou $\gamma$ sont fixés à zéro, leurs résultats se réduisent aux cas connus trouvés dans la littérature existante, validant ainsi la généralité de leur approche. L'article ne propose pas de nouvelles applications physiques ni de montages expérimentaux, mais se concentre strictement sur la résolubilité mathématique et la représentation de la solution.