Some extensions of the Hewitt-Savage zero-one law

Summary Let denote the class of infinite product probability measures = ₁× ₂× defined on an infinite product of replications of a given measurable space (X, A), and let denote the subset of for which (A) =0 or 1 for each permutation invariant event A. Previous works by Hewitt and Savage, Horn and Schach, Blum and Pathak, and Sendler (referenced in the paper) discuss very restrictive sufficient conditions under which a given member , of belongs to . In the present paper, the class is shown to possess several closure properties. E.g., if and _{0 n} for some n 1, then ₀× ₁× ₂×.... While the current results do not permit a complete characterization of they demonstrate conclusively that is a much larger subset of than previous results indicated. The interesting special case X={0,1} is discussed in detail.Research supported by the National Science Foundation under grant No. MCS75-07556     

Semicontinuità inferiore di un funzionale integrale dipendente da funzioni di classeL p a valori in uno spazio di Banach

Summary We study the sequential lower semicontinuity of an integral functional I: L ^s (, X) x L ^q (, Y) [– , ] where X and Y are separable B-spaces and is a finite positive regular complète measure. A necessary and sufficient condition is given on the integrand for the sequential lower semicontinuity of the integral with respect to the strong by weak topology on L ^s (, X)×L ^q (, Y).

---

---

Lavoro svolto nell'ambito del «Laboratorio per la matematica applicata» del C.N.R. presso l'Università di Genova.     

Fractional integrodifferentiation in Hölder classes of arbitrary order

Hölder classes of variable order (x) are introduced and it is shown that the fractional integralI ₀₊ has Hölder order (x)+ (0 < , ₊, +₊ < 1, ₊ = sup (x)).     

Covering a convex body by smaller homothetic copies

Let a convex bodyAE ⁿ be covered bys smaller homothetic copies with coefficients ₁, ..., _s , respectively. It is conjectured that ₁ + ...+ _s n. This conjecture is confirmed in two cases:n is arbitrary ands=n+1;s is arbitrary andn=2.     

A Note on μ(Z)-homeomorphisms

This paper is a continuation work of the authors on (z)-homeomorphisms. We establish similar relationships between quasisymmetric function and dilatation function as in quasiconformal mappings under (z)-homeomorphisms. Furthermore, a weighted quasiisometric inequality is presented.AMS Subject Classification (1991) 30C62 30C65     

Sur certaines algèbres associées à une mesure de Guelfand

Let be a Guelfand measure (cf. [A, B]) on a locally compact groupG DenoteL ₁ (G)=*L ₁(G)* the commutative Banach algebra associated to . We show thatL ₁ (G) is semi-simple and give a characterization of the closed ideals ofL ₁ (G). Using the -spherical Fourier transform, we characterize all linear bounded operators inL ₁ (G) which are invariants by -translations (i.e. such that ¹(( _x f) )=( _x ((f)) for eachxG andfL ₁ (G); where _x f(y)=f(xy); x,y G). WhenG is compact, we study the algebraL ₁ (G) and obtain results analogous to ones obtained for the commutative case: we show thatL ₁ (G) is regular, all closed sets of its Guelfand spectrum are sets of synthesis and establish theorems of harmonic synthesis for functions inL _p (G) (p=1,2 or +).

     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Formulating Measure Differential Inclusions in Infinite Dimensions

Measure differential inclusions were introduced by J. J. Moreau to study sweeping processes, and have since been used to study rigid body dynamics and impulsive control problems. The basic formulation of an MDI is d / d (t) K(t) where is a vector measure, an unsigned measure, and K() is a set-valued map with closed, convex values and is hemicontinuous. Note that need not be absolutely continuous with respect to . Stewart extended Moreau's original concept (which applied only to cone-valued K()) to general convex sets, and gave strong and weak formulations of d / d (t) K(t) where K(t) R ⁿ . Here the strong and weak formulations of Stewart are extended to infinite-dimensional problems where K(t) X where X is a separable reflexive Banach space; they are shown to be equivalent under mild assumptions on K().     

A study on Markovian maximality,change of probability and regularity

LetE be a rigid separable Banach space andm a bounded Borel measure onE. Let Ext denote the family of all gradient type Dirichlet forms onL ²(E, m) such that the domain of their extended generators (cf. Definition 1.1) contain the smooth functions. We prove three results. First, we prove the existence of the maximum element in Ext whenever Ext is not empty. Secondly, let be the maximum element in Ext (when Ext Ø) and let be a positive function in D(). We define a new measure =²·m and we consider the family Ext associated with the measure . We prove that if is associated with a diffusion process, Ext is not empty and its maximum element is also associated with a diffusion process. Finally, whenm is a centered Gaussian measure onE, we can prove that Ext contains exactly one element.     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

Selfdecomposable Measures on Simply Connected Nilpotent Groups

The concepts of class L measures and selfdecomposable measures are generalised from vector spaces to simply connected nilpotent groups G. It has been shown that any full class L (probability) measure on G can be decomposed as = ₁* ... * _n, where each _i is a selfdecomposable measure on a subgroup G _i; itself is selfdecomposable under certain additional conditions—for example, when is symmetric. This generalizes a well known result on vector spaces. Some examples of class L measures on G are also constructed.     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Characterization of regular singular linear systems of difference equations

This paper deals with linear systems of difference equations whose coefficients admit generalized factorial series representations atz=. We are concerned with the behavior of solutions near the pointz= (the only fixed singularity for difference equations). It is important to know whether a system of linear difference equations has a regular singularity or an irregular singularity. To a given system () we can assign a number , called the Moser's invariant of (), so that the system is regular singular if and only if 1. We shall develop an algorithm, implementable in a computer algebra system, which reduces in a finite number of steps the system of difference equations to an irreducible form. The computation ot the number can be done explicitly from this irreducible form.     

Conformally Invariant Regularization and Skeleton Expansions in Gauge Theory

We consider a conformally invariant regularization of an Abelian gauge theory in an Euclidean space of even dimension D 4 and regularized skeleton expansions for vertices and higher Green's functions. We set the respective regularized fields and with the scaling dimensions and into correspondence to the gauge field A and Euclidean current j . We postulate special rules for the limiting transition 0. These rules are different for the transversal and longitudinal components of the field and the current . We show that in the limit 0, there appear conformally invariant fields A and j each of which is transformed by a direct sum of two irreducible representations of the conformal group. Removing the regularization, we obtain a well-defined skeleton theory constructed from conformal two- and three-point correlation functions. We consider skeleton equations on the transversal component of the vertex operator and of the spinor propagator in conformal quantum electrodynamics. For simplicity, we restrict the consideration to an Abelian gauge field A , but generalization to a non-Abelian theory is straightforward.     

Harmonically weighted dirichlet spaces associated with finitely atomic measures

The space D() associated with a positive measure on the unit circle is a Hilbert space made from the holomorphic functions in the unit disk whose derivatives are square integrable when weighted against the Poisson integral of . In this paper the structure of D() is investigated for the case where is a finite sum of atoms. The wandering vectors of the shift operator on D() are described.A portion of this work was done at the Mathematical Sciences Research Institute during the Holomorphic Spaces Program, in the fall of 1995. The author thanks MSRI for its support.     

Conditioned super-Brownian motion

Summary We investigate classes of conditioned super-Brownian motions, namely H-transformsP ^H with non-negative finitely-based space-time harmonic functionsH(t, ). We prove thatH ^H is the unique solution of a martingale problem with interaction and is a weak limit of a sequence of rescaled interacting branching Brownian motions. We identify the limit behaviour of H-transforms with functionsH(t, )=h(t, (1)) depending only on the total mass (1). Using the Palm measures of the super-Brownian motion we describe for an additive spacetime harmonic functionH(t, )=h(t, x) (dx) theH-transformP ^H as a conditioned super-Brownian motion in which an immortal particle moves like an h-transform of Brownian motion.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

Convolution Operators with Fractional Measures Associated to Holomorphic Functions

Let be an open set in the complex plane and let be a holomorphic function on . Let K be a compact subset of with nonempty interior such that 0 K. Let be the Borel measure of R ⁴ C ² given by(E = _K E(z, (z))|z|^–2 d(z)where 0 < 2 and d(x ₁ + ix ₂) = dx ₁ dx ₂ denotes the Lebesgue measure on C. Let T be the convolution operator T f = * f. In this paper we characterize the type set E associated to T .     

Bounds for binary multiple covering codes

We study codes that are multiple coverings of the Hamming space and discuss lower and upper bounds onK(n, r, ), the minimum cardinality of a binary code of lengthn such that the Hamming spheres of radiusr centered at the codewords cover at least times. We also study the similar problem of multiple coverings containing repeated words. A table of bounds forn16,r4, 4 is given.     

Left linear theories — A generalization of module theory

In this paper we introduce left linear theories of exponentN (a set) on the setL as mapsL ×L ^N (l, ) l · L such that for alll L and , L ^N the relation (l · ) =l( · ) holds, where · L ^N is given by ( · )(i) = (i),i N. We assume thatL has a unit, that is an element L ^N withl · =l, for alll L, and · = , for all L ^N . Next, left (resp. right)L-modules andL-M-bimodules and their homomorphisms are defined and lead to categoriesL-Mod, Mod-L, andL-M-Mod. These categories are algebraic categories and their free objects are described explicitly. Finally, Hom(X, Y) andX Y are introduced and their properties are investigated.Herrn Professor Dr. D. Pumplün zum 60. Geburtstag gewidmet