Team:Valencia UPV/Modeling/gene expresion

From 2014.igem.org

(Difference between revisions)
Line 7: Line 7:
             <li><a href="#Results">Results</a></li>
             <li><a href="#Results">Results</a></li>
     </ul>
     </ul>
 +
</html>
 +
== Group behavior ==
 +
<html>
 +
<div style="text-align:center; display: block;">
 +
<iframe width="480" height="320" src="//www.youtube.com/embed/93LK9EVeT3o?wmode=transparent" frameborder="0" wmode="Opaque" allowfullscreen></iframe>
 +
<br/>
 +
<span style="font-size:10px;"><i>One of the 3D simulations performed in SciLab.</i></span>
 +
</div>
 +
</html>
 +
<br/>
 +
In practice, a single <i>C. elegans</i> is not employed to perform the task but a group of worms. In this case, the random walk equations obtained for a single worm behavior can be transformed into partial differential equations (PDEs), using Taylor series, to depict the distribution of the population, as the ones describing a diffusion process (<html><b><a href="https://2013.igem.org/Team:Valencia_Biocampus/Demonstration/Diffusion3"><img src="https://static.igem.org/mediawiki/2013/7/79/WarningIcon.gif" alt="Note:" height="24" width="24"/> Click here for a mathematical proof of one dimensional diffusion process using PDEs from random walk</a></b></html>)
 +
 +
<br/>However, in our case we face a diffusion system with drift, in which the last term arises from the biased movement of <i>C. elegans</i>. To obtain a PDE that reflects this behavior, we employed difference equations also using Taylor series and apropiate limits (<html><b><a href="https://2013.igem.org/Team:Valencia_Biocampus/Demonstration/Diffusion1"><img src="https://static.igem.org/mediawiki/2013/7/79/WarningIcon.gif" alt="Note:" height="24" width="24"/> Click here for a mathematical proof of two dimensional biased diffusion process (C. elegans chemotaxis behavior) using PDEs from biased random walk</a></b></html>)
 +
<br/>The equation is the following:
 +
$$\frac{\partial [C]}{\partial t} = D\;\nabla^2[C] - \nabla\cdot(\underline{\nu}\;[C]) $$
 +
<br/>Once obtanied the equation that governs our system, we proceed to study if it works correctly for our purpose. However, analytical solutions for this equation are known for few ideal cases. For example, for a monodimensional bistable potential the stationary state is the following (<i>Okopinska, 2002</i>):
 +
$$ P_{ss}=\mathscr{N}^{-1} e^{\left(-V(x)/D\right)}$$ where $ \mathscr{N} $ is the normalization constant.
 +
<br/>
 +
<br/>
 +
<html>
 +
<div style="text-align: center; display: block;">
 +
<a href="https://static.igem.org/mediawiki/2013/3/36/Empl.jpg" rel="lightbox-groupb" title="Solution">
 +
<img src="https://static.igem.org/mediawiki/2013/3/36/Empl.jpg" class="thumbnail" width="300" height="187" style="float: none; display: inline" alt="Solution"/>
 +
</a>
 +
</div>
 +
</html>
 +
<br/>
 +
<b>As seen, our system, can theoretically work as expected, depending on the shape of the chemoattractant only. This is a great result because it shows our worms are capable of reaching each region.</b>
 +
<br>
 +
<br>Our final goal in this section is predicting the temporal and spatial behavior in 2D for non-ideal problems. In this case, using numerical methods is the only way to solve the system.
 +
<br>
 +
<br>For the 2-dimensional case, $[C] = [C(x, y, t)]$ is the concentration of <i>C. elegans</i> at a given instant $t$ and at a given point $(x, y)$, $D$ is the diffusion coefficient and $\overrightarrow{\nu}$ is the attraction field for the <i>C. elegans</i>, which basically stands for its velocity. This expression naturally expands to:
 +
$$\frac{\partial [C]}{\partial t} = D \; \left(\frac{\partial^2 [C]}{\partial x^2} + \frac{\partial^2 [C]}{\partial y^2}\right) - \left(\frac{\partial\nu_x}{dx}[C] + \nu_x\frac{\partial [C]}{\partial x} + \frac{\partial\nu_y}{dy}[C] + \nu_y\frac{\partial [C]}{\partial y}\right) $$
 +
 +
We first started by building up an <i>explicit finite difference method</i>, this is numerically fast but it is prone to instabilities in the solutions. Therefore, we decided to develop a <i>Crank-Nicolson</i> method which is <i>unconditionally stable</i>, thus being suitable to carry out <i>parameter identification</i> of a model. Nevertheless, it has the drawback of being numerically more intensive, because a set of algebraic equations must be solved in each iteration (<html><b><a href="https://2013.igem.org/Team:Valencia_Biocampus/Demonstration/Diffusion2"><img src="https://static.igem.org/mediawiki/2013/7/79/WarningIcon.gif" alt="Note:" height="24" width="24"/> Click here for a mathematical explanation of the Crank-Nicolson method</a></b></html>).
 +
 +
<br/>Now, we can predict the behavior of a set of worms in presence of a chemoatractant. One must have into account that the system may behave differently depending on some variables, for example, the diffusion coefficient $D$, a constant $k$ that determines the <i>weight</i> that the drift variable $\nu$ has and the time constants for the chemoattractant diffusion $t_1$ and $t_2$, where $t_1$ is the elapsed time since a first chemoattractant drop is put into the petri plate, $t_2$ stands for the elapsed time since a second drop of chemoattractant is put into the petri plate until a <i>C.elegans</i> initial distribution is added, the diffusion of chemoattractants is then assumed to be negligible for simplicity reasons. According to these parameters, we performed a lot of simulations using <i>SciLab</i>, what they all have in common is the position of the four chemotactic sources. The simulations were performed by first varying only $t_1$ and $t_2$ for some given $D$ and $k$ ($D = 0.2$ &amp; $k = 0.001$):<br/><br/>
 +
<html>
 +
 +
<div class="clearfix"></div>
 +
<div style="display: block; text-align: center;">
 +
 +
<a href="https://static.igem.org/mediawiki/2013/2/26/T1_5-t2_6.jpg" rel="lightbox-groupbsims1" title="t1 = 5, t2 = 6">
 +
<img src="https://static.igem.org/mediawiki/2013/2/26/T1_5-t2_6.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 5, t2 = 6"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 5, $t_2$ = 6</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/0/0a/T1_5-t2_12.jpg" rel="lightbox-groupbsims1" title="t1 = 5, t2 = 12">
 +
<img src="https://static.igem.org/mediawiki/2013/0/0a/T1_5-t2_12.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 5, t2 = 12"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 5, $t_2$ = 12</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/8/83/T1_10-t2_12.jpg" rel="lightbox-groupbsims1" title="t1 = 10, t2 = 12">
 +
<img src="https://static.igem.org/mediawiki/2013/8/83/T1_10-t2_12.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 10, t2 = 12"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 10, $t_2$ = 12</span>
 +
</div>
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
 +
<a href="https://static.igem.org/mediawiki/2013/f/f6/T1_10-t2_24.jpg" rel="lightbox-groupbsims1" title="t1 = 10, t2 = 24">
 +
<img src="https://static.igem.org/mediawiki/2013/f/f6/T1_10-t2_24.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 10, t2 = 24"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 10, $t_2$ = 24</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/e/ea/T1_15-t2_24.jpg" rel="lightbox-groupbsims1" title="t1 = 15, t2 = 24">
 +
<img src="https://static.igem.org/mediawiki/2013/e/ea/T1_15-t2_24.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 15, t2 = 24"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 15, $t_2$ = 24</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/a/a5/T1_15-t2_48.jpg" rel="lightbox-groupbsims1" title="t1 = 15, t2 = 48">
 +
<img src="https://static.igem.org/mediawiki/2013/a/a5/T1_15-t2_48.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 15, t2 = 48"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 15, $t_2$ = 48</span>
 +
 +
</div>
 +
<div class="clearfix"></div>
 +
<br/>
 +
</html>
 +
 +
<div class="clearfix"></div>
 +
<br/>
 +
It can be observed by ploting the <i>drift field</i> for each case, that the final distribution is mostly dependent on the mentioned <i>drift field</i>, which in fact is mostly dependent on $t_1$ and $t_2$. Here we present the <b>drift fields</b> for each case:<br/><br/>
 +
<html>
 +
<div class="accordion" id="Images2-accordion">
 +
  <div class="accordion-group">
 +
    <div class="accordion-heading">
 +
      <a class="accordion-toggle" data-toggle="collapse" data-parent="#Images2-accordion" href="#collapseim2">
 +
        <i>Click here to open / close the simulations</i>
 +
      </a>
 +
    </div>
 +
    <div id="collapseim2" class="accordion-body collapse">
 +
      <div class="accordion-inner">
 +
<div class="clearfix"></div>
 +
<div style="display: block; text-align: center;">
 +
 +
<a href="https://static.igem.org/mediawiki/2013/4/4d/T1_5-t2_6v.jpg" rel="lightbox-groupbsims2" title="t1 = 5, t2 = 6">
 +
<img src="https://static.igem.org/mediawiki/2013/4/4d/T1_5-t2_6v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 5, t2 = 6"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 5, $t_2$ = 6</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/6/65/T1_5-t2_12v.jpg" rel="lightbox-groupbsims2" title="t1 = 5, t2 = 12">
 +
<img src="https://static.igem.org/mediawiki/2013/6/65/T1_5-t2_12v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 5, t2 = 12"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 5, $t_2$ = 12</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/d/db/T1_10-t2_12v.jpg" rel="lightbox-groupbsims2" title="t1 = 10, t2 = 12">
 +
<img src="https://static.igem.org/mediawiki/2013/d/db/T1_10-t2_12v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 10, t2 = 12"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 10, $t_2$ = 12</span>
 +
</div>
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
 +
<a href="https://static.igem.org/mediawiki/2013/2/29/T1_10-t2_24v.jpg" rel="lightbox-groupbsims2" title="t1 = 10, t2 = 24">
 +
<img src="https://static.igem.org/mediawiki/2013/2/29/T1_10-t2_24v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 10, t2 = 24"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 10, $t_2$ = 24</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/b/b9/T1_15-t2_24v.jpg" rel="lightbox-groupbsims2" title="t1 = 15, t2 = 24">
 +
<img src="https://static.igem.org/mediawiki/2013/b/b9/T1_15-t2_24v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 15, t2 = 24"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 15, $t_2$ = 24</span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/3/35/T1_15-t2_48v.jpg" rel="lightbox-groupbsims2" title="t1 = 15, t2 = 48">
 +
<img src="https://static.igem.org/mediawiki/2013/3/35/T1_15-t2_48v.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="t1 = 15, t2 = 48"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">$t_1$ = 15, $t_2$ = 48</span>
 +
 +
</div>
 +
<div class="clearfix"></div>
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
<br/>
 +
</html>
 +
 +
<div class="clearfix"></div>
 +
 +
Qualitatively, it can be seen through these simulations that incrementing $t_1$ <i>or</i> $t_2$ disperses and smoothes the drift field which actually affects the final distribution of <i>C.elegans</i> by dispersing it.<br/><br/>
 +
 +
Videos corresponding to each simulation can also be seen here:<br/><br/>
 +
 +
<html>
 +
<div class="accordion" id="Videos1-accordion">
 +
  <div class="accordion-group">
 +
    <div class="accordion-heading">
 +
      <a class="accordion-toggle" data-toggle="collapse" data-parent="#Videos1-accordion" href="#collapse1">
 +
        <i>Click here to open / close the simulations</i>
 +
      </a>
 +
    </div>
 +
    <div id="collapse1" class="accordion-body collapse">
 +
      <div class="accordion-inner">
 +
<div style="text-align: center; display: block;">
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/q5Mw16EGiSo?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/2Re2WLowjps?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/b6FE2VyWx5w?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
</div>
 +
 +
<div style="text-align: center; display: block;">
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/7x-aWoxKfOw?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/Zb4gmPRlXfA?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/HIIH7HvdaZw?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
</html>
 +
 +
<br/>
 +
And then by varying only $D$ and $k$ (separately, of course) for some given $t_1$ and $t_2$ ($t_1 = 10$ hours &amp; $t_2 = 12$ hours):<br/><br/>
 +
 +
<html>
 +
<div class="accordion" id="Images3-accordion">
 +
  <div class="accordion-group">
 +
    <div class="accordion-heading">
 +
      <a class="accordion-toggle" data-toggle="collapse" data-parent="#Images3-accordion" href="#collapseim3">
 +
        <i>Click here to open / close the simulations</i>
 +
      </a>
 +
    </div>
 +
    <div id="collapseim3" class="accordion-body collapse">
 +
      <div class="accordion-inner">
 +
<br/>
 +
<div class="clearfix"></div>
 +
<div style="display: block; text-align: center;">
 +
 +
<a href="https://static.igem.org/mediawiki/2013/d/d3/T1_10-t2_12D0-05k0-001.jpg" rel="lightbox-groupbsims" title="D = 0.05, k = 0.001">
 +
<img src="https://static.igem.org/mediawiki/2013/d/d3/T1_10-t2_12D0-05k0-001.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.05, k = 0.001"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.05, k = 0.001, <b>D/k = 50</b></span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/1/14/T1_10-t2_12D0-1k0-001.jpg" rel="lightbox-groupbsims" title="D = 0.1, k = 0.001">
 +
<img src="https://static.igem.org/mediawiki/2013/1/14/T1_10-t2_12D0-1k0-001.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.1, k = 0.001"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.1, k = 0.001, <b>D/k = 100</b></span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/c/cd/T1_10-t2_12D0-2k0-001.jpg" rel="lightbox-groupbsims" title="D = 0.2, k = 0.001">
 +
<img src="https://static.igem.org/mediawiki/2013/c/cd/T1_10-t2_12D0-2k0-001.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.2, k = 0.001"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.2, k = 0.001, <b>D/k = 200</b></span>
 +
</div>
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
<a href="https://static.igem.org/mediawiki/2013/4/4d/T1_10-t2_12D0-05k0-0005.jpg" rel="lightbox-groupbsims" title="D = 0.05, k = 0.0005">
 +
<img src="https://static.igem.org/mediawiki/2013/4/4d/T1_10-t2_12D0-05k0-0005.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.05, k = 0.0005"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.05, k = 0.0005, <b>D/k = 100</b></span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/b/bd/T1_10-t2_12D0-1k0-0005.jpg" rel="lightbox-groupbsims" title="D = 0.1, k = 0.0005">
 +
<img src="https://static.igem.org/mediawiki/2013/b/bd/T1_10-t2_12D0-1k0-0005.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.1, k = 0.0005"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.1, k = 0.0005, <b>D/k = 200</b></span>
 +
 +
<a href="https://static.igem.org/mediawiki/2013/5/50/T1_10-t2_12D0-2k0-0005.jpg" rel="lightbox-groupbsims" title="D = 0.2, k = 0.0005">
 +
<img src="https://static.igem.org/mediawiki/2013/5/50/T1_10-t2_12D0-2k0-0005.jpg" class="thumbnail" width="150" height="113" style="float: none; display: inline" alt="D = 0.2, k = 0.0005"/>
 +
</a>
 +
<span style="font-size:10px; text-align:center; padding: 6px;">D = 0.2, k = 0.0005, <b>D/k = 400</b></span>
 +
 +
</div>
 +
<div class="clearfix"></div>
 +
<br/>
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
</html>
 +
 +
 +
According to these results, qualitatively, higher values of $D$ <i>or</i> lower values of $k$ (and thus a greater $D/k$ relation) give a much more disperse distribution of <i>C.elegans</i>.<br/><br/>
 +
 +
Videos corresponding to each simulation can be seen here:<br/>
 +
<html>
 +
<div class="accordion" id="Videos2-accordion">
 +
  <div class="accordion-group">
 +
    <div class="accordion-heading">
 +
      <a class="accordion-toggle" data-toggle="collapse" data-parent="#Videos2-accordion" href="#collapse2">
 +
        <i>Click here to open / close the simulations</i>
 +
      </a>
 +
    </div>
 +
    <div id="collapse2" class="accordion-body collapse">
 +
      <div class="accordion-inner">
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/4EkeLWBuReg?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/gOSlr_uuk6g?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/b6FE2VyWx5w?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
</div>
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/OdvyX5NXfw4?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/Gy6tG9IYTQg?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/nEiVlqN5qUg?wmode=transparent" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
</div>
 +
</html>
 +
<br/>
 +
 +
We also carried out some simulations with different number of attractant sources. One can find simulations with $1$, $2$ and $3$ sources, and parameters $D\;=\;0.2$, $k\;=\;0.001$ (thus $D/k\;=\;200$) here:<br/>
 +
<html>
 +
<div class="accordion" id="Videos3-accordion">
 +
  <div class="accordion-group">
 +
    <div class="accordion-heading">
 +
      <a class="accordion-toggle" data-toggle="collapse" data-parent="#Videos3-accordion" href="#collapse3">
 +
        <i>Click here to open / close the simulations</i>
 +
      </a>
 +
    </div>
 +
    <div id="collapse3" class="accordion-body collapse">
 +
      <div class="accordion-inner">
 +
<br/>
 +
<div style="text-align: center; display: block;">
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/-YuMvpzCx14" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/8rZEZxwdriQ" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
<iframe width="300" height="168" src="//www.youtube.com/embed/YK7JeH4Jeyg" wmode="Opaque" frameborder="0" allowfullscreen></iframe>
 +
 +
</div>
 +
</div>
 +
    </div>
 +
  </div>
 +
</div>
 +
</html>
 +
 +
<div class="clearfix"></div><br/>
 +
 +
Parameter identification in PDEs is a rather complex topic, we did some research concerning our Group Behavior Model which is a <html><a href="http://en.wikipedia.org/wiki/Fokker%E2%80%93Planck_equation"><i>Fokker-Planck Equation</i></a></html> with a somewhat complex drift term $\nu$, which depends on position in our model (it could also depend on more factors which would add even more complexity to the system and therefore we didn't study them). We weren't lucky enough to find anything related to the topic (at least with the time we had), so we thought about implementing our own algorithms, based on an <i>educated guess</i> (As usual all the code we wrote can be found under the <html><a href="https://2013.igem.org/Team:Valencia_Biocampus/Devices#Software">Software section</a></html>). We wanted to study the <i>spatial time constant</i> of the system, that is, <b>how long does it take for the system to reach an stable spatial distribution?</b> We thought about a obtaining a variable <span style="font-size:14px;">$\mathcal{V}$</span> that would grow asimptotically after some time <span style="font-size:14px;">$\tau_{xy}$</span> (the spatial time constant). That is, our variable $\mathcal{V} \rightarrow C$ as $\tau_{xy} \rightarrow +\infty$. We then came up with the idea that local maxima would be a good way to define when the spatial distribution was stable, so we decided that the slower local maximum (that is the local maximum which is the slowest in stabilizing to its final position) would be a good approach to define the spatial time constant $\tau_{xy}$.
 +
<br/>
 +
Therefore we needed an algorithm to calculate all the local maxima at a given instant and also to determine when they have "stopped" moving, so we programmed an approximate algorithm to find the local maxima in <i>SciLab</i> and used a more or less small band centered around the final value to determine $\tau_{xy}$. An example of the graphs we obtained through this process can be seen here:
 +
<br/>
 +
<br/>
 +
<html>
 +
<div style="text-align:center; display: block;">
 +
<a href="https://static.igem.org/mediawiki/2013/d/d4/TauD1k001ident.png" rel="lightbox-group132" title="Identifying tau_xy">
 +
<img src="https://static.igem.org/mediawiki/2013/d/d4/TauD1k001ident.png" class="thumbnail" width="300" height="226" style="float: none; display: inline" alt="tau_xy identification"/>
 +
</a>
 +
</div>
 +
<div class="clearfix"></div>
 +
</html>
 +
<br/>
 +
 +
So we carried out several simulations with different values for our parameters $D$ and $k$, in order to obtain the forementioned relationship between $D$, $k$ and $\tau_{xy}$.
 +
<br/>
 +
<br/>
 +
First of all, we managed to plot and obtain the function that relates $D$ with $\tau_{xy}$, for $k=0.00025,\;0.0003,\;0.000375,\;0.0005$ and $0.001$. And as one can observe, different values of $k$ just move the curves but the main shape of the functionals remains the same, that is, exponential (with rather great coefficients of determination).
 +
<br/>
 +
<br/>
 +
<html>
 +
<div style="text-align: center; display: block;">
 +
<a href="https://static.igem.org/mediawiki/2013/1/12/Tau_vs_D.png" rel="lightbox-groupb" title="tau_vs_D">
 +
<img src="https://static.igem.org/mediawiki/2013/1/12/Tau_vs_D.png" class="thumbnail" width="550" height="280" style="float: none; display: inline" alt="Solution"/>
 +
</a>
 +
</div>
 +
</html>
 +
<br/>
 +
From the results we hypothesized that the general form of the functional (depending on $k$) was as follows:
 +
<br/>
 +
<br/>
 +
$$D(\tau_{xy},k) = f(k)e^{\left(g(k)\tau_{xy}\right)}$$
 +
<br/>
 +
We then plotted the coefficients $f(k)$ and $g(k)$ vs. $k$, as shown here:
 +
<br/>
 +
 +
<html>
 +
<div style="text-align: center;">
 +
<a href="https://static.igem.org/mediawiki/2013/d/d9/F%28k%29.png" rel="lightbox-groupb" title="tau_vs_D">
 +
<img src="https://static.igem.org/mediawiki/2013/d/d9/F%28k%29.png" class="thumbnail" width="550" height="280" style="float: none; display: inline" alt="Solution"/>
 +
</a>
 +
</div>
 +
<br/>
 +
<div style="text-align: center;">
 +
<a href="https://static.igem.org/mediawiki/2013/e/ee/G%28k%29.png" rel="lightbox-groupb" title="tau_vs_D">
 +
<img src="https://static.igem.org/mediawiki/2013/e/ee/G%28k%29.png" class="thumbnail" width="550" height="280" style="float: none; display: inline" alt="Solution"/>
 +
</a>
 +
</div>
 +
</html>
 +
<br/>
 +
 +
We first obtained a quadratic regression and the resulting equations for $f(k)$ and $g(k)$ were:
 +
$$f(k) = 3e6\;k^2 - 4658.1\;k+1.9523$$
 +
$$g(k) = 6177.4\;k^2 - 11.907\;k-0.0013$$
 +
But $R^2$ was about $80.17\%$ for $f(k)$, way too low, so then we decided to obtain a better model by using Lagrange's Interpolating Polynomials, which are represented by the green curves on the graphs above. Thus we obtained the following final equation for $D$:
 +
<br/>
 +
<span style="font-size:11px;">$$D(\tau_{xy},k) = \left(-3.4061e13\;k^4+4.22776e10\;k^3+3.2955e6\;k^2-15277\;k+4.19004 \right)\;e^{\left(2.31802e11\;k^4-4.23644e8\;k^3+241467\;k^2-57.5001\;k+0.0008832 \right)\;\tau_{xy}}$$</span>
 +
From this the equation for $\tau_{xy}$ can be obtained:
 +
<br/>
 +
<span style="font-size:11px;">$$\tau_{xy}(D,k) = \frac{1}{0.0008832 - 57.5001\; k + 241467\; k^2 - 4.23644e8\; k^3+2.31802e11\; k^4} log\left(\frac{D}{4.19004 - 15277\; k + 3.2955e6\; k^2 + 4.22776e10\; k^3 - 3.4061e13\; k^4}\right)$$</span>
 +
<br/>
 +
Where $D$ and $k$ are the mentioned parameters of the model and $\log$ refers to the natural logarithm (base $e$).
 +
<br/>
 +
<br/>
 +
The average of the relative error is somewhat lower (at least in the studied region), about $8.00677\%$, compared to about $9.4\%$ for the first approximation.
 +
<br/>
 +
<br/>
 +
From this equations we tried to obtain the parameters $D$ and $k$ for our model by stablishing a relationship that would not lead to dirac deltas in the final solution, which is what usually happened and is the theoretical solution provided the initial distribution of worms is also a dirac delta. Therefore we obtained the relationship $\frac{D}{k} = 502.2$ that would lead to a temporal stabilisation of the distribution, meaning no dirac deltas would arise. The intention was to provide our wetlab mates with theoretical data to improve their experiments and therefore creating a feedback loop in which they could provide data to us to improve our model even more and they would receive result back and so on. But, in fact, with the obtained relationship and our data we weren't able to find correct values for $D$ and $k$. We think this maybe due to the restricted region for $\tau_{xy}$, $D$ and $k$ that we studied. We also think that through the same process we would be able to achieve correct relationships for the variables in other regions of interests the problem is with increasingly small $D$ and $k$ parameters, come increasingly large times for the simulations to run and we weren't able to do so in our personal computers. This would therefore be a future task, to carry out more simulations maybe on a computer cluster with parallelization. We think that then the principles we followed would still hold.
 +
<br/>
 +
<br/>
 +
 +
-----
 +
Okopinska A. (2002) <i>Fokker-Planck equation for bistable potential in the optimized expansion</i>. Physical review E, Volume 65, 062101 <br/>
 +
 +
<html>
 +
</div><div class="tab-pane fade" id="System">
 +
</html>
 +
 +
<html>
<script>
<script>
$('#overlay').width($(window).width()).height($(window).height());
$('#overlay').width($(window).width()).height($(window).height());

Revision as of 19:02, 6 September 2014

Group behavior


One of the 3D simulations performed in SciLab.

In practice, a single C. elegans is not employed to perform the task but a group of worms. In this case, the random walk equations obtained for a single worm behavior can be transformed into partial differential equations (PDEs), using Taylor series, to depict the distribution of the population, as the ones describing a diffusion process (Note: Click here for a mathematical proof of one dimensional diffusion process using PDEs from random walk)


However, in our case we face a diffusion system with drift, in which the last term arises from the biased movement of C. elegans. To obtain a PDE that reflects this behavior, we employed difference equations also using Taylor series and apropiate limits (Note: Click here for a mathematical proof of two dimensional biased diffusion process (C. elegans chemotaxis behavior) using PDEs from biased random walk)
The equation is the following: $$\frac{\partial [C]}{\partial t} = D\;\nabla^2[C] - \nabla\cdot(\underline{\nu}\;[C]) $$
Once obtanied the equation that governs our system, we proceed to study if it works correctly for our purpose. However, analytical solutions for this equation are known for few ideal cases. For example, for a monodimensional bistable potential the stationary state is the following (Okopinska, 2002): $$ P_{ss}=\mathscr{N}^{-1} e^{\left(-V(x)/D\right)}$$ where $ \mathscr{N} $ is the normalization constant.

Solution

As seen, our system, can theoretically work as expected, depending on the shape of the chemoattractant only. This is a great result because it shows our worms are capable of reaching each region.

Our final goal in this section is predicting the temporal and spatial behavior in 2D for non-ideal problems. In this case, using numerical methods is the only way to solve the system.

For the 2-dimensional case, $[C] = [C(x, y, t)]$ is the concentration of C. elegans at a given instant $t$ and at a given point $(x, y)$, $D$ is the diffusion coefficient and $\overrightarrow{\nu}$ is the attraction field for the C. elegans, which basically stands for its velocity. This expression naturally expands to: $$\frac{\partial [C]}{\partial t} = D \; \left(\frac{\partial^2 [C]}{\partial x^2} + \frac{\partial^2 [C]}{\partial y^2}\right) - \left(\frac{\partial\nu_x}{dx}[C] + \nu_x\frac{\partial [C]}{\partial x} + \frac{\partial\nu_y}{dy}[C] + \nu_y\frac{\partial [C]}{\partial y}\right) $$

We first started by building up an explicit finite difference method, this is numerically fast but it is prone to instabilities in the solutions. Therefore, we decided to develop a Crank-Nicolson method which is unconditionally stable, thus being suitable to carry out parameter identification of a model. Nevertheless, it has the drawback of being numerically more intensive, because a set of algebraic equations must be solved in each iteration (Note: Click here for a mathematical explanation of the Crank-Nicolson method).


Now, we can predict the behavior of a set of worms in presence of a chemoatractant. One must have into account that the system may behave differently depending on some variables, for example, the diffusion coefficient $D$, a constant $k$ that determines the weight that the drift variable $\nu$ has and the time constants for the chemoattractant diffusion $t_1$ and $t_2$, where $t_1$ is the elapsed time since a first chemoattractant drop is put into the petri plate, $t_2$ stands for the elapsed time since a second drop of chemoattractant is put into the petri plate until a C.elegans initial distribution is added, the diffusion of chemoattractants is then assumed to be negligible for simplicity reasons. According to these parameters, we performed a lot of simulations using SciLab, what they all have in common is the position of the four chemotactic sources. The simulations were performed by first varying only $t_1$ and $t_2$ for some given $D$ and $k$ ($D = 0.2$ & $k = 0.001$):

t1 = 5, t2 = 6 $t_1$ = 5, $t_2$ = 6 t1 = 5, t2 = 12 $t_1$ = 5, $t_2$ = 12 t1 = 10, t2 = 12 $t_1$ = 10, $t_2$ = 12

t1 = 10, t2 = 24 $t_1$ = 10, $t_2$ = 24 t1 = 15, t2 = 24 $t_1$ = 15, $t_2$ = 24 t1 = 15, t2 = 48 $t_1$ = 15, $t_2$ = 48


It can be observed by ploting the drift field for each case, that the final distribution is mostly dependent on the mentioned drift field, which in fact is mostly dependent on $t_1$ and $t_2$. Here we present the drift fields for each case:

t1 = 5, t2 = 6 $t_1$ = 5, $t_2$ = 6 t1 = 5, t2 = 12 $t_1$ = 5, $t_2$ = 12 t1 = 10, t2 = 12 $t_1$ = 10, $t_2$ = 12

t1 = 10, t2 = 24 $t_1$ = 10, $t_2$ = 24 t1 = 15, t2 = 24 $t_1$ = 15, $t_2$ = 24 t1 = 15, t2 = 48 $t_1$ = 15, $t_2$ = 48

Qualitatively, it can be seen through these simulations that incrementing $t_1$ or $t_2$ disperses and smoothes the drift field which actually affects the final distribution of C.elegans by dispersing it.

Videos corresponding to each simulation can also be seen here:


And then by varying only $D$ and $k$ (separately, of course) for some given $t_1$ and $t_2$ ($t_1 = 10$ hours & $t_2 = 12$ hours):


D = 0.05, k = 0.001 D = 0.05, k = 0.001, D/k = 50 D = 0.1, k = 0.001 D = 0.1, k = 0.001, D/k = 100 D = 0.2, k = 0.001 D = 0.2, k = 0.001, D/k = 200

D = 0.05, k = 0.0005 D = 0.05, k = 0.0005, D/k = 100 D = 0.1, k = 0.0005 D = 0.1, k = 0.0005, D/k = 200 D = 0.2, k = 0.0005 D = 0.2, k = 0.0005, D/k = 400


According to these results, qualitatively, higher values of $D$ or lower values of $k$ (and thus a greater $D/k$ relation) give a much more disperse distribution of C.elegans.

Videos corresponding to each simulation can be seen here:


We also carried out some simulations with different number of attractant sources. One can find simulations with $1$, $2$ and $3$ sources, and parameters $D\;=\;0.2$, $k\;=\;0.001$ (thus $D/k\;=\;200$) here:


Parameter identification in PDEs is a rather complex topic, we did some research concerning our Group Behavior Model which is a Fokker-Planck Equation with a somewhat complex drift term $\nu$, which depends on position in our model (it could also depend on more factors which would add even more complexity to the system and therefore we didn't study them). We weren't lucky enough to find anything related to the topic (at least with the time we had), so we thought about implementing our own algorithms, based on an educated guess (As usual all the code we wrote can be found under the Software section). We wanted to study the spatial time constant of the system, that is, how long does it take for the system to reach an stable spatial distribution? We thought about a obtaining a variable $\mathcal{V}$ that would grow asimptotically after some time $\tau_{xy}$ (the spatial time constant). That is, our variable $\mathcal{V} \rightarrow C$ as $\tau_{xy} \rightarrow +\infty$. We then came up with the idea that local maxima would be a good way to define when the spatial distribution was stable, so we decided that the slower local maximum (that is the local maximum which is the slowest in stabilizing to its final position) would be a good approach to define the spatial time constant $\tau_{xy}$.
Therefore we needed an algorithm to calculate all the local maxima at a given instant and also to determine when they have "stopped" moving, so we programmed an approximate algorithm to find the local maxima in SciLab and used a more or less small band centered around the final value to determine $\tau_{xy}$. An example of the graphs we obtained through this process can be seen here:

tau_xy identification

So we carried out several simulations with different values for our parameters $D$ and $k$, in order to obtain the forementioned relationship between $D$, $k$ and $\tau_{xy}$.

First of all, we managed to plot and obtain the function that relates $D$ with $\tau_{xy}$, for $k=0.00025,\;0.0003,\;0.000375,\;0.0005$ and $0.001$. And as one can observe, different values of $k$ just move the curves but the main shape of the functionals remains the same, that is, exponential (with rather great coefficients of determination).

Solution

From the results we hypothesized that the general form of the functional (depending on $k$) was as follows:

$$D(\tau_{xy},k) = f(k)e^{\left(g(k)\tau_{xy}\right)}$$
We then plotted the coefficients $f(k)$ and $g(k)$ vs. $k$, as shown here:

Solution

Solution

We first obtained a quadratic regression and the resulting equations for $f(k)$ and $g(k)$ were: $$f(k) = 3e6\;k^2 - 4658.1\;k+1.9523$$ $$g(k) = 6177.4\;k^2 - 11.907\;k-0.0013$$ But $R^2$ was about $80.17\%$ for $f(k)$, way too low, so then we decided to obtain a better model by using Lagrange's Interpolating Polynomials, which are represented by the green curves on the graphs above. Thus we obtained the following final equation for $D$:
$$D(\tau_{xy},k) = \left(-3.4061e13\;k^4+4.22776e10\;k^3+3.2955e6\;k^2-15277\;k+4.19004 \right)\;e^{\left(2.31802e11\;k^4-4.23644e8\;k^3+241467\;k^2-57.5001\;k+0.0008832 \right)\;\tau_{xy}}$$ From this the equation for $\tau_{xy}$ can be obtained:
$$\tau_{xy}(D,k) = \frac{1}{0.0008832 - 57.5001\; k + 241467\; k^2 - 4.23644e8\; k^3+2.31802e11\; k^4} log\left(\frac{D}{4.19004 - 15277\; k + 3.2955e6\; k^2 + 4.22776e10\; k^3 - 3.4061e13\; k^4}\right)$$
Where $D$ and $k$ are the mentioned parameters of the model and $\log$ refers to the natural logarithm (base $e$).

The average of the relative error is somewhat lower (at least in the studied region), about $8.00677\%$, compared to about $9.4\%$ for the first approximation.

From this equations we tried to obtain the parameters $D$ and $k$ for our model by stablishing a relationship that would not lead to dirac deltas in the final solution, which is what usually happened and is the theoretical solution provided the initial distribution of worms is also a dirac delta. Therefore we obtained the relationship $\frac{D}{k} = 502.2$ that would lead to a temporal stabilisation of the distribution, meaning no dirac deltas would arise. The intention was to provide our wetlab mates with theoretical data to improve their experiments and therefore creating a feedback loop in which they could provide data to us to improve our model even more and they would receive result back and so on. But, in fact, with the obtained relationship and our data we weren't able to find correct values for $D$ and $k$. We think this maybe due to the restricted region for $\tau_{xy}$, $D$ and $k$ that we studied. We also think that through the same process we would be able to achieve correct relationships for the variables in other regions of interests the problem is with increasingly small $D$ and $k$ parameters, come increasingly large times for the simulations to run and we weren't able to do so in our personal computers. This would therefore be a future task, to carry out more simulations maybe on a computer cluster with parallelization. We think that then the principles we followed would still hold.


Okopinska A. (2002) Fokker-Planck equation for bistable potential in the optimized expansion. Physical review E, Volume 65, 062101