CONSTRUCTION OF INDECOMPOSABLEDEFINITE HERMITIAN FORMS

ＣＯＮＳＴＲＵＣＴＩＯＮＯＦＩＮＤＥＣＯＭＰＯＳＡＢＬＥＤＥＦＩＮＩＴＥＨＥＲＭＩＴＩＡＮＦＯＲＭＳ￥ＺＨＵＦＵＺＵ（ＤｅｐａｒｔｍｅｌｌｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙｔＳｈａｎｇｈａｉ２０００６２，...     

A contribution to large deviations for heavy-tailed random sums

In this paper we consider the large deviations for random sums , whereX _n,n⩾1 are independent, identically distributed and non-negative random variables with a common heavy-tailed distribution function F, andN(t), t⩾0 is a process of non-negative integer-valued random variables, independent ofX _n,n⩾1. Under the assumption that the tail of F is of Pareto’s type (regularly or extended regularly varying), we investigate what reasonable condition can be given onN(t), t⩾0 under which precise large deviation for S( t) holds. In particular, the condition we obtain is satisfied for renewal counting processes.     

Asymptotic formula for the decay of correlations in the stochastic model of planar rotators at high temperature

We consider the stochastic model of planar rotators x(t)={x_k(t), k∈Z^d}, t≥0, x_k(t)∈T¹, at high temperature. For the decay of correlations <f_A(x(0)), g_A+k(t) (x(t))>, the asymptotic formula is obtained at t→∞, k(t)→∞, k(t)∈Z^d. The basic methods we used are the spectral analysis of the Markov semigroup generator and the saddle-point method. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 112, No. 1, pp. 67–80.     

On a singular integral on product spaces

We show that if K(x,y)=Ω(x,y)/|x|ⁿ|y|^m is a Calder n-Zygmund kerned on Rⁿ×R^m, where Ω∈L²(Sⁿ⁻¹×S^m−1) and b(x,y) is any bounded function which is radial with x∈Rⁿ and y∈R^m respectively, then b(x,y)K(x,y) is the kernel of a convolution operator which is bounded on L^p(Rⁿ×R^m) for 1<p<∞ and n≧2, m≧2. Project supported by NSFC     

On simultaneous approximation to a differentiable function and its derivative by inverse Pal-Type interpolation polynomials

Let ξ_{n −1} < ξ_{n −2} < ξ_{n − 2} < ... < ξ₁ be the zeros of the the (n−1)-th Legendre polynomial P_n−1(x) and −1=x_n<x_n−1<...<x₁=1, the zeros of the polynomial . By the theory of the inverse Pal-Type interpolation, for a function f(x)∈C _[−1,1] ¹ , there exists a unique polynomial R_n(x) of degree 2n−2 (if n is even) satisfying conditions R_n(f, ξ_k) = f (ε_k) (1 ⩽ k ⩽ n −1); R¹ _n(f,x_k)=f¹(x_k)(1≤k≤n). This paper discusses the simultaneous approximation to a differentiable function f by inverse Pal-Type interpolation polynomial {R_n(f, x)} (n is even) and the main result of this paper is that if f∈C _[1,1] ^r , r≥2, n≥r+2, and n is even then |R¹ _n(f,x)−f¹(x)|=0(1)|W_n(x)|h(x)·n^3−r·E_2n−r−3(f^(r)) holds uniformly for all x∈[−1,1], where .     

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

Derivations with engel conditions in prime and semiprime rings

Let R be a prime ring, I a nonzero ideal of R, d a derivation of R and m, n fixed positive integers. (i) If (d[x, y]) ^m = [x, y] _n for all x, y ∈ I, then R is commutative. (ii) If Char R ≠ 2 and [d(x), d(y)] _m = [x, y] ⁿ for all x, y ∈ I, then R is commutative. Moreover, we also examine the case when R is a semiprime ring.     

Derivations with power central values on Lie ideals in prime rings

Let R be a prime ring of char R ≠ 2 with a nonzero derivation d and let U be its noncentral Lie ideal. If for some fixed integers n ₁ ⩾ 0, n ₂ ⩾ 0, n ₃ ⩾ 0, (u ⁿ¹ [d(u), u]u ⁿ²) ⁿ³ ∈ Z(R) for all u ∈ U, then R satisfies S ₄, the standard identity in four variables.     

Refinement equations with nonnegative coefficients

In this paper we analyze solutions of the n-scale functional equation Ф(x) = Σ_k∈ℤ ^Pk Ф(nx−k), where n≥2 is an integer, the coefficients {P_k} are nonnegative and Σpk = 1. We construct a sharp criterion for the existence of absolutely continuous solutions of bounded variation. This criterion implies several results concerning the problem of integrable solutions of n-scale refinement equations and the problem of absolutely continuity of distribution function of one random series. Further we obtain a complete classification of refinement equations with positive coefficients (in the case of finitely many terms) with respect to the existence of continuous or integrable compactly supported solutions.     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.     

Asymptotic behavior of solutions for a class of retarded difference equations

Consider the retarded difference equationx _n −x _n−1 =F(−f(x _n )+g(x _n−k )), wherek is a positive integer,F,f,g:R→R are continuous,F andf are increasing onR, anduF(u)>0 for allu≠0. We show that whenf(y)≥g(y) (resp. f(y)≤g(y)) fory∈R, every solution of (*) tends to either a constant or −∞ (resp. ∞) asn→∞. Furthermore, iff(y)≡g(y) fory∈R, then every solution of (*) tends to a constant asn→∞. Project supported by NNSF (19601016) of China and NSF (97-37-42) of Hunan     

Stieltjes Perfect Semigroups are Perfect

An abelian *-semigroup S is perfect (resp. Stieltjes perfect) if every positive definite (resp. completely so) function on S admits a unique disintegration as an integral of hermitian multiplicative functions (resp. nonnegative such). We prove that every Stieltjes perfect semigroup is perfect. The converse has been known for semigroups with neutral element, but is here shown to be not true in general. We prove that an abelian *-semigroup S is perfect if for each s ∈ S there exist t ∈ S and m, n ∈ ℕ₀ such that m + n ≥ 2 and s + s* = s* + mt + nt*. This was known only with s = mt + nt* instead. The equality cannot be replaced by s + s* + s = s + s* + mt + nt* in general, but for semigroups with neutral element it can be replaced by s + p(s + s*) = p(s + s*) + mt + nt* for arbitrary p ∈ ℕ (allowed to depend on s).     

On Regular Power-Substitution

The necessary and sufficient conditions under which a ring satisfies regular power-substitution are investigated. It is shown that a ring R satisfies regular powersubstitution if and only if a-b in R implies that there exist n ∈ N and a U E GLn （R） such that aU = Ub if and only if for any regular x ∈ R there exist m,n ∈ N and U ∈ GLn（R） such that x^mIn = xmUx^m, where a-b means that there exists x,y, z∈ R such that a =ybx, b = xaz and x= xyx = xzx. It is proved that every directly finite simple ring satisfies regular power-substitution. Some applications for stably free R-modules are also obtained.     

The region of values of the system { f ( z 1),..., f ( z n )} in the class of typically real functions. III

The paper studies the region of values D_m,n(T) of the system {f(z₁), f(z₂),..., f(z_m), f(r₁), f(r₂),..., f(r_n)}, where m ≥ 1; n > 1; z_j, j = 1, ... m, are arbitrary fixed points of the disk U = {z: |z| < 1} with Im z_j ≠ 0, j = 1, 2, ..., m; r_j, 0 < r_j < 1, j = 1, 2, ..., n, are fixed; f ∈ T, and the class T consists of functions f(z) = z + c₂z² + ... regular in the disk U and satisfying the condition Im f(z) · Im z > 0 for Im z ≠= 0, z ∈ U. An algebraic characterization of the set D_m,n(T) in terms of nonnegative-definite Hermitian forms is provided, and all the boundary functions are described. As an implication, the region of values of f(z₁) in the subclass of functions f ∈ T with prescribed values f(r_j) (j = 1, 2, 3) is determined. Bibliography: 12 titles. Dedicated to the 100th anniversary of my father’s birthday __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 337, 2006, pp. 23–34.     

Strictly Hermitian positive definite functions

LetH be any complex inner product space with inner product <·,·>. We say thatf: ℂ→ℂ is Hermitian positive definite onH if the matrix

On indecomposable definite hermitian forms

In this paper, for any given natural numbersn anda, we can construct explicitly positive definite indecomposable integral Hermitian forms of rankn over with discriminanta, with the following ten exceptions:n=2,a=1, 2, 4, 10;n=3,a=1, 2, 5;n=4,a=1;n=5,a=1; andn=7,a=1. In the exceptional cases there are no forms with the desired properties. The method given here can be applied to solving the problem of constructing indecomposable positive definite HermitianR _m -lattices of any given rankn and discriminanta, whereR _m is the ring of algebraic integers in an imaginary quadratic field with class number unity.     

A note about two properties of matrix rings

We show that there exists for eachm≧2 a (non-commutative) integral domainR with a nilpotent matrixC ∈R _m whose order of nilpotency is greater thanm, and anyA ∈R _m with a right (or a left) inverse is invertible.     

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

Representation of numbers by quadratic forms in algebraic number fields

Let K be the totally real field of algebraic numbers of degree n=[k2e] with the discriminant D=D(K); t=t(x₁, ..., x_s) a totally positive quadratic form of the determinant d>0 over the ring of integers from the field K; S4. Let be the number of representations over of the number m by the form a complete singular series. It is proved that for given s and n, there exists a constant c such that for N(d)>0 it is not true that for all m with m totally positive.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 151, pp. 68–77, 1986.     

Two methods for avoiding hereditary completeness

A family of vectors of a Hubert space H is said to be hereditarily complete if it posses a biorthogonal family {x_n′;n≥1}((x_n,x_k′)=δ_nk) and if any elementx, xε H can be reconstructed in terms of the component of its Fourier series, i.e., x∈V((x,x′_n)x_n:n≥1),∀x∈H. In the paper we indicate two simple methods for constructing nonhereditary complete minimal families having a total biorthogonal family, which just not long ago has caused well-known difficulties (see Ref. Zh. Mat., 1975, 7B802). The first method consists in the fact that a given pair of biorthogonal families Y, Y′ of the space H′,H′⊂H is represented as the projection of the families of the same type but already complete in H.. Clearly, in this case cannot be hereditarily complete. The second method consists in considering linear deformation _n :n⩾1 of the orthogonal bases_n: n⩾1; here A is an unbounded operator of a special type. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 65, pp. 183–188, 1976.