Homogenization of an optimal control problem for nonlocal semilinear elasticity with soft inclusions

Technische Samenvatting: Homogenisering van een Optimaal Controleprobleem voor Nietlokale Semilineaire Elasticiteit met Zachte Insluitingen

1. Probleemformulering
Dit artikel onderzoekt de asymptotische analyse van een Optimaal Controleprobleem (OCP) gedefinieerd op een hoog-contrast elastisch medium dat zachte periodieke insluitingen bevat. Het fysieke domein $\Omega \subset \mathbb{R}^N$ is ontleed in een verbonden stijve matrixfase ($\Omega^2_\varepsilon$) en een zachte insluitingsfase ($\Omega^1_\varepsilon$). Het systeem wordt beheerst door een semilineaire elasticiteitsvergelijking met een nietlokale term, die materialen modelleert waarvan de mechanische respons afhangt van een globale maat van de amplitude van de deformatie (bijv. door de herverdeling van oplosmiddelen of middelveld-feedback).

De leidende toestandsvergelijking voor de verplaatsing $u_{\varepsilon\delta}$ is:
$$-\nabla \cdot \sigma_{\varepsilon\delta}(u_{\varepsilon\delta}) + \alpha \|u_{\varepsilon\delta}\|_{L^p(\Omega)}^p u_{\varepsilon\delta} = f(x) + \mathbb{1}_{\Omega^1_\varepsilon} \theta_\varepsilon \quad \text{in } \Omega,$$
onderworpen aan Dirichlet- en Neumann-randvoorwaarden. Hierbij is:

• $\varepsilon > 0$ de periodiciteitsschaal.
• $\delta > 0$ de contrastparameter, waarbij de stijfheid in de zachte fase schaalt als $\delta^2$ ten opzichte van de stijve fase (orde 1).
• $\theta_\varepsilon \in L^2(\Omega^1_\varepsilon)^N$ de gedistribueerde controle die uitsluitend binnen de zachte insluitingen optreedt.
• De nietlokale term $\alpha \|u\|_{L^p}^p u$ (met $p \ge 2$) koppelt alle ruimtelijke punten via de globale $L^2$-amplitude van de verplaatsing.

Het doel is om een gereduceerde kostenfunctional $j_{\varepsilon\delta}(\theta_\varepsilon)$ te minimaliseren, die de $L^2$-trackingfout van de verplaatsing balanceert tegen een gewenst profiel $u_d$ en een regularisatieterm voor de controle-energie:
$$j_{\varepsilon\delta}(\theta_\varepsilon) = \frac{1}{2} \int_\Omega |u_{\varepsilon\delta}(\theta_\varepsilon) - u_d|^2 dx + \frac{\gamma}{2} \int_{\Omega^1_\varepsilon} |\theta_\varepsilon|^2 dx.$$

De analyse richt zich op de limiet wanneer $(\varepsilon, \delta) \to (0, 0)$ onder het schalingregime waarbij de ratio $\kappa = \lim \delta/\varepsilon$ tot $(0, +\infty]$ behoort.

2. Methodologie
De auteurs maken gebruik van een combinatie van de periodieke unfolding operator en $\Gamma$-convergentie argumenten om de limiet-systemen af te leiden.

• Unfolding Operator: De periodieke unfolding operator $T_\varepsilon$ wordt gebruikt om de oscillerende domeinen en coëfficiënten te behandelen. Deze techniek maakt het mogelijk om macroscopische en microscopische schalen te scheiden, door integralen over $\Omega$ te transformeren naar integralen over $\Omega \times Y$ (waarbij $Y$ de eenheid periodieke cel is).
• Energie-decompositie en A Priori Schattingen: Vanwege de hoog-contrast aard (degeneratie van stijfheid in de zachte fase), falen standaard $H^1$-bounds. De auteurs introduceren een specifieke decompositie van het verplaatsingsveld in een macroscopisch deel en een microscopisch correctordeel (Lemma's 3.2–3.3). Dit maakt de afleiding van uniforme schattingen mogelijk die noodzakelijk zijn voor compactheid.
• Sterke Convergentie via Nietlokale Termen: Een cruciale methodologische uitdaging is het overgaan naar de limiet in de nietlokale semilineaire term $\alpha \|u\|_{L^p}^p u$. Zwakke convergentie is onvoldoende voor deze term. De auteurs vestigen de sterke $L^2$-convergentie van de unfolded toestandsvariabelen door de convergentie van de totale energie (via $\Gamma$-convergentie) en de strikte convexiteit van de energiefunctional te benutten.
• Adjoint Systeem Analyse: Om de optimale controle te karakteriseren, leiden de auteurs de adjoint-toestandsvergelijking af. Zij bewijzen de existentie van een unieke adjoint-toestand en stellen de asymptotische gedraging ervan vast, wat essentieel is voor het afleiden van de limiet optimaliteitsvoorwaarden.

3. Belangrijkste Bijdragen en Resultaten

• Afleiding van het Gehomogeniseerde Toestandsysteem:
  Het artikel leidt het limiet (gehomogeniseerde) toestandsysteem af dat geassocieerd is met de schaling $\delta/\varepsilon \to \kappa$. Het limiet systeem heeft een twee-schaal structuur:

  • Een macroscopische verplaatsing $u_0$.
  • Microscopische correctoren $\tilde{W}$ (geassocieerd met de zachte fase) en $\hat{U}$ (geassocieerd met de stijve fase).
  • De limiet energiefunctional $T_\kappa$ hangt expliciet af van de parameter $\kappa$.
  • In het specifieke geval $\kappa = +\infty$, ontkoppelt het systeem in een volledig schaal-gescheiden gehomogeniseerd systeem.
  • Het limietprobleem wordt gekarakteriseerd door een variatietische ongelijkheid waarbij de gehomogeniseerde stijfheidstensor $A^{hom}$ en de nietlokale term betrokken zijn, die werkt op het gecombineerde limietveld $u_0 + \frac{1}{\kappa}\tilde{W}$.

• Homogenisering van het Optimale Controleprobleem:
  De auteurs bewijzen dat de sequentie van microscopische optimale controles $\Theta_\varepsilon$ convergeert naar een optimale controle $\hat{\Theta}$ voor het limietprobleem.

  • Existentie en Uniciteit: Existentie van optimale controles voor zowel de microscopische als de limietproblemen wordt vastgesteld. Uniciteit wordt voor het limietprobleem gegarandeerd onder specifieke condities, hoewel de niet-convexiteit van de gereduceerde kostenfunctional (door de nietlineariteit) impliceert dat globale uniciteit voor het microscopische probleem in het algemeen niet gegarandeerd is.
  • Convergentie: Door gebruik te maken van de $\Gamma$-convergentie van de gereduceerde kostenfunctionalen en de sterke convergentie van de toestand en de adjoint-variabelen, wordt bewezen dat elk limietpunt van een sequentie van microscopische optimale controles een optimale controle is voor het limiet OCP.
  • Limiet Optimaliteitsvoorwaarden: De limiet optimale controle wordt expliciet gekarakteriseerd via de limiet adjoint-toestand: $\hat{\Theta} = -\frac{1}{\gamma} (v_0 + \frac{1}{\kappa}\hat{Z})$, waarbij $v_0$ en $\hat{Z}$ componenten zijn van de limiet adjoint-toestand.

• Omgang met Hoog-Contrast en Nietlokaliteit:
  Het werk adresseert de gelijktijdige moeilijkheid van hoog-contrast elasticiteit (waarbij de elastische energie degradeert in zachte fasen) en nietlokale semilineariteit. De auteurs demonstreren dat de nietlokale term sterke convergentie vereist, wat wordt bereikt via energie-convergentie-argumenten, wat het onderscheidt van de standaard lokale semilineaire homogenisering waar zwakke convergentie vaak volstaat.

4. Betekenis en Nieuwheid
Het artikel claimt significantie primair in de structuur van de nietlokale semilineariteit en de hoog-contrast setting.

• Nietlokale Operatorstructuur: In tegenstelling tot eerdere werken op OCP's met semilineaire vergelijkingen (bijv. die met lokale termen $S(u)$), gebruikt dit model een Hilbert-ruimte operator $u \mapsto \alpha \|u\|_{L^p}^p u$. Dit koppelt alle ruimtelijke punten globaal. De auteurs merken op dat deze structuur sterke $L^2$-convergentie (convergentie van normen) vereist in plaats van enkel zwakke convergentie, een vereiste die niet-triviaal is in hoog-contrast settings waar uniforme $H^1$-bounds doorgaans falen.
• Hoog-Contrast Elasticiteit: De analyse breidt de homogenisatietheorie uit naar optimale controleproblemen in de elasticiteit met zachte insluitingen, een regime waarin de elastische energie degradeert. Het artikel biedt een rigoureus kader voor het afleiden van limiet-systemen in dit regime, en laat zien hoe de parameter $\kappa$ het effectieve model beïnvloedt.
• Methodologische Rigor: Het werk combineert de indirecte methode (optimaliteitssystemen) met directe $\Gamma$-convergentie argumenten om de convergentie van de controle-naar-toestand kaart en de kostenfunctional te behandelen, waardoor wordt gewaarborgd dat de limiet van de optimale controles inderdaad optimaal is voor het limietprobleem.

Het artikel concludeert door de resultaten te organiseren in existentiebewijzen voor de toestand en de controle, a priori schattingen, de afleiding van de twee-schaal limiet-systemen, en de uiteindelijke convergentie van de OCP, waarmee een volledig wiskundig kader wordt geboden voor vorm/respons optimalisatie in dergelijke complexe metamaterialen.