Filters compatible with isomorphism testing

Like the lower central series of a nilpotent group, filters generalize the connection between nilpotent groups and graded Lie rings. However, unlike the case with the lower central series, the associated graded Lie ring may share few features with the original group: e.g. the associated Lie ring can be trivial or arbitrarily large. We determine properties of filters such that every isomorphism between groups is induced by an isomorphism between graded Lie rings.     

12β-Acetyloxyperforatin,a New Limonoid from Harrisonia Perforata

A new A, D-seco limonoid, named 12-acetyloxyperforatin (1), along with three known ones, were isolated from the leaves of Harrisonia perforata. Their structures were elucidated on the basis of spectroscopic analysis, including extensive NMR techniques and computational modelling. These compounds showed no inhibitory activity against the 11β-HSD1 enzyme.     

The behavior of differential forms under purely inseparable extensions

Let F be a field of characteristic 2. In this paper we give a complete computation of the kernel of the homomorphism $H_2^{m+1}(F)?H_2^{m+1}(L)$ induced by scalar extension, where $L/F$ is a purely inseparable extension (of any degree), $H_2^{m+1}(F)$ is the cokernel of the Artin–Schreier operator $?:{\mathrm{\Omega }}_F^m?{\mathrm{\Omega }}_F^m/\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$ given by: $x\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}?(x^2?x)\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}+\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$, where ${\mathrm{\Omega }}_F^m$ is the space of absolute m-differential forms over F and d is the differential operator. Other related results are included.     

Convergence of solutions for the fractional Cahn–Hilliard system

This paper deals with the Cauchy–Dirichlet problem for the fractional Cahn–Hilliard equation. The main results consist of global (in time) existence of weak solutions, characterization of parabolic smoothing effects (implying under proper condition eventual boundedness of trajectories), and convergence of each solution to a (single) equilibrium. In particular, to prove the convergence result, a variant of the so-called ?ojasiewicz–Simon inequality is provided for the fractional Dirichlet Laplacian and (possibly) non-analytic (but $C^1$) nonlinearities.     

Congruence criteria for finite subsets of complex projective and complex hyperbolic spaces

We investigate congruence classes and direct congruence classes of m-tuples in the complex projective space ℂP ⁿ . For direct congruence one allows only isometries which are induced by linear (instead of semilinear) mappings. We establish a canonical bijection between the set of direct congruence classes of m-tuples of points in ℂP ⁿ and the set of equivalence classes of positive semidefinite Hermitean m×m-matrices of rank at most n+1 with 1's on the diagonal. As a corollary we get that the direct congruence class of an m-tuple is uniquely determined by the direct congruence classes of all of its triangles, provided that no pair of points of the m-tuple has distance π/2. Examples show that the situation changes drastically if one replaces direct congruence classes by congruence classes or if distances π/2 are allowed. Finally we do the same kind of investigation also for the complex hyperbolic space ℂH ⁿ . Most of the results are completely analogous, however, there are also some interesting differences. Received: 15 January 1996     

Numerical methods for finding multiple eigenvalues of matrices depending on parameters

Summary. Let be a square matrix dependent on parameters and , of which we choose as the eigenvalue parameter. Many computational problems are equivalent to finding a point such that has a multiple eigenvalue at . An incomplete decomposition of a matrix dependent on several parameters is proposed. Based on the developed theory two new algorithms are presented for computing multiple eigenvalues of with geometric multiplicity . A third algorithm is designed for the computation of multiple eigenvalues with geometric multiplicity but which also appears to have local quadratic convergence to semi-simple eigenvalues. Convergence analyses of these methods are given. Several numerical examples are presented which illustrate the behaviour and applications of our methods. Received December 19, 1994 / Revised version received January 18, 1996     

杂多酸催化合成乙酸乙酯

回流吸附法制备的负载型12-钨磷酸(HPW/C)是合成乙酸乙酯的高效催化剂。最佳反应条件下乙醇转化率达96％,酯化选择性100％。催化剂的高活性是由于HPW在活性炭上高度分散,使活性位增多,有效酸量增大。HPW/C还具有热稳定性高和不易流失等优点。     

Reducing systems of linear differential equations to a passive form

In this paper, an application of the Riquer-Thomas-Janet theory is described for the problem of transforming a system of partial differential equations into a passive form, i.e., to a special form which contains explicitly both the equations of the initial system and all their nontrivial differential consequences. This special representation of a system markedly facilitates the subsequent integration of the corresponding differential equations. In this paper, the modern approach to the indicated problem is presented. This is the approach adopted in the Knuth-Bendix procedure [13] for critical-pair/completion and then Buchberger's algorithm for completion of polynomial ideal bases [13] (or, alternatively, for the construction of Groebner bases for ideals in a differential operator ring [14]). The algorithm of reduction to the passive form for linear system of partial differential equations and its implementation in the algorithmic language REFAL, as well as the capabilities of the corresponding program, are outlined. Examples illustrating the power and efficiency of the system are presented.