Team:Aberdeen Scotland/Bifurcation

From 2010.igem.org

(Difference between revisions)
 
(46 intermediate revisions not shown)
Line 1: Line 1:
{{:Team:Aberdeen_Scotland/css}}
{{:Team:Aberdeen_Scotland/css}}
{{:Team:Aberdeen_Scotland/Title}}
{{:Team:Aberdeen_Scotland/Title}}
 +
<html>
<html>
<h1>Bifurcation Analysis</h1>
<h1>Bifurcation Analysis</h1>
-
<p>The literal meaning of bifurcation is, "division into two parts, branches or aspects" (Answers). In mathematics, this 'division' is reference to when non-linear equation suddenly switches from having one solution to having multiple solution when a parameter of the system is varied. The point at which bifurcation occurs is referred to as the 'bifurcation point.If a system is bistable it can be stable, or at rest in two distinct states.</p>
+
 
 +
<table>
 +
  <tr>
 +
    <td><p>
 +
The literal meaning of bifurcation is, “division into two parts, branches, or aspects” (Answers). In mathematics, this ‘division’ is in reference to when</p>
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>
 +
<p>a non-linear equation suddenly changes its behaviour qualitatively when a parameter of the system is varied. The point at which bifurcation occurs </p>
 +
    </td>
 +
  <tr>
 +
  </tr>
 +
    <td>
 +
<p>is referred to as the ‘bifurcation point’.</p>
 +
    </td>
 +
  </tr>
 +
</table>
 +
 
 +
</p>
 +
<br>
 +
<h3>what is bistability?</h3>
 +
<p>If a system is bistable it can be stable in two distinct states. There are also stable oscillations, where the state of the system is stable but not at rest.</p>
 +
 
 +
<br>
 +
 
<center><img src="https://static.igem.org/mediawiki/2010/d/da/Bifurcation1diagram.png"/>
<center><img src="https://static.igem.org/mediawiki/2010/d/da/Bifurcation1diagram.png"/>
-
<p><b>Figure 1.</b>This is a graphical representation of bistability. Ball 2 ban be equally 'happy' in either the 'one' or 'three' positions. Once it falls into one of these states, ball 2 will not be inclined to leave this state, hence making it a "stable state."</p></center>
+
 
 +
<p style="font-size:10px"><b>Figure 1.</b>This is a graphical representation of bistability. Ball 2 can be equally<br>'happy' in either the 'one' or 'three' positions. Once it falls into one of these states,<br>ball 2 will not be inclined to leave this state, hence making it a "stable state".</p></center>
 +
 
 +
<br>
 +
 
<h3>Why are they important?</h3>
<h3>Why are they important?</h3>
-
<p>Analysing the stability of a system is a key to the success of a project. In biological terms, bistability represents the potential for out system to switch between the expression of green and cyan fluorescent proteins. Our goal is to analyse the parameter space in order to determine which parameters are needed to allow for bistability in the system.
+
 
 +
<p>Analyzing the stability of a system is key to understand its behaviour. In biological terms, bistability represents the potential for our system to switch between the expression of green- and cyan-fluorescent proteins. Our goal is to analyze the parameter space in order to determine which parameters are needed to allow for bistability in the system.</p>
 +
 
<br>
<br>
 +
<p>A bifurcation diagram has branches which define the possible states a system can be in. By analyzing the bifurcation plots, we can determine how far apart the two “branches”, or stable states, are. The further apart the branches, the harder it will be to attain a switch between the two stable states, however the switch also becomes more stable with increased distance between the branches. Therefore, we want to manipulate the parameters in the system to guarantee robust bistability.</p>
<br>
<br>
-
a bifurcation diagram has branches which define the possible states a system can rest in.  By analysing the bifurcation plots, we can determine how far apart the two "branches," or stable states, are.  The further apart the branches, the harder it will be to attain a switch between the two stable states, however the switch also becomes more stable with increased distance between the branches.  Therefore, we want to manipulate the parameters in the system to guarantee stable bistability.</p>
 
<h3>How do you analyse the stability of a system?</h3>
<h3>How do you analyse the stability of a system?</h3>
-
<p>In order to analyse the stability of the system, we utilised XPP Auto, C programming, and MATLAB. we will attempt to detail the math behind what the programme does computationally. The process involved with general stability analysis is as follows. We have takes a simple example system that is easy to analyse in order to demonstrate the general process:
+
 
 +
<p>In order to analyze the stability of the system, we utilized XPP Auto, C programming, and MATLAB. We will attempt to detail the math behind what the program does computationally.
<br>
<br>
<br>
<br>
-
Take the following example system of two differential equations:
+
The process involved with general stability analysis is as follows. We have taken a simple example system that is easy to analyze in order to demonstrate the general process:
<br>
<br>
-
<img src="https://static.igem.org/mediawiki/2010/5/59/Bistability_method1.png"/></p>
+
<br>
 +
Take the following example system of two differential equations:</p>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/5/59/Bistability_method1.png"/></center>
 +
<br>
 +
 
<h4><p>1. Set the differential equations to zero:</p></h4>
<h4><p>1. Set the differential equations to zero:</p></h4>
-
<p><img src="https://static.igem.org/mediawiki/2010/e/e0/Bistability_method2.png"/></p>
+
 
-
<h4><p>2. find the fixed points of the system of differential equations:</p></h4>
+
<br>
-
<p>There is a fixed point at x=y=0. By observation, we can see that there are fixed points at x=0, y=2, and x=3, y=0. Finally, by solving this system of equation, we see that there is also a fixed point at x=1 and y=1.</p>
+
<center><img src="https://static.igem.org/mediawiki/2010/e/e0/Bistability_method2.png"/></center>
 +
<br>
 +
 
 +
<h4><p>Find the fixed points of the system of differential equations</p></h4>
 +
<p>There is a fixed point at x = y = 0. By observation, we can see that there are fixed points at x = 0, y = 2, and x = 3, y=0. Finally, by solving this system of equations, we see that there is also a fixed point at x=1 and y=1.
 +
</p>
 +
<br>
 +
 
<h4><p>3. Evaluate the Jacobian matrix of the system at these fixed points:</p></h4>
<h4><p>3. Evaluate the Jacobian matrix of the system at these fixed points:</p></h4>
-
<p>If we label the top function <i>f1</i> and the bottom <i>f2</i>, the Jacobian matrix of the system will be of the form:
+
 
 +
<p>If we label the top function f1 and the bottom f2, the Jacobian of the system will be of the form:</p>
 +
 
<br>
<br>
-
<img src="https://static.igem.org/mediawiki/2010/6/6e/Bistability_method3.png"/>
+
 
 +
<center><img src="https://static.igem.org/mediawiki/2010/6/6e/Bistability_method3.png"/></center>
<br>
<br>
-
When we evaluate the Jacobian matrix for our example system of equations, we get:
+
 
 +
<p>When we evaluate the Jacobian matrix for our example system of equations, we get:</p>
<br>
<br>
-
<img src="https://static.igem.org/mediawiki/2010/9/95/Bistability_method4.png"/></p>
+
 
 +
<center><img src="https://static.igem.org/mediawiki/2010/9/95/Bistability_method4.png"/></center>
 +
 
 +
<br>
 +
 
<h4><p>4. Using the Jacobian matrix, find the corresponding eigenvalues:</p></h4>
<h4><p>4. Using the Jacobian matrix, find the corresponding eigenvalues:</p></h4>
-
<p><u>Definition</u>: An eigenvalue is a value λ such that =λx, where x is said to be an eigenvector of A. In order to solve for λ, solve the following equation:
+
 
 +
<p><u>Definition</u>: An eigenvalue is a value λ such that Ax = λx, where x is said to be an eigenvector of A. In order to solve for λ, solve the following equation
 +
</p>
 +
 
<br>
<br>
-
<img src="https://static.igem.org/mediawiki/2010/a/ac/Bistability_method5.png"/>
+
<center><img src="https://static.igem.org/mediawiki/2010/a/ac/Bistability_method5.png"/></center>
<br>
<br>
-
where det is the determinant of the matrix and I is the identity matrix. This is known as the the characteristic equation of a matrix.
+
 
 +
<p>where det is the determinant of the matrix and I is the identity matrix. This is known as the characteristic equation of a matrix.</p>
<br>
<br>
 +
 +
<p>In the case of our example system, the eigenvalues are:</p>
<br>
<br>
-
In the case of our example system, the eigenvalues are:
+
 
 +
<center><img src="https://static.igem.org/mediawiki/2010/4/4f/Bistability_method6.png"/></center>
<br>
<br>
-
</p>
+
<h4><p>5. Take the signs of these eigenvalues in order to analyse stability:</p></h4>
 +
<p>The eigenvalues of a system give important information about the stability of the system. The stability of each of the fixed points can be analyzed based on the following criteria:</p>
 +
<br>
 +
<center><table>
 +
  <tr>
 +
    <td>
 +
    Positive real and complex parts
 +
    </td>
 +
    <td>
 +
    :
 +
    </td>
 +
    <td>
 +
    Unstable
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>
 +
    Negative real and complex parts 
 +
    </td>
 +
    <td>
 +
    :
 +
    </td>
 +
    <td>
 +
    Stable
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>
 +
    Positive real part
 +
    </td>
 +
    <td>
 +
    :
 +
    </td>
 +
    <td>
 +
    Unstable spiral (spiraling out)
 +
    </td>
 +
  </tr>
 +
  <tr>
 +
    <td>
 +
    Negative real part
 +
    </td>
 +
    <td>
 +
    :
 +
    </td>
 +
    <td>
 +
    Stable spiral (spiraling inwards)
 +
    </td>
 +
  </tr>
 +
</table></center>
<br>
<br>
 +
<p>So, for our example system, it can be deduced that the stability at the fixed points is as follows:</p>
 +
 +
<br>
 +
<center>
 +
One positive and one negative eigenvalue at (0,0) means that <b>(0,0)</b> is a <b>saddle node</b>
 +
<br>
 +
Two negative eigenvalues at (0,2) means that <b>(0,2)</b> is a <b>stable node                </b>
 +
<br>
 +
Two negative eigenvalues at (3,0) means that <b>(3,0)</b> is a <b>stable node                </b>
 +
<br>
 +
One positive and one negative eigevalue at (1,1) means that <b>(1,1)</b> is a <b>saddle node</b></center>
 +
<br>
 +
 +
<h3>The simulations involved</h3>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/5/50/Bifurcation_diagram2.png"/>
 +
<p style="font-size:10px"><b>Figure 2.</b> Figure 2: This is a bifurcation diagram that we generated using Maple. It ranges over the parameter space of
 +
<br>
 +
P1 and C (protein 1, or GFP, and a dimensionless group of parameters) and plots the fixed points of the system at those values.
 +
</p></center>
 +
<br>
 +
 +
<p> Where there are three fixed points the system will exhibit bistability. We also know that the further apart the two outer ‘prongs’ the more stable the two definitive fixed states will be, however this makes it more difficult to switch between states.</p>
 +
<br><br>
 +
<hr>
 +
<table class="nav">
 +
<tr>
 +
<td>
 +
<a href="https://2010.igem.org/Team:Aberdeen_Scotland/Fixed_Points"><img src="https://static.igem.org/mediawiki/2010/8/8e/Left_arrow.png">&nbsp;&nbsp;Return to Nullclines and Fixed Points</a>
 +
</td>
 +
<td align="right">
 +
<a href="https://2010.igem.org/Team:Aberdeen_Scotland/Stochastic_Model">Continue to the Stochastic Model&nbsp;&nbsp;<img src="https://static.igem.org/mediawiki/2010/3/36/Right_arrow.png"></a>
 +
</td>
 +
</tr>
 +
</table>
</html>
</html>
 +
{{:Team:Aberdeen_Scotland/Footer}}

Latest revision as of 15:38, 27 October 2010

University of Aberdeen - ayeSwitch - iGEM 2010

Bifurcation Analysis

The literal meaning of bifurcation is, “division into two parts, branches, or aspects” (Answers). In mathematics, this ‘division’ is in reference to when

a non-linear equation suddenly changes its behaviour qualitatively when a parameter of the system is varied. The point at which bifurcation occurs

is referred to as the ‘bifurcation point’.


what is bistability?

If a system is bistable it can be stable in two distinct states. There are also stable oscillations, where the state of the system is stable but not at rest.


Figure 1.This is a graphical representation of bistability. Ball 2 can be equally
'happy' in either the 'one' or 'three' positions. Once it falls into one of these states,
ball 2 will not be inclined to leave this state, hence making it a "stable state".


Why are they important?

Analyzing the stability of a system is key to understand its behaviour. In biological terms, bistability represents the potential for our system to switch between the expression of green- and cyan-fluorescent proteins. Our goal is to analyze the parameter space in order to determine which parameters are needed to allow for bistability in the system.


A bifurcation diagram has branches which define the possible states a system can be in. By analyzing the bifurcation plots, we can determine how far apart the two “branches”, or stable states, are. The further apart the branches, the harder it will be to attain a switch between the two stable states, however the switch also becomes more stable with increased distance between the branches. Therefore, we want to manipulate the parameters in the system to guarantee robust bistability.


How do you analyse the stability of a system?

In order to analyze the stability of the system, we utilized XPP Auto, C programming, and MATLAB. We will attempt to detail the math behind what the program does computationally.

The process involved with general stability analysis is as follows. We have taken a simple example system that is easy to analyze in order to demonstrate the general process:

Take the following example system of two differential equations:



1. Set the differential equations to zero:



Find the fixed points of the system of differential equations

There is a fixed point at x = y = 0. By observation, we can see that there are fixed points at x = 0, y = 2, and x = 3, y=0. Finally, by solving this system of equations, we see that there is also a fixed point at x=1 and y=1.


3. Evaluate the Jacobian matrix of the system at these fixed points:

If we label the top function f1 and the bottom f2, the Jacobian of the system will be of the form:



When we evaluate the Jacobian matrix for our example system of equations, we get:



4. Using the Jacobian matrix, find the corresponding eigenvalues:

Definition: An eigenvalue is a value λ such that Ax = λx, where x is said to be an eigenvector of A. In order to solve for λ, solve the following equation



where det is the determinant of the matrix and I is the identity matrix. This is known as the characteristic equation of a matrix.


In the case of our example system, the eigenvalues are:



5. Take the signs of these eigenvalues in order to analyse stability:

The eigenvalues of a system give important information about the stability of the system. The stability of each of the fixed points can be analyzed based on the following criteria:


Positive real and complex parts : Unstable
Negative real and complex parts : Stable
Positive real part : Unstable spiral (spiraling out)
Negative real part : Stable spiral (spiraling inwards)

So, for our example system, it can be deduced that the stability at the fixed points is as follows:


One positive and one negative eigenvalue at (0,0) means that (0,0) is a saddle node
Two negative eigenvalues at (0,2) means that (0,2) is a stable node
Two negative eigenvalues at (3,0) means that (3,0) is a stable node
One positive and one negative eigevalue at (1,1) means that (1,1) is a saddle node

The simulations involved


Figure 2. Figure 2: This is a bifurcation diagram that we generated using Maple. It ranges over the parameter space of
P1 and C (protein 1, or GFP, and a dimensionless group of parameters) and plots the fixed points of the system at those values.


Where there are three fixed points the system will exhibit bistability. We also know that the further apart the two outer ‘prongs’ the more stable the two definitive fixed states will be, however this makes it more difficult to switch between states.





Back to the Top