非对称第一类Siegel齐性域的酉几何(Ⅰ)

<正> 钟家庆和作者在[1]中给出了非对称可递域的新类型,使得[2]中构造的几类非对称域成为其特例,并在[3]中引进了这些新的非对称典型域的扩充空间.本文则从酉几何方面探讨这些非对称域与熟知的典型域之间的关系.特别在[1]中给出了属于第一类Siegel域的非对称可递域(我们称之为非对称第一类Siegel齐性域),它们更接近于对称     

非对称典型域的扩充空间

<正> 我们在[1]中引进了几类新的非对称典型域,使[2]中的例子为其特殊情形.本文主要讨论这些域的扩充空间.所谓扩充空间的问题也就是引进无穷远点的问题.单复变的Gauss平面可以引进唯一的无穷远点而使平面紧致,从而使各种问题的讨论有所裨益.在多复变中,对于四类对称典型域而言,它们的扩充空间是熟知的[3],而对于非对称域这方面的工作却只有[4].     

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

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

一个矩阵不等式的修正及应用

设R(C)为实(复)数域,H~(n×n)为n×n的Hermitian矩阵的集合。当A(∈C~(n×n))的特征值皆为实数时,如不特殊说明,约定A的特征值满足λ_1(A)≥…≥λ_n(A)。文[1]有如下不等式, 令A=B=[(?)],知(1)式一般不成立,(1)式是[1]将[2]的关于奇异值不等式     

关于二次域理论求解一类Diophantus方程的整数解

本文研究了两个典型Diophantus方程在实二次域中整数解的问题.利用二次域中的理论和二次代数整数环中算术基本定理,得到了该类方程的一般解法和在实二次域中的所有整数解的相关结论,推广了文献[1]和[2]的结果.     

几类非对称典型域的扩充空间

本文引入了一类齐性复解析流形,可以看作 Grassmann 流形及[4]、[5]中引入的复流形(?)(r_1,…,r_p;s_1,…s_p)和(?)更一般的形式,并利用它来实现作者在[1]中给出的几类非对称典型域的扩充空间.     

关于方程(()~2u)/(()t~2) (()u)/(()t)=Du ()(z)的柯西问题解析解

对于实域范围内求解高阶的、尤其是二阶的线性偏微分方程柯西问题,人们进行过深入的研究.对于在复域中,一类特殊形式的高阶线性偏微分方程柯西问题“解析”解的表达式,我们在[1]、[2]中得到了一些整洁、有趣的结果.本文就是在此基础上,采用[1]中处理问题的思想方法,在复域中讨论一类二阶线性偏微分方程柯西问题解析解,由干应用了一个所谓无穷阶方阵 B_(∞×∞) 的性质,有效地得到了相应的级数表示式解——由其     

关于Cauchy-Fantappiè公式

<正> §1.前言与符号多复变数函数论中有许多种形式的 Cauchy 公式,关于这方面有丰富的文献,从 F.Norguet 的文章之附录中可见一斑.他把重要者分为三种类型,其一我们称之为 A.Weil的 Cauchy 公式(例如见[2]),其一称之为 S.Bochner与 E.Martinelli 的 Cauchy 公式(例如见[3]与[4]),其一称之为典型域(即非例外的有界对称域)的 Cauchy 公式(例如见S.Bochner[5]与华罗庚[6]).但是,一个复变数函数论中只有一种 Cauchy 公式,自然     

四次循环域的明显刻划

<正> 一、引言本文的目的是对于四次循环域给出明显的刻划,将这类域用 Conductor 加以分类,计算出具有同一 Conductor 的四次循环域的个数,给出这些域的明显形式(即域的生成元和它所满足的方程),同时还讨论了域中整基、素理想分解等一系列算术问题.关于这方面的文献已有[1],[3],[4],其中 Albert 在计算整基过程中有许多错误,而文献[3]和[4]中采用了初等方法,但是未能反映出 Galois 群所起的本质作用.本文则是运用[2]中的处理风格.本文所给出的结果,今后将用来研究四次循环域的进一步性质.事实上,张贤科利用这里所给出的结果研究了循环四次数域的相对整基问题,推广了前人的结果,得到了完善的答案.     

带离散不等式约束的LQ最优控制

在笔者文[1]中,我们给出了一类实抽象Hilbert空间中对状态变量x和控制变量u带有线性等式约束或带有凸约束并具有二次型代价指标的有限时域线性控制过程最优解(x~*,u~*)的存在唯一性定理及特征性定理,证明了两类约束条件下的最优解分别是Hilbert空间中插值样条函数和凸集上的样条函数。在笔者的文[2]中,又对实Hilbert函     

二次函数域理想类数问题的一个注记

应用F_q[t]上的Pell方程这一初等方法重新证明一个已知的结果:实二次函数域F_q(t)(D~(1/2))理想类数为1时,D只能为P或QR,其中P,Q,R是F_q[t]中的首一不可约多项式且Q,R次数为奇数.     

Euclid域中Diophantus方程的整数解

本文研究了两个典型Diophantus方程的整数解的问题.利用二次域中的重要理论和二次代数整数环中算术基本定理,获得了两个典型Diophantus方程在Euclid域中的所有整数解,推广了文献[6]的结果.     

任意极点的有理函数最佳逼近的近代研究介绍

有理函数最佳逼近问题是函数逼近论中一个极其重要的组成部分,它无论在理论上或在应用方面都有重要的价值。 早在19世纪末以及20世纪初,П兀.ЛJ1.Чебышёв及Vallée-Poussin就研究实轴有界区间[a,b]上以及整个实轴上有理函数的最佳逼近问题: 设[a,b]为实轴上闭区间(有穷或无穷),f(x)与S(x)为[a,b]上二个实连续函数。     

交换环的亚序与实位

本文在带有幺元的交换环上,引入了位和赋值与亚序间的相容性概念,并给出一些性质.在此基础上,对环的实位与实赋值进行了刻划,从而推广了实域理论中许多有关的结论.本文是[3]的继续.     

半单Lie代数的特征Ⅱ

<正> 引言本文是[1]的继续,主要目的是利用[1]的理论具体地算出实数域上单纯 Lie 代数的特征图解或称 Satake 图解.文中§1典型 Lie 代数部分是由前一作者作出的,§2非典型Lie 代数部分,后一作者参加了计算.     

具非正则系数的某二阶微分算子的一个L~2估计

在研究具重特征的微分算子的性态时,人们常常将下述算子作为一个典型的例子: P=sum from j=1 to k(X_j~2 X_0) (1)此中X_i(j=0,1,…,k)是域上的具C~∞系数的实矢量场。 L.Hrmander[1]首先证明了如下结果:若Ω上的矢量场所组成的空间由(X_0,x_1,…,X_k)所生成的C~∞(Ω)上的李代数所构成,则P是一个亚椭园算子。并且,他在该文中还指出,由Frobenius定理可知上述条件对P的亚椭园性本质上还是必要的。Hvmander的证明比较艰难。后来,J.J.Kohn[2]用拟微分算子理论大大简化了他的证明。而M.E.Taglor在他的书中[3]又用Kohn的方法将它推广到X_i为具实主象征的一阶拟微分算子。     

实数域上有限可除代数矩阵空间保幂等的线性算子

关于矩阵空间保持各种性质的线性算子的研究引起了许多学者的注意(看〔1〕—〔8〕)。本文拟将[8]关于实对称矩阵保幂等线性算子的表达式向一般的实数域上有限可除代数矩阵空间推广,本文的方法便于统一地讨论这类问题。     

凹角域应力强度因子的外推加速及MG算法

§1.引言 [1]最早讨论将外推用于嵌套迭代,[2]-[4]则讨论外推用于多重网格法,两者都没有涉及凹角域的情况.在凸域上,有渐近展式(例如[5]): u~h(x)=u~I(x)+d_1(x)h~2+O(h~τ),x∈Ω,(1.1)其中,τ> 2,u~h和u~I分别为椭圆边值问题解u的线性有限元逼近和线性插值函数.而     

论二次欧氏域■d~(1/2)(d≡3(mod4)中代数整数β有原根的条件

我们知道二次域K=(d~(1/d))(为有理数域为欧氏域,当且仅当d 为(参看文献[7]): -11;-7;-3;-2;-1;2;3;5;6;7;11; 13;17;19;21;29;33;37;41;57;73。以O_k表示K=(d~(1/d))的代数整数环。文献[1]、[2]和[3]分别讨论了当d=-1,±2和3时,O_k内整数有原根的条件。本文将讨论,对任意的二次欧氏域K=(d~(1/d))(d≡3(mod4))中代数整数β有原根的条件,此时,d=-1;3;7;11或19。     

无约束非光滑优化问题信赖域算法的收敛条件

1 引言 考虑下列无约束非光滑优化问题 minf(x),(1) x∈R~n,其中f为R~n上的局部Lipschitz函数,本文将‖·‖_2简记为‖·‖.记下列信赖域子问题为S∪B(x,△). min m(x,s)=φ(x,s)+1/2s~TBs, 其中φ:R~(2m)→R为f的迭代函数。 对于无约束非光滑优化问题(1),[11],[13],[3]、[4]和[5]分别在特殊的条件下给出了信赖域算法用以求解(1)的收敛性结果。最近,[10]、[2]和[6]在不同的假设条件下分别给出了信赖域算法求解无约束非光滑优化问题的一般模型,并在子问题的目标函数满足局部一致有界性条件时证明了算法模型的整体收敛性。在目标函数满足某种正则性条件时,[11]和[9]给出了当信赖域子问题的目标函数中二次项不满足一致有界性条件时的收敛性结果.本文则在目标函数仅为局部Lipschitz函数时得到了和[8]、[11]、[9]相同的收敛性结果。