Quasilinear Elliptic Cooperative and Competitive Systems
Annamaria Canino, Simone Mauro
TL;DR
This work analyzes a two‑component quasilinear elliptic system on a bounded domain with a gradient‑type nonlinearity derived from a potential $G_\beta$, under Dirichlet boundary conditions and subcritical growth. Facing non‑differentiability of the natural energy, the authors employ nonsmooth critical point theory via the weak slope to obtain multiplicity results and a least energy state, addressing both cooperative ($\beta>0$) and competitive ($\beta<0$) couplings. They establish a Palais–Smale type compactness framework under spectral gap assumptions and prove the existence of infinitely many fully nontrivial weak solutions for $\beta>0$, as well as a least energy solution below the least energy of the scalar problems; in the competitive regime they adapt a Nehari‑manifold reduction and a topological linking argument to secure a nonnegative least energy solution. Overall, the results extend variational methods for subcritical quasilinear systems to nonsmooth settings, providing a rigorous pathway to multiple and minimal energy states with potential applications in nonlinear optics and related fields.
Abstract
We study the existence and multiplicity of weak solutions for the following quasilinear elliptic system: \[ \begin{cases} -\mathrm{div}(A_1(x,u_1)\nabla u_1) + \displaystyle\frac{1}{2} D_{u_1}A_1(x,u_1)\nabla u_1 \cdot \nabla u_1 = λ_1 u_1 + g_{β,1}(u) & \text{in } Ω, \\[3mm] -\mathrm{div}(A_2(x,u_2)\nabla u_2) + \displaystyle\frac{1}{2} D_{u_2}A_2(x,u_2)\nabla u_2 \cdot \nabla u_2 = λ_2 u_2 + g_{β,2}(u) & \text{in } Ω, \\[2mm] u_1 = u_2 = 0 & \text{on } \partialΩ, \end{cases} \] where $λ_1, λ_2 < μ_1$, the first Dirichlet eigenvalue of the Laplacian, and $Ω$ is a bounded domain. The nonlinearity derives from a potential $G_β$ with subcritical growth. Due to the lack of differentiability of the associated energy functional, we employ nonsmooth critical point theory and variational methods based on the concept of weak slope. We prove the existence of least energy solutions in both the cooperative ($β> 0$) and competitive ($β< 0$) regimes.
