SYMMETRIES OF EQUATIONS q_■=g(q,q_x,q_(xx),…) AND THE FORMAL COMPLETELY INTEGRABILITY OF BOUSSINESQ EQUATION

In this paper the symmetries of equations q_(?)=g(q,q_1, q_2,...) are discussed, where q=q(x,t) and q_i=(?)iq/(?)xi. It is shown that if g=aq_s (?)(q,...,q_r), a=const, s-r≥2, then any symmetry of the equation wilt be linear with respect to the term of highest order Furthermore, if the equation can be reduced to a Hamiltonian equation, then pairs of its conserved densities are in involution. As an application of this result, the Boussinesq equation qtt=q_4 6q_1q_2 is shown to be a formal completely integrable Hamiltonian equation.     

SOLITON SOLUTION OF NONLINEAR SCHRODINGER EQUATION WITH HIGHER ORDER DISPERSION TERMS

It is shown in this paper that if parameters β1,β2 and β3 of a nonlinear Schrodinger equation with higher order dispersion terms (HNLS) satisfy the condition: 6β1-β2-2β3(1- 6β1k)= 0, k a real constant, then the fundamental soliton solutions of the HNLS equation exist. The exact soliton solutions are given and the relation between this condition and the known results inthe literature is also discussed.     

ON COMPLETE INTEGRABILITY OF A HIERARCHY OF FINITE-DIMENSIONAL HAMILTONIAN SYSTEMS

A hierarchy of Hamiltonian systems obtained from the Lax pair of KdV hierarchy under theconstraint condition on potential u = (q, q) is. presented. The independent integrals for theseHamiltonian systems are constructed by using recursion operator and shown to be in involution.Thus this hierarchy of Hamiltonian systems is completely integrable in the sense of Liouville. andthey commute with each other.     

Blow-up of p-Laplacian evolution equations with variable source power

We study the blow-up and/or global existence of the following p-Laplacian evolution equation with variable source power ut(x,t)=div(|?u|~(p-2)?u)+u~(q(x)) in?×(0,T),where ? is either a bounded domain or the whole space R~N,and q(x) is a positive and continuous function defined in ? with 0q_-=inf q(x)=q(x)=sup q(x)=q_+∞.It is demonstrated that the equation with variable source power has much richer dynamics with interesting phenomena which depends on the interplay of q(x) and the structure of spatial domain ?,compared with the case of constant source power.For the case that ? is a bounded domain,the exponent p-1 plays a crucial role.If q_+p-1,there exist blow-up solutions,while if q_+p-1,all the solutions are global.If q_-p-1,there exist global solutions,while for given q_-p-1q_+,there exist some function q(x) and ? such that all nontrivial solutions will blow up,which is called the Fujita phenomenon.For the case ?=R~N,the Fujita phenomenon occurs if 1q_-=q_+=p-1+p/N,while if q_-p-1+p/N,there exist global solutions.     

THE PATCH PROPERTY OF SELF-DUAL YANG-MILLS FIELD

SDYM-field is a holomorphic vector bandles over twistor Euclidean Space covered by two patches U_1 and U_2. In this paper, the property of the field on each patch and relationship between them are found. We point out that if the field on one patch correspond to the left SDYM-J equation, then on the other patch will be right SDYM-J equation. The Lagrangian form of the field is also found, which has relation to H_n=SL(n, c)/SU(n) nonlinear sigma model with Wess-Zumino terms.     

Embedded Surfaces for Symplectic Circle Actions

The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces.More precisely, it is shown that(1) if(M, ω) admits a Hamiltonian S~1-action, then there exists a two-sphere S in M with positive symplectic area satisfying c1(M, ω), [S] 0,and(2) if the action is non-Hamiltonian, then there exists an S~1-invariant symplectic2-torus T in(M, ω) such that c1(M, ω), [T] = 0. As applications, the authors give a very simple proof of the following well-known theorem which was proved by Atiyah-Bott,Lupton-Oprea, and Ono: Suppose that(M, ω) is a smooth closed symplectic manifold satisfying c1(M, ω) = λ· [ω] for some λ∈ R and G is a compact connected Lie group acting effectively on M preserving ω. Then(1) if λ 0, then G must be trivial,(2) if λ = 0, then the G-action is non-Hamiltonian, and(3) if λ 0, then the G-action is Hamiltonian.     

McCoy环的扩张(英文)

A ring R is said to be right McCoy if the equation f(x)g(x)=0,where f(x)and g(x)are nonzero polynomials of R[x],implies that there exists nonzero s∈R such that f(x)s=0.It is proven that no proper(triangular)matrix ring is one-sided McCoy.It is shown that for many polynomial extensions,a ring R is right McCoy if and only if the polynomial extension over R is right McCoy.     

Generalized Steiner Triple Systems with Group Size g ≡0, 3 (mod 6)

Generalized Steirier triple systems, GS(2,3,n,g), are equivalent to maximum constant weight codes over an alphabet of size g 1 with distance 3 and weight 3 in which each codeword has length n. The necessary conditions for the existence of a GS(2,3,n,g) are (n-1)g≡0 (mod 2), n(n-1)g2≡0 (mod 6), and n≥g 2. These necessary conditions are shown to be sufficient by several authors for 2≤g≤11. In this paper, three new results are obtained. First, it is shown that for any given g, g≡0 (mod 6) and g≥12, if there exists a GS(2.3.n.g) for all n, g 2≤n≤7g 13. then the necessary conditions are also sufficient. Next, it is also shown that for any given g, g≡3 (mod 6) and g≥15, if there exists a GS(2,3,n,g) for all n, n≡1 (mod 2) and g 2≤n≤7g 6, then the necessary conditions are also sufficient. Finally, as an application, it is proved that the necessary conditions for the existence of a GS(2,3,n,g) are also sufficient for g=12,15.     

STRUCTURES OF CIRCULANT INVERSE M-MATRICES

In this paper, we present a useful result on the structures of circulant inverse Mmatrices. It is shown that if the n × n nonnegative circulant matrix A = Circ[c0, c1,… , c（n- 1）] is not a positive matrix and not equal to c0I, then A is an inverse M-matrix if and only if there exists a positive integer k, which is a proper factor of n, such that cjk 〉 0 for j=0,1…, [n-k/k], the other ci are zero and Circ[co, ck,… , c（n-k）] is an inverse M-matrix. The result is then extended to the so-called generalized circulant inverse M-matrices.     

COMPLETELY POSITIVE MAPS AND-ISOMORPHISM OF C-ALGEBRAS

Let A,B be unital C~*-algebras.X_A={|are all completely positive linear maps from M_n(C)to A with ‖a‖≤1}.(a=((e_(11))…(e_(1n)……(e_(n1))…(e_(nn))),where{e_(iy)}is the matrix unit of M_n(C).)Let a be the natural action of SU(n)on M_n(C).For n≥3,if Φis an a-invariant affine isomorphism between X_A and X_B,Φ(0)=0,then A and B are~*-isomorphic.In this paper a counter example is given for the case n=2.     

SOME APPLICATIONS OF BOREL TECHNIQUE IN PARTIAL DIFFERENTIAL EQUATIONS

In this work Borel's technique is applied to analyzing the solvability of partial differetialequations.It is proved that if P is analytic-hypoelliptic,f is C~∞,then the problem for Pu=f with any number of conditions on a fixed point is ill-posed.Besides,some other resultson the flat solution to Laplace equation and wave equation are obtained.     

Extremal Problems on Components and Loops in Graphs

The authors recently defined a new graph invariant denoted by Ω(G) only in terms of a given degree sequence which is also related to the Euler characteristic. It has many important combinatorial applications in graph theory and gives direct information compared to the better known Euler characteristic on the realizability, connectedness, cyclicness, components, chords, loops etc. Many similar classification problems can be solved by means of Ω. All graphs G so that Ω(G) ≤-4 are shown to be disconnected, and if Ω(G) ≥-2, then the graph is potentially connected. It is also shown that if the realization is a connected graph and Ω(G) =-2, then certainly the graph should be a tree.Similarly, it is shown that if the realization is a connected graph G and Ω(G) ≥ 0, then certainly the graph should be cyclic. Also, when Ω(G) ≤-4, the components of the disconnected graph could not all be cyclic and if all the components of G are cyclic, then Ω(G) ≥ 0. In this paper, we study an extremal problem regarding graphs. We find the maximum number of loops for three possible classes of graphs.We also state a result giving the maximum number of components amongst all possible realizations of a given degree sequence.     

A sufficient condition for Hamiltonian cycles in bipartite tournaments

In this paper, we present a new sufficient condition on degrees for a bipartite tournament to be Hamiltonian, that is, if an n × n bipartite tournament T satisfies the condition W(n - 3), then T is Hamiltonian, except for four exceptional graphs. This result is shown to be best possible in a sense.     

On κ—ordered Graphs Involved Degree Sum

A graph G is κ-ordered Hamiltonian 2≤κ≤n,if for every ordered sequence S of κ distinct vertices of G,there exists a Hamiltonian cycle that encounters S in the given order,In this article,we prove that if G is a graph on n vertices with degree sum of nonadjacent vertices at least n 3κ-9/2,then G is κ-ordered Hamiltonian for κ=3,4,…,[n/19].We also show that the degree sum bound can be reduced to n 2[κ/2]-2 if κ(G）≥3κ-1/2 or δ（G）≥5κ-4.Several known results are generalized.     

MULTIPLE VORTICES FOR THE SHALLOW WATER EQUATION IN TWO DIMENSIONS

In this paper, we construct stationary classical solutions of the shallow water equation with vanishing Froude number F r in the so-called lake model.To this end we need to study solutions to the following semilinear elliptic problem ■ for small ε 0, where p 1, div(?q/b)= 0 and ? ? R~2 is a smooth bounded domain.We show that if q2/b has m strictly local minimum(maximum) points ■, i =1,···, m, then there is a stationary classical solution approximating stationary m points vortex solution of shallow water equations with vorticity ■.Moreover, strictly local minimum points of q2/b on the boundary can also give vortex solutions for the shallow water equation.     

On k-ordered Graphs Involved Degree Sum

Abstract A graph G is k-ordered Hamiltonian,2≤k≤n,if for every ordered sequence S of k distinctvertlces of G,there exists a Hamiltonian cycle that encounters S in the given order. In this article, we provethat if G is a graph on n vertices with degree sum of nonadjacent vertices at least n+3k-9/2,then G is k-orderedHamiltonian for k=3,4,…,[n/19].We also show that the degree sum bound can be reduced to n+2[k/2]-2 ifk(G)≥3k-1/2 or δ(G)≥5k-4.Several known results are generalized.     

On necessary and sufficient conditions for the self-normalized central limit theorem In Honor of Professor Chuanrong Lu on His 85th Birthday

Let X_1, X_2,... be a sequence of independent random variables and S_n=sum X_1 from i=1 to n and V_n~2=sum X_1~2 from i=1 to n . When the elements of the sequence are i.i.d., it is known that the self-normalized sum S_n/V_n converges to a standard normal distribution if and only if max1≤i≤n|X_i|/V_n → 0 in probability and the mean of X_1 is zero. In this paper, sufficient conditions for the self-normalized central limit theorem are obtained for general independent random variables. It is also shown that if max1≤i≤n|X_i|/V_n → 0 in probability, then these sufficient conditions are necessary.     

On Complete Integrability of a Large Class of Finite-dimensional Hamiltonian Systems

Let J be a Hamiltonian operator and ut = JδH/δu be an infinite-dimensional integrable Hamiltonian equation. It is shown that under certain broad assumptions the corresponding stationary equation δH/δu = 0, viewing H as a Lagrangian, can be transformed to a classical Hamiltonian systems qi' = (?)h/(?)pi,pi' = -(?)h/(?)qi, (i= I, …, n) , which is Liouville integrable in the sense that it possesses n first integrals hi which are in involution in pairs. Moreover, a constructive method for calculating the integrals hi is proposed. This connection between finite and infinite-dimensional integrable systems paves a way for constructing a large number of Liouville integrable Hamiltonian systems of finite dimensions.     

区传递的$2-(v, k, 1)$ 设计与单群$E_6(q)$

This article is a contribution to the study of block-transitive automorphism groups of 2-（v,k,1） block designs. Let D be a 2-（v,k,1） design admitting a block-transitive, pointprimitive but not flag-transitive automorphism group G. Let kr = （k,v-1） and q = pf for prime p. In this paper we prove that if G and D are as above and q （3（krk-kr ＋ 1）f）1/3, then G does not admit a simple group E6（q） as its socle.     

Maximal Dimension of Invariant Subspaces to Systems of Nonlinear Evolution Equations

In this paper,the dimension of invariant subspaces admitted by nonlinear systems is estimated under certain conditions.It is shown that if the two-component nonlinear vector differential operator F=(F 1,F 2) with orders {k 1,k 2 } (k 1 ≥ k 2) preserves the invariant subspace W 1 n 1 × W 2 n 2 (n 1 ≥ n 2),then n 1 n 2 ≤ k 2,n 1 ≤ 2(k 1 + k 2) + 1,where W q n q is the space generated by solutions of a linear ordinary differential equation of order n q (q=1,2).Several examples including the (1+1)-dimensional diffusion system and Ito 's type,Drinfel'd-Sokolov-Wilson's type and Whitham-Broer-Kaup's type equations are presented to illustrate the result.Furthermore,the estimate of dimension for m-component nonlinear systems is also given.