A bifurcation problem for a class of periodically perturbed autonomous parabolic equations
 Mikhail Kamenskii^{1},
 Boris Mikhaylenko^{1} and
 Paolo Nistri^{2}Email author
https://doi.org/10.1186/168727702013101
© Kamenskii et al.; licensee Springer. 2013
Received: 24 December 2012
Accepted: 6 April 2013
Published: 23 April 2013
Abstract
The paper deals with the problem of the existence of a branch of Tperiodic solutions originating from the isolated limit cycle of an autonomous parabolic equation in a Banach space when it is perturbed by a nonlinear Tperiodic term of small amplitude.
We solve this problem by first introducing a novel integral operator, whose fixed points are Tperiodic solutions of the considered equation and vice versa. Then we compute the Malkin bifurcation function associated to this integral operator and we provide conditions under which the wellknown assumption of the existence of a simple zero of the Malkin bifurcation function guarantees the existence of the branch.
MSC:35K58, 35B10, 35B20, 35B32.
Keywords
1 Introduction
where $\varphi \in {C}^{2}({\mathbb{R}}^{n},{\mathbb{R}}^{n})$, $\psi \in {C}^{1}(\mathbb{R}\times {\mathbb{R}}^{n}\times [0,1],{\mathbb{R}}^{n})$, ψ is Tperiodic with respect to time and $\epsilon \ge 0$ is a small parameter. Precisely, one seeks for the existence of a family of Tperiodic solutions originating from a limit cycle ${x}_{0}$ of the autonomous unperturbed system.
It is assumed that the linearized system has only one characteristic multiplier with absolute value 1.
Since the pioneering papers [8, 9], a relevant bibliography devoted to this subject has been developed. From this bibliography, we quote in the sequel some of the papers more related to the present paper. In [10], the case when the cycle ${x}_{0}$ is not isolated was considered. By means of suitably defined bifurcation functions ${f}_{m,n}$, $m,n\in \mathbb{N}$, called Melnikov subharmonic functions, the existence of periodic solutions near to ${x}_{0}$ was proved. The periods of the solutions are in $m:n$ ratio with respect to the period of the perturbation term. The case when 1 is not a simple multiplier of the linearized system was treated in [11]. The existence of at least two branches of Tperiodic solutions originating from ${x}_{0}$ is shown in [12, 13] and their stability, in the sense of Lyapunov, follows from the results of [14, 15]. Developments of the Malkin’s and Melnikov’s approaches have permitted to prove several results about the existence of bifurcating solutions in [16–20]. Furthermore, the use of a Melnikov function permits to detect chaotic behavior of a suitable iterate of the Poincaré map ${\mathrm{\Pi}}_{\epsilon}$ associated to the differential equation (1), which is assumed to have a homoclinic orbit. Indeed, the existence of a simple zero of the considered Melnikov function ensures such a chaotic behavior; see [21, 22].
where $P:{\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$ and $Q:{\mathbb{R}}^{n}\times [0,1]\to {\mathbb{R}}^{n}$ are given by $P(x)={\mathrm{\Pi}}_{0}(x)x$ and $Q(x,\epsilon )=\frac{{\mathrm{\Pi}}_{\epsilon}(x){\mathrm{\Pi}}_{0}(x)}{\epsilon}$ with singular ${P}^{\prime}({x}_{0})$. Then, by a convenient scaling of the variable x, we introduce an equivalent equation $\mathrm{\Psi}(w,\epsilon )=0$. For this equation, under the usual assumption of the existence of a simple zero of the Malkin bifurcation function associated to (1), the classical implicit function theorem can be applied to prove the existence of a branch of solutions originating from ${x}_{0}$.
The same approach has been employed in [24] for a class of systems for which the resulting operators P and Q satisfy regularity conditions, which permit to apply the implicit function theorem, only along certain directions at the point ${x}_{0}(\cdot )$ of the limit cycle. Conditions to ensure the existence of several branches of Tperiodic solution emanating from ${x}_{0}$ are provided by means of suitably defined Malkin bifurcation functions.
In all the papers cited before, the existence of periodic solutions for $\epsilon \ge 0$ small is a consequence of the application of a convenient version of the implicit function theorem. This requires, as assumed for system (1), that $\varphi \in {C}^{2}({\mathbb{R}}^{n},{\mathbb{R}}^{n})$ and $\psi \in {C}^{1}(\mathbb{R}\times {\mathbb{R}}^{n}\times [0,1],{\mathbb{R}}^{n})$. Under less restrictive regularity conditions, by using topological tools such as the coincidence degree [25], the LeraySchauder degree and the related continuation principles [26–28], existence results for $\epsilon \ge 0$ small have been proved in [29] when the autonomous system is Hamiltonian and in [30, 31] when the limit cycle is isolated. More precisely, in [29, 31] the existence of two branches of Tperiodic solutions was proved. Roughly speaking, in these papers, the bifurcation functions are employed to guarantee that the topological degree of certain operators is different from zero, rather than for the application of an implicit function theorem.
Topological degree arguments have been also employed in [32] to show the existence of periodic solutions for $\epsilon \ge 0$ small in the case when the unperturbed system is nonautonomous and the perturbation consists of two nonlinear periodic terms with multiplicative different powers of $\epsilon \ge 0$. Finally, the behavior of the bifurcating periodic solutions when the perturbation vanishes has been studied in [33] for a nonsmooth system of the form (1) having an isolated limit cycle and in [34] for nonsmooth planar Hamiltonian systems.
where A is the infinitesimal generator of a strongly continuous semigroup ${e}^{At}$, $t\ge 0$, acting in the Banach space E, satisfying the RadonNikodym property, $\varphi :E\to E$ is twice continuously Frechét differentiable and $\psi :\mathbb{R}\times E\times [0,1]\to E$ is continuously Frechét differentiable with respect to x, ε and Tperiodic with respect to time. The functions ϕ and ψ satisfy suitable condensivity conditions with respect to the Hausdorff measure of noncompactness. The crucial assumption is that the unperturbed equation at $\epsilon =0$ has a continuous Tperiodic isolated solution ${x}_{0}:\mathbb{R}\to E$, i.e., ${x}_{0}\in {C}_{T}(E)$.
has ${\theta}_{0}\in [0,T]$ as simple zero. Here, for any $\theta \in [0,T]$, ${x}_{0}(\theta )\in {C}_{T}(E)$ is given by ${x}_{0}(\theta )(\cdot ):={x}_{\theta}(\cdot )=x(\cdot +\theta )$, ${z}_{0}(\theta )$ is the eigenvector corresponding to the simple eigenvalue 0 of ${({\tilde{P}}^{\prime}({x}_{0}(\theta )))}^{\ast}$ and $\u3008\cdot ,\cdot \u3009$ denotes the duality pairing of E with its dual ${E}^{\prime}$. The main difficulty to verify the conditions of [[36], Theorem 2] consists in proving that the zero eigenvalue of ${\tilde{P}}^{\prime}({x}_{0}(\theta ))$ is simple. In fact, in this case, the assumption that the linearized equation, around the limit cycle ${x}_{0}(\theta )$, $\theta \in [0,T]$, of the autonomous system at $\epsilon =0$, does not have neither Tperiodic solutions linearly independent with ${x}_{0}^{\prime}(\theta )$ nor Floquet adjoint solutions to ${x}_{0}^{\prime}(\theta )$ does not guarantee that the zero eigenvalue of ${\tilde{P}}^{\prime}({x}_{0}(\theta ))$ is simple. To overcome this difficulty, we define in Section 3 a novel integral operator, equivalent to that associated to (2) with the property that for the resulting equation $P(x)+\epsilon Q(x,\epsilon )=0$, the operator ${P}^{\prime}({x}_{0}(\theta ))$ has 0 as simple eigenvalue.
Furthermore, in Section 4, we calculate the Malkin bifurcation function associated to the integral operator introduced in Section 3, and we formulate in Theorem 2 the result of the existence of a branch of Tperiodic solutions parameterized by $\epsilon \ge 0$ small. Proposition 1 of Section 5 states a somewhat surprising result: the Malkin functions associated to the two integral operators coincide and they have the common form of the classical Malkin function introduced for ordinary differential equations in finite dimensional spaces of the form (1). Finally, in Section 6, we provide a concrete example of a system of partial differential equations to which our abstract bifurcation result applies.
2 Assumptions and statement of the problem
from a Tperiodic limit cycle ${x}_{0}$ of the unperturbed system corresponding to $\epsilon =0$. Here, A is the infinitesimal generator of a strongly continuous semigroup ${e}^{At}$, $t\ge 0$, acting in the Banach space E, which satisfies the RadonNikodym property; see [[37], Theorem 23, p.276]; $\varphi :E\to E$, $\psi :\mathbb{R}\times E\times [0,1]\to E$ is Tperiodic and $x\in {C}_{T}(E)$, the space of Tperiodic continuous functions $x:\mathbb{R}\to E$.
Throughout the paper, we assume the following conditions on A, ϕ and ψ.

(H1) ${({e}^{At})}^{\ast}={e}^{{A}^{\ast}t}$ and there exists ${\alpha}_{0}>0$ such that${\parallel {e}^{At}\parallel}_{E}\le {e}^{{\alpha}_{0}t},\phantom{\rule{1em}{0ex}}t\ge 0.$

(H2) ϕ is twice continuously Fréchet differentiable, ψ is continuously Fréchet differentiable with respect to the pair $(x,\epsilon )$. Moreover, for any nonempty, bounded set $\mathrm{\Omega}\subset E$ we have$\begin{array}{c}\chi (\varphi (\mathrm{\Omega}))\le k\chi (\mathrm{\Omega});\hfill \\ \chi \left(\psi ([0,T]\times \mathrm{\Omega}\times [0,1])\right)\le l\chi (\mathrm{\Omega}),\hfill \end{array}$
where $0<k/{\alpha}_{0}<1$, $l>0$ and $\chi (\cdot )$ is the Hausdorff measure of noncompactness [38].

(H3) The unperturbed equation$\dot{x}=Ax+\varphi (x)$(4)has a Tperiodic isolated solution ${x}_{0}\in {C}_{T}(E)$, hence the set of shifts ${x}_{\theta}(\cdot )={x}_{0}(\cdot +\theta )$, for any $\theta \in [0,T]$, represents a family of Tperiodic solutions to (4). Moreover, for $\theta \in [0,T]$, we have that ${y}_{\theta}(t):={x}_{\theta}^{\prime}(t)$ is a Tperiodic solution to the linearized equation$\dot{y}=Ay+{\varphi}^{\prime}({x}_{0}(\theta ))y,$(5)where ${x}_{0}(\theta ):={x}_{\theta}$. We assume that ${x}_{0}^{\prime}(\theta )\ne 0$ for any $\theta \in [0,T]$ and that (5) does not possess neither Tperiodic solution linearly independent with ${y}_{\theta}(t)$ nor Floquet adjoint solution to ${y}_{\theta}(t)$, whenever $\theta \in [0,T]$, i.e., (5) does not have solutions of the form$y(t)=v(t)+\frac{t}{T}{y}_{\theta}(t),$
where $v(t)$ is a Tperiodic function.
We pose the following.
Problem To find conditions to ensure the existence of a branch of Tperiodic solutions to (3) parameterized by $\epsilon \ge 0$, originating, for some ${\theta}_{0}\in [0,T]$, from the family of Tperiodic solutions ${x}_{0}(\theta )$.
In conclusion, our problem will be solved if we show that for $\epsilon \ge 0$ sufficiently small, equation (7) has a solution. To this end, it would be sufficient to verify the conditions of the following result.
Theorem 1 ([[36], Theorem 2])
Let B be a Banach space, let $P:B\to B$ be a twice continuously Fréchet differentiable map and $Q:B\times [0,1]\to B$ continuously Fréchet differentiable with respect to both the variables.
where ${z}_{0}(\theta )$ is the eigenvector corresponding to the simple eigenvalue $0\in \sigma {({P}^{\prime}({x}_{0}(\theta )))}^{\ast}$. Here, ∗ denotes the adjoint operator.
where $w\in B$ can be determined in explicit form as shown in [[35], Theorem 2.3] and [[36], Lemma 3].
As it has been observed in [39], the compactness of the operator $I{P}^{\prime}({x}_{0}(\theta ))$ can be replaced by the condensivity of $I{P}^{\prime}({x}_{0}(\theta ))$ with respect to the Hausdorff measure of noncompactness. Indeed, as it is shown in [40], under assumptions (H1)(H2), the operator $IP$ and thus $I{P}^{\prime}({x}_{0}(\theta ))$, see [[38], Theorem 1.5.4], are condensing with constant $k/{\alpha}_{0}<1$. Furthermore, [[38], Theorem 2.6.11] ensures that zero is an eigenvalue of ${P}^{\prime}({x}_{0}(\theta ))$ of finite multiplicity. Therefore, under assumptions (H1)(H3), one can easily verify that the conditions of the previous Theorem 1 are satisfied for (7) except the condition of the simplicity of the zero eigenvalue of ${\tilde{P}}^{\prime}({x}_{0}(\theta ))$, $\theta \in [0,T]$. In fact, the assumption that (5) does not possess neither Tperiodic solutions linearly independent with ${y}_{\theta}(t)$, nor Floquet adjoint solutions to ${y}_{\theta}(t)$, whenever $\theta \in [0,T]$, does not imply that the zero eigenvalue of ${\tilde{P}}^{\prime}({x}_{0}(\theta ))$ is simple, despite the existence of a bijection between the Tperiodic solutions to (5) and the Tperiodic solutions to ${\tilde{P}}^{\prime}({x}_{0}(\theta ))=0$. Moreover, as it shown in [41] the simplicity of the zero eigenvalue of ${\tilde{P}}^{\prime}({x}_{0}(\theta ))$ does not imply that the Tperiodic solution ${y}_{\theta}(t)$ to (5) has the property mentioned above.
In conclusion, in order to apply Theorem 1, we will introduce a novel integral operator whose fixed points are also fixed points of (6) and vice versa, and thus Tperiodic solutions to (3). Moreover, we will show that the zero eigenvalue of the corresponding operator ${P}^{\prime}({x}_{0}(\theta ))$ is simple. This is the aim of the next section.
3 A novel equivalent integral operator
where $\xi :E\to {C}_{T}(E)$ is defined in the next lemma and $\tau \in [0,T]$ is a given point.
For any fixed $\theta \in [0,T]$, let ${e}_{0}:={x}_{0}^{\prime}(\theta )\ne 0$, ${\gamma}_{0}:={\int}_{0}^{\tau}{e}_{0}(s)\phantom{\rule{0.2em}{0ex}}ds$ and $\beta :=\u3008f,{\int}_{0}^{\tau}(J{e}_{0})(s)\phantom{\rule{0.2em}{0ex}}ds\u3009$ where $f\in {E}^{\prime}$.
We can now formulate the following result.
Lemma 1 Assume (H1)(H3) and that $\tau \in [0,T]$ and $f\in {E}^{\prime}$ satisfy the conditions:

(H4) ${\gamma}_{0}\ne 0$.

(H5) $\beta \ne 0$.

(H6) $\u3008f,{\gamma}_{0}\u3009=1$.
Since $1\notin \sigma ({\int}_{0}^{\tau}\xi (s)\phantom{\rule{0.2em}{0ex}}ds)$ from (10), it follows that ${\int}_{0}^{\tau}{F}_{\epsilon}(y)(s)\phantom{\rule{0.2em}{0ex}}ds=0$ and so from (8) we get ${F}_{\epsilon}(y)=0$.
By our definition $\xi (t)x=\u3008f,x\u3009g(t)$, $g(t)=\frac{1}{\beta}({e}_{0}(t)+(J{e}_{0})(t))$, with $\u3008f,{\int}_{0}^{\tau}{e}_{0}(s)\phantom{\rule{0.2em}{0ex}}ds\u3009=1$ and $\u3008f,{\int}_{0}^{\tau}(J{e}_{0})(s)\phantom{\rule{0.2em}{0ex}}ds\u3009=\beta $. Therefore, (19) is satisfied and this concludes the proof. □
Remark 1 Observe that a little though convinces of the existence of $\tau \in [0,T]$ and $f\in {E}^{\prime}$ satisfying the conditions (H4)(H6) of Lemma 1.
Furthermore, recall that assumptions (H1)(H2) ensure that the operator $IP$ is condensing with constant $k/{\alpha}_{0}<1$ (see [40]); moreover, [[38], Theorem 1.5.4] guarantees that $I{P}^{\prime}({x}_{0}(\theta ))$ is also condensing with the same constant. Finally, by [[38], Theorem 2.6.11], zero turns out to be an eigenvalue of ${P}^{\prime}({x}_{0}(\theta ))$ of finite multiplicity. The second part of the proof of Lemma 1 shows that it is simple.
4 The Malkin bifurcation function
For notational convenience, we simply denote ${z}_{0}(\theta )\in {C}_{T}(E)$ by ${z}_{0}$. In order to compute ${M}_{\xi}(\theta )$, it is necessary to determine ${z}_{0}$ in explicit form. The following result solves the problem.
where γ is an eigenvector of ${(J\alpha )}^{\ast}$ corresponding to the eigenvalue 1 and ${\mathbb{1}}_{[0,\tau ]}$ is the characteristic function of the interval $[0,\tau ]$.
□
Lemmas 1 and 2, together with the fact that (H1)(H2) ensure the condensivity of $I{P}^{\prime}({x}_{0}(\theta ))$, $\theta \in [0,T]$, of constant $0<k/{\alpha}_{0}<1$ (see [40]) allow to apply Theorem 1 to state the following.
for $\epsilon \ge 0$ sufficiently small and $w\in {C}_{T}(E)$.
Remark 2 The function w can be calculated in an explicit form as shown in [[35], Theorem 2.3] and [[36], Lemma 3].
5 An invariance property of the Malkin bifurcation function
In what follows, we state an interesting property of the Malkin bifurcation functions introduced before. Precisely, we can prove the following result.
Proposition 1 Let $\theta \in [0,T]$, assume that $0\in \sigma ({\tilde{P}}^{\prime}({x}_{0}(\theta )))$ is simple. Then the Malkin bifurcation function $M(\theta )$ associated to system (6) coincide with the Malkin bifurcation function ${M}_{\xi}(\theta )$ associated to system (8).
□
6 An example
In order to introduce an example consistent with the general approach of the paper that requires the employ of the theory of condensing operators, we are led to consider partial differential equations of hyperbolic type, whose abstract formulation in Banach spaces gives rise to infinitesimal generators of noncompact ${C}_{0}$semigroups; see, e.g., [42].
where $(x,y)\in Q:=\mathrm{\Omega}\times (0,1)\subset {\mathbb{R}}^{n+1}$, $n\ge 2$, Ω is a ${C}^{2}$smooth bounded domain in ${\mathbb{R}}^{n}$, ν denotes the outward unit normal vector to Q, λ is a small positive parameter representing the thickness of the domain of the variable λy, ${\alpha}_{1}$, ${\alpha}_{2}$, ${\beta}_{1}$, ${\beta}_{2}$ are positive constants and the functions ${\varphi}_{1}$, ${\varphi}_{2}$ are of class ${C}^{1}$ jointly in their arguments. The linear part of system (26) generates an exponentially stable ${C}_{0}$semigroup in a suitable Banach space; see [43] as well as the related references therein. Under the assumption of the existence of a ${T}_{0}$periodic solution ${u}_{0}=({u}_{1}^{0},{u}_{2}^{0})$ of the limit problem, obtained as $\lambda \to 0$, and suitable conditions on the growth of the derivatives of ${\varphi}_{1}$, ${\varphi}_{2}$ with respect to their arguments, it is shown in [44] that [[43], Theorem 1] applies. This result guarantees the existence of ${\lambda}_{0}>0$ such that, for fixed $\stackrel{\u02c6}{\lambda}\in (0,{\lambda}_{0})$, system (26) has an isolated ${T}_{\stackrel{\u02c6}{\lambda}}$periodic solution ${u}_{\stackrel{\u02c6}{\lambda}}=({u}_{1}^{\stackrel{\u02c6}{\lambda}},{u}_{2}^{\stackrel{\u02c6}{\lambda}})$. The crucial assumption of [[43], Theorem 1] is that the zero eigenvalue of the linearized system around ${u}_{0}$ is simple. For a single damped wave equation of system (26) with the nonlinear term ϕ depending periodically on time t, the existence of periodic solutions was studied in [46].
If we assume that the superposition operators generated by the functions ${\varphi}_{1}$, ${\varphi}_{2}$, ${\psi}_{1}$, ${\psi}_{2}$ satisfy assumption (H2) of this paper, then (H1) and [[47], Theorem 4.3.1] ensure that the ${C}_{0}$semigroup generated by the linearization around ${u}_{\stackrel{\u02c6}{\lambda}}$ of the unperturbed system, corresponding to $\epsilon =0$ in (27), is strongly contractive with respect to the Hausdorff measure of noncompactness $\chi (\cdot )$, i.e., χstrongly contractive. Therefore, our abstract bifurcation result Theorem 2 applies to system (27).
Declarations
Acknowledgements
Dedicated to professor Jean Mawhin on the occasion of his seventieth birthday.
The first two authors acknowledge the support by RFBR Grants 100193112a and 12010392a. The third one acknowledges the support by the GNAMPA of the Istituto di Alta Matematica. The authors would like also to thank the referees for their helpful comments and suggestions which improved the presentation of the paper.
Authors’ Affiliations
References
 Awrejcewicz J, Lamarque CH: Bifurcation and Chaos in Nonsmooth Mechanical System. World Scientific, Singapore; 2003.Google Scholar
 Awrejcewicz J, Holicke MM: Smooth and Nonsmooth High Dimensional Chaos and the MelnikovType Methods. World Scientific, Singapore; 2007.Google Scholar
 di Bernardo M, Budd CJ, Champneys AR, Kowalczyk P: PiecewiseSmooth Dynamical Systems, Theory and Applications. Springer, London; 2008.Google Scholar
 Fecčkan M: Topological Degree Approach to Bifurcation Problems. Springer, Berlin; 2008.View ArticleGoogle Scholar
 Fecčkan M: Bifurcation and Chaos in Discontinuous and Continuous Systems. Springer, Berlin; 2011.View ArticleGoogle Scholar
 di Bernardo M, Budd CJ, Champneys AR, Kowalczyk P, Nordmark AB, Olivar G, Piiroinen PT: Bifurcations in nonsmooth dynamical systems. SIAM Rev. 2008, 50: 629701. 10.1137/050625060MathSciNetView ArticleGoogle Scholar
 Mawhin J: Topological bifurcation theory: old and new. Nankai Ser. Pure Appl. Math. Theoret. Phys. 7. In Progress in Variational Methods. World Scientific, Hackensak; 2011:169186.Google Scholar
 Loud WS: Periodic solutions of a perturbed autonomous system. Ann. Math. 1959, 70: 490529. 10.2307/1970327MathSciNetView ArticleGoogle Scholar
 Malkin IG: On Poincaré’s theory of periodic solutions. Akad. Nauk SSSR. Prikl. Mat. Meh. 1949, 13: 633646. (in Russian)MathSciNetGoogle Scholar
 Melnikov VK: On the stability of a center for timeperiodic perturbations. Tr. Mosk. Mat. Obŝ. 1963, 12: 352. (in Russian)Google Scholar
 Rhouma MBH, Chicone C: On the continuation of periodic orbits. Methods Appl. Anal. 2000, 7: 85104.MathSciNetGoogle Scholar
 Hausrath AR, Manásevich RF: Periodic solutions of periodically harvested LotkaVolterra systems. Rev. Colomb. Mat. 1987, 21: 337345.Google Scholar
 Hausrath AR, Manásevich RF: Periodic solutions of periodically forced nondegenerate systems. Rocky Mt. J. Math. 1988, 18: 4965. 10.1216/RMJ198818149View ArticleGoogle Scholar
 Hausrath AR, Manásevich RF: Stability properties of periodic solutions of periodically forced non degenerate systems. Rocky Mt. J. Math. 1988, 18: 785800. 10.1216/RMJ1988184785View ArticleGoogle Scholar
 Ortega R: A criterion for asymptotic stability based on topological degree. Proceedings of the First World Congress of Nonlinear Analysts, Tampa, FL 1992, 383394.Google Scholar
 Blekhman II: Synchronization in Nature and Engineering. Nauka, Moscow; 1981. (in Russian)Google Scholar
 Guckenheimer J, Holmes P Applied Mathematical Sciences 42. In Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, New York; 1983.View ArticleGoogle Scholar
 Greenspan B, Holmes P: Repeated resonance and homoclinic bifurcation in a periodically forced family of oscillators. SIAM J. Math. Anal. 1984, 15: 6997. 10.1137/0515003MathSciNetView ArticleGoogle Scholar
 Lazer AC: Small periodic perturbations of a class of conservative systems. J. Differ. Equ. 1973, 13: 438456. 10.1016/00220396(73)90003XMathSciNetView ArticleGoogle Scholar
 Tkhai VN: Periodic motions of a system close to an autonomous reversible system. J. Appl. Math. Mech. 2001, 65: 647664. 10.1016/S00218928(01)000697MathSciNetView ArticleGoogle Scholar
 Palmer KJ: Exponential dichotomies and transversal homoclinic points. J. Differ. Equ. 1984, 55: 225256. 10.1016/00220396(84)900822View ArticleGoogle Scholar
 Battelli F, Fecčkan M: Some remarks on the Melnikov function. Electron. J. Differ. Equ. 2002, 2002: 129.MathSciNetGoogle Scholar
 Kamenskii M, Makarenkov O, Nistri P: An alternative approach to study bifurcation from a limit cycle in periodically perturbed autonomous systems. J. Dyn. Differ. Equ. 2011, 23: 425435. doi:10.1007/s1088401192074 10.1007/s1088401192074MathSciNetView ArticleGoogle Scholar
 Kamenskii M, Mikhaylenko B, Nistri P: Nonsmooth bifurcation in finite dimensional spaces via scaling of variables. Differ. Equ. Dyn. Syst. 2012, 20: 191205. 10.1007/s1259101101026MathSciNetView ArticleGoogle Scholar
 Mawhin J CBMS Reg. Conf. Ser. Math. 40. In Topological Degree Methods in Nonlinear Boundary Value Problems. Am. Math. Soc., Providence; 1979.Google Scholar
 Mawhin J: LeraySchauder continuation theorems in the absence of a priori bounds. Topol. Methods Nonlinear Anal. 1997, 9: 179200.MathSciNetGoogle Scholar
 Mawhin J: Periodic solutions in the golden sixties: the birth of a continuation theorem. In Ten Mathematical Essays on Approximation in Analysis and Topology. Elsevier, Amsterdam; 2005:199214.View ArticleGoogle Scholar
 Capietto A, Mawhin J, Zanolin F: Continuation theorems for periodic perturbations of autonomous systems. Trans. Am. Math. Soc. 1992, 329: 4172. 10.1090/S00029947199210422857MathSciNetView ArticleGoogle Scholar
 Henrard M, Zanolin F: Bifurcation from a periodic orbit in perturbed planar Hamiltonian systems. J. Math. Anal. Appl. 2003, 277: 79103. 10.1016/S0022247X(02)005048MathSciNetView ArticleGoogle Scholar
 Kamenskii M, Makarenkov O, Nistri P: A continuation principle for a class of periodically perturbed autonomous systems. Math. Nachr. 2008, 281: 4261. 10.1002/mana.200610586MathSciNetView ArticleGoogle Scholar
 Makarenkov O, Nistri P: Periodic solutions for planar autonomous systems with nonsmooth periodic perturbations. J. Math. Anal. Appl. 2008, 338: 4261.MathSciNetView ArticleGoogle Scholar
 Kamenskii M, Makarenkov O, Nistri P: Small parameter perturbations of nonlinear periodic systems. Nonlinearity 2004, 17: 193205. 10.1088/09517715/17/1/012MathSciNetView ArticleGoogle Scholar
 Makarenkov O, Nistri P: On the rate of convergence of periodic solutions in perturbed autonomous systems as the perturbation vanishes. Commun. Pure Appl. Anal. 2008, 17: 4961.MathSciNetGoogle Scholar
 Makarenkov O, Malaguti L, Nistri P: On the behavior of periodic solutions of planar autonomous Hamiltonian systems with multivalued periodic perturbations. Z. Anal. Anwend. 2011, 30: 129144.MathSciNetView ArticleGoogle Scholar
 Couchouron JF, Kamenski M, Nistri P: An infinite dimensional bifurcation problem with application to a class of functional differential equations of neutral type. Commun. Pure Appl. Anal. 2013, 12: 18451859. doi:10.3934/cpaa.2013.12.1845MathSciNetView ArticleGoogle Scholar
 Kamenskii MI, Mikhaylenko BA: Averaging principle and the variational approach in the problem on the bifurcation of periodic solutions from nonisolated equilibria of the averaged equation. Differ. Equ. 2012, 48: 18. 10.1134/S0012266112010016MathSciNetView ArticleGoogle Scholar
 Royden HL: Real Analysis. 3rd edition. Macmillan Co., New York; 1988.Google Scholar
 Akhmerov RR, Kamenski MI, Potapov AS, Rodkina AN, Sadovskii BN Operator Theory: Advances and Applications 55. In Measures of Noncompactness and Condensing Operators. Birkhäuser, Basel; 1992.View ArticleGoogle Scholar
 Kamenskii MI, Mikhaylenko BA: On perturbations of systems with multidimensional degeneration. Autom. Remote Control 2011, 72: 10361047. 10.1134/S0005117911050110MathSciNetView ArticleGoogle Scholar
 Kamenskii M, Nistri P:An averaging method for singularly perturbed systems of semi linear differential inclusions with ${C}_{0}$semigroups. SetValued Anal. 2003, 11: 345357. 10.1023/A:1025604317289MathSciNetView ArticleGoogle Scholar
 Mikhaylenko BA: On equivalent integral operators in periodic solutions problems of differential equations. Proc. Voronezh State Univ. Voronezh 2011, 1: 193201. (in Russian)Google Scholar
 Pazy A Applied Mathematical Sciences 44. In Semigroups of Linear Operator and Applications to Partial Differential Equations. Springer, New York; 1983.View ArticleGoogle Scholar
 Johnson R, Kamenskii M, Nistri P: Existence of periodic solutions for an autonomous damped wave equation in a thin domain. J. Dyn. Differ. Equ. 1998, 10: 409424. 10.1023/A:1022601213052MathSciNetView ArticleGoogle Scholar
 Johnson R, Kamenskii M, Nistri P: Erratum to existence of periodic solutions for an autonomous damped wave equation in a thin domain. J. Dyn. Differ. Equ. 2000, 12: 675679. 10.1023/A:1026419913334MathSciNetView ArticleGoogle Scholar
 Raugel G Lecture Notes in Mathematics 1609. In Dynamics of Partial Differential Equations in Thin Domains. Springer, Berlin; 1995:208315.Google Scholar
 Johnson R, Kamenskii M, Nistri P: On periodic solutions of a damped wave equation in a thin domain using degree theoretic methods. J. Differ. Equ. 1997, 140: 186208. 10.1006/jdeq.1997.3301MathSciNetView ArticleGoogle Scholar
 Kamenskii M, Obukhovskii V, Zecca P De Gruyter Series in Nonlinear Analysis and Applications. In Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter, Berlin; 2001.View ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.