On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

Technische Samenvatting: Over een noodzakelijke voorwaarde voor het verwijderen van singulariteiten van oplossingen van nietlineaire elliptische ongelijkheden

Probleemstelling
Het artikel onderzoekt de verwijderbaarheid van singulariteiten voor oplossingen van nietlineaire elliptische differentiaalongelijkheden van de vorm:
$$\Delta^{m/2} u \geq f(x)g(u)$$
gedefinieerd in de gepuncteerde eenheidsbal $B_1 \setminus \{0\} \subset \mathbb{R}^n$ ($n \geq 2$), waarbij $m \geq 2$ een even integer is. De functies $f$ en $g$ voldoen aan specifieke regulariteits- en groeicondities: $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ en $g: [0, \infty) \to [0, \infty)$ is niet-afnemend met $g(0)=0$ en $g(\zeta) > 0$ voor $\zeta > 0$.

Een singulariteit in de oorsprong wordt gedefinieerd als verwijderbaar als de oplossing $u$ en de term $f(x)g(|u|)$ tot $L^1(B_1)$ behoren, waardoor de ongelijkheid in de distributionele zin over de gehele bal $B_1$ kan gelden. Het centrale doel is om een noodzakelijke voorwaarde op de nietlineariteit $g$ vast te stellen zodat elke oplossing van de ongelijkheid een verwijderbare singulariteit bij nul bezit.

Methodologie
De auteurs hanteren een constructieve benadering om te bewijzen dat indien een specifieke integraalconditie op $g$ faalt, er een niet-verwijderbare singulariteit moet bestaan. De methodologie verloopt als vol als volgt:

1. Reductie naar Radiale ODE's: Het probleem wordt gereduceerd van een partiële differentiaalongelijkheid naar een radiale ordinaire differentiaalongelijkheid. Door gebruik te maken van de eigenschappen van de Laplaciaan in poolcoördinaten, construeren de auteurs een radiale oplossing $u(x) = w(|x|)$ die de ongelijkheid bevredigt indien $w$ een gerelateerde radiale probleem be satisfies die betrokken is bij de operator $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$.
2. Vastpunt en Iteratieve Constructie: Het bewijs steunt op Theorem 2.2, die de existentie van een positieve, afnemende oplossing van een specifieke radiale ongelijkheid op het interval $(0, 1]$ stelt. Dit wordt bereikt door:
   • Het definiëren van een sequentie van integrale operatoren $A_i$ die werken op continue functies.
   • Het vaststellen van a priori schattingen en ongelijkheden (bijv. vergelijkingen 2.4–2.11) om de groei en het verval van deze operatoren te beheersen.
   • Het gebruik van de Bohl–Brouwer vaste puntstelling om een vast punt $w_0$ te vinden op een sub-interval $[r_0, 1]$.
   • Het uitbreiden van deze oplossing naar $(0, r_0]$ door een Cauchy-probleem op te lossen met betrekking tot de inverse van de nietlineariteit $g^{-1/m}$.
3. Divergentie-argument: De kern van het argument berust op het gedrag van de integraal $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$. Indien deze integraal divergeert, groeit de geconstrueerde oplossing $w(r)$ voldoende snel naarmate $r \to 0$, zodanig dat $u(x) \notin L^1(B_1)$, waarmee bewezen wordt dat de singulariteit niet-verwijderbaar is.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Theorem 2.1, die stelt:
Indien $g: (0, \infty) \to (0, \infty)$ een continu, niet-afnemende functie is die de divergentieconditie voldoet:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty,$$
dan laat de ongelijkheid $\Delta^{m/2} u \geq f(x)g(u)$ een positieve oplossing toe met een niet-verwijderbare singulariteit bij nul voor elke $f \in L^\infty_{loc}(B_1 \setminus \{0\})$.

Consequent wordt de conditie:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$
vastgesteld als een noodzakelijke voorwaarde voor de verwijderbaarheid van singulariteiten voor elke oplossing van de ongelijkheid.

Het artikel plaatst dit resultaat in context door het te relateren aan bekende condities:

• Voor $m=2$ is de conditie equivalent aan de bekende Keller–Osserman blow-up conditie.
• Het resultaat generaliseert eerdere bevindingen voor machtsvormige nietlineariteiten (bijv. $\Delta u \geq |x|^s u^\lambda$) en logaritmische nietlineariteiten, waarbij exacte kritische exponenten zoals de Brezis–Véron conditie worden teruggevonden.

Betekenis en Claims
De auteurs claimen dat hoewel de integraalconditie (1.3) (of de generalisatie voor $m>2$) niet voldoende is om verwijderbaarheid te garanderen (omdat het geen rekening houdt met het gedrag van $f$ nabij nul of potentiële groeibeperkingen in lineaire gevallen), deze strikt noodzakelijk is.

Het artikel stelt dat indien deze integraalconditie wordt geschonden, ongeacht hoe "klein" of goed gedragig de coëfficiëntfunctie $f$ is (mits deze lokaal begrensd is van nul af), men altijd een oplossing kan construeren die bij de oorsprong explodeert op een wijze die voorkomt dat de singulariteit verwijderbaar is. Dit biedt een scherpe grens voor de klasse van nietlineariteiten $g$ die het verwijderen van singulariteiten toestaan in de context van hogere-orde elliptische ongelijkheden. Het werk verheldert de exacte drempel tussen verwijderbare en niet-verwijderbare singulariteiten, onafhankelijk van de specifieke keuze van de forceringsterm $f$.