Ground states of bi-harmonic equations with critical exponential growth involving constant and trapping potentials

In this paper, we first give a necessary and sufficient condition for the boundedness and the compactness of a class of nonlinear functionals in H-2 (R-4) which are of their independent interests. (See Theorems 2.1 and 2.2.) Using this result and the principle of symmetric criticality, we can present a relationship between the existence of the nontrivial solutions to the semilinear bi-harmonic equation of the form (-Delta)(2)u + gamma u = f(u) R-4 and the range of gamma is an element of R+, where f(s) is the general nonlinear term having the critical exponential growth at infinity. (See Theorem 2.7.) Though the existence of the nontrivial solutions for the bi-harmonic equation with the critical exponential growth has been studied in the literature, it seems that nothing is known so far about the existence of the ground-state solutions for this class of equations involving the trapping potential introduced by Rabinowitz (Z Angew Math Phys 43:27-42, 1992). Since the trapping potential is not necessarily symmetric, classical radial method cannot be applied to solve this problem. In order to overcome this difficulty, we first establish the existence of the ground-state solutions for the equation (-Delta)(2)u + V(x)u = lambda s exp(2 vertical bar s vertical bar(2))) in R-4, (0.1) when V(x) is a positive constant using the Fourier rearrangement and the Pohozaev identity. Then we will explore the relationship between the Nehari manifold and the corresponding limiting Nehari manifold to derive the existence of the ground state solutions for the Eq. (2.5) when V(x) is the Rabinowitz type trapping potential, namely it satisfies 0 < inf (x is an element of R4) V(x) < sup(x is an element of R4) V(x) = lim(vertical bar x vertical bar ->+infinity) V(x). (See Theorem 2.8.) The same result and proof applies to the harmonic equation with the critical exponential growth involving the Rabinowitz type trapping potential in R-2. (See Theorem 2.9.)