🔢 mathematics

Global Multiplicity and Comparison Principles for Singular Problems driven by Mixed Local-Nonlocal Operators

This paper establishes a global multiplicity result for a singular elliptic problem driven by a mixed local-nonlocal operator by deriving a new Hopf-type strong comparison principle and identifying a sharp threshold parameter that distinguishes between existence, non-existence, and multiplicity regimes.

Original authors: R. Dhanya, Sarbani Pramanik

Published 2026-02-13

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: R. Dhanya, Sarbani Pramanik

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 find the perfect shape for a balloon that is being inflated inside a room. But this isn't a normal balloon; it's a "smart" balloon governed by two different sets of physics at the same time.

This paper is about solving a complex mathematical puzzle involving such a "smart balloon." Here is the breakdown of what the authors, R. Dhanya and Sarbani Pramanik, discovered, explained in simple terms.

1. The Setup: A Balloon with Two Personalities

The problem they are studying involves an equation (a mathematical recipe) that describes how a shape (let's call it $u$ ) behaves inside a room (called $\Omega$ ).

This shape is driven by a Mixed Operator, which is like a balloon with two personalities:

The Local Personality ( $-\Delta_p$ ): This part cares about what is happening right next to it. It's like the tension in a rubber sheet; it only feels the pull from its immediate neighbors. This is the "local" part.
The Non-Local Personality ( $(-\Delta_q)_s$ ): This part is psychic! It feels the pull from points far away across the room. It's like a long-range radio signal connecting distant parts of the balloon. This is the "non-local" part.

The Challenge: The balloon is also being pushed by two opposing forces:

The Singularity ( $\lambda/u^\delta$ ): As the balloon gets very thin (close to zero), this force becomes infinitely strong, trying to blow it up. It's like a "crack" in the material that demands infinite pressure to fix.
The Growth ( $u^r$ ): As the balloon gets huge, this force tries to stretch it further, but it has a limit (like the rubber eventually snapping).

The parameter $\lambda$ is the "knob" you turn to control the strength of the singularity. The big question is: How many different stable shapes (solutions) can this balloon take for a given setting of the knob?

2. The Discovery: The "Goldilocks" Threshold

The authors found a very specific "tipping point" (a threshold value called $\Lambda$ ) for the knob $\lambda$ .

Too Weak ( $\lambda > \Lambda$ ): If you turn the knob too high, the forces are too chaotic. The balloon cannot find a stable shape. Result: No solution.
Just Right ( $0 < \lambda \le \Lambda$ ): If you turn the knob to a moderate level, the balloon finds a stable shape. In fact, it finds two different stable shapes!
- Shape A (The Minimal One): A small, tight shape that hugs the floor.
- Shape B (The Mountain Pass): A larger, more inflated shape that sits higher up.

This is called Global Multiplicity. Before this paper, mathematicians could only prove that sometimes there were two shapes, but only for very specific, small settings. These authors proved that for the entire range where a solution exists, there are actually two distinct solutions.

3. The Tools: How They Solved It

To prove this, they had to invent two new "mathematical tools" (analogous to new types of flashlights or rulers) because the old ones didn't work for this mixed, tricky balloon.

Tool 1: The "Strong Comparison Principle" (The Strict Judge)

Imagine you have two balloons, one slightly bigger than the other. In normal physics, you might think the bigger one is just "a bit bigger." But in this math world, the authors proved a Strong Comparison Principle:

If Balloon A is even slightly bigger than Balloon B anywhere, then Balloon A is strictly bigger everywhere inside the room.
Furthermore, at the walls (the boundary), the bigger balloon pushes out harder than the smaller one.

This is like a judge who doesn't just say "A is bigger," but says "A is definitely and strictly bigger, and here is exactly how much harder it pushes against the wall." This tool allowed them to separate the two solutions clearly.

Tool 2: The "Sobolev vs. Hölder" Bridge (The Translator)

Mathematicians often look at shapes in two different "languages":

Language A (Sobolev): Focuses on the energy and roughness of the shape.
Language B (Hölder): Focuses on how smooth and continuous the shape is.

Usually, finding a minimum (the best shape) in Language A doesn't guarantee it's the best in Language B. The authors proved a Bridge Theorem:

If a shape is the "best" (a local minimizer) in the smooth language (Hölder), it is automatically the "best" in the energy language (Sobolev).

This was crucial. It allowed them to find a solution using smooth, easy-to-handle math, and then be 100% sure that this solution also works for the complex energy equations.

4. The Big Picture: Why Does This Matter?

Think of this like designing a new type of bridge or a medical stent (a tube used to open arteries).

Real World: These objects often experience both local stress (where the metal bends) and long-range stress (how the whole structure vibrates).
The Math: This paper tells engineers and scientists that for certain types of materials and forces, you don't just get one stable design. You get two.
- One design might be small and efficient.
- The other might be larger and more robust.

Knowing that two solutions exist is vital. If you are designing a bridge, you need to know if there is a "hidden" second stable shape that might be safer, or conversely, if your design might accidentally snap into a different, dangerous shape.

Summary

The authors took a very difficult math problem involving a "hybrid" equation (local + non-local) with a "crash" (singularity) and proved that:

There is a clear limit to how much force you can apply before the system breaks.
Below that limit, there are always two distinct stable solutions, not just one.
They did this by creating new mathematical "flashlights" (Comparison Principles) and "bridges" (Minimizer results) that can now be used to solve many other similar problems in physics and engineering.

It's a bit like discovering that for every safe speed you can drive a car, there are actually two different ways to steer it to stay on the road, and they figured out exactly how to tell the difference between the two.

1. Problem Statement

The authors investigate a singular elliptic boundary value problem driven by a mixed local-nonlocal operator in a bounded smooth domain $\Omega \subset \mathbb{R}^N$ ( $N \ge 2$ ). The problem is formulated as:

$\begin{cases} -\Delta_p u + (-\Delta_q)^s u = \frac{\lambda}{u^\delta} + u^r & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases} \quad (P_\lambda)$

Key Parameters and Conditions:

Operators: The left-hand side combines the local $p$ -Laplacian ( $-\Delta_p$ ) and the fractional $q$ -Laplacian ( $(-\Delta_q)^s$ ), where $s \in (0,1)$ .
Constraints: $p > sq$, $0 < \delta < 1$ (singular term), and $\lambda > 0$ is a bifurcation parameter.
Nonlinearity: The right-hand side features a singular term $\lambda u^{-\delta}$ and a superlinear term $u^r$ .
Growth: The exponent $r$ satisfies $\max\{p-1, q-1\} < r \le r^*$ , where $r^*$ is the critical Sobolev exponent defined as $r^* = \max\{p^*-1, q^*_s-1\}$ . The paper addresses both subcritical ( $r < r^*$ ) and critical ( $r = r^*$ ) cases.
Solution Space: The natural energy space is $X_0(\Omega) = W^{1,p}_0(\Omega) \cap W^{s,q}_0(\Omega)$ .

2. Methodology and Analytical Tools

The paper overcomes significant analytical challenges arising from the mixed nature of the operator and the singularity at zero. The methodology relies on three primary pillars:

A. Strong Comparison Principles (SCP) and Hopf-Type Lemma

A major hurdle in mixed operator problems is establishing comparison principles when singular nonlinearities are present. The authors prove:

Strong Comparison Principle (SCP): If $u_1, u_2$ are solutions to related problems with $f_1 \le f_2$ and $f_1 \not\equiv f_2$ , then $u_1 < u_2$ in $\Omega$ .
Hopf-Type Strong Comparison Principle: They establish a boundary behavior estimate: $\frac{\partial u_2}{\partial \nu} < \frac{\partial u_1}{\partial \nu}$ on $\partial \Omega$ .
Technique: The proof involves linearizing the operator around a positive solution and constructing a subsolution for an "infinite semipositone" problem. This requires delicate estimates on the nonlocal term and the use of the Implicit Function Theorem to handle the lack of explicit coefficients in the linearized divergence form.

B. Sobolev vs. Hölder Local Minimizers

To apply variational methods (specifically the Mountain Pass Theorem), one must ensure that a local minimizer in the $C^1_0$ topology is also a local minimizer in the energy space $X_0(\Omega)$ .

Result: The authors prove that if $u_0$ is a local minimizer of the energy functional in the $C^1_0$ -topology, it is also a local minimizer in the $X_0(\Omega)$ -topology.
Key Step: This relies on deriving uniform $L^\infty$ bounds and $C^{1,\alpha}$ estimates for the solutions. The authors refine existing De Giorgi-Stampacchia iteration techniques using Moser iteration to cover the critical growth case ( $r=r^*$ ), extending results previously known only for subcritical cases.

C. Variational Framework and Mountain Pass Geometry

The existence of a second solution is established using the Mountain Pass Theorem.

Truncation: Due to the singularity, the energy functional is not $C^1$ . The authors use a truncation technique based on a unique solution to the purely singular problem ( $\lambda u^{-\delta}$ ) to define a modified functional that is $C^1$ .
Compactness: They establish the Palais-Smale condition. In the critical case, they use refined estimates of Aubin-Talenti functions to show that the mountain pass level lies below the threshold where compactness is lost.

3. Key Contributions and Results

I. Global Multiplicity Result

The paper establishes a sharp threshold $\Lambda > 0$ governing the existence and multiplicity of positive solutions:

Non-existence: For $\lambda > \Lambda$ , no solution exists.
Existence: For $0 < \lambda \le \Lambda$ , at least one solution exists.
Multiplicity: For $0 < \lambda < \Lambda$ $0 < λ < Λ$ , there exist at least two distinct positive solutions.
- One solution is a minimal solution (obtained via monotone iteration).
- The second solution is obtained via the Mountain Pass Theorem.

Novelty: While local multiplicity results exist for mixed operators with small parameters (e.g., $\epsilon$ -dependent operators), this paper provides a global multiplicity result for the case where the mixing parameter is fixed (effectively $\epsilon=1$ ). This holds for both subcritical and critical growth regimes.

II. Specific Theorems

Theorem 1.2 (Existence/Non-existence): Proves the existence of the threshold $\Lambda$ and the monotonicity of minimal solutions with respect to $\lambda$ .
Theorem 1.3 (Subcritical Multiplicity): Establishes two solutions for $r < r^*$ under specific conditions on $p, q, s$ (including the linear case $p=q=2$ and nonlinear cases with $q \ge 2$ ).
Theorem 1.4 (Critical Multiplicity): Establishes two solutions for the critical case $r = r^* = p^*-1$ . This requires specific constraints on $p, q, s$ (e.g., $2 \le q \le p$ and $p \in (\frac{3N}{N+3}, 3)$ ) to ensure the energy estimates of the Talenti functions work in the mixed setting.

III. Auxiliary Results of Independent Interest

Hopf-type SCP for Mixed Operators: A new result extending comparison principles to mixed local-nonlocal operators with singular terms.
Uniform $L^\infty$ and $C^{1,\alpha}$ Estimates: Refined estimates that bridge the gap between Sobolev and Hölder spaces for mixed operators, essential for the variational analysis in the critical case.

4. Significance and Impact

Resolution of Global vs. Local: Previous works on mixed operators often relied on perturbation arguments (small $\epsilon$ ) to prove multiplicity, leaving the global structure (specifically the range $(\Lambda^*, \Lambda)$ ) unresolved. This paper closes that gap, providing a complete bifurcation diagram.
Handling Singularities: The techniques developed for the Strong Comparison Principle in the presence of singularities ( $\lambda/u^\delta$ ) are novel for mixed operators, where standard local techniques fail due to the nonlocal term.
Critical Case Extension: The paper successfully adapts the critical point theory (Mountain Pass) to the critical growth regime for mixed operators, a notoriously difficult setting due to the lack of scale invariance and the non-attainment of the best Sobolev constant in mixed spaces.
Broad Applicability: The analytical tools (SCP, Sobolev-Hölder equivalence) are presented as independent results applicable to a broader class of mixed local-nonlocal problems beyond the specific singular equation studied.

In summary, this paper provides a comprehensive and rigorous analysis of singular elliptic problems with mixed operators, establishing a complete global multiplicity picture and introducing powerful new comparison and regularity tools for the field of nonlocal PDEs.