Abstract:In the present paper, we deal with a quasilinear elliptic equation involving a critical Sobolev exponent on non-compact Randers spaces. Under very general assumptions on the perturbation, we prove the existence of a non-trivial solution. The approach is based on the direct methods of the calculus of variations. One of the key steps is to prove that the energy functional associated with the problem is weakly lower semicontinuous on small balls of the Sobolev space, which is provided by a general inequality.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there are nontrivial solutions to quasilinear elliptic equations with critical Sobolev exponents on non - compact Finsler manifolds, especially in non - compact Rand spaces. Specifically, the author studies the following problem:
\[
\begin{cases}
- \Delta_{p,F} u+|u|^{p - 2}u=\mu|u|^{p^* - 2}u+\lambda\alpha(x)h(u), & \text{in }M, \\
u\in W^{1,p}_F(M),
\end{cases}
\]
where \(M\) is a \(d\)-dimensional non - compact Rand space equipped with the Finsler metric \(F(x,y)=\sqrt{g_x(y,y)}+\beta_x(y)\), \(\Delta_{p,F}\) is the Finsler \(p\)-Laplace operator, and \(p^*=\frac{pd}{d - p}\) is the critical Sobolev exponent.
### Main challenges and methods
1. **Lack of compactness**: Since \(M\) is non - compact, the traditional Palais - Smale condition is no longer applicable. Therefore, the author adopts the direct variational method to prove the weak lower semicontinuity of the energy functional on small balls.
2. **Key inequality**: In order to prove the weak lower semicontinuity of the energy functional, the author introduces a key inequality (see Lemma 3.1), which generalizes the classical inequality in the framework of Finsler geometry.
3. **Hardy - type inequality**: As an application, the author also proves the Hardy - type inequality on Finsler manifolds.
### Main results
The author proves that under appropriate assumptions, for any \(\mu>0\), there exists \(\lambda^*>0\) such that when \(\lambda<\lambda^*\), the above problem has a nonzero \(G\)-invariant weak solution. Here, \(G\) is a coercive, compactly connected isometric subgroup, and \(G\) has only one fixed point on \(M\).
### Mathematical background
The paper involves a large amount of basic knowledge of Riemannian geometry and Finsler geometry, including but not limited to:
- Basic definitions and properties of Finsler manifolds
- Sobolev embedding theorem
- Weak lower semicontinuity and Palais - Smale condition
- Application of Hardy - type inequality
Through these tools, the author successfully solves the existence problem of quasilinear elliptic equations with critical Sobolev exponents on non - compact Finsler manifolds.