(常微分方程)第6章一般理论.ppt

第6章　一 般 理 论 　　为了方便起见，我们常采用向量与矩阵的符号.　　设Rn是n维欧氏空间，x是Rn中的向量，即 则向量x与y的和或差，以及向量x与数a的乘积分别定义如下： 用符号|x|表示x的模，模定义为 　　(4)有Schwartz不等式 　　现在考虑自变量为实数t，在Rn中取值的向量函数φ(t).不难模仿一元函数的连续性、微商与定积分的定义给出向量函数的连续性、微商与定积分的定义.其实只要把一元函数的符号理解为向量函数的符号，把绝对值理解为模就可以了.　　设φi(t)(i=1,2,…,n)是向量函数φ(t)的分量，即 显然有下列结论：　　(1)当且仅当φi(t)(i=1,2,…,n)都连续时，φ（t)连续.　　(2)φ(t)的微商是向量函数，记作dφ(t)/dt或φ(t),并且有 　　(3)φ(t)在区间［t0,t］上的积分 是向量函数ψ(t)，即 　　(4)根据积分的定义与三角不等式，不难证明下列不等式： 　　如果存在一个常数L，使得当x,y∈W时，有 因为W有凸性，所以当x,y∈W时，x+θ(y-x)在W内，于是由上述不等式得 　　命题6.1　若g(x)在区域W上满足局部李氏条件，A是W内的有界闭区域，则g(x)在A上是李氏的.　　证明　若结论不对，即对无论多大的正数K，总存在A内的x与y，使得 　　事实上，有x*=y*.因为对一切n，有 　　由假设，存在x*的一个邻域W0，使得g(x)在W0上是李氏的，有李氏常数L.又存在N，使得当n≥N时，xn,yn∈W0.于是当n≥N时有不等式 |g(xn)-g(yn)|≤L|xn-yn| 6.1　微分方程解的存在性与唯一性　　设t是时间变量，t∈I,I是实数轴上的开区间，也可以是无穷区间.x是n维向量，x∈W,W是n维欧氏空间Rn中的区域，也可以是无界区域或全空间.　　考虑微分方程 　　定理6.1　对微分方程(6.2)，t0∈I与x0∈W存在常数a0，使得在区间J=［t0-a,t0+a］上有微分方程(6.2)的唯一解x=x(t)，且连续并满足初始条件 即x(t)满足积分方程 　　(2)构造一个向量函数序列φk(t)(k=1,2,…).因为W是开区间，对x0∈W，有b0，使闭球W0W，其中 若φk(t)已定义，并且φk(t)∈W0，即|φk(t)-x0|≤b(t∈J)，就可以令 　　(3)证明序列φk(t)在J上一致收敛.令 则当t∈J时，有 　　(4)证明x(t)满足积分方程(6.5)，从而是微分方程(6.2)的解.这只要在恒等式 　　只要证明：如果在J上x(t)与y(t)都是方程(6.2)的解，又x(t0)=y(t0)=x0，则对一切t∈J有 因为aL=α1，所以Q=0，于是在J上有x(t)=y(t). 6.2　解 的 开 拓  　　定义6.1　方程(6.2)满足条件式(6.3)的一切解的存在区间之并称为方程(6.2)满足条件式(6.3)的解存在的最大区间.　　由引理6.1知，解存在的最大区间上有唯一的一个解.另外，这个最大区间一定是一个开区间.这是因为，若此区间包含着自己的左或右端点，那么它就可以再开拓.所以今后常说的是解存在的最大开区间. 　　例6.1　考虑R1上的微分方程 　　例6.2　考虑R1上的微分方程 所以表达式 　　定理6.2指出：如果解y(t)的最大开区间(α,β)有一个端点是有限数，例如β是有限数，那么一定是解曲线y(t)超出W内的任何有界闭集.由证明可知，当t→β时，或者y(t)趋于W的边界，或者|y(t)|无界.例6.2中的解存在的最大开区间是(-π/2,π/2)，正因为当t→±π/2时， 6.3　解对初值的连续依赖性与可微性　　前两节讨论了方程(6.2)满足初值条件式(6.3)： 　　引理6.2　设g(t)与u(t)是区间［t0,t1］上的连续非负、实数值函数；常数C和K非负.若对t∈［t0,t1］,有 　　证明　(1)C0.由已知的不等式可得以下不等式： 将上不等式两端由t0到t积分，得 　　(2)C=0.显然此时对任意C0有 　　定理6.3　设方程(6.2)有解x(t,y0)与x(t,z0)，它们都在区间［t0,t1］上存在，则对一切t∈［t0,t1］有 　　因为当t∈［t0,t1］时有不等式 由引理得 　　证明　只要证明解x(t,z0)在区间［t0,t1］上有定义即可.因为唯一性由引理6.1证得，要证明的估计式由定理6.3证得.　　由于［t0,t1］是有界闭区间，因此集合 而另一方面，由于x(t′, z0)在A的边界上，因此有 6.4　解对参数的连续性与可微性　　考虑依赖于参数μ的微