退化椭圆型方程的边值问题

广义解的存在性和唯一性问题,假设对所有x∈Ω与所有的实数组(ξ_1,…ξ_n) α~(lj)ξ_ξ_j≥λ(x)|ξ|~2≥0∑为区域Ω的边界,∑°为∑上满足a~(ij)(x)n_in_j=0的点集,n=(n_1,…n_n)表示∑上的内     

关于L—函数的四次均值公式

给出了Dirichlet L-函数四次均值∑ |L(σ+it,x)|~4的一个较精确的渐近公式。式中1/2<σ≤1,t是任意实数,∑表示对模q所有非主特征求和。     

Rees定理在稠密正规语言中的一个应用

称可被有限自动机识别的语言为正规语言 .字母表 A上的语言 L称为稠密的 ,如果 A*中每个字都是 L中字的子字 .不能写为其他字的幂的非空字称为本原字 ,不是本原字的非空字称为非本原字 .Shyr等提出如下猜想 :每个稠密正规语言中含有非本原字 ,本文利用 Rees定理给出这一猜想的证明     

关于1-(k,m)-逗点码的一个注记（英文）

令L是A上的一个非空语言,k∈N~0,m∈N。如果L满足(LA~k)~mL∩A~+(LA~k)~(m-1)LA~+=?,那么L是一个码,叫做(k,m)-逗号码。如果L的每个单点集都是一个(k,m)-逗号码,那么L称为1-(k,m)-逗号码。众所周知,1-(k,m)-逗号码类是2~(Xk)\{?},其中X_k={u∈A~+|(?w∈A~k)uwu∩A~+uA~+=?}。Jürgensen等指出X_0是本原字构成之集。Cui等借助于有界字、无界字和本原字刻画了X_1。本文中,我们讨论X_k,其中k≥2。     

数论函数d(n)和σ(n)的部分和渐近估计式的推广

设 d(n)和σ(n)分别是除数函数和除数和函数 ,本文将渐近估计式 ∑n≤ xd(n) =xlogx +(2γ -1 ) x+O(x ) (x >2 )和渐近估计式 ∑n≤ xσ(n) =ζ(2 )2 x2 +O(xlogx) (x >2 )进行了一系列的推广 ,给出了∑n≤ xp | nd(n) ,∑n≤ xp | nd(n) ,∑n≤ x(-1 ) n- 1 d(n) ,∑n≤ xp | nσ(n) ,∑n≤ xp | nσ(n) ,∑n≤ x(-1 ) n- 1 σ(n)等和式的渐近估计式 .     

渐近估计式(sum form n≤x) φ(n)=(3/π~2)x~2+O(xlogx)的推广

设φ(n)是 Euler函数 ,本文将渐近估计式 ∑n≤ xφ(n) =3π2 x2 +O(xlogx) (x >2 )进行了一系列推广 ,给出了∑n≤ xnαφ(n) ,∑n≤ x(-1 ) n- 1 nαφ(n) ,∑n≤ xp | nnαφ(n) ,∑n≤ xp | nnαφ(n)等和式的渐近估计式     

关于曲面上曲率线的测地曲率

设在曲面∑:(?)=(?)(u、V)上有一点p,经过p点有∑上一条曲线T:u=u(s),v=v(s),(s为T的弧长),T在P点处的单位切矢为(?),∑在P点的单位法矢为(?),并记(?)×α=(?),则(?)、(?)、(?)构成T在P点的一右旋动标三棱形。T在P点的曲率矢在(?)上的投影称为T在P点的法曲率,记为k_n,k_n=k(?)(?),曲率矢k(?)在(?)上的投影称为T在p点测     

Zorn小定理的一个等价命题

设A是一个集, G是A里的一个序关系,那么,〈A,G〉称做一个序集(或“有序集”),A依G成半序或全序·特别,设∑是一个集族,若P∈∑,Q∈∑,P(?) Q,则规定P小于Q( Q大于P),这就得到∑里的一个序关系,记做(?) 〈F,(?)〉成半序族或全序族。 Zorn小定理 如果半序集〈A,G〉的每个全序子集都有上界,则〈A,G〉必有极大元·     

非线性退缩椭圆边值问题的多重解

1.问题与条件 在有界凸区域Q R~n(n≥2)上考虑问题:的多重解。其中aj_1(x)=aj_1(x)∈C°(Ω),且a_1(x)ξ_1ξ_j≥λ(x)|ξ|~2≥0(x)∈Ω 、ξ∈R~n),λ~(-1)(x)∈L~s(Ω)(s n)。∑=Ω,∑_3(=∑\∑_0)非空,∑_0=|x∈∑|n_1j(x)nj(x)。     

论域的相对同构与域的简约次数

从域的同构出发,可以进一步讨论域的相对同构,由此得到关于可分的传递性,从而可以利用最大可分域得到域的简约次数。本文通过具体实例,将这一部分内容系统地总结概括,从另一角度得到了关于域的自同构的个数问题。定义设△是域∑与域∑~1的子域,∑与∑~1是域Ω的子域,若∑与∑~1的同构映射φ使域△的每一个元素都不动,则映射φ叫做∑对于域△的相对同构。     

Fuzzy 群的几个等价定义

本文将要用到〔3〕中引入的若干概念,为叙述方便,简列于后。集X 到〔0,1〕的一个函数A 称为X 的一个fuzzy 子集;X_1={x∈X|A(x)>0)称为A 的承集。x_λ称为X 上的fuzzy 点;若x_λ(a)={λ当a=x 0 当a≠x a∈X;点x 叫它的承点。x_λ∈A 即0<λ≤A(x);x_λ=y_μ即x=y 且λ=μ;x_λ(?)y_μ即x=y 且λ≤μ。“(?)”是fuzzy 子集A 上的运算:(?)a_λ,b_μ∈A,存在唯一c、∈A,记作a_λ(?)b_μ=c_(?),使当a_(λ′)(?)a_λ,b_(μ′)(?)b_μ时,a_(λ′)(?)b_(μ′)(?)a_λ(?)b_μ,称“(?)”为A 的广义积。当v=min(λ,μ)时,记a_λ(?)b_μ=c_ν为a_λb_μ=c_ν,称为A 的狭隘积,以下仅讨论这种狭隘积。     

一类二部图的奇优美性

设L为简单无向图G的一个顶点标号,L称为图G的奇优美标号,若L满足:1)L为G的顶点集V到{0,1,…,2|E|-1}的一个单射;2)由L'(e)=|L(u)-L(v)|(其中e=uv)决定的边标号L'是从G的边集E到{1,3,…,2|E|-1}的一个双射.根据奇优美图的定义,研究了一类二部图G*的奇优美标号.     

关于测度延拓和限制的一个定理

本文讨论测度延拓和限制彼此可交换的条件。文中所用的记号和术语与[1]相同。特别,“测度延拓”指的是按外测度方法进行延拓。设X是一个集,R是X某些子集所成的环,μ是R上的一个测度。又设E(?)X,μ_E是μ在环R_E={F|F∈R,F(?)E}上的限制,μ_E~*和μ~*分别是μ_E和μ所引出的外测度,(R_E)~*和R~*分别是μ_E~*和μ~*可测集的全体。     

关于一个级数收敛性的简化证明

15〔1 〕~*中第2714题已有一个详尽的解法。今本文对其中一部分提出一个简化的证法。原题为:证明下面二级数(?)的积当α β>1时是收敛级数,而当α β≤1时是发散级数。本文解法为:(1) 当α β≤1时,(?)所以乘积极数∑C发散。 (2)当α β>1时,首先证明|C_n|→0,然后,令     

两个多重目标排序问题的多项式时间算法 （运筹学与控制论）

多目标排序是排序论的一个重要分支,在解决经济、管理、工程、军事、社会等领域出现的复杂问题中起着越来越重要的作用。本文研究以误工个数∑Uj为第1目标,∑wjCj或者∑wjTj为第2目标的多重目标排序问题,分别给出了这两个问题在不误工工件集不改变下工件加工时间和权重满足反一致性条件(pi≤pjwi≥wj)时复杂性为O(nlogn)的多项式时间算法:对于排序问题1│(pi≤pj)(wi≥wj)│(∑wjCj/E),选取排序最后一个工件k满足条件:pk/wk=max{pi/wi│i∈M∪L};对于排序问题1│(pi≤pj)(wi≥wj)│(∑wjTj/E),选取排序最后一个工件k满足:1)若M为空集,pk/wk=max{pi/wi│i∈L};2)若M非空,任意选取k∈M。其中L是误工工件集,M是放在最后不误工的工件的集合。最后,证明了这两个算法可以得到相应问题的最优解。     

稠密正规语言的S．Y猜想的一些等价刻划

一个语言称为正规的如果它可被一台有限自动机识别,一个语言称为稠密的如果每个字都是该语言中某个字的一个小字,一个非空字称为本原的,如果此字不是其他任一字的幂,否则称此非空字为非本原字,Shyr和Yu在[3]中给出如下猜想：每个稠密正规语言都包含一个非本原字,如果能给出S．Y猜想在半群理论及码论中的等价陈述,则可把稠密正规语言的问题归结为半群理论及码论中的问题,从而为解决S．Y猜想提供了更多的途径。     

线性语言的有限性性质

1.引言大家知道,语言类的某种“有限性”性质无论对形式语言理论还是对应用都有很大的价值。1958年,A.Nerode[1]曾得到正则语言类的一个有限性性质,即,语言L∑~*是正则的,当且仅当L等于∑~*上一有限指数右同余关系的若干等价类之并。近年,H.Prodinger[2]和郭聿琦等[3]研究了由滤子定义的右同余,得到了一些深刻的结果。遗憾地是,就     

2循环图的同构

设n>1是整数,K(?)N={1,…,n-1}.以V={V_0,V_1,…,v_(n-1)}为点集E={V_iV_j|j-i∈K}为有向边集的图称为循环图,记作G_n(K).证明了当K,H(?)N|K|=|H|=2时,G_n(K)≌G_n(H)蕴含存在自然数r∈N,满足(r,n)=1,使得rK=H.     

曲面上活动标架的几个应用

一、在空间固定直角坐标系下,设已给曲面∑:(?)其中矢函数,(?)(u,v)至少有连续的二阶偏导数(?),(?)与(?),且(?)≠0,∑的参数曲线为它的曲率线。则     

协方差阵的二次型估计的可容许性问题

设Y的分布为N_p,N(BX,Σ,V),即Y有密度函数(2)_~(-1/2p~N)·|Σ|~(-1/2V)·|V|~(-1/2)p·etr{-1/2Σ~(-1)(Y-BX)V~(-1)(Y-BX)′},其中X和V>0分别是已知的m×N和N×N阶矩阵,B和Σ>0分别是未知的p×m和p×p阶参数矩阵。本文限制在估计类(?)={YAY~′:A》0}中讨论协方差矩阵Σ的估计的可容许性问题,所取的损失函数为L(d,Σ,B)=tr(d·Σ~(-2)-1)~2。本文的主要结果有: (1) 当m=n时,得到了Σ的估计YAY′在(?)中可容许的充要条件; (2) 当X=0或BX=η·1_p·1~′_N时,得到了Σ的估计YAY′在(?)中可容许的充要条件; (3) 当X=0时,得到了Σ的唯一的一个在(?)中可容许的估计;如果把损失函数改为L(d,Σ,B)=tr(d-Σ)Σ~(-2)(d-Σ),则在X=0时,存在着一簇Σ的在(?)中可容许的估计,其充要条件也被得到。本文主要利用凸集、凸函数和方向导数的有关性质,解决上述问题。这与以往文献所使用的方法有所不同,显得较为简单可行。