An application of Phragmén–Lindelöf theorem to the existence of ground state solutions for the generalized Schrödinger equation with optimal control

In this paper, we develop optimal Phragmén–Lindelöf methods, based on the use of maximum modulus of optimal value of a parameter in a Schrödinger functional, by applying the Phragmén–Lindelöf theorem for a second-order boundary value problems with respect to the Schrödinger operator. Using it, it is possible to find the existence of ground state solutions of the generalized Schrödinger equation with optimal control. In spite of the fact that the equation of this type can exhibit non-uniqueness of weak solutions, we prove that the corresponding Phragmén–Lindelöf method, under suitable assumptions on control conditions of the nonlinear term, is well-posed and admits a nonempty set of solutions.

When b = d = 0, the problem (1) reduces to the classical Schrödinger equation (see [30,39]) This is related to I would like to mention that recently Liu [33] investigated a similar generalized Schrödinger equation, However, it should be noted that we cannot use variational methods directly because the Schrödinger functionals with respect to (4) is not well defined in general. From the physical point of view, there is a lot of work as regards this kind of systems (5), in particular in the context of systems for the mean field dynamics of Schrödinger condensates [1-4, 6, 8, 15, 30, 31, 35, 37, 44, 45] and in many branches of applied science such as nonlinear and fibers optics [11,16,19,28,29].
When c = 0 and d = 0, the problem (1) becomes the following generalized Schrödinger equation (see [7]): Inspired by the above work, we focus our attention on the problem (6) by using the rearrangement techniques of Hardy, Littlewood, and Pólya, we find that the term make it impossible to find a suitable space in which the corresponding Schrödinger functional I possesses the geometric hypotheses of Sobolev embedding theorem and some kind of periodicity [10,21,26,27,42] . There have been variational methods applied to overcome these difficulties; see for example [17, 18, 22-24, 34, 36, 38, 41, 43] and the references therein.
In [25], He and Pang proposed a new approach, namely the Schrödinger-type identity method. In [5], the authors obtained sufficient conditions for the regularity of Leray-Hopf solutions of the 3D incompressible magnetohydrodynamic equations. Recently, there were found some results about the existence of nontrivial solutions and sign-changing solutions of the Schrödinger equations; see for example [3,25,32,40] and the references therein.
In this paper, we consider the case of a, b, c, d = 0. Because of the two integral terms 1 3 Γ a + bf 3 |∇f | 3 dt and 1 4 Γ c + df 3 |∇f | 3 dt 3 appear at the same time, we cannot make a change of variables for problem (1) to turn into the semilinear equation.
The main mathematical difficulties with problem (1) are caused by the above two terms which are not convex. Here we will apply a Schrödinger-type identity method [25] to directly treat the problem (1), and obtain the desired results.
We state the following assumptions.
(A1) lim y→0 σ (y) where y ∈ R. (A3) lim |y|→+∞ σ (y) where > 1. Throughout the paper let us set holds, then it is clear that f ∈ X is a weak solution of problem (1). The Schrödinger functional I(f ) is defined by where F(y) = y 0 σ ( ) d . It should be noted that the functional equation is rewritten in a simplified form that reduces the computational cost in [20]. Consider Note that X is not even a convex set. It is difficult to find an appropriate space in which the Schrödinger functional I is smooth and has the necessary compactness property.
Let f ∈ X. Define and The main result of this article reads as follows.
Let f ∈ X. Define
The outline of the rest of this article is as follows. The next section contains some technical tools needed in the sequel. The third section presents the proofs of our main results.

Some lemmas
In what follows, we give collect some lemmas needed in the sequel.
Then we have the following Schrödinger-type identities: (1) (2) The proof of the above lemma is similar to the one in [25], we just state it in brief and omit the proof. Moreover, where f ∈ S * , x ≥ 0, y ≥ 0 and (x, y) = (1, 1).

Lemma 2.4
Let f ∈ X and x ≥ 0. Then the following Schrödinger-type identities hold: The proof of the above lemma is similar to the one in [25], we just state it in brief and omit the proof. Proof We shall first that f is a solution of (5). Otherwise, there exist m > 0 and φ ∈ C ∞ 0 (Γ ) such that There exist ξ > 0 and ε 0 > 0 such that where |x -1| ≤ ξ and 0 ≤ ε ≤ ε 0 . So There exists a sufficiently small number ε such that It follows that  (14), which is a contradiction.

Proofs of Theorems 1.1 and 1.2
Proof of Theorem 1. 1 We only need to prove that f * has exactly two nodal domains. We prove it reasoning by contradiction. There exists > 0 such that where f ∈ S * . It follows from (A1) and (A2) that Then we have Note that There exist two positive numbers x and y such that xv + + yv -∈ S * . It follows from Lemma 2.2 that which is also a contradiction.

Conclusions
In this paper, we developed optimal Phragmén-Lindelöf methods, based on the use of maximum modulus of optimal value of a parameter in a Schrödinger functional, by applying the Phragmén-Lindelöf theorem for a second-order boundary value problems with respect to the Schrödinger operator