Free subgroups of groups with a single defining relation

Summary This paper proves the following theorem. LetG be a group generated byA andB. LetW be a word inA andB which in cyclically reduced form contains bothA andB. IfG has the presentationG= ^u =I>, u =2, then there exists an integerv ₀ such thatA, B ^v generate a free subgroup ofG for allv =v ₀. A suitable value forv ₀ is easily calculated. The result can be generalized by replacingW ^u byWW whereW is obtained fromW by means of applying certain automorphisms of period 2 toW. Here it is required that the wordWW satisfies an easily verifiable extra condition.     

The normed and Banach envelopes of WeakL 1

The space WeakL ¹ consists of all Lebesgue measurable functions on [0,1] such thatq(f)=supcλ{t:|f(t)|>c} c>0 is finite, where λ denotes Lebesgue measure. Let ρ be the gauge functional of the convex hull of the unit ball {f:q(f)≤1} of the quasi-normq, and letN be the null space of ρ. The normed envelope of WeakL ¹, which we denote byW, is the space (WeakL ¹/N, ρ). The Banach envelope of WeakL ¹, , is the completion ofW. We show that is isometrically lattice isomorphic to a sublattice ofW. It is also shown that all rearrangement invariant Banach function spaces are isometrically lattice isomorphic to a sublattice ofW.     

Fractional Brownian motion and packing dimension

LetX(t) (tR ^N ) be a fractional Brownian motion of index inR ^d . For any compact setER ^N , we compute the packing dimension ofX(E).Partially supported by an NSF grant.     

On almost sure noncentral limit theorems

LetX(t) be a fractional Brownian motion or Hermite process of indexH. SetX _m (t)=m ^–H X(mt), which we view as an element ofC[0, 1]. Let {x} denote a point mass at x. Then The corresponding results for certain partial sums in the domain of attraction toX(t) are shown to hold.     

Efficient nonparametric estimation of distribution density in the basis of algebraic polynomials

A nonparametric estimatef ^* of an unknown distribution densityf W is called locally minimax iff it is minimax for all not too small neighborhoodsW _g ,g W, simultaneously, whereW is some dense subset ofW. Radaviius and Rudzkis proved the existence of such an estimate under some general conditions. However, the construction of the estimate is rather complicated. In this paper, a new estimate is proposed. This estimate is locally minimax under some additional assumptions which usually hold for orthobases of algebraic polynomial and is almost as simple as the linear projective estimate. Thus, it takes a form convenient for the construction of an adaptive estimator, which does not usea-priori information about the smoothness of the density. The adaptive estimation problem is briefly discussed and an unknown density fitting by Jacobi polynomials is investigated more explicitly.     

Points entiers et modèles des courbes algébriques

LetC: F(X, Y)=0 be an algebraic curve of genus 1, over a number fieldK. In this work we construct a modelG(Z,W)=0 of the curveC, over a fixed number fieldL with , having the following property: ifx, y are algebraic integers ofK withF(x, y)=0, thenz=Z(x, y), w=W(x, y) are algebraic integers ofL withG(z, w)=0. Also, the total degree and the height of the polynomialG are bounded. As an application of this result, we give a reduction of the problem to determine effectively the integer points on a curve of genus 2, over a number field, to the problem to determine effectively the integer solutions of an equation of degree 4, over a number field. Also we consider a family of curvesF(X, Y)=0, defined over a number fieldK, which are cyclic coverings ofP ¹ and we calculate, using our previous results, an explicit upper bound for the height of the integer points ofF(X, Y)=0 overK.

     

De Branges spaces of entire functions closed under forming difference quotients

With a de Branges spaceH(E) of entire functions a functionq, analytic in ⁺ and satisfying there Imq(z)0, is associated. In this note we give necessary and sufficient conditions forH(E) to be closed under forming certain difference quotients in terms of the poles and zeros ofq. Moreover, we obtain a criterion whether a functionq possessing the above mentioned properties can be written as the quotient of the right upper and right lower entry of an entire matrix functionW (z) satisfying a certain kernel condition.     

On the LambertW function

The LambertW function is defined to be the multivalued inverse of the functionw we ^w . It has many applications in pure and applied mathematics, some of which are briefly described here. We present a new discussion of the complex branches ofW, an asymptotic expansion valid for all branches, an efficient numerical procedure for evaluating the function to arbitrary precision, and a method for the symbolic integration of expressions containingW.     

On the martingale problem for Banach space valued stochastic differential equations

LetE denote a real separable Banach space and letZ=(Z(t, f) be a family of centered, homogeneous, Gaussian independent increment processes with values inE, indexed by timet0 and the continuous functionsf:[0,t] E. If the dependence ont andf fulfills some additional properties,Z is called a gaussian random field. For continuous, adaptedE-valued processesX a stochastic integral processY = ₀ ^. Z(t, X)(dt) is defined, which is a continuous local martingale with tensor quadratic variation[Y] = ₀ ^. Q(t, X)dt, whereQ(t, f) denotes the covariance operator ofZ(t, f).Y is called a solution of the homogeneous Gaussian martingale problem, ifY = ₀ ^. Z(t, Y)(dt). Such solutions occur naturally in connection with stochastic differential equations of the type (D):dX(t)=G(t, X) dt+Z(t, X)(dt), whereG is anE-valued vector field. It is shown that a solution of (D) can be obtained by a kind of variation of parameter method, first solving a deterministic integral equation only involvingG and then solving an associated homogeneous martingale problem.     

On theg-convergence of nonlinear elliptic operators related to the dirichlet problem in variable domains

A concept ofG-convergence of operatorsA _s:W _s W _s ^* to an operatorA:W W ^* is introduced and studied under a certain relationship between Banach spacesW _s,s=1,2, ..., and a Banach spaceW. It is shown that conditions establishing this relationship for abstract spaces are satisfied by the Sobolev spacesW ^k,m ( _s) andW ^k,m(), where { _s} is a sequence of perforated domains contained in a bounded region R ⁿ. Hence, the results obtained for abstract operators can be applied to the operators of the Dirichlet problem in the domains _s.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 7, pp. 948–962, July, 1993.     

A note on sub-multiplicative norms

Summary IfX is a finite-dimensional linear space andL(X) the linear space of linear operators onX thenL(X) may be represented asXX ^*. IfE={e ₁, ...,e _n } is a basis forX and e _j y _j ^* is a typical element ofXX ^*, then norms can be introduced onL(X) in the form y _j ^* e _j . Given that the norm onX isE-absolute we derive a necessary and sufficient condition for the norm onL(X) to be submultiplicative.     

On the Influence of Weights on Extremes

Let X ₁, ..., X_n be an i.i.d. sequence of random variables, from an unknown distribution F, and X ₁ ^W , ... X _n ^W be a sample from , the weighted empirical distribution function of X ₁, ..., X_n. We define the order statistics X _1,n ^W ... X _n,n ^W of X ₁ ^W , ..., X _n ^W . Under suitable assumptions on weights, we study the influence of the maxima in the construction of limit theorems. We choose a resample size m(n) and we derive conditions on m(n) for the in probability and with probability 1 consistency of X _m(n),m(n) ^W . The presence of weights has an influence on the resample size and requires the use of new tools. When X _n,n is in the domain of attraction of an extreme value distribution, m(n) , and , as n , all our results hold.     

Sojourns and future infima of planar Brownian motion

Summary Let {W(t); 0t1} be a two-dimensional Wiener process starting from 0. We are interested in the almost sure asymptotic behaviour, asr tends to 0, of the processesX(r) andY(r), whereX(r) denotes the total time spent byW in the ball centered at 0 with radiusr andY(r) the distance between 0 and the curve {W(t);rt1}. While a characterization of the lower functions ofY was previously established by Spitzer [S], we characterize via integral tests its upper functions as well as the upper and lower functions ofX.     

Quasicomplete factorizations of rational matrix functions

It is shown that within the class ofn×n rational matrix functions which are analytic at infinity with valueW()=I _n, any rational matrix functionW is the productW=W ₁...W _p of rational matrix functionsW ₁,...,W _p of McMillan degree one. Furthermore, such a factorization can be established with a number of factors not exceeding 2(W)–1, where (W) denotes the McMillan degree ofW.     

Martin boundary of unlimited covering surfaces

LetW be an open Riemann surface and ap-sheeted (1<p<∞) unlimited covering surface ofW. Denote by Δ¹ (resp., ) the minimal Martin boundary ofW (resp., ). For ζ ∈ Δ, let ζ be the (cardinal) number of the set of pionts which lie over ζ and the class of open connected subsetsM ofW such thatM∪{ζ} is a minimal fine neighborhood of ζ. Our main result is the following: , where is the number of components of π^-1 M and π is the projection of ontoW. Moreover, some applications of the above results are discussed whenW is the unit disc.     

Building ofGL(m, D) and centralizers

LetG=GL(m, D) whereD is a central division algebra over a commutative nonarchimedean local fieldF. LetE/F be a field extension contained inM(m, D). We denote byI (resp.I _E) the nonextended affine building ofG (resp. of the centralizer ofE ^x inG). In this paper we prove that there exists a uniqueG _E-equivariant affine mapj _EI_EI. It is injective and its image coincides with the set ofE ^x-fixed points inI. Moreover, we prove thatj _E is compatible with the Moy-Prasad filtrations.This author's contribution was written while he was a post-doctoral student at King's College London and supported by an european TMR grant     

Spectral representation of generalized transition kernels

Let (X, A) be a set with a countably σ-generated “Borel” field of subsets; letW be a “Borel” subset of the product of (X, A) with the real line ℝ and its Borel fieldB; and for eachx∈X let γ _x be a measure on the “slice”W _x={(w, t)∈W:w=x}. It is shown that, under reasonable conditions, the σ-field A⊗B|W can be generated by a real-valued functiong in such a way that, given any measurablef:W→ℝ,g can be chosen to be arbitrarily close tof and so that its “slice-integrals” coincide with those off. This theorem is the first step in a study of monotonic sequences of countably generated σ-fields.     

A general theory of structure spaces with applications to spaces of prime ideals

A structure space is a quadrupleX=(X, d, A, P), where for some setR, X A=2 ^R ,d:X×X A is defined byd(I, J)=J–I, andP is the family of cofinite subsets ofR. Forr P, I X, N _r (I)={J X: d(I, J) r},To(X)={Q X: if x Q there is anr P such thatN _r (x) Q}. ThenTo(X) is a (not usually Hausdorff) topology onX called the hull-kernel topology. Replacing d byd ^*, whered ^* (I, J)=d(J, I), or byd ^s, whered ^s (I, J.)=d(I, J) d ^* (I, J), and proceeding in the obvious way yields thedual hull-kernel topology To(X ^*) andsymmetric topology To(X ^s ). The latter is always a zero-dimensional Hausdorff space. When R is a commutative ring with identity andX is a collection of proper prime ideals ofR, To(X ^s ) is usually called thepatch topology. Our generality enables us to improve on known results in the case of space of prime ideals and to apply this theory to a wide variety of algebraic structures. In particular, we establish criteria for a subspace of a structure space to be closed in the symmetric topology; we establish a duality between families of maximal elements in the hull-kernel topology and families of minimal elements in the dual hull-kernel topology of subspaces that are closed in the symmetric topology; we use topological constructions to generalize certain ring theoretic notions, such as radical ideals an annihilator ideals; we use this theory to obtain new results about subspaces of the space prime ideals of a reduced, commutative ring.Presented by F. E. J. Linton.This author's research was supported by a grant from the CUNY-PSC research award program.     

Path properties of an infinite system of Wiener processes

Let be a Poisson process on ^d of intensity and letW ₁(t),W ₂ (t),..., be a sequence of independent Wiener processes. LetW _i (t)=X _i +W _i (t) whereX ₁,X ₂,..., are the points of . Consider the processess(t)=#{i:X _i (t)1}. These and related processes are studied.