第五章：积分方程学习资料.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,数学物理方法概论,之,（,积分方程法,）,主讲教师：白璐,联系电话：,15291456996,Email:bluxidian.edu.c,n,周一,2,第五章 积分方程,积分方程是研究数学其它学科和各种物理问题的一个重要数学工具。它在弹性介质理论和流体力学中应用很广，也常见于电磁场理论物理中。本节将介绍求解积分方程的理论和一般方法。,2025/4/7 周一,3,1,、基本概念；,2,、迭代法；,3,、算子的范数；,4,、巴拿赫空间中的迭代法；,5,、非线性方程的迭代法；,6,、可分核；,7,、普遍的有限秩；,8,、全连续算子；,9,、全连续厄米算子；,10,、全连续算子的弗雷德霍姆择一定理；,11,、积分方程的数值计算；,第五章 积分方程,2025/4/7 周一,4,5,积分方程法,5.1,基本概念,一、积分方程的定义,在方程中，若未知函数在积分号下出现，则称这种方程为,积分方程。,一般的线性积分方程，可写为如下的形式,其中，和 已知。,是未知函数，,积分方程的核，也是已知函数。,被称为,本征值的作用）,是常数因子（经常起一,若未知函数仅出现在积分号内，称为第一类方程。,若未知函数既出现在积分号内，又出现在积分号外称为第二类方程。,积分限为常数的，称为,Fredholm,弗雷德霍姆方程。,积分限中有一个是变数的，称为,volterra,伏特拉方程,2025/4/7 周一,5,5,积分方程法,5.1,基本概念,积分方程的核，是 的连续函数。或平方可积，称核,为非奇性核或,fredholm,核。,此外，还有弱奇性核及,Cauchy,奇性核,二、积分方程的分类,1,）,按照积分上下限,2,）,按照未知函数是否在积分内,第一 类,第二 类,3,）,按照积分的核进行分类,2025/4/7 周一,6,5.1,基本概念,三、积分方程的算子形式,积分方程也可采用算符的形式来表示。即,其中,K,为积分算子,若算子方程 的逆存在，则问题在形式上就解决,了。此时,5,积分方程法,2025/4/7 周一,7,5.2,退化核的方程的解法,如果积分方程的核具有如下的形式,则被称为是退化的，具有退化的核的积分方程，可用初等的方法来求解。,以下通过具体的例子来说明如何求解退化核方程。,例,.,求解积分方程,解：令,则式,(1),可以变为,(1),5,积分方程法,(2),(3),2025/4/7 周一,8,5,积分方程法,显然，采用迭代的方法，将式,(3),代入,(2),，得,这个方程组的解是,代入式,(3),就可以得到积分方程的解为,注意有两个 的值可使上式的解变为无穷大。当 取某些特殊值时，齐次积分方程有非零解，这样的 值称为,积分方程的本征值,，而相应的非零解称作,本征函数,。,5.2,退化核的方程的解法,2025/4/7 周一,9,定理,1.,如果,5,积分方程法,齐次方程 有唯一解；若 是本征值，则齐次方程,从上例可以看到，如果核是退化的，则解一个积分方程的问题就简化为解一个大家非常熟悉的代数方程组的问题。如果退化核有,N,项，显然将有,N,个本征值，当然它们不一定都不同。既然退化核方程的解是与相应的线性代数方程组密切相关的，所以退化核方程的许多性质可由相应的代数方程组的有关性质导出。弗雷德霍姆将之简化为一系列理论，这些理论被人们称为,弗雷德霍姆定理,，在此我们不作证明。,不是本征值，则对于任何的非齐次项,非,至少有一个非平凡解即本征函数，且与一个本征值相对于的，线性独立的本征函数只有一个。,5.2,退化核的方程的解法,2025/4/7 周一,10,定理,3.,如果 是一个本征值，那么非齐次方程有解的充要条件,是：与转置齐次方程的一切解正交，即,定理,2.,如果 不是一个本征值，那么 也不是转置方程,5,积分方程法,至少有一个平凡解。,的一个本征值；如果 是一个本征值，则 也是转置方程的一个本征值，即,其中 满足式,5.2,退化核的方程的解法,2025/4/7 周一,11,5,积分方程法,并对,x,积分，便可得定理,3,的正交关系。,事实上，定理,2,是这样一个事实的模拟，即矩阵和它的转置具有同样的本征值。如果我们以 乘以,需要指出的是弗雷德霍姆定理仅严格地适用于非奇异的积分方程。奇异积分方程的理论是一个不同的问题。,对于具有退化核的伏特拉方程，常常能通过求微分变为微分方程。我们仍以一个具体的例子来说明。,5.2,退化核的方程的解法,2025/4/7 周一,12,5,积分方程法,例,2.,求解积分方程,解：令,代入原式，有,所以,解此微分方程可得,于是得,把它再代入原方程可求得,，因此,5.2,退化核的方程的解法,2025/4/7 周一,13,5,积分方程法,到,于是得,5.3,具有位移核的方程的求解,如果核仅仅是,的一个函数，即所谓的位移核且积分范,围是,，则可以应用傅立叶变换来求解。考虑方程,对此方程进行傅氏变换，并记,则由卷积定理有,2025/4/7 周一,14,5,积分方程法,5.3,具有位移核的方程的求解,因此,如果我们能求上式的逆变换，就能得到方程的解。,如果积分区间是从,0,到,x,，,具有一位移核，且被积函数对于,则可用拉氏变换来求解，因为在这种情况下也有相应的卷积积分定理。,2025/4/7 周一,15,5,积分方程法,5.4,迭代解法,求解积分方程,的另一个直接方法就是迭代法，我们首先取近似,将此式代入原方程,右边的积分中，便得到,一级近似,再将一级近似代入原式的右边，便得到,二级近似,零级近似,2025/4/7 周一,16,5,积分方程法,5.4,迭代解法,重复迭代，得级数,其中,被称为,诺依曼级数,或积分方程的,诺依曼解,。,可以证明，如果核 和 在区间,上连续，,对于足够小的,，该级数解将收敛。,2025/4/7 周一,17,5,积分方程法,5.4,迭代解法,其中,例,3.,求解描述粒子运动的薛定谔方程,表示粒子的波函数，第一项表示粒子的动能，,V,(,r,),表示作用势，,E,表示系统的总能量，它可表为,解：方程又可写为,此方程具有边界条件,2025/4/7 周一,18,5,积分方程法,5.4,迭代解法,其中,边界条件,第一项表示入射粒子的平面波，第二项表示入射粒子,与,V,(,r,),的作用而散射的粒子的球面波。,于是，由格林函数法知亥姆霍兹方程,的格林函数为,这样，我们可以将散射问题转变为积分方程,2025/4/7 周一,19,5,积分方程法,5.4,迭代解法,其中,第一项是用来调整解使之满足边界条件的补充修正函数。,解可以写为诺依曼级数,由第一代迭代，即取,我们可得到一非常重要的结果，被称作,玻恩,(Born),近似,记,2025/4/7 周一,20,5,积分方程法,5.4,迭代解法,继续迭代得,于是解可表示为级数,这个级数解当,较小时，便能很快收敛。,2025/4/7 周一,21,5,积分方程法,5.4,迭代解法,通过迭代解法将,g,(,x,),作为,f,(,x,),的零级近似，代入得方程的一级近似，继续下去，得到,由第二类的弗雷德霍姆方程,这个级数解是非收敛的条件可以利用算子的性质进行讨论,2025/4/7 周一,22,5,积分方程法,5.4,迭代解法,将迭代解法表示为更为抽象的算子形式,注意到虽然,K,是积分算子，但,I,不是。当,K,在某种意义下“小”，则我们可以将其展开为,因为已经要求,当,K,作用在,V,中的任何元素上时产生,V,中的另一个元素，,所以可把,K,n,简单定义为,K,的连续作用：,若算子方程 的逆存在，则问题在形式上就解决,了。此时,2025/4/7 周一,23,5,积分方程法,5.4,迭代解法,对于,K,的这个限制并不是无关紧要的，因为一些看上去合理的算子，当它作用在,V,上时，所产生的客体不在,V,中。例如：考虑在,0,1,上定义的单变量的平方可积函数空间,L,2,0,1,，将算子,d/d x,作用在这个空间上，显然，是属于,L,2,0,1,空间的，但,不属于,L,2,0,1,，因此,d/d x,不能把,L,2,0,1,空间中的每一个元素变换成同一空间中的另一个元素，所以对我们的要求来说，它不是可允许的算子。,2025/4/7 周一,24,5,积分方程法,5.4,迭代解法,收敛时，它就是方程 的解。上述级数式，数学家称为诺依曼级数，而物理学家称为波恩级数，因为正是马克思波恩首先在量子力学中运用了基本迭代的想法。,假设,的右边“收敛”,(,收敛上的引号,是因为还没对算子的收敛性仔细加以定义,),因此它收敛所趋近的,算子是,(,I,-,K,),的逆算子，这是因为将,(,I,-,K,),从任意一边去乘,都给出,I,，因此我们猜测，当级数,2025/4/7 周一,25,则可以证明：当 ，那么由,5,积分方程法,5.4,迭代解法,假设,:a),级数解,收敛的条件：,b),在,a,b,内，有界，即,c),存在，且等于一个有限的常数,C.,表示的诺依曼级数就收敛。但这绝不意味着要使诺依曼级数,收敛，,M,就必须小于 。很容易构造出一些核，对于,M,大于 但它的诺依曼级数仍然收敛。即该条件是,保障诺依曼级数收敛的充分非必要条件。,2025/4/7 周一,26,5,积分方程法,5.5,弗雷德霍姆解法,求解积分方程,用弗雷德霍姆方法，可以得到上述方程一个更完善的级数解。,通过细分积分区间 ，用求和代替积分，解得到,的代数方程，然后讨论无限多的细分的极限，结果得到积分方程,的解为,其中,被称为解核，是两个无穷级数的比,2025/4/7 周一,27,5,积分方程法,5.5,弗雷德霍姆解法,其中,而,的定义为,其中，行列式,2025/4/7 周一,28,5,积分方程法,5.5,弗雷德霍姆解法,其中，行列式,的定义为,可以证明,弗雷德霍姆解法的重要性在于其是收敛的，而不像诺依曼级数,常是发散的，本征值可通过分母函数 求得。,2025/4/7 周一,29,5,积分方程法,5.5,弗雷德霍姆解法,例,.,求解方程,其中,是已知函数，而,解：此处核为,，故由式,有,2025/4/7 周一,30,5,积分方程法,5.5,弗雷德霍姆解法,再利用式,可计算出,，,从而,2025/4/7 周一,31,5,积分方程法,5.5,弗雷德霍姆解法,故由式,有,代入解核公式得,将此结果代入原方程即得需求解方程的解为,