The push-out region of an immersed manifold

We consider immersions: and construct a subspace of which corresponds to a set of embedded manifolds which are either parallel to f, tubes around f or, in general, partial tubes around f. This space is invariant under the action of the normal holonomy group, We investigate the case where is non-trivial and obtain some results on the number of connected components of . Received 24 March 2000.     

亚热带高原湖泊水质方程一类自由初边值问题

亚热带高原湖泊除了有来自工业、农业，生活污水及落尘的外部污染，还有来自湖泊藻类水生生物循环及底泥的污染物释放内污染源污染。因此，由于进出水量不均衡性导致湖水边界的自由变动。本文首先运用微元分析法导出在外源和内源双重污染下湖泊水质模型，然后对一类自由初边值问题通过对非柱形边界条件的齐次约化，运用变分型算子的向量扩张和拟单调方法获得解的存在性、唯一性。     

Dynamics of implicit operations and tameness of pseudovarieties of groups

This work gives a new approach to the construction of implicit operations. By considering ``higher-dimensional' spaces of implicit operations and implicit operators between them, the projection of idempotents back to one-dimensional spaces produces implicit operations with interesting properties. Besides providing a wealth of examples of implicit operations which can be obtained by these means, it is shown how they can be used to deduce from results of Ribes and Zalesski, Margolis, Sapir and Weil, and Steinberg that the pseudovariety of -groups is tame. More generally, for a recursively enumerable extension closed pseudovariety of groups , if it can be decided whether a finitely generated subgroup of the free group with the pro- topology is dense, then is tame.

     

Study of an identity

We solve the word problem of the identity x(yz) = (xy)(yz) by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the one-generated free algebra relative to the above identity. Received March 23, 2001; accepted in final form July 6, 2002.     

Test Sets in Free Metabelian Lie Algebras

We calculate the test rank of a finite rank free metabelian Lie algebra over an arbitrary field and characterize the test sets for these algebras. We prove that each automorphism that is the identity modulo the derived subalgebra and that acts as the identity on some test set is an inner automorphism.     

Near Best Tree Approximation

Tree approximation is a form of nonlinear wavelet approximation that appears naturally in applications such as image compression and entropy encoding. The distinction between tree approximation and the more familiar n-term wavelet approximation is that the wavelets appearing in the approximant are required to align themselves in a certain connected tree structure. This makes their positions easy to encode. Previous work [4,6] has established upper bounds for the error of tree approximation for certain (Besov) classes of functions. This paper, in contrast, studies tree approximation of individual functions with the aim of characterizing those functions with a prescribed approximation error. We accomplish this in the case that the approximation error is measured in L ₂, or in the case p2, in the Besov spaces B _p ⁰(L _p ), which are close to (but not the same as) L _p . Our characterization of functions with a prescribed approximation order in these cases is given in terms of a certain maximal function applied to the wavelet coefficients.     

Maximally Symmetric Trees

We characterize the best model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct best model geometries in an appropriate sense – these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.     

Vector Lattices on a Set of Two Generators

It is proved that the center of an automorphism group Aut(FVL2) of a free vector lattice FVL2 on a set of two free generators is isomorphic to a multiplicative group of positive reals. It is shown that the free vector lattice FVL2 has an isomorphic representation by continuous piecewise linear functions of the real line; as a consequence, the ideal lattice and the root system for rectifying ideals in FVL2 are amply described. Similar results are obtained for a free vector lattice FVL2 _Q 2 generated by two elements over a field of rational numbers.     

Extension theorems for Stokes and Lamé equations for nearly incompressible media and their applications to numerical solution of problems with highly discontinuous coefficients

We prove extension theorems in the norms described by Stokes and Lamé operators for the three‐dimensional case with periodic boundary conditions. For the Lamé equations, we show that the extension theorem holds for nearly incompressible media, but may fail in the opposite limit, i.e. for case of absolutely compressible media. We study carefully the latter case and associate it with the Cosserat problem. Extension theorems serve as an important tool in many applications, e.g. in domain decomposition and fictitious domain methods, and in analysis of finite element methods. We consider an application of established extension theorems to an efficient iterative solution technique for the isotropic linear elasticity equations for nearly incompressible media and for the Stokes equations with highly discontinuous coefficients. The iterative method involves a special choice for an initial guess and a preconditioner based on solving a constant coefficient problem. Such preconditioner allows the use of well‐known fast algorithms for preconditioning. Under some natural assumptions on smoothness and topological properties of subdomains with small coefficients, we prove convergence of the simplest Richardson method uniform in the jump of coefficients. For the Lamé equations, the convergence is also uniform in the incompressible limit. Our preliminary numerical results for two‐dimensional diffusion problems show fast convergence uniform in the jump and in the mesh size parameter. Copyright © 2002 John Wiley & Sons, Ltd.