A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_k}$ for which $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ is attained at some f in the dual unit sphere $S_{X*}$. A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f\in S_{X*}$, there exists $g\in S_{X*}$ such that $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

Let $P\left(z\right)={\sum }_{\nu =0}^n{a}_{\nu }{z}^{\nu }$ be a polynomial of degree at most $n$ which does not vanish in the disk $\left|z\right|<1$, then for $1\le p<\infty$ and $R>1$, Boas and Rahman proved $${∥P\left(Rz\right)∥}_p\le ({∥R^n+z∥}_p/{∥1+z∥}_p){∥P∥}_p.$$ In this paper, we improve the above inequality for $0\le p<\infty$ by involving some of the coefficients of the polynomial $P\left(z\right)$. Analogous result for the class of polynomials $P\left(z\right)$ having no zero in $\left|z\right|>1$ is also given.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

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

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

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 consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

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.

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T:X\to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$-algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C\left(K\right)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

In this paper, characterizations of the embeddings between weighted Copson function spaces ${\mathrm{Cop}}_{p_1,q_1}(u_1,v_1)$ and weighted Cesàro function spaces ${\mathrm{Ces}}_{p_2,q_2}(u_2,v_2)$ are given. In particular, two-sided estimates of the optimal constant $c$ in the inequality $$\begin{array}{cc}\hfill d({\int }_0^{\infty }& {\left({\int }_0^{t}f{\left(\tau \right)}^{p_2}{v}_2\left(\tau \right)\mathrm{d}\tau \right)}^{q_2/p_2}{u}_2\left(t\right)\mathrm{d}t{)}^{1/q_2}\hfill \\ & \le c{\left({\int }_0^{\infty }{\left({\int }_t^{\infty }f{\left(\tau \right)}^{p_1}{v}_1\left(\tau \right)\mathrm{d}\tau \right)}^{q_1/p_1}{u}_1\left(t\right)\mathrm{d}t\right)}^{1/q_1},\hfill \end{array}d$$ where $p_1,p_2,q_1,q_2\in (0,\infty )$, $p_2\le q_2$ and $u_1$, $u_2$, $v_1$, $v_2$ are weights on $(0,\infty )$, are obtained. The most innovative part consists of the fact that possibly different parameters $p_1$ and $p_2$ and possibly different inner weights $v_1$ and $v_2$ are allowed. The proof is based on the combination of duality techniques...

Let $u$ be a weight on $(0,\infty )$. Assume that $u$ is continuous on $(0,\infty )$. Let the operator $S_u$ be given at measurable non-negative function $\varphi$ on $(0,\infty )$ by $$S_u\varphi \left(t\right)=\underset{0<\tau \le t}{sup}u\left(\tau \right)\varphi \left(\tau \right).$$ We characterize weights $v,w$ on $(0,\infty )$ for which there exists a positive constant $C$ such that the inequality $${\left({\int }_0^{\infty }{\left[S_u\varphi \left(t\right)\right]}^{q}w\left(t\right)dt\right)}^{\frac{1}{q}}\lesssim {\left({\int }_0^{\infty }{\left[\varphi \left(t\right)\right]}^{p}v\left(t\right)dt\right)}^{\frac{1}{p}}$$ holds for every $0<p,q<\infty$. Such inequalities have been used in the study of optimal Sobolev embeddings and boundedness of certain operators on classical Lorenz spaces.