Non-convexity of level sets for solutions to $k$-Hessian equations in exterior domains

Titel

Niet-convexiteit van niveauverzamelingen voor oplossingen van k-Hessiaanse vergelijkingen in exterior domeinen.

1. Probleemstelling en Context

Het artikel onderzoekt de quasi-convexiteit van oplossingen $u$ aan de exterior Dirichlet-problemen voor k-Hessiaanse vergelijkingen in de ruimte $\mathbb{R}^n \setminus \bar{\Omega}_0$, waarbij $\Omega_0$ een begrensd, strikt convex domein is. De vergelijking is gegeven door:
$$\begin{cases} S_k(D^2u) = 1 & \text{in } \mathbb{R}^n \setminus \bar{\Omega}_0, \\ u = 0 & \text{op } \partial\Omega_0, \end{cases}$$
met een voorgeschreven asymptotisch gedrag op oneindig dat kwadratische groei vertoont:
$$\lim_{|x|\to\infty} \left( u(x) - \left( \frac{1}{2}x^T Ax + b \cdot x + c \right) \right) = 0,$$
waarbij $A$ een positief definiete matrix is met $S_k(A)=1$.

De operator $S_k(D^2u)$ is de $k$-de elementaire symmetrische functie van de eigenwaarden van de Hessiaan $D^2u$.

• Voor $k=1$ is dit de Laplace-operator ($\Delta u = 1$).
• Voor $k=n$ is dit de Monge-Ampère-operator ($\det(D^2u) = 1$).

Een oplossing wordt quasi-convex genoemd als alle sub-niveauverzamelingen $\{x : u(x) \le t\}$ convex zijn. De auteurs stellen de volgende centrale vraag:

Zijn voor $1 \le k \le n-1$ alle $k$-convexe oplossingen die voldoen aan de kwadratische groei voorwaarde, noodzakelijkerwijs quasi-convex?

Voor $k=n$ (Monge-Ampère) is het antwoord ja, omdat lokale convexiteit volgt uit de vergelijking. Voor $k=1$ (harmonische functies met afname naar 0) is bekend dat de super-niveauverzamelingen convex zijn (Lewis, Kawohl). De vraag blijft echter open voor $1 < k < n$ en voor het specifieke geval van kwadratische groei in exterior domeinen.

2. Methodologie

De auteurs gebruiken een combinatie van analytische technieken, variatiële methoden en meetkunde om hun resultaten te bewijzen.

A. Constructie van Tegenvoorbeelden (Hoofdstuk 2-4)

Om te bewijzen dat quasi-convexiteit niet gegarandeerd is voor $1 \le k \le n/2$, construeren de auteurs expliciete tegenvoorbeelden.

1. Approximatie in Convex Rings: Ze beginnen met een benaderingsprobleem in een begrensd, niet-concentrisch convex ringdomein $\Omega_R^\varepsilon = E_R(0) \setminus \bar{B}_\varepsilon(x_0)$, waarbij $E_R$ een ellipsoïde is en $B_\varepsilon$ een kleine bol.
2. Uniforme Schattingen: Ze bewijzen uniforme $C^0$, $C^1$ en $C^2$-schattingen voor de oplossingen $u_{\varepsilon, R}$, ongeacht de grootte van $R$ en de straal $\varepsilon$. Dit omvat het gebruik van barrière-functies en de vergelijkingseigenschappen van de $k$-Hessiaanse operator.
3. Grensovergang: Ze laten eerst $R \to \infty$ (exterior domein) en vervolgens $\varepsilon \to 0$ (samenklontering van de binnenrand). Voor de limiet $\varepsilon \to 0$ maken ze gebruik van de theorie van k-Hessiaanse maten (gebaseerd op werk van Guan, Trudinger, Wang en anderen) om de convergentie van de oplossingen naar een kwadratisch polynoom plus een constante te analyseren, zelfs in de buurt van de singulariteit $x_0$.
4. Contradictie Argument: Ze tonen aan dat voor een voldoende kleine straal $\varepsilon$ en een geschikte keuze van het centrum $x_0$ (niet in de oorsprong), de sub-niveauverzamelingen van de oplossing niet convex zijn. Dit wordt gedaan door aan te tonen dat als de verzamelingen convex zouden zijn, dit zou leiden tot een contradictie met de asymptotische waarden van de oplossing op specifieke punten.

B. Nieuw Bewijs voor Harmonische Functies (Hoofdstuk 5)

Voor het geval $k=1$ (Laplace-vergelijking) met afname naar 0 op oneindig, geven de auteurs een nieuw, microscopisch bewijs voor de quasi-convexiteit (eigenlijk quasi-concaviteit voor de super-niveauverzamelingen).

• Ze gebruiken een continu deformatiemethode waarbij het domein $\Omega_t$ wordt gevarieerd van een kleine bol naar het gegeven domein $\Omega_1$.
• Ze analyseren het asymptotisch gedrag van de Gaussische kromming $K(x)$ van de niveauverzamelingen op oneindig. Ze tonen aan dat $K(x) \sim |x|^{1-n}$.
• Ze combineren dit met een superharmonische eigenschap van een functie die afhangt van de kromming en de gradiënt (gebaseerd op werk van Ma en Zhang), en passen het maximumprincipe toe om te bewijzen dat de kromming nooit nul kan worden, wat de convexiteit van de niveauverzamelingen garandeert.

3. Belangrijkste Resultaten

Theorema 1.3 (Hoofdpunt voor $k \ge 2$)

Voor $n \ge 3$ en $2 \le k \le n/2$:
Voor elke gegeven symmetrische positief definiete matrix $A$ (met $S_k(A)=1$) en vector $b$, bestaan er oneindig veel gladde, strikt convexe domeinen $\Omega_0$ en een constante $c^*$, zodanig dat voor elke $c \ge c^*$, de oplossing aan het exterior probleem niet quasi-convex is.

• Dit betekent dat de convexiteit van het domein $\Omega_0$ niet automatisch wordt overgenomen door de sub-niveauverzamelingen van de oplossing voor deze klasse van vergelijkingen.

Theorema 1.4 (Specifiek geval $k=1$)

Voor $k=1$ (Laplace-vergelijking) met kwadratische groei:
Als de maximale eigenwaarde van $A$ voldoet aan $\lambda_{\max}(A) < 1/2$, dan bestaan er ook domeinen $\Omega_0$ waarvoor de oplossing niet quasi-convex is.

• Dit is een verrassend resultaat, aangezien voor het klassieke geval van harmonische functies die naar 0 gaan (Theorema 1.6), quasi-convexiteit wel geldt. De kwadratische groei verandert de geometrische structuur van de oplossing fundamenteel.

Theorema 1.6 (Nieuw bewijs voor klassiek resultaat)

Voor de Laplace-vergelijking $\Delta u = 0$ in een exterior domein met $u=1$ op de rand en $u \to 0$ op oneindig:
De oplossing is quasi-concave (super-niveauverzamelingen zijn convex). De auteurs leveren hier een nieuw, microscopisch bewijs voor door gebruik te maken van de asymptotische expansie van de Gaussische kromming en superharmonische eigenschappen.

4. Significatie en Bijdrage

1. Negatief Antwoord op een Open Vraag: Het artikel beantwoordt de vraag of $k$-convexe oplossingen in exterior domeinen altijd quasi-convex zijn, negatief. Dit is een fundamentele doorbraak, aangezien veel positieve resultaten in de literatuur (voor $k=n$ of in begrensde ringen) suggereerden dat convexiteit een robuust kenmerk zou zijn.
2. Sensitiviteit van Domein: De resultaten tonen aan dat de quasi-convexiteit van oplossingen extreem gevoelig is voor kleine vervormingen van het domein en de keuze van de asymptotische parameters. Zelfs voor een perfect bolvormig $\Omega_0$, als het niet concentrisch is met de "asymptotische ellipsoïde" bepaald door $A$, kan convexiteit verloren gaan.
3. Technische Innovatie:
   • De toepassing van k-Hessiaanse maten om de singulariteit in de limiet $\varepsilon \to 0$ te behandelen, is een krachtige techniek die hier succesvol wordt toegepast op exterior problemen.
   • Het nieuwe microscopische bewijs voor het klassieke resultaat van Lewis/Kawohl biedt een dieper inzicht in de relatie tussen de kromming van niveauverzamelingen en de vergelijking zelf.
4. Vergelijking met Bestaande Literatuur: Het werk vult een gat in de literatuur door negatieve resultaten te presenteren voor volledig niet-lineaire vergelijkingen in exterior domeinen, terwijl eerdere tegenvoorbeelden voornamelijk beperkt waren tot begrensde ringen of semi-lineaire vergelijkingen.

Conclusie

De auteurs bewijzen dat voor $k$-Hessiaanse vergelijkingen ($1 \le k \le n/2$) in exterior domeinen met kwadratische groei, de intuïtie dat convexiteit van het domein leidt tot convexiteit van de niveauverzamelingen van de oplossing, niet altijd opgaat. Ze construeren expliciete tegenvoorbeelden en tonen aan dat de geometrie van de oplossing complexer is dan eerder gedacht. Tegelijkertijd bevestigen en herformuleren ze de klassieke convexiteitsresultaten voor harmonische functies met afname naar 0 via een nieuwe meetkundige benadering.