American Institute of Mathematical Sciences

Advanced
doi: 10.3934/dcdsb.2020349

Effective reduction of a three-dimensional circadian oscillator model

Shuang Chen 1,, , Jinqiao Duan 2, and  Ji Li 3,

1. 

School of Mathematics and Statistics & Center for Mathematical Sciences, Huazhong University of Sciences and Technology, Wuhan, Hubei 430074, China
2. 

Department of Applied Mathematics, Illinois Institute of Technology, Chicago, IL 60616, USA
3. 

School of Mathematics and Statistics, Huazhong University of Sciences and Technology, Wuhan, Hubei 430074, China

* Corresponding author: Shuang Chen

Received  July 2020 Published  November 2020

Fund Project: This work was partly supported by the NSFC grants 11531006, 11771449, 11771161, and the Hubei provincial postdoctoral science and technology activity project

We investigate the dynamics of a three-dimensional system modeling a molecular mechanism for the circadian rhythm in Drosophila. We first prove the existence of a compact attractor in the region with biological meaning. Under the assumption that the dimerization reactions are fast, in this attractor we reduce the three-dimensional system to a simpler two-dimensional system on the persistent normally hyperbolic slow manifold.

Keywords: Geometric singular perturbation theory, Fenichel's theorem, slow manifold, circadian oscillator, reduced model.
Mathematics Subject Classification: Primary: 34C45, 34A26; Secondary: 34C20.
Citation: Shuang Chen, Jinqiao Duan, Ji Li. Effective reduction of a three-dimensional circadian oscillator model. Discrete & Continuous Dynamical Systems - B, doi: 10.3934/dcdsb.2020349
References:
[1]

S. Boie, V. Kirk, J. Sneyd and M. Wechselberger, Effects of quasi-steady-state reduction on biophysical models with oscillations, J. Theoret. Biol., 393 (2016), 16-31.  doi: 10.1016/j.jtbi.2015.12.011.  Google Scholar

[2]

S. N. Chow and J. K. Hale, Methods of Bifurcation Theory, Springer, New York, 1982.  Google Scholar

[3]

B. Deng, The Šil'nikov problem, exponential expansion, strong $\lambda$-lemma, $C^{1}$ linearization, and homoclinic bifurcation, J. Differential Equations, 79 (1989), 189-231.  doi: 10.1016/0022-0396(89)90100-9.  Google Scholar

[4]

B. Deng and G. Hines, Food chain chaos due to transcritical point, Chaos, 13 (2003), 578-585.  doi: 10.1063/1.1576531.  Google Scholar

[5]

Z. Du, J. Li and X. Li, The existence of solitary wave solutions of delayed Camassa-Holm equation via a geometric approach, J. Funct. Anal., 275 (2018), 988-1007.  doi: 10.1016/j.jfa.2018.05.005.  Google Scholar

[6]

F. Dumortier and R. Roussarie, Canard Cycles and Center Manifolds, Mem. Amer. Math. Soc., Vol. 577, Providence, 1996. doi: 10.1090/memo/0577.  Google Scholar

[7]

F. Dumortier, J. Llibre and J. C. Artés, Qualitative Theory of Planar Differential Systems, Springer-Verlag, Berlin, 2006.  Google Scholar

[8]

J. Dunlap, Molecular bases for circadian clocks, Cell, 96 (1999), 271-290.  doi: 10.1016/S0092-8674(00)80566-8.  Google Scholar

[9]

N. Fenichel, Persistence and smoothness of invariant manifolds for flows, Indiana Univ. Math. J., 21 (1971), 193-226.  doi: 10.1512/iumj.1972.21.21017.  Google Scholar

[10]

N. Fenichel, Asymptotic stability with rate conditions, Indiana Univ. Math. J., 23 (1974), 1109-1137.  doi: 10.1512/iumj.1974.23.23090.  Google Scholar

[11]

N. Fenichel, Asymptotic stability with rate conditions. II, Indiana Univ. Math. J., 26 (1977), 81-93.  doi: 10.1512/iumj.1977.26.26006.  Google Scholar

[12]

N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, J. Differential Equations, 31 (1979), 53-98.  doi: 10.1016/0022-0396(79)90152-9.  Google Scholar

[13] D. B. Forger, Biological Clocks, Rhythms, and Oscillations, MIT Press, Cambridge, MA, 2017.   Google Scholar
[14]

A. Goeke, S. Walcher and E. Zerz, Determining "small parameters" for quasi-steady state, J. Differential Equations, 259 (2015), 1149-1180.  doi: 10.1016/j.jde.2015.02.038.  Google Scholar

[15]

D. Gonze, Modeling circadian clocks: From equations to oscillations, Cent. Eur. J. Bio., 6 (2011), 699-711.  doi: 10.2478/s11535-011-0061-5.  Google Scholar

[16]

D. A. Goussis and H. N. Najm, Model reduction and physical understanding of slowly oscillating processes: The circadian cycle, Multiscale Model. Simul., 5 (2006), 1297-1332.  doi: 10.1137/060649768.  Google Scholar

[17]

G. Hek, Geometric singular perturbation theory in biological practice, J. Math. Biol., 60 (2010), 347-386.  doi: 10.1007/s00285-009-0266-7.  Google Scholar

[18]

C. K. R. T. Jones, Geometric Singular Perturbation Theory, in Dynamical Systems (eds. R. Johnson), Lecture Notes in Math., Springer, Berlin, 1609 (1995), 44–118. doi: 10.1007/BFb0095239.  Google Scholar

[19]

C. K. R. T. Jones, T. J. Kaper and N. Kopell, Tracking invariant manifolds up to exponentially small errors, SIAM J. Math. Anal., 27 (1996), 558-577.  doi: 10.1137/S003614109325966X.  Google Scholar

[20]

H. G. Kaper and T. J. Kaper, Asymptotic analysis of two reduction methods for systems of chemical reactions, Phys. D, 165 (2002), 66-93.  doi: 10.1016/S0167-2789(02)00386-X.  Google Scholar

[21]

J. Keener and J. Sneyd, Mathematical Physiology, Int. Appl. Math., 8, Springer-Verlag, New York, 1998. doi: 10.1007/978-0-387-79388-7.  Google Scholar

[22]

I. Kosiuk and P. Szmolyan, Geometric analysis of the Goldbeter minimal model for the embryonic cell cycle, J. Math. Biol., 72 (2016), 1337-1368.  doi: 10.1007/s00285-015-0905-0.  Google Scholar

[23]

M. Krupa and P. Szmolyan, Extending geometric singular perturbation theory to nonhyperbolic points-fold and canard points in two dimensions, SIAM J. Math. Anal., 33 (2001), 286-314.  doi: 10.1137/S0036141099360919.  Google Scholar

[24]

M. Krupa and P. Szmolyan, Relaxation oscillation and canard explosion, J. Differential Equations, 174 (2001), 312-368.  doi: 10.1006/jdeq.2000.3929.  Google Scholar

[25]

C. Kuehn, Multiple Time Scale Dynamics, Appl. Math. Sci., 191, Springer, Swizerland, 2015. doi: 10.1007/978-3-319-12316-5.  Google Scholar

[26]

C. Li and H. Zhu, Canard cycles for predator-prey systems with Holling types of functional response, J. Differential Equations, 254 (2013), 879-910.  doi: 10.1016/j.jde.2012.10.003.  Google Scholar

[27]

W. Liu, Exchange lemmas for singular perturbation problems with certain turning points, J. Differential Equations, 67 (2000), 134-180.  doi: 10.1006/jdeq.2000.3778.  Google Scholar

[28]

U. Maas and S. Pope, Simplifying chemical kinetics: Intrinsic low dimensional manifolds in composition space, Combust. Flame, 88 (1992), 239-264.  doi: 10.1016/0010-2180(92)90034-M.  Google Scholar

[29]

D. McMillen, N. Kopell, J. Hasty and J. Collins, Synchronizing genetic relaxation oscillators by intercell signaling, Proc. Natl. Acad. Sci. USA, 99 (2002), 679-684.   Google Scholar

[30]

J. E. Rubin and D. Terman, Geometric singular perturbation analysis of neuronal dynamics, in Handbook of Dynamical Systems, North-Holland, Amsterdam, 2 (2002), 93–146. doi: 10.1016/S1874-575X(02)80024-8.  Google Scholar

[31]

S. Schecter, Exchange lemmas 1: Deng's lemma, J. Differenital Equations, 245 (2008), 392-410.  doi: 10.1016/j.jde.2007.08.011.  Google Scholar

[32]

S. Schecter, Exchange lemmas 2: General exchange lemma, J. Differenital Equations, 245 (2008), 411-441.  doi: 10.1016/j.jde.2007.10.021.  Google Scholar

[33]

J. Tyson, C. Hong, C. Thron and B. Novak, A simple model of circadian rhythms based on dimerization and proteolysis of PER and TIM, Biophys. J., 77 (1999), 2411-2417.  doi: 10.1016/S0006-3495(99)77078-5.  Google Scholar

[34]

S. Wiggins, Normally Hyperbolic Invariant Manifolds in Dynamical Systems, Appl. Math. Sci., 105, Springer-Verlag, New York, 1994. doi: 10.1007/978-1-4612-4312-0.  Google Scholar

[35]

Z. Zhang, T. Ding, W. Huang and Z. Dong, Qualitative Theory of Differential Equations, Transl. Math. Monographs, 101, Amer. Math. Soc., Providence, 1992. doi: 10.1007/978-1-4757-4969-4_4.  Google Scholar

show all references

References:
[1]

S. Boie, V. Kirk, J. Sneyd and M. Wechselberger, Effects of quasi-steady-state reduction on biophysical models with oscillations, J. Theoret. Biol., 393 (2016), 16-31.  doi: 10.1016/j.jtbi.2015.12.011.  Google Scholar

[2]

S. N. Chow and J. K. Hale, Methods of Bifurcation Theory, Springer, New York, 1982.  Google Scholar

[3]

B. Deng, The Šil'nikov problem, exponential expansion, strong $\lambda$-lemma, $C^{1}$ linearization, and homoclinic bifurcation, J. Differential Equations, 79 (1989), 189-231.  doi: 10.1016/0022-0396(89)90100-9.  Google Scholar

[4]

B. Deng and G. Hines, Food chain chaos due to transcritical point, Chaos, 13 (2003), 578-585.  doi: 10.1063/1.1576531.  Google Scholar

[5]

Z. Du, J. Li and X. Li, The existence of solitary wave solutions of delayed Camassa-Holm equation via a geometric approach, J. Funct. Anal., 275 (2018), 988-1007.  doi: 10.1016/j.jfa.2018.05.005.  Google Scholar

[6]

F. Dumortier and R. Roussarie, Canard Cycles and Center Manifolds, Mem. Amer. Math. Soc., Vol. 577, Providence, 1996. doi: 10.1090/memo/0577.  Google Scholar

[7]

F. Dumortier, J. Llibre and J. C. Artés, Qualitative Theory of Planar Differential Systems, Springer-Verlag, Berlin, 2006.  Google Scholar

[8]

J. Dunlap, Molecular bases for circadian clocks, Cell, 96 (1999), 271-290.  doi: 10.1016/S0092-8674(00)80566-8.  Google Scholar

[9]

N. Fenichel, Persistence and smoothness of invariant manifolds for flows, Indiana Univ. Math. J., 21 (1971), 193-226.  doi: 10.1512/iumj.1972.21.21017.  Google Scholar

[10]

N. Fenichel, Asymptotic stability with rate conditions, Indiana Univ. Math. J., 23 (1974), 1109-1137.  doi: 10.1512/iumj.1974.23.23090.  Google Scholar

[11]

N. Fenichel, Asymptotic stability with rate conditions. II, Indiana Univ. Math. J., 26 (1977), 81-93.  doi: 10.1512/iumj.1977.26.26006.  Google Scholar

[12]

N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, J. Differential Equations, 31 (1979), 53-98.  doi: 10.1016/0022-0396(79)90152-9.  Google Scholar

[13] D. B. Forger, Biological Clocks, Rhythms, and Oscillations, MIT Press, Cambridge, MA, 2017.   Google Scholar
[14]

A. Goeke, S. Walcher and E. Zerz, Determining "small parameters" for quasi-steady state, J. Differential Equations, 259 (2015), 1149-1180.  doi: 10.1016/j.jde.2015.02.038.  Google Scholar

[15]

D. Gonze, Modeling circadian clocks: From equations to oscillations, Cent. Eur. J. Bio., 6 (2011), 699-711.  doi: 10.2478/s11535-011-0061-5.  Google Scholar

[16]

D. A. Goussis and H. N. Najm, Model reduction and physical understanding of slowly oscillating processes: The circadian cycle, Multiscale Model. Simul., 5 (2006), 1297-1332.  doi: 10.1137/060649768.  Google Scholar

[17]

G. Hek, Geometric singular perturbation theory in biological practice, J. Math. Biol., 60 (2010), 347-386.  doi: 10.1007/s00285-009-0266-7.  Google Scholar

[18]

C. K. R. T. Jones, Geometric Singular Perturbation Theory, in Dynamical Systems (eds. R. Johnson), Lecture Notes in Math., Springer, Berlin, 1609 (1995), 44–118. doi: 10.1007/BFb0095239.  Google Scholar

[19]

C. K. R. T. Jones, T. J. Kaper and N. Kopell, Tracking invariant manifolds up to exponentially small errors, SIAM J. Math. Anal., 27 (1996), 558-577.  doi: 10.1137/S003614109325966X.  Google Scholar

[20]

H. G. Kaper and T. J. Kaper, Asymptotic analysis of two reduction methods for systems of chemical reactions, Phys. D, 165 (2002), 66-93.  doi: 10.1016/S0167-2789(02)00386-X.  Google Scholar

[21]

J. Keener and J. Sneyd, Mathematical Physiology, Int. Appl. Math., 8, Springer-Verlag, New York, 1998. doi: 10.1007/978-0-387-79388-7.  Google Scholar

[22]

I. Kosiuk and P. Szmolyan, Geometric analysis of the Goldbeter minimal model for the embryonic cell cycle, J. Math. Biol., 72 (2016), 1337-1368.  doi: 10.1007/s00285-015-0905-0.  Google Scholar

[23]

M. Krupa and P. Szmolyan, Extending geometric singular perturbation theory to nonhyperbolic points-fold and canard points in two dimensions, SIAM J. Math. Anal., 33 (2001), 286-314.  doi: 10.1137/S0036141099360919.  Google Scholar

[24]

M. Krupa and P. Szmolyan, Relaxation oscillation and canard explosion, J. Differential Equations, 174 (2001), 312-368.  doi: 10.1006/jdeq.2000.3929.  Google Scholar

[25]

C. Kuehn, Multiple Time Scale Dynamics, Appl. Math. Sci., 191, Springer, Swizerland, 2015. doi: 10.1007/978-3-319-12316-5.  Google Scholar

[26]

C. Li and H. Zhu, Canard cycles for predator-prey systems with Holling types of functional response, J. Differential Equations, 254 (2013), 879-910.  doi: 10.1016/j.jde.2012.10.003.  Google Scholar

[27]

W. Liu, Exchange lemmas for singular perturbation problems with certain turning points, J. Differential Equations, 67 (2000), 134-180.  doi: 10.1006/jdeq.2000.3778.  Google Scholar

[28]

U. Maas and S. Pope, Simplifying chemical kinetics: Intrinsic low dimensional manifolds in composition space, Combust. Flame, 88 (1992), 239-264.  doi: 10.1016/0010-2180(92)90034-M.  Google Scholar

[29]

D. McMillen, N. Kopell, J. Hasty and J. Collins, Synchronizing genetic relaxation oscillators by intercell signaling, Proc. Natl. Acad. Sci. USA, 99 (2002), 679-684.   Google Scholar

[30]

J. E. Rubin and D. Terman, Geometric singular perturbation analysis of neuronal dynamics, in Handbook of Dynamical Systems, North-Holland, Amsterdam, 2 (2002), 93–146. doi: 10.1016/S1874-575X(02)80024-8.  Google Scholar

[31]

S. Schecter, Exchange lemmas 1: Deng's lemma, J. Differenital Equations, 245 (2008), 392-410.  doi: 10.1016/j.jde.2007.08.011.  Google Scholar

[32]

S. Schecter, Exchange lemmas 2: General exchange lemma, J. Differenital Equations, 245 (2008), 411-441.  doi: 10.1016/j.jde.2007.10.021.  Google Scholar

[33]

J. Tyson, C. Hong, C. Thron and B. Novak, A simple model of circadian rhythms based on dimerization and proteolysis of PER and TIM, Biophys. J., 77 (1999), 2411-2417.  doi: 10.1016/S0006-3495(99)77078-5.  Google Scholar

[34]

S. Wiggins, Normally Hyperbolic Invariant Manifolds in Dynamical Systems, Appl. Math. Sci., 105, Springer-Verlag, New York, 1994. doi: 10.1007/978-1-4612-4312-0.  Google Scholar

[35]

Z. Zhang, T. Ding, W. Huang and Z. Dong, Qualitative Theory of Differential Equations, Transl. Math. Monographs, 101, Amer. Math. Soc., Providence, 1992. doi: 10.1007/978-1-4757-4969-4_4.  Google Scholar

Figure 1.  The mechanism for the circadian oscillator model (1). Adapted from [33]
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 2.  The attraction of the slow manifold. The surface is the critical manifolds $ \mathcal{M}_{0} $, which is the zeroth-order approximation of the slow manifold, and the discrete orbits, respectively, start from $ (10,10,2) $, $ (15,15,2) $, $ (20,20,2) $, $ (10,20,2) $ and $ (20,10,2) $. Here $ k_{a} = 20000 $, $ k_{d} = 100 $ and the remaining parameters in (2) are chosen as in [33,Table 1,p.2414], that is, $ v_{m} = 1 $, $ k_{3} = k_{m} = 0.1 $, $ v_{p} = 0.5 $, $ k_{1} = 10 $, $ k_{2} = 0.03 $, $ P_{c} = 0.1 $ and $ J_{p} = 0.05 $. System (16) with $ \widetilde{k}_{2} = 1 $ has small parameter $ \varepsilon = 0.0003 $
Figure Options

Download full-size image

Download as PowerPoint slide

[1]

M. Phani Sudheer, Ravi S. Nanjundiah, A. S. Vasudeva Murthy. Revisiting the slow manifold of the Lorenz-Krishnamurthy quintet. Discrete & Continuous Dynamical Systems - B, 2006, 6 (6) : 1403-1416. doi: 10.3934/dcdsb.2006.6.1403
[2]

Ronald E. Mickens. Positivity preserving discrete model for the coupled ODE's modeling glycolysis. Conference Publications, 2003, 2003 (Special) : 623-629. doi: 10.3934/proc.2003.2003.623
[3]

Huy Dinh, Harbir Antil, Yanlai Chen, Elena Cherkaev, Akil Narayan. Model reduction for fractional elliptic problems using Kato's formula. Mathematical Control & Related Fields, 2021  doi: 10.3934/mcrf.2021004
[4]

Horst R. Thieme. Remarks on resolvent positive operators and their perturbation. Discrete & Continuous Dynamical Systems - A, 1998, 4 (1) : 73-90. doi: 10.3934/dcds.1998.4.73
[5]

Fritz Gesztesy, Helge Holden, Johanna Michor, Gerald Teschl. The algebro-geometric initial value problem for the Ablowitz-Ladik hierarchy. Discrete & Continuous Dynamical Systems - A, 2010, 26 (1) : 151-196. doi: 10.3934/dcds.2010.26.151
[6]

Amit Goswami, Sushila Rathore, Jagdev Singh, Devendra Kumar. Analytical study of fractional nonlinear Schrödinger equation with harmonic oscillator. Discrete & Continuous Dynamical Systems - S, 2021  doi: 10.3934/dcdss.2021021
[7]

Vladimir Georgiev, Sandra Lucente. Focusing nlkg equation with singular potential. Communications on Pure & Applied Analysis, 2018, 17 (4) : 1387-1406. doi: 10.3934/cpaa.2018068
[8]

Marcelo Messias. Periodic perturbation of quadratic systems with two infinite heteroclinic cycles. Discrete & Continuous Dynamical Systems - A, 2012, 32 (5) : 1881-1899. doi: 10.3934/dcds.2012.32.1881
[9]

Guillaume Bal, Wenjia Jing. Homogenization and corrector theory for linear transport in random media. Discrete & Continuous Dynamical Systems - A, 2010, 28 (4) : 1311-1343. doi: 10.3934/dcds.2010.28.1311
[10]

Felix Finster, Jürg Fröhlich, Marco Oppio, Claudio F. Paganini. Causal fermion systems and the ETH approach to quantum theory. Discrete & Continuous Dynamical Systems - S, 2021, 14 (5) : 1717-1746. doi: 10.3934/dcdss.2020451
[11]

Elena Bonetti, Pierluigi Colli, Gianni Gilardi. Singular limit of an integrodifferential system related to the entropy balance. Discrete & Continuous Dynamical Systems - B, 2014, 19 (7) : 1935-1953. doi: 10.3934/dcdsb.2014.19.1935
[12]

Marco Cirant, Diogo A. Gomes, Edgard A. Pimentel, Héctor Sánchez-Morgado. On some singular mean-field games. Journal of Dynamics & Games, 2021  doi: 10.3934/jdg.2021006
[13]

W. Cary Huffman. On the theory of $\mathbb{F}_q$-linear $\mathbb{F}_{q^t}$-codes. Advances in Mathematics of Communications, 2013, 7 (3) : 349-378. doi: 10.3934/amc.2013.7.349
[14]

Marian Gidea, Rafael de la Llave, Tere M. Seara. A general mechanism of instability in Hamiltonian systems: Skipping along a normally hyperbolic invariant manifold. Discrete & Continuous Dynamical Systems - A, 2020, 40 (12) : 6795-6813. doi: 10.3934/dcds.2020166
[15]

Z. Reichstein and B. Youssin. Parusinski's "Key Lemma" via algebraic geometry. Electronic Research Announcements, 1999, 5: 136-145.

[16]

Kin Ming Hui, Soojung Kim. Asymptotic large time behavior of singular solutions of the fast diffusion equation. Discrete & Continuous Dynamical Systems - A, 2017, 37 (11) : 5943-5977. doi: 10.3934/dcds.2017258
[17]

Shiqiu Fu, Kanishka Perera. On a class of semipositone problems with singular Trudinger-Moser nonlinearities. Discrete & Continuous Dynamical Systems - S, 2021, 14 (5) : 1747-1756. doi: 10.3934/dcdss.2020452
[18]

John Leventides, Costas Poulios, Georgios Alkis Tsiatsios, Maria Livada, Stavros Tsipras, Konstantinos Lefcaditis, Panagiota Sargenti, Aleka Sargenti. Systems theory and analysis of the implementation of non pharmaceutical policies for the mitigation of the COVID-19 pandemic. Journal of Dynamics & Games, 2021  doi: 10.3934/jdg.2021004
[19]

Bernold Fiedler, Carlos Rocha, Matthias Wolfrum. Sturm global attractors for $S^1$-equivariant parabolic equations. Networks & Heterogeneous Media, 2012, 7 (4) : 617-659. doi: 10.3934/nhm.2012.7.617
[20]

Enkhbat Rentsen, Battur Gompil. Generalized Nash equilibrium problem based on malfatti's problem. Numerical Algebra, Control & Optimization, 2021, 11 (2) : 209-220. doi: 10.3934/naco.2020022

2019 Impact Factor: 1.27

Tools

Article outline

Figures and Tables

[Back to Top]

Copyright © 2021 American Institute of Mathematical Sciences