Multiplicity results for two kinds of equivariant systems (Q1888600)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multiplicity results for two kinds of equivariant systems
scientific article

    Statements

    Multiplicity results for two kinds of equivariant systems (English)
    0 references
    26 November 2004
    0 references
    The author is concerned with the system of elliptic equations \(-\varepsilon\Delta u_i + F_{u_i}(u_1,\ldots,u_m) = 0\) in \(\Omega\) with the Neumann conditions \(\partial u_{i}/\partial n = 0\) on \(\partial\Omega\), \(i=1,\ldots,m\). Here \(\Omega\subset{\mathbb R}^n\) is a bounded domain, \(F\in C^2({\mathbb R}^m)\) and \(\nabla F\) is of subcritical growth (in the sense of the Sobolev embedding theorem). Solutions of this problem correspond to critical points of the functional \(B_{\varepsilon}(u) = {\varepsilon\over2}\int_{\Omega}| \nabla u| ^2\,dx + \int_{\Omega}F(u)\,dx\) in \(H^1(\Omega)^m\) (\(u=(u_{1},\ldots u_{m})\)). Two cases are considered: \(m=2\), \(F(u_{1},u_{2})=g(\sqrt{u_{1}^2+u_{2}^2})\) and \(m\geq 2\), \(F\) invariant with respect to an orthogonal representation of \({\mathbb Z}/q\) (\(q>2\) a prime) in \({\mathbb R}^m\). In the first case \(B_{\varepsilon}\) is \(O(2)\)-invariant, hence to each critical point \(u\neq 0\) there corresponds a critical manifold \(M\cong S^1\) (the orbit of \(u\) under the action of \(O(2)\)). It is shown that if \(g(t)>0\) for all \(t\neq 1\), \(g\) has a local maximum at 0, \(g(1)=0\) and all critical orbits of \(B_{\varepsilon}\) are nondegenerate, then there exists a sequence \(\mu_{i}\searrow 0\) such that for all \(\varepsilon\in (\mu_{i+1},\mu_{i})\) there are at least \(i\) nontrivial critical manifolds (whose Morse indices are respectively \(2, 4,\ldots, 2i\)). In the second case it is assumed that \(F(u)\to\infty\) as \(| u| \to\infty\) and the Hessian of \(F\) at 0 has a negative eigenvalue. Then there exists a sequence \(\mu_{i}\searrow 0\) such that if \(\varepsilon\in(\mu_{i},\mu_{i-1})\) and all critical points of \(B_{\varepsilon}\) are nondegenerate, then the number of them is at least \(2iq\). The proofs use an appropriate version of the Morse inequalities.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    critical points
    0 references
    Morse theory
    0 references
    group action
    0 references
    0 references