On the Norm of the Metric Projections

LetXbe a Banach space. GivenMa subspace ofXwe denote withP_Mthe metric projection ontoM. We defineπ(X) sup{P_M: Ma proximinal subspace ofX}. In this paper we give a bound forπ(X). In particular, whenX=L_p, we obtain the inequality P_M2^|2/p−1|, for every subspaceMofL_p. We also show thatπ(X)=π(X*).     

On accuracy of approximation of the spectral radius by the Gelfand formula

The famous Gelfand formula ρ(A)=limsup_n→∞A^n1/n for the spectral radius of a matrix is of great importance in various mathematical constructions. Unfortunately, the range of applicability of this formula is substantially restricted by a lack of estimates for the rate of convergence of the quantities A^n1/n to ρ(A). In the paper this deficiency is made up to some extent. By using the Bochi inequalities we establish explicit computable estimates for the rate of convergence of the quantities A^n1/n to ρ(A). The obtained estimates are then extended for evaluation of the joint spectral radius of matrix sets.     

Error bounds for the perturbation of the Drazin inverse under some geometrical conditions

This paper studies the Drazin inverse for perturbed matrices. For that, given a square matrix A, we consider and characterize the class of matrices B with index s such that , and , where and denote the null space and the range space of a matrix A, respectively, and A^D denote the Drazin inverse of A. Then, we provide explicit representations for B^D and BB^D, and upper bounds for the relative error B^D-A^D/A^D and the error BB^D-AA^D. A numerical example illustrates that the obtained bounds are better than others given in the literature.     

On -convergence of Fourier series

In this paper we consider the trigonometric Fourier series with the β-general monotone coefficients. Necessary and sufficient conditions of L₁-convergence for such a series, that is f−S_n=o(1), are obtained in terms of coefficients.     

On Mean Convergence of Lagrange Interpolation for General Arrays

For n1, let {x_jn}ⁿ_j=1 be n distinct points in a compact set K and letL_n[·] denote the corresponding Lagrange interpolation operator. Let v be a suitably restricted function on K. What conditions on the array {x_jn}_1jn, n1 ensure the existence of p>0 such that lim_n→∞ (f−L_n[f]) v_Lp(K)=0 for very continuous f: K→ ? We show that it is necessary and sufficient that there exists r>0 with sup_n1 π_nv_Lr(K) ∑ⁿ_j=1 (1/|π′_n| (x_jn))<∞. Here for n1, π_n is a polynomial of degree n having {x_jn}ⁿ_j=1 as zeros. The necessity of this condition is due to Ying Guang Shi.     

Weak Copositive and Intertwining Approximation

It is known that shape preserving approximation has lower rates than unconstrained approximation. This is especially true for copositive and intertwining approximations. ForfL_p, 1p<∞, the former only has rateω(f, n⁻¹)_p, and the latter cannot even be bounded byC f_p. In this paper, we discuss various ways to relax the restrictions in these approximations and conclude that the most sensible way is the so-calledalmostcopositive/intertwining approximation in which one relaxes the restriction on the approximants in a neighborhood of radiusΔ_n(y_j) of each sign changey_j.     

Strong characterizing sequences for subgroups of compact groups

In [A. Biró, V.T. Sós, Strong characterizing sequences in simultaneous Diophantine approximation, J. Number Theory 99 (2003) 405–414] we proved that if Γ is a subgroup of the torus R/Z generated by finitely many independent irrationals, then there is an infinite subset AZ which characterizes Γ in the sense that for γR/Z we have ∑_aAaγ<∞ if and only if γΓ. Here we consider a general compact metrizable Abelian group G instead of R/Z, and we characterize its finitely generated free subgroups Γ by subsets AG^*, where G^* is the Pontriagin dual of G. For this case we prove stronger forms of the analogue of the theorem of the above mentioned work, and we find necessary and sufficient conditions for a kind of strengthening of this statement to be true.     

An isomorphic characterization of L-spaces

We show that a sequentially (τ)-complete topological vector lattice X_τ is isomorphic to some L¹(μ), if and only if the positive cone can be written as X₊ = ₊B for some convex, (τ)-bounded, and (τ)-closed set B X₊ {0}. The same result holds under weaker hypotheses, namely the Riesz decomposition property for X (not assumed to be a vector lattice) and the monotonic σ-completeness (monotonic Cauchy sequences converge). The isometric part of the main result implies the well-known representation theorem of Kakutani for (AL)-spaces. As an application we show that on a normed space Y of infinite dimension, the “ball-generated” ordering induced by the cone Y₊ = ₊ (for u >) cannot have the Riesz decomposition property. A second application deals with a pointwise ordering on a space of multivariate polynomials.     

Global existence, uniqueness, and continuous dependence for a semilinear initial value problem

In this paper, we consider the semilinear initial value problem associated with an operator A whose spectrum lies in a sector of the complex plane and whose resolvent satisfies (z−A)⁻¹M|z|^γ for some −1<γ<0 and all z outside the sector. The properties of existence and uniqueness of global mild solutions and continuous dependence on the initial data are investigated.     

Extremely non-complex spaces

We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces X such that the norm equality Id+T²=1+T² holds for every bounded linear operator . This answers in the positive Question 4.11 of [V. Kadets, M. Martín, J. Merí, Norm equalities for operators on Banach spaces, Indiana Univ. Math. J. 56 (2007) 2385–2411]. More concretely, we show that this is the case of some C(K) spaces with few operators constructed in [P. Koszmider, Banach spaces of continuous functions with few operators, Math. Ann. 330 (2004) 151–183] and [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We also construct compact spaces K₁ and K₂ such that C(K₁) and C(K₂) are extremely non-complex, C(K₁) contains a complemented copy of C(2^ω) and C(K₂) contains a (1-complemented) isometric copy of ℓ_∞.     

A Sharp Inequality of Markov Type for Polynomials Associated with Laguerre Weight

The best possible constant A_n in an inequality of Markov type

Full-size image

, where ·_[0, ∞) denotes the sup-norm on the half real line [0, ∞) and p_n is an arbitrary polynomial of degree at most n, is determined in terms of the weighted Chebyshev polynomials associated with the Laguerre weight e^−x on [0, ∞).     

Turán type reverse Markov inequalities for compact convex sets

For a compact convex set the well-known general Markov inequality holds asserting that a polynomial p of degree n must have p^′c(K)n²p. On the other hand for polynomials in general, p^′ can be arbitrarily small as compared to p.The situation changes when we assume that the polynomials in question have all their zeroes in the convex set K. This was first investigated by Turán, who showed the lower bounds p^′(n/2)p for the unit disk D and for the unit interval I[-1,1]. Although partial results provided general lower estimates of order , as well as certain classes of domains with lower bounds of order n, it was not clear what order of magnitude the general convex domains may admit here.Here we show that for all bounded and convex domains K with nonempty interior and polynomials p with all their zeroes lying in K p^′c(K)np holds true, while p^′C(K)np occurs for any K. Actually, we determine c(K) and C(K) within a factor of absolute numerical constant.     

A vanishing theorem on Kaehler Finsler manifolds

Let M be a connected compact complex manifold endowed with a strongly pseudoconvex complex Finsler metric F. In this paper, we first define the complex horizontal Laplacian □_h and complex vertical Laplacian □_v on the holomorphic tangent bundle T^1,0M of M, and then we obtain a precise relationship among □_h,□_v and the Hodge–Laplace operator on (T^1,0M,,), where , is the induced Hermitian metric on T^1,0M by F. As an application, we prove a vanishing theorem of holomorphic p-forms on M under the condition that F is a Kaehler Finsler metric on M.     

On fully operator Lipschitz functions

Let be the disc algebra of all continuous complex-valued functions on the unit disc holomorphic in its interior. Functions from act on the set of all contraction operators (A1) on Hilbert spaces. It is proved that the following classes of functions from coincide: (1) the class of operator Lipschitz functions on the unit circle ; (2) the class of operator Lipschitz functions on ; and (3) the class of operator Lipschitz functions on all contraction operators. A similar result is obtained for the class of operator C₂-Lipschitz functions from .     

Deformation of Minimal Polynomials and Approximation of Several Intervals by an Inverse Polynomial Mapping

In this paper we show that for a given set of l real disjoint intervals E_l=^l_j=1 [a_2j−1, a_2j] and given >0 there exists a real polynomial and a set of l disjoint intervals E_l=^l_j=1 [ã_2j−1, ã_2j] with E_lE_l and (ã₁, …, ã_2l)−(a₁, …, a_2l)_max<, such that ⁻¹([−1, 1])=E_l. The statement follows by showing how to get in a constructive way by a continuous deformation procedure from a minimal polynomial on E_l with respect to the maximum norm a polynomial mapping of E_l.     

A unified and generalized set of shrinkage bounds on minimax Stein estimates

Consider the problem of estimating the mean vector θ of a random variable X in , with a spherically symmetric density f(x−θ²), under loss δ−θ². We give an increasing sequence of bounds on the shrinkage constant of Stein-type estimators depending on properties of f(t) that unify and extend several classical bounds from the literature. The basic way to view the conditions on f(t) is that the distribution of X arises as the projection of a spherically symmetric vector (X,U) in . A second way is that f(t) satisfies (−1)^jf^(j)(t)≥0 for 0≤j≤ℓ and that (−1)^ℓf^(ℓ)(t) is non-increasing where k=2(ℓ+1). The case ℓ=0 (k=2) corresponds to unimodality, while the case ℓ=k=∞ corresponds to complete monotonicity of f(t) (or equivalently that f(x−θ²) is a scale mixture of normals). The bounds on the minimax shrinkage constant in this paper agree with the classical bounds in the literature for the case of spherical symmetry, spherical symmetry and unimodality, and scale mixtures of normals. However, they extend these bounds to an increasing sequence (in k or ℓ) of minimax bounds.     

Theorems about the attractor for incompressible non-Newtonian flow driven by external forces that are rapidly oscillating in time but have a smooth average

This paper discusses the incompressible non-Newtonian fluid with rapidly oscillating external forces g(x,t)=g(x,t,t/) possessing the average g⁰(x,t) as →0⁺, where 0<₀<1. Firstly, with assumptions (A₁)–(A₅) on the functions g(x,t,ξ) and g⁰(x,t), we prove that the Hausdorff distance between the uniform attractors and in space H, corresponding to the oscillating equations and the averaged equation, respectively, is less than O() as →0⁺. Then we establish that the Hausdorff distance between the uniform attractors and in space V is also less than O() as →0⁺. Finally, we show for each [0,₀].     

Le lemme de Schur pour les représentations orthogonales

Let σ be an orthogonal representation of a group G on a real Hilbert space. We show that σ is irreducible if and only if its commutant σ(G)' is isomorphic to , or . This result is an analogue of the classical Schur lemma for unitary representations. In both cases (orthogonal and unitary), a representation is irreducible if and only if its commutant is a field. If σ is irreducible, we show that there exists a unitary irreducible representation π of G such that the complexification σ is unitarily equivalent to π if σ(G)' , to π π̄ if σ(G)' , and to π π if σ(G)' (here π̄ denotes the contragredient representation of π). These results are classical for a finite-dimensional σ, but seem to be new in the general case.     

On multipartite posets

A poset P=(X,) is m-partite if X has a partition X=X₁X_m such that (1) each X_i forms an antichain in P, and (2) xy implies xX_i and yX_j where i<j. In this article we derive a tight asymptotic upper bound on the order dimension of m-partite posets in terms of m and their bipartite sub-posets in a constructive and elementary way.