Skip to main content

Existence of rotating-periodic solutions for nonlinear second order vector differential equations

Abstract

In this paper, we establish two existence theorems of rotating-periodic solutions for nonlinear second order vector differential equations via the Leray–Schauder degree theory and the lower and upper solutions method. The concept “rotating-periodicity” is a kind of symmetry, which is a general version of periodicity, anti-periodicity, harmonic-periodicity, and it is also a special kind of quasi-periodicity. We also include several examples to illustrate the validity and applicability of our results.

1 Introduction

Periodicity is a very important property in the study of differential equations. Since Poincaré established the existence of periodic solutions to the three-body problems, there has been a rich literature body on the periodic solutions of ordinary differential equations (see for example [9, 16, 18] and the references therein). However, some differential equations often exhibit certain symmetries rather than periodicity, such as anti-periodicity, harmonic-periodicity, and quasi-periodicity. Recently, the existence of affine-periodic solutions and rotating-periodic solutions for nonlinear differential equations, which was firstly introduced in [24], has become a very interesting topic. Especially, Chang and Li [4, 5] studied the existence of rotating-periodic solutions for second order dynamical systems by using the coincidence degree theory. In [21, 23], the existence of affine-periodic solutions for nonlinear systems is obtained based on the existence of lower and upper solutions. One can also see [1315] for the existence and multiplicity of rotating-periodic solutions of second order Hamiltonian systems.

This paper is devoted to investigating the existence of rotating-periodic solutions for the following second order vector differential equation:

$$\begin{aligned} x''+f\bigl(t,x,x'\bigr)=0, \end{aligned}$$
(1)

where \(f: \mathbb{R}^{1}\times \mathbb{R}^{n}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) is Lipschitz continuous. Assume, moreover, that there exist some \(T>0\) and \(Q\in O(n)\) such that

$$\begin{aligned} f(t+T,x,y)=Qf\bigl(t,Q^{-1}x,Q^{-1}y\bigr), \quad \forall t\in \mathbb{R}^{1}, x,y\in \mathbb{R}^{n}. \end{aligned}$$
(2)

System (1)–(2) is called a \((Q,T)\)-rotating-periodic system. A natural problem is seeking for a solution which can keep the rotating-symmetry of f, that is, the space variable x has a rotation Q as the time variable walks a period T, which leads to the following definition.

Definition 1

A function \(x:\mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\) is called a \((Q,T)\)-rotating-periodic solution of system (1)–(2) if it is a solution of (1) on \(\mathbb{R}^{1}\) and satisfies

$$\begin{aligned} x(t+T)=Qx(t), \quad \forall t\in \mathbb{R}^{1}. \end{aligned}$$

There are some natural phenomena presenting rotating-periodicity, such as spiral waves which execute compound rotation (see [3, 20] for example), spiral line in geometry, or the orbit of the earth going around the sun.

Remark 1

The cases of \(Q=I\) (the identical matrix) and \(Q=-I\) correspond to the ones of T-periodic and T-anti-periodic solutions, respectively. If there exists some positive integer N such that \(Q^{N}=I\), then \((Q,T)\)-rotating-periodic solutions are just harmonic solutions, i.e., \(x(t+NT)\equiv x(t)\), \(\forall t\in \mathbb{R}^{1}\). In particular, when \(Q=\mathrm{diag}(e^{i\theta _{1}},\ldots ,e^{i\theta _{n}})\in O(n)\), our solutions are actually the usual quasi-periodic ones with the frequency \((\theta _{1},\ldots ,\theta _{n})\).

In this paper, we shall investigate the existence of rotating-periodic solutions. The idea has largely been motivated by the work of Fabry and Habets [8] in which the existence of solutions was studied for the Picard boundary value problem. Topological methods, in particular the degree theory, some fixed point theorems, and lower and upper solutions method, are the most relevant tools in proving the existence of solutions for boundary value problems. Some remarkable works of this area can be found in [1, 2, 6, 7, 11, 12, 19] and the references therein.

The rest of this paper is organized as follows: In Sect. 2, we mainly review some preliminary lemmas which will be needed for the proof of our existence theorems. In Sect. 3, we prove the first existence theorem of rotating-periodic solutions based on the Leray–Schauder degree theory and a Bernstein–Nagumo type condition. In Sect. 4, by using the lower and upper solutions and a Kamke type condition, we establish another existence theorem of rotating-periodic solutions. To illustrate our results, Sect. 5 contains some examples which show the validity and applicability of the existence theorems.

2 Preliminaries

In this section, we present some preliminary lemmas in the form we need for the proof of the existence theorems.

The following lemma shows that the problem of finding rotating-periodic solutions can be reduced to the corresponding boundary value problem.

Lemma 1

\(x(t)\)is a \((Q,T)\)-rotating-periodic solution of system (1)(2) if and only if \(x(t)\)is a solution of (1) and satisfies the following \((Q,T)\)-rotating-periodic boundary conditions:

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

In the following, we show that the boundary value problem (1)–(3) can be transformed into a fixed point problem.

In fact, if \(I-Q\in \operatorname{GL}(n)\), integrating (1) twice over \([0,t]\) and taking into account the boundary conditions (3), we get the following integral equation:

$$\begin{aligned} \begin{aligned}[b] x(t)&=(I-Q)^{-2} \int _{0}^{T} \bigl((t-s) (I-Q)-TQ \bigr)f \bigl(s,x(s),x'(s)\bigr) \,\mathrm{d}s \\ &\quad{}- \int _{0}^{t}(t-s)f\bigl(s,x(s),x'(s) \bigr)\,\mathrm{d}s\\ &\triangleq (\mathcal{T}_{1}x) (t). \end{aligned} \end{aligned}$$
(4)

On the other hand, if \(x(t)\) is a solution of (4), then differentiating (4) with respect to t twice, we have \(x''(t)=-f(t,x(t),x'(t))\). Substituting \(t=0\) and \(t=T\) into (4) and its derivative, we get \(x(T)=Qx(0)\) and \(x'(T)=Qx'(0)\).

If \(I-Q\notin \operatorname{GL}(n)\), we can choose a constant \(a>0\) such that \(I-e^{aT}Q\in \operatorname{GL}(n)\) and \(I-e^{-aT}Q\in \operatorname{GL}(n)\) hold. Consider the following equation:

$$\begin{aligned} x''-a^{2}x=-\bigl(a^{2}x+f \bigl(t,x,x'\bigr)\bigr), \end{aligned}$$

which is equivalent to (1). From the theory of linear differential equations, we know that its solution \(x(t)\) satisfies

$$\begin{aligned} x(t)=c_{1}e^{at}+c_{2}e^{-at}+ \frac{1}{2a} \int _{0}^{t} \bigl(e^{-a(t-s)}-e ^{a(t-s)} \bigr) \bigl(a^{2}x(s)+f\bigl(s,x(s),x'(s) \bigr) \bigr)\,\mathrm{d}s. \end{aligned}$$

By the boundary conditions (3), we have

$$\begin{aligned}& c_{1}=\frac{1}{2a}\bigl(I-e^{-aT}Q\bigr)^{-1} \int _{0}^{T}e^{-as} \bigl(a^{2}x(s)+f \bigl(s,x(s),x'(s)\bigr) \bigr) \,\mathrm{d}s, \\& c_{2}=-\frac{1}{2a}\bigl(I-e^{aT}Q\bigr)^{-1} \int _{0}^{T}e^{as} \bigl(a^{2}x(s)+f \bigl(s,x(s),x'(s)\bigr) \bigr) \,\mathrm{d}s. \end{aligned}$$

Then (1)–(3) is equivalent to the following integral equation:

$$\begin{aligned} \begin{aligned} x(t)&=\frac{1}{2a}\bigl(I-e^{-aT}Q \bigr)^{-1} \int _{0}^{T}e^{a(t-s)} \bigl(a^{2}x(s)+f \bigl(s,x(s),x'(s)\bigr) \bigr) \,\mathrm{d}s \\ &\quad{}-\frac{1}{2a}\bigl(I-e^{aT}Q\bigr)^{-1} \int _{0}^{T}e^{-a(t-s)} \bigl(a^{2}x(s)+f \bigl(s,x(s),x'(s)\bigr) \bigr)\,\mathrm{d}s \\ &\quad {}+ \frac{1}{2a} \int _{0}^{t} \bigl(e^{-a(t-s)}-e^{a(t-s)} \bigr) \bigl(a^{2}x(s)+f\bigl(s,x(s),x'(s)\bigr) \bigr) \,\mathrm{d}s\\ &\triangleq (\mathcal{T}_{2}x) (t). \end{aligned} \end{aligned}$$

Hence, finding a solution of boundary value problem (1)–(3) is equivalent to finding a fixed point for operator \(\mathcal{T}: C ^{1}([0,T];\mathbb{R}^{n})\rightarrow C^{1}([0,T];\mathbb{R}^{n})\) defined by

$$\begin{aligned} (\mathcal{T}x) (t)= \textstyle\begin{cases} (\mathcal{T}_{1}x)(t) & \text{if } I-Q\in \operatorname{GL}(n), \\ (\mathcal{T}_{2}x)(t) &\text{if } I-Q\notin \operatorname{GL}(n), \end{cases}\displaystyle \end{aligned}$$
(5)

where \(C^{1}([0,T];\mathbb{R}^{n})\) is the Banach space of \(C^{1}\) functions \(x:[0,T]\rightarrow \mathbb{R}^{n}\) with the norm

$$\begin{aligned} \Vert x \Vert _{1}=\max \Bigl\{ \max_{t\in [0,T]} \bigl\vert x(t) \bigr\vert , \max_{t\in [0,T]} \bigl\vert x'(t) \bigr\vert \Bigr\} . \end{aligned}$$

Throughout the paper, it is convenient to employ \(|x|\) as the notation for the Euclidean norm in \(\mathbb{R}^{n}\) and \(\langle x,y\rangle \) for the scalar product of two vectors x, \(y\in \mathbb{R}^{n}\).

The existence of a fixed point for operator \(\mathcal{T}\) will be based on the following lemma given in [8].

Lemma 2

LetXbe a Banach space, \(\mathcal{A}: X\rightarrow X\)be a compact operator such that \(\mathcal{A}\)has a unique fixed point \(x_{0}\), andΩbe an open bounded set such that \(x_{0}\in \varOmega \). Then the compact operator \(\mathcal{T}: \bar{\varOmega }\rightarrow X\)has a fixed point inΩ̄if, for any \(\lambda \in (0,1)\), the following equation

$$\begin{aligned} x=\lambda \mathcal{T}x+(1-\lambda )\mathcal{A}x \end{aligned}$$
(6)

has no solutionxon the boundary∂ΩofΩ.

In this paper, we use the following Bernstein–Nagumo type lemma (see [8]), which is an immediate application of results given by Mawhin [17], from which a priori bound for the possible solutions can be obtained.

Lemma 3

Let \(x:[0,T]\rightarrow \mathbb{R}^{n}\)be an absolutely continuous function with an absolutely continuous derivative. Assume that, for almost every \(t\in [0,T]\), we have \(|\langle x'(t),x''(t)\rangle | \leqslant h(|x'(t)|)|x'(t)|\), where \(h: \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\setminus \{0\}\)is continuous and satisfies

$$\begin{aligned} \int _{0}^{+\infty }\frac{s^{2}\,\mathrm{d}s}{h(s)}=+\infty . \end{aligned}$$
(7)

Then \(|x'(t)|\leqslant g(\int _{0}^{T}|x'(t)|^{2}\,\mathrm{d}t)\), wheregis defined by

$$\begin{aligned} \int _{\sqrt{u/T}}^{g(u)}\frac{s^{2}}{h(s)}\,\mathrm{d}s=u. \end{aligned}$$

3 The existence theorem via Leray–Schauder degree theory

In this section, we prove the existence theorem about rotating-periodic solutions by means of the Leray–Schauder degree theory. As it is pointed out in Sect. 2, we only need to prove the existence of fixed points of operator \(\mathcal{T}\) defined by (5).

Since \(f:\mathbb{R}^{1}\times \mathbb{R}^{n}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) is continuous, the operator \(\mathcal{T}\) is compact. We want to show that under appropriate conditions on f, one can build a suitable operator \(\mathcal{A}\) and a set Ω such that Lemma 2 can be applied. To this purpose, in the following theorem, let the compact operator \(\mathcal{A}: C^{1}([0,T]; \mathbb{R}^{n})\rightarrow C^{1}([0,T];\mathbb{R}^{n})\) be defined as follows:

$$\begin{aligned} (\mathcal{A}x) (t)= \textstyle\begin{cases} (\mathcal{A}_{1}x)(t) & \text{if } I-Q\in \operatorname{GL}(n), \\ (\mathcal{A}_{2}x)(t) & \text{if } I-Q\notin \operatorname{GL}(n), \end{cases}\displaystyle \end{aligned}$$
(8)

where

$$\begin{aligned}& (\mathcal{A}_{1}x) (t)=(I-Q)^{-2} \int _{0}^{T} \bigl(TQ-(t-s) (I-Q) \bigr)k ^{2}x(s)\,\mathrm{d}s+ \int _{0}^{t}(t-s)k^{2}x(s)\,\mathrm{d}s, \\& \begin{aligned} ( \mathcal{A}_{2}x) (t)&=\frac{1}{2a}\bigl(I-e^{-aT}Q \bigr)^{-1} \int _{0}^{T}e^{a(t-s)}\bigl(a ^{2}-k^{2}\bigr)x(s)\,\mathrm{d}s \\ &\quad{}-\frac{1}{2a}\bigl(I-e^{aT}Q\bigr)^{-1} \int _{0} ^{T}e^{-a(t-s)}\bigl(a^{2}-k^{2} \bigr)x(s)\,\mathrm{d}s \\ & \quad {}+\frac{1}{2a} \int _{0}^{t} \bigl(e^{-a(t-s)}-e^{a(t-s)} \bigr) \bigl(a^{2}-k^{2}\bigr)x(s) \,\mathrm{d}s \end{aligned} \end{aligned}$$

for \(k>0\), and let the open bounded set Ω be defined as follows:

$$\begin{aligned} \varOmega = \bigl\{ x\in C^{1}\bigl([0,T]; \mathbb{R}^{n}\bigr)\mid \bigl\vert x(t) \bigr\vert < \phi (t), \bigl\vert x'(t) \bigr\vert < \rho , \forall t\in [0,T] \bigr\} , \end{aligned}$$
(9)

where \(\phi :[0,T]\rightarrow \mathbb{R}^{+}\setminus \{0\}\) is some strictly positive \(C^{2}\) function and \(\rho >0\). Then we have the following existence result.

Theorem 1

Suppose that there exists a \(C^{2}\)function \(\phi : [0,T]\rightarrow \mathbb{R}^{+}\setminus \{0\}\)with \(\phi (0)=\phi (T)\), \(\phi '(0)= \phi '(T)\)such that, for any \(t\in [0,T]\), \(|x|=\phi (t)\), and \(\langle x,y\rangle =|x|\phi '(t)\), we have

$$\begin{aligned} \bigl\langle x,f(t,x,y)\bigr\rangle \leqslant \vert y \vert ^{2}-\phi (t)\phi ''(t)-\phi '(t)^{2}. \end{aligned}$$
(10)

Assume, moreover, that there exist constants \(\alpha ,\beta \geqslant 0\), \(0\leqslant \gamma <1\), and \(\delta >0\)such that, for all \(t\in [0,T]\), \(|x|\leqslant \phi (t)\), and \(y\in \mathbb{R}^{n}\), we have

$$\begin{aligned}& \bigl\langle x,f(t,x,y)\bigr\rangle \leqslant \alpha \vert x \vert ^{2}+\beta \vert x \vert \vert y \vert + \gamma \vert y \vert ^{2}+\delta , \end{aligned}$$
(11)
$$\begin{aligned}& \bigl\vert \bigl\langle y,f(t,x,y)\bigr\rangle \bigr\vert \leqslant h_{0}\bigl( \vert y \vert \bigr) \vert y \vert , \end{aligned}$$
(12)

where \(h_{0}: \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\setminus \{0\}\)is increasing, continuous and satisfies (7).

Then the operator \(\mathcal{T}\)has at least one fixed point \(x^{\ast }\)such that \(|x^{\ast }(t)|\leqslant \phi (t)\), \(\forall t \in [0,T]\), that is, \((Q,T)\)-rotating-periodic system (1)(2) has at least one \((Q,T)\)-rotating-periodic solution \(x^{\ast }(t)\).

Proof

Let \(\mathcal{A}\) be defined by (8) and Ω by (9). We suppose that \(\mathcal{T}\) defined by (5) has no fixed point on ∂Ω; otherwise, Theorem 1 has been proven.

According to Lemma 2, we firstly prove that \(\mathcal{A}\) has a unique fixed point in Ω. By similar arguments in Sect. 2, we know that \(\mathcal{A}x=x\) is equivalent to the following boundary value problem:

$$\begin{aligned} \begin{aligned} &x''=k^{2}x, \\ &x(T)=Qx(0), \qquad x'(T)=Qx'(0). \end{aligned} \end{aligned}$$
(13)

The solution of (13) can be explicitly written as \(x(t)=h_{1}e ^{kt}+h_{2}e^{-kt}\), where \(h_{1}\) and \(h_{2}\) satisfy \((Q-e^{kT}I)h _{1}=0\), \((Q-e^{-kT}I)h_{2}=0\). We can choose sufficiently large k such that \(e^{kT}\) and \(e^{-kT}\) are not the eigenvalues of Q, then \(h_{1}=h_{2}=0\). It follows that the unique solution of (13) is \(x_{0}=0\), and thus operator \(\mathcal{A}\) has a unique fixed point \(x_{0}\in \varOmega \).

Secondly, it suffices to show that if ρ and k are chosen large enough, there is no solution of (6) on ∂Ω for \(\lambda \in (0,1)\). Consider the following homotopy:

$$\begin{aligned} \mathcal{H}(x,\lambda )=:\lambda \mathcal{T}x+(1-\lambda )\mathcal{A}x, \quad (x,\lambda )\in \bar{\varOmega }\times [0,1]. \end{aligned}$$

Since there is no fixed point of \(\mathcal{H}(\cdot ,1)=\mathcal{T}\) on ∂Ω, it follows from the compactness of \(\mathcal{H}\) that there exists \(\lambda _{0}\in (0,1)\) such that the operator \(\mathcal{H}(\cdot ,\lambda )\) has no fixed point on ∂Ω for \(\lambda \in [\lambda _{0},1]\). Thus, it suffices to show that there is no solution of (6) on ∂Ω for \(\lambda \in (0,\lambda _{0})\).

If, on the other hand, there exists a solution \(x\in \partial \varOmega \) of (6), then the following situations hold: either there exists \(\xi \in [0,T]\) such that \(|x(t)|^{2}-\phi ^{2}(t)\) reaches the maximum value 0 at \(t=\xi \), or there exists \(\eta \in [0,T]\) such that \(|x'(\eta )|=\rho \). In what follows we will prove that none of these two statements hold for sufficiently large ρ.

Assume that \(|x(t)|^{2}-\phi ^{2}(t)\) reaches the maximum value 0 at \(t=\xi \in [0,T]\). If \(\xi \in (0,T)\), then we have

$$\begin{aligned} \bigl\vert x(\xi ) \bigr\vert =\phi (\xi ), \qquad \bigl\langle x(\xi ),x'(\xi )\bigr\rangle -\phi (\xi )\phi '(\xi )=0. \end{aligned}$$

Hence

$$\begin{aligned} \bigl\langle x(\xi ),x''(\xi )\bigr\rangle + \bigl\vert x'(\xi ) \bigr\vert ^{2}-\phi ( \xi )\phi ''( \xi )-\phi '(\xi )^{2}\leqslant 0. \end{aligned}$$
(14)

Since x is a solution of (6), it follows that

$$\begin{aligned} x''(t)=-\lambda f\bigl(t,x(t),x'(t) \bigr)+(1-\lambda )k^{2}x(t). \end{aligned}$$

Using this equation together with (10), we have that

$$\begin{aligned} \begin{aligned} &\bigl\langle x(\xi ),x''( \xi )\bigr\rangle + \bigl\vert x'(\xi ) \bigr\vert ^{2}-\phi (\xi )\phi ''( \xi )-\phi '(\xi )^{2} \\ &\quad =-\lambda \bigl\langle x(\xi ), f\bigl(\xi ,x(\xi ),x'( \xi ) \bigr)\bigr\rangle +(1-\lambda )k^{2} \bigl\vert x(\xi ) \bigr\vert ^{2}+ \bigl\vert x'(\xi ) \bigr\vert ^{2}- \phi ( \xi )\phi ''(\xi )-\phi '(\xi )^{2} \\ &\quad \geqslant (1-\lambda ) \bigl(k ^{2}\phi (\xi )^{2}+ \bigl\vert x'(\xi ) \bigr\vert ^{2}-\phi (\xi )\phi ''(\xi )-\phi '( \xi )^{2} \bigr)>0 \end{aligned} \end{aligned}$$

holds for all \(\lambda \in (0,\lambda _{0})\) and sufficiently large k. This contradicts (14). If \(\xi =0\), that is, \(|x(t)|^{2}- \phi ^{2}(t)\) reaches the maximum value 0 at \(t=0\), then from (3) and the orthogonality of Q, we have

$$\begin{aligned} \bigl\vert x(T) \bigr\vert ^{2}-\phi ^{2}(T)= \bigl\vert x(0) \bigr\vert ^{2}-\phi ^{2}(0)=0, \end{aligned}$$

which implies that \(|x(t)|^{2}-\phi ^{2}(t)\) reaches the maximum value 0 at \(t=T\), and vice versa. Hence,

$$\begin{aligned} \bigl\langle x(0),x'(0)\bigr\rangle -\phi (0)\phi '(0) \leq 0, \qquad \bigl\langle x(T),x'(T)\bigr\rangle -\phi (T)\phi '(T)\geq 0. \end{aligned}$$

From (3), the orthogonality of Q, and the conditions of ϕ, we conclude that

$$\begin{aligned} \bigl\langle x(T),x'(T)\bigr\rangle -\phi (T)\phi '(T)=\bigl\langle x(0),x'(0)\bigr\rangle -\phi (0)\phi '(0)=0. \end{aligned}$$

Then it follows that

$$\begin{aligned} \begin{aligned} &\bigl\langle x(0),x''(0) \bigr\rangle + \bigl\vert x'(0) \bigr\vert ^{2}-\phi (0)\phi ''(0)-\phi '(0)^{2} \leqslant 0, \\ &\bigl\langle x(T),x''(T)\bigr\rangle + \bigl\vert x'(T) \bigr\vert ^{2}-\phi (T) \phi ''(T)-\phi '(T)^{2}\leqslant 0. \end{aligned} \end{aligned}$$

Hence, we can also deduce a contradiction.

Next, we will prove that, for any solution x of (6) satisfying the condition \(|x(t)|\leqslant \phi (t)\), \(|x'(t)|\) is necessarily bounded, regardless of the choice of \(\lambda \in (0,\lambda _{0})\). Integrating the following equality over \([0,T]\)

$$\begin{aligned} \bigl\langle x(t), x''(t)\bigr\rangle =-\lambda \bigl\langle x(t), f\bigl(t,x(t),x'(t)\bigr) \bigr\rangle +(1-\lambda )k^{2} \bigl\vert x(t) \bigr\vert ^{2} \end{aligned}$$

and taking into account (3) and the orthogonality of Q, we have

$$\begin{aligned} \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t=\lambda \int _{0}^{T}\bigl\langle x(t), f \bigl(t,x(t),x'(t)\bigr)\bigr\rangle \,\mathrm{d}t-(1-\lambda )k^{2} \int _{0}^{T} \bigl\vert x(t) \bigr\vert ^{2} \,\mathrm{d}t. \end{aligned}$$

It follows from (11) that, if \(|x(t)|\leqslant \phi (t)\), then

$$\begin{aligned} \begin{aligned} & \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t \\ &\quad \leqslant \lambda \biggl( \alpha \int _{0}^{T} \bigl\vert x(t) \bigr\vert ^{2}\,\mathrm{d}t+\beta \int _{0}^{T} \bigl\vert x(t) \bigr\vert \bigl\vert x'(t) \bigr\vert \,\mathrm{d}t +\gamma \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t+\delta T \biggr)\\ &\qquad {}-(1-\lambda )k^{2} \int _{0}^{T} \bigl\vert x(t) \bigr\vert ^{2}\,\mathrm{d}t \\ &\quad \leqslant \bigl[\lambda (\alpha +\beta /2\epsilon )-(1-\lambda )k^{2} \bigr] \int _{0}^{T} \bigl\vert x(t) \bigr\vert ^{2}\,\mathrm{d}t +\lambda (\gamma +\epsilon \beta /2) \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t+\lambda \delta T, \end{aligned} \end{aligned}$$

where ϵ is a positive number provided \(\gamma +\epsilon \beta /2<1\). Take k large enough such that \((1-\lambda _{0})k^{2} \geqslant \alpha +\beta /2\epsilon \), then for all \(\lambda \in (0, \lambda _{0})\), we have

$$\begin{aligned} \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t\leqslant \frac{\delta T}{1-( \gamma +\epsilon \beta /2)}\triangleq K. \end{aligned}$$

Using (12), we have

$$\begin{aligned} \begin{aligned} \bigl\vert \bigl\langle x'(t), x''(t)\bigr\rangle \bigr\vert &\leqslant \lambda \bigl\vert \bigl\langle x'(t), f\bigl(t,x(t),x'(t) \bigr) \bigr\rangle \bigr\vert +(1-\lambda )k^{2} \bigl\vert x(t) \bigr\vert \bigl\vert x'(t) \bigr\vert \\ &\leqslant \lambda h_{0}\bigl( \bigl\vert x'(t) \bigr\vert \bigr) \bigl\vert x'(t) \bigr\vert +(1- \lambda )k^{2}M \bigl\vert x'(t) \bigr\vert \\ &\leqslant \bigl(h_{0}\bigl( \bigl\vert x'(t) \bigr\vert \bigr)+k^{2}M\bigr) \bigl\vert x'(t) \bigr\vert \triangleq h\bigl( \bigl\vert x'(t) \bigr\vert \bigr) \bigl\vert x'(t) \bigr\vert , \end{aligned} \end{aligned}$$

where M is an upper bound of \(\phi (t)\) on \([0,T]\). Since \(h_{0}\) is increasing and satisfies (7), it is true for h as well. Then it follows from Lemma 3 that an upper bound for \(|x'(t)|\) is found:

$$\begin{aligned} \bigl\vert x'(t) \bigr\vert \leqslant g \biggl( \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t \biggr) \leqslant g(K), \quad \forall t\in [0,T]. \end{aligned}$$

Hence, we can take \(\rho >g(K)\) in the definition of Ω in (9) such that there is no solution of (6) on ∂Ω for \(\lambda \in (0,1)\). Thereby the existence of a solution \(x^{\ast }\in \bar{\varOmega }\) is easily obtained from Lemma 2. □

4 The existence theorem via lower and upper solutions

Using the lower and upper solutions method, we shall establish another existence theorem about rotating-periodic solutions. The main idea is that if we can find a lower solution which is smaller than an upper one, there is a solution wedged between these two.

To obtain the existence result for vector differential equations, we need the partial orders in \(\mathbb{R}^{n}\). The positive cone in \(\mathbb{R}^{n}\) is the set of all n tuples with nonnegative coordinates, which gives rise to a partial order on \(\mathbb{R}^{n}\) in the following way:

$$\begin{aligned} \begin{aligned} & x\leqslant y\quad \Leftrightarrow\quad x_{i} \leqslant y_{i} \quad \text{for } i=1,\ldots ,n, \\ & x< y\quad \Leftrightarrow\quad x_{i}< y_{i} \quad \text{for } i=1, \ldots ,n, \end{aligned} \end{aligned}$$

where x, \(y\in \mathbb{R}^{n}\), \(x_{i}\) and \(y_{i}\) are the ith components of x and y, respectively.

Before proceeding to the existence theorem, we also need to introduce the following definition of lower and upper solutions.

Definition 2

The \(C^{2}\) functions φ and ψ: \(\mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\) are said to be lower and upper solutions of (1), respectively, if for all \(t\in \mathbb{R}^{1}\), \(\varphi (t)\leqslant \psi (t)\) and

$$\begin{aligned} \varphi ''(t)+f\bigl(t,\varphi (t),\varphi '(t)\bigr)\geqslant 0, \qquad \psi ''(t)+f \bigl(t,\psi (t),\psi '(t)\bigr)\leqslant 0. \end{aligned}$$

Furthermore, the following Kamke type condition is needed in the proof of the existence theorem, whose general form can be found in [10].

(K) For any \(t\in \mathbb{R}^{1}\) and \(i=1,\ldots ,n\),

$$\begin{aligned} \varphi ''_{i}(t)+f_{i} \bigl(t,\hat{x}(t),\hat{y}(t)\bigr)\geqslant 0, \qquad \psi ''_{i}(t)+f_{i} \bigl(t,\tilde{x}(t),\tilde{y}(t)\bigr)\leqslant 0, \end{aligned}$$
(15)

where \(\varphi (t)\leqslant \hat{x}(t)\), \(\tilde{x}(t)\leqslant \psi (t)\) with the ith components of \(\hat{x}(t)\), \(\tilde{x}(t)\), \(\hat{y}(t)\), and \(\tilde{y}(t)\) are \(\varphi _{i}(t)\), \(\psi _{i}(t)\), \(\varphi '_{i}(t)\), and \(\psi '_{i}(t)\), respectively.

Now we are in a position to state the following existence result about rotating-periodic solutions for system (1)–(2).

Theorem 2

Suppose that the following conditions hold:

  1. (i)

    There exist \(C^{2}\)lower and upper solutions \(\varphi (t)<\psi (t)\)of (1) which areT-periodic and satisfy the Kamke type condition (K);

  2. (ii)

    There exist some \(c>0\)and a \(C^{2}\)function \(\sigma : \mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\)which is \((Q,T)\)-rotating-periodic such that

    $$\begin{aligned} \varphi (t)\leq \sigma (t)-(c,\ldots ,c)^{T}< \sigma (t)< \sigma (t)+(c, \ldots ,c)^{T}\leq \psi (t), \quad \forall t\in \mathbb{R}^{1}; \end{aligned}$$
    (16)
  3. (iii)

    There exist constants \(\alpha ,\beta \geqslant 0\), \(0\leqslant \gamma <1\), and \(\delta >0\)such that, for any \(t\in \mathbb{R}^{1}\), \(\varphi (t)\leqslant x\leqslant \psi (t)\), and \(y\in \mathbb{R}^{n}\), we have

    $$\begin{aligned}& \bigl\langle x,f(t,x,y)\bigr\rangle \leqslant \alpha \vert x \vert ^{2}+\beta \vert x \vert \vert y \vert + \gamma \vert y \vert ^{2}+\delta , \end{aligned}$$
    (17)
    $$\begin{aligned}& \bigl\vert \bigl\langle y,f(t,x,y)\bigr\rangle \bigr\vert \leqslant h_{0}\bigl( \vert y \vert \bigr) \vert y \vert , \end{aligned}$$
    (18)

    where \(h_{0}: \mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\setminus \{0\}\)is increasing, continuous and satisfies (7).

Then \((Q,T)\)-rotating-periodic system (1)(2) has at least one \((Q,T)\)-rotating-periodic solution \(x^{\ast }(t)\)satisfying \(\varphi (t)\leqslant x^{\ast }(t)\leqslant \psi (t)\), \(\forall t \in \mathbb{R}^{1}\).

Proof

As in Theorem 1, the result follows immediately if one applies Lemma 2 to a suitable operator \(\mathcal{A}\) and an open set Ω. Let X be the Banach space defined by

$$\begin{aligned} X= \bigl\{ x\in C^{1}\bigl(\mathbb{R}^{1}; \mathbb{R}^{n}\bigr)\mid x(t+T)=Qx(t), \forall t\in \mathbb{R}^{1} \bigr\} \end{aligned}$$

with the norm \(\|\cdot \|_{1}\). Then, from the orthogonality of Q, we have that

$$\begin{aligned} \varOmega = \bigl\{ x\in X\mid \varphi (t)< x(t)< \psi (t), \bigl\vert x'(t) \bigr\vert < \rho , \forall t\in \mathbb{R}^{1} \bigr\} \end{aligned}$$

is a nonempty open and bounded set in X. Define

$$\begin{aligned} (\mathcal{A}x) (t)= \textstyle\begin{cases} (\mathcal{A}_{1}x)(t) & \text{if } I-Q\in \operatorname{GL}(n), \\ (\mathcal{A}_{2}x)(t) & \text{if } I-Q\notin \operatorname{GL}(n), \end{cases}\displaystyle \end{aligned}$$
(19)

where

$$\begin{aligned}& \begin{aligned} (\mathcal{A}_{1}x) (t)&=(I-Q)^{-2} \int _{0}^{T} \bigl(TQ-(t-s) (I-Q) \bigr) \bigl(k^{2}x(s)+\sigma ''(s)-k^{2} \sigma (s) \bigr)\,\mathrm{d}s \\ &\quad{}+ \int _{0}^{t}(t-s) \bigl(k^{2}x(s)+ \sigma ''(s)-k^{2}\sigma (s) \bigr) \,\mathrm{d}s, \end{aligned} \\& \begin{aligned} (\mathcal{A}_{2}x) (t)&=\frac{1}{2a}\bigl(I-e^{-aT}Q \bigr)^{-1} \int _{0}^{T}e^{a(t-s)} \bigl( \bigl(a^{2}-k^{2}\bigr)x(s)-\sigma ''(s)+k^{2} \sigma (s) \bigr)\,\mathrm{d}s \\ &\quad{}-\frac{1}{2a}\bigl(I-e^{aT}Q\bigr)^{-1} \int _{0}^{T}e ^{-a(t-s)} \bigl( \bigl(a^{2}-k^{2}\bigr)x(s)-\sigma ''(s)+k^{2} \sigma (s) \bigr) \,\mathrm{d}s \\ &\quad {}+\frac{1}{2a} \int _{0}^{t} \bigl(e^{-a(t-s)}-e^{a(t-s)} \bigr) \bigl(\bigl(a^{2}-k^{2}\bigr)x(s)-\sigma ''(s)+k^{2}\sigma (s) \bigr) \,\mathrm{d}s. \end{aligned} \end{aligned}$$

Then the operator \(\mathcal{T}\) defined by (5) and the operator \(\mathcal{A}\) defined by (19) are both compact operators from X to X. As in Sect. 2, we know that \(\mathcal{A}x=x\) is equivalent to the following boundary value problem:

$$\begin{aligned} \begin{aligned} &x''-k^{2}x= \sigma ''-k^{2}\sigma , \\ &x(T)=Qx(0), \qquad x'(T)=Qx'(0). \end{aligned} \end{aligned}$$
(20)

Similarly, we can prove that the unique solution of (20) is \(x_{0}(t)=\sigma (t)\) for sufficiently large k. It means that \(x_{0}\) is the unique fixed point of \(\mathcal{A}\) and \(x_{0}\in \varOmega \).

Furthermore, it suffices to show that there is no solution of (6) on ∂Ω for \(\lambda \in (0,\lambda _{0})\) with \(\lambda _{0}\in (0,1)\). Let \(x\in \partial \varOmega \) be a solution of (6). Then \(\varphi (t)\leqslant x(t)\leqslant \psi (t)\) for all \(t\in \mathbb{R}^{1}\), and either there exist \(\xi \in \mathbb{R}^{1}\) and \(i\in \{1,\ldots ,n\}\) such that \(x_{i}(t)-\psi _{i}(t)\) (or \(\varphi _{i}(t)-x_{i}(t)\)) reaches the maximum value 0 at \(t=\xi \), or there exists \(\eta \in \mathbb{R}^{1}\) such that \(|x'(\eta )|=\rho \).

Without loss of generality, assume that \(x_{i}(t)-\psi _{i}(t)\) reaches the maximum value 0 at \(t=\xi \in \mathbb{R}^{1}\). Then the following relations hold:

$$\begin{aligned} x_{i}(\xi )=\psi _{i}(\xi ), \qquad x'_{i}( \xi )=\psi '_{i}(\xi ), \qquad x''_{i}( \xi )\leqslant \psi ''_{i}(\xi ). \end{aligned}$$

Since x is a solution of (6), we have

$$\begin{aligned} x''_{i}(t)=-\lambda f_{i} \bigl(t,x(t),x'(t)\bigr)+(1-\lambda ) \bigl(k^{2}x_{i}(t)+ \sigma _{i}''(t)-k^{2}\sigma _{i}(t) \bigr). \end{aligned}$$

Taking k large enough such that \(ck^{2}>\max_{t\in \mathbb{R}^{1}}| \psi ''(t)-\sigma ''(t)|\), by (15) and (16), we have

$$\begin{aligned} \begin{aligned} x''_{i}(\xi ) &=-\lambda f_{i}\bigl(\xi ,x(\xi ),x'(\xi )\bigr)+(1- \lambda ) \bigl(k^{2}\psi _{i}(\xi )+\sigma _{i}''(\xi )-k^{2}\sigma _{i}(\xi ) \bigr) \\ &>\lambda \psi ''_{i}(\xi )+(1-\lambda ) \psi ''_{i}(\xi )= \psi ''_{i}( \xi ), \end{aligned} \end{aligned}$$

which is a contradiction.

Next, we will show that, for any solution x of (6) with the condition \(\varphi (t) \leqslant x(t)\leqslant \psi (t)\), there is a certain number \(K>0\) such that the estimate \(|x'(t)|< K\) holds, regardless of the choice of \(\lambda \in (0, \lambda _{0})\). Since x is a solution of (6), we have

$$\begin{aligned} \bigl\langle x(t),x''(t)\bigr\rangle =-\lambda \bigl\langle x(t),f\bigl(t,x(t),x'(t)\bigr) \bigr\rangle +(1-\lambda ) \bigl\langle x(t),k^{2}x(t)+\sigma ''(t)-k^{2} \sigma (t) \bigr\rangle . \end{aligned}$$

It follows from (3) and (17) that, if \(\varphi (t)\leqslant x(t)\leqslant \psi (t)\),

$$\begin{aligned} \begin{aligned} & \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t \\ &\quad =\lambda \int _{0}^{T}\bigl\langle x(t),f \bigl(t,x(t),x'(t)\bigr)\bigr\rangle \,\mathrm{d}t -(1-\lambda ) \int _{0}^{T} \bigl\langle x(t),k^{2}x(t)+ \sigma ''(t)-k^{2}\sigma (t) \bigr\rangle \,\mathrm{d}t \\ &\quad \leqslant \bigl[\lambda (\alpha +\beta /2\epsilon )-(1-\lambda )k^{2} \bigr] \int _{0}^{T} \bigl\vert x(t) \bigr\vert ^{2}\,\mathrm{d}t + \lambda (\gamma +\epsilon \beta /2) \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t \\ &\qquad{}+\lambda \delta T+(1-\lambda ) \int _{0}^{T} \bigl\langle x(t),k^{2} \sigma (t)-\sigma ''(t) \bigr\rangle \,\mathrm{d}t, \end{aligned} \end{aligned}$$

where ϵ is a positive number provided \(\gamma +\epsilon \beta /2<1\). Then, for sufficiently large k and all \(\lambda \in (0, \lambda _{0})\), we have

$$\begin{aligned} \int _{0}^{T} \bigl\vert x'(t) \bigr\vert ^{2}\,\mathrm{d}t\leqslant \frac{(\delta +M)T}{1-( \gamma +\epsilon \beta /2)}, \end{aligned}$$

where M is an upper bound of \(|\langle \varphi (t),k^{2}\sigma (t)- \sigma ''(t)\rangle |\) and \(|\langle \psi (t),k^{2}\sigma (t)-\sigma ''(t)\rangle |\) on \([0,T]\). Then, using Lemma 3, an upper bound for \(|x'(t)|\) on \([0,T]\) can be found. Furthermore, using the rotating-periodicity of x and the orthogonality of Q, we can obtain an upper bound for \(|x'(t)|\) on \(\mathbb{R}^{1}\). This completes the proof. □

5 Some applications

In this section, we apply the techniques described in the preceding sections to study the existence of rotating-periodic solutions for some special types of equations under the corresponding rotating-periodic conditions. We need the following partial orders in \(\mathbb{R}^{n \times n}\):

$$\begin{aligned} \begin{aligned} &A\leqslant B\quad \Leftrightarrow\quad a_{ij} \leqslant b_{ij} \quad \text{for } i,j=1,\ldots ,n, \\ &A< B\quad \Leftrightarrow\quad a_{ij}< b_{ij} \quad \text{for } i,j=1, \ldots ,n, \end{aligned} \end{aligned}$$

where A, \(B\in \mathbb{R}^{n\times n}\), \(a_{ij}\) and \(b_{ij}\) are the \((i,j)\)th components of A and B, respectively. Assume, moreover, that the norm is denoted by \(\|A\|\) for \(A\in \mathbb{R}^{n\times n}\).

Example 1

Consider the following second order equation:

$$\begin{aligned} x''-a(t) \vert x \vert ^{2\nu }x=e(t), \end{aligned}$$
(21)

where \(\nu >0\) is a constant, \(a: \mathbb{R}^{1}\rightarrow \mathbb{R}^{+}\setminus \{0\}\) and \(e: \mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\) are continuous functions, and there exist some \(T>0\) and \(Q\in O(n)\) such that

$$\begin{aligned} a(t+T)=a(t), \qquad e(t+T)=Qe(t), \quad \forall t\in \mathbb{R}^{1}. \end{aligned}$$
(22)

Then \((Q,T)\)-rotating-periodic system (21)–(22) has at least one \((Q,T)\)-rotating-periodic solution.

Proof

Let \(\phi (t)=C\), where \(C>0\) is a constant. Then ϕ is a strictly positive \(C^{2}\) function with \(\phi (0)=\phi (T)\), \(\phi '(0)=\phi '(T)\). Moreover, for any \(t\in [0,T]\), \(|x|=C\), we have

$$\begin{aligned} \bigl\langle x,-a(t) \vert x \vert ^{2\nu }x-e(t)\bigr\rangle =-a(t) \vert x \vert ^{2(\nu +1)}-\bigl\langle x,e(t)\bigr\rangle \leqslant 0 \end{aligned}$$

for \(C\geqslant \max \{1, M_{e}/m_{a}\}\), where \(m_{a}=\min_{t\in [0,T]}a(t)\), \(M_{e}=\max_{t\in [0,T]}|e(t)|\). Furthermore, for any \(t\in [0,T]\), \(|x|\leqslant C\), and \(y\in \mathbb{R}^{n}\), we have

$$\begin{aligned} \bigl\langle x,-a(t) \vert x \vert ^{2\nu }x-e(t)\bigr\rangle \leqslant M_{e}C, \qquad \bigl\vert \bigl\langle y,-a(t) \vert x \vert ^{2\nu }x-e(t)\bigr\rangle \bigr\vert \leqslant \bigl(M_{a}C^{2\nu +1}+M _{e}\bigr) \vert y \vert , \end{aligned}$$

where \(M_{a}=\max_{t\in [0,T]}a(t)\). Denote \(h_{0}(s)=M_{a}C^{2\nu +1}+M _{e}\), which is increasing, continuous and satisfies (7). This means that conditions (10), (11), and (12) in Theorem 1 hold. Then there exists a \((Q,T)\)-rotating-periodic solution. □

Example 2

Consider the following second order equation:

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

where \(f: \mathbb{R}^{1}\times \mathbb{R}^{n}\rightarrow \mathbb{R} ^{n}\) is a \(C^{1}\) function. Equation (23) describes the motion of some interesting problems in applications such as the Brillouin focusing system, where the equation is a singular perturbation of the Mathieu equation [22]. The so-called Ermakov–Pinney equation and Hill equation are special cases of (23).

Suppose that there exist some \(T>0\) and \(Q\in O(n)\) such that

$$\begin{aligned} f(t+T,x)=Qf\bigl(t,Q^{-1}x\bigr), \quad \forall t\in \mathbb{R}^{1}, x\in \mathbb{R}^{n}, \end{aligned}$$
(24)

and the following condition holds:

$$\begin{aligned} f_{x}(t,x)\leqslant -\kappa I, \quad \forall t\in \mathbb{R}^{1}, x\in \mathbb{R}^{n}, \end{aligned}$$

where \(f_{x}\) is the Hessian matrix of f, \(\kappa >0\) is a constant. Then \((Q,T)\)-rotating-periodic system (23)–(24) has at least one \((Q,T)\)-rotating-periodic solution.

Proof

Let \(\phi (t)=C\) for some \(C>0\). For any \(t\in [0,T]\), \(|x|=C\), we have

$$\begin{aligned} \bigl\langle x,f(t,x)\bigr\rangle =\bigl\langle x,f(t,0)+f_{x} \bigl(t,\xi (t)\bigr)x\bigr\rangle \leqslant \bigl\langle x,f(t,0)\bigr\rangle - \kappa \vert x \vert ^{2}\leqslant 0 \end{aligned}$$

for \(C\geqslant M_{0}/\kappa \), where \(M_{0}=\max_{t\in [0,T]}|f(t,0)|\). Furthermore, for any \(t\in [0,T]\), \(|x|\leqslant C\), and \(y\in \mathbb{R}^{n}\), we have

$$\begin{aligned} \bigl\langle x,f(t,x)\bigr\rangle \leqslant -\kappa \vert x \vert ^{2}+M_{0}C, \qquad \bigl\vert \bigl\langle y,f(t,x)\bigr\rangle \bigr\vert \leqslant M_{f} \vert y \vert , \end{aligned}$$

where \(M_{f}\) is an upper bound of \(|f(t,x)|\) for \(t\in [0,T]\) and \(|x|\leqslant C\). Then, according to Theorem 1, there exists a \((Q,T)\)-rotating-periodic solution. □

Example 3

Consider the following second order equation:

$$\begin{aligned} x''+A(t,x)x'+B(t)x=e(t), \end{aligned}$$
(25)

where \(A=\mathrm{diag}(a_{11},\ldots ,a_{nn}):\mathbb{R}^{1}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n\times n}\) is a \(C^{1}\) function, \(B=(b_{ij})_{n\times n}:\mathbb{R}^{1}\rightarrow \mathbb{R}^{n\times n}\) and \(e:\mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\) are continuous functions.

Suppose that there exist some \(T>0\) and \(Q\in O(n)\) such that

$$\begin{aligned} \begin{aligned} &A(t+T,x)=QA\bigl(t,Q^{-1}x \bigr)Q^{-1}, \quad \forall t\in \mathbb{R}^{1}, x\in \mathbb{R}^{n}, \\ &B(t+T)=QB(t)Q ^{-1}, \qquad e(t+T)=Qe(t), \quad \forall t\in \mathbb{R}^{1}, \end{aligned} \end{aligned}$$
(26)

and the following condition holds: for all \(i=1,\ldots ,n\),

$$\begin{aligned} -b_{ii}(t)>\sum_{j\neq i} \bigl\vert b_{ij}(t) \bigr\vert + \bigl\vert e_{i}(t) \bigr\vert , \quad \forall t\in \mathbb{R}^{1}. \end{aligned}$$

Then \((Q,T)\)-rotating-periodic system (25)–(26) has at least one \((Q,T)\)-rotating-periodic solution.

Proof

Let \(\sigma :\mathbb{R}^{1}\rightarrow \mathbb{R}^{n}\) be a \(C^{2}\) function which is \((Q,T)\)-rotating-periodic. Then \(|\sigma (t)|\) is bounded on \(\mathbb{R}^{1}\) with an upper bound \(M_{\sigma }\). Let \(\varphi (t)=(-C,\ldots ,-C)^{T}\) and \(\psi (t)=(C,\ldots ,C)^{T}\), where \(C=M_{\sigma }+1\). Then \(\varphi (t)<\psi (t)\) are lower and upper solutions of (25). It is easy to see that \(\varphi (t)\) and \(\psi (t)\) satisfy the Kamke type condition (K) and condition (16) with \(c=1\). Furthermore, for any \(t\in \mathbb{R}^{1}\), \(\varphi (t) \leqslant x\leqslant \psi (t)\) and \(y\in \mathbb{R}^{n}\), we have

$$\begin{aligned} \begin{aligned} &\bigl\langle x,A(t,x)y+B(t)x-e(t)\bigr\rangle \leqslant M_{A} \vert x \vert \vert y \vert +M_{B} \vert x \vert ^{2}+nM _{e}C, \\ & \bigl\vert \bigl\langle y,A(t,x)y+B(t)x-e(t)\bigr\rangle \bigr\vert \leqslant h_{A}\bigl( \vert y \vert \bigr) \vert y \vert , \end{aligned} \end{aligned}$$

where \(M_{A}\) is an upper bound of \(\|A(t,x)\|\) on \(\{(t,x)|\varphi (t) \leqslant x\leqslant \psi (t),t\in \mathbb{R}^{1}\}\), \(M_{B}\) and \(M_{e}\) are upper bounds of \(\|B(t)\|\) and \(|e(t)|\) on \(t\in \mathbb{R}^{1}\), respectively, \(h_{A}(s)=M_{A}s+nM_{B}C+M_{e}\) satisfies (7). Hence conditions (17) and (18) in Theorem 2 hold. Then there exists a \((Q,T)\)-rotating-periodic solution. □

References

  1. Andres, J., Górniewicz, L.: Topological Fixed Point Principles for Boundary Value Problems. Topological Fixed Point Theory and Its Applications, vol. 1. Kluwer, Dordrecht (2003)

    Book  Google Scholar 

  2. Andres, J., Malaguti, L., Pavlačková, M.: Hartman-type conditions for multivalued Dirichlet problem in abstract spaces. In: Discrete Contin. Dyn. Syst. Dynamical Systems, Differential Equations and Applications, 10th AIMS Conf. Suppl., pp. 38–55 (2015)

    Google Scholar 

  3. Barkley, D., Kness, M., Tuckerman, L.S.: Spiral-wave dynamics in a simple model of excitable media: the transition from simple to compound rotation. Phys. Rev. A 42, 2489–2491 (1990)

    Article  MathSciNet  Google Scholar 

  4. Chang, X., Li, Y.: Rotating periodic solutions of second order dissipative dynamical systems. Discrete Contin. Dyn. Syst. 36, 643–652 (2016)

    Article  MathSciNet  Google Scholar 

  5. Chang, X., Li, Y.: Rotating periodic solutions for second-order dynamical systems with singularities of repulsive type. Math. Methods Appl. Sci. 40, 3092–3099 (2017)

    Article  MathSciNet  Google Scholar 

  6. De Coster, C., Habets, P.: Two-Point Boundary Value Problems: Lower and Upper Solutions. Mathematics in Science and Engineering, vol. 205. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  7. Dong, Y.: On solvability of three point BVPs of second order ODEs. J. Math. Anal. Appl. 296, 131–139 (2004)

    Article  MathSciNet  Google Scholar 

  8. Fabry, C., Habets, P.: The Picard boundary value problem for nonlinear second order vector differential equations. J. Differ. Equ. 42, 186–198 (1981)

    Article  MathSciNet  Google Scholar 

  9. Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics. Modern Birkhäuser Classics. Birkhäuser, Basel (2011)

    Book  Google Scholar 

  10. Kamke, E.: Zur theorie der systeme gewöhnlicher differentialgleichungen II. Acta Math. 58, 57–85 (1932)

    Article  MathSciNet  Google Scholar 

  11. Knobloch, H.W., Schmitt, K.: Non-linear boundary value problems for systems of differential equations. Proc. R. Soc. Edinb. A 78, 139–159 (1977)

    Article  MathSciNet  Google Scholar 

  12. Lasota, A., Yorke, J.A.: Existence of solutions of two-point boundary value problems for nonlinear systems. J. Differ. Equ. 11, 509–518 (1972)

    Article  MathSciNet  Google Scholar 

  13. Liu, G., Li, Y., Yang, X.: Rotating periodic solutions for asymptotically linear second-order Hamiltonian systems with resonance at infinity. Math. Methods Appl. Sci. 40, 7139–7150 (2017)

    Article  MathSciNet  Google Scholar 

  14. Liu, G., Li, Y., Yang, X.: Existence and multiplicity of rotating periodic solutions for resonant Hamiltonian systems. J. Differ. Equ. 265, 1324–1352 (2018)

    Article  MathSciNet  Google Scholar 

  15. Liu, G., Li, Y., Yang, X.: Infinitely many rotating periodic solutions for second-order Hamiltonian systems. J. Dyn. Control Syst. 25, 159–174 (2019)

    Article  MathSciNet  Google Scholar 

  16. Long, Y.: Index Theory for Symplectic Paths with Applications. Progress in Mathematics, vol. 207. Birkhäuser, Basel (2002)

    Book  Google Scholar 

  17. Mawhin, J.: The Bernstein–Nagumo problem and two-point boundary value problems for ordinary differential equations. In: Qualitative Theory of Differential Equations, Vol. I, II, Szeged (1979)

    Google Scholar 

  18. Mawhin, J.: Topological Degree Methods in Nonlinear Boundary Value Problems. CBMS Regional Conference Series in Mathematics, vol. 40. Am. Math. Soc., Providence (1979)

    Book  Google Scholar 

  19. Mawhin, J.: Two point boundary value problems for nonlinear second order differential equations in Hilbert spaces. Tohoku Math. J. 32, 225–233 (1980)

    Article  MathSciNet  Google Scholar 

  20. Skinner, G.S., Swinney, H.L.: Periodic to quasiperiodic transition of chemical spiral rotation. Phys. D, Nonlinear Phenom. 48, 1–16 (1991)

    Article  Google Scholar 

  21. Xu, F., Yang, X., Li, Y., Liu, M.: Existence of affine-periodic solutions to Newton affine-periodic systems. J. Dyn. Control Syst. 25, 437–455 (2019)

    Article  MathSciNet  Google Scholar 

  22. Yan, P., Zhang, M.: Higher order non-resonance for differential equations with singularities. Math. Methods Appl. Sci. 26, 1067–1074 (2003)

    Article  MathSciNet  Google Scholar 

  23. Yang, X., Zhang, Y., Li, Y.: Existence of rotating-periodic solutions for nonlinear systems via upper and lower solutions. Rocky Mt. J. Math. 47, 2423–2438 (2017)

    MathSciNet  MATH  Google Scholar 

  24. Zhang, Y., Yang, X., Li, Y.: Affine-periodic solutions for dissipative systems. Abstr. Appl. Anal. 2013, Art. ID 157140 (2013)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank two anonymous referees whose comments and suggestions have improved the presentation of the paper. They also appreciate Prof. Yong Li for his useful suggestions. Jin Zhang wishes to express her deep gratitude to Prof. Michael Y. Li and the University of Alberta for hospitality when the final version of the work was prepared.

Availability of data and materials

Not applicable.

Funding

This work is partially supported by CSC Scholarship.

Author information

Authors and Affiliations

Authors

Contributions

All authors have jointly completed this work and they read and approved the final manuscript.

Corresponding author

Correspondence to Jin Zhang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhang, J., Yang, X. Existence of rotating-periodic solutions for nonlinear second order vector differential equations. J Inequal Appl 2020, 22 (2020). https://doi.org/10.1186/s13660-020-2292-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-020-2292-3

MSC

Keywords