The results of the first part concern the existence of higher order ℓ₁ spreading models in asymptotic ℓ₁ Banach spaces. We sketch the proof of the fact that the mixed Tsirelson space T[(ₙ,θₙ)ₙ], ${\theta }_{n+m}\ge \theta ₙ\theta ₘ$ and $li{m}_n\theta {ₙ}^{1/n}=1$, admits an $\ell {₁}^{\omega }$ spreading model in every block subspace. We also prove that if X is a Banach space with a basis, with the property that there exists a sequence (θₙ)ₙ ⊂ (0,1) with $li{m}_n\theta {ₙ}^{1/n}=1$, such that, for every n ∈ ℕ, $\left|\right|{\sum }_{k=1}^m{x}_k\left|\right|\ge \theta ₙ{\sum }_{k=1}^m\left|\right|x_k\left|\right|$ for every ₙ-admissible block sequence ${\left(x_k\right)}_{k=1}^m$ of vectors in X, then there exists c...

We study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis $\left(e_k\right)$ is said to be subsequentially minimal if for every normalized block basis $\left(x_k\right)$ of $\left(e_k\right)$, there is a further block basis $\left(y_k\right)$ of $\left(x_k\right)$ such that $\left(y_k\right)$ is equivalent to a subsequence of $\left(e_k\right)$. Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal, and connections with Bourgain’s ℓ¹-index are established. It is also shown that a large class of...

We first show that the Gaussian integral means of $f:ℂ\to ℂ$ (with respect to the area measure ${\mathrm{e}}^{-{\alpha \left|z\right|}^2}\mathrm{d}A\left(z\right)$) is a convex function of $r$ on $(0,\infty )$ when $\alpha \le 0$. We then prove that the weighted integral means $A_{\alpha ,\beta }(f,r)$ and $L_{\alpha ,\beta }(f,r)$ of the mixed area and the mixed length of $f\left(r𝔻\right)$ and $\partial f\left(r𝔻\right)$, respectively, also have the property of convexity in the case of $\alpha \le 0$. Finally, we show with examples that the range $\alpha \le 0$ is the best possible.

If $E=e_i$ and $F=f_i$ are two 1-unconditional basic sequences in L₁ with E r-concave and F p-convex, for some 1 ≤ r < p ≤ 2, then the space of matrices $a_{i,j}$ with norm $\left|\right|a_{i,j}{\left|\right|}_{E\left(F\right)}=\left|\right|{\sum }_k\left|\right|{\sum }_l{a}_{k,l}{f}_l\left|\right|e_k\left|\right|$ embeds into L₁. This generalizes a recent result of Prochno and Schütt.

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.

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 G be an infinite, compact abelian group and let Λ be a subset of its dual group Γ. We study the question which spaces of the form $C_{\Lambda }\left(G\right)$ or $L{¹}_{\Lambda }\left(G\right)$ and which quotients of the form $C\left(G\right)/C_{\Lambda }\left(G\right)$ or $L¹\left(G\right)/L{¹}_{\Lambda }\left(G\right)$ have the Daugavet property. We show that $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) if and only if $\Gamma \setminus {\Lambda }^{-1}$ is a semi-Riesz set. If $L{¹}_{\Lambda }\left(G\right)$ is a rich subspace of L¹(G), then $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) as well. Concerning quotients, we prove that $C\left(G\right)/C_{\Lambda }\left(G\right)$ has the Daugavet property if Λ is a Rosenthal set, and that $L{¹}_{\Lambda }\left(G\right)$ is a poor subspace of L¹(G)...

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

In [9], the author considers a sequence of invertible maps $T_i:S¹\to S¹$ which exchange the positions of adjacent intervals on the unit circle, and defines as Aₙ the image of the set 0 ≤ x ≤ 1/2 under the action of Tₙ ∘ ... ∘ T₁, (1) Aₙ = (Tₙ ∘ ... ∘ T₁)x₁ ≤ 1/2. Then, if Aₙ is mixed up to scale h, it is proved that (2) ${\sum }_{i=1}^n(Tot.Var.(T_i-I)+Tot.Var.(T_i^{-1}-I))\ge Clog1/h$. We prove that (1) holds for general quasi incompressible invertible BV maps on ℝ, and that this estimate implies that the map Tₙ ∘ ... ∘ T₁ belongs to the Besov space $B^{0,1,1}$, and its...

Let $u$ be an inner function and $K_u^2$ be the corresponding model space. For an inner function $v$, the subspace $v{H}^2$ is an invariant subspace of the unilateral shift operator on $H^2$. In this article, using the structure of a Toeplitz kernel $\ker T_{\overline{u}v}$, we study the intersection $K_u^2\cap v{H}^2$ by properties of inner functions $u$ and $v$ $(v\ne u)$. If $K_u^2\cap v{H}^2\ne \left\{0\right\}$, then there exists a triple $(B,b,g)$ such that $$\overline{u}v=\frac{\lambda b\overline{B{O}_g}}{g},$$ where the triple $(B,b,g)$ means that $B$ and $b$ are Blaschke products, $g$ is an invertible function in $H^{\infty }$, $O_g$ denotes the outer factor...

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 consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

The aim of this paper is to establish an existence and uniqueness result for a class of the set functional differential equations of neutral type$$\left\{\begin{array}{c}{D}_{H}X\left(t\right)=F(t,X_t,D_H{X}_t),\hfill \\ {X|}_{[-r,0]}=\Psi ,\hfill \end{array}\right.$$ where $F:[0,b]\times {𝒞}_0\times {𝔏}_0^1\to K_c\left(E\right)$ is a given function, $K_c\left(E\right)$ is the family of all nonempty compact and convex subsets of a separable Banach space $E$, ${𝒞}_0$ denotes the space of all continuous set-valued functions $X$ from $[-r,0]$ into $K_c\left(E\right)$, ${𝔏}_0^1$ is the space of all integrally bounded set-valued functions $X:[-r,0]\to K_c\left(E\right)$, $\Psi \in {𝒞}_0$ and $D_H$ is the Hukuhara derivative. The continuous dependence of solutions on initial...

We consider linear elliptic equations $-\Delta u+q\left(x\right)u=\lambda u+f$ in bounded Lipschitz domains $D\subset {ℝ}^N$ with mixed boundary conditions $\partial u/\partial n=\sigma \left(x\right)\lambda u+g$ on $\partial D$. The main feature of this boundary value problem is the appearance of $\lambda$ both in the equation and in the boundary condition. In general we make no assumption on the sign of the coefficient $\sigma \left(x\right)$. We study positivity principles and anti-maximum principles. One of our main results states that if $\sigma$ is somewhere negative, $q\ge 0$ and ${\int }_{D}q\left(x\right)dx>0$ then there exist two eigenvalues ${\lambda }_{-1}$, ${\lambda }_1$ such the positivity...

Let $\left\{U_n\right\}=\left\{U_n(P,Q)\right\}$ and $\left\{V_n\right\}=\left\{V_n(P,Q)\right\}$ be the Lucas sequences of the first and second kind respectively at the parameters $P\ge 1$ and $Q\in \{-1,1\}$. In this paper, we provide a technique for characterizing the solutions of the so-called Bartz-Marlewski equation $$x^2-3xy+y^2+x=0,$$ where $(x,y)=(U_i,U_j)$ or $(V_i,V_j)$ with $i$, $j\ge 1$. Then, the procedure of this technique is applied to completely resolve this equation with certain values of such parameters.

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

The Rademacher sums are investigated in the Cesàro spaces $Ce{s}_p$ (1 ≤ p ≤ ∞) and in the weighted Korenblyum-Kreĭn-Levin spaces $K_{p,w}$ on [0,1]. They span l₂ space in $Ce{s}_p$ for any 1 ≤ p < ∞ and in $K_{p,w}$ if and only if the weight w is larger than $tlog{₂}^{p/2}(2/t)$ on (0,1). Moreover, the span of the Rademachers is not complemented in $Ce{s}_p$ for any 1 ≤ p < ∞ or in $K_{1,w}$ for any quasi-concave weight w. In the case when p > 1 and when w is such that the span of the Rademacher functions is isomorphic to l₂, this span is...