Decay of solutions and bilinear control to trajectories of a 1D degenerate parabolic system

Technische Samenvatting: Verval van Oplossingen en Bilineaire Controle naar Trajecten van een 1D Degenerat Parabolisch Systeem

Probleemstelling
Dit artikel onderzoekt de controleerbaarheids eigenschappen van een klasse van eendimensionale nietlineaire parabolische systemen die worden gekenmerkt door zwak degeneratieve diffusiecoëfficiënten. Het systeem, aangeduid als (1), bestaat uit twee gekoppelde vergelijkingen voor toestandsvariabelen $y$ en $z$, gedefinieerd op het domein $(0, 1) \times (0, T)$. De diffusieterm bevat een coëfficiënt $a(x)$ die degradeert bij de rand $x=0$ (specifiek $a(0)=0$), wat heterogene media modelleert waarbij transportmechanismen verzwakken nabij kritieke regio's. Het systeem is niet-autonoom, met tijdafhankelijke coëfficiënten $b(t)$ en lagere-orde termen $B_i(x,t)$.

Het primaire controlemechanisme is bilineair, werkend via de reactieterm als $h(x,t)\omega(x)y$, waarbij $h$ de controlefunctie is die ondersteund wordt op een niet-lege open deelverzameling $\omega \subset (0, 1)$. In tegenstelling tot additieve controles, moduleert deze bilineaire structuur de groei- of vervalratio's proportioneel aan de huidige toestand. Het artikel behandelt twee hoofddoelstellingen:

1. Lokale Exacte Controleerbaarheid naar Trajecten: Bepalen of er, voor elke initiële toestand nabij een referentietraject $(\bar{y}, \bar{z})$ (oplossing van het ongecontroleerde systeem), een controle $h$ bestaat die het systeem naar het traject stuurt om aan het traject te voldoen op tijdstip $T$.
2. Globale Exacte Controleerbaarheid naar Trajecten: Bepalen of dit sturen mogelijk is voor elke initiële toestand, mits de tijd $T$ voldoende groot is.

Methodologie
De auteurs maken gebruik van een combinatie van functionele analyse technieken, energie-schattingen en Carleman-ongelijkheden, afgestemd op de degeneratieve setting.

1. Herformulering en Linearisatie:
   Om de controleerbaarheid naar een traject $(\bar{y}, \bar{z})$ te bestuderen, wordt het probleem geherformuleerd door foutvariabelen te introduceren: $w_1 = y - \bar{y}$ en $w_2 = z - \bar{z}$. Dit transformeert het exacte controleerbaarheidsprobleem in een nul-controleerbaarheidsprobleem voor het foutensysteem (6). Het nietlineaire systeem wordt vervolgens ontleed in een lineair deel en een nietlineair restant.

2. Verval van Oplossingen (Globale Controleerbaarheidsstrategie):
   Om globale controleerbaarheid te bereiken, analyseren de auteurs eerst het ongecontroleerde systeem ($h \equiv 0$). Onder specifieke structurele aannames op de nietlineaire termen $F_i$ (specifiek een monotoniciteitsconditie), bewijzen zij dat oplossingen van het foutensysteem een exponentieel verval vertonen in de tijd. Dit verval garandeert dat de toestand van het systeem voor elke initiële data in een kleine omgeving van de oorsprong terechtkomt na een voldoende grote tijd $\tilde{T}$.

3. Lokale Inversie via de Stelling van Liusternik:
   De kern van het bewijs voor lokale controleerbaarheid berust op de Liusternikse Inverse Functiestelling in Banachruimten. De auteurs definiëren een afbeelding $\mathcal{A}$ van een ruimte van toestanden en controles ($V$) naar een ruimte van residuen en initiële data ($W$). Om de stelling toe te passen, moeten zij verifiëren dat:

   • $\mathcal{A}$ continu differentieerbaar ($C^1$) is.
   • De Fréchet-afgeleide $\mathcal{A}'(0)$ surjectief (op) is.

4. Lineaire Nul-Controleerbaarheid en Carleman-schattingen:
   De surjectiviteit van de gelineraliseerde operator wordt vastgesteld door de nul-controleerbaarheid van het bijbehorende gelineraliseerde systeem (14) te bewijzen. Dit wordt bereikt met behulp van Carleman-ongelijkheden (Propositie 1), die observatieschattingen bieden voor het adjoint systeem. Deze schattingen maken de constructie van een controle $h$ mogelijk die het lineaire systeem naar nul drijft. De auteurs maken gebruik van gewogen energie-ruimten met specifieke gewichtsfuncties $\rho_j$ (afhankelijk van tijd en ruimte) om de degeneratie en de bilineaire aard van de controle te behandelen.

5. Regulariteit en Schattingen:
   Het bewijs behelst het afleiden van gedetailleerde a priori schattingen voor het gelineraliseerde systeem en de controlefunctie. Met name Corollary 3 vestigt de regulariteit van de controle $h$ in gewogen Sobolev-ruimten, wat cruciaal is voor het behandelen van de multiplicatieve term $h \omega y$ in de nietlineaire analyse.

Kernbijdragen en Resultaten

• Theorem 1 (Lokale Exacte Controleerbaarheid): Het artikel stelt vast dat het nietlineaire degeneratieve systeem (1) lokaal exact controleerbaar is naar elk traject $(\bar{y}, \bar{z})$ voor elke tijd $T > 0$. Dit geldt voor initiële data die voldoende dicht bij het traject liggen in de $H^1_a(0,1)$ norm. Het bewijs steunt op de succesvolle toepassing van de Liusternik-stelling, afhankelijk van de oplosbaarheid van het gelineraliseerde nul-controleerbaarheidsprobleem.
• Theorem 2 (Globale Exacte Controleerbaarheid): De auteurs bewijzen dat het systeem globaal exact controleerbaar is naar trajecten voor elke initiële data, mits de tijdshorizon $T$ voldoende groot is. Dit resultaat is een direct gevolg van het exponentiële verval van het ongecontroleerde systeem (Theorem of Section 1.A) in combinatie met de lokale controleerbaarheidsresultaten. Het verval maakt het mogelijk om het systeem in het "lokale" regime te brengen waar Theorem 1 van toepassing is.
• Verval-schattingen: Een significante technische bijdrage is het bewijs van het exponentiële verval voor oplossingen van het nietlineaire degeneratieve systeem zonder controle (Theorem 2), onder de aanname van een specifieke tekenconditie op de nietlineariteiten.
• Uitbreiding van vorig werk: De resultaten verbeteren eerdere studies (met name [28]) door zowel bilineaire controles (multiplicatief) dan enkel additieve controles te incorporeren en door semilineaire termen $F_i(x,t,y,z)$ op te nemen. Het artikel adresseert ook de specifieke uitdagingen van niet-autonome coëfficiënten en zwakke degeneratie.

Betekenis en Claims
Het artikel claimt een rigoureus kader te bieden voor het controleren van degeneratieve parabolische systemen waarbij de diffusie bij de rand verdwijnt en de controle multiplicatief op de toestand werkt. De auteurs positioneren hun werk als een vooruitgang in de controle van niet-autonome degeneratieve gekoppelde systemen, die realistische fenomenen modelleren zoals thermische processen in heterogene materialen, sedimentatie en diffusie in anisotrope media.

De betekenis ligt in de combinatie van:

1. Bilineaire Controle: Het adresseren van het realistische mechanisme waarbij controle de reactiesnelheden moduleert (bijv. katalysatoren in chemische reacties of reproductiesnelheden in de ecologie) in plaats van simpelweg een bronterm toe te voegen.
2. Afhandeling van Degeneratie: Het succesvol aanpassen van Carleman-ongelijkheden en functioneel-analytische instrumenten aan de zwak degeneratieve setting ($a(x) \sim x^\alpha$).
3. Globale Resultaten: Het overbruggen van de kloof tussen lokale controleerbaarheid (geldig voor kleine data) en globale controleerbaarheid (geldig voor arbitraire data) door middel van de analyse van het oplossingverval.

De auteurs merken op dat deze resultaten uitgebreid kunnen worden naar systemen met niet-lokale termen (bijv. afhankelijkheid van $\int y$) en vrije grens problemen (Stefan-achtige problemen), hoewel deze uitbreidingen voor toekomstig werk zijn gereserveerd. De studie wordt ondersteund door standaard aannames over de regulariteit en begrenzing van coëfficiënten en de niet-degeneratieve aard van de controle-regio $\omega$.