Bifurcation theory, computation and applications

分岔理论、计算与应用

• 批准号: RGPIN-2015-06210
• 负责人: Yu, Pei
• 金额: $ 1.46万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=614007
• 关键词: Bifurcation; theory; computation; applications

Many problems arising in science and engineering can be modelled by mathematical systems that dynamically evolve in time. Among them, nonlinear differential equations are widely used to describe complex phenomena, such as vibration of machinery, weather patter, animal locomotion, population growth, financial markets, spread of diseases, recurrent infection, etc. Such dynamical processes often exhibit qualitative changes, called bifurcations, like earthquakes, population explosions, stock market crashes, disease outbreaks and so on. Bifurcation theory is a powerful tool to study bifurcation phenomena and explain how small changes in the system parameters can lead to these qualitative changes. The methods of bifurcation theory enable us to identify the parameter values where bifurcations occur, and to predict the changes in behaviour of the system near the bifurcation points. To facilitate the application of bifurcation theory in solving real-world complex problems, which are usually high dimensional and nonlinear, the developments of efficient algorithms and computer programs to reduce system complexity are required. Center manifold theory and normal form theory will be used to greatly simplify system equations by extracting the "key" information (or terms) to form a simple system, while keeping the qualitative behaivour of the system unchanged near bifurcation points. This proposed research program has three objectives. One of them is to develop the theory and efficient computational methods for the parametric normal forms of general delay differential equations, which can be easily used to find, for example, periodic solutions (limit cycles) of a complex system and determine their stability. The other two objectives are focused on applications. We intend to apply the methods of dynamical systems and bifurcation theory with the efficient computational tools to analyze models of specific biological processes: HIV-1 therapy, and recurrent infection. In particular, we shall further study our early developed HIV-1 therapy model to find new mechanisms which can be used to identify other types of viral blips. We also want to apply the bifurcation theory and normal forms for delay differential systems to investigate the blips phenomenon in HIV-1 models with delays. These applications are not only significant for increasing scientific understanding, but progress may yield practical, clinical benefits. In addition, the theory and methodology we develop for these specific applications will be useful for many applications from other disciplines, as mentioned above.

科学和工程中出现的许多问题可以通过随时间动态演化的数学系统来建模。其中，非线性微分方程广泛用于描述复杂现象，如机械振动、天气模式、动物运动、人口增长、金融市场、疾病传播、反复感染等。此类动态过程常常表现出质变，称为分岔，如地震、人口爆炸、股市崩盘、疾病爆发等。分岔理论是研究分岔现象并解释系统参数的微小变化如何导致这些质变的有力工具。分岔理论的方法使我们能够识别发生分岔的参数值，并预测分岔点附近系统行为的变化。为了促进分岔理论在解决现实世界的复杂问题（通常是高维和非线性）中的应用，需要开发有效的算法和计算机程序来降低系统复杂性。中心流形理论和范式理论将用于通过提取“关键”信息（或项）形成简单系统来大大简化系统方程，同时保持系统在分叉点附近的定性行为不变。这项拟议的研究计划有三个目标。其中之一是开发一般时滞微分方程的参数范式的理论和有效的计算方法，可以轻松地用于查找例如复杂系统的周期解（极限环）并确定其稳定性。另外两个目标侧重于应用程序。我们打算应用动力系统和分岔理论的方法以及高效的计算工具来分析特定生物过程的模型：HIV-1 治疗和复发性感染。特别是，我们将进一步研究我们早期开发的 HIV-1 治疗模型，以找到可用于识别其他类型病毒信号的新机制。我们还想应用延迟微分系统的分岔理论和正规形式来研究延迟的 HIV-1 模型中的 blips 现象。这些应用不仅对于增进科学理解具有重要意义，而且进展可能会产生实际的临床效益。此外，如上所述，我们为这些特定应用开发的理论和方法对于其他学科的许多应用也很有用。