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

／ 第二章记号及主要引理、定义、定理 b 设b∈Rn，『I0=l，即6为单位向量，则沿方向b的方向导数记为眈· 而D；=云· 上的多项式空间，我们引进多重指标的概念，对Va∈Ⅳ。， 口=(口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(霞)，使得 ／ V口∈P (2·1) f．Dao—g)Jz=0． qEP(R)，q可表成 证明：设(，：卢∈P)是P(霞)的一组基，则对V g；∑cpx9 、 将此式代入(2．1)有 p(矗善咿％一o’ ¨凹 即 』。Dvdx』。善肌庐‰， V口∈P 2 V口∈P． 善cJ。肌叼zL。～如， 这构成了关于{卵}的线性方程组，系数矩阵为 tDxpdx)a，口∈P· M一(J 可以断定M非奇异，从而即有唯一非零解，所以满足(2．1)的g可唯一确 定．证毕． 令P是一个多重指标集，0∈P，则存在一个与口无关的常 引理2．2[z3 数c，使得对V口∈日(F)’，若IkD*vdx=o，V口∈P，则 0口Ilr，p≤cI口Ir。p (2·2) 证明t假定(2．2)不成立，则j巩∈H(尹)’，且JRDv．dx—o，V“∈P， P,p则 使得|f口。【f fI口。fIPm令”。=v。／【【巩lf P,pn IlukjJ (2．3) F，p=1， H(P)’，{wn)在H(F)’中有界， 因为H1’’＆口，由F定义，得H(F)’g 故{w．)在日(P)9中紧，因而存在子列不妨仍记为(w。)，在日(P)’中收敛． 一6一 o且…h=1， a∈尸，…斯2 JRD吲z=0，v DDw 2 V口∈P，得ll l|”=o，DD