局部凸空间中集值K映象的不动点定理

本文首先指出文[1]中定理并未真正推广到局部凸空间上,其次改逍[1]中结论,将集值K映象的不动点定理真正推广到局部凸空间。     

对截交线相贯线定义的探讨

截交线、相贯线的原有定义在图学界未能统一,且多是以交线的形成方式为依据而建立的,给使用带来很多困难.本文试从解析几何的角度,对截交线、相贯线以新的定义,使《画法几何》中对该类问题的论述更趋合理,求解更为明晰.     

双曲回归集

本文用Anosov伪轨族跟踪定理证明了在双曲回归集中周期点的稠密性,并给出了双曲回归集的谱分解定理。     

关于代数体函数椭圆定理的一般形式

1981年,sotto对级为λ(0<λ<)的n值代数体函数给出了一个椭圆定理,本文去掉了该定理中的条件,同时把级为λ的限制改为下级μ(0<μ<1),并且推广到了一般情况。     

全局性隐函数定理及其应用

得到两个全局性隐函数定理:定理1设D_1是第一可数的拓扑空间E_1的开子集.D_2是Banach空间E_2的开子集.映象f:(?)_1×(?)_2→Y(?)E关于第一变元连续且满足条件:1°|f(x,y_1)-f(x,y_2)|≤L(x)|y_2-y_1|.Ax∈(?)_1.y_1.y_2∈D_2.其中Y=D_2或D_2=Y=E_2,L(x)<1.L:(?)_1→R~+连续.则方程f(x.y)=y有连续解y:(?)_1→Y,即f(x.y(x))=y(x).(?)x∈(?)_1.定理2 设f:(?)_1×(?)_2→C((?)_2)满足条件:1°d(f(x,y_1).f(x,y_2))≤k|y_2-y_1|.(?)x∈(?)_1.y_1.y_2∈(?)_2.其中k<1是常数.d(·,·)表示:对有界闭子集A_1,A_2(?)(?)_2d(A_l,A_2)=sup{|y_1-y_2||y_1∈A_1,y_2∈A_2}2°(?)y∈(?)_2,多值映象,f(·,y)弱下半连续.C((?)_2)为(?)_2的有界闭凸子集类.则包含方程y∈f(x,y)有连续单值解y;(?)_1→(?)_2即y(x)∈f(x,y(x)) (?)x∈(?)_1还给出了对随机映象不动点存在性的一个应用.     

拟常曲率Riemannian流形的一个Pinching定理

本文证明了积分不等式从而得到如下Pinching定理:若S≤[na+(1/2)(n+1)(b-|b|)]/(3-(1/(p-1))+n~(1/2)则M落在N的一个全测地子流形S~(n+1)中或S=[na+(1/2)(n+1)(b-|b|)]/(3-(1/(p-1))+n~(1/2)所得积分不等式优于白正国教授的结果而Pinching定理是丘成桐教授相应定理的推广.     

一类二阶椭圆型方程组解的存在性

本文将一类二阶椭圆型方程组化为等价的一阶复方程组,通过引入新的积分算子,然后利用Fredholm定理证明了解的存在性。     

二次规划矩阵分解算法一文的更正

本学报1991年第1期上刊出的“二次规划的矩阵分解算法”一文有一个错误,那就是矩阵广义逆的性质2)对于 Moore-Penrose 广义逆不成立,这样算法求出的解不是二次规划的解.现在特作修改如下:1)将定理6中的 A 改为 A~T.2)将55页倒数第1行至56页第5行改为:对(QP)~*中的 L~(-1)A 进行QR 分解(?)则 A(L~(-1))~T 的 Moore-Penrose 广义逆为〔A(L~(-1)~T)〕~+=(L~(-1)A~T)〔(A(L~(-1))~T)(L~(-1)A~T)〕~(-1)=Q(?)(〔R~T,0〕Q~TQ(?))~(-1)     

空间域信号的采样方法

针对空间域信号的采样特点,分析并讨论了空间域信号采样的误差来源和空间域信号采集通道设计的一些关键问题,提出了空间域信号的等空间间隔采样方法和等时间间隔采样方法.     

Bloch定理的严格证明及晶体电子态研究

本文用群论严格地证明Bloch定理和系统地讨论晶体中电子态的一般性质而不用解Schro-dinger方程.主要结论是:电子能级分裂为能带;波函数具有平面波与周期函数相乘积的形式,即所谓Bloch函数.所有能带和波函数都用两个好量子数R和K来描写.这些函数形成平移算符{T(R_n)}和哈密顿算符H的共同本征函数完全集合,并具有正交归-性.