1. Bifurcations • The qualitative structure of the flow on the vector field under investigation can change as parameters are varied: in particular, FPs can be created or destroyed, or their stability can change. These qualitative changes in the dynamics are called bifurcations, and the parameter values at which they occur are called bifurcation points. Saddle-node bifurcation • The prototypical example of a saddle-node bifurcation is given by x& = r + x 2 • As r<0, there are two FPs, stable at x=r and unstable at x=-r. • As r increases the two FPs move towards each other and coalesce into a half-stable FP at x=0. • This FP is destroyed as r increase to become positive. Saddle-node bifurcation r<0 r=0 All diagrams ( x, x& ). The half-stable FP above ought to be designated by a half-filled circle. r>0 Saddle-node bifurcation • The conventional way to draw a bifurcation diagram for a 1D system is to plot dx/dt = 0 in the r-x-coordinate system. • The stable branch is plotted with a solid line. • The unstable branch is plotted with a dashed line. x r Saddle-node bifurcation • The prototypical examples x& = r ± x 2 are representative of all saddle-node bifurcations and are hence called normal forms. Close to FPs the behaviour of other systems giving rise to saddle-node bifurcations can be mapped to normal forms. Taylor expansion close to x* and the parameter value rc at which the stable and unstable FP collide yields: x& = f ( x, r ) = f ( x* , rc ) + ( x − x* ) ∂f ∂x + (r − rc ) ( x* , rc ) ∂f ∂r ∂f 1 + ( x − x* ) 2 2 ∂x ( x* , rc ) + ... ( x* , rc ) , where the quadratic terms in r and cubic terms in x have been neglected. Now, at FP f(x*)=0, and at the saddle-node bifurcation point (x*,rc) ∂f / ∂x = 0. Saddle-node bifurcation Thus, x& = a (r − rc ) + b( x − x*) 2 + K where a = ∂f / ∂r ( x*,r ) and b = ∂f 2 / ∂x 2 c normal form after a scaling of x and r. ( x *, rc ) . This is of the Transcritical bifurcation • The transcritical bifurcation is the standard mechanism for a situation where a FP exists for all values of a parameter and can never be destroyed but may change its stability. The normal form for a transcritical bifurcation is 2 x& = rx − x . Notice that the logistic equation for population growth is of this general form. Transcritical bifurcation dx/dt As the initially negative parameter r increases the two FPs (at 0 and r) coalesce and form a half-stable FP when r = 0. When further increasing r to positive values the two FPs split x& again, but now they have switched stability. dx/dt r=0 x x& r<0 x r>0 x Transcritical bifurcation • The bifurcation diagram corresponding to the dynamics depicted in the three diagrams above looks like this: x r Again, the diagram depicts the dynamics when dx/dt = 0, i.e. the behaviour of FPs. Transcritical bifurcation • (Example 3.2.2 in Strogatz) Analyse the dynamics of dx/dt = r ln x + x – 1 near x = 1, and show that the system undergoes a transcritical bifurcation at a certain value of r. Then find new variables X and R such that the system reduces to approximate normal form dX/dt ~ RX – X2 near bifurcation. Transcritical bifurcation • Solution: x = 1 is a FP for all r. Introduce a new variable u = x – 1, where u is small. Then u& = x& = r ln(1 + u ) + u 1 2 3 = r u − u + O(u ) + u 2 1 2 = (r + 1)u − ru + O(u 3 ). 2 Transcritical bifurcation By substituting u = aν the equation becomes 1 2 ν& = (r + 1)ν − ra ν + O(ν 3 ). Now we choose a = 2 / r 2 and let R = r + 1 and X = ν to achieve the approximate normal form X& = RX − X 2 + O ( X 3 ) . Pitchfork bifurcation • Pitchfork bifurcation is related to symmetries in the system. For example in systems having a spatial symmetry between left and right FPs tend to appear and disappear in symmetrical pairs (think for instance of a buckling beam). 3 • The normal form is x& = rx m x . • The minus sign gives supercritical pitchfork bifurcation. The name implies that there can exist a FP above bifurcation. Supercritical pitchfork bifurcation 1/2 x* = ± r 1/2 dx/dt dx/dt r<0 x x r=0 r>0 As r = 0 the solutions no longer decay exponentially fast to FP, but rather algebraically. This is called critical slowing down. Supercritical pitchfork bifurcation • The corresponding bifurcation diagram looks like pitchfork. x r Subcritical pitchfork bifurcation • If in the normal pf bifurcation form the x3 term is destabilising (> 0), the pitchfork in th bifurcation diagram and the stabilities of the FP are inverted x Now both FP are below the bifurcation (r =0); hence the name subcritical. r 2. Flows on the Circle • The vector field on the circle is of the form θ& = f (θ ). Here θ is a point on the circle and dθ/dt the velocity vector at that point. Like the line, the circle is one-dimensional, but now a phase point unlike on the 1D line can return to its starting place. Thus, vector fields on the circle provide the most basic model of systems that can oscillate. θ& For example, the sketch of the vector field dθ/dt = sin θ on the circle would like this. FPs are θ*=0 and θ*=π. 3. Two-Dimensional Flows 3.1. Linear Systems • A two-dimensional linear system is of the form x& = ax + by y& = cx + dy, or a b x x& = Ax, where A = and x = . For instance, c d y a 0 for the uncoupled system with A = 0 − 1 x& = ax and so x(t ) = x0 e at y& = − y y(t ) = y0 e− at . Linear systems • The phase portraits (x,y) for different values of a look as following (and for a set of different initial values x0, y0): a < -1 Linear systems a=-1 -1<a<0 a=0 a>0 Linear systems • Notice that in linear systems there is always a FP at origo. The trajectories approach the stable FP tangent to the slower decaying direction as t → ∞. Looking backwards along a trajectory t → -∞, it becomes tangent to the faster decaying direction. • If both directions decay with equal rate (a=-1) the stable node is called a symmetrical node or star. • In the case a=0 there is a line of FPs along the x-axis. The trajectories approach these along vertical lines (please ignore the small arrow on the x-axis). • When a>0, x* becomes unstable due to the exponential growth in the x-direction. x*=0 is a saddle point. Linear systems • In forward time, the trajectories are asymptotic to the x-axis; in backward time, to the y-axis. These directions intersect at the saddle point. • The trajectory starting on the y-axis ends at x*=0. The y-axis is called the stable manifold of the saddle point: the set of initial conditions x0 such that x(t) → x* as t → ∞. Likewise, the xaxis is the unstable manifold in this case: that’s where the trajectories not starting from the stable manifold end up as t → ∞. Linear systems • Some terminology: x*=0 is an attracting FP if all trajectories starting near x* approach it as t → ∞. If x* attracts all trajectories in the phase plane it is called globally attracting. • A FP x* is Liapunov stable if all trajectories that start sufficiently close to x* remain close to it for all time. In the previous example the origin is Liapunov stable for all cases except for a>0. • A FP is unstable if it is neither attracting nor Liapunov stable. Classification of linear systems • Also in a general case where A is non-diagonal we seek for straight-line trajectories, for which the phase point starting on such a line stays on it, and the trajectory exhibit exponential growth or decay. Now they are not necessarily the coordinate axis. • For the general case we seek trajectories of the form x(t) = exp(λt) v, where v≠0 is some fixed vector and λ is a growth rate, both to be determined. Now, substituting the exponential form for x(t) into dx/dt = Ax yields Av = λv, which says that the desired straight-line solution exists if v is and eigenvector of A with corresponding eigenvalue λ. Then x(t) = exp(λt) v is called an eigensolution. Classification of linear systems • Notation: Recall that the characteristic equation for the linear system dx/dt = Ax is det(A-λI)=0. For a 2x2 matrix: a b A= the characteristic equation is c d b a−λ det =0 d −λ c ⇔ λ 2 − τλ + ∆ = 0, where τ = trace( A) = a + d , ∆ = det( A) = ad − bc. Then τ + τ 2 − 4∆ τ − τ 2 − 4∆ , λ2 = . λ1 = 2 2 Classification of linear systems • If the eigenvalues are distinct, λ1≠ λ2, then the eigenvectors v1 and v2 are linearly independent and span the entire space. Thus any initial condition can be written as x0=c1v1+c2v2, and the general solution is x(t)=c1exp(λ1t)v1+ c2exp(λ2t)v2. • So, for the initial value problem dx/dt=x+y, dy/dt=4x-2y, subject to the initial condition (xo, y0)=(2,-3) τ=-1 and ∆=-6, λ1=2, λ2=-3, and v1=(1 1)T v2=(1 -4)T, and the linear combination of eigensolutions satisfying the initial condition is Classification of linear systems x(t ) = e 2t + e −3t , y (t ) = e 2t − 4e −3t . • In order to plot the phase portrait the system does not necessarily have to be solved completely. The knowledge of eigenvalues and –vectors is sufficient. Because the first eigensolution (λ1=2) grows and the second (λ1=-3) decays exponentially the origin is a saddle point. The stable manifold is the line spanned by the eigenvector v2=(1,-4), corresponding to the decaying eigensolution, and the unstable manifold is the line spanned by v1=(1,1). Classification of linear systems y x (The rightmost curve is the one corresponding to the initial conditions – so with c1=c2=1.) Classification of linear systems • In the case of complex eigenvalues the FP is either a centre or a spiral. Centres are neutrally stable, since nearby trajectories are neither attracted to nor repelled from the FP. centre Classification of linear systems spiral of a (repelling) FP Classification of linear systems 3.2. Nonlinear Systems on Phase Plane • Typically, for a nonlinear system there’s no hope of finding an analytic solution for trajectories on the phase plane. So, the goal is to be able to plot a phase portrait to get an idea of the system behaviour. • Without even solving numerically one typically starts by finding nullclines: for a 2-dimensional system defined as the curves where either dx/dt=0 or dy/dt=0. Thus, nullclines are lines on which the direction of the vector field (flow) is purely horizontal or vertical. When you’ve plotted the nullclines, then of course FPs are their intersections. (When plotting the phase portraits, if you have the time and patience, you can plot the vector field lines (in Matlab by using streamslice-function).) Nonlinear Systems on Phase Plane • The existence and uniqueness theorem in several dimensions reads as: The initial value problem x=f(x), x(0)=x0 in D has a unique solution on some time interval (-τ,τ) if f and all its partial derivatives ∂fi/∂xj , i, j = 1,…,n, are continuous for x in some open connected set D C Rn. • Given that the previous theorem holds: – two trajectories never intersect – in 2D any curve starting inside a closed curve (periodic solution) will remain there Linearization around FP in 2D The system x& = f ( x, y ) y& = g ( x, y ) with a FP ( x*, y*) : f ( x*, y*) = 0, g ( x*, y*) = 0 is linearised near FP as u = x − x*, v = y − y*, u& = x& = f ( x * +u, y * +v) ∂f ∂f = f ( x*, y*) + u + v + O ( u 2 , v 2 , uv ) ∂x ∂y ∂f ∂f = u + v + O ( u 2 , v 2 , uv ) ∂x ∂y Linearization around FP in 2D ∂g ∂g v& = u +v + O ( u 2 , v 2 , uv ) . That is the linearised ∂x ∂y system: u& = Ju, where u u= v ∂f ∂f ∂y ∂x and J = is the Jacobian ∂g ∂g ∂y ∂x Linearization around FP in 2D • Linearization works fine for FPs that are inside one of the regimes in the classification diagram sketched before. • For borderline FPs one should be cautious; centres, degenerate nodes, stars, or nonisolated can be altered by small nonlinear terms. • A phase portrait is called structurally stable if cannot be changed by an arbitrarily small perturbationto the vector field. • So, in summary you determine the nullclines, nature of FPs and try to sketch the flows in between.