Class number bounds and Catalan's equation

We improve a criterion of Inkeri and show that if there is a solution to Catalan's equation

with and prime numbers greater than 3 and both congruent to 3 , then and form a double Wieferich pair. Further, we refine a result of Schwarz to obtain similar criteria when only one of the exponents is congruent to 3 . Indeed, in light of the results proved here it is reasonable to suppose that if , then and form a double Wieferich pair.

     

An algebraic multigrid method for elasticity based on an auxiliary topology with edge matrices

This article introduces a novel approach to algebraic multigrid methods for large systems of linear equations coming from finite element discretizations of certain elliptic second-order partial differential equations. Based on a discrete energy made up of edge and vertex contributions, we are able to develop coarsening criteria that guarantee two-level convergence even for systems of equations such as linear elasticity . This energy also allows us to construct prolongations with prescribed sparsity pattern that still preserve kernel vectors exactly. These allow for a straightforward optimization that simplifies parallelization and reduces communication on coarse levels. Numerical experiments demonstrate efficiency and robustness of the method and scalability of the implementation.     

Trajectory sensitivity analysis of hybrid systems with sliding motion

This paper concerns hybrid control systems exhibiting the sliding motion. It is assumed that the system’s motion on the switching surface is described by index-2 differential–algebraic equations (DAEs), which guarantee the accurate tracking of the sliding motion surface. For those systems the sensitivity analysis is performed with the help of solutions to system’s linearized equations. The paper states conditions under which the solutions to the linearized equations for original DAEs and the solutions to linearized equations for underlying ordinary differential equations (ODEs) exhibit similar properties. Due to the presence of sliding motion, we restrict the class of admissible control functions to piecewise differentiable functions. The presented sensitivity analysis might be useful in deriving the weak maximum principle for optimal control problems with hybrid systems exhibiting sliding motion and in establishing the global convergence of algorithms for solving those problems.     

The Essentially Equational Theory of Horn Classes

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see [2]). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see [1]). Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes are in fact (equivalent to) quasivarieties.     

Dynamical Lie algebraic treatment for the A+BC scattering

We report the study of translational‐vibrational energy transfer in the A+BC scattering using the dynamical Lie algebraic approach combined with the intermediate picture. The rotational sudden approximation is applied to treat the rotational motion of the BC molecule, which is regarded as an anharmonic oscillator. The calculated results show that the transition probabilities increase with increasing rotational quantum number. Comparison with those obtained in the collinear collision of system A+BC manifests that the transition probabilities here increase indeed. © 2001 John Wiley & Sons, Inc. Int J Quant Chem 81: 214–221, 2001     

半环上的赋值与实赋值

在有单位元的交换半环上,引入赋值和实赋值的概念,在此基础上建立有关半环上赋值和实赋值的一些基本结论。此外,引入了赋值与亚序之间的相容性,并通过赋值与亚序的相容性建立了一个赋值是实赋值的充分必要条件。     

并行二级多分裂迭代方法

1．二级多分裂迭代法本义考虑求解线性代数方程组的几种同步与异步二级多分裂迭代法，其中A为nXn非奇异矩阵．多分别选代法考虑A的多种分裂用IF负对角权矩阵EI（ZEI一川进行组合，可得l＝1．多分裂迭代法任给刘始向量。0对k—1，2，…，直到收敛如果（1．2）中对所有l，MI＝Dilg（Al；…；A。。），EI＝（O，…，O，I，O，…，O），则多分裂迭代法退化成块Jacobi迭代法，同样，多分裂迭代法具有自然的并行性，若EI的某个对角元为0，则从的对应分量无需计算．当然，（1．3）可用直接法精确求解，如Gauss消去法，LU分解法等，但有…     

用代数多重网格法求解一维分裂格式的Euler方程

提出了代数多重网格法(AMG)的一种新算法。新算法改进了插值公式和粗网格方程,并把它应用到求解一维的分裂格式Euler方程。数值结果表明,对于具有高CFL条件数的Euler方程,代数多重网格法可以求解;对于Gaus-Seidel方法求解不能收敛的代数方程组,代数多重网格法求解可以收敛。新算法改进了代数多重网格法的收敛性和扩展了它的应用范围,数值结果表明了它的有效性和强壮性。     

The sufficient and necessary conditions of unconditional stability and the delay bound of the third-order neutral delay differential equation

In this paper,the sufficient and necessary conditions of the unconditional stability.andthe delay bound of the third-order neutral delay differential equation with real constantcoefficients are given.The conditions are brief and practical algebraic criterions.Furthermore,we get the delay bound