Advances in Mathematical Physics
Volume 2018 (2018), Article ID 9096260, 7 pages
https://doi.org/10.1155/2018/9096260

Research Article

Existence and Uniqueness of Positive Solution for -Laplacian Kirchhoff-Schrödinger-Type Equation

Wei Han and Jiangyan Yao

Department of Mathematics, North University of China, Taiyuan, Shanxi 030051, China

Correspondence should be addressed to Wei Han; sh_hanweiwei1@126.com

Received 30 March 2018; Accepted 7 May 2018; Published 5 June 2018

Academic Editor: Pietro d’Avenia

Copyright © 2018 Wei Han and Jiangyan Yao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We study the existence and uniqueness of positive solution for the following -Laplacian-Kirchhoff-Schrödinger-type equation: , where , are parameters, and are under some suitable assumptions. For the purpose of overcoming the difficulty caused by the appearance of the Schrödinger term and general singularity, we use the variational method and some mathematical skills to obtain the existence and uniqueness of the solution to this problem.

1. Introduction and Main Results

In this paper, we discuss the following problem:

where is a smooth bounded domain with boundary , are parameters, is the -Laplacian operator, and , with .

In recent years, a lot of scholars have studied the singular Kirchhoff problem (for more details, we refer the reader to [1–4]), the Schrödinger-Poisson system (we refer the reader to [5–8]), and the Kirchhoff-Schrödinger-Poisson system (we refer the reader to [9–12]). The authors use various methods to obtain the properties of the solution, which makes such problems very interesting. Inspired by the above papers, later scholars begin to make some expanding study about the above problems. For example, in [13], Guo and Nie studied the existence and multiplicity of nontrivial solutions for -Laplacian Schrödinger-Kirchhoff-type equations by variational methods. For a more complex situation, we refer the reader to [14]. The related studies on the elliptic equations also can be found in [15–26].

However, up to now, no paper has appeared in the literature which discusses the existence and uniqueness of the positive solution for the -Laplacian-Kirchhoff-Schrödinger-type problem. This paper attempts to fill this gap in the literature. Inspired by the above works, in this paper, we try to study the existence and uniqueness of solution to the problem (1) by using the variational method.

Next, we will make some assumptions about and .

satisfies that there exists , such that is nonincreasing on , , and there exists such that

satisfies ,  a.e.  .

and there exists a constant , such that

and the minimum of can be achieved in . In other words, there exists a constant , such that .

   is bounded in satisfies .

There exists a constant such that

where denotes the maximal value in .

In this paper, we will make full use of the following definitions.

First, we define the space and the norm

We denote the norm in by .

By and the Poincaré inequality, we can deduce that the embedding is continuous. Thus, according to the continuity of the embedding , there are constants such that

We make further assumptions for convenience. We assume for all . Since in , we know there exists , such that

which implies

Also, from the fact that , we can get that is continuous on . Thus for any , by the conditions , (8), (6) and Hölder inequality, we have

where for all and are some positive constants. Next, we can define the energy functional corresponding to problem (1):

By a simple computation, we can get

It is clear that with is called a weak solution of the problem (1) if for any it holds

Finally, we will give the main results of the paper.

Theorem 1. If with and the assumptions and hold, then the problem (1) possesses a positive solution for any . Moreover, this solution is a global minimizer of .

Theorem 2. If and the assumptions and hold. Moreover, assume that is nondecreasing on , then the solution for problem (1) is unique for any .

Remark 3. The result obtained in the paper is an expanding study of the Kirchhoff-Schrödinger-type equation ; the difficulty is posed by the degenerate quasilinear elliptic operator. We mainly use the variational method to solve the problem.

This paper is organized as follows. In Section 2, we will give a preliminary. In Section 3, we will prove the main results.

In this paper, denote various positive constants, which may vary from line to line.

2. Preliminary

To prove the main results in this paper, we will employ the following important lemma.

Lemma 4. If the assumptions , , , and hold, then attains the global minimum in ; that is, there exists such that , and .

Proof. For any , by (5), (9)–(11), we can get

Since and , we can obtain that is coercive and bounded from below on . The definition that makes some sense.
Since in the condition , there exists such that

Choosing a nonnegative function with , then for any , by (5), (10), (11), (15), we have

Since and , we can get that for small enough. That is .
On the basis of the definition of , we can deduce that there exists a sequence such that . Since is coercive and , is bounded in . Going if necessary to a subsequence, still denoted by , there exists such that

as . It follows from (8) and Sobolev embedding theorem that is bounded in . Moreover, from the continuity of , we can get that . Thus, we obtain in .
Since , we have

Moreover, by Fatou’s lemma, we have

According to the weakly lower semicontinuity of the norm, (18) and (19), we have

which yields . The proof is completed.

3. Proof of Main Results

Proof of Theorem 1. Since , then . Thus we may assume . Owing to , we know . Next we will give the two-step proof.
(i) Firstly, we shall prove .
For any with a.e.   and , we have

Letting , we can get

Thus, by Fatou’s lemma and Lemma   in [27], we can get

Let be the first eigenfunction of the operator with the Dirichlet boundary and for all . Taking in (23), by and the condition , we have

which implies a.e. by the condition . If not, there exists such that and for all . Then by Lemma   in [27], we can get

It is a contradiction. So the claim is true.
(ii) is exactly a solution of the problem (1); that is, satisfies (13):

To obtain the conclusion, we define a function ; that is,

From the above discussion, we know attains its minimum at . By Lemma   in [27], we can get that is differentiable at and ; that is,

For each and , we define and

Then and
Inserting into (23) and using (28), we can get that

which implies that

Next we define for all . By simple computation, we can deduce that is a nonincreasing sequence of measurable sets and Thus we have

Let ; then and as Selecting in (31), we have

According to the arbitrariness of , this inequality also holds for . Combining (33), we can get that, for any ,

Thus, is exactly a weak solution of the problem (1). By Lemma 4, we know . Therefore, is exactly a global minimizer solution.

Proof of Theorem 2. Assume that is also a solution of problem (1). Letting , according to the definition of the weak solution and (26), we can get

which implies

Next, we will make some estimates for the equation.
(i)

In fact, we estimate as follows.

(ii)

(iii)

Since is nondecreasing on , we have

Next, we estimate the left side of (37), according to the conditions and , we can prove that

Thus by a simple deduction and , one has

It follows from (37), (38), (40)–(42), and (44) and we have

where . Since in the condition , we can get that , that is, . Therefore, the solution of the problem (1) is unique.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was supported by the Distinguished Youth Science Foundation of Shanxi Province (2015021001), the Outstanding Youth Foundation of North University of China (no. JQ201604), and the Youth Academic Leaders Support Program of North University of China.

References

J.-F. Liao, P. Zhang, J. Liu, and C.-L. Tang, “Existence and multiplicity of positive solutions for a class of Kirchhoff type problems with singularity,” Journal of Mathematical Analysis and Applications, vol. 430, no. 2, pp. 1124–1148, 2015.

X. Liu and Y. Sun, “Multiple positive solutions for Kirchhoff type problems with singularity,” Communications on Pure and Applied Analysis, vol. 12, no. 2, pp. 721–733, 2013.

Y. W. Ye and C. L. Tang, “Multiple solutions for Kirchhoff-type equations in RN,” Journal of Mathematical Physics, vol. 54, no. 8, Article ID 081508, pp. 85–93, 2013.

J.-F. Liao, X.-F. Ke, C.-Y. Lei, and C.-L. Tang, “A uniqueness result for Kirchhoff type problems with singularity,” Applied Mathematics Letters, vol. 59, pp. 24–30, 2016.

Q. Zhang, “Existence, uniqueness and multiplicity of positive solutions for Schrodinger-Poisson system with singularity,” Journal of Mathematical Analysis and Applications, vol. 437, no. 1, pp. 160–180, 2016.

A. Ambrosetti and D. Ruiz, “Multiple bound states for the Schrödinger-Poisson problem,” Communications in Contemporary Mathematics, vol. 10, no. 3, pp. 391–404, 2008.

M. Sun, J. Su, and L. Zhao, “Solutions of a Schrödinger-Poisson system with combined nonlinearities,” Journal of Mathematical Analysis and Applications, vol. 442, no. 2, pp. 385–403, 2016.

Y. Sang, “An exact estimate result for a semilinear equation with critical exponent and prescribed singularity,” Journal of Mathematical Analysis and Applications, vol. 447, no. 1, pp. 128–153, 2017.

Q. Zhang, “Multiple positive solutions for Kirchhoff-Schrödinger-Poisson system with general singularity,” Boundary Value Problems, vol. 127, 17 pages, 2017.

D. Lv, “Positive solutions for Kirchhoff-Schrödinger-Poisson systems with general nonlinearity,” Communications on Pure and Applied Analysis, vol. 17, no. 2, pp. 605–626, 2018.

G. Zhao, X. Zhu, and Y. Li, “Existence of infinitely many solutions to a class of Kirchhoff-Schrödinger-Poisson system,” Applied Mathematics and Computation, vol. 256, pp. 572–581, 2015.

M. Mu and H. Lu, “Existence and multiplicity of positive solutions for Schrödinger-Kirchhoff-Poisson system with singularity,” Journal of Function Spaces, 12 pages, 2017.

Y. Guo and J. Nie, “Existence and multiplicity of nontrival sulutions for p-Laplacian Schrödinger-Kirchhoff-type equations,” Journal of Mathematical Analysis and Applications, vol. 428, no. 2, pp. 1054–1069, 2015.

S. H. Rasouli, H. Fani, and S. Khademloo, “Existence of sign-changing solutions for a nonlocal problem of p-Kirchhoff type,” Mediterranean Journal of Mathematics, vol. 14, no. 5, 14 pages, 2017.

J. Zhang, Z. Lou, Y. Ji, and W. Shao, “Ground state of Kirchhoff type fractional Schrödinger equations with critical growth,” Journal of Mathematical Analysis and Applications, vol. 462, no. 1, pp. 57–83, 2018.

A. Mao and X. Zhu, “Existence and multiplicity results for Kirchhoff problems,” Mediterranean Journal of Mathematics, vol. 14, no. 2, 2017.

Y. Sun, L. Liu, and Y. Wu, “The existence and uniqueness of positive monotone solutions for a class of nonlinear Schrödinger equations on infinite domains,” Journal of Computational and Applied Mathematics, vol. 321, pp. 478–486, 2017.

Y. Wang and J. Jiang, “Existence and nonexistence of positive solutions for the fractional coupled system involving generalized p-Laplacian,” Advances in Difference Equations, vol. 337, 19 pages, 2017.

X. Du and A. Mao, “Existence and multiplicity of nontrivial solutions for a class of semilinear fractional Schrödinger equations,” Journal of Function Spaces, vol. 7, 2017.

A. Mao, L. Yang, A. Qian, and S. Luan, “Existence and concentration of solutions of Schrödinger-Possion system,” Applied Mathematics Letters, vol. 68, pp. 8–12, 2017.

J. Liu and A. Qian, “Ground state solution for a Schrödinger-Poisson equation with critical growth,” Nonlinear Analysis: Real World Applications, vol. 40, pp. 428–443, 2018.

J. Liu and Z. Zhao, “Existence of positive solutions to a singular boundary-value problem using variational methods,” Electronic Journal of Differential Equations, vol. 135, 9 pages, 2014.

Q. Gao, F. Li, and Y. Wang, “Blow-up of the solution for higher-order Kirchhoff-type equations with nonlinear dissipation,” Central European Journal of Mathematics, vol. 9, no. 3, pp. 686–698, 2011.

A. Qian, “Infinitely many sign-changing solutions for a Schrödinger equation,” Advances in Difference Equations, vol. 2011, article no. 39, 2011.

X. Hao, H. Wang, L. Liu, and Y. Cui, “Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator,” Boundary Value Problems, vol. 182, 18 pages, 2017.

A. Mao and S. Luan, “Sign-changing solutions of a class of nonlocal quasilinear elliptic boundary value problems,” Journal of Mathematical Analysis and Applications, vol. 383, no. 1, pp. 239–243, 2011.

F. Li, Z. Song, and Q. Zhang, “Existence and uniqueness results for Kirchhoff–Schrödinger–Poisson system with general singularity,” Applicable Analysis: An International Journal, pp. 1–11, 2016.