Existence results for quasimonotone elliptic systems with growth up to critical exponents

Technische Samenvatting: Bestaanresultaten voor Quasimonotone Elliptische Systemen met Groei tot aan Kritieke Exponenten

Probleemstelling
Dit artikel onderzoekt het bestaan van zwakke oplossingen voor een klasse gekoppelde semilineaire elliptische systemen gedefinieerd op een begrensd domein $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) met een $C^{0,1}$ rand. Het systeem omvat niet-lineariteiten die aanwezig zijn in zowel de differentiaalvergelijkingen als de randvoorwaarden:
$$\begin{cases} -\Delta u_1 + c_1(x)u_1 = f_1(x, u_1, u_2), & \text{in } \Omega, \\ -\Delta u_2 + c_2(x)u_2 = f_2(x, u_1, u_2), & \text{in } \Omega, \\ \frac{\partial u_1}{\partial \eta} = g_1(x, u_1, u_2), & \text{op } \partial\Omega, \\ \frac{\partial u_2}{\partial \eta} = g_2(x, u_1, u_2), & \text{op } \partial\Omega. \end{cases}$$
De coëfficiënten $c_i$ behoren tot $L^\infty(\Omega)$, en de niet-lineariteiten $f_i$ en $g_i$ zijn Carathéodory-functies die voldoen aan een quasimonotone conditie: $f_1$ en $g_1$ zijn niet-dalend in $u_2$, terwijl $f_2$ en $g_2$ niet-dalend zijn in $u_1$.

De primaire wiskundige uitdaging die wordt aangepakt, is de groei van deze niet-lineariteiten. In tegenstelling tot eerdere studies die de groei beperkten tot ruim onder de kritieke Sobolev-exponenten, staat dit werk toe dat de niet-lineariteiten een groei vertonen tot aan de kritieke Sobolev-exponenten in de passende duale Lebesgue-ruimten. Specifiek wordt de groei gecontroleerd in $L^{\frac{2N}{N+2}}(\Omega)$ voor de domeintermen en in $L^{\frac{2(N-1)}{N}}(\partial\Omega)$ voor de randtermen.

Methodologie
De auteurs maken gebruik van een combinatie van de sub-supersolusiemethode, Zorns lemma en Kato's ongelijkheid. De bewijsstrategie verloopt als volgt:

1. Scalaire Voorbereidingen: De auteurs stellen eerst Kato's ongelijkheid vast voor scalaire vergelijkingen met niet-lineaire randvoorwaarden, waarbij zij aantonen dat de maximum van twee subsoluties (en het minimum van twee supersoluties) een subsolutie (of respectievelijk supersolutie) blijft. Zij citeren ook bestaande resultaten voor het bestaan van scalaire vergelijkingen met kritieke groei van Mavinga, Myers en Nkashama [15].
2. Constructie van de Oplossingsverzameling: Een verzameling $\mathcal{J}$ van subsoluties wordt gedefinieerd binnen het geordende interval bepaald door een paar subsolutie $(\underline{u}_1, \underline{u}_2)$ en supersolutie $(\overline{u}_1, \overline{u}_2)$.
3. Iteratieve Constructie: Voor een gefixeerde subsolutie in de verzameling construeren de auteurs een nieuwe subsolutie door scalaire vergelijkingen voor elk component op te lossen, waarbij de quasimonotoniciteit wordt gebruikt om te garanderen dat de ordening behouden blijft.
4. Toepassing van Zorns Lemma: Om het gebrek aan compactheid dat gepaard gaat met kritieke groei te behandelen, definiëren de auteurs een gedeeltelijk geordende verzameling van subsoluties en passen zij Zorns lemma toe. Zij tonen aan dat elke keten in deze verzameling een bovengrens heeft door gebruik te maken van zwakke compactheid in $H^1(\Omega)$, de reflexiviteit van de ruimte, en de Lebesgue-convergentiestelling, waarbij zij gebruikmaken van de groei-grenzen verstrekt door de sub- en supersoluties.
5. Maximaliteit en Minimaliteit: De maximale element van deze verzameling wordt aangetoond een oplossing van het systeem te zijn. Een vergelijkbaar argument (gebruikmakend van het minimum van oplossingen) vestigt het bestaan van een minimale oplossing.

Kernresultaten
De hoofdbestelling (Stelling 1.1) stelt vast dat indien een geordend paar van een zwakke subsolutie en supersolutie bestaat, en de niet-lineariteiten aan de gespecificeerde groeicondities (H1 en H2) voldoen, dan:

• Het systeem ten minste één zwakke oplossing bezit die tussen de sub- en supersolutie ligt.
• Er bestaat een minimale zwakke oplossing en een maximale zwakke oplossing binnen dit geordende interval.
• Elke andere zwakke oplossing in het interval wordt onderaan begrensd door de minimale oplossing en bovenaan door de maximale oplossing.

Daarnaast merkt het artikel op dat indien er sterkere monotoniciteitscondities worden opgelegd aan de niet-lineariteiten (specifiek dat $f_i + k_i u_i$ en $g_i + k_i u_i$ niet-dalend zijn), de minimale en maximale oplossingen constructief verkregen kunnen worden via monotone iteratieve sequenties.

Betekenis en Claims
Het artikel claimt de existentietheorie voor scalaire vergelijkingen met kritieke groei (voorheen vastgesteld in [15]) uit te breiden naar gekoppelde quasimonotone systemen met niet-lineaire randvoorwaarden. De auteurs benadrukken dat de eerdere literatuur over systemen doorgaans uitging van groei die strikt onder de kritieke Sobolev-exponenten ligt. Door groei toe te staan tot aan de kritieke exponenten in de duale Lebesgue-ruimten, lost dit werk een gat in de theorie voor gekoppelde systemen op.

De betekenis ligt in het vermogen om onbegrensde oplossingen en minder regelmatige data te behandelen in toepassingen die betrekking hebben op chemische reacties, biologische processen en ecologische dynamica waar interacties plaatsvinden zowel binnen het domein als op de rand. Het bewijs steunt op een niet-constructieve benadering (Zorns lemma) die noodzakelijk is vanwege de kritieke groei, wat het onderscheidt van de louter iteratieve methoden die gebruikt worden in sub-kritieke gevallen. Een voorbeeld wordt gegeven om de constructie van sub- en supersoluties voor een specifiek systeem met parameter-afhankelijke niet-lineariteiten te illustreren, wat de toepasbaarheid van het theoretische kader bevestigt.