偏微分方程与特征线

偏微分方程与特征线1函数空间的矢量场给定一个矢量场i x i v ∂=)(x v ，就在空间定义了曲线簇。

比如，经过0x 点的积分曲线就可以描述为下列常微分方程的初值问题)(x i i v x = ，n i ,...,1= 0)0(x x =这些积分曲线就构成了曲线簇。

如果形式地写出这个曲线来就是xvt x t v t v vt t xt x t x x t x )exp(...)!3!21(...!3!2)(332232=++++=++++= 此处x 是0时刻位置，v 是作用于x 的微分算符。

这些曲线，将空间点分成了类，也就是说每条曲线上的点属于一类。

曲线集合的维数是n-1维。

矢量场的可积性那么给定两个矢量场，就会产生两簇曲线，这两簇曲线能否组成面簇呢？我们先 看看从一点出发的曲线是否在一个曲面上的条件：从x 点出发的依此沿两簇直线运动的点若能回到来，就可以认为可以组成面。

即x x vd uc vb ua =)exp()exp()exp()(exp如果a,b,c,d 都是1级以上的小量，这个表达式有二级以上的精度，就可以找到这样的a,b,c,d,使得方程精确满足。

按照各级展开，有 一级0a 1111=+=+d b c二级v d b u c a vu uv b a )()()(222211+++=-…由此，得到条件v u vu uv v u βα+=-=],[这就是两个矢量能够构成2维子空间（曲面）的条件，著名的Frobenius 定理。

n 个矢量积分形成n 维积分只空间的条件是，任意两个矢量的对易可以写成这n 个矢量组合。

可以按照下图进行直观理解给定m 个矢量场，他们线性组合能够形成新的矢量场。

组成的矢量场空间一般称为分布。

},{是任意函数i ii i a v a ∑=∆这个分布中任意两个矢量场对易仍然在这个分布之内，这样满足Frobenius 定理的分布称为闭分布，∆⊆∆∆],[他们积分可以给出m 维积分子流形。

单参数李群一个矢量场可以构造单参数李群，一个闭分布可以构造李群。

我们先看一下单参数李群的表现，它将1维参数空间（物理上经常是时间），映射为群空间。

群元素可以形式地写为算符形式)ex p(vt g t =在表示空间中也可以写为函数变换),(t x x g t ϕ=这个函数变换是常微分方程的初值问题的解xx t x v t x t ==∂)0,(),(),(ϕϕϕ当然这个函数满足如下关系))),,((()),(()()(t s x f s t x f x f g g x f g s t s t ϕϕϕ=+=+比如平移群)ex p(x a a g ∂= 表示为 )()()ex p()(a x f x f a x f g x a +=∂=，再如 转动群 ))(ex p(r r n ∂⨯⋅=θθg 表示为)()())(ex p()(r r r n r '=∂⨯⋅=f f r f g θθ 单参数李群定义了参数空间和实际空间上的变换关系和函数变换关系。

微分形式一个函数描述为),...,()(1n x x f x f u ==可以看做 自变量空间到变量空间的映射u x R R n →→:在自变量和因变量联合空间中，可以看做一个超曲面。

如果给自变量微小改变dx x x +⇒，因变量也有相应的改变dx f df x ,=上面下标逗号表示求导。

如果想计算某个方向的导数，仅需要将相应dx 改成相应的矢量分量就可i x i v f v df i ,=这就是微分形式。

微分形式不再依赖坐标。

因此可以认为是客观量。

一般1微分形式可以描述为i i dx x )(ωω=不同坐标空间上的微分形式可以通过拉回映射表达出来)(,:y x y N M n m →→ϕ那么nN 空间上的微分形式可以通过映射*ϕ拉回到mM 空间上的微分形式j i y i i i dy y x y x y dx y x j)())(()())((*∂==='ωωωϕω微分形式可以与矢量作用，i i v v i ωω=因此可以将微分1形式想象成线元积分场，给定空间某点上一个线元，就给一个值。

当然，给定一条曲线，就可以给一个积分值一条曲线可以描述为一维空间1T 向n 维空间nN 上的映射)(,:1t x t N T l n →→⎰⎰=lii t dx t x l )())((*ωω微分形式的外积两个微分形式θω,，相当与两个线元积分场。

用这两个线元积分场可以构造一个面元积分场，要求面元大小和方向固定时，这个值是不变的。

要求θωδγβαθωδγβα∧=∧++v u u v v u i i i i 因此，j i j i j i i j j i dx dx dx dx ∧=-=∧θωθωθωθω)(21外微分观察微分形式ω沿无穷小闭合回路（围出来无穷小面元）的积分值，这可以定义为无穷小面元上的函数（2微分形式）⎰⎰⎰⎰⎰ΩΩΩ∂∧==ji i j dx dx d ,ωωω j i i j dx dx d ∧=,ωωk 形式对微分形式进行外积或者外微分都可以变成2形式，3形式，。

对于m 微空间，可以证明，最高阶是m 形式。

微分形式的可积性很明显，如果df =ω，那么有0=ωd一个问题就是如果df ≠ω，那么能否有adf =ω，很明显ωθω∧=d 。

也就是说，如果微分形式ω沿无穷小闭合回路（围出来无穷小面元）的面元积分场是由原来的面元积分场合成的，这个线元积分场就可以写成全微分乘以一个因子形式。

另一个问题是给定一些微分形式},...,1,{n =αθα，能否判定任意一个微分形式的外微分可以表达为这些微分形式的组合形式？ 答案是：01=∧∧=ββαθθnd可以很容易证明这个表达式将},...,1,{n =αθα扩充后，形成余切空间*TM 的完备基 },...,1,,,...,1,{n m n -==μσαθμα那么γγαββαασρθτθ∧+∧=d ，可以肯定01=∧∧=ββγγαθσρn，这是关于γαρ的线性方程，由于ββγθσn1=∧独立，这个方程只有0解。

因此ββααθτθ∧=d我们再看能使},...,1,{n =αθα拉回到0的映射ϕ，0*=αθϕ能否找到m nm M N→-:ϕ，使得上式成立呢？这就是Frobenius 定理的另一种描述，当任意α，都有01=∧∧=ββαθθnd 时，可以找到m n m M N →-:ϕ，将},...,1,{n =αθα推回到0.其实ββααθτθ∧=d 就很能说明问题，几何上讲，绕任意无穷小回路对αθ求和后，都可以表达为},...,1,{n =αθα的组合形式。

因此，使得某点的},...,1,{n =αθα为0的切向场，也可连续延拓到别处。

这样的切向量场的积分曲面就是映射形成的曲面。

表达为},...,1,0:{n i v V v ===αθα在V 中，可以找到相互对易的m-n 个矢量},..,1,{n m w -=αα，映射可以形式地表示为x w x M N m n m )ex p()(,:ααλλλϕ=→→-很明显0))(())(()())(()())((*,====ααααλαααλλλθλλλθλλθθϕαd x w x d x x dx x i i i i i i这些矢量},..,1,{n m w -=αα就构成了方程},...,1,0{n ==αθα的特征矢量。

微分形式组成的理想如果给定生成元},...,1,{n =αθα，我们将}0,{形式是任意形式，包括ααααωθω∑∧=I 成为生成元生成的理想。

很明显任意形式ω（包括函数，0形式），只要和理想中的元相乘（外积），都会变成理想中的元素，即I I ⊆∧ω。

这和常讲的理想意义差不多。

借用理想概念Frobenius 定理表达为一个外微分理想I 的具有最大零化子空间的条件是 I dI ⊆偏微分方程（组）表达为0,...),,,(=xx x u u x u F ，可以理解为函数偏导数的约束关系。

Hamilton 力学LH H qH p t q q L p q H t t p q -∂=∂∂=-∂=-⋅= ),,(比如流体（固体）方程0))21(()21(0)()(0)(22=⋅-+⋅∇++∂=-⋅∇+∂=⋅∇+∂v σv v v σvv v v E E t t t ρρρρρρρρ，其中},,{E u u ρ=再加上本构方程和状态方程才会封闭。

电磁学Maxwell 方程=∂+⨯∇=∂-⨯∇=⋅∇=⋅∇B E D H B D t t j ρ，其中}{E B,u =或者在真空场写为=∂-=∂αβμναβμνμνμεF j FμννμμνA A F ∂-∂=，其中},{A A u φ==加上电磁学本构和电流方程才会封闭。

量子力学的薛定谔方程ψψ))(2(22r V mi t +∇=∂ ，其中ψ=u相对论电子运动的狄拉克方程0)(=-∂ψγμμmci 刘维尔方程0=∂∂-∂∂+∂=∂+∂+∂ρρρρρρp q q p t p q t H H p q],[ρρH i t =∂相对论电磁学ϕe A ev c v c m L -⋅+⎪⎭⎫⎝⎛-=2201/22420220)(1/eA p c c m e e c v c m H -++=+⎪⎭⎫ ⎝⎛-=ϕϕ224202224202)()()()(eA p c c m AeA p e c e peA p c c m eA p c v -+∇⋅--∇-=-+-=ϕ切触空间为了从几何上描述偏微分方程的意义我们定义切触空间。

我们定义：自变量x 的空间称为域空间D自变量x ，因变量u 构成的空间称为图空间G自变量x ，因变量u ，和因变量对自变量的导数p ，构成的空间},,{p u x 叫做切触空间K 。

切触空间是对图空间的拓展。

带来一些自然结构，即切触形式i i dx p du C ααα-=任何函数),(,:u x →→λφG M ，扩充为到切触空间的映射),,(,:p u x →→ΦλK M都会满足切触关系0=ΦC这样，一阶偏微分方程组描述为}),,,({βββββαdx p du p u x F PE i i i -=如果一个映射满足0*=ΦPE ，这个映射就是0=PE 的解。

同样地可以定义高阶切触空间...j ij i i ii dx p dp C dx p du C αααααα-=-=高阶偏微分方程表示,...},,...),,,,({αααααβi ij i i C C p p u x F PE =方程解是满足 0*=ΦPE的映射。

一阶偏微分方程（组）的特征线一阶偏微分方程}),,,({pdx du p u x F PE -=为了寻找它的解法，我们寻找合适的微分形式，对函数微分，得到},,{,,,1pdx du dp F du F dx F F PE p u x -++=很自然地想到微分形式组合的特性矢量，就是}0:{1=PE i w w 的矢量。