仿射空间中的5-设计

Alltop给出了一个仿射空间中的5-设计,本文扩展文献[1]的结果,给出V_8(F_2)中六个5-设计,其参数为5-(2~8,k,λ),其中k=23,24,25,46,47,69. 设Q=V_n(F_2)是二元域F_2上的n维向量空间,G是Q上的仿射变换群。 V_n(F_2)中的四元集有两个仿射类U_1~(4)和U_2~(4)由四元化零集(即元素之和为零)组成,五元集也有两个     

de Bruijn-Good图的同态

设F_2~n是二元域F_2上的n维向量空间,其中n≥1。以F_2~n的2~n个元作顶点,从每一个顶点a=(a_0,a_1,…,a_(n-1))出发,向顶点b=(a_1,a_2,…,a_(n-1),0)和b′=(a_1,…,a_(n-1),1)各做一条有向弧,得到一个有向图G_n,称为n级de Bruijn-Good图。从顶点a=(a_0,a_1,…,a_(n-1))到顶点b=(a_1,…,a_(n-1),a_n)的有向弧记作a→b或记作(a_0,a_1,…,a_(n-1),a_n)。因此G_n是以F_2~n为顶点集,F_2~(n 1)为弧集的有向图,即有G_n=(F_2~n,F_2~(n 1))。     

亚纯函数的Hardy-Stein-Spencer恒等式

设f(z)是在点集D上定义,n(f=w,D)表示方程f(z)=w在D内根的个数.如果f(z)=w在Δ={│Z│<1}内是解析的,令I_λ(r,f)=1/2π integral from n=0 to 2π│f(re~(iθ))(?)~λdθ,00,这就是Hardy-Stein-Spencer恒等式.当我们研究BMOA和面积平均p叶函数时,希望Hardy-Stein-Spencer恒等式对亚纯函数也成立.本文将解决这个问题.引理 1 设(?)D是分段光滑Jordan曲线,其内部区域为D,设z_0∈D.假设f(z)在(?)\{z_0}内解析且没有零点,又设z_0是f(z)的ι阶极点,对λ>0,有证令 容易知道设Ω表示(?)\h((?)D)的无界分支,由于z_0是g(z)的简单极点,因此n(h=ω,D)=1, ω∈Ω.如右图:     

与间隙现象相关的一个极小问题

设Ω是R~3中的一个有界区域,B~3和S~2分别是R~3中的单位球和单位球面.由文献[1]知,对f∈H~1(Ω,S~2),如果div(D~（?）(f))≠0,这里D~（?）(f)=(（f×f_(x_2）)(?)f_（x_3）,(f×f_(x_3))(?)f_(x_1),(f·f_(x_1))(?)f_(x_2)),则f不能被C~1((?),S~2)中的映射逼近,即有下面的间隙现象:对不能被C~1((?),S~2)中的映射逼近的f∈H~1(Ω,S~2),一个自然的问题是:下面的极小问题是否可达:关于这方面的结果,Bethuel和Brezis对Ω=B~2,f=x/|x|,证明了(2)式不可达.本文在f满足下面的条件(f_1)和(f_2)时,考虑极小问题(2).我们将用一种与文献[2]完全不同的方法,证明对于(2)式的Euler方程的任一弱解u,有Sing(f)(?)Sing(u),这里,Sing(u)是u的奇点集.作为该结果的一个直接推论,知(2)式不可达.设f∈H~1(Ω,S~2)满足下面的条件:(f_1)存在a_1,…,a_k∈Ω,使得f∈C~1((?)\{a_1,…,a_k});(f_2)对于每个a_i,存在一个非常数的光滑映射φ_i:S~2→S~2,使得当σ→0时,于H_1(B~3)强收敛.显然,对于非常数的光滑映射φ:S~2→S~2,f(x)=φ(x/|x|)满足(f_1)和(f_2).在叙述本文的结果之前,先计算     

球面凸区域第一特征值的估计

设Ω是半径为R的两维球面上的凸区域,其边界为分片光滑。设此区域关于Dirichilet边界的Laplace算子的第一特征值是λ_1(Ω),则λ_1(Ω)≥1/4 h(Ω)~2,此处h(Ω)是Ω的Chee-     

Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归     

关于函数无理性的一个定理

<正>定理A 若log_hg是有理数,并且{a_n}是无界正整数列,则f(1/10)是无理数.定理B 若{a_n}是无界的正整数列,并且x=0是点集{}的一个聚点,此处表示数X的小数部分,则f(1/10)是无理数.本文要考察在(2)式中的f(x)的无理性.为此,需要下面的定义.定义 设函数φ(t)在以t=0为聚点的某个区域内由φ(t)=sum from k=-λto∞α_kt~(k/r)定义,其中λ,r,以及诸α_k是实数,则称φ(t)在点t=0的阶是-(λ/r),记为     

非线性极大极小问题的一个有效解法

一个非线性极大极小问题(A)通常表达为 minimizeφ(x)=max{f_i(x)},(1)式中F_i(x)一般为变量x∈R~(?)的光滑非线性函数,i=1,…,m。由于目标函数φ(x)是不可微的,故(A)是一个不可微的无约束优化问题,因此不能使用标准的无约束优化算法求解,通常将其化为下述等价的非线性规划问题(B):     

关于算子值矩问题条件

在文献[1]中,研究了Hilbert空间H上算子序列A_n,能有表示A_n=integral from n=1 to (λ~nB(λ)dλ)(1)的条件.其中B(λ)为具有紧支集的可积算子值函数,且满足0≤B(λ)≤I.他的条件为存在算子序列A_n,满足     

S~5(1)中极小超曲面的几何与拓扑障碍

一、引言 极小子流形理论中一个基本问题是:对充分大的N,一个紧流形能否极小嵌入到S~N(1)中。本文得到一个4维流形能作为S~5(1)中极小超曲面的拓扑障碍。即有下面的 定理1 如果M~4→S~5(1)为极小浸入,则|W~ |=|W~-|。     

横截环及其对Hénon映像的应用

§1。λ引理与横截环 设M为充分光滑的微分流形,f∈X′(M)(r≥1)。若P∈M为f之双曲不动点,则由著名的稳定流形定理知道,W~u(p)与W~s(p)均为M的C~r浸入子流形。下面所介绍的λ引理给出了W~u(p)与W~s(p)的一条性质。在不少出现横截性质的情形下,它对于W~u(p)与W~s(P)的刻划是很有力的(如见文献[1])。     

Garsia不等式的函数论证明

那么称f(x)为f(x)的非增重排函数,简称f的重排函数.(1.1)式的记号表示使函数之值大于λ的点集的测度.不难验证,满足上述条件的f(x)是存在且唯一的。事实上     

带有混合边界条件的非线性椭圆方程正解的存在性

设Ω■R~N(N≥3)为有界光滑区域,Γ_0和Γ_1为两个不相交的开集,使得。考虑下列混合问题(P)     

格值模型力迫法

Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。     

无重复区组的可分解二重三元系

一、引言 所谓一个三元系S_λ(2,3;v)是一个序对(V,B),其中V是一个v元集,B是由V的一些3-子集(叫作三元组)组成的子集族,使得V的任一2-子集都恰好包含在λ个三元组中。 S_λ(2,3;v)中若干三元组若构成V的一个划分,则称为一个平行类。若B可划分成平行类,则S_λ(2,3;v)叫作可分解的并记作RS_λ(2,3;v)。若B的某个子集构成V\{x}的一     

连续函数的积分表示

本文给出连续函数σ(λ),λ≥0具有如下积分表达式的一个充要条件: ■其中n为一正整数,a_i是常数(i=0,1,…,n-1),G是[0,∞)上的有限测度,被积函数在u=0点的值依连续性定义为((-λ)~n)/n1。利用这一充要条件可以得到超过程某些特征的一般     

闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件

本文将讨论闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件。根据文献[1],闭曲面上的C~r(r≥2)流的极小集总是平凡的,而C~0流则可能含有非平凡的极小集。因此,闭曲面上的C~0流比C~r(r≥2)流复杂。 定义1 设f:M×R→R是闭曲面M     

部分线性模型参数分量的M估计的渐近正态性

Engle等人提出了下列部分线性模型Y_i=X_i~tβ_0 g_0(T_i) u_i,1≤i≤n其中(T_1,X_1~t,Y_1),…,(T_n,X_n~t,Y_n)是随机向量(T,X~t,Y)的i.i.d.样本,U_i为随机误差,U_1,…,U_n与(T_1,X_1~t),…,(T_n,X_n~t)相互独立,X∈R~d,T∈[0,1],β_0为未知参数向量,g_n是一光滑未知函数.文献中,有许多学者讨论了关于这个模型的估计问题,包括惩罚函数法、基于分段多项式逼近的最小二乘法和基于核函数近似的最小二乘法.由于上述方法得到的估计不稳健,本文用分段多项式逼近g_0讨论较稳健的M估计.记g_n(t)=(?)(t)~ta为一分段m阶多项式,其段数为M_n,其中(?)(t)是一函数向量,β_0和     

空间B(l~1(Γ),C(Ω))中的等距逼近问题

本文中使用的数域为K(=R或C),并假定Γ为一个无穷指标集和Ω为一个紧Hausdorff空间,关键词(除最后一个外)都采用文献[1]中的定义。 定义 Ω中的闭集族{A(i,λ):i∈I,λ∈A}称为具有α-互锁性是指     

带有临界指数的半线性椭圆型方程的非平凡解

设为有界的光滑区域,考虑具临界指数的半线性椭圆边值问题非平凡解的存在性,此处λ是实常数,α(x)∈C~2(Q),α(x)≥0。问题(P)由文