勒让德开折及其生成族.pdfVIP

2014年 11月 吉林师范大学学报 (自然科学版) No．4 第4期 JournalofJilinNormalUniversity(NaturalScienceEdition) NOV．2014 勒让德开折及其生成族 孙伟志 ，许静波 (1．东北师范大学人文学院，吉林 长春 130117；2．吉林师范大学数学学院 吉林 四平 136000) 摘 要：本文给出1一参数勒让德开折与多重勒让德开折的定义并讨论它们的生成族的构造，证得多重函数芽的 ．Z,7-余维估计定理，该结果是对克莱罗型微分方程与完全可积一阶偏微分方程几何奇点进行半局部分类的基础． 关键词：1．参数勒让德开折；多重勒让德开折；生成族；多重函数芽；余维估计 中图分类号：0175．14 文献标识码 ：A 文章编号：1674—3873一(2014)04-0006-05 0 引言 奇点理论在微分方程上的应用始于2O世纪80年代末期，在20世纪90年代得到了迅速发展，日本数 学家 S．Izumiya为其主要代表人物之一．1992年，S．Izumiya首次用奇点理论的方法研究一阶偏微分方程 的一般性质；文献 [1，2]中讨论了如何从奇点理论的角度定义方程的奇解 ；文献 [3]给出了哈密尔顿一雅可 比方程几何奇点的半局部分类．2003年，M．Takahashi对克莱罗型常微分方程的分歧进行了分类 ；2006 年，他给出了一般克莱罗型完整系统分歧的分类 ；2007年，在文献 [6]中，他研究了完全可积一阶常微分 方程的分歧分类．在文献[7]中，我们讨论了完全可积的二元一阶偏微分方程的分歧分类．为了深入研究 克莱罗型微分方程与完全可积一阶偏微分方程的性质，我们需要进一步探讨上述两类方程几何奇点的半 局部分类问题．然而方程几何奇点的分类与其对应的勒让德开折的分类一致，因此本文给出1一参数勒让 德开折与多重勒让德开折的定义并研究其性质，本文的研究结果是对克莱罗型微分方程与完全可积一阶 偏微分方程几何奇点进行半局部分类的基础． 1 1．参数勒让德开折 本部分我们介绍奇点理论意义下一阶偏微分方程的几何框架，并给出1一参数勒让德开折的概念． 考虑隐2／元一阶偏微分方程 ， F(l…， ，Y，P1，…，P)：0， 其中P=dy／dx(i=1，…，n)，F为 以0为正则值的光滑函数，即F (0)为 J(露 ，置)中的2／+1维子流 形．这里 J(厦 ，匠)表示 n元函数的1-jet丛，可将其看成 2 十1维欧氏空间震 ” ，具有坐标系统 (，Y，P)=(1，…， ，Y，Pl，…，P )． 设0=dy一∑Pdx为．，( ，厦)上典范的切触1一形式，7：『I，(厕，厦)一腮 × ((，Y，p)l一(，y)) 为 自然投射． 定义1 设 i：(L，u。)一．，(厦 ，显)为浸入芽，若 dimL=n，且i0=0，则称 i为勒让德浸入芽．称 。i的 像为 i的波前集，记为W(i)． 下面考虑 1-jet丛 厦x露 ，置)，通常称之为开折的 1-jet丛．可将其看成2 十3维欧氏空间置 ， 坐标系统为 (t，，Y，s，P)=(t，1，… ， ，Y，s，P1，… ，P )． 收稿 日期：2014-09．25 基金项 目：国家 自然科学基金项 目10871035)；吉林省 自然科学基金项 目(20130522094JH)；吉林省教 育厅 “十二五”科学技术研究项 目(2013213) 第一作者简介：孙伟志 (1954一)，男，吉林省通化市人，现为东北师范大学人文学院教授，博士生导师．研究方向：奇点理论及其应用研究． · 6 · 设O=dy一∑Pdx—s·dt=0一s·dt为．，(魔×堀，厦)上典范的切触1-形式， i=l 仃：．，( ×厦 ，四) (匠 ×四 )×四，(t，，Y，s，p)I一 (t，，Y) 为 自然投射． 定义2 设 为n+1维光滑流形，：(R，U。)一(促，t。)为淹没芽，：(R，“。)一．，( ，四)为光滑映射 芽．若对任意