Führer f在不同环中分解的理论(Ⅰ)

<正> 本文发展了 H.Grell 的工作.H.Grell 曾作过如下的研究:设 o 是含有么元的整区,且满足理想约束极小条件,(?)是含有与 o 相同么元的一个整区,且又设(?)是代数整封闭的,设 Q(?)与 Q(o)分别是(?)及 o 的商体,Grell 限制Q(?)=Q(?),那末在此情况下由 Grell 的一般保持定理知道,任一介于 o 与(?)之间的     

微分方程f″ e~(az)f′ Q(z)f=F(z)的复振荡

该文研究了线性微分方程f″ eazf′ Q( z) f=F( z)的复振荡问题,其中Q( z)、F( z) ( 0 )是整函数,且σ( Q) =1 ,σ( F) < ∞,Q( z) =h( z) ebz,h( z)是多项式,b≠- 1是复常数,那么上述线性微分方程的所有解f( z)满足λ( f) =λ( f) =σ( f) =∞,　λ2 ( f) =λ2 ( f) =σ2 ( f) =1 .至多除去两个例外复数a及一个可能的有穷级例外解f0 ( z) .     

多项式环中单项式理想的分解

利用单项式理想生成元的性质,给出了一类特殊单项式理想(生成元是变量的纯幂)的幂的分解表达式,这不仅拓宽了我们对多项式理论内容的认识,而且这样的分解表达式提供了这类单项式理想正则度(Castelnuovo-Mumford regularity)计算的方法.     

广义F积分的表示(Ⅱ)

给出把一类特殊的单调泛函表示为广义Ｆ积分的Ｒｅｉｓｚ表示定理。     

图的(g,f)-因子分解

设Ｇ是一个图，ｇ（ｘ）和ｆ（ｘ）是定义在图Ｇ的顶点集上的两个整数值函数且ｇ≤ｆ．图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ），有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）．如果图Ｇ的边集能划分为若干个边不相交的（ｇ，ｆ）－因子，则说图Ｇ是（ｇ，ｆ）－可因子化的．本文研究了图的（ｇ，ｆ）－可因子化的问题，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

关于图的(g,f)-因子分解

设G是一个图,g和f是定义在图G的顶点集V(G)上的两个非负整数值函数且g＜f.图G的一个(g,f)-因子是G的一个支撑子图F,使对所有的x∈V(G)有g(x)≤d_F(x)≤f(x).若G本身是一个(g,f)-因子,则称G是一个(g,f)-图.若G的边能分解成一些边不交的(g,f)-因子,则称G是(g,f)-因子可分解的.本文给出图G是(g,f)-因子可分解的一个充分条件.     

超导临界温度理论(Ⅱ)

在文献[1]中,我们导出了超导临界温度T-c的一个严格级数表式.本文讨论这个级数的收敛范围,以及通过解析延拓来扩展收敛范围的可能性.结论是:我们的T_c级数(指文献[1]原来的级数,或者经过延拓后的级数)在∞>λ>λ₀的整个范围内,都是收敛的.这里λ₀是Matsubara表象中使决定T_c的方程具有正实数解的最小的λ值.它实际上就是库伦赝势.因此,也许除了少数非常弱耦合的超导体以外,我们的T_c级数能适用于一切超导体.     

Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)

Summary A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema of ₂ ¹ -comprehension. It follows, that the proof theoretical ordinal of ₂ ¹ -analysis is greater than the order type ofT(J).     

Gitterberechnungen für (D2O-Unat)-Systeme

Ohne Zusammenfassung     

Ⅱ-凝聚环中的对偶性

通过π-凝聚环上的f.g.模的自反性引进了WQF-环和GIF-环,给出了QF-环一个新的刻画.并研究了π-凝聚环上的Wn模上的自反性的特征性质.     

Consecutive-(r,f,k)out-of-n:F和Consecutive(f,g)-out-of-(r,n):F线性系统的可靠性

Consecutive-(r,f,k)-out-of-n:F系统由n个单元顺序连结而成,仅当在连续的r个单元中,至少有f个失效或者至少连续k个失效,整个系统才失效;而Consecutive-(f,g)-out-of-(r,n):F系统由n个单元顺序连结而成,仅当在整个系统中至少有f个失效或者在连续的r个单元中,至少有g个失效,整个系统才失效。本文运用马氏链嵌入方法,在单元之间相互独立以及单元之间马氏相关这两种情况下,给出线性系统的可靠性。