Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

离子交换富集-导数火焰原子吸收法测定自来水中Cu,Fe和Zn

本文研究了用 2 0 1× 7阳离子交换树脂对自来水中的微量元素进行交换富集 ,采用微量脉冲进样 导数火焰原子吸收法测定富集后溶液中的Cu ,Fe和Zn ,该方法灵敏度分别为 0 2 9,0 5 9和 0 0 6 μg·L- 1 ,精密度分别为 4 2 8% ,1 95 %和 2 2 8% ,检测限分别为 1 2 8,5 85和 0 6 8μg·L- 1 ,回收率分别为 91 13% ,10 1 34%和99 84 % ,本方法大大减少了需样量 ,简便快速 ,灵敏度高。     

Thermodynamic derivative properties and densities for hyperbaric gas condensates: SRK equation of state predictions versus Monte Carlo data

The ability of Soave–Redlich–Kwong cubic equation of state (SRK EoS) to predict densities and thermodynamic derivative properties such as thermal expansivity, isothermal compressibility, calorific capacity, and Joule–Thompson coefficients, for two gas condensates over a wide range of pressures (up to 110 MPa) was studied. The predictions of the EoS were compared to Monte Carlo simulation data obtained by Lagache et al. [M.H. Lagache, P. Ungerer, A. Boutin, Fluid Phase Equilibr. 220 (2004) 221]. Two completely different alpha functions for the SRK EoS attractive term were used and their respective effects on the predictions of such properties were analyzed. Also, two different forms of the crossed terms of the attractive parameter, a_ij, and three expressions of the crossed terms of the repulsive parameter, b_ij, were combined in different ways, and predictions were carried out. Little sensitivity of the properties on the chosen alpha function, except for the calorific capacities, was found in the systems studied. The most commonly used combination rules to model phase behavior of reservoir fluids, i.e. geometric and arithmetic forms of a_ij and b_ij, respectively, predicted very deficient results for these fluids at extreme conditions, specially for density calculations.     

Riemann Zeta函数的六阶和

利用概率论与组合数学的方法,研究了与Riemann-zeta函数ξ(k)的部分和ξ_n(k)有关的一些级数,计算出了一些重要的和式．特别的,Euler的著名结果5ξ(4)= 2ξ~2(2)能够从四阶和式直接推出．因此,通过计算全部的11个六阶和式,研究它们之间的非平凡关系,就有可能得到ξ(3)的数值．     

Numerical solution of differential equations using Sinc method based on the interpolation of the highest derivatives

In general, we will use the numerical differentiation when dealing with the differential equations. Thus the differential equations can be transformed into algebraic equations and then we can get the numerical solutions. But as we all have known, the numerical differentiation process is very sensitive to even a small level of errors. In contrast it is expected that on average the numerical integration process is much less sensitive to errors. In this paper, based on the Sinc method we provide a new method using Sinc method incorporated with the double exponential transformation based on the interpolation of the highest derivatives (SIHD) for the differential equations. The error in the approximation of the solution is shown to converge at an exponential rate. The numerical results show that compared with the exiting results, our method is of high accuracy, of good convergence with little computational efforts. It is easy to treat nonhomogeneous mixed boundary condition for our method, which is unlike the traditional Sinc method.     

用定义求解高等数学中的有关问题

应用导数的定义，为分段函数的分界点提供了一种行之有效的求导方法，利用微分的定义判断函数在分界点及其他特殊点的可微性，运用定和分的定义求一类特殊类型的极限．     

Gauge Dependence of the Effective Gravitational Field

We analyze the gauge ambiguity problem for the effective gravitational field from the standpoint of the measurement process. The motion of a test point particle playing the role of a measuring device is investigated in the field of a point gravitating mass in the one-loop approximation. We show that the gravitational field value determined from the effective equations of motion of the device explicitly depends on the Feynman gauge parameter. This dependence is essential in the sense that a gauge variation cannot be interpreted as a deformation of the reference frame, which leads to a gauge ambiguity in the values of observed quantities. In particular, this result disproves the hypothesis that gauge dependence is canceled in the effective equations of motion of a classical point particle.     

一些包含Lucas数的恒等式

利用第一类Chebyshev多项式的性质以及其与Lucas数的关系得到了关于Lucas数立方的一些恒等式.     

Lattice gas generalization of the hard hexagon model. II. The local densities as elliptic functions

In a previous paper we considered an extension of the hard hexagon model to a solvable two-dimensional lattice gas with at most two particles per pair of adjacent sites. Here we use various mathematical identities (in particular Gordon's generalization of the Rogers-Ramanujan relations) to express the local densities in terms of elliptic functions. The critical behavior is then readily obtained.Supported in part by the National Science Foundation Grant MCS 8201733.