# USING COUPLED OSCILLATORS TO MODEL THE SINO-ATRIAL NODE IN THE HEART

Save this PDF as:

Size: px
Start display at page:

Download "USING COUPLED OSCILLATORS TO MODEL THE SINO-ATRIAL NODE IN THE HEART"

## Transcription

1 USING COUPLED OSCILLATORS TO MODEL THE SINO-ATRIAL NODE IN THE HEART A Thesis Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Master of Science by Marqui Johnson August 2005

3 TABLE OF CONTENTS 1 The Five Cell Model Introduction (Keener and Sneyd p.389) Model Assumptions Numerical Solutions Numerical Results Perturbation Method Scaling Equations with Stability Reduction of the Hypersurface to Canonical Form Projection onto Ω 1 Ω 2 and Ω 1 Ω 3 -planes to Compare with Numerical Solutions Conclusions The Three Cell Model Fitzhugh-Nagumo Equations Analyses Exact Analysis Approximate Analysis Exact Analysis vs. Approximate Analysis Period of Oscillation Lindstedt Method Fast-Slow Analysis Numerical Simulation Bibliography 39 3

4 LIST OF FIGURES 1.1 Location of the SA node. Image courtesy of biology.about.com/library/organs/heart/blsinoatrialnode.htm The model of the clump where each cell is coupled to the cell adjacent to it Stability plot for Ω 1 vs Ω 2. Represents two adjacent cells Stability plot for Ω 1 vs Ω 3. Represents two diagonal cells Stability plot for Ω 1 vs Ω 3 with boundary obtained from perturbation method Stability plot for Ω 1 vs Ω 2 with boundary obtained from perturbation method Three cell model Stability diagram Results of exact local analysis of eqs. (1), (2) displayed in α plane. In region I the origin is an unstable spiral or node, while in region II the origin is stable. Systems in region I contain a stable limit cycle which is created via a supercritical Hopf as the line α = is crossed. In region III the origin is a saddle Slow manifold Slow manifold with vector fields α>0 and α< Graph of period vs. α resulting from Lindstedt analysis.( = 0.01) For α<0there is a limit cycle. A to B and D to C are the segments of slow flow. B to D and C to A are segments of fast flow on the limit cycle Graph of period vs. α resulting from fast-slow analysis.( = 0.01) Graph of period vs. α resulting from fast-slow analysis and Lindstedt s method.( =0.01) Graph of period vs. α Runge-Kutta and Fast-Slow methods compared.( = 0.01) Graph of period vs. α Runge-Kutta, Fast-Slow, and Lindstedt methods compared.( =0.01) Small limit cycle produced at α = ) Large limit cycle produced at α = )

5 ABSTRACT The Sinoatrial (SA) node (i.e. pacemaker) is the region of the heart that initiates a regular heartbeat. Studies have shown that the SA node is composed of selfoscillatory cells that create an electrical impulse. Although individual oscillatory cells may have different frequencies, as a whole the SA node normally releases a periodic collective impulse which travels to other parts of the heart. In this thesis we construct a simple model of the pacemaker consisting of five phase-only oscillators. Then through the use of stability analysis we determine what conditions are necessary for a stable system. Further, we find an analytic expression for the boundary of a region in a parameter space which contains the stable solutions. Lastly, we devise another model of the SA node which consists of three Fitzhugh- Nagumo oscillators. We offer a preliminary study of this model in which we analyze the dynamics of a Fitzhugh-Nagumo oscillator using three different methods. The methods are: 1)Poincaré-Lindstedt, 2)Fast-Slow approximation, and 3)Numerical Simulation. We compare the results of each method graphically and determine which is best for implementing our model.

6 Chapter 1 The Five Cell Model 1.1 Introduction (Keener and Sneyd p.389) The Sinoatrial Node (SA Node) is a clump of self-oscillatory cells located on the right atrium near the superior vena cava. It is the SA Node which initiates the stimulus for pacemaking activity. These cells fire regularly, initiating electronic potentials. The pacemaker impulse from the SA Node spreads through both atria as a wave of depolarization. These regular impulses cause the atria to contract. Once stimulated the Atrioventricular Node (AV Node) transmits the electrical stimulus down the Right and Left Bundle Branches to stimulate both ventricles. The impulse quickly spreads to both ventricles to initiate their simultaneous depolarization. The result is a normal rhythm of the heart often referred to as regular. 1.2 Model Normally, SA nodal cells are not identical or synchronous in their firing (i.e., firing all at once), but they are phase locked, meaning that during each cycle, each cell fires once and there is a regular pattern to the firing of the cells. Under what conditions does this regular pattern of firing become unstable? Assumptions 1. We suppose that the SA node is composed of self-oscillatory cells coupled together in a network. 2. We assume that the cells each contribute equally to the normal performance. 2

7 3 Figure 1.1: Location of the SA node. Image courtesy of biology.about.com/library/organs/heart/blsinoatrialnode.htm 3. The cells fire rhythmically which we may interpret as periodic. 4. Because the cells are self-oscillatory we assume that each cell has its own frequency that is not necessarily equal to another cell s frequency. First, we begin by discussing the model of a single oscillator. From our assumption that cells fire periodically, we will define θ as the phase of a cell. Then θ = ω, the oscillator s frequency. We can model the motion of θ around a closed circular path since we know after a certain period the phase repeats its previous cycle. The clump will be defined as a collection of five cells connected via nearest neighbor coupling meaning that each cell is influenced by the cell adjacent to it (see Fig.2). This coupling is represented mathematically as θ 0 = ω 0 + α[sin(θ 1 θ 0 )

8 4 Figure 1.2: The model of the clump where each cell is coupled to the cell adjacent to it. + sin(θ 2 θ 0 ) + sin(θ 3 θ 0 ) + sin(θ 4 θ 0 )] (1.1) θ 1 = ω 1 + α[sin(θ 4 θ 1 ) + sin(θ 2 θ 1 ) + sin(θ 0 θ 1 )] (1.2) θ 2 = ω 2 + α[sin(θ 1 θ 2 ) + sin(θ 3 θ 2 ) + sin(θ 0 θ 2 )] (1.3) θ 3 = ω 3 + α[sin(θ 2 θ 3 ) + sin(θ 4 θ 3 ) + sin(θ 0 θ 3 )] (1.4) θ 4 = ω 4 + α[sin(θ 3 θ 4 ) + sin(θ 1 θ 4 ) + sin(θ 0 θ 4 )] (1.5) We are able to use the same coupling coefficient, α, in each equation because of Assumption 2. We chose the sine function for coupling because 1.)the phases are periodic, 2.) any periodic function can be represented in a Fourier Series of which we are taking the first term, and 3.) for our model we require that if the θ i s are equal, the function of the differences should equal zero. For mathematical simplicity we define Φ i = θ i θ 0, whereupon also Φ i = θ i θ 0 for i = 1, 2, 3, 4. Eqs.(2.11)-(2.5) become:

9 5 Φ 1 = ω 1 ω 0 + α[sin(φ 2 Φ 1 ) + sin(φ 4 Φ 1 ) 2 sin(φ 1 ) sin(φ 2 ) sin(φ 3 ) sin(φ 4 )] (1.6) Φ 2 = ω 2 ω 0 + α[sin(φ 3 Φ 2 ) + sin(φ 1 Φ 2 ) sin(φ 1 ) 2 sin(φ 2 ) sin(φ 3 ) sin(φ 4 )] (1.7) Φ 3 = ω 3 ω 0 + α[sin(φ 4 Φ 3 ) + sin(φ 2 Φ 3 ) sin(φ 1 ) sin(φ 2 ) 2 sin(φ 3 ) sin(φ 4 )] (1.8) Φ 4 = ω 4 ω 0 + α[sin(φ 1 Φ 4 ) + sin(φ 3 Φ 4 ) sin(φ 1 ) sin(φ 2 ) sin(φ 3 ) 2 sin(φ 4 )] (1.9) The previous substitution allows us to reduce the number of equations from five to four. We are interested in conditions such that the cells are all phase-locked. Mathematically, this means that the phase differences are constant. If Φ i = c i, a constant, then Φ i = 0. Solving for Φ i when Φ i equals zero will give us the equilibria for which the cells are phase-locked. With Φ i = 0 and substituting Ω i = ω 0 ω i,we α get the following equations, Ω 1 = sin(φ 2 Φ 1 ) + sin(φ 4 Φ 1 ) 2 sin(φ 1 ) sin(φ 2 ) sin(φ 3 ) sin(φ 4 )) (1.10) Ω 2 = sin(φ 3 Φ 2 ) + sin(φ 1 Φ 2 ) sin(φ 1 ) 2 sin(φ 2 ) sin(φ 3 ) sin(φ 4 )) (1.11) Ω 3 = sin(φ 4 Φ 3 ) + sin(φ 2 Φ 3 ) sin(φ 1 ) sin(φ 2 ) 2 sin(φ 3 ) sin(φ 4 )) (1.12) Ω 4 = sin(φ 1 Φ 4 ) + sin(φ 3 Φ 4 )

10 6 sin(φ 1 ) sin(φ 2 ) sin(φ 3 ) 2 sin(φ 4 )) (1.13) 1.3 Numerical Solutions To find the phase-locked solutions we must determine the equilibria of Eqs.(1.10)- (1.13). Once the equilibria have been found the next step is to determine their stability. We can use Newton-Raphson or the Bisection method to find numerical solutions for the values of the equilibria given the values of the frequency differences,ω i. Instead we choose to use an inverse approach. A program was written that picked random numbers for each Φ i allowing for values to be computed for each frequency difference, Ω i. Simultaneously, the stability of each equilibrium point was determined. A stability matrix was created by linearizing Eqs.(2.6)-(1.9) about an equilibrium point: A 11 A 12 A 13 A 14 A 21 A 22 A 23 A 24 A 31 A 32 A 33 A 34 A 41 A 42 A 43 A 44 (1.14) where A 11 = cos(φ 2 Φ 1 ) cos(φ 4 Φ 1 ) 2 cos(φ 1 ) (1.15) A 12 = cos(φ 2 Φ 1 ) cos(φ 2 ) (1.16) A 13 = cos(φ 3 ) (1.17) A 14 = cos(φ 4 Φ 1 ) cos(φ 4 ) (1.18) A 21 = cos(φ 1 Φ 2 ) cos(φ 1 ) (1.19)

11 7 A 22 = cos(φ 3 Φ 2 ) cos(φ 1 Φ 2 ) 2 cos(φ 2 ) (1.20) A 23 = cos(φ 3 Φ 2 ) cos(φ 3 ) (1.21) A 24 = cos(φ 4 ) (1.22) A 31 = cos(φ 1 ) (1.23) A 32 = cos(φ 2 Φ 3 ) cos(φ 2 ) (1.24) A 33 = cos(φ 4 Φ 3 ) cos(φ 2 Φ 3 ) 2 cos(φ 3 ) (1.25) A 34 = cos(φ 4 Φ 3 ) cos(φ 4 ) (1.26) A 41 = cos(φ 1 Φ 4 ) cos(φ 1 ) (1.27) A 42 = cos(φ 2 ) (1.28) A 43 = cos(φ 3 Φ 4 ) cos(φ 3 ) (1.29) A 44 = cos(φ 1 Φ 4 ) cos(φ 3 Φ 4 ) 2 cos(φ 4 ) (1.30) and where the coefficients A ij are evaluated at a given equilibrium point. If the real parts of the eigenvalues of this matrix are negative, the equilibrium is stable. If there is at least one eigenvalue with a positive real part then the equilibrium is unstable. All of the stable Φ i were stored and their respective Ω i were plotted two at a time giving us six possible different plots. Unstable points were not plotted Numerical Results After viewing all the possible combinations of the Ω i plots we noticed there were essentially only two different plots - one representing adjacent cells and one for the non-adjacent cells (see Figs. 3 and 4). From Figs. 3 and 4 it is apparent that in order for the pacemaker to operate in a stable manner, the frequency differences, Ω i, must be sufficiently small. Although the numerical results consist of discrete

12 8 points it is apparent from Figs. 3 and 4 that there is a smooth boundary between stable and unstable points. In what follows we obtain an approximation for this boundary. Figure 1.3: Stability plot for Ω 1 vs Ω 2. Represents two adjacent cells. 1.4 Perturbation Method Scaling Equations with The idea of the perturbation method is to obtain an approximate analytic solution to compare with the numerical solution described above. It is based on a known solution, namely that when all ω i s are equal, i.e. Ω i = 0, an exact solution is

13 9 Figure 1.4: Stability plot for Ω 1 vs Ω 3. Represents two diagonal cells. easily shown to be Φ i = 0. This solution is stable as can be seen from expression (1.14) which becomes for Φ i = (1.31) which has eigenvalues, -3,-3,-5,-5. The perturbation method is based on perturbing off of this special solution. We proceed by scaling Ω i and Φ i with small : Ω i = ˆΩ i and Φ i = ˆΦ i. We substitute our new Ω i and Φ i into equations (1.10)-(1.13):

14 10 ˆΩ 1 = sin(ˆφ 2 ˆΦ 1 ) + sin(ˆφ 4 ˆΦ 1 ) 2 sin(ˆφ 1 ) sin(ˆφ 2 ) sin(ˆφ 3 ) sin(ˆφ 4 )) (1.32) ˆΩ 2 = sin(ˆφ 3 ˆΦ 2 ) + sin(ˆφ 1 ˆΦ 2 ) sin(ˆφ 1 ) 2 sin(ˆφ 2 ) sin(ˆφ 3 ) sin(ˆφ 4 )) (1.33) ˆΩ 3 = sin(ˆφ 4 ˆΦ 3 ) + sin(ˆφ 2 ˆΦ 3 ) sin(ˆφ 1 ) sin(ˆφ 2 ) 2 sin(ˆφ 3 ) sin(ˆφ 4 )) (1.34) ˆΩ 4 = sin(ˆφ 1 ˆΦ 4 ) + sin(ˆφ 3 ˆΦ 4 ) sin(ˆφ 1 ) sin(ˆφ 2 ) sin(ˆφ 3 ) 2 sin(ˆφ 4 )) (1.35) We Taylor expand Eqs.(1.32)-(1.35) for small and neglect terms of O( 2 ). The resulting equations may be solved for the ˆΦ i, giving ˆΦ 1 = 4ˆΩ 1 ˆΩ 3 15 ˆΦ 2 = 4ˆΩ 2 ˆΩ 4 15 ˆΦ 3 = ˆΩ 1 4ˆΩ 3 15 ˆΦ 4 = ˆΩ 2 4ˆΩ 4 15 (1.36) (1.37) (1.38) (1.39) Stability Given an equilibrium point, the question of its stability is this: If we deviate from it, will we return to the equilibrium or continue to move away? If we return to the point this means that the equilibrium is stable, whereas if we move away, it is unstable. In our case, the sinoatrial node may incur small deviations from its regular

15 11 pattern of beating but will usually return to a steady beat. On some occasions, the deviation may be too great, causing the pacemaker to become irregular. We now have ˆΦ =ˆΦ i + u i, where ˆΦ i is our known solution, and where u i is a small deviation. We substitute Φ i = ˆΦ i = (ˆΦ i + u i ) into equations (2.6) - (1.9) and linearize them to get a stability matrix. The result is as follows u 1 u 2 u 3 u 4 = A 11 A 12 A 13 A 14 A 21 A 22 A 23 A 24 A 31 A 32 A 33 A 34 A 41 A 42 A 43 A 44 u 1 u 2 u 3 u 4 (1.40) where A 11 = cos(ˆφ 2 ˆΦ 1) cos(ˆφ 4 ˆΦ 1) 2 cos(ˆφ 1) (1.41) A 12 = cos(ˆφ 2 ˆΦ 1 ) cos(ˆφ 2 ) (1.42) A 13 = cos(ˆφ 3) (1.43) A 14 = cos(ˆφ 4 ˆΦ 1) cos(ˆφ 4) (1.44) A 21 = cos(ˆφ 1 ˆΦ 2) cos(ˆφ 1) (1.45) A 22 = cos(ˆφ 3 ˆΦ 2) cos(ˆφ 1 ˆΦ 2) 2 cos(ˆφ 2) (1.46) A 23 = cos(ˆφ 3 ˆΦ 2 ) cos(ˆφ 3 ) (1.47) A 24 = cos(ˆφ 4) (1.48) A 31 = cos(ˆφ 1) (1.49) A 32 = cos(ˆφ 2 ˆΦ 3) cos(ˆφ 2) (1.50) A 33 = cos(ˆφ 4 ˆΦ 3 ) cos(ˆφ 2 ˆΦ 3 ) 2 cos(ˆφ 3 ) (1.51) A 34 = cos(ˆφ 4 ˆΦ 3 ) cos(ˆφ 4 ) (1.52)

16 12 A 41 = cos(ˆφ 1 ˆΦ 4) cos(ˆφ 1) (1.53) A 42 = cos(ˆφ 2) (1.54) A 43 = cos(ˆφ 3 ˆΦ 4 ) cos(ˆφ 3 ) (1.55) A 44 = cos(ˆφ 1 ˆΦ 4) cos(ˆφ 3 ˆΦ 4) 2 cos(ˆφ 4) (1.56) To determine the stability of the system, we need to determine the eigenvalues of the matrix in Eqs.(1.40). If they have negative real parts we have a stable equilibrium point. If there exists one eigenvalue with a positive real part it is unstable. Numerical simulation has shown that the eigenvalues of the stability matrix are real. For the transition between stable and unstable there will be an eigenvalue equal to zero. In order to determine the eigenvalues of any matrix, the formula det (I n λ A n ) is used. For a zero eigenvalue, λ = 0, we have det A = 0. After setting the determinant equal to zero we expanded it in a Taylor series in about zero. This yielded an expression with terms of order 2 and higher. Using only the 2 terms and setting them equal to zero, then dividing by 2, the result is the following quadratic polynomial in Ω 1, Ω 2, Ω 3, Ω 4 : f(ω 1, Ω 2, Ω 3, Ω 4 ) = 391(Ω 2 4 +Ω 2 3 +Ω 2 2 +Ω 2 1)+Ω 2 Ω 1 ) 144(Ω 4 Ω 3 +Ω 4 Ω 1 +Ω 3 Ω 2 368(Ω 4 Ω 2 +Ω 3 Ω 1 ) = 6750 (1.57) Reduction of the Hypersurface to Canonical Form In matrix form,f(ω 1, Ω 2, Ω 3, Ω 4 )=Ω T AΩ=

17 13 ( Ω 1 Ω 2 Ω 3 ) Ω Ω 1 Ω 2 Ω 3 Ω 4 (1.58) In order to diagonalize the matrix A, we set Ω = Rµ: Ω 1 Ω 2 Ω 3 Ω 4 = 1/2 1/2 0 1/ 2 1/2 1/2 1/ 2 0 1/2 1/2 0 1/ 2 1/2 1/2 1/ 2 0 µ 1 µ 2 µ 3 µ 4 (1.59) where the columns of R are the orthonormal eigenvectors of A. Substituting (1.59) into (1.58) we get where f =Ω T AΩ=µ T R T ARµ = µ T Dµ (1.60) D = (1.61) Using Eqs.(1.60), f = 6750 may be written in the form µ 2 1 (4.3853) + µ (10.351) + µ (3.4262) + µ (3.4262) = 1 (1.62) 2 which is a four dimensional ellipsoid.

18 Projection onto Ω 1 Ω 2 and Ω 1 Ω 3 -planes to Compare with Numerical Solutions How can we compare our perturbation four dimensional solution with the two numerical plots Ω 1 vs. Ω 2 and Ω 1 vs. Ω 3, Figs. 2 and 3? First, we consider a simpler example. When we project a three dimensional surface onto a plane we recognize that the boundary of the resulting projection corresponds to the points where the normal vector to the surface is perpendicular to the normal vector to the plane. We extend this idea to four dimensions. Since our goal is to find the boundary equations of our numerical plots, we need to find the normal vector of f(ω 1, Ω 2, Ω 3, Ω 4 ). Say n is a vector normal to our ellipsoid. Then n = f (1.63) To project down onto the Ω 1 Ω 2 plane, we want those points on the ellipsoid (1.62) for which f is perpendicular to ê Ω3 and ê Ω4, since ê Ω3 and ê Ω4 are normal to the Ω 1 Ω 2 plane. So we have f ê Ωi =0,i=3, 4. But giving f Ω i From Eqs.(1.57) f = f ê Ω1 + f ê Ω2 + f ê Ω3 + f ê Ω4 (1.64) Ω 1 Ω 2 Ω 3 Ω 4 =0,i=3, 4 since 1 i = j ê Ωi ê Ωj = 0 i j f Ω 3 = 144(Ω 4 +Ω 2 ) + 782Ω 3 368Ω 1 (1.65)

19 Setting f Ω 3 f Ω 4 = 782Ω 4 144(Ω 3 +Ω 1 ) 368Ω 2 (1.66) = 0 and f Ω 4 15 = 0, we can solve for Ω 3, Ω 4 in terms of Ω 1, Ω 2. Next we substitute these last expressions into Eqs.(1.57), giving an expression of the form AΩ 2 1 BΩ 1Ω 2 + AΩ 2 2 =1 This last equation is an ellipse and may be plotted as in Fig. 5. We follow the same process for projection onto the Ω 1 Ω 3 plane. See Fig. 6. Figure 1.5: Stability plot for Ω 1 vs Ω 3 with boundary obtained from perturbation method.

20 16 Figure 1.6: Stability plot for Ω 1 vs Ω 2 with boundary obtained from perturbation method. 1.5 Conclusions In this investigation we used phase only oscillators to model our schematic Fig. (2.12) of the SA node. Our goal was to determine what conditions would allow our system to operate in a stable phase-locked mode. By design all the cells were connected via nearest neighbor coupling and are represented mathematically in Eqs.( ). For simplicity we defined Φ i = θ i θ 0 which allowed us to reduce the number of equations from five to four, Eqs.( ) and ( ) respectively. We learned from Keener and Sneyd that under normal in vivo conditions, the cells are phase-locked. Mathematically, this means that the phase differences,φ i, are constant thus Φ i = 0. Using this fact and substituting Ω i = ω i ω 0, we arrived at Eqs.( ). It is interesting to note here that α the stability of the system depended on the ratio of the difference of the cells

21 17 uncoupled frequency differences, to the coupling strength. To analyze Eqs.(1.10)- (1.13) numerically, we employed an inverse approach. Using Matlab, random values for Φ i were chosen allowing for values of Ω i to be computed and their stabilities determined. The resulting stability plots are represented in Figs.(2.3)and(2.4). To establish analytic approximations for the boundaries in Figs.(2.3)and(2.4) we used a perturbation method. We rescaled (1.10)-(1.13) by letting Ω i = ˆΩ i to get Eqs.(1.32)-(1.35). Then we defined a function f in terms of the Ω i s,(1.57), as a result of the stability analysis. After reducing f to its canonical form, Eqs.(1.62), we found that it was a four dimensional ellipsoid. In order to compare this result to the numerical results in Figs.(2.3)and(2.4), we projected our four dimensional ellipsoid onto a plane. We were then able to produce quadratic equations in terms of Ω 1, Ω 2 and Ω 1, Ω 3 that yielded the results in Figs.(2.5)and(2.6). In our use of Taylor series expansion to derive f, we limited our approximation to terms of order 2. Consequently, our derived curves are close to the shape and size of the numerical results but not exact. Closer approximations can be obtained if more higher order terms are considered. Finally, we conclude that if the Ω i s are within the boundaries represented in Figs.(2.5)and(2.6) the pacemaker remains in a stable phase-locked state and a regular heartbeat is sustained.

22 Chapter 2 The Three Cell Model 2.1 Fitzhugh-Nagumo Equations To further our analysis of the SA node, we would like to make a more representative model of the pacemaker. The literature reveals that not all the cells in the pacemaker have the same frequency as our previous model assumed. In fact, the periphery cells of the pacemaker have a higher frequency than the innermost cells (D. Cai 220). Also, the atrial tissue that surrounds the pacemaker is composed of cells that are not self-oscillatory. We will incorporate these findings into our new model using the Fitzhugh-Nagumo (FN) equations. v = v(v α)(v 1) w, 0 < 1 (2.1) ẇ = v w (2.2) In this model there is a range of values for the parameter α that gives oscillations. We propose a three cell model (Fig. 1) in which cell 1 and cell 2 are self-oscillatory to represent pacemaker cells, and cell 3 is not self-oscillatory to represent atrial tissue. Cell 2 is a periphery cell and will be modeled with a higher frequency than cell 1. We will proceed by analyzing the FN equations to find for which values of α an oscillation exists, and how its frequency varies with α. 18

23 19 Figure 2.1: Three cell model 2.2 Analyses To examine the FN equations we employ two types of analysis: exact and approximate. The exact analysis, which is local, valid in the neighborhood of an equilibrium point, will be used to classify the equilibria and to determine their stability and bifurcation. In addition, we will use an approximate analysis to study the relaxation oscillations which occur in eqs. (1) and (2). The approximate analysis consists of a fast-slow approximation which is based on the structure of eqs. (1) and (2) for small. We will study the frequencies of oscillation in three ways: 1)Poincaré-Lindstedt, 2.)Fast-slow analysis, and 3.)Numerical simulation. We will use a Poincaré-Lindstedt perturbation analysis to find the frequencies of oscillation as a function of α. Next, this will be compared to oscillation frequencies obtained by using the fast-slow manifold approach. Finally, our results will be compared with those of numerical integration.

24 Exact Analysis We begin our exact analysis by setting the right-hand side of equations (2.11) and (2.12) equal to zero in order to find equilibria: v = v(v α)(v 1) w = 0 (2.3) w = v(v α)(v 1) ẇ = v w = 0 (2.4) v = w Note that the origin, v = w = 0, is an equilibrium point for all α. Additional equilibria will correspond to real roots of (v α)(v 1)+1=0 v = (α+1)± (α 3)(α+1) 2 (2.5) (2.12). Thus, we find that there exist two additional equilibria for α< 1 and α>3. Next, we classify our equilibria using the Jacobian of equations (2.11) and J = v v ẇ v v w ẇ w = At the origin, (v,w) =(0, 0) 1 (3v2 2(1 + α)v + α) 1 (2.6) 1 1 α 1 J (0,0) = (2.7) 1 1

25 21 The nature of the equilibrium point depends on the trace and determinant of J, see Fig. 2. Figure 2.2: Stability diagram From (2.7), the trace, and determinant, tr(j) = α 1 det(j) = 1 (1 + α) For a stable equilibrium point, tr(j) < 0 and det(j) > 0. For tr(j) < 0 α>. Fordet(J) > 0 α> 1. So for α> the origin is a stable spiral or node (region II in Fig.3). Using Fig.2 we also see that for 1 <α< (region I) the origin is an unstable spiral or node.

26 22 For our model we would like to have two self-oscillatory cells. Mathematically, this means there will be limit cycles present in our analysis. In the α plane (Fig. 3) as we cross the line α = we find that a supercritical Hopf bifurcation occurs, thus giving us a stable limit cycle. We will show this later using Lindstedt s method. Thus we will choose the SA nodal cells (1 and 2 in Fig.1) to be located in region I of Fig.3. The atrial cell (3 in Fig.1) will be located in region II. Figure 2.3: Results of exact local analysis of eqs. (1), (2) displayed in α plane. In region I the origin is an unstable spiral or node, while in region II the origin is stable. Systems in region I contain a stable limit cycle which is created via a supercritical Hopf as the line α = is crossed. In region III the origin is a saddle Approximate Analysis The forgoing analysis of equilibria will now be supplemented with a fast-slow approximation which gives good approximations for the periodic motions (relaxation type limit cycles). In the limit as (2.11) and (2.12) become

27 23 0 = v(v α)(v 1) w (2.8) ẇ = v w (2.9) Solving (8) for w we get an equation for the slow manifold of the system. w = v(v α)(v 1) (2.10) This plots as a cubic which crosses the v-axis at v =0,α,1 (Fig. 4). Figure 2.4: Slow manifold. For >0, motions starting away from the slow manifold approach it on a fast time scale. The direction of flow is shown by arrows in Fig. 5. The slow manifold is stable from A to B and from C to D but is unstable from B to C. v = 0 on the v-axis is an equilibrium point, and it turns out that its stability and the nature of the dynamics depends on whether α>0orα<0. Since for

28 24 Figure 2.5: Slow manifold with vector fields α>0the equilibrium point at the origin lies on the stable portion of the slow manifold, no oscillation occurs. However for α<0, Fig. 6 shows that an oscillation occurs because the equilibrium at the origin lies on the unstable part of the slow manifold Exact Analysis vs. Approximate Analysis In conclusion the fast-slow approximate analysis gives that eqs. (2.11) and (2.12) oscillate for α<0whereas the exact analysis given in section 2.2 gives that an oscillation occurs for α <. Since the fast-slow analysis assumes 1, there is not too much difference between these results. The fast-slow analysis is incorrect, but only by an amount that is O().

29 25 Figure 2.6: α>0 and α<0 2.3 Period of Oscillation The cells of the SA node have different frequencies. In particular, the periphery cells have a higher frequency than the interior cells (Cai p.220). Thus, our next goal is to determine the frequency of oscillation as it varies with α. We will use Lindstedt method, fast-slow analysis, and numerical simulation Lindstedt Method The Lindstedt method is good for approximating the relationship between period and amplitude in limit cycle oscillations. From the Fitzhugh-Nagumo equations (1),(2) v = v(v α)(v 1) w (2.11) ẇ = v w (2.12)

30 26 we take the derivative of (12), ẅ = v ẇ. Then we substitute the expression for v from (11) into the above ẅ equation. The resulting equation d 2 w w (v 1) v (v α) = dw dt2 dt (2.13) depends on v,w, and ẇ. From (12), v = ẇ + w. Thus (13) becomes d 2 w dt 2 = ( ) 3 dw dt 2 w dw dt 3 w ( ) 2 dw dt α dw dt + α ( ) 2 dw dt + ( ) 2 dw dt 3 w2 dw dt dw dt w3 + αw2 + w2 αw w + 2 αwdw dt + (2.14) We have now reduced the two FN equations to one second order differential equation that depends only on w and dw dt. We learned from our exact analysis in Sec. 2.1 that a Hopf bifurcation occurs for α =. Thus, we perturb a value, µ, from this point to understand what happens in the neighborhood of this point. We set α = + µ. For a limit cycle we expect µ<0. We also find the linear terms containing w in (14) and subtract them from both sides. The resulting equation is d 2 w dt +(µ )w + µ ( ) 2 dw ( ) 2 dt dw dt + 3 w2 dw dt dw dt = + ( ) 3 dw dt 2 µw dw dt 3 w ( ) 2 dw dt + 2 w dw dt + µ ( ) 2 dw dt 2 w dw dt w3 + µw2 + w2 w2 (2.15)

31 27 We replace t by a new independent variable z = has a linear undamped frequency of 1. Since dw dt = dw dz µ t so that eq.(14) dz,(15) becomes dt where d 2 w dz 2 + cdw dz + w = a 1w 2 + a 2 w dw dz + a 3( dw dz )2 + b 1 w 3 + b 2 w 2 dw dz + b 3w( dw dz )2 + b 4 ( dw dz )3 + (2.16) c = µ µ +1 (2.17) a 1 = 1 (2.18) a 2 = 2 µ +1 (2.19) a 3 = µ +1 (2.20) b 1 = µ 2 + (2.21) b 2 = 3 µ +1 (2.22) b 3 = 3 µ +1 b 4 = 3 2 (2.23) (2.24) From (Rand and Armbuster p.23), we simplify (16) and find the following expression obtained via Lindstedt s method for the frequency as it depends on α and. Here we have set µ = α + frequency = 10 α α 2 +3α+10 +4α 3 +8α 2 +4α 6(α + 1) (2 α 1) (2.25) At α = there is a Hopf bifurcation and we have µ = 0. We replace z with t by saying t =( α ) 1 2 z =( α+1 ) 1 2 z. Using period = 2π frequency and

32 28 substituting t we have the following equation and resulting plot of period vs. α in Fig. 7. period = 2π(6 (α +1)(2α 1) ( α+1 )( 10 α α 2 3 α 10 4 α 3 8 α 2 4 α) (2.26) Figure 2.7: Graph of period vs. α resulting from Lindstedt analysis.( = 0.01) Fast-Slow Analysis In the case α<0we find that there exists a limit cycle (Fig.8). The limit cycle consists of four pieces: A B, B D,D C, and C A. Because is so small the horizontal motions from B D and C A are so fast that we neglect the time it takes to travel between the points. The expression for the period will

33 29 therefore be the sum of the time it takes to get from A B and from D C. To determine these times we first obtain expressions for the location of the points A,B,C,D.AtB and C the slope of the slow manifold is zero which implies that dw dv So, = 0 at those points. B and C lie on the slow manifold, w = v(v α)(v 1). dw = 3v 2 +2αv +2v α =0 (2.27) dv α2 α +1 v C = + α (2.28) 3 α2 α +1 v B = + α (2.29) 3 From Fig. 8 we see that C has the same w value as A, hence from (10) w A = w C = v C (v C α)(v C 1). In order to find v A, we substitute w A into eq. (10): Solving (14) for v A gives w A = v A (v A α)(v A 1). (2.30) Similarly for D we get v A = 2 α 2 α α (2.31) v D = 2 α 2 α α (2.32) We would now like to find the time it takes to get from A B. From (10),(11) w = v(v α)(v 1) (2.33)

34 30 Figure 2.8: For α<0 there is a limit cycle. A to B and D to C are the segments of slow flow. B to D and C to A are segments of fast flow on the limit cycle. ẇ = dw dv v =( 3v2 +2αv +2v α) v (2.34) From (9), ẇ = v w. We set the right-hand side of (9) equal to the right-hand side of (18) and solve for v. Using (10) we get dv dt = v(v2 αv v + α) 3v 2 2αv 2v + α (2.35) Solving (19) using Macsyma we obtain t = g(v)+k

35 31 where g(v) is a complicated function of v and K is an arbitrary constant of integration. To find the time spent between points A and B, we write t A = g(v A )+K (2.36) t B = g(v B )+K (2.37) Subtracting we get t B t A = g(v B ) g(v A ). Similarly we obtain t C t D = g(v C ) g(v B ). Adding these two travel times, we obtain the following expression for the period of oscillation: period =(t B t A )+(t C t D ) = (2.38) 2 α 2 +2α + 3 arctan ( 4 α 2 α α α 2 +2 α ) 1 α 2 +2 α+3 3 α 2 +2 α α 2 +2α + 3 arctan ( 4 α 2 α+1 3 α α 2 +2 α+3 3 ) 1 α 2 +2 α+3 3 α 2 +2 α α 2 +2α + 3 arctan ( 2 α 2 α α α 2 +2 α ) 1 α 2 +2 α+3 3 α 2 +2 α+3 2 α 2 +2α + 3 arctan ( 2 α 2 α+1 3 α α 2 +2 α+3 3 ) 1 α 2 +2 α+3 3 α 2 +2 α α2 log ( 2 α α 2 α +1+2 α 2 α +1+2α 2 + α +11 ) 3 α log ( 2 α α 2 α +1+2 α 2 α +1+2α 2 + α +11 ) 9 log ( 2 α α 2 α +1+2 α 2 α +1+2α 2 + α +11 ) 2 α2 log ( α α 2 α +1+ α 2 α +1 α 2 +4α +8 ) + 3 α log ( α α 2 α +1+ α 2 α +1 α 2 +4α +8 )

36 log ( α α 2 α +1+ α 2 α +1 α 2 +4α +8 ) 2 α2 log ( α α 2 α +1 α 2 α +1 α 2 +4α +8 ) + 3 α log ( α α 2 α +1 α 2 α +1 α 2 +4α +8 ) + 9 log ( α α 2 α +1 α 2 α +1 α 2 +4α +8 ) + 2 α2 log ( 2 α α 2 α +1 2 α 2 α +1+2α 2 + α +11 ) 3 α log ( 2 α α 2 α +1 2 α 2 α +1+2α 2 + α +11 ) 9 log ( 2 α α 2 α +1 2 α 2 α +1+2α 2 + α +11 ) + 2 α2 log ( 2 α 2 α +1+α +1 ) 6 α log ( 2 α 2 α +1+α +1 ) 2 α2 log ( α2 α +1+α +1 ) + 6 α log ( α2 α +1+α +1 ) 2 α2 log ( α 2 α +1+α +1 ) + 6 α log ( α 2 α +1+α +1 ) + 2 α2 log ( 2 α 2 α +1+α +1 ) 6 α log ( 2 α 2 α +1+α +1 ) See Fig. 8 where eq.(37) is plotted showing period as a function of α.

37 33 Figure 2.9: Graph of period vs. α resulting from fast-slow analysis.( = 0.01) Numerical Simulation We compare the results of Lindstedt s method, Fig.8, and the Fast-Slow approximation, Fig.9, on one graph Fig.10. (Note: = 0.01 in all figures). From Fig. 10 we note that the two methods do not agree. The fast-slow analysis incorrectly predicts that the limit cycle exists in the small region 0.01 <α<0. The Lindstedt analysis corrects this defect but is only valid near the Hopf bifurcation, i.e. for <α< To check these analyses we also used numerical simulation. Using Matlab we employed a Runge-Kutta order 4 algorithm and plotted the results shown in Figs. 11 and 12. From Fig. 11 we see that the numerical integration approximately agrees with the Fast-Slow approximation of limit cycle for values of α from -0.8 to At α 0.1 there is a kink in the graph of limit cycle period

38 34 as determined by numerical simulation. The source of this feature has been traced to a sudden change in the size of the limit cycle. Using a numerical integration program called pplane5 in Matlab, we found that for α = (Fig.13) a small limit cycle is present whereas for α = (Fig.14) a much larger limit cycle appears. In conclusion, for = 0.01, Fig.11 shows that the fast-slow analysis is unusable for α> 0.1. Fig.12 shows that Lindstedt s method is only valid for α close to -.01(= ). In future work we plan to use the fast-slow approximation for our model of 3 oscillators (see Fig.1), choosing α 1,α 2 < 0.1 (where the fast-slow approximation works best). We will also use the fast-slow approximation for the third Fitzhugh- Nagumo unit (modeling non-oscillatory atrial tissue) with α 3 > 0.

39 35 Figure 2.10: Graph of period vs. α resulting from fast-slow analysis and Lindstedt s method.( = 0.01)

40 36 Figure 2.11: Graph of period vs. α Runge-Kutta and Fast-Slow methods compared.( =0.01) Figure 2.12: Graph of period vs. α Runge-Kutta, Fast-Slow, and Lindstedt methods compared.( =0.01)

41 Figure 2.13: Small limit cycle produced at α = ) 37

42 Figure 2.14: Large limit cycle produced at α = ) 38

43 BIBLIOGRAPHY Armbruster, Dieter and Rand, Richard H. Perturbation Methods, Bifurcation Theory, and Computer Algebra. Published: New York : Springer-Verlag, Bretscher, Otto. Linear Algebra with Applications, 2nd ed. Published: New Jersey : Prentice Hall, 2001 D. Cai, R. L. Winslow, D. Noble. Effects of Gap Junction Conductance on Dynamics of Sinoatrial Node Cells: Two-Cell and Large-Scale Network Models. IEEE Transactions on Biomedical Engineering, vol. 41, no. 3, March Keener, James and Sneyd, James. Mathematical Physiology. New York: Springer-Verlag, Macsyma Front End. ver for ver 2.1. Macsyma Inc., MATLAB. ver (R11). The Mathworks Inc., pplane5. ODE Software for Matlab. polking/odesoft/dfpp.html Sinoatrial Node. Strogatz, Steven H. Nonlinear Dynamics and Chaos with Applications 39

44 40 in Physics, Biology, Chemistry, and Engineering. Reading, Mass. Addison- Wesley Pub, 1994.

### 8.1 Bifurcations of Equilibria

1 81 Bifurcations of Equilibria Bifurcation theory studies qualitative changes in solutions as a parameter varies In general one could study the bifurcation theory of ODEs PDEs integro-differential equations

### Nonlinear systems, chaos and control in Engineering

Nonlinear systems, chaos and control in Engineering Module 1 block 3 One-dimensional nonlinear systems Cristina Masoller Cristina.masoller@upc.edu http://www.fisica.edu.uy/~cris/ Schedule Flows on the

### An Undergraduate s Guide to the Hartman-Grobman and Poincaré-Bendixon Theorems

An Undergraduate s Guide to the Hartman-Grobman and Poincaré-Bendixon Theorems Scott Zimmerman MATH181HM: Dynamical Systems Spring 2008 1 Introduction The Hartman-Grobman and Poincaré-Bendixon Theorems

### Modelling biological oscillations

Modelling biological oscillations Shan He School for Computational Science University of Birmingham Module 06-23836: Computational Modelling with MATLAB Outline Outline of Topics Van der Pol equation Van

### PUBLISHED VERSION PERMISSIONS.

PUBLISHED VERSION Zebrowski, J. J.; Grudzinski, K.; Buchner, T.; Kuklik, Pawel; Gac, J.; Gielerak, G.; Sanders, Prashanthan; Baranowski, R. Nonlinear oscillator model reproducing various phenomena in the

### Lecture 5. Outline: Limit Cycles. Definition and examples How to rule out limit cycles. Poincare-Bendixson theorem Hopf bifurcations Poincare maps

Lecture 5 Outline: Limit Cycles Definition and examples How to rule out limit cycles Gradient systems Liapunov functions Dulacs criterion Poincare-Bendixson theorem Hopf bifurcations Poincare maps Limit

### Kinematics of fluid motion

Chapter 4 Kinematics of fluid motion 4.1 Elementary flow patterns Recall the discussion of flow patterns in Chapter 1. The equations for particle paths in a three-dimensional, steady fluid flow are dx

### 2:1 Resonance in the delayed nonlinear Mathieu equation

Nonlinear Dyn 007) 50:31 35 DOI 10.1007/s11071-006-916-5 ORIGINAL ARTICLE :1 Resonance in the delayed nonlinear Mathieu equation Tina M. Morrison Richard H. Rand Received: 9 March 006 / Accepted: 19 September

### An introduction to Birkhoff normal form

An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an

### OSCILLATORS WITH DELAY COUPLING

Proceedings of DETC'99 1999 ASME Design Engineering Technical Conferences September 1-15, 1999, Las Vegas, Nevada, USA D E T C 9 9 / V IB -8 3 1 8 BIFURCATIONS IN THE DYNAMICS OF TWO COUPLED VAN DER POL

### Nonlinear System Analysis

Nonlinear System Analysis Lyapunov Based Approach Lecture 4 Module 1 Dr. Laxmidhar Behera Department of Electrical Engineering, Indian Institute of Technology, Kanpur. January 4, 2003 Intelligent Control

### Period-doubling cascades of a Silnikov equation

Period-doubling cascades of a Silnikov equation Keying Guan and Beiye Feng Science College, Beijing Jiaotong University, Email: keying.guan@gmail.com Institute of Applied Mathematics, Academia Sinica,

### 7 Planar systems of linear ODE

7 Planar systems of linear ODE Here I restrict my attention to a very special class of autonomous ODE: linear ODE with constant coefficients This is arguably the only class of ODE for which explicit solution

### Chapter 2 Hopf Bifurcation and Normal Form Computation

Chapter 2 Hopf Bifurcation and Normal Form Computation In this chapter, we discuss the computation of normal forms. First we present a general approach which combines center manifold theory with computation

### TWELVE LIMIT CYCLES IN A CUBIC ORDER PLANAR SYSTEM WITH Z 2 -SYMMETRY. P. Yu 1,2 and M. Han 1

COMMUNICATIONS ON Website: http://aimsciences.org PURE AND APPLIED ANALYSIS Volume 3, Number 3, September 2004 pp. 515 526 TWELVE LIMIT CYCLES IN A CUBIC ORDER PLANAR SYSTEM WITH Z 2 -SYMMETRY P. Yu 1,2

### 7 Pendulum. Part II: More complicated situations

MATH 35, by T. Lakoba, University of Vermont 60 7 Pendulum. Part II: More complicated situations In this Lecture, we will pursue two main goals. First, we will take a glimpse at a method of Classical Mechanics

### Going with the flow: A study of Lagrangian derivatives

1 Going with the flow: A study of Lagrangian derivatives Jean-Luc Thiffeault Department of Applied Physics and Applied Mathematics Columbia University http://plasma.ap.columbia.edu/~jeanluc/ 12 February

### Hebb rule book: 'The Organization of Behavior' Theory about the neural bases of learning

PCA by neurons Hebb rule 1949 book: 'The Organization of Behavior' Theory about the neural bases of learning Learning takes place in synapses. Synapses get modified, they get stronger when the pre- and

### Chemical Kinetics and the Rössler System. 1 Introduction. 2 The NH 3 - HCl reaction. Dynamics at the Horsetooth Volume 2, 2010.

Dynamics at the Horsetooth Volume 2, 21. Chemical Kinetics and the Rössler System Department of Mathematics Colorado State University shinn@math.colostate.edu Report submitted to Prof. P. Shipman for Math

### p 1 p 0 (p 1, f(p 1 )) (p 0, f(p 0 )) The geometric construction of p 2 for the se- cant method.

80 CHAP. 2 SOLUTION OF NONLINEAR EQUATIONS f (x) = 0 y y = f(x) (p, 0) p 2 p 1 p 0 x (p 1, f(p 1 )) (p 0, f(p 0 )) The geometric construction of p 2 for the se- Figure 2.16 cant method. Secant Method The

### Exploring the energy landscape

Exploring the energy landscape ChE210D Today's lecture: what are general features of the potential energy surface and how can we locate and characterize minima on it Derivatives of the potential energy

### 2D-Volterra-Lotka Modeling For 2 Species

Majalat Al-Ulum Al-Insaniya wat - Tatbiqiya 2D-Volterra-Lotka Modeling For 2 Species Alhashmi Darah 1 University of Almergeb Department of Mathematics Faculty of Science Zliten Libya. Abstract The purpose

### By: Jarrett L. Lancaster, Edward H. Hellen and Esther M. Leise

Modeling excitable systems: Reentrant Tachycardia. By: Jarrett L. Lancaster, Edward H. Hellen and Esther M. Leise Lancaster, J.L., Hellen, E.H. and Leise, E.M. (2010) Modeling excitable systems: Reentrant

### March 9, :18 Int J. Bifurcation and Chaos/INSTRUCTION FILE Morfu2v2 EFFECT OF NOISE AND STRUCTURAL INHOMOGENEITIES IN REACTION DIFFUSION MEDIA

March 9, 2007 10:18 Int J. Bifurcation and Chaos/INSTRUCTION FILE Int J. Bifurcation and Chaos Submission Style EFFECT OF NOISE AND STRUCTURAL INHOMOGENEITIES IN REACTION DIFFUSION MEDIA S. Morfu Laboratoire

### Math 312 Lecture Notes Linearization

Math 3 Lecture Notes Linearization Warren Weckesser Department of Mathematics Colgate University 3 March 005 These notes discuss linearization, in which a linear system is used to approximate the behavior

### Chapter 4. Transition towards chaos. 4.1 One-dimensional maps

Chapter 4 Transition towards chaos In this chapter we will study how successive bifurcations can lead to chaos when a parameter is tuned. It is not an extensive review : there exists a lot of different

### Qualitative Analysis of Tumor-Immune ODE System

of Tumor-Immune ODE System L.G. de Pillis and A.E. Radunskaya August 15, 2002 This work was supported in part by a grant from the W.M. Keck Foundation 0-0 QUALITATIVE ANALYSIS Overview 1. Simplified System

### 9.6 Predictor-Corrector Methods

SEC. 9.6 PREDICTOR-CORRECTOR METHODS 505 Adams-Bashforth-Moulton Method 9.6 Predictor-Corrector Methods The methods of Euler, Heun, Taylor, and Runge-Kutta are called single-step methods because they use

### arxiv: v1 [nlin.ao] 19 May 2017

Feature-rich bifurcations in a simple electronic circuit Debdipta Goswami 1, and Subhankar Ray 2, 1 Department of Electrical and Computer Engineering, University of Maryland, College Park, MD 20742, USA

### Nonlinear Control Lecture 1: Introduction

Nonlinear Control Lecture 1: Introduction Farzaneh Abdollahi Department of Electrical Engineering Amirkabir University of Technology Fall 2011 Farzaneh Abdollahi Nonlinear Control Lecture 1 1/15 Motivation

### Lectures on Periodic Orbits

Lectures on Periodic Orbits 11 February 2009 Most of the contents of these notes can found in any typical text on dynamical systems, most notably Strogatz [1994], Perko [2001] and Verhulst [1996]. Complete

### TAKING MATH TO THE HEART: Pulse Propagation in a Discrete Ring

TAKING MATH TO THE HEART: Pulse Propagation in a Discrete Ring HASSAN SEDAGHAT Department of Mathematics, Virginia Commonwealth University, Richmond, VA 23284-2014, USA The Discrete Ring or Loop A (discrete)

### Local Phase Portrait of Nonlinear Systems Near Equilibria

Local Phase Portrait of Nonlinear Sstems Near Equilibria [1] Consider 1 = 6 1 1 3 1, = 3 1. ( ) (a) Find all equilibrium solutions of the sstem ( ). (b) For each equilibrium point, give the linear approimating

### Def. (a, b) is a critical point of the autonomous system. 1 Proper node (stable or unstable) 2 Improper node (stable or unstable)

Types of critical points Def. (a, b) is a critical point of the autonomous system Math 216 Differential Equations Kenneth Harris kaharri@umich.edu Department of Mathematics University of Michigan November

### Discriminative Direction for Kernel Classifiers

Discriminative Direction for Kernel Classifiers Polina Golland Artificial Intelligence Lab Massachusetts Institute of Technology Cambridge, MA 02139 polina@ai.mit.edu Abstract In many scientific and engineering

### 3 Stability and Lyapunov Functions

CDS140a Nonlinear Systems: Local Theory 02/01/2011 3 Stability and Lyapunov Functions 3.1 Lyapunov Stability Denition: An equilibrium point x 0 of (1) is stable if for all ɛ > 0, there exists a δ > 0 such

### Chapter 8 Equilibria in Nonlinear Systems

Chapter 8 Equilibria in Nonlinear Sstems Recall linearization for Nonlinear dnamical sstems in R n : X 0 = F (X) : if X 0 is an equilibrium, i.e., F (X 0 ) = 0; then its linearization is U 0 = AU; A =

### Bernstein polynomials of degree N are defined by

SEC. 5.5 BÉZIER CURVES 309 5.5 Bézier Curves Pierre Bézier at Renault and Paul de Casteljau at Citroën independently developed the Bézier curve for CAD/CAM operations, in the 1970s. These parametrically

### Consensus Protocols for Networks of Dynamic Agents

Consensus Protocols for Networks of Dynamic Agents Reza Olfati Saber Richard M. Murray Control and Dynamical Systems California Institute of Technology Pasadena, CA 91125 e-mail: {olfati,murray}@cds.caltech.edu

### THE STATIC BIFURCATION DIAGRAM FOR THE GRAY SCOTT MODEL

International Journal of Bifurcation and Chaos, Vol. 11, No. 9 2001) 2483 2491 c World Scientific Publishing Company THE STATIC BIFURCATION DIAGRAM FOR THE GRAY SCOTT MODEL RODICA CURTU Department of Mathematical

### Some Dynamical Behaviors In Lorenz Model

International Journal Of Computational Engineering Research (ijceronline.com) Vol. Issue. 7 Some Dynamical Behaviors In Lorenz Model Dr. Nabajyoti Das Assistant Professor, Department of Mathematics, Jawaharlal

### Physics: spring-mass system, planet motion, pendulum. Biology: ecology problem, neural conduction, epidemics

Applications of nonlinear ODE systems: Physics: spring-mass system, planet motion, pendulum Chemistry: mixing problems, chemical reactions Biology: ecology problem, neural conduction, epidemics Economy:

### MATHEMATICAL METHODS INTERPOLATION

MATHEMATICAL METHODS INTERPOLATION I YEAR BTech By Mr Y Prabhaker Reddy Asst Professor of Mathematics Guru Nanak Engineering College Ibrahimpatnam, Hyderabad SYLLABUS OF MATHEMATICAL METHODS (as per JNTU

### A Producer-Consumer Model With Stoichiometry

A Producer-Consumer Model With Stoichiometry Plan B project toward the completion of the Master of Science degree in Mathematics at University of Minnesota Duluth Respectfully submitted by Laura Joan Zimmermann

### Review for Exam 2 Ben Wang and Mark Styczynski

Review for Exam Ben Wang and Mark Styczynski This is a rough approximation of what we went over in the review session. This is actually more detailed in portions than what we went over. Also, please note

### Chapter 1. Harmonic Oscillator. 1.1 Energy Analysis

Chapter 1 Harmonic Oscillator Figure 1.1 illustrates the prototypical harmonic oscillator, the mass-spring system. A mass is attached to one end of a spring. The other end of the spring is attached to

### AP PHYSICS 1 BIG IDEAS AND LEARNING OBJECTIVES

AP PHYSICS 1 BIG IDEAS AND LEARNING OBJECTIVES KINEMATICS 3.A.1.1: The student is able to express the motion of an object using narrative, mathematical, and graphical representations. [SP 1.5, 2.1, 2.2]

### Tactics Box 23.1 Using Kirchhoff's Loop Law

PH203 Chapter 23 solutions Tactics Box 231 Using Kirchhoff's Loop Law Description: Knight/Jones/Field Tactics Box 231 Using Kirchhoff s loop law is illustrated Learning Goal: To practice Tactics Box 231

### High-Order Representation of Poincaré Maps

High-Order Representation of Poincaré Maps Johannes Grote, Martin Berz, and Kyoko Makino Department of Physics and Astronomy, Michigan State University, East Lansing, MI, USA. {grotejoh,berz,makino}@msu.edu

### AA242B: MECHANICAL VIBRATIONS

AA242B: MECHANICAL VIBRATIONS 1 / 50 AA242B: MECHANICAL VIBRATIONS Undamped Vibrations of n-dof Systems These slides are based on the recommended textbook: M. Géradin and D. Rixen, Mechanical Vibrations:

### 1 Lyapunov theory of stability

M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability

### CHAPTER 5 KINEMATICS OF FLUID MOTION

CHAPTER 5 KINEMATICS OF FLUID MOTION 5. ELEMENTARY FLOW PATTERNS Recall the discussion of flow patterns in Chapter. The equations for particle paths in a three-dimensional, steady fluid flow are dx -----

### Boundary Layer Problems and Applications of Spectral Methods

Boundary Layer Problems and Applications of Spectral Methods Sumi Oldman University of Massachusetts Dartmouth CSUMS Summer 2011 August 4, 2011 Abstract Boundary layer problems arise when thin boundary

### Computational simulation of the heart Edmund Altman 2010/2011

Computational simulation of the heart Edmund Altman 2010/2011 The candidate confirms that the work submitted is their own and the appropriate credit has been given where reference has been made to the

### Dynamics of Decision Making in Animal Group. Motion

Dynamics of Decision Making in Animal Group Motion Benjamin Nabet, Naomi E Leonard, Iain D Couzin and Simon A Levin June, 007 Abstract We present a continuous model of a multi-agent system motivated by

### Global Analysis of Dynamical Systems Festschrift dedicated to Floris Takens for his 60th birthday

Global Analysis of Dynamical Systems Festschrift dedicated to Floris Takens for his 6th birthday Edited by Henk W. Broer, Bernd Krauskopf and Gert Vegter January 6, 3 Chapter Global Bifurcations of Periodic

### ANALYTICAL DETERMINATION OF INITIAL CONDITIONS LEADING TO FIRING IN NERVE FIBERS

ANALYTICAL DETERMINATION OF INITIAL CONDITIONS LEADING TO FIRING IN NERVE FIBERS Sabir Jacquir, Stéphane Binczak, Jean-Marie Bilbault To cite this version: Sabir Jacquir, Stéphane Binczak, Jean-Marie Bilbault.

### Common Core State Standards for Mathematics - High School

to the Common Core State Standards for - High School I Table of Contents Number and Quantity... 1 Algebra... 1 Functions... 3 Geometry... 6 Statistics and Probability... 8 Copyright 2013 Pearson Education,

### BIFURCATION FOR NON LINEAR ORDINARY DIFFERENTIAL EQUATIONS WITH SINGULAR PERTURBATION

Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 275, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu BIFURCATION FOR NON LINEAR ORDINARY DIFFERENTIAL

### Travelling waves. Chapter 8. 1 Introduction

Chapter 8 Travelling waves 1 Introduction One of the cornerstones in the study of both linear and nonlinear PDEs is the wave propagation. A wave is a recognizable signal which is transferred from one part

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

### Math 312 Lecture Notes Linear Two-dimensional Systems of Differential Equations

Math 2 Lecture Notes Linear Two-dimensional Systems of Differential Equations Warren Weckesser Department of Mathematics Colgate University February 2005 In these notes, we consider the linear system of

### FORCE TABLE INTRODUCTION

FORCE TABLE INTRODUCTION All measurable quantities can be classified as either a scalar 1 or a vector 2. A scalar has only magnitude while a vector has both magnitude and direction. Examples of scalar

### Lie Groups for 2D and 3D Transformations

Lie Groups for 2D and 3D Transformations Ethan Eade Updated May 20, 2017 * 1 Introduction This document derives useful formulae for working with the Lie groups that represent transformations in 2D and

### 2.152 Course Notes Contraction Analysis MIT, 2005

2.152 Course Notes Contraction Analysis MIT, 2005 Jean-Jacques Slotine Contraction Theory ẋ = f(x, t) If Θ(x, t) such that, uniformly x, t 0, F = ( Θ + Θ f x )Θ 1 < 0 Θ(x, t) T Θ(x, t) > 0 then all solutions

### PARTIAL DIFFERENTIAL EQUATIONS

MATHEMATICAL METHODS PARTIAL DIFFERENTIAL EQUATIONS I YEAR B.Tech By Mr. Y. Prabhaker Reddy Asst. Professor of Mathematics Guru Nanak Engineering College Ibrahimpatnam, Hyderabad. SYLLABUS OF MATHEMATICAL

### Asynchronous and Synchronous Dispersals in Spatially Discrete Population Models

SIAM J. APPLIED DYNAMICAL SYSTEMS Vol. 7, No. 2, pp. 284 310 c 2008 Society for Industrial and Applied Mathematics Asynchronous and Synchronous Dispersals in Spatially Discrete Population Models Abdul-Aziz

### A Classical Approach to the Stark-Effect. Mridul Mehta Advisor: Prof. Enrique J. Galvez Physics Dept., Colgate University

A Classical Approach to the Stark-Effect Mridul Mehta Advisor: Prof. Enrique J. Galvez Physics Dept., Colgate University Abstract The state of an atom in the presence of an external electric field is known

### THE POINCARE-HOPF THEOREM

THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under

### Numerical Methods of Applied Mathematics -- II Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.336 Numerical Methods of Applied Mathematics -- II Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

### A Mathematical Trivium

A Mathematical Trivium V.I. Arnold 1991 1. Sketch the graph of the derivative and the graph of the integral of a function given by a freehand graph. 2. Find the limit lim x 0 sin tan x tan sin x arcsin

### Designing Information Devices and Systems II Fall 2015 Note 22

EE 16B Designing Information Devices and Systems II Fall 2015 Note 22 Notes taken by John Noonan (11/12) Graphing of the State Solutions Open loop x(k + 1) = Ax(k) + Bu(k) y(k) = Cx(k) Closed loop x(k

### Report E-Project Henriette Laabsch Toni Luhdo Steffen Mitzscherling Jens Paasche Thomas Pache

Potsdam, August 006 Report E-Project Henriette Laabsch 7685 Toni Luhdo 7589 Steffen Mitzscherling 7540 Jens Paasche 7575 Thomas Pache 754 Introduction From 7 th February till 3 rd March, we had our laboratory

### A(γ A D A + γ R D R + γ C R + δ A )

Title: Mechanisms of noise-resistance in genetic oscillators Authors: José M. G. Vilar 1,2, Hao Yuan Kueh 1, Naama Barkai 3, and Stanislas Leibler 1,2 1 Howard Hughes Medical Institute, Departments of

### MAK 391 System Dynamics & Control. Presentation Topic. The Root Locus Method. Student Number: Group: I-B. Name & Surname: Göksel CANSEVEN

MAK 391 System Dynamics & Control Presentation Topic The Root Locus Method Student Number: 9901.06047 Group: I-B Name & Surname: Göksel CANSEVEN Date: December 2001 The Root-Locus Method Göksel CANSEVEN

### Phase Locking. 1 of of 10. The PRC's amplitude determines which frequencies a neuron locks to. The PRC's slope determines if locking is stable

Printed from the Mathematica Help Browser 1 1 of 10 Phase Locking A neuron phase-locks to a periodic input it spikes at a fixed delay [Izhikevich07]. The PRC's amplitude determines which frequencies a

### Characterization of the stability boundary of nonlinear autonomous dynamical systems in the presence of a saddle-node equilibrium point of type 0

Anais do CNMAC v.2 ISSN 1984-82X Characterization of the stability boundary of nonlinear autonomous dynamical systems in the presence of a saddle-node equilibrium point of type Fabíolo M. Amaral Departamento

### Oscillations in Damped Driven Pendulum: A Chaotic System

International Journal of Scientific and Innovative Mathematical Research (IJSIMR) Volume 3, Issue 10, October 2015, PP 14-27 ISSN 2347-307X (Print) & ISSN 2347-3142 (Online) www.arcjournals.org Oscillations

### ALGEBRAIC FLUX CORRECTION FOR FINITE ELEMENT DISCRETIZATIONS OF COUPLED SYSTEMS

Int. Conf. on Computational Methods for Coupled Problems in Science and Engineering COUPLED PROBLEMS 2007 M. Papadrakakis, E. Oñate and B. Schrefler (Eds) c CIMNE, Barcelona, 2007 ALGEBRAIC FLUX CORRECTION

### which arises when we compute the orthogonal projection of a vector y in a subspace with an orthogonal basis. Hence assume that P y = A ij = x j, x i

MODULE 6 Topics: Gram-Schmidt orthogonalization process We begin by observing that if the vectors {x j } N are mutually orthogonal in an inner product space V then they are necessarily linearly independent.

### Stochastic Oscillator Death in Globally Coupled Neural Systems

Journal of the Korean Physical Society, Vol. 52, No. 6, June 2008, pp. 19131917 Stochastic Oscillator Death in Globally Coupled Neural Systems Woochang Lim and Sang-Yoon Kim y Department of Physics, Kangwon

### A unifying optimization approach of Mobitz- and Wenckebach-type cardiac blocks. Bachelorarbeit

A unifying optimization approach of Mobitz- and Wenckebach-type cardiac blocks An der Fakultät für Mathematik der Otto-von-Guericke-Universität Magdeburg zur Erlangung des akademischen Grades Bachelor

### Data Analysis and Manifold Learning Lecture 7: Spectral Clustering

Data Analysis and Manifold Learning Lecture 7: Spectral Clustering Radu Horaud INRIA Grenoble Rhone-Alpes, France Radu.Horaud@inrialpes.fr http://perception.inrialpes.fr/ Outline of Lecture 7 What is spectral

### ANSWERS Final Exam Math 250b, Section 2 (Professor J. M. Cushing), 15 May 2008 PART 1

ANSWERS Final Exam Math 50b, Section (Professor J. M. Cushing), 5 May 008 PART. (0 points) A bacterial population x grows exponentially according to the equation x 0 = rx, where r>0is the per unit rate

### A loop of SU(2) gauge fields on S 4 stable under the Yang-Mills flow

A loop of SU(2) gauge fields on S 4 stable under the Yang-Mills flow Daniel Friedan Rutgers the State University of New Jersey Natural Science Institute, University of Iceland MIT November 3, 2009 1 /

### LIMITATIONS OF THE METHOD OF MULTIPLE-TIME-SCALES

LIMITATIONS OF THE METHOD OF MULTIPLE-TIME-SCALES Peter B. Kahn Department of Physics and Astronomy State University of New York Stony Brook, NY 794 and Yair Zarmi Department for Energy & Environmental

### Numerical Methods in Physics and Astrophysics

Kostas Kokkotas 2 October 17, 2017 2 http://www.tat.physik.uni-tuebingen.de/ kokkotas Kostas Kokkotas 3 TOPICS 1. Solving nonlinear equations 2. Solving linear systems of equations 3. Interpolation, approximation

### Stochastic Wilson-Cowan equations for networks of excitatory and inhibitory neurons II

Stochastic Wilson-Cowan equations for networks of excitatory and inhibitory neurons II Jack Cowan Mathematics Department and Committee on Computational Neuroscience University of Chicago 1 A simple Markov

### Self-induced stochastic resonance in excitable systems

Physica D 210 (2005) 227 240 Self-induced stochastic resonance in excitable systems Cyrill B. Muratov a,, Eric Vanden-Eijnden b, Weinan E c a Department of Mathematical Sciences, New Jersey Institute of

### Opleiding Wiskunde & Informatica

Opleiding Wiskunde & Informatica Numerics and continuation for Reaction-Diffusion equations Renzo Baasdam s1524054 Supervisors: Martina Chirilus-Bruckner (MI) & Michael Emmerich (LIACS) BACHELOR THESIS

### University of Utrecht

University of Utrecht Bachelor thesis The bifurcation diagram of the second nontrivial normal form of an axially symmetric perturbation of the isotropic harmonic oscillator Author: T. Welker Supervisor:

### Entrainment and Chaos in the Hodgkin-Huxley Oscillator

Entrainment and Chaos in the Hodgkin-Huxley Oscillator Kevin K. Lin http://www.cims.nyu.edu/ klin Courant Institute, New York University Mostly Biomath - 2005.4.5 p.1/42 Overview (1) Goal: Show that the

### Chaotic and non-chaotic mixed oscillations in a logistic systems with delay

Chaotic and non-chaotic mixed oscillations in a logistic systems with delay Marek Berezowski a, b, Artur Grabski b a Institute of Chemical Engineering and Physical Chemistry, Cracow University of Technology,

### Stability Analysis for ODEs

Stability Analysis for ODEs Marc R Roussel September 13, 2005 1 Linear stability analysis Equilibria are not always stable Since stable and unstable equilibria play quite different roles in the dynamics

### Mathematical Modeling of the Brusselator

Mathematical Modeling of the Brusselator prepared by: Matthew P. McDowell prepared for: Joseph M. Powers, AME 36099-01 Department of Aerospace and Mechanical Engineering University of Notre Dame Notre

### Feedback control of canards

Feedback control of canards CHAOS 18, 015110 2008 Joseph Durham a and Jeff Moehlis b Department of Mechanical Engineering, University of California, Santa Barbara, California 93106, USA Received 9 January

### Torus Doubling Cascade in Problems with Symmetries

Proceedings of Institute of Mathematics of NAS of Ukraine 4, Vol., Part 3, 11 17 Torus Doubling Cascade in Problems with Symmetries Faridon AMDJADI School of Computing and Mathematical Sciences, Glasgow

### A New Hyperchaotic Attractor with Complex Patterns

A New Hyperchaotic Attractor with Complex Patterns Safieddine Bouali University of Tunis, Management Institute, Department of Quantitative Methods & Economics, 41, rue de la Liberté, 2000, Le Bardo, Tunisia