Interface problems of mixed spatial order

Technische Samenvatting: Interface Mixed Order Problemen via de Unified Transform Method

Probleemstelling
Dit werk behandelt het initiële randwaardeprobleem (IBVP) voor lineaire evolutie partiële differentiaalvergelijkingen (PDE's) gedefinieerd op een ruimtelijk domein dat verdeeld is in twee half-lijnen, $(-\infty, 0)$ en $(0, \infty)$, gescheiden door een interface bij $x=0$. In tegenstelling tot eerdere studies waarbij de sturende vergelijkingen aan weerszijden van de interface identiek waren of slechts verschilden door scalaire coëfficiënten, onderzoekt dit artikel "mixed order" interfaceproblemen. Specifiek wordt de interactie tussen lineaire evolutievergelijkingen van fundamenteel verschillende ruimtelijke orden en fysieke gedragingen (dispersief versus dissipatief) onderzocht.

De prototypische voorbeelden die worden geanalyseerd omvatten:

1. Linker half-lijn ($x < 0$): De lineaire Schrödinger-vergelijking (lS), de warmtevergelijking (h), of de biharmonische Schrödinger-vergelijking (biS).
2. Rechter half-lijn ($x > 0$): De Airy-vergelijking of de gelineraliseerde Korteweg-de Vries (lKdV) vergelijking.

Deze systemen zijn gekoppeld via interfacecondities bij $x=0$. Het artikel besch Considereert twee sets condities:

• Conditie (IfC.1): Continuïteit van de oplossing en de eerste ruimtelijke afgeleide ($C^1$ continuïteit).
• Conditie (IfC.2): Continuïteit van de oplossing en de eerste twee ruimtelijke afgeleiden ($C^2$ continuïteit), vereist voor de vierde-orde biharmonische Schrödinger-vergelijking.

De interfacewaarden (randgegevens bij $x=0$) zijn niet a priori gegeven; het zijn onbekende functies die worden bepaald door de koppeling van de twee verschillende PDE's.

Methodologie
De auteurs maken gebruik van de Unified Transform Method (UTM), ook wel de Fokas-methode genoemd, die dient als een generalisatie van de Fourier-transformatie voor IBVP's op domeinen met grenzen. De procedure voor de oplossing omvat de volgende stappen:

1. Global Relations: Voor elk half-lijn probleem leiden de auteurs "global relations" (spectrale identiteiten) af die de initiële gegevens, de oplossing en de onbekende interfacewaarden koppelen in het complexe spectrale vlak.
2. Verandering van Variabelen: Om de mixed orders te behandelen, introduceren de auteurs specifieke wortel-type functies ($\sigma, \rho, \tau, \gamma$) en een biholomorfisme $\nu$ (voor het lKdV-geval). Deze functies mappen de spectrale parameter $\lambda$ naar het complexe $k$-vlak op een manier die de dispersierelaties van de verschillende vergelijkingen uitlijnt (bijvoorbeeld het relateren van $k^2, k^3$ en $k^4$).
3. Constructie van het Lineair Systeem: Door deze veranderingen van variabelen toe te passen op de global relations, construeren de auteurs een lineair systeem (doorgaans $3\times3$ of $4\times4$) voor de transformen van de onbekende interfacewaarden.
4. Oplossingsrepresentatie: Het oplossen van dit lineaire systeem maakt het mogelijk om de onbekende interfacewaarden te elimineren. De auteurs substitueren vervolgens deze uitdrukkingen terug in de integraalrepresentaties van de oplossingen voor elke half-lijn.
5. Contourdeformatie en Asymptotica: Een cruciaal technisch bijdrage is de rigoureuze rechtvaardiging voor het deformeren van integratiecontouren (bijvoorbeeld van de reële as naar contouren zoals $\tilde{R}$ in het benedenste halfvlak) om singulariteiten (specifiek bij $\lambda=0$) te omzeilen en integralen met de tijdsafhankelijke termen ($u(x,t), v(x,t)$) te elimineren. Dit wordt bereikt door op maat gemaakte argumenten gebruikmakend van de specifieke asymptotische gedragingen van de wortelfuncties en de exponentiële kernen, in plaats van de standaard Jordan-lemma, vanwege de mismatch in de leidende termen.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt expliciete oplossingsformulae voor vier verschillende interfaceproblemen, gepresenteerd als Proposition 1 tot en met 4:

• Proposition 1: Lost de interface tussen de lineaire Schrödinger-vergelijking en de Airy-vergelijking op onder $C^1$ interfacecondities.
• Proposition 2: Lost de interface tussen de lineaire Schrödinger-vergelijking en de gelineraliseerde KdV-vergelijking op (inclusclusief een lagere-orde term $av_x$) onder $C^1$ condities. Dit vereist de introductie van het biholomorfisme $\nu$ om de niet-homogene dispersierelatie te behandelen.
• Proposition 3: Lost de interface tussen de warmtevergelijking (dissipatief) en de Airy-vergelijking (dispersief) op onder $C^1$ condities.
• Proposition 4: Lost de interface tussen de biharmonische Schrödinger-vergelijking (vierde-orde dispersief) en de Airy-vergelijking op onder $C^2$ condities. Dit geval omvat een $4\times4$ lineair systeem vanwege de hogere orde van de PDE.

De expliciete formules worden uitgedrukt in contourintegralen die de transformen van de initiële gegevens en specifieke kernfuncties bevatten, afgeleid van de wortel-type mappingen.

Numerieke Evaluatie
Om het nut van de afgeleide formules te demonstreren, voeren de auteurs numerieke evaluaties uit met behulp van Filon-kwadratuur. Deze methode is gekozen om de hoogfrequente oscillerende aard van de integranden te behandelen. Het artikel presenteert plots van de oplossingen voor diverse configuraties van initiële gegevens:

• Schrödinger-Airy: Toont de transitie van unidirectionele Airy-golven naar bidirectionele Schrödinger-golven, en vice versa, waarbij de "roulette-achtige" patronen en de vertragende effecten veroorzaakt door de interface worden geaccentueerd.
• Biharmonische Schrödinger-Airy: Illustreert vergelijkbare golfinteracties, maar met dynamica die wordt beheerst door een quartische dispersierelatie, wat leidt tot een snellere opkomst van complexe patronen.
• Warmte-Airy: Demonstreert de interactie tussen diffusieve en dispersieve golven, waarbij exponentiële afname aan de warmtekant en dispersie aan de Airy-kant optreedt.

Betekenis
Het artikel claimt significant te zijn door de Unified Transform Method uit te breiden naar een nieuwe klasse problemen waarbij de sturende vergelijkingen aan weerszijden van een interface van fundamenteel verschillend type zijn (verschillende ruimtelijke orden en fysieke aard). Eerdere toepassingen van de UTM op interfaceproblemen waren grotendeels beperkt tot gevallen waarbij de vergelijkingen identiek waren of slechts verschilden door scalaire coëfficiënten.

Door deze mixed-order problemen succesvol op te lossen, tonen de auteurs aan dat de UTM robuust is in het behandelen van complexe spectrale structuren voortvloeiend uit uiteenlopende dispersierelaties. Dit werk vormt de eerste analytische oplossingskader voor dergelijke interacties, die relevant zijn voor het modelleren van fysieke verschijnselen in heterogene media, zoals tumorgroei in hersenweefsel (zoals geciteerd in de introductie met betrekking tot gliomen) of composietmaterialen met variërende fysieke eigenschappen. De afgeleide expliciete formules dienen als fundament voor toekomstige analyses, inclusief potentiële uitbreidingen naar nietlineaire problemen via contractiemapping-technieken.