Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

1. Probleemstelling en Context

Het artikel onderzoekt de variatieproblemen voor oppervlakken met een vrije rand (free-boundary) binnen een $(n+1)$-dimensionale cirkelvormige kegel $\Omega_\lambda$.

• Fysische achtergrond: Het probleem is gemodelleerd naar de vorming van een vloeistofvolume in een container zonder zwaartekracht, waarbij de energie wordt geminimaliseerd via een functionaal die de relatieve perimeter combineert met een term voor de interactie met de wand (adhesie). In dit specifieke geval wordt de relatieve perimeter ($\gamma=0$) bestudeerd.
• De geometrie: De container is een cirkelvormige kegel gedefinieerd als $\Omega_\lambda = \{(x, t) \in \mathbb{R}^{n+1} : t > \lambda \sqrt{x_1^2 + \dots + x_n^2}\}$, met een openingshoek $\alpha$ gerelateerd aan $\lambda$ via $\lambda = \cot(\alpha/2)$.
• De centrale vraag: Is de doorsnede van deze kegel met een axiale hypervlak (een vlak dat de as van de kegel bevat, bijvoorbeeld $x_1=0$) een oppervlakteminimerende configuratie (area-minimizing) onder vrije rand-variaties?
• Achtergrondkennis: Eerdere resultaten (zoals de "Vertex-skipping Theorem" van de auteur in samenwerking met G.P. Leonardi) suggereerden dat in convexe domeinen in $\mathbb{R}^3$ singulariteiten (zoals de top van de kegel) door minimizers worden "overgeslagen". Dit impliceerde dat axiale hypervlakken in kegelvormige domeinen instabiel zouden moeten zijn of dat de singulariteit niet tot de minimizer behoort.

2. Methodologie: Calibratie in Vrije-Rand Settings

De auteur gebruikt een verfijnde versie van de calibratiemethode, oorspronkelijk geïntroduceerd door Bombieri, De Giorgi en Giusti.

• Het principe: Om te bewijzen dat een oppervlak $E$ een minimizer is, construeert men een vectorveld $Z$ (de "calibratie") dat voldoet aan:
  1. $\text{div } Z = 0$ (divergentievrij).
  2. $|Z| \leq 1$ overal.
  3. $Z$ is gelijk aan de eenheidsnormaal op het oppervlak $E$ (hier $e_1$ op het axiale vlak).
• De aanpassing voor vrije rand: In tegenstelling tot de klassieke setting, moet dit vectorveld $Z$ ook raaklijn zijn aan de rand van het domein $\partial \Omega_\lambda$ (de kegelwand). Dit zorgt ervoor dat bij toepassing van de divergentiestelling op het verschil tussen een concurrent $F$ en de kandidaat $E$, de bijdrage van de randintegraal verdwijnt.
• Constructiestrategie:
  1. Op de kegelwand: Eerst wordt een calibratie $Y$ geconstrueerd op de $(n-1)$-dimensionale oppervlakte $S_\lambda$ (de wand van de kegel) die het axiale snijvlak kalibreert. Dit vereist het oplossen van een differentiaalongelijkheid.
  2. Uitbreiding naar het binnenste: Vervolgens wordt $Y$ verticaal geprojecteerd naar het binnenste van de kegel $\Omega_\lambda$ om het vectorveld $Z$ te verkrijgen. Een cruciaal technisch resultaat is dat deze constructie, dankzij de specifieke metriek van de kegel, behoudt dat het veld divergentievrij blijft.

3. Belangrijkste Resultaten

Het artikel levert een scherp wiskundig bewijs voor de volgende stelling:

Stelling 1.1 (Hoofdstelling):
Voor dimensies $n \geq 4$ bestaat er een drempelwaarde $\bar{\lambda}(n)$ gedefinieerd als:
$$\bar{\lambda}(n) = \frac{1}{2} \sqrt{\frac{n-3}{n-2}}$$
Als de parameter $\lambda$ voldoet aan $0 < \lambda \leq \bar{\lambda}(n)$ (wat overeenkomt met een voldoende brede kegel, d.w.z. een grote openingshoek $\alpha$), dan is het axiale hypervlak $H_\lambda$ een oppervlakteminimizer voor de relatieve perimeter binnen de kegel.

• Dimensionale kloof: Het resultaat geldt strikt voor $n \geq 4$. Voor $n=3$ is het axiale vlak wel stabiel (zoals eerder bewezen), maar kan de auteur de minimaliteit niet garanderen via deze methode. De differentiaalongelijkheid die nodig is voor de constructie van de calibratie heeft geen oplossing voor $n=3$ onder de gegeven voorwaarden.
• Gevolg voor singulariteiten: Omdat het axiale vlak de top van de kegel (de oorsprong) bevat, en dit vlak een minimizer is, betekent dit dat de minimizer wel de singulariteit (de "vertex") van de rand van het domein bevat.

4. Significatie en Implicaties

De bevindingen van dit artikel hebben aanzienlijke gevolgen voor de theorie van vrije randen en regelmaat van oppervlakken in niet-gladde domeinen:

1. Tegenvoorbeeld voor de "Vertex-skipping Theorem":
   De auteur weerlegt de geldigheid van de eerder bewezen "Vertex-skipping Theorem" (die stelt dat minimizers geïsoleerde singulariteiten van de rand van het domein vermijden) voor dimensies $n \geq 4$. In hoge dimensies kunnen minimizers dus wel degelijk de hoekpunten van de container bevatten, mits de kegel breed genoeg is.

2. Scherpte van regelmaatsschattingen:
   Het resultaat suggereert dat de bovengrens voor de Hausdorff-dimensie van de singuliere set $\Sigma$ van de vrije rand, zoals vastgesteld in eerdere werken (bijv. Edelen en Li), niet verder kan worden verbeterd dan $n-4$.

   • In het geval $n=4$ en een brede kegel, is de doorsnede met de wand enkel de oorsprong $\{0\}$. Dit betekent dat $0$ een singulier punt is van de vrije rand binnen de wand. Dit bevestigt dat de schatting $\dim_H(\Sigma \cap \partial \Omega) \leq n-3$ (uit eerdere theorie) niet kan worden verscherpt naar $n-4$ of lager in het algemeen geval van niet-polyedrische domeinen.

3. Technische doorbraak:
   Het artikel demonstreert een succesvolle adaptatie van de calibratiemethode voor vrije randproblemen in niet-gladde, niet-polyedrische domeinen (cirkelvormige kegels), wat een belangrijke stap is in het begrijpen van de regelmaat van oppervlakken in complexe geometrieën.

Conclusie:
Vianello bewijst dat in hoge dimensies ($n \geq 4$) brede cirkelvormige kegels axiale hypervlakken toelaten als area-minimizers. Dit vormt een fundamenteel tegenvoorbeeld voor de hypothese dat minimizers in convexe domeinen altijd de singulariteiten van de rand vermijden, en markeert een scherpe overgang in het gedrag van vrije randen afhankelijk van de dimensie en de geometrie van het domein.