Let K be a closed convex cone with nonempty interior in a real Banach space and let cc(K) denote the family of all nonempty convex compact subsets of K. A family $F^t:t\ge 0$ of continuous linear set-valued functions $F^t:K\to cc\left(K\right)$ is a differentiable iteration semigroup with F⁰(x) = x for x ∈ K if and only if the set-valued function $\Phi (t,x)=F^t\left(x\right)$ is a solution of the problem $D_t\Phi (t,x)=\Phi (t,G\left(x\right)):=\bigcup \Phi (t,y):y\in G\left(x\right)$, Φ(0,x) = x, for x ∈ K and t ≥ 0, where $D_t\Phi (t,x)$ denotes the Hukuhara derivative of Φ(t,x) with respect to t and $G\left(x\right):=li{m}_{s\to 0+}(F^s\left(x\right)-x)/s$ for x ∈ K.

We give a characterization of compact spaces K such that the Banach space C(K) is isomorphic to the space c₀(Γ) for some set Γ. As an application we show that there exists an Eberlein compact space K of weight ${\omega }_{\omega }$ and with the third derived set $K^{\left(3\right)}$ empty such that the space C(K) is not isomorphic to any c₀(Γ). For this compactum K, the spaces C(K) and $c₀\left({\omega }_{\omega }\right)$ are examples of weakly compactly generated (WCG) Banach spaces which are Lipschitz isomorphic but not isomorphic.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of...

This paper deals with variational inclusions of the form 0 ∈ φ(x) + F(x) where φ is a single-valued function admitting a second order Fréchet derivative and F is a set-valued map from ${ℝ}^q$ to the closed subsets of ${ℝ}^q$. When a solution z̅ of the previous inclusion satisfies some semistability properties, we obtain local superquadratic or cubic convergent sequences.

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.

We study the integrability of Banach space valued strongly measurable functions defined on $[0,1]$. In the case of functions $f$ given by ${\sum }_{n=1}^{\infty }{x}_n{\chi }_{E_n}$, where $x_n$ are points of a Banach space and the sets $E_n$ are Lebesgue measurable and pairwise disjoint subsets of $[0,1]$, there are well known characterizations for Bochner and Pettis integrability of $f$. The function $f$ is Bochner integrable if and only if the series ${\sum }_{n=1}^{\infty }{x}_n\left|E_n\right|$ is absolutely convergent. Unconditional convergence of the series is equivalent to Pettis integrability...

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f(tx+(1-t\left)y\right)\le tf\left(x\right)+(1-t)f\left(y\right)+min[t,(1-t\left)\right]\alpha \left(\right||x-y|\left|\right)$. Then there is a dense $G_{\delta }$-set $A_G\subset \Omega$ such that f is Gateaux differentiable at every point of $A_G$.

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.

We provide a complex version of a theorem due to Bednar and Lacey characterizing real $L_1$-preduals. Hence we prove a characterization of complex $L_1$-preduals via a complex barycentric mapping.

Let (Ω,μ) be a measure space, E be an arbitrary separable Banach space, $E{*}_{\omega *}$ be the dual equipped with the weak* topology, and g:Ω × E → ℝ be a Carathéodory function which is Lipschitz continuous on each ball of E for almost all s ∈ Ω. Put $G\left(x\right):={\int }_{\Omega }g(s,x\left(s\right))d\mu \left(s\right)$. Consider the integral functional G defined on some non-$L^p$-type Banach space X of measurable functions x: Ω → E. We present several general theorems on sufficient conditions under which any element γ ∈ X* of Clarke’s generalized gradient (multivalued...

We give a full solution of the following problems concerning the spaces $M_{\phi }\left(X⃗\right)$: (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{\phi }\left(X⃗\right)\ne M_{\psi }\left(X⃗\right)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{\phi }\left(X⃗\right)⊊M_{\psi }\left(X⃗\right)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{\phi }\left(X⃗\right)$-space for some (unknown beforehand) Banach couple X⃗.

In the paper we give an analogue of the Filippov Lemma for the fourth order differential inclusions y = y”” - (A² + B²)y” + A²B²y ∈ F(t,y), (*) with the initial conditions y(0) = y’(0) = y”(0) = y”’(0) = 0, (**) where the matrices $A,B\in {ℝ}^{d\times d}$ are commutative and the multifunction $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)$ is Lipschitz continuous in y with a t-independent constant l < ||A||²||B||². Main theorem. Assume that $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)ismeasurableintandintegrablybounded.Let$y₀ ∈ W4,1$beanarbitraryfunctionsatisfying(**)andsuchthat$ $d_H(y₀\left(t\right),F(t,y₀\left(t\right)))\le p₀\left(t\right)$ a.e. in [0,1], where p₀ ∈ L¹[0,1]. Then there exists a solution y ∈ W4,1 of (*)...

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

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 study existence and uniqueness of solutions for the Hammerstein equation $$u\left(x\right)=v\left(x\right)+\lambda {\int }_{I_a^b}K(x,y)f(y,u\left(y\right))dy$$ in the space of function of bounded total $\varphi$-variation in the sense of Hardy-Vitali-Tonelli, where $\lambda \in ℝ$, $K:I_a^b\times I_a^b⟶ℝ$ and $f:I_a^b\times ℝ⟶ℝ$ are suitable functions. The existence and uniqueness of solutions are proved by means of the Leray-Schauder nonlinear alternative and the Banach contraction mapping principle.

It is proved (independently of the result of Holmes [Fund. Math. 140 (1992)]) that the dual space of the uniform closure $CFL{(}_r)$ of the linear span of the maps x ↦ d(x,a) - d(x,b), where d is the metric of the Urysohn space ${}_r$ of diameter r, is (isometrically if r = +∞) isomorphic to the space $LIP{(}_r)$ of equivalence classes of all real-valued Lipschitz maps on ${}_r$. The space of all signed (real-valued) Borel measures on ${}_r$ is isometrically embedded in the dual space of $CFL{(}_r)$ and it is shown that the image...

We extend the classical theorems of I. I. Privalov and A. Zygmund from single to multiple conjugate functions in terms of the multiplicative modulus of continuity. A remarkable corollary is that if a function f belongs to the multiplicative Lipschitz class $Lip(\alpha ₁,...,{\alpha }_N)$ for some $0<\alpha ₁,...,{\alpha }_N<1$ and its marginal functions satisfy $f(·,x₂,...,x_N)\in Lip\beta ₁,...,f(x₁,...,x_{N-1},·)\in Lip{\beta }_N$ for some $0<\beta ₁,...,{\beta }_N<1$ uniformly in the indicated variables $x_l$, 1 ≤ l ≤ N, then $f{̃}^{(\eta ₁,...,{\eta }_N)}\in Lip(\alpha ₁,...,{\alpha }_N)$ for each choice of $(\eta ₁,...,{\eta }_N)$ with ${\eta }_l=0$ or 1 for 1 ≤ l ≤ N.

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 say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\overline{linf\left(\right[0,1\left]\right)}$ contains an order isomorphic copy of D(0,1), (2) $\overline{linf\left(Q\right)}$ contains an isomorphic copy of C([0,1]), (3) $\overline{linf\left(\right[0,1\left]\right)}/\overline{linf\left(Q\right)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

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.

We find conditions on a real function f:[a,b] → ℝ equivalent to being Lebesgue equivalent to an n-times differentiable function (n ≥ 2); a simple solution in the case n = 2 appeared in an earlier paper. For that purpose, we introduce the notions of $CBV{G}_{1/n}$ and $SBV{G}_{1/n}$ functions, which play analogous rôles for the nth order differentiability to the classical notion of a VBG⁎ function for the first order differentiability, and the classes $CB{V}_{1/n}$ and $SB{V}_{1/n}$ (introduced by Preiss and Laczkovich) for Cⁿ smoothness....

Denote by any set of cardinality continuum. It is proved that a Banach algebra A with the property that for every collection $a_{\alpha }:\alpha \in \subset A$ there exist α ≠ β ∈ such that $a_{\alpha }\in a_{\beta }{A}^{}$ is isomorphic to ${⨁}_{i=1}^r(ℂ\left[X\right]/X^{d_i}ℂ\left[X\right])\oplus E$, where $d₁,...,d_r\in \mathbb{N}$, and E is either $Xℂ\left[X\right]/X^{d₀}ℂ\left[X\right]$ for some d₀ ∈ ℕ or a 1-dimensional ${⨁}_{i=1}^rℂ\left[X\right]/X^{d_i}ℂ\left[X\right]$-bimodule with trivial right module action. In particular, ℂ is the unique non-zero prime Banach algebra satisfying the above condition.

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

Let ${\beta \left(n\right)}_{n=0}^{\infty }$ be a sequence of positive numbers and 1 ≤ p < ∞. We consider the space ${\ell }^p\left(\beta \right)$ of all power series $f\left(z\right)={\sum }_{n=0}^{\infty }f̂\left(n\right)zⁿ$ such that ${\sum }_{n=0}^{\infty }{\left|f̂\left(n\right)\right|}^p{\left|\beta \left(n\right)\right|}^p<\infty$. We give some sufficient conditions for the multiplication operator, $M_z$, to be unicellular on the Banach space ${\ell }^p\left(\beta \right)$. This generalizes the main results obtained by Lu Fang [1].

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g\left(R_F\right)\int f_x\left(R_F\right)d\mu \left(x\right)=h\left(R_F\right)$. (1) They involve functions of the kind $X\ni x\mapsto f_x\left(R_F\right)\in B\left(F\right)$, where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

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 A be a unital Banach function algebra with character space ${\Phi }_A$. For $x\in {\Phi }_A$, let $M_x$ and $J_x$ be the ideals of functions vanishing at x and in a neighbourhood of x, respectively. It is shown that the hull of $J_x$ is connected, and that if x does not belong to the Shilov boundary of A then the set $y\in {\Phi }_A:M_x\supseteq J_y$ has an infinite connected subset. Various related results are given.

Let s ∈ ℝ, p ∈ (0,1] and q ∈ [p,∞). It is proved that a sublinear operator T uniquely extends to a bounded sublinear operator from the Triebel-Lizorkin space ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ to a quasi-Banach space ℬ if and only if sup${\left|\right|T\left(a\right)\left|\right|}_{ℬ}$: a is an infinitely differentiable (p,q,s)-atom of ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ < ∞, where the (p,q,s)-atom of ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ is as defined by Han, Paluszyński and Weiss.

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F\left(x\right):=F̃x^{(2n+1)}$ where $F̃:X^{2n+1}\to Y$ is a continuous (2n+1)-linear operator.

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

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