Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents

1. Het Onderzoeksvraagstuk

Het artikel onderzoekt een klasse van p-obstakelproblemen met variabele coëfficiënten en niet-lineaire termen met subkritieke exponenten. Het centrale probleem wordt beschreven door de volgende partiële differentiaalvergelijking (PDE) in een glad, begrensd domein $\Omega \subset \mathbb{R}^N$ ($N \geq 2$):

$$\begin{cases} \text{div}\left(a(x)|\nabla u|^{p-2}\nabla u\right) = m_1\chi_{\{u>0\}} - m_2 u^{\lambda-1}\chi_{\{u>0\}} & \text{in } \Omega, \\ u \geq 0 & \text{in } \Omega, \\ u \in W^{1,p}_0(\Omega), \end{cases}$$

waarbij:

• $a(x) \in C^2(\Omega)$ een positieve coëfficiënt is met een positieve ondergrens.
• $m_1, m_2 > 0$ constanten zijn.
• $\chi_{\{u>0\}}$ de karakteristieke functie is van de verzameling waar $u$ positief is.
• De exponent $\lambda$ voldoet aan de subkritieke voorwaarde: $2 \leq p < \lambda < p^*$ (waarbij $p^* = \frac{Np}{N-p}$ voor $N \geq 3$ en $p < N$, of $\lambda < \infty$ voor $N=2$).

Het doel is om de reguliere eigenschappen van de zwakke oplossing $u$ te analyseren en specifiek de meetkundige eigenschappen van de vrij rand (free boundary) $\Upsilon_+ := \partial\{u > 0\} \cap \Omega$ te bestuderen, met name de porositeit en de $(N-1)$-dimensionale Hausdorff-maat.

2. Methodologie

De auteurs hanteren een combinatie van variatiële methoden, iteratietechnieken en schattingsmethoden:

• Penalisatiemethode en Bergpas-Lemma (Mountain-Pass Lemma):
  Omdat de koppeling van de superlineaire term $u^{\lambda-1}$ en de karakteristieke functie de coerciviteit van de bijbehorende energiefunctionaal vernietigt, kunnen standaard minimaliseringsargumenten niet worden gebruikt. De auteurs introduceren een gepenaliseerde benadering met een gladde functie $\chi_\varepsilon$ die de Heaviside-functie benadert. Ze gebruiken het Bergpas-lemma om het bestaan van niet-triviale kritieke punten (oplossingen) voor het gepenaliseerde probleem te bewijzen.
• De Giorgi-Nash Iteratie:
  Om de $L^\infty$-begrenzing en lokale $C^{1,\alpha}$-continuïteit van de oplossingen te bewijzen, worden iteratietechnieken van De Giorgi-Nash toegepast. Dit omvat het gebruik van Caccioppoli-ongelijkheden en Sobolev-inbeddingen.
• Optimale Groei en Niet-Degegeneratie:
  Om de eigenschappen van de vrij rand te analyseren, bewijzen de auteurs dat de oplossing optimaal groeit in de buurt van de vrij rand en dat deze niet-degenererend is (d.w.z. dat de oplossing niet "te snel" naar nul gaat). Dit wordt gedaan via vergelijking met geschikte testfuncties en het gebruik van het maximumprincipe.
• Maattheoretische Schattingen:
  Voor de schatting van de Hausdorff-maat gebruiken de auteurs een techniek die gebaseerd is op het analyseren van het niveau van de gradiënt. Ze definiëren verzamelingen waar de gradiënt klein is en gebruiken een "sweep-out" argument (integratie over schalen) om de maat van deze verzamelingen te beperken.

3. Belangrijkste Bijdragen en Resultaten

A. Bestaan en Regulariteit van Oplossingen

• Bestaan: Er wordt bewezen dat er ten minste één niet-negatieve zwakke oplossing bestaat voor het obstakelprobleem (1).
• Uniforme Begrenzing: Alle zwakke oplossingen zijn uniform begrensd in de $L^\infty$-norm ($\|u\|_{L^\infty} \leq C$).
• Hölder-continuïteit: De oplossingen behoren tot de ruimte $C^{0,\alpha}_{loc}(\Omega)$.
• Gradient Regulariteit: Een cruciaal resultaat is dat de oplossingen lokaal $C^{1,\alpha}$-continu zijn. Dit betekent dat de gradiënt $\nabla u$ continu is, wat essentieel is voor de analyse van de vrij rand.

2. Eigenschappen van de Vrij Rand

• Optimale Groei: In de buurt van een punt op de vrij rand $y \in \Upsilon_+$ geldt dat $|u(x)| \leq C|x-y|^{\frac{p}{p-1}}$ en $|\nabla u(x)| \leq C|x-y|^{\frac{1}{p-1}}$.
• Niet-Degegeneratie: Er bestaat een constante $C_2$ zodat $\sup_{\partial B_r(y) \cap \{u>0\}} u \geq C_2 r^{\frac{p}{p-1}}$. Dit garandeert dat de oplossing niet triviaal is in de buurt van de vrij rand.
• Lokale Porositeit: Op basis van de bovenstaande groei- en niet-degeneratie-eigenschappen wordt bewezen dat de vrij rand lokaal poros is. Dit betekent dat er in elke bol rond een punt op de vrij rand een kleinere bol bestaat die volledig in het complement van de vrij rand ligt. Porositeit impliceert dat de Hausdorff-dimensie van de vrij rand strikt kleiner is dan $N$.

3. Hausdorff-maat van de Vrij Rand

• Het belangrijkste resultaat is dat voor ten minste één oplossing de vrij rand een lokaal eindige $(N-1)$-dimensionale Hausdorff-maat heeft.
• Dit wordt bewezen door de maat van de verzameling te schatten waar de gradiënt van de oplossing klein is (nabij de vrij rand). Door gebruik te maken van de relatie tussen de niet-lineariteit en de Hessian (tweedegraads afgeleide) van de oplossing, tonen de auteurs aan dat de maat van de vrij rand voldoet aan:
  $$\mathcal{H}^{N-1}(B_r(x_0) \cap \Upsilon_+) \leq C r^{N-1}$$
  voor een voldoende kleine straal $r$.

4. Significatie en Impact

Dit werk breidt bestaande literatuur aanzienlijk uit op de volgende punten:

1. Generalisatie van Operators: Waar eerdere werken (zoals [18]) zich beperkten tot de Laplace-operator ($p=2$) met constante coëfficiënten, behandelt dit artikel de $p$-Laplace operator met variabele coëfficiënten $a(x)$. Dit introduceert aanzienlijke technische complexiteit.
2. Subkritieke Exponenten: Het probleem omvat een niet-lineaire term met een subkritieke exponent $\lambda$, wat de analyse van de energiefunctionaal en de compactheid vereist.
3. Unieke Resultaten voor Variabele Coëfficiënten: Het is een van de eerste werken dat de porositeit en de eindige Hausdorff-maat van de vrij rand bewijst voor $p$-obstakelproblemen met variabele coëfficiënten en algemene subkritieke termen.
4. Methodologische Vooruitgang: De combinatie van de penalisatiemethode, bergpas-lemma en verfijnde maattheoretische argumenten biedt een robuust raamwerk voor het analyseren van complexe vrij-randproblemen die niet via directe minimalisatie oplosbaar zijn.

Samenvattend biedt dit artikel een volledig theoretisch fundament voor het bestaan, de regulariteit en de meetkundige structuur van de vrij rand bij een breed scala aan niet-lineaire obstakelproblemen, wat relevant is voor diverse fysische en variatiële modellen.