偏微分方程与特征线.doc

偏微分方程与特征线1函数空间的矢量场给定一个矢量场，就在空间定义了曲线簇。比如，经过点的积分曲线就可以描述为下列常微分方程的初值问题，这些积分曲线就构成了曲线簇。如果形式地写出这个曲线来就是此处x是0时刻位置，v是作用于x的微分算符。这些曲线，将空间点分成了类，也就是说每条曲线上的点属于一类。曲线集合的维数是n-1维。矢量场的可积性那么给定两个矢量场，就会产生两簇曲线，这两簇曲线能否组成面簇呢？我们先看看从一点出发的曲线是否在一个曲面上的条件：从x点出发的依此沿两簇直线运动的点若能回到来，就可以认为可以组成面。即如果a,b,c,d都是1级以上的小量，这个表达式有二级以上的精度，就可以找到这样的a,b,c,d,使得方程精确满足。按照各级展开，有一级二级由此，得到条件这就是两个矢量能够构成2维子空间（曲面）的条件，著名的Frobenius定理。n个矢量积分形成n维积分只空间的条件是，任意两个矢量的对易可以写成这n个矢量组合。可以按照下图进行直观理解uvv满足Frobenius定理的两个矢量，能够形成二维子空间（二维曲面）不满足Frobenius定理的两个矢量，不能形成二维子空间给定m个矢量场，他们线性组合能够形成新的矢量场。组成的矢量场空间一般称为分布。这个分布中任意两个矢量场对易仍然在这个分布之内，这样满足Frobenius定理的分布称为闭分布，他们积分可以给出m维积分子流形。单参数李群一个矢量场可以构造单参数李群，一个闭分布可以构造李群。我们先看一下单参数李群的表现，它将1维参数空间（物理上经常是时间），映射为群空间。群元素可以形式地写为算符形式在表示空间中也可以写为函数变换这个函数变换是常微分方程的初值问题的解当然这个函数满足如下关系比如平移群 表示为 ，再如 转动群 表示为单参数李群定义了参数空间和实际空间上的变换关系和函数变换关系。微分形式 一个函数描述为可以看做 自变量空间到变量空间的映射在自变量和因变量联合空间中，可以看做一个超曲面。如果给自变量微小改变，因变量也有相应的改变上面下标逗号表示求导。如果想计算某个方向的导数，仅需要将相应dx改成相应的矢量分量就可这就是微分形式。微分形式不再依赖坐标。因此可以认为是客观量。一般1微分形式可以描述为不同坐标空间上的微分形式可以通过拉回映射表达出来那么空间上的微分形式可以通过映射拉回到空间上的微分形式微分形式可以与矢量作用，因此可以将微分1形式想象成线元积分场，给定空间某点上一个线元，就给一个值。当然，给定一条曲线，就可以给一个积分值一条曲线可以描述为一维空间向n维空间上的映射微分形式的外积两个微分形式，相当与两个线元积分场。用这两个线元积分场可以构造一个面元积分场，要求面元大小和方向固定时，这个值是不变的。要求因此，外微分观察微分形式沿无穷小闭合回路（围出来无穷小面元）的积分值，这可以定义为无穷小面元上的函数（2微分形式）k形式对微分形式进行外积或者外微分都可以变成2形式，3形式，。对于m微空间，可以证明，最高阶是m形式。微分形式的可积性很明显，如果，那么有一个问题就是如果，那么能否有，很明显。也就是说，如果微分形式沿无穷小闭合回路（围出来无穷小面元）的面元积分场是由原来的面元积分场合成的，这个线元积分场就可以写成全微分乘以一个因子形式。另一个问题是给定一些微分形式，能否判定任意一个微分形式的外微分可以表达为这些微分形式的组合形式？答案是：可以很容易证明这个表达式将扩充后，形成余切空间的完备基 那么，可以肯定，这是关于的线性方程，由于独立，这个方程只有0解。因此我们再看能使拉回到0的映射，能否找到，使得上式成立呢？这就是Frobenius定理的另一种描述，当任意，都有时，可以找到，将推回到0.其实就很能说明问题，几何上讲，绕任意无穷小回路对求和后，都可以表达为的组合形式。因此，使得某点的为0的切向场，也可连续延拓到别处。这样的切向量场的积分曲面就是映射形成的曲面。表达为在V中，可以找到相互对易的m-n个矢量，映射可以形式地表示为很明显这些矢量就构成了方程的特征矢量。微分形式组成的理想如果给定生成元，我们将成为生成元生成的理想。很明显任意形式（包括函数，0形式），只要和理想中的元相乘（外积），都会变成理想中的元素，即。这和常讲的理想意义差不多。借用理想概念Frobenius定理表达为一个外微分理想的具有最大零化子空间的条件是偏微分方程（组）表达为，可以理解为函数偏导数的约束关系。Hamilton力学比如流体（固体）方程，其中再加上本构方程和状态方程才会封闭。电磁学Maxwell方程，其中或者在真空场写为，其中加上电磁学本构和电流方程才会封闭。量子力学的薛定谔方程，其中相对论电子运动的狄拉克方程刘维尔方程相对论电磁学切触空间为了从几何上描述偏微分方程的意义我们定义切触空间。我们定义：自变量的空间称为域空间自变量，因变量构成的空间称为图空间自变量，因变量，和因变量对自变量的导数，构成的空间叫做切触空间。切触空间是对图空间的拓展。带来一些自然结构，即切触形式任何函数，扩充为到切触空间的映射都会满足切触关系这样，一阶偏微分方程组描述为如果一个映射满足，这个映射就是的解。同样地可以定义高阶切触空间高阶偏微分方程表示方程解是满足的映射。一阶偏微分方程（组）的特征线一阶偏微分方程为了寻找它的解法，我们寻找合适的微分形式，对函数微分，得到很自然地想到微分形式组合的特性矢量，就是的矢量。这里有一个问题需要解决，封闭吗？也就是说是否满足？很明显，但是并不在理想中，因此的矢量，有可能不能够积分出一个子空间来，因此不是偏微分方程的解。是封闭的，定义的矢量就是偏微分方程的特征矢量，它们的积分组成偏微分方程的解。我们考虑只有一个因变量情况的偏微分方程的设是上述理想的特征矢量因此，可以描述为线性组合的形式。消去的项，得到，因此可以选，再有，得到因此因此特征线可以采用常微分方程积分如果当成作用量，H当成Hamilton量，x粒子位置，p粒子动量，这正是经典粒子运动方程。李导数一个由矢量形成的单参数李群可以表述为的映射，也是的映射 。对于一个函数，这个映射可以将其拉回到，即，后者可以方便地用算符运算验证我们计算函数的无穷小变换即李导数也就是说，函数的李导数就是其方向导数对于微分形式，这个公式也可包含前一个，只要认为就可以了，因此可以证明，李导数满足莱布尼兹法则接着我们推导矢量场的李导数在处的矢量要与处的矢量比较，首先必须通过映射将其映射到x点上，映射是，这个映射诱导的映射只能将处的矢量推向。因此采用这个映射的逆映射将处的矢量推向。微分方程的对称性对于在切触空间中微分形式理想I表达的微分方程，如果存在坐标变换（映射）使得I不变，这个变换就是微分方程的对称性。我们考虑一种连续变换，它形成单参数李群，写为其中表示切触空间中的矢量。因此我们需要研究这个的无穷小变换将微分形式如何改变。实际上如果I的李导数仍然属于I就可以保证李变换是微分方程的对称变换。对比，,的系数，可以得到约去系数A,由上式兼容性，可以得到与的依赖关系写为兼容性条件是因变量数目大于1时，选，有，再代入前公式。也就是说在因变量数目大于1时仅是的任意函数，而。对于只有一个因变量情况，这表明令对照特征矢量，可以看出，原来这个对称性仅仅是将1个自变量的微分方程作了规范变换。这就是满足切触条件必须满足的对称性约束。如果知道方程对称性，比如V就可以根据方程的解构造新的解了，比如是方程的一只解，那么也是方程的一只解，且，这样可以从低维解子空间构造高维解子空间了。对于常微分方程，可以减少未知数或降阶。常微分方程的对称性及其精确解给定常微分方程组，确定其微分形式理想。如果确定一个对称性，就可以将其降阶。具体地，如果确定了其对称矢量，并解析求出其李变换场，将t消去，可以得到n-1个表达式，加