微分方程模型建立中的稳定性模型
微分方程模型中的稳定性与解的存在性证明
微分方程模型中的稳定性与解的存在性证明微分方程是数学中的重要分支之一，它描述了自然界中众多现象的变化规律。
在微分方程的研究中，稳定性与解的存在性证明是两个基本问题。
本文将从这两个方面展开讨论微分方程模型的特性。
稳定性是指系统在一定条件下的长期行为是否趋于稳定。
在微分方程模型中，稳定性分为局部稳定性和全局稳定性。
局部稳定性指的是系统在某一点附近的行为是否稳定，而全局稳定性则是指系统在整个定义域内的行为是否稳定。
稳定性的判断可以通过线性化的方法来进行。
线性化是将非线性微分方程在某一点附近进行线性逼近，从而获得系统的线性化方程。
通过对线性化方程的特征值进行分析，可以判断原方程在该点附近的稳定性。
解的存在性证明是指是否存在满足微分方程的解。
在微分方程模型中，解的存在性通常需要借助一些数学工具和定理来证明。
其中最常用的方法是皮卡-林德洛夫定理和柯西-利普希茨定理。
皮卡-林德洛夫定理是解的存在性证明中的重要定理之一。
它指出，如果微分方程的右端函数在某个矩形区域内满足利普希茨条件，那么在该区域内存在唯一的解。
利普希茨条件是指右端函数的偏导数存在且有界。
柯西-利普希茨定理则是解的存在性证明中的另一个重要定理。
它指出，如果微分方程的右端函数在某个区域内满足利普希茨条件，那么在该区域内存在唯一的解，并且解的存在范围可以延伸到整个定义域。
除了皮卡-林德洛夫定理和柯西-利普希茨定理，还有一些其他的定理和方法可以用于解的存在性证明。
比如，格朗沃尔不等式、逐步逼近法和拟凸函数法等。
总之，微分方程模型中的稳定性与解的存在性证明是微分方程研究中的重要问题。
通过线性化和定理的运用，可以对微分方程的稳定性进行判断和证明。
而解的存在性证明则需要借助一些数学工具和定理来进行推导。
这些方法和定理为我们研究微分方程提供了有力的工具和理论支持。
微分方程的平衡点及稳定性分析
者 可 以不 一致 ， 比如 说 ， 线性 近 似方 程 的平衡 点 为 中心 时 ， 用其 它 的方 法来判 断（ ） 要 ４ 式平 衡 点 的稳
１２ 判 定 平 衡 点 稳 定 性 的 方 法 ．
① 间接法 ： 定义３ 的方法称为间接法。 ②直接法 ： 不求方程式（ 的解 ） １ ） ０的方法 ， 称
为直接法。 方法： 在 将 ） 。 处作泰勒展开， 只取一
次项 ， 有微 分方 程 （ ） 近似 为 １可
变化规律 ， 预测它的未来形态时 ， 要建立对象 的动 态模 型 ， 常 要用到 微分方 程模 型 。 通 而稳 定性 模 型 的对象仍是动态过程 ，而建模 的目的是研究时间 充分 长 以后 过程 的变 化趋 势— — 平衡 状 态是 否 稳 定。 稳定性模型不求解微分方程 ， 而是用微分方程
） ） （） １
①羞 ０ ０则称 ）， ＜ 。 为方程（和（的稳定的 １ ３ ） ） 平
衡点。
ｏ 则称 为方 程（） ３的不稳 定 的平 ， １和（） 衡点。
定义２ 代数方程 ） 的实根 。 ： ＝ ０ 称为微分方
程（） １的平衡 点 。 定 义 ３从 某 领 域 的任 意 值 出发 ， 方 程 （ ） ： 使 １
。 ｏ 作 泰勒 展 开 ， ，） ｙ处 只取 一 次项 ， （在 Ｐ 。 。 得 ４ ） ０ ，） Ｙ
的线 性近 似方 程 为 ：
贝 ） 却 ｒ０ 则根据定理 １ｘ Ｏ Ｉ ＝＞ ， ， 是不稳定的平衡 ＝
点 ． Ｉ 一ｒＯ 是稳定的平衡点。 厂） ＜，
分 析 ： 平衡 点 的稳 定性 来 看 ， 从 随着 时 间 的推 移 ， 口的增 长在 人 处 趋于 稳定 ， 也就 是人 口达
经济金融动力学模型稳定性分析
经济金融动力学模型稳定性分析经济与金融领域一直以来都备受关注，人们希望能够通过建立动力学模型来分析和预测经济金融系统的稳定性。
这样的分析对于政府决策者、金融机构和企业家来说都非常重要，因为它们可以帮助我们更好地理解经济金融系统的行为和演化，从而制定更有效的政策和策略。
在经济金融领域，动力学模型通常是基于微分方程构建的。
这些微分方程反映了经济金融系统中不同变量之间的相互关系和演化规律。
通过对这些微分方程进行稳定性分析，我们可以评估模型的合理性以及预测结果的可靠性。
稳定性分析是一个评估和量化系统的稳定性的过程。
在经济金融动力学模型中，稳定性分析通常包括两个方面的内容：平衡点和波动的稳定性。
首先，平衡点的稳定性分析是指我们评估系统在平衡状态下的稳定性。
平衡点是指系统在某个时间点上各个变量的取值保持不变的状态。
对于微分方程模型，平衡点通常是方程组的解。
我们可以通过线性稳定性分析方法来评估平衡点的稳定性。
线性稳定性分析方法主要是基于雅可比矩阵的特征值来进行评估。
当雅可比矩阵的所有特征值的实部都小于零时，平衡点被认为是稳定的。
反之，如果存在一个特征值的实部大于零，那么平衡点就是不稳定的。
通过线性稳定性分析，我们可以评估平衡点附近的小扰动是否会导致系统偏离原来的状态。
这对于我们理解系统的长期演化趋势非常重要。
其次，波动的稳定性分析是指我们评估系统在平衡状态附近的扰动是否会导致系统出现振荡或周期性变化。
在经济金融领域，我们关注的通常是系统的长期稳定性，即系统的演化是否会趋于一个稳定的状态。
波动的稳定性分析可以通过非线性动力学的方法来进行。
非线性动力学的方法主要是基于相图、Lyapunov指数和平均分析等方法来评估波动的稳定性。
相图是指将系统的变量取值绘制在相平面上，通过观察相图的形态和轨迹，我们可以判断系统的稳定性。
Lyapunov指数是用来衡量系统的不确定性和局部稳定性的指标，它描述了系统状态在相空间中的演化速率。
微分方程的稳定性模型_图文_图文
1) 甲可以独自生存，乙不能独自生存；甲 乙一起生存时相互提供食物、促进增长。
2) 甲乙均可以独自生存；甲乙一起生存 时相互提供食物、促进增长。
3) 甲乙均不能独自生存；甲乙一起生存 时相互提供食物、促进增长。
模型 假设
• 甲可以独自生存，数量变化服从Logistic规律 ; 甲乙一起生存时乙为甲提供食物、促进增长 。 • 乙不能独自生存；甲乙一起生存时甲为乙 提供食物、促进增长；乙的增长又受到本身 的阻滞作用 (服从Logistic规律)。
假设
• 解释(预测)双方军备竞赛的结局 1）由于相互不信任，一方军备越大，另一 方军备增加越快；
2）由于经济实力限制，一方军备越大，对 自己军备增长的制约越大；
3）由于相互敌视或领土争端，每一方都存
在增加军备的潜力。
进一步 假设
1）2）的作用为线性；3）的作用为常数
建模 x(t)~甲方军备数量， y(t)~乙方军备数量
r1=1, N1=20, 1=0.1, w=0.2, r2=0.5, 2=0.18
相轨线趋向极限环 结构稳定
实质上，我们并不需求解上面的微分方程以得到x(t) 的动态变化过程，只希望知道渔场的稳定鱼量和保 持稳定的条件，即时间 t 足够长以后渔场鱼量 x(t) 的趋向，并由此确定最大持续产量。为此可以直接 求上面常微分方程的平衡点并分析其稳定性。
不求x(t), 判断x0稳定性的方法——直接法
由于
讨论方程(1)的稳定性时，可用
对于消耗甲的资源而言
，乙(相对于N2)是甲(相
对于N1)的1 倍。
对甲增长的阻滞 作用，乙小于甲 乙的竞争力弱
2>1 甲的竞争力强
甲达到最大容量，乙灭绝
微分方程稳定性
微分方程稳定性微分方程是描述自然界或社会现象数学模型的重要工具，在许多领域都得到了广泛应用。
稳定性是微分方程中一个重要的性质，它决定了系统的长期行为。
本文将从微分方程的稳定性入手，探讨其原理及应用。
稳定性概述在微分方程中，稳定性描述了系统在扰动下的表现。
一个系统若具有稳定性，即在初始条件稍微改变时系统也不会产生很大的变化，保持在某种稳定的状态。
相反，若系统不稳定，则初始条件的微小变化可能引起系统行为的剧烈变化。
线性系统的稳定性对于线性微分方程，我们可以通过线性稳定性定理来判断系统的稳定性。
简言之，线性系统的稳定性与其特征根的实部有关。
如果所有特征根的实部都小于零，则系统是稳定的；如果存在实部大于零的特征根，则系统是不稳定的。
非线性系统的稳定性相比线性系统，非线性系统的稳定性分析更加复杂。
通常我们需要通过 Lyapunov 函数、相平面分析等方法来研究非线性系统的稳定性。
Lyapunov 函数是一种标量函数，通过分析 Lyapunov 函数的正负号可以确定系统的渐近稳定性、不稳定性或者随机稳定性。
应用案例分析举一个简单的应用案例，考虑如下的非线性微分方程：$$\frac{dx}{dt} = -x^3$$可以通过 Lyapunov 函数的方法来判断系统的稳定性。
定义Lyapunov 函数为 $V(x) = \frac{1}{2}x^2$，对 $V(x)$ 求导得：$$\dot{V}(x) = x \dot{x} = -x^4$$当 $x \neq 0$ 时，有 $\dot{V}(x) < 0$，因此系统是渐近稳定的。
这个简单的例子展示了Lyapunov 函数在非线性系统稳定性分析中的应用。
结论微分方程的稳定性是微分方程理论中的一个核心问题，它关乎系统的长期行为和稳定性。
通过线性稳定性定理和 Lyapunov 函数等方法，我们可以判断系统的稳定性，并进一步研究系统的动力学特性。
在实际应用中，对微分方程稳定性的研究有助于我们更好地理解系统的演化规律，为问题的求解提供重要参考。
微分方程建模方法
微分方程建模方法微分方程建模是数学建模中的一个重要分支。
它通过建立描述现象的微分方程模型，利用数学工具和方法来研究和解决与该现象相关的问题。
微分方程建模的步骤包括确定问题、建立模型、求解模型和验证模型。
本文将详细介绍微分方程建模的方法。
经验模型法是一种基于已有经验和实验数据的建模方法。
它根据实验数据的分析和总结，通过适当的函数拟合和参数调整，建立与实际问题相吻合的微分方程模型。
经验模型法的优点是简单直观，适用于较为简单和复杂程度较低的问题。
例如，考虑一个物体在空气中的自由下落问题。
经验发现，物体受到的空气阻力与速度成正比，可以建立微分方程模型：$$\frac{{d^2x}}{{dt^2}}=g-\frac{{kv^2}}{{m}}$$其中，$x$为物体的位移，$t$为时间，$m$为物体的质量，$v$为物体的速度，$k$为与物体形状和空气性质有关的常数，$g$为重力加速度。
这个模型可以进一步求解，得到物体的速度和位移随时间的变化规律。
理论模型法是一种基于物理规律和数学原理的建模方法。
它通过对问题的深入理解，运用物理学原理、工程学原理和其他学科的知识，建立与实际问题相对应的微分方程模型。
理论模型法的优点是准确性高，适用于复杂和精密度较高的问题。
例如，考虑一个物体在弹簧中的振动问题。
根据胡克定律，在弹簧恢复力和物体质量、加速度之间建立微分方程模型：$$m\frac{{d^2x}}{{dt^2}}=-kx$$其中，$x$为物体的位移，$t$为时间，$m$为物体的质量，$k$为弹簧的劲度系数。
这个模型可以求解得到物体的振动规律。
解析解法是指通过数学方法求解微分方程模型的解。
对于一些简单和常见的微分方程，可以通过积分、分离变量、变量替换等方法求得其解析解。
解析解法的优点是求解结果准确、精确，可以提供深入理解问题的信息。
但对于复杂和非线性的微分方程，往往难以求得解析解，需要借助数值方法。
数值解法是指通过数学计算机计算求解微分方程模型的解。
常微分方程平衡点及稳定性研究.
本文给出了微分方程稳定性的概念,并举了一些例子来说明不同稳定性定义之间的区别和联系。
这些例子都是通过求出方程解析解的方法来讨论零解是否稳定。
在实际问题中提出的微分方程往往是很复杂的,无法求出其解析解,这就需要我们从方程本身来判断零解的稳定性。
所以我们讨论了通过Liapunov稳定性定理来判断自治系统零解的稳定性，并用类似的方法讨论了非自治系统零解的稳定性。
在此基础上，讨论了一阶和二阶微分方程的平衡点及其稳定性，这对其研究数学建模的稳定性模型起到很大的作用,并且利用相关的差分方程的全局吸引性研究了具时滞的单种群模型()()()() ().11N tN t r t N tcN t ττ--=--的平衡点1x=的全局吸引性,所获结果改进了文献中相关的结论。
关键词：自治系统平衡点稳定性全局吸引性AbstractIn this paper,we gived the conceptions of differential equation stability. Simultaneously a number of examples to illustrate the difference between the definition of different stability and contact. These examples are obtained by analytical solution equation method to discuss the stability of zero solution. Practical issues raised in the often very complicated differential equations, analytical solution can not be obtained, which requires us to determine from the equation itself, the stability of zero solution. So we discussed the stability theorem to determine through the stability of zero solution of autonomous systems, and use similar methods to discuss the non-zero solution of autonomous system stability. On this basis,we discuss a step and the second-step and the stability, which plays the major role to its stability of the model, and the global attractivity of the positive equilibrium 1x=of the following delay single population model()()()() ().11N tN t r t N tcN t ττ--=--is investigated by using the corresponding result related to a difference equation.The obtained results improve some known results in the literature.Key Words:autonomous system;equilibrium point;stability;delay;globally asymptotic stability;global attractivity摘要 (I)Abstract (I)目录 (II)第1章引言 (1)第2章微分方程平衡点及稳定性分析 (3)2.1 平衡点及稳定性定义 (3)2.2 自治系统零解的稳定性 (4)2.2.1 V函数 (4)2.2.2 Liapunov稳定性定理 (5)2.3 非自治系统的稳定性 (8)2.3.1 V函数和k类函数 (8)2.3.2 零解的稳定性 (10)2.4 判定一阶微分方程平衡点稳定性的方法 (14)2.4.1 相关定义 (14)2.4.2 判定平衡点稳定性的方法 (14)2.5 判定二阶微分方程平衡点稳定性的方法 (15)2.5.1 相关定义 (15)2.5.2 判定平衡点稳定性的方法 (15)第3章一类时滞微分方程平衡点的全局吸引性 (17)3.1 差分方程(3-7)的全局渐近稳定性 (17)3.2 微分方程(3-1)的全局吸引性 (19)第4章常微分方程稳定性的一个应用 (23)第5章结论 (25)参考文献 (27)致谢 (29)第1章引言20世纪以来，随着大量的边缘科学诸如电磁流体力学、化学流体力学、动力气象学、海洋动力学、地下水动力学等等的产生和发展，在自然科学（如物理化学生物天文）和社会科学（如工程经济军事）中的大量问题都可以用微分方程来描述，尤其当我们描述实际对象的某些特性随时间（空间）而演变的过程，分析它的变化规律，预测它的未来形态时，要建立对象的动态模型，通常要用到微分方程模型，而稳定性模型的对象仍是动态过程，而建模的目的是研究时间充分长以后过程的变化趋势、平衡状态是否稳定。
微分方程定性与稳定性分析解析
微分方程定性与稳定性分析解析微分方程是描述自然界中变化规律的重要数学工具，在各个学科领域中都有广泛的应用。
微分方程的定性与稳定性分析是研究微分方程解行为的一种方法，通过分析解的性质和稳定性来了解方程的整体行为。
本文将介绍微分方程定性与稳定性分析的基本概念和方法，并通过具体的例子来阐述其应用。
一、微分方程定性分析微分方程定性分析是指通过对微分方程解的性质进行分析，得到关于解的定性描述。
在定性分析中，我们主要关注解的长期行为和整体趋势，而不是具体的解析形式。
1. 平衡解与稳定性在微分方程中，平衡解是指满足方程右端为零的解。
对于一阶微分方程dy/dx = f(x)，平衡解即为使得f(x) = 0的x值。
平衡解的稳定性是指当初始条件接近平衡解时，解的行为是否趋于平衡解。
2. 等式右端的符号分析对于微分方程dy/dx = f(x)，我们可以通过分析f(x)的符号来推断解的行为。
当f(x) > 0时，解呈现上升趋势；当f(x) < 0时，解呈现下降趋势；当f(x) = 0时，解为平衡解。
3. 相图分析相图是描述微分方程解的图形，横轴表示自变量x，纵轴表示因变量y。
在相图中，曲线表示解的轨迹，平衡解表示曲线与纵轴的交点。
通过绘制相图，我们可以直观地了解解的行为和稳定性。
二、微分方程稳定性分析微分方程稳定性分析是指通过分析微分方程解的稳定性来了解方程的整体行为。
稳定性分析可以分为局部稳定性和全局稳定性两个方面。
1. 局部稳定性局部稳定性是指当初始条件接近某个平衡解时，解的行为是否趋于该平衡解。
局部稳定性可以通过线性化的方法来分析，即将微分方程在平衡解附近进行泰勒展开，并分析展开式的特征根。
2. 全局稳定性全局稳定性是指当初始条件在整个定义域内变化时，解的行为是否趋于某个平衡解。
全局稳定性的分析较为复杂，通常需要借助于Lyapunov函数或者Poincaré-Bendixson定理等方法。
三、定性与稳定性分析的应用微分方程的定性与稳定性分析在各个学科领域中都有广泛的应用。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一般的微分方程或微分方程组可以写成： dx f (t, x) dt
定义 称微分方程或微分方程组
dx f (x) dt
（3.28）
为自治系统或动力系统。
若方程或方程组f(x)=0有解Xo，X=Xo显然满足（3.28）。称 点Xo为微分方程或微分方程组（3.28)的平衡点或奇点。
例 Logistic模型
0 稳定性问题
在研究许多实际问题时，人们最为关心的也许并非系统与 时间有关的变化状态，而是系统最终的发展趋势。例如，在研 究某频危种群时，虽然我们也想了解它当前或今后的数量，但 我们更为关心的却是它最终是否会绝灭，用什么办法可以拯救 这一种群，使之免于绝种等等问题。要解决这类问题，需要用 到微分方程或微分方程组的稳定性理论。在下两节，我们将研 究几个与稳定性有关的问题。
f '(xo ) 0 的情况可类似加以讨论。
考察两阶微分方程组：
dx1 dt
f (x1, x2 )
dx2
dt
g(x1, x2 )
（3.29）
令 x' x，作xo一坐标平移，不妨仍用x记x’，则平衡
点xo的稳定性讨论转化为原点的稳定性讨论了。将
f(x1,x2)、g(x1,x2)在原点展开，（3.29）又可写成:
N=K有着极大的区别。
定义1 自治系统 dx 为坐标 的空间Rn。dt
f (x)的相空间是指以（x1,…,xn）
特别，当n=2时，称相空间为相平面。 空间Rn的点集{(x1,…,xn)}|xi=xi(t)满足(3.28)，i=1,…,n}称 为系统的轨线，所有轨线在相空间的分布图称为相图。
图3-17
① λ有两个线性无关的特征向量 当p>0时，零点不 稳定 当p<0时，零点稳定
② 如果λ只有一个特征向量 当p≥0时，零点不 稳定 当p>0时，零点稳定
（2） △<0，此时 1,2 a i (2a p,2 )
若a>0，零点稳定 若a=0，有零点为中心的周期解
综上所述：仅当p<0且q>0时， （3.30）零点才是渐近稳定 的；当p=0且q>0时（3.30）有周期解，零点是稳定的中心（非渐 近稳定）；在其他情况下，零点均为不稳定的。
令p=当a+pd当<, q0p=时>a0d，时-b零c，=点|零A|稳，点定则不稳1,2定 ；12 ( p p2 4q) ，记 p2 4q。 ② 若q<0，λ1λ2<0 当c1=0时，零点稳定 当c1≠0时,零点为不稳定的鞍点
③ q=0，此时λ1=p，λ2=0，零点不稳定。
（2） △=0，则λ1=λ2:
dN k(K N)N dt
共有两个平衡点：N=0和N=K，分别对应微分方程的两
两个特殊解。前者为No=0时的解而后者为No=K时的解。
当No<K时，积分曲线N=N(t)位于N=K的下方；当No>K时，则 位于N=K的上方。从图3-17中不难看出，若No>0，积分曲线在N 轴上的投影曲线（称为轨线）将趋于K。这说明，平衡点N=0和
b
f
' x2
(0,
0)
c
g' x1
(0,
0)
d
g' x2
(0, 0)
（3.30）
讨记论（A特1）征ac 若值db△与>λ零10、，点λ可2稳为能定A出的的现特关以征系下值情则形λ1、：λ2是方程： ① d若etq（>0A，-λλI）1λ2=>λ02。- (a+b) λ+ (ad – bc )=0的根
dx1 dt
f
' x1
(0,
0)
x1
f
' x2
(0,
0)
x2
o(
x12 x22 )
dx2
dt
g
' x1
(0,
0)
x1
g
' x2
(0,
0)
x2
o(
x12 x22 )
考察（3.29）的线性近似方程组:
dx1 dt
ax1
bx2
其中：
dx2
dt
cx1
dx2
a
f
' x1(0,0) Nhomakorabea 产量模型
x(t) ~ 渔场鱼量
假设
• 无捕捞时鱼的自然增长服从 Logistic规律
x(t) f (x) rx(1 x ) N
r~固有增长率, N~最大鱼量
• 单位时间捕捞量与渔场鱼量成正比
建模
h(x)=Ex, E~捕捞强度
N=0则是不稳定的。
（3）x0是不稳定的，如果（1）不成立。
微分方程平衡点的稳定性除了几何方法，还可以通过解 析方法来讨论，所用工具为以下一些定理。
解析方法
定理1 设xo是微分方程 dx 的f (平x)衡点：
dt
若 f '(xo ),则 0xo是渐近稳定的 若 f '(xo ),则 0xo是渐近不稳定的
定义2 设x0是（3.28）的平衡点，称： （1）x0是稳定的，如果对于任意的ε>0，存在一个δ>0，
只要|x(0根)-据x0这|<一δ定，义就，有L|xo(gt)is-txic0方|<ε对所有的t都成立。
程的平衡点N=K是稳定的
（2）且x为0是渐渐近近稳稳定定的的，，而如平果衡它点是稳定的且ltim x(t) 。x0 0
非线性方程组（3.29）平衡点稳定性讨论可以证明有下面 定理成立:
定理2 若（3.30）的零点是渐近稳定的，则（3.29）的平衡点 也是渐近稳定的；若（3.30）的零点是不稳定的，则（3.29） 的平衡点也是不稳定的。
稳定性模型
• 对象仍是动态过程，而建模目的是研究时 间充分长以后过程的变化趋势 ——平衡状 态是否稳定。
• 不求解微分方程，而是用微分方程稳定性 理论研究平衡状态的稳定性。
6.1 捕鱼业的持续收获
背景
• 再生资源（渔业、林业等）与 非再生资源（矿业等）
• 再生资源应适度开发——在持续稳 产前提下实现最大产量或最佳效益。
问题 及分
析
• 在捕捞量稳定的条件下，如何控 制捕捞使产量最大或效益最佳。
• 如果使捕捞量等于自然增长量，渔 场鱼量将保持不变，则捕捞量稳定。
证 由泰勒公式，当x与xo充分接近时，有：
高阶f (微x)分 方f (程xo )与高f 阶'(x微o )(分x 方x程o )组 o x xo
xf，(<x故由x)<ox于时0o是，平大理简衡x必o渐从衡家论单点是有进而点有。介的平f(稳xx的兴为绍稳衡单)定>稳趣了一定点减0的定可下下性，，。。性参两两判故从无讨阅节阶别f而(论x论微的微方xo在)单较分需分法=哪增为方要方。0种。；复程，程情若当杂定我组况x，性们平f>下' (xx都oo，时)有则，x0当→又x有o