一类偏微分方程的局部稳定性.docxVIP

一类偏微分方程的局部稳定性 采用偏微分方程。 我们可利用线性化和特征值方法证明其局部稳定性, 设 对求偏导得: 则Jacobian矩阵为: 1.平凡解的局部稳定性 令|λE-J|=0, 得特征根λ1=re-λτ-D1ui, λ2=-d-D2ui. 令f (λ) =λ-re-λτ+D1ui, 取ui=0, 则f (λ1) =λ1-re-λ1τ, 所以由介值定理, (2) 至少存在一个特征根, 所以平衡点E0= (0, 0) 不稳定. 定理1系统 (1) 的平凡解E0= (0, 0) 不稳定. 2.半平凡解E1= (K, 0) 的局部稳定性 故?λ0, f (λ) f (0) 0, 所以, f (λ) =λ+2r-re-λτ+D1ui=0无正根, 即λ1非正; 正特征根, 所以平衡点E1= (K, 0) 不稳定. ⅱ) 当时, λ20, (3) 存在两个负特征根, 所以平衡点E1= (K, 0) 渐进稳定. 定理2系统 (1) 的半平凡解E1= (K, 0) 当时不稳定, 当时渐进稳定. 3.正平衡点E2= (u1*, u2*) 的局部稳定性 当E2= (u1*, u2*) 时, 为了更简便地得到矩阵, 先引入一些记号: 其中: 当然, 特征方程 (4) 需在τ∈I=[0, τ*) 内讨论负根的存在性. 下面我们证明对于任意的τ, λ=0不可能是特征方程 (4) 的解: 因为 将 (6) 代入 (5) 得: 特征方程 (4) 在τ=0时对于任意的λ有P (λ, 0) +Q (λ, 0) =0, 即: 因为坌τ∈I, P0(τ) +Q0(τ) 0, 所以P0(τ) +Q0(τ) 0, 因此, 我们有 随着τ在I=[0, τ*]内的增加, 特征方程 (4) 有可能会出现一对虚根, 不妨设λ=iω (τ) , ω (τ) 为实部, 由 (4) 有:|P (λ, τ) |=|-Q (λ, τ) e-λτ|. 令λ=iω (τ) , 得 下面我们证明: 时, 系统 (1) 在平衡点E2= (u1*, u2*) 处渐进稳定. 首先, 证明当τ=0时的稳定性, 即考虑此时 (4) 在τ=0时 (7) 根的情况. 由 (9) 得: 而显然u2*K, 故P0(τ) +Q0(τ) 0且 则 (7) 有两个负实根, 即E2= (u1*, u2*) 在τ=0时渐进稳定. 接下来, 证明τ在I=[0, τ*]内的增加不影响E2= (u1*, u2*) 的稳定, 即证明 (8) 在I=[0, τ*]内无实根. 考虑方程φ (θ) =θ2+b (τ) θ+c (τ) =0 (其中θ=ω2) . 所以, φ (θ) =θ2+b (τ) θ+c (τ) =0无正根, 即 (8) 在I=[0, τ*]内无实根.从而当rd且时, 平衡点E2= (u*1, u*2) 是渐进稳定的. f (0) =-r0, f (+∞) =+∞.