最新偏微分方程与特征线.docx

1、最新偏微分方程与特征线偏微分方程与特征线偏微分方程与特征线1函数空间的矢量场给定一个矢量场Skip Record If.，就在空间定义了曲线簇。比如，经过Skip Record If.点的积分曲线就可以描述为下列常微分方程的初值问题Skip Record If.，Skip Record If.Skip Record If.Skip Record If.这些积分曲线就构成了曲线簇。如果形式地写出这个曲线来就是Skip Record If.此处x是0时刻位置，v是作用于x的微分算符。这些曲线，将空间点分成了类，也就是说每条曲线上的点属于一类。曲线集合的维数是n-1维。矢量场的可积性 那么给定两个矢

2、量场，就会产生两簇曲线，这两簇曲线能否组成面簇呢？我们先看看从一点出发的曲线是否在一个曲面上的条件：从x点出发的依此沿两簇直线运动的点若能回到来，就可以认为可以组成面。即Skip Record If.Skip Record If.如果a,b,c,d都是1级以上的小量，这个表达式有二级以上的精度，就可以找到这样的a,b,c,d,使得方程精确满足。按照各级展开，有一级Skip Record If.二级Skip Record If.由此，得到条件Skip Record If.这就是两个矢量能够构成2维子空间（曲面）的条件，著名的Frobenius定理。n个矢量积分形成n维积分只空间的条件是，任意两个

3、矢量的对易可以写成这n个矢量组合。可以按照下图进行直观理解满足Frobenius定理的两个矢量，能够形成二维子空间（二维曲面）不满足Frobenius定理的两个矢量，不能形成二维子空间给定m个矢量场，他们线性组合能够形成新的矢量场。组成的矢量场空间一般称为分布。Skip Record If.这个分布中任意两个矢量场对易仍然在这个分布之内，这样满足Frobenius定理的分布称为闭分布，Skip Record If.他们积分可以给出m维积分子流形。单参数李群一个矢量场可以构造单参数李群，一个闭分布可以构造李群。我们先看一下单参数李群的表现，它将1维参数空间（物理上经常是时间），映射为群空间。群元

4、素可以形式地写为算符形式Skip Record If.在表示空间中也可以写为函数变换Skip Record If.这个函数变换是常微分方程的初值问题的解Skip Record If.当然这个函数满足如下关系Skip Record If.比如平移群Skip Record If. 表示为 Skip Record If.，再如 转动群 Skip Record If.表示为Skip Record If.单参数李群定义了参数空间和实际空间上的变换关系和函数变换关系。微分形式 一个函数描述为Skip Record If.可以看做 自变量空间到变量空间的映射Skip Record If.在自变量和因变量联合

5、空间中，可以看做一个超曲面。如果给自变量微小改变Skip Record If.，因变量也有相应的改变Skip Record If.上面下标逗号表示求导。如果想计算某个方向的导数，仅需要将相应dx改成相应的矢量分量就可Skip Record If.这就是微分形式。微分形式不再依赖坐标。因此可以认为是客观量。一般1微分形式可以描述为Skip Record If.不同坐标空间上的微分形式可以通过拉回映射表达出来Skip Record If.Skip Record If.那么Skip Record If.空间上的微分形式可以通过映射Skip Record If.拉回到Skip Record If.空间

6、上的微分形式Skip Record If.微分形式可以与矢量作用，Skip Record If.因此可以将微分1形式想象成线元积分场，给定空间某点上一个线元，就给一个值。当然，给定一条曲线，就可以给一个积分值一条曲线可以描述为一维空间Skip Record If.向n维空间Skip Record If.上的映射Skip Record If.Skip Record If.微分形式的外积两个微分形式Skip Record If.，相当与两个线元积分场。用这两个线元积分场可以构造一个面元积分场，要求面元大小和方向固定时，这个值是不变的。要求Skip Record If.因此，Skip Record

7、If.外微分观察微分形式Skip Record If.沿无穷小闭合回路（围出来无穷小面元）的积分值，这可以定义为无穷小面元上的函数（2微分形式）Skip Record If.Skip Record If.k形式对微分形式进行外积或者外微分都可以变成2形式，3形式，。对于m微空间，可以证明，最高阶是m形式。微分形式的可积性很明显，如果Skip Record If.，那么有Skip Record If.一个问题就是如果Skip Record If.，那么能否有Skip Record If.，很明显Skip Record If.。也就是说，如果微分形式Skip Record If.沿无穷小闭合回路（

8、围出来无穷小面元）的面元积分场是由原来的面元积分场合成的，这个线元积分场就可以写成全微分乘以一个因子形式。另一个问题是给定一些微分形式Skip Record If.，能否判定任意一个微分形式的外微分可以表达为这些微分形式的组合形式？答案是：Skip Record If.可以很容易证明这个表达式将Skip Record If.扩充后，形成余切空间Skip Record If.的完备基 Skip Record If.那么Skip Record If.，可以肯定Skip Record If.，这是关于Skip Record If.的线性方程，由于Skip Record If.独立，这个方程只有0解。

9、因此Skip Record If.我们再看能使Skip Record If.拉回到0的映射Skip Record If.，Skip Record If.能否找到Skip Record If.，使得上式成立呢？这就是Frobenius定理的另一种描述，当任意Skip Record If.，都有Skip Record If.时，可以找到Skip Record If.，将Skip Record If.推回到0.其实Skip Record If.就很能说明问题，几何上讲，绕任意无穷小回路对Skip Record If.求和后，都可以表达为Skip Record If.的组合形式。因此，使得某点的Ski

10、p Record If.为0的切向场，也可连续延拓到别处。这样的切向量场的积分曲面就是映射形成的曲面。表达为Skip Record If.在V中，可以找到相互对易的m-n个矢量Skip Record If.，映射可以形式地表示为Skip Record If.很明显Skip Record If.这些矢量Skip Record If.就构成了方程Skip Record If.的特征矢量。微分形式组成的理想如果给定生成元Skip Record If.，我们将Skip Record If.成为生成元生成的理想。很明显任意形式Skip Record If.（包括函数，0形式），只要和理想中的元相乘（外积

11、），都会变成理想中的元素，即Skip Record If.。这和常讲的理想意义差不多。借用理想概念Frobenius定理表达为一个外微分理想Skip Record If.的具有最大零化子空间的条件是Skip Record If.偏微分方程（组）表达为Skip Record If.，可以理解为函数偏导数的约束关系。Hamilton力学Skip Record If.比如流体（固体）方程Skip Record If.，其中Skip Record If.再加上本构方程和状态方程才会封闭。电磁学Maxwell方程Skip Record If.，其中Skip Record If.或者在真空场写为Skip

12、Record If.Skip Record If.，其中Skip Record If.加上电磁学本构和电流方程才会封闭。量子力学的薛定谔方程Skip Record If.，其中Skip Record If.相对论电子运动的狄拉克方程Skip Record If.刘维尔方程Skip Record If.Skip Record If.相对论电磁学Skip Record If.Skip Record If.Skip Record If.切触空间为了从几何上描述偏微分方程的意义我们定义切触空间。我们定义：自变量Skip Record If.的空间称为域空间Skip Record If.自变量Skip

13、Record If.，因变量Skip Record If.构成的空间称为图空间Skip Record If.自变量Skip Record If.，因变量Skip Record If.，和因变量对自变量的导数Skip Record If.，构成的空间Skip Record If.叫做切触空间Skip Record If.。切触空间是对图空间的拓展。带来一些自然结构，即切触形式Skip Record If.任何函数Skip Record If.，扩充为到切触空间的映射Skip Record If.都会满足切触关系Skip Record If.这样，一阶偏微分方程组描述为Skip Record If.如果一个映射满足Skip Record If.，这个映射就是Skip Record If.的解。同样地可以定义高阶切触空间Skip Record If.高阶偏微分方程表示Skip Record If.方程解是满足Skip Record If.的映射。一阶偏微分方程（组）的特征线一阶偏微分方程Skip Record If.为了寻找它的解法，我们寻找合适的微分形式，对函数微分，得到Skip Record If.很自然地想到微分形式组合的特性矢量，就是Skip Record If.的矢量。这里有一个问题需要解决，Skip Rec