二维非线性奇异椭圆问题的Galerkin有限元方法.pdfVIP

内蒙古大学硕士学位论文 3 R (1．6) i壹,J=l罢Sj(Ⅵ，s)rl,rlj_(叩：2+玎；)讹，叩e 其中口0是常数． 二、变分问题与近似变分问题 1．函数空间与冥相应的范数 加权L：空间及其范数定义为 L：={V(x，y)l￡x。yav2dxdy一 ． IIvk，=…岬=IIv忆=(pyPv2dxdy)i 加权Sobolev空间及其范数、半范数定义为 Ⅳ?(Q)=(v(工，y)ID7V∈上；(Q)，驯≤肌，堤多重指标) ‰II㈤5№II哪2№11 n一捌川bj lVI。：。。，=IVI。．。，。=lVl。．。=(．∑I|D7VI：。。)j 其它空间定义为 V∈Ⅳ：(Q)，Vl 日：(Q)={v(x，y)l r0=o) H：(Q) 显然，Ⅳ：(Q)c 2．变分问题及近似变分问题 p儿(训，坍坝塞+孑螂=胁帆w)V螂 定义2．0 枷)z x8yaa∽y^V州塞+争姗 f(v)；e。Y4厂(x，y)vdxdy 则与问题(1．0)相对应的变分问题为 内蒙古大学曩士学位论文 0 0 A(u，v)=，(v) (2．1) 求“∈日：(Q)使得 Vv∈日：(Q) 角记为只，令0=。min。O，，并满足0_000，Oo为常数。 定义空间K为 ％={V．1 V。∈c(孬)，V^在每个单元上是线性函数，VhIR=0) 则与(2．1)相应的近似变分问题为 Vh∈圪 (2．2) 求it^∈％使得A(u^，vh)=l(vh) 引理2．1 设v∈H：(Q)I^v∈％是V的Lagrange型插值函数，则有 IV—I—V—Lch2～Ivl：．。s=o，1 证明类似文S．Z．Zhou[17]引理5．1 0 ． 使得 ． ㈨．，≤clvl¨ 证明 于是 设v∈c：(五)，则有V(妒(y)，y)=0(oyH。)。 叫Ⅵ)叫砌)棚-v(W)=r和y)前 又Ix4-y，V2I=Iz嘭j，％r‘力暑；。，yV一；y一；r；y；面f2 ≤x。y，Ir‘y’詈cr，y，x一；，，；，；y一；出12≤If‘y’瓦a”(t,y)t!y2dtl2 s(p 2删re(ry))2一㈨ s呦一x∥(秘y)2x4ya出 ≤Mn和y))2—9出