Combings of groups and the grammar of reparameterization

A new construction of combings is used to distinguish between several previously indistinguishable classes of groups associated to the theory of automatic groups and non-positive curvature in group theory. We construct synchronously bounded combings for a class of groups that are neither bicombable nor automatic. The linguistic complexity of these combings is analysed: in many cases the language of words in the combing is an indexed language.     

The effect of concentrating potentials in some singularly perturbed problems

The equation with boundary Dirichlet zero data is considered in a bounded domain . Under the assumption that concentrates, as , round a manifold and that f is a superlinear function, satisfying suitable growth assumptions, the existence of multiple distinct positive solutions is proved. Received: 19 December 2000 / Accepted: 8 May 2001 / Published online: 5 September 2002     

On the symplectic structures on moduli space of stable sheaves over a K3 or abelian surface and on Hilbert scheme of points

Fix a smooth very ample curve C on a K3 or abelian surface X. Let $ \mathcal{M} $ denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X, of a line bundle of degree d over C, and s is a nonzero section of F. Assume d to be sufficiently large such that F has a nonzero section. The pullback of the Mukai symplectic form on moduli spaces of stable sheaves over X is a holomorphic 2-form on $ \mathcal{M} $. On the other hand, $ \mathcal{M} $ has a map to a Hilbert scheme parametrizing 0-dimensional subschemes of X that sends (F, s) to the divisor, defined by s, on the curve defined by the support of F. We prove that the above 2-form on $ \mathcal{M} $ coincides with the pullback of the symplectic form on the Hilbert scheme.     

Semi-implicit complementary volume scheme for solving level set like equations in image processing and curve evolution

Summary. We introduce linear semi-implicit complementary volume numerical scheme for solving level set like nonlinear degenerate diffusion equations arising in image processing and curve evolution problems. We study discretization of image selective smoothing equation of mean curvature flow type given by Alvarez, Lions and Morel ([3]). Solution of the level set equation of Osher and Sethian ([26], \[30]) is also included in the study. We prove and estimates for the proposed scheme and give existence of its (generalized) solution in every discrete time-scale step. Efficiency of the scheme is given by its linearity and stability. Preconditioned iterative solvers are used for computing arising linear systems. We present computational results related to image processing and plane curve evolution. Received April 25, 2000 / Revised version received June 11, 2001 / Published online November 15, 2001     

Precise rate in the law of iterated logarithm for <Emphasis Type="Italic">ρ</Emphasis>-mixing sequence

Let {X, X _n;n≥1} be a strictly stationary sequence of ρ-mixing random variables with mean zero and finite variance. Set . Suppose lim _n→∞ and , where d=2, if −1<b<0 and d>2(b+1), if b≥0. It is proved that, for any b>−1,

On the structure of inner ideals of nest algebras

IfA is a nest algebra andA _s=A ∩ A* , whereA* is the set of the adjoints of the operators lying inA, then the pair (A, A _s) forms a partial Jordan *-triple. Important tools when investigating the structure of a partial Jordan *-triple are its tripotents. In particular, given an orthogonal family of tripotents of the partial Jordan *-triple (A, A _s), the nest algebraA splits into a direct sum of subspaces known as the Peirce decomposition relative to that family. In this paper, the Peirce decomposition relative to an orthogonal family of minimal tripotents is used to investigate the structure of the inner ideals of (A, A _s), whereA is a nest algebra associated with an atomic nest. A property enjoyed by inner ideals of the partial Jordan *-triple (A, A _s) is presented as the main theorem. This result is then applied in the final part of the paper to provide examples of inner ideals. A characterization of the minimal tripotents as a certain class of rank one operators is also obtained as a means to deduce the principal theorem.     

Pointwise gradient estimates of solutions to onedimensional nonlinear parabolic equations

We present here an improved version of the method introduced by the first author to derive pointwise gradient estimates for the solutions of one-dimensional parabolic problems. After considering a general qualinear equation in divergence form we apply the method to the case of a nonlinear diffusion-convection equation. The conclusions are stated first for classical solutions and then for generalized and mild solutions. In the case of unbounded initial datum we obtain several regularizing effects for t > 0. Some unilateral pointwise gradient estimates are also obtained. The case of the Dirichlet problem is also considered. Finally, we collect, in the last section, several comments showing the connections among these estimates and the study of the free boundaries associated to the solutions of the diffusion-convection equation.     

Effects of uncertainties in the domain on the solution of Dirichlet boundary value problems

Summary. A domain with possibly non-Lipschitz boundary is defined as a limit of monotonically expanding or shrinking domains with Lipschitz boundary. A uniquely solvable Dirichlet boundary value problem (DBVP) is defined on each of the Lipschitz domains and the limit of these solutions is investigated. The limit function also solves a DBVP on the limit domain but the problem can depend on the sequences of domains if the limit domain is unstable with respect to the DBVP. The core of the paper consists in estimates of the difference between the respective solutions of the DBVP on two close domains, one of which is Lipschitz and the other can be unstable. Estimates for starshaped as well as rather general domains are derived. Their numerical evaluation is possible and can be done in different ways. Received October 16, 2001 / Revised version received January 16, 2002 / Published online: April 17, 2002 RID="*" ID="*" The research was funded partially by the National Science Foundation under the grants NSF–Czech Rep. INT-9724783 and NSF DMS-9802367 RID="**" ID="**" Support for Jan Chleboun coming from the Grant Agency of the Czech Republic through grant 201/98/0528 is appreciated     

À propos de l’indice de composition des nombres

 We define the index of composition λ(n) of an integer n ⩾ 2 as λ(n) = log n/log γ(n), where γ(n) stands for the product of the primes dividing n, and first establish that λ and 1/λ both have asymptotic mean value 1. We then establish that, given any ɛ > 0 and any integer k ⩾ 2, there exist infinitely many positive integers n such that . Considering the distribution function F(z,x) := #{n < x : λ(n) > z}, we prove that, given 1 < z < 2 and ɛ > 0, then, if x is sufficiently large,