The Approximation Functional and Interpolation with Perturbed Continuity

The continuity conditions at the endpoints of interpolation theorems, Ta_BjM_j a_Aj for j=0, 1, can be written with the help of the approximation functional: E(t, Ta; B₁, B₀)_L^∞M₀ a_A0 and E(t, Ta; B₀, B₁)_L^∞M₁ a_A1. As a special case of the results we present here we show that in the hypotheses of the interpolation theorem the L^∞ norms can be replaced by BMO( ₊) norms. This leads to a strong version of the Stein-Weiss theorem on interpolation with change of measure. Another application of our results is that the condition fL⁰, i.e., f*L^∞, where f*(γ)=μ{|f|>γ} is the distribution function of f, can be replaced in interpolation with L(p, q) spaces by the weaker f*BMO( ₊).     

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.     

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 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.     

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.     

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.     

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.     

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 ℓ_∞.     

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.     

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.     

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.     

Nonnegative iterations with asymptotically constant coefficients

Let A_k,k=0,1,2,…, be a sequence of real nonsingular n×n matrices which converge to a nonsingular matrix A. Suppose that A has exactly one positive eigenvalue λ and there exists a unique nonnegative vector u with properties Au=λu and u=1. Under further additional conditions on the spectrum of A, it is shown that if x₀≠0 and the iterates

are nonnegative, then converges to u and converges to λ as k→∞.     

A new characterization of Bergman–Schatten spaces and a duality result

Let denote the space of all upper triangular matrices A such that lim_r→1⁻(1−r²)(A*C(r))^′_B(ℓ²)=0. We also denote by the closed Banach subspace of consisting of all upper triangular matrices whose diagonals are compact operators. In this paper we give a duality result between and the Bergman–Schatten spaces . We also give a characterization of the more general Bergman–Schatten spaces , 1p<∞, in terms of Taylor coefficients, which is similar to that of M. Mateljevic and M. Pavlovic [M. Mateljevic, M. Pavlovic, L^p-behaviour of the integral means of analytic functions, Studia Math. 77 (1984) 219–237] for classical Bergman spaces.     

Generalized Bayes minimax estimators of the mean of multivariate normal distribution with unknown variance

We construct a broad class of generalized Bayes minimax estimators of the mean of a multivariate normal distribution with covariance equal to σ²I_p, with σ² unknown, and under the invariant loss δ(X)−θ²/σ². Examples that illustrate the theory are given. Most notably it is shown that a hierarchical version of the multivariate Student-t prior yields a Bayes minimax estimate.     

Attractors of the reaction-diffusion systems with rapidly oscillating coefficients and their homogenization

The following reaction-diffusion system in spatially non-homogeneous almost-periodic media is considered in a bounded domain : (1)∂_tu=Au−f(u)+g, u|_∂Ω=0. Here u=(u¹,…,u^k) is an unknown vector-valued function, f is a given nonlinear interaction function and the second order elliptic operator A has the following structure: where a_ij^l(y) are given almost-periodic functions. We prove that, under natural assumptions on the nonlinear term f(u), the longtime behavior of solutions of (1) can be described in terms of the global attractor of the associated dynamical system and that the attractors  , 0<<₀1, converge to the attractor of the homogenized problem (1) as →0. Moreover, in the particular case of periodic media, we give explicit estimates for the distance between the non-homogenized and the homogenized attractors in terms of the parameter .     

Representation of Reproducing Kernels and the Lebesgue Constants on the Ball

For the weight function (1−x²)^μ−1/2 on the unit ball, a closed formula of the reproducing kernel is modified to include the case −1/2<μ<0. The new formula is used to study the orthogonal projection of the weighted L² space onto the space of polynomials of degree at most n, and it is proved that the uniform norm of the projection operator has the growth rate of n^(d−1)/2 for μ<0, which is the smallest possible growth rate among all projections, while the rate for μ0 is n^μ+(d−1)/2.     

Maximal Inequalities and Lebesgue's Differentiation Theorem for Best Approximant by Constant over Balls

For fL_p( ⁿ), with 1p<∞, >0 and x ⁿ we denote by T(f)(x) the set of every best constant approximant to f in the ball B(x, ). In this paper we extend the operators T_p to the space L_p−1( ⁿ)+L_∞( ⁿ), where L₀ is the set of every measurable functions finite almost everywhere. Moreover we consider the maximal operators associated to the operators T_p and we prove maximal inequalities for them. As a consequence of these inequalities we obtain a generalization of Lebesgue's Differentiation Theorem.