您好,欢迎访问三七文档
11第2章泛函的极值在讨论泛函的极值以前,我们先来回顾一下函数的极值问题。2.1函数的极值性质2.1.1函数的连续性任意一个多元函数12(),(,,...,)TnnfxxxRxx,0,如果0)(,当0xx(或者说0(,)Oxx)时,有0()()ffxx那么,我们称()fx在0x处是连续的,记为00()lim()ffxxxx。2.1.2函数的可微性更进一步,如果存在1(,,)TnnAARA,使得001000(,,,,)()lim,1iniiifxxxfAinxxxxx那么我们称()fx在0x处是可微的,或者说存在(一阶)导数,记为'()fxA或者记为12'(),,...,Tnfffffxxxx其中为梯度算子(或者Hamilton算子,见附1)。同理,可以定义该函数的两阶导数()fx2222112122222122222222()nnnnnfffxxxxxfffffxxxxxfffxxxxxDx及更高阶导数。这里fD也称为Jacobi矩阵。如果函数()fx在某点0x足够光滑,那么我们就可以在该点附近把函数作以下的展开221002!020(d)()dd(d)dd()dd()dTTffffoffffxxxxxxxDxx其中()o为高阶小量,2d,dff分别为函数()fx的一阶微分和两阶微分。12换个角度来看,如果2100002!(d)()(,d)(,d)(d)ffLQoxxxxxxxx其中0(,d)Lxx为dx的线性函数,而0(,d)Qxx为dx的两次函数,那么0(,d)Lxx为()fx的一阶微分,0(,d)Qxx为()fx的两阶微分。2.1.3函数的极值对于足够小的0,如果0(,)Oxx,总有0()()ffxx,那么我们称()fx在0x有极大值。如果0(,)Oxx,总有0()()ffxx,那么我们称()fx在0x有极小值。这里00(,){}Oxxxx为0x的邻域。如果()fx在某一点0x附近足够光滑,那么()fx在0x有极值的必要条件为0dd()0Tffxx或者说0()0fx更进一步,如果0()0fDx,那么()fx在0x有极大(小)值的充分条件为02102!dd()0dd()d0(0),d0TTffffxxxDxxx或者说是00()0()0(0)ffxDx其中0()0fDx表示是负定矩阵。2.2泛函的极值2.2.1函数的邻域定义在区间(,)ab上的函数)(0xyy的一阶邻域定义为:对于0,始终满足00()(),(,)'()'(),(,)yxyxxabyxyxxab我们称同时满足上述两式的函数()yx的集合是0()yx的一阶邻域。同样可以定义函数的高阶邻域。2.2.2泛函的极值变分引理:如果函数],[)(0baCxf,对于在],[ba上满足0)()(ba的、足够光滑的任意函数)(x,如果总是成立()()d0bafxxx那么在(,)xab必有130)(xf证明:用反证法。假设有),(0bax使得0)(0xf,不失一般性设0)(0xf。由],[)(0baCxf,一定存在0,使00()0,[,](,)fxxxxab这样我们总可以构造下面一个连续函数)(x33()(),(,)()0,(,)xxxxx其中00,xx可以证明2()(,)xCab这样00()()d()()d0xbaxfxxxfxxx显然与引理条件矛盾,所以对于任意的],[bax都有0)(xf以上结果容易推广到二维或更高维的情形。如果泛函][yJ在)(0xyy的一阶邻域内都不大(小)于][0yJ,那么我们称泛函][yJ在)(0xyy有极大(小)值。也就是说0[][]JyJy()极小,0[][]JyJy()极大(2.2.1)使][yJ取到极值的函数称为极值函数。下面从最简单的泛函来讨论使泛函取到极值的必要条件。01[](,,')d,(),()baJyFxyyxyayyby如果*()yyx使[](,,')dbaJyFxyyx取到极值,则对于*()yyx的一阶邻域内的函数()yx应有[][*]JyJy()极小或者[][*]JyJy()极大现在用变分引理导出泛函取极值的必要条件。取*()()()yxyxx由于10)(,)(ybyyay,因此0)()(ba当足够小的时候,()yx属于*()yyx的邻域。当*()yyx以及)(x给定以后,[]Jy应该是关于的函数**[](,,'')d()baJyFxyyxJ14因为][yJ在*()yyx处取极值,0应该是()J的极值点。根据函数极值的必要条件0d()|0dJ这就意味着d[()]()d0d'baFFxxyxy如果令y那么有d[()]d0d'baFFJyxyxy考虑到y的任意性,根据变分引理有d()0d'FFyxy(2.2.2)这就是该泛函极值问题的Euler方程。如果只限定0()yay、而放松xb处的要求,则定义域1{[,],()0}yCabyaYd[()]d0d''bxbaFFFJyxyyxyy(2.2.3)若()yyx是泛函[]Jy在Y上的极值,限定01{[,],(),()()}oyCabyayybybyYY则()yyx必是泛函[]Jy在oY上的极值,根据(2.2.2)有d()0,(,)d'FFxabyxy(2.2.4)代入(2.2.3)并考虑()yb的任意性可得0'xbFy(2.2.5)要使[]Jy在()yyx处取极值,那么意味着必须同时满足(2.2.4)和(2.2.5)对于更一般的泛函我们同样可以得到下面的泛函极值定理。定理2.1如果泛函][yJ在)(0xyy上达到极值,那么泛函在)(0xyy上的一阶变分J满足0J证明:根据泛函极值的定义,如果泛函][yJ在)(0xyy上达到极大值,那么必定存在)(0xy的一个领域,对于该领域内的任何一个函数)(xy,使得泛函的增量][][0yJyJJ不变号,由前面的推导(1.4.6)212!...JJJ15其中0d[]|dJyJ22202d[]|dJyJ显然,当充分小时,J的符号由J部分确定。如果0J,我们总是可以调整的符号使得J改变符号,这与假设矛盾。因此0J是泛函有极值的必要条件。尽管0J不是泛函有极值的充分条件,但往往仍有意义。对于仅仅满足0J的泛函J,我们称在该点取驻值。2.2.3泛函的Euler方程由泛函0J所得到的微分方程(包括边界条件)称为泛函的Euler方程。例2.1[](,,')dbaJyFxyyx的Euler方程为d()0d'FFyxy例2.222011d[]()()d,(),()2dbayJypxqxyxyayybyxdd()()ddddd()()d0ddbabayyJpxqxyyxxxypxqxyyxxx得到dd()()0ddypxqxyxx上式称为Sturm-Liouville方程。结合边界条件10)(,)(ybyyay,构成第一边值问题的Sturm-Liouville问题。例2.322[]ddxyGJyuuxy上述泛函可以写成[]()ddGJyuuxy其一阶变分为2()dd2()()ddGGJuuxyuuuuxy16根据格林公式有2d2dd0GGuJusuuxyn当边界上值给定时,0Gu,可以得到相应的Euler方程0u这是一个Laplace方程。如果只在部分边界1G上给定函数值,这里12GGG,则除上述的Laplace方程外还应满足20Gun例2.42221[]2dd2xxxyyyGJyuuuxy其中u及其法向导数在G的边界G上给定。泛函的一阶变分为2ddxxxxxyxyyyyyGJuuuuuuxy由于222222(2)()()2(2)()(2)()()()2xxxyyyxyxyyyxxxxxxxxyyxyyyyxyxyyyxyyxxxxxxyyyxxxxxxyyyyyyuuuuuuxxyyuuuuuuuuuuuuxyyuuuuuuuuuuxyyxxuuuuuuuuyux222xxxxxxxyyxyxyyyyyyxxxxxxyyyyyyuuuuuuuuuuuyuuuuuu根据格林公式,由于u及其法向导数在G的边界G上给定,即0GnGuu,所以有0GxGyGuuu从而2ddxxxxxxyyyyyyGJuuuuxy当泛函取极值时,根据变分引理1得到20xxxxxxyyyyyyuuu也就是20uu这是一个双调和方程。17例2.5222[(,,)]2(,,)dddxyzGJyxyzuuuufxyzxyz其中(,,)uxyz在一部分边界1G(12GGG)上给定:1(,,)(,,)Guxyzuxyz。泛函可以写成[]2(,,)dddGJyuuufxyzxyz其一阶变分为2[]22(,,)ddd2()(,,)ddd2d2(,,)ddd2d2(,,)dddGGGGGGJyuuufxyzxyzuuuuufxyzxyzuuSuuufxyzxyznuuSuuufxyzxyzn当泛函取极值时,根据变分引理2得到对应的Euler方程为2(,,),(,,)0,(,,)ufxyzxyzGuxyzGn这是一个Poisson方程。2.3泛函的条件极值问题2.3.1函数的条件极值问题与Lagrange乘子假设求极值的函数为),...,,(21nxxxff相应的约束条件为12(,,...,)0,1ingxxxis(2.3.1)首先,自变量的微分必须满足约束条件,也就是说1d0,(1,2,...,)nijjjgxisx这意味着d0,(1,2,...,)igisx(2.3.2)也就是说dx必须与每个约束函数的梯度正交。对于极值函数f,如果在某点的梯度满足1,(1,2,...,)siiiifgisR那么,沿着满足约束条件的方向有1ddd0siiiffgxx该点也就是条件极值点。反之,如果要求沿着满足约束条件的方向有dd0ffx18必须有1,(1,2,...,)siiiifgRis这样,就有*0f(2.3.3)而*1siiiffg(2.3.4)所以对于约束极值问题,我们可以通过引进拉格朗日乘子),...,2,1(siRi来构造一个新的函数,可以把原来的条件极值问题转化为新函数*f的无条件极值问题。2.3.2存在代数约束下的泛函极值泛函为121212[,,...,](,,,...,;',
本文标题:第2章-泛函的极值
链接地址:https://www.777doc.com/doc-4517686 .html