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

Technische Samenvatting: q-Mittag–Leffler Resolventen voor Nietlineaire Caputo q-Fractionele Vergelijkingen

Probleemstelling
Dit onderzoek behandelt de analyse van nietlineaire semilineaire Caputo $q$-fractionele beginwaardeproblemen op een eindig $q$-tijdhorizon. De specifieke vergelijking die wordt onderzocht is:
$${}^{C}D_{q,0}^{\alpha}x(t) = \lambda x(t) + F(t, x(t)), \quad x(0) = x_0, \quad 0 < \alpha < 1$$
waarbij ${}^{C}D_{q,0}^{\alpha}$ de Caputo $q$-fractionele afgeleide voorstelt. Het artikel streeft ernaar om verder te gaan dan de loutere definitie van $q$-analogen van speciale functies (zoals de $q$-Gamma- en de $q$-Mittag–Leffler-functies) en richt zich in plaats daarvan op drie structurele vragen:

1. Het interpreteren van de $q$-Mittag–Leffler-functie als de resolvent van de evolutievergelijking in plaats van enkel als een reeksdefinitie.
2. Het vaststellen van expliciete voorwaarden voor de welgesteldheid (existentie en uniciteit) van het nietlineaire probleem via contractieargumenten.
3. Het bewijzen dat het nietlineaire $q$-probleem convergeert naar het klassieke Caputo fractionele probleem naarmate de deformatieparameter $q \to 1^{-}$, specifiek op het niveau van de oplossingen, en niet enkel op het niveau van de coëfficiënten.

Methodologie
De analyse steunt op een vaste-punt-raamwerk binnen de Banachruimte $X_q = C([0, T]_q, \mathbb{R})$ uitgerust met de sup-norm.

• Resolventformulering: De auteurs herformuleren de differentiaalvergelijking naar een Volterra-type integraalvergelijking met behulp van de $q$-fractionele integraal $I_{q,0}^{\alpha}$. Ze definiëren een resolventoperator $R_{q,\alpha,\lambda} = (I - \lambda I_{q,0}^{\alpha})^{-1}$. Door deze uit te breiden via een Neumann-reeks, tonen ze aan dat de werking van deze resolvent op de beginwaarde $x_0$ het resultaat $x_0 qE_{\alpha}(\lambda, t)$ oplevert, waarmee de $q$-Mittag–Leffler-functie wordt geïdentificeerd als de natuurlijke homogene respons van het systeem.
• Welgesteldheid: Existentie en uniciteit worden vastgesteld met behulp van de Banach-vastepuntstelling. De auteurs leiden een voldoende voorwaarde af voor het voldoen van het contractiemappingprincipe:
  $$\kappa_q := (|\lambda| + L) \frac{T^{\alpha}}{\Gamma_q(\alpha + 1)} < 1$$
  waarbij $L$ de Lipschitz-constante is van de nietlineaire term $F$.
• Stabiliteit en Afhankelijkheid: Continue afhankelijkheid van de begingegevens wordt afgeleid met behulp van een $q$-fractionele Gronwall-ongelijkheid, wat resulteert in een schatting die begrensd wordt door een $q$-Mittag–Leffler-functie. Stabiliteit wordt besproken via gevestigde Lyapunov-theorie voor $q$-fractionele systemen, waarbij de afname van oplossingen wordt gekoppeld aan de eigenschappen van de $q$-Mittag–Leffler-functie.
• Convergentieanalyse: De kernbijdrage van de theorie is een bewijs van uniforme convergentie wanneer $q \to 1^{-}$. De auteurs maken gebruik van de bekende convergentie van de Jackson-integraal naar de Riemann-integraal en van de $q$-Gamma-functie naar de klassieke Gamma-functie. Ze construeren een perturbatieschatting voor de vaste-punt-afbeeldingen, waarbij zij aantonen dat indien het klassieke probleem een oplossing heeft en de $q$-problemen uniform contractief blijven, de $q$-oplossingen uniform convergeren naar de klassieke oplossing.

Belangrijkste Resultaten

1. Resolventinterpretatie: Het artikel stelt rigoureus vast dat de $q$-Mittag–Leffler-functie $qE_{\alpha}(\lambda, t)$ de resolventrespons is van de lineaire Caputo $q$-fractionele operator, waarbij het lineaire geheugenmechanisme wordt gescheiden van de nietlineaire forcering.
2. Expliciete Welgesteldheid: Er wordt een transparante, expliciete voorwaarde (Vergelijking 25) verstrekt voor de existentie en uniciteit van oplossingen op een eindige horizon. Deze voorwaarde is als voldoende en niet als scherp genoteerd, maar is cruciaal voor de daaropvolgende convergentiebewijzen.
3. Convergentie op Oplossingsniveau: Theorem 6.1 bewijst dat onder uniforme contractiviteit en consistentie van de integraaloperatoren, de unieke $q$-oplossing $x_q$ uniform convergeert naar de klassieke Caputo-oplossing $x$ wanneer $q \to 1^{-}$. De foutmarge is expliciet gerelateerd aan het verschil tussen de $q$-fractionele en de klassieke fractionele integralen.
4. Numerieke Verificatie:
   • Lineair geval: Numerieke experimenten op een lineair relaxatiemodel ($CD_{q,0}^{0.75}x = -0.8x$) bevestigen de theoretische convergentie. De fout $\|x_q - x\|_\infty$ neemt af naarmate $q \to 1$, waarbij een log-log plot suggereert dat er sprake is van een benaderde eerste-orde afhankelijkheid op $1-q$ voor de geteste benchmark.
   • Nietlineair geval: Een nietlineair cubisch relaxatiemodel ($CD_{q,0}^{0.75}x = -0.7x - 0.6x^3$) werd opgelost met behulp van een geometrisch Jackson-rooster. De resultaten bevestigen dat de nietlineaire $q$-oplossingen convergeren naar de klassieke referentieoplossing, wat het theoretische raamwerk buiten het lineaire regime valideert.

Betekenis en Claims
De auteurs stellen expliciet dat de definities van de $q$-Gamma-, $q$-Beta- en $q$-Mittag–Leffler-functies geen nieuwe bijdragen zijn, noch de existentie van Caputo $q$-problemen of hun stabiliteitseigenschappen. In plaats daarvan ligt de betekenis van het artikel in de structurele synthese:

• Het herkadert de $q$-Mittag–Leffler-functie als een intrinsiek onderdeel van de resolventoperator voor semilineaire problemen.
• Het biedt een verenigd bewijs dat het gehele nietlineaire dynamische systeem, en niet enkel de speciale functiecomponenten, de klassieke fractionele dynamica herstelt in de limiet $q \to 1^{-}$.
• Het maakt een onderscheid tussen de rol van de fractionele orde $\alpha$ (die het niet-lokale geheugen controleert) en de deformatieparameter $q$ (die de geometrische/kwantumstructuur van de differentiatie controleert), en betoogt dat $q$ niet verward mag worden met de fractionele orde.

Het artikel concludeert dat deze resultaten een reeks niet-originele definities vervangen door een precieze wiskundige vraag en een reproduceerbaar antwoord met betrekking tot de continuïteit van kwantum-gedeformeerde fractionele dynamica naar hun klassieke limieten.