Multiplicity of positive periodic solutions to third-order variable coefficients singular dynamical systems

Abstract

In this paper, by applying a nonlinear alternative principle of Leray–Schauder and Guo–Krasnosel’skii fixed point theorem on compression and expansion of cones, together with truncation technique, we study the existence of multiplicity noncollision periodic solutions to third-order singular dynamical systems. By combining the analysis of the sign of Green’s function for a linear equation, we consider the systems where the potential has a repulsive singularity at origin. The so-called strong force condition is not needed, and the nonlinearity may have sign changing behavior. Recent results in the literature, even in the scalar case, are generalized and improved.

1 Introduction

The purpose of this work is to study the existence of noncollision periodic solutions to the third-order singular dynamical systems

$$\begin{aligned} x'''+a(t)x=f(t,x)+e(t), \end{aligned}$$

(1.1)

where $a\in C({\mathbb{R}}/T{\mathbb{Z}},{\mathbb{R}})$, $e=(e_{1},\ldots ,e_{n})^{\text{T}}\in C(({\mathbb{R}}/T{\mathbb{Z}}),{ \mathbb{R}}^{n})$, the nonlinearity $f=(f_{1},\ldots ,f_{n})^{\text{T}}\in C(({\mathbb{R}}/T{\mathbb{Z}}) \times {\mathbb{R}}^{n}\backslash \{0\},{\mathbb{R}}^{n})$ is a continuous vector-valued function with repulsive singularity at $x=0$.

Let $\mathbb{R}_{+}=[0,\infty )$ and $\mathbb{R}_{+}^{n}=\prod_{i=1}^{n}\mathbb{R}_{+}$. For $x=(x_{1},\ldots , x_{n})$, $y=(y_{1},\ldots ,y_{n})\in \mathbb{R}^{n}$, the usual scalar product is denoted by $\langle x,y \rangle =\sum_{i=1}^{n} x_{i}y_{i}$. We say that (1.1) has a repulsive singularity at the origin if there exists a fixed vector $v\in {\mathbb{R}}^{n}_{+}$ such that

$$\begin{aligned} \lim_{x\to 0,x\in {\mathbb{R}}^{n}_{+}} \bigl\langle v,f(t,x) \bigr\rangle =+\infty \quad \text{uniformly in } t. \end{aligned}$$

As usual, by a noncollision nontrivial periodic solution we mean a function $x=(x_{1},\ldots , x_{n})^{\text{T}}\in C^{3}(({\mathbb{R}}/T{\mathbb{Z}}),{ \mathbb{R}}^{n})$ solving (1.1) such that $x(t)\neq 0$ for all t and satisfying the periodic boundary conditions

$$\begin{aligned} x(0)=x(T),\qquad x'(0)=x'(T),\qquad x''(0)=x''(T). \end{aligned}$$

(1.2)

In the pioneering paper [15], Lazer and Solimini investigated the singular equation

$$\begin{aligned} x''=\frac{1}{x^{\lambda}}+h(t), \end{aligned}$$

(1.3)

where $\lambda \geq 1$, and h is periodic function with period T; by using the method of upper and lower solutions they proved that a sufficient and necessary condition for the existence of a positive T-periodic solution is $\int ^{T}_{0}h(t)\,dt<0$. We say that $0<\lambda <1$ is the weak force condition for equation (1.3) and $\lambda \geq 1$ is the strong force condition for ir (the strong force condition was first introduced by Gordon [9]). During the last few decades, the question of existence of noncollision periodic solutions for singular scalar equations and dynamical systems has attracted much attention [1, 5, 15, 21, 22, 25, 27, 28]. For example, in 2019, Jiang [13] investigated a kind of second-order nonautonomous dynamical systems

$$\begin{aligned} x''+a(t)x=f(t,x). \end{aligned}$$

(1.4)

By a nonlinear alternative principle of Leray–Schauder and the fixed point theorem in cones the author showed that the singular system (1.4) has at least two positive solutions when the Green’s function is nonnegative.

Singular differential equations and singular dynamical systems have a wide range of applications in biology, physics, and mechanics, such as the nonlinear elasticity [6] and Brillouin focusing system [7]. Usually, the proof is based on either variational approach [23, 29] or topological methods. In particular, degree theory [16, 17], Schauder’s fixed point theorem [14], some fixed point theorems in cones for completely continuous operators [3, 8, 18, 26], and a nonlinear alternative principle of Leray–Schauder type [13, 20] are the most relevant tools.

To avoid collision of the solution with singularity, the strong force condition plays an important role and is standard in the related works. Compared with the strong singularity case, the case of weak singularity was less studied by topological methods [5, 11, 12].

At the same time, some authors began to consider third-order singular differential equations and singular dynamical systems [2, 4, 14, 24], for example, the third-order differential equation with constant coefficient

$$\begin{aligned} x'''+Kx=f(t,x),\qquad 0\leq t\leq 2\pi , \end{aligned}$$

(1.5)

with periodic boundary conditions (1.2). Here K is a positive constant, and the nonlinearity $f(t,x)$ is singular at $x=0$. In [24], using the Green’s function and fixed point index theory, the existence of multiple positive solutions is obtained. In [14], by using Schauder’s fixed point theorem, together with perturbation technique, the existence of at least one positive solution is established. The main result in [14] is the following.

Theorem 1.1

Let the following three assumptions hold:

$(A_{1})$:

$f(t,u)$ is a nonnegative function on $[0,2\pi ]\times (0,+\infty )$, and $f(t,u)$ is integrable on $[0,2\pi ]$ for each fixed $u\in (0,+\infty )$;

$(A_{2})$:

$f(t,u)$ is nonincreasing in $u>0$ for almost all $t\in [0,2\pi ]$, and

$$ \lim_{u\rightarrow 0^{+}}f(t,u)=+\infty ,\qquad \lim_{u\rightarrow +\infty}f(t,u)=0 $$

uniformly for $t\in [0,2\pi ]$;

$(A_{3})$:

$\int ^{2\pi}_{0}f(s,\tau )\,ds<+\infty$ for all $\tau >0$.

Then equation (1.5) has at least one positive solution if $K\in (0,\frac{1}{3\sqrt{3}})$.

This paper is mainly motivated by the recent papers [13, 14], but we do not require that all components of the nonlinearity $f(t,x)$ have a singularity. The new results cover both strong and weak singularities. The structure of the paper is as follows. In Sect. 2, we present a survey on some known results concerning the sign of the Green’s function of the linear equation

$$\begin{aligned} x'''+Kx=0, \end{aligned}$$

(1.6)

associated with periodic boundary conditions (1.2). In Sects. 3 and 4, by employing a nonlinear alternative principle of Leray–Schauder and Guo–Krasnosel’skii’s fixed point theorem, we prove the main existence results for (1.1) under the positiveness of the Green’s function associated with (1.6)–(1.2).

In this paper, we use the following notations. The usual Euclidean norm is denoted by $|x|$. More generally, for a fixed vector $v=(v_{1},\ldots , v_{n})\in \mathbb{R}^{n}_{+}$, we have the well-defined norm

$$ \vert x \vert _{v}=\sum_{i=1}^{n}v_{i} \vert x_{i} \vert . $$

In particular, we get the $l_{1}$-norm $|x|_{v}=|x|_{1}=\sum_{i=1}^{n}|x_{i}|$ if $v=(1,\ldots , 1)$. Let $\|\cdot \|$ denote the supremum norm of $C_{T}=\{x:x\in C(\mathbb{R}/T\mathbb{Z}),\mathbb{R}\}$ and take $X= C_{T} \times \cdots \times C_{T} (n \text{ copies})$. Then for $x=(x_{1}, \ldots ,x_{n})\in X$, the natural norm becomes

$$ \Vert x \Vert =\sum_{i=1}^{n}v_{i} \Vert x_{i} \Vert =\sum_{i=1}^{n}v_{i} \cdot \max_{t} \bigl\vert x_{i}(t) \bigr\vert . $$

Obviously, X is a Banach space.

2 Sign of Green’s function and its properties

As we know, it is very complicated to calculate the Green’s function of the third-order scalar linear differential equation

$$\begin{aligned} x'''+a(t)x=h(t), \end{aligned}$$

(2.1)

with with variable coefficients and periodic boundary conditions (1.2), where $h\in C(\mathbb{R},\mathbb{R}^{+})$ is a T-periodic function. In this section, we first discuss the Green’s function of the third-order scalar linear differential equation with constant coefficients

$$\begin{aligned} \textstyle\begin{cases} x'''+ Ax=h(t), \quad 0\leq t \leq T , \\ x(0)=x(T),\qquad x'(0)=x'(T), \qquad x''(0)=x''(T), \end{cases}\displaystyle \end{aligned}$$

(2.2)

where $A:= \max_{t\in [0,T]}a(t)$. We will use it to investigate the existence of a positive periodic solution for (1.1). In the following, we introduce the Green’s functions of (2.2) and some properties, which can be found in [24]. Let $A=\rho ^{3}$. Then (2.2) is transformed into

$$\begin{aligned} \textstyle\begin{cases} y'(t)+ \rho x=h(t), \\ y(0)=y(T), \end{cases}\displaystyle \end{aligned}$$

(2.3)

and

$$\begin{aligned} \textstyle\begin{cases} x''(t)-\rho x'(t)+ \rho ^{2} x(t)=h(t), \\ x(0)=x(T),\qquad x'(0)=x'(T). \end{cases}\displaystyle \end{aligned}$$

(2.4)

Moreover, the solutions of (2.3) can be written as

$$\begin{aligned} y(t)= \int _{0}^{T} G_{1}(t,s)h(s)\,ds, \end{aligned}$$

where

$$\begin{aligned} G_{1}(t,s)= \textstyle\begin{cases} \frac{e^{-\rho (t-s)}}{1-e^{-\rho T}} , & 0\leq s \leq t \leq T , \\ \frac{e^{-\rho (T+t-s)}}{1-e^{-\rho T}} , & 0\leq t \leq s \leq T . \end{cases}\displaystyle \end{aligned}$$

Lemma 2.1

([24])

The boundary value problem (2.4) is equivalent to the integral equation

$$\begin{aligned} x(t)= \int _{0}^{T} G_{2}(t,s)y(s)\,ds, \end{aligned}$$

where

$$\begin{aligned} G_{2}(t,s)= \textstyle\begin{cases} \frac{2e^{\frac{\rho (t-s)}{2}} [\sin \frac{\sqrt{3}\rho (T-t+s)}{2}+e^{-\frac{\rho T}{2}}\sin \frac{\sqrt{3}\rho (t-s)}{2} ]}{\sqrt{3}\rho (e^{\frac{\rho T}{2}}+e^{-\frac{\rho T}{3}}-2\cos \frac{\sqrt{3}\rho T}{2} )} , & 0\leq s \leq t \leq T , \\ \frac{2e^{\frac{\rho (T+t-s)}{2}} [\sin \frac{\sqrt{3}\rho (s-t)}{2}+e^{-\frac{\rho T}{2}}\sin \frac{\sqrt{3}\rho (T+t-s)}{2} ]}{\sqrt{3}\rho (e^{\frac{\rho T}{2}}+e^{-\frac{\rho T}{3}}-2\cos \frac{\sqrt{3}\rho T}{2} )} , & 0\leq t \leq s \leq T . \end{cases}\displaystyle \end{aligned}$$

Moreover, for $G_{2}(t,s)$, if $\rho \in (0,\frac{2\sqrt{3}\pi}{3T})$, then we have the estimates

$$\begin{aligned} 0< \frac{2\sin (\frac{\sqrt{3}\rho T}{2})}{\sqrt{3}\rho (e^{\frac{\rho T}{2}}+1)^{2}} \leq G_{2}(t,s)\leq \frac{2}{\sqrt{3}\sin (\frac{\sqrt{3}\rho T}{2})}. \end{aligned}$$

The solution of (2.2) can be written as

$$\begin{aligned} x(t) = & \int ^{T}_{0}G_{2}(t,\tau ) \int ^{T}_{0}G_{1}( \tau ,s)h(s)\,ds \,d \tau \\ = & \int ^{T}_{0} \int ^{T}_{0}G_{2}(t,\tau )G_{1}( \tau ,s)h(s)\,ds \,d\tau \\ = & \int ^{T}_{0} \biggl[ \int ^{T}_{0}G_{2}(t,s)G_{1}(s, \tau )\,ds \biggr]h(\tau )\,d\tau \\ = & \int ^{T}_{0} \biggl[ \int ^{T}_{0}G_{2}(t, \tau )G_{1}(\tau ,s)\,d\tau \biggr]h(s)\,ds . \end{aligned}$$

Thus letting

$$\begin{aligned} G(t,s)= \int ^{T}_{0} G_{2}(t,\tau )G_{1}(\tau ,s)\,d\tau , \end{aligned}$$

we can get

$$\begin{aligned} x(t)= \int ^{T}_{0} G(t,s)h(s)\,ds. \end{aligned}$$

Let $A:= \max_{t\in [0,T]}a(t)$. Since $G_{1}(t,s)>0$ and $G_{2}(t,s)\geq 0$, we easily get the following.

Lemma 2.2

Assume that $0< A<\frac{8\sqrt{3}\pi ^{3}}{9T^{3}}$. Then the Green’s function $G(t,s)$ associated with the boundary value problem (2.2) is positive for all $(t,s)\in [0,T]\times [0,T]$.

We denote

$$\begin{aligned} m=\min_{0\leq t,s\leq T}G(t,s),\qquad M=\max_{0\leq t,s \leq T}G(t,s),\qquad \sigma =m/M, \end{aligned}$$

(2.5)

and thus $M>m>0$ and $0<\sigma <1$.

3 Existence result (I)

In this section, we state and prove the first existence result for (1.1). The proof is based on the following nonlinear alternative of Leray–Schauder, which can be found in [19] and has been used in [13, 18].

Lemma 3.1

Let C be a convex subset of a normed linear space E, and let U be an open subset of C with $0\in U$. Then every compact continuous map $F:\bar{U}\rightarrow C$ has at least one of the following properties,

• (i) F has a fixed point in Ū; or

• (ii) There are $u\in \partial U$ and $0<\lambda <1$ such that $x=\lambda Fx$.

Define two functions ω and γ by

$$ \omega (t)= \int ^{T}_{0} G(t,s)\,ds $$

and

$$ \gamma (t)= \int ^{T}_{0} G(t,s)e(s)\,ds, $$

which is the unique T-periodic solution of the linear system

$$ x'''+a(t)x=e(t). $$

Observe that $u(t)=x(t)+\gamma (t)$ is a T-periodic solution of (1.1) if the system

$$ x'''+a(t)x= f\bigl(t,x(t)+\gamma (t) \bigr) $$

has a T-periodic solution $x(t)$, since

$$ u'''+a(t)u=x'''+ \gamma '''+a(t)x+a(t)\gamma =f(t,x+\gamma )+e(t)=f(t,u)+e(t). $$

Theorem 3.2

Assume that $0< A<\frac{8\sqrt{3}\pi ^{3}}{9T^{3}}$. In addition, suppose that there exists a positive constant $r>0$ satisfying the following conditions.

(H₁):

For each constant $L>0$, there exists a continuous function $\phi _{L}\succ 0$ (which means that $\phi (t)\geq 0$ for all $t\in [0,T]$ and it is positive for t in a subset of positive measure) such that

$$ \bigl\langle v,f(t,x)\bigr\rangle \geq \phi _{L}(t)\quad \textit{for } (t,x) \in [0,T] \times {\mathbb{R}}^{n}_{+} \textit{ with } 0< \vert x \vert _{v}\leq L. $$

(H₂):

There exist continuous nonnegative functions g and h on $(0,\infty )$ such that

$$ \bigl\langle v,f(t,x)\bigr\rangle \leq g\bigl( \vert x \vert _{v} \bigr)+h\bigl( \vert x \vert _{v}\bigr) $$

for all t and $x\in {\mathbb{R}}^{n}_{+}$ with $0<|x|_{v}\leq r+\gamma ^{*}$, where $g>0$ is nonincreasing, and $h/g$ is nondecreasing.

(H₃):

We have the following inequality:

$$ \frac{r}{g(\sigma r+\gamma _{*}) \{1+ \frac{h(r+\gamma ^{*})}{g(r+\gamma ^{*})} \}}> \Vert \omega \Vert , $$

where

$$\begin{aligned} \gamma _{*}= \min_{t} \bigl\langle v,\gamma (t) \bigr\rangle ,\qquad \gamma {*}= \max_{t} \bigl\vert \gamma (t) \bigr\vert _{v} . \end{aligned}$$

Then system (1.1) has at least one positive T-periodic solution.

Proof

Step 1. We first consider a family of systems.

Since (H₃) holds, we can choose $n_{0}\in \{1,2,\ldots \}$ such that $\frac{1}{n_{0}}<\sigma r +\gamma _{*}$ and

$$ \Vert \omega \Vert g(\sigma r+\gamma _{*}) \biggl\{ 1+ \frac{h(r+\gamma{*})}{g(r+\gamma ^{*})} \biggr\} +\frac{1}{n_{0}}< r. $$

Let $N_{0}= \{n_{0},n_{0}+1,\ldots \}$ and fix $n\in N_{0}$. Consider the family of systems

$$ x'''(t)+a(t)x(t)=\mu f_{n}\bigl(t,x(t)+\gamma (t)\bigr)+\frac{a(t)\vartheta}{n},$$

(3.1)

where $\mu \in [0,1]$, $\vartheta \in \mathbb{R}_{+}^{n}$ is chosen such that $(v,\vartheta )=1$, with truncation functions

$$\begin{aligned} f_{n}(t,x)= \textstyle\begin{cases} f(t,x) & \text{if } \vert x \vert _{v}\geq \frac{1}{n}, \\ \tilde{f}(t,x) & \text{if } \vert x \vert _{v}< \frac{1}{n},\end{cases}\displaystyle \end{aligned}$$

(3.2)

where f̃ is chosen such that $f_{n}$ are continuous on $[0,T]\times {\mathbb{R}}^{n}$.

So, (3.1) is equivalent to the fixed point problem

$$\begin{aligned} x(t) = & \mu \bigl(\mathcal{T}^{n}x\bigr) (t) +\ell , \end{aligned}$$

(3.3)

where $\ell = \vartheta /n$, $\mathcal{T}^{n}$ is defined by

$$ \bigl(\mathcal{T}^{n}x\bigr) (t)= \int _{0}^{T}G(t,s)f^{n}\bigl(s,x(s)+ \gamma (s)\bigr)\,ds, $$

and we have used the fact that

$$ \int ^{T}_{0}a(s)G(t,s)\,ds=1. $$

We claim that any fixed point x of (3.3) for all $\mu \in [0,1]$ must satisfy $\|x\|\ne r$. Otherwise, assume that x is a fixed point of (3.3) for some $\mu \in [0,1]$ such that $\|x\|= r$. From Lemma 2.2 we have

$$\begin{aligned} \bigl\langle v,x(t)\bigr\rangle - \langle v,\ell \rangle = & \mu \int ^{T}_{0} \bigl\langle v,G(t,s)f_{n} \bigl(s,x(s)+\gamma (s)\bigr)\bigr\rangle \,ds \\ \ge & \mu m \int ^{T}_{0} \bigl\langle v,f_{n} \bigl(s,x(s)+ \gamma (s)\bigr)\bigr\rangle \,ds \\ = & \sigma M\mu \int ^{T}_{0}\bigl\langle v,f_{n} \bigl(s,x(s)+ \gamma (s)\bigr)\bigr\rangle \,ds \\ \ge & \sigma \biggl\langle v,\max_{t} \biggl\{ \mu \int ^{T}_{0}G(t,s)f_{n}\bigl(s,x(s)+ \gamma (s)\bigr)\,ds \biggr\} \biggr\rangle \\ = & \sigma \bigl\Vert x(t)-\ell \bigr\Vert . \end{aligned}$$

Therefore, for all t, we have

$$\begin{aligned} \bigl\langle v,x(t)\bigr\rangle \geq & \sigma \bigl\Vert x(t)-\ell \bigr\Vert + \langle v,\ell \rangle \\ \geq & \sigma \bigl( \bigl\Vert x(t) \bigr\Vert -\langle v,\ell \rangle \bigr)+ \langle v,\ell \rangle \\ \geq & \sigma r. \end{aligned}$$

So we have

$$ \bigl\Vert x(t)+\gamma (t) \bigr\Vert \geq \bigl\langle v,x(t)+\gamma (t) \bigr\rangle \geq \sigma r+ \gamma _{*}>\frac{1}{n}, $$

since $\frac{1}{n} \le \frac{1}{n_{0}} <\sigma r + \gamma _{*}$, which implies that

$$ f_{n}\bigl(t,x(t)+\gamma (t)\bigr)=f\bigl(t,x(t)+\gamma (t)\bigr). $$

Thus from (H₂) we have

$$\begin{aligned} \bigl\langle v,x(t)\bigr\rangle = & \lambda \int ^{T}_{0} \bigl\langle v,G(t,s)f\bigl(s,x(s)+ \gamma (s)\bigr)\bigr\rangle \,ds+ \langle v,\ell \rangle \\ \le & \int ^{T}_{0}\bigl\langle v,G(t,s)f\bigl(s,x(s)+ \gamma (s)\bigr)\bigr\rangle \,ds+ \langle v,\ell \rangle \\ = & \int ^{T}_{0}G(t,s)\bigl\langle v,f\bigl(s,x(s)+ \gamma (s)\bigr) \bigr\rangle \,ds+\langle v,\ell \rangle \\ \le & \int ^{T}_{0}G(t,s)g \bigl( \bigl\vert x(s)+\gamma (s) \bigr\vert _{v} \bigr) \biggl\{ 1+ \frac{h ( \vert x(s)+\gamma (s) \vert _{v} )}{ g ( \vert x(s)+\gamma (s) \vert _{v} )} \biggr\} \,ds+\langle v,\ell \rangle \\ \le & \Vert \omega \Vert g(\sigma r+\gamma _{*}) \biggl\{ 1+ \frac{h(r+\gamma ^{*})}{g(r+\gamma ^{*})} \biggr\} +\frac{1}{n_{0}}. \end{aligned}$$

Therefore we have

$$ r= \Vert x \Vert _{v}\leq \Vert \omega \Vert g(\sigma r+ \gamma _{*}) \biggl\{ 1+ \frac{h(r+\gamma ^{*})}{g(r+\gamma ^{*})} \biggr\} +\frac{1}{n_{0}}. $$

This is a contradiction to the choice of $n_{0}$, and thus the claim is proved.

By this claim Lemma 3.1 guarantees that

$$ x=\mathcal {T}^{n} x $$

has a fixed point, denoted by $x_{n}$, i.e., the system

$$ x'''(t)+a(t)x(t)= f_{n}\bigl(t,x(t)+\gamma (t)\bigr)+\frac{a(t)\vartheta}{n}$$

(3.4)

has a periodic solution $x_{n}$ with $\|x_{n}\|< r$. Since $\langle v,x_{n}(t)\rangle \geq \langle v,\ell \rangle >0$ for all $t\in [0,T]$, $x_{n}$ is in fact a positive T-periodic solution of (3.4).

Now we show that $\langle v,x_{n}(t)+\gamma (t)\rangle$ have an uniform positive lower bound, i.e., there exists a constant $\delta >0$, independent of $n\in N_{0}$, such that

$$ \bigl\langle v,x_{n}(t)+\gamma (t)\bigr\rangle \geq \delta $$

(3.5)

for all $n\in N_{0}$. To see this, we know that by (H₁) there exists a continuous function $\phi _{L}(t)\succ 0$ such that

$$ \bigl\langle v,f(t,x)\bigr\rangle \geq \phi _{L}(t) $$

for all t and $0<\|x\|\leq L$. Then we have

$$\begin{aligned} \bigl\langle v,x_{n}(t)+\gamma (t)\bigr\rangle = & \int _{0}^{T}G(t,s) \bigl\langle v,f_{n} \bigl(s,x_{n}(s)+\gamma (s)\bigr)\bigr\rangle \,ds+\frac{1}{n} \\ \ge & m \int _{0}^{T}\bigl\langle v,f\bigl(s,x_{n}(s)+ \gamma (s)\bigr)\bigr\rangle \,ds+\frac{1}{n} \\ \ge & m \int _{0}^{T}\phi _{L}(s)\,ds:=\delta . \end{aligned}$$

So we have $\langle v,x_{n}(t)+\gamma (t)\rangle \geq \delta$ for all n.

Step 2. To pass the solutions $x_{n}$ of the truncation systems (3.4) to that of the original system (1.1), we need to show that $\{x_{n}\}_{n\in N_{0}}$ is compact.

Firstm we claim that

$$ \bigl\Vert x'_{n} \bigr\Vert \leq H$$

(3.6)

for some constant $H>0$ and all $n\ge n_{0}$.

Here we denote by $x_{ni}$ and $\vartheta _{i}$ the ith components of $x_{n}$ and ϑ. Since $x_{ni}$ are T-periodic solutions of (3.4), we have

$$ x_{ni}'''(t)+a(t)x_{ni}(t)= f_{n}\bigl(t,x_{ni}(t)+\gamma (t)\bigr)+ \frac{a(t)\vartheta _{i}}{n}$$

(3.7)

for each $i=1,2,\ldots ,n$.

Multiplying both sides of (3.7) by $x'_{ni}(t)$ and integrating from 0 to T, we have

$$\begin{aligned} \int _{0}^{T} x_{ni}'''(t)x'_{ni}(t) \,dt+ \int _{0}^{T} a(t)x_{ni}(t)x'_{ni}(t) \,dt =& \int _{0}^{T} f_{n}\bigl(t,x_{ni}(t)+ \gamma (t)\bigr)x'_{ni}(t)\,dt \\ &{}+ \int _{0}^{T} \frac{a(t)\vartheta _{i}}{n}x'_{ni}(t) \,dt. \end{aligned}$$

(3.8)

Substituting $\int _{0}^{T} x_{ni}'''(t)x'_{ni}(t)\,dt=-\int _{0}^{T}|x''_{ni}(t)|^{2}\,dt$ into (3.8), we have

$$\begin{aligned} \int _{0}^{T} \bigl\vert x''_{ni}(t) \bigr\vert ^{2}\,dt = & \int _{0}^{T} a(t)x_{ni}(t)x'_{ni}(t) \,dt - \int _{0}^{T} f_{n}\bigl(t,x_{ni}(t)+ \gamma (t)\bigr)x'_{ni}(t)\,dt \\ &{}- \int _{0}^{T} \frac{a(t)\vartheta _{i}}{n}x'_{ni}(t) \,dt \\ \le & A \int _{0}^{T} \bigl\vert x_{ni}(t) \bigr\vert \bigl\vert x'_{ni}(t) \bigr\vert \,dt+ \int _{0}^{T} \bigl\vert f_{n} \bigl(t,x_{ni}(t)+\gamma (t)\bigr) \bigr\vert \bigl\vert x'_{ni}(t) \bigr\vert \,dt \\ &{} + \frac{A \vartheta _{i}}{n} \int _{0}^{T} \bigl\vert x'_{ni}(t) \bigr\vert \,dt \\ \le & A r \sqrt{T} \biggl( \int _{0}^{T} \bigl\vert x'_{ni}(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} \\ &{}+ \biggl( \int _{0}^{T} \bigl\vert f_{n} \bigl(t,x_{ni}(t)+ \gamma (t)\bigr) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} \biggl( \int _{0}^{T} \bigl\vert x'_{ni}(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} \\ &{}+ \frac{A \vartheta _{i}}{n_{0}}\sqrt{T} \biggl( \int _{0}^{T} \bigl\vert x'_{ni}(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} \\ = & C \biggl( \int _{0}^{T} \bigl\vert x'_{ni}(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} , \end{aligned}$$

where

$$ C=A r \sqrt{T}+\max_{\delta \leq x_{ni}\leq r} \biggl( \int _{0}^{T} \bigl\vert f_{n} \bigl(t,x_{ni}(t)+\gamma (t)\bigr) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}} + \frac{A \vartheta _{i}}{n_{0}}\sqrt{T}. $$

Using the Writinger inequality, we have

$$\begin{aligned} \int _{0}^{T} \bigl\vert x''_{ni}(t) \bigr\vert ^{2}\,dt \leq \frac{CT}{2\pi} \biggl( \int _{0}^{T} \bigl\vert x''_{ni}(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}}. \end{aligned}$$

It is easy to see that there is constant $D>0$ such that

$$\begin{aligned} \int _{0}^{T} \bigl\vert x''_{ni}(t) \bigr\vert ^{2}\,dt \leq D. \end{aligned}$$

For each $i=1,\ldots , n$, by the periodic boundary conditions $x_{ni}(0)=x_{ni}(T)$ we know that there exists a point $t_{0}\in [0,T]$ such that $x'_{ni}(t_{0})=0$. Therefore we have

$$\begin{aligned} \bigl\Vert x'_{ni} \bigr\Vert =& \max _{t} \biggl\vert \int _{t_{i}}^{t}x''_{ni}(s) \,ds \biggr\vert \\ \leq& \int _{0}^{T} \bigl\vert x''_{ni}(s) \bigr\vert \,ds \\ \leq & T^{\frac{1}{2}} \biggl( \int _{0}^{T} \bigl\vert x''_{ni}(s) \bigr\vert ^{2}\,ds \biggr)^{\frac{1}{2}}\leq \sqrt{TD} . \end{aligned}$$

Therefore

$$\begin{aligned} \bigl\Vert x'_{n} \bigr\Vert = \bigl\langle v, \bigl\Vert x'_{ni} \bigr\Vert \bigr\rangle \leq \sum _{i=1}^{n} v_{i} \sqrt{TD}:=H. \end{aligned}$$

Step 3. The facts (3.6) and (3.5) show that $\{x_{n} \}_{n\in N_{0}}$ is a bounded and equicontinuous family.

Now the Arzelà–Ascoli theorem guarantees that $\{x_{n} \}_{n\in N_{0}}$ has a subsequence $\{x_{n_{k}} \}_{k\in {\mathbb{N}}}$ converging uniformly on $[0,T]$ to a function $x\in X$. Moreover, we have

$$ \delta \leq \bigl\langle v, x(t)+\gamma (t)\bigr\rangle \le r+\gamma ^{*} \quad \text{for all } t. $$

Furthermore, $x_{n_{k}}$ satisfies the integral equation

$$ x_{n_{k}}(t)= \int ^{T}_{0}G(t,s)f\bigl(s,x_{n_{k}}(s)+ \gamma (s)\bigr)\,ds+ \frac{\ell}{n_{k}}. $$

Letting $k\rightarrow \infty$, we arrive at

$$ x(t)= \int ^{T}_{0}G(t,s)f\bigl(s,x(s)+\gamma (t)\bigr) \,ds. $$

Therefore x is a positive T-periodic solution of (1.1) and satisfies $0<\|x\|\leq r$. □

Corollary 3.3

Assume that $0< A<\frac{8\sqrt{3}\pi ^{3}}{9T^{3}}$, $b,c\in C[0,T]$ are positive functions, $e_{1},e_{2}\in C({\mathbb{R}}/T{\mathbb{Z}},{\mathbb{R}})$, $\alpha ,\beta >0$, and $\mu \in \mathbb{R}$ is a given positive parameter. Consider the following two-dimensional third-order nonlinear systems:

$$\begin{aligned} \textstyle\begin{cases} x_{1}'''+a(t)x_{1}=b(t)(x_{1}+x_{2})^{-\alpha}+e_{1}(t), \\ x_{2}'''+a(t)x_{2}= \lambda c(t)(x_{1}+x_{2})^{\beta}+e_{2}(t). \end{cases}\displaystyle \end{aligned}$$

(3.9)

• (i) if $\beta <1$, then (3.9) has at least one positive periodic solution for each $\lambda >0$;

• (ii) if $\beta \ge 1$, then (3.9) has at least one positive periodic solution for each $0< \lambda < \lambda _{1}$, where $\lambda _{1}$ is some positive constant;

Proof

We will apply Theorem 3.2. For a fixed vector $v=(1,1)$, ${(\mathrm{H}_{1})}$ is fulfilled by $\phi _{L}=b(t)L^{-\alpha}$. For $s\in \mathbb{R}$, $s>0$, to verify ${(\mathrm{H}_{2})}$, we may take

$$\begin{aligned} g(s)=b^{*}s^{-\alpha},\qquad h(s)=\mu c^{*}s^{\beta}, \end{aligned}$$

where

$$\begin{aligned} b^{*}= \max_{t} b(t), \qquad c^{*}=\max _{t} c(t). \end{aligned}$$

Condition $(\mathrm{H}_{3})$ becomes

$$\begin{aligned} \lambda < \frac{r (\sigma r+\gamma _{*})^{\alpha}-b^{*}MT}{c^{*}(r+\gamma ^{*})^{\alpha +\beta}MT} \end{aligned}$$

for some $r>0$. So (3.9) has at least one positive periodic solution for

$$\begin{aligned} 0< \lambda < \lambda _{1} := \sup_{r>0} \frac{r (\sigma r+\gamma _{*})^{\alpha}-b^{*}MT}{c^{*}(r+\gamma ^{*})^{\alpha +\beta}MT}. \end{aligned}$$

Note that $\lambda _{1}=\infty$ if $\beta <1$ and $\lambda _{1} < \infty$ if $\beta \ge 1$. So we have (i) and (ii). □

4 Existence result (II)

In this section, by using Guo-Krasnosel’skii’s fixed point theorem on compression and expansion of cones, we establish the second existence results for (1.1).

Lemma 4.1

([10])

Let X be a Banach space, and let $K (\subset X)$ be a cone. Assume that $\Omega _{1}$, $\Omega _{2}$ are open subsets of X with $0\in \Omega _{1}$, $\bar{\Omega}_{1}\subset \Omega _{2}$, and let

$$ \mathcal{A}:K\cap (\bar{\Omega}_{2}\setminus \Omega _{1}) \rightarrow K $$

be a completely continuous operator such that either

• (i) $\| \mathcal{A}u \| \geq \| u \|$, $u\in K\cap \partial \Omega _{1}$, and $\| \mathcal{A}u \| \leq \| u \|$, $u\in K\cap \partial \Omega _{2}$; or

• (ii) $\| \mathcal{A}u \| \leq \| u \|$, $u\in K\cap \partial \Omega _{1}$, and $\| \mathcal{A}u \| \geq \| u \|$, $u\in K\cap \partial \Omega _{2}$.

Then $\mathcal {A}$ has a fixed point in $K\cap (\bar{\Omega}_{2}\setminus \Omega _{1})$.

Let $X= C_{T} \times \cdots \times C_{T} (n \text{ copies})$ and define

$$\begin{aligned} K=\Bigl\{ x\in X: \min_{t}\bigl\langle v,x(t) \bigr\rangle \geq \sigma \Vert x \Vert \Bigr\} , \end{aligned}$$

(4.1)

where σ is as in (2.5).

We can readily verify that K is a cone in the Banach space X. Define the operator

$$\begin{aligned} (\Phi x) (t)= \int ^{T}_{0} G(t,s)f\bigl(s,x(s)\bigr)\,ds \end{aligned}$$

for $x\in X$ and $t\in [0,T]$. Then Φ is well defined and maps X into K.

Indeed, for $t\in \mathbb{R}$ and $x\in X$, we have

$$\begin{aligned} \Vert \Phi x \Vert =& \max_{t}\bigl\langle v, (\Phi x) (t) \bigr\rangle \\ =& \max_{t} \int ^{T}_{0} G(t,s)\bigl\langle v,f\bigl(s,x(s) \bigr) \bigr\rangle \,ds \\ \leq & M \int ^{T}_{0} \bigl\langle v,f\bigl(s,x(s)\bigr) \bigr\rangle \,ds. \end{aligned}$$

On the other hand,

$$\begin{aligned} \bigl\langle v,(\Phi x) (t)\bigr\rangle =& \int ^{T}_{0} G(t,s) \bigl\langle v,f\bigl(s,x(s) \bigr)\bigr\rangle \,ds \\ \geq & m \int ^{T}_{0} \bigl\langle v,f\bigl(s,x(s)\bigr) \bigr\rangle \,ds. \end{aligned}$$

Thus

$$\begin{aligned} \min_{t}\bigl\langle v,(\Phi x) (t)\bigr\rangle \geq m \int ^{T}_{0} \bigl\langle v,f\bigl(s,x(s)\bigr) \bigr\rangle \,ds\geq \sigma \Vert \Phi x \Vert . \end{aligned}$$

This implies that $\Phi (X)\subset K$. It is easy to prove $\Phi :X\rightarrow K$ is completely continuous.

Theorem 4.2

Assume that $0< A<\frac{8\sqrt{3}\pi ^{3}}{9T^{3}}$ and $(\mathrm{H}_{1})$–$(\mathrm{H}_{3})$ hold. In addition, we assume that the following two conditions are satisfied:

(H₄):

There exist continuous nonnegative functions g and $h_{1}$ such that

$$\begin{aligned} \bigl\langle v,f(t,x)\bigr\rangle \geq g_{1}\bigl( \vert x \vert _{v}\bigr)+h_{1}\bigl( \vert x \vert _{v} \bigr) \quad \textit{for all } (t,x)\in [0,T]\times \mathbb{R}_{+}^{n} \backslash \{0 \}, \end{aligned}$$

where $g_{1}>0$ is nonincreasing, and $h_{1}/g_{1}$ is nondecreasing.

(H₅):

There exists $R >r$ such that

$$\begin{aligned} \Vert \omega \Vert g_{1}\bigl(R+\gamma ^{*}\bigr) \biggl\{ 1+ \frac{h_{1}(\sigma R+\gamma _{*})}{g_{1}(\sigma R+\gamma _{*})} \biggr\} \geq R. \end{aligned}$$

Then, besides the solution x constructed in Theorem 3.2, problem (1.1)–(1.2) has another positive T-periodic solution x̃ with $r< \|\tilde{x}-\gamma \|\leq R$.

Proof

Let K be a cone in X defined by (4.1). Define

$$\begin{aligned} \Omega _{1}=\bigl\{ x\in X: \Vert x \Vert < r\bigr\} , \qquad \Omega _{2}=\bigl\{ x\in X: \Vert x \Vert < R \bigr\} . \end{aligned}$$

First, we claim that $\|\Phi x\|\leq \|x\|$ for $x\in K\cap \partial \Omega _{1}$. Indeed, if $x\in K\cap \partial \Omega _{1}$, then $\|x\|=r$, and we have

$$ \sigma r\leq \bigl\vert x(t) \bigr\vert _{v}\leq r. $$

Thus

$$\begin{aligned} \Vert \Phi x \Vert = & \max_{t} \vert \Phi x \vert _{v} \\ = & \max_{t} \biggl\langle v, \int ^{T}_{0}G(t,s)f\bigl(s,x(s)+ \gamma (s)\bigr) \,ds \biggr\rangle \\ =& \max_{t} \int ^{T}_{0}G(t,s) \bigl\langle v,f(s,x(s)+ \gamma (s) \bigr\rangle \,ds \\ \leq & \max_{t} \int ^{T}_{0}G(t,s)g\bigl( \bigl\vert x(t)++ \gamma (s) \bigr\vert _{v}\bigr) \biggl\{ 1+ \frac{h( \vert x(t)+\gamma (s) \vert _{v})}{g( \vert x(t)+\gamma (s) \vert _{v})} \biggr\} \,ds \\ \leq & g(\sigma r+\gamma _{*}) \biggl\{ 1+ \frac{h(r+\gamma ^{*})}{g(r+\gamma ^{*})} \biggr\} \max_{t} \int ^{T}_{0}G(t,s)\,ds \\ \leq & \Vert \omega \Vert g(\sigma r+\gamma _{*}) \biggl\{ 1+ \frac{h(r+\gamma ^{*})}{g(r+\gamma ^{*})} \biggr\} \\ \leq & r= \Vert x \Vert . \end{aligned}$$

Next, we prove that $\|\Phi x\|\geq \|x\|$ for $x\in K\cap \partial \Omega _{2}$. Indeed, if $x\in K\cap \partial \Omega _{2}$, then $\|x\|= R$, and we have

$$ \sigma R+\gamma _{*}\leq \bigl\vert x(t)+\gamma (t) \bigr\vert _{v}\leq R+\gamma ^{*}. $$

Thus

$$\begin{aligned} \Vert \Phi x \Vert =& \max_{t} \int ^{T}_{0}G(t,s) \bigl\langle v,f\bigl(s,x(s)+ \gamma (s)\bigr)\,ds \bigr\rangle \\ \geq & \max_{t} \int ^{T}_{0}G(t,s)g_{1}\bigl( \bigl\vert x(t)+ \gamma (s) \bigr\vert _{v}\bigr) \biggl\{ 1+ \frac{h_{1}( \vert x(t)+\gamma (s) \vert _{v})}{g_{1}( \vert x(t)+\gamma (s) \vert _{v})} \biggr\} \,ds \\ \geq & g_{1}\bigl(R+\gamma ^{*}\bigr) \biggl\{ 1+ \frac{h_{1}(\sigma R+\gamma _{*})}{g_{1}(\sigma R+\gamma _{*})} \biggr\} \max_{t} \int ^{T}_{0}G(t,s)\,ds \\ \geq & \Vert \omega \Vert g_{1}\bigl(R+\gamma ^{*} \bigr) \biggl\{ 1+ \frac{h_{1}(\sigma R+\gamma _{*})}{g_{1}(\sigma R+\gamma _{*})} \biggr\} \\ \geq & R= \Vert x \Vert . \end{aligned}$$

Now Lemma 4.1 guarantees that Φ has at least one fixed point $\tilde{x}\in K\cap (\bar{\Omega}_{2} \backslash \Omega _{1})$ with $r\leq \|\tilde{x}\|\leq R$. □

Let us consider again example (3.9) in Corollary 3.3.

Corollary 4.3

Assume in (3.9) that $0< A<\frac{8\sqrt{3}\pi ^{3}}{9T^{3}}$, $b(t)>0$ and $c(t)>0$ for all $t\in [0,T]$, and $\beta >1$. Then, for each μ with $0<\lambda <\lambda _{1}$, where $\lambda _{1}$ is given as in Corollary 3.3, problem (3.9) has at least two different positive solutions.

To verify ${(\mathrm{H}_{4})}$, for $s\in \mathbb{R}$, $s>0$, we may take

$$\begin{aligned} v=(1,1), \qquad g_{1}(s)=b_{*}s^{-\alpha},\qquad h_{1}(s)=\mu c_{*}s^{ \beta}, \end{aligned}$$

where

$$\begin{aligned} c_{*}= \min_{t} c(t), \qquad d_{*}=\min _{t} d(t). \end{aligned}$$

If $\beta >1$, then condition ${(\mathrm{H}_{5})}$ becomes

$$\begin{aligned} \lambda \geq \frac{R (R+\gamma ^{*})^{\alpha}-MTb_{*}}{c_{*}(\sigma R+\gamma _{*})^{\alpha +\beta}}. \end{aligned}$$

(4.2)

Since $\beta >1$, the right-hand side goes to 0 as $R\rightarrow +\infty$. Thus, for any given $0<\lambda <\lambda _{1}$, it is always possible to find $R\gg r$ such that (4.2) is satisfied. Thus (3.9) has an additional positive periodic solution x̃.