G——不变微分方程与离散.pdfVIP

河南大学 硕士学位论文 G——不变微分方程的离散 姓名：刘震 申请学位级别：硕士 专业：基础数学 指导教师：李起升 2002.5.1 徊槐湮⒎址匠痰睦肷?????????猧?????????甧??????????在这篇文章中，我们定义了一般的多重空间的概念．它就象在微分方程几何中??占渌?绲慕巧?谎??纬晌⒎址匠淌?捣治?的几何基础．通过应用活动标架理论，我们可以构造出微分不变量和不变微分方程的保对称数值近似．刘震??年??日?璐????，??????????任???????‘???????????“???猻??”，???????猧??丹????縠??????￡?赶?????． 在第三节，我们详尽阐述活动标架理论以及用活动标架理论来许算不变量．在最后??一个微分方程系统的对称群简单地说就是将这个系统的一个解变换成系统另外解的群．这些群由作用在系统的独立变量和相关变量上的变换组成．???介绍了一种方法可以较容易的求出微分方程的对称群．一旦我们得到一个微分方程对于一般微分方程，单参数子群的不变量意味着我们可以将方程的阶数降低一阶．若获得减少阶数方程的解，我们可以对其积分得到原来方程的解．对于多参数对称群，我们可以多次降低方程的阶数，但是除非这个群满足附加的“可解性”要求，我们才能通过积分得到原始方程的解．对于偏微分方程，我们可以使用对称群来减少独立变量的个数，获得“群不变”的解，???活动标架理论是???????谘芯扛仗逶硕?笔紫纫??模????，??ǜ没疃?昙芊⒄钩梢恢钟行У墓ぞ撸?靡匝芯孔恿餍渭捌洳槐淞吭诒?换群作用下的几何性质．到了二十世纪七十年代，几位学者???，???开始试图将建：蓝了活动标架理论的一种新方法，能够系统地应用于一般变换群．其主旨是将活动标架定义为变换群的一个等变映射．所有经典的活动标架都可以用这种方法重新解释，但这种新方法的应用要更为广泛．在????恐校?疃?昙芾砺郾挥τ糜诖唇?解决多项式基本对称性和等价性问题的新的算法，而多项式基本对称性和等价性问题则构成了经典不变量理论的基础．在【??校?溆懊娴奈⒎植槐淞勘蛔髁朔掷啵?对于定义在曲线上的多重空间，?????发展出一种新的活动标架的方法来系统构造微分不变量和不变微分方程的数值近似．在现代数值分析中，用具有附加结构的数值格式来逼近一个问题近年来变的十许多学者，包括???，??浚珼?????，????浚珹???蚃???，【??珺????Ⅲ?，??，正从事于对微分方程保对称数值格式的设计．在不变量理论实践的应用上，用群不变的数值格式来近似微分不变量已经被应用到保对称问题上．在第二节，我们首先介绍群，不变量，延拓以及??缘然?靖拍詈拖喙囟ɡ恚?系统的对称群，它就可以得到大量的应用．首先，我们可以使用对称群的性质从已知解来构造新解．并且对称群可以提供一种区分微分方程的解等价与否的方式．活动标架理论从标架丛和联络中分离出来．最近，??并被用于生成在孤子理论中出现的可积????鳎?分广泛．首先的例子是从????力学引出的辛积分和相关的保能量方法，【?，?，?，????和????甇????，???甇??和??丘???畂??? ．?。，??希?＃?薄士?逆映射是?。????—?，定义在。∈％?。：???上，那么?ㄒ逡桓鼍?一节，我们提出了一般的多重空间的概念．然后通过使用活动标架理论，我们可以构造微分不变量和不变微分方程的保对称数值近似．§?鹤饔玫牟槐湫院脱油?定义??．一个?问?钊菏且桓鋈篏，它具有??饣?餍谓峁共⑶胰涸怂?定义群的逆运算组成．它具有如下性质：??绻?，∥，?蔏?。，Ⅳ?蚼?危瑉?苍趛中，那么??裕ブ忻恳桓龅銁，?￡，???????，?．?哂腥旱某嘶?定义??．令?且桓龉饣?餍危?桓鲎饔迷贛上的局部变换群由一个局部李群，局部作用的定义域?痷且??罬???罬??途哂腥缦滦灾实囊桓?光滑映射妒：?÷?钩桑??群作用的不变性和延拓和逆运算是流形间光滑映射．定义??．一个?问?植坷钊河邪???鉕的连通开子集％??和光滑映射定义群运算并且??运?衵∈?例??．令??：???部单参数子群．?篏×?獇??駆?，??·????琺?簦瑉??????，?，????????琽?????～，?篕???簓×?稲’，?篏?翯，?琟∈??蔊，? 琾???．为了简化，我们用?畓表示妒?，?．那么定义??．的条件有如下简单形式：一个实值?槐涞暮?齠：?÷?患虻コ谱饕桓鯣的不变量．我们经常对一个给定的变换群能决定多少不变量感兴趣．为了使这个问题精确些，我们首先注意到如果∈??，?，??是一个变换群的不变量，??，?，≯??任何光滑函数，那么?。??∈?。???????步?且桓霾槐淞浚?飧霾槐淞慷