用于二阶问题地窄边Hermite三角形元.docxVIP

／ 第二章记号及主要引理、定义、定理 设b∈Rn，『I b 0=l，即6为单位向量，则沿方向b的方向导数记为眈· 而D；=云· 设霞∈Rn是一个参考元，即具有Lipschitz边界区域，e(R，Q(霞)是霞 上的多项式空间，我们引进多重指标的概念，对V a∈Ⅳ。， 口=(口l，口2，?，％)， I ClI=ClI+口2+ +靠 h。一hg,h》?^》， ∥一鑫毒?毫，D；c毒，毫，?，毒一 由于每一个单项式z4对应于一个多重指标aEN,所以我们可以把P(霞) 看成对应的多重指标集，令 P。={a∈N一：I口I≤m)垒一P。(霞) P 一(口∈N“：0≤@li≤m，1≤i≤”) P的闭包和边界为 P—P U(口+ei口∈P，i=1， ，n)，萨一尹＼P 其中k}是R“的标准基．给定一个多重指标集P及1≤P≤oo，定义 怕||；’，=∑0D。v||；，t． 令 H(P)’={口∈L1(霞)：|J口0 P。，oo)， 对V”∈H(P)p，定义半摸 ?；．，=∑J|Dv|』；，t． 引理2．1C23令P是一个多重指标集，V口∈日(P)’，存在唯一一个q∈ P(霞)，使得 ／ f．Dao—g)Jz=0． V口∈P (2·1) 证明：设(，：卢∈P)是P(霞)的一组基，则对V qEP(R)，q可表成 g；∑cpx9 将此式代入(2．1)有 p(矗善咿％一o’ ¨凹 即 』。Dvdx』。善肌庐‰， V口∈P 善cJ。肌叼z 2 L。～如， V口∈P． 这构成了关于{卵}的线性方程组，系数矩阵为 M一(JtDxpdx)a，口∈P· 可以断定M非奇异，从而即有唯一非零解，所以满足(2．1)的g可唯一确 定．证毕． 引理2．2[z3 令P是一个多重指标集，0∈P，则存在一个与口无关的常 数c，使得对V口∈日(F)’，若IkD*vdx=o，V口∈P，则 0口Il r，p≤cI口Ir。p (2·2) 证明t假定(2．2)不成立，则j巩∈H(尹)’，且JRDv．dx—o，V“∈P， 使得|f口。【f P,pn fI口。fI Pm令”。=v。／【【巩lf P,p则 IlukjJ F，p=1， (2．3) 因为H1’’＆口，由F定义，得H(F)’g H(P)’，{wn)在H(F)’中有界， 故{w．)在日(P)9中紧，因而存在子列不妨仍记为(w。)，在日(P)’中收敛． 又由(2．3)得(。。)在H(F)，中收敛．设Ⅷ。—竺生。，由(2．2)及(2．3)得 一6一 JRD吲z=0，v a∈尸，?斯2 o且?h=1， V口∈P，得ll DDw l|”=o，DDw 2 o，D％=常数c，由jxDw如= o，得Dw—o，V口∈尸连同DD*w—o，V口∈P一起得0 w|l，，p=o，这 与I|w||，。p=1矛盾．证毕． 引理2．3跚 设户，Q是两个多重指标集，7是一个多重指标，满足，，+Q ￡P，设I：c一(K)一P(K)，产∈N是一个线性算子，假定存在线性泛函n∈ (H(砭)’)’，i=1， ，J,J=dimD7P，具有性质： fFf(D7h)=一(D7“)，i=1， ，j，V“∈C’(K)N H(砭十’，)’， { 【若F，(Drq)=0，i=1， ，J，贝0  ． Drq=o，V q∈P(K)． (2．4) 则存在常数c与”无关，使 ||村～Iu}I≈+r．，≤cI“I口+7川V“∈c4(足)N H(奄+y)’． (2．5) 证明：由引理2。1知，存在多项式q∈’，+Q，使 JtD“7@一q)dx 5 o，V“∈Q· (2·6) 这样 Il“一，“11日+r，，≤fI“一q 0口+研+f|q—lu ll口+m， (2．7) ， 由(2．4)的第二式知∑IFt∥I是Drp上的模， q—J“||口+^P垒I|D7(g—lu)Ij磊p ≤II D7(g—Iu)l{∥P，， j ≤f∑lR矿(口一Iu)l j =c∑IF，D7(g一“)l ≤c{i D7(q一“)f|≈．， ——，—— ／ 一f忆一酬≈¨p Cz·9) 由(2．6)及引理2．2知 II“一q I|奄+y。，≤≤fI“一ql≈+y，p—I“I≈+7．， 此式连同(2．8)代入(2．7)lip得(2．5)式．证毕． 定义2．4c2] 一个仿射等价有限元族相对于(Q，P)具有各向异性插值 ， ‘ 特征(anisotropic interpolation property，简称alp)，如果对b∈d(K)，引理 2．3对D7=D。都成立，其中d(K)表示由K的边所产生的方向． 引理2．5t23若I；p(K)--*PfK)是线性算子，其中∥∈N，满足J J，= 似，则存在线性泛函Fi：c”(K)一R，i=1’．．·，j，J=dimDrP，满足(2．4)的 充要条件是： 若“∈C。(足)且Dk=o，贝ⅡD