🔢 mathematics

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

This paper establishes the existence of weak solutions for coupled systems of elliptic partial differential equations featuring quasimonotone nonlinearities in both the differential equation and the boundary conditions, even when the growth reaches critical exponents.

Original authors: Shalmali Bandyopadhyay, Briceyda B. Delgado, Nsoki Mavinga, Maria Amarakristi Onyido

Published 2026-06-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Shalmali Bandyopadhyay, Briceyda B. Delgado, Nsoki Mavinga, Maria Amarakristi Onyido

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to balance a complex ecosystem, like a garden with two types of plants that interact with each other. These plants don't just grow in the soil (the inside of the garden); they also interact with the fence surrounding the garden (the boundary).

This paper is about proving that, under certain rules, there is a stable way for these two plants to grow together without one destroying the other or the whole system exploding.

Here is a breakdown of the paper's ideas using simple analogies:

1. The Setup: The Garden and the Fence

The authors are studying a mathematical model of two things (let's call them Plant A and Plant B) living in a bounded space (the garden).

Inside the garden: The plants grow based on their own nature and how they react to each other.
On the fence: The plants also interact with the boundary. Maybe Plant A leans on the fence, or the fence affects how Plant B grows.

The math describes this using "equations." The tricky part is that the rules for how they grow (the "nonlinearities") can get very wild and intense. The authors are specifically looking at cases where these rules get as intense as mathematically possible (reaching "critical exponents") without breaking the system.

2. The Rules of the Game: "Quasimonotone"

The paper relies on a specific rule called quasimonotonicity. Think of this as a "helpful neighbor" rule:

If Plant A grows bigger, it helps (or at least doesn't hurt) Plant B.
If Plant B grows bigger, it helps (or doesn't hurt) Plant A.

They don't have to be best friends, but they can't be enemies. If one gets stronger, the other is allowed to get stronger too, but not forced to collapse. This "cooperative" nature is what makes the math solvable.

3. The Strategy: The "Sandwich" Method

To prove a solution exists, the authors use a classic technique called the Subsolution and Supersolution method. Imagine you are trying to find a perfect temperature for a room.

The Subsolution (The Cold Floor): You find a temperature that is too cold to be the final answer, but it's a safe starting point. It's a "lower bound."
The Supersolution (The Hot Ceiling): You find a temperature that is too hot to be the final answer, but it's a safe upper limit. It's an "upper bound."

The authors prove that if you have a "floor" and a "ceiling" that are ordered (the floor is below the ceiling), and the plants follow the "helpful neighbor" rule, then there must be a perfect temperature (a solution) somewhere in between.

4. The Big Challenge: The "Critical" Growth

Usually, mathematicians only prove this works if the plants grow at a "normal" speed. But in this paper, the authors tackle the hardest case: Critical Sobolev Exponents.

Think of this as the plants growing so fast that they are on the very edge of tearing the fabric of the garden apart. The math gets extremely unstable here. The authors show that even when the growth is this extreme (the "critical" limit), as long as the "helpful neighbor" rule holds, a stable solution still exists.

5. Finding the "Best" Solutions

The paper doesn't just say "a solution exists." It proves there are two special solutions:

The Minimal Solution: The "smallest" possible stable garden that fits between your floor and ceiling.
The Maximal Solution: The "largest" possible stable garden that fits between your floor and ceiling.

Every other possible stable garden will be somewhere in between these two extremes.

6. How They Did It (The Toolkit)

To prove this, they used three main tools:

Zorn's Lemma: A fancy mathematical tool that says, "If you keep climbing up a ladder of possibilities without hitting a ceiling, you will eventually reach a top step." They used this to find the "Maximal" solution.
Kato's Inequality: A rule that helps compare two different scenarios. It's like saying, "If you take the best parts of two different gardens, the result is still a valid garden."
Scalar Equations: They broke the complex two-plant problem down into single-plant problems (which they already knew how to solve) and stitched them back together.

7. The Example

In the final section, they give a concrete example. They imagine a specific type of growth where the plants start small and grow slowly, but the growth rate slows down as they get huge (like a plant that stops growing once it hits a certain size). They show that for this specific scenario, you can definitely find a "floor" and a "ceiling," and therefore, a stable garden exists.

Summary

In short, this paper proves that for a system of two interacting things (like plants or chemicals) that help each other grow, even if they grow very intensely, there is always a stable state between a "minimum" and "maximum" limit, provided you can find a starting point that is too low and a limit that is too high. It's a guarantee that order can emerge from chaos, even at the very edge of mathematical stability.

Technical Summary: Existence Results for Quasimonotone Elliptic Systems with Growth up to Critical Exponents

Problem Statement
This paper investigates the existence of weak solutions for a class of coupled semilinear elliptic systems defined on a bounded domain $\Omega \subset \mathbb{R}^N$ ( $N \ge 2$ ) with a $C^{0,1}$ boundary. The system involves nonlinearities present both in the differential equations and on the boundary conditions:
$\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{on } \partial\Omega, \\ \frac{\partial u_2}{\partial \eta} = g_2(x, u_1, u_2), & \text{on } \partial\Omega. \end{cases}$
The coefficients $c_i$ are in $L^\infty(\Omega)$ , and the nonlinearities $f_i$ and $g_i$ are Carathéodory functions satisfying a quasimonotonicity condition: $f_1$ and $g_1$ are nondecreasing in $u_2$ , while $f_2$ and $g_2$ are nondecreasing in $u_1$ .

The primary mathematical challenge addressed is the growth of these nonlinearities. Unlike previous studies that restricted growth to be bounded away from critical Sobolev exponents, this work allows the nonlinearities to exhibit growth up to the critical Sobolev exponents in the appropriate dual Lebesgue spaces. Specifically, the growth is controlled in $L^{\frac{2N}{N+2}}(\Omega)$ for the domain terms and $L^{\frac{2(N-1)}{N}}(\partial\Omega)$ for the boundary terms.

Methodology
The authors employ a combination of the sub-supersolution method, Zorn's lemma, and Kato's inequality. The proof strategy proceeds as follows:

Scalar Preliminaries: The authors first establish Kato's inequality for single equations with nonlinear boundary conditions, demonstrating that the maximum of two subsolutions (and the minimum of two supersolutions) remains a subsolution (or supersolution, respectively). They also cite existing existence results for scalar equations with critical growth from Mavinga, Myers, and Nkashama [15].
Construction of the Solution Set: A set $\mathcal{J}$ of subsolutions is defined within the ordered interval determined by a given pair of subsolution $(\underline{u}_1, \underline{u}_2)$ and supersolution $(\overline{u}_1, \overline{u}_2)$ .
Iterative Construction: For a fixed subsolution in the set, the authors construct a new subsolution by solving scalar equations for each component, utilizing the quasimonotonicity to ensure the ordering is preserved.
Application of Zorn's Lemma: To handle the lack of compactness associated with critical growth, the authors define a partially ordered set of subsolutions and apply Zorn's lemma. They demonstrate that every chain in this set has an upper bound by utilizing weak compactness in $H^1(\Omega)$ , the reflexivity of the space, and the Lebesgue dominated convergence theorem, leveraging the growth bounds provided by the sub- and supersolutions.
Maximality and Minimality: The maximal element of this set is shown to be a solution to the system. A similar argument (using the minimum of solutions) establishes the existence of a minimal solution.

Key Results
The main theorem (Theorem 1.1) establishes that if an ordered pair of weak subsolution and supersolution exists, and the nonlinearities satisfy the specified growth conditions (H1 and H2), then:

The system possesses at least one weak solution lying between the sub- and supersolutions.
There exists a minimal weak solution and a maximal weak solution within this ordered interval.
Any other weak solution in the interval is bounded below by the minimal solution and above by the maximal solution.

Additionally, the paper notes that if stronger monotonicity conditions are imposed on the nonlinearities (specifically, that $f_i + k_i u_i$ and $g_i + k_i u_i$ are nondecreasing), the minimal and maximal solutions can be obtained constructively via monotone iterative sequences.

Significance and Claims
The paper claims to extend the existence theory for scalar equations with critical growth (previously established in [15]) to coupled quasimonotone systems with nonlinear boundary conditions. The authors highlight that previous literature on systems typically assumed growth strictly below the critical Sobolev exponents. By allowing growth up to the critical exponents in the dual Lebesgue spaces, this work resolves a gap in the theory for coupled systems.

The significance lies in the ability to handle unbounded solutions and less regular data in applications involving chemical reactions, biological processes, and ecological dynamics where interactions occur both within the domain and at the boundary. The proof relies on a non-constructive approach (Zorn's lemma) necessitated by the critical growth, distinguishing it from purely iterative methods used in sub-critical cases. An example is provided to illustrate the construction of sub- and supersolutions for a specific system with parameter-dependent nonlinearities, confirming the applicability of the theoretical framework.