夹逼准则与椭圆型偏微分方程的上下解方法.pdfVIP

第22卷第6期 9)11理工学院学报(自然科学版) V0L22 No．6 2009年 12月 JournalofSichuanUniversityofScience＆Engineering(NaturalScienceEdition) Dec．2009 文章编号：1673-1549(2009)06．-0019．03 夹逼准则与椭圆型偏微分方程的上下解方法 黄 甬穗 (泉州经贸学院，福建 泉州 362000) 摘 要：引进微分方程上下解的概念，应用极限夹逼准则的思想，以椭圆型偏微分方程为例，用上解 与下解来夹逼，证明了半线性椭圆偏微分方程边值 问题解的存在性。这种证明是构造性的证明，它比单 纯的存在性证明(如不动点定理)来得优越。因为我们不仅证明出解的存在，而且能够通过计算机进行 逐次迭代，把这个解按任意事先要求的精度把它估算出来。 关键词：夹逼；椭圆；上下解 中图分类号：02482 文献标识码 ：A 0，此外 引 言 1)若-厂()EC (．)，g()∈C “() 夹逼准则 是高等数学中熟知的极限收敛准则，它 贝问题(． =’，∈ 告诉我们，要判定一个数列 { }的极限是否存在，可以 存在唯一解 “() ∈C ()，且有 Schauder估计： 把这个数列放在以下两边夹的条件框架下，倘若 JuJ。+≤c(Jfl+JgJ：+)，其中常数C与u ，g无关。 (a)从某项 Ⅳ起 ，即当n≥N时，有Y ≤ ≤ ， (b)limy =limz =0 2)若 )∈ (21)，g(x)∈ (力)则存在唯一 则不仅可以断言数列 { }的极限存在，而且可以求出 解 “()∈ ()，并有如下的 估计 其极限也等于0，~lllimx =。。 llll2_≤c(Ilfllp+ ll2,p)，其中常数C与u ，g无 这种思想稍加变化就可以推广到其他的数学分支， 关 。 例如微分方程。我们引进微分方程上下解的概念，用下 引理2(极值原理)设 解与上解来夹逼，如果下解序列与上解序列都有相同的 ① c()≥0② ∈C()nC()满足 极限，则类似地可以夹逼出微分方程的解来。这就是下 ri一△十c()≥0，∈力 面要介绍的微分方程的上下解方法。我们以椭圆型偏 ≥ 0， ∈ ， 微分方程为例来加以说明。 贝4¨()≥0， ∈ 。且若 M()≠M()0， ∈ 。 考虑半线性椭圆型偏微分方程的边值问题 引理3(嵌入定理)设 力cR 是有界光滑的开区 f—Au= u)， ∈1-1 ，1、 域 ，nP +。。，则 Sobolev空问 ()可嵌入到 IuI砌=g() 其中 是尺 (n≥2)上的有界区域，其边界 c“()，其中=l一号，且有lul+≤ClluII2，常数 a ∈ C 0 1 C仅与n，P，力有关，而与 “无关。 △ “= + 192Iz 一 。+