单调电力系统理论的总结与应用.doc

单调动力系统理论概述及应用 张秋华 （池州学院 数学与计算机科学系，安徽 池州 247000） [摘要] 本文介绍了单调动力系统的两个主要性质：极限集二分性和拟收敛点的几乎处处性，并给出了在泛函微分方程中的一个应用。 [关键词]单调动力系统；极限集二分性；拟收敛 中文分类号： 作者简介: 张秋华（1981－）男，安徽巢湖人，池州学院助教，在职硕士，主要研究方向：数理统计，多重比较，破产概率。E-mail:haim1211@163.com。 自从19世纪末Poincaré等人从经典力学和微分方程的定性理论的研究中提出动力系统的概念以来，动力系统方法就成为研究微分方程的一个主要工具。动力系统的一个核心问题是轨线的渐近性态和拓扑结构，它包含两层含义，即轨线的极限集的构成及轨线趋近于它的方式。近几十年的非线性动力学研究成果表明，任何期望笼统的研究动力系统的渐近性态的想法似乎是不可取的也是行不通的。因此，我们只能期望于研究某些系统具有哪些通有性质，最简单的情况是轨线被吸引到平衡点。自然要问，哪些动力系统的所有或绝大多数的轨道具有这种通有性质了？由M.W.Hirsch和Hal Smith等人[2-6,8,9]发展起来的单调动力系统对此作了一个相当完美和成功的回答。本文简单介绍这方面的研究近况，并给出一个具体的例子加以说明。 定义及记号： 定义1：令为带有正锥的序空间，，如果，则记为；如果，且，则记为。如果序空间的正锥有非空内部，即，称为强序空间。，如果，则记为。 定义2：映射称为上的半流，如果下面两条成立： （）， （）， 对于上的半流，，记为的轨道，为的正极限集，为的平衡点集合，即。如果，，则称点为拟收敛点；如果，则称为收敛点。记上所有拟收敛点集合为，上所有收敛点集合为。对于，记表示以{}为极限集的所有收敛点集合，则。 下面假设为（强）序空间上的半流，我们给出一些概念。 定义3：称为上的单调半流，如果，；称为上的强单调半流，如果， ；称为上的SOP（strongly order-preserving）半流，如果是单调半流，且，存在，，使得，从而，。 二、一些简单性质及命题： 命题1：（收敛准则）设是上的单调半流，有紧的轨道闭包，且存在使得，则为周期的周期轨。进一步地，如果使得成立的为的开集且非空，或者是上的SOP半流且，则。 命题2：（极限集的无序性）设为单调半流的正极限集，则 （）不存在，使得； （）如果是周期轨或者是SOP的，则不存在，使得。 下面我们假设是序空间上的SOP半流，且每条轨道都有紧的闭包。通过几个命题，我们给出SOP半流的极限集二分性原理。 命题3：（共极限原理）设，存在，使得，则。 证明：选取的邻域，，使得，令 ，。则当时，有。因此（*）式——，对，足够大的成立。 由于，其中， 则 对足够大的成立。 上式两边对求极限，得到，。 同理在（*）式中将，，再对求极限， 得到 ， 。所以，，故。 命题4：（相交原理）设，则。如果，，则。 证明：设，则存在{}，，使得， ，由单调性知。如果，由于， 则由命题2知矛盾，所以。再由命题3知。 命题5：（吸收原理）设，，使得（）， 则（）。 证明：不妨设，则存在，的邻域，，， 使得 。由的不变性知。 由于，存在，使得。则由的不变性和单调性知： 对成立，从而。 下证。否则的话，由极限集的无序性知， ，矛盾。所以，命题得证。 命题6：（分离原理）设，存在使得，，如果，则。 下面我们给出SOP半流极限集的一个特征。 定理1：（极限集二分性）设，则 （） （）。且若，使得当且仅当。 证明：如果，则由相交原理知（）成立。如果，不妨设存在（另一方面亦证）。则存在，使得，而且（如有必要取的子列）。由单调性知，再由知。所以由分离原理知，命题得证。 下面我们再给出两个相关定义，并由此给出SOP半流的拟收敛点稠密的性质。 定义4：为序空间的子集，称（可能为空集）为的下界，如果，，则称为的下确界，记为。同样有上确界的定义。 定义5：点称为下（上）方两次可达，如果对的任意邻域，存在，使得成立。 引理1：设，，如果下方两次可达，则，且。 证明：固定的任意邻域，由的无序性知。由的不变性知，所以，则由收敛准则（命题1）知。 由于，存在的邻域，，使得，对成立。 取，使得，对成立。则当时，有。 令，则，，且有，。 所以 （1） 假设下方两次可达，取，，且，由二分性原理知。 因为，由SOP半流的性质知存在，，有