🔢 mathematics

Dirichlet problem for Lane-Emden type equations with several sublinear terms

This paper establishes the existence, uniqueness, and sharp bilateral pointwise estimates for positive bounded solutions to a Dirichlet problem involving a uniformly elliptic operator with multiple sublinear source terms and a nonnegative measure, while also extending these results to analogous problems with zero boundary conditions and the fractional Laplacian.

Original authors: Toe Toe Shwe, Kentaro Hirata, Adisak Seesanea

Published 2026-05-11

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Toe Toe Shwe, Kentaro Hirata, Adisak Seesanea

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 bake a very specific, perfect cake in a kitchen with strange, shifting rules. This paper is about figuring out exactly when that cake can be baked, how to make sure there's only one way to bake it perfectly, and how to predict exactly how big and dense the cake will be before you even turn on the oven.

Here is the breakdown of the research in simple terms:

The "Kitchen" and the "Recipe"

The Kitchen ( $\Omega$ ): This is the space where the action happens. It could be a small room (a bounded domain) or an infinite field (like the whole universe). The walls of this kitchen have specific rules about how heat or energy moves through them.
The Cake ( $u$ ): This is the "solution" the authors are looking for. In math terms, it's a positive, bounded value (like a temperature or a concentration) that exists everywhere in the kitchen.
The Recipe (The Equation): The authors are studying a complex recipe called the Lane–Emden equation.
- Normally, a recipe says: "Mix ingredients to get a result."
- This specific recipe is sublinear. Imagine a recipe where adding more flour doesn't make the cake grow in a straight line; instead, the growth slows down as you add more. It's a "diminishing returns" effect.
- The recipe has several ingredients ( $m$ different terms) mixed together, plus a base ingredient ( $\sigma_0$ ).
- The "ingredients" aren't just simple numbers; they can be messy, scattered distributions (like sprinkles of sugar that aren't perfectly even), represented by mathematical objects called measures.

The Big Questions

The authors wanted to answer three main questions about this cake:

Existence: Can we bake this cake at all? Under what conditions does a solution exist?
Uniqueness: Is there only one perfect way to bake this cake, or could there be many different "correct" versions?
Estimates: If we do bake it, can we predict exactly how big it will be? Can we put a "lower bound" (it will be at least this big) and an "upper bound" (it won't be bigger than this)?

The Main Discovery: The "Ingredient Limit"

The authors found a simple "rule of thumb" for when the cake can be baked.

They discovered that a perfect cake exists if and only if the "potential energy" of each ingredient is bounded (finite).

The Analogy: Imagine each ingredient has a "weight" or "influence" on the kitchen. If any single ingredient is too heavy or too spread out (infinite influence), the cake collapses or explodes. But if every single ingredient stays within a manageable weight limit, the cake is guaranteed to exist.
The Result: They proved that if the "Green function" (a mathematical tool that measures how the kitchen reacts to an ingredient) keeps the influence of every ingredient finite, a solution exists.

The "Perfect Fit" (Sharp Estimates)

Once they knew the cake could be baked, they wanted to know what it looked like.

They didn't just say, "It's somewhere between small and huge."
They provided sharp bilateral estimates.
The Analogy: Think of a tailor making a suit. Instead of saying, "It will fit somewhere between a size 10 and a size 20," they said, "It will fit exactly between a size 12.5 and a size 13.5."
They gave a formula that predicts the cake's size based on the ingredients. The size of the cake is roughly the sum of the ingredients raised to a specific power (related to how "sublinear" the recipe is). This prediction is incredibly precise.

The "One and Only" Rule (Uniqueness)

Usually, with complex recipes, you might find two different ways to make a cake that both taste "right."

The authors found that if the kitchen has a specific, regular shape (like a uniform room or a cone), there is only one unique solution.
The Analogy: In a perfectly organized kitchen, there is only one way to arrange the furniture so that the room feels balanced. If the room is messy or irregular, there might be many ways to arrange it. But in their specific "regular" kitchens, the arrangement is unique.

Two Different Ways to Bake (Methods)

The paper uses two different "baking techniques" to prove these results:

The Iterative Method (Section 2): They started with a rough guess of the cake and kept refining it, step-by-step, until it settled into the perfect shape. They proved that this process always works if the ingredients are within the weight limits.
The Fixed-Point Method (Section 3): For a more specific type of cake (one that needs to be smooth and continuous, not just existing), they used a different mathematical tool called Schauder's Fixed Point Theorem.
- The Analogy: Imagine a game where you keep adjusting a dial. No matter how you turn it, the dial eventually stops at one specific spot. They proved that if the ingredients follow the "Kato condition" (a rule about how the ingredients are distributed near the walls), the dial will stop at exactly one smooth, perfect solution.

The "Fractional" Twist

The authors also showed that their method works for a "weird" version of the kitchen involving Fractional Laplace operators.

The Analogy: Imagine a kitchen where the heat doesn't just travel to the neighbor's house; it can "jump" across the street or even teleport. This is what "fractional" means in math.
They proved that even with these teleporting heat rules, the same "ingredient limit" rules apply. If the ingredients aren't too heavy, the cake exists and is unique.

Summary

In short, this paper is a masterclass in predicting the behavior of complex, non-linear systems.

If the ingredients are too heavy: The system breaks (no solution).
If the ingredients are light enough: A solution exists.
If the room is regular: That solution is unique.
The authors: They gave a precise formula to calculate exactly how the solution will behave, down to the smallest detail.

They didn't just say "it works"; they gave the exact blueprint for how it works, ensuring that mathematicians and scientists can rely on these predictions for similar problems in physics and engineering.

Technical Summary: Dirichlet Problem for Lane–Emden Type Equations with Several Sublinear Terms

Problem Statement
The paper investigates the Dirichlet problem for Lane–Emden type equations involving multiple sublinear growth terms on a domain $\Omega \subset \mathbb{R}^n$ ( $n \ge 2$ ). The primary equation is given by:
$\begin{cases} Lu = \sum_{i=1}^m \sigma_i u^{q_i} + \sigma_0, & u \ge 0 \quad \text{in } \Omega, \\ \liminf_{x \to y} u(x) = f(y), & y \in \partial_\infty \Omega, \end{cases}$
where:

$L = -\text{div}(A\nabla u)$ is a uniformly elliptic operator with bounded coefficients.
$0 < q_i < 1$ for $i=1, \dots, m$ (sublinear exponents).
$\sigma_i$ are nonnegative locally finite Borel measures (generalizing nonnegative functions).
$f$ is a nonnegative continuous function on the boundary $\partial_\infty \Omega$ (the boundary in the one-point compactification).
The domain $\Omega$ is assumed to be $A$ -regular and possess a positive Green function $G_L$ .

The study also extends to a nonlocal counterpart involving the fractional Laplacian $(-\Delta)^\alpha$ ( $0 < \alpha < n/2$ ) on $\mathbb{R}^n$ :
$(-\Delta)^\alpha u = \sum_{i=1}^m \sigma_i u^{q_i} + \sigma_0, \quad u \ge 0 \quad \text{in } \mathbb{R}^n,$
with vanishing boundary conditions at infinity.

Methodology
The authors approach the problem by reformulating the differential equations into equivalent integral equations involving Green potentials (for the local case) or Riesz potentials (for the nonlocal case). The core methodology relies on:

Iterative Construction: Constructing sequences of functions to establish the existence of minimal positive bounded solutions.
Potential Theory: Utilizing properties of kernels satisfying the Weak Maximum Principle (WMP) and Strong Maximum Principle (SMP).
Pointwise Estimates: Deriving sharp bilateral (two-sided) pointwise bounds using intrinsic nonlinear potentials (specifically the Brezis–Kamin type estimates and intrinsic potentials $K\sigma$ ).
Kernel Modification: For uniqueness in bounded domains, the authors employ the concept of "quasi-metrically modifiable" (QMM) kernels. By introducing a modifier function $m$ , they transform the Green function into a quasi-metric kernel, allowing the application of fixed-point arguments and comparison principles that are otherwise restricted to specific domain geometries.
Fixed Point Theorems: Two distinct approaches are used to prove the existence of continuous solutions:
- Monotone convergence of iterative sequences (yielding minimal solutions).
- Schauder's fixed point theorem applied to a compact operator on a convex set of continuous functions.

Key Contributions and Results

Existence and Uniqueness for Bounded Solutions:
The paper establishes necessary and sufficient conditions for the existence of positive bounded solutions. Specifically, a positive bounded solution exists if and only if the Green potentials $G_L \sigma_i$ (or Riesz potentials $I_{2\alpha} \sigma_i$ ) are bounded on the domain for all $i=0, \dots, m$ .
- Theorem 1.1: For the local operator $L$ , existence is equivalent to the boundedness of the potentials. Uniqueness is guaranteed if $\Omega$ is a bounded uniform domain or a uniform cone (when $L=-\Delta$ ).
- Theorem 1.3: For the fractional Laplacian on $\mathbb{R}^n$ , the existence of a unique positive bounded solution is equivalent to the boundedness of the Riesz potentials.
Sharp Bilateral Pointwise Estimates:
The authors provide explicit two-sided estimates for any positive bounded solution $u$ . These estimates express $u$ in terms of the potentials of the measures and the boundary data:
$c_1 \sum_{i=1}^m (G_L \sigma_i)^{\frac{1}{1-q_i}} + G_L \sigma_0 + H_f \le u \le c_2 \sum_{i=1}^m G_L \sigma_i + G_L \sigma_0 + H_f$
where $c_1$ and $c_2$ are explicit constants depending on the exponents $q_i$ and the norms of the potentials. These estimates generalize the classical Brezis–Kamin estimates to systems with multiple sublinear terms and general elliptic operators.
Continuous Solutions and the Kato Condition:
The paper characterizes the existence of positive continuous solutions (up to the boundary) via the $G_L$ -Kato condition.
- Theorem 1.5: A minimal positive continuous solution exists if and only if the measures $\sigma_i$ satisfy the $G_L$ -Kato condition (a condition ensuring the continuity of the potential). This generalizes recent findings for single-term equations to the multi-term case.
- The authors provide two proofs for the existence of such continuous solutions: one leveraging the bounded solution results and the properties of the Kato condition, and an alternative proof using Schauder's fixed point theorem.
Generalization to Multiple Terms:
Unlike previous works focusing on single sublinear terms ( $m=1$ ), this paper handles a sum of $m$ sublinear terms with distinct exponents $q_i$ . The analysis accounts for the interaction between these terms, particularly in the derivation of the lower bounds where the smallest exponent $q_1$ dictates the behavior.

Significance and Claims
The paper claims to develop a robust method for simultaneously establishing existence, uniqueness, and sharp pointwise estimates for a broad class of sublinear problems. Its significance lies in:

Unification: It unifies the treatment of local (divergence form) and nonlocal (fractional Laplacian) operators under a single framework based on kernel properties (WMP, QM, QMM).
Generality: It extends known results (such as those by Brezis–Kamin and Verbitsky) from single-term equations to systems with multiple sublinear terms and from specific domains to general $A$ -regular domains with Green functions.
Sharpness: The derived pointwise estimates are shown to be sharp, providing precise control over the growth of solutions near singularities or boundaries.
Methodological Adaptability: The authors note that their method is adaptable to related sublinear problems, including those with zero boundary conditions, and can be extended to cases with infinitely many sublinear terms (under summability conditions on the potentials).

The work does not propose new physical applications but rather advances the theoretical understanding of nonlinear elliptic and nonlocal equations, providing tools to analyze the qualitative behavior of solutions in complex settings.