Abstract
In this paper, we consider the following high-order p-Laplacian neutral differential equation with singularity:
By applications of coincidence degree theory and some analysis techniques, sufficient conditions for the existence of positive periodic solutions are established.
Similar content being viewed by others
1 Introduction
In this paper, we consider the following high-order p-Laplacian neutral differential equation with singularity:
where \(p\geq2\), \(\varphi_{p}(x)=|x|^{p-2}x\) for \(x\neq0\) and \(\varphi_{p}(0)=0\); \(g:[0,T]\times(0,\infty)\rightarrow\mathbb{R}\) is an \(L^{2}\)-Carathéodory function, i.e., it is measurable in the first variable and continuous in the second variable, and for every \(0< r< s\) there exists \(h_{r,s}\in L^{2}[0,T]\) such that \(|f(t,x(t))|\leq h_{r,s}\) for all \(x\in[r,s]\) and a.e. \(t\in[0,T]\). \(g(t,x)\) being singular at 0 means that \(g(t,x)\) becomes unbounded when \(x\rightarrow0^{+}\). τ and σ are constants and \(0\leq \tau, \sigma< T\); \(e:\mathbb{R}\rightarrow\mathbb{R}\) is a continuous periodic function with \(e(t+T)\equiv e(t)\) and \(\int^{T}_{0}e(t)\,dt=0\). T is a positive constant, c is a constant and \(|c|\neq1\); n, m are positive integers.
Generally speaking, differential equations with singularities have been considered from the very beginning of the discipline. The main reason is that singular forces are ubiquitous in applications, gravitational and electromagnetic forces being the most obvious examples. In 1986, Lazer and Solimini [1] discussed the second-order singular equation
and they showed that, if \(h(t)\) was continuous and T-periodic, then for all \(\alpha>0\) a positive T-periodic solution existed if and only if \(h(t)\) had a positive mean value. Afterwards, they studied the singular equation
and they found that if \(\alpha\geq1\), a positive T-periodic solution existed if and only if \(h(t)\) had a negative mean value. This last result was best possible in that for any α, \(0 <\alpha< 1\), h can be chosen so that h had a negative mean value and the equation had no T-periodic solution.
Lazer and Solimini’s work has attracted the attention of many specialists in differential equations. More recently, the method of lower and upper solutions [2–4], the Poincaré-Birkhoff twist theorem [5–7], topological degree theory [8, 9], the Schauder fixed point theorem [10–12], the Leray-Schauder alternative principle [13–15], the Krasnoselskii fixed point theorem in a cone [16, 17], and the fixed point index theory [18] have been employed to investigate the existence of positive periodic solutions of singular second-order, third-order, and fourth-order differential equations.
However, the singular differential equation (1.1), in which there are p-Laplacian and high-order cases, has not attracted much attention in the literature. There are not so many results concerning the existence of a positive periodic solution for (1.1) even when we have a neutral operator. In this paper, we try to fill gap and establish the existence of a positive periodic solution of (1.1) using coincidence degree theory. Our new results generalize in several aspects some recent results contained in [8].
In what follows, we need the notations:
2 Preparation
Let \(C_{T}=\{\phi\in C(\mathbb{R},\mathbb{R}):\phi(t+T)\equiv \phi(t)\}\) with the norm \(|\phi|_{\infty}=\max_{t\in[0,T]}|\phi(t)|\). Define operators A as follows:
Lemma 2.1
(see [19])
If \(|c|\neq1\), then the operator A has a continuous inverse \(A^{-1}\) on \(C_{T}\), satisfying:
-
(1)
$$\bigl[A^{-1}f \bigr](t)= \textstyle\begin{cases}f(t)+ \sum^{\infty}_{j=1}c^{j}f(t-j\tau),& \textit{for } |c|< 1, \forall f\in C_{T},\\ -\frac{f(t+\tau)}{c}-\sum^{\infty}_{j=1}\frac {1}{c^{j+1}}f(t+(j+1)\tau), & \textit{for } |c|>1, \forall f\in C_{T}. \end{cases} $$
-
(2)
\(\vert [A^{-1}f ](t)\vert \leq\frac{|f|_{\infty}}{|1-|c||}\), \(\forall f\in C_{T}\).
-
(3)
\(\int^{T}_{0}\vert [A^{-1}f ](t)\vert \,dt\leq\frac{1}{|1-|c||}\int ^{T}_{0}|f(t)|\,dt\), \(\forall f\in C_{T}\).
Let X and Y be real Banach spaces and \(L:D(L)\subset X\rightarrow Y\) be a Fredholm operator with index zero, here \(D(L)\) denotes the domain of L. This means that ImL is closed in Y and \(\dim \operatorname{Ker} L=\dim(Y/\operatorname{Im} L)<+\infty\). Consider supplementary subspaces \(X_{1}\), \(Y_{1}\) of X, Y, respectively, such that \(X=\operatorname{Ker} L \oplus X_{1}\), \(Y=\operatorname{Im} L\oplus Y_{1}\). Let \(P:X\rightarrow \operatorname{Ker} L\) and \(Q:Y\rightarrow Y_{1}\) denote the natural projections. Clearly, \(\operatorname{Ker} L\cap(D(L)\cap X_{1})=\{0\}\) and so the restriction \(L_{P}:=L|_{D(L)\cap X_{1}}\) is invertible. Let K denote the inverse of \(L_{P}\).
Let Ω be an open bounded subset of X with \(D(L)\cap\Omega\neq\emptyset\). A map \(N:\overline{\Omega}\rightarrow Y\) is said to be L-compact in Ω̅ if \(QN(\overline{\Omega})\) is bounded and the operator \(K(I-Q)N:\overline{\Omega}\rightarrow X\) is compact.
Lemma 2.2
(Gaines and Mawhin [20])
Suppose that X and Y are two Banach spaces, and \(L:D(L)\subset X\rightarrow Y\) is a Fredholm operator with index zero. Let \(\Omega\subset X\) be an open bounded set and \(N:\overline{\Omega}\rightarrow Y \) be L-compact on Ω̅. Assume that the following conditions hold:
-
(1)
\(Lx\neq\lambda Nx\), \(\forall x\in\partial\Omega\cap D(L)\), \(\lambda\in(0,1)\);
-
(2)
\(Nx\notin \operatorname{Im} L\), \(\forall x\in\partial\Omega\cap \operatorname{Ker} L\);
-
(3)
\(\deg\{JQN,\Omega\cap \operatorname{Ker} L,0\}\neq0\), where \(J:\operatorname{Im} Q\rightarrow \operatorname{Ker} L\) is an isomorphism.
Then the equation \(Lx=Nx\) has a solution in \(\overline{\Omega}\cap D(L)\).
In order to apply coincidence degree theorem, we rewrite (1.1) in the form
where \(\frac{1}{p}+\frac{1}{q}=1\). Clearly, if \(x(t)=(x_{1}(t),x_{2}(t))^{\top}\) is a T-periodic solution to (2.1), then \(x_{1}(t)\) must be a T-periodic solution to (1.1). Thus, the problem of finding a T-periodic solution for (1.1) reduces to finding one for (2.1).
Now, set \(X=\{x=(x_{1}(t),x_{2}(t))\in C(\mathbb{R},\mathbb{R}^{2}): x(t+T)\equiv x(t)\}\) with the norm \(|x|_{\infty}=\max\{|x_{1}|_{\infty},|x_{2}|_{\infty}\}\); \(Y=\{x=(x_{1}(t),x_{2}(t))\in C^{1}(\mathbb{R},\mathbb{R}^{2}): x(t+T)\equiv x(t)\}\) with the norm \(\|x\|=\max\{|x|_{\infty},|x'|_{\infty}\}\). Clearly, X and Y are both Banach spaces. Meanwhile, define
by
and \(N: X\rightarrow Y\) by
Then (2.1) can be converted into the abstract equation \(Lx=Nx\). From the definition of L, one can easily see that
So L is a Fredholm operator with index zero. Let \(P:X\rightarrow \operatorname{Ker} L\) and \(Q:Y\rightarrow \operatorname{Im} Q\subset\mathbb {R}^{2}\) be defined by
then \(\operatorname{Im} P=\operatorname{Ker} L\), \(\operatorname{Ker}Q= \operatorname{Im} L\). Setting \(L_{P}=L|_{D(L)\cap \operatorname{Ker} P}\) and writing \(L_{P}^{-1}: \operatorname{Im} L\rightarrow D(L)\) to denote the inverse of \(L_{P}\), then
where \((Ax_{1})^{(i)}(0)\), \(i=1,2,\ldots,n-1\) are defined by the following:
\(Z=((Ax_{1})^{(n-1)}(0),\ldots,(Ax_{1})''(0),(Ax_{1})'(0))^{\top }\), \(B=(b_{1},b_{2},\ldots,b_{n-1})^{\top}\), \(b_{i}=-\frac{1}{i!T}\int ^{T}_{0}(T-s)^{i} y_{1}(s)\,ds\), and \(c_{j}=\frac{T^{j}}{(j+1)!}\), \(j=1,2,\ldots,n-2\). \(x_{2}^{(i)}(0)\), \(i=1,2,\ldots,m-1\), are determined by the equation
\(W=((x_{2})^{(m-1)}(0),\ldots,(x_{2})''(0),(x_{2})'(0))^{\top }\), \(F=(d_{1},d_{2},\ldots,d_{n-1})^{\top}\), \(d_{i}=-\frac{1}{i!T}\int ^{T}_{0}(T-s)^{i}y_{2}(s)\,ds\), and \(c_{j}=\frac{T^{j}}{(j+1)!}\), \(j=1,2,\ldots,m-2\).
From (2.2) and (2.3), it is clear that QN and \(K(I-Q)N\) are continuous, \(QN(\overline{\Omega})\) is bounded and then \(K(I-Q)N(\overline{\Omega})\) is compact for any open bounded \(\Omega\subset X\), which means N is L-compact on Ω̄.
3 Existence of positive periodic solutions for (1.1)
For the sake of convenience, we list the following assumptions which will be used repeatedly in the sequel:
- (H1):
-
There exist constants \(0< D_{1}< D_{2}\) such that if x is a positive continuous T-periodic function satisfying
$$\int^{T}_{0}g\bigl(t,x(t)\bigr)\,dt=0, $$then
$$D_{1}\leq x(\tau)\leq D_{2} $$for some \(\tau\in[0,T]\).
- (H2):
-
\(\bar{g}(x)<0\) for all \(x \in(0,D_{1})\), and \(\bar{g}(x)>0\) for all \(x>D_{2}\).
- (H3):
-
Assume that
$$ \psi(t)=\lim_{x\rightarrow+\infty}\sup\frac{g(t,x)}{x^{p-1}}, $$exist uniformly a.e. \(t\in[0,T]\), i.e., for any \(\varepsilon>0\) there is \(g_{\varepsilon}\in L^{2}(0,T)\) such that
$$g(t,x)\leq\bigl(\psi(t)+\varepsilon\bigr)x^{p-1}+g_{\varepsilon}(t) $$for all \(x>0\) and a.e. \(t\in[0,T]\). Moreover, \(\psi\in C(\mathbb{R},\mathbb{R})\) and \(\psi(t+T)=\psi(t)\).
- (H4):
-
\(g(t,x)=g_{0}(x)+g_{1}(t,x)\), where \(g_{0}\in C((0,\infty);\mathbb{R}) \) and \(g_{1}:[0,T]\times[0,\infty)\rightarrow\mathbb{R}\) is an \(L^{2}\)-Carathéodory function.
- (H5):
-
\(\int^{1}_{0}g_{0}(x)\,dx=-\infty\).
- (H6):
-
There exist two positive constants a, b such that
$$\bigl|f\bigl(x(t)\bigr)\bigr|\leq a|x_{1}|^{p-2}+b,\quad \forall x\in \mathbb{R}. $$
Theorem 3.1
Assume that conditions (H1)-(H6) hold. Suppose one of the following conditions is satisfied:
-
(i)
\(p>2\) and \(\frac{(a+|\psi|_{\infty}T)T^{p}}{2^{p}|1-|c||^{p-1}} (\frac{T}{2\pi } )^{(n-1)(p-1)+(m-2)}<1\);
-
(ii)
\(p=2\) and \(\frac{(a+|\psi|_{\infty}T)T^{p}}{2^{p}|1-|c||^{p-1}} (\frac{T}{2\pi} )^{(n-1)(p-1)+(m-2)}+ \frac{bT^{2} (\frac{T}{2\pi} )^{n+m-3}}{4|1-|c||}<1\).
Then (1.1) has at least one positive T-periodic solution.
Proof
Consider the equation
Set \(\Omega_{1}=\{x:Lx=\lambda Nx,\lambda\in (0,1)\}\). If \(x(t)=(x_{1}(t),x_{2}(t))^{\top}\in\Omega_{1}\), then
Substituting \(x_{2}(t)=\lambda^{1-p}\varphi_{p}[(Ax_{1})^{(n)}(t)]\) into the second equation of (3.1)
Integrating of both sides of (3.2) from 0 to T, we have
In view of (H1), there exist positive constants \(D_{1}\), \(D_{2}\), and \(\xi\in[0,T]\) such that
Then we have
and
Combing the above two inequalities, we obtain
Since
from Lemma 2.1 and the first equation of (3.1), we have
On the other hand, from \(x_{2}^{(m-2)}(0)=x_{2}^{(m-2)}(T)\), there exists a point \(t_{1}\in[0,T]\) such that \(x_{2}^{(m-1)}(t_{1})=0\), which together with the integration of the second equation of (3.1) on the interval \([0,T]\) yields
Write
Then we get from (H3) and (3.3) that
Substituting (3.4) and (3.7) into (3.6), and from (H5), we have
For a given constant \(\delta>0\), which is only dependent on \(k>0\), we have
From (3.8), we have
From the Wirtinger inequality (see [21], Lemma 2.4), we get
Substituting (3.10) into (3.9), we have
Substituting (3.5) into (3.11), we have
Since \(\int^{T}_{0}(\varphi_{q}(x_{2}(t)))\,dt=\int^{T}_{0}(Ax_{1}(t))^{(n)}(t)\,dt=0\), there exists a point \(t_{2}\in[0,T]\) such that \(x_{2}(t_{2})=0\). From the Wirtinger inequality, we can easily get
Combination of (3.13) and (3.12) implies
So, we have
Case (i): If \(p>2\), we can get \(1< q<2\). Since ε sufficiently small, we know that
there exists a positive constant \(M_{1}\) such that
Case (ii): If \(p=2\), we can get \(q=2\). Since ε is sufficiently small, we know that
there exists a positive constant \(M_{1}\) such that
On the other hand, from (3.5), we have
Since \(x_{1}(0)=x_{1}(T)\), there exists a point \(t_{3}\in[0,T]\) such that \(x_{1}'(t_{3})=0\). From the Wirtinger inequality, we can easily get
Hence, from (3.4), we have
From (3.7), (3.16), and (3.17) we have
where \(|f|_{M_{3}}=\max_{0< x_{1}(t)\leq M_{3}}|f(x_{1}(t))|\). Since \(x_{2}(0)=x_{2}(T)\), there exists a point \(t_{4}\in[0,T]\) such that \(x_{2}'(t_{4})=0\). From the Wirtinger inequality, we can easily get
Next, it follows (3.2) that
Namely,
Multiplying both sides of (3.19) by \(x_{1}'(t)\), we get
Let \(\tau\in[0,T]\), for any \(\tau\leq t\leq T\), we integrate (3.20) on \([\tau, t]\) and get
By (3.2), (3.7), (3.16), and (3.17), we have
We have
where \(g_{M_{3}}=\max_{0\leq x\leq M_{3}}|g_{1}(t,x)|\in L^{2}(0,T)\) is as in (H3); we have
From these inequalities we can derive from (3.21) that
for some constant \(M_{5}'\), which is independent on λ, x, and t. In view of the strong force condition (H4), we know that there exists a constant \(M_{5}>0\) such that
The case \(t\in[0,\tau]\) can be treated similarly.
From (3.14), (3.16), and (3.17) and (3.23), we let
where \(0< E_{1}<\min\{M_{5}, D_{1}\}\), \(E_{2}>\max\{M_{1}, D_{2}\} \), \(E_{3}>M_{2}\), \(E_{4}>M_{4}\), and \(E_{5}>M_{3}\). \(\Omega_{2}=\{x:x\in\partial\Omega\cap \operatorname{Ker}L\}\) then \(\forall x\in \partial\Omega\cap \operatorname{Ker} L\)
If \(QNx=0\), then \(x_{2}(t)=0\), \(x_{1}=E_{2}\) or \(-E_{2}\). But if \(x_{1}(t)=E_{2}\), we know
From assumption (H2), we have \(x_{1}(t)\leq D_{2}\leq E_{2}\), which yields a contradiction. Similarly if \(x_{1}=-E_{2}\). We also have \(QNx\neq0\), i.e., \(\forall x\in\partial\Omega\cap \operatorname{Ker} L\), \(x\notin \operatorname{Im} L\), so conditions (1) and (2) of Lemma 2.2 are both satisfied. Define the isomorphism \(J:\operatorname{Im} Q\rightarrow \operatorname{Ker} L\) as follows:
Let \(H(\mu,x)=-\mu x+(1-\mu)JQNx\), \((\mu,x)\in[0,1]\times\Omega\), then \(\forall (\mu,x)\in(0,1)\times(\partial\Omega\cap \operatorname{Ker} L)\),
We have \(\int^{T}_{0}e(t)\,dt=0\). So, we can get
From (H2), it is obvious that \(x^{\top}H(\mu,x)<0\), \(\forall (\mu,x)\in(0,1)\times(\partial\Omega\cap \operatorname{Ker} L)\). Hence
So condition (3) of Lemma 2.2 is satisfied. By applying Lemma 2.2, we conclude that equation \(Lx=Nx\) has a solution \(x=(x_{1},x_{2})^{\top}\) on \(\bar{\Omega}\cap D(L)\), i.e., (1.1) has an T-periodic solution \(x_{1}(t)\). □
Example 3.1
Consider the p-Laplacian type high-order neutral differential equation with singularity
where \(\kappa\geq1\) and \(p=4\), σ and τ are constants, and \(0\leq\sigma, \tau< T\).
It is clear that \(T=\pi\), \(m=n=3\), \(c=11\), \(g(t,x)=\frac{1}{10}(\cos2t+4)x^{3}(t-\sigma)-\frac{1}{x^{\kappa}(t-\sigma)}\), \(\psi(t)=\frac{1}{10}(\cos2t+4)\), \(|\psi|_{\infty}=\frac{1}{2}\), \(f(x(t))=3x^{2}(t)\), and \(|f(x(t))|\leq3|x^{2}(t)|+1\); here \(a=3\), \(b=1\). It is obvious that (H1)-(H5) hold. Now we consider the assumption of the condition
So by Theorem 3.1, we know (3.24) has at least one positive π-periodic solution.
References
Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 99, 109-114 (1987)
Rachunková, I, Tvrdý, M, Vrkoc̆, I: Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems. J. Differ. Equ. 176, 445-469 (2001)
Bonheure, D, De Coster, C: Forced singular oscillators and the method of lower and upper solutions. Topol. Methods Nonlinear Anal. 22, 927-938 (2003)
Hakl, R, Torres, P: On periodic solutions of second-order differential equations with attractive-repulsive singularities. J. Differ. Equ. 248, 111-126 (2010)
Fonda, A, Manásevich, R: Subharmonics solutions for some second order differential equations with singularities. SIAM J. Math. Anal. 24, 1294-1311 (1993)
Xia, J, Wang, ZH: Existence and multiplicity of periodic solutions for the Duffing equation with singularity. Proc. R. Soc. Edinb., Sect. A 137, 625-645 (2007)
Cheng, ZB, Ren, JL: Periodic and subharmonic solutions for Duffing equation with singularity. Discrete Contin. Dyn. Syst., Ser. A 32, 1557-1574 (2012)
Wang, ZH: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227-234 (2014)
Cheng, ZB: Existence of positive periodic solutions for third-order differential equation with strong singularity. Adv. Differ. Equ. 2014, 162 (2014)
Torres, P: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232, 277-284 (2007)
Ren, JL, Cheng, ZB, Chen, YL: Existence results of periodic solutions for third-order nonlinear singular differential equation. Math. Nachr. 286, 1022-1042 (2013)
Xin, Y, Cheng, ZB: Some results for fourth-order nonlinear differential equation with singularity. Bound. Value Probl. 2015, 200 (2015)
Cheng, ZB, Ren, JL: Studies on a damped differential equation with repulsive singularity. Math. Methods Appl. Sci. 36, 983-992 (2013)
Cheng, ZB, Ren, JL: Positive solutions for third-order variable-coefficient nonlinear equation with weak and strong singularities. J. Differ. Equ. Appl. 21, 1003-1020 (2015)
Cheng, ZB, Ren, JL: Multiplicity results of positive solutions for four-order nonlinear differential equation with singularity. Math. Methods Appl. Sci. (2015). doi:10.1002/mma.3481
Chu, JF, Torres, P, Zhang, MR: Periodic solution of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196-212 (2007)
Wang, HY: Positive periodic solutions of singular systems with a parameter. J. Differ. Equ. 249, 2986-3002 (2010)
Sun, J, Liu, Y: Multiple positive solutions of singular third-order periodic boundary value problem. Acta Math. Sci. 25, 81-88 (2005)
Zhang, MR: Periodic solutions of linear and quasilinear neutral functional differential equations. J. Math. Anal. Appl. 189, 378-392 (1995)
Gaines, RE, Mawhin, JL: Coincidence Degree and Nonlinear Differential Equation. Springer, Berlin (1977)
Torres, P, Cheng, ZB, Ren, JL: Non-degeneracy and uniqueness of periodic solutions for 2n-order differential equations. Discrete Contin. Dyn. Syst. 33, 2155-2168 (2013)
Acknowledgements
YX, XFH, and ZBC would like to thank the referee for invaluable comments and insightful suggestions. This work was supported by NSFC project (No. 11501170), Fundamental Research Funds for the Universities of Henan Provience (NSFRF140142), Education Department of Henan Province project (No. 16B110006), Henan Polytechnic University Outstanding Youth Fund (J2015-02) and Henan Polytechnic University Doctor Fund (B2013-055).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YX, XFH, and ZBC worked together in the derivation of the mathematical results. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Xin, Y., Han, X. & Cheng, Z. Positive periodic solution for high-order p-Laplacian neutral differential equation with singularity. Bound Value Probl 2016, 33 (2016). https://doi.org/10.1186/s13661-016-0545-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0545-3