微分代数系统的标准型和分支.pdfVIP

Vbl．23 第23卷第3期 应用数学学报 NO．3 2000年7月 ACTAMATHEMATICAEAPPLICATAESINICAJuly,2000 微分代数系统的标准型和分支 陈伯山+ 廖晓昕 (华中理工大学自动控制工程系，武汉430074) 刘永清 (华南理工大学自动控制工程系，广州510641) 摘要我们首先把微分代数系统归结为受限微分方程，且讨论了受限微分系统的参数化 问题，即系统的状态空间形式．然后，借助于受限系统的状态空间形式，我们得到了受限 微分系统平行于常微分方程的线性化问题和Hopf分支理论问题的有关结果． 关键词微分代数系统，受限微分系统，参数化，线性化，Hopf分支 1引言 随着科学的发展和科学技术的进步，越来越多的科学领域(例如电网络分析、化工 系统、生态系统、最优控制、受限力学系统[1-7J等)出现了所谓广义系统．微分代数 方程(由微分方程和代数方程混合而形成的系统)是广义系统最为典型且极为普遍的一 [1】．起初人们的兴趣主要是数值计算方面的问题．进入80年代后，由于它作为处理具有 多级、多目标、多维和多层次的复杂系统的一个恰当工具，在大系统理论、奇异摄动理 论、电路系统、计量经济学、系统控制理论和决策理论等领域得到了广泛的应用，引起 了各界的关注．到了80年代末，广义系统的理论研究有了飞跃的发展，研究成果不断 产生，出现了许多有关内容的专著[2-4】．但是，由于广义系统本身的特性，人们很难用 处理正常系统的工具和方法对它进行研究，对非线性广义系统更是如此．到目前为止， 很少有关于非线性广义系统定性理论方面的结果见于文献．这方面所能见到的工作主 要有[8—12]，[9，10】讨论了指数l系统的局部分支问题；[11]则利用微分几何方法讨论 了微分代数系统的局部结构理论，其主要基础是微分流形上的微分方程的基本理论； 要是奇点分类．本文试图把微分代数系统归结为受限微分方程，研究受限微分系统的状 态空间形式，给出线性化问题和Hopf分支理论问题的有关结果．在第二节里，我们首 先述说化微分代数系统为受限系统的的方法和步骤，然后讨论受限微分方程的参数化 问题，在一个适当的同胚变换下化受限系统为最小维数坐标空间的常微分方程(即状态 空间形式)，同时给出系统线性化形式和线性稳定的结果．在第三节里，我们对受限系统 借助于它的状态空间形式发展平行于常微分方程的Hpof分支定理．第四节作为本文主 要结果的应用，我们讨论了一类受限微分系统的渐近性态及Hpof分支现象． 本文1998年10月9日收到． 十工作单位在湖北师范学院数学系，现为华中理工大学博士后人员 430 应 用 数 学 学 报 23卷 2 标准型 考察微分代数系统 圣=f(x，可)，0=g(x，y)， (2．1) 其中f：R“×R…oR“；g：R”×R”—}R”． 的Jiacobi矩阵)非奇异．在这种情形下，系统(2．1)可化为受限常微分方程 f圣=f(x，可)， {17=一[D可g(z，Ⅳ)]一1[D，(z，可)]，(z，可)， (2．2) L 0=g(z，可)． Y2=hi(z，y1)．于是， (2．3) 圣=I(x，Yl，^(y1))，0=92(z，Yl，危(可1))． 形式 圣=r(x，可1)，0=G(z)， (2．4) 分得 圣=F(x，可1