On the existence of a second positive solution to mixed local-nonlocal concave-convex critical problems

Stefano Biagi,Eugenio Vecchi

2024-03-27

Abstract:We prove the existence of a second positive weak solution for mixed local-nonlocal critical semilinear elliptic problems with a sublinear perturbation in the spirit of [Ambrosetti, Brezis, Cerami, 1994].

Analysis of PDEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the existence of a second positive weak solution in the mixed local - non - local critical semi - linear elliptic problem. Specifically, the researchers focus on problems in the following form:

\[
(P_\varepsilon) \left\{
\begin{array}{ll}
L_\varepsilon u=\lambda u^p + u^{2^* - 1}&\text{in }\Omega,\\
u > 0&\text{in }\Omega,\\
u = 0&\text{in }\mathbb{R}^n\setminus\Omega,
\end{array}
\right.
\]

where $\lambda>0$ is a positive real parameter, $p\in(0, 1)$, and $L_\varepsilon := -\Delta+\varepsilon(-\Delta)^s$, where $s\in(0, 1)$ and $\varepsilon\in(0, 1]$.

### Research Background

This problem belongs to the so - called concave - convex problems, and its most famous example is the problem in the following form:

\[
(ABC) \left\{
\begin{array}{ll}
-\Delta u=\lambda u^p + u^{2^* - 1}&\text{in }\Omega,\\
u > 0&\text{in }\Omega,\\
u = 0&\text{in }\partial\Omega.
\end{array}
\right.
\]

### Research Objectives

The main objective of the paper is to prove that for certain parameter values $\lambda$, the above - mentioned problem $(P_\varepsilon)$ has one or more positive weak solutions. Specifically, the researchers hope to find the values of the parameter $\lambda$ such that the problem $(P_\varepsilon)$ has at least two positive weak solutions.

### Main Results

1. **Existence of the First Positive Weak Solution**:
- For $\varepsilon = 1$, it has been proved that there exists a threshold $\Lambda>0$ such that when $0 < \lambda\leq\Lambda$, the problem $(P_1)$ has at least one weak solution; when $\lambda>\Lambda$, there is no weak solution.
- This result also holds in the super - critical case.

2. **Existence of the Second Positive Weak Solution**:
- The paper further proves that there exists a constant $M_\varepsilon>0$ such that for each $0 < \lambda<\Lambda_\varepsilon$, the problem $(P_\varepsilon)$ has at most one solution $u_\lambda$ satisfying $\|u_\lambda\|_{L^\infty(\mathbb{R}^n)}\leq M_\varepsilon$.
- If this unique solution exists, it must be the first minimal solution.

3. **Further Results**:
- The paper also proves that there exist $\lambda^*>0$ and $\varepsilon_0\in(0, 1)$ such that for each $0 < \varepsilon<\varepsilon_0$ and each $0 < \lambda<\lambda^*$, the problem $(P_\varepsilon)$ has at least two positive weak solutions.

### Methods and Difficulties

To prove these results, the researchers adopted a method similar to that of Brezis and Nirenberg, but the main difficulty was that the mixed operator $L_\varepsilon$ lacks scale invariance, which affects the mixed S