时滞微分方程广义Hopf 分岔.pdfVIP

中国科学: 数学 2012 年 第42 卷 第2 期: 91 105 时滞微分方程广义Hopf 分岔 ∗ 郭上江 吴建宏 湖南大学数学与计量经济学院, 长沙 410082; Department of Mathematics and Statistics, York University, 4700 Keele Street, Toronto, ON, Canada M3J 1P3 E-mail: shangjguo@hnu.edu.cn, wujh@mathstat.yorku.ca 收稿日期: 2010-12-31; 接受日期: 2011-12-23; * 通信作者 国家自然科学基金(批准号:、湖南省自然科学基金 (批准号: 10JJ1001) 和加拿大 NSERC 资助项目 摘要 本文运用 Lyapunov-Schmidt 约化方法研究了一般时滞微分方程的分岔情况, 具体分析了当参 数达到一个临界值时, 系统的无穷小生成元具有一对k 重非半单纯虚特征值的情形, 得到了判定分岔 周期解存在性和分岔方向的判据, 而且该判据明显依赖于系统参数, 并通过对van der Pol 方程的详细 分析进一步验证了我们的结果. 关键词 时滞微分方程 Lyapunov-Schmidt 约化 Hopf 分岔 van der Pol 振子 主题分类 34K18, 92B20 1 引言 对给定的常数τ 0, = C ([−τ, 0), n ) 表示从 [−τ, 0] 到n 的全体连续映射构成的集合, 对任 意的 ϕ ∈ 取上确界范数 ∥ϕ∥ = sup−τ θ0 |ϕ(θ)|, 则 = C ([−τ, 0), n ) 构成一个Banach 空间. 通 常, 若t0 ∈ , σ 0, x : [t0 − τ, t0 + σ] → n 为一个连续映射, 则对于任意的t ∈ [t0 , t0 + σ], xt ∈ 定 义为x (θ) = x(t + θ), θ ∈ [−τ, 0]. 本文考虑具参数时滞微分方程 t x˙ (t) = L(α)x + f (α, x ), (1.1) t t 其中 α ∈ , xt ∈ . 在本文中, 我们始终假设线性算子 L(α) : → n 关于 α ∈ 连续, f ∈ l n C ( × , ) 对充分大的正整数l 成立, 且满足f (α, 0) = 0, 即0 为(1.1) 的平衡点, 另外假设f (α, ϕ) 关于ϕ 的Fr´echet 导数在ϕ = 0 处的取值Dϕf (α, 0) 等于零. 当参数α 到达并经过某个临界值时, 若 系统在平衡点附近的解的定性性质发生突然改变, 则称这个临界值为分岔值. 不失一般性, 我们将考虑 分岔值α = 0 的情况. 所谓一个系统产生Hopf 分岔, 即当该系统的奇点的稳定性发生改变时, 在奇点的附近出现周期解 的现象. 最早是在1942 年, Hopf [1] 发现在一般常微分方程中存在Hopf 分岔现象. 时滞微分方程Hopf 分岔理论的第一个结果可以追溯到Chafee [2] 在 1971 年的工作. 1977 年, Chow 和Mallet-Paret [3] 在 分析计算条件下首次给出了时滞微分方程Hopf 分岔定理的证明. 在经典的Hopf 分岔理论中(参见文 献 [4, 5]), 时滞微分方程产生Hopf 分岔的条件主要有三个: 首先, 该系统应当是足够光滑的; 其次, 当 参数取分岔值时, 无穷小生成元具有一对共轭的单重纯虚特征值; 最后, 该纯虚根满足横截性条件, 并 英文引用格式 Guo S J, Wu J H. Generalized Hopf bifurcation in delay differential equations (in Chinese). Sci Sin Math, 2012, 42(2): 91–105, doi: 10.13