1.1 向量场
![](https://i-blog.csdnimg.cn/blog_migrate/d5b170623c1ddee9146eedf52782e881.png)
![](https://i-blog.csdnimg.cn/blog_migrate/31cece1d4342f913684f4f52768adf5e.png)
1.2 常微分方程
![](https://i-blog.csdnimg.cn/blog_migrate/fce8d9c7b13a7a67dbb42a3c37d358c3.png)
的方程,其中
是定义在
![](https://i-blog.csdnimg.cn/blog_migrate/c1821db089c9dbbc088f7fb722b34dd6.png)
上的向量场.若有
是定义在
中某个开集
上的向量值函数使上述方程成立,则称
是该方程在
上的解。
1.3 右端自治情况下的意义
若
与
无关,则方程
的意思是:
是否存在这样的曲线
,使它在每一点处的切向量正好是给定的向量场在这一点处的取值?
从运动学角度来看,如果左端和右端都是一维的情形,方程的意思是,是否存在
上的这样一种运动,使得在每一点的运动速度是给定的数值?
右端与t无关的情形,称方程是一个自治系统,否则是非自治的。
1.4 微分方程的基本问题
一般来说,方程需要一个定解条件,更具体一点,是形如:
![](https://i-blog.csdnimg.cn/blog_migrate/d62ee98aec9ae7cf03e2432968908118.png)
的限制条件。它指的是曲线或者运动在某一刻的位置,常常取
=0,表示初始时刻的运动状态。
![](https://i-blog.csdnimg.cn/blog_migrate/b06ca15730b7a9bbe960e7c2542d0df8.png)
显然我们会碰到这样的问题:
1.方程是否存在满足
和
在
附近的一个解?
![](https://i-blog.csdnimg.cn/blog_migrate/b06ca15730b7a9bbe960e7c2542d0df8.png)
2.这个解是否在其存在区间上是唯一的?
3.这个解能在多大的范围内存在?
我们可以先看两个例子:
1.
![](https://i-blog.csdnimg.cn/blog_migrate/cedb45cbcdac427dca96d99b19129fab.png)
显然,
是方程的解,并且它在整个区间上存在。它实际上是唯一的解(初等积分法可以求出)
![](https://i-blog.csdnimg.cn/blog_migrate/56f31ce1f269c75a34b2b9e7ed6e0d28.png)
2.
![](https://i-blog.csdnimg.cn/blog_migrate/0ef42bd22f7b89bfeb191320af48fbc2.png)
方程在
附近存在唯一解
注意到解不能延拓到1的右侧,所以该方程的解的存在区间是有限的。
1.5 微分同胚
双射:
和
都是光滑映射。
![](https://i-blog.csdnimg.cn/blog_migrate/c5f8fdd06cd09afd09ac261432bbcdf0.png)
是微分同胚,如果
![](https://i-blog.csdnimg.cn/blog_migrate/d4bd7757dc4356e55d15b044293b22bd.png)
微分同胚的存在性必然表明
.或者说,维数是微分同胚意义下的不变量.
1.6 相流
相流是
上的一族自微分同胚
,满足以下两个条件:
![](https://i-blog.csdnimg.cn/blog_migrate/1348af68c6e88a043397cba7258f2283.png)
1.
是自微分同胚族,
![](https://i-blog.csdnimg.cn/blog_migrate/83060eb2677f4dfc42c02216dd6ed98c.png)
![](https://i-blog.csdnimg.cn/blog_migrate/5307855823a37c6215a9932eacc8bde8.png)
2.(群条件)
![](https://i-blog.csdnimg.cn/blog_migrate/8eadad17b44239aff3bbb6764d8850f4.png)
1.7 由特殊的自治方程所决定的相流
若自治方程在初始条件下均在整个实轴上存在唯一的解,则这样的自治方程可以确定相流.
定义:
![](https://i-blog.csdnimg.cn/blog_migrate/5a85d883918b4dc4cf4569a8286d17ee.png)
其中
是自治方程在初始条件
的解在时刻
时的位置。
定理1.7.1
1.由上述方法确定
的是微分同胚
![](https://i-blog.csdnimg.cn/blog_migrate/1348af68c6e88a043397cba7258f2283.png)
2.
是一族相流.
![](https://i-blog.csdnimg.cn/blog_migrate/1348af68c6e88a043397cba7258f2283.png)
注意到
是方程在初始条件
![](https://i-blog.csdnimg.cn/blog_migrate/657b68fbf75ef9bbd2a2b41471872584.png)
下的解。它是无限延伸的曲线,称为过
点处的相曲线。可以知道,过每一点处只有唯一的一条相曲线(由假定的唯一性).
1.7.1的2证明是容易的,只需注意到这样一件事实:
如果
是自治方程的解,则
同样是方程的解.
而1我们目前还没法证明的可微性,这实际上是解对初值条件的可微依赖性,我们先假定自治方程满足大范围存在性和整体唯一性的时候是成立的。过后我们会用常微分方程基本定理来证明它。
1.8 相流决定的向量场
给定
,考虑
![](https://i-blog.csdnimg.cn/blog_migrate/1348af68c6e88a043397cba7258f2283.png)
右侧是在零时刻求的导数。它得到了
上的一个向量场。
1.9 相流,向量场和自治方程的关系
思考以下三句话:
1.相流可以确定向量场(在1.8的意义下)
2.向量场可以得到自治方程
3.特殊的自治方程可以得到相流