半值环的两个交换结果

定理１设Ｒ是半值环，ｎ为固定的正整数，如果Ｒ满足条件：存在依赖于(?)_ｘ，ｙ的两个字ｋ（Ｘ，Ｙ），ｔ（Ｘ，Ｙ），其中｜ｋ｜_X＞１，｜ｔ｜_X＝１，｜ｋ｜_Y≥｜ｔ｜_Y，｜ｔ｜_Y≤ｎ，使ｋ（ｘ，ｙ）－ｔ（ｘ，ｙ）∈Ｉ（Ｒ），则Ｒ是交换环。定理２设Ｒ是半值环，如果Ｒ满足条件：存在正整数ｍ＝ｍ（ｘ，ｙ）＞１，ｎ＝ｎ（ｙ），使得（ｘ^ｎｙ）^m－ｘ     

关于R(Ax)闭的连续算子族Ax的Moore-Penrose广义逆Ax+连续的充要条件

设X是拓扑空间,A_x,闭值域R(A_x)为X→B(H)的连续映射,我们知道:即使在dim(H)有限的情况下,M.-P.逆A_x⁺:也不一定连续,A_x⁺连续的充要条件,对现代分析和应用数学的一些研究是很重要的,本文给出了,在一般拓扑空间X、局部紧拓扑空间X、A_x为Fredholm算子族等情况下,A_x⁺为连续的充分必要条件。     

关于G-Matlis自反模的换环定理

设Ｒ和Ｔ是Ｎｏｅｔｈｅｒ完备半局部环，Ｒ→Ｔ是环同态．本文证明了，若Ｔ是有限生成或ＡｒｔｉｎＲ－模，Ｍ为Ｇ－Ｍａｔｌｉｓ自反Ｒ－模，则对所有ｎ≥０，Ｅｘｔ^Ｒ_ｎ（Ｔ，Ｍ），Ｅｘｔ^Ｒ_ｎ（Ｍ，Ｔ），Ｔｏｒ^Ｒ_ｎ（Ｔ，Ｍ）以及Ｔｏｒ^Ｒ_ｎ（Ｍ，Ｔ）均是Ｇ－Ｍａｔｌｉｓ自反Ｔ－模．所得结果推广了Ｒ．Ｂｅｌｓｈｏｆ的结果．     

正规弱θ空间的无限Tychonoff积

本文证明:(1)如果X=∏_σ∈∑X_σ是|∑|-仿紧空间,则X是正规弱θ可加空间当且仅当?F∈[∑]^<ω,∏_σ∈FX_σ是正规弱θ-可加空间.(2)设X=∏_i∈ωX_i是可效仿紧的,则下列三条等价:是正规弱θ-可加的;?F∈[ω]^<ω,∏_i∈FX_i是正规弱θ-可加的;?n∈ω;∏_i≤n     

关于二部图K(m,n)-2的色唯一性

设Ｋ（ｍ，ｎ）－２表示从完全二部图Ｋ（ｍ，ｎ）中删去任意２条边所得之图．本文证明了：１．若ｎ≥ｍ≥３，且ｎ＋ｍ＞(（ｎ－ｍ）^２＋８)^1/2＋１/２（ｎ－ｍ）^２＋４，则Ｋ（ｍ，ｎ）－２是色唯一图；２．当ｍ≥３时，Ｋ（ｍ，ｍ）－２，Ｋ（ｍ，ｍ＋１）－２和Ｋ（ｍ，ｍ＋２）－２均是色唯一图．     

Banach空间中强增生算子的非线性方程的解的迭代构造

本文研究ｐ一致光滑Ｂａｎａｃｈ空间Ｘ中Ｉｓｈｉｋａｗａ迭代法．受Ｄｅｎｇ与Ｔａｎ，Ｘｕ的启发，证明了，当Ｔ是从Ｘ到自身的Ｌｉｐｓｃｈｉｔｚ强增生算子时，Ｉｓｈｉｋａｗａ迭代法强收敛到方程Ｔｘ＝ｆ的唯一解；当Ｔ是从Ｘ的有界闭凸子集到自身的Ｌｉｐｓｃｈｉｔｚ严格伪压缩映象时，Ｉｓｈｉｋａｗａ迭代法强收敛到Ｔ的唯一不动点．通过去掉限制ｌｉｍ_ｎ→∞β_ｎ＝０或ｌｉｍ_ｎ→∞α_ｎ＝ｌｉｍ_ｎ→∞β_ｎ＝０，结果改进与推广了Ｔａｎ，Ｘｕ的定理４．１与定理４．２，也把Ｄｅｎｇ的定理１与定理２推广到了ｐ一致光滑Ｂａｎａｃｈ空间的背景．     

关于某些拟一致空间的超空间拓扑

设(X,τ)是一个拓扑空间。在本文中,我们证明了在超空间2^X上局部有限拓扑e^τ与局部有限覆盖拟一致u_LF所导出的超拓扑|2^u_LF|是相同的。我们还证明了下面条件是等价的:(1)(X,τ)是仿紧的;(2)(X,τ)是orth紧的,且e^τ=|2^u_FT|;(3)存在一个Lebes-yue拟一致u_L,使e^τ<     

l-群的极小素子群

本文研究l-群的极小素子群,主要证明如下结果:设G是一个l-群.（1）N∈Γ_m（G）,则N=a^⊥当且仅当{P_N^C}是一个归纳集;（2）g∈G⁺,如果g是特殊的,且g的唯一值是原子,则g^⊥∈Γ_m（G）;（3）G∈B_w,Γ₁（C）是原子的当且仅当Γ_m(G）?Γ₁（G）。     

关于msss-映射

本文证明了如下结果:(1)T₃空间X具有σ-局部可数cs^*-网当且仅当X是某-度量空间的序列复盖msss-映象;(2)T₃空间X具有σ-局部可数cs-网当且仅当X是某一度量空间的强序列复盖msss-映象.     

关于拓扑熵下界的两点注记

设ｆ：Ｘ→Ｘ是紧连通多面体自映射，应用Ｎｉｅｌｓｅｎ不动点理论，我们给出了ｆ的拓扑熵ｈ（ｆ）的一个更好下界。另外，若ｆ：Ｔ^m→T^m是ｍ－环面自映射，我们还得到了ｌｏｇＮ^∞（ｆ）是{h(g)|g≈f:T^m→T^m}的下确界的一个充要条件，这里Ｎ（ｆ）是ｆ的渐近Ｎｉｅｌｓｅｎ数，从而局部解答了姜伯驹教授提出的一个问题。     

Companion orthogonal polynomials

We give some properties relating the recurrence relations of orthogonal polynomials associated with any two symmetric distributions dφ₁(x) and d₂(x) such that dφ₂(x) = (1 + kx²)d₁(x). As applications of properties, recurrence relations for many interesting systems of orthogonal polynomials are obtained.     

Some new Steffensen pairs

Using some basic properties of the extended mean values and the generalized weighted mean values, an integral expression of the function (b ^x -a ^x)/x, and analytic techniques, some new Steffensen pairs are established.     

A semistrong sufficiency condition for optimality in nonconvex programming and its connection to the perturbation problem

What happens when a nonconvex program, having a local solutionx ⁰ at which the gradients of the binding constraints are linearly independent, but without strict complementarity hypothesis, is perturbed? Under a relatively weak second-order assumption (some nonnegative second-order terms are supposed to be strictly positive), the perturbed problem has, in the neighborhood ofx ⁰, a finite number of local minima, situated on curves that are connected to some pseudo-solutions of the tangent quadratic problem.     

Some Properties of Bent Functions

First, this paper discusses and sums up some properties of a pair of functions p（x）, q（x） that makes （y ＋ 1）p（x） ＋ yq（x） into a bent function. Then it discusses the properties of bent functions. Also, the upper and lower bounds of the number of bent functions on GF（2）2k are discussed.     

Fundamental solutions of some degenerate operators

In this paper we modify the usual series computation for a parametrix of an elliptic operator and find a method that is applicable to some simple degenerate operators. In fact, we are able to construct fundamental solutions for operators such as D_x + ixD_y and D_x² + x²D_y² + cD_y which explain the lack of local solvability in a natural way.     

A nilpotent group and its elliptic curve: Non-uniformity of local zeta functions of groups

A nilpotent group is defined whose local zeta functions counting subgroups and normal subgroups depend on counting points modp on the elliptic curvey ²=x ³−x. This example answers negatively a question raised in the paper of F. J. Grunewald, D. Segal and G. C. Smith where these local zeta functions were first defined. They speculated that local zeta functions of nilpotent groups might be finitely uniform asp varies. A proof is given that counting points on the elliptic curvey ²=x ³−x are not finitely uniform, and hence the same is true for the zeta function of the associated nilpotent group. This example demonstrates that nilpotent groups have a rich arithmetic beyond the connection with quadratic forms.     

The integral points on elliptic curves y 2 = x 3 + (36n 2 − 9)x − 2(36n 2 − 5)

Let n be a positive odd integer. In this paper, combining some properties of quadratic and quartic diophantine equations with elementary analysis, we prove that if n > 1 and both 6n ² ? 1 and 12n ² + 1 are odd primes, then the general elliptic curve y ² = x ³+(36n ²?9)x?2(36n ²?5) has only the integral point (x, y) = (2, 0). By this result we can get that the above elliptic curve has only the trivial integral point for n = 3, 13, 17 etc. Thus it can be seen that the elliptic curve y ² = x ³ + 27x ? 62 really is an unusual elliptic curve which has large integral points.     

Forward and inverse scattering on manifolds with asymptotically cylindrical ends

We study an inverse problem for a non-compact Riemannian manifold whose ends have the following properties: On each end, the Riemannian metric is assumed to be a short-range perturbation of the metric of the form ²(dy)+h(x,dx), h(x,dx) being the metric of some compact manifold of codimension 1. Moreover one end is exactly cylindrical, i.e. the metric is equal to ²(dy)+h(x,dx). Given two such manifolds having the same scattering matrix on that exactly cylindrical end for all energies, we show that these two manifolds are isometric.     

A cycle lemma for permutation inversions

In this paper we study some properties of the inversion statistic. Some enumerative results concerning the permutations of the multiset {x₁^m₁,x₂^m₂} with respect to the inversion parameter are established and it is shown that these depend on gcd(m₁,m₂). Using a “cycle lemma”, a combinatorial proof of the results is given. Moreover, some applications to the Gaussian binomial coefficient are illustrated.     

A class of algebraic-trigonometric blended splines

This paper presents a new kind of algebraic-trigonometric blended spline curve, called xyB curves, generated over the space {1,t,sint,cost,sin²t,sin³t,cos³t}. The new curves not only inherit most properties of usual cubic B-spline curves in polynomial space, but also enjoy some other advantageous properties for modeling. For given control points, the shape of the new curves can be adjusted by using the parameters x and y. When the control points and the parameters are chosen appropriately, the new curves can represent some conics and transcendental curves. In addition, we present methods of constructing an interpolation xyB-spline curve and an xyB-spline curve which is tangent to the given control polygon. The generation of tensor product surfaces by these new spline curves is straightforward. Many properties of the curves can be easily extended to the surfaces. The new surfaces can exactly represent the rotation surfaces as well as the surfaces with elliptical or circular sections.