同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

一类复数的对数的线性形式

以Q,C,Z分别表示有理数域,复数域,有理整数环.设A_1相似文献   

椭圆曲线码的自同构群

设K是以F_q为常数域的单变量函数域,如果K是可离生成的且亏格为1的守恒域,则称K是椭圆函数域(定义见文献[1],p.190).我们总假设K中有一阶素除子且个数≥6,并用K(1)记作K中一阶素除子集合。在K(1)中取定一个元P_∞,那么我们可以在K(1)中定义一个加法,使K(1)是一个Abel群,P_∞是这个群中零元素,用〈K(1),⊕,P_∞〉记之,加法按如     

函数类L_α(k,ρ)与解析函数的(α,ρ)型邻域

设f(z)在E={z:|x|<1}内解析,且f(0)=0,f′(0)=1,记其全体为A。本文中,α≥0,δ≥0,0≤ρ<1,整数k≥1;S~*(ρ),K(ρ)同通常意义一样。记     

整函数及其导函数的Julia集

设f:C→C是整函数映照,定义迭代序列{f~n}如下: f~0(z)={z, f~(n+1)(z)=fof~n(z), n=0,1,2,……。整函数的迭代理论很早就为 Fatou 所研究。近年来,随着有理动力系统的发展,整函数动力系统迅速活跃起来。以下定义 N(f)={z∈C|{f~n} 在z点正规};J(f)=C\N(f),     

关于(p,p)型数域(p≤19)的单位群

设K为(p,p)型数域,即K是有理数域Q的Galois扩张,Gaiois群Gal(K/Q)=C_p×C_p,这里C_p表示P阶循环群,P是奇素数。可以证明K洽好有(p+1)个P次循环子域,记作K_i 1≤i≤p+1。设U和U_i分别是数域K和K_i的单位群;再记     

在C~n空间中的一个积分表示

若F_(jm)(ξ,z)(m=1,2,…,k)是定义在c~m中有界域的闭包上,且能表成当ξ≠z时,F_(jm)(ξ,z)≠0,其中ξ∈,z∈;φ_(jm)是上解析的函数,则记F_(jm)∈A.设N_j=N_j(ξ,z),对任意给定的z∈,关于ξ∈是二次连续可微的函数,且当ξ∈,z∈     

从属函数族的支撑点

我们用记单位圆盘△={z∈C:|Z|<1}上的全体解析函数,则在赋于内闭一致收敛的拓扑下成为局部凸拓扑向量空间,设f(z),F(z),f(z)相似文献   

一类二秩无扭abel群的结构

一、几种完备拓扑环 p是素数,p进整数环,是拓扑环R_p(分母与p互素的全体有理数,按p进赋值定义拓扑)的完备环。仿此可对有理数域Q的其它子环赋与拓扑,得出另外几种完备拓扑环。 设p_1,p_2,…,p_s,…是从小到大排列的某些素数,n_1,n_2,…n_s,…是正整数,环     

Carlitz-Kummer函数域的素分解

设 F_q 为特征 p 的 q 元有限域.k=F_q(T)为有理函数域,k~(ax)为 k 的某固定的代数闭包.令 M 为 R=F_q[T]中首1多项式,M 在α∈k~(ax)上的 Carlitz 作用如下定义:α~M=M(F+T)oα,其中 Toα=Tα,Foα=α~q.此作用的 M-挠元全体 A_M 为一循环 R-子模.作为分圆数域的模拟,k_M=k(A_M)称为分圆函数域(关于分圆函数域的理论可参看文献).设 K/k_M 为域的有限次扩张,z∈K—K~M,则作为数域 Kummer 扩张的一个模拟,在文献[4]中 Schul-theis 定义 u~M-z 的分裂域 K_(M,n)为 K 的 Carlitz-Kummer 函数域扩张(以下简称 CK 扩     

角域内全纯函数的值分布

1.设函数f(z)在角域S=S(α,β)={z|α≤2rgz≤β,|z|>0}内全纯,并且对于某正数λ,f(z~λ)在z=0处是全纯的。又设S′=S(α′,β′) (α<α′<β′<β)。记n(r,a,S)为角域S(r)={z|z∈S,|z|相似文献   

星像积分算子的星像阶数与Hadamard乘积

设f(z)=z a_2z~2 …是单位圆△:|z|<1中的单叶解析函数,其全体记为S。若f∈S,满足,称f(z)是ρ级星像函数。记其全体为S~*(ρ)。简记S~*(0)=S~*,S~*(1/2)=S_*。若△中的解析函数g(z),满足zg′(z)∈S~*(ρ),那么g(z)就是ρ级凸像函数,其全体记为K(ρ)。     

关于α-拟星形函数

定义:设在单位圆|z|<1内是正则的,并且f(z)f′(z)(?)0以及在0<|z|<1内,满足条件:其中α是实数,称函数f(z)是一个α-拟星形函数,记这个函数族为μ_α。 在文献[1—3]中研究了族μ_α,特别是在文献[3]中得出|f(z)|与|f′(z)|好的上下界,并     

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

关于Reinhardt域(Ⅱ)

对C~n中域Ω的Bergman核函数K(z,(?))的边界性状的研究,已经有相当长的历史了,它一直可追溯到Bergman的原始的研究工作.后来,Fefferman及稍后的Boutet de Monvel和Sj(?)strand得到了当Ω(?)C~n是强拟凸域时K_Ω(z,(?)的渐近展开.对C~2中的区域,Catlin给出了在边界(?)Ω的有限型点附近K_Ω(z,(?))性状的明确的描述,McNeal和Negal等人则得到了该类域的K_Ω(z,(?))的精确估计.对C~n中的耦合类(decoupled class Ω(?)C~n,McNeal对边界(?)Ω上的有限型点z给出了K_Ω(z,(?))的精确估计,而对Reinhardl域(1)式,D＇Angelo给出了Bergman核函数K(z,(?))的级数形式为     

一般分圆域的幂元整基

设K是代数数域,代数整数α称为K的幂元整基生成元,如果Z[α]是其代数整数环。两生成元α与β称为等价,如果存在,使得α=k±σ(β). 文献[1]证明了在等价意义下,数域K只     

一类解析函数空间的特征

设函数f(z)在单位圆D内解析,记M(r,f)=max|f(Z)|(0≤r<1),H~p表示|z|=rHardy空间。对某一在[0,1)上不减的非负连续权函数ρ(t),由[1]定义带权的解析函数空间:     

实二次域理想类群的子群的决定

从文献[1]中结果,可得出实二次域K=Q(m(1/m))的类群H(m)和类数h(m)的一系列结果。本文即其中的一部分。以下恒设m为无平方因子正有理整数,z_1,z,t∈Z,z_1为奇数,     

论一类区域中的有理函数的逼近与展开

设区域G是复平面上以闭Jordan可求长曲线厂为边界的区域,G_∞是关于复平面的余集。考虑函数类E_p(G),p≥1,即f[Q(W)]Q'(W)~((?)/p)∈H_p(见文献[1]上定义),其中z=Q(W)是将|w|<1保角映射到G的函数。已知,若f(z)∈E_p(G),p≥1,则f(z)在Г上几乎处处有角度边界值f()∈L_p(Г),因此可用     

具有给定理想类群的代数数域的算术刻划

众所周知,代数数域K的理想类数h(K)等于1的充要条件是域K的整数环O_k为唯一因子分解整区,后者是说,如果a_1…,a_n,b_1,…,b_m均是环O_K中的不可约元素,并且a_1…a_n～b_1…b_m(这里a～b是指a和b在O_K中是相结合的),则