Forward and inverse problems for a time-fractional pseudo-parabolic equation with variable coefficients

Technische Samenvatting: Voorwaartse en Inverse Problemen voor een Tijdfractionele Pseudo-paraboolvergelijking met Variabele Coëfficiënten

Probleemstelling
Dit werk onderzoekt voorwaartse en inverse problemen die geassocieerd zijn met een tijdfractionele pseudo-paraboolvergelijking gedefinieerd in een scheidbare Hilbertruimte $H$. De leidende vergelijking wordt gegeven door:
$$D^\rho_t [u(t) + \mu Au(t)] + \sigma(t)Au(t) = r(t)g, \quad t \in (0, T]$$
onderworpen aan de beginvoorwaarde $u(0) = \phi$. Hierbij is $A$ een onbegrensde, positieve, zelfgeadjungeerde operator met een compacte inverse; $\mu > 0$ is een constante; $0 < \rho < 1$ is de orde van de Caputo-fractionele afgeleide; $\sigma(t)$ is een tijdsafhankelijke coëfficiënt; $r(t)$ is een scalair bronfunctie; en $g, \phi \in H$.

De studie behandelt twee verschillende problemen:

1. Het Voorwaartse Probleem: Het bepalen van de oplossing $u(t)$ gegeven bekende coëfficiënten $\sigma(t)$, $r(t)$ en de bronterm $g$.
2. Het Inverse Probleem: Het bepalen van het paar functies $\{u(t), r(t)\}$ wanneer $r(t)$ onbekend is, onderworpen aan een extra overdeterminatievoorwaarde van de vorm $F[u(t)] = \Phi(t)$, waarbij $F: H \to \mathbb{R}$ een begrensd lineair functionaal is en $\Phi(t)$ een gegeven scalair functie is.

Methodologie
De auteurs hanteren een spectrale aanpak gebaseerd op de Fourier-methode, waarbij gebruik wordt gemaakt van de eigenfuncties $\{v_k\}$ en eigenwaarden $\{\lambda_k\}$ van de operator $A$.

• Analyse van het Voorwaartse Probleem: De oplossing $u(t)$ wordt voorgesteld als een oneindige reeks $u(t) = \sum u_k(t)v_k$. Dit reduceert de partiële differentiaalvergelijking tot een rij van scalaire Cauchy-problemen voor de coëfficiënten $u_k(t)$. Het bestaan en de uniciteit van deze scalaire oplossingen worden vastgesteld met behulp van eigenschappen van de Mittag-Leffler-functie en integraalramingen. Globaal bestaan en uniciteit voor het volledige probleem worden bewezen door normramingen af te leiden voor $u(t)$, $Au(t)$ en de fractionele afgeleiden $D^\rho_t u(t)$ en $D^\rho_t (Au(t))$ in de ruimte $C([0, T]; H)$.
• Analyse van het Inverse Probleem: Om de onbekende bron $r(t)$ op te lossen, wordt het functionaal $F$ toegepast op de leidende vergelijking. Dit levert een expliciete integraalvoorstelling voor $r(t)$ op die de oplossing $u(t)$ bevat. Het bestaan van een oplossing voor het inverse probleem wordt vastgesteld door het probleem te formuleren als een vastpuntvergelijking $r(t) = B[r](t)$. De auteurs passen het vastpunttheorema van Schauder toe, waarbij wordt aangetoond dat de operator $B$ een gesloten, convexe en begrensde deelverzameling van $C[0, T]$ op zichzelf afbeeldt en dat de beeldverzameling relatief compact is (geverifieerd via het stelling van Arzelà-Ascoli). Uniciteit wordt bewezen door aan te tonen dat het verschil tussen twee mogelijke oplossingen moet verdwijnen.
• Numeriek Schema: Voor het specifieke geval waarin $A$ een differentiaaloperator van de tweede orde is ($Au = -u_{xx}$), wordt een eindig-differentieschema ontwikkeld. De Caputo-afgeleide wordt benaderd met behulp van een niet-uniform L1-schema op een ingedeelde tijdsrooster om de singulariteit bij $t=0$ te behandelen, terwijl ruimtelijke afgeleiden worden behandeld via centrale differenties. Het resulterende lineaire algebraïsche systeem is driadiagonaal en wordt opgelost met het Thomas-algoritme.

Belangrijkste Bijdragen en Resultaten

1. Generalisatie van het Voorwaartse Model: In tegenstelling tot eerdere studies die vaak een constante coëfficiënt $\sigma(t)$ aannamen, onderzoekt dit werk het geval waarin $\sigma(t)$ een tijdsafhankelijke functie is. De auteurs bewijzen het globale bestaan en de uniciteit van de oplossing onder de voorwaarde dat $\sigma(t)$ continu en strikt positief is.
2. Generaliseerde Formulering van het Inverse Probleem: Het artikel behandelt een inverse probleem voor het bepalen van een tijdsafhankelijke bron $r(t)$ onder een algemeen lineair functionaalvoorwaarde $F[u(t)] = \Phi(t) Dit generaliseert eerdere werken die beperkt waren tot specifieke functionalen (bijvoorbeeld puntwaarde bij een eindtijd of integraalvoorwaarden). De auteurs geven specifieke voorbeelden van toelaatbare functionalen en verifiëren de noodzakelijke voorwaarden voor bestaan en uniciteit.
3. Theoretische Bewijzen: Er worden strikte bewijzen geleverd voor het bestaan en de uniciteit van oplossingen voor zowel het voorwaartse als het inverse probleem. Het bestaan van het inverse probleem berust op het vastpunttheorema van Schauder, terwijl uniciteit wordt afgeleid uit energie-ramingen.
4. Numerieke Validatie: Er wordt een efficiënt computationeel algoritme gepresenteerd voor het voorwaartse probleem. Numerieke experimenten worden uitgevoerd met een specifieke testcase waarbij de exacte oplossing bekend is. De resultaten tonen de nauwkeurigheid van het voorgestelde eindig-differentieschema aan, waarbij de numerieke oplossingen nauw overeenkomen met de exacte oplossing.

Betekenis
De auteurs beweren dat de primaire originaliteit van dit werk ligt in de generalisatie van het wiskundige model om een tijdsafhankelijke coëfficiënt $\sigma(t)$ op te nemen in het voorwaartse probleem, een scenario dat eerder niet was bestudeerd in de context van tijdfractionele pseudo-paraboolvergelijkingen. Bovendien wordt het inverse probleem behandeld met een zeer algemeen functionaal $F$, waardoor de klasse van toepasbare inverse problemen wordt verbreed tot buiten die welke beperkt zijn tot specifieke rand- of integraalvoorwaarden. Het artikel vestigt een strikt theoretisch raamwerk voor deze gegeneraliseerde problemen en biedt een praktische numerieke methode voor hun oplossing, waardoor de bestaande literatuur over fractionele pseudo-paraboolvergelijkingen wordt uitgebreid.