离线非确定图灵机的空间─—访问数对偶定理

离线非确定图灵机的空间─—访问数对偶定理宋恩民，李行长（华中理工大学计算机系）本文讨论的是离线非确定图灵机的计算所使用的空间与对工作单元的访问次数之间的对偶问题，这是在计算理论中的一个重要问题（［ｎ］，［２］）。本文证明了，在离线非确定的情况下，当ｆ...     

Primitive Roots and Linearized Polynomials

Let f(x) = sum from t=0 to n α_ix~i∈GF(p)[x],we associate it with a ploynomial f~*(x)=sum from i=0 to n α_ix~(p~i),f(x) and f~*(x)are called p-associates of each other. f~*(x) is called a p-ploynomial,customary to speak of linearized polynomial. Let f(x)=x~m- 1/g(x), m = m_1~r, q = p~m, g(x)∈GF(p)[x],r be the order of g(x). Cohen and the author observed that if m_1≥2, there alwaysexsists a primitive roots ζ∈GF(q) suck that f~*(ζ) = f~*(c), here f~*(c)≠0. In fact     

Birkhoff遍历定理的推广

设(X,F,P)是一个概率空间,T:X→X 为保测变换,Bikhoff 遍历是定理指出:对任意 f∈L′(X,F,P),都存在 f~*∈L′(X,F,P)使得(?)并且 f~*(?)T=f~*α.e,α.e,(?)f*(x)dP=(?)f*(x)dP.J.P.con-(?)并且(?)ze 与 A.Bellow 分别在[1]、[2]中讨论了对任意一串严格增的正整数 κ=(k_n)m>0,部分和 T~N,kf(x)=1/N sum from n≤N f(T?)当 N→∞时的收敛性。本文中,我们要从另外的角度来讨     

渐近Teichmüller空间的不唯一性

设AT(△)是单位圆盘△上所有渐近Teichmüller等价类[[μ]]或[[f~μ]]构成的渐近Teichmüller空间.本文证明了对AT(△)内的任意渐近极值的f~μ,总存在一个[[f~μ]]内的渐近极值映射g~v,使边界伸缩商h~*(μ_(fog)~(-1)(g(z)))≠0.同时也获得了AT(△)在基点处的切空间上的类似结果.     

一个等价的萊布尼茲定理

§1.设函数f(x),g(x)在区间ι上高阶可微,则下列恆等式成立: f′g十fg′=(fg)′, f″g十fg″=(fg)″-2(f′g′), f′″g+fg″′=(fg)″′-3(f′g′)′, f″″g+fg″″=(fg)″″-4(f′g′)″+2(f″g″),它们之间有关系 f~(n)g+fg~(n)=(f~(n-1)g+fg~(n-1))′--(f~(n-1)g′+f′g~(n-1))。§2.现在我们规定 f~(n)g+fg~(n)=A_0(fg~(n)+A_1(f′g′)~(n-2)+…++A_[n/2]~(f~([n/2])g~([n/2]))(n-2([n/2])),其中高斯记号[n/2]表示不超过n/2的最大正整数。由于未定系数A_0,A_1,…,A_[n/2]的数值函数f(x),g(x)无关,不妨选取 f(x)=e~(ax),g(x)=e~(bx),就有 f~(n)g+fg~(n)=(a~n+b~n)e~((a+b)x),以及 (f~(ι)g~(ι))~((n-2ι))=(a+b)~(n-2ι)(ab)~ιe~((a+b)x)(ι=1,2,…,[n/2])。代入规定的等式中,两边约去公因子e~((a+b)x)以后,立刻得到     

抽象受控不等式的同构映射

通过提出抽象平均、抽象凸函数、抽象控制和抽象受控不等式的同构映射概念,建立了抽象凸函数同构映射的基本定理:设(■)_F和(■)_S为抽象平均,α(x)为严格单调(■)_(F-)-函数,β(x)为严格单调递增(■)_(S-)-函数,那么f(x)为抽象(■)_F→(■)_S严格上凸函数的充分必要条件是:f*(x)=β~(-1)o f oα(x)为抽象(■)_F~α→(■)_S~β严格上凸函数,这里(■)_F~α=α~(-1)o(■)oα,(■)_S~β=β~(-1)o(■)_S oβ.在抽象平均同构映射的基础上,获得了抽象受控不等式同构映射的基本定理:记a_i=α~(-1)(x_i),b_i=α~(-1)(yi)(i=1,2,…,n),则不等式(■)_S{f(x_1),f(x_2),…,f(x_n)}(■)_S{f(y_1),f(y_2),…,f(y_n)}成立的充分必要条件是:不等式(■)_S~β{f~*(a_1),f~*(a_2),…,f~*(a_n)}(■)_S~β{f~*(b_1),f~*(b_2),…,f~*(b_n)}成立.作为基本定理的简单应用,证明了算术受控不等式、几何受控不等式和调和受控不等式这三类不等式是同构的.简而言之,这三类受控不等式是等价的.     

以较低截断重数分担超平面的亚纯映射的唯一性问题

首先证明了一些以较低截断重数分担2n+2个超平面的亚纯映射的唯一性定理.最后一章给出了在条件f~(-1)(H_j)■g~(-1)(H_j)及q≥2n+3下的一个唯一性定理的简单证明.     

Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

多圆柱上Bloch空间中的复合算子的本性模

设Un是n维复空间Cn中的单位多圆柱,φ=(φ1,…,φn)是Un到自身的一个全纯映射.本文给出了多圆柱Un上Bloch空间β(Un)和小B1och空间β0*(Un)中的复合算子Cφ的本性模的估计,作为它的应用,得到了β(Un)和β0*(Un)中的复合算子Cφ紧的充要条件.     

多圆柱上Bloch空间中的复合算子的本性模

设Un是n维复空间Cn中的单位多圆柱,φ=(φ1…,φn)是Un到自身的一个全纯映射.本文给出了多圆柱Un上Bloch空间β(Un)和小Bloch空间β0*(Un)中的复合算子Cφ的本性模的估计,作为它的应用,得到了β(Un)和β0*(Un)中的复合算子Cφ紧的充要条件.     

由鞅的微分从属确定的Hilbert空间的同构特征

以■表示取值于 Banach 空间的鞅及其微分从属构成的序对(f,g)的全体,本文研究了(?)中元素的下述性质:(1)极大函数 g~*的 a.e.有限性和 g=(g_n)的局部收敛性,依概率收敛性.(2)g~*∨S(g)与 f~*∧S(f)的凸Φ函数不等式,(3)序列‖g_n‖∨S_n(g)的强弱大数定律.(4)g=(g_n)的 Neveu-Woyczynski型收敛定理.应用以上这些,我们刻划了 Hilbert 空间的同构特征.     

半群CSPO_n中星理想的秩和相关秩

设自然数n≥4,CSPO_n是有限链[n]上的严格部分保序且压缩奇异变换半群.对任意的r(0≤r≤n-1),记N_P~*(n,r)={α∈CSPO_n:|Im(α)|≤r}为半群CSPO_n的双边星理想.通过对秩为r的元素和星格林关系的分析,分别获得了半群N_P~*(n,r)的极小生成集和秩.进一步确定了当0≤l≤r时,半群N_P~*(n,r)关于其星理想N_P~*(n,l)的相关秩.     

线段映射的动力体系:非游荡集,拓扑熵以及混乱

§0.引言 设X为一个拓扑空间,f:X→X为连续映射.令f~0:X→X为恒同映射;对于整数n≥1,归纳地定义f~n=f。f~(n-1)。这样,我们得到了一个映射的序列f~0,f~1,f~2,…它将被称为映射f的动力体系,本文介绍有关线段映射的动力体系近年来所得到的某些方面的成果,“线段”     

最佳混合范数逼近

本文研究了两变量函数 f(x,y)用单变量函数 g(x)作混合范数逼近问题,即求g~*(x)∈G,G 是一 Haar 子空间,使(?)integral from Y|f(x,y)-g~*(x)|dμ=(?)integral from Y|f((?),y)-g(x)|dμ我们建立了包括交错定理、de la Vallee Poussin 定理、唯一性定理和强唯一性定理在内的 Chebyshev 逼近理论。     

广义台劳公式的简单证明

文[1]中采用用行列式来表示辅助函数的方法,提出并证明了广义台劳公式(即[1]中定理2):定理 设函数f(x),g(x)在[a,b]上具有n阶连续导数,在(a,b)内f~(n 1)(x)、g~(n 1)(x)存在,且     

半群CDO_n的每个星理想的秩和相关秩

研究的CDOn是自然序集X_n={1,2,3,…,n}(n≥4)上的保序且保压缩或保反序且保压缩有限奇异变换半群,记K_D~*(n,r)={α∈CDO_n:|Imα|≤r}为半群CDOn的双边星理想.对1≤r≤n一1,刻划了K_D~*(n,r)是由秩为r的元素生成的且当r=1时,rank(K_D~*(n,r))=n;当2≤r≤n一1时,rank(K_D~*(n,r))=C_(n-1)~(r-1).进一步证明了当l=r时,r(K_D~*(n,r),K_D~*(n,l))=0且当1≤lr时,r(K_D~*(n,r),K_D~*(n,l))=C_(n-1)~(r-1)     

从混合模空间到Zygmund-型空间的一些积型算子

设D={z∈C:|z|1}是复平面上的单位圆盘,H(D)表示D上的所有解析函数的集合,ψ_1,ψ_2∈H(D),n是一个非负整数,φ是D到D的一个解析自映射,μ是一个权函数.研究从混合模空间到Zygmund-型空间的积型算子T_(ψ_1,ψ_2,φ)~n的有界性和紧性特征,其中T_(ψ_1,ψ_2,φ)~nf(z)=ψ_1(z)f~((n))(φ(z))+ψ_2(z)f~((n+1))(φ(z)),f∈H(D).     

有向圈的笛卡尔积有向图的双控制数

Let γ*(D) denote the twin domination number of digraph D and let Cm Cn denote the Cartesian product of C_m and C_n, the directed cycles of length m, n ≥ 2. In this paper, we determine the exact values: γ*(C_2?C_n) = n; γ*(C_3 ?C_n) = n if n ≡ 0(mod 3),otherwise, γ*(C_3?C_n) = n + 1; γ*(C_4?C_n) = n + n/2 if n ≡ 0, 3, 5(mod 8), otherwise,γ*(C_4?C_n) = n + n/2 + 1; γ*(C_5?C_n) = 2n; γ*(C_6?C_n) = 2n if n ≡ 0(mod 3), otherwise,γ*(C_6?C_n) = 2n + 2.     

广义周期样条类的极值问题和广义Bernoulli核的宽度

本文研究由实系数线性系微分算子 P_r(D)=(D~2-2α_8D α_8~2 β_8~2)(D-λ_i)(α_8、β_8、λ∈R,β_8>0)定义的2π周期函数类={f:f~((r-1))绝对连续.f_(j)(0)=f~(j)(2π),j=0,1…,r-1,P_r(D)f(t)dt=0}当 p=1,2,∞,n>N(N 为某一确定的自然数)或0≤<1/4,1≤p≤∞,n=1,2,3,…时,我们求得了 d_n(,L)、d′_2n(,L)、d~2n(,L)d_2n(,L_p)、d′_2n(,L_p)、d_n(,L_p)等宽度的精确估计.我们还讨论了用广义周期样条的最佳逼近,从而找到了相当广泛的一类广义周期样条做为 d_2n(,L)的极子空间.     

Degeneracy and Finiteness Theorems for Meromorphic Mappings in Several Complex Variables

The author proves that there are at most two meromorphic mappings of C~m into P~n(C)(n ≥ 2) sharing 2 n+ 2 hyperplanes in general position regardless of multiplicity,where all zeros with multiplicities more than certain values do not need to be counted. He also shows that if three meromorphic mappings f~1, f~2, f~3 of Cminto P~n(C)(n ≥ 5) share2 n+1 hyperplanes in general position with truncated multiplicity, then the map f~1×f~2×f~3 is linearly degenerate.