The bicompletion of an asymmetric normed linear space

A biBanach space is an asymmetric normed linear space (X,‖·‖) such that the normed linear space (X,‖·‖^s) is a Banach space, where ‖x‖^s= max {‖x‖,‖-x‖} for all x∈X. We prove that each asymmetric normed linear space (X,‖·‖) is isometrically isomorphic to a dense subspace of a biBanach space (Y,‖·‖_Y). Furthermore the space (Y,‖·‖_Y) is unique (up to isometric isomorphism). This revised version was published online in August 2006 with corrections to the Cover Date.     

Quotient normed cones

Given a normed cone (X, p) and a subconeY, we construct and study the quotient normed cone (X/Y,p) generated byY. In particular we characterize the bicompleteness of (X/Y, ‖·‖ ^p ,p) in terms of the bicompleteness of (X, p), and prove that the dual quotient cone ((X/Y)^*, || · ‖·‖^p,p) can be identified as a distinguished subcone of the dual cone (X ^*, || · ||_{p, u}). Furthermore, some parts of the theory are presented in the general setting of the spaceCL(X, Y) of all continuous linear mappings from a normed cone (X, p) to a normed cone (Y, q), extending several well-known results related to open continuous linear mappings between normed linear spaces.     

Continuous operators on asymmetric normed spaces

If (X, p) and (Y, q) are two asymmetric normed spaces, the set LC(X, Y) of all continuous linear mappings from (X, p) to (Y, q) is not necessarily a linear space, it is a cone. If X and Y are two Banach lattices and p and q are, respectively, their associated asymmetric norms (p(x) = ‖⁺‖, q(y) = ‖y ⁺‖), we prove that the positive operators from X to Y are elements of the cone LC(X, Y). We also study the dual space of an asymmetric normed space and finally we give open mapping and closed graph type theorems in the framework of asymmetric normed spaces. The classical results for normed spaces follow as particular cases. The author acknowledges the support of the Ministerio de Educación y Ciencia of Spain and FEDER, under grant MTM2006-14925-C02-01 and Generalitat Valenciana under grant GV/2007/198.     

Approximation in weighted Hardy spaces

This paper is concerned with several approximation problems in the weighted Hardy spacesH ^p(Ω) of analytic functions in the open unit disc D of the complex plane ℂ. We prove that ifX is a relatively closed subset of D, the class of uniform limits onX of functions inH ^p(Ω) coincides, moduloH ^p(Ω), with the space of uniformly continuous functions on a certain hull ofX which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets forH ^p(Ω), giving geometric characterizations for them. By replacing approximating polynomials by polynomial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spacesH ^p(D), 1 ⪯p < ∞. Dedicated to Professor Nácere Hayek on the occasion of his 75th birthday.     

Orthogonal almost locally minimal projections on ℓ 1 n

A projectionP on a Banach spaceX with ‖P‖≤λ₀ is called almost locally minimal if, for every α>0 small enough, the ballB(P,α) in the space of operatorsL(X) does not contain a projectionQ with ‖Q‖≤‖P‖(1–Dα²), whereD=D(λ₀) is a constant independent of ‖P‖. It is shown that, for everyp≥1 and every compact abelian groupG, every translation invariant projection onL _p(G) is almost locally minimal. Orthogonal projections on ℓ ₁ ⁿ are investigated with respect to some weaker local minimality properties. Participant in Workshop in Linear Analysis and Probability, Texas A&M University, College Station, Texas 1998. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

Convex Sets in Acyclic Digraphs

A non-empty set X of vertices of an acyclic digraph is called connected if the underlying undirected graph induced by X is connected and it is called convex if no two vertices of X are connected by a directed path in which some vertices are not in X. The set of convex sets (connected convex sets) of an acyclic digraph D is denoted by and its size by co(D) (cc(D)). Gutin et al. (2008) conjectured that the sum of the sizes of all convex sets (connected convex sets) in D equals Θ(n · co(D)) (Θ(n · cc(D))) where n is the order of D. In this paper we exhibit a family of connected acyclic digraphs with and . We also show that the number of connected convex sets of order k in any connected acyclic digraph of order n is at least n − k + 1. This is a strengthening of a theorem of Gutin and Yeo.     

The Johnson–Lindenstrauss Lemma Almost Characterizes Hilbert Space, But Not Quite

Let X be a normed space that satisfies the Johnson–Lindenstrauss lemma (J–L lemma, in short) in the sense that for any integer n and any x ₁,…,x _n ∈X, there exists a linear mapping L:X→F, where F⊆X is a linear subspace of dimension O(log n), such that ‖x _i −x _j ‖≤‖L(x _i )−L(x _j )‖≤O(1)⋅‖x _i −x _j ‖ for all i,j∈{1,…,n}. We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion 2^2O(log*n)2^{2^{O(\log^{*}n)}} . On the other hand, we show that there exists a normed space Y which satisfies the J–L lemma, but for every n, there exists an n-dimensional subspace E _n ⊆Y whose Euclidean distortion is at least 2^Ω(α(n)), where α is the inverse Ackermann function.     

The riesz turndown collar theorem giving an asymptotic estimate of the powers of an operator under the ritt condition

For Banach space operatorsT satisfying the Tadmor-Ritt condition ‖(zI−T)⁻¹‖≤C|z−1|⁻¹, |z|>1, we show how to use the Riesz turndown collar theorem to estimate sup _n≥0‖T ⁿ‖. A similar estimate is shown for lim sup _n ‖T ⁿ‖ in terms of the Ritt constantM=lim sup _z→1‖(1−z)(zI−T)⁻¹‖. We also obtain an estimate of the functional calculus for these operators proving, in particular, that ‖f(T)‖≤C _q‖f‖ _Mult , where ‖·‖ _Mult stands for the multiplier norm of the Cauchy-Stieltjes integrals over a Lusin type cone domain depending onC and a parameterq, 0<q<1. Notation.D denotes the open unit disc of the complex plane,D={z∈ℂ:|z|<1}, andT={z∈ℂ:|z|=1} is the unit circle.H ^∞ is the Banach algebra of bounded analytic functions onD equipped with the supremum norm ‖.‖_∞.     

On the distance coefficient between isomorphic function spaces

IfX, Y are compact countable metric spaces such thatY contains no subset homeomorphic toX, then for any isomorphismΦ ofC(X) intoC(Y), ‖ φ ‖ ‖ φ⁻¹ ‖≧3. This result and some variants of it are established here, and prove a special case of a conjecture raised in [1]. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. J. Lindenstrauss. I wish to thank Prof. Lindenstrauss and Prof. A. Dvoretzky for their guidance and the interest they showed in this work.     

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Regularity of the density for the total weighted occupation measure of super-Brownain motion

Let (X _t ) be a super-Brownian motion in a bounded domain D in ℝ ^d . The random measure Y ^D (·) = ∫₀^∞ X _t (·)dt is called the total weighted occupation time of (X _t ). We consider the regularity properties for the densities of a class of Y ^D . When d = 1, the densities have continuous modifications. When d ≥ 2, the densities are locally unbounded on any open subset of D with positive Y ^D (dx)-measure.     

On an Asymptotic Behavior of Exponential Functional Equation

The stability problems of the exponential （functional） equation on a restricted domain will be investigated, and the results will be applied to the study of an asymptotic property of that equation. More precisely, the following asymptotic property is proved： Let X be a real （or complex） normed space. A mapping f ： X → C is exponential if and only if f（x ＋ y） - f（x）f（y） → 0 as ｜｜x｜｜ ＋ ｜｜y｜｜ → ∞ under some suitable conditions.     

Hyperspaces of Banach Spaces with the Attouch—Wets Topology

Let X be an infinite-dimensional Banach space with weight τ. By Cld _AW (X), we denote the hyperspace of nonempty closed sets in X with the Attouch—Wets topology. By Fin _AW (X), Comp _AW (X) and Bdd _AW (X), we denote the subspaces of Cld _AW (X) consisting of finite sets, compact sets and bounded closed sets, respectively. In this paper, it is proved that Fin _AW (X)≈Comp _AW (X)≈ℓ₂(τ)×ℓ₂ ^f ℓandℓBdd _AW (X)≈ℓ₂(2^τ)×ℓ₂ ^f where ≈ means ‘is homeomorphic to’, ℓ₂(τ) is the Hilbert space with weight τ (ℓ₂(ℵ₀)=ℓ₂ the separable Hilbert space) and ℓ₂ ^f ={(x _i ) _iεN εℓ₂∣x _i =0 except for finitely many iεN}.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

On coefficient estimates for a class of holomorphic mappings

Let X be a complex Banach space with norm ‖ · ‖, B be the unit ball in X, D ⁿ be the unit polydisc in ℂ ⁿ . In this paper, we introduce a class of holomorphic mappings on B or D ⁿ . Let f(x) be a normalized locally biholomorphic mapping on B such that (Df(x))⁻¹ f(x) ∈ and f(x) − x has a zero of order k + 1 at x = 0. We obtain coefficient estimates for f(x). These results unify and generalize many known results. This work was supported by National Natural Science Foundation of China (Grant No. 10571164), Specialized Research Fund for the Doctoral Program of Higher Education (Grant No. 20050358052), the Jiangxi Provincial Natural Science Foundation of China (Grant No. 2007GZS0177) and Specialized Research Fund for the Doctoral Program of Jiangxi Normal University.     

Estimates of the periods of periodic points for nonexpansive operators

Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝ ⁿ with the sup norm or ℝ ⁿ with thel ₁-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim _j→∞ T ^jp (x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝ ⁿ ,D=K ⁿ , the set of nonnegative vectors in ℝ ⁿ , and the norm is thel ₁-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝ ⁿ , i.e.,T:ℝ ⁿ →ℝ ⁿ isl ₁-nonexpansive. In addition, it is conjectured in [12] thatN=2 ⁿ whenE=ℝ ⁿ and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝ ⁿ ,‖ · ‖_∞)→(ℝ ⁿ ,‖ · ‖_∞). Partially supported by NSF DMS89-03018.     

Topological properties of the multifunction space <Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) of cusco maps

A set-valued mapping F from a topological space X to a topological space Y is called a cusco map if F is upper semicontinuous and F(x) is a nonempty, compact and connected subset of Y for each x ∈ X. We denote by L(X), the space of all subsets F of X × ℝ such that F is the graph of a cusco map from the space X to the real line ℝ. In this paper, we study topological properties of L(X) endowed with the Vietoris topology. The second author is supported by the SPM fellowship awarded by the Council of Scientific and Industrial Research, India.     

A characterization of the<Emphasis Type="Italic">MM</Emphasis>*-position of a convex body in terms of covariance matrices

We characterize the position of a convex bodyK such that it minimizesM(TK)M*(TK) (theMM*-position) in terms of properties of the measures ‖ · ‖ _K d σ(·) and ‖ · ‖ _K °d σ(·), answering a question posed by A. Giannopoulos and V. Milman. The techniques used allow us to study other extremal problems in the context of dual Brunn-Minkowski theory. Partially supported by MCYT Grant (Spain) BFM2001-1793 and FEDER funds from UE. Partially supported by MCYT Grant (Spain) BFM2001-1793 and FEDER funds from UE.     

PRV property and the <Emphasis Type="Italic">ϕ</Emphasis>-asymptotic behavior of solutions of stochastic differential equations

In this paper, we investigate the a.s. asymptotic behavior of the solution of the stochastic differential equation dX(t) = g(X(t)) dt + σ(X(t))dW(t), X(0) ≢ 1, where g(·) and σ(·) are positive continuous functions, and W(·) is a standard Wiener process. By means of the theory of PRV functions we find conditions on g(·), σ(·), and ϕ(·) under which ϕ(X(·)) may be approximated a.s. by ϕ(μ(·)) on {X(t) → ∞}, where μ(·) is the solution of the ordinary differential equation dμ(t) = g(μ(t)) dt with μ(0) = 1. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 4, pp. 445–465, October–December, 2007.