- Research
- Open Access
- Published:
Symmetric periodic solutions of delay-coupled optoelectronic oscillators
Advances in Difference Equations volume 2016, Article number: 59 (2016)
Abstract
Delay-coupled optoelectronic oscillators are considered. These structures are based on mutually coupled oscillators which oscillate at the same frequency. By taking the time delay as a bifurcation parameter, the stability of the zero equilibrium and the existence of Hopf bifurcations induced by delay are investigated, and then stability switches for the trivial solution are found. Conditions ensuring the stability and direction of the Hopf bifurcation are determined by applying the normal form theory and the center manifold theorem. Using the symmetric functional differential equation theories combined with the representation theory of Lie groups, the multiple Hopf bifurcations of the equilibrium are demonstrated. In particular, we find that the spatio-temporal patterns of bifurcating periodic oscillations will alternate according to the change of the propagation time delay in the coupling. The existence of multiple branches of bifurcating periodic solutions and their spatio-temporal patterns are obtained. Some numerical simulations are used to illustrate the effectiveness of the obtained results.
1 Introduction
A system of coupled nonlinear oscillators is capable of displaying a rich dynamics and has applications in various areas of science and technology, such as physical, chemical, biological, and other systems [1–3]. When oscillators are coupled, non-negligible coupling delays naturally arise because signals in real systems inevitably propagate from one oscillator to the next with a finite propagation speed. These time delays can induce many new phenomena and complex dynamics. Examples include neuronal networks, biological oscillators, and physical models [4–6].
The coupled optoelectronic oscillator is a novel and unique device which simultaneously produces spectrally pure microwave reference signals as in a microwave oscillator [7], and short optical pulses, in a mode locked laser [8–10]. In [8], the authors response of two delay-coupled optoelectronic oscillators. Each oscillator operates under its own delayed feedback. They show that the system can display square-wave periodic solutions that can be synchronized in phase or out of phase depending on the ratio between self- and cross-delay times. Furthermore, they show that multiple periodic synchronized solutions can coexist for the same values of the fixed parameters. As a consequence, it is possible to generate square-wave oscillations with different periods by just changing the initial conditions. Furthermore, in [9], the positive delayed feedback is considered, and they show that the scenario arising for positive feedback is much richer than with negative feedback. In [10], the authors model two non-identical delay-line optoelectronic oscillators mutually coupled through delayed cross-feedback. The system can generate multi-stable nanosecond periodic square-wave solutions which arise through a Hopf instability. They show that for suitable ratios between self- and cross-delay times, the two oscillators generate square waves with different amplitude but synchronized in phase, out of phase or with a dephasing of a quarter of the period.
In [11], two laser-pumped fiber-coupled Mach-Zehnder modulators (MZM) with a coupling scheme were experimentally set up, where the output intensity of one MZM is used to modulate the radio frequency (rf) input of the other MZM. In this paper we consider a system of two laser-pumped fiber-couple Mach-Zehnder modulators (MZM) as in [10], where the output intensity of one MZM is used to modulate the radio frequency (rf) input of the other MZM, as shown in Figure 1.
This system can be described by two coupled described by two coupled differential equations with nonlinearities \(f(x)=\cos^{2}(m+d \tanh(x))-\cos^{2}(m)\):
where \(x_{i}\) (\(i=1,2\)) account for the dimensionless and scaled variable corresponding to the measured output voltage, respectively; \(\varepsilon>0\) denotes the linear coefficient, and \(\gamma_{ij}\) (\(i,j=1,2\)) the nonlinear coupled coefficient. The effective coupling strengths \(\gamma_{12} \) and \(\gamma_{21} \) take into account all losses and gains in the system and are directly proportional to \(\alpha_{12} \) and \(\alpha_{21} \). In [11] it was shown in experiment and numerical simulations that this system has oscillatory solutions when the product of the two coupling strengths exceeds a critical value. Beyond the oscillation threshold, the oscillation amplitudes grow smoothly and the dependence of the amplitude on the coupling strengths can be described by a scaling law [11]. Beyond the oscillation threshold, the oscillation amplitudes grew smoothly and they found a scaling law that describes the dependence of the amplitude on the coupling strengths.
In this paper, considering the special case with \(\gamma=\gamma_{12}=\gamma_{21} \), we attempt to analytically investigate how the time delay can affect its stability, the bifurcations of new solutions when stability is lost, and also spatio-temporal patterns of the bifurcating periodic oscillations. Spatio-temporal patterns reflect the relationship of the evolution of the dynamic behaviors of two sub-networks such as in-phase or anti-phase oscillation. The results show that the emerging oscillations can exhibit different spatio-temporal patterns sensitive to the delay. It has been shown that even small, compared to the oscillation period, delays may have a large impact on the dynamics of delay-coupled optoelectronic oscillators.
The plan for the article is as follows. In Section 2, we consider the linear stability of equation (1.1) and present some theorems about the region of stability of the trivial solution as a function of the physical parameters in the model. We find some new phenomena such as the stability switch for equation (1.1) which is not mentioned in [8–11]. Coupling can lead synchronization, phase trapping, phase locking, amplitude death, chaos, bifurcation of oscillators, and so on [12, 13]. Since two identical oscillators are coupled symmetrically, the most typical patterns of behavior are perfect synchrony or perfect antisynchrony (in which the oscillators are half a period out of phase with each other); see [14, 15]. In Section 3, we give the \(Z_{2}\)-equivariant property of equation (1.1) and the existence of multiple periodic solutions (synchronous (respectively, anti-phased). Then we investigate the direction and stability of the Hopf bifurcating periodic solutions in Section 4. In the final section, we present some numerical simulation to support our analytical results. The last section concludes the paper.
2 Stability and bifurcation analysis
It is clear that \((0, 0, 0, 0)\) is an equilibrium point of equation (1.1). Linearizing system (1.1) at the trivial solution \((0, 0, 0, 0)\) leads to the following linear system:
The characteristic equation associated with the linearization of (2.1) is
where
and \(a=\gamma f'(0)\). The distribution of zeros of equation (2.2) determines the dynamic properties of (1.1). In the following, the analysis on the distribution of the roots to equation (2.2) is based on the conclusion: the sum of the order of the zeros of equation (2.2) in an open right-plane can change only if a zero appears or crosses the imaginary axis as parameter is varied.
In the following, we assume that:
- (H1):
-
either \(1-a^{2}>2\varepsilon\) or \(0<1-a^{2}<4\varepsilon\);
- (H2):
-
\(a>1\).
Consider equation \(\Delta_{1}=0\). Let iω (\(\omega>0\)) be a root of \(\Delta_{1}=0\), then plugging iω into \(\Delta_{1}=0\) to get \(-\omega^{2}+i \omega+\varepsilon+ia\omega e^{-i\omega\tau}=0\). Solving ω we have: if (H1) holds, then \(\Delta_{1}=0\) has no purely imaginary roots; if (H2) holds, then \(\Delta_{1}=0\) has a pair of purely imaginary roots \(\pm i\omega^{+}\) (\(\pm i\omega^{-}\), respectively) at \(\tau=\tau^{1+}_{j}\) (\(\tau=\tau^{1-}_{j}\), respectively), where
Similarly, under the condition (H2), we have: \(\Delta_{2}=0\) has a pair of purely imaginary roots \(\pm i\omega^{+}\) (\(\pm i\omega^{-}\), respectively) at \(\tau=\tau ^{2+}_{2}\) (\(\tau=\tau^{2-}_{j}\), respectively), where
and \(\omega^{\pm}\) meets equation (2.4).
Rewrite equation (2.3) and equation (2.5):
Then we have the following lemma.
Lemma 2.1
-
(1)
If (H1) holds, then equation (2.2) has no purely imaginary roots.
-
(2)
If (H2) holds, then equation (2.2) has a pair of purely imaginary roots \(\pm i\omega^{+}\) (\(\pm i\omega^{-}\), respectively) at \(\tau=\tau^{+}_{j}\) (\(\tau=\tau^{-}_{j}\), respectively). Furthermore, the transversality condition is satisfied at \(\tau_{j}^{\pm}\) (\(j=0,1,2,\ldots\)):
$$\textstyle\begin{cases} \frac{d\operatorname{Re}(\lambda(\tau))}{d\tau}|_{\tau=\tau _{j}^{+},\,\omega=\omega ^{+}}>0, \\\frac{d\operatorname{Re}(\lambda(\tau))}{d\tau}|_{\tau=\tau _{j}^{-},\,\omega=\omega^{-}}< 0. \end{cases} $$
When \(\tau=0\), equation (2.2) has at least one root with positive real part. Since we are concerned about the stability of equation (1.1), we prefer to investigate the relations of \(\tau_{0}^{+}\) and \(\tau_{0}^{-}\). From equation (2.6), we have \(\tau_{0}^{+}> \tau_{0}^{-}\) if and only if \(\frac{\omega^{-}\pi}{\omega^{+}+\omega^{-}}>\arccos\frac{1}{a}\).
Applying the above conclusions and bifurcation theorems for functional differential equations, we have the following results presenting the stability and existence bifurcations to the symmetric system (1.1).
Theorem 2.1
-
(1)
If either \(1-a^{2}>2\varepsilon\) or \(0<1-a^{2}<4\varepsilon\), then the zero solution of equation (1.1) is unstable for all \(\tau\geq0\).
-
(2)
If \(a>1\) and \(\frac{\omega^{-}\pi}{\omega^{+}+\omega^{-}}>\arccos\frac{1}{a}\), then \(\tau_{0}^{-}<\tau_{0}^{+}\), and there exists a positive integer j such that \(\tau_{j-1}^{-}<\tau_{j-1}^{+}<\tau_{j}^{+}<\tau_{j}^{-}\). Then the zero solution of equation (1.1) is asymptotically stable for \(\tau\in (\tau_{0}^{-}, \tau_{0}^{+}) \cup(\tau_{1}^{-}, \tau_{1}^{+})\cup\cdots\cup(\tau_{j-1}^{-}, \tau_{j-1}^{+})\) and unstable for \(\tau\in[0, \tau_{0}^{-})\cup(\tau_{j-1}^{-}, +\infty)\).
-
(3)
If \(a>1\), then for any \(k,l \in\{0,1,2,\ldots\}\), the equation (1.1) undergoes a Hopf bifurcation at \(\tau_{k}^{-}\) or \(\tau_{l}^{+}\) for \(\tau_{k}^{-} \neq\tau_{l}^{+}\).
Remark 2.1
Theorems 2.1 shows that under the conditions \(a>1\), and \(\frac{\omega^{-}\pi}{\omega^{+}+\omega^{-}}>\arccos\frac{1}{a}\), there are j switches from stability to instability to stability.
3 Existence of multiple periodic solutions
In the following, we consider the symmetric properties of equation (1.1). Using the theories of functional differential equations, (1.1) can be written as
where \(x_{t}=x(t+\theta)\) for \(-\tau\leq\theta\leq0\),
and
for \(\phi=(\phi_{1},\phi_{2},\phi_{3},\phi_{4})\in C([-\tau,0],R^{4})\).
It is clear that the system (3.1) is \(Z_{2}\)-equivariant with
for any \(U_{r}\) in \(R^{2}\). It is very interesting to consider the spatio-temporal patterns of bifurcating periodic solutions. For this purpose, we give the concepts of some spatio-temporal symmetric periodic solutions. Assume that the state \((u_{1}(t),v_{1}(t),u_{2}(t),v_{2}(t))\) can possess two different types of symmetry: spatial and temporal.
The oscillators \((u_{1}(t),v_{1}(t))\) and \((u_{2}(t),v_{2}(t))\) are synchronized if the state takes the form
for all times t. On the other hand, the oscillator \((u_{1}(t),v_{1}(t))\) is half a period out of phase with the (anti-synchronous) oscillator \((u_{2}(t),v_{2}(t))\) meaning the state takes the form
Now, we explore the possible (spatial) symmetry of the system (3.1). Consider the action of \(Z_{2}\times S^{1}\) on \(([-\tau,0],R^{4})\) with
where \(S^{1}\) is the temporal. Let \(T=\frac{2\pi}{\omega^{+}}\) or \(T=\frac{2\pi}{\omega^{-}}\), and denote by \(P_{T}\) the Banach space of all continuous T-periodic functions \(x(t)\). Denoting by \(SP_{T}\) the subspace of \(P_{T}\) consisting of all T-periodic solution of system (3.1) with \(\tau=\tau_{k}^{\pm}\), then, for each subgroup \(\Sigma\subset Z_{2}\times S^{1}\),
is a subspace.
Theorem 3.1
The trivial solution of system (3.1) undergoes a Hopf bifurcation giving rise to one branch of synchronous (respectively, anti-phased) periodic solutions.
Proof
Let \(\pm i\omega^{+}\) (respectively, \(\pm i\omega^{-}\)) satisfy equation (2.4). The corresponding eigenvectors of \(\Delta(\lambda)\) can be chosen as
where \(\nu_{1}(\theta)\) satisfies \((A_{1}+e^{-i\omega^{\pm}\tau_{j}^{2\pm}}A_{2})\nu_{1}(\theta)=i\omega ^{\pm}\nu_{1}(\theta)\);
and \(v_{2}(\theta)\) satisfies \((A_{1}-e^{-i\omega^{\pm}\tau_{j}^{1\pm}}A_{2})\nu_{2}(\theta)=i\omega ^{\pm}\nu_{2}(\theta)\).
The isotropic subgroup of \(Z_{2}\times S^{1}\) is \(z_{2}(\rho)\), the center space associated to eigenvalues \(\pm i\omega^{\pm}\), which implies that it is spanned by \(q_{1}(\theta)\) and \(\bar{q}_{1}(\theta)\), and the bifurcated periodic solutions are synchronous, taking the form
Similarly, \(Z_{2}\times S^{1}\) has another isotropic subgroup \(z_{2}(\rho,\pi)\), the center space associated to eigenvalues \(\pm i\omega^{\pm}\) is spanned by \(q_{2}(\theta)\), \(\bar{q}_{2}(\theta)\), which implies that the bifurcated periodic solutions are anti-phased, i.e., taking the form
where T is a period. □
4 Direction and stability of the Hopf bifurcation
In this section, we shall study the direction, stability, and the period of the bifurcating periodic solutions. We first focus on the case \(\Delta_{1} = 0\), because the other case can be dealt with analogously. We re-scale the time by \(t \mapsto t/\tau\), to normalize the delay of the system (3.1) and introduce the new parameter \(\nu=\tau-\tau_{k}^{1\pm}\) such that \(\nu= 0\) is a Hopf bifurcation value. Then equation (3.1) can be written as
where \(u_{t}=x(t+\theta)\) for \(-1 \leq\theta\leq0\),
and
for \(\phi=(\phi_{1},\phi_{2},\phi_{3},\phi_{4})\in C([-1,0],R^{4})\).
By the Riesz representation theorem, there exists a function \(\eta (\theta,\mu)\) (\(0 \le\theta\le1\)), whose elements are of bounded variation such that
In fact, we choose
where δ is determined by
For \(\phi\in{C^{1}}([ - 1,0], R^{4} )\), define
and
Then system (4.1) is equivalent to the following operator equation:
where \({u_{t}} = u(t + \theta)\), \(\theta\in[ - 1,0]\). For \(\psi\in {C^{1}}([0,1],{({R^{4}})^{*}})\), define
and a bilinear form
where \(\eta(\theta) = \eta(\theta,0)\), then \(A(0)\) and \({A^{*}}\) are adjoint operators. From Section 3, \(q_{1}(\theta)\) and \(q_{1}^{ * } (s)\) are the eigenvectors of \(A(0)\) and \({A^{*}}\) corresponding to \(i{\tau_{j}^{1\pm}}{\omega^{\pm}}\) and \(-i{\tau_{j}^{1\pm}}{\omega^{\pm}}\), where \(q_{1}(\theta)= (-\varepsilon, i\omega^{\pm},-\varepsilon, i\omega^{\pm} )^{T}\), \(q^{*} (s) = \bar{D}(i\omega^{\pm}, 1, i\omega^{\pm}, 1)\), and \(D=\tau_{j}^{1\pm}e^{i\omega^{\pm}\tau_{j}^{1\pm}}\). Then \(\langle{{q^{*}},q} \rangle= 1\) and \(\langle q^{*} ,\bar{q} \rangle= 0\).
Let \({u_{t}}\) be the solution of equation (4.2) when \(\nu= 0\). \(z(t) = \langle q ^{*}, u_{t} \rangle \), \(W(t,\theta) = u_{t} (\theta) - 2\operatorname{Re} \{ z(t)q(\theta)\}\). On the center manifold \({C_{0}}\) we have \(W(t,\theta) = W(z(t),\bar{z}(t),\theta )\), where
z and z̄ are local coordinates for the center manifold \({C_{0}}\) in the direction of \({q^{*}}\) and \(\bar{q}^{*} \). Note that W is real if \({u_{t}}\) is real. We only consider real solutions. For the solution \({u_{t}} \in{C_{0}}\) of equation (4.2), since \(\nu= 0\), we have
We rewrite this equation as
with
It follows from (4.3) and (4.4) that
Comparing of coefficients we have
where
Moreover, \(E_{2}\) satisfies the following equations:
Then we can compute the following quantities:
Theorem 4.1
Assume that \(\Delta_{1}\) crosses critical values 0. In (4.5), the sign of \(v_{2}\) determines the direction of the Hopf bifurcation: if \({v_{2}} > 0\) (\(v_{2} < 0\)), then the Hopf bifurcation is supercritical (subcritical) and the bifurcating periodic solution exists for \(\tau> {\tau_{j}^{1\pm}}\) (\(\tau< {\tau_{j}^{1\pm}}\)). \({\beta_{2}}\) determines the stability of the bifurcating periodic solution: the bifurcating periodic solution is stable (unstable) if \(\beta_{2} < 0\) (\(\beta_{2} > 0\)).
We also can focus on the case \(\Delta_{2}=0\). Since the conclusions are the same, we shall omit it.
5 Numerical simulations
In this section, we use some numerical simulations to illustrate the analytical results we obtained in the previous sections.
Let \(m=\frac{\pi}{4}, d=1\). Then \(f(x)=\cos^{2}(\frac{\pi}{4}+ \tanh(x))-\cos^{2}(m)\).
For parameters \(\gamma=1.155\), \(\varepsilon=1\), using the algorithm in Section 3, we obtain \(\omega^{+}=1.33\), \(\omega^{-}=0.75\). Then \(\tau_{0}^{-}=0.696< \tau_{0}^{+}=1.97 <\tau_{1}^{+}=4.33 <\tau_{1}^{-}=4.87\). From Theorem 4.1, the zero solution is asymptotically stable with \(\tau^{-}_{0}<\tau<\tau^{+}_{0}\). When τ meets \(\tau_{j}^{1\pm}\) or \(\tau_{j}^{2\pm}\), the anti-phased or synchronous periodic solutions will appear.
Figures 2-3 show that a branch of anti-phased periodic solutions is bifurcated from the trivial solution with \(\tau\leq \tau_{0}^{-}=0.696\).
The bifurcation diagram for equation ( 2.1 ). The zero solution is unstable for all \(\tau\geq 0\) when \((a, \varepsilon) \in D_{1}\). When \((a, \varepsilon) \in D_{2}\), the zero solution is unstable for all \(\tau\geq 0\) and system undergoes a Hopf bifurcation at \(\tau=\tau_{j}^{\pm}\) (\(j=0,1,2,\ldots\)). When \((a, \varepsilon) \in D_{3}\), \(\tau_{0}^{+}< \tau_{0}^{-}<\tau_{1}^{+}\) and the zero solution is stable.
Figures 4-5 show that the zero solution is asymptotically stable when \(\tau_{0}^{-}=0.696<\tau<\tau_{0}^{+}=1.97\).
Figures 6-7 show a branch of synchronous periodic solutions is bifurcated from the trivial solution when \(\tau_{0}^{+}=1.97\leq\tau\leq\tau_{1}^{+}=4.33\). Figure 8 shows the anti-phased periodic solutions appear again from the synchronous periodic solutions.
6 Conclusion
In this paper, a delay-coupled optoelectronic oscillators described by (1.1) is considered. The effect of the time delay on the linear stability of the system is investigated. Based on the standard Hopf bifurcation theory, we find that as the time delay increases and crosses through the critical values, there exist stability switches in a certain region of the plane of the linear coefficient ε and the coupling strength γ and a branch of periodic solutions bifurcate from the zero equilibrium. By means of the general symmetric local Hopf bifurcation theorem, we not only investigated the effect of a delay of the signal transmission on the pattern formation of model (1.1), but we also obtain some important results about the spontaneous bifurcation of multiple branches of periodic solutions and their spatio-temporal patterns. A remarkable finding is that the spatio-temporal patterns between the two output voltage depend not only on the critical value τ of the coupling time delay, but also on the parameter region where the bifurcation occurs. There are two types of spatio-temporal patterns: one is in phase and the other is in antiphase.
References
Martínez-Llinàs, J, Colet, P, Erneux, T: Tuning the period of square-wave oscillations for delay- coupled optoelectronic systems. Phys. Rev. E 89, 042908 (2014)
Atay, FM: Oscillator death in coupled functional differential equations near Hopf bifurcation. J. Differ. Equ. 221, 190-209 (2006)
Dias, APS, Lamb, JSW: Local bifurcation in symmetric coupled cell networks. Physica D 223, 93-108 (2006)
Marcus, CM, Westervelt, RM: Stability of analog neural network with delay. Phys. Rev. A 39, 347-359 (1989)
Perlikowski, P, Yanchuk, S, Popovych, OV, Tass, PA: Periodic patterns in a ring of delay-coupled oscillators. Phys. Rev. E 82, 036208 (2010)
Bonnin, M: Waves and patterns in ring lattices with delays. Physica D 238, 77-87 (2009)
Son, R, Solodkov, O, Tchijikova, E: Low-frequency model of the microwave frequency (phase) detector with amplitude modulator and shift oscillator. Radioelectron. Commun. Syst. 7, 363-370 (2009)
Martínez-Llinàs, J, Colet, P, Erneux, T: Tuning the period of square-wave oscillations for delay- coupled optoelectronic systems. Phys. Rev. E 89, 042908 (2014)
Martínez-Llinàs, J, Colet, P, Erneux, T: Synchronization of tunable asymmetric square-wave pulses in delay-coupled optoelectronic oscillators. Phys. Rev. E 91, 032911 (2015)
Martínez-Llinàs, J, Colet, P: In-phase, out-of-phase and T/4 synchronization of square waves in delay-coupled non-identical optoelectronic oscillators. Opt. Express 23, 24785-24799 (2015)
Illing, L, Hoth, G, Shareshian, L, May, C: Scaling behavior of oscillations arising in delay-coupled optoelectronic oscillators. Phys. Rev. E 83, 026107 (2011)
Drubi, F, Ibáñez, S, Ángel, J, Íguez, R: Coupling leads to chaos. J. Differ. Equ. 239, 371-385 (2007)
Wu, J: Symmetric functional differential equations and neural networks with memory. Trans. Am. Math. Soc. 350, 4799-4838 (1998)
Golubitsky, M, Stewart, IN, Schaeffer, DG: Singularities and Groups in Bifurcation Theory: Vol. 2. Appl. Math. Sci., vol. 69. Springer, New York (1988)
Song, L: Hopf bifurcation and spatio-temporal patterns in delay-coupled van der Pol oscillators. Nonlinear Dyn. 63, 223-237 (2011)
Acknowledgements
The authors would like to thank the support of Heilongjiang Province Natural Science Foundations (A2015016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have made equal contributions to each part of this paper. All the authors read and approved the final manuscript.
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
Zhang, C., Li, H. Symmetric periodic solutions of delay-coupled optoelectronic oscillators. Adv Differ Equ 2016, 59 (2016). https://doi.org/10.1186/s13662-016-0755-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0755-0
Keywords
- optoelectronic oscillators
- symmetric bifurcation
- stability
- spatio-temporal patterns
- delay