Existence results for coupled Dirac systems via Rabinowitz-Floer theory
In this paper, we construct the Rabinowitz-Floer homology for the coupled Dirac system \begin{equation*} \left\{ \begin{aligned} Du=\frac{\partial H}{\partial v}(x,u,v)\hspace{4mm} {\rm on} \hspace{2mm}M,\\ Dv=\frac{\partial H}{\partial u}(x,u,v)\hspace{4mm} {\rm on} \hspace{2mm}M, \end{aligned} \right. \end{equation*} where M is an n-dimensional compact Riemannian spin manifold, D is the Dirac operator on M, and H:ΣM⊕ΣM→R is a real valued superquadratic function of class C1 with subcritical growth rates. Solutions of this system can be obtained from the critical points of a Rabinowitz-Floer functional on a product space of suitable fractional Sobolev spaces. In particular, we consider the S1-equivariant H that includes a nonlinearity of the form H(x,u,v)=f(x)p+1∣u∣p+1+g(x)q+1∣v∣q+1, where f(x) and g(x) are strictly positive continuous functions on M, and p>1,q>1 satisfy p+11+q+11>nn−1. We establish the existence of a nontrivial solution by computing the Rabinowitz-Floer homology in the Morse-Bott situation.