[论文解读] Lyapunov Coefficients for Degenerate Hopf Bifurcations

Jorge Sotomayor, Luis Fernando Mello+1 more|ArXiv.org|Sep 25, 2007

Advanced Differential Equations and Dynamical SystemsMathematics参考文献 9被引用 19

一句话总结

本文通过计算机辅助符号计算，推导了退化霍普夫分支中一至四阶李雅普诺夫系数的代数表达式。建立了余维数1至4的轨道正规形，表明当一至四阶李雅普诺夫系数为零但 $ l_4 \neq 0 $ 时，系统表现出余维数4的霍普夫分支，具有 $ |w|^8 $-非线性项，从而能够对动力系统中的复杂分支情景进行分类。

ABSTRACT

In this paper are studied the codimensions one, two, three and four Hopf bifurcations and the pertinent Lyapunov stability coefficients. Algebraic expressions obtained with computer assisted calculations are displayed.

研究动机与目标

• 系统计算退化霍普夫分支中一至四阶李雅普诺夫系数，标准方法因高阶退化而失效。
• 通过计算机辅助符号计算（特别是 Mathematica 5）提供这些系数的显式代数表达式。
• 通过包含高阶非线性的轨道正规形，表征余维数1至4霍普夫分支附近的动态行为。
• 为分析具有多个参数的系统（如带弹簧的瓦特调速器）中的复杂分支结构建立框架。
• 通过推导第四阶李雅普诺夫系数，扩展现有理论，该系数在当前文献中尚缺。

提出的方法

• 该方法使用向量场的九阶泰勒展开，利用 $ F({\bf x}) $ 的雅可比矩阵和高阶导数的多重线性形式。
• 应用中心流形约化，将系统约化为关于 $ w \in \mathbb{C} $ 的二维复正规形，其中 $ w $ 表示临界模态的复振幅。
• 通过求解由正规形方程 $ H_w w' + H_{\bar{w}} \bar{w}' = F(H(w, \bar{w})) $ 导出的线性系统，递归计算中心流形嵌入 $ H(w, \bar{w}) $ 的系数 $ h_{jk} $。
• 从正规形 $ w' = (\eta + i\omega_0)w + \tau w|w|^2 + \nu w|w|^4 + \sigma w|w|^6 + l_4 w|w|^8 $ 中提取李雅普诺夫系数 $ l_1, l_2, l_3, l_4 $，其中 $ l_k $ 由 $ F $ 的多重线性项计算得出。
• 使用 Mathematica 5 中的符号计算推导并验证 $ l_1 $ 到 $ l_4 $ 的长代数表达式，中间步骤已在线发布。
• 通过构建余维数1至4霍普夫分支的轨道正规形，验证了理论结果，其中在第 $ k $ 个退化层级处 $ l_k \neq 0 $。

实验结果

研究问题

• RQ1 退化霍普夫分支中一至四阶李雅普诺夫系数的显式代数表达式是什么？
• RQ2 如何对余维数4霍普夫分支点附近的系统动态行为进行分类？
• RQ3 当一至四阶李雅普诺夫系数为零但第五个非零时，轨道正规形的结构是什么？
• RQ4 如何利用符号计算推导现有文献中未提供的高阶李雅普诺夫系数？
• RQ5 霍普夫分支为余维数4的必要与充分条件是什么？

主要发现

• 通过符号计算，代数推导出一至四阶李雅普诺夫系数，表达式适用于包含至九阶泰勒项的系统。
• 第四阶李雅普诺夫系数 $ l_4 $ 显式计算得出，并在余维数4霍普夫分支点处显示为非零，从而能够对分支结构进行分类。
• 对于余维数4霍普夫分支，轨道正规形为 $ w' = (\eta + i\omega_0)w + \tau w|w|^2 + \nu w|w|^4 + \sigma w|w|^6 + l_4 w|w|^8 $，且 $ l_4 \neq 0 $，证实了存在 $ |w|^8 $-非线性项。
• 映射 $ \mu \mapsto (\eta, l_1, l_2, l_3) $ 在 $ \mu = 0 $ 处的正则性条件确保了分支的横截性和结构稳定性。
• 结果适用于带弹簧的瓦特调速器系统，使得高阶退化现在可通过所推导的系数进行分析。
• 本文首次完整推导出文献中第四阶李雅普诺夫系数，填补了退化霍普夫分支理论中的关键空白。