加细剖分样条函数空间的维数级数和基函数

在文[1]中,我们讨论了利用协调矩阵计算维数级数和基函数的Grobner基方法,本文考虑几种加细剖分样条函数空间的维数级数和基函数,给出了它们的表达式。 1 任意三角剖分的连续样条函数 任意三角剖分上连续样条函数空间的维数早已被确定。本节我们用Grobner基方法来计算其维数级数的发生函数和基函数。 设Δ是单连通区域D上的三角剖分,f_0~0(Δ)是Δ内点的个数,f_1~0(Δ)是内网线的个数,f_2~0(Δ)是三角形的个数,我们有     

多元弱样条函数空间的维数

讨论了多元弱样条一点处的维数公式及任意三角剖分下的维数公式．得到了１－型剖分下Ｗ_３^１（Ｉ₁Δ_ｍｎ^１）的维数与局部支集样条基．     

小波级数的Bouligand维数

本文讨论了小波级数ｆ（ｘ）－Σｊ≥０Σｋ≥ｘＣｊｋΨｊｋ＾λ（ｘ）的上、下Ｂｕｏｌｉｇａｎｇｄ维数，在小波级数Ψ满足一定的条件下，给出了与Ｗｅｉｅｒｓｔｒａｓｓ函数相应的结果。     

差分-微分模上多个序的Grbner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Grbner基,并给出和证明了计算这种Grbner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler(2008)所得结果,也推进了Levin(2007)所得结果.     

线性空间中次子空间的基和维数

给出了线性空间中次子空间的基和维数的概念及性质,并以此刻画了非齐次线性方程组解的结构.     

差分-微分模上的Grbner基及差分-微分维数多项式

通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.     

差分-微分模上多个序的Gr(o)bner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler (2008)所得结果,也推进了Levin (2007)所得结果.     

小波级数的Bouligand维数(英)

本文讨论小波级数的上、下Buoligangd维数，在小波级数满足一定的条件下，给出了与Weierstrass函数相应的结果．     

二元弱样条函数空间的维数

基于B-网方法,在一定条件下构造了由一列星形域构成的三角剖分 |VI|∪i=1star(vi)相应定点剖分Ⅰ1|VI|∪i=1 star(vi)下2μ次μ阶光滑二元弱样条函数空间Wμ2μ(Ⅰ1|VI|∪i=1 star(vi)的一个最小决定集,据此给出了该空间的维数.作为两个应用的实例,我们给出了非均匀(Ⅰ)型三角剖分△(1)mn及非均匀(Ⅱ)型三角剖分△(2)mn相应的定点剖分下二元弱样条函数空间Wμ2μ(I1△(1)mn)和Wμ2μ(I1△(2)mn)的维数.     

样条空间S~μ_k（△）的维数

本文考虑了欧式空间Ｒ￣ｎ中任意单纯形剖分上的样条函数空间．证明了当ｋ≥（３μ＋１）２￣（ｎ－２）＋１时，计算任意单纯形剖分Δ上的ｋ次μ阶光滑样条空间的维数，可归结为计算每个σ－关联域（ｉ－单纯形σ∈Δ）Ｒ（σ）上的２￣（ｎ－ｉ－１）μ次μ阶光滑（ｉ≤ｎ－１）样条空间的维数。这里σ－关联域Ｒ（σ）是指Δ中所有包含σ的单纯形所成的单纯形剖分．     

Gr?bner bases in difference-differential modules and difference-differential dimension polynomials

In this paper we extend the theory of Gr?bner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural filtration. We present and verify algorithms for constructing these Gr?bner bases counterparts. To this aim we introduce the concept of “generalized term order” on ℕ ^m ×ℤ ⁿ and on difference-differential modules. Using Gr?bner bases on difference-differential modules we present a direct and algorithmic approach to computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations. This work was supported by the National Natural Science Foundation of China (Grant No. 60473019) and the KLMM (Grant No. 0705)     

一类分层三角剖分下三次样条空间的维数

本文定义了平面单连通多边形域的一类较任意的三角剖分－分层三角剖分，并通过分析二元样条的积分协调条件，确定了分层三角剖分卜三次Ｃ^１作条函数空间的维数．     

On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring

Following the definition of Gr?bner bases in rings of differential operators given by Insa and Pauer (1998), we discuss some computational properties of Gr?bner bases arising when the coefficient set is a ring. First we give examples to show that the generalization of S-polynomials is necessary for computation of Gr?bner bases. Then we prove that under certain conditions the G-S-polynomials can be reduced to be simpler than the original one. Especially for some simple case it is enough to consider S-polynomials in the computation of Gr?bner bases. The algorithm for computation of Gr?bner bases can thus be simplified. Last we discuss the elimination property of Gr?bner bases in rings of differential operators and give some examples of solving PDE by elimination using Gr?bner bases. This work was supported by the NSFC project 60473019.     

Termination of algorithm for computing relative Gr?bner bases and difference differential dimension polynomials

We introduce the concept of difference-differential degree compatibility on generalized term orders. Then we prove that in the process of the algorithm the polynomials with higher and higher degree would not be produced, if the term orders ‘?’ and ‘?′’ are difference-differential degree compatibility. So we present a condition on the generalized orders and prove that under the condition the algorithm for computing relative Gr?bner bases will terminate. Also the relative Gr?bner bases exist under the condition. Finally, we prove the algorithm for computation of the bivariate dimension polynomials in difference-differential modules terminates.     

Characteristic Modules of Dual Extensions and Groebner Bases

Let C be a finite dimensional directed algebra over an algebraically closed field k and A=A(C) the dual extension of C. The characteristic modules of A are constructed explicitly for a class of directed algebras, which generalizes the results of Xi. Furthermore, it is shown that the characteristic modules of dual extensions of a certain class of directed algebras admit the left Groebner basis theory in the sense of E. L. Green.     

二元样条空间维数的若干进展

近年来,计算机辅助几何设计（ＣＡＧＤ）中兴起了一种叫做ｂｌｏｓｓｏｍ的方法,本文综述了方法用之于三角盼上样条空间维数的研究所取得的一些进展。     

T样条函数空间的局部支集基

Ｓｃｈｕｍａｋｅｒ，Ｌ．Ｌ．在其名著《ＳｐｌｉｎｅＦｕｎｃｔｉｏｎ：ＢａｓｉｃＴｈｅｏｒｙ》中第九章给出了Ｔｃｈｅｂｙｓｈ－ｅｆ样条函数空间的局部支集基定理，可惜其证明却是错的，本文给出了上述定理的正确证明．     

一般随机缺项三角级数表示断片的Bouligand维数

该文对［１］中的Ｂｏｕｌｉｇａｎｄ维数计算公式进行了改进，用对称原理和简化原理，得到了一般随机缺项三角级数所表示断片的Ｂｏｕｌｉｇａｎｄ维数的一些计算公式．