Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

Technische Samenvatting: Oplosbaarheid van het Neumann-probleem voor elliptische vergelijkingen in Chord-Arc-domeinen met zeer grote stukken van goede superdomeinen

Probleemstelling
Het artikel behandelt de oplosbaarheid van het Neumann-probleem voor elliptische operatoren in divergentievorm, $L = -\text{div}(A\nabla)$, binnen begrensde chord-arc-domeinen $\Omega \subset \mathbb{R}^{n+1}$. De coëfficiënten van de matrix $A$ worden verondersteld de Dini Mean Oscillation (DMO) te hebben. De centrale uitdaging is het vaststellen van $L^p$-oplosbaarheid voor het Neumann-probleem, aangeduid als $(N_p)_L$, binnen $1 < p \le 2$.

Hoewel de oplosbaarheid van het Dirichlet-probleem $(D_p)_L$ en het regulariteitsprobleem $(R_p)_L$ in chord-arc-domeinen uitgebreid is bestudeerd en beslecht voor de Laplaciaan en bepaalde klassen operatoren (bijv. DKP-operatoren), blijft het Neumann-probleem aanzienlijk moeilijker. In tegen tegenstelling tot het Dirichlet-probleem beschikt het Neumann-probleem niet over een maximumprincipe dat de oplosbaarheid van subdomeinen naar het oorspronkelijke domein kan overdragen. Bovendien heeft de Neumann-functie geen definitief teken, wat het gebruik van technieken met positieve harmonische maat verhindert. De auteurs richten zich specifiek op de open vraag of $(N_p)_L$ oplosbaar is in chord-arc-domeinen, een probleem dat door Kenig en later door Toro werd gehighlight, met name in de context waar de rand een zwakke $p$-Poincaré-ongelijkheid ondersteunt.

Methodologie
De auteurs maken gebruik van een "good $\lambda$"-ongelijkheid argument gecombineerd met een bootstrapping-procedure en dualiteit. De methodologie steunt op verschillende cruciale technische componenten:

1. Duale formuleringen en ruwe Neumann-problemen: De auteurs introduceren varianten van het Neumann-probleem, waaronder het "ruwe Neumann-probleem" en $\rho$-gladde versies. Zij gebruiken dualiteitsargumenten om de oplosbaarheid van het Neumann-probleem $(N_p)_L$ te relateren aan de oplosbaarheid van een "ruw" Neumann-probleem voor de geadjungeerde operator $L^*$ in Lorentz-ruimten ($L^{p', \infty}$). Specifiek stellen zij vast dat $(N_p)_L$ oplosbaar is indien en slechts indien het ruwe Neumann-probleem $(N^R_{L^{p'}})_{L^*}$ oplosbaar is, mits het regulariteitsprobleem $(R_q)_L$ oplosbaar is voor een $q > p$.

2. Lokalisatie en superdomeinen: Een kerninnovatie is het gebruik van "zeer grote stukken" van superdomeinen. De auteurs nemen aan dat er voor elke bal $B(\xi, r)$ op de rand een "superdomein" $U_{\xi,r}$ bestaat (een $C^2$-chord-arc-domein) zodanig dat $\Omega \cap B(\xi, r) \subset U_{\xi,r}$. Cruciaal is dat het Neumann-probleem wordt verondersteld uniform oplosbaar te zijn in deze superdomeinen. De voorwaarde vereist dat het "slechte" deel van de rand, $\partial \Omega \setminus \partial U_{\xi,r}$, een kleine maat heeft ten opzichte van de bal (gecontroleerd door een parameter $\varepsilon$).

3. Good $\lambda$ Ongelijkheid en Interpolatie: Het bewijs van het hoofdbestanddeel van de stelling berust op het vaststellen van een schatting van de vorm:
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   Door $\varepsilon$ voldoende klein te kiezen, kan de term met de onbekende constante aan de rechterkant worden geabsorbeerd, wat een uniforme begrenzing oplevert. Deze schatting wordt afgeleid met behulp van een lokalisatielemma (Lemma 4.3) die de oplossing deelt in lokale en verre-veld delen, waarbij gebruik wordt gemaakt van de Neumann-functie en haar eigenschappen (Moser-schattingen, Hölder-continuïteit).

4. Benadering en Dichtheid: De auteurs gebruiken $\rho$-gladde benaderingen van de identiteit ($S_\rho$) om het gebrek aan gladheid in de randgegevens en de operatorcoëfficiënten op te vangen. Zij bewijzen dat de oplosbaarheid voor de gladde versies de oplosbaarheid voor de ruwe versies impliceert via dichtheidsargumenten en interpolatie tussen Lorentz-ruimten.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.1, die stelt:
Laat $\Omega \subset \mathbb{R}^{n+1}$ een begrensde $C^1$-chord-arc-domein zijn en $L \in \text{EDMO}(\mathbb{R}^{n+1})$. Laat $p \in (1, 2)$. Indien:

1. Het regulariteitsprobleem $(R_q)_L$ oplosbaar is in $\Omega$ voor een $q > p$;
2. $\partial \Omega$ een zwakke $p$-Poincaré-ongelijkheid ondersteunt;
3. $\Omega$ "zeer grote stukken" heeft van superdomeinen $U_{\xi,r}$ (specifiek $C^2$-chord-arc-domeinen) waarvoor het Neumann-probleem $(N_q)_L$ uniform oplosbaar is, en de maat van het verschil in de rand klein is ($\varepsilon$-klein);

Dan is het Neumann-probleem $(N_p)_L$ oplosbaar in $\Omega$.

Een specifieke corolarium (Corolarium 1.2) past dit toe op de Laplaciaan ($\Delta$). Het stelt dat indien $(R_q)_\Delta$ oplosbaar is in een $C^1$-chord-arc-domein en het domein zeer grote stukken van Lipschitz superdomeinen heeft met uniform oplosbare Neumann-problemen, dan $(N_p)_\Delta$ oplosbaar is.

Betekenis en Claims
Het artikel claimt dat Stelling 1.1 een nieuw resultaat is, zelfs voor de Laplaciaan. De auteurs merken op dat hoewel de oplosbaarheid van $(N_2)_\Delta$ in Lipschitz-domeinen een klassiek resultaat is (Jerison-Kenig), het uitbreiden hiervan naar $L^p$ voor $p \neq 2$ in ruwere domeinen (chord-arc) een openstaand probleem was.

De betekenis ligt in:

• Het overwinnen van het gebrek aan het Maximumprincipe: De auteurs bieden een methode om de oplosbaarheid van "goede" superdomeinen over te dragen naar het "ruwe" domein $\Omega$ zonder te vertrouwen op het maximumprincipe, dat niet beschikbaar is voor Neumann-problemen.
• Het adresseren van Kenigs Open Probleem: Het werk maakt vooruitgang in de vraag die door Kenig (1991) en Toro (2010) werd gesteld over het bestaan van een $p > 1$ waarvoor het Neumann-probleem oplosbaar is in chord-arc-domeinen.
• Dualiteit en Ruwe Neumann-problemen: Het artikel introduceert en gebruikt een "ruwe" Neumann-probleemformulering en de dualiteit daarvan met het regulariteitsprobleem, wat een nieuw perspectief biedt op de oplosbaarheid van randwaardeproblemen in niet-gladde settings.
• Optimaliteit van Voorwaarden: De auteurs erkennen dat hun bewijs de "zeer grote stukken"-voorwaarde (kleine $\varepsilon$) vereist om de fouttermen in de good $\lambda$-ongelijkheid te absorberen. Zij bespreken dat een iteratieve toepassing van hun stelling uiteindelijk een grotere $\varepsilon$ (dichter bij 1) zou kunnen toestaan, wat alle chord-arc-domeinen zou kunnen dekken, hoewel dit een potentieel struikelblok blijft vanwege de afhankelijkheid van constanten in het iteratieve proces.

Het artikel claimt niet dat het de Neumann-problematiek voor alle chord-arc-domeinen onvoorwaardelijk oplost, maar stelt de oplosbaarheid vast onder de specifieke geometrische conditie van het bezitten van "zeer grote stukken" van superdomeinen waarvoor het probleem reeds bekend is als oplosbaar. Het resultaat overbrugt de kloof tussen de oplosbaarheid in Lipschitz (of $C^2$) domeinen en de meer algemene chord-arc setting.