可平行流形和球的同伦群

本文最主要的结果是:对于可平行的连通闭微分流形Mⁿ,如果n=3或7,则有1)M上所有切标架场产生的球的稳定同伦群π_n⁵中的元素,恰为π_n⁵中所有奇元素或所有偶元素,其奇偶性与M的模2半Euler示性数x^*(M)的奇偶性相同;2)对于Mⁿ在R²ⁿ⁺¹中的一个固定的嵌入,其切标架产生的π_2n+1(Sⁿ⁺¹)中的元素集合与Hopf不变量为偶[奇]的元素集合相同,如果x^*(M)≡0[≡1]mod2。     

关于算子方程λA2+μA*2=αA*A+βAA*

本文主要是给出Hilbert空间上满足方程 λA²+μA^*2=αA^*A+βAA^* (λ,μ,α,β都是复数)的有界线性算子A的全部形式,并给出它的应用。     

超导临界温度理论(Ⅰ)

本文求出了Eliashberg方程在T=T_c时的解,得到了下面的临界温度级数表示式: 其中α₀(μ^*),α₁(μ^*)等系数是μ^*的函数.此式表明,T_c不仅依赖于λ,〈ω²〉和μ^*,而且依赖于有效声子谱α²F(ω)的各级矩〈ω²n〉.这是区别于前人的T_c公式最重要的一点。这说明像McMillan以及Allen和Dynes的T_c公式不仅是近似的,而主要是他们没有能正确地概括出α²F(ω)对T_c的影响.     

广义相对论中的能量动量守恒定律

在广义相对论和特殊相对论中具有同一物理含义的守恒定律应利用Nether定理由同一李群决定。从这一观点出发,本文提出了广义相对论中的能量动量守恒定律应由下列的广义位移变换 x^μ′=x^μ+λ_(a)^μb_(a) 导出,其中λ_(a)^μ为vierbein。利用该变换的不变性,我们得到了合理的引力场的能量动量张量,并由能量动量张量的协变性,封密体系的总能量与坐标选择的无关性,以及引力辐射等问题讨论了这一守恒定律的合理性。     

关于三角剖分下二元样条空间的维数

本文利用多元样条的协调条件、平面图理论和空间同构的方法建立了对于所有μ≥1,k≥4μ+1和任意三角剖分T的样条空间S_k^μ(T)的维数公式,对于一类尽可能任意的三角剖分T=T(μ),本文也给出了当k≥μ+1时S_k^μ(T)的维数公式。特别当μ=1,2时此类剖分在逼近问题上有明显的实用性。     

Hilbert空间子空间的维数和半Fredholm算子的指标

对Hilbert空间H中的任意子空间,引入了一种广义维数并使其全序化.发现了可列个无限维数:∞~*<∞ⁿ<∞^m,其中n,m为整数且n>m.由此定义了半Fredholm算子SF(H)的广义指标.证明任意纯半Fredholm算子A∈SF₊(H)(SF_-(H))有Ind_gA=∞^*(-∞^*).这里的广义维数和指标是几何与拓扑的概念,像有限维数和Fredholm指标一样具有某些分析演算功能.作为例,证明了:对任意等距算子V₁,V₂,它们在H上左可逆算子B_i^x(H)中道路连通当且仅当Ind_gV₁=Ind_gV₂.从而推出,(?) A,B∈SF₊(H)(SF_-(H)),它们为道路连通的充要条件为Ind_gA=Ind_gB.其余有关SF(H)的结果,如指标经紧和小扰动的稳定性,Ind_g:SF(H)→ZU{-∞^*,∞^*}连续皆成立.     

拟线性抛物方程组第一边界问题的有限差分法 ——Ⅲ.稳定性

讨论如下拟线性抛物组第一边值问题的显式、弱隐式和强隐式差分解u_t=(-1)^M+1A(x,t,u,…,u_x^M-1)u_x^2M+f(x,t,u,…,u_x^2M-1(x,t)∈Q_T={O<x<l,0<t≤T.}，u_x^k(0，t)=u_x^k(l，t)=0 (k=0，1，…，M -1)，0<t≤T，u(x，0)=φ(x)，0≤x≤l，其中u，φ和f是m维向量值函数，A是m×m正定矩阵，u_t=∂u/∂t，u_x^k=∂^ku/∂x^k.在以下意义下证明了该问题的一般有限差分格式的稳定性：即离散向量解在W₂^(2M，M)(Q_T)中的离散范数是连续地依赖于初始数据的H^M离散范数，以及矩阵A与自由项f的相应的离散范数.     

慢电子对氮、氧和氖原子散射的总截面的计算

本文用下列解析原子波函数 1s电子:φ₁(r)=N₁e^-μar, 2s电子:φ₂(r)=N₂[(μr)e^-μr-Ne^-μar], 2p电子:φ3(r)=N₃(μr)cosθe^-μr, φ₄(r)=N₄(μr)sinθe^iφ-μr, φ₅(r)=N₅(μr)sinθe^-iφ-μr,推导出入射电子与氮、氧和氖原子之间相互作用的解析势函数,其中包括了交换作用与极化作用。应用这种势函数并用分波法,文中还算出了慢电子在这三种原子的势场中运动的畸变波函数、相移及散射总截面。计算结果与实验值很符合。     

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

以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₁有关,相应的结果亦已得到。     

赋范线性空间的第二对偶空间

Theorem. A mapping x^** of X^* into sealar field Φ is a linear functional if and only if there exists a μ∈ba(S) such that X^**(X^*)=∫_sx^*(s)μ(ds),x^*∈X^* Theorem. F∈ba(S.Σ)^* if and only if there exists a λ∈ba (T) (T is the closed unit sphere of the space B(S,Σ))such that F(μ)=∫(∫_st(s)μ(ds))λ(dt),μ∈ba(S,Σ).     

Gelfand-Naimark定理的非交换推广

本文指出C^*-代数是标准的,当且仅当,它等距*同构于本原C^*-代数连续场所定义的C^*-代数,从而给出了标准C^*-代数更为自然的定义。同时指出一般的C^*-代数,即使是在(Ⅰ)型的情况下,也未必满足正规性,这又解决了文献[1]中提出的一个问题。     

Schur函数的一个展式及其在计数几何中的应用

本文给出对称多项式的幂的Schur函数展式(x₁^k+…+x_n^k)^m=sumC_{(λ1,…,λn)}S_{(λ1,…,λn)}(x₁,…,x_n)中系数C_{(λ1,…,λn)}的计算方法,并把它和文献[1]应用于计数几何的若干问题。     

一般四次循环域的十个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年关于二次域的许多结果推广到四次循环域上去。     

一类量子Koszul 代数的Hochschild 上同调

本文利用组合的方法, 详细地计算了一类量子Koszul 代数Λ_q (q ∈ k \{0}) 的各阶Hochschild 上同调空间的维数, 清晰地刻划了代数Λ_q 的Hochschild 上同调的cup 积, 确定了代数Λ_q 的Hochschild上同调环HH^*(Λ_q) 模去幂零元生成的理想N 的结构, 证明了当q 为单位根时, HH^*(Λ_q)/N 作为代数不是有限生成的, 从而为Snashall-Solberg 猜想(即HH^*(Λ)/N 作为代数是有限生成的) 提供了更多反例.     

强Θ类算子生成的C*-代数及其K-理论

本文研究由强类算子T生成的C^*-代数,证明了C^*(T)的换子理想I(T)是一列*同构于C₀(Z⁰)上n阶矩阵代数的n齐次代数和的闭包,特别当T完全非正常时,I(T)与C₀(Z₀)K(l²)*同构。本文第二部分得到完全非正常强类算子的谱与其近似点谱相等的一些等价条件,并计算了由该类算子生成的C^*-代数的一些K群。     

代数数的有理和代数逼近及应用

用Thue-Siegel方法给出了一大类代数数的有效有理和代数逼近.作为应用,证明了:若D>0非平方数,x²-Dy²=-1的基本解ε=x0+y0√D(2/1),则x²+1=Dy⁴可解的充要条件是y0=A²,A为整数,且当ε>64时,x²+1=Dy⁴最多只有一组正整数解(x,y).     

半参数回归模型的参数估计的Bootstrap逼近

设有半参数回归模型Y=Xβ+g(T)+e.对利用核光滑方法得到的参数分量β和误差方差σ²的估计量β_n和σ_n²,本文通过对原样本进行重抽样的方法,构造了β_n和σ_n²的Bootstrap 统计量β_n*和σ_n^*2.证明了在给定原样本的条件下,n^1/2(β_n*-β_n)和n^1/2(σ_n^*2-σ_n²)分别与n^1/2(β_n-β)和n^1/2(σ_n²-σ²)有相同的渐近分布.     

拟线性抛物方程组第一边界问题的有限差分法

本文利用有限差分法来作出拟线性抛物方程组u_t=(-1)^M+1A(x,t,u…,u_x^M-1)u_x^2M+F(x,t,u,…,u_x^2M-1) (1)具有齐次边界条件u_xk(0,t)=u_xk(l,t)=0 (k=0,1,…,M-1) (2)与初始条件u(x,0)=φ(x) (3)在矩形区域Q_T={0≤x≤l,0≤t≤T}上的解,其中u=(u₁,…,u_m),φ(x)与F为m维向量值函数,A为m×m正定矩阵。证明了问题(1),(2)与(3)的一类相当广泛的有限差分格式的解的收敛性。所得向量值极限函数u(x,t)∈W₂^2M,1(Q_T)是问题(1),(2),(3)的唯一广义整体解。     

JC代数的乘子代数

本文用双中心子刻画了JC代数的乘子代数,并且研究了复C^*-代数的自伴部分的乘子代数生成的C^*-代数与原C^*-代数的乘子代数之间的关系,最后研究了JB代数的扩张.     

实约化理论

在Borelbar空间 (E ,B ,- )上恰当地引入如下概念:实Hilbert空间的可测场 ,矢、算子及VonNeumann (VN)代数的实可测场 :ξ(·) ,a(·) ,M (·) .由此获得相当满意的实约化理论 :实VN代数M可以表达成VN代数实可测场M (·)的直接积分M =∫ _{⁺(E ,-)} M (t)dν(t) ,而场中每个VN代数M(t)将具有较为简单的性质