Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 248379, 9 pages http://dx.doi.org/10.1155/2013/248379 Research Article Stability Analysis for Mutually Delay-Coupled Semiconductor Lasers System Rina Su, Chunrui Zhang, and Zuolin Shen Department of Mathematics, Northeast Forestry University, Harbin 150040, China Correspondence should be addressed to Chunrui Zhang; math@nefu.edu.cn Received 19 December 2012; Revised 4 February 2013; Accepted 5 February 2013 Academic Editor: Peixuan Weng Copyright © 2013 Rina Su et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In this paper, the problem of the stability for mutually delay-coupled semiconductor lasers system is investigated. By analyzing the associated characteristic equation, linear stability is investigated and Hopf bifurcations are demonstrated. The new phenomena such as stability switch is found. The π2 equivariant property and the existence of multiple periodic solutions is also discussed. Numerical simulations are presented to illustrate the results in the paper. 1. Introduction For many years, coupled nonlinear oscillators have been a source of growing interest in different research fields, ranging from physics, chemistry, and engineering to biology, social sciences and so on [1–5]. Recently, there has been an increasing activity and interest on the study of delay-coupled semiconductor lasers systems, because of their practical importance. The spatial separation of the lasers always results in a time delay in the coupling due to finite signal propagation times [6]. Time delay is ubiquitous in most physical and biological systems like optical bistable devices, electromechanical systems, predatorprey models, and physiological systems. They can arise from finite propagation speeds of signals or from finite processing times in synapses and so on. In many situations, the time delay in the coupling has been neglected. However, for semiconductor lasers this is not always justified due to their large bandwidth and fast time scales of their dynamics. The objective of [6] is the genetic case of two identical, mutually delay-coupled semiconductor lasers that receive each others light. The authors model the coupled lasers system with rate equations for the normalized complex slowly varying envelope of the optical fields πΈ1,2 and the normalized inversions π1,2 as follows ππΈ1 = (1 + ππΌ) π1 πΈ1 + π π−πΩ1 ππ πΈ2 (π‘ − ππ ) , ππ‘ ππΈ2 = (1 + ππΌ) π2 πΈ2 + π π−πΩ1 ππ πΈ1 (π‘ − ππ ) + ππΏπΈ2 , ππ‘ ππ σ΅¨ σ΅¨2 π 1 = π − π1 − (1 + 2π1 ) σ΅¨σ΅¨σ΅¨πΈ1 σ΅¨σ΅¨σ΅¨ , ππ‘ π (1) ππ2 σ΅¨ σ΅¨2 = π − π2 − (1 + 2π2 ) σ΅¨σ΅¨σ΅¨πΈ2 σ΅¨σ΅¨σ΅¨ , ππ‘ where π > 0 is the coupled strength, ππ > 0 is the delay time, Ω1 is the optical frequency of laser 1 operated solitary at threshold, Ω2 is the optical angular frequency of the second laser operated solitary at threshold, and πΏ = Ω1 − Ω2 . The remaining parameters are the line width enhancement factor πΌ > 0, the normalized carrier lifetime π(π > 0), and the pump parameter π(π > 0). The authors obtained experimentally bifurcations and multistabilities between the two lasers. 2 Abstract and Applied Analysis In this paper we consider the lasers system (1) with Ω1 = Ω2 = Ω > 0, then we have ππΈ1 = (1 + ππΌ) π1 πΈ1 + π π−πΩπ πΈ2 (π‘ − π) , ππ‘ ππΈ2 = (1 + ππΌ) π2 πΈ2 + π π−πΩπ πΈ1 (π‘ − π) , ππ‘ ππ σ΅¨ σ΅¨2 π 1 = π − π1 − (1 + 2π1 ) σ΅¨σ΅¨σ΅¨πΈ1 σ΅¨σ΅¨σ΅¨ , ππ‘ π (2) ππ2 σ΅¨ σ΅¨2 = π − π2 − (1 + 2π2 ) σ΅¨σ΅¨σ΅¨πΈ2 σ΅¨σ΅¨σ΅¨ . ππ‘ Consider the complex coupled semiconductor lasers model (2) with a single delay π. Let πΈ1 = π₯1 − ππ¦1 , πΈ2 = π₯2 − ππ¦2 , π1 = π’1 + π − π]1 , and π2 = π’2 + π − π]2 be a solution of (2). Then (2) can be rewritten as π₯Μ 1 = (π’1 − πΌ]1 + π) π₯1 − (]1 + πΌπ’1 + πΌπ) π¦1 + π cos (Ωπ) π₯2 (π‘ − π) + π sin (Ωπ) π¦2 (π‘ − π) , π¦Μ 1 = (]1 + πΌπ’1 + πΌπ) π₯1 − (π’1 − πΌ]1 + π) π¦1 2. Stability Analysis − π sin (Ωπ) π₯2 (π‘ − π) + π sin (Ωπ) π¦2 (π‘ − π) , It is clear that the origin (0, 0, 0, 0, 0, 0, 0, 0) is a stationary point of (3). The linearization of (3) at the origin (0, 0, 0, 0, 0, 0, 0, 0) is π₯Μ 2 = (π’2 − πΌ]2 + π) π₯2 − (]2 + πΌπ’2 + πΌπ) π¦2 + π cos (Ωπ) π₯1 (π‘ − π) + π sin (Ωπ) π¦1 (π‘ − π) , π₯Μ 1 = ππ₯1 − πΌππ¦1 + π cos (Ωπ) π¦Μ 2 = (]2 + πΌπ’2 + πΌπ) π₯2 + (π’2 − πΌ]2 + π) π¦2 × π₯2 (π‘ − π) + π sin (Ωπ) π¦2 (π‘ − π) , − π sin (Ωπ) π₯1 (π‘ − π) + π cos (Ωπ) π¦1 (π‘ − π) , 1 π’Μ 1 = − [π’1 + π₯12 − π¦12 + 2π’1 π₯12 + 2ππ₯12 π π¦Μ 1 = πΌππ₯1 − ππ¦1 − π sin (Ωπ) (3) −2π’1 π¦12 − 2ππ¦12 − 4]1 π₯1 π¦1 ] , ]Μ1 = − 1 [] + 2π₯1 π¦1 + 4π’1 π₯1 π¦1 π 1 +4ππ₯1 π¦1 + π’Μ 2 = − ]Μ2 = − 2]1 π₯12 − system (3) have changed. That is to say, if the time delay is in a certain range, the out-put power is stable or unstable. We also find some new phenomena such as stability switch for (3) which is not mentioned in [6]. Couple can lead synchronization, phase trapping, phase locking, amplitude death, chaos, bifurcation of oscillators and so on [7–9]. Since two identical oscillators are coupled symmetrically, then 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). In Section 3, we give the π2 -equivariant property of (3) and the existence of multiple periodic solutions (synchronous respectively, anti-phased). The paper is organized as follows. In Section 2, we analyze the distribution of the characteristic equation associated with multicoupled, and obtain the existence of the local Hopf bifurcation and stability of the bifurcating periodic solutions. Base on the symmetric bifurcation theorem of Golubitsky [10], we also discussed the π2 equivariant property and the existence of multiple periodic solutions in Section 3. To verify the theoretic analysis, numerical simulations are given in Section 4. × π₯2 (π‘ − π) + π sin (Ωπ) π¦2 (π‘ − π) , π₯Μ 2 = ππ₯2 − πΌππ¦2 + π cos (Ωπ) × π₯1 (π‘ − π) + π sin (Ωπ) π¦1 (π‘ − π) , π¦Μ 2 = πΌππ₯2 + ππ¦2 − π sin (Ωπ) 2]1 π¦12 ] , × π₯1 (π‘ − π) + π cos (Ωπ) π¦1 (π‘ − π) , 1 [π’ + π₯22 − π¦22 + 2π’2 π₯22 + 2ππ₯22 π 2 π’Μ 1 = − 1 π’, π 1 −2π’2 π¦22 − 2ππ¦22 − 4]2 π₯2 π¦2 ] , ]Μ1 = − 1 ], π 1 π’Μ 2 = − 1 π’, π 2 ]Μ2 = − 1 ]. π 2 1 [] + 2π₯2 π¦2 + 4π’2 π₯2 π¦2 π 2 +4ππ₯2 π¦2 + 2]2 π₯22 − 2]2 π¦22 ] . The purpose of this paper is to study the properties of stability and bifurcation in model (3). Because of the optical frequencies are the same, which leads to a detuning between the lasers, for achieving high out-put power, the effect of the time delay between the semiconductor lasers has been more and more importance. In our study, we need to found that when the time delay reach a certain value, arbitrarily small perturbation will make the dynamic performance of the (4) Among them, the π > 0 is a coupling strength, π > 0, πΌ > 0, Ω > 0, and π > 0. The zero solution of system (4) is asymptotically stable if and only if all the roots of the characteristic equation associated with system (4) have negative real parts. The characteristic equation of system (4) is det π1 (π) ⋅ det π2 (π) = 0, (5) Abstract and Applied Analysis 3 It is easy to verify that π is a root of (11) if and only if it is a root of one of the following equations: where det π1 (π) σ΅¨σ΅¨ π−π πΌπ −π π−ππ cos (Ωπ) −π π−ππ sin (Ωπ) σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ π−π π π−ππ sin (Ωπ) −π π−ππ cos (Ωπ)σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨ −ππ−πΌπ σ΅¨σ΅¨, π−π πΌπ σ΅¨σ΅¨−π π cos (Ωπ) −π π−ππ sin (Ωπ) σ΅¨σ΅¨ σ΅¨σ΅¨ π π−ππ sin (Ωπ) −π π−ππ cos (Ωπ) σ΅¨σ΅¨ −πΌπ π−π σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π + 1 σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨ σ΅¨σ΅¨ 1 σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π+ σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ 1 det π2 (π) = σ΅¨σ΅¨ σ΅¨σ΅¨ , π+ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨σ΅¨ σ΅¨ 1 σ΅¨σ΅¨ π + σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ (6) by a direct calculation, and one can obtain that det π1 (π) π − π − π π−ππ cos (Ωπ) = π (πΌπ − π π−ππ sin (Ωπ)) , π − π − π π−ππ cos (Ωπ) = − π (πΌπ − π π−ππ sin (Ωπ)) , (13) π − π + π π−ππ cos (Ωπ) = π (πΌπ + π π−ππ sin (Ωπ)) , 2 2 2 2 × [(π − π + π π−ππ cos (Ωπ)) + (πΌπ + π π−ππ sin (Ωπ)) ] , (7) det π2 (π) = (π + 1 4 ). π (8) It is well known from the theory of functional differential equations that characteristic equation (5) determines local stability of the trivial solution of (3). Thus, we need to investigate the distribution of roots of the characteristic equation (5). To achieve this aim, it is convenient to consider the following. Clearly, (7) can be written as det π1 (π) = Δ− (π) ⋅ Δ+ (π) , (9) where Δ− (π) 2 2 = (π − π − π π−ππ cos (Ωπ)) + (πΌπ − π π−ππ sin (Ωπ)) , Δ+ (π) 2 2 = (π − π + π π−ππ cos (Ωπ)) + (πΌπ + π π−ππ sin (Ωπ)) . (10) Since det π1 (π) ⋅ det π2 (π) = 0, then we have det π1 (π) = 0 or det π2 (π) = 0. If det π2 (π) = 0, we have π = −1/π, and then all roots of the characteristic equation (5) have negative real parts. In this case, they have no influence on the system (3); then system (3) is stable. We will omit it. So, we just consider det π1 (π) = 0. (11) (14) π − π + π π−ππ cos (Ωπ) = − π (πΌπ + π π−ππ sin (Ωπ)) , (15) and it is not difficult to verify that π = π + ππ½ is a root of (12) if and only if π = π − ππ½ is a root of (13), and π = π + ππ½ is a root of (14) if and only if π = π − ππ½ is a root of (15). Therefore, it is sufficient to investigate only (12) and (14). We next want to find the conditions which determine that all roots of (12)–(15) satisfy Re(π) < 0. We first consider (12), clearly π = 0 is not a root of (3). Let π = ππ½, (π½ =ΜΈ 0) be a root of (12), then π½ satisfies π cos (π½π + Ωπ) = − π, = [(π − π − π π−ππ cos (Ωπ)) + (πΌπ − π π−ππ sin (Ωπ)) ] (12) π sin (π½π + Ωπ) = πΌπ − π½, (16) and it follows that 2 (πΌπ − π½) = π 2 − π2 . (17) Clearly, (17) has no real root if 0 < π < π and has two real roots π½± if π > π, where π½± = πΌπ ± √π 2 − π2 . (18) Consequently by (16), we can state the following results. Lemma 1. (1) If 0 < π < π, then (12) has no purely imaginary root. (2) If π > π, then we have the following. (i) For π < π < √πΌ2 π2 + π2 , define π+π = π + arccos (π/π ) + 2ππ , π½+ + Ω (19) π−π = π − arccos (π/π ) + 2ππ , π½− + Ω (20) where π = 0, 1, 2, . . ., then ππ½± are purely imaginary roots of (12), with π = π±π , respectively. (ii) If π > √πΌ2 π2 + π2 β (π½− +Ω) < 0, then (12) has purely imaginary roots ππ½± when π = π±π , respectively, where π+π is defined by (19) and π−π = π + arccos (π/π ) + 2ππ . − (π½− + Ω) (21) (iii) If π = √πΌ2 π2 + π2 , then ππ½+ is a purely imaginary root of (12) with π = π+π , where π½+ = 2πΌπ and π+π is defined by (19). 4 Abstract and Applied Analysis (3) If π = π, then ππ½+ is a purely imaginary root of (12) with π = π+π , where π½+ = πΌπ and π+π = (2(π + 1)π)/(πΌπ + Ω), (π = 0, 1, 2, . . .). Lemma 2. If π > π, then Re(ππ/ππ)π=π+π > 0, and Re ( < 0, ππ { ) − ππ π=ππ > 0, for π < π < √πΌ2 π2 + π2 , for π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, (22) where π = 0, 1, 2, . . .. Proof. Substituting π(π) into (12) and taking the derivative with the respect to π, we can easily obtain [ 1 π ππ −1 − . ] = −ππ ππ π π (1 + πΩ) (π sin (Ωπ) − cos (Ωπ)) π + πΩ (23) Note that π½+ > 0, and π½− > 0 when π < π < √πΌ2 π2 + π2 , while π½− < 0 ∩ (π½− + Ω) < 0 when π > √πΌ2 π2 + π2 . Thus by (16) and (23), we deduce that Re [ Re ( π½+ − πΌπ ππ −1 = > 0, ] ππ π=π+π π 2 (π½+ + Ω) π½− − πΌπ ππ −1 = ) ππ π=π−π π 2 (π½− + Ω) ={ < 0, π < π < √πΌ2 π2 + π2 , > 0, π > √πΌ2 π2 + π2 β (π½− + Ω) < 0. (24) Since the sign of Re(ππ/ππ) is same as that of Re(ππ/ππ)−1 , this lemma follows immediately. Combining (12) and (13) as follows: π − π − π π−ππ cos (Ωπ) = ±π (πΌπ − π π−ππ sin (Ωπ)) . (25) Then Lemmas 1 and 2 allow us to state and prove the following results. Lemma 3. Assume that π½± are defined by (18) and π±π are shown as in Lemma 1. (1) If 0 < π < π, then (25) has two roots with positive real parts for all π ≥ 0. (2) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) > (√π 2 − π2 /(πΌπ + Ω))π, then there exists an integer π such that 0 < π−0 < π+0 < ⋅ ⋅ ⋅ < π−π−1 < π+π−1 < π−π < π+π < π+π+1 < π−π+1 . In this case, all roots of (25) − + have negative real parts when π ∈ βπ π=0 (ππ ππ ), (25) has a pair of roots with positive real parts when π ∈ + − + βπ π=0 (π(π−1) ππ ) where π(−1) = 0, and (25) has at least a pair of roots with positive real parts when π > π+π . In addition, when π = π+π and π = π−π , (π = 0, 1, 2, . . .), all roots of (25) have negative real parts except the purely imaginary roots ±ππ½+ and ±ππ½− , respectively. (3) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) < (√π 2 − π2 /(πΌπ + Ω))π, then there exists an integer π such that 0 < π+0 < π−0 < ⋅ ⋅ ⋅ < π+π−1 < π−π−1 < π+π < π+π+1 < π−π . In this case, all roots of (25) have negative real parts when π ∈ [0 π+0 ) ∪ βππ=0 (π−π−1 π+π ), (25) has a pair of roots with positive real parts when + − π ∈ βπ−1 π=0 (ππ ππ ) and (25) has at least a pair of roots with positive real parts when π > π+π . In addition, when π = π+π , (π = 0, 1, 2, . . . , π) and π = π−π , (π = 0, 1, 2, . . . , π − 1), all roots of (25) have negative real parts except the purely imaginary roots ±ππ½+ and ±ππ½− , respectively. (4) If π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, then (25) has at least two part roots with positive real parts for all π ≥ 0. Proof. (1) When π = 0, (25) becomes π = π + π ± ππΌπ, it is easy to see that (25) with π = 0 has only two roots with positive real parts. This shows that (25) has no purely imaginary root. Meanwhile, π = 0 is not a root of (25). Thus there is no root appearing on the imaginary axis. Hence (25) has two roots with positive real parts for all π ≥ 0. The proof is complete. In what follows, we only prove the conclusions in case (2). In case (3), the proof is similar. We just omit it. (2) When π < π < √πΌ2 π2 + π2 and arccos(π/π ) > √ ( π 2 − π2 /(πΌπ+Ω))π, it is not difficult to verify that, π+0 > π−0 and |π+(π+1) −π+π | < |π−(π+1) −π−π |,π0 = π−0 is the first value of π ≥ 0 such that (25) has imaginary root. From Lemma 2, we know that ππ > 0, Re ( ) ππ π=π+π (26) ππ < 0, Re ( ) ππ π=π−π we have that all the roots of (25) have negative real parts when − + π ∈ βπ π=0 (ππ ππ ). Therefore, together with Lemmas 1 and 2, means that the lemma is true. In a similar way, for the equation π − π + π π−ππ cos (Ωπ) = ±π (πΌπ + π π−ππ sin (Ωπ)) , (27) which is the combination of (14) and (15), we can show the lemma below. Lemma 4. (1) If 0 < π < π, then (27) has no purely imaginary root for all π ≥ 0. (2) Assume that π > π, then we have the following. (i) If π < π < √πΌ2 π2 + π2 , then (27) has a pair of purely imaginary roots ±ππ½± when π = πΜ±π , (π = 0, 1, 2, . . .), respectively, and arccos (π/π ) + 2ππ , π½+ + Ω (28) 2π − arccos (π/π ) + 2ππ . π½− + Ω (29) πΜ+π = πΜ−π = Abstract and Applied Analysis 5 (ii) If π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, then (27) has a pair of purely imaginary roots ±ππ½± when π = πΜ±π , respectively, where π½± = πΌπ ± √π 2 − π2 , πΜ+π is defined by (28) and πΜ−π = arccos (π/π ) + 2ππ . − (π½− + Ω) (30) (iii) If π = √πΌ2 π2 + π2 , then (27) has a pair of purely imaginary roots ±ππ½+ when π = πΜ+π , (π = 0, 1, 2, . . .), where π½+ = 2πΌπ and πΜ+π is defined by (28). instability or from stability to instability and back to stability several times may occur. In this case, for the convenience of statement, by (19) and (28), we can rearrange π+π , πΜ+π as follows: ππ+ = π + arccos (π/π ) + ππ , π½+ + Ω (32) and by (20) and (29), we can rearrange π−π ,Μπ−π as follows ππ− = π − arccos (π/π ) + ππ , π½− + Ω (33) (3) If π = π, then (27) has a pair of purely imaginary roots ±ππ½+ when π = πΜ+π , where π½+ = πΌπ and πΜ+π = ((2π + 1)π)/(πΌπ + Ω), (π = 0, 1, 2, . . .). where π = 0, 1, 2, . . .. By Lemma 2 and (31), we can easily obtain the following results on the distribution of zeros of the characteristic (11). By a direct computation, we can obtain that if π > π, then Lemma 6. Assume that π½± are defined by (18) and ππ± are defined by (32)-(33), respectively. Re ( Re ( < 0, ππ { ) ππ π=Μπ−π > 0, ππ > 0, ) ππ π=Μπ+π for π < π < √πΌ2 π2 + π2 , for π > √πΌ2 π2 + π2 β (π½− + Ω) < 0. (31) In addition, it is easy to see that (27) has a pair of roots with negative real parts for π > π and has only two roots with positive real parts for 0 < π < π, with π = 0. Consequently, by Lemma 4 and (31), we can show the lemma below. Lemma 5. Assume that π½± are defined by (18) and πΜ±π are shown as in Lemma 4. (1) If 0 < π < π, then (27) has two roots with positive real parts for all π ≥ 0. (2) If π < π < √πΌ2 π2 + π2 , then there exists an integer β such that 0 < πΜ+0 < πΜ−0 < ⋅ ⋅ ⋅ < πΜ+β−1 < πΜ−β−1 < πΜ+β < πΜ+β+1 < πΜ−β . In this case, all roots of (27) have negative real parts when π ∈ [0 πΜ+0 ) ∪ π ∈ ββπ=1 (Μπ−π−1 πΜ+π ), (27) has a pair of roots with positive real parts when π ∈ ββπ=0 (Μπ+π πΜ−π ), and (27) has at least a pair of roots with positive real parts when π > πΜ+β . Moreover, all roots of (27) have negative real parts except the purely imaginary roots ±ππ½+ for π = πΜ+π , (π = 0, 1, 2, . . . , β) and ±ππ½− for π = πΜ−π , (π = 0, 1, 2, . . . , β − 1). (3) If π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, then all roots of (27) has at least two part roots with positive real parts for all π ≥ πΜ+0 , and (27) has a pair of purely imaginary roots ±ππ½± when π = πΜ±π , respectively. Now, we are in a position to study (13). It is easy to see from Lemmas 3 and 5 that (13) has at least one root with positive real part when 0 < π < π or π > √πΌ2 π2 + π2 . However, when π < π < √πΌ2 π2 + π2 , a more interesting phenomenon such as stability switches, the stability of the equilibrium switching from instability to stability and back to (1) If 0 < π < π, then (11) has four roots with positive real parts for all π ≥ 0. (2) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) < ((√π 2 − π2 )/(πΌπ + Ω))π, then there exists an integer + − < πβ−1 < β such that 0 < π0+ < π0− < ⋅ ⋅ ⋅ < πβ−1 + + − πβ < πβ+1 < πβ . Moreover, all roots of (11) has negative − real parts when π ∈ [0 π+0 ) ∪ π ∈ ββπ=1 (π(π−1) ππ+ ), (11) has a pair of roots with positive real parts when + − π ∈ ββ−1 π=0 (ππ ππ ), and (11) has at least a pair of roots with positive real parts when π > πβ+ . In addition, when π = ππ+ , (π = 0, 1, 2, . . . , β) and π = ππ− , (π = 0, 1, 2, . . . , β − 1), all roots of (11) have negative real parts except the purely imaginary roots ±ππ½+ and ±ππ½− , respectively. (3) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) > (√π 2 − π2 /(πΌπ + Ω))π, then there exists an integer π − + < ππ−1 < such that 0 < π0− < π0+ < ⋅ ⋅ ⋅ < ππ−1 − + + − ππ < ππ < ππ+1 < ππ+1 . Moreover, all roots of (11) π + has negative real parts for π ∈ βπ=0 (π(π−1) ππ− ), where + π−1 = 0; and (11) has at least a pair of roots with positive real parts for π > ππ+ . In addition, when π = ππ+ and π = ππ− , (π = 0, 1, 2, . . . , π), all roots of (11) have negative real parts except the purely imaginary roots ±ππ½+ and ±ππ½− , respectively. (4) If π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, then (11) has at least two roots with positive real parts for all π ≥ 0. Moreover, when π = π±π (11) has a pair of purely imaginary roots ±ππ½± , respectively, and when π = πΜ±π (11) has a pair of purely imaginary roots ±ππ½± , respectively. Here π±π and πΜ±π are shown as in Lemmas 1 and 4, respectively. Lemmas 2 and 6, together with (31), allow us to state the following results on the stability of the zero equilibrium of mutually delay-coupled system (3) and Hopf bifurcations. Abstract and Applied Analysis ×10−7 1.5 ×10−7 1.5 1 1 0.5 0.5 π¦1 , π¦2 π₯1 , π₯2 6 0 0 −0.5 −0.5 −1 −1 −1.5 85 90 95 −1.5 85 100 90 95 π‘ 100 π‘ π¦1 π¦2 π₯1 π₯2 (a) (b) 40 50 30 40 20 30 10 20 0 π¦1 , π¦2 π₯1 , π₯2 Figure 1: When π ∈ [0, π0− ], the zero equilibrium is unstable. π = 1/70 and initial conditions: 0.000000001⋅(1, 1, 1, 1, −1, −1, −1, −1), π = 0.001. −10 0 −10 −20 −20 −30 −30 −40 −50 10 −40 2 0 4 6 8 10 −50 2 0 4 6 π‘ 8 10 π‘ π¦1 π¦2 π₯1 π₯2 (a) (b) Figure 2: When π ∈ [π0− π0+ ], the zero equilibrium is asymptotically stable. π = 100 and initial conditions: 30 ⋅ (1, 1, 1, 1, 1, 1, 1, 1), π = 0.019. Theorem 7. Assume that π½± are defined by (18) and ππ± are defined by (32)-(33), respectively. the zero equilibrium of system (3) when π = ππ± , (π = 0, 1, 2, . . .). (1) If 0 < π < π, then the zero equilibrium of system (3) is unstable for all π ≥ 0. (3) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) < (√π 2 − π2 /(πΌπ + Ω))π, then the zero equilibrium of system (3) is stable for π ∈ [0 π0+ ) ∪ π ∈ − + − ππ+ ), and unstable for π ∈ ββ−1 ββπ=1 (π(π−1) π=0 (ππ ππ ) ∪ (πβ+ + ∞). In this case, system (3) undergoes a Hopf bifurcation at the zero equilibrium of system (3) when π = ππ± , (π = 0, 1, 2, . . .). (2) If π < π < √πΌ2 π2 + π2 and arccos(π/π ) > (√π 2 − π2 /(πΌπ + Ω))π, then the zero equilibrium of π system (3) is stable for π ∈ βπ=0 (ππ− ππ+ ), and unstable π + + ππ− ) ∪ (ππ+ + ∞), where π−1 = 0. for π ∈ βπ=0 (π(π−1) In this case, system (3) undergoes a Hopf bifurcation at Abstract and Applied Analysis 7 8 6 6 4 4 2 π¦1 , π¦2 π₯1 , π₯2 2 0 0 −2 −4 −2 −6 −4 −8 −6 −10 90 85 95 100 −12 85 90 95 π‘ 100 π‘ π₯1 π₯2 π¦1 π¦2 (a) (b) Figure 3: When π ∈ [π0+ π1− ], the zero equilibrium is unstable. π = 0.01 and initial conditions: 0.0008 ⋅ (1, 1, 1, 1, 1, 1, 1, 1), π = 0.029. (4) If π > √πΌ2 π2 + π2 β (π½− + Ω) < 0, then the zero equilibriums is unstable for all π ≥ 0, and system (3) undergoes a Hopf bifurcation at the zero equilibrium when π = π±π and π = πΜ±π , (π = 0, 1, 2, . . .). Here π±π , πΜ±π are shown as Lemmas 1 and 4, respectively. Fix (Σ, πππ ) = {π₯ ∈ πππ , (π, π) π₯ = π₯, ∀ (π, π) ∈ Σ} , 3. Existence of Multiple Periodic Solutions In the following, we consider the symmetric properties of (3). Using the theories of functional differential equation, we know that the system (3) is π2 -equivariant with (ππ)π = ππ+1 (mod2) , (34) for any ππ in π 2 . It is much interesting to consider the spatiotemporal patterns of bifurcating periodic solutions. In the following, we only consider the periodic properties of π₯1 (π‘), π¦1 (π‘), π₯2 (π‘), π¦2 (π‘). For this purpose, we give the concepts of some spatiotemporal symmetric periodic solutions. Assume that the state (π’1 (π‘), V1 (π‘), π’2 (π‘), V2 (π‘)) can possess two different types of symmetry: spatial and temporal. The oscillators (π’1 (π‘), V1 (π‘)) and (π’2 (π‘), V2 (π‘)) are synchronized if the state taking the form (π’ (π‘) , V (π‘) , π’ (π‘) , V (π‘)) , (35) π π ) , V (π‘ + )) . 2 2 (36) Now, we explore the possible (spatial) symmetry of the system (3). Consider the action of π2 × π1 on ([−π, 0], π 4 ) with (π, π) π₯ (π‘) = ππ₯ (π‘ + π) , (π, π) ∈ π2 × π1 , (37) (38) is a subspace. Theorem 8. Assume that π½± satisfy (18), then near π = π±π (π = πΜ±π , resp.) for each π ∈ π0 , a branch of synchronous (antisynchronous, resp.) periodic solutions of period π near π0 = π½± /2π bifurcates from the zero solution of the system (3). Proof. Let π½± satisfy (18). From the theorem of [11], we know the corresponding eigenvectors of Δ− (π) at π = π±π can be chosen as π π1 (π) = (V1 (π)π , V1 (π)π , 1, 0, 0, 0) , π cos Ωπ± π sin Ωπ±π π −πΌπ π where V1 (π) satisfies [( πΌπ π ) − ( −π sin Ωπ± π for all times π‘. On the other hand, oscillator (π’1 (π‘), V1 (π‘)), is half a period out of phase with (anti-synchronous) oscillator (π’2 (π‘), V2 (π‘)) means the state taking the form (π’ (π‘) , V (π‘) , π’ (π‘ + where π1 is the temporal. Let π = 2π/π½+ or π = 2π/π½− , and denote ππ the Banach space of all continuous π-periodic function π₯(π‘). Denoting πππ the subspace of ππ consisting of all π-periodic solution of system (3) with π = π±π± or π = πΜ±π± , then for each subgroup Σ ⊂ π2 × π1 , 1 π cos Ωπ±π (39) )]V1 (π) = ππ½± V1 (π). The isotropic subgroup of π2 × π is π§2 (π), the center space associated to eigenvalues ±ππ½± is spanned by π1 (π) and π1 (π), and the bifurcated periodic solutions are synchronous, taking the form (π’ (π‘) , V (π‘) , π’ (π‘) , V (π‘)) . (40) Similarly, if π½± satisfy (18), then the corresponding eigenvectors of Δ+ (π) at π = πΜ±π can be chosen as π π1 (π) = (V1 (π)π , V1 (π)π , 1, 0, 0, 0) , (41) Abstract and Applied Analysis 4 4 3 3 2 2 1 1 π¦1 , π¦2 π₯1 , π₯2 8 0 0 −1 −1 −2 −2 −3 −3 −4 5 0 10 π‘ 15 20 −4 5 0 10 π‘ 15 20 π¦1 π¦2 π₯1 π₯2 (a) (b) Figure 4: when π ∈ [π1− π1+ ], the zero equilibrium is asymptotically stable. π = 1 and initial conditions: 1.1 ⋅ (1, 1, 1, 1, 1, 1, 1, 1), π = 0.0299. π cos ΩΜπ± π sin ΩΜπ±π π −πΌπ π and V2 (π) satisfies [( πΌπ π ) + ( −π sin ΩΜπ± π π cos ΩΜπ±π ) ]V1 (π) = ππ½± V2 (π). π2 × π1 has another isotropic subgroup π§2 (π, π), the center space associated to eigenvalues ±ππ½± is spanned by π2 (π), π2 (π), and the bifurcated periodic solutions are anti-phased, that is, taking the form (π’ (π‘) , V (π‘) , π’ (π‘ + π π ) , V (π‘ + )) , 2 2 (42) where π is a period. 4. Numerical Simulations As we all know that when Ω1 =ΜΈ Ω2 , model (1) has been studied by Erzgraber et al. According to their results, when changing the detuning between the lasers they observed that the coupled laser system undergoes mode jumps to other stable compound laser mode within the locking region. In this paper, we consider the properties of stability and bifurcation in a mutually delay-coupled semiconductor lasers system. By analyzing the associate characteristic equation, we can determine the stability and bifurcation of the coupled system (3) with a single delay in four cases of Theorem 7. Specifically, we have shown case (2) in Theorem 7 by using some numerical simulations; then the Hopf bifurcation occurs as π. Let π = 25, π = 20, Ω = 275, and πΌ = 2, through (32) and (33) we have π0− = π − arccos (4/5) = 0.0188 π½− + Ω < π0+ = π + arccos (4/5) = 0.0210 π½+ + Ω < π1− = < π1+ 2π − arccos (4/5) = 0.0293 π½− + Ω 4 2π + arccos ( ) 5 = 0.0305, . . . . = π½+ + Ω (43) Theorem 7 shows that the zero equilibrium of system (3) is unstable for π ∈ [0 π0− ] ∪ [π0+ π1− ] ∪ [π1+ ∞] and asymptotically stable for π ∈ [π0− , π0+ ] ∪ [π1− , π1+ ]. This means that as the average delay π varies, the zero equilibrium of system (3) switches two times from instability to stability, then to instability as shown in Figures 1, 2, 3, and 4, and finally becomes unstable. 5. Conclusion In our study, we give a semiconductor lasers model with coupled delay to describe the exchanges between the two optical fields πΈ1 , πΈ2 of the lasers. By means of the general symmetric local Hopf bifurcation theorem, we not only investigated the effect of delay of signal transmission on the pattern formation of model (3) but also obtained some important results about the spontaneous bifurcation of multiple branches of periodic solutions and their spatiotemporal patterns. From a practical viewpoint, these means that the time delay could cause a stable equilibrium to become unstable and cause the properties in a coupled semiconductor lasers system to fluctuate: if π < π0 , the output power of the lasers reach equilibrium. If π increases and crosses the value π0 , then this equilibrium becomes unstable and the output power has a change of periodic and small amplitude. Abstract and Applied Analysis Acknowledgment This research was supported by the National Natural Science Foundations of China. References [1] A. P. S. Dias and J. S. W. Lamb, “Local bifurcation in symmetric coupled cell networks: linear theory,” Physica D, vol. 223, no. 1, pp. 93–108, 2006. [2] D. Fan and J. Wei, “Hopf bifurcation analysis in a tri-neuron network with time delay,” Nonlinear Analysis: Real World Applications, vol. 9, no. 1, pp. 9–25, 2008. [3] S. Guo and L. Huang, “Hopf bifurcating periodic orbits in a ring of neurons with delays,” Physica D, vol. 183, no. 1-2, pp. 19–44, 2003. [4] C. Zhang, B. Zheng, and L. Wang, “Multiple Hopf bifurcations of three coupled van der Pol oscillators with delay,” Applied Mathematics and Computation, vol. 217, no. 17, pp. 7155–7166, 2011. [5] K. Miyakawa and K. Yamada, “Entrainment in coupled saltwater oscillators,” Physica D, vol. 127, no. 3-4, pp. 177–186, 1999. [6] H. ErzgraΜber, D. Lenstra, B. Krauskopf et al., “Mutually delaycoupled semiconductor lasers: mode bifurcation scenarios,” Optics Communications, vol. 255, no. 4–6, pp. 286–296, 2005. [7] L. Illing, G. Hoth, L. Shareshian, and C. May, “Scaling behavior of oscillations arising in delay-coupled optoelectronic oscillators,” Physical Review E, vol. 83, no. 2, Article ID 026107, 2011. [8] F. Drubi, S. IbaΜnΜez, and J. A. RodrΔ±Μguez, “Coupling leads to chaos,” Journal of Differential Equations, vol. 239, no. 2, pp. 371– 385, 2007. [9] J. Wu, “Symmetric functional-differential equations and neural networks with memory,” Transactions of the American Mathematical Society, vol. 350, no. 12, pp. 4799–4838, 1998. [10] M. Golubitsky, I. Stewart, and D. G. Schaeffer, Singularities and Groups in Bifurcation Theory. Vol. II, vol. 69 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1988. [11] C. Zhang, Y. Zhang, and B. Zheng, “A model in a coupled system of simple neural oscillators with delays,” Journal of Computational and Applied Mathematics, vol. 229, no. 1, pp. 264–273, 2009. 9 Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014