中国科学院数学与系统科学研究院期刊网

Acta Mathematica Sinica 1993 Vol.9

Please wait a minute...
For Selected: Toggle Thumbnails
The topological Markov chain—Transitivity and mixing
Zhou Zouling
Acta Mathematica Sinica    1993, 9 (1): 1-7.   DOI: 10.1007/BF02559977
Abstract769)            Save

 In this paper, we have discussed the one sided topological Markov chain and proved the following conditions to be equivalent: 1. topologically strongly mixing, 2. topologically weakly mixing, 3. topological transitivity and the existence of two periods which are co-prime. As a consequence, we have come to the conclusion that mixing implies positive entropy but the converse is not true.

Related Articles | Metrics
Reflection of transversal progressing waves for semilinear strictly hyperbolic systems
Wang Yaguang
Acta Mathematica Sinica    1993, 9 (1): 8-23.   DOI: 10.1007/BF02559978
Abstract748)            Save

  We discuss the reflection of weak singularities of solutions to semilinear hyperbolic systems by using the method of energy estimates in the space of conormal distributions, and consequently obtain the general results on the reflection of weak singularities of the solution to a high order semilinear strictly hyperbolic equation.

Related Articles | Metrics
Durfee rectangles and the Jacobi triple product identity
Chu Wenchang
Acta Mathematica Sinica    1993, 9 (1): 24-26.   DOI: 10.1007/BF02559979
Abstract800)            Save

 By means of the Durfee rectangles of partitions, a very elementary proof for Jacobi's triple product identity and its finite analogue is presented.

Related Articles | Metrics
Cited: Baidu(17)
Spectral-finite element method for solving three-dimensional unsteady Navier-Stokes equations
Cao Weiming, Guo Benyu
Acta Mathematica Sinica    1993, 9 (1): 27-38.   DOI: 10.1007/BF02559980
Abstract776)            Save

 This paper is devoted to the combined Fourier spectral and finite element approximations of three-dimensional, semi-periodic, unsteady Navier-Stokes equations. Fourier spectral method and finite element method are employed in the periodic and non-periodic directions respectively. A class of fully discrete schemes are constructed with artificial compression. Strict error estimations are proved. The analysis shows also that the classical two-dimensional velocity-pressure elements can be readily extended to solving such three-dimensional semi-periodic problems, provided they satisfy the two-dimensional “inf-suf” condition.

Related Articles | Metrics
An arrangement in orthogonal geometry over finite field of Char=2
Chen Dongsheng, Wan Zhexian
Acta Mathematica Sinica    1993, 9 (1): 39-47.   DOI: 10.1007/BF02559981
Abstract758)            Save

 LetV n (Fq) be the orthogonal geometry of dimensionn overFq, whereq is a power of 2 andq>2. LetA be the arrangement inV n (Fq) consisting of all (n−1)-dimensional non-singular subspaces ofVn(Fq) and letL(A) be the geometric lattice consisting of all intersections of elements ofA. In this paper we give a characterization of the elements ofL(A) and compute the characteristic polynomial ofL(A).

Related Articles | Metrics
Group generated by two elements of orders 2 and 4 acting on real quadratic fields
Q. Mushtaq, M. Aslam
Acta Mathematica Sinica    1993, 9 (1): 48-54.   DOI: 10.1007/BF02559982
Abstract758)            Save

Coset diagrams for the orbit of the groupG=?x,y∶x 2=y 4 =1? acting on real quadratic fields give some interesting information. By using these coset diagrams, we show that in the orbitpG, where 
$${{p = (a + \sqrt n )} \mathord{\left/ {\vphantom {{p = (a + \sqrt n )} c}} \right. \kern-\nulldelimiterspace} c}$$
, the non-square positive integern does not change its value and the real quadratic irrational numbers of the formp, wherep and its algebraic conjugate 
$${{(a - \sqrt n )} \mathord{\left/ {\vphantom {{(a - \sqrt n )} c}} \right. \kern-\nulldelimiterspace} c}$$
have different signs, are finite in number and that part of the coset diagram containing such numbers forms a single closed path, which is the only closed path in the orbit ofp.

Related Articles | Metrics
Cited: Baidu(6)
A note on Mori's theorem ofK-quasiconformal mappings
Li Zhong, Cui Guizhen
Acta Mathematica Sinica    1993, 9 (1): 55-62.   DOI: 10.1007/BF02559983
Abstract779)            Save

The distortion problem ofK-quasiconformal mappings of the unit diskD={z∶|z|<1} onto itself with the original fixed is discussed, a new estimate is given.

Related Articles | Metrics
Regularity of minimizing harmonic maps into ellipsoids
Ma Li
Acta Mathematica Sinica    1993, 9 (1): 63-69.   DOI: 10.1007/BF02559984
Abstract739)            Save

 In this paper, we study harmonic maps into ellipsoids and generalize some interesting results on harmonic maps into spheres of R. Schoen and K. Uhlenbeck.

Related Articles | Metrics
An application of dominating families
Zhu Jianping
Acta Mathematica Sinica    1993, 9 (1): 70-73.   DOI: 10.1007/BF02559985
Abstract789)            Save

 In this paper, we prove thatχ(Seqξ)=d, when ξ is Frechet filter orP-point in ω* withx(ξ,ω*)≤d.

Related Articles | Metrics
Minimal annuli in Riemannian manifolds
Ji Min
Acta Mathematica Sinica    1993, 9 (1): 74-89.   DOI: 10.1007/BF02559986
Abstract741)            Save

 In this paper, a multiple solution theorem for minimal annuli coboundaries in a Riemannian manifoldN is established. Especilly, when the target manifoldN is the standard sphereS n , it implies the existence of at least two minimal annuli with given pair of wires (Γ1, Γ2) as their common boundaries θ.

Related Articles | Metrics
A lower bound estimate for complete sums of characters of polynomials and rational functions
D. Ismoilov
Acta Mathematica Sinica    1993, 9 (1): 90-99.   DOI: 10.1007/BF02559987
Abstract751)            Save

 In this paper we shall study the complete Dirichlet character sums involved with some polynomials and rational functions whichare useful to the Waring's problem.

Related Articles | Metrics
Cited: Baidu(7)
High moments of two optimal rules of detecting a change in distributions
Zhang Jian
Acta Mathematica Sinica    1993, 9 (1): 100-112.   DOI: 10.1007/BF02559988
Abstract766)            Save

 The CUSUM rule and Shiryayev-Roberts (S-R) rule, proposed by Page and Shiryayev (or Roberts) respectively, are two asymptotically optimal rules of detecting a change in distributions. This paper is concerned with the properties of their moments. In the context of continuous times, explicit formulas of their high moments are established.

Related Articles | Metrics
Necessary and sufficient condition for the unique existence of periodic solution of linear volterra equations
Wang Ke
Acta Mathematica Sinica    1993, 9 (2): 113-118.   DOI: 10.1007/BF02560040
Abstract708)            Save

 In this paper, we obtained the sufficient and necessary condition for the unique existence of periodic solution of the linear Volterra integro-differential equations of the form


            $$x'(t) = \int_0^\infty  {(dE(s))x(t - s) + f(t)} $$

. We also proved that the mentioned equation has unique periodic solution is a generic property.

Related Articles | Metrics
Cited: Baidu(1)
On the invariants of Möbius groupsM(Rn)
Fang Ainong
Acta Mathematica Sinica    1993, 9 (2): 119-128.   DOI: 10.1007/BF02560041
Abstract681)            Save

 Suppose that


            $$\operatorname{Re} (a + d^ *  ) \in \left\{ {\begin{array}{*{20}c}   {( - 2,2),if g(x) is f.p.f. or elliptic,}  \\   {\left[ { - 2,2} \right], if g(x) is parabolic,}  \\   {( - \infty ,\infty ), if g(x) is loxodromic.}  \\ \end{array} } \right.$$

is a Clifford matrix of dimensionn, g(x)=(ax+b)(cx+d) −1. We study the invariant balls and the more careful classifications of the loxodromic and parabolic elements inM(R n ), prove that the loxodromic elements inM(R 2k+1 ) certainly have an invariant ball, expound the geometric meaning of Ahlfors' hyperbolic elements, and introduce the uniformly hyperbolic and parabolic elements and give their identifications. We prove that


            $$\operatorname{Re} (a + d^ *  ) \in \left\{ {\begin{array}{*{20}c}   {( - 2,2),if g(x) is f.p.f. or elliptic,}  \\   {\left[ { - 2,2} \right], if g(x) is parabolic,}  \\   {( - \infty ,\infty ), if g(x) is loxodromic.}  \\ \end{array} } \right.$$

These results are fundamental in the higher dimensional Möbius groups, especially in Fuchs groups.

Related Articles | Metrics
Some existence results on periodic and generalized periodic solutions for singular hamiltonian
Jiang Meiyue
Acta Mathematica Sinica    1993, 9 (2): 129-138.   DOI: 10.1007/BF02560042
Abstract710)            Save

 In this paper, we use the variational method to study the existence of periodic and generalized periodic solutions of planar second order Hamiltonian systems when a singular potential is present. The results obtained are applied to the study of generalized periodic solutions of the Restricted Three-Body Problem and the Planarn-Body Problem.

Related Articles | Metrics
Some applications of a coincidence theorem
Jiang Jiahe
Acta Mathematica Sinica    1993, 9 (2): 139-147.   DOI: 10.1007/BF02560043
Abstract688)            Save

 From a coincidence theorem in [1] there are derived some interesting applications to many respects such as minimax inequality, fixed point theory, existence of minimizable quasiconvex functions, etc..

Related Articles | Metrics
Repetitive algebras of iterated tilted algebras
Peng Liangang
Acta Mathematica Sinica    1993, 9 (2): 148-151.   DOI: 10.1007/BF02560044
Abstract752)            Save

  In this article, we prove that the repetitive algebra of an iterated tilted algebra can be realized by the repetitive algebra of some tilted algebra. In particular, an iterated tilted algebra can be obtained by a series of reflections from some tilted algebra.

Related Articles | Metrics
Extremal solutions and comparison principle for nonlinear integro-differential equations in a Banach space
Chen Yubo, Zhuang Wan
Acta Mathematica Sinica    1993, 9 (2): 152-159.   DOI: 10.1007/BF02560045
Abstract768)            Save

 In this paper, we consider an initial value problem for nonlinear integro-differential equations in a Banach space. First, we give a comparison result between the under and over functions and some comparison principles. Then, using these results and the Kuratowski measure of noncompactness, we establish the existence theorem of extremal solutions between the under and over functions, and prove that there exists a unique solution between the lower and upper solutions under an additional Lipschitz's condition.

Related Articles | Metrics
Cited: Baidu(6)
Area of Julia sets of holomorphic self-maps on C *
Fang Liping
Acta Mathematica Sinica    1993, 9 (2): 160-165.   DOI: 10.1007/BF02560046
Abstract691)            Save

It is a general problem to study the measure of Julia sets. There are a lot of results for rational and entire functions. In this note, we describe the measure of Julia set for some holomorphic self-maps onC *. We'll prove thatJ(f) has positive area, wheref:C *C *,f(z)=z m c P(z)+Q(1/z) ,P(z) andQ(z) are monic polynomials of degreed, andm is an integer.

Related Articles | Metrics
Nonoscillation theorems of second order nonlinear differential equations
Lu Wudu
Acta Mathematica Sinica    1993, 9 (2): 166-174.   DOI: 10.1007/BF02560047
Abstract739)            Save

 The main purpose of this paper is to study the existence of nonoscillatory solutions of the second order non-linear differential equation (1). The author first generalizes a Wintner's lemma [1,8] to nonlinear equations (i.e. the following Theorem 1 and 4), and then obtains the necessary and sufficient conditions for the existence of nonoscillatory solutions of (1). These theorems generalize the corresponding results of [1] to include nonlinear equations. Using the above results, the author further obtains a series of criterion theorems for the existence of nonoscillatory solutions and comparison theorems for the oscillation and nonoscillation of nonlinear equations.

Related Articles | Metrics
Probability estimates for the distribution of Kolmogorov distance in the worst direction
Zhu Lixing
Acta Mathematica Sinica    1993, 9 (2): 175-183.   DOI: 10.1007/BF02560048
Abstract722)            Save

 ConsiderD n the maximum Kolmogorov distance betweenP n andP among all possible one-dimensional projections, whereP n is an empirical measure based ond-dimensional i.i.d vectors with spherically symmetric probability measureP. We show in this paper that


            $$c_1 \lambda ^2 \exp ( - 2\lambda ^2 ) \leqslant P(\sqrt n D_n  > \lambda )$$

for large λ,d≥2 and an appropriate constantc 1. From this, when dimensiond is fixed, we give a negative answer to Huber's conjecture,P(D n >ε)≤N exp(−2n? 2), whereN is a constant depending only on dimensiond.

Related Articles | Metrics
Explicit fundamental solutions for a class of left invariant operators on the nilpotent lie group G d 1+ d 2
Jiang Yaping , Luo Xuebo
Acta Mathematica Sinica    1993, 9 (2): 184-194.   DOI: 10.1007/BF02560049
Abstract660)            Save

In this paper, we give an explicit expression of the fundamental solutions and the global solvability for a class of LPDO's consisting of left invariant vector fields on the nilpotent Lie groupG d 1+d 2.

Related Articles | Metrics
On the tensor products of operators
Hou Jinchuan
Acta Mathematica Sinica    1993, 9 (2): 195-202.   DOI: 10.1007/BF02560050
Abstract689)            Save

  In this paper some necessary and sufficient conditions are obtained for a operator tensor product 
$$\sum\limits_k {A_{1k}  \otimes A_{2k}  \otimes  \cdot  \cdot  \cdot  \otimes A_{nk} } $$
to be zero, compact, normal, hyponormal, subnormal, essential normal,k-quasihyponormal, etc.

Related Articles | Metrics
The Keldys-Fichera boundary value problem for a class of nonlinear degenerate elliptic equations
Chen Zuchi
Acta Mathematica Sinica    1993, 9 (2): 203-211.   DOI: 10.1007/BF02560051
Abstract679)            Save

 This paper discusses the Keldys-Fichera boundary value problem for a kind of degenerate quasilinear elliptic equations in divergence form. The existence theorem, comparison principle and uniqueness theorem are proved.

Related Articles | Metrics
Cited: Baidu(26)
Ruelle's inequality for the entropy of diffusion processes
Liu Peidong, Qian Min
Acta Mathematica Sinica    1993, 9 (2): 212-224.   DOI: 10.1007/BF02560052
Abstract716)            Save

In this paper Ruelle's inequality for the entropy of diffusion processes and, more generally, for the entropy of random diffeomorphisms is proved.

Related Articles | Metrics
On the problem of the critical bound
Sui Yuefei
Acta Mathematica Sinica    1993, 9 (3): 225-230.   DOI: 10.1007/BF02582899
Abstract663)            Save

  One new notation, called theA-prompt permitting, is defined in the Turing reducibility, and its basic properties are given, by which we shall show that two r.e. setsA andB are one minimal pairs if and only ifB is notA-prompt permitting. It is proved that there are no maximal minimal pairs.

Related Articles | Metrics
On the representation theory of Möbius groups inRn*
Fang Ainong
Acta Mathematica Sinica    1993, 9 (3): 231-239.   DOI: 10.1007/BF02582900
Abstract729)            Save

We will solve several fundamental problems of Möbius groupsM(R n) which have been matters of interest such as the conjugate classification, the establishment of a standard form without finding the fixed points and a simple discrimination method.

Let 
$$g = \left[ {\begin{array}{*{20}c}   a & b  \\   c & d  \\ \end{array} } \right]$$
be a Clifford matrix of dimensionn, c ≠ 0. We give a complete conjugate classification and prove the following necessary and sufficient conditions:g is f.p.f. (fixed points free) iff 
$$g \sim \left[ {\begin{array}{*{20}c}   \alpha  & 0  \\   c & {\alpha '}  \\ \end{array} } \right]$$
, |α|<1 and |EAE 1| ≠ 0;g is elliptic iff 
$$g \sim \left[ {\begin{array}{*{20}c}   \alpha  & \beta   \\   c & {\alpha '}  \\ \end{array} } \right]$$
, |α| <1 and |EAE 1|=0;g is parabolic iff 
$$g \sim \left[ {\begin{array}{*{20}c}   \alpha  & 0  \\   c & {\alpha '}  \\ \end{array} } \right]$$
, |α|=1; andg is loxodromic iff 
$$g \sim \left[ {\begin{array}{*{20}c}   \alpha  & \beta   \\   c & {\alpha '}  \\ \end{array} } \right]$$
, |α| >1 or rank (EAE 1) ≠ rank (EAE 1,ac −1+c −1 d), where α is represented by the solutions of certain linear algebraic equations and satisfies

            $$\left| {c^{ - 1} \alpha '} \right| = \left| {\left( {E - AE^1 } \right)^{ - 1} \left( {\alpha c^{ - 1}  + c^{ - 1} \alpha '} \right)} \right|.$$
Related Articles | Metrics
A remark on the regularity of the ν-function of dirac operators
Zhang Weiping
Acta Mathematica Sinica    1993, 9 (3): 240-245.   DOI: 10.1007/BF02582901
Abstract689)            Save

 In this paper, we prove the regularity near the origin of the ν-function of Dirac operators associated with certain non-torsion free connections.

Related Articles | Metrics
On the embeddings of mendelsohn triple systems
Shen Hao
Acta Mathematica Sinica    1993, 9 (3): 246-251.   DOI: 10.1007/BF02582902
Abstract663)            Save

 It is proved in this paper that there exists an incomplete Mendelsohn triple system IMTS(u,v; λ) if and only ifλ(u-v)(u-2v-1)≡0(mod 3),u≥2v+1 and (u, v, λ) ≠ (6, 1, 1). As a consequence, it is proved that for any given λ≥1, a Mendelsohn triple system MTS (v, λ) can be embedded in an MTS (u, λ) if and only ifλu(u-1)≡0(mod 3) andu≥2v+1.

Related Articles | Metrics
Perturbations and approximations of integrated semigroups
Zheng Quan
Acta Mathematica Sinica    1993, 9 (3): 252-260.   DOI: 10.1007/BF02582903
Abstract681)            Save

 The purpose of this paper is to establish some basic results about perturbations and approximation of integrated semigroups.

Related Articles | Metrics
Cited: Baidu(71)
A stronger result than Grauert-Narasimhan's solution to levi problem
Zhou Xiangyu
Acta Mathematica Sinica    1993, 9 (3): 261-264.   DOI: 10.1007/BF02582904
Abstract728)            Save

 In this note, we'll establish the following Main Theorem. LetD be a locally finite intersection of bounded strictly pseudoconvex domains in a complex space. Then there exists a proper holomorphic mappingf fromD into some unit ball.

This result is stronger than Grauert-Narasimhan's solution to Levi problem. Our proof is based on a theorem in [10], and other known results. This note may be regarded as a continuation of [10]. Prof. H. Grauert told me that the present result was an open problem before we prove it.
Related Articles | Metrics
Cited: Baidu(1)
Weak and strong solutions of Generalized Itô's Stochastic Functional Differential Equations
Xu Jiagu
Acta Mathematica Sinica    1993, 9 (3): 265-277.   DOI: 10.1007/BF02582905
Abstract710)            Save

The fundamental theory of Generalized Itô's Stochastic Functional Differential Equations (GISFDE), namely, stochastic functional differential equations associated with a stochastic integral based onC-semimartingales, is discussed. The main purpose is to establish the concepts of GISFDE, weak solution, strong solution, solution-measure and several kinds of the uniqueness of solution, to show the relationships smong these solutions and get existence and uniqueness theorems of the solution.

Related Articles | Metrics
Necessary and sufficient conditions for oscillation of second order linear differential equations
Hou Zhanyuan
Acta Mathematica Sinica    1993, 9 (3): 278-289.   DOI: 10.1007/BF02582906
Abstract700)            Save

 Necessary and sufficient conditions are given for oscillations of second order linear differential equationx″+p(t)x′+q(t)x=0.

Related Articles | Metrics
Construction of representation-finite selfinjective artin algebras of classBn andCn
Yang Rixin, Xiao Jie
Acta Mathematica Sinica    1993, 9 (3): 290-306.   DOI: 10.1007/BF02582907
Abstract669)            Save

 In this paper, we discuss the representation-finite selfinjective artin algebras of classB n andC n and obtain the following main results:

For any fieldk, let Λ be a representation-finite selfinjective artin algebras of classB n orC n overk.
(a)  We give the configuration ofZB n andZC n.
(b)  We show that Λ is standard.
(c)  Under the condition ofk being a perfect field, we describe Λ by boundenk-species and show that Λ is a finite covering of the trivial extension of some tilted algebra of typeB n orC n.
Related Articles | Metrics
Direct injective modules
Chen Zhizhong
Acta Mathematica Sinica    1993, 9 (3): 307-310.   DOI: 10.1007/BF02582908
Abstract685)            Save

 Throughout this paperR will denote a ring with idenity element andM a unitary right module overR. AnR-moduleM is said to be direct injective if and only if given direct summandN ofM with injectioni N:N→M and a monomorphismg:N→M, there exists an endomorphismf ofR-moduleM such thatfg=i N.

In this paper we investigate properties of direct injective modules, and obtain the following results on direct injective modules.
(1)  We establish the necessary and sufficient condition for a module to be direct injective.
(2)  We show that the answer on problem of Krull-Schmidt-Matlis is in the affirmative in caseR-moduleM is extending direct injective.
(3)  We prove that extending direct injectivity of module implies same properties of its direct summands.
Related Articles | Metrics
Existence of multiple positive solutions for - Du = lu + u\fracN + 2N - 2 + mf( x )*?Δu=λu+uN?2N+2+μf(x)*
Deng Yinbing
Acta Mathematica Sinica    1993, 9 (3): 311-320.   DOI: 10.1007/BF02582909
Abstract746)            Save

  In this paper, we discuss the existence and nonexistence of solutions for the problem311-2 where Ω is a bounded smoothness domain inR N, γ ε R1, μ>-0,f(x) is a given non-negative function. Some interesting resultus have been obtained.

Related Articles | Metrics
The greatest prime factor of the integers in a short interval (III)
Jia Chaohua
Acta Mathematica Sinica    1993, 9 (3): 321-336.   DOI: 10.1007/BF02582910
Abstract685)            Save

 LetP(x) denote the greatest prime factor of IIz<n≤x+x1/2 n. In this paper, we prove thatP(x)>x 0.723 holds true for a sufficiently largex.

Related Articles | Metrics
On the essential spectrum of complete Riemannian manifolds with finite volume
Lu Zhiqin
Acta Mathematica Sinica    1993, 9 (4): 337-343.   DOI: 10.1007/BF02560127
Abstract685)            Save

 In this paper, under some growth condition on the volume of a geodesic ball with radiusr, we compute the essential spectrum of some class of Riemannian manifolds with finite volume. This result refines some earlier results of R. Brooks.

Related Articles | Metrics
Graded rings and essential ideals
Fang Hongjin, Patrick Stewart
Acta Mathematica Sinica    1993, 9 (4): 344-351.   DOI: 10.1007/BF02560128
Abstract694)            Save

 LetG be a group andA aG-graded ring. A (graded) idealI ofA is (graded) essential ifIJ≠0 wheneverJ is a nonzero (graded) ideal ofA. In this paper we study the relationship between graded essential ideals ofA, essential ideals of the identity componentA e and essential ideals of the smash productA#G *. We apply our results to prime essential rings, irredundant subdirect sums and essentially nilpotent rings.

Related Articles | Metrics
Simultaneous solutions to fixed point and minimax-type inequality problems
Jiang Jiahe
Acta Mathematica Sinica    1993, 9 (4): 352-366.   DOI: 10.1007/BF02560129
Abstract714)            Save

 In the present paper there are given some existence theorems on simultaneous solutions to fixed point and minimax-type inequality problems, hence to fixed point and variational-type inequality problems.

Related Articles | Metrics