Anderson-Grneisen参量的温度效应

本文在文献[1]和[2]的基础上,应用广义态方程计算了零压下NaCl晶体不同温度时的等温Anderson-Gr(?)neisen参量δ_T(T,0)的数值。讨论了绝热Anderson-Gr(?)neisen参量δ_S(T,0)与δ_T(T,0)之间的近似关系。所得到的结果与实验结果一致。     

Schweitzer不等式、Grüss不等式的推广及其之间的关系

本文推广了文献[1]—[5]中 Schweitzer 不等式、Gr(?)ss 不等式,也指出这两类不等式的关系.     

N函数△_3~*条件的一个应用

本文指出专著[1]中对一个例题的论证是错误的,并利用文献[2]所引进的N函数△(?)条件的概念和性质,给出了这个例子正确与简炼的证明。     

用双线性算子推导Bcklund变换

本文用Hirota双线性算子推导了双线性Boussinesq方程(D_t~2-D_x~2-D_x~4)f·f=0的一个含参数B(?)cklund变换,这个结果与文献[1]的结果一致.文中还讨论了双参数B(?)cklund变换与复合scale变换的关系,得到了有关分解等式B_(ξ,η)=S~(-1)(ξ,η)B_(0,1)S(ξ,η).这一工作改进了文献[3]中的结果.     

关于粘性土剪切模量和阻尼比与剪应变关系模型中的参数

本文以天津地区有一定代表性的原状饱和粘性土的试验为依据,针对文献[1]所提出的模量-应变及阻尼比一应变模型中的参数,进行分析和讨论,提出了关于确定起始模量G_(?)和最大剪应力τ_(max)的经验公式,并进一步验证了文献[1]所提出的模型。     

Zh~s—纯正合列

§1 引言在文献[1]中,周伯熏教授给出了左环模张量积的定义。设 K 是有单位元的可换环,R 和S 是有单位元的 K 环,若 A 是左 R—模,记作 A∈(?),B 是左 S—模,则 A(?)B∈(?)。本文用 A(?)B 表示左模张量积,A(?)B 表示通常意义下的张量积。就是说 A(?)B∈(?),而 A(?)     

Brown运动增量关于Brown时的一些极限问题

本文将文献[3]、[4]、[5]中关于Brown运动增量的一些极限定理推广到具有随机时间间隔(Brown时)的Brown运动增量情形上去。我们得到下述主要结果:(?)     

生物化学反应模型中的小振幅定态分歧解

本文应用文献[1]、[2]中的小振幅扰动法,讨论了生物化学反应的一个模型(?)=A-(B 1)X X~2Y D_1(?)~2Z,(?)=BX-X~2Y D_2(?)~2Y(-∞相似文献   

由质量不等效衍生的非牛顿力

本文是文[1]的续篇,我们对文[1]中系数∈的函数形式作了具体假定,以求与目前已知的多数实验结果相容。此外,並将所得结果与文献[2]作了比较。     

模态谓词演算的判定问题(Ⅰ)——关于Kripke归约

本文所討論的模态謂詞演算系指基于一定的古典模态系統之上的謂詞演算。所謂古典模态系統是指建立在古典命題演算之上的任意模态命題演算,如Lewis的S1—S5,但远不限于这些(参看Lemmon[8],[9])。在現代文献上討論得比較多的模态謂詞演算有[12]中的S_λ~*(基于S4),[6]中的S5*(基于S5)和[3]中的S_ε~*(基于S5.十分明显S5~*和S_ε~*是等价的)。一般說来,任給了一个古典模态系統,我們总可以依照[12]中由S4构作S_λ~*那样作出一个模态謂詞演算。以下我們以(?)表示任意古典模态系統,以(?)~*表示基于(?)之上的模态謂詞演算。以(?)_1~*表(?)~*的一目謂詞演算子系統,以(?)_(pq)~*表示(?)_1~*中仅含两个确定的一目謂詞字母p,q的子系統。     

Orlicz空间中列紧集的两个判别法

文献[1]指出:“关于Orlicz空间中列紧集的判别法,近二十年来未出现理想的成果”。我们知道,有关这方面的著名定理——柯尔莫果洛夫判别法与黎茨判别法,都仅适用于M(u)满足Δ_2条件的情形,而对一般的情形,仅有文献[2]巾的一个“对偶”形式的判别法。本文借助文献[3]中的一个范数公式等工具,给出Orlicz空间中列紧集的两个充要条件(定理1与定理2)。下文所用记号,全部沿自文献[3]。定理1.(?)L_M~*列紧(?)对任何ε>0,存在{u_1(x),u_2(x),…u_N(x)}(?)L_M~*,使对任何u(x)∈(?),必有u_i(x)∈{u_1(x),u_2(x),…,u_N(x)}满足     

拟环的Jacobson根

Betsch[1]将结合环的Jacobson根引入到拟环N上,得到三种类型的Jacobson根,分别记为(?)_o(N),(?)_1(N),(?)_2(N).Holcombe[2]引入另一种类型的Jacobson根,记为(?)_8(N).本文给出一种介于(?)_2(N)与(?)_3(N)之间的Jacobson根,并证明其一系列的性质。     

关于半鞅随机微分方程解的稳定性

本文所用的概念和符号见文献[1]第十三章和文献[2]。文献[2]讨论了方程: X=Φ(x) I(M;X) (1)其中,I(M;X)(?)f(x). a g(x). m h(x). ((?)-λ) K(x). (?)解的存在性和唯一性。本文是[2]的继续,讨论方程(1)解的稳定性。定义.设ε>0为一常数,A是适应增过程,若存在停时{Ti}_(i-1)~k:0=T_0≤T_1≤…≤T_k,使得A=A~(Tk~-),并对一切i=1,…,k有:     

具有σ-几乎局部有限基的空间

一、引言1961年,J.Ceder[1]定义了 M_i(i=1,2,3)空间,作为度量空间的自然推广,1966年,C.R.Borges[2]把 M_3-空间再命名为层积空间(stratifiable spaces),并进一步研究了它的性质。从定义易知,M_1(?)M_2(?)M_3,但 Ceder 不知道相反的蕴含关系是否成立.十几年后,G.Gruenhage[3]与 H.Junnila[4]先后独立地证明了“M_3(?)M_2”,但是,下列问题至今尚未解决:     

单纯集与可计算编号的一些性质

本文的主要结果是:设S_x~t 为N 的t-截断,则(i)从S_x~t 的指标x 可以一致能行地得到其r.e.指标;设A 是r.e.集且(?)无穷,则(ii)S 是单纯集,且(?)x:S_x~t ∩(?)≠φ,则(?)S_x~t∪S 是单纯集;(iii)若A 还是tt-完全的,则(?)S_x~t ∪S 亦是tt-完全的.本文还证明了文献[2]与[3]分别给出的形式上不同的可计算编号的定义是等价的.     

从四边形重心到多边形的重心

1995年第5期数学通报刊登了文献[1],对1994年第6期数学通报之文献[2]提出质疑,称“四边形重心公式是个重积分形式,这是高等数学上的问题。同时从常识可知,四边形重心横坐标表达式中不应含有质点纵坐标,仅从这点判断,文献[2]中四边形坐标公式也是错的”。文献[1]明知可用高等数学求四边形之重心,却又未作任何计算即武断地称文献[2]连常识也不知道,这样的结论显然是很不严肃的。1996年第1期数学通报又刊登了文献[3]对文献[1]进行释疑,然文献[3]是用被文献[1]否定的与文献[2]相似的思路与方法去释文献[1]之疑,是否确能释疑又将成为一疑。为此我们有必要用文献[1]笃信不疑的重积分来释文献[1]之疑,并引出多边形重心坐标计算的一般公式。     

Martin公理及其应用(2)

§6.MA与组合集论、无穷图论由于篇幅所限,本文所涉及MA的重要文献仅仅有Erd(?)s和Hajel的文章[30,32],Baumgartner和Hajnal的文章[8].近年来,对于组合集论紧密有关的无穷图论的研究(尤其是着色问题)已有了进展.例如在Shelah的文中[I.48](指本文(I)的[48],下同),给出了MA的一个有趣的推论.C:即有ω_1的某驻T,使得C(T)成立.这里C(T):对每个σ∈lim(T)指定递增序列η_δ→δ,若任给{h_δ∈~w2|δ∈lim(T)},则存在f∈~(w1)2,使得(?)δ∈lim(T)(?)K(?)n>k(f(η_δ(n))=h_δ(n))成立.在C(ω_1)的图论中,任给ω_1上的阶梯着色系{h_δ},每点δ处的序列η_δ的两元着色可以在ω_1上一致.Shelah证明了 C(ω_1)可推出Whitehead问题的否定(§15),在文献[I,48]中证明了(?)TconC(T) GCH).但是Devlin[I,15]却证明了CH(?)(?)C(w_1).与C相似,Reed则提出了一条SP,证明它等价于一个有趣的拓扑结论.另外,若记B为:(?)驻集T(?)ω_(-1),则B_T成立.每个下列形式的图G有色数(?),即G的顶点集为ω_1,每个顶点仅与其有限个前趋元或一个收敛于它的前趋元序列共边(称为HM图),Hajnal,M(?)t(?)证明MA (?)CH(?)B,但◇(T)(?)(?)Br,文[I,48]证明了CH与B_T协调,这正好说明HM图有可数色数是不能判定的.§7.MA与超滤,βω——ω的组合性质     

考虑外端影响的平锤头锻压准三维上界解

本文针对文献[1]所提的速度场进行了实验验证,在考虑外端影响条件下,重新推导的公式与实验结果趋近一致。     

关于“强非线性变分法”的注记

在丁夏畦教授等所著的论文中,考虑了有界域上强非线性变分问题的存在性定理。我们对该定理的条件有所减弱,本文仍然采用文献[1]中的定义和记号。引(?)1.若u(x)(?)((?)),则成立着     

用微分连续法求非线性方程组数值解

本文给出并证明了与文献[1]不同的用微分连续法求非线性方程组数值解的公式。证明的方法与文献[1]不同。在PDP-11/45计算机上,用本文的公式和文献[1]中的中点公式计算了文献[1]中的两个算例,在h相同的情况下,用本文公式得到的结果更接近真解。