Topological invariants for anisotropic quasilinear elliptic systems: A Poincaré-Hopf formula

We consider the functional $I_{δ,Ψ_1,Ψ_2}:X \to \mathbb{R}$ defined for any $z=(u,v) \in X$ as \begin{align*} I_{δ,Ψ_1,Ψ_2}(z) & = \int_Ω Ψ_1(\nabla u) \, dx + \int_Ω Ψ_2(\nabla v ) \, dx & - \int_Ω H(δ,x,u(x),v(x)) \,dx, \end{align*} where $Ω$ is a smooth bounded domain of $\mathbb{R}^N$, $Ψ_1, Ψ_2: \mathbb{R}^N \to \mathbb{R}$ are convex functions satisfying suitable conditions for $1 < p, q < N$, and the nonlinearity $H$ is allowed to exhibit both subcritical and critical growth and may depend on a parameter $δ\in I \subseteq \mathbb{R}$. Here, the functional space setting is given by the product space $X :=W_0^{1,p}(Ω)\times W_0^{1,q}(Ω)$ equipped with the norm $\|z\|= \|u\|_{1,p} + \|v\|_{1,q}$ for any $z=(u,v)\in X$, where $\| \cdot \|_{1,s}$ is the usual norm in $W^{1,s}_0(Ω)$. In this paper we prove that $I_{δ,Ψ_1,Ψ_2}'$ is of class $(S)_+$ and we infer that each isolated critical point of $I_{δ,Ψ_1,Ψ_2}$ has critical groups of finite type and a Poincaré-Hopf formula holds.