Algorithm for a sum of reciprocals

An algorithm is described for the approximate calculation of a collection of sums of the form _k= _j–1 ⁿ c_j/(_j+_k), 1kn, where 0<_j. The working time of the algorithm is 0(n(t+ log n)(t+log n)) if _k calculated to within 2^–t; here the function (l) denotes the time of multiplication of twoZ-bit numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 137, pp. 3–6, 1984.In conclusion, the author expresses thanks to A. O. Slisenko and Yu. A. Kuznetsov, who drew the attention of the author to the problem considered.     

Extremal types for certainL p minimization problems and associated large scale nonlinear programs

Extremals for constrained minimization problems, min F, are classified according to the growth properties of the linear functionalF() restricted to . Various singular and nonsingular extremal types are investigated in detail for the special case where = {measurableu(·): [0, 1] U},U = a bounded polyhedral convex set in ^m , andF is understood in Fréchet's sense relative to anL ^p norm withp [1, ). The analysis yields newL ^p minimization corollaries of recently developed general convergence rate theories for conditional and projected gradient methods, and a Newton method for constrained minimization. These results help to explain trends in the behavior of computational procedures for certain large scale structured nonlinear programs in ^k ask increases to , with particular application to a large class of optimal control problems with linearly constrained inputs; control problems with bang-bang solutions are considered at some length.Investigation supported by NSF Research Grants ECS-8005958 and ENG 78-03385.     

Estimation of density functions by order statistics

The properties of the empirical density function,f _n(x) = k/n( _j ⁺ – _j-1 ⁺ ) if _j-1 ⁺ < x ⁺ where _j-1 ⁺ and _j ⁺ are sample elements and there are exactlyk – 1 sample elements between them, are studied in that practical point of view how to choose a suitablek for a good estimation. A bound is given for the expected value of the absolute value of difference between the empirical and theoretical density functions.     

Isomorphism of one-place functors Ext

Let be an associative ring with identity. One considers the category of left (unitary) -modules m and also the contravariant and the covariant functors Ext ¹ ( ,A) and Ext ¹ (A, ): M_z M. One proves the following results: (1) If the homomorphism of -modules A B induces an isomorphism Ext ¹ ( ,A)Ext ¹ ( ,B), then there exist injective -modules J₁ and J₂ such that AJ₁BJ₂. (2) Every functorial morphism Ext ¹ ( ,A)Ext ¹ ( ,B) induces a certain homomorphism of -modules AB. One also obtains a dual result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 71–74, 1981.     

A note on “small representations of finite distributive lattices as congruence lattices”

G. Grätzer, H. Lakser, and E. T. Schmidt proved that every distributive lattice with n join-irreducible elements can be represented as the congruence lattice of a small lattice L, that is, a lattice L with O(n ² ) elements. G. Grätzer, I. Rival, and N. Zaguia proved that, for any <2, O(n ² ) can not be improved to O(n ). In this note we show that the theorem about small representation can be improved further to get a more delicate result.     

q-Skew Derivations and Polynomial Identities

Let R be a prime ring and its left Martindale quotient ring. Assume that a q-skew -derivation of R satisfies the identity relationfor all x R, where the subring of constants of on R. It is proved that if R⁽⁾ satisfies nontrivial polynomial identities, then so does R. This answers affirmatively a problem raised in Bergen and Grzeszczuk [2] by removing the assumption on the algebraicity of .Mathematics Subject Classification (2000): 16W20, 16W25, 16W55Members of Mathematics Division, National Center for Theoretical Sciences at Taipei.Acknowledgement The authors are thankful to the referee for her/his useful suggestions and comments. This research was supported by the National Science Council of Taiwan.     

Packing random items of three colors

Consider three colors 1,2,3, and forj3, considern items (X _i,j)in of colorj. We want to pack these items inn bins of equal capacity (the bin size is not fixed, and is to be determined once all the objects are known), subject to the condition that each bin must contain exactly one item of each color, and that the total item sizes attributed to any given bin does not exceed the bin capacity. Consider the stochastic model where the random variables (X _i,jj)in,j3 are independent uniformly distributed over [0,1]. We show that there is a polynomial-time algorithm that produces a packing which has a wasted spaceK logn with overwhelming probability.Work partially supported by an N.S.F. grant.     

Path Regularity and Regularity in Mean of 1st Order Processes

We show that a 1st order stochastic process which is C ⁿ in mean, for some n{} on an interval T has a version whose paths lie in C ^n–1(T).     

The Braided product of Ockham algebras

In this paper we introduce an algebraic concept of the product of Ockham algebras called the Braided product. We show that ifL _i MS(i=1, 2, ,n) then the Braided product ofL _i(i=1, 2, ,n) exists if and only ifL ₁, ,L _n have isomorphic skeletons.     

Limit distribution function of inhomogeneities in regions with random boundary. I

A study is made of the interaction of systems of charged particles with a membrane consisting of inhomogeneities randomly distributed in accordance with the same law in the neighborhoods of corresponding sites of a planar crystal lattice. A system of equations for the self-consistent potentialU ₁(x, ⁰,..., ^N ,...) and density of surface changes (x, ⁰,..., ^N ,...) is derived and solved.Institute of Nuclear Physics, Uzbek Academy of Sciences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 92, No. 1, pp. 98–112, July, 1992.     

Rates of growth and sample moduli for weighted empirical processes indexed by sets

Summary Probability inequalities are obtained for the supremum of a weighted empirical process indexed by a Vapnik-ervonenkis class C of sets. These inequalities are particularly useful under the assumption P({CC:P(C)<t})»0 as t»0. They are used to obtain almost sure bounds on the rate of growth of the process as the sample size approaches infinity, to find an asymptotic sample modulus for the unweighted empirical process, and to study the ratio P _n/P of the empirical measure to the actual measure.Research supported under an NSF Postdoctoral Fellowship grant No. MCS 83-11686, and in part by NSF grant No. DMS-8301807     

Limit Theorems for the Maximum Terms of a Sequence of Random Variables with Marginal Geometric Distributions

Let X _n1 ^* , ... X _nn ^* be a sequence of n independent random variables which have a geometric distribution with the parameter p _n = 1/n, and M _n ^* = \max\{X _n1 ^* , ... X _nn ^* }. Let Z ₁, Z₂, Z₃, ... be a sequence of independent random variables with the uniform distribution over the set N _n = {1, 2, ... n}. For each j N _n let us denote X _nj = min{k : Z_k = j}, M _n = max{X_n1, ... X_nn}, and let S _n be the 2nd largest among X _n1, X_n2, ... X_nn. Using the methodology of verifying D(u_n) and D'(u_n) mixing conditions we prove herein that the maximum M _n has the same type I limiting distribution as the maximum M _n ^* and estimate the rate of convergence. The limiting bivariate distribution of (S_n, M_n) is also obtained. Let _n, _n N_n, , and T _n = min{M(A_n), M(B_n)}. We determine herein the limiting distribution of random variable T _n in the case _n , _n/_n > 0, as n .     

A note on the global asymptotic stability of the unreacting state in a simple model for quadratic autocatalysis with linear decay

In this note we consider a reaction-diffusion problem which describes a simple model chemical reaction scheme for quadratic autocatalysis with linear decay. We show that withk>1 (wherek is a parameter measuring the relative strength of the decay step to the autocatalytic step) the dimensionless unreacting state 1, 0 is globally asymptotically stable, with 1+0(t ^–1/2) and 0(t ^–1/2 e ^–(k–1)t) ast-. Here and are the concentrations of the reactant and the autocatalyst respectively, andt is time. The casek<1 has been considered in detail by Merkin et al. [1].     

Generalized Variation of Mappings with Applications to Composition Operators and Multifunctions

We study (set-valued) mappings of bounded -variation defined on the compact interval I and taking values in metric or normed linear spaces X. We prove a new structural theorem for these mappings and extend Medvedev's criterion from real valued functions onto mappings with values in a reflexive Banach space, which permits us to establish an explicit integral formula for the -variation of a metric space valued mapping. We show that the linear span GV (I;X) of the set of all mappings of bounded -variation is automatically a Banach algebra provided X is a Banach algebra. If h:I× X Y is a given mapping and the composition operator is defined by (f)(t)=h(t,f(t)), where tI and f:I X, we show that :GV (I;X) GV (I;Y) is Lipschitzian if and only if h(t,x)=h₀(t)+h₁(t)x, tI, xX. This result is further extended to multivalued composition operators with values compact convex sets. We prove that any (not necessarily convex valued) multifunction of bounded -variation with respect to the Hausdorff metric, whose graph is compact, admits regular selections of bounded -variation.     

Positivity and Negativity of Solutions to a Schrödinger Equation in ℝ N

Weak L ² -solutions u of the Schrödinger equation, –u + q(x) u – u = f(x) in L ² , are represented by a Fourier series using spherical harmonics in order to prove the following strong maximum and anti-maximum principles in (N 2): Let ₁ denote the positive eigenfunction associated with the principal eigenvalue ₁ of the Schrödinger operator . Assume that the potential q(x) is radially symmetric and grows fast enough near infinity, and f is a `sufficiently smooth' perturbation of a radially symmetric function, f 0 and 0 f / C const a.e. in . Then u is ₁-positive for - < < ₁ (i.e., u c ₁ with c const > 0) and ₁-negative for ₁ < < ₁ + (i.e., u –c₁ with c const > 0), where > 0 is a number depending on f. The constant c > 0 depends on both and f.     

On the nuclearity of a dual space with the convergence in probability topology

Summary Let be a probability measure on a separable locally convex Fréchet space E and let s denote the topology on E of the convergence in . Then (E, s ) is nuclear iff ((E', s ))=1.     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

On the equation of similar profiles

Summary Considerf+ ff+ (1–f²)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.

---

Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f²)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).

     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.