The Pohozaev-type inequalities and their applications for a kind of elliptic equation (system)

In this paper, we first derive a new kind of Pohozaev-type inequalities for p-Laplacian equations in a more general class of non-star-shaped domains, and then we take two examples and their graphs to explain the shape of the new kind of the non-star-shaped domain. At last, we extend the results of Pohozaev-type inequalities to elliptic systems, which are used to derive the nonexistence of positive solutions of this type of systems in the non-star-shaped domains. On this basis, we also discuss the existence of positive solutions of a kind of elliptic systems with double critical growth.


Introduction
In this paper, we first consider the following elliptic equation: where p = div(|∇u| p-2 ∇u), f ∈ C(R 1 , R 1 ), and ⊂ R n (n ≥ 3) is a domain with smooth boundary. We establish the Pohozaev-type inequalities not Pohozaev identities for the solutions of (1.1), and by which we derive the nonexistence of positive solutions for the problem in non-star-shaped domains. Subsequently, we take two examples and their graphs to explain the shape of the new kind of the non-star-shaped domain. Then, we also consider a similar problem for the following elliptic system:

2)
© The Author(s) 2020. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
is also a domain with smooth boundary.
When p = 2 in (1.1), Pohozaev proved the following well-known Pohozaev identity in the famous paper [1]: Based on the identity, Pohozaev, Brezis, and Nirenberg considered the following problem in [1,2]: is a star-shaped bounded domain, problem (1.4) has no solution when both p ≥ n+2 n-2 , λ ≤ 0 and p > n+2 n-2 , λ ≤ δ( , p). Subsequently, Kawano and Ni discussed the general semi-linear elliptic equation when p = 2 in [3]: (1.5) By the classic Pohozaev proof method, the authors derived the following identity: (1.6) In 1989, Guedda and Veron considered (1.1) in [4] and got the following identity: , is continuous. And they got the nonexistence results of nontrivial solutions in the case of supercritical growth and critical growth when 1 < p < N and ⊂ R N is a star-shaped domain about origin. See [5][6][7][8][9][10][11] and the references therein. In [12], we established more general Pohozaev-type inequalities of (1.5) and got the nonexistence of positive solutions when ⊂ R N is a non-star-shaped domain.
In this paper, we discuss more general Pohozaev-type inequalities and the nonexistence of positive solutions of (1.1). At the same, we take two examples and their graphs to explain the shape of a new kind of the non-star-shaped domain.
The existence or nonexistence of nontrivial positive solutions of elliptic system (1.2) have been extensively studied in recent years, we refer to [13][14][15][16] and the references therein. Researchers usually convert the proof of the existence of nonlinear elliptic problems into finding the existence of the critical point of the variational functional corresponding to the equation, in which, one of the key issues is to prove that the (PS) sequence has a strongly convergent sub-sequence. Therefore, the first step is to prove the boundedness of the (PS) sequence. Scholars have put forward many conditions such as the famous A-R condition. However, the A-R condition cannot be satisfied in many cases. In recent years, it was shown that combining the Pohozaev identity and the Nehari manifold to create a new manifold, which is called Pohozaev-Nehari manifold, was very effective when treating nonlinearity which does not satisfy the A-R condition (see [17][18][19]).
In [17], Li and Ye considered the following Kirchhoff equation: They established the Pohozaev identity and the new Pohozaev-Nehari manifold In [19], the authors studied the existence of a bound state solution for a class of quasilinear Schrödinger equations whose nonlinear term is asymptotically linear in R N . The equation is as follows: where V (x) = W (x) -E is the new potential and g(u) = l(u 2 )u is the nonlinear term. The authors defined the following Pohozaev manifold: and the corresponding Pohozaev identity of the limiting problem is as follows: Employing the minimization methods restricted to the above Pohozaev manifold, the authors obtained the existence of positive solutions for the asymptotically linear case.
In [16], Bozhkov and Mitidieri studied the existence and nonexistence of the following (p,q)-Laplacian system: The authors also generalized the Pohozaev identity for the following system which is based on reference [20]: (1.9) And the Pohozaev identity is as follows: (1.10) By this kind of Pohozaev identity, the authors derived the nonexistence of the positive solutions on the star-shaped domain. However, on the basis of preliminary work of Pohozaev inequalities for p-Laplacian equation, we can generalize the kind of identity to the kind of Pohozaev inequalities for the p-Laplace system and (p,q)-Laplacian systems, and naturally get the nonexistence of these systems on the non-star-shaped domain, which is more general than the domain in [16]. In addition, we consider the following elliptic system with double critical growth: where α, β > 1, α +β = p * = Np N-p . Using the Pohozaev inequalities, we can prove that system (1.11) has no positive solution when is a positive domain. It is worth to mention that the more general Pohozaev to the general elliptic equations in a non-star-shaped bounded domain can help us to obtain the necessary conditions of the existence of solutions for some special equations. See [21][22][23][24][25][26][27]. In [27], Peng, Peng, and Wang discussed in detail the existence and the form of positive solution, the uniqueness of the minimal energy solution of system (1.11) when p = 2. Based on their global compactness result and the main method in [21], we consider the existence of positive solution of system (1.11) for general p.

The results and proofs
We need the following lemma, which is similar but also has some differences with our manuscript [12].
which is a C 1 vector field on R n and u ∈ W Based on the above lemma, we can have a Pohozaev-type inequality for solutions of equation (1.1).

Theorem 2.2 (Pohozaev-type inequality) Suppose that V (x) is a linear vector field on R n with the form
Multiply the equationp u = f (u) by V (x), ∇u and then integrate in . By Lemma 2.1 and divergence theorem, the right-hand side is and then the left-hand side is We also have Comparing the left-and right-hand sides, we know the following identity: By the fact 0 < V (x), x ≤ μ|x| 2 , we get the following result: Thus, we obtain the following inequality: The proof is complete.
By the above Pohozaev-type inequality, we can immediately get the nonexistence result of the following problem: Proof With the similar method in the proof of Theorem 2.2, we also first consider that (1.1) has a positive solution u. Then inequality (2.1) holds, That is, Since α ≥ np-n+pμ n-pμ , we have pμn + pn α+1 ≤ 0. Thus, If λ = 0, (2.3) implies that ∂u ∂ν = 0. By divergence theorem, On the other hand, the equation in (2.2) implies which is a contraction. Then, we complete the proof.
By the way, we consider a special case of p = 2 which was discussed in [28]. Take p = 2 in Theorem 2.2 and Theorem 2.3, we have the following conclusions.

Examples
In this section, we construct two examples of domains in R 3 which satisfy the conditions of our theorems but not non-star-shaped. The first example has been discussed in [28], the second one is new. Example 1 (see [28]) Let 1 ⊂ R 3 be a bounded domain surrounded by the following closed surface 1 : 1 : In [28], the second author of the paper has proved that, for any given point P ∈ R 3 , the closed surface 1 is not star-shaped with respect to P. Thus, 1 is not star-shaped. Subsequently, it is easy to verify that 1 satisfies the conditions of Theorem 2.2.
Next, we will give the specific graphic of the planar closed curve 1 in [28], which is generated by the intersection of 1 and , where = {x = (x 1 , x 2 , 0) | x 1 ∈ R 1 , x 2 ∈ R 1 }. Figure 1 is the graph of 1 .
Example 2 Let 2 ⊂ R 3 be a bounded domain surrounded by the following closed surface 2 : 2 : x 3 = r, r 2 ≤ 1. It is easy to see that V is positive and 3 i=1 a ii = 3. By a direct computation, we can show that V (x) is transverse to 2 . Therefore, 2 satisfies the conditions of Theorem 2.2.
The graph of 2 is presented in Fig. 2.
By the elementary method, we can show that 2 is not star-shaped in the plane. Hence, 2 is not star-shaped.

The Pohozaev inequalities and the nonexistence of positive solutions for p-Laplace elliptic systems
In this section, we generalize the results of Pohozaev inequalities of Theorem 2.
Proof Applying Theorem 2.2 to the first equation of system (1.2), we have Similarly, applying Theorem 2.2 to the second equation of system (1.2), we have Similarly, applying Theorem 2.2 and Theorem 2.2 in [12] to two equations in the system of (1.9), we can generalize the Pohozaev identity (1.10) of (p,q)-Laplace system in [16] to Pohozaev inequalities.
Proof Based on Theorem 2.2 and [12], and the equations of system (1.9), we have where . Adding (4.5) and (4.6), we complete the proof.
Remark 1 The Pohozaev inequalities in Theorem 4.2 can also be written in the following forms: Now, we discuss the nonexistence of positive solutions for system (1.11). This is a contradiction, so (1.11) has no positive solution.

The existence of positive solutions for a kind of p-Laplace elliptic system
This section studies the existence of positive solutions of (1.11). Consider the functional J : W → R, (u, v) ∈ W , By Theorem 1.7 in [27] and Lemma 3.4.5 in [29], we have the global compactness results as follows. where r i n → ∞, (σ 1 n , σ 2 n ) → 0; By Lemma 5.1, we have the existence of positive solutions of (1.11).
Then problem (1.11) admits a positive solution when R 1 R 2 is sufficiently large.