Symbolic computation for the qualitative theory of differential equations

被引:2
作者
Huang, Bo [1 ]
Niu, Wei [2 ,3 ]
Wang, Dongming [4 ,5 ]
机构
[1] Beihang Univ, LMIB Sch Math Sci, Beijing 100191, Peoples R China
[2] Beihang Univ, Ecole Cent Pekin, Beijing 100191, Peoples R China
[3] Beihang Hangzhou Innovat Inst Yuhang, Hangzhou 310051, Peoples R China
[4] Beihang Univ, LMIB Inst Artificial Intelligence, Beijing 100191, Peoples R China
[5] Ctr Natl Rech Sci, F-75794 Paris 16, France
基金
北京市自然科学基金; 中国国家自然科学基金;
关键词
biological systems; center-focus; limit cycles; qualitative analysis; symbolic computation; ELLIPTIC HAMILTONIAN-SYSTEMS; STEADY-STATE LAWS; LIMIT-CYCLES; CUBIC SYSTEM; HOPF BIFURCATIONS; POLYNOMIAL SYSTEMS; NORMAL FORMS; SMALL PERTURBATIONS; STABILITY ANALYSIS; AVERAGING THEORY;
D O I
10.1007/s10473-022-0617-7
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
This paper provides a survey on symbolic computational approaches for the analysis of qualitative behaviors of systems of ordinary differential equations, focusing on symbolic and algebraic analysis for the local stability and bifurcation of limit cycles in the neighborhoods of equilibria and periodic orbits of the systems, with a highlight on applications to computational biology.
引用
收藏
页码:2478 / 2504
页数:27
相关论文
共 50 条
  • [41] Symbolic Computation for Integro-Differential-Time-Delay Operators with Matrix Coefficients
    Cluzeau, Thomas
    Poor, Jamal Hossein
    Quadrat, Alban
    Raab, Clemens G.
    Regensburger, Georg
    IFAC PAPERSONLINE, 2018, 51 (14): : 153 - 158
  • [42] A Symbolic Algorithm for the Computation of Periodic Orbits in Non-Linear Differential Systems
    Navarro, Juan F.
    GLOCAL: CODIFICAR, MEDIAR, TRANSFORMAR, VIVIR, 2017, : 505 - 509
  • [43] Symbolic matrix factorization for differential-algebraic equations index reduction
    Stocco, Davide
    Bertolazzi, Enrico
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2024, 448
  • [44] Darboux Transformation and Soliton Solutions for Inhomogeneous Coupled Nonlinear Schrodinger Equations with Symbolic Computation
    Xue Yu-Shan
    Tian Bo
    Zhang Hai-Qiang
    Liu Wen-Jun
    Li Li-Li
    Qi Feng-Hua
    Zhan Yan
    COMMUNICATIONS IN THEORETICAL PHYSICS, 2009, 52 (05) : 888 - 896
  • [45] Symbolic computation and construction of soliton-like solutions of some nonlinear evolution equations
    Xuan, HN
    Li, B
    ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES, 2003, 58 (2-3): : 167 - 175
  • [46] Conservation Laws and Analytic Soliton Solutions for Coupled Integrable Dispersionless Equations with Symbolic Computation
    王盼
    田播
    刘文军
    屈启兴
    江彦
    CommunicationsinTheoreticalPhysics, 2010, 54 (10) : 687 - 696
  • [48] Conservation Laws and Analytic Soliton Solutions for Coupled Integrable Dispersionless Equations with Symbolic Computation
    Wang Pan
    Tian Bo
    Liu Wen-Jun
    Qu Qi-Xing
    Jiang Yan
    COMMUNICATIONS IN THEORETICAL PHYSICS, 2010, 54 (04) : 687 - 696
  • [49] Symbolic computation study of (2+1)-dimensional dispersive long wave equations
    Lu Zhuo-Sheng
    Xie Fu-Ding
    COMMUNICATIONS IN THEORETICAL PHYSICS, 2006, 46 (02) : 199 - 202
  • [50] QUALITATIVE PARTIAL-DIFFERENTIAL EQUATIONS AND THEIR REALISTIC APPLICATIONS
    DOHNAL, M
    COMPUTERS IN INDUSTRY, 1992, 20 (02) : 209 - 217