Technische Samenvatting: $\Gamma$-convergentie van het niet-lokale Massari-functionaal en toepassingen op inhomogene Allen-Cahn-vergelijkingen

1. Probleemstelling en Context

Dit artikel onderzoekt het asymptotische gedrag van niet-lokale variatieproblemen geassocieerd met verzamelingen met voorgeschreven kromming, specifiek het niet-lokale Massari-probleem, en hun connectie met inhomogene fractionele Allen-Cahn-vergelijkingen.

Het klassieke Massari-probleem, geformuleerd door Massari in de jaren 1970, biedt een variatieve definitie voor verzamelingen met gemiddelde kromming $H \in L^1(\Omega)$, waarbij $H$ sommeerbaar is maar niet noodzakelijk continu. Het functionaal wordt gedefinieerd als:
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
waarbij $\text{Per}$ de variatieve omtrek aanduidt.

De auteurs breiden dit kader uit naar het fractionele kader (parameter $s \in (0,1)$), waarbij de omtrek wordt vervangen door de $s$-omtrek (een niet-lokaal interactieterm). Het niet-lokale Massari-functionaal wordt gegeven door:
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
Het primaire doel is om de limiet van deze functionalen te analyseren wanneer de fractionele parameter $s \to (1/2)^-$ en om het asymptotische gedrag van oplossingen van verstoord fractionele Allen-Cahn-vergelijkingen onder massabeperkingen te bestuderen. Een centrale uitdaging die wordt aangepakt, is het ontstaan van een nieuw geometrisch object, de "niet-lokale hybride gemiddelde kromming", die ontstaat wanneer massabeperkingen worden opgelegd aan niet-lokale faseovergangen.

2. Methodologie

Het artikel maakt gebruik van de theorie van $\Gamma$-convergentie (geïntroduceerd door De Giorgi) om het limietgedrag van de functionalen en de stabiliteit van hun minimaliseerders vast te stellen. De methodologie omvat:

• Herschaling en Limietanalyse: Het analyseren van het niet-lokale Massari-functionaal als $s \to (1/2)^-$. De auteurs maken gebruik van een specifieke schaalfactor $(1-2s)$ om het klassieke Massari-functionaal te herstellen.
• Verstoorde Energiefunctionalen: Het introduceren van een "gedwongen" niet-lokaal Allen-Cahn-energiefunctionaal met een sterk oscillerende dwingterm $g_\varepsilon(x) = g(x/\varepsilon)$. De energie wordt herschaald afhankelijk van het regime van $s$:
  • $s \in (0, 1/2)$: Geschaald met $\varepsilon^{-2s}$.
  • $s = 1/2$: Geschaald met $|\varepsilon \log \varepsilon|^{-1}$.
  • $s \in (1/2, 1)$: Geschaald met $\varepsilon^{-1}$.
• Massabeperkingen: Het onderzoeken van het minimaliseringsprobleem onder een vaste massabeperking $\int_\Omega u \, dx = m$. Dit vereist het construeren van specifieke herstelreeksen die voldoen aan de massabeperking terwijl ze convergeren naar het limietfunctionaal, met name in het regime $s \in [1/2, 1)$ waar bestaande literatuur (bijv. [29]) niet direct van toepassing is vanwege het ontbreken van Dirichlet-randvoorwaarden.
• Analyse van Extern Gedrag: Het afleiden van het gedrag van oplossingen buiten het domein $\Omega$. In tegenstelling tot klassieke problemen waarbij oplossingen vaak worden verondersteld karakteristieke functies te zijn over de gehele ruimte, dwingt de massabeperking in het niet-lokale kader een specifieke niet-lokale Neumann-randvoorwaarde aan de buitenzijde af, wat leidt tot oplossingen die niet noodzakelijk stuksgewijs constant zijn buiten $\Omega$.
• Verfijning van Convergentie van Kritieke Punten: Het aanpassen van resultaten uit [24] met betrekking tot de convergentie van kritieke punten van fractionele Allen-Cahn-vergelijkingen. De auteurs verfijnen deze resultaten om gevallen te behandelen waarbij de oplossing niet globaal $C^{0,1}$-regulier is, wat een gevolg is van de massabeperking.

3. Belangrijkste Bijdragen en Resultaten

3.1 $\Gamma$-convergentie van het Niet-lokale Massari-probleem

Stelling 2.3 stelt vast dat het behoorlijk herschaalde niet-lokale Massari-functionaal $\Gamma$-convergeert naar het klassieke Massari-functionaal als $s \to (1/2)^-$.
Stelling 2.4 bewijst de limietstabiliteit van minimaliseerders: als een rij verzamelingen $\{E_j\}$ lokale minimaliseerders zijn voor de niet-lokale functionalen $J^{H_j}_{s_j, \Omega}$ en convergeren naar $E$, dan is $E$ een lokale minimaliseerder voor het klassieke functionaal $J^H_\Omega$. Bovendien convergeert de energie van de rij naar de energie van de limietverzameling.

3.2 Inhomogene Allen-Cahn-vergelijkingen

Het artikel generaliseert de $\Gamma$-convergentieresultaten van [29] om een macroscopische dwingterm $H$ op te nemen.
Stelling 2.7 bewijst dat het verstoorde fractionele Allen-Cahn-energiefunctionaal $\Gamma$-convergeert naar een limietfunctionaal dat de niet-lokale (of klassieke, afhankelijk van $s$) omtrek en de dwingterm omvat.
Stelling 2.8 stelt de stabiliteit van minimaliseerders voor deze verstoorde energie vast.

• Voor $s \in (0, 1/2)$ voldoet de limietminimaliseerder aan het niet-lokale Massari-probleem met externe data bepaald door de zwak*-limiet van de rij buiten $\Omega$.
• Voor $s \in [1/2, 1)$ komt de limietminimaliseerder overeen met een verzameling met klassieke gemiddelde kromming $H/c_\star$.

3.3 Problemen met Voorgeschreven Massa en Niet-lokale Hybride Gemiddelde Kromming

Een significant deel van het werk behandelt het Allen-Cahn-probleem met voorgeschreven massa.

• Stelling 2.10 & 2.11: Bewijzen $\Gamma$-convergentie en uniforme energiebounden voor minimaliseerders onder een massabeperking. De constructie van de herstelreeks voor $s \in [1/2, 1)$ is een nieuwe bijdrage, aangezien deze vereist dat de standaardreeks wordt verstoord om aan de massavoorwaarde te voldoen zonder de energiebounden te schenden.
• Stelling 2.12: Toont aan dat oplossingen van het probleem met massabeperking voldoen aan een niet-lokale Neumann-externe voorwaarde (Vergelijking 2.19). Dit impliceert dat de oplossing buiten $\Omega$ wordt bepaald door een integraalgemiddelde van de oplossing binnen $\Omega$, en cruciaal, dat de oplossing geen getekende karakteristieke functie is ($|u| \neq 1$) buiten $\Omega$.
• Stelling 2.14 & 2.15: Analyseren de convergentie van de Lagrange-multiplicatoren geassocieerd met de massabeperking en de convergentie van de totale energie.
• Stelling 2.18 & 2.20: Introduceer en karakteriseren de niet-lokale hybride gemiddelde kromming.
  • Definitie 2.17: Definieert de niet-lokale hybride gemiddelde kromming van een koppel $(E, g)$, waarbij $E$ een verzameling is binnen $\Omega$ en $g$ een functie buiten $\Omega$.
  • Resultaat: De limietconfiguratie van het probleem met massabeperking bestaat uit een verzameling $E$ binnen $\Omega$ en een functie $u|_{\Omega^c}$ buiten. Het interface wordt gekarakteriseerd door de constantie van de niet-lokale hybride gemiddelde kromming.
  • Regulariteit: Het artikel merkt op dat hoewel de limietoplossing continu is over $\partial \Omega$ ($C^0$), deze over het algemeen niet $C^1$ is over de grens, wat deze onderscheidt van $s$-minimale grafieken die óf discontinu óf $C^1$ zijn.

3.4 Technische Verfijningen

• Bijlage A: Demonstreert dat het voorschrijven van zowel Dirichlet-randvoorwaarden als een massabeperking leidt tot een overbepaald probleem zonder oplossingen, wat het gebruik van niet-lokale Neumann-voorwaarden rechtvaardigt.
• Bijlage B: Breidt de $\Gamma$-convergentieresultaten uit van de ruimte van functies begrensd door 1 naar de ruimte $X_M$ (functies begrensd door $M$), zodat de resultaten gelden voor de bredere klasse van functies die in de belangrijkste stellingen wordt beschouwd.

4. Betekenis en Beweringen

Het artikel claimt een rigoureuze asymptotische analyse te bieden van niet-lokale faseovergangen met voorgeschreven gemiddelde kromming en massabeperkingen. De betekenis ligt in:

1. Brug tussen Niet-lokale en Klassieke Geometrische Problemen: Het verbindt formeel het fractionele Massari-probleem met het klassieke probleem als $s \to 1/2$, waarbij minimaliseerders en energiebounden behouden blijven.
2. Nieuw Geometrisch Object: De identificatie van de "niet-lokale hybride gemiddelde kromming" wordt gepresenteerd als een nieuw geometrisch object. In tegenstelling tot klassieke massabeperkte faseovergangen die convergeren naar verzamelingen met constante gemiddelde kromming, levert het niet-lokale kader een limietconfiguratie op die wordt gedefinieerd door een koppel (verzameling binnen, functie buiten) met constante hybride gemiddelde kromming.
3. Omgaan met Massabeperkingen in Niet-lokale Kaders: Het artikel adresseert een gat in de literatuur met betrekking tot de constructie van herstelreeksen voor problemen met massabeperkingen wanneer $s \in [1/2, 1)$, waarbij niet-lokale bijdragen localiseren.
4. Gedrag aan de Rand: Het benadrukt een onderscheidend randgedrag voor massabeperkte niet-lokale interfaces ($C^0$ maar niet $C^1$), in contrast met bekende resultaten voor $s$-minimale grafieken.

De auteurs stellen dat de verbetering in de convergentieresultaten voor kritieke punten (Stelling 2.18) van onafhankelijk belang is, aangezien het aannames over globale regulariteit versoepelt die eerder in vergelijkbare contexten vereist waren (bijv. [24]). Het werk wordt gepresenteerd als een fundamentele stap in het begrijpen van de wisselwerking tussen niet-lokale interacties, massabeperkingen en geometrische variatieproblemen.