AI 中文总结
该研究针对一维周期域上带保守多项式微分非线性项的两分量系统，推导了O(2)-Hopf分岔处波选择的两个三次范式系数闭式公式，可适用于该类任意系统，并通过两个应用实例验证了公式的有效性。
AI 中文摘要
在O(2)-等变Hopf分岔处，空间周期系统会在行波和驻波之间进行选择，出现的分支及其稳定性由两个三次范式系数决定。对于给定的PDE，要获得这些系数需要针对每个模型重新推导。我们针对一维周期域上具有保守多项式微分非线性项的两分量系统完成了该步骤，推导出了这两个系数的闭式公式，它们直接用非线性PDE系数数组、线性化的谱数据、其临界本征向量、伴随本征向量以及非临界预解式表示。我们给出了可验证的条件，以确保基础中心流形约化的有效性：一是线性化主部上的结构条件，用于得到所需的预解式估计；二是傅里叶符号上的条件，我们证明其等价于所需的谱间隙。与之前仅适用于特定模型的计算不同，所得公式无需进一步推导即可应用于该类中的任意系统。配套的实现可从系数数组计算两个范式系数，并验证给定系统的假设。我们将公式应用于两个实例：非线性p系统的应变梯度正则化，其二次情形包含一个先前研究过的模型作为特例；以及一个一阶保守双线性族，该族此前未被分析，其中实现了一般分类允许的所有分岔场景。
英文摘要
At an $O(2)$-equivariant Hopf bifurcation a spatially periodic system selects between traveling waves and standing waves, and which branch appears and whether it is stable is decided by two cubic normal form coefficients. Obtaining these coefficients for a given PDE has required a derivation carried out afresh for each model. We remove that step for two-component systems with conservative polynomial differential nonlinearities on a one-dimensional periodic domain, deriving closed form formulas for both coefficients. They are expressed directly in terms of the array of nonlinear PDE coefficients and the spectral data of the linearization, its critical eigenvectors, adjoint eigenvectors, and non-critical resolvents. We give verifiable conditions under which the underlying center manifold reduction is valid: a structural condition on the principal part of the linearization that yields the required resolvent estimate, and a condition on the Fourier symbol that we show is equivalent to the required spectral gap. In contrast to the model specific computations available previously, the resulting formulas apply to any system in the class without further derivation. A companion implementation evaluates the two normal form coefficients from the coefficient array and verifies the assumptions for a given system. We specialize the formulas to two applications: a strain-gradient regularization of the nonlinear $p$-system, whose quadratic case contains a previously studied model as a special case, and a first order conservative bilinear family, not previously analyzed, in which every bifurcation scenario allowed by the general classification is realized.
Comments29 pages, 6 figures, 1 table. Submitted to Journal of Dynamics and Differential Equations
