最新偏微分方程与特征线.docx
《最新偏微分方程与特征线.docx》由会员分享，可在线阅读，更多相关《最新偏微分方程与特征线.docx（10页珍藏版）》请在冰豆网上搜索。
最新偏微分方程与特征线
偏微分方程与特征线
偏微分方程与特征线
1函数空间的矢量场
给定一个矢量场«SkipRecordIf...»，就在空间定义了曲线簇。
比如，经过«SkipRecordIf...»点的积分曲线就可以描述为下列常微分方程的初值问题
«SkipRecordIf...»，«SkipRecordIf...»
«SkipRecordIf...»
«SkipRecordIf...»这些积分曲线就构成了曲线簇。
如果形式地写出这个曲线来就是
«SkipRecordIf...»
此处x是0时刻位置，v是作用于x的微分算符。
这些曲线，将空间点分成了类，也就是说每条曲线上的点属于一类。
曲线集合的维数是n-1维。
矢量场的可积性
那么给定两个矢量场，就会产生两簇曲线，这两簇曲线能否组成面簇呢？
我们先
看看从一点出发的曲线是否在一个曲面上的条件：
从x点出发的依此沿两簇直线运动的点若能回到来，就可以认为可以组成面。
即
«SkipRecordIf...»«SkipRecordIf...»
如果a,b,c,d都是1级以上的小量，这个表达式有二级以上的精度，就可以找到这样的a,b,c,d,使得方程精确满足。
按照各级展开，有
一级
«SkipRecordIf...»
二级
«SkipRecordIf...»
…
由此，得到条件
«SkipRecordIf...»
这就是两个矢量能够构成2维子空间（曲面）的条件，著名的Frobenius定理。
n个矢量积分形成n维积分只空间的条件是，任意两个矢量的对易可以写成这n个矢量组合。
可以按照下图进行直观理解
满足Frobenius定理的两个矢量，能够形成二维子空间（二维曲面）
不满足Frobenius定理的两个矢量，不能形成二维子空间
给定m个矢量场，他们线性组合能够形成新的矢量场。
组成的矢量场空间一般称为分布。
«SkipRecordIf...»
这个分布中任意两个矢量场对易仍然在这个分布之内，这样满足Frobenius定理的分布称为闭分布，
«SkipRecordIf...»
他们积分可以给出m维积分子流形。
单参数李群
一个矢量场可以构造单参数李群，一个闭分布可以构造李群。
我们先看一下单参数李群的表现，它将1维参数空间（物理上经常是时间），映射为群空间。
群元素可以形式地写为算符形式
«SkipRecordIf...»
在表示空间中也可以写为函数变换
«SkipRecordIf...»
这个函数变换是常微分方程的初值问题的解
«SkipRecordIf...»
当然这个函数满足如下关系
«SkipRecordIf...»
比如平移群«SkipRecordIf...»表示为«SkipRecordIf...»，
再如转动群«SkipRecordIf...»表示为«SkipRecordIf...»
单参数李群定义了参数空间和实际空间上的变换关系和函数变换关系。
微分形式
一个函数描述为
«SkipRecordIf...»
可以看做自变量空间到变量空间的映射
«SkipRecordIf...»
在自变量和因变量联合空间中，可以看做一个超曲面。
如果给自变量微小改变«SkipRecordIf...»，因变量也有相应的改变
«SkipRecordIf...»
上面下标逗号表示求导。
如果想计算某个方向的导数，仅需要将相应dx改成相应的矢量分量就可
«SkipRecordIf...»
这就是微分形式。
微分形式不再依赖坐标。
因此可以认为是客观量。
一般1微分形式可以描述为
«SkipRecordIf...»
不同坐标空间上的微分形式可以通过拉回映射表达出来
«SkipRecordIf...»«SkipRecordIf...»
那么«SkipRecordIf...»空间上的微分形式可以通过映射«SkipRecordIf...»拉回到«SkipRecordIf...»空间上的微分形式
«SkipRecordIf...»
微分形式可以与矢量作用，
«SkipRecordIf...»
因此可以将微分1形式想象成线元积分场，给定空间某点上一个线元，就给一个值。
当然，给定一条曲线，就可以给一个积分值
一条曲线可以描述为一维空间«SkipRecordIf...»向n维空间«SkipRecordIf...»上的映射
«SkipRecordIf...»
«SkipRecordIf...»
微分形式的外积
两个微分形式«SkipRecordIf...»，相当与两个线元积分场。
用这两个线元积分场可以构造一个面元积分场，要求面元大小和方向固定时，这个值是不变的。
要求
«SkipRecordIf...»
因此，«SkipRecordIf...»
外微分
观察微分形式«SkipRecordIf...»沿无穷小闭合回路（围出来无穷小面元）的积分值，这可以定义为无穷小面元上的函数（2微分形式）
«SkipRecordIf...»
«SkipRecordIf...»
k形式
对微分形式进行外积或者外微分都可以变成2形式，3形式，。
。
。
对于m微空间，可以证明，最高阶是m形式。
微分形式的可积性
很明显，如果«SkipRecordIf...»，那么有«SkipRecordIf...»
一个问题就是如果«SkipRecordIf...»，那么能否有«SkipRecordIf...»，很明显«SkipRecordIf...»。
也就是说，如果微分形式«SkipRecordIf...»沿无穷小闭合回路（围出来无穷小面元）的面元积分场是由原来的面元积分场合成的，这个线元积分场就可以写成全微分乘以一个因子形式。
另一个问题是给定一些微分形式«SkipRecordIf...»，能否判定任意一个微分形式的外微分可以表达为这些微分形式的组合形式？
答案是：
«SkipRecordIf...»
可以很容易证明这个表达式
将«SkipRecordIf...»扩充后，形成余切空间«SkipRecordIf...»的完备基
«SkipRecordIf...»
那么«SkipRecordIf...»，
可以肯定«SkipRecordIf...»，这是关于«SkipRecordIf...»的线性方程，由于«SkipRecordIf...»独立，这个方程只有0解。
因此«SkipRecordIf...»
我们再看能使«SkipRecordIf...»拉回到0的映射«SkipRecordIf...»，
«SkipRecordIf...»
能否找到«SkipRecordIf...»，使得上式成立呢？
这就是Frobenius定理的另一种描述，当任意«SkipRecordIf...»，都有«SkipRecordIf...»时，可以找到«SkipRecordIf...»，将«SkipRecordIf...»推回到0.
其实«SkipRecordIf...»就很能说明问题，几何上讲，绕任意无穷小回路对«SkipRecordIf...»求和后，都可以表达为«SkipRecordIf...»的组合形式。
因此，使得某点的«SkipRecordIf...»为0的切向场，也可连续延拓到别处。
这样的切向量场的积分曲面就是映射形成的曲面。
表达为
«SkipRecordIf...»
在V中，可以找到相互对易的m-n个矢量«SkipRecordIf...»，映射可以形式地表示为«SkipRecordIf...»
很明显
«SkipRecordIf...»
这些矢量«SkipRecordIf...»就构成了方程«SkipRecordIf...»的特征矢量。
微分形式组成的理想
如果给定生成元«SkipRecordIf...»，我们将«SkipRecordIf...»成为生成元生成的理想。
很明显任意形式«SkipRecordIf...»（包括函数，0形式），只要和理想中的元相乘（外积），都会变成理想中的元素，即«SkipRecordIf...»。
这和常讲的理想意义差不多。
借用理想概念
Frobenius定理表达为
一个外微分理想«SkipRecordIf...»的具有最大零化子空间的条件是
«SkipRecordIf...»
偏微分方程（组）
表达为«SkipRecordIf...»，可以理解为函数偏导数的约束关系。
Hamilton力学
«SkipRecordIf...»
比如流体（固体）方程
«SkipRecordIf...»，其中«SkipRecordIf...»
再加上本构方程和状态方程才会封闭。
电磁学Maxwell方程
«SkipRecordIf...»，其中«SkipRecordIf...»
或者在真空场写为
«SkipRecordIf...»
«SkipRecordIf...»，其中«SkipRecordIf...»
加上电磁学本构和电流方程才会封闭。
量子力学的薛定谔方程
«SkipRecordIf...»，其中«SkipRecordIf...»
相对论电子运动的狄拉克方程
«SkipRecordIf...»
刘维尔方程
«SkipRecordIf...»
«SkipRecordIf...»
相对论电磁学
«SkipRecordIf...»
«SkipRecordIf...»
«SkipRecordIf...»
切触空间
为了从几何上描述偏微分方程的意义我们定义切触空间。
我们定义：
自变量«SkipRecordIf...»的空间称为域空间«SkipRecordIf...»
自变量«SkipRecordIf...»，因变量«SkipRecordIf...»构成的空间称为图空间«SkipRecordIf...»
自变量«SkipRecordIf...»，因变量«SkipRecordIf...»，和因变量对自变量的导数«SkipRecordIf...»，构成的空间«SkipRecordIf...»叫做切触空间«SkipRecordIf...»。
切触空间是对图空间的拓展。
带来一些自然结构，即切触形式
«SkipRecordIf...»
任何函数«SkipRecordIf...»，扩充为到切触空间的映射
«SkipRecordIf...»
都会满足切触关系«SkipRecordIf...»
这样，一阶偏微分方程组描述为
«SkipRecordIf...»
如果一个映射满足«SkipRecordIf...»，这个映射就是«SkipRecordIf...»的解。
同样地可以定义高阶切触空间
«SkipRecordIf...»
高阶偏微分方程表示
«SkipRecordIf...»
方程解是满足
«SkipRecordIf...»
的映射。
一阶偏微分方程（组）的特征线
一阶偏微分方程
«SkipRecordIf...»
为了寻找它的解法，我们寻找合适的微分形式，对函数微分，得到
«SkipRecordIf...»
很自然地想到微分形式组合的特性矢量，就是«SkipRecordIf...»的矢量。
这里有一个问题需要解决，«SkipRec
升级会员 