Abstract
In this paper, by a constructive proof based on the homotopy continuation method, we prove that the second order system \(x''=g(t,x)\) admits rotating periodic solutions with form \(u(t+T)=Qu(t)\) for any orthogonal matrix Q when the nonlinearity g admits the Hartman-type condition.
Similar content being viewed by others
1 Introduction and main results
In this paper we study the following second order system:
where g is continuous from \([0,T]\times\mathbb{R}^{n}\) to \(\mathbb{R}^{n}\) and satisfies the following Hartman-type condition:
- (H):
-
there exists \(\eta>0\) such that
$$\begin{aligned} g(t,x)\cdot x \ge0,\quad \forall t\in[0,T], \forall x\in\mathbb{R} \text{ with } \vert x \vert =\eta. \end{aligned}$$(1.2)
In 1960, Hartman [1] firstly studied the existence of system (1.1) with Dirichlet boundary value conditions under the assumption (1.2). In 1971, Knobloch [2] obtained the existence of periodic solutions for (1.1) under the Hartman-type condition \((H)\) when g is locally Lipschitzian in x. The result was extended to the case that g is continuous by Rouche and Mawhin [3] in 1973. In [4], Mawhin applied the Schauder fixed point theorem to obtain periodic solutions of p-Laplacian ordinary differential systems under assumption \((H)\). In [5, 6], some results are obtained on periodic solutions of ordinary differential systems involving singular ϕ-Laplace operator and \(\phi(t)\)-Laplace operator under the Hartman-type condition \((H)\). For some variants and extensions, one can see [7–11] and the references therein.
This paper is devoted to showing that, under the Hartman condition \((H)\), the system (1.1) admits the type of solutions with form \(u(t+T)=Qu(t)\) for any \(Q\in O(n)\) when the nonlinearity g amidts the corresponding rotating periodic structure. Here \(O(n)\) denotes the orthogonal group on \(\mathbb{R}^{n}\). Usually, we call the solutions by rotating periodic solutions (or Q-rotating periodic solutions related to the matrix Q).
Theorem 1.1
Assume that \(g\in C(\mathbb{R}\times\mathbb{R}^{n}, \mathbb{R}^{n})\) and there exists some \(Q\in O(n)\) such that \(g(t+T,x)=Qg(t,Q^{-1}x), \forall t\in\mathbb{R}\). If the assumption \((H)\) holds, then (1.1) has at least one Q-rotating periodic solution.
Example 1.2
Define \(g(t,x)=a(t) \vert x \vert ^{p-2}x, \forall x\in \mathbb{R}^{n}\), where \(a\in C(\mathbb{R}, \mathbb{R})\) with \(a(t)>0\) and \(a(t+T)=a(t)\) for all \(t\in\mathbb{R}\), \(p\ge2\). Clearly, by Theorem 3.1 in [4] we can obtain the existence of at least one periodic solution, while here by Theorem 1.1 we can get infinitely many periodic solutions and quasi-periodic solutions of (1.1) by taking different Q. It should be noticed that if \(Q\equiv I_{n}\), then the corresponding rotating periodic solution is just a periodic solution of (1.1), while if \(Q\not\equiv I_{n}\), we may obtain some existence results on quasi-periodic solutions of (1.1). In fact, we can take Q by
if \(n=2l\) for some \(m, l\in\mathbb{Z}^{+}\), or
if \(n=2l+1\) for some \(m, l\in\mathbb{Z}^{+}\), where \(\theta_{i} \in [0,2\pi]\), \(i=1,2,\ldots,m\), and there exist \(i\in\{1,2,\ldots,m\}\) such that \(\theta_{i}\) is an irrational multiplier of \(\frac{\pi}{T}\). Here \(R(\theta)= \bigl({\scriptsize\begin{matrix}{} \cos\theta& -\sin\theta\cr \sin\theta& \cos\theta \end{matrix}}\bigr) \).
Our proof is based on the homotopy continuation method together with a prior estimate. This method was introduced by Kellogg, Li and Yorke [12] and afterward many authors applied this method to obtain a constructive proof for the existence of periodic solutions of second order ordinary differential, one can see [13–15] and the references. For the periodic solution case, i.e., \(Q\equiv I_{n}\), as shown in [15], one can transform the problem into one of finding certain solutions of the Cauchy problem by introducing a homotopy parameter \(\lambda\in[0,1]\). Following the \(C^{1}\) path of solutions of the Cauchy problem starting from a simpler auxiliary equation corresponding to \(\lambda=0\), one can obtain the desired periodic solutions corresponding to \(\lambda=1\). However, when \(\operatorname{Ker}(I_{n}-Q)\not\equiv\mathbb{R}^{n}\), it seems difficult to apply this idea to our problem directly. Here we modify this idea and gluing two \(C^{1}\) paths of solutions together to obtain a continuous path of solutions, by which we can track along the trajectory to obtain the rotating periodic solutions (specially, quasi-periodic solutions) of (1.1). For some recent work on rotating periodic solutions of ODEs, one can see [16–19] and the references.
Remark
In [15], Lu, Li and Su applied the homotopy continuation method to give a constructive proof of Mawhin’s continuation theorem in [20], and thus established a global method for finding periodic solutions of ordinary differential equations (systems). Our results can be seen as a generalization of the results in [15] from periodic solutions case to the rotating periodic case when g satisfies the Hartman-type nonlinearity.
This paper is organized as follows. In Sect. 2 we give a prior estimate and obtain the proof of Theorem 1.1 by applying the homotopy continuation method. In Sect. 3, some useful facts for the homotopy continuation method are collected. For convenience, we introduce some notations and definitions. \(L^{p}(0,T)\ (1< p\le\infty)\) denotes the usual Lebesgue measurable space with norm \(\Vert \cdot \Vert _{p}\). \(C^{m}\doteq C^{m}(\mathbb{R},\mathbb{R}^{n})\ (m\in\mathbb{N})\) denotes the space of m-times continuously differential real functions from \(\mathbb{R}\) to \(\mathbb{R}^{n}\) with norm
Specially, we denote \(\Vert \cdot \Vert = \Vert u \Vert _{C^{1}}\).
2 Main results
Firstly, we consider the following auxiliary problem:
where \(\lambda\in(0,1]\) and \(\phi_{\eta}:\mathbb{R}^{n}\to \mathbb{R}^{n}\) is defined by
where η is taken in \((H)\).
Lemma 2.1
Assume that \((\lambda, x)\) is a solution pair of (2.1). Then there exists \(\rho>0\) such that \(\Vert x \Vert <\rho\). Furthermore, if x is a solution of (2.1) with \(\lambda=1\), then x is a Q-rotating periodic solution of (1.1).
Proof
Assume that \((\lambda, x)\) is a solution pair of (2.1). Multiplying (2.1) with x, by \(Q\in O(n)\) we get
By \(\lambda\in(0,1]\), we have
and
Since \(\phi_{\eta}\) is continuous and bounded, it follows that there exists some \(C_{1}>0\) independent of λ and x such that
which implies that there exist \(\sigma_{1},\sigma_{2}\in[0,T]\) such that \(\max\{ \vert x(\sigma_{1}) \vert , \vert x'(\sigma _{2}) \vert \}\le2\frac{C_{1}}{\sqrt{T}}\). Denote \(h(t,x)=x-\phi _{\eta}(x)+g(t,\phi_{\eta}(x))\). Then
It is not difficult to see that \(x(t+T)=Qx(t)\) for any \(t\in\mathbb {R}\). By \(Q\in O(n)\) we can see that
By \(x(t)=x(\sigma_{1})+\int_{\sigma_{1}}^{t}x'(s)\,ds\) and (2.2) it follows that
for some \(C_{2}>0\) independent of λ and x. Integrating (2.1) from \(\sigma_{2}\) to t, we obtain
Similar arguments to above imply that
for some \(C_{3}>0\) independent of λ and x. Denote \(\rho=\max\{C_{2}, C_{3}, \eta+1\}+1\). Then we get \(\Vert x \Vert <\rho\).
We claim that \(\vert x(t) \vert \le\eta\) for all \(t\in [0,T]\), i.e., if x is a solution of (2.1) with \(\lambda =1\), then x is a Q-rotating periodic solution of (1.1). Indeed, for each \(t\in[0,T]\) such that \(\vert x(t) \vert >\eta\), by (2.1) with \(\lambda=1\) it follows that
If \(\vert x(t) \vert >\eta\) for all \(t\in\mathbb{R}\), then (2.7) holds for all \(t\in\mathbb{R}\), which is contrary to (2.4). If \(\vert x(t_{1}) \vert \le\eta\) for some \(t_{1}\in[0,T]\) and \(\vert x(t_{2}) \vert >\eta\) for some \(t_{2}\in[0,T]\), then we can find \(\tau, \xi\in\mathbb{R}\) with \(\xi>\tau\) such that
Clearly,
Then, by (2.7) it follows that
which together with (2.8) implies that
This is a contradiction. Hence, \(\vert x(t) \vert \le\eta \) for all \(t\in \mathbb{R}\). Thus x satisfies \(x''= g(t,x)\) and \(x(t+T)=Qx(t)\), i.e., x is a Q-rotating periodic solution of (1.1). □
Proof of Theorem 1.1
By \(Q\in O(n)\) and the knowledge in linear algebra, there exist an invertible matrix A and an orthogonal matrix B such that \(Q=A^{-1}BA\), where B has the form
where \(\alpha_{1}=\operatorname{dim}\operatorname{Ker}(I_{n}-B)\), Q̂ is a \(\beta _{1}\times\beta_{1}\) orthogonal matrix with \(\beta_{1}=n-\alpha_{1}\) such that 1 is not an eigenvalue of Q̂. Furthermore, we can get
Let \(\hat{P}_{1}, \hat{P}_{2}:\mathbb{R}^{n}\to\mathbb{R}^{n}\) be orthogonal projectors such that \(\operatorname{Im}\hat{P}_{1}=\operatorname{Ker}(I_{n}-B)\) and \(\operatorname{Im}\hat {P}_{2}=\operatorname{Im}(I_{n}-B)\), respectively. Let \(B_{r_{1}}^{\alpha_{1}}(0)\) be the open sphere in \(\operatorname{Ker}(I_{n}-B)\) with center 0 and radius \(r_{1}>0\), and \(B_{r_{2}}^{\beta_{1}}(0)\) be the open sphere in \(\operatorname{Im}(I_{n}-B)\) with center 0 and radius \(r_{2}>0\).
In view of \(g(t+T,x)=Qg(t,Q^{-1}x)\), letting \(f(t,x)=Ag(t,A^{-1}x)\), we get
Set \(y=Ax\). If x is a solution of (2.1), then y satisfies
By (2.9) it is clear that \(\varphi(t+T,y)=B\varphi (t,B^{-1}y)\) for all \(t\in\mathbb{R}\) and \(y\in\mathbb{R}^{n}\).
Case 1: \(\operatorname{Ker}(I_{n}-B)\neq\{0\}\).
Define
For \(\xi\in\operatorname{Ker}(I_{n}-B)\) with \(\vert \xi \vert \ge \rho\), where ρ is taken from Lemma 2.1, we have
Then, for any \(r\ge\rho\),
where \(\Phi(\xi)\doteq \frac{1}{T}\int_{0}^{T}\hat{P}_{1}\varphi(s,\xi)\,ds, \forall\xi\in\operatorname{Ker}(I_{n}-B)\).
Applying the Weierstrass’s theorem, we can approximate φ by a \(C^{2}\) function sequence \(\{\varphi_{k}\}\) such that
uniformly in \(t\in[0,T]\) and \(y\in\overline{B_{\rho}(0)}\). Without loss of generality, we may assume that
By the continuation and definition of the Brouwer degree, there exists a constant \(\sigma_{1}>0\) sufficiently small such that
for all \(d\in B_{\sigma_{1}}^{\alpha_{1}}(0)\setminus\{0\}\), where \(\Phi _{k}(\xi)\doteq \frac{1}{T}\int_{0}^{T}\hat{P}_{1}\varphi_{k}(s,\xi)\,ds, \forall\xi\in\operatorname{Ker}(I_{n}-B)\). Then the perturbed boundary value problem
has at least one solution \(y_{0}(t)\equiv\xi_{0}\in B_{\rho}^{\alpha _{1}}(0)\) for any \(d\in B_{\sigma_{1}}^{\alpha_{1}}(0) \setminus\{0\}\) when \(\lambda=0\).
For \(\lambda\in(0,1]\), denote \(y_{k}(t,\xi,\lambda)\) as the solution of \(y''=\lambda\varphi_{k}(t,y)\) with initial value \(y_{k}(0,\xi,\lambda)=\xi\) for \(\xi\in\mathbb{R}^{n}\).
By the Sard’s theorem, for almost all \(d\in B_{\sigma_{1}}^{\alpha_{1}}(0)\), d is a regular value of \(\Phi _{k}\). Denote the set of all such points of \(d'\)s by Θ. Denote \(\Lambda_{1}\equiv\Theta\oplus B_{\rho}^{\beta_{1}}(0)\). For \(\xi\in\mathbb{R}^{n}\) we can write it as \(\xi=\hat{\xi}+\breve{\xi}\), where \(\hat{\xi}\in \operatorname{Ker}(I_{n}-B)\) and \(\breve{\xi}\in\operatorname{Im}(I_{n}-B)\). Define the homotopy map \(H_{k}:\Lambda_{1}\times\mathbb{R}^{n}\times [0,1]\) by
where \(\Psi_{k}(\xi, \lambda):\mathbb{R}^{n}\times[0,1]\to\mathbb{R}^{n}\) is defined by
By (2.14), for any \(d\in\Theta\), it follows that
It is easily seen that there exists \(\lambda_{0}>0\) small enough such that, for all \(d\in\Theta\), 0 is a regular value of \(H_{k}(d,\xi,\lambda)\) for any \(\lambda\in[0,\lambda_{0})\). Denote the set of all such points of \(d'\)s by \(\Lambda^{*}_{1}\). For any \(d\in\Lambda^{*}_{1}\), denote \(H_{k,d}(\xi,\lambda)=H_{k}(d,\xi,\lambda)\) for all \((\xi,\lambda )\in \mathbb{R}^{n}\times[0,1)\). Applying the parametrized Sard theorem, we know that for almost all the points \(d\in \Lambda^{*}_{1}\), 0 is a regular value of \(H_{k,d}(\xi,\lambda)| _{\mathbb{R}^{n}\times(0,\lambda_{0})}\). Denote the set of all such points of \(d'\)s as \(\Lambda^{*}_{2}\). Clearly, for any \(d\in\Lambda^{*}_{2}\), 0 is a regular value of \(H_{k,d}(\xi,\lambda)| _{\mathbb{R}^{n}\times[0,\lambda_{0})}\). Then, by Lemma 3.3, for every \(d\in\Lambda^{*}_{2}\), there exists a \(C^{1}\) curve \((\xi(s),\lambda(s))\) (\(s\ge0\)) such that
By Lemma 3.5 we can see that \((\xi(s),\lambda(s))\) satisfies the following differential equation:
Now we show that the curve \((\xi(s),\lambda(s))\) is not a loop. In fact, since \(\overline{B_{\rho}^{\alpha_{1}}(0)}\) is compact, it is not difficult to see that the number of such \(\xi_{0}\) is finite, without loss of generality, we denote them as \(\xi_{01},\xi_{02},\dots,\xi_{0m}\). Let \((\xi(s,\xi_{0i}),\lambda(s,\xi_{0i}))\) be a path of the homotopy \(H_{k,d}(\xi(s),\lambda(s))\) with \((\xi(0), \lambda(0))=(\xi_{0i},0)\). When \(\lambda=0\) and \(d\in\Lambda^{*}_{2}\), denoting \(H'_{k,d,\xi}(\xi_{0i})=\frac{\partial H_{k,d}}{\partial \xi}|_{\xi=\xi_{0i}}\), by the fact that 0 is a regular value of \(H_{k,d}(\xi,\lambda)| _{\mathbb{R}^{n}\times[0,\lambda_{0})}\) for any \(d\in\Lambda^{*}_{2}\) it follows that \(\det H'_{k,d,\xi}(\xi_{0i})\neq0\) for \(i=1,2,\ldots,m\). By the implicit function theorem we can see that the conclusion follows.
Using Lemma 3.4 it follows that each curve \((\xi(s,\xi_{0i}),\lambda(s,\xi_{0i}))\ (i\in\{1,2,\ldots,m\})\) is an interval, which maybe open, closed or semi-closed. We claim there exists some \(i_{0}\in\{1,2,\ldots,m\}\) such that the curve \((\xi(s,\xi_{0i_{0}}),\lambda(s,\xi_{0i_{0}}))\) starts from \(\overline{B_{\rho}^{\alpha_{1}}(0)}\times\{0\}\) and doesn’t end on \(\overline{B_{\rho}(0)}\times\{0\}\). Indeed, if not, then \(m=2l\) for some \(l\in\mathbb{Z}^{+}\). Without loss of generality, we may assume that \((\xi(s,\xi_{0i}),\lambda(s,\xi_{0i}))\) starts from \((\xi_{0i},0)\in\overline{B_{\rho}^{\alpha_{1}}(0)}\times\{0\}\) and ends at \((\xi_{0(l+i)},0)\in\overline{B_{\rho}(0)}\times\{0\}\) for all \(i=1,2,\ldots,l\). By Lemma 3.6 we can get that
Thus by the continuation and definition of the Brouwer degree it follows that, for \(d\in\Theta\),
However, this is contrary to (2.16).
Note that \(\xi_{0}\in\overline{B_{\rho}^{\alpha_{1}}(0)}\), we can see that there exists \(\lambda^{*}\in(0, \lambda_{0})\) small enough such that the curve \(\xi(s)\) will stay in \(\overline{B_{\rho}^{\alpha_{1}}(0)}\) when \(0<\lambda(s)\le\lambda^{*}\). Denote the position \(\xi(s^{*})\) by \(\xi^{*}\) such that \(\lambda^{*}=\lambda(s^{*})\) for some \(s^{*}>0\). Clearly, by the homotopy invariance of Brouwer degree and (2.16), we get
For any \(\lambda\in[\lambda^{*}, 1)\) and \(\xi\in\mathbb{R}^{n}\), since \((\frac{\partial H_{k}}{\partial d},\frac{\partial H_{k}}{\partial \xi},\frac{\partial H_{k}}{\partial \lambda})=(-(1-\lambda)I_{n},\frac{\partial H_{k}}{\partial \xi},\frac{\partial H_{k}}{\partial\lambda})\), we can see that, for all \(d\in\Lambda_{2}^{*}\), 0 is a regular value of \(H_{k,d}(\xi,\lambda)\) for any \(\lambda\in[\lambda^{*}, 1)\). Denote the set of all such points of \(d'\)s by \(\Gamma^{*}_{1}\). Applying the parametrized Sard theorem, we know that for almost all the points \(d\in\Gamma^{*}_{1}\), 0 is a regular value of \(H_{k,d}(\xi,\lambda)| _{\mathbb{R}^{n}\times[\lambda^{*}, 1)}\). Denote the set of all such points of \(d'\)s as \(\Gamma^{*}_{2}\). Clearly, for any \(d\in\Gamma^{*}_{2}\), 0 is a regular value of \(H_{k,d}(\xi,\lambda)| _{\mathbb{R}^{n}\times[\lambda^{*}, 1)}\). Then, by Lemma 3.3, for every \(d\in\Gamma^{*}_{2}\), there exists a \(C^{1}\) curve \((\tilde{\xi}(s),\tilde{\lambda}(s))\), such that
By Lemma 3.5 we can see that \((\tilde{\xi}(s),\tilde{\lambda}(s))\) satisfies the following differential equation:
Since \(\varphi_{k}\) is of \(C^{2}\) and \((\xi^{*},\lambda^{*})\in{B_{\rho}(0)}\times [\lambda^{*},1)\), it follows that Cauchy problem (2.19) has the maximal solution \((\tilde{\xi}(s),\tilde{\lambda}(s))_{s\in[0, \tau)}\) in \(\overline{{B_{\rho}(0)}}\times[\lambda^{*},1)\). In what follows, we shall proceed to prove that the path tends to \(\overline{{B_{\rho}(0)}}\times\{1\}\). By similar arguments as above, together with the implicit function theorem and (2.18), we get:
-
(a)
The path \((\tilde{\xi}(s),\tilde{\lambda}(s))_{s\in [0, \tau)}\) is not a loop.
-
(b)
The path \((\tilde{\xi}(s),\tilde{\lambda}(s))_{s\in[0, \tau)}\) will not return to some point \((\xi_{1}, \lambda^{*})\).
Furthermore, by the above claim it follows that the path \((\tilde{\xi}(s),\tilde{\lambda}(s))_{s\in[0, \tau)}\) will not touch the boundary \(\partial{B_{\rho}(0)} \times[\lambda^{*},1)\). By the idea of the homotopy continuation method (see [15, 21]), we can obtain that there exists \(j^{*}\in\{1,2,\ldots,m\}\) such that \(\lambda_{\max,j^{*}}=\sup\{\lambda(s,\xi_{0j^{*}}): s\in[0,\tau)\}=1\). Hence \(H_{k}(d,\xi_{0,j^{*}},1)=0\) and \(y_{k}(t,\xi_{0,j^{*}},1)\) is a solution of (2.1) with \(\lambda=1\).
Assume that \(\{y_{k}\}\) is a solution sequence of (2.10) with \(\lambda=1\) corresponding to \(\{\varphi_{k}\}\). Firstly, it is easily seen that \(\{y_{k}\}\subset\Omega\) and thus is uniformly bounded. Secondly, to show \(\{y_{k}\}\) is equicontinuous on \([0,T]\), we can obtain by (2.12)–(2.13) and the smooth of \(\varphi_{k}\) that
which implies \(\vert \varphi_{k}(t,y_{k}) \vert \le M+\frac {1}{2}\), \(\forall k\in\mathbb{Z}^{+}\). By (2.10) with \(\lambda =1\) corresponding to \(\{\varphi_{k}\}\) we get \(\vert y''_{k} \vert \le M+\frac{1}{2}\). Then \(\{y_{k}\}\) and \(\{y'_{k}\}\) are uniformly bounded and equicontinuous on \([0,T]\). By the Arzela–Ascoli theorem it follows that there is a uniformly convergent subsequence of \(\{y_{k}\}\) on \([0,T]\), which is still denoted by \(\{y_{k}\}\), such that
Hence \(\lim_{k\to+\infty} \varphi_{k}(t,y_{k}(t))=\varphi(t,y^{*}(t))\) and we can easily verify that \(x^{*}=Ay^{*}\) is a solution of (2.1) with \(\lambda=1\).
Case 2: \(\operatorname{Ker}(I_{n}-B)=\{0\}\).
In this case \(\alpha_{1}=0\). By approximating φ by a \(C^{2}\) function sequence \(\{\varphi_{k}\}\), we can consider the homotopy map
where \(\tilde{\Psi}_{k}(\xi, \lambda):\mathbb{R}^{n}\times[0,1]\to \mathbb{R}^{n}\) is defined by
By similar arguments as above we can obtain the existence of Q-rotating periodic solutions of (1.1). This completes the proof. □
3 Appendix
In this section, we collect some basic results on the homotopy continuation method.
Lemma 3.1
([22] Sard’s theorem)
If \(\Phi :U\subset{\mathbb {R}}^{m} \rightarrow {\mathbb {R}}^{n}\) is a \(C^{k}\) map on an open set U with \(k>\max\{0,m-n\}\), then the set of singular values of Φ has n-dimensional Lebesgue measure zero. Consequently, the set of regular values of Φ is dense in \({\mathbb {R}}^{n}\).
Lemma 3.2
([23] Parametrized Sard’s theorem)
Let \(V\subset{\mathbb {R}}^{n},U\subset{\mathbb {R}}^{m}\) be open sets and \(\Phi:V\times U \rightarrow{\mathbb {R}}^{k}\) a \(C^{r}\) map, where \(r>\max\{0,m-k\}\). If \(0\in{\mathbb {R}}^{k}\) is a regular value of Φ, then for almost all \(a\in V\), 0 is a regular value of \(\Phi_{a}=\Phi(a,\cdot)\).
Lemma 3.3
([22])
Let \(\Phi:R^{n+1}\rightarrow R^{n}\) be a \(C^{1}\) map and 0 a regular value of Φ. Then \(\Phi^{-1}(0)\) is a \(C^{1}\)-manifold of dimension 1.
Lemma 3.4
([22])
A \(C^{1}\)-manifold of dimension 1 is homeomorphic to a loop or an interval (open, closed, or semiclosed).
Lemma 3.5
([21])
Let the homotopy \(\Phi :R^{n+1}\rightarrow R^{n}\) be a \(C^{1}\) map and 0 be regular value of Φ. Then each solution \(x(s)\) of the Cauchy problem
is a \(C^{1}\) path of \(\Phi^{-1}(0)\), where s is a parameter and
Lemma 3.6
([21])
Let \(V\subset R^{n}\) be an open bounded set, \(H:V\times[0,1]\rightarrow R^{n}\) a \(C^{1}\) homotopy, 0 a regular value of H, and the Jacobi matrices \(H_{p}'(p,0)\ (p\in H_{0}^{-1}(0)),H_{p}'(p,1)\ (p\in H_{0}^{-1}(0))\) be nonsingular, where
If a path solution \((p(s),{\lambda}(s))\) connects point \((p_{0},0)\) with \((p_{1},0)\), then
If a path solution \((p(s),\lambda(s))\) of H connects point \((p_{0},0)\) with \((p_{1},1)\), then
4 Conclusions
In this paper, by a constructive proof based on the homotopy continuation method, we prove that the second order system \(x''=g(t,x)\) admits rotating periodic solutions with form \(u(t+T)=Qu(t)\) for any orthogonal matrix Q when the nonlinearity g admits the Hartman-type condition. In [3], Rouche and Mawhin obtained the existence of periodic solutions of second order system under the Hartman-type condition. In [15], Lu, Li and Su applied the homotopy continuation method to give a constructive proof of Mawhin’s continuation theorem in [20], which can be used to obtain the periodic solutions by track along a \(C^{1}\) trajectory. However, when \(\operatorname{Ker}(I_{n}-Q)\not\equiv\mathbb{R}^{n}\), it seems difficult to apply this idea to our problem directly. Here we modify this idea and gluing two \(C^{1}\) paths of solutions together to obtain a continuous path of solutions, by which we can obtain the rotating periodic solutions (specially, quasi-periodic periodic solutions) of (1.1). Our results can be seen as a generalization of the results in [15] from periodic solutions case to the rotating periodic case when g satisfies the Hartman-type nonlinearity.
References
Hartman, P.: On boundary value problems for systems of ordinary, nonlinear, second order differential equations. Trans. Am. Math. Soc. 96, 493–509 (1960)
Knobloch, H.W.: On the existence of periodic solutions for second order vector differential equations. J. Differ. Equ. 9, 67–85 (1971)
Rouche, N., Mawhin, J.: Equations Différentielles Ordinaires, vol. 2. Masson, Paris (1973). English translation Ordinary Differential Equations, Stability and Periodic Solutions, Pitman, Boston (1980)
Mawhin, J.: Some boundary value problems for Hartman-type perturbations of the ordinary vector p-Laplacian. Nonlinear Anal. 40, 497–503 (2000)
Fan, X.L., Wu, H.Q., Wang, F.Z.: Hartman-type results for \(p(t)\)-Laplacian systems. Nonlinear Anal. 52, 585–594 (2003)
Liu, Q.H., Qian, D.B., Chu, B.: Nonlinear systems with singular vector ϕ-Laplacian under the Hartman-type condition. Nonlinear Anal. 74, 2880–2886 (2011)
Amster, P., Haddad, J.: A Hartman–Nagumo type condition for a class of contractible domains. Topol. Methods Nonlinear Anal. 41, 287–304 (2013)
Andres, J., Malaguti, L., Pavlačková, M.: Hartman-type conditions for multivalued Dirichlet problems in abstract spaces. In: Discr. Cont. Dyn. Syst., 10th AIMS Conf. Suppl, pp. 103–111 (2015)
Bebernes, J., Schmitt, K.: Periodic boundary value problems for systems of second order differential equations. J. Differ. Equ. 13, 32–47 (1973)
Mawhin, J.: Boundary value problems for nonlinear second-order vector differential equations. J. Differ. Equ. 16, 257–269 (1974)
Schmitt, K.: Periodic solutions of systems of second-order differential equations. J. Differ. Equ. 11, 180–192 (1972)
Kellogg, R.B., Li, T.Y., Yorke, J.A.: A constructive proof of the Brouwer fixed-point theorem and computational results. SIAM J. Numer. Anal. 13, 473–483 (1976)
Li, Y., Lu, X.G., Su, Y.: A homotopy method of finding periodic solutions for ordinary differential equations from the upper and lower solutions. Nonlinear Anal. 24, 1027–1038 (1995)
Li, Y., Lv, X.R.: Continuation theorems for boundary value problems. J. Math. Anal. Appl. 190, 32–49 (1995)
Lu, X.G., Li, Y., Su, Y.: Finding periodic solutions of ordinary differential equations via homotopy method. Appl. Math. Comput. 62, 153–170 (1994)
Chang, X.J., Li, Y.: Rotating periodic solutions of second order dissipative dynamical systems. Discrete Contin. Dyn. Syst. 36, 643–652 (2016)
Chang, X.J., Li, Y.: Rotating periodic solutions for second-order dynamical systems with singularities of repulsive type. Math. Methods Appl. Sci. 40, 3092–3099 (2017)
Liu, G.G., Yang, X., Li, Y.: Rotating periodic solutions for asymptotically linear second-order Hamiltonian systems with resonance at infinity. Math. Methods Appl. Sci. 40, 7139–7150 (2017)
Wang, H.R., Yang, X., Li, Y., Li, X.Y.: LaSalle type stationary oscillation theorems for affine-periodic systems. Discrete Contin. Dyn. Syst., Ser. B 22, 2907–2921 (2017)
Mawhin, J.: Topological Degree Methods in Nonlinear Boundary Value Problems. CBMS Regional Conference Series in Mathematics, vol. 40. American Mathematical Society, Providence (1979)
Carcia, C.B., Zangwill, W.I.: An approach to homotopy and degree theory. Math. Oper. Res. 4, 390–405 (1979)
Milnor, J.W.: Topology from the Differentiable Viewpoint. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (1997)
Chow, S.N., Mallet, J.P., Yorke, J.A.: Finding zeroes of maps: homotopy methods that are constructive with probability one. Math. Comput. 32, 887–899 (1978)
Funding
J. Li is supported by NSFC (No. 41601454). X.J. Chang is supported by NSFC (No. 11471067, 11101178), the Fundamental Research Funds for the Central Universities (No. 2412017BJ001) and the Scientific Research Projects of the Education Department of Jilin Province. Y. Li is supported by 973 Program (No. 2013CB834102) and NSFC (No. 11571065, 11171132).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, J., Chang, X. & Li, Y. Rotating periodic solutions for second order systems with Hartman-type nonlinearity. Bound Value Probl 2018, 37 (2018). https://doi.org/10.1186/s13661-018-0955-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0955-5