Stochastic Arithmetic as a Tool to Study the Stability of Biological Models
The theoretical study of the stability of the numerical solution of a differential system may be complicated or even not feasible when the system is large and nonlinear. Here it is shown that such a study can be experimentally done by using stochastic arithmetic and its discrete approach known as th...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Bulgarian Academy of Sciences, Institute of Mathematics and Informatics
2014-01-01
|
| Series: | Biomath |
| Subjects: | |
| Online Access: | http://www.biomathforum.org/biomath/index.php/biomath/article/view/211 |
| _version_ | 1797711310966751232 |
|---|---|
| author | Rene Alt Jean-Luc Lamotte |
| author_facet | Rene Alt Jean-Luc Lamotte |
| author_sort | Rene Alt |
| collection | DOAJ |
| description | The theoretical study of the stability of the numerical solution of a differential system may be complicated or even not feasible when the system is large and nonlinear. Here it is shown that such a study can be experimentally done by using stochastic arithmetic and its discrete approach known as the CESTAC method.
The CESTAC method has been first proposed since more than forty years by M. La Porte and J. Vignes as an experimental statistical method to estimate the accuracy on the result of numerical program. Later an abstract formalization of the theory called Stochastic Arithmetic has been developed and many of its algebraic properties have been studied. Here a brief presentation of stochastic arithmetic, of its main properties and of the different software existing for its implementation are given. Then it is demonstrated that the use of stochastic arithmetic in the solver of a differential system can easily reveal whether the computed solution is stable or not. Moreover the stability can be studied with respect to the coefficients of the system or with respect to the initial conditions. At the end it is also pointed out that the same method can be used to detect instabilities due to the used solver. Some examples taken from the biological literature are given. |
| first_indexed | 2024-03-12T07:05:13Z |
| format | Article |
| id | doaj.art-752290497346496b8c18719572b17f4e |
| institution | Directory Open Access Journal |
| issn | 1314-684X 1314-7218 |
| language | English |
| last_indexed | 2024-03-12T07:05:13Z |
| publishDate | 2014-01-01 |
| publisher | Bulgarian Academy of Sciences, Institute of Mathematics and Informatics |
| record_format | Article |
| series | Biomath |
| spelling | doaj.art-752290497346496b8c18719572b17f4e2023-09-02T23:27:55ZengBulgarian Academy of Sciences, Institute of Mathematics and InformaticsBiomath1314-684X1314-72182014-01-012210.11145/j.biomath.2013.12.291147Stochastic Arithmetic as a Tool to Study the Stability of Biological ModelsRene Alt0Jean-Luc Lamotte1Universite Pierre et Marie CurieUniversite Pierre et Marie CurieThe theoretical study of the stability of the numerical solution of a differential system may be complicated or even not feasible when the system is large and nonlinear. Here it is shown that such a study can be experimentally done by using stochastic arithmetic and its discrete approach known as the CESTAC method. The CESTAC method has been first proposed since more than forty years by M. La Porte and J. Vignes as an experimental statistical method to estimate the accuracy on the result of numerical program. Later an abstract formalization of the theory called Stochastic Arithmetic has been developed and many of its algebraic properties have been studied. Here a brief presentation of stochastic arithmetic, of its main properties and of the different software existing for its implementation are given. Then it is demonstrated that the use of stochastic arithmetic in the solver of a differential system can easily reveal whether the computed solution is stable or not. Moreover the stability can be studied with respect to the coefficients of the system or with respect to the initial conditions. At the end it is also pointed out that the same method can be used to detect instabilities due to the used solver. Some examples taken from the biological literature are given.http://www.biomathforum.org/biomath/index.php/biomath/article/view/211Stochastic arithmetic, CESTAC method, stability of differential biological models |
| spellingShingle | Rene Alt Jean-Luc Lamotte Stochastic Arithmetic as a Tool to Study the Stability of Biological Models Biomath Stochastic arithmetic, CESTAC method, stability of differential biological models |
| title | Stochastic Arithmetic as a Tool to Study the Stability of Biological Models |
| title_full | Stochastic Arithmetic as a Tool to Study the Stability of Biological Models |
| title_fullStr | Stochastic Arithmetic as a Tool to Study the Stability of Biological Models |
| title_full_unstemmed | Stochastic Arithmetic as a Tool to Study the Stability of Biological Models |
| title_short | Stochastic Arithmetic as a Tool to Study the Stability of Biological Models |
| title_sort | stochastic arithmetic as a tool to study the stability of biological models |
| topic | Stochastic arithmetic, CESTAC method, stability of differential biological models |
| url | http://www.biomathforum.org/biomath/index.php/biomath/article/view/211 |
| work_keys_str_mv | AT renealt stochasticarithmeticasatooltostudythestabilityofbiologicalmodels AT jeanluclamotte stochasticarithmeticasatooltostudythestabilityofbiologicalmodels |