For p ≥ 1, a subset K of a Banach space X is said to be relatively p-compact if $K\subset {\sum }_{n=1}^{\infty }\alpha ₙxₙ:\alpha ₙ\in Ball\left(l_{p^{\text{'}}}\right)$, where p’ = p/(p-1) and $xₙ\in l_p^s\left(X\right)$. An operator T ∈ B(X,Y) is said to be p-compact if T(Ball(X)) is relatively p-compact in Y. Similarly, weak p-compactness may be defined by considering $xₙ\in l_p^w\left(X\right)$. It is proved that T is (weakly) p-compact if and only if T* factors through a subspace of $l_p$ in a particular manner. The normed operator ideals $(K_p,{\kappa }_p)$ of p-compact operators and $(W_p,{\omega }_p)$ of weakly p-compact operators, arising from these factorizations,...

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

We prove the existence of an effectively computable integer polynomial P(x,t₀,...,t₅) having the following property. Every continuous function $f:{ℝ}^s\to ℝ$ can be approximated with arbitrary accuracy by an infinite sum ${\sum }_{r=1}^{\infty }{H}_r(x₁,...,x_s)\in C^{\infty }\left({ℝ}^s\right)$ of analytic functions $H_r$, each solving the same system of universal partial differential equations, namely $P(x_{\sigma };H_r,\partial H_r/\partial x_{\sigma },...,\partial ⁵H_r/\partial x{⁵}_{\sigma }⁵)=0$ (σ = 1,..., s).

Let d be a positive integer and α a real algebraic number of degree d + 1. Set $\alpha ̲:=(\alpha ,\alpha ²,...,{\alpha }^d)$. It is well-known that $c\left(\alpha ̲\right):=limin{f}_{q\to \infty }{q}^{1/d}·\left|\right|q\alpha ̲\left|\right|>0$, where ||·|| denotes the distance to the nearest integer. Furthermore, $c\left(\alpha ̲\right)n^{-1/d}\le c\left(n\alpha ̲\right)\le nc\left(\alpha ̲\right)$ for any integer n ≥ 1. Our main result asserts that there exists a real number C, depending only on α, such that $c\left(n\alpha ̲\right)\le C{n}^{-1/d}$ for any integer n ≥ 1.

Let 1 ≤ p < ∞, $={\left(Xₙ\right)}_{n\in \mathbb{N}}$ be a sequence of Banach spaces and $l_p\left(\right)$ the coresponding vector valued sequence space. Let $={\left(Xₙ\right)}_{n\in \mathbb{N}}$, $={\left(Yₙ\right)}_{n\in \mathbb{N}}$ be two sequences of Banach spaces, $={\left(Vₙ\right)}_{n\in \mathbb{N}}$, Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{}:l_p\left(\right)\to l_q\left(\right)$ by $M_{}\left({\left(xₙ\right)}_{n\in \mathbb{N}}\right):={\left(Vₙ\left(xₙ\right)\right)}_{n\in \mathbb{N}}$. We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

Let $X$ be a Banach space, $ℬ\left(X\right)$ the algebra of bounded linear operators on $X$ and $(J,\parallel ·{\parallel }_J)$ an admissible Banach ideal of $ℬ\left(X\right)$. For $T\in ℬ\left(X\right)$, let $L_{J,T}$ and $R_{J,T}\in ℬ\left(J\right)$ denote the left and right multiplication defined by $L_{J,T}\left(A\right)=TA$ and $R_{J,T}\left(A\right)=AT$, respectively. In this paper, we study the transmission of some concepts related to recurrent operators between $T\in ℬ\left(X\right)$, and their elementary operators $L_{J,T}$ and $R_{J,T}$. In particular, we give necessary and sufficient conditions for $L_{J,T}$ and $R_{J,T}$ to be sequentially recurrent. Furthermore, we prove that $L_{J,T}$ is recurrent...

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

A classification of weakly compact multiplication operators on $L\left(L_p\right),$1<p<$,isgiven.ThisanswersaquestionraisedbySaksmanandTylliin1992.Theclassificationinvolvestheconceptof$p$-strictlysingularoperators,andwealsoinvestigatethestructureofgeneral$p$-strictlysingularoperatorson$Lp$.Themainresultisthatifanoperator$T$on$Lp$,$1<p<2$,is$p$-strictlysingularand$T|X$isanisomorphismforsomesubspace$X$of$Lp$,then$X$embedsinto$Lr$forall$r<2$,but$X$neednotbeisomorphictoaHilbertspace.$It is also shown that if $T$ is convolution by a biased coin on $L_p$ of the Cantor group, $1\le p<2$, and $T_{|X}$ is an isomorphism for some reflexive subspace $X$ of $L_p$, then $X$ is isomorphic to a Hilbert space. The case $p=1$ answers a question asked by Rosenthal in 1976.

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

Let $W(m,n;\underline{\psi })$ denote the set of ${\psi }_1,...,{\psi }_n$–approximable points in ${ℝ}^{mn}$. The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions $\underline{\psi }$. Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of $m$ and $n$. It can not be removed for $m=n=1$ as Duffin–Schaeffer provided the counter example. We deal with the only remaining case $m=2$ and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem. ...

We consider simultaneous solutions of operator Sylvester equations $A_{i}X-X{B}_i=C_i$ (1 ≤ i ≤ k), where $(A₁,...,A_k)$ and $(B₁,...,B_k)$ are commuting k-tuples of bounded linear operators on Banach spaces and ℱ, respectively, and $(C₁,...,C_k)$ is a (compatible) k-tuple of bounded linear operators from ℱ to , and prove that if the joint Taylor spectra of $(A₁,...,A_k)$ and $(B₁,...,B_k)$ do not intersect, then this system of Sylvester equations has a unique simultaneous solution.

Let $\mathscr{H}$ be a complex Hilbert space, $A$ a positive operator with closed range in $ℬ\left(\mathscr{H}\right)$ and ${ℬ}_A\left(\mathscr{H}\right)$ the sub-algebra of $ℬ\left(\mathscr{H}\right)$ of all $A$-self-adjoint operators. Assume $\phi :{ℬ}_A\left(\mathscr{H}\right)$ onto itself is a linear continuous map. This paper shows that if $\phi$ preserves $A$-unitary operators such that $\phi \left(I\right)=P$ then $\psi$ defined by $\psi \left(T\right)=P\phi \left(PT\right)$ is a homomorphism or an anti-homomorphism and $\psi \left(T^{♯}\right)=\psi {\left(T\right)}^{♯}$ for all $T\in {ℬ}_A\left(\mathscr{H}\right)$, where $P=A^{+}A$ and $A^{+}$ is the Moore-Penrose inverse of $A$. A similar result is also true if $\phi$ preserves $A$-quasi-unitary operators in both directions such that there...

Let $\alpha \&gt;1$ be irrational. Several authors studied the numbers $${\ell }^m\left(\alpha \right)=inf\left\{\right|y|:y\in {\Lambda }_m,y\ne 0\},$$ where $m$ is a positive integer and ${\Lambda }_m$ denotes the set of all real numbers of the form $y={ϵ}_0{\alpha }^n+{ϵ}_1{\alpha }^{n-1}+\cdots +{ϵ}_{n-1}\alpha +{ϵ}_n$ with restricted integer coefficients $|{ϵ}_i|\le m$. The value of ${\ell }^1\left(\alpha \right)$ was determined for many particular Pisot numbers and ${\ell }^m\left(\alpha \right)$ for the golden number. In this paper the value of ${\ell }^m\left(\alpha \right)$ is determined for irrational numbers $\alpha$, satisfying ${\alpha }^2=a\alpha \pm 1$ with a positive integer $a$.

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

In this paper, we obtain new sufficient conditions for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ to be univalent in the open unit disc $𝒰$, where the functions $f_1,f_2,...,f_n$ belong to the classes $S^{*}(a,b)$ and $𝒦(a,b)$. The order of convexity for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ is also determined. Furthermore, and for $\beta =1$, we obtain sufficient conditions for the operators $F_n\left(z\right)$ and $G_n\left(z\right)$ to be in the class $𝒦(a,b)$. Several corollaries and consequences of the main results are also considered.

Let $ℐ$ be a coherent subsheaf of a locally free sheaf $𝒪\left(E_0\right)$ and suppose that $ℱ=𝒪\left(E_0\right)/ℐ$ has pure codimension. Starting with a residue current $R$ obtained from a locally free resolution of $ℱ$ we construct a vector-valued Coleff-Herrera current $\mu$ with support on the variety associated to $ℱ$ such that $\phi$ is in $ℐ$ if and only if $\mu \phi =0$. Such a current $\mu$ can also be derived algebraically from a fundamental theorem of Roos about the bidualizing functor, and the relation between these two approaches is discussed....

A point $({\xi }_1,{\xi }_2)$ with coordinates in a subfield of $ℝ$ of transcendence degree one over $\mathbb{Q}$, with $1,{\xi }_1,{\xi }_2$ linearly independent over $\mathbb{Q}$, may have a uniform exponent of approximation by elements of ${\mathbb{Q}}^2$ that is strictly larger than the lower bound $1/2$ given by Dirichlet’s box principle. This appeared as a surprise, in connection to work of Davenport and Schmidt, for points of the parabola $\{(\xi ,{\xi }^2);\xi \in ℝ\}$. The goal of this paper is to show that this phenomenon extends to all real conics defined over $\mathbb{Q}$, and that the largest...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

CONTENTSIntroduction................................................................................................................................... 5 Notations.......................................................................................................................... 5§ 1. Preliminaries........................................................................................................................ 6 1. Right invertible operators.....................................................................................................

We give existence theorems for weak and strong solutions with trichotomy of the nonlinear differential equation $$\dot{x}\left(t\right)=ℒ\left(t\right)x\left(t\right)+f(t,x\left(t\right)),t\in ℝ\left(\mathrm{P}\right)$$ where $\left\{ℒ\right(t):t\in ℝ\}$ is a family of linear operators from a Banach space $E$ into itself and $f:ℝ\times E\to E$. By $L\left(E\right)$ we denote the space of linear operators from $E$ into itself. Furthermore, for $a<b$ and $d>0$, we let $C\left(\right[-d,0],E)$ be the Banach space of continuous functions from $[-d,0]$ into $E$ and $f^d:[a,b]\times C([-d,0],E)\to E$. Let $\widehat{ℒ}:[a,b]\to L\left(E\right)$ be a strongly measurable and Bochner integrable operator on $[a,b]$ and for $t\in [a,b]$ define ${\tau }_{t}x\left(s\right)=x(t+s)$ for each $s\in [-d,0]$. We prove that, under certain...

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

We study the space of p-compact operators, ${}_p$, using the theory of tensor norms and operator ideals. We prove that ${}_p$ is associated to $/d_p$, the left injective associate of the Chevet-Saphar tensor norm $d_p$ (which is equal to $g_{p^{\text{'}}}^{\text{'}}$). This allows us to relate the theory of p-summing operators to that of p-compact operators. Using the results known for the former class and appropriate hypotheses on E and F we prove that ${}_p(E;F)$ is equal to ${}_q(E;F)$ for a wide range of values of p and q, and show that our results...