On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

Fine Analysis of the Quasi-Orderings on the Power Set

We pursue the fine analysis of the quasi-orderings and on the power set of a quasi-ordering (Q,). We set X Y if every xX is majorized in by some yY, and X Y if every yY is minorized in by some xX. We show that both these quasi-orderings are -wqo if and only if the original quasi-ordering is ( )-wqo. For this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.     

A certain class of functions that are univalent in an annulus

In the class F₁ of functions f(), regular and univalent in the annulus ={<||<1} and satisfying the conditions ¦f()¦ < 1 and f() 0 for , ¦f()¦=1 ¦¦=1, for f(l)=1, one finds the set of the values D(A)=f(A): f for an arbitrary fixed point A. One makes use of the method of variations and certain facts from the theory of the moduli of families of curves.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 82–92, 1985.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

Connected and alternating vectors: Polyhedra and algorithms

Given a graphG = (V, E), leta ^S, S L, be the edge set incidence vectors of its nontrivial connected subgraphs.The extreme points of = {x R ^E: a^sx |V(S)| - |S|, S L} are shown to be integer 0/± 1 and characterized. They are the alternating vectorsb ^k, k K, ofG. WhenG is a tree, the extreme points ofB 0,b ^kx 1,k K} are shown to be the connected vectors ofG together with the origin. For the four LP's associated with andA, good algorithms are given and total dual integrality of andA proven.On leave from Swiss Federal Institute of Technology, Zurich.     

On a Positivity Property of the Riemann ξ‐Function

We consider a quantitative version of the positivity condition of the Riemann function. J. C. Lagarias obtained that for >10. The main aim of this paper is to prove the equality for 1.     

Probability and expectation inequalities

Summary This paper introduces a mathematical framework within which a wide variety of known and new inequalities can be viewed from a common perspective. Probability and expectation inequalities of the following types are considered: (a)P(ZA) P(ZA) for some class of setsA, (b)k(Z)k(Z) for some class of functionsk, and (c)l(Z)k(Z) for some class of pairs of functionsl andk. It is shown, sometimes using explicit constructions ofZ andZ, that, in several cases, (a) (b) (c); included here are cases of normal and elliptically contoured distributions. A case where (a) (b) (c) is studied and is expressed in terms ofn monotone functions for (some of) which integral representations are obtained. Also, necessary and sufficient conditions for (c) are given.Research supported by the Air Force Office of Scientific Research under Grants AFOSR-75-2796 and AFOSR-80-0080Research supported by the National Science Foundation under Grants MCS78-01240 and MCS81-00748     

Perturbation des résolvantes et représentation des mesures excessives

Résumé Etant donnée une résolvante V=(V )_>0 sous-markovienne sur un espace mesurable (X, B) de noyau initial V propre; on étudie alors le balayage des mesures surmédianes au moyen de la résolvante perturbée V de V par une function mesurable positive bornée sur X.Dans le cas où (X, E _v) est un espace de balayage, on montre que toute mesure excessive vérifiant , s'écrit d'une manière unique sous la forme =V où est une mesure positive sur X.     

Some remarks on the product of two C α-compact subsets

For a cardinal , we say that a subset B of a space X is C -compact in X if for every continuous function is a compact subset of . If B is a C-compact subset of a space X, then (B, X) denotes the degree of C -compactness of B in X. A space X is called -pseudocompact if X is C -compact into itself. For each cardinal , we give an example of an -pseudocompact space X such that X × X is not pseudocompact: this answers a question posed by T. Retta in Some cardinal generalizations of pseudocompactness Czechoslovak Math. J. 43 (1993), 385–390. The boundedness of the product of two bounded subsets is studied in some particular cases. A version of the classical Glicksberg's Theorem on the pseudocompactness of the product of two spaces is given in the context of boundedness. This theorem is applied to several particular cases.     

A little theorem of the bigℳ in interior point algorithms

When we apply interior point algorithms to various problems including linear programs, convex quadratic programs, convex programs and complementarity problems, we often embed an original problem to be solved in an artificial problem having a known interior feasible solution from which we start the algorithm. The artificial problem involves a constant (or constants) which we need to choose large enough to ensure the equivalence between the artificial problem and the original problem. Theoretically, we can always assign a positive number of the order O(2 ^L ) to in linear cases, whereL denotes the input size of the problem. Practically, however, such a large number is impossible to implement on computers. If we choose too large, we may have numerical instability and/or computational inefficiency, while the artificial problem with not large enough will never lead to any solution of the original problem. To solve this difficulty, this paper presents a little theorem of the big, which will enable us to find whether is not large enough, and to update during the iterations of the algorithm even if we start with a smaller. Applications of the theorem are given to a polynomial-time potential reduction algorithm for positive semi-definite linear complementarity problems, and to an artificial self-dual linear program which has a close relation with the primal—dual interior point algorithm using Lustig's limiting feasible direction vector.     

A Property of the Ansatz of Hirota's Method for Quasilinear Parabolic Equations

By using the recently discovered new invariant properties of the ansatz of R. Hirota's method, we prove that the classes of linear fractional solutions to some nonlinear equations are closed. This allows us to construct new solutions for a chosen class of dissipative equations. This algorithm is similar to the method of dressing the solutions of integrable equations. The equations thus obtained imply a compatibility condition and are known as a nonlinear Lax pair with variable coefficients. So we propose a method for constructing such pairs. To construct solutions of a more complicated form, we propose to use the property of zero denominators and factorized brackets, which has been discovered experimentally. The expressions thus constructed are said to be quasi-invariant. They allow us to find true relations between the functions contained in the ansatz, to correct the ansatz, and to construct a solution. We present some examples of new solutions constructed following this approach. Such solutions can be used for majorizing in comparison theorems and for modeling phase processes and process in neurocomputers. A program for computing solutions by methods of computer algebra is written. These techniques supplement the classical methods for constructing solutions by using their group properties.     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

Spaces with Dual Order-Isomorphic to ℓ1

We establish that an ordered Banach space is order-isomorphic to c₀ if and only if it is a -Dedekind complete vector lattice and its norm dual is order-isomorphic to ₁.     

Estimation du nombre des μ-valeurs propres

La notion de -valeur propre de –+V sera définie pour un ouvert borné de R ^d ; étant une mesure dans la classe de Kato généralisée. On établira une estimation du nombre des -valeurs propres inférieures à un réel positif E.The notion of -eigenvalue of –+V will be defined for a bounded open subset of R ^d ; is in the generalized Kato class. An estimate for the number of -eigenvalues which are smaller then a positive real E is given.     

Some Asymptotic Results for the M/M/∞ Queue with Ranked Servers

We consider an M/M/ model with m primary servers and infinitely many secondary ones. An arriving customer takes a primary server, if one is available. We derive integral representations for the joint steady state distribution of the number of occupied primary and secondary servers. Letting =/ be the ratio of arrival and service rates (all servers work at rate ), we study the joint distribution asymptotically for . We consider both m=O(1) and m scaled to be of the same order as . We also give results for the marginal distribution of the number of secondary servers that are occupied.     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

On Cesàro Means of Double Trigonometric Fourier Series

Zhizhiashvili studied questions associated with the approximation properties of Cesàro means of trigonometric Fourier series for functions of two variables in the spaces H. It is proved here that the corresponding estimate cannot be improved for p = 1 or p = .     

Strictly Cyclic Algebra of Operators Acting on Banach Spaces H p(β)

Let be a sequence of positive numbers and 1 p< . We consider the space H ^p() of all power series such that . We investigate strict cyclicity of the weakly closed algebra generated by the operator of multiplication by zacting on H ^p(), and determine the maximal ideal space, the dual space and the reflexivity of the algebra . We also give a necessary condition for a composition operator to be bounded on H ^p() when is strictly cyclic.     

On the Movement of Transitive Permutation p-Groups

Let G be a transitive permutation group on a set and m a positive integer. If | – | m for every subset of and all g G, then || 2mp/(p – 1) where p is the least odd prime dividing |G|. It was shown by Mann and Praeger [13] that, for p = 3, the 3-groups G which attain this bound have exponent p. In this paper we will show a generalization of this result for any odd primes.AMS Subject Classification (2000), 20BXX     

Computational complexity of the integration problem for anisotropic classes

We determine the exact order of -complexity of the numerical integration problem for the anisotropic class W^r(I^d) and H^r(I^d) with respect to the worst case randomized methods and the average case deterministic methods. We prove this result by developing a decomposition technique of Borel measure on unit cube of d-dimensional Euclidean space. Moreover by the imbedding relationship between function classes we extend our results to the classes of functions W_p(I^d) and H_p(I^d). By the way we highlight some typical results and stress the importance of some open problems related to the complexity of numerical integration. Project supported by the fund of Personnel Division of Nankai University and the Program of One Hundred Distinguished Chinese Scientists of the Chinese Academy of Sciences.