常微分方程边值问题与不动点定论文
- 格式:docx
- 大小:251.52 KB
- 文档页数:18
烟台大学硕士学位论文一类非线性常微分方程边值问题的求解方法及其解的定性分析姓名:***申请学位级别:硕士专业:应用数学指导教师:***20080401摘 要 本文基于非线性弹性力学的有限变形理论,将不可压缩超弹性材料组成的球形结构(如实心球体、初始状态含有微孔的球体、球壳)内部的空穴生成和增长问题归结为一类非线性常微分方程的边值问题,并对其进行了比较系统的研究,得到了一些新的理论结果和数值计算结果. 主要的工作和结论如下:1. 研究了由各向同性不可压缩的超弹性材料组成的实心球体在给定的表面径向拉伸死载荷作用下的空穴分岔问题. 得到了描述球体内部空穴生成和增长的空穴分岔方程. 特别地,对于各向同性的Rivlin- Saunders材料,给出了此类材料中有空穴现象出现的条件. 证明了空穴分岔方程的非平凡解在分岔点附近可以局部向左或向右分岔,这与其它各向同性不可压缩的超弹性材料中的空穴生成和增长现象有明显的不同. 最后,利用最小势能原理分析了空穴分岔方程解的稳定性和实际稳定的平衡状态. 2. 研究了在给定的表面拉伸死载荷作用下,由横观各向同性不可压缩的neo-Hookean 材料组成的球体内部预存微孔的增长问题. 利用材料的不可压缩条件和边界条件,得到了描述拉伸死载荷与微孔增长量之间的平衡关系的方程,并结合数值例图详细讨论了材料参数和结构参数对微孔增长的影响. 3. 研究了由横观各向同性不可压缩的Ogden材料组成的球壳在其内、外表面分别受到突加恒定载荷作用下的径向有限变形问题. 讨论了材料参数和结构参数对球壳内表面半径增长的影响,同时给出了相应的数值模拟. 关键词:不可压缩超弹性材料;预存微孔;球壳;有限变形;稳定性 AbstractBased on the finite deformation theory of Nonlinear Elasticity, the problems of cavity formation and growth in the interior of the spherical structures (such as a solid sphere, a sphere with an initial micro-void, a spherical shell) are described as a class of nonlinear ordinary differential equations with boundary conditions, where the structures are composed of incompressible hyper-elastic materials. These problems are discussed systemically, and s ome new theoretical and numerical results are obtained. The main works and results are as follows:1. A cavitated bifurcation problem is examined for a solid sphere composed of a class of isotropic incompressible hyper-elastic material s, where the surface of the sphere is subjected to a prescribed radially tensile dead-load. A cavitated bifurcation equation that describes cavity formation and growth in the interior sphere is obtained. Particularly, for the isotropic Rivlin-Saunders materials, the conditions of cavitation in the interior of this class of materials are presented. It is proved that the nontrivial solution can bifurcate locally to the left or the right near the bifurcation point, which is quite different from other isotropic incompressible hyper-elastic materials. Finally, the stability of the solutions and the actual stable equilibrium state are discussed by using the minimal potential principle.2. Under a prescribed uniform tensile dead-load, the growth of the pre-existing micro-void at the center of the sphere composed of the transversely isotropic incompressible neo-Hookean materials is examined. By using the incompressibility constraint and the boundary condition, an equation that describes the equilibrium relation between the tensile dead-load and the measure of void growth is obtained. The effects of material a nd structure parameters on the growth of the micro-void are discussed in detail with numerical examples.3. The radial finite deformation problem is examined for a spherical shell composed of the transversely isotropic incompressible Ogden materials, where the inner and the outer surfaces of the shell are subjected to different suddenly applied constant loads. The effects of material and structure parameters on the growth of the inner-surface are discussed. Simultaneously, the corresponding numerical simulations are given.Keywords: incompressible hyper-elastic material; pre-existing micro-void; spherical shell; finite deformation; stability烟台大学学位论文原创性声明和使用授权说明 原创性声明本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究工作所取得的成果。
硕士学位论文不动点定理在微分方程中的若干应用SEVERAL APPLICATION OF FIXED POINT THEOREM IN DIFFERENTIAL EQUATION王洪月哈尔滨工业大学2011年6月国内图书分类号:O159 学校代码:10213 国际图书分类号:517.9 密级:公开理学硕士学位论文(高校教师)不动点定理在微分方程中的若干应用硕士研究生:王洪月导 师:王勇 教授申请学位:理学硕士学科:基础数学所在单位:黑龙江省教育学院答辩日期:2011年6月授予学位单位:哈尔滨工业大学Classified Index:U.D.C.:Dissertation for the Master Degree in ScienceSEVERAL APPLICATION OF FIXED POINTTHEOREM IN DIFFERENTIAL EQUATIONCandidate: Wang HongyueSupervisor: Prof. Wang YongAcademic Degree Applied for:Master of ScienceSpecialty:Foundational MathematicalAffiliation: HLJ College of EducationDate of Oral Examination:June, 2011University: Harbin Institute of Technology哈尔滨工业大学理学硕士学位论文摘要现在社会,人们对自然界的了解越来越深入,人们在不断认识自然界的同时,也意识到了非线性科学在其他各个科学领域中发挥着重要的作用。
而在处理非线性问题时一个无法取代的非常有效的工具就是非线性泛函分析,而不动点理论又在非线性泛函分析中占有重要的地位,因此可以说不动点理论在现代数学中占有重要的地位。
在处理非线性微分方程边值问题过程中,人们成功地运用了非线性泛函分析理论,并在两者之间做了一些成功的等价转化,例如可以通过判断非线性算子是否有不动点来判断非线性泛函分析中解的存在性。
二阶常微分方程边值问题的数值解法摘要求解微分方程数值解的方法是多种多样的,它本身已形成一个独立的研究方向,其要点是对微分方程定解问题进行离散化.本文以研究二阶常微分方程边值问题的数值解法为目标,综合所学相关知识和二阶常微分方程的相关理论,通过对此类方程的数值解法的研究,系统的复习并进一步加深对二阶常微分方成的数值解法的理解,为下一步更加深入的学习和研究奠定基础.对于二阶常微分方程的边值问题,我们总结了两种常用的数值方法:打靶法和有限差分法.在本文中我们主要探讨关于有限差分法的数值解法.构造差分格式主要有两种途径:基于数值积分的构造方法和基于Taylor展开的构造方法.后一种更为灵活,它在构造差分格式的同时还可以得到关于截断误差的估计.在本文中对差分方法列出了详细的计算步骤和Matlab程序代码,通过具体的算例对这种方法的优缺点进行了细致的比较.在第一章中,本文将系统地介绍二阶常微分方程和差分法的一些背景材料.在第二章中,本文将通过Taylor展开分别求得二阶常微分方程边值问题数值解的差分格式.在第三章中,在第二章的基础上利用Matlab求解具体算例,并进行误差分析.关键词:常微分方程,边值问题,差分法,Taylor展开,数值解The Numerical Solutions ofSecond-Order Ordinary Differential Equations with the Boundary Value ProblemsABSTRACTThe numerical solutions for solving differential equations are various. It formed an independent research branch. The key point is the discretization of the definite solution problems of differential equations. The goal of this paper is the numerical methods for solving second-order ordinary differential equations with the boundary value problems. This paper introduces the mathematics knowledge with the theory of finite difference. Through solving the problems, reviewing what have been learned systematically and understanding the ideas and methods of the finite difference method in a deeper layer, we can establish a foundation for the future learning.For the second-order ordinary differential equations with the boundary value problems, we review two kinds of numerical methods commonly used for linear boundary value problems, i.e. shooting method and finite difference method. There are mainly two ways to create these finite difference methods: i.e. Taylor series expansion method and Numerical Integration. The later one is more flexible, because at the same time it can get the estimates of the truncation errors. We give the exact calculating steps and Matlab codes. Moreover, we compare the advantages and disadvantages in detail of these two methods through a specific numerical example. In the first chapter, we will introduce some backgrounds of the ordinary differential equations and the difference method. In the second chapter, we will obtain difference schemes of the numerical solutions of the Second-Order ordinary differential equations with the boundary value problems through the Taylor expansion. In the third chapter, we using Matlab tosolve the specific examples on the basis of the second chapter, and analyzing the errors.KEY WORDS: Ordinary Differential Equations, Boundary Value Problems, Finite Difference Method, Taylor Expansion, Numerical Solution毕业论文(设计)原创性声明本人所呈交的毕业论文(设计)是我在导师的指导下进行的研究工作及取得的研究成果。
常微分方程的边值问题
常微分方程的边值问题(也称为常微分方程的定边值问题)是求解一个微分方程在一个给定的时间段上的特定解的问题,其中方程的解需要满足一些给定的边界条件。
这些边界条件通常指定了方程在时间间隔的起点和终点处的值,或者其他一些特定的时刻或位置上的值。
例如,一个常见的常微分方程的边值问题是求解一个二阶常微分方程:
y''(t) = f(t, y(t))
其中,y(t) 是未知函数,f(t, y) 是一个已知的函数。
这个问题需要在给定的时间段 [a, b] 上求解,并且需要满足以下的边界条件:
y(a) = y_a
y(b) = y_b
这里,y_a 和 y_b 是给定的数值。
这些边界条件指定了方程在时间间隔的起点和终点处的值。
常微分方程的边值问题在物理学、工程学、经济学等领域中都有广泛的应用。
解决常微分方程的边值问题需要使用数值解法或者解析解法,其中数值解法通常更为实用,因为它可以通过计算机程序来求解。
本科科研训练论文常微分方程的边值问题学生姓名:郭骏学号:**********专业:数学及其应用数学年级:08级学院:理学院【摘要】边值问题是微分方程问题的一个类型。
在求解微分方程时,除了给出方程本身,往往还需给出一定的定解条件。
最常见的是初值问题,即给出的定解条件为初始条件;但也有一些情况,定解条件要考虑所讨论区域的边界,如在一个区间讨论时,定解条件在区间的两个端点给出,这种定解条件称为边界条件,相应的定解问题称为边值问题。
边值问题的提出和发展,与流体力学,材料力学,波动力学等密切相关;并且在现代控制理论等学科中有重要应用。
【关键词】常微分方程边值问题研究目录第一章引言1.1常微分方程的起源和发展1.2常微分方程的内容1.3常微分方程的应用1.4 常微分方程的实例第二章常微分方程边值问题的研究2.1 边值问题的提出2.2 二阶线性常微分方程边值问题的可解性2.3 特征值问题参考文献第一章引言1.1 常微分方程的起源微分方程研究的来源:它的研究来源极广,历史久远。
I.牛顿和G.W.莱布尼茨创造微分和积分运算时,指出了它们的互逆性,事实上这是解决了最简单的微分方程y┡=ƒ(x)的求解问题。
当人们用微积分学去研究几何学、力学、物理学所提出的问题时,微分方程就大量地涌现出来。
20世纪以来,随着大量的边缘科学诸如电磁流体学、化学流体力学、动力气象学、海洋动力学、等等的产生和发展,也出现不少新型的微分方程(特别是方程组)。
70年代随着数学向化学和生物学的渗透,又出现了大量的反应扩散方程。
常微分方程在我国的发展中华人民共和国建立后,微分方程得到了重视和发展。
培养了许多优秀的微分方程的工作者,在常微分方程稳定性、极限环、结构稳定性等方面做出了很多有水平的结果;在偏微分方程混合型刻画渗流问题的拟线性退缩抛物型、椭圆组和拟线性双曲组的间断解等方面做出了很多有水平的结果。
1.2 常微分方程的内容定义1 凡含有参数,未知函数和未知函数导数 (或微分) 的方程,称为微分方程,有时简称为方程,未知函数是一元函数的微分方程称作常微分方程,未知数是多元方程的微分方程称作偏微分方程.微分方程中出现的未知函数最高阶导数的阶数,称为微分方程的阶.定义式如下:F(x, y, y¢, ...., y(n)) = 0 。
安阳师范学院本科学生毕业论文一阶常微分方程初等解法作专年学日学生诚信承诺书本人郑重承诺:所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果.尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写的研究成果,也不包含为获得安阳师范学院或其他教育机构的学位或证书所使用过的材料.与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意.签名:日期:论文使用授权说明本人完全了解安阳师范学院有关保留、使用学位论文的规定,即:学校有权保留送交论文的复印件,允许论文被查阅和借阅;学校可以公布论文的全部或部分内容,可以采用影印、缩印或其他复制手段保存论文.签名:导师签名:日期:一阶常微分方程初等解法田丰(安阳师范学院数学与统计学院,河南安阳 100801066)摘要: 文章对一阶常微分方程运用变量分离,积分因子,恰当微分方程等各类初等解法进行了归纳与总结,同时结合例题演示了常微分方程的求解问题。
关键词:一阶常微分方程;变量分离;恰当微分方程;积分因子1 引言常微分方程在微积分概念出现后即已出现,对常微分方程的研究也可分为几个阶段.发展初期是对具体的常微分方程希望能用初等函数或超越函数表示其解,属于“求通解”时代.莱布尼茨曾专门研究利用变量变换解决一阶常微分方程的求解问题,而欧拉则试图用积分因子处理.但是求解热潮最终被刘维尔证明里卡蒂方程不存在一般初等解而中断.加上柯西初值问题的提出,常微分方程从“求通解”转向“求定解”时代.在20世纪六七十年代以后,常微分方程由于计算机技术的发展迎来了新的时期,从求“求所有解”转入“求特殊解”时代,发现了具有新性质的特殊的解和方程,如混沌(解)、奇异吸引子及孤立子等. 微分方程里各项的次数,其实说的是方程各项中未知函数(y)及其导数(y',y'',y'''……)的次数但是一般接触到的有解析解的微分方程都不会超过1次,所以齐次一般指的就是方程各项中未知函数(y)及其导数(y',y'',y'''……)的次数为1也就是说方程各项中必须出现且只出现单独的y,y',y'',y'''……,而不出现它们的平方、n次方,也不出现它们互相相乘,也不出现常数项(次数为0)其中的常见的求解一阶微分2 一阶常微分方程的初等解法2.1 变量分离法2.1.1 一般变量分离法()()dy f x y dxϕ=, )1.2( 的方程,称为变量分离方程,()f x ,()y ϕ分别是x ,y 的连续函数.这是一类最简单的一阶函数.如果()0y ϕ≠,我们可将)1.2(改写成()()dy f x dx y ϕ=, 这样,变量就分离开来了.两边积分,得到 ()()dy f x dx c y ϕ=+⎰⎰. )2.2(这里我们把积分常数c 明确写出来,而把⎰)(y dy ϕ, ⎰dx x f )(分别理解为)(1y ϕ,)(x f 的原函数.常数c 的取值必须保证)2.2(有意义,如无特别声明,以后也做这样理解. 因)2.2(式不适合0)(=y ϕ情形.但是如果存在0y 使0)(0=y ϕ,则直接验证知0y y =也是)1.2(的解.因此,还必须寻求0)(=y ϕ的解0y ,当0y y =不包括在方程的通解)2.2(中时,必须补上特解0y y =例1 求解方程dx dy -=xy 解 将变量分离,得到xdx ydy -=,两边积分,即得22222c x y +-=, 因而,通解为c y x =+22.这里c 是任意正常数,或者解出y ,写出显函数形式的解2x c y -±=.例2 求解方程y x p dxdy )(=, )1.3( 的通解,其中是)(x p x 的连续函数解 将变量分离,得到dx x p y dy )(=, 两边积分,即cdx x p y ~)(||ln +=⎰. 这里c~是任意常数.由对数定义,有 c dx x p ey ~)(||+⎰=, 即dx x p c e e y ⎰⋅±=)(~,令c e c =±~,得到⎰=dx x p ce y )(, )2.3( 此外,0=y 显然也是方程)1.3(的解,如果允许)2.3(中允许0=c 则0=y 也就包括在)2.3(中,因而)1.3(的通解为)2.3(,其中c 为任意常数2.1.2 用变量分离解齐次微分方程2.1.2.1 用变量分离法解齐次微分方程类型一形如)(yx g dx dy =, 的方程,称为齐次微分方程,这里)(u g 是u 的连续函数.作变量变换xy u =, 即ux y =,于是u dxdu x dx dy +=. 代入原方程可得)(u g u dxdu x =+, 整理后,得到x u u g dx du -=)(. )3.2( 因)3.2(是一个变量分离方程.则可按照变量分离方法求解,然后代回原来的变量,即可得到原方程的解例3 求解方程x y xy dx dy tan += 解 这是齐次微分方程,以u dxdu x dx dy u x y +==及代入,则原方程变为 ,tan u u u dxdu x +=+ 即xu dx du tan =. )3.3( 将上式分离变量,既有,cot x dx udu = 两边积分,得到cx u ~||ln |sin |ln +=. 这里c~是任意常数,整理后,得到 u sin =,~x e c ⋅±c e=±~得到 cx u =sin . )4.3( 此外,方程)3.3(还有解 0tan =u .如果在)3.3(中允许0=c ,则0tan =u 也就包括在)4.3(中,这就是说,方程)3.3(的通解为)4.3(带回原来的变量,得到方程的通解为.sin cx x y=例4 求解方程y xy dx dyx =+2(0<x )解 将方程改写为x yx y dx dy +=2,这是齐次微分方程.以u dx dux dx dy u x y+==及代入,则原方程变为 .2u dx dux =)5.3( 分离变量,得到,2x dxu du =两边积分,得到)5.3(的通解.)ln(c x u +-=即当0)ln(>+-c x 时,2])[ln(c x u +-=.这里c 时任意常数.此外,方程)5.3(还有解.0=u注意,此解并不包括在通解)5.3(中.代入原来的变量,即得原方程的通解为.])[ln(2c x x y +-=2.1.2.2用变量分离法解齐次微分方程类型二形如222111c y b x a c y b x a dx dy ++++=, )4.2( 的方程不可直接进行变量分离,但是可以经过变量变换后化为变量分离方程,这里1a ,1b ,1c ,2a ,2b ,2c 均为常数.可分为三种情况来讨论:()1k c c b b a a ===212121(常数)的情形 这时方程可化为k dxdy =, 有通解c kx y +=,其中c 为任意常数.()2212121c c k b b a a ≠==的情形. 令y b x a u 22+=,这时有212222c u c ku b a dx dy b a dx du +++=+=. 是变量分离方程()32121b b a a ≠及21,c c 不全为零的情形 因为方程右端分子,分母都是y x ,的一次多项式,因此⎩⎨⎧=++=++.0,0222111c y b x a c y b x a 代表Oxy 平面上两条相交的直线,设交点为()βα,,若令⎩⎨⎧-=-=,,βαy Y x X 则方程可化为⎩⎨⎧=+=+,0,02211y b x a y b x a 从而方程)4.2(变为.2211⎪⎭⎫ ⎝⎛=++=X Y g Y b X a Y b X a dX dY 因此,求解上述变量分离方程,最后代回原方程,即可得到原方程的解.)4(021==c c 的情形, 此时直接变换xy u =即可. 例5 求解方程111dy dx x y =+-+. 解 令1u x y =-+,则有1y u x -=--,代入所求方程()111d u x dx u---=+, 整理可得1du dx u=-, 由变量分离得22u x c =-+,故所求方程的解为()212x y x c -++=.例6 求解方程 31-++-=y x y x dx dy . 解 解方程组⎩⎨⎧=-+=+-,03,01y x y x 得.2,1==y x 令⎩⎨⎧+=+=,1,1Y y X x 代入上式方程,则有YX YX dX dY +-=. 再令,uX Y XYu ==即则上式可化为 du uu uX dX 2211--+=, 两边积分,得cu u X ~|12|ln ln 22+-+-=, 因此c e u u X ~22)12(±=-+,记,1~c e c=±并带回原变量,得1222c X XY Y =-+,122)1()2)(1(2)2(c x y x y =----+-.此外容易验证0122=-+u u ,即2220,Y XY X +-=也是方程的解 ,因此方程的通解为c x y x xy y =---+26222,其中c 为任意的常数. 2.2常数变易法2.2.1常数变易法类型一一阶线性微分方程()(),x Q y x P dxdy+= 其中()()x Q x P ,在考虑的区间上是x 的连续函数,若Q ()0=x ,方程变为(),y x P dxdy= 称其为一阶齐次线性微分方程,若(),0≠x Q 称其为一阶非齐次线性微分方程.变易分离方程,易求得它的通解为(),⎰=dxx P ce y这里c 是任意常数.现在讨论非齐次线性方程的通解的求法.不难看出,是特殊情形,两者既有联系又有差别,因此可以设想它们的解也应该有一定的联系而又有差别,现试图利用方程的通解的形式去求出方程的通解,显然,如果中c 恒保持为常数,它们不可能是的解.可以设想在中将常数c 变易为x 的待定函数,使它满足方程,从而求出(),x c 为此,令()(),dxx P e x c y ⎰=两边同时微分,得到()()()()().dx x P dxx P e x P x c e dxx dc dx dy ⎰+⎰= 代入原方程,得到()()()()()()()()(),x Q e x c x P e x P x c e dxx dc dx x P dx x P dx x P +⎰=⎰+⎰ 即()()(),⎰=-dx x P e x Q dxx dc两边同时积分,得到()()(),1c dx e x Q x c dxx P +⎰=-⎰这里1c 是任意常数,求得到()()().1⎪⎭⎫ ⎝⎛+⎰⎰=⎰-c dx e x Q e y dx x P dxx P就是方程的通解.这种将常数变为待定函数的方法通常被称之为常数变易法.例7 求方程22y x y dx dy -=的通解 解 原方程可改写为yy x dy dx 22-=, 即y x ydy dx -=2, )6.3( 首先,求出齐次线性微分方程x ydy dx 2=, 的通解为2cy x =.其次,利用常数变易法求非齐次线性微分方程)6.3(的通解 把c 看成)(y c ,将方程2cy x =两边同时微分得y y c y dyy dc dy dx )(2)(2+=. 代入)6.3(,得到ydy y dc 1)(-=, 两边同时积分,即可求得cy y c ~ln )(+-=. 从而,原方程的通解为)ln ~(2y cy x -=, 这里c~是任意常数.2.2.2常数变易法类型二形如n y x Q y x P dxdy)()(+=, )5.2( 的方程,称为伯努利方程,这里)(x P ,)(x Q 为x 的连续函数,n ≠0,1是常数.利用变量变换可将伯努利微分方程化为线性微分方程.事实上,对于0≠y ,用n y -乘)5.2(的两边,得到)()(1x Q x P y dxdyy n n+=--, 引入变量变换n y z -=1,从而dxdyy n dx dz n--=)1(. 代入方程)5.2(,得到)()1()()1(x Q n z x P n dxdz-+-=, 这是线性微分方程,可按照前面介绍的方法来求出它的通解,然后代换原来的变量,便得到方程的通解.此外,当0>n 时,方程还有解0=y .例8 求方程的26xy xydx dy -=通解 解 这是2=n 时的伯努利微分方程.令1-=y z ,算得x z xdx dz +-=6, 这是线性微分方程,求得它的通解为826x xc z +=.代入原来的变量y ,得到8126x x c y +=, 或者c x y x =-886, 这就是原方程的通解. 此外,方程还有解0=y 2.3 利用恰当微分方程求解法 对于一阶微分方程()(),,0M x y dx N x y dy +=,若有M Ny x∂∂=∂∂,则该方程必为恰当微分方程. 下面讨论如何求得该恰当微分方程的解. 把(),uM x y x∂=∂看作只关于自变量y 的函数,对它积分可得 ()(),u M x y dx y ϕ=+⎰由此式可得N dyy d dx y x M y y u =+∂∂=∂∂⎰)(),(ϕ, 由此可得dx y x M yN dy y d ⎰∂∂-=),()(ϕ, 又因为]),([]),([⎰⎰∂∂∂∂-∂∂=∂∂-∂∂dx y x M yx x N dx y x M y N x ]),([⎰∂∂∂∂-∂∂=dx y x M x y x N0=∂∂-∂∂=yMx N , 故等式右边只含有y ,积分可得dy ydx x M y N y ⎰⎰∂∂-=]),([)(ϕ, 进而可得dy dx y x M yN dx y x M u ⎰⎰⎰∂∂-+=]),([),(. 则恰当微分方程的通解为c dy dx y x M y N dx y x M =∂∂-+⎰⎰⎰]),([),(, 这里c 是任意常数.例10 求解方程0)1()1(cos 2=-++dy yxy dx y x .解 因为221,1yx N y y M -=∂∂-=∂∂,故方程是恰当微分方程.把方程重新分项组合,得到0)1()1(cos 2=-++dy yxy dx y x ,即0||ln sin 2=-++yxdyydx y d x d , 或者写成0)||ln (sin =++yxy x d .于是,方程的通解为c yxy x =++||ln sin , 这里c 是任意常数2.4 利用积分因子求解法函数(),x y μ为()(),,0M x y dx N x y dy +=积分因子的充要条件是()()M N y xμμ∂∂=∂∂, 即()M N NM x y y xμμμ∂∂∂∂-=-∂∂∂∂. 假设原方程存在只与x 有关的积分因子()x μμ=,则0xμ∂=∂,则μ为原方程的积分因子的充要条件是()M N x y x μμ∂∂∂=-∂∂∂,即()()M Ny x x Nφ∂∂-∂∂=仅是关于x 的函数.此时可求得原方程的一个积分因子为()x dxe φμ⎰=.同样有只与y 有关的积分因子的充要条件是()()M N y xy Mϕ∂∂-∂∂=-是仅为y的函数,此时可求得方程的一个积分因子为()y dye ϕμ⎰=例9 求解方程0)(=-+dy x y ydx . 解 这里,1,1,,-=∂∂=∂∂-==XNy M x y N y M 方程不是恰当的. 因为yy M 2-=∂∂只与y 有关,故方程有只与y 的积分因子 2||ln 221ye eu y y==⎰=--, 以21yu =乘方程两边,得到 0112=-+yxdydy y dx y , 或者写成02=+-y dyyxdy ydx , 因而通解为c y yx=+||ln .3 结束语文章详细介绍了一阶常微分方程的初等解法,即把一阶常微分方程的解通过初等函数或它们的积分表达出来。
微分方程边值问题的研究及发展摘要:常微分方程边值问题作为微分方程研究的一个重要方面,是常微分方程学科的重要组成部分之一,本文将阐述微分方程边值问题的研究及发展。
关键词:微分方程数学模型边值问题在自然科学和技术科学的许多领域中,例如物理、力学、化学、生物学、自动控制、电子技术等等,都提出了大量的微分方程问题。
这些现实生活中的实际问题都必须通过建立数学模型来实现。
许多数学模型也都是通过微分方程来描述的。
因此常微分方程是现代数学的一个重要分支,而常微分方程的边值问题作为微分方程研究的一个重要方面,在其研究领域中居于重要地位。
新加坡学者 R.P.Agarwal和爱尔兰学者D.O'regan对于常微分方程边值问题的研究作出了巨大的贡献。
他们写了大量的论文和著作,例如《Singular Differential and Integral Equation with Application》[1],本书非常全面地研究了常微分方程边值问题,重视其应用性,实际例子较多。
除了R.P.Agarwal和D.O'regan外,国内外许多专家学者也在从事着常微分方程边值问题的研究。
对于常微分方程两点边值问题已得到了充分的研究,并且取得了许多优秀的研究成果。
关于多点边值问题的研究最初是在1987年 Il'in和 Mosieev[2,3]提出的二阶线性常微分方程多点边值问题,该问题起源于“非局部”边值问题,具有较强的实际背景:如由不同密度组成的部分横切面的天线振动和弹性理论中的许多问题都可以归结为多点边值问题。
它同时也出现在用分离变量法求解偏微分方程自由边值问题的过程中。
然后C.P.Gupta[4]在1992年就开始研究了非线性常微分方程的三点边值问题,从此以后非线性常微分方程的边值问题成为了微分方程领域中十分重要的研究领域。
近几年来,常微分方程多点边值问题的解的存在性的研究引起了许多数学工作者广泛的兴趣,他们在多点边值问题方面作了很多的工作并且取得了许多的研究成果。
常微分方程论文题目:常微分方程边值问题的数值解法组长:数学132文洲组员:数学131王琦数学132姚瑶信息132郭斌院(系):理学院指导教师:岳宗敏时间: 2015年6月9日常微分方程边值问题的数值解法摘要:作为一类定解问题,补充条件由以自变量取某些值时,未知函数及其导数的值而定,称其为边值条件。
许多物理和数学问题都归结为边值问题。
本文介绍边值问题的待定常数法和格林函数。
关键词:边值问题待定常数法格林函数Abstract: as a kind of definite solution problems, the supplementary conditions by took the certain values in the independent variable, the value of the unknown function and its derivative, referred to as boundary value conditions. Many physical and mathematical problems boil down to boundary value problems. In this paper, the boundary value problem of the method of undetermined constants and green's function.Keywords: boundary value problem Method of undeterminedconstants Green's function11.1 引言在很多实际问题中都会遇到求解常微分方程边值问题. 考虑如下形式的二阶常微分方程,, (11.1.1)在如下三种边界条件下的定解问题:第一种边界条件:,(11.1.2)第二种边界条件:,(11.1.2)第三种边界条件:, (11.1.13)其中.常微分方程边值问题有很多不同解法, 这里只介绍打靶方法和有限差分方法.11.2 打靶算法将边值问题转化成初值问题来求解,即根据边界条件(11.1.2),也就是说,反复是调整初始时刻的斜率值,使得初值问题的积分曲线能“命中”。
第8章常微分方程边值问题的数值解法8.1 引言第7章介绍了求解常微分方程初值问题的常用的数值方法;本章将介绍常微分方程的边值问题的数值方法。
只含边界条件(boundary-value condition)作为定解条件的常微分方程求解问题称为常微分方程的边值问题(boundary-value problem). 为简明起见,我们以二阶边值问题为例介绍常用的数值方法。
一般的二阶常微分方程边值问题(boundary-value problems for second-order ordinary differential equations)为, (8.1.1)其边界条件为下列三种情况之一:(1) 第一类边界条件 (the first-type boundary conditions):(2) 第二类边界条件 (the second-type boundary conditions):(3) 第三类边界条件 (the third-type boundary conditions):定理8.1.1 设(8.1.1)中的函数及其偏导数在上连续. 若(1) 对所有,有;(2) 存在常数,对所有,有,则边值问题(8.1.1)有唯一解。
推论若线性边值问题(8.1.2)满足(1)和上连续;(2) 在上,,则边值问题(8.1.1)有唯一解。
求边值问题的近似解,有三类基本方法:(1) 差分法(difference method),也就是用差商代替微分方程及边界条件中的导数,最终化为代数方程求解;(2) 有限元法(finite element method);(3) 把边值问题转化为初值问题,然后用求初值问题的方法求解。
8.2 差分法8.2.1 一类特殊类型二阶线性常微分方程的边值问题的差分法设二阶线性常微分方程的边值问题为其中在上连续,且用差分法解微分方程边值问题的过程是:(i) 把求解区间分成若干个等距或不等距的小区间,称之为单元;(ii) 构造逼近微分方程边值问题的差分格式. 构造差分格式的方法有差分法, 积分插值法及变分插值法;本节采用差分法构造差分格式;(iii) 讨论差分解存在的唯一性、收敛性及稳定性;最后求解差分方程.现在来建立相应于二阶线性常微分方程的边值问题(8.2.1), (8.2.2)的差分方程.( i ) 把区间等分,即得到区间的一个网格剖分:,其中分点,并称之为网格节点(grid nodes);步长.( ii ) 将二阶常微分方程(8.2.2)在节点处离散化:在内部节点处用数值微分公式(8.2.3)代替方程(8.2.2)中,得, (8.2.4)其中.当充分小时,略去式(8.2.4)中的,便得到方程(8.2.1)的近似方程, (8.2.5)其中,分别是的近似值, 称式(8.2.5)为差分方程(difference equation),而称为差分方程(8.2.5)逼近方程(8.2.2)的截断误差(truncation error). 边界条件(8.7.2)写成(8.2.6)于是方程(8.2.5), (8.2.6)合在一起就是关于个未知量,以及个方程式的线性方程组:(8.2.7)这个方程组就称为逼近边值问题(8.2.1), (8.2.2)的差分方程组(system of difference equations)或差分格式(difference scheme),写成矩阵形式. (8.2.8)用第2章介绍的解三对角方程组的追赶法求解差分方程组(8.2.7)或(8.2.8), 其解称为边值问题(8.2.1), (8.2.2)的差分解(difference solution). 由于(8.2.5)是用二阶中心差商代替方程(8.2.1)中的二阶微商得到的,所以也称式(8.2.7)为中心差分格式(centered-difference scheme).( iii ) 讨论差分方程组(8.2.7)或(8.2.8)的解是否收敛到边值问题(8.2.1), (8.2.2)的解,估计误差.对于差分方程组(8.2.7),我们自然关心它是否有唯一解;此外,当网格无限加密,或当时,差分解是否收敛到微分方程的解. 为此介绍下列极值原理:定理8.2.1 (极值原理) 设是给定的一组不全相等的数,设. (8.2.9)(1) 若, 则中非负的最大值只能是或;(2) 若, 则中非正的最小值只能是或.证只证(1)的情形,而(2)的情形可类似证明.用反证法. 记,假设, 且在中达到. 因为不全相等,所以总可以找到某个,使,而和中至少有一个是小于的. 此时因为,所以, 这与假设矛盾,故只能是或. 证毕!推论差分方程组(8.2.7)或(8.2.8)的解存在且唯一.证明只要证明齐次方程组(8.2.10)只有零解就可以了. 由定理8.7.1知,上述齐次方程组的解的非负的最大值和非正的最小值只能是或. 而,于是证毕!利用定理8.2.1还可以证明差分解的收敛性及误差估计. 这里只给出结果:定理8.2.2 设是差分方程组(8.2.7)的解,而是边值问题(8.2.1), (8.2.2)的解在上的值,其中. 则有(8.2.11)其中.显然当时,. 这表明当时,差分方程组(8.2.7)或(8.2.8)的解收敛到原边值问题(8.7.1), (8.7.2)的解.例8.2.1 取步长,用差分法解边值问题并将结果与精确解进行比较.解因为,, 由式(8.2.7)得差分格式,, 其结果列于表8.2.1.表8.2.1准确值0 1 0 01 0.1 -0. 0332923 -0.03336562 0.2 -0. 0649163 -0.06506043 0.3 -0. 0931369 -0.09334614 0.4 -0. 1160831 -0.11634825 0.5 -0. 1316725 -0.13197966 0.6 -0. 1375288 -0.13785787 0.7 -0. 1308863 -0.13120878 0.8 -0. 1084793 -0.10875539 0.9 -0. 0664114 -0.066586510 1.0 0 0从表8.2.1可以看出, 差分方法的计算结果的精度还是比较高的. 若要得到更精确的数值解,可用缩小步长的方法来实现.8.2.2 一般二阶线性常微分方程边值问题的差分法对一般的二阶微分方程边值问题(8.2.12)假定其解存在唯一.为求解的近似值,类似于前面的做法,( i ) 把区间等分,即得到区间的一个网格剖分:,其中分点,步长.( ii ) 对式(8.2.12)中的二阶导数仍用数值微分公式代替,而对一阶导数,为了保证略去的逼近误差为,则用3点数值微分公式;另外为了保证内插,在2个端点所用的3点数值微分公式与内网格点所用的公式不同,即(8.2.13)略去误差,并用的近似值代替,,便得到差分方程组(8.2.14)其中,是的近似值. 整理得(8.2.15)解差分方程组(8.2.15),便得边值问题(8.2.12)的差分解.特别地, 若,则式(8.2.12)中的边界条件是第一类边值条件:此时方程组(7.7.16)为(8.2.16)方程组(8.2.16)是三对角方程组,用第2章介绍的解三对角方程组的追赶法求解差分方程组(8.2.16),便得边值问题(8.2.12)的差分解.( iii ) 讨论差分方程组(8.2.16)的解是否收敛到微分方程的解,估计误差. 这里就不再详细介绍.例8.2.2 取步长,用差分法求下列边值问题的近似解,并将结果与精确解进行比较.精确解是.解因为,, 由式(8.2.17)得差分格式,, 其结果列于表8.2.2.表8.2.2准确值0 0 -0.3 -0.31 /16 -0.3137967 -0.31374462-0.3154982 -0.3154322 2/163-0.3050494 -0.3049979 3/1644-0.2828621 -0.2828427/1655-0.2497999 -0.2498180/1666-0.2071465 -0.2071930/167-0.1565577 -0.15660567/168 /2 -0.1000000 -0.10000008.3 有限元法有限元法(finite element method)是求解微分方程定解问题的有效方法之一,它特别适用在几何、物理上比较复杂的问题. 有限元法首先成功地应用于结构力学和固体力学,以后又应用于流体力学、物理学和其他工程科学. 为简明起见,本节以线性两点边值问题为例介绍有限元法.考虑线性两点边值问题其中,.此微分方程描述了长度为的可变交叉截面(表示为)的横梁在应力和下的偏差.8.3.1 等价性定理记, 引进积分. (8.3.3)任取,就有一个积分值与之对应,因此是一个泛函(functional),即函数的函数. 因为这里是的二次函数,因此称为二次泛函.对泛函(8.3.3)有如下变分问题(variation problem):求函数,使得对任意, 均有, (8.3.4) 即在处达到极小, 并称为变分问题(8.3.4)的解.可以证明:定理8.3.1(等价性定理)是边值问题(8.3.1), (8.3.2)的解的充分必要条件是使泛函在上达到极小,即是变分问题(8.3.4)在上的解.证 (充分性) 设是变分问题的解;即使泛函在上达到极小,证明必是边值问题(8.3.1), (8.3.2)的解.设是任意一个满足的函数,则函数,其中为参数. 因为使得达到极小,所以,即积分作为的函数,在处取极小值,故. (8.3.5)计算上式,得利用分部积分法计算积分代入式(8.3.6),得因为是任意函数,所以必有. (8.3.8) 否则,若在上某点处有,不妨设,则由函数的连续性知,在包含的某一区间上有.作显然,且,但,这与式(8.3.7)矛盾. 于是式(8.3.8)成立,即变分问题(8.3.4)的解满足微分方程(8.3.1), 且故它是边值问题(8.3.1), (8.3.2)的解.。
论文题目:常微分方程的最大值原理及应用班级:信计10-1班**:***学号:**********微分方程的最大值原理及应用摘要最大值原理是微分方程研究中应用最广而且最为人们熟知的工具之一,它在物理、力学和工程技术中有着广泛的应用。
简要地说,微分方程最大值原理就是对于某些类型的微分方程的解必在所定义的空间或时间边界上取得最大值。
常微分方程、椭圆型偏微分方程和抛物型偏微分方程相关的定解问题的解在一定条件下通常都满足最大值原理。
因此,研究最值原理在何种情况下成立是一个十分具有理论价值和应用价值的重要问题。
微分方程最大值的讨论主要包括常微分方程、抛物偏微分方程、椭圆偏微分方程的最大值原理。
本文主要讨论微分方程中有关常微分方程的最大值原理。
讨论常微分方程的最大值原理,它涉及到二阶常微分方程,并在此基础上深入讨论了广义最大值原理,给出了六个与最大值原理有关的定理和一些简单的推论。
常微分方程的最大值原理及应用1一维最大值原理我们知道,闭区间[,]a b 上连续的函数()u x 必在该区间的某一点处取得它的最大值。
容易发现以下事实:如果函数()u x 在区间[,]a b 上有连续的二阶导数,而且存在(,)c a b ∈,使得()u x 在点c 处取得最大值,则有'()0,u c = ''()0u c ≤, (2.1)假设在开区间),(b a 内,()g x 是有界函数,且函数()u x 满足[]''()()'()0L u u x g x u x ≡+>,(2.2) 的微分不等式,那么,在),(b a 中的任何点c 关系式(2.1)不能成立。
因此满足微分不等式(2.2)的函数()u x 在闭区间[,]a b 的最大植必在区间的边界(端点)处取得。
这一事实为常微分方程的最大值原理最简单的情形。
在(2.2)中要求不等式严格成立,在微分方程的研究和应用中,这样的要求太强了。
目录引言 (1)1预备知识 (2)定义1.1(奇异Sturm-Liouville边值问题的正解) (2)引理1.1.1 (2)定义1.2(凸集的概念) (3)定义1.3锥的定义 (3)定义1.4(全连续算子的概念) (3)1.5 (常微分边值问题的定义) (4)定义1.6混合单调算子得定义) (4)2 常微分方程边值问题正解得存在性 (5)2.1 奇异Sturm-Liouville常微分边值问题的正解存在在 (5)子 (8)2.2 一类二阶边值问题的存在性 (9)3一类混合单调算子应用 (11)3.1一类混合单调算子的存在唯一性?........................ 错误!未定义书签。
3.2 求常微分边值问题的例题 (13)结束语 (15)参考文献 (15)致 (16)常微分方程边值问题与不动点定(数学与统计学院 11级数学与应用数学2班)指导教师:攀峰引言从历史上看在有了微积分这个概念以后,紧接着出现了常微分方程。
发展初期是属于“求通解”得时代,当人们从初期的热潮中结束要从维尔证明了卡帝方程中是一定不会存在一般性的初等解的时候开始的,并且柯西紧接着又提出了初值问题,常微分方程开始从重视“求通解”转向重视“求定解”的历史时代。
大学我们都学习了常微分方程这门学科,如果要研究它的定解问题,我们首先就会知道是常微分方程的初值问题。
然而,在科学技术、生产实际问题中,我们还是提出了另一类定解问题-边值问题。
对于常微分方程边值问题,伟大的科学家最早在解决二阶线性微分方程时,提出了分离变量法。
[]1.在牛顿时期,科学家们已经提出过常微分的边值问题,牛顿也对常微分边值问题进行过研究,并且在1666年10月牛顿已经在这个领域取得了很大的成就,但是由于种种原因当时并没有整理成论文,所以没有及时出版。
但在1687年他终于把在常微分方程上研究的成果发表了,虽然不是在数学著作中,却是他的一本力学著作中(《自然哲学的数学原理》)。
在微积分刚创立时期,雅克.伯努利来自瑞士的科学家提出了远著文明的问题-悬链线问题,紧着的地二年著名数学家莱布尼兹就给出了正确的解答,通过对绳子上个点受力分析,建立了以下方程这个方程满足的定解条件是y(a)=α;y(b)=β.这是一个典型的常微分方程的边值问题。
从这开始,常微分边值问题已经是科学家研究微分方程是不可或缺的工具,我就简单列举几个例子:(比如种族的生态系统;梁的非线性震动)等。
对于怎么研究它,从上世纪七十年代开始,科学家们已经经常用非线性泛函分析学中许多方法来研究,其中著名的有不动点定理等。
在非线性泛函分析的推动下,和人们实际生活中的问题推动下,常微分方程的边值问题得到了突飞猛进的发展因为常微分边值问题与实际生活联系太过紧密,至今它还是非常值得我们研究的。
本文主要首先介绍常微分的边值问题的定义,以及利用几类不动点定理求常微分边值是否存在且唯一。
以及常微分边值问题在实际生活中的几个应用。
1预备知识定义1.1(奇异Sturm-Liouville 边值问题的正解)如果函数u 满足边值问题(1,1,1)011(()'())'()(,)0,01()(0)lim ()'()0,(1)lim ()'()0,t t p t u t g t F t u t p t u p t u t u p t u t λαβγϑ→→⎧+=⎪⎪-+=⎪⎨⎪⎪+-=⎪⎩p p (1,1,1) 并且),),1,0(()(')(1+∈R C t u t p 在[]1,0上u ≤0并且[])),1,0((),1,0(1+∈+R C R C u I ,我们这是就称函数u 上边值问题(1,1,1)的正解推广文献(5)中的引理:引理1.1.1在实Banach 空间E 中找他的一个锥,锥是K ,E 中的一个有界开集是Ω,T:K K →Ω⋂-是一个全连续算子。
如果有:(1)10≤u π且对所有的0φΩ∂⋂∈K x 时有ux Tx ≠,(2)0inf φTx K x Ω∂⋂∈则肯定有i(K K T ,,Ω⋂)=0定义1.2(凸集的概念)给出两个常值r 和a ,并且a 与r 的关系是r >a,并且都大于0的,L >0的,如果两个连续的非负凸的泛函数[)∞+,:和0βα。
我们定义一个凸集 {}{}{}a x L x r x P x a L P L x r x P x L P L x r x P x L P ≥≤∈=≤≤∈=∈=-)(,)(,)(),;,,,(,)(,)(),,,(,)(,)(),,,(γβαγβγεβαβγαβαβγαπππ定义1.3锥的定义Banach 空间E ,并且E 里面有一个非空的闭集,如果P 可以(1)P 中的两个元素x 与y ,一个c ≥0,d ≥0.一定满足c 乘以x+d 乘以y 是属于P 的。
(2)如果x 属于P,x 不等于e ,那么p x ∈--就叫做E 中的一个锥是P定义1.4(全连续算子的概念)假若函数u(t)满足下面的一些条件 (1)[]0)1(',0)0()3(,10,0)('),(,()('')2(),1,0(1,0)()1(2===+⋂∈u u t t u t u t f t u C C t u ππ那么,u (t)是边值问题(2.1.1)与(2.1.2)的一个解,假如函数u (t )不紧是解,但t 大于0小于1时,u (t )也是大于0的,那么u (t )还是一个正解;如果有如下的推理))r ,(b ,;r ,(3x b x )b ,;r ,(2x ,,;1x 3x 2x 1x T dx b r x ,)()2(),,;,;,(x ,0)(),;,;,()1(1122221122--22L P L P L P L r P T L P b Tx H b L d p b x b L d p x H ,;),;和,)(,;),(并且有,,最少有三个不动点则)()和,;,;,(在任何对一切的βαγβαγγβαβααγβαγγβαγγβα-----⋃∈⎭⎬⎫⎩⎨⎧∈∈∈∈≠⎭⎬⎫⎩⎨⎧∈φφφφ).r ,(x ;)(,)()3(1111L P L Tx r Tx H ,;对所有的βαβα-∈ππ 那么),;,(),;,(:2222L r P L r P T βαβα--→是一个全连续算子1.5 (常微分边值问题的定义)给定边界条件求解常微分的解得问题,也就是说,如果常微分方程为Y (x,y,y ',...y )(n )=0,在区间I 上的点1α,2α,…,K α及值y (i α),y ’(i α),…,)1(-n y (i α)(这里面的i 是从1到k 的并且k 是大于一的),并且这里给定了一些条件,然后让我们求方程在I 这个区间上面满足这些条件的解得问题,这些条件就是我们说的边界条件,这些满足条件的i α以及相对应的y (i α),y ’(i α)…,1-n y (i α)叫做这个常微分方程的边值或者是边界值。
并且当k=2时并且1α、2α是这个区间I 的两端点时,这里就是两点边值问题了。
定义1.6混合单调算子得定义)假如A(x ,y )在x 上不是递减的,在y 上不是递增的,这里我们假设是E D D A E D →⨯⊂:,,假如我们用式子表示上面关系为(如果x1≤x2)和y2≤y1,那么A(x2,y2)≥A(x1,y1),这时这里面的A 就是混合单调算子[]6得含义,假如D x ∈*并且**),(*x x x A =我们就说A 得不动点为*x ,同样,假如(*,*y x )D D ⨯⊂并且有***),(x y x A =还有反过来***),(y x y A =我们就说),(**y x 是A 的不动点对。
推广:引理一 我们给出一个拓扑线性空间,命令它是E ,从E 中给定一个锥,它是P ,那么E 的半序 就由P 导入我们给出A:E P P h h →⨯,如果两个实数a 与b ,其中a 小于b 大于等于0的,给定的θφh .那么我们就能得出两个等价条件,它们分别是:(1)有一个实值函数)(),,(1)(),,(t f v u t w t g v u t w φφ和这里的u 与v 是属于n P ,),(b a l ∈∀,这些条件能够让),(),,())(,)((v u A v u t w v t g u t f A ≥(2)在于(1)相同的条件时,也存在一个实值函数),,(1)(1),,(1)(1v u t t f v u t t tg ηηππ--和,能够让[]),,(),,(1)(,)((v u A v u t t u t g u t f A η+≥当然我们知道这里面的f 与g 都是),0(),(∞→b a 的。
2 常微分方程边值问题正解得存在性各种各样的非线性常微分方程问题越来越引起人们的注意,论文借助各种不动点定理证明三类非线性微分方程的边值问题正解的存在且唯一性。
2.1 奇异常微分边值问题的正解存在在考虑如下形式的奇异Liouville Sturm -微分方程边值问题⎪⎪⎪⎩⎪⎪⎪⎨⎧=-==-=+→→+,0)(')(lim )1(,0)(')(lim )0(,10,0),()())'(')(()(110t u t p u t u t p u t u t F t g t u t p t p t t ϑγβαλππ(1.1.1) 的正解存在性,这里面[][)[)+∞→+∞⨯≥=+,0,01,0:,0,,,,0,0F ϑγβαλαϑαγβγφφ上是一定连续的,并且在当t=0或t=1处是奇异的。
在各种应用科学中,以及我们的实际生活中都会出现边值问题(1.1.1)的,所以(1.1.1)的正解存在性非常重要的(参考[]117-)。
本节中假设F (t )没有任何单调性,考虑最一般的常微分方程以及它满足最一般的边值条件,更简单的是在这里我们允许在t=0或t=1时p (t )与g (t )是奇异的。
假设:(H1)存在两个值a 与b 并且a 与b 都是大于0小与1的使得当+∞+∞∈⎰ππ101)(0)),,0(),1,0((t p dt C p 时+∞⎰ππdt t p b a )(0, (H2)[)+∞+∞∈⎰ππdt t g t p t t G C t g )()(),(0),,0)1,0(()(10并且[][)[)),0,,01,0(),(+∞+∞⨯∈C u t F引理2.1.1 如果我们假设的两个条件(H1)(H2)一定成立,那么T 就是全连续算子是在K 到K 上的证明:第一步:根据Lebesgue 控制收敛定理的相关容,我们能够得到 )))(,()()()),0((()))(,()()())1,((()()'(01ds s u s F s g s p s B ds s u s F s g s p s B t Tu t t ⎰⎰+-+=αβλργγϑλρα 第二步:如果[][)),01,0(),(+∞⨯∈C u t F 并且[]1,0)(C t g ∈则就能说明T:K →K 是一个紧算子。