On the Hartogs-Bochner phenomenon for CR functions in

Let be a compact, connected, -smooth and globally minimal hypersurface in which divides the projective space into two connected parts and . We prove that there exists a side, or , such that every continuous CR function on extends holomorphically to this side. Our proof of this theorem is a simplification of a result originally due to F. Sarkis.

     

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.

     

The structure of linear codes of constant weight

In this paper we determine completely the structure of linear codes over of constant weight. Namely, we determine exactly which modules underlie linear codes of constant weight, and we describe the coordinate functionals involved. The weight functions considered are: Hamming weight, Lee weight, two forms of Euclidean weight, and pre-homogeneous weights. We prove a general uniqueness theorem for virtual linear codes of constant weight. Existence is settled on a case by case basis.

     

关于Hilbert空间单位球面上等距延拓的注记

本文指出,文[1]中有关在单位球面S1[H]上的1-Lipschitz假设条件减弱为“局部1-Lipschitz”条件时,那里的等距定理仍然成立.     

Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras

We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean MV-algebra) can be uniquely extended to a sequentially continuous measure on the generated ukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on ukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields a characterization of the ukasiewicz tribes as bold algebras absolutely sequentially closed with respect to the extension of probabilities. The result generalizes the relationship between fields of sets and the generated -fields discovered by J. Novák. We introduce the category of bold algebras and sequentially continuous homomorphisms and prove that ukasiewicz tribes form an epireflective subcategory. The restriction to fields of sets yields the epireflective subcategory of -fields of sets.     

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.     

Automorphisms of Extensions of ℚ by a Direct Sum of Finitely Many Copies of ℚ

Let G be an extension of ℚ by a direct sum of r copies of ℚ. (1) If G is abelian, then G is a direct sum of r + 1 copies of ℚ and AutG ≅ GL(r + 1, Q); (2) If G is non-abelian, then G is a direct product of an extraspecial ℚ-group E and m copies of ℚ, where E/ζE is a linear space over Q with dimension 2n and m + 2n = r. Furthermore, let AutG′G be the normal subgroup of AutG consisting of all elements of AutG which act trivially on the derived subgroup G′ of G, and AutG/ζG,ζGG be the normal subgroup of AutG consisting of all central automorphisms of G which also act trivially on the center ζG of G. Then (i) The extension 1 → AutG′G → AutG → AutG′ → 1 is split; (ii) AutG′G/AutG/ζG,ζGG ≅ Sp(2n,Q) × (GL(m, Q) ⋉ ℚ(m)); (iii) AutG/ζG,ζGG/InnG ≅ ℚ(2nm).     

Nonvanishing at spatial extremity solutions of the defocusing nonlinear Schrödinger equation

We show local existence of certain type of solutions for the Cauchy problem of the defocusing nonlinear Schrödinger equation with pure power nonlinearity, in various cases of open sets, unbounded or bounded. These solutions do not vanish at the boundary or at infinity. We also show, in certain cases, that these solutions are unique and global.     

Study on a kind of $p$-Laplacian neutral differential equation with multiple variable coefficients

In this paper, we first discuss some properties of the neutral operator with multiple variable coefficients $(Ax)(t):=x(t)-\sum\limits_{i=1}^{n}c_i(t)x(t-\delta_i)$. Afterwards, by using an extension of Mawhin''s continuation theorem, a kind of second order $p$-Laplacian neutral differential equation with multiple variable coefficients as follows $$\left(\phi_p\left(x(t)-\sum\limits_{i=1}^{n}c_i(t)x(t-\delta_i)\right)''\right)''=\tilde{f}(t,x(t),x''(t))$$ is studied. Finally, we consider the existence of periodic solutions for two kinds of second-order $p$-Laplacian neutral Rayleigh equations with singularity and without singularity. Some new results on the existence of periodic solutions are obtained. It is worth noting that $c_i$ ($i=1,\cdots,n$) are no longer constants which are different from the corresponding ones of past work.     

Supersymmetric invariance and universal central extensions of lie supertriple systems

In this article, we discuss some properties of a supersymmetric invariant bilinear form on Lie supertriple systems. In particular, a supersymmetric invariant bilinear form on Lie supertriple systems can be extended to its standard imbedding Lie superalgebras. Furthermore, we generalize Garland's theory of universal central extensions for Lie supertriple systems following the classical one for Lie superalgebras. We solve the problems of lifting automorphisms and lifting derivations.