一个求极值问题(Ⅰ)

对于给定的正整数n,N(N>n>1)与实数δ(0≤δ≤1/2),要求在k₁+k₂+…+k_n=N,k_i≥1(i=1,2,…,n)都是整数 (1)的条件下,求出一组使文中定义的目标函数L_{k¹k²…kⁿ}(δ)取最大值的整数组(k₁k₂…k_n),这整数组称为方程(1)的最优解。在本文中,将要证明:对于任何N>n>1与0≤δ≤1/2,一定能从适合(ⅰ)k₁为偶数;(ⅱ)|k_i-k_j|≤2(1≤i,j≤n);(ⅲ)在k₂,…,k_n中出现的偶数k都有相同的数值等条件的那些(k₁k₂…k_n)中找到方程(1)的一组最优解。特别对于δ=0与δ=1/2这两个重要的情形,给出了当N=n(e-1),而e≥4为一偶数时方程(1)的一组最优解。文中还证明了:对于δ=0与δ=1/2,以及N=nk(k≥2),从极限的观点看,(k,k,…,k)都是方程(1)的一个“相当不好”的解。     

关于多元函数最佳逼近精确阶的Timan问题

关于找一个充分必要条件使Ω^k(f,1/σ)L_p(Rⁿ)=O(A_σ(f)L_p(Rⁿ)),σ→∞,成立的Timan问题被解决.这个条件是Q^k(f,δ)L_p(Rⁿ)=O(Ω^k+1(f,δ)L_p(Rⁿ)),δ→0.     

交换p-群的子群格的强Sperner性质

设n和k是任意正整数 ,p是素数 ,L_(kⁿ) (p)是交换p 群 (Z/p^kZ)ⁿ 的子群格 ,则存在正整数N(n ,k) ,使得当p >N(n ,k)时 ,L(_{kⁿ) (p)}具有强Sperner性质 .     

对称凸集上初等对称函数为Schur-凹的充要条件

设x,y∈Rⁿ,x被y所控制记作x(?)y。又w∈Rⁿ,令S_k(x)为第k个初等对称函数。Q_m,n为前n个自然数取m个的严格增序列的集合。对于β∈Q_m,n写w_β=(W_{^β(1),…,WB(m)}∈R^m。本文主要证明了下面的结论:(1)S_k(x)在(?)_w上是Schur-凹的充要条件是(2)S_k(x)≥0,(?)x∈(?)_w的充要条件是S_k(w)≥0且S_k(x)在(?)_w上是Schur-凹的(3)S_k(x)≥0,(?)x∈(?)的充要条件是     

k维Piatetski-Shapiro素数定理 *

研究了k(≥3)维的Piatetski Shapiro素数定理 .令π(x;c₁,… ,c_k)表示不超过x且具有形式 [n^c₁1]=… =[n^c_kk]的素数个数 ( 1 k- (k/( 4k²+2 ) )时 ,π(x;c₁,… ,c_k)具有渐近公式 .     

多复变整函数与其关于全导数的微分多项式*

本文证明如下定理: 设f为Cⁿ上的一个非常数整函数,L_D(f) = a_kD^kf +a_k?1D^k?1f +· · · + a₁Df + a₀f,其中a_j ∈ C, a_k ≠ 0, D_j f是f的j阶全导数(j=1,2, · · ·,k).若f与L_D(f)两个有穷的CM分担值, 则f=L_D(f).     

相对化概率算法类与非确定算法类的强分离

本文提出并讨论了多项式时间概率型算法复杂度语言类与指数时间非确定型算法复杂度语言类的强分离(即带禁集证据的分离)问题,获得并证明了存在一个递归Oracle集A使得在多项式时间有界错误概率复杂度语言类BPP^A中存在NEXT_k^A禁集,这里NEXT_k^A=∪NTIME^A(2^_cnk)表示计算时间限界于O(2^_nk)的指数时间非确定型算法所接受的语言类;我们指出,Oracle集A可以一致地对k构成并列举熟知的语言类P,NP,U,R,BPP,PP,∑₂^p,∏₂^p,Δ₂^p以及交互式证明系统语言类MA,AM,IP等之间的30余种强分离关系作为本文结果的直接推论.     

对合数组与对合不动点集分支的维数(Ⅰ)

设M~n为n维光滑闭流形。给定光滑非自由对合(Mⁿ,τ),本文定义了一个数组I(τ),称为联系于(Mⁿ,τ)的对合数组。我们证明了,I(τ)=(k₀,k₁,…,k_r),0≤r≤n,0≤k_0...     

关于有界函数的Fourier部分和

本文研究了正整数那样的序列{n_j},对之,存在f∈L^∞(T),使得|s_ⁿj,(0,f)|→∞(此时说{n_j}属于类P);或者对之,我们有(1/m sum from j=1 to m|S_nj(0,f)|^p)^1/p≤C||f||∞,其中C不依赖于m∈z⁺与f∈L^∞(T)(1≤P<固定)(此时说{n_j}属于类p-SF)。对凸序列,我们证明了{n_j}∈p—SFlog n_j≤cj^min(1/2,1/p),其中C只依赖于{n_j}与P。     

Siegel模形式的一个注记

给出了任意同余子群上的Siegel模形式的特征描述和Siegel模形式空间维数的一些估计 .对于小权k ,也给出了J⁰_k ,1(Γ_n)和S^k_n(Γ_n)的一个比较关系     

齐次乘子算子的交换子

记H^l={w∈C^∞(R^k\{0}):w是l次齐次函数),R^_(-a)(m)是Taylor级数余项算子的n重叠合:m=(m₁,…,m_n)∈Zⁿ,Z记非负整数的集,α∈(R^k)ⁿ,定义 其中a=(a₁,…,a_n),a_i,f∈(R^k), 主要结果如下: 1.证明了几个介于算子T_^R(-a)^{(m)_w(ξ)),(a,f})的类与多线性奇异积分算子的类之间的对等定理; 2.作为应用,算子及 的某些有界性结果被给出,其中Ω∈H⁰,|β|≤|m|,且,m_i≥1。     

l p值Gauss过程的增量有多大

设{Y(t),t≥0}={X_k(t),t≥0}^∞_k=1是独立的Gauss过程序列,σ²_k(h)=E(X_k(t+h)-X_k(t))².记σ(p,h)=(sum from k=1 to ∞ σ^p_k(h))^1/p,P≥1.考察σ(P,h)有界时Y(·)的大增量.作为一个例子,给出了无穷维分数Ornstein-Uhlenbeck过程在l^p空间中的大增量.所建立的方法适用于某些其它类型的平稳增量过程.     

关于Pn3的优美性

设G(V,E)是一个简单图,对自然数k,当V(G^k)=V(G,E(G^k)=E(G)∪{uv|d(u,v)=k},则称图G^k为k-次方图,本文证明了图P_n³的优美性。     

Schur函数的一个展式及其在计数几何中的应用

本文给出对称多项式的幂的Schur函数展式(x₁^k+…+x_n^k)^m=sumC_{(λ1,…,λn)}S_{(λ1,…,λn)}(x₁,…,x_n)中系数C_{(λ1,…,λn)}的计算方法,并把它和文献[1]应用于计数几何的若干问题。     

Universally L 1 good sequences with gaps tending to infinity

We construct a sequence (n _k ) such that n _{k + 1} − n _k → ∞ and for any ergodic dynamical system (X, Σ, μ, T) and f ε L ¹(μ) the averages converge to ∝ _X f dμ for μ almost every x. Since the above sequence is of zero Banach density this disproves a conjecture of J. Rosenblatt and M. Wierdl about the nonexistence of such sequences. Research supported by the Hungarian National Foundation for Scientific research T049727.     

部分和乘积的几乎处处中心极限定理

设X_n, n≥1是独立同分布正的随机变量序列, E(X₁)=u >0, Var(X₁)=σ², E|X₁|³<∞, 记S_n==∑^N_k=1X_k, 变异系数γ=σ/u.g是满足一定条件的无界可测函数, 证明了 lim_N→∞1/logN∑^N_n=11/n g((∏ⁿ_k=1S_k/n!uⁿ )^1/γ√n )=∫^∞₀g(x)dF(x),a.s., 其中 F(•) 是随机变量e^√2ξ 的分布函数, ξ 是服从标准正态分布的随机变量.     

不动点集为常余维数的带有对合的流形

本文决定了协边类α∈J_n^2k(2k≤40),β∈J_n^2t+1(2t+1≤19)的充要条件。     

Fourier级数子列的可和性

Let H_α0^ω denote the set of functions f(x)∈L_2π such that ω(f,x₀;t)≤ω(t),ω(t) being a given modulus of continuity. Let {n_k} be a set of natural numbers satisfying the condition n_i+1/n_k>q>1, and let A= (α_πk) be a regular summation matrix.     

低于临界阶的Riesz球形平均的一类极大函数

设S_R^δ(f)(x)为f(x)的k维Fourier级数的δ阶Riesz球形平均,{R_j}₁^∞为Hadamard缺项序列。本文建立了关于极大算子的两个不等式:和此处0a/2。作为推论,得到:L²(Q_k)中函数的Fourier级数球形部份和的缺项序列a. e. 收敛。     

(2,2,…,2)型代数函数域

本文基于文献[1—4]的有关结果系统地研究了2ⁿ次扩域 L=k(√D₁(t)…,√(D_n(t),D_i(t)∈F_q[t], 特别决定了L/k的分类,素分解规律,整基,判别式,亏格;定义并确定了L/k的导子;确定了L/k的ζ-函数;最后证明了L的理想类数为,L的(零次)除子类数为,其中K_v过L/k的二次子扩张,Q为单位指数,m∈Z明显给出。后两公式的证明涉及较复杂的计算。这些结果是上述关于k的二次扩张结果的推广。基于这些结果及MacRae,Madan的若干结果,我们在相继的论文中确定了h(L)=1的全部域L,以及h(O_L)=1,n=2的全部虚域L。