Singular semilinear elliptic equations in nondivergence form

Technische Samenvatting: Singuliere Semilineaire Elliptische Vergelijkingen in Niet-Divergentievorm

Probleemstelling
Dit artikel onderzoekt het bestaan en de uniciteit van oplossingen voor het singuliere semilineaire Dirichlet-probleem:
$$\begin{cases} -Pu = \frac{f}{u^\gamma} & \text{in } \Omega, \\ u \equiv 0 & \text{op } \partial\Omega, \end{cases}$$
waarbij $\Omega \subset \mathbb{R}^d$ ($d \geq 2$) een begrensd domein is, $f \in L^1(\Omega)$ niet-negatief en niet-triviaal is, en $\gamma > 0$. De operator $P$ is een differentiaaloperator van de tweede orde met uniforme ellipticiteit in niet-divergentievorm:
$$Pu(x) = \sum_{i,j=1}^d a_{ij}(x) \frac{\partial^2 u}{\partial x_i \partial x_j},$$
met een symmetrische matrix $A(x) = [a_{ij}(x)]$ die voldoet aan uniforme ellipticiteitsvoorwaarden. De singulariteit ontstaat uit de term $u^{-\gamma}$, die niet gedefinieerd is voor $u=0$. De randvoorwaarde wordt geïnterpreteerd in de zin van een verdwijnende trace nabij de rand: $\lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{\Omega_\epsilon} |u| = 0$, waarbij $\Omega_\epsilon = \{x \in \Omega : \delta_\Omega(x) < \epsilon\}$.

Methodologie en Technisch Kader
De auteurs hanteren een combinatie van benaderingstechnieken, niet-lineaire ongelijkheden en schattingen voor de Green-functie. De bewijzen onderscheiden twee begrippen van oplossingen, gebaseerd op de regulariteit van de coëfficiënten $A$ en de oplossing $u$:

1. Zwakke Oplossingen: Gedefinieerd voor $A \in C^1(\Omega)$, waarbij de vergelijking geldt in de zin van distributies met gebruik van de formulering $\langle -Pu, \phi \rangle = \int_\Omega (A\nabla u \cdot \nabla \phi + (\text{div} A \cdot \nabla u)\phi)$.
2. Distributie-oplossingen: Gedefinieerd voor $A \in C^2(\Omega)$, waarbij de vergelijking geldt via de geadjungeerde operator $P^*$: $\langle -Pu, \phi \rangle = -\int_\Omega u P^* \phi$.

Belangrijkste Bijdragen en Resultaten

1. Bestaan en Regulariteit (Stelling 1.1)
Onder de aannames dat $\Omega \in C^{1,1}$, $A \in C^1(\Omega)$, en een specifieke kleinheidsvoorwaarde geldt voor de driftterm $\text{div} A$ (ongelijkheid 1.5), bewijzen de auteurs het bestaan van een zwakke oplossing $u \in W^{1,1}_{\text{loc}}(\Omega) \cap L^1(\Omega)$.

• Regulariteit: De oplossing vertoont specifieke Sobolev-regulariteit afhankelijk van $\gamma$:
  • $u \in H^1_{\text{loc}}(\Omega)$ voor $\gamma \geq 2$.
  • $u \in H^1_{\text{loc}}(\Omega) \cap W^{1,q}_0(\Omega)$ voor $\gamma \in (1, 2)$ en $1 \leq q < 2/\gamma$.
  • $u \in H^1_0(\Omega)$ voor $\gamma = 1$.
  • $u \in W^{1,q}_0(\Omega)$ voor $\gamma \in (0, 1)$ met een specifieke exponent $q$.
  • Cruciaal is dat $u^{(\gamma+1)/2} \in H^1_0(\Omega)$ voor alle $\gamma > 0$.
• Positiviteit: De oplossing is strikt positief in $\Omega$ en voldoet aan het randgedrag $u \gtrsim \delta_\Omega$.

2. Uniciteit (Stelling 1.2)
Onder de aannames van hogere regulariteit ($\Omega \in C^2$ en $A \in C^2(\Omega)$) stellen de auteurs de uniciteit van distributie-oplossingen in $L^1(\Omega)$ vast. Dit resultaat geldt voor een bredere klasse van oplossingen dan die welke in het bestaanstheorema worden beschouwd, aangezien er niet a priori wordt aangenomen dat $u \in W^{1,1}_{\text{loc}}(\Omega)$.

Methodologische Innovaties
Het artikel benadrukt drie primaire technische verschillen ten opzichte van eerdere werken over operatoren in divergentievorm (bijvoorbeeld Boccardo en Orsina [6]):

• Niet-lineaire Gagliardo–Nirenberg Ongelijkheden: Het bewijs van bestaan maakt gebruik van recent afgeleide a priori-schattingen van de vorm $\int_\Omega \|\nabla u\|_A^2 u^{\gamma-1} \leq C \int_\Omega |Pu|u^\gamma$. Deze zijn aangepast vanuit [30] naar de niet-divergentie-context.
• Schattingen voor de Green-functie: Scherpe schattingen van de Green-functie $G_\Omega$ en haar geadjungeerde worden gebruikt om precieze vervaltempo's voor benaderende oplossingen af te leiden, wat essentieel is voor het vaststellen van de specifieke Sobolev-regulariteitsklassen.
• Kato-type Ongelijkheden: Een nieuwe Kato-type ongelijkheid voor sterke oplossingen in niet-divergentievorm wordt vastgesteld (Lemma 3.5) om de monotonie van de benaderende rij te bewijzen. Voor uniciteit wordt een Kato-type ongelijkheid voor zeer zwakke oplossingen afgeleid (Lemma 4.10), waarmee het gebrek aan regulariteit in de oplossingsruimte wordt overwonnen.

Betekenis en Reikwijdte
De auteurs positioneren dit werk als het meerdimensionale tegenhanger van de Emden–Fowler-vergelijking voor operatoren in niet-divergentievorm.

• Nieuwheid: Waar singuliere semilineaire vergelijkingen in divergentievorm goed bestudeerd zijn, behandelt dit artikel het geval waarbij $P$ in niet-divergentievorm is, een klasse operatoren die centraal staat in de theorie van stochastische processen en diffusiegeneratoren.
• Technische Prestatie: Het artikel demonstreert dat bestaan kan worden bewezen onder $C^1$-coëfficiënten voor de operator, terwijl uniciteit $C^2$-coëfficiënten vereist om de structuur van de geadjungeerde operator te hanteren en de klasse van testfuncties uit te breiden.
• Beperkingen en Open Problemen: De auteurs merken op dat de globale Sobolev-regulariteit voor $\gamma \in (1, 2)$ zoals vastgesteld in Stelling 1.1(b) momenteel niet bekend is voor operatoren in divergentievorm. Zij identificeren open problemen met betrekking tot algemene niet-lineariteiten $\tau(u)$, operatoren met minder regelmatige coëfficiënten, en niet-lokale operatoren (bijvoorbeeld fractionele Laplaciënen).

De bewijzen vertrouwen op het construeren van oplossingen via de Schauder-vaste puntstelling toegepast op geregulariseerde problemen, gevolgd door het nemen van de limiet met gebruikmaking van de monotonie van de rij en de afgeleide a priori-schattingen. Het bewijs van uniciteit houdt in dat de klasse van testfuncties wordt uitgebreid naar $C^{1,P}_0(\Omega)$ en gebruik wordt gemaakt van gewogen integreerbaarheid van de bronterm $f/u^\gamma$ met betrekking tot de afstandsfunctie $\delta_\Omega$.