三角剖分上分片代数曲线的Nöther型定理

分片代数曲线是经典代数曲线的推广. 贯穿剖分上的分片代数曲线的Nöther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用. 文中利用二元样条的性质, 给出了任意三角剖分上分片代数曲线的Nöther型定理.     

三角剖分上分片代数曲线的N(o)ther型定理

分片代数曲线是经典代数曲线的推广.贯穿剖分上的分片代数曲线的N(o)ther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用.文中利用二元样条的性质,给出了任意三角剖分上分片代数曲线的N(o)ther型定理.     

三角剖分上分片代数曲线的Nther型定理

分片代数曲线是经典代数曲线的推广．贯穿剖分上的分片代数曲线的Nther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用．文中利用二元样条的性质,给出了任意三角剖分上分片代数曲线的N(?)ther型定理．     

拟贯穿剖分上分片代数曲线的Nother型定理

代数曲线的Nother定理是代数几何中经典并且十分重要的结论.作为二元样条的零点集,分片代数曲线是经典代数曲线的推广.分片代数曲线的Nother型定理对研究二元样条空间的Lagrange插值有至关重要的作用.利用拟贯穿剖分的特点、二元样条的性质与代数几何的相关知识,给出了拟贯穿剖分上分片代数曲线的Nother型定理.     

拟贯穿剖分上的二元样条Lagrange插值

分片代数曲线足经典代数曲线的推广.利用沿分片代数曲线插值以及分片代数曲线的Nother型定理,给出了一类构造拟贯穿剖分上的二元样条Lagrange插值适定结点组的一种方法,并给出具体算法与实例.     

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

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

实分片代数超曲面的连通分支数的上界

多元样条是具有一定光滑度的分片多项式,具有一定光滑度的分片代数(超)曲面(即多元样条的零点集)是表示或逼近曲面的重要工具.这篇文章建立了实分片代数超曲面与实分片代数曲线的连通分支数的界.     

实分片代数曲线的某些研究

分片代数曲线作为二元样条函数的零点集合是经典代数曲线的推广. 利用代数的基本知识, 本文对实分片代数曲线的基本性质进行了初步讨论, 并且将实分片代数曲线与相应的二元样条分类进行讨论. 最后, 对实分片代数曲线上的孤立点进行了研究.     

连通微分分次代数的整体维数

首次把有理同伦论中的同伦不变量-锥长度(cone length)引入到微分分次(简记为DG)同调代数中,定义了连通DG代数上DG模的锥长度.连通DG代数A的左(右)整体维数定义为所有DGA-模(Aop-模)的锥长度的上确界.在一些特殊情形下,发现连通.DG代数A的左(右)整体维数与H(A)的整体维数有着密切的关系.任意一个连通分次代数,如果将它视为微分为O的连通DG代数,其左(右)整体维数与其作为连通分次代数的整体维数是一致的.因此该定义是连通分次代数整体维数的一种推广形式.证明A的整体维数足三角范畴D(A)以及Dc(A)的维数的一个上界.当A是正则DG代数时,给出了A的左(右)整体维数的一个有限上界.     

样条的机械化求解

本文在逐次分解法的基础上，给出一种样条机械化求解方法．该方法对多项式样条，有理样条乃至更一般样条的研究都是十分有效的．它适用于三角剖分，矩形剖分乃至更一般的代数曲线剖分     

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

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

关于两类平面图及相关图的L(d1,d2)-标号问题

图G的L(2,1)标号是一个从顶点集V(G)到非负整数集的函数f(x),使得若d(x,y)=1,则|f(x)-f(y)|≥(2;若d(x,y)=2,则|f(x)-f(y)|≥1.图G的L(2,1)标号数λ(G)是使得G有max{f(v)V∈V(G)}=k的L(2,1)标号中的最小数k.Griggs和Yeh猜想对最大度为△的一般图G,有λ(G)≤△2.本文将L(2,1)-标号推广到L(d1,d2)-标号,并得出了平面三角剖分图、立体四面体剖分图、平面近四边形剖分图的L(d1,d2)-标号的上界,作为推论,本文证明了对上述几类图,有上述猜想成立.     

关于图的L(d,1)-标号问题

图G的L(2,1)-标号是一个从顶点集V(G)到非负整数集的函数f(x),使得若d(x,y)=1,则|f(x)-f(y)|≥2;若d(x,y)=2,则|f(x)-f(y)|≥1.图G的L(2,1)-标号数λ(G)是使得G有max{f(v)v∈V(G)}=k的L(2,1)-标号中的最小数k.Griggs和Yeh猜想对最大度为△的一般图G,有λ(G)≤△2.此文研究了作为L(2,1)-标号问题的推广的L(d,1)-标号问题,并得出了平面三角剖分图、立体四面体剖分图、平面近四边形剖分图的L(d,1)-标号的上界,作为推论证明了对上述几类图该猜想成立.     

四边形的等积三角剖分

1970年Monsky证明了著名的Richman猜想: 正方形不能剖分成奇数个面积相等的三角形。近年来Stein等人研究一类特殊类型的四边形的等积三角剖分问题，获得了许多重要结果。该文进一步研究四边形等积三角剖分的待解决问题。      

有限元方法(二)

§2. 剖分插值 本节讨论平面区域的几何剖分和相应的分片插值方法.对区域进行剖分时,基本单元可以取为三角形、矩形、四边形等等.插值函数可以取为一次(线性)或高次多项式等等.其中以三角剖分和相应的三顶点线性插值最简单,最常用,故主要讨论这一情况.为了尽快进入有限元离散化,可以只读这里的§§2.1-3而转至§3.     

基于新的D1三角剖分的变维数单纯算法

我们构造了关于 R~n 的一种新的三角剖分——D_1三角剖分,且证明了它比熟知的三角剖分的单纯形个数都少.基于 D_1三角剖分,我们建立了一种新的变维数单纯算法.几个数值例子表明新的 D_1三角剖分及算法的确是更有效的.     

用quiver构造拟三角Hopf代数

利用quiver方法确定了一个广义Taft代数具有拟三角Hopf结构当且仅当它是Sweedler 4维Hopf代数.用不同于文[15]的方法,对任意的正整数n,构造出一类拟三角Hopf代数H(n).     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.     

关于有限维数猜想的一些新进展

在Artin代数的表示理论中,有一个著名的有限维数猜想：任意给定一个Artin代数,它的有限维数都是有限的．这个猜想已有45年的历史,至今悬而未决．本文主要综述它的一些历史发展情况,并介绍关于有限维数猜想的一些最新进展．     

图的平面Turán数和平面anti-Ramsey数（英文）

在所有顶点数为n且不包含图G作为子图的平面图中,具有最多边数的图的边数称为图G的平面Turán数,记为ex_P(n,G)。给定正整数n以及平面图H,用T_n(H)来表示所有顶点数为n且不包含H作为子图的平面三角剖分图所组成的图集合。设图集合T_n (H)中的任意平面三角剖分图的任意k边染色都不包含彩虹子图H,则称满足上述条件的k的最大值为图H的平面anti-Ramsey数,记作ar_P(n,H)。两类问题的研究均始于2015年左右,至今已经引起了广泛关注。全面地综述两类问题的主要研究成果,以及一些公开问题。