Detecting fixed points of nonexpansive maps by illuminating the unit ball

We give necessary and sufficient conditions for a nonexpansive map on a finite-dimensional normed space to have a nonempty, bounded set of fixed points. Among other results we show that if f: V → V is a nonexpansive map on a finite-dimensional normed space V, then the fixed point set of f is nonempty and bounded if and only if there exist w₁,..., w _m in V such that {f(w _i ) ? w _i : i = 1,..., m} illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite-dimensional spaces. We also discuss applications of this procedure to certain nonlinear eigenvalue problems arising in game theory and mathematical biology.     

Asymptotic Behavior of Factorization and Projection Constants

This paper is concerned with estimates of important factorization constants that appear in Banach space theory. We prove upper bounds of the Hilbertian norm of projections on finite-dimensional spaces of interpolation spaces generated by certain abstract interpolation functors and show applications to Calderón–Lozanovskii spaces. We also prove estimates of the p-factorization norm and projection constants for finite-dimensional Banach lattices. We show as a consequence of our results that in a large class of n-dimensional Banach sequence lattices \(E_n\) the projection constants \(\lambda (E_n)\) satisfy \(\lim _{n\rightarrow \infty }\lambda (E_n)/\sqrt{n} = c\), where \(c=\sqrt{2/\pi }\) in the real case and \(c= \sqrt{\pi }/2\) in the complex case. Applications are given to vector-valued sequence spaces.     

Sturm–Liouville problems in weighted spaces in domains with nonsmooth edges. I

We consider (in general noncoercive) mixed problems in a bounded domain D in ? ⁿ for a second-order elliptic partial differential operator A(x, ?). It is assumed that the operator is written in divergent form in D, the boundary operator B(x, ?) is the restriction of a linear combination of the function and its derivatives to ?D and the boundary of D is a Lipschitz surface. We separate a closed set Y ? ?D and control the growth of solutions near Y. We prove that the pair (A,B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, where the weight is a power of the distance to the singular set Y. Finally, we prove the completeness of the root functions associated with L.The article consists of two parts. The first part published in the present paper, is devoted to exposing the theory of the special weighted Sobolev–Slobodetskii? spaces in Lipschitz domains. We obtain theorems on the properties of these spaces; namely, theorems on the interpolation of these spaces, embedding theorems, and theorems about traces. We also study the properties of the weighted spaces defined by some (in general) noncoercive forms.     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Ultrafilter Convergence in Ordered Topological Spaces

We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter D, the notions of D-compactness and of D-pseudocompactness are equivalent. Any product of initially λ-compact generalized ordered topological spaces is still initially λ-compact. On the other hand, preservation under products of certain compactness properties is independent from the usual axioms for set theory.     

Positive definite solution of a nonlinear matrix equation

Using fixed point theory, we present a sufficient condition for the existence of a positive definite solution of the nonlinear matrix equation \({X = Q \pm \sum^{m}_{i=1}{A_{i}}^*F(X)A_{i}}\), where Q is a positive definite matrix, A _i ’s are arbitrary n × n matrices and F is a monotone map from the set of positive definite matrices to itself. We show that the presented condition is weaker than that presented by Ran and Reurings [Proc. Amer. Math. Soc. 132 (2004), 1435–1443]. In order to do so, we establish some fixed point theorems for mappings satisfying (\({\psi, \phi}\))-weak contractivity conditions in partially ordered G-metric spaces, which generalize some existing results related to (\({\psi, \phi}\))-weak contractions in partially ordered metric spaces as well as in G-metric spaces for a given function f. We conclude, by presenting an example, that our fixed point theorem cannot be obtained from any existing fixed point theorem using the process of Jleli and Samet [Fixed Point Theory Appl. 2012 (2012), Article ID 210].     

Model-theoretic aspects of the Gurarij operator system

We establish some of the basic model theoretic facts about the Gurarij operator system GS recently constructed by the second-named author. In particular, we show: (1) GS is the unique separable 1-exact existentially closed operator system; (2) GS is the unique separable nuclear model of its theory; (3) every embedding of GS into its ultrapower is elementary; (4) GS is the prime model of its theory; and (5) GS does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any q ∈ ?, the theories of M_q-spaces and M_q-systems do have a model companion, namely the Fra¨?ssé limit of the class of finite-dimensional M_q-spaces and M_q-systems respectively; moreover, we show that the model companion is separably categorical. We conclude the paper by showing that no C* algebra can be existentially closed as an operator system.     

On the extent of star countable spaces

For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ? X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have arbitrary extent. It is proved that for any ω ₁-monolithic compact space X, if C _p (X)is star countable then it is Lindelöf.     

The <Emphasis Type="Italic">p</Emphasis>-Gelfand–Phillips property in spaces of operators and Dunford–Pettis like sets

The p-Gelfand–Phillips property (1 \({\leq}\) p < ∞) is studied in spaces of operators. Dunford–Pettis type like sets are studied in Banach spaces. We discuss Banach spaces X with the property that every p-convergent operator T:X \({\rightarrow}\) Y is weakly compact, for every Banach space Y.     

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">P</Emphasis></Superscript>

Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in L² spaces and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of L ^p spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator to prove that they have a bounded holomorphic functional calculus in those L ^p spaces. We also obtain functional calculus results for restrictions to certain subspaces, for a larger range of p. This provides a framework for obtaining L ^p results on perturbed Hodge Laplacians, generalising known Riesz transform bounds for an elliptic operator L with bounded measurable coefficients, one Sobolev exponent below the Hodge exponent, and L ^p bounds on the square-root of L by the gradient, two Sobolev exponents below the Hodge exponent. Our proof shows that the heart of the harmonic analysis in L² extends to L ^p for all p ∈ (1,∞), while the restrictions in p come from the operator-theoretic part of the L² proof. In the course of our work, we obtain some results of independent interest about singular integral operators on tent spaces and about the relationship between conical and vertical square functions.     

Optimal Embeddings of Bessel-Potential-Type Spaces into Generalized Hölder Spaces Involving <Emphasis Type="Italic">k</Emphasis>-Modulus of Smoothness

We establish necessary and sufficient conditions for embeddings of Bessel potential spaces H ^σ X(IR ⁿ ) with order of smoothness σ?∈?(0, n), modelled upon rearrangement invariant Banach function spaces X(IR ⁿ ), into generalized Hölder spaces (involving k-modulus of smoothness). We apply our results to the case when X(IR ⁿ ) is the Lorentz-Karamata space \(L_{p,q;b}({{\rm I\kern-.17em R}}^n)\). In particular, we are able to characterize optimal embeddings of Bessel potential spaces \(H^{\sigma}L_{p,q;b}({{\rm I\kern-.17em R}}^n)\) into generalized Hölder spaces. Applications cover both superlimiting and limiting cases. We also show that our results yield new and sharp embeddings of Sobolev-Orlicz spaces W ^k?+?1 L ^n/k(logL) ^α (IR ⁿ ) and W ^k L ^n/k(logL) ^α (IR ⁿ ) into generalized Hölder spaces.     

A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Local reconstruction for sampling in shift-invariant spaces

The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we will consider the local reconstruction problem for signals in a shift-invariant space. In particular, we consider finding sampling sets X such that signals in a shift-invariant space can be locally reconstructed from their samples on X. For a locally finite-dimensional shift-invariant space V we show that signals in V can be locally reconstructed from its samples on any sampling set with sufficiently large density. For a shift-invariant space V(? ₁, ..., ? _N ) generated by finitely many compactly supported functions ? ₁, ..., ? _N , we characterize all periodic nonuniform sampling sets X such that signals in that shift-invariant space V(? ₁, ..., ? _N ) can be locally reconstructed from the samples taken from X. For a refinable shift-invariant space V(?) generated by a compactly supported refinable function ?, we prove that for almost all \((x_0, x_1)\in [0,1]^2\), any signal in V(?) can be locally reconstructed from its samples from \(\{x_0, x_1\}+{\mathbb Z}\) with oversampling rate 2. The proofs of our results on the local sampling and reconstruction in the refinable shift-invariant space V(?) depend heavily on the linear independent shifts of a refinable function on measurable sets with positive Lebesgue measure and the almost ripplet property for a refinable function, which are new and interesting by themselves.     

Interpolation and Embeddings of Weighted Tent Spaces

Given a metric measure space X, we consider a scale of function spaces \(T^{p,q}_s(X)\), called the weighted tent space scale. This is an extension of the tent space scale of Coifman, Meyer, and Stein. Under various geometric assumptions on X we identify some associated interpolation spaces, in particular certain real interpolation spaces. These are identified with a new scale of function spaces, which we call Z -spaces, that have recently appeared in the work of Barton and Mayboroda on elliptic boundary value problems with boundary data in Besov spaces. We also prove Hardy–Littlewood–Sobolev-type embeddings between weighted tent spaces.     

Boundedness of para-product operators on spaces of homogeneous type

We obtain the boundedness of Calderón-Zygmund singular integral operators T of non-convolution type on Hardy spaces H ^p (X) for 1/(1 + ε) < p ? 1, where X is a space of homogeneous type in the sense of Coifman and Weiss (1971), and ε is the regularity exponent of the kernel of the singular integral operator T. Our approach relies on the discrete Littlewood-Paley-Stein theory and discrete Calderón’s identity. The crucial feature of our proof is to avoid atomic decomposition and molecular theory in contrast to what was used in the literature.     

Invariants and rings of quotients of <Emphasis Type="Italic">H</Emphasis>-semiprime <Emphasis Type="Italic">H</Emphasis>-module algebras satisfying a polynomial identity

We consider an action of a finite-dimensional Hopf algebra H on a PI-algebra. We prove that an H-semiprime H-module algebra A has a Frobenius artinian classical ring of quotients Q, provided that A has a finite set of H-prime ideals with zero intersection. The ring of quotients Q is an H-semisimple H-module algebra and a finitely generated module over the subalgebra of central invariants. Moreover, if algebra A is a projective module of constant rank over its center, then A is integral over its subalgebra of central invariants.     

Inductive and projective limits of Banach spaces of measurable functions with order unities with respect to power parameter

We prove that a measurable function f is bounded and invertible if and only if there exist at least two equivalent norms by order unit spaces with order unities f^α and f^β with α > β > 0. We show that it is natural to understand the limit of ordered vector spaces with order unities f^α (α approaches to infinity) as a direct sum of one inductive and one projective limits. We also obtain some properties for the corresponding limit topologies.     

Gradings on Modules Over Lie Algebras of E Types

For any grading by an abelian group G on the exceptional simple Lie algebra \(\mathcal {L}\) of type E ₆ or E ₇ over an algebraically closed field of characteristic zero, we compute the graded Brauer invariants of simple finite-dimensional modules, thus completing the computation of these invariants for simple finite-dimensional Lie algebras. This yields the classification of finite-dimensional G-graded simple \(\mathcal {L}\)-modules, as well as necessary and sufficient conditions for a finite-dimensional \(\mathcal {L}\)-module to admit a G-grading compatible with the given G-grading on \(\mathcal {L}\).     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.