Bogdanov-Takens范式系数的内在刻画及非孤立退化的混合体积障碍
An intrinsic characterization of the Bogdanov-Takens normal-form coefficients and a mixed-volume obstruction to non-isolated degeneracies
AI总结：
该研究刻画了Bogdanov-Takens范式系数的内在表达式，证明Kolmogorov系统Takens范式阶数受牛顿多面体混合体积限制，揭示非孤立退化的相关障碍，还分析了含叉积三次项的系统及Bazykin模型的情况。
AI中文摘要：
设X为平面向量场，其在平衡点p处的雅可比矩阵J=DX(p)为秩1幂零矩阵，且q₀张成ker J。我们证明：Bogdanov-Takens（BT）范式的两个系数a和b，是沿q₀方向的雅可比矩阵两个不变量的方向导数，具体公式为a=-1/2⟨∇det DX(p),q₀⟩，b=⟨∇tr DX(p),q₀⟩。该等式在相空间坐标变换下不变，且在q₀的重标度下是等变的；所得公式既不需要广义特征向量，也不需要二阶多重线性形式，它提供了BT非退化条件的坐标无关解读，涉及平衡点流形到参数空间投影的核线场、轨道等价下的变换规则(a,b)↦(h²a,hb)，以及当向量场通过在p处消失的函数分解时a=0的事实。随后我们证明了一个组合性质的障碍：对于Kolmogorov系统ẋ=xA/g₁、ẏ=yB/g₂，以及环面(ℂ*)²中雅可比矩阵非零幂零的平衡点p，Takens范式的阶数m=ord f受限于A和B的牛顿多面体的混合体积。特别地，若MV(Newt A,Newt B)≤2，则除非平衡点非孤立，否则a≠0，且鞍型、焦点型和椭圆型的幂零奇点不可达：孤立平衡点处仅出现尖点型奇点，而其确切余维数不受混合体积界控制。我们详细处理了具有叉积三次项的系统类（其混合体积等于2），并证明两个经典的Bazykin模型属于此类。
英文摘要：
Let $X$ be a planar vector field with an equilibrium $p$ at which the Jacobian $J=DX(p)$ is nilpotent of rank one, and let $q_0$ span $\ker J$. We prove that the two coefficients $a$ and $b$ of the Bogdanov--Takens (BT) normal form are the directional derivatives, along $q_0$, of the two invariants of the Jacobian: $a=-\frac{1}{2}\langle\nabla\det DX(p),q_0\rangle$, $b=\langle\nabla\operatorname{tr}DX(p),q_0\rangle$. The identity is invariant under changes of phase-space coordinates and equivariant under the rescaling of $q_0$, and the resulting formula requires neither generalized eigenvectors nor the second-order multilinear form. It yields a coordinate-free reading of the BT nondegeneracy conditions in terms of the kernel line field of the projection of the equilibrium manifold onto parameter space, the transformation rule $(a,b)\mapsto(h^2a,hb)$ under orbital equivalence, and the fact that $a=0$ whenever the vector field factors through a function vanishing at $p$. We then prove an obstruction of a combinatorial nature. For a Kolmogorov system $\dot{x}=xA/g_1$, $\dot{y}=yB/g_2$ and an equilibrium $p$ in the torus $(\mathbb{C}^*)^2$ at which the Jacobian is nilpotent and nonzero, the order $m=\operatorname{ord}f$ in the Takens normal form is bounded by the mixed volume of the Newton polytopes of $A$ and $B$. In particular, if $\operatorname{MV}(\operatorname{Newt}A,\operatorname{Newt}B)\leq2$ then $a\neq0$ unless the equilibrium fails to be isolated, and the nilpotent singularities of saddle, focus and elliptic type are unreachable: only cusp-type singularities occur at isolated equilibria, while their exact codimension is not controlled by the mixed-volume bound. The class of systems with cross-product cubic terms, for which the mixed volume equals $2$, is treated in detail, and two classical Bazykin models are shown to be instances.
