下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、3在二阶椭圆型方程中的应用接下来我们应用山路引理来证明变系数二阶椭圆型方程边值问题的非平凡 解的存在性。问题 设Rn(n 3)是有界区域,充分光滑,设f :R1R1满足Caratheodory条件,并且满足下列增长性条件:(Fi)存在常数Ci,C2以及,1 口,使得n 2I f (x,t)| c C2 111 .考虑下列问题div(a(x) u) b(x)u f (x,u), x u| 0在H0()中弱解的存在性(其中a(x) 0,b(x) 0)。令tF(x,t) 0 f (x, s)ds,1 2 2I (u)a(x)| u | b(x)u dx F(x, u)dx,2则可知,i是h1()上的
2、c1泛函,并且1I '(u),v lim I (u tv) I (u)t 0 t1a(x) u v b(x)uv f (x, u)vdx, v H 0().因此,边值问题(1)是泛函I的Euler-Lagrange方程。于是,为了求(1)在H;() 中的弱解,我们只需求泛函I在H0()中的临界点。下面定义|u |为|u| .a(x) | u |2 b(x)u2dx,下面我们来证明它是h0()空间中的一个范数。证:首先由于|u|的定义,可以知道| |是一个非负函数。接下来验证其满足范 数的条件。(a) 已知|u | 0 ,由|u |的构造我们可以得到| |u| 0 u 0。(b) u,v
3、 H0()2 2 2|u v |a(x) | u v | b(x)(u v) dx2 2 2 2a(x)(| u |2 u v | v| ) b(x)(u2 uv v )dx另一方面(|U| |v|)2(a(x)| u|2 b(x)u2dxa(x) | v |2 b(x)v2dx)2a(x)(| u|2| v|2) b(x)(u2 v2)dx2 a(x)| u f b(x)u2dxa(x)| v |2 b(x)v2dx由于不等式a(x) u v b(x)uvdx a(x) u v b(x)uvdx2 2 2 2a(x) | u | b(x)u dx a(x) | v | b(x)v dx成立,
4、所以可以得出|u v | |u | |v|。(c) 0, u H0()| ou| . a(x) |ou|2 b(x)( ou)2dxo a(x)| u |2 b(x)(u)2dxo|u|故上述定义的|u |是一个范数,亦与范数|u|o | u|2 dx为等价范数。定理3 :设Rn(n 3)是有界区域,且具有充分光滑的边界,再设f :R1R1除满足Caratheodory条件和斤之外还满足:1(F2)存在常数(o,-),以及M使得当|t| M时,F(x,t) tf(x,t);m It-4X- t其中 0, 1是div(a(x) ?) b(x) ?在Dirichlet零边界条件下的第一特征值。则边
5、值问题(1)至少有一个非零解 证明:为了利用山路引理,我们需要逐条验证该引理的条件1验证P.S条件。设UnH0(),满足|I(un)| C,I'(un) o,欲证明Un有强收敛的子列首先证明Un有界。由(FJ可得,|t|F(x,t)| °|f(x,s)|ds1iGtC2|t|1因此,当|t| M时,| F(x,t)|,|t| f (x,t)|在 上一致有界。结合(F2)以及第式可得,存在MM2,使得1 2C 2|Un|1 2 -|Un|21 2|Un|1(1Un(x)|MF(x,Un(X)dXMi皿)*山(如(/&)皿M1Un(x) f (x,Un(x)dx M2)|
6、Un|)|Un|2a(x) Un Un b(X)Un(X)Un(X)I '(Un), Un M 2f (X,Un(x)Un(x)dX M 2其中| |是本文中定义的范数。由于I'(Un)0,所以当n充分大时,有| I'(Un),Un |Un|1 2于是 C (2)|Un|2|Un| M2。由此可以得到| Un |有界。再证Un有强收敛的子列。由于已知 f(X,Un(x)在H0()中有强收敛的子 列,不妨假设f (X,Un(x)本身强收敛。因此,对任何£ >0存在N,使得当m,n N,v H0()时,有(f (X, Un (x) f (x,um(x)v(x
7、)dx|v|.同时,由(2)的第二式,也有a(x) Un v b(x)Un(x)v(x) f (x,Un(x)v(x)dx|v|.让v Un Um,则a(x)Un (Un Um) b( X) U n ( X)( Un ( X) Um(x) f (X, Un (x)(Un( X) Um(x)dX(4)|Un同理,u m |.a(X)Um (UnUm) b(X)Um(X)(Un(X)Um(x) f (X,Um(X)(Un( X)Um(X)dX|UnUm |.将与合并,并利用可得,2|Un Um |2 2a( X) | (Un Um)| b(X)(Un Um)dX2 |Un Um | | (f (X
8、,Un(X) f (X,Um(X)( Un(X)Um(X)dx|3 |Un Um |.由此可得,|Un Um | 3,即Un是h1()中的Cauchy列,从而比收敛。2验证存在正常数B, P使得I |b ,其中B是H0()中以零点为中心,以 P为半径的球。事实上,由条件(F3)可得,存在常数',0',以及S >0使得当0 |t| ,x 时,f(x,t)'1t从而,当|t| ,x 时,有1 2F(x,t) -( 1')t2.2联合条件(FJ,存在常数C3使得1 2 1F(x,t) ( 1')tC3|t| .2利用Sobolev嵌入定理以Poinear
9、不等式可得,F(x,U(x)dx -(1 一)|uC3|u(x) | dx2 17(1 二)l|u C4|u| 1,2 1其中C4是常数,从而1 ' 2 1I(U)llull2 C4|u| 1.2 1由于a >1可取p足够小,以致1 ' 2 1 llull2 C4|u| 1 0.2 1即得I | b3 找 Uo H0(),使得 Uo B,且 l(uo) 0。让i表示div(a(x) ?) b(x) ?在Dirichlet零边界条件下的第一特征函数则i 0,且为了方便可让i2dx 1。考虑下列函数1 2(t) I(t i) - it2F(x,t i(x)dx,t 0.条件(F4)蕴含了存在',0',以及丫 >0当s时,f (x,s)( 1')s.于是,存在与t无关的常数M',M'',使得F(x,t 1(x)dxt 1 (x)t 1(x)f (x,s)dsdx01 f (x,s) |dsdxt 1(x)(t22(x)2)dx由于当t 时,mesx I
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 法律服务一体机租赁合同
- 图书馆维修合同
- 2025订房合作合同范本
- 建筑工程保险合同
- 2025公司租赁房屋合同格式
- 2025土地承包流转合同
- 校园安全教育讲座模板
- 情感型精神病的治疗
- 塑料袋的环境紧急性
- 山西传媒学院《材料表面界面技术》2023-2024学年第一学期期末试卷
- 2024至2030年冬虫夏草菌粉项目投资价值分析报告
- 2024版发电机安全性能检测服务合同2篇
- ICT测试原理与应用
- 中小学校图书馆管理员业务培训
- C语言编程新思路知到智慧树期末考试答案题库2024年秋山东理工大学
- 拔罐疗法在老年健康护理中的应用与展望-2024年课件
- 2024-2030年中国球扁钢行业发展规划及投资需求分析报告
- 2024年社区工作者考试试题库
- 大华智能交通综合管控平台-标准方案
- 空调销售及安装企业的账务处理-记账实操
- 大班冬至课件教学
评论
0/150
提交评论