Saint Petersburg/ModelFormulation

From 2007.igem.org

(Difference between revisions)
m
Line 1: Line 1:
-
'''Formulation of the model'''
+
'''Bistable behaviour of two repressors, mutually reperssing each other'''
 +
'''''Formulation of the model'''''
Lets establish the model. The generic phase variables ''A'' and ''B'' correspond to the concentrations of the two repressors, coded by operons indexed ''a'' and ''b'' respectively. Let the two promotors have basic efficiencies ''E<sub>A</sub>'' and ''E<sub>B</sub>'' and the products are degraded by first-order process with rate constants ''D<sub>A</sub>'' and ''D<sub>B</sub>''. The high efficiency and fast degradation will be crucial for functioning of the device, as rapid increase and decrease of the repressor are a must for fast switching.
Lets establish the model. The generic phase variables ''A'' and ''B'' correspond to the concentrations of the two repressors, coded by operons indexed ''a'' and ''b'' respectively. Let the two promotors have basic efficiencies ''E<sub>A</sub>'' and ''E<sub>B</sub>'' and the products are degraded by first-order process with rate constants ''D<sub>A</sub>'' and ''D<sub>B</sub>''. The high efficiency and fast degradation will be crucial for functioning of the device, as rapid increase and decrease of the repressor are a must for fast switching.
Line 7: Line 8:
In the listed assumption the dynamic behavior of the system is described by the following differential equations:
In the listed assumption the dynamic behavior of the system is described by the following differential equations:
-
(I)
+
[[Image:SPb_eqn_002.jpg]](I)
Classical analysis of dynamic systems implies finding of equilibrium or stationary points, where both derivatives are zero.  
Classical analysis of dynamic systems implies finding of equilibrium or stationary points, where both derivatives are zero.  
-
(IIa)   (IIb)
+
[[Image:SPb_eqn_004.jpg]](IIa)         [[Image:SPb_eqn_006.jpg]](IIb)
We transform the system to reduced variables ''X'' and ''Y'' that are equal to ''R<sub>A</sub>A'' and ''R<sub>B</sub>B''.  
We transform the system to reduced variables ''X'' and ''Y'' that are equal to ''R<sub>A</sub>A'' and ''R<sub>B</sub>B''.  
-
(III)
+
[[Image:SPb_eqn_008.jpg]](III)
''P'', ''Q'' and ''J'' equal ''R<sub>A</sub>E<sub>A</sub>/D<sub>A</sub>'', ''R<sub>B</sub>E<sub>B</sub>/D<sub>B</sub>'' and ''R<sub>A</sub>Z/D<sub>A</sub>'' respectively. This transformation has two advantages. First, it reduces the number of parameters. Second, it makes the equations linear with respect to parameters (except for cooperativity indices). The natural phase space of this system is a rectangle   
''P'', ''Q'' and ''J'' equal ''R<sub>A</sub>E<sub>A</sub>/D<sub>A</sub>'', ''R<sub>B</sub>E<sub>B</sub>/D<sub>B</sub>'' and ''R<sub>A</sub>Z/D<sub>A</sub>'' respectively. This transformation has two advantages. First, it reduces the number of parameters. Second, it makes the equations linear with respect to parameters (except for cooperativity indices). The natural phase space of this system is a rectangle   

Revision as of 10:46, 9 October 2007

Bistable behaviour of two repressors, mutually reperssing each other Formulation of the model

Lets establish the model. The generic phase variables A and B correspond to the concentrations of the two repressors, coded by operons indexed a and b respectively. Let the two promotors have basic efficiencies EA and EB and the products are degraded by first-order process with rate constants DA and DB. The high efficiency and fast degradation will be crucial for functioning of the device, as rapid increase and decrease of the repressor are a must for fast switching.

The influence of the repressor on promoter activity will be described by the simplest way. We assume that when the repressor is strong, so that if it is not bound to operator, the promoter has the efficiency equal to E, and when it is bound to the operator it blocks the transcription. So the repression is inflicted only by equilibrium binding. This is too simple, but quite realistic model. RA and RB are repression efficiencies of the two operators. They correspond to concentration of repressor, that inflict 2-fold decrease of efficiency and may be calculated from the binding constants of the repressor. The powers m and n stand for cooperativity. In case of one repressor molecule and one operator it should be close to one. In repressors with two-part operators (e.g. cI repressor) two molecules of the repressor bind the operator cooperatively, so that the effect should be approximately square of concentration (at least at low concentrations) and so on. In real world cooperativity index (which may be though of as a Hill coefficient) may be fractional, the crucial thing, that we can control it by placing several operator sequences into the promoter. To make our system have some sense we also should include an input Z, that could be thought as activity of additional promoter in operon a. The outputs could be easily coupled to both operons a (in phase with input) and b (opposite phase).

In the listed assumption the dynamic behavior of the system is described by the following differential equations:

File:SPb eqn 002.jpg(I)

Classical analysis of dynamic systems implies finding of equilibrium or stationary points, where both derivatives are zero.

File:SPb eqn 004.jpg(IIa) File:SPb eqn 006.jpg(IIb)

We transform the system to reduced variables X and Y that are equal to RAA and RBB.

File:SPb eqn 008.jpg(III)

P, Q and J equal RAEA/DA, RBEB/DB and RAZ/DA respectively. This transformation has two advantages. First, it reduces the number of parameters. Second, it makes the equations linear with respect to parameters (except for cooperativity indices). The natural phase space of this system is a rectangle

0 < X < P+J, 0 < Y < Q

The solutions can be visualized on the graph. In Fig. 1 the black lines indicate the zero lines for the first equation, the red lines – zeroes of the second. The cross points are stationary points. The analysis of the graph immediately yields the following findings: 1. The curves start at finite value at one axis and end asymptotically parallel to the other. 2. The curves are smooth and monotonous 3. The number of cross points is odd.

It is easy to prove now, without any algebra, that either there is one stationary point that is stable, or three stationary points, the edge points are stable and the middle point is unstable. Such properties immediately hint for the presence of cusp catastrophe in the parameter space and pitchfork bifurcation in phase space.