Green's Function Framework for Boundary Value Problems with the Regularized Prabhakar Fractional Derivative

Technische Samenvatting

Titel: Green's Function Framework for Boundary Value Problems with the Regularized Prabhakar Fractional Derivative
Auteurs: Erkinjon Karimov, Doniyor Usmonov, Maftuna Mirzaeva
Taal van origineel: Engels
Taal van samenvatting: Nederlands

1. Probleemstelling

Het artikel onderzoekt het eerste begin-waardeprobleem (initial-boundary value problem) voor een sub-diffusievergelijking die de geregulariseerde Prabhakar-fractionele afgeleide bevat. De vergelijking wordt gedefinieerd op een rechthoekig domein $\Omega = \{(t, x) : 0 < t < T, 0 < x < a\}$ en luidt als volgt:

$$PCD_{0t}^{\alpha, \beta, \gamma, \delta} u(t, x) - u_{xx}(t, x) = f(t, x)$$

Waarbij:

• $PCD_{0t}^{\alpha, \beta, \gamma, \delta}$ de Caputo-type Prabhakar-fractionele afgeleide is, gebaseerd op de drie-parameter Mittag-Leffler-functie.
• $f(t, x)$ een gegeven bronfunctie is.
• De randvoorwaarden zijn Dirichlet-voorwaarden: $u(t, 0) = \phi_0(t)$ en $u(t, a) = \phi_1(t)$.
• De beginvoorwaarde is: $u(0, x) = \tau(x)$.

De Prabhakar-operator generaliseert zowel de Riemann-Liouville als de Caputo-afgeleiden en biedt een rijkere parameterisatie voor het modelleren van geheugen- en erfelijke effecten in systemen met anomalieën (zoals sub-diffusie).

2. Methodologie

De auteurs hanteren een superpositiemethode om het complexe niet-homogene probleem op te lossen. Ze splitsen de oplossing $u(t, x)$ op in twee componenten:
$$u(t, x) = y(t, x) + z(t, x)$$

1. Deelprobleem 1 (Niet-homogene vergelijking, homogene beginvoorwaarde):

   • Vergelijking: $PCD_{0t}^{\alpha, \beta, \gamma, \delta} y - y_{xx} = f(t, x)$
   • Randvoorwaarden: $y(t, 0) = \phi_0(t)$, $y(t, a) = \phi_1(t)$
   • Beginvoorwaarde: $y(0, x) = 0$
   • Technische aanpak: Door gebruik te maken van de relatie tussen de Riemann-Liouville en Caputo Prabhakar-afgeleiden (waarbij de beginvoorwaarde 0 is), wordt de vergelijking omgezet naar een vorm die opgelost kan worden met behulp van een Green's functie voor de bronterm en de randfuncties.

2. Deelprobleem 2 (Homogene vergelijking, niet-homogene beginvoorwaarde):

   • Vergelijking: $PCD_{0t}^{\alpha, \beta, \gamma, \delta} z - z_{xx} = 0$
   • Randvoorwaarden: $z(t, 0) = 0$, $z(t, a) = 0$
   • Beginvoorwaarde: $z(0, x) = \tau(x)$
   • Technische aanpak: De beginvoorwaarde introduceert een extra term in de vergelijking wanneer deze wordt omgezet naar de Riemann-Liouville vorm. Dit leidt tot een niet-homogene vergelijking die eveneens met de Green's functie-methode wordt opgelost.

De kern van de methode ligt in het expliciet construeren van de Green's functie $G(t, x, \eta, \xi)$ en een geassocieerde functie $\tilde{G}$, uitgedrukt in termen van een bivariate Mittag-Leffler-type functie ($E_{12}$).

3. Belangrijkste Bijdragen en Resultaten

• Expliciete Oplossing: De auteurs leiden een expliciete integraalrepresentatie af voor de unieke regelmatige oplossing van het probleem. De oplossing wordt gegeven door:
  $$u(t, x) = \int_0^t \phi_0(\eta) G_\xi(t, x, \eta, 0) d\eta - \int_0^t \phi_1(\eta) G_\xi(t, x, \eta, a) d\eta + \int_0^a \tau(\xi) \tilde{G}(t, x, 0, \xi) d\xi + \int_0^t \int_0^a f(\eta, \xi) G(t, x, \eta, \xi) d\xi d\eta$$

• Constructie van de Green's Functie:
  De Green's functie wordt uitgedrukt als een dubbeloneindige reeks die de bivariate Mittag-Leffler-functie $E_{12}$ bevat. Deze functie generaliseert de klassieke heat-kern en houdt rekening met de complexe geheugenkarakteristieken van de Prabhakar-derivative.
  $$G(t, x, \eta, \xi) = (t-\eta)^{\beta_1-1} \sum_{n=-\infty}^{\infty} \left[ E_{12}(\dots |x-\xi+2an|) - E_{12}(\dots |x+\xi+2an|) \right]$$
  (waarbij $\beta_1 = \beta/2$ en $\gamma_1 = \gamma/2$).

• Rigoureuze Bewijzen:
  Het artikel bevat een gedetailleerd wiskundig bewijs dat de afgeleide representatie inderdaad een regelmatige oplossing is. Dit omvat:

  • Het aantonen dat de oplossing voldoet aan de differentiaalvergelijking (door het berekenen van de Prabhakar-afgeleide en de tweede ruimtelijke afgeleide).
  • Het verifiëren van de randvoorwaarden ($x \to 0$ en $x \to a$).
  • Het verifiëren van de beginvoorwaarde ($t \to 0$), waarbij gebruik wordt gemaakt van asymptotische eigenschappen van de Wright-functie en de Mittag-Leffler-functie.

• Uniciteit en Existentie:
  Onder de voorwaarden dat de randfuncties continu zijn, de beginfunctie continu is, en de bronfunctie voldoet aan een Hölder-voorwaarde, wordt de uniciteit en existentie van de regelmatige oplossing bewezen.

4. Numerieke Illustraties en Interpretatie

De auteurs presenteren twee voorbeelden om het gedrag van het systeem te visualiseren:

1. Invloed van beginvoorwaarden: Met een sinusvormige beginconditie en geen externe bron. Het resultaat toont aan dat een lagere fractale orde $\beta$ (die diepe sub-diffusie vertegenwoordigt) leidt tot een extreem trage afname van de concentratie/profiel. Een hogere $\beta$ benadert het klassieke diffusiegedrag met snellere relaxatie.
2. Invloed van externe krachten: Met een tijdsafhankelijke bron $f(t, x) = t \sin(x)$ en nul beginconditie. Hieruit blijkt dat systemen met een lage fractale orde trager reageren op externe bronnen (kleine amplitude), terwijl hogere fractale orden leiden tot snellere energieaccumulatie.

5. Significatie en Toekomstperspectief

• Generalisatie: Dit werk breidt de bestaande theorie van Green's functies voor fractionele differentiaalvergelijkingen uit naar de meer algemene Prabhakar-klasse, die meer flexibiliteit biedt in het modelleren van complexe geheugeneffecten dan standaard Caputo- of Riemann-Liouville-afgeleiden.
• Toepassingsgebied: De resultaten zijn relevant voor fysica (anomalie diffusie, visco-elasticiteit), biologie en engineering, waar systemen vaak niet-lineair geheugen vertonen.
• Wiskundige Vooruitgang: De introductie van de bivariate Mittag-Leffler-functie in de context van randwaardeproblemen biedt een nieuw analytisch gereedschap voor toekomstig onderzoek naar multi-dimensionale domeinen en stabiliteitsanalyses van dergelijke systemen.

Kortom, dit artikel levert een fundamentele bijdrage aan de fractionele analyse door een volledige en bewezen analytische oplossing te bieden voor een breed klasse van sub-diffusieproblemen met de regularized Prabhakar-derivative.