THE OPTIMIZATION PROBLEM AND ITS SOLUTION IN MIXED-ACIDS TITRATION ANALYSIS

Based on the general formula of acid-base titration in analytical chemistry, an optimization model for evaluation of dissociation constants and concentrations of acids in mixed-acids is proposed in this paper. The mathematical properties of the optimization model are discussed, and then an algorithm for solving the problem is given, the convergence and the reliability of the algorithm are proved both by theoretical analysis and experimental examples.     

ON THE GROWTH ORDER OF Co-SEMIGROUPS, I

In this paper, by using the theory of semigroup and spectrum, a computation formula on the growth order of one class of Co-semigroups in Banach space is proved.     

量子代数${\cal U}_q(f(K,H))$的量子伴随作用

Let H = uq（sl（2）） or u（sl（2））. By means of the standard basis of polynomial algebras, the Glebsch-Gordan formula and quantum Clebsch-Gordan formula are proved by a unified method, and the explicit formula of the decomposition of V（1）^n into the direct sum of simple modules is given in this paper.     

Some Remarks on the Restriction Theorems for the Maximal Operators on Rd

The aim of this paper is to give a simple proof of the restriction theorem for the maximal operators on the d-dimensional Euclidean space Rd, whose theorem was proved by Carro-Rodriguez in 2012.Moreover, we shall give some remarks of the restriction theorem for the linear and the multilinear operators by Carro-Rodriguez and Rodriguez, too.     

Finite Type Non—Minimal Submanifolds

The notion of finite type xubmanifolds was introduced by B.Y.Chen.In this paper we consider the characteristics and the classifications of finite type non-minimal submanifolds.The characteristic theorems of 2-type Chen submanifolds、mass-symmetric hypersurfaces and Dupin hypersurfaces in Es^m are obtained.The classification theorems of 3-type hypersurfaces and null 2-type curves in Es^m are also proved.     

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

The notion of broken k-diamond partitions was introduced by Andrews and Paule.Let△k(n)denote the number of broken k-diamond partitions of n.Andrews and Paule also posed three conjectures on the congruences of△2(n)modulo 2,5 and 25.Hirschhorn and Sellers proved the conjectures for modulo 2,and Chan proved the two cases of modulo 5.For the case of modulo 3,Radu and Sellers obtained an infinite family of congruences for△2(n).In this paper,we obtain two infinite families of congruences for△2(n)modulo 3 based on a formula of Radu and Sellers,a 3-dissection formula of the generating function of triangular number due to Berndt,and the properties of the U-operator,the V-operator,the Hecke operator and the Hecke eigenform.For example,we find that△2(243n+142)≡△2(243n+223)≡0(mod 3).The infinite family of Radu and Sellers and the two infinite families derived in this paper have two congruences in common,namely,△2(27n+16)≡△2(27n+25)≡0(mod 3).     

ON THE GENERALIZED INVERSE NEVILLE—TYPE MATRIX—VALUED RATIONAL INTERPOLANTS

A new kind of matrix-valued rational interpolants is recursively established by means of generalized Samelson iverse for matrices,with scalar numerator and matrix-valued denominatror.In this respect,it is essentially different form that of the previous works [7,9],where the matrix-valued rational interpolants is in Thiele-type continued fraction form with matrix-valued numerator and scalar denominator.For both univariate and bivariate cases,sufficient conditions for existence,characterisation and univquenese in some sense are proved respectively,and an error formula for the univariate interpolating function is also given.The results obtained in this paper are illustrated with some numerical examples.     

THE POINCAR-BERTRAND FORMULA ON THE BUILDING DOMAIN OF COMPLEX BIBALLS

The Poincaré-Bertrand formula takes an important position in the study of complex singular integral.The Poincaré-Bertrand formula on the complex sphere in the multidimensional complex Euclidian spaces was given by Sheng Gong.Using the method of solid angular coefficient,the authors extend the Poincaré-Bertrand formula on the complex sphere to the building domain of the complex biballs,and obtain a more general Poincaré-Bertrand formula with the solid angular coefficients.     

A BINARY INFINITESIMAL FORM OF TEICHMLLER METRIC AND ANGLES IN AN ASYMPTOTIC TEICHMLLER SPACE

The geometry of Teichmller metric in an asymptotic Teichmller space is studied in this article. First, a binary infinitesimal form of Teichmller metric on AT(X) is proved.Then, the notion of angles between two geodesic curves in the asymptotic Teichmller space AT(X) is introduced. The existence of such angles is proved and the explicit formula is obtained. As an application, a sufficient condition for non-uniqueness geodesics in AT(X) is obtained.     

关于一个级数的计算公式

It is one of the most interesting problems in number theory to compute some especial series by using Zeta and Gamma functions,and results have been obtained for some especial series.In this paper,we give an important formula which is proved also by using Zeta and Gamma functions.     

A note on specializations of Grothendieck polynomials

Buch and Rimányi proved a formula for a specialization of double Grothendieck polynomials based on the Yang–Baxter equation related to the degenerate Hecke algebra. A geometric proof was found by Yong and Woo by constructing a Gröbner basis for the Kazhdan–Lusztig ideals. In this note, we give an elementary proof for this formula by using only divided difference operators.     

Hook,line and sinker: A bijective proof of the skew shifted hook-length formula

A few years ago, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes, both straight and shifted. The formula involves a sum over objects called excited diagrams, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall.Recently, the formula for skew straight shapes was proved by the author via a simple bumping algorithm. The aim of this paper is to extend this result to skew shifted shapes. Since straight skew shapes are special cases of skew shifted shapes, this is a bijection that proves the whole family of hook-length formulas, and is also the simplest known bijective proof for shifted (non-skew) shapes. The complexity of the algorithm is studied, and a weighted generalization of Naruse’s formula is also presented.     

On a robust version of the integral representation formula of nonlinear filtering

The paper is concerned with completing “unfinished business” on a robust representation formula for the conditional expectation operator of nonlinear filtering. Such a formula, robust in the sense that its dependence on the process of observations is continuous, was stated in [2] without proof. The main purpose of this paper is to repair this deficiency.The formula is “almost obvious” as it can be derived at a formal level by a process of integration-by-parts applied to the stochastic integrals that appear in the integral representation formula. However, the rigorous justification of the formula is quite subtle, as it hinges on a measurability argument the necessity of which is easy to miss at first glance. The continuity of the representation (but not its validity) was proved by Kushner [9] for a class of diffusions.Here we follow the definition given in [11].     

A Translative Integral Formula for Absolute Curvature Measures

Absolute curvature measures are certain positive variants of curvature measures which are defined by means of the kinematic measure of flats of a given dimension touching the examined body. A kinematic flat section formula for absolute curvature measures was proved by Baddeley and Rother and Zähle. We present here a translative version of this formula.     

Milnor numbers for surface singularities

An additive formula for the Milnor number of an isolated complex hypersurface singularity is shown. We apply this formula for studying surface singularities. Durfee's conjecture is proved for any absolutely isolated surface and a generalization of Yomdin singularities is given. This work was supported in part by a Spanish FPI'91 grant and by the Spanish project PB94-0291.     

Erzeugendensysteme und der A-Dimensionssatz in Atomaren Modularen Verbänden

In atomic modular lattices a special dimension can be introduced by atoms. The question was, whether the dimensional formula holds. Trying to prove this leads to a problem, formulated by Olaf Tamaschke (see [5]). It is shown here that an additional property is necessary, called atomic closed (atomar abgeschlossen). With this quality some new theorems can be proved. For instance: lattices not being atomic closed contain a special sublattice, and in lattices of finite length this property is equivalent to the validity of the dimensional formula.     

二重积分变量代换公式证明的探讨

在一般教材中二重积分变量代换公式的证明通常采用几何的方法,也有部分数学分析教材给与了严格的分析证明,但证明不便直观的几何说明.本文对二重积分变量代换公式进行了一些探讨,给出了一个较简洁直观的分析证明方法.     

Weighted sum formula for multiple zeta values

The sum formula is a basic identity of multiple zeta values that expresses a Riemann zeta value as a homogeneous sum of multiple zeta values of a given dimension. This formula was already known to Euler in the dimension two case, conjectured in the early 1990s for higher dimensions and then proved by Granville and Zagier. Recently a weighted form of Euler's formula was obtained by Ohno and Zudilin. We generalize it to a weighted sum formula for multiple zeta values of all dimensions.     

Wolfe线搜索下一类混合共轭梯度法的全局收敛性

本文给出了一个新的共轭梯度公式,新公式在精确线搜索下与DY公式等价,并给出了新公式的相关性质.结合新公式和DY公式提出了一个新的混合共轭梯度法,新算法在Wolfe线搜索下产生一个下降方向,并证明了算法的全局收敛性,并给出了数值例子.