Advertisement

Advances in Difference Equations

, 2018:368 | Cite as

Singularity problems to fourth-order Rayleigh equation with time-dependent deviating argument

  • Yun Xin
  • Hongmin Liu
Open Access
Research
  • 117 Downloads

Abstract

The paper is devoted to an investigation of the existence of a positive periodic solution for a kind of fourth-order singular Rayleigh equation with time-dependent deviating argument, where the nonlinear term g satisfies singularities of attractive and repulsive type at the origin and has time-dependent deviating argument. By applications of coincidence degree theory, we prove that this equation has at least one positive periodic solution. At last, two examples are given to show applications of theorems.

Keywords

Positive periodic solution Fourth-order Rayleigh equation Singularities of attractive and repulsive type Time-dependent deviating argument 

MSC

34B16 34C25 

1 Introduction

In this paper, we consider the following fourth-order p-Laplacian singular Rayleigh equation with time-dependent deviating argument:
$$ { } \bigl(\phi_{p}\bigl(x''(t) \bigr)\bigr)''+f\bigl(t,x'(t)\bigr)+g \bigl(t,x\bigl(t-\delta(t)\bigr)\bigr)=e(t), $$
(1.1)
where \(\phi_{p}:\mathbb{R}\rightarrow\mathbb{R}\) is given by \(\phi_{p}(s)=|s|^{p-2}s\), and \(p>1\) is a constant; \(f: \mathbb{R}\times\mathbb{R}\to\mathbb{R}\) is a continuous T-periodic function about t and \(f(t,0)=0\); \(e:\mathbb{R}\rightarrow\mathbb{R}\) is a continuous periodic functions with \(e(t+T)\equiv e(t)\); \(\delta\in C^{1}(\mathbb{R},\mathbb{R})\) is a T-periodic function; \(g:\mathbb{R}\times(0,+\infty)\to\mathbb{R}\) is a \(L^{2}\)-Carathéodory function defined on \(\mathbb{R}^{2}\), and \(g(t,\cdot)=g(t+T,\cdot)\); it is said that Eq. (1.1) is singularity of attractive type (resp. repulsive type) if \(g(t,x)\rightarrow+\infty\) (resp. \(g(t,x)\rightarrow-\infty\)) as \(x\rightarrow0^{+}\) for \(t\in\mathbb{R}\).
As is well known, the Rayleigh equation can be derived from many fields, such as engineering technique, physics and mechanics fields, and an important question is whether we have periodic solutions to the Rayleigh equation. Gaines and Mawhin [1] in 1977 introduced continuation theorems and applied this theorem to prove the existence of a periodic solutions for the Rayleigh equation ([1], p. 99)
$$ { } x''(t)+f\bigl(x'(t) \bigr)+g\bigl(t,x(t)\bigr)=0. $$
(1.2)

Gaines and Mawhin’s work has attracted the attention of many scholars to the Rayleigh equation. More recently, the method of lower and upper solutions [2], Mawhin’s continuous theorem [3, 4, 5], topological degree and time maps [6, 7], and the Manásevich–Mawhin continuation theorem [8, 9, 10] have been employed to investigate the existence of a periodic solution of Rayleigh equations.

On the other hand, the existence of a periodic solutions for a singular differential equation was extensively studied (see [11, 12, 13, 14, 15, 16, 17, 18, 19, 20]). Among these, there are some results on the Liénard equation with a singularity of repulsive type [14, 15, 19, 20]. Zhang [19] in 1996 introduced the problem of periodic solutions of the following Liénard equation with a repulsive singularity:
$$ { }x''(t)+ f\bigl(x(t)\bigr)x'(t)+ g\bigl(t,x(t)\bigr)=0, $$
(1.3)
where the nonlinear term g has a singularity of repulsive type at the origin and satisfies semilinear condition at \(x=\infty\), the author proved that Eq. (1.3) has at least one positive T-periodic solution by using Mawhin’s continuous theorem. Wang [20] in 2014 improved Eq. (1.3) and proved the existence of a positive periodic solution of the following Liénard equation with a singularity of repulsive type and a deviating argument:
$$ { }x''(t)+ f\bigl(x(t)\bigr)x'(t)+ g\bigl(t,x(t-\delta)\bigr)=0, $$
(1.4)
where δ is a constant and \(\delta\in[0,T]\).
Nowadays, a good deal of work has been performed on the existence of a positive periodic solution of the Rayleigh equation with a singularity [21, 22, 23, 24]. Wang and Ma [24] in 2015 discussed a kind of singular Rayleigh equation as follows:
$$ x''(t)+f\bigl(t,x'(t) \bigr)+g\bigl(x(t)\bigr)=p(t), $$
(1.5)
where the nonlinear term g has a singularity of repulsive type at the origin and satisfies semilinear condition. The authors obtained the existence of a positive periodic solution for Eq. (1.5) by applications of the limit properties of time map. Lu and Chen [21] in 2017 studied the following Rayleigh equation with singularity of repulsive type:
$$ x''+f\bigl(t,x'(t)\bigr)+ \varphi(t)x(t)-\frac{1}{x^{\gamma}(t)}=p(t), $$
(1.6)
where \(\gamma\geq1\). By using topological degree theory, the authors proved Eq. (1.6) has at least one positive T-periodic solution.

Inspired by the above paper [1, 19, 20, 21, 24], in this paper, we further consider the existence of a positive T-periodic solution for Eq. (1.1) with singularities of attractive and repulsive type. By applications of coincidence degree theory, we obtain the following conclusions.

Theorem 1.1

Assume that the following conditions hold:
\((H_{1})\)
There exists a positive constant N such that
$$\bigl\vert f(t,u) \bigr\vert \leq N,\quad \textit{for }(t,u)\in[0,T]\times \mathbb{R}. $$
\((H_{2})\)

There exist two positive constants\(D_{1}\), \(D_{2}\)with\(D_{1}< D_{2}\)such that\(g(t,x)-e(t)<-N\)for all\((t,x) \in [0,T]\times(0,D_{1})\), and\(g(t,x)-e(t)>N\)for all\((t,x) \in [0,T]\times(D_{2},+\infty)\).

\((H_{3})\)
There exist positive constantsa, bsuch that
$$ g(t,x)\leq ax^{p-1}+b,\quad \textit{for all } (t,x)\in[0,T]\times(0,+ \infty). $$
\((H_{4})\)

\(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.

\((H_{5})\)
(Singularity of repulsive type)
$$ \int^{1}_{0}g_{0}(x)\,dx=-\infty. $$
Then Eq. (1.1) has at least one positiveT-periodic solution if
$$0< \frac{ aT}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1}< 1, $$
where\(\delta'=:\max_{t\in[0,T]}|\delta(t)|\), and\(1\leq p<\infty\), \(\pi_{p}=2\int^{(p-1)/p}_{0}\frac{\,ds}{(1-\frac{s^{p}}{p-1})^{1/p}}=\frac {2\pi(p-1)^{1/p}}{p\sin(\pi/p)}\).

Remark 1.2

The friction term \(f(x(t))x'(t)\) in Eqs. (1.3) and (1.4) satisfy \(\int^{T}_{0}f(x(t))x'(t)\,dt=0\), which is crucial to estimate a priori bounds of a positive T-periodic solution for these equations. However, in this paper, the friction term \(f(t,x')\) may not satisfy \(\int^{T}_{0}f(t,x'(t))\,dt=0\). For example, let
$$f\bigl(t,x'\bigr)=\bigl(\cos^{2}(2t)+100\bigr)\sin x'(t). $$
Obviously, \(\int^{T}_{0}(\cos^{2}(2t)+100)\sin x'(t)\neq0\). This implies that our methods to estimate a priori bounds of a positive T-periodic solution for Eq. (1.1) is more complex than Eqs. (1.3) and (1.4).

Remark 1.3

From Eqs. (1.3), (1.4), (1.5), (1.6) in [19, 20, 21, 24], the nonlinear term g has a deviating argument (i.e., δ is a positive constant and \(0\leq\delta< T\)). But, in this paper, the nonlinear term g satisfies a time-dependent deviating argument. For example, let
$$\delta(t)=\frac{1}{4}\sin 2t. $$
Obviously, the work on estimating a lower bounds of a positive T-periodic solution for Eq. (1.1) is more difficult than the corresponding work on Eqs. (1.3), (1.4), (1.5), (1.6). Therefore, we have to find another way to get over the difficulty.

Remark 1.4

If Eq. (1.1) satisfies singularity of attractive type, i.e., \(\int^{1}_{0}g_{0}(x)\,dx=+\infty\). Obviously, attractive condition and \((H_{2})\), \((H_{3})\), \((H_{5})\) are contradiction. Therefore, the above method and conditions are no long applicable to the proof of existence of a positive periodic solution for Eq. (1.1) with singularity of attractive type. Next, we give other conditions to prove the existence of a positive T-periodic solution for Eq. (1.1) with singularity of attractive type.

Theorem 1.5

Assume that conditions\((H_{1})\)and\((H_{4})\)hold. Suppose the following conditions are satisfied:
\((H_{6})\)

There exist two positive constants\(D_{3}\), \(D_{4}\)with\(D_{3}< D_{4}\)such that\(g(t,x)-e(t)>N\)for all\((t,x) \in [0,T]\times(0,D_{3})\), and\(g(t,x)-e(t)<-N\)for all\((t,x) \in [0,T]\times(D_{4},+\infty)\).

\((H_{7})\)
There exist positive constants\(a'\), \(b'\)such that
$$ -g(t,x)\leq a'x^{p-1}+b',\quad \textit{for all } (t,x)\in[0,T]\times(0,+\infty). $$
\((H_{8})\)
(Singularity of attractive type)
$$ \int^{1}_{0}g_{0}(x)\,dx=+\infty. $$
Then Eq. (1.1) has at least one positiveT-periodic solution if
$$0< \frac{ a'T}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1}< 1. $$

2 Preparation

Lemma 2.1

(Gaines and Mawhin [1])

Suppose thatXandYare 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 \)beL-compact on Ω̅. Assume that the following conditions hold:
  1. (1)

    \(Lx\neq\lambda Nx\), \(\forall x\in\partial\Omega\cap D(L)\), \(\lambda\in(0,1)\);

     
  2. (2)

    \(Nx\notin \operatorname{Im} L\), \(\forall x\in\partial\Omega\cap \operatorname{Ker} L\);

     
  3. (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)\).

Lemma 2.2

([25])

If\(\omega\in C^{1}(\mathbb {R},\mathbb{R})\)and\(\omega(0)=\omega(T)=0\), then
$$\biggl( \int^{T}_{0} \bigl\vert \omega(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}\leq \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert \omega'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}. $$
In order to apply topological degree theorem to study the existence of a positive periodic solution for Eq. (1.1), we rewrite Eq. (1.1) in the form:
$$ { } \textstyle\begin{cases} x_{1}''(t)=(\phi_{q}(x_{2}(t)),\\ x_{2}''(t)=-f(t,x_{1}'(t))-g(t,x_{1}(t-\delta(t)))+e(t), \end{cases} $$
(2.1)
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 Eq. (2.1), then \(x_{1}(t)\) must be a T-periodic solution to Eq. (1.1). Thus, the problem of finding a T-periodic solution for Eq. (1.1) reduces to finding one for Eq. (2.1).
Let
$$X:=\bigl\{ x=\bigl(x_{1}(t),x_{2}(t)\bigr)\in C^{2} \bigl(\mathbb{R},\mathbb{R}^{2}\bigr): x(t+T)-x(t)\equiv0\bigr\} $$
with the norm \(\|x\|:=\max\{\|x_{1}\|,\|x_{2}\|\}\);
$$Y:=\bigl\{ x=\bigl(x_{1}(t),x_{2}(t)\bigr)\in C^{1} \bigl(\mathbb{R},\mathbb{R}^{2}\bigr): x(t+T)-x(t)\equiv0\bigr\} $$
with the norm \(\|x\|_{\infty}:=\max\{\|x\|,\|x'\|\}\). Clearly, X and Y are both Banach spaces. Meanwhile, define
$$ { } L:D(L)\subset X\rightarrow Y,\quad \mbox{by } (Lx) (t)= \begin{pmatrix} x_{1}''(t)\\x_{2}''(t) \end{pmatrix}, $$
(2.2)
where \(D(L)=\{x=(x_{1},x_{2})^{\top}\in C^{2}(\mathbb{R},\mathbb{R}^{2}): x(t+T)-x(t)\equiv0, t \in \mathbb{R}\}\). Define a nonlinear operator \(N: X\rightarrow Y\) as follows:
$$ { } (Nx) (t)= \begin{pmatrix} \phi_{q}(x_{2}(t))\\-f(t,x_{1}'(t))-g(t,x_{1}(t-\delta(t)))+e(t) \end{pmatrix}. $$
(2.3)
Then Eq. (2.1) can be converted to the abstract equation \(Lx=Nx\).
From the definition of L, one can easily see that
$$\operatorname{Ker} L \cong\mathbb {R}^{2},\qquad \operatorname{Im} L=\left \{y\in Y: \int_{0}^{T} \begin{pmatrix} y_{1}(s)\\ y_{2}(s) \end{pmatrix} \,ds= \begin{pmatrix} 0\\ 0 \end{pmatrix} \right \}. $$
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
$$Px:= \begin{pmatrix} (x_{1})(0)\\x_{2}(0) \end{pmatrix} ;\qquad Qy:=\frac{1}{T} \int_{0}^{T} \begin{pmatrix} y_{1}(s)\\ y_{2}(s) \end{pmatrix} \,ds, $$
then \(\operatorname{Im} P=\operatorname{Ker} L\), \(\operatorname{Ker} Q=\operatorname{Im} L\). let K denote the inverse of \(L|_{\operatorname{Ker} p\cap D(L)}\). It is easy to see that \(\operatorname{Ker} L=\operatorname{Im} Q=\mathbb{R}^{2}\) and
$$[Ky](t)=\operatorname{col} \biggl( \int^{T}_{0}G_{1}(t,s)y_{1}(s)\,ds, \int ^{T}_{0}G_{2}(t,s)y_{2}(s)\,ds \biggr), $$
where
$$ { } G_{i}(t,s)= \textstyle\begin{cases} \frac{-s(T-t)}{T},\quad 0\leq s \leq t\leq T,\\ \frac{-t(T-s)}{T}, \quad 0\leq t< s \leq T, \end{cases}\displaystyle i=1,2. $$
(2.4)

3 Main results

In the section, we first consider the existence of a positive T-periodic solution for Eq. (1.1) with singularity of repulsive type.

Proof of Theorem 1.1

Consider the operator equation
$$Lx=\lambda Nx,\quad \lambda\in(0,1), $$
where L and N are defined by Eqs. (2.2) and (2.4). Set
$$\Omega_{1}=\bigl\{ x:Lx=\lambda Nx,\lambda\in(0,1)\bigr\} . $$
If \(x(t)=(x_{1}(t),x_{2}(t))^{\top}\in\Omega_{1}\), then
$$ { } \textstyle\begin{cases} x_{1}''(t)=\lambda\phi_{q}(x_{2}(t)),\\ x_{2}''(t)=-\lambda f(t,x_{1}'(t))-\lambda g(t,x_{1}(t-\delta(t)))+\lambda e(t). \end{cases} $$
(3.1)
Substituting \(x_{2}(t)=\frac{1}{\lambda^{p-1}}(\phi_{p}(x_{1})''(t))\) into the second equation of (3.1)
$$ { } \phi_{p}\bigl(x_{1}''(t) \bigr)''(t)+\lambda^{p}f\bigl(t,x_{1}'(t) \bigr)+\lambda^{p}g\bigl(t,x_{1}\bigl(t-\delta (t)\bigr) \bigr)=\lambda^{p}e(t). $$
(3.2)
Integrating both side of Eq. (3.2) over \([0,T]\), we have
$$ { } \int^{T}_{0} \bigl(f\bigl(t,x_{1}'(t) \bigr)+g\bigl(t,x_{1}\bigl(t-\delta(t)\bigr)\bigr)-e(t) \bigr)\,dt=0, $$
(3.3)
since \(\int^{T}_{0}(\phi_{p}(Ax_{1})''(t))''=0\). From Eq. (3.3) and condition \((H_{1})\), we deduce
$$-NT\leq \int^{T}_{0}\bigl(g\bigl(t,x_{1}\bigl(t- \delta(t)\bigr)\bigr)-e(t)\bigr)\,dt\leq NT. $$
Then, by condition \((H_{2})\), we know that there are two points \(\xi, \eta\in(0,T)\) such that
$$ { } x_{1}\bigl(\xi-\delta(\xi)\bigr)\geq D_{1},\quad x_{1}(\eta)\leq D_{2}. $$
(3.4)
Then, from Eq. (3.4), we have
$$ { } \begin{aligned}[b] x(t)&=\frac{1}{2} \bigl(x(t)+x(t-T)\bigr) \\ &=\frac{1}{2} \biggl(x(\eta)+ \int^{t}_{\eta}x'(s)\,ds+x(\eta)- \int^{\eta}_{t-T}x'(s)\,ds \biggr) \\ &=x(\eta)+\frac{1}{2} \int^{t}_{t-T}x'(s)\,ds \\ &\leq D_{2}+\frac{1}{2} \int^{T}_{0} \bigl\vert x'(t) \bigr\vert \,dt. \end{aligned} $$
(3.5)
Multiplying both sides of Eq. (3.2) by \(x_{1}(t)\) and integrating over the interval \([0,T]\), we get
$$\begin{aligned} { } &\int^{T}_{0}\phi_{p}\bigl(x_{1}''(t) \bigr)''x_{1}(t)\,dt+\lambda^{p} \int ^{T}_{0}f\bigl(t,x_{1}'(t) \bigr)x_{1}(t)\,dt+\lambda^{p} \int^{T}_{0}g\bigl(t,x_{1}\bigl(t-\delta (t)\bigr)\bigr)x_{1}(t)\,dt \\ &\quad =\lambda^{p} \int^{T}_{0}e(t)x_{1}(t)\,dt. \end{aligned}$$
(3.6)
Substituting \(\int^{T}_{0}\phi_{p}(x_{1}''(t))''x_{1}(t)\,dt=\int^{T}_{0}|x_{1}''(t)|^{p}\,dt\) into Eq. (3.6), we arrive at
$$\begin{aligned} \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt =&-\lambda^{p} \int^{T}_{0}f\bigl(t,x_{1}'(t) \bigr)x_{1}(t)\,dt-\lambda ^{p} \int^{T}_{0}g\bigl(t,x_{1}\bigl(t- \delta(t)\bigr)\bigr)x_{1}(t)\,dt\\ &{}+\lambda^{p} \int^{T}_{0}e(t)x_{1}(t)\,dt. \end{aligned}$$
Therefore, from condition \((H_{1})\), we deduce
$$ { } \begin{aligned}[b] \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt\leq{}& \int^{T}_{0} \bigl\vert f\bigl(t,x_{1}'(t) \bigr) \bigr\vert \bigl\vert x_{1}(t) \bigr\vert \,dt+ \int^{T}_{0} \bigl\vert g\bigl(t,x_{1} \bigl(t-\delta(t)\bigr)\bigr) \bigr\vert \bigl\vert x_{1}(t) \bigr\vert \,dt\\ &{}+ \int^{T}_{0} \bigl\vert e(t) \bigr\vert \bigl\vert x_{1}(t) \bigr\vert \,dt \\ \leq{}& \Vert x_{1} \Vert NT+ \Vert x_{1} \Vert \int^{T}_{0} \bigl\vert g\bigl(t,x_{1} \bigl(t-\delta(t)\bigr)\bigr) \bigr\vert \,dt+ \Vert e \Vert T \Vert x_{1} \Vert , \end{aligned} $$
(3.7)
where \(\|e\|:=\max_{t\in[0,T]}|e(t)|\). From conditions \((H_{1})\), \((H_{2})\) and Eq. (3.3), we obtain
$$ { } \begin{aligned}[b] &\int^{T}_{0} \bigl\vert g\bigl(t,x_{1} \bigl(t-\delta(t)\bigr)\bigr) \bigr\vert \,dt\\ &\quad = \int_{g(t,x_{1})\geq0}g\bigl(t,x_{1}\bigl(t-\delta (t)\bigr) \bigr)\,dt- \int_{g(t,x_{1})\leq0}g\bigl(t,x_{1}\bigl(t-\delta(t)\bigr) \bigr)\,dt \\ &\quad =2 \int_{g(t,x_{1})\geq0}g\bigl(t,x_{1}\bigl(t-\delta(t)\bigr) \bigr)\,dt+ \int ^{T}_{0}f\bigl(t,x_{1}'(t) \bigr)\,dt- \int^{T}_{0}e(t)\,dt \\ &\quad \leq 2a \int^{T}_{0}x_{1}^{p-1}\bigl(t- \delta(t)\bigr)\,dt+2bT+ \int ^{T}_{0} \bigl\vert f\bigl(t,x_{1}'(t) \bigr) \bigr\vert \,dt+ \int^{T}_{0} \bigl\vert e(t) \bigr\vert \,dt \\ &\quad =2a \int^{T}_{0} \bigl\vert x_{1}\bigl(t- \delta(t)\bigr) \bigr\vert ^{p-1}\,dt+2bT+NT+ \Vert e \Vert T \\ &\quad \leq \frac{2a}{1-\delta'} \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p-1}\,dt+2bT+NT+ \Vert e \Vert T, \end{aligned} $$
(3.8)
from \(\frac{ aT}{1-\delta'} (\frac{T}{\pi_{p}} )^{2p-1}>0\), we know that \(\delta'<1\). Substituting Eqs. (3.5) and (3.8) into (3.7), and by using the Hölder inequality, we see that
$$ { } \begin{aligned}[b] \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt\leq{}& \frac{2a}{1-\delta'} \Vert x_{1} \Vert \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p}\,dt+2T\bigl(N+b+ \Vert e \Vert \bigr) \Vert x_{1} \Vert \\ \leq{}&\frac{2a}{1-\delta'} \biggl(D_{2}+\frac{1}{2} \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert \,dt \biggr) \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p-1}\,dt\\ &{}+F_{1} \biggl(D_{2}+ \frac{1}{2} \int ^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert \,dt \biggr) \\ \leq{}&\frac{aT}{1-\delta'} \biggl( \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}} \biggl( \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-1}{p}}\\ &{}+\frac {2aD_{2}T^{\frac{1}{p}}}{1-\delta'} \biggl( \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-1}{p}} \\ &{}+\frac{F_{1}T^{\frac{1}{q}}}{2} \biggl( \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}}+F_{1}D_{2}, \end{aligned} $$
(3.9)
where \(F_{1}:=2(N+b+\|e\|)T\).
Let \(\omega(t)=x_{1}(t+\eta)-x_{1}(\eta)\), here \(x_{1}(\eta)\leq D_{2}\), and then \(\omega(0)=\omega(T)=0\). By Lemma 2.2 and the Minkowski inequality [26], it is clear that
$$\begin{aligned} { } \biggl(\int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}&= \biggl( \int^{T}_{0} \bigl\vert \omega (t)+x_{1}(\xi) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \\ &\leq \biggl( \int^{T}_{0} \bigl\vert \omega(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+ \biggl( \int ^{T}_{0} \bigl\vert x_{1}(\eta) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \\ &\leq \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert \omega'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+D_{2}T^{\frac{1}{p}} \\ &= \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}}+D_{2}T^{\frac{1}{p}}. \end{aligned}$$
(3.10)
On the other hand, in view of \(x_{1}(0)=x_{1}(T)\), there exists a point \(t_{1}\in(0,T)\) such that \(x_{1}'(t_{1})=0\). Let \(\omega_{*}(t)=x_{1}'(t+t_{1})\), it is easy to see that \(\omega_{*}(0)=\omega_{*}(T)=0\) for \(\omega_{*}\in C^{1}(\mathbb{R},\mathbb{R})\). By Lemma 2.2,
$$ { } \begin{aligned}[b] \biggl( \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}&= \biggl( \int^{T}_{0} \bigl\vert \omega _{*}(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \leq \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert \omega_{*}'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \\ &= \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}. \end{aligned} $$
(3.11)
Substituting Eqs. (3.11) into (3.10), we obtain
$$ { } \biggl( \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}\leq \biggl(\frac{T}{\pi _{p}} \biggr)^{2} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}}+D_{2}T^{\frac{1}{p}}. $$
(3.12)
Furthermore, substituting Eqs. (3.11) and (3.12) into (3.9), we see that
$$\begin{aligned} &\int^{T}_{0} \bigl\vert (x_{1})''(t) \bigr\vert ^{p}\,dt \\ &\quad \leq \frac{aT}{1-\delta'} \biggl(\frac{T}{\pi _{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \biggl( \biggl( \frac{T}{\pi_{p}} \biggr)^{2} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+D_{2}T^{\frac{1}{p}} \biggr)^{p-1} \\ &\qquad {}+\frac{2aD_{2}T^{\frac{1}{p}}}{1-\delta'} \biggl( \biggl(\frac{T}{\pi _{p}} \biggr)^{2} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}}+D_{2}T^{\frac{1}{p}} \biggr)^{p-1} \\ &\qquad {}+\frac{F_{1}T^{\frac{1}{q}}}{2} \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+F_{1}D_{2} \\ &\quad =\frac{aT}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1} \biggl(1+\frac{D_{2}T^{\frac{1}{p}}}{ (\frac{T}{\pi_{p}} )^{2} (\int^{T}_{0} \vert x_{1}''(t) \vert ^{p}\,dt )^{\frac{1}{p}}} \biggr)^{p-1} \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \\ &\qquad {}+\frac{2aD_{2}T^{\frac{1}{p}}}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-2} \biggl(1+\frac{D_{2}T^{\frac{1}{p}}}{ (\frac{T}{\pi_{p}} )^{2} (\int^{T}_{0} \vert x_{1}''(t) \vert ^{p}\,dt )^{\frac{1}{p}}} \biggr)^{p-1} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-1}{p}} \\ &\qquad {}+\frac{F_{1}T^{\frac{1}{q}}}{2} \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+F_{1}D_{2}. \end{aligned}$$
(3.13)
Next, we introduce a classical inequality, there exists a \(k(p)>0\) which is dependent on p only,
$$ { } (1+x)^{p}\leq1+(1+p)x,\quad \mbox{for } x\in \bigl[0,k(p)\bigr]. $$
(3.14)

Then, we consider the following two cases:

Case 1. If \(\frac{D_{2}T^{\frac{1}{p}}}{ (\frac{T}{\pi_{p}} )^{2} (\int ^{T}_{0}|x_{1}''(t)|^{p}\,dt )^{\frac{1}{p}}}>k(p)\), then it is obvious that
$$\biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}< \frac{D_{2} T^{\frac{1}{p}}}{k(p)} \biggl( \frac{T}{\pi_{p}} \biggr)^{-2}. $$
From Eqs. (3.5) and (3.11), by using the Hölder inequality, we deduce
$$ { } \begin{aligned}[b] x(t)&\leq D_{2}+ \frac{1}{2}T^{\frac{1}{q}} \biggl( \int^{T}_{0} \bigl\vert x'(t) \bigr\vert ^{p}\,dt \biggr)^{\frac {1}{p}} \\ &\leq D_{2}+\frac{1}{2}T^{\frac{1}{q}} \biggl( \frac{T}{\pi_{p}} \biggr) \biggl( \int^{T}_{0} \bigl\vert x''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \\ &\leq D_{2}+\frac{TD_{2}}{2k(p)} \biggl(\frac{T}{\pi_{p}} \biggr)^{-1}:=M_{1}. \end{aligned} $$
(3.15)
Case 2. If \(\frac{D_{2}T^{\frac{1}{p}}}{ (\frac{T}{\pi_{p}} )^{2} (\int ^{T}_{0}|x_{1}''(t)|^{p}\,dt )^{\frac{1}{p}}}< k(p)\), from Eqs. (3.13) and (3.14), we obtain
$$ { } \begin{aligned}[b] &\int^{T}_{0} \bigl\vert (x_{1})''(t) \bigr\vert ^{p}\,dt\\ &\quad \leq \frac{aT}{1-\delta'} \biggl(\frac{T}{\pi _{p}} \biggr)^{2p-1} \biggl(1+\frac{D_{2}T^{\frac{1}{p}}p}{ (\frac{T}{\pi _{p}} )^{2} (\int^{T}_{0} \vert x_{1}''(t) \vert ^{p}\,dt )^{\frac{1}{p}}} \biggr) \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \\ &\qquad {}+\frac{2aD_{2}T^{\frac{1}{p}}}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-2} \biggl(1+ \frac{D_{2}T^{\frac{1}{p}}p}{ (\frac{T}{\pi_{p}} )^{2} (\int^{T}_{0} \vert x_{1}''(t) \vert ^{p}\,dt )^{\frac{1}{p}}} \biggr) \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-1}{p}} \\ &\qquad {}+\frac{F_{1}T^{\frac{1}{q}}}{2} \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+F_{1}D_{2} \\ &\quad =\frac{aT}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1} \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt+\frac{aD_{2}T^{1+\frac{1}{p}}}{1-\delta'} \biggl(Tp+2 \biggl( \frac{T}{\pi} \biggr) \biggr) \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-2} \\ &\qquad {}\cdot \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-1}{p}}+\frac {2aD_{2}^{2}T^{\frac{2}{p}}p}{1-\delta'} \biggl( \frac{T}{\pi_{p}} \biggr)^{2p-4} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{p-2}{p}} \\ &\qquad {}+\frac{F_{1}T^{\frac{1}{q}}}{2} \biggl(\frac{T}{\pi_{p}} \biggr) \biggl( \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}+F_{1}D_{2}. \end{aligned} $$
(3.16)
Since
$$\frac{aT}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1}< 1, $$
it is easy to see that there exists a positive constant \(M'_{1}\) such that
$$\int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt\leq M'_{1}. $$
From Eq. (3.5) and Lemma 2.2, we have
$$ { } \begin{aligned}[b] x_{1}(t)&\leq D_{2}+\frac{1}{2} \int^{T}_{0} \bigl\vert x_{1}'(t) \bigr\vert \,dt \\ &\leq D_{2}+\frac{1}{2}T^{\frac{1}{q}} \biggl( \frac{T}{\pi_{p}} \biggr) \biggl( \int ^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}} \\ &\leq D_{2}+\frac{1}{2}T^{\frac{1}{q}} \biggl( \frac{T}{\pi_{p}} \biggr) \bigl(M_{1}' \bigr)^{\frac{1}{p}}:=M_{1}. \end{aligned} $$
(3.17)
From Eq. (3.5), we have
$$\begin{aligned} { } \bigl\Vert x_{1}' \bigr\Vert & \leq x_{1}'(t_{1})+\frac{1}{2} \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert \,dt \\ &\leq \frac{1}{2}T^{\frac{1}{q}} \biggl( \int^{T}_{0} \bigl\vert x_{1}''(t) \bigr\vert \,dt \biggr)^{\frac {1}{p}} \\ &\leq\frac{1}{2}T^{\frac{1}{q}}M_{1}^{\prime\frac{1}{p}}:=M_{2}, \end{aligned}$$
(3.18)
since \(x_{1}'(t_{1})=0\). From \(x_{2}(0)=x_{2}(T)\), we know that there exists a point \(t_{2}\in(0,T)\) such that \(x_{2}'(t_{2})=0\). From the second equation of (3.1), Eqs. (3.8), (3.17), (3.18) and condition \((H_{1})\), we obtain
$$ { } \begin{aligned}[b] \bigl\Vert x_{2}' \bigr\Vert &\leq\frac{1}{2} \int^{T}_{0} \bigl\vert x_{2}''(t) \bigr\vert \,dt \\ &\leq\frac{\lambda}{2} \biggl( \int^{T}_{0} \bigl\vert f\bigl(t,x_{1}'(t) \bigr) \bigr\vert \,dt+ \int ^{T}_{0} \bigl\vert g\bigl(t,x_{1}(t) \bigr) \bigr\vert \,dt+ \int^{T}_{0} \bigl\vert e(t) \bigr\vert \,dt \biggr) \\ &\leq\lambda\bigl(NT+aTM_{1}^{p-1}+bT+T \Vert e \Vert \bigr):=\lambda M_{3}. \end{aligned} $$
(3.19)
Integrating the first equation of (3.1) over \([0,T]\), we have \(\int^{T}_{0}x_{2}(t)\,dt=\int^{T}_{0}\phi_{p}(x_{1}''(t))\,dt=0\), which implies there is a point \(t_{3}\in(0,T)\) such that \(x_{2}(t_{3})=0\), so
$$ { } \Vert x_{2} \Vert \leq\frac{1}{2} \int^{T}_{0} \bigl\vert x_{2}'(t) \bigr\vert \,dt\leq\lambda TM_{3}:=\lambda M_{4}. $$
(3.20)
On the other hand, it follows from Eq. (3.2) and condition \((H_{4})\) that
$$\begin{aligned} { } &\bigl(\phi_{p}\bigl(x_{1}''(t) \bigr)\bigr)''+\lambda^{p}f \bigl(t,x_{1}(t)\bigr)x_{1}'(t)+\lambda ^{p}(g_{0}\bigl(x_{1}\bigl(t-\delta(t)\bigr) \bigr)+g_{1}\bigl(t,x_{1}\bigl(t-\delta(t)\bigr)\bigr) \\ &\quad = \lambda^{p} e(t). \end{aligned}$$
(3.21)
Let \(\xi\in[0,T]\) be as in Eq. (3.4), for any \(t\in[\xi,T]\). Multiplying both sides of Eq. (3.21) by \(x_{1}'(t-\delta(t))(1-\delta'(t))\) and integrating on \([\xi, t]\) we get
$$ { } \begin{aligned}[b] &\lambda^{p} \int^{x_{1}(t-\delta(t))}_{x_{1}(\xi-\delta(\xi))}g_{0}(u)\,du\\ &\quad = \lambda ^{p} \int^{t}_{\xi}g_{0}\bigl(x_{1} \bigl(s-\delta(s)\bigr)\bigr)x_{1}'\bigl(s-\delta(s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds \\ &\quad =- \int^{t}_{\xi}\bigl(\phi_{p} \bigl(x_{1}''(s)\bigr)\bigr)''x_{1}' \bigl(s-\delta(s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds \\ &\qquad {}- \lambda^{p} \int^{t}_{\xi}f\bigl(s,x_{1}'(s) \bigr)x_{1}'\bigl(s-\delta(s)\bigr) \bigl(1- \delta'(s)\bigr)\,ds \\ &\qquad {}-\lambda^{p} \int^{t}_{\xi}g_{1}\bigl(s,x_{1} \bigl(s-\delta(s)\bigr)\bigr)x_{1}'\bigl(s-\delta (s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds \\ &\qquad {}+\lambda^{p} \int^{t}_{\xi}e(s)x_{1}' \bigl(s-\delta(s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds. \end{aligned} $$
(3.22)
Furthermore, by Eqs. (3.16), (3.17), (3.18) and (3.19), we have
$$ { } \begin{aligned}[b] &\lambda^{p} \biggl\vert \int^{x_{1}(t-\delta(t))}_{x_{1}(\xi-\delta(\xi ))}g_{0}(u)\,du \biggr\vert \\ &\quad = \biggl\vert - \int^{t}_{\xi}\bigl(\phi_{p} \bigl(x_{1}''(s)\bigr)\bigr)''x_{1}' \bigl(s-\delta(s)\bigr) \bigl(1-\delta '(s)\bigr)\,ds\\ &\qquad {}- \lambda^{p} \int^{t}_{\xi}f\bigl(s,x_{1}'(s) \bigr) x_{1}'\bigl(s-\delta(s)\bigr) \bigl(1- \delta'(s)\bigr)\,ds \\ &\qquad {}-\lambda^{p} \int^{t}_{\xi}g_{1}\bigl(s,x_{1} \bigl(s-\delta(s)\bigr)\bigr)x_{1}'\bigl(s-\delta (s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds \\ &\qquad {}+\lambda^{p} \int^{t}_{\xi}e(s)x_{1}' \bigl(s-\delta(s)\bigr) \bigl(1-\delta'(s)\bigr)\,ds \biggr\vert \\ &\quad \leq\bigl(1+\delta'\bigr) \bigl\Vert x_{1}' \bigr\Vert \int^{T}_{0} \bigl\vert \phi_{p} \bigl(x_{1}''(s)\bigr))'' \bigr\vert \,ds+\lambda ^{p}\bigl(1+\delta'\bigr) \bigl\Vert x_{1}' \bigr\Vert \int^{T}_{0} \bigl\vert f\bigl(s,x_{1}'(s) \bigr) \bigr\vert \,ds \\ &\qquad {}+\lambda^{p}\bigl(1+\delta'\bigr) \bigl\Vert x_{1}' \bigr\Vert \int^{T}_{0} \bigl\vert g_{1} \bigl(s,x_{1}\bigl(s-\delta (s)\bigr)\bigr) \bigr\vert \,ds+ \lambda^{p}\bigl(1+\delta'\bigr) \bigl\Vert x_{1}' \bigr\Vert \int^{T}_{0} \bigl\vert e(s) \bigr\vert \,ds \\ &\quad \leq\lambda^{p} \bigl(1+\delta'\bigr)M_{2} \biggl( \int^{T}_{0} \bigl\vert f\bigl(s,x'(s) \bigr)) \bigr\vert \,ds+ \int ^{T}_{0} \bigl\vert g\bigl(s,x_{1}(s) \bigr) \bigr\vert \,ds+ \int^{T}_{0} \bigl\vert e(s) \bigr\vert \,ds \biggr) \\ &\qquad {}+\lambda^{p}\bigl(1+\delta'\bigr) \bigl( M_{2}NT +M_{2} \Vert g_{M_{1}} \Vert T+M_{2} \Vert e \Vert T\bigr) \\ &\quad \leq\lambda^{p}\bigl(1+\delta'\bigr)M_{2} \bigl(M_{3}+NT+ \Vert g_{M_{1}} \Vert T+ \Vert e \Vert T \bigr), \end{aligned} $$
(3.23)
where \(g_{M_{1}}=\max_{0\leq x\leq M_{1}}|g_{1}(t,x)|\in L^{2}(0,T)\) are as in condition \((H_{4})\). According to the singular condition \((H_{5})\), we know that there exists a positive constant \(M_{5}\) such that
$$ { } x_{1}\bigl(t-\delta(t)\bigr)\geq M_{5},\quad \forall t\in[\xi,T]. $$
(3.24)
The case \(t\in[0,\xi]\) (i.e., \(x_{1}(t-\delta(t))\in[-\delta(0),\xi-\delta(\xi)]\)) can be treated similarly.
From Eqs. (3.16), (3.17), (3.18), (3.19) and (3.24), we let
$$\Omega=\bigl\{ x=(x_{1},x_{2})^{\top}: E_{1}\leq x_{1}(t)\leq E_{2}, \bigl\Vert x_{1}' \bigr\Vert \leq E_{3}, \Vert x_{2} \Vert \leq E_{4} \mbox{ and } \bigl\Vert x_{2}' \bigr\Vert \leq E_{5} , \forall t \in[0,T]\bigr\} , $$
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\)
$$ QNx=\frac{1}{T} \int^{T}_{0} \begin{pmatrix}\phi_{q}(x_{2}(t)) \\ -f(t,x_{1}')-g(t,x_{1})+e(t) \end{pmatrix} \,dt. $$
If \(QNx=0\), then \(x_{2}(t)=0\), \(x_{1}=E_{2}\) or \(E_{1}\). But if \(x_{1}(t)=E_{2}\), we know
$$0= \int^{T}_{0}\bigl(g(t,E_{2})-e(t) \bigr)\,dt. $$
From condition \((H_{2})\), we have \(x_{1}(t)\leq D_{2}\leq E_{2}\), which yields a contradiction. Similarly if \(x_{1}=E_{1}\). We also have \(QNx\neq0\), i.e., \(\forall x\in\partial\Omega\cap \operatorname{Ker} L\), \(x\notin \operatorname{Im}L\), so assumptions (1) and (2) of Lemma 2.1 are both satisfied. Define the isomorphism \(J:\operatorname{Im}Q\rightarrow \operatorname{Ker} L\) as follows:
$$J(x_{1},x_{2})^{\top}=(x_{2},-x_{1})^{\top}. $$
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)\),
$$ H(\mu,x)= \begin{pmatrix}-\mu x_{1}-\frac{1-\mu}{T}\int^{T}_{0}(g(t,x_{1})-e(t))\,dt\\ -\mu x_{2}-(1-\mu)\phi_{q}(x_{2}) \end{pmatrix} . $$
From condition \((H_{2})\), we get \(x^{\top}H(\mu,x)\neq0\), \(\forall (\mu,x)\in(0,1)\times(\partial\Omega\cap \operatorname{Ker} L)\). Hence
$$\begin{aligned} \deg\{JQN,\Omega\cap \operatorname{Ker} L,0\}&=\deg\bigl\{ H(0,x),\Omega\cap \operatorname{Ker} L,0\bigr\} \\ &=\deg\bigl\{ H(1,x),\Omega\cap \operatorname{Ker}L,0\bigr\} \\ &=\deg\{I,\Omega\cap \operatorname{Ker}L,0\}\neq0. \end{aligned}$$
So assumption (3) of Lemma 2.1 is satisfied. By applying Lemma 2.1, we conclude that the equation \(Lx=Nx\) has a solution \(x=(x_{1},x_{2})^{\top}\) on \(\bar{\Omega}\cap D(L)\), i.e., Eq. (2.1) has a T-periodic solution \(x_{1}(t)\). □

Next, we investigate the existence of a positive T-periodic solution for Eq. (1.1) with a singularity of attractive type.

Proof of Theorem 1.5

We follow the same strategy and notation as in the proof of Theorem 1.1. From Eq. (3.3) and condition \((H_{6})\), we know that there are points \(\tau, \nu\in(0,T)\) such that
$$ { } x_{1}\bigl(\tau-\delta(\tau)\bigr)\geq D_{3},\quad x_{1}(\nu)\leq D_{4}. $$
(3.25)
Next, we consider \(\int^{T}_{0}|g(t,x_{1}(t-\delta(t)))|\,dt\). From Eq. (3.11) and conditions \((H_{1})\), \((H_{7})\), we obtain
$$ { } \begin{aligned}[b] \int^{T}_{0} \bigl\vert g\bigl(t,x_{1} \bigl(t-\delta(t)\bigr)\bigr) \bigr\vert \,dt ={}& \int_{g(t,x_{1})\geq0}g\bigl(t,x_{1}\bigl(t-\delta (t)\bigr) \bigr)\,dt\\ &{}- \int_{g(t,x_{1})\leq0}g\bigl(t,x_{1}\bigl(t-\delta(t)\bigr) \bigr)\,dt \\ ={}&{-}2 \int_{g(t,x_{1})\leq0}g\bigl(t,x_{1}\bigl(t-\delta(t)\bigr) \bigr)\,dt\\ &{}- \int ^{T}_{0}f\bigl(t,x_{1}'(t) \bigr)\,dt+ \int^{T}_{0}e(t)\,dt \\ \leq{}& 2a' \int^{T}_{0}x_{1}^{p-1}\bigl(t- \delta(t)\bigr)\,dt+2b'T\\ &{}+ \int ^{T}_{0} \bigl\vert f\bigl(t,x_{1}'(t) \bigr) \bigr\vert \,dt+ \int^{T}_{0} \bigl\vert e(t) \bigr\vert \,dt \\ ={}&2a' \int^{T}_{0} \bigl\vert x_{1}\bigl(t- \delta(t)\bigr) \bigr\vert ^{p-1}\,dt+2b'T+NT+ \Vert e \Vert T \\ \leq {}&\frac{2a'}{1-\delta'} \int^{T}_{0} \bigl\vert x_{1}(t) \bigr\vert ^{p-1}\,dt+2b'T+NT+ \Vert e \Vert T. \end{aligned} $$
The proof further is the same as Theorem 1.1. □

4 Examples

In this section, we present two examples to illustrate Theorems 1.1 and 1.5.

Example 4.1

Consider the fourth-order Rayleigh equation with singularity of repulsive type and time-dependent deviating argument:
$$\begin{aligned} { } &\bigl(\phi_{p}\bigl(x''(t) \bigr)\bigr)''+\bigl(\sin^{2}t+5\bigr)\cos x'(t)+\frac{1}{20\pi}(\sin2t+3)x \biggl(t-\frac{1}{4} \sin2t \biggr)-\frac {1}{x^{\mu}(t-\frac{1}{4}\sin2t )} \\ &\quad =e^{\cos 2t}, \end{aligned}$$
(4.1)
where \(\mu\geq1\)and \(p=4\).
It is clear that \(T=\pi\), \(f(t,x')=(\sin^{2}t+5)\cos x'(t)\), \(g(t,x)=\frac{1}{20\pi}(\sin2t+3)x-\frac{1}{x^{\mu}}\), \(\delta(t)=\frac{1}{4}\sin2t\), \(a=\frac{1}{5\pi}\), \(\delta'=\frac{1}{2}<1\), \(\pi_{4}=\frac{2\pi(p-1)^{\frac{1}{p}}}{p\sin(\pi/p)}=\frac{2\pi (4-1)^{\frac{1}{4}}}{4\cdot\frac{\sqrt{2}}{2}}= \pi\times (\frac{3}{4} )^{\frac{1}{4}}\). It is obviously that \((H_{1})\)\((H_{5})\) hold. Now we consider
$$\begin{aligned} \frac{aT}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1}= \frac{2}{5\pi }\times{\pi} \biggl(\frac{\pi}{\pi\times (\frac{3}{4} )^{\frac {1}{4}}} \biggr)^{7} = \frac{2}{5}\times \biggl(\frac{4}{3} \biggr)^{\frac{7}{4}} \approx0.6618< 1. \end{aligned}$$

Therefore, by Theorem 1.1, we know that Eq. (4.1) has at least one positive π-periodic solution.

Example 4.2

Consider the fourth-order Rayleigh equation with singularity of attractive type:
$$\begin{aligned} { } &x^{(4)}(t)-\bigl(\cos^{2}(2t)+100\bigr)\sin x'(t) -\frac{1}{3\pi}(\sin4t+5)x \biggl(t-\frac{1}{8} \cos4t \biggr)+\frac {5}{x^{\kappa'} (t-\frac{1}{8}\cos4t )} \\ &\quad =e^{\sin^{2}(2 t)}, \end{aligned}$$
(4.2)
where \(\kappa'\geq1\) and \(p=2\).
It is clear that \(T=\frac{\pi}{2}\), \(f(t,x')=-(\cos^{2}(2t)+100)\sin x'\), \(g(t,x)=-\frac{1}{3\pi}(\sin4t+5)x+\frac{5}{x^{\kappa'}}\), \(\delta=\frac{1}{8}\cos4t\), \(\delta'=\frac{1}{2}\), \(\pi_{2}=\frac{2\pi(p-1)^{\frac{1}{p}}}{p\sin(\pi/p)}=\frac{2\pi (2-1)^{\frac{1}{2}}}{4\times\frac{1}{2}}= \pi\). Take \(N=6\), \(a'=\frac{2}{\pi}\), \(b'=1\). It is obvious that \((H_{1})\), \((H_{4})\), \((H_{6})\)\((H_{8})\) hold. Now we consider
$$\begin{aligned} \frac{a'T}{1-\delta'} \biggl(\frac{T}{\pi_{p}} \biggr)^{2p-1} = \frac{4}{\pi}\times\frac{\pi}{2}\times \biggl(\frac{1}{2} \biggr)^{3} =\frac{1}{4}< 1. \end{aligned}$$

Therefore, applying Theorem 1.5, we know that Eq. (4.2) has at least one positive \(\frac{\pi}{2}\)-periodic solution.

5 Conclusions

In this paper, we introduce the existence of a positive T-periodic solution for the fourth-order p-Laplacian singular Rayleigh equation with time-dependent deviating argument. The nonlinear function has a time-dependent deviating argument. This implies that the work on estimating lower bounds of periodic solutions for Eq. (1.1) is more difficult than the corresponding work on Eq. (1.4) in [21]. Secondly, attractive conditions \((H_{6})\), \((H_{7})\) and \((H_{8})\) are in contradiction with the repulsive conditions \((H_{2})\), \((H_{3})\) and \((H_{5})\), and the methods of singularity of repulsive type are no longer applicable to the proof of a periodic solution for Eq. (1.1) with singularity of attractive type. In this paper, by using coincidence degree theory and conditions \((H_{1})\)\((H_{5})\), we prove the existence of a positive T-periodic solution for Eq. (1.1) with a singularity of repulsive type; applying conditions \((H_{1})\), \((H_{4})\), \((H_{6})\)\((H_{8})\), we find that Eq. (1.1) with singularity of attractive type has at least one positive T-periodic solution.

Notes

Acknowledgements

YX and HML are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.

Availability of data and materials

Not applicable.

Authors’ contributions

YX and HML contributed equally and significantly in writing this article. Both authors read and approved the final manuscript.

Funding

This work was supported by Education Department of Henan Province project (No. 16B110006) and Henan Polytechnic University Outstanding Youth Fund (J2016-03).

Ethics approval and consent to participate

YX and HML contributed to each part of this study equally and declare that they have no competing interests.

Competing interests

YX and HML declare that they have no competing interests.

Consent for publication

YX and HML read and approved the final version of the manuscript.

References

  1. 1.
    Gaines, R., Mawhin, J.: Coincidence Degree, and Nonlinear Differential Equations. Lecture Notes in Mathematics, vol. 568. Springer, Berlin (1977) CrossRefGoogle Scholar
  2. 2.
    Habets, P., Torres, P.: Some multiplicity results for periodic solutions of a Rayleigh differential equation. Dyn. Contin. Discrete Impuls. Syst. 8, 335–351 (2001) MathSciNetzbMATHGoogle Scholar
  3. 3.
    Cheung, W., Ren, J.: Periodic solutions for p-Laplacian Rayleigh equations. Nonlinear Anal. 65, 2003–2012 (2006) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Cheng, Z., Ren, J.: Periodic solutions for a fourth-order Rayleigh type p-Laplacian delay equation. Nonlinear Anal. 70, 516–523 (2009) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Ren, J., Yu, L., Siegmund, S.: Bifurcations and chaos in a discrete predator-prey model with Crowley–Martin functional response. Nonlinear Dyn. 90, 19–41 (2017) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Ma, T.: Periodic solutions of Rayleigh equations via time-maps. Nonlinear Anal. 75, 4137–4144 (2012) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Wang, Z.: On the existence of periodic solutions of Rayleigh equations. Z. Angew. Math. Phys. 56, 592–608 (2005) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Du, B., Lu, S.: On the existence of periodic solutions to a p-Laplacian Rayleigh equation. Indian J. Pure Appl. Math. 40, 253–266 (2009) MathSciNetzbMATHGoogle Scholar
  9. 9.
    Sun, X., Yu, P., Qin, B.: Global existence and uniqueness of periodic waves in a population model with density-dependent migrations and Allee effect. Int. J. Bifurc. Chaos Appl. Sci. Eng. 27, 1–10 (2017) MathSciNetzbMATHGoogle Scholar
  10. 10.
    Wang, L., Shao, J.: New results of periodic solutions for a kind of forced Rayleigh-type equations. Nonlinear Anal., Real World Appl. 11, 99–105 (2010) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Cheng, Z., Ren, J.: Periodic and subharmonic solutions for Duffing equation with singularity. Discrete Contin. Dyn. Syst., Ser. A 32, 1557–1574 (2012) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Chu, J., Torres, P., Zhang, M.: Periodic solution of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007) MathSciNetCrossRefGoogle Scholar
  13. 13.
    Fonda, A., Manásevich, R., Zanolin, F.: Subharmonics solutions for some second order differential equations with singularities. SIAM J. Math. Anal. 24, 1294–1311 (1993) MathSciNetCrossRefGoogle Scholar
  14. 14.
    Habets, P., Sanchez, L.: Periodic solutions of some Liénard equations with singularities. Proc. Am. Math. Soc. 109, 1135–1144 (1990) CrossRefGoogle Scholar
  15. 15.
    Lu, S.: A new result on the existence of periodic solutions for Liénard equation with a singularity of repulsive type. J. Inequal. Appl. 2017, 37 (2017) CrossRefGoogle Scholar
  16. 16.
    Ren, J., Cheng, Z., Chen, Y.: Existence results of periodic solutions for third-order nonlinear singular differential equation. Math. Nachr. 286, 1022–1042 (2013) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Sun, X., Zhao, L.: Perturbations of a class of hyper-elliptic Hamiltonian systems of degree seven with nilpotent singular points. Appl. Math. Comput. 289, 194–203 (2016) MathSciNetGoogle Scholar
  18. 18.
    Wang, H.: Positive periodic solutions of singular systems with a parameter. J. Differ. Equ. 249, 2986–3002 (2010) MathSciNetCrossRefGoogle Scholar
  19. 19.
    Zhang, M.: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl. 203, 254–269 (1996) MathSciNetCrossRefGoogle Scholar
  20. 20.
    Wang, Z.: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227–234 (2014) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Chen, L., Lu, S.: A new result on the existence of periodic solutions for Rayleigh equations with a singularity of repulsive type. Adv. Differ. Equ. 2017, 106 (2017) MathSciNetCrossRefGoogle Scholar
  22. 22.
    Cheng, Z., Bi, Z., Yao, S.: Periodic solution for p-Laplacian Rayleigh equation with attractive singularity and time-dependent deviating argument. Bound. Value Probl. 2018, 20 (2018) MathSciNetCrossRefGoogle Scholar
  23. 23.
    Guo, Y., Wang, Y., Zhou, D.: A new result on the existence of periodic solutions for Rayleigh equation with a singularity. Adv. Differ. Equ. 2017, 394 (2017) MathSciNetCrossRefGoogle Scholar
  24. 24.
    Wang, Z., Ma, T.: Periodic solutions of Rayleigh equations with singularities. Bound. Value Probl. 2015, 154 (2015) MathSciNetCrossRefGoogle Scholar
  25. 25.
    Zhang, M.: Nonuniform nonresonance at the first eigenvalue of the p-Laplacian. Nonlinear Anal. TMA 29, 41–51 (1997) MathSciNetCrossRefGoogle Scholar
  26. 26.
    Torres, P., Cheng, Z., Ren, J.: Non-degeneracy and uniqueness of periodic solutions for 2n-order differential equation. Discrete Contin. Dyn. Syst., Ser. A 33, 2155–2168 (2013) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2018

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.

Authors and Affiliations

  1. 1.College of Computer Science and TechnologyHenan Polytechnic UniversityJiaozuoChina

Personalised recommendations