On the centers of quantum groups of A_n-type

Let g be the finite dimensional simple Lie algebra of type A_n, and let U = U_q(g,Λ)and U= U_q(g,Q)be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U = U_q(g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U = U_q(g,Λ) and U = U_q(g,Q).     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

Correlation functions of gauged linear σ-model

This is the second paper in a series following Tian and Xu(2015), on the construction of a mathematical theory of the gauged linear σ-model(GLSM). In this paper, assuming the existence of virtual moduli cycles and their certain properties, we define the correlation function of GLSM for a fixed smooth rigidified r-spin curve.     

On the infimum problem of Hilbert space effects

The quantum effects for a physical system can be described by the set ε(H) of positive operators on a complex Hilbert space H that are bounded above by the identity operator I. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B∈ε(H). The problem has been studied in different contexts by R. Kadison, S. Gudder, M. Moreland, and T. Ando. In this note, using the method of the spectral theory of operators, we give a complete answer of the infimum problem. The characterizations of the existence of infimum A∧B for two effects A. B∈ε(H) are established.     

Quantum double constructions for compact quantum group

For a non-degenerate pair of compact quantum groups, we first construct the quantum double as an algebraic compact quantum group in an algebraic framework. Then by adopting some completion procedure, we give the universal and reduced quantum double constructions in the correspondence C＊-algebraic settings, which generalize Drinfeld＇s quantum double construction and yield new C＊-algebraic compact quantum groups.     

On surfaces immersed in Euclidean space R~4 Dedicated to Professor Yang Lo on the Occasion of his 70th Birthday

Let M be a closed oriented surface immersed in R4 . Associated it one has the generalized Gauss map from M into the Grassmann manifold G 4,2 . This note will be concerned with the geometry of the generalized Gauss map by using the moving frame theory and the quaternion interpretation of Plcker coordinates. As one of consequences,we get the celebrated theorem of Chern and Spanier,Hoffman and Osserman,who proved it by quite different methods. At last,we give an explicit construction of a series of immersions of S2 in R4 with any given normal Euler number.     

CAUCHY TYPE INTEGRALS AND A BOUNDARY VALUE PROBLEM IN A COMPLEX CLIFFORD ANALYSIS

Clifford analysis is an important branch of modern analysis;it has a very important theoretical significance and application value,and its conclusions can be applied to the Maxwell equation,Yang-Mill field theory,quantum mechanics and value problems.In this paper,we first give the definition of a quasi-Cauchy type integral in complex Clifford analysis,and get the Plemelj formula for it.Second,we discuss the H?lder continuity for the Cauchy-type integral operators with values in a complex Cliffor...     

The extension of a quantized Borcherds superalgebra by a Hopf algebra

A two-parameter quantum group is obtained from the usual enveloping algebra by adding two commutative grouplike elements. In this paper, we generalize this procession further by adding commutative grouplike elements b_(ik), c_(ik), g_(ik), h_(ik)(i ∈I, k = 1,..., mi) of a Hopf algebra H to the quantized enveloping algebra U_q(G) of a Borcherds superalgebra G defined by a symmetrizable integral Borcherds–Cartan matrix A =(aij)i,j∈I. Therefore, we define an extended Hopf superalgebra HU_q(G). We also discuss the basis and the grouplike elements of HU_q(G).     

EXISTENCE THEOREM AND FINITE ELEMENT METHOD FOR STATIC PROBLEMS OF A CLASS OF NONLINEAR HYPERELASTIC SHELLS

In this paper, various boundary value problems of hyperelastic shells are considered. It is assumed that the storede-nergy function W(x, F) of the material,of which the shell is made, satisfies polyconvex conditions proposed by Ball~([2]).Existence of minimum points of the total energy of the shell in suitably chosen function spaces, and in suitably chosen finite element spaces is proved. Convergence of the finite element solutions is proved under certain regular conditions on the minimum points and some additional assumptions on W(x, F). A Gradient type computing scheme for solving the finite element solutions is given, and global convergent result is obtained.     

Generalized Einstein tensor for a Weyl manifold and its applications

It is well known that the Einstein tensor G for a Riemannian manifold defined by G βα = R βα 1/2 Rδβα , R βα = g βγ R γα where R γα and R are respectively the Ricci tensor and the scalar curvature of the manifold, plays an important part in Einstein's theory of gravitation as well as in proving some theorems in Riemannian geometry. In this work, we first obtain the generalized Einstein tensor for a Weyl manifold. Then, after studying some properties of generalized Einstein tensor, we prove that the conformal invariance of the generalized Einstein tensor implies the conformal invariance of the curvature tensor of the Weyl manifold and conversely. Moreover, we show that such Weyl manifolds admit a one-parameter family of hypersurfaces the orthogonal trajectories of which are geodesics. Finally, a necessary and sufficient condition in order that the generalized circles of a Weyl manifold be preserved by a conformal mapping is stated in terms of generalized Einstein tensors at corresponding points.     

A IP_N×IP_N Spectral Element Projection Method for the Unsteady Incompressible Navier-Stokes Equations

In this paper,we present a IP_N×IP_N spectral element method and a detailed comparison with existing methods for the unsteady incompressible Navier-Stokes equa- tions.The main purpose of this work consists of:(i) detailed comparison and discussion of some recent developments of the temporal discretizations in the frame of spectral el- ement approaches in space;(ii) construction of a stable IP_N×IP_N method together with a IP_N→IP_(N-2) post-filtering.The link of different methods will be clarified.The key feature of our method lies in that only one grid is needed for both velocity and pressure variables,which differs from most well-known solvers for the Navier-Stokes equations. Although not yet proven by rigorous theoretical analysis,the stability and accuracy of this one-grid spectral method are demonstrated by a series of numerical experiments.     

Inhomogenous quantum codes (Ⅰ):additive case

In this paper,the quantum error-correcting codes are generalized to the inhomogenous quantumstate space Cq1  Cq2 ··· Cqn,where qi(1 i n) are arbitrary positive integers.By attaching an abelian group Ai of order qi to the space Cqi(1 i n),we present the stabilizer construction of such inhomogenous quantum codes,called additive quantum codes,in term of the character theory of the abelian group A = A1⊕A2⊕···⊕An.As usual case,such construction opens a way to get inhomogenous quantum codes from the classical mixed linear codes.We also present Singleton bound for inhomogenous additive quantum codes and show several quantum codes to meet such bound by using classical mixed algebraic-geometric codes.     

On the rate of convergence of two generalized Bernstein type operators

In this paper, we introduce the Bézier variant of two new families of generalized Bernstein type operators. We establish a direct approximation by means of the Ditzian-Totik modulus of smoothness and a global approximation theorem in terms of second order modulus of continuity. By means of construction of suitable functions and the method of Bojanic and Cheng, we give the rate of convergence for absolutely continuous functions having a derivative equivalent to a bounded variation function.     

ASYMPTOTIC ERROR EXPANSIONS OF QUADRATIC SPLINE COLLOCATION SOLUTIONS FOR TWO-POINT BOUNDARY VALUE PROBLEMS

In this paper, we consider the following problem:The quadratic spline collocation, with uniform mesh and the mid-knot points are taken as the collocation points for this problem is considered. With some assumptions, we have proved that the solution of the quadratic spline collocation for the nonlinear problem can be written as a series expansions in integer powers of the mesh-size parameter. This gives us a construction method for using Richardson's extrapolation. When we have a set of approximate solution with different mesh-size parameter a solution with high accuracy can he obtained by Richardson's extrapolation.     

On Local Descent to Metaplectic Groups and Local Theta Correspondence

Let F be a p-adic field of characteristic 0.We study a twisted local descent construction for the metaplectic groups Sp_(2 n)(F),and also its relation to the corresponding local descent construction for odd special orthogonal groups via local theta correspondence.In consequence,we show that this descent construction gives irreducible supercuspidal genuine representations of Sp_(2n)(-F) parametrized by a simple local L-parameter φ_τ corresponding to an irreducible supercuspidal representation τ of GL_(2n)(F) of symplectic type,and the genericity of the representations constructed can be indicated by a local epsilon factor condition.In particular,this local descent construction recovers the local Shimura correspondence for supercuspidal representations.     

Fixed Points of Mappings Satisfying a Weakly Contractive Type Condition

In this paper, we discuss a fixed point theorem for mappings derived by a pair of mappings satisfying weak(k, k/) contractive type condition on the tensor product spaces. Let X and Y be Banach spaces and T_1 : X γ Y → X and T_2: X γ Y → Y be two operators which satisfy weak(k, k/) contractive type condition. Using T_1 and T_2, we construct an operator T on X γ Y and show that T has a unique fixed point in a closed and bounded subset of X γ Y.We derive an iteration scheme converging to this unique fixed point of T. Conversely, using a weakly contractive mapping T, we construct a pair of mappings(T_1, T_2) satisfying weak(k, k/)contractive type condition on X γ Y and from this pair, we also obtain two self mappings S_1 and S_2 on X and Y respectively with unique fixed points.     

HOLDER ESTIMATES FOR A CLASS OF DEGENERATE ELLIPTIC EQUATIONS

In this paper we study the regularity theory of the solutions of a class of degenerate elliptic equations in divergence form. By introducing a proper distance and applying the compactness method we establish the HSlder type estimates for the weak solutions.     

ON LIAPUNOV FUNCTIONAL IN THEORY OF STABILITY OF SYSTEMS WITH TIME-LAG

It is well known,that in the theory of stability in differential equations,Liapunov's second method may be the most important The center problem of Liapunov's second method is construction of Liapunov function for concrete problems.Beyond any doubt,construction of Liapunov functions is an art.In the case of functional differential equations,there were also many attempts to establish various kinds of Liapunov type theorems.Recently Burton[2]presented an excellent theorem using the Liapunov functional to solve the asymptotic stability of functional differential equation with bounded delay. However,the construction of such a Liapunov functional is still very hard for concrete problems. In this paper, by utilizing this theorem due to Burton,we construct concrete Liapunov functional for certain and nonlinear delay differential equations and derive new sufficient conditions for asymptotic stability.Those criteria improve the result of literature[1]and they are with simple forms,easily checked and applicable.     

Skew-commutator relations and Gröbner-Shirshov basis of quantum group of type F 4

We give a Grobner-Shirshov basis of quantum group of type F4 by using the Ringel-Hall algebra approach. We compute all skew-commutator relations between the isoclasses of indecomposable representations of Ringel- Hall algebras of type F4 by using an ＇inductive＇ method. Precisely, we do not use the traditional way of computing the skew-commutative relations, that is first compute all Hall polynomials then compute the corresponding skew- commutator relations; instead, we compute the ＇easier＇ skew-commutator relations which correspond to those exact sequences with middle term indecomposable or the split exact sequences first, then ＇deduce＇ others from these ＇easier＇ ones and this in turn gives Hall polynomials as a byproduct. Then using the composition-diamond lemma prove that the set of these relations constitute a minimal CrSbner-Shirshov basis of the positive part of the quantum group of type F4. Dually, we get a Grobner-Shirshov basis of the negative part of the quantum group of type F4. And finally, we give a Gr6bner-Shirshov basis for the whole quantum group of type F4.     

Nonuniform sampling and approximation in Sobolev space from perturbation of the framelet system

The Sobolev space H~?(R~d), where ? d/2, is an important function space that has many applications in various areas of research. Attributed to the inertia of a measurement instrument, it is desirable in sampling theory to recover a function by its nonuniform sampling. In the present paper, based on dual framelet systems for the Sobolev space pair(H~s(R~d), H~(-s)(R~d)), where d/2 s ?, we investigate the problem of constructing the approximations to all the functions in H~?(R~d) by nonuniform sampling. We first establish the convergence rate of the framelet series in(H~s(R~d), H~(-s)(R~d)), and then construct the framelet approximation operator that acts on the entire space H~?(R~d). We examine the stability property for the framelet approximation operator with respect to the perturbations of shift parameters, and obtain an estimate bound for the perturbation error. Our result shows that under the condition d/2 s ?, the approximation operator is robust to shift perturbations. Motivated by Hamm(2015)'s work on nonuniform sampling and approximation in the Sobolev space, we do not require the perturbation sequence to be in ?~α(Z~d). Our results allow us to establish the approximation for every function in H~?(R~d) by nonuniform sampling. In particular, the approximation error is robust to the jittering of the samples.