第十二讲、高阶微分方程和方程组：解的存 在、唯一、连续可微性 张祥 xzhang@sjtu.edu.cn 答疑时间：周三晚上6：30-8：20点 答疑地点：老图书馆数学楼301 口+94二年生42刀双0 张样：上海交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在。唯一、连续可微性
1õ˘!p á©êß⁄êß|µ) 3!çò!ÎYåá5 ‹ å xzhang@sjtu.edu.cn â¶ûmµ±n˛ 6:30–8:20 : â¶/:µP„÷,ÍÆ¢ 301 ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
本讲教学目的与目标 高阶微分方程和方程组解的理论 掌握高阶微分方程和方程组解的存在、唯一性和连续可微性 温故： 一阶微分方程解的理论： 存在性、唯一性、 解关于初值和参数的连续性 张祥：上海交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在、唯一、连续可微性
˘Æ8Ü8I p á©êß⁄êß|)nÿ ›ºp á©êß⁄êß|)3!çò5⁄ÎYåá5 ßµ ò á©êß)nÿµ 35!çò5! )'u–ä⁄ÎÍÎY5 ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
课题引导： 。高阶微分方程和方程组是否有类似于一阶微分方程解的理 论？ ●高阶微分方程与方程组的关系如何？ 口年9·+二￥+生42刀风0 张样：上将交通大学数学系第十二讲、高阶微分方程和方程组：解的存在唯一、连续可微性
ëK⁄: p á©êß⁄êß|¥ƒkaquò á©êß)n ÿº p á©êßÜêß|'XX¤º ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
高阶微分方程与方程组的联系 考虑含参数的n阶微分方程初值问题 o6=f(y,-6,） (1) yxo)=0,y(o)=y1,,y-9(xo)=ym-1, (2) 其中元是m维参数，0,0，y1,…,y-1是实常数.作变换 1=y(x),2=y(x),,n=y-1(x) 4口0+4生··生+2及0 张样：上海交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在、难一、连续可微料
p á©êßÜêß|ÈX ƒ¹ÎÍ n á©êß–äØK y (n) (x) = f x, y, y 0 ,..., y (n−1) (x),λ , (1) y(x0) = y0, y 0 (x0) = y1, ..., y (n−1) (x0) = yn−1, (2) Ÿ• λ ¥ m ëÎÍ, x0, y0, y1,..., yn−1 ¥¢~Í. äCÜ z1 = y(x), z2 = y 0 (x), ..., zn = y n−1 (x). ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
令 1 22 3 Z= ,Z0= ,f= 3n-1 yn-2 Zn yn-1 f(x,z,2) 则n阶微分方程初值问题(1)转化成n阶微分方程组初值问题 '(x)=f(x,z,A), (3) z(x0）=20 (4) 张样：上海交通大学数学系 第十二讲，商阶微分方程和方程组：解的存在、唯一、连续可微性
- z = z1 z2 . . . zn−1 zn , z0 = y0 y1 . . . yn−2 yn−1 , f = z2 z3 . . . zn f(x, z,λ) . K n á©êß–äØK (1) =z§ n á©êß|–äØK z 0 (x) = f(x, z,λ), (3) z(x0) = z0. (4) ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
练习： 对于三阶微分方程 y"=1+sin(x2y")-y, y0)=1,y(0)=-1,y"(0)=0 ●将其化成方程组. ●验证三阶方程的解与相应的方程组的解之间的关系. 4口6·4之··生+2a0 张样：上涛交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在。难一、连续可微性
ˆS: Èun á©êß y 000 = 1+sin(x 2 y 00)−y, y(0) = 1, y 0 (0) = −1, y 00(0) = 0 ÚŸz§êß|. yn êß)ÜÉAêß|)Ém'X. ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
从方程(1)和(3)之间的关系，容易得到如下结论. 命题21 高阶微分方程(1)和微分方程组(3)的解的关系如下： a)y=φ(x)是高阶方程(1)满足(2)在某区间J上的解当且仅 当 zx)=(p(x),0'(x,o-x)7 是方程组(3)满足(4)在J上的解，其中T表示矩阵的转置. 口↑回+之·4主12月风0 张样：上海交通大学数学系第十二讲、高阶微分方程和方程维：解的存在。难一、连续可微牲
lêß (1) ⁄ (3) Ém'X, N¥Xe(ÿ. ·K 21 p á©êß (1) ⁄á©êß| (3) )'XXeµ a) y = φ(x) ¥p êß (1) ˜v (2) 3,´m J ˛)Ö= z(x) = (φ(x),φ 0 (x),...,φ (n−1) (x)))T , ¥êß| (3) ˜v (4) 3 J ˛), Ÿ• T L´› =ò. ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
命题21（续） b)y1=(x),,yn=(x)是高阶方程(1)在某区间J上的线 性无关解当且仅当 z(x)=( 1(,x.…,9-6》7, zn(x)= (9n(,(x,,-(x))7, 是方程组(3)在J上的线性无关解。 由命题21，下面不单独讨论高阶方程初值问题解的理论， 而只讨论方程组的解的理论」 口0+4之·4生+2刀a0四 张样：上涛交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在。难一、连续可微性
·K 21 (Y) b) y1 = φ1(x),..., yn = φn(x) ¥p êß (1) 3,´m J ˛Ç 5Ã')Ö= z1(x) = (φ1(x),φ 0 1 (x),...,φ (n−1) 1 (x)))T , . . . zn(x) = (φn(x),φ 0 n (x),...,φ (n−1) n (x)))T , ¥êß| (3) 3 J ˛Ç5Ã'). d·K 21, e°ÿ¸’?ÿp êß–äØK)nÿ, ê?ÿêß|)nÿ. ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
方程组解的存在、唯一与连续可微性 类似于纯量方程， 方程组初值问题的初始条件可以转化为方程组的参数。 不失一般性，考虑含参数的n阶微分方程组初值问题 y=fx,y,),y(0)=0, (6) 其中(x,y)∈2CR1+",入∈ACRm,2,A都是开区域. 设问： ·微分方程组解的存在唯一性如何叙述和证明？ 口年9·+二￥+生42刀风 张样：上海交通大学数学系 第十二讲，商阶微分方程和方程组：解的存在、唯一、连续可微料
êß|)3!çòÜÎYåá5 aquX˛êß, êß|–äØK–©^áå±=zèêß|ÎÍ. ÿîòÑ5, ƒ¹ÎÍ n á©êß|–äØK y 0 = f(x,y,λ), y(0) = 0, (6) Ÿ• (x,y) ∈ Ω ⊂ R 1+n , λ ∈ Λ ⊂ R m, Ω, Λ —¥m´ç. Ø: á©êß|)3çò5X¤Q„⁄y²º ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5
为了记号简单起见，下面用 ●f,表示n维向量函数f关于n维变量y的Jacobi矩阵. 。类似地我们用记号f: 回顾：一阶微分方程初值问题解的存在性、唯一性定理的条件和 结论 口0·4之·4生+2刀a0 张样：上涛交通大学数学系 第十二讲、高阶微分方程和方程组：解的存在、难一、连续可微性
è P“{¸ÂÑ, e°^ fy L´ n ëï˛ºÍ f 'u n ëC˛ y Jacobi › . aq/·Ç^P“ fλ . £µò á©êß–äØK)35!çò5½n^á⁄ (ÿ ‹å: ˛°œåÆÍÆX 1õ˘!p á©êß⁄êß|µ)3!çò!ÎYåá5