常微分方程定性理论3.pptVIP

(三)不定号(变号)情形:G(θ)=0有有限实根θk (k=1,2,…,N) (m ≤ n, N≤2m+2) §5 奇点的三类判别问题 1)第一判定问题:某特征方向上存在第二类正常区域时,在该区域内是有唯一一条还是有无穷多条轨线趋于奇点? 2)第二判定问题:某特征方向上存在第三类正常区域时,在该区域内是有无穷多条还是没有轨线趋于奇点? 3)中心焦点判定问题:定号情形. 是R2,… Rm, Rm+1, r1, … rm-1, φm的多项式. 由于ρ1(≤ r1)当足够小时 |G(ρ,θ)|1 ρ≤ ρ1≤ r1. 所以 的符号由gm确定. 如果O不是焦点,则ρ≤ ρ1中必有闭轨,在闭轨上存在点使得 这与上述论断矛盾. 所以,O只能是焦点,并且当gm0(0)时稳定(不稳定). 综上,得 (1)α≠0时,O为粗焦点, α为零阶焦点判定量; (2) α=0时,如果初值(0,c)的解r=r(θ,c)=r1(θ) c+ r2(θ) c2+…, ri(θ)都是以2π周期的周期函数,那么O为中心; (3) α=0时,如果ri(θ),i=1,2,…,k-1是以2π周期的周期函数,而rk(θ)不是以2π为周期,此时 那么O为m阶细焦点. 称 r(2π,c)-r(0,c)=[rk (2π,c)- rk (0,c)]ck… =2 πg2m+1 ck… 为映射 产生的后继函数． 方法(二) Poincaré形式级数法 方法(一)需进行积分运算．当含线性项时，用方法（二）只需进行代数运算．考虑 取形式级数 引理４设在点Ｏ的某邻域内 收敛于F(x,y)，则当c足够小时，F(x,y)=c表示围绕点Ｏ的互不相交的单闭曲线． 证　在极坐标下 设在r≤r0中收敛，则 * 系统(4.3)的极坐标形式是: 这里, 取ε0,rk充分小,作扇形区域 因为在区域 的各个小扇形中G(θ)定号,所以没有轨线进入奇点. 设 G(θk)=0, H(θk) =Hk≠0, G(θk)=C(θ-θk)j+o(|θ-θk|j), 整数j≥1. 所以 定理3 ①设为j奇数,CHk0,则在方向θ=θk上存在一个第一类典型域.所以有无数条轨线沿θ=θk进入奇点O; ②设j奇数, CHk0则在方向θ=θk上存在一个第二类典型域.所以有一条或无数条轨线沿θ=θk进入奇点O; ③设j为偶数,则在方向θ=θk上存在一个第三 类典型域.所以有无数条轨线沿θ=θk进入奇点O或没有轨线进入O. 证明:①可取ε0,rk充分小,使得扇形区域 中除O外无其它的奇点, G(θ)=0无其它实根, H(θ) +o(1)≠0.这样, θ =θk是这个扇形区域内唯一特征方向,这个扇形区域是典型域. 在 上, 同号; 在 上, 反号. ②在 上, 同号; 在 上, 反号. ③在 上, 同号. 一、第一判定问题 引理1 对于 若存在连续D(r)≥0,满足 则沿任何方向θ=θk至多有一条轨线进入奇点. 证明 设有两条轨线θ=θ1(r), θ=θ2(r)沿θ=θk进入奇点O.可设θ1(r)θ2(r),0r≤r1. 但当r →∞时, 注 如果 关于θ满足Lipschitz条件, 那么引理的条件(1),(2)成立.由于条件(2)不能保证ξ(r,θ)关于(r, θ)连续,所以引理不保证解的存在性. 定理1 设θ=θk是G(θ)=0的j重根,j是奇数. G(j)(θk) · H (θk)0, 满足无穷小 系数的Lipschitz件 (1) C(r)=o(1),并且,当j=1时, j1时, 那么系统有唯一轨线沿θ=θk进入奇点O. 证明 见张芷芬书P80—82. 推论1 设nm, Yn中不含因子x,附加项满足条件(1),(2),则沿 各有唯一轨线进入O. 证: nm时,G(θ)=c