p-adic超几何函数与Dwork超曲面上的有理点

p-adic超几何函数是经典的Gauss超几何函数在有限域上的模拟,与许多数论问题都有联系.设Fq是q元有限域,λ∈Fq,n为正整数.本文研究了Dwork超曲面Dλ^n:x1^n+x2^n+…+xn^n=nλx1x2…xn及其推广形式上的Fq-有理点,并在n与q(q-1)互素时给出了由p-adic超几何函数表示的各种Fq-有理点个数的公式,从而修正和改进了Barman与Goodson等人的结论.     

一类对称函数的Schur凸性与应用

对x=（x₁,x₂,…,x_n）∈R₊ⁿ及r∈{1,2,…,n},定义了对称函数F_n（x,r）=F_n（x₁,x₂,…,x_n;r）=∑_1≤i12…r≤n(∏₍j=1 x_ij/₁+x_ij^1/r,其中i₁,i₂,…,i_n是正整数.本文讨论了F_n（x,r）的Schur凸性、Schur几何凸性和Schur调和凸性,并借助于控制理论建立了若干不等式.     

完备α度量的相对抛物型仿射球(英文)

摘要:设y:M→Rⁿ⁺¹是一个光滑连通流形到实仿射空间Rⁿ⁺¹的局部强凸浸入超曲面,而且是一个定义在区域Ω（?）Rⁿ上的严格凸函数x_n+1=f（x₁,x₂,…,x_n）的图.在α相对法化下,相对抛物型仿射球满足一个四阶非线性偏微分方程组.本文证明了这类抛物型仿射球的一个新的Bernstein性质.     

由2010年高考题中不等式所想到的

（2010年辽宁理21）已知函数f（x）=（a+1）lnx+ax²+1.（1）讨论函数f（x）的单调性;（2）设a<-1.如果对任意x₁,x₂∈（0,+∞）,|f（x₁）-f（x+2）|≥4|x₁-x+2|,求a的取值范围.（2010年湖北理21）已知函数f（x）=ax+b/x+c（a>0）的图像在点（1,f（1））处的切线方     

达到渐近GV界的一种线性映射族构造方法——生成Shannon好码渐近序列的新进展

给定有限域F_q(q≥2)、任意正整数n和k(n>k),F_q上的线性映射序列(代数族){σ_i}(σ_i:F_q^k→F_qⁿ(i→∞))的构造方法已经成为信息科学中编码理论的一个中心问题,一般称为实现Shannon理想的代数族途径.迄今为止,发现这种代数族{σ_i}的更好结构,并由它导出Shannon好码渐近序列{[n_i,k_i,d_i]}仍是一个尚未彻底解决的挑战性难题和持续不断的努力目标.衡量这种代数族的好坏,除了看{σ_i}的构造是否有利于通信工程实现(构造简明,执行复杂度低)之外,最重要的一个基本标准是看{σ_i}导出的序列{[n_i,k_i,d_i]}诸参数的渐近极限结果是否不至于衰减到渐近GilbertVarshamov(GV)界之下,该问题吸引了许多数学工作者的关注.本文从矩阵映射的观点给出一种生成任意有限域F_q上代数族{σ_i}的新方法,并表明由{σ_i}导出的渐近码序列{[n_i,k_i,d_i]}可达渐近GV界之上.这种新的代数族生成途径对于信息编码理论及其工程应用都具有很重要的意义.     

有关广义中心三项式系数的3个超同余式

设b,c为整数,定义广义中心三项式系数T_n(b,c)=[xⁿx²+bx+c]ⁿ=[π/2]∑k=0(n 2k)(2k n)b^n-2kck(n∈N={0,1...}),这里[xn]P(x)表示多项式P(x)中xn项的系数.特别地,中心Delannoy多项式Dn(x)=T_n(2x+1,x2+x)(n∈N),中心三项式系数T_n=T_n(1,1)(n∈N).本文研究了孙智伟在[南京大学学报:数学半年刊,2019,36(1):1-99]中提出的猜想,即完全证明了两个关于Dn(x)和的超同余式和一个关于中心三项式系数的超同余式的特殊情形.例如,设p为素数,r,m为正整数满足p■m条件.则对于任何p-adic整数x,有1/m²p^3r-3(p^rm-1∑k=0(2k+1)Dk(x)²-P²p^r-1m-1∑k=0(2k+1)Dk(x)²)=0(mod p³).     

Banach空间中含强增生算子的非线性方程的迭代解

设X为实Banach空间,X*为其一致凸的共轭空间.设T:X→X为Lipschitzian强增生映象,L≥1为其Lipschitzian常数,k∈(0,1)为其强增生常数.设{α_n},{β_n}为[0,1]中的两个实数列满足:(ⅰ)α_n→0(n→∞);(ⅱ)β_n<L(1+L)/k(1-k)(n≥0);(ⅲ).假设为X中两序列满足:=o(β_n)与μ_n→0(n→∞).任取x₀∈X,则由(IS)1x_n+1=(1-α_n)x_n+α_nSy_n+u_ny_n=(1-β_n)x_n+β_nSx_n+μ_n(_n≥0){所定义的迭代序列{x_n强收敛于方程T     

一道新定义“进取点”题目的解析与收获

<正>题目(北京市海淀区2023年七年级下学期期末考试第26题)在平面直角坐标系xOy中,对于不重合的两点P(x₁,y₁)和点Q(x₂,y₂),给出如下定义:如果当|x₁|>|x₂|时,有|y₁|≥|y₂|;当|x₁|<|x₂|时,有|y₁|≤|y₂|,则称点P与点Q互为“进取点”.特殊地,|x₁|=|x₂|时,点P与点Q也互为“进取点”.     

单位球上F(p,q,s)空间的分解和刻画

设p>0,s ≥ 0,q>max{-n-1,-s-1},本文探讨了单位球上F（p,q,s）空间的一种等价刻画和分解问题.具体结果为：（1） f∈ F（p,q,s）当且仅当f∈ H（B）,且I^p=sup_a∈B∫_B|R^α,γf（z）|^p（1-|z|²）^q+pγ-p（1-|φ_a（z）|²）^sdv（z）<∞,其中α>-1 和γ>max{0,1-（q+s+1）/p,1-（q+n+1）/p}. （2） 若{d_k}∈ ∫^p,则存在序列{w_k}⊂B,使得 f（z）=∑_k=1^∞（d_k（1-|w_k|²）^t+1）/（1-k>）^{t+（q+n+1）/p}）（z∈B）属于F（p,q,s）,其中t>max{1-1/p,0}（q+n+1）+max{1/p,1}s-1.     

妙解三例

<正>等差数列{a_n},其通项可以统设为a_n=An +B,（其中A=d,B=a₁-d）,前n项和可以统设为S_n=An²+Bn,（其中A=（d/2）,B=a₁-（d/2））,灵活运用这个公式,可使解题变得简单,快捷.例1若数列{a_n}为等差数列,a_p=q,a_q=     

有限域上一类负循环码

设F_q为一个阶为q的有限域,其中q为奇数.本文研究了x~n+1在F_q上的不可约分解及环F_q[x]/x~n+1中所有本原幂等元,这里的n是素因子整除q-1的某些正整数.进一步,得到了F_q上所有长度为n的不可约负循环码的检验多项式及极小汉明距离.     

内-遗传信息与它的内P-推理发现特征

P-集合(Packet sets)是由内P-集合X~F(internal packet setsX~F)与外P-集合X~F(outer packet setsX~F)构成的集合对;或者,(X~F,X~F)是P-集合.给定有限普通集合X={x_1,x_2,…,x_q},α={α_1,α_2,…,α_k}是X的属性集合;若在α内补充属性,则X变成内P-集合X~F={x_1,x_2,…,x_p},X内元素x_1,x_2,…,x_p被内-遗传到X~F内,P≤q,P,q∈N~+.内-遗传是P-集合的重要应用特征之一.利用内P-集合,给出内-遗传信息概念,内-遗传信息的遗传特征;利用内P-推理,给出内-遗传信息的内P-推理辨识与未知内-遗传信息的内P-推理发现.     

Gaussian fluctuations of eigenvalues in log-gas ensemble: Bulk case I

We study the central limit theorem of the k-th eigenvalue of a random matrix in the log-gas ensemble with an external potential V = q2mx2 m. More precisely, let Pn(d H) = Cne-nTrV(H)dH be the distribution of n × n Hermitian random matrices, ρV(x)dx the equilibrium measure, where Cnis a normalization constant, V(x) = q2mx2m with q2m=Γ(m)Γ(12)/Γ(2m+1/2), and m ≥ 1. Let x1 ≤···≤ xnbe the eigenvalues of H. Let k := k(n) be such that k(n)/n∈ [a, 1- a] for n large enough, where a ∈(0,12).Define G(s) :=∫s-1ρV(x)dx,- 1 ≤ s ≤ 1,and set t := G-1(k/n). We prove that, as n →∞,xk- t log n1/2 2π21/2nρV(t)→ N(0, 1)in distribution. Multi-dimensional central limit theorem is also proved. Our results can be viewed as natural extensions of the bulk central limit theorems for GUE ensemble established by J. Gustavsson in 2005.     

Reinhardt域上一类推广的Roper-Suffridge算子

研究一类推广的Roper-Suffridge算子F(z)=(f(z_1)+f′(z_1)∑_(k=2)~nakz_k~pk,f′(z)1)(~1/p2)z_2,…,f′(z_1)~(1/pn)z_n)′,证明该算子在复欧氏空间中的Reinhardt域Ω_(n,p2,%…,pn)={z=(z_1,…,z_n)∈C~n:|z_|~2+∑_(k=2)~n|zk|~(pk)1,Pk∈N~+,k=2,…,n}上分别保持α次的殆β型螺形性,α次的β型螺形性及强β型螺形性.     

单个生成元Walsh p-进制平移不变空间伸缩的交与并

p-进制MRA与GMRA是构造L~2(R_+)中小波框架的重要工具. L~2(R+)中嵌套子空间序列交集为{0},并集为L~2(R_+)是其构成p-进制MRA与GMRA的基本要求.本文研究单个生成元Walsh p-进制平移不变子空间伸缩的交与并,证明了:对任意单个生成元Walsh p-进制平移不变子空间,其p-进制伸缩的交是{0};若生成元分为Walsh p-细分函数,则其p-进制伸缩的并是L~2(R_+)中一个Walshp-进制约化子空间.特别地,其伸缩构成L~2(R_+)中p-进制GMRA当且仅当∪_(j∈z)p~j supp(■φ)=R+,其中■为定义在L~2(R_+)上的Walsh p-进制傅里叶变换.值得注意的是:形式上,我们的结果类似于通常L~2(R)的情形,然而其证明不是平凡的.这是因为定义在R_+上的p-进制加法"⊕"不同于定义在R上的通常加法"+".     

混合幂次为2和3的整数变量非线性型的整数部分

证明了:假设λ_1,…,λ_6是正实数,λ_1/λ_2是无理数,Dirichlet L函数满足黎曼猜想,x_1,…,x_6是正整数,那么,λ_1x_1~2+λ_2x_2~2+λ_3x_3~3+λ_4x_4~3+λ_5x_2~3+λ_3x_3~3的整数部分可表示无穷多素数.     

Polynomials with palindromic and unimodal coefficients

Let f(q) = ar qr+ ··· + as qs, with ar = 0 and as = 0, be a real polynomial. It is a palindromic polynomial of darga n if r + s = n and ar+i = as-i for all i. Polynomials of darga n form a linear subspace Pn(q) of R(q)n+1 of dimension n2 + 1. We give transition matrices between two bases qj(1 + q + ··· + qn-2j), qj(1 + q)n-2j and the standard basis qj(1 + qn-2j)of Pn(q).We present some characterizations and sufficient conditions for palindromic polynomials that can be expressed in terms of these two bases with nonnegative coefficients. We also point out the link between such polynomials and rank-generating functions of posets.     

QFS-domains and quasicontinuous domains

In this paper, we show that(1) for each QFS-domain L, L is an ωQFS-domain iff L has a countable base for the Scott topology;(2) the Scott-continuous retracts of QFS-domains are QFSdomains;(3) for a quasicontinuous domain L, L is Lawson compact iff L is a finitely generated upper set and for any x1, x2 ∈ L and finite G1, G2■L with G1x1, G2x2, there is a finite subset F ■L such that ↑ x1 ∩↑ x2 ■↑ F ■↑ G1 ∩↑ G2;(4) L is a QFS-domain iff L is a quasicontinuous domain and given any finitely many pairs {(Fi, xi) : Fi is finite, xi ∈ L with Fi xi, 1 ≤ i ≤ n}, there is a quasi-finitely separating function δ on L such that Fi δ(xi) xi.