On convergence of solutions to nonlocal optimal control problems with quasi-minimization constraints

Technische Samenvatting: Convergentie van Oplossingen voor Nietlokale Optimale Controleproblemen met Quasi-Minimalisatievoorwaarden

Probleemstelling
Dit artikel onderzoekt een klasse van slecht gestelde, nietlokale optimale controleproblemen waarbij de toestandsrestricties niet worden gedefinieerd door globale minimizers, maar door $\epsilon$-quasi-minimizers van een quasiconvexe energiefunctie. Het probleem wordt geparametriseerd door een fractie differentiabiliteitsorde $s \in (0, 1)$ en een horizonparameter $\delta > 0$. Er wordt gezocht naar de toestand $u$ en de controle $g$ om een kostenfunctie $F(u, g)$ te minimaliseren, onder de restrictie dat de toestand $u$ een $\epsilon$-quasi-minimizer is van een nietlokale energie $W^{\delta,s}_g$.

De energiedichtheid $W$ wordt aangenomen quasiconvex (of polyconvex) te zijn, een setting die gebruikelijk is in de nietlineaire elasticiteit waar minimizers mogelijk niet uniek zijn. De nietlokale gradiëntoperator $D^\delta_s$ incorporeert langetermijninteracties via een integraalkern, wat dit kader onderscheidt van klassieke PDE-beperkte controle. De primaire uitdaging die wordt aangepakt, is het gebrek aan uniciteit in het minimalisatieprobleem van de restrictie, wat voorheen de bewijsvoering van convergentie voor nietlokale controleproblemen belemmerde (zoals gezien in eerder werk [20] dat gebruikmaakte van globale minimalisatie-restricties).

Methodologie
De analyse wordt uitgevoerd binnen het kader van nietlokale functieruimten $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$, die de sluitingen zijn van gladde functies met compact ondersteuning onder een norm die de nietlokale gradiënt omvat. De methodologie steunt op drie hoofdpijlers:

1. Existentietheorie: De auteurs stellen de existentie van oplossingen voor het nietlokale controleprobleem vast met behulp van de directe methode van de calculus van variaties. Cruciaal hierbij is het bewijzen van de zwakke geslotenheid van de verzameling toelaatbare paren $T^\epsilon_{\delta,s}$ en de lagere halfcontinuïteit van de kostenfunctie. In tegen tegenstelling tot standaard controleproblemen kan er geen oplossing-mapping worden gedefinieerd vanwege de potentiële niet-uniciteit van de energieminimizers; in plaats daarvan wordt aangetoond dat de verzameling van $\epsilon$-quasi-minimizers begrensd en zwak gesloten is.
2. $\Gamma$-convergentie: Om het asymptotische gedrag te analyseren, maakt het artikel gebruik van de $\Gamma$-convergentietheorie. De auteurs bewijzen dat de familie van nietlokale energiefuncties $\{W^{\delta,s}_g\}$ $\Gamma$- convergeert naar de overeenkomstige lokale energiefunctie $W^{\text{loc}}_g$ in de sterke $L^p$-topologie onder twee verschillende limieten:
   • $s \to 1^-$ (de fractie orde die de klassieke differentiabiliteit nadert).
   • $\delta \to 0^+$ (de horizonparameter die verdwijnt).
3. Constructie van de Recovery Sequence: Een cruciale technische bijdrage is de constructie van recovery sequences voor de convergentie van minimizers. Omdat de restrictie een ongelijkheid inhoudt ($W(u) - \min W \le \epsilon$) in plaats van een gelijkheid, moeten de auteurs zorgvuldig omgaan met gevallen waar het energieverschil strikt kleiner is dan $\epsilon$ versus wanneer dit gelijk is aan $\epsilon$. In dat laatste geval construeren zij recovery sequences met behulp van convexe combinaties van de kandidaat-limiettoestand en lokale minimizers om ervoor te zorgen dat de $\epsilon$-restrictie in de limiet wordt voldaan.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstellingen vast:

• Existentie (Stelling 3.4): Voor vaste parameters $\delta, s, \epsilon$, bestaat er een paar $(u_{\delta,s}, g_{\delta,s})$ dat het nietlokale optimale controleprobleem oplost met een $\epsilon$-quasi-minimalisatie-restrictie.
• Convergentie als $s \to 1^-$ (Stelling 4.10): Oplossingen van het nietlokale probleem convergeren (op basis van een subreeks) naar een oplossing van het overeenkomstige lokale optimale controleprobleem (waarbij de restrictie afhangt van de klassieke gradiënt $\nabla u$). De convergentie omvat sterke convergentie van de toestand in $L^p$ en zwakke convergentie van de controle in $L^{p'}$.
• Convergentie als $\delta \to 0^+$ (Stelling 4.20): Analoge convergentieresultaten gelden wanneer de horizonparameter verdwijnt, mits de kern specifieke schaalingsaannames voldoet.
• Sterke Convergentie van Controles (Corollaria 4.13 & 4.21): Onder de vastgestelde convergentie van de kostenfuncties, convergeren de controlevariabelen $g_{\delta,s}$ sterk in $L^r$-ruimten.

Betekenis en Claims
Het artikel claimt dat de introductie van de $\epsilon$-quasi-minimalisatie-restrictie een specifieke beperking oplost die werd gevonden in de literatuur (specifiek [20]), waar het gebrek aan uniciteit in globale minimizers de bewijsvoering van convergentie voor nietlokale controleproblemen naar lokale problemen verhinderde. Door de restrictie te versoepelen om benaderde minimizers toe te staan, kunnen de auteurs:

1. De existentie van oplossingen bewijzen voor een bredere klasse van quasiconvexe energieën waar uniciteit niet gegarandeerd is.
2. De rigoureuze convergentie van oplossingen van nietlokale naar lokale settings vaststellen voor algemene kostenfuncties die afhangen van de nietlokale gradiënt.
3. Een nieuwe analytische techniek bieden voor het construeren van recovery sequences in geparametriseerde optimale controleproblemen, waarbij de tolerantie $\epsilon$ wordt gebruikt om de oscillatie van energieverschillen te beheersen.

De auteurs merken op dat hun resultaten niet zwaar afhankelijk zijn van het gekozen specifieke functieruimte-kader en suggereren dat de technieken toepasbaar zijn op andere families van geparametriseerde optimale controleproblemen, met name die die slecht gesteld zijn maar ten minste één oplossing toelaten. Het artikel vermijdt expliciet het claimen van toepassingen op specifieke fysische systemen buiten de algemene modellering van vaste mechanica en diffusie, en stelt geen nieuwe numerieke schema's voor, hoewel het voor context verwijst naar recent werk over Discontinuous Galerkin-methoden.