连分数与类数及其他

本文用连分数给出虚二次域的类数公式,见文中的定理4.结合Hirzebruch和zagier的结果(定理5),就完全了用连分数给出虚二次域的类数公式的结果.另外还讨论了一类虚二次域类数的可除性,即有 定理6.设l,q均为正整数,且q≥2.如0>△=1-4q^l为无平方因子整数,则l除尽虚二次域(Q(△^1/2)的类数. 文献[6]中,用了代数几何方法证明了当l为奇素数时的情形,本文只用初等方法.最后,文中给出了一个实二次域类数的初等公式.     

实六次循环数域的类数同余公式 *

设K6为六次实循环数域 ,K₂ ,K₃ 分别为其二次及三次子域 ,记h(L)为数域L的理想类数 .得到了h^-=h(K₆) /(h(K₂ )h(K₃ ) )的 7个同余公式 .特别当K₆的导子 f =p为素数时 ,Ch^-≡Bp -1/6B5 ( p -1)/6 (modp) ,其中C为明显给出的常数 ,B_n 为Bernoulli数 ,这些结果系统地把关于二次域及四次循环域的许多结果推广到实六次循环域上 .     

关于实二次域的类数(Ⅱ)

本文推广了文献[1]的结果,提供了实二次域类数等于1的另一个充要条件,文献[1]是这里的一个特例,特别,对素数p=4n²+1(n>1),域K=Q(p×1/2)的类数等于1的充要条件是这儿ζ_K(s)是域K的ζ-函数.     

实二次域类群的启发式论据与结果

对一些类型实二次域的类数h经常含一个固定素数因子p的现象进行了研究 .发现是由于存在一种素理想 ,其p次幂为主理想 .由此给出了Cohen Lenstra启发式论据对此情形的改进 ,即预言理想类数h是素数p的倍的概率为1 - ( 1 -p^-1) ( 1 -p^-2 )… .用同样的想法 ,进而预言所考虑的素理想代表的类P的阶确实为p的概率为1 /p.所得到的这两种概率与计算结果都有很好的符合.     

实二次域的理想类群与其子群

给出实二次域K=Q(m)的理想类群含n阶循环子群的充分必要条件,以及满足这些条件的判别方法;并给出具有此性质的8类实二次域,例如m=(zⁿ+t-1)²+4t(其中t|zⁿ-1);后者包含m=4zⁿ+1和m=z²ⁿ+4为特例。所用方法还可以给出许多有此性质的域。     

Y2=X3-p3上的无穷阶点

首先用(12)上的模函数参数化椭圆曲线y²=x³+1,然后利用虚二次域Q((-p)^1/2)上的类域论和Shimura互反律构造了当p≡7(mod24)为一素数时Y²=X³-p³上的一个无穷阶点.     

一般四次循环域的十个Ankeny-Artin-Chowla型类数公式

设K为四次循环数域,k为其二次子域,记h(L)为域L的理想类数。本文得到h^-=h(K)/h(k)的十个同余公式。特别若,素数p=r²+s²,s为偶数,则当p≡1(8)时,C₁h^-≡B_(p-1)/4B_3(p-1)/4(mod ρ),B_n是Bernoulli数;当ρ≡5(8)时,C₂h^-≡E_(ρ-5)/8E_(3ρ-7)/8(mod ρ),E_n是Euler数。若实则。若3在K=Q(√θ)分歧,则C₄h^-≡h(K*)/h(k)(mod 3),K*=Q(√3θ).C_i均为明显给出常数.此外还得到h^-可能因子的一些关系。这些结果相当于系统地把Ankeny-Arun-Chowla,Kiselev,Carlitz,陆洪文等从1948到1983年关于二次域的许多结果推广到四次循环域上去。     

Wilson一般化定理的精确刻画 *

给定任意正整数集合K及正整数λ ,令c(K ,λ)表示最小的正整数 ,使得v∈B(K ,λ)对任意整数v≥c(K ,λ)成立 ,且满足同余关系式λv(v -1)≡ 0 (modβ(K) )和λ(v-1)≡ 0 (modα(K) ) .设K₀ 是K的等价集 ,k和k* 分别是K₀ 中最小和最大的整数 .证明了c(K ,λ)≤expexp{Q₀},这里 ,Q0 =max { 2 ( 2p(K₀) ² -k+k² log₄ k)p(K₀) ⁴,(k^k2 42^y-k-2)(^y₂) } ,p(K₀ ) =∏l∈K₀l,y =k *+k(k- 1 ) + 1 .     

类数公式的机器证明——Chowla一个猜想的注记

设素数 p=4N² + 1 (N为一个正整数 )使得实二次数域Q(√p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q√( -qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.     

某些K2OF的结构

本文研究二次数域F=Q(d^1/2)的K₂O_F结构,其中d≡-3mod9和d≠-3.找到了关于F=Q((-21)^1/2)的K₂O_F的3阶元和F=Q((15)^1/2)的K₂O_F的生成元.推广了Bass和Tate的一个定理和给出了F=Q((29)^1/2)的K₂O_F的结构以及sL_n(O_F)(n≥3)的表示关系.     

实二次域Q(√p)(p≡3(mod4))类数的上界

设p是适合p≡3(mod4)的奇素数,h,分别是实二次域Q(√p)的类数和基本单位.本文运用初等方法证明了:εh<(p+a+2)a+2/4(a+2)!,其中a=[(√p+1)/2].     

一类具多重特征的无解算子

本文给出一类型如P(x,D)=D₁⁴+x₁⁴D₂⁴-(i^1/2+(-i)^1/2)D₁²D₂+4x₁D₁D₂²-i(i^1/2-(-i)^1/2)x₁²D₂³+(1+2i)D₂²+C 或更一般地p(x,D)=L^tL(x,D)+C(L为无解算子)的多重特征算子。指出包括零阶项在内的低阶项对局部可解性能具有决定性影响。具体地说,在原点邻域上面所给算子p(x,D)的主部D₁⁴+x₁⁴D₂⁴为可解算子,当C=0时P(x,D)为不可解算子。但当C>0时又变为局部可解算子。类似地讨论了算子附加零阶项的一些情况。文章最后证明了当自由项f具形|x₁|ψ＇(x₂)(ψ为实函数)时,在原点邻域有古典解的充要条件为ψ(x₂)解析。     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p a 2)a 2/4(a 2)!,其中     

一类实二次域类数的可除性

<正> 我们来证明 定理 设D=4q~(2n)+1是无平方因子正整数,其中n与q均为正整数,且q≥2,那么我们有: 1)n除尽实二次域Q(D~(1/2))的类数h(D),这里Q表有理数域;     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p+a+2)a+2/4(a+2)!,其中     

S4(1)中常数量曲率的完备超曲面

本文把[1]的结论推广到超曲面是完备的情形,即我们证明了:设M³是单位球面S⁴(1)中常平均曲率及常数量曲率的完备超曲面。若S≤H²+6,则S只能等于1/3H²,3/4H²—1/4(H⁴+8H²)^1/2+3,(3/4)H²+1/4(H⁴+8H²)^{1/2相似文献}   

关于循环域类数奇偶性的一个初等判别法

设K是分圆域Q(ζ_p^l)的奇次子域,F为K的分圆单位群。F₊为K的全正分圆单位群。通过计算dimF₂F₊/F²,我们给出域K的理想类数奇偶性的一个初等判别法。由此计算出在分圆域Q(ζ_p)(P<1000)的奇次(循环)子域(次数3≤n≤19)中间,恰有17个域具有偶类数。     

有限变系数系统的运动稳定性

以E(p,q;ε)记满足条件的二阶变系数系统的全体所组成的集合。此处p>0,q>0,ε≥0。本文证明了:(甲) 对于任何两个正常数p及q,存在一个正常数ε^*=ε^*(q/p²),使得(ⅰ) 当0≤ε<ε^*,则集合E(p,q;ε)中的每一个系统的平凡解都是渐近稳定的;(ⅱ) 当ε^*<ε,则集合E(p,q;ε)中有系统共平凡解是不稳定的。这就否定了一种普遍的猜想:条件p₁≥p(t)≥p₀>O,q₁≥q(t)≥q₀>0。可以保证系统的平凡解的稳定性;(ⅲ) 当ε^*=ε,则集合E(p,q;ε)中每一系统的平凡解都是稳定的,但存在系统,其平凡解不是渐近稳定的。(乙) 函数ε^*(q/p²)随q/p~2由0增加到+∞,而由1单调减少到0。(丙) 给出了函数ε^*(q/p²)的数值图表,以及近似解析表达式,供工程师及物理、力学家之用。注意,p₁实际上可任意大,ε^*只与p₀,q₀,q₁有关,相应的结果亦已得到。     

型空间中随机指数函数系的完备性

该文采用了新的方法来研究由整函数组成的满足 ( ∫∫_C| f(z)|^pe^-α(|z|)dm_z)^1/p <∞ (1 < p <∞) 的Fock型空间中随机指数函数系的完备性. 还对于实轴上的加权Banach 空间讨论了类似的问题     

Heisenberg群上无穷远处的集中列紧原理和具有Sobolev临界指数的p - 次Laplace方程多解的存在性

通过建立Heisenberg群上无穷远处的集中列紧原理, 研究了如下$p$ -次Laplace方程 -Δ_{H, p}u=λg(ξ)|u|^q-2u+f (ξ)|u|^p*-2u,在Hⁿ上, u∈ D^{1, p}(Hⁿ), 其中ξ∈Hⁿ,λ∈R,1j, 且m, j为整数.