偏微分方程和特征线.docVIP

偏微分方程与特征线 1函数空间的矢量场 给定一个矢量场，就在空间定义了曲线簇。比如，经过点的积分曲线就可以描述为下列常微分方程的初值问题 ， 这些积分曲线就构成了曲线簇。如果形式地写出这个曲线来就是 此处x是0时刻位置，v是作用于x的微分算符。 这些曲线，将空间点分成了类，也就是说每条曲线上的点属于一类。曲线集合的维数是n-1维。 矢量场的可积性 那么给定两个矢量场，就会产生两簇曲线，这两簇曲线能否组成面簇呢？我们先 看看从一点出发的曲线是否在一个曲面上的条件：从x点出发的依此沿两簇直线运动的点若能回到来，就可以认为可以组成面。即 如果a,b,c,d都是1级以上的小量，这个表达式有二级以上的精度，就可以找到这样的a,b,c,d,使得方程精确满足。 按照各级展开，有 一级 二级 … 由此，得到条件 这就是两个矢量能够构成2维子空间（曲面）的条件，著名的Frobenius定理。 n个矢量积分形成n维积分只空间的条件是，任意两个矢量的对易可以写成这n个矢量组合。 可以按照下图进行直观理解 满足Frobenius定理的两个矢量，能够形成二维子空间（二维曲面） 不满足Frobenius定理的两个矢量，不能形成二维子空间 给定m个矢量场，他们线性组合能够形成新的矢量场。组成的矢量场空间一般称为分布。 这个分布中任意两个矢量场对易仍然在这个分布之内，这样满足Frobenius定理的分