二维射影线性群与区传递4-(v,6,λ)设计

设D=(X,B)是一个4-(v,6,λ)设计,GAut(D)区传递地作用在D上且X=GF(q)∪{∞},这里GF(q)是q元有限域.如果G=PSL(2,q),则存在4-(12,6,4)设计;如果G=PGL(2,q),则存在4-(12,6,8),4-(18,6,24)和4-(33,6,12)设计.     

关于有限p-群的正规闭包的一些条件

Berkovich 提出了研究满足下列条件的有限p-群G, 对于G的每一个非正规子群H满足(N₁)exp(H)=exp(H^G); (N₂) |H^G:H|≤ p; (N₃) H^G=HG''. 本文首先研究满足条件(N₃) 的有限p-群,然后讨论满足条件(N₁); (N₂) 和(N₃) 的有限p-群.     

空间形式中具有两个线性相关平均曲率函数的超曲面

在空间形式中, 我们构造了一类泛函, 其临界点包括极小与r 极小超曲面. 给出了临界超曲面的代数、微分和变分刻画. 我们证明了Simons 类不存在定理: 在单位球面中不存在稳定的临界超曲面. 同时证明了Alexandrov 类存在性定理: 在欧氏空间中球面是唯一的稳定的临界超曲面.     

检测固体潮的新途径——脉冲星p和'非汉字符号'分析 *

通过研究天文台站由于固体潮运动对脉冲星观测资料产生的影响,发现由固体潮引起的脉冲周期和周期变率的改变量是不可忽视的.通过对美国Arecibo天文台的具体数量分析表明,这种附加的周期和周期变率的影响值已直接进入观测的结果.在此基础上,提出一种利用脉冲星p和p分析测定和研究固体潮的新方法.它提供了可与其他现代方法相比较的研究结果以及某些特有的结果.     

Banach 空间上算子的几种不可约性

本文根据Cowen-Douglas 算子的定义引入两类与强不可约算子有紧密联系的算子类— B_n 算子与B 算子. 说明了在可分Banach 空间上存在B_n 算子与B 算子. 文章详细讨论了几种具有不可约性的算子类之间的关系并得到了一个关系图. 本文还给出这些算子类的一些性质, 包括算子的(拟) 相似不变性等.     

完全3- 一致超图的一类填充问题和覆盖问题

设Γ 是一些单t- 一致超图的集合. 填充设计P_λ(t, Γ, v) (或覆盖设计C_λ(t, Γ, v)) 是一个二元有序组(X, B), 其中X 是完全t- 一致超图λK_v^(t) 的顶点集, B 是λK_v^(t) 的一些子超图的集合, 要求每个子超图都同构于Γ 中的某一个超图, 每个子超图称为是一个区组, 并且满足λK_v^(t) 中的每一条边至多(或至少) 含在B 的λ 个区组中. 给定参数t, v, λ, Γ, 填充设计P_λ(t, Γ, v) 的最大可能的区组数称为填充数, 记为d_λ(t, Γ, v); 覆盖设计C_λ(t, Γ, v) 的最小可能的区组数称为覆盖数, 记为C_λ(t, Γ, v). 本文将确定Γ 中仅含超图K₄⁽³⁾ + e 时的d_λ(t, Γ, v) 和C_λ(t, Γ, v) 的精确值.     

飞行光束聚焦特性

一般情况下,Gauss光束基模复参量q的ABCD定律对高阶模是不适用的.将某一特定谐振腔的Rayleigh长度Z_R取代q参量虚部的光斑尺寸w,q参量的ABCD定律可由Gauss光束基模推广到高阶模或几个模的叠加.从理论和实验上研究并比较了当聚焦镜作长距离飞行时理想光学谐振腔和实际高功率激光谐振腔输出的Gauss光束不同模式的远场聚焦特性,纠正了国内外部分学者对这一问题的误解.飞行光束聚焦特性的研究,对于飞行光学激光加工、光学飞行器、大型激光工程空间滤波器等应用领域具有重要研究价值.     

群的F-次正规与F-次反正规链

给定一个子群闭的饱和群系F ,定义群类Fpc　 ,使得G ∈F_pc 当且仅当对于每个子群X ≤G ,存在G的一个F 次正规子群S ,X≤S并且X在S中F 次反正规 .借助F投射子和F覆盖子群 ,给出了F_pc群的特征 .     

类星体的极软X过剩

在强软X类星体样品中,我们根据用Einsten天文台IPC决定的N_H与银河21cm线决定的N_H值的关系,构成极软X过剩类星体样品,并导出在0.3keV和0.5keV之间的X谱指数α_E。α_E明显大于0.5—3.5keV间的谱指数α_E。这表明0.3—0.5keV正是类星体紫外到X段大包右侧的急剧下降部分。这些结果将有助于导出这类类星体紫外到软X大包的组合模型。     

n-Lie 代数的扩张

文章主要研究n-Lie 代数的扩张问题. 首先利用n-Lie 代数的模作n-Lie 代数的T_θ- 扩张与T_θ^*-扩张. 再利用模度量3-Lie 代数,做3-Lie 代数的双扩张. 文章最后利用4- 指标阵构造了m 维3-Lie代数的双扩张.     

Behavior of Automorphic <Emphasis Type="Italic">L</Emphasis>-Functions at the Points s=1 and s=1/2

Let S_k(N)⁺ be the set of primitive cusp forms of even weight k for Γ₀(N) and let L(s, sym ²f) be the symmetric square L-function L(s, f) of a form f ∈ S_k(N)⁺. The moments of the variable L(1, sym ²f), f ∈ S₂(N)⁺, are computed for N = p, and the corresponding limiting distribution is determined in N-aspect. Let f ∈ S_k(1)⁺, g ∈ S_l(1)⁺, and ω_f = Γ(k - 1)/(4π)^k-1 〈f, f〉. Asymptotic formulas for and as k → ∞ are obtained. Bibliography: 17 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 302, 2003, pp. 149–167.     

Automorphic L-Functions in the Weight Aspect

Let S_k(Γ) be the space of holomorphic Γ-cusp forms f(z) of even weight k ≥ 12 for Γ = SL(2, ℤ), and let S_k(Γ)⁺ be the set of all Hecke eigenforms from this space with the first Fourier coefficient a_f(1) = 1. For f ∈ S_k(Γ)⁺, consider the Hecke L-function L(s, f). Let

On the central value of symmetric square L-functions

Let S _k (N, χ) be the space of cusp forms of weight k, level N and character χ. For let L(s, sym² f) be the symmetric square L-function and be the Rankin–Selberg square attached to f. For fixed k ≥ 2, N prime, and real primitive χ, asymptotic formulas for the first and second moment of the central value of L(s, sym² f) and over a basis of S _k (N, χ) are given as N → ∞. As an application it is shown that a positive proportion of the central values L(1/2, sym² f) does not vanish. The author was supported by NSERC grant 311664-05.     

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

Multiple partitions, lattice paths and a Burge-Bressoud-type correspondence

A bijection is presented between (1): partitions with conditions f_j+f_j+1≤k−1 and f₁≤i−1, where f_j is the frequency of the part j in the partition, and (2): sets of k−1 ordered partitions (n⁽¹⁾,n⁽²⁾,…,n^(k−1)) such that and , where m_j is the number of parts in n^(j). This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the k−1 ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud’s version of the Burge correspondence.     

Eigenfunctions and associated functions of an n-th-order linear differential operator

For n2 we consider a differential operatorL [y] z ⁿ y ⁽ⁿ⁾ +P ₁(z)z ^n–1 y ^(n–1) +P ₂ (z)z ^n–2 y ^n–2 + ...+P _n (z)y = y, p ₁ (z), ..., P _n (z) A _R : here a_r is the space of functions which are analytic in the disk ¦z¦ < R, equipped with the topology of compact convergence. We prove the existence of sequences {f_k(z)} _k =o, consisting of a finite number of associated functions of the operator L and an infinite number of its eigenfunctions; we show that the sequence forms a basis in A_r for an arbitrary r, 0 < r <- R; and we establish some additional properties of the sequence ₀ (z), ₁ (z),..., _d–1 (z), f _d (z), f _d+1 (z),... Translated from Matematicheskie Zametki, Vol. 20, No. 6, pp. 869–878, December, 1976.     

Convex mappings on some Reinhardt domains

In this paper, we consider the following Reinhardt domains. Let M = （M1, M2,..., Mn） ： [0,1] → [0,1]^n be a C2-function and Mj（0） = 0, Mj（1） = 1, Mj″ 〉 0, C1jr^pj-1 〈 Mj′（r） 〈 C2jr^pj-1, r∈ （0, 1）, pj 〉 2, 1 ≤ j ≤ n, 0 〈 C1j 〈 C2j be constants. Define
DM={z=（z1,z2,…,Zn）^T∈C^n：n∑j=1 Mj（｜zj｜）〈1}
Then DM C^n is a convex Reinhardt domain. We give an extension theorem for a normalized biholomorphic convex mapping f ： DM -→ C^n.     

The behavior of Riesz means of the coefficients of a symmetric square L-function

Let f(z) be a holomorphic Hecke eigencuspform of even weight k with respect to SL(2, Z) and let L(s, sym ² f) = ∑ _n=1 ^∞ c_nn^−s, Re s > 1, be the symmetric square L-function associated with f. Represent the Riesz mean (ρ ≥ 0)

Finite difference methods for two-point boundary value problems involving high order differential equations

We discuss the construction of finite difference schemes for the two-point nonlinear boundary value problem:y ⁽²ⁿ⁾+f(x,y)=0,y ^(2j)(a)=A _2j ,y ^(2j)(b)=B _2j ,j=0(1)n–1,n2. In the case of linear differential equations, these finite difference schemes lead to (2n+1)-diagonal linear systems. We consider in detail methods of orders two, four and six for two-point boundary value problems involving a fourth order differential equation; convergence of these methods is established and illustrated by numerical examples.